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