## ams_version=1.0 Model Main_sssd25_04 { Variable b1 { Range: binary; } Variable b2 { Range: binary; } Variable b3 { Range: binary; } Variable b4 { Range: binary; } Variable b5 { Range: binary; } Variable b6 { Range: binary; } Variable b7 { Range: binary; } Variable b8 { Range: binary; } Variable b9 { Range: binary; } Variable b10 { Range: binary; } Variable b11 { Range: binary; } Variable b12 { Range: binary; } Variable b13 { Range: binary; } Variable b14 { Range: binary; } Variable b15 { Range: binary; } Variable b16 { Range: binary; } Variable b17 { Range: binary; } Variable b18 { Range: binary; } Variable b19 { Range: binary; } Variable b20 { Range: binary; } Variable b21 { Range: binary; } Variable b22 { Range: binary; } Variable b23 { Range: binary; } Variable b24 { Range: binary; } Variable b25 { Range: binary; } Variable b26 { Range: binary; } Variable b27 { Range: binary; } Variable b28 { Range: binary; } Variable b29 { Range: binary; } Variable b30 { Range: binary; } Variable b31 { Range: binary; } Variable b32 { Range: binary; } Variable b33 { Range: binary; } Variable b34 { Range: binary; } Variable b35 { Range: binary; } Variable b36 { Range: binary; } Variable b37 { Range: binary; } Variable b38 { Range: binary; } Variable b39 { Range: binary; } Variable b40 { Range: binary; } Variable b41 { Range: binary; } Variable b42 { Range: binary; } Variable b43 { Range: binary; } Variable b44 { Range: binary; } Variable b45 { Range: binary; } Variable b46 { Range: binary; } Variable b47 { Range: binary; } Variable b48 { Range: binary; } Variable b49 { Range: binary; } Variable b50 { Range: binary; } Variable b51 { Range: binary; } Variable b52 { Range: binary; } Variable b53 { Range: binary; } Variable b54 { Range: binary; } Variable b55 { Range: binary; } Variable b56 { Range: binary; } Variable b57 { Range: binary; } Variable b58 { Range: binary; } Variable b59 { Range: binary; } Variable b60 { Range: binary; } Variable b61 { Range: binary; } Variable b62 { Range: binary; } Variable b63 { Range: binary; } Variable b64 { Range: binary; } Variable b65 { Range: binary; } Variable b66 { Range: binary; } Variable b67 { Range: binary; } Variable b68 { Range: binary; } Variable b69 { Range: binary; } Variable b70 { Range: binary; } Variable b71 { Range: binary; } Variable b72 { Range: binary; } Variable b73 { Range: binary; } Variable b74 { Range: binary; } Variable b75 { Range: binary; } Variable b76 { Range: binary; } Variable b77 { Range: binary; } Variable b78 { Range: binary; } Variable b79 { Range: binary; } Variable b80 { Range: binary; } Variable b81 { Range: binary; } Variable b82 { Range: binary; } Variable b83 { Range: binary; } Variable b84 { Range: binary; } Variable b85 { Range: binary; } Variable b86 { Range: binary; } Variable b87 { Range: binary; } Variable b88 { Range: binary; } Variable b89 { Range: binary; } Variable b90 { Range: binary; } Variable b91 { Range: binary; } Variable b92 { Range: binary; } Variable b93 { Range: binary; } Variable b94 { Range: binary; } Variable b95 { Range: binary; } Variable b96 { Range: binary; } Variable b97 { Range: binary; } Variable b98 { Range: binary; } Variable b99 { Range: binary; } Variable b100 { Range: binary; } Variable b101 { Range: binary; } Variable b102 { Range: binary; } Variable b103 { Range: binary; } Variable b104 { Range: binary; } Variable b105 { Range: binary; } Variable b106 { Range: binary; } Variable b107 { Range: binary; } Variable b108 { Range: binary; } Variable b109 { Range: binary; } Variable b110 { Range: binary; } Variable b111 { Range: binary; } Variable b112 { Range: binary; } 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; } Variable x128 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: { - 476.627680186915*b1 - 149.653586784487*b2 - 213.186384418957*b3 - 43.7888464292729*b4 - 474.830868219332*b5 - 804.41120755867*b6 - 584.914840194532*b7 - 661.646071204307*b8 - 392.259337390379*b9 - 142.80919923228*b10 - 218.980029277262*b11 - 104.519355726959*b12 - 314.988665746119*b13 - 501.761182472619*b14 - 416.807578457382*b15 - 524.390259195122*b16 - 362.341095830922*b17 - 441.362501912098*b18 - 402.716752066181*b19 - 492.339440818786*b20 - 290.964161684016*b21 - 116.368122158017*b22 - 173.712811065166*b23 - 95.9656692808925*b24 - 443.684333533333*b25 - 176.081128582949*b26 - 302.39173954457*b27 - 293.29371225224*b28 - 476.763266014932*b29 - 183.917148897559*b30 - 272.205185020914*b31 - 136.278105402226*b32 - 101.35843572405*b33 - 193.942699651262*b34 - 141.921469465657*b35 - 201.173648709993*b36 - 132.921832386141*b37 - 421.655945550644*b38 - 281.212652600547*b39 - 407.005327357163*b40 - 202.365762241646*b41 - 137.219422282215*b42 - 132.146952277583*b43 - 179.383015135974*b44 - 123.618453957013*b45 - 297.215252315231*b46 - 218.762870620071*b47 - 282.961164098487*b48 - 20.13413882933*b49 - 497.103669118494*b50 - 268.341006965987*b51 - 427.522422721593*b52 - 210.032834185575*b53 - 434.311463333895*b54 - 298.270736776993*b55 - 444.612005461353*b56 - 211.951029854733*b57 - 447.318981178372*b58 - 332.208676638743*b59 - 453.095321147229*b60 - 435.628401127826*b61 - 771.659835894158*b62 - 623.845701115879*b63 - 775.557667039354*b64 - 424.738471081496*b65 - 833.085816488132*b66 - 592.460027321246*b67 - 700.942808077211*b68 - 229.947132383408*b69 - 586.218425366478*b70 - 424.710208954907*b71 - 555.528795297853*b72 - 327.711607414859*b73 - 238.953801669268*b74 - 251.293372908654*b75 - 313.742954288217*b76 - 478.24585803249*b77 - 80.7823868731141*b78 - 266.940737208009*b79 - 164.458228751629*b80 - 332.729569180138*b81 - 388.723389119461*b82 - 237.094588860685*b83 - 245.459595758858*b84 - 170.849806397817*b85 - 170.734963967704*b86 - 30.8907942571205*b87 - 104.086188009457*b88 - 66.4196868291459*b89 - 312.344045852442*b90 - 151.766233459965*b91 - 278.677297797007*b92 - 205.289077931114*b93 - 86.9146012652412*b94 - 127.990999929026*b95 - 141.658946009938*b96 - 588.039796501339*b97 - 363.309460856624*b98 - 476.707321955199*b99 - 487.438573778052*b100 - 489.84367475*b101 - 216.633855557639*b102 - 152.801343309708*b103 - 384.081627*b104 - 178.524432787122*b105 - 129.092639672378*b106 - 311.0588205*b107 - 156.215197085809*b108 - 117.416983804282*b109 - 300.51551825*b110 - 147.887674474043*b111 - 110.035201882344*b112 - 83308.5816488132*x113 - 83308.5816488132*x114 - 83308.5816488132*x115 - 83308.5816488132*x116 + objvar = 0 } } Constraint e2 { Definition: { 1.493016132*b1 + 1.456072816*b5 + 0.993236412*b9 + 1.025966745*b13 + 1.038311423*b17 + 0.674453719*b21 + 1.110104106*b25 + 1.179319831*b29 + 0.560898388*b33 + 1.098374636*b37 + 0.81518723*b41 + 0.558194512*b45 + 1.439212232*b49 + 1.368059775*b53 + 1.096159257*b57 + 1.34695262*b61 + 1.499851813*b65 + 1.138420427*b69 + 1.142989815*b73 + 1.204066374*b77 + 1.342748386*b81 + 0.943180215*b85 + 1.100967989*b89 + 0.659153757*b93 + 1.197148552*b97 - 5.2960774859375*x117 - 10.592154971875*x118 - 15.8882324578125*x119 = 0 } } Constraint e3 { Definition: { 1.493016132*b2 + 1.456072816*b6 + 0.993236412*b10 + 1.025966745*b14 + 1.038311423*b18 + 0.674453719*b22 + 1.110104106*b26 + 1.179319831*b30 + 0.560898388*b34 + 1.098374636*b38 + 0.81518723*b42 + 0.558194512*b46 + 1.439212232*b50 + 1.368059775*b54 + 1.096159257*b58 + 1.34695262*b62 + 1.499851813*b66 + 1.138420427*b70 + 1.142989815*b74 + 1.204066374*b78 + 1.342748386*b82 + 0.943180215*b86 + 1.100967989*b90 + 0.659153757*b94 + 1.197148552*b98 - 4.8209976578125*x120 - 9.641995315625*x121 - 14.4629929734375*x122 = 0 } } Constraint e4 { Definition: { 1.493016132*b3 + 1.456072816*b7 + 0.993236412*b11 + 1.025966745*b15 + 1.038311423*b19 + 0.674453719*b23 + 1.110104106*b27 + 1.179319831*b31 + 0.560898388*b35 + 1.098374636*b39 + 0.81518723*b43 + 0.558194512*b47 + 1.439212232*b51 + 1.368059775*b55 + 1.096159257*b59 + 1.34695262*b63 + 1.499851813*b67 + 1.138420427*b71 + 1.142989815*b75 + 1.204066374*b79 + 1.342748386*b83 + 0.943180215*b87 + 1.100967989*b91 + 0.659153757*b95 + 1.197148552*b99 - 4.924666325*x123 - 9.84933265*x124 - 14.773998975*x125 = 0 } } Constraint e5 { Definition: { 1.493016132*b4 + 1.456072816*b8 + 0.993236412*b12 + 1.025966745*b16 + 1.038311423*b20 + 0.674453719*b24 + 1.110104106*b28 + 1.179319831*b32 + 0.560898388*b36 + 1.098374636*b40 + 0.81518723*b44 + 0.558194512*b48 + 1.439212232*b52 + 1.368059775*b56 + 1.096159257*b60 + 1.34695262*b64 + 1.499851813*b68 + 1.138420427*b72 + 1.142989815*b76 + 1.204066374*b80 + 1.342748386*b84 + 0.943180215*b88 + 1.100967989*b92 + 0.659153757*b96 + 1.197148552*b100 - 4.4766575796875*x126 - 8.953315159375*x127 - 13.4299727390625*x128 = 0 } } Constraint e6 { Definition: b1 + b2 + b3 + b4 = 1; } Constraint e7 { Definition: b5 + b6 + b7 + b8 = 1; } Constraint e8 { Definition: b9 + b10 + b11 + b12 = 1; } Constraint e9 { Definition: b13 + b14 + b15 + b16 = 1; } Constraint e10 { Definition: b17 + b18 + b19 + b20 = 1; } Constraint e11 { Definition: b21 + b22 + b23 + b24 = 1; } Constraint e12 { Definition: b25 + b26 + b27 + b28 = 1; } Constraint e13 { Definition: b29 + b30 + b31 + b32 = 1; } Constraint e14 { Definition: b33 + b34 + b35 + b36 = 1; } Constraint e15 { Definition: b37 + b38 + b39 + b40 = 1; } Constraint e16 { Definition: b41 + b42 + b43 + b44 = 1; } Constraint e17 { Definition: b45 + b46 + b47 + b48 = 1; } Constraint e18 { Definition: b49 + b50 + b51 + b52 = 1; } Constraint e19 { Definition: b53 + b54 + b55 + b56 = 1; } Constraint e20 { Definition: b57 + b58 + b59 + b60 = 1; } Constraint e21 { Definition: b61 + b62 + b63 + b64 = 1; } Constraint e22 { Definition: b65 + b66 + b67 + b68 = 1; } Constraint e23 { Definition: b69 + b70 + b71 + b72 = 1; } Constraint e24 { Definition: b73 + b74 + b75 + b76 = 1; } Constraint e25 { Definition: b77 + b78 + b79 + b80 = 1; } Constraint e26 { Definition: b81 + b82 + b83 + b84 = 1; } Constraint e27 { Definition: b85 + b86 + b87 + b88 = 1; } Constraint e28 { Definition: b89 + b90 + b91 + b92 = 1; } Constraint e29 { Definition: b93 + b94 + b95 + b96 = 1; } Constraint e30 { Definition: b97 + b98 + b99 + b100 = 1; } Constraint e31 { Definition: b101 + b102 + b103 <= 1; } Constraint e32 { Definition: b104 + b105 + b106 <= 1; } Constraint e33 { Definition: b107 + b108 + b109 <= 1; } Constraint e34 { Definition: b110 + b111 + b112 <= 1; } Constraint e35 { Definition: - b101 + x117 <= 0; } Constraint e36 { Definition: - b102 + x118 <= 0; } Constraint e37 { Definition: - b103 + x119 <= 0; } Constraint e38 { Definition: - b104 + x120 <= 0; } Constraint e39 { Definition: - b105 + x121 <= 0; } Constraint e40 { Definition: - b106 + x122 <= 0; } Constraint e41 { Definition: - b107 + x123 <= 0; } Constraint e42 { Definition: - b108 + x124 <= 0; } Constraint e43 { Definition: - b109 + x125 <= 0; } Constraint e44 { Definition: - b110 + x126 <= 0; } Constraint e45 { Definition: - b111 + x127 <= 0; } Constraint e46 { Definition: - b112 + x128 <= 0; } Constraint e47 { Definition: -x113/(1 + x113) + x117 <= 0; } Constraint e48 { Definition: -x113/(1 + x113) + x118 <= 0; } Constraint e49 { Definition: -x113/(1 + x113) + x119 <= 0; } Constraint e50 { Definition: -x114/(1 + x114) + x120 <= 0; } Constraint e51 { Definition: -x114/(1 + x114) + x121 <= 0; } Constraint e52 { Definition: -x114/(1 + x114) + x122 <= 0; } Constraint e53 { Definition: -x115/(1 + x115) + x123 <= 0; } Constraint e54 { Definition: -x115/(1 + x115) + x124 <= 0; } Constraint e55 { Definition: -x115/(1 + x115) + x125 <= 0; } Constraint e56 { Definition: -x116/(1 + x116) + x126 <= 0; } Constraint e57 { Definition: -x116/(1 + x116) + x127 <= 0; } Constraint e58 { Definition: -x116/(1 + x116) + x128 <= 0; } Procedure MainInitialization; MathematicalProgram sssd25_04 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve sssd25_04; } } Procedure MainTermination { Body: { return 1; } } }