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