## ams_version=1.0 Model Main_ex8_3_2 { Variable objvar; Variable x2 { Range: nonnegative; } Variable x3 { Range: nonnegative; } Variable x4 { Range: nonnegative; } Variable x5 { Range: nonnegative; } Variable x6 { Range: nonnegative; } Variable x7 { Range: nonnegative; } Variable x8 { Range: nonnegative; } Variable x9 { Range: nonnegative; } Variable x10 { Range: nonnegative; } Variable x11 { Range: nonnegative; } Variable x12 { Range: nonnegative; } Variable x13 { Range: nonnegative; } Variable x14 { Range: nonnegative; } Variable x15 { Range: nonnegative; } Variable x16 { Range: nonnegative; } Variable x17 { Range: nonnegative; } Variable x18 { Range: nonnegative; } Variable x19 { Range: nonnegative; } Variable x20 { Range: nonnegative; } Variable x21 { Range: nonnegative; } Variable x22 { Range: nonnegative; } Variable x23 { Range: nonnegative; } Variable x24 { Range: nonnegative; } Variable x25 { Range: nonnegative; } Variable x26 { Range: nonnegative; } Variable x27 { Range: nonnegative; } Variable x28 { Range: nonnegative; } Variable x29 { Range: nonnegative; } Variable x30 { Range: nonnegative; } Variable x31 { Range: nonnegative; } Variable x32 { Range: nonnegative; } Variable x33 { Range: nonnegative; } Variable x34 { Range: nonnegative; } Variable x35 { Range: nonnegative; } Variable x36 { Range: nonnegative; } Variable x37 { Range: nonnegative; } Variable x38 { Range: nonnegative; } Variable x39 { Range: nonnegative; } Variable x40 { Range: nonnegative; } Variable x41 { Range: nonnegative; } Variable x42 { Range: nonnegative; } Variable x43 { Range: nonnegative; } Variable x44 { Range: nonnegative; } Variable x45 { Range: nonnegative; } Variable x46 { Range: nonnegative; } Variable x47 { Range: nonnegative; } Variable x48 { Range: nonnegative; } Variable x49 { Range: nonnegative; } Variable x50 { Range: nonnegative; } Variable x51 { Range: nonnegative; } Variable x52 { Range: nonnegative; } Variable x53 { Range: nonnegative; } Variable x54 { Range: nonnegative; } Variable x55 { Range: nonnegative; } Variable x56 { Range: nonnegative; } Variable x57 { Range: nonnegative; } Variable x58 { Range: nonnegative; } Variable x59 { Range: nonnegative; } Variable x60 { Range: nonnegative; } Variable x61 { Range: nonnegative; } Variable x62 { Range: nonnegative; } Variable x63 { Range: nonnegative; } Variable x64 { Range: nonnegative; } Variable x65 { Range: nonnegative; } Variable x66 { Range: nonnegative; } Variable x67 { Range: nonnegative; } Variable x68 { Range: nonnegative; } Variable x69 { Range: nonnegative; } Variable x70 { Range: nonnegative; } Variable x71 { Range: nonnegative; } Variable x72 { Range: nonnegative; } Variable x73 { Range: nonnegative; } Variable x74 { Range: nonnegative; } Variable x75 { Range: nonnegative; } Variable x76 { Range: nonnegative; } Variable x77 { Range: nonnegative; } Variable x78 { Range: nonnegative; } Variable x79 { Range: nonnegative; } Variable x80 { Range: nonnegative; } Variable x81 { Range: nonnegative; } Variable x82 { Range: nonnegative; } Variable x83 { Range: nonnegative; } Variable x84 { Range: nonnegative; } Variable x85 { Range: nonnegative; } Variable x86 { Range: nonnegative; } Variable x87 { Range: nonnegative; } Variable x88 { Range: nonnegative; } Variable x89 { Range: nonnegative; } Variable x90 { Range: nonnegative; } Variable x91 { Range: nonnegative; } Variable x92 { Range: nonnegative; } Variable x93 { Range: nonnegative; } Variable x94 { Range: nonnegative; } Variable x95 { Range: nonnegative; } Variable x96 { Range: nonnegative; } Variable x97 { Range: nonnegative; } Variable x98 { Range: nonnegative; } Variable x99 { Range: nonnegative; } Variable x100 { Range: nonnegative; } Variable x101 { Range: nonnegative; } Variable x102 { Range: nonnegative; } Variable x103 { Range: nonnegative; } Variable x104 { Range: nonnegative; } Variable x105 { Range: nonnegative; } Variable x106 { Range: nonnegative; } Variable x107 { Range: nonnegative; } Variable x108 { Range: nonnegative; } Variable x109 { Range: nonnegative; } Variable x110 { Range: nonnegative; } Variable x111 { Range: nonnegative; } Constraint e1 { Definition: - objvar - x89 = 0; } Constraint e2 { Definition: - x2 - x3 - x4 - x5 - x6 = -100; } Constraint e3 { Definition: - x2 + x7 - x57 - x62 - x67 - x72 - x77 = 0; } Constraint e4 { Definition: - x3 + x8 - x58 - x63 - x68 - x73 - x78 = 0; } Constraint e5 { Definition: - x4 + x9 - x59 - x64 - x69 - x74 - x79 = 0; } Constraint e6 { Definition: - x5 + x10 - x60 - x65 - x70 - x75 - x80 = 0; } Constraint e7 { Definition: - x6 + x11 - x61 - x66 - x71 - x76 - x81 = 0; } Constraint e8 { Definition: { x12*x7 - (x37*x57 + x41*x62 + x45*x67 + x49*x72 + x53*x77) - 0.58*x2 = 0 } } Constraint e9 { Definition: x13*x7 - (x38*x57 + x42*x62 + x46*x67 + x50*x72 + x54*x77) = 0; } Constraint e10 { Definition: x14*x7 - (x39*x57 + x43*x62 + x47*x67 + x51*x72 + x55*x77) = 0; } Constraint e11 { Definition: x15*x7 - (x40*x57 + x44*x62 + x48*x67 + x52*x72 + x56*x77) = 0; } Constraint e12 { Definition: { x16*x8 - (x37*x58 + x41*x63 + x45*x68 + x49*x73 + x53*x78) - 0.58*x3 = 0 } } Constraint e13 { Definition: x17*x8 - (x38*x58 + x42*x63 + x46*x68 + x50*x73 + x54*x78) = 0; } Constraint e14 { Definition: x18*x8 - (x39*x58 + x43*x63 + x47*x68 + x51*x73 + x55*x78) = 0; } Constraint e15 { Definition: x19*x8 - (x40*x58 + x44*x63 + x48*x68 + x52*x73 + x56*x78) = 0; } Constraint e16 { Definition: { x20*x9 - (x37*x59 + x41*x64 + x45*x69 + x49*x74 + x53*x79) - 0.58*x4 = 0 } } Constraint e17 { Definition: x21*x9 - (x38*x59 + x42*x64 + x46*x69 + x50*x74 + x54*x79) = 0; } Constraint e18 { Definition: x22*x9 - (x39*x59 + x43*x64 + x47*x69 + x51*x74 + x55*x79) = 0; } Constraint e19 { Definition: x23*x9 - (x40*x59 + x44*x64 + x48*x69 + x52*x74 + x56*x79) = 0; } Constraint e20 { Definition: { x24*x10 - (x37*x60 + x41*x65 + x45*x70 + x49*x75 + x53*x80) - 0.58*x5 = 0 } } Constraint e21 { Definition: x25*x10 - (x38*x60 + x42*x65 + x46*x70 + x50*x75 + x54*x80) = 0; } Constraint e22 { Definition: x26*x10 - (x39*x60 + x43*x65 + x47*x70 + x51*x75 + x55*x80) = 0; } Constraint e23 { Definition: x27*x10 - (x40*x60 + x44*x65 + x48*x70 + x52*x75 + x56*x80) = 0; } Constraint e24 { Definition: { x28*x11 - (x37*x61 + x41*x66 + x45*x71 + x49*x76 + x53*x81) - 0.58*x6 = 0 } } Constraint e25 { Definition: x29*x11 - (x38*x61 + x42*x66 + x46*x71 + x50*x76 + x54*x81) = 0; } Constraint e26 { Definition: x30*x11 - (x39*x61 + x43*x66 + x47*x71 + x51*x76 + x55*x81) = 0; } Constraint e27 { Definition: x31*x11 - (x40*x61 + x44*x66 + x48*x71 + x52*x76 + x56*x81) = 0; } Constraint e28 { Definition: - x7 + x32 = 0; } Constraint e29 { Definition: - x8 + x33 = 0; } Constraint e30 { Definition: - x9 + x34 = 0; } Constraint e31 { Definition: - x10 + x35 = 0; } Constraint e32 { Definition: - x11 + x36 = 0; } Constraint e33 { Definition: x37*x32 - (x12*x7 + x92*(-x97 - 2*x99)) = 0; } Constraint e34 { Definition: x38*x32 - (x13*x7 + x92*(x97 - x98)) = 0; } Constraint e35 { Definition: x39*x32 - (x14*x7 + x92*x98) = 0; } Constraint e36 { Definition: x40*x32 - (x15*x7 + x92*x99) = 0; } Constraint e37 { Definition: x41*x33 - (x16*x8 + x93*(-x100 - 2*x102)) = 0; } Constraint e38 { Definition: x42*x33 - (x17*x8 + x93*(x100 - x101)) = 0; } Constraint e39 { Definition: x43*x33 - (x18*x8 + x93*x101) = 0; } Constraint e40 { Definition: x44*x33 - (x19*x8 + x93*x102) = 0; } Constraint e41 { Definition: x45*x34 - (x20*x9 + x94*(-x103 - 2*x105)) = 0; } Constraint e42 { Definition: x46*x34 - (x21*x9 + x94*(x103 - x104)) = 0; } Constraint e43 { Definition: x47*x34 - (x22*x9 + x94*x104) = 0; } Constraint e44 { Definition: x48*x34 - (x23*x9 + x94*x105) = 0; } Constraint e45 { Definition: x49*x35 - (x24*x10 + x95*(-x106 - 2*x108)) = 0; } Constraint e46 { Definition: x50*x35 - (x25*x10 + x95*(x106 - x107)) = 0; } Constraint e47 { Definition: x51*x35 - (x26*x10 + x95*x107) = 0; } Constraint e48 { Definition: x52*x35 - (x27*x10 + x95*x108) = 0; } Constraint e49 { Definition: x53*x36 - (x28*x11 + x96*(-x109 - 2*x111)) = 0; } Constraint e50 { Definition: x54*x36 - (x29*x11 + x96*(x109 - x110)) = 0; } Constraint e51 { Definition: x55*x36 - (x30*x11 + x96*x110) = 0; } Constraint e52 { Definition: x56*x36 - (x31*x11 + x96*x111) = 0; } Constraint e53 { Definition: - 10*x37 + x97 = 0; } Constraint e54 { Definition: - 10*x41 + x100 = 0; } Constraint e55 { Definition: - 10*x45 + x103 = 0; } Constraint e56 { Definition: - 10*x49 + x106 = 0; } Constraint e57 { Definition: - 10*x53 + x109 = 0; } Constraint e58 { Definition: - x38 + x98 = 0; } Constraint e59 { Definition: - x42 + x101 = 0; } Constraint e60 { Definition: - x46 + x104 = 0; } Constraint e61 { Definition: - x50 + x107 = 0; } Constraint e62 { Definition: - x54 + x110 = 0; } Constraint e63 { Definition: -0.5*x37*x37 + x99 = 0; } Constraint e64 { Definition: -0.5*x41*x41 + x102 = 0; } Constraint e65 { Definition: -0.5*x45*x45 + x105 = 0; } Constraint e66 { Definition: -0.5*x49*x49 + x108 = 0; } Constraint e67 { Definition: -0.5*x53*x53 + x111 = 0; } Constraint e68 { Definition: x32 - x57 - x58 - x59 - x60 - x61 - x82 = 0; } Constraint e69 { Definition: x33 - x62 - x63 - x64 - x65 - x66 - x83 = 0; } Constraint e70 { Definition: x34 - x67 - x68 - x69 - x70 - x71 - x84 = 0; } Constraint e71 { Definition: x35 - x72 - x73 - x74 - x75 - x76 - x85 = 0; } Constraint e72 { Definition: x36 - x77 - x78 - x79 - x80 - x81 - x86 = 0; } Constraint e73 { Definition: - x82 - x83 - x84 - x85 - x86 + x87 = 0; } Constraint e74 { Definition: x87*x88 - (x82*x37 + x83*x41 + x84*x45 + x85*x49 + x86*x53) = 0; } Constraint e75 { Definition: x87*x89 - (x82*x38 + x83*x42 + x84*x46 + x85*x50 + x86*x54) = 0; } Constraint e76 { Definition: x87*x90 - (x82*x39 + x83*x43 + x84*x47 + x85*x51 + x86*x55) = 0; } Constraint e77 { Definition: x87*x91 - (x82*x40 + x83*x44 + x84*x48 + x85*x52 + x86*x56) = 0; } Procedure MainInitialization { Body: { x2.upper := 1000; x3.upper := 1000; x4.upper := 1000; x5.upper := 1000; x6.upper := 1000; x7.upper := 1000; x8.upper := 1000; x9.upper := 1000; x10.upper := 1000; x11.upper := 1000; x12.upper := 10; x13.upper := 10; x14.upper := 10; x15.upper := 10; x16.upper := 10; x17.upper := 10; x18.upper := 10; x19.upper := 10; x20.upper := 10; x21.upper := 10; x22.upper := 10; x23.upper := 10; x24.upper := 10; x25.upper := 10; x26.upper := 10; x27.upper := 10; x28.upper := 10; x29.upper := 10; x30.upper := 10; x31.upper := 10; x32.upper := 1000; x33.upper := 1000; x34.upper := 1000; x35.upper := 1000; x36.upper := 1000; x37.upper := 10; x38.upper := 10; x39.upper := 10; x40.upper := 10; x41.upper := 10; x42.upper := 10; x43.upper := 10; x44.upper := 10; x45.upper := 10; x46.upper := 10; x47.upper := 10; x48.upper := 10; x49.upper := 10; x50.upper := 10; x51.upper := 10; x52.upper := 10; x53.upper := 10; x54.upper := 10; x55.upper := 10; x56.upper := 10; x57.upper := 1000; x58.upper := 1000; x59.upper := 1000; x60.upper := 1000; x61.upper := 1000; x62.upper := 1000; x63.upper := 1000; x64.upper := 1000; x65.upper := 1000; x66.upper := 1000; x67.upper := 1000; x68.upper := 1000; x69.upper := 1000; x70.upper := 1000; x71.upper := 1000; x72.upper := 1000; x73.upper := 1000; x74.upper := 1000; x75.upper := 1000; x76.upper := 1000; x77.upper := 1000; x78.upper := 1000; x79.upper := 1000; x80.upper := 1000; x81.upper := 1000; x82.upper := 1000; x83.upper := 1000; x84.upper := 1000; x85.upper := 1000; x86.upper := 1000; x87.upper := 1000; x88.upper := 10; x89.upper := 10; x90.upper := 10; x91.upper := 10; x92.upper := 10000; x93.upper := 10000; x94.upper := 10000; x95.upper := 10000; x96.upper := 10000; x97.upper := 10000; x98.upper := 10000; x99.upper := 10000; x100.upper := 10000; x101.upper := 10000; x102.upper := 10000; x103.upper := 10000; x104.upper := 10000; x105.upper := 10000; x106.upper := 10000; x107.upper := 10000; x108.upper := 10000; x109.upper := 10000; x110.upper := 10000; x111.upper := 10000; x2.l := 50; x3.l := 50; x4.l := 50; x5.l := 50; x6.l := 50; x7.l := 50; x8.l := 50; x9.l := 50; x10.l := 50; x11.l := 50; x12.l := 0.2; x13.l := 0.2; x14.l := 0.2; x15.l := 0.2; x16.l := 0.2; x17.l := 0.2; x18.l := 0.2; x19.l := 0.2; x20.l := 0.2; x21.l := 0.2; x22.l := 0.2; x23.l := 0.2; x24.l := 0.2; x25.l := 0.2; x26.l := 0.2; x27.l := 0.2; x28.l := 0.2; x29.l := 0.2; x30.l := 0.2; x31.l := 0.2; x32.l := 100; x33.l := 100; x34.l := 100; x35.l := 100; x36.l := 100; x37.l := 0.2; x38.l := 0.2; x39.l := 0.2; x40.l := 0.2; x41.l := 0.2; x42.l := 0.2; x43.l := 0.2; x44.l := 0.2; x45.l := 0.2; x46.l := 0.2; x47.l := 0.2; x48.l := 0.2; x49.l := 0.2; x50.l := 0.2; x51.l := 0.2; x52.l := 0.2; x53.l := 0.2; x54.l := 0.2; x55.l := 0.2; x56.l := 0.2; x57.l := 50; x58.l := 50; x59.l := 50; x60.l := 50; x61.l := 50; x62.l := 50; x63.l := 50; x64.l := 50; x65.l := 50; x66.l := 50; x67.l := 50; x68.l := 50; x69.l := 50; x70.l := 50; x71.l := 50; x72.l := 50; x73.l := 50; x74.l := 50; x75.l := 50; x76.l := 50; x77.l := 50; x78.l := 50; x79.l := 50; x80.l := 50; x81.l := 50; x82.l := 50; x83.l := 50; x84.l := 50; x85.l := 50; x86.l := 50; x87.l := 100; x88.l := 0.2; x89.l := 0.2; x90.l := 0.2; x91.l := 0.2; x92.l := 1; x93.l := 1; x94.l := 1; x95.l := 1; x96.l := 1; } } MathematicalProgram ex8_3_2 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve ex8_3_2; } } Procedure MainTermination { Body: { return 1; } } }