[Couenne-tickets] [Couenne, a solver for non-convex MINLP problems] #13: segmentation fault in CouenneProblem::realign()
Couenne, a solver for non-convex MINLP problems
coin-trac at coin-or.org
Mon Sep 19 09:43:41 EDT 2011
#13: segmentation fault in CouenneProblem::realign()
------------------------+---------------------------------------------------
Reporter: stefan | Owner: somebody
Type: defect | Status: new
Priority: major | Milestone:
Component: component1 | Version:
Keywords: |
------------------------+---------------------------------------------------
Hi,
I get a segmentation fault with Couenne/stable/0.4 rev773 during problem
reformulation. It is likely connected with a valgrind complain on
accessing a variable that has been deleted before in
{{{CouenneProblem::realign()}}}.
I added a print() at the beginning of {{{CouenneProblem::realign()}}} and
enabled the debug output in {{{exprCopy::realign()}}}.
The result is
{{{
objectives:
min w_723
constraints:
w_761 = 0
w_764 = 0
w_767 = 0
w_770 = 0
w_775 = 15.2243
w_780 = 15.9008
w_785 = 15.9008
w_790 = 16.0137
w_795 = 16.0137
w_800 = 16.6832
w_805 = 15.2243
w_810 = 15.9008
w_815 = 15.9008
w_820 = 16.0137
w_825 = 16.0137
w_830 = 16.6832
w_856 = 0
w_867 = 0
w_878 = 0
w_879 = 0
w_880 = 0
w_881 = 0
w_888 = 0
w_895 = 0
w_902 = 0
w_908 = 0
w_914 = 0
w_920 = 0
w_926 = 0
w_932 = 0
w_938 = 0
w_944 = 0
w_950 = 0
w_956 = 0
w_962 = 0
w_968 = 0
w_974 = 0
w_980 = 0
w_986 = 0
w_992 = 0
w_997 = 13.6333
w_1002 = 15.2243
w_1007 = 15.9008
w_1012 = 16.0137
w_1017 = 16.6832
w_1022 = 13.6333
w_1027 = 15.2243
w_1032 = 15.9008
w_1037 = 16.0137
w_1042 = 16.6832
w_1047 = 13.6333
w_1052 = 15.2243
w_1057 = 15.9008
w_1062 = 16.0137
w_1067 = 16.6832
w_1087 = 0
w_1103 = 0
w_1116 = 0
w_1132 = 0
w_1145 = 0
z_1146 = 0
z_1147 = 0
z_1148 = 0
w_1149 = 0
w_1150 = 0
w_1151 = 0
0 <= w_1152
0 <= w_1153
-7 <= w_1154
-7 <= w_1155
-7 <= w_1156
-7 <= w_1157
-7 <= w_1158
-7 <= w_1159
-7 <= w_1160
-7 <= w_1161
-7 <= w_1162
-7 <= w_1163
-4 <= w_1164
-4 <= w_1165
-4 <= w_1166
-4 <= w_1167
-4 <= w_1168
-4 <= w_1169
-4 <= w_1170
-4 <= w_1171
-4 <= w_1172
-4 <= w_1173
w_1178 = 0
w_1182 = 0
w_1186 = 0
w_1190 = 0
w_1192 = 0
w_1193 = 0
w_1194 = 0
w_1195 = 0
w_1196 = 0
w_1197 = 0
w_1198 = 0
0 <= w_1199
w_1236 = 0
z_1237 = 1
w_1238 = 0
w_1239 = 0
w_1240 = 0
w_1242 = 0
w_1244 = 0
w_1246 = 0
w_1248 = 0
w_1250 = 0
w_1251 = 0
w_1252 = 0
w_1253 = 0
w_1254 = 0
w_1255 = 0
w_1260 = 0
w_1265 = 0
w_1269 = 0
w_1273 = 0
w_1278 = 0
w_1282 = 0
w_1283 <= 0
w_1284 <= 0
w_1285 <= 0
w_1286 <= 0
w_1287 <= 0
w_1288 = 0
w_1289 = 0
w_1290 = 0
w_1291 = 0
w_1292 = 0
w_1293 = 0
w_1294 = 0
w_1295 = 0
w_1296 = 0
w_1297 = 0
w_1298 = 0
w_1299 = 0
variables:
x_0 [ 0 , 40 ]
w_1 (r:8, m:1) := log(w_730) [ -9.98225 , 15 ]
w_2 (r:8, m:1) := log(w_736) [ 0.00011776 , 5.72646 ]
w_3 (r:8, m:1) := log(w_741) [ 0.000184835 , 15 ]
w_4 (r:4, m:1) := (9.62963*w_749) [ 0 , 100 ]
w_5 (r:4, m:1) := (9.62963*w_752) [ 0 , 100 ]
w_6 (r:4, m:1) := (9.62963*w_755) [ 0 , 100 ]
w_7 (r:4, m:1) := (9.62963*w_758) [ 0 , 100 ]
x_8 [ 1 , 2.66667 ]
x_9 [ 1 , 2.66667 ]
x_10 [ 1 , 2.66667 ]
x_11 [ 1 , 2.66667 ]
x_12 [ 0 , 4 ]
x_13 [ 8 , 14 ]
x_14 [ 0 , 4 ]
w_15 (r:2, m:1) := (4*x_12) [ 0 , 16 ]
w_16 (r:2, m:1) := (4*x_13) [ 32 , 56 ]
w_17 (r:2, m:1) := (4*x_14) [ 0 , 16 ]
x_18 [ 0.02 , 0.1 ]
x_19 [ 0.5 , 2 ]
x_20 [ 0.02 , 0.1 ]
w_21 (r:2, m:1) := (1.2*x_18) [ 0.024 , 0.12 ]
w_22 (r:2, m:1) := (1.2*x_19) [ 0.6 , 2.4 ]
w_23 (r:2, m:1) := (1.2*x_20) [ 0.024 , 0.12 ]
w_24 (r:3, m:1) >= (-4+w_593+4*y_713) [ 1.02 , 1.02 ]
x_26 [ 0.1 , 0.25 ]
w_27 (r:4, m:1) := (w_833^0.5) [ 262.545 , 262.545 ]
w_28 (r:4, m:1) := (w_836^0.5) [ 2.02977 , 2.60476 ]
w_29 (r:4, m:1) := (w_839^0.5) [ 12.7281 , 89.9933 ]
x_30 [ 3 , 4.5 ]
w_31 (r:3, m:1) >= (-7+w_665+7*z_712) [ 3 , 4.5 ]
w_32 (r:3, m:1) >= (-7+w_676+7*z_715) [ 3.83313 , 6.5 ]
w_34 (r:3, m:1) >= (-4+w_593+4*z_712) [ 0.1 , 3.25 ]
w_35 (r:3, m:1) >= (-4+w_604+4*z_715) [ 0.1 , 3.25 ]
x_36 [ 0.975 , 1 ]
x_37 [ 0.975 , 1 ]
x_38 [ 0 , 0.075 ]
x_39 [ 0 , 0.05 ]
x_40 [ 0 , 0.001 ]
x_41 [ 0.975 , 1 ]
x_42 [ 0.975 , 1 ]
x_43 [ 0 , 0.2 ]
x_44 [ 0 , 0.1 ]
x_45 [ 0 , 0.01 ]
x_46 [ 0.99 , 1 ]
x_47 [ 0.99 , 1 ]
x_48 [ 0.9 , 1 ]
x_49 [ 0.9 , 1 ]
x_50 [ 0 , 0.4 ]
w_51 (r:4, m:1) := (-1*w_1070) [ 0 , 1.36425 ]
w_52 (r:4, m:1) := (-1*w_1073) [ 0 , 1.8615 ]
w_53 (r:4, m:1) := (-1*w_1076) [ 0 , 1.05162 ]
w_54 (r:9, m:1) := (-1*w_1079) [ 0 , 1.05162 ]
w_55 (r:3, m:1) := (0.0105162*w_1080) [ 0 , 1.05162 ]
w_56 (r:4, m:1) := (-1*w_1083) [ 0 , 1.1475 ]
x_57 [ -0 , -0 ] integer
w_58 (r:4, m:1) := (-1*w_1085) [ 0 , 1.18594 ]
x_59 [ -0 , 10000 ]
x_60 [ 100 , 10000 ]
w_63 (r:3, m:1) >= w_613 [ 2.5 , 3.25 ]
x_66 [ 8.9427 , 9.776 ]
x_68 [ 3.4474 , 3.4474 ]
w_69 (r:4, m:1) := (0.20684+w_576) [ 3.4474 , 3.4474 ]
x_70 [ 0 , 200 ]
x_71 [ 0 , 200 ]
w_72 (r:6, m:1) := (6.3e+10*w_1203) [ 0.0123471 , 0.149543 ]
w_73 (r:6, m:1) := (6.3e+10*w_1207) [ 0.0123471 , 0.149543 ]
w_74 (r:13, m:1) := (1-w_1217) [ 0 , 0.973 ]
w_75 (r:13, m:1) := (1-w_1227) [ 0 , 0.973 ]
w_76 (r:16, m:1) := (1-0.0036*w_1229) [ 0.048789 , 0.9964 ]
w_77 (r:16, m:1) := (1-0.0036*w_1231) [ 0.048789 , 0.9964 ]
w_78 (r:14, m:1) := (w_74*x_252) [ 0 , 29.19 ]
w_79 (r:14, m:1) := (w_75*w_262) [ 0 , 29.19 ]
w_80 (r:15, m:1) := (25.551*w_79) [ 0 , 100 ]
x_82 [ 8.943 , 10 ]
x_83 [ 3 , 10 ]
x_84 [ 3.83313 , 4.40385 ]
x_87 [ 3.93 , 3.93 ]
x_95 [ 3.2 , 3.2 ]
x_99 [ 64.5007 , 77.2228 ]
x_100 [ 25.4212 , 71.8155 ]
x_101 [ 0.0138112 , 0.966001 ]
x_102 [ 0.00417076 , 0.485768 ]
x_103 [ 4.61664e-06 , 0.0127264 ]
x_104 [ 30.9259 , 30.9259 ]
x_105 [ 0.0320383 , 0.0320383 ]
x_106 [ 72.8376 , 72.8376 ]
x_109 [ 0.0383913 , 0.181226 ]
x_110 [ 0.235127 , 0.811908 ]
x_113 [ 0.000960401 , 0.00432018 ]
x_114 [ 1.74972 , 3.11123 ]
x_116 [ 72.5237 , 86.3239 ]
x_117 [ 50.1321 , 134.947 ]
x_118 [ 0.235127 , 10.0965 ]
x_119 [ 0.1 , 6.67475 ]
x_120 [ 0.000960401 , 0.835128 ]
x_121 [ 64.5007 , 77.2228 ]
x_122 [ 25.4212 , 71.8155 ]
x_123 [ 0.0138112 , 0.966001 ]
x_124 [ 0.00417076 , 0.485768 ]
x_125 [ 4.61664e-06 , 0.0127264 ]
x_126 [ 0 , 0.5 ]
w_127 (r:2, m:1) := (1-x_126) [ 0.5 , 1 ]
x_128 [ 0 , 1 ]
w_129 (r:2, m:1) := (1-x_128) [ 0 , 1 ]
x_130 [ 0 , 1 ]
w_131 (r:2, m:1) := (1-x_130) [ 0 , 1 ]
x_132 [ 0 , 10 ]
w_133 (r:2, m:1) <= (50*y_708) [ 0 , 10 ]
w_134 (r:4, m:1) <= (50*z_709) [ 0 , 10 ]
x_135 [ 0 , 10 ]
w_136 (r:3, m:1) <= (2*w_224) [ 0 , 10 ]
w_137 (r:3, m:1) := (w_224+w_225+w_226+w_227+w_228) [ 0 , 10 ]
w_138 (r:4, m:1) := (w_234+w_235+w_236+w_237+w_238) [ 0 , 10 ]
x_139 [ 0 , 50 ]
w_140 (r:5, m:1) := (x_239+w_240+x_241+x_242+w_243) [ 0 , 50 ]
w_141 (r:2, m:1) <= (50*z_710) [ 0 , 50 ]
w_142 (r:21, m:1) := (w_254+w_255+w_256+w_257+w_258) [ 0 , 50 ]
w_143 (r:2, m:1) <= (50*y_711) [ 0 , 50 ]
w_144 (r:21, m:1) := (w_264+w_265+w_266+w_267+w_268) [ 0 , 50 ]
w_145 (r:3, m:1) := (w_269+w_270+w_271+w_272+w_273) [ 0 , 50 ]
w_146 (r:3, m:1) := (w_269+w_270+w_271+w_272+w_273) [ 0 , 50 ]
x_147 [ 0 , 50 ]
w_148 (r:3, m:1) := (x_279+x_280+x_281+x_282+w_283) [ 0 , 50 ]
w_149 (r:3, m:1) := (w_289+w_290+w_291+w_292+w_293) [ 0 , 50 ]
w_150 (r:3, m:1) := (w_294+w_295+w_296+w_297+w_298) [ 0 , 10 ]
w_151 (r:3, m:1) := (w_299+w_300+w_301+w_302+w_303) [ 0 , 10 ]
w_152 (r:4, m:1) := (w_304+w_305+w_306+w_307+w_308) [ 0 , 10 ]
x_153 [ 0 , 10 ]
w_154 (r:2, m:1) <= (50*z_712) [ 0 , 10 ]
w_155 (r:2, m:1) <= (50*y_713) [ 0 , 10 ]
w_156 (r:6, m:1) := (w_840*w_841) [ 0 , 10 ]
x_157 [ 0 , 10 ]
w_158 (r:3, m:1) := (z_334+w_335+w_336+w_337+w_338) [ 0 , 10 ]
w_159 (r:4, m:1) := (w_339+w_340+w_341+w_342+w_343) [ 0 , 10 ]
w_160 (r:4, m:1) := (w_344+w_345+w_346+w_347+w_348) [ 0 , 10 ]
w_161 (r:6, m:1) := (w_842*w_843) [ 0 , 10 ]
x_162 [ 2.08 , 2.08 ]
w_163 (r:3, m:1) := (w_359+z_360+w_361+w_362+w_363) [ 0 , 10 ]
w_164 (r:6, m:1) := (w_844*w_845) [ 0 , 10 ]
x_165 [ 0 , 10 ]
w_166 (r:3, m:1) := (w_374+w_375+z_376+w_377+w_378) [ 0 , 10 ]
w_167 (r:2, m:1) <= (50*z_715) [ 0 , 10 ]
w_168 (r:4, m:1) := (w_379+w_380+w_381+w_382+w_383) [ 0 , 10 ]
w_169 (r:4, m:1) := (w_379+w_380+w_381+w_382+w_383) [ 0 , 10 ]
w_170 (r:3, m:1) := (w_394+w_395+w_396+w_397+w_398) [ 0 , 10 ]
w_171 (r:3, m:1) := (w_399+z_400+w_401+w_402+w_403) [ 0 , 10 ]
w_172 (r:4, m:1) := (w_404+w_405+w_406+w_407+w_408) [ 0 , 10 ]
w_173 (r:4, m:1) := (w_404+w_405+w_406+w_407+w_408) [ 0 , 10 ]
w_174 (r:4, m:1) := (x_314+x_315+x_316+x_317+w_318) [ 0 , 10 ]
w_175 (r:4, m:1) := (x_314+x_315+x_316+x_317+w_318) [ 0 , 10 ]
w_176 (r:4, m:1) := (x_314+x_315+x_316+x_317+w_318) [ 0 , 10 ]
w_177 (r:3, m:1) := (w_429+w_430+w_431+w_432+w_433) [ 0 , 10 ]
w_178 (r:3, m:1) := (w_434+w_435+w_436+w_437+w_438) [ 0 , 10 ]
w_179 (r:3, m:1) := (w_429+w_430+w_431+w_432+w_433) [ 0 , 10 ]
w_180 (r:4, m:1) := (w_344+w_345+w_346+w_347+w_348) [ 0 , 10 ]
w_181 (r:3, m:1) := (w_449+w_450+w_451+w_452+w_453) [ 0 , 10 ]
w_182 (r:4, m:1) := (w_454+w_455+w_456+w_457+w_458) [ 0 , 50 ]
w_183 (r:2, m:1) <= (50*z_716) [ 0 , 10 ]
w_184 (r:2, m:1) <= (50*y_717) [ 0 , 50 ]
x_185 [ 0 , 10 ]
w_186 (r:3, m:1) <= (2*w_474) [ 0 , 50 ]
w_187 (r:3, m:1) := (w_474+w_475+w_476+w_477+w_478) [ 0 , 50 ]
w_188 (r:4, m:1) := (w_484+w_485+w_486+w_487+w_488) [ 0 , 50 ]
w_189 (r:2, m:1) <= (50*z_718) [ 0 , 50 ]
w_190 (r:7, m:1) := (w_489+w_490+x_491+w_492+w_493) [ 0 , 50 ]
w_191 (r:2, m:1) <= (50*y_719) [ 0 , 10 ]
w_192 (r:13, m:1) := (x_504+x_505+w_506+w_507+x_508) [ 0 , 10 ]
w_193 (r:3, m:1) := (51.718*w_724) [ 0 , 10 ]
w_194 (r:6, m:1) := (w_514+w_515+w_516+w_517+w_518) [ 0 , 10 ]
w_195 (r:6, m:1) := (w_514+w_515+w_516+w_517+w_518) [ 0 , 10 ]
x_196 [ 0 , 10 ]
x_197 [ 0 , 10 ]
w_198 (r:13, m:1) := (w_534+w_535+w_536+w_537+w_538) [ 0 , 10 ]
w_199 (r:3, m:1) := (w_539+w_540+w_541+w_542+w_543) [ 0 , 10 ]
w_200 (r:5, m:1) := (x_239+w_240+x_241+x_242+w_243) [ 0 , 50 ]
w_201 (r:3, m:1) := (x_279+x_280+x_281+x_282+w_283) [ 0 , 50 ]
w_202 (r:5, m:1) <= (2*w_554) [ 0 , 50 ]
w_203 (r:7, m:1) := (w_499+w_500+w_501+w_502+w_503) [ 0 , 10 ]
w_204 (r:2, m:1) := (0.95*x_132) [ 0 , 9.5 ]
w_205 (r:2, m:1) := (0.05*x_132) [ 0 , 0.5 ]
z_206 (r:3, m:1) := (x_132-w_204-w_205-x_207-x_208) [ -0 , 0 ] integer
x_207 [ -0 , -0 ] integer
x_208 [ -0 , -0 ] integer
x_209 [ 0 , 10 ]
x_210 [ 0 , 10 ]
x_211 [ 0 , 10 ]
x_212 [ 0 , 10 ]
w_213 (r:3, m:1) := (w_133-x_209-x_210-x_211-x_212) [ 0 , 10 ]
w_214 (r:2, m:1) := (w_204-x_209) [ 0 , 9.5 ]
w_215 (r:2, m:1) := (w_205-x_210) [ 0 , 0.5 ]
w_216 (r:2, m:1) := (z_206-x_211) [ -0 , 0 ] integer
w_217 (r:2, m:1) := (x_207-x_212) [ -0 , 0 ] integer
w_218 (r:2, m:1) := (x_208-w_213) [ -0 , 0 ] integer
x_219 [ 0 , 10 ]
x_220 [ 0 , 10 ]
x_221 [ 0 , 10 ]
x_222 [ 0 , 10 ]
w_223 (r:2, m:1) := (x_135-x_219-x_220-x_221-x_222) [ 0 , 10 ]
w_224 (r:2, m:1) := (w_214-x_219) [ 0 , 9.5 ]
w_225 (r:2, m:1) := (w_215-x_220) [ 0 , 0.5 ]
w_226 (r:2, m:1) := (w_216-x_221) [ -0 , 0 ] integer
w_227 (r:2, m:1) := (w_217-x_222) [ -0 , 0 ] integer
w_228 (r:2, m:1) := (w_218-w_223) [ -0 , 0 ] integer
w_234 (r:3, m:1) := (x_209+w_224) [ 0 , 10 ]
w_235 (r:3, m:1) := (x_210+w_225) [ 0 , 10 ]
w_236 (r:3, m:1) := (x_211+w_226) [ 0 , 10 ]
w_237 (r:3, m:1) := (x_212+w_227) [ 0 , 10 ]
w_238 (r:3, m:1) := (w_213+w_228) [ 0 , 10 ]
x_239 [ 0 , 30 ]
w_240 (r:4, m:1) := (x_139-x_239-x_241-x_242-w_243) [ 0 , 30 ]
x_241 [ 0 , 30 ]
x_242 [ 0 , 30 ]
w_243 (r:3, m:1) := (w_253+w_263) [ 0 , 12 ]
x_249 [ 0 , 30 ]
w_250 (r:3, m:1) := (w_141-x_249-x_251-x_252-w_253) [ 0 , 30 ]
x_251 [ 0 , 30 ]
x_252 [ 0 , 30 ]
w_253 (r:2, m:1) <= (0.2*x_249-x_251-x_252) [ 0 , 6 ]
w_254 (r:20, m:1) := (-w_78+x_249-w_253+w_258) [ 0 , 30 ]
w_255 (r:15, m:1) := (w_78+w_250) [ 0 , 30 ]
w_256 (r:18, m:1) := (x_251+w_1232) [ 0 , 30 ]
w_257 (r:15, m:1) := (-w_78+x_252) [ 0 , 30 ]
w_258 (r:19, m:1) := (0.5*w_78+0.5*x_251+w_253-0.5*w_256) [ 0 , 30 ]
w_259 (r:2, m:1) := (x_239-x_249) [ 0 , 30 ]
w_260 (r:2, m:1) := (w_240-w_250) [ 0 , 30 ]
w_261 (r:2, m:1) := (x_241-x_251) [ 0 , 30 ]
w_262 (r:2, m:1) := (x_242-x_252) [ 0 , 30 ]
w_263 (r:2, m:1) <= (0.2*w_259-w_261-w_262) [ 0 , 6 ]
w_264 (r:20, m:1) := (-w_79+w_259-w_263+w_268) [ 0 , 30 ]
w_265 (r:15, m:1) := (w_79+w_260) [ 0 , 30 ]
w_266 (r:18, m:1) := (w_261+w_1233) [ 0 , 30 ]
w_267 (r:15, m:1) := (-w_79+w_262) [ 0 , 30 ]
w_268 (r:19, m:1) := (0.5*w_79+0.5*w_261+w_263-0.5*w_266) [ 0 , 30 ]
w_269 (r:2, m:1) := (w_254+w_264) [ 0 , 30 ]
w_270 (r:2, m:1) := (w_255+w_265) [ 0 , 30 ]
w_271 (r:2, m:1) := (w_256+w_266) [ 0 , 30 ]
w_272 (r:2, m:1) := (w_257+w_267) [ 0 , 30 ]
w_273 (r:2, m:1) := (w_258+w_268) [ 0 , 30 ]
x_279 [ 0 , 30 ]
x_280 [ 0 , 30 ]
x_281 [ 0 , 30 ]
x_282 [ 0 , 30 ]
w_283 (r:2, m:1) := (x_147-x_279-x_280-x_281-x_282) [ 0 , 30 ]
w_289 (r:2, m:1) := (x_36*x_279) [ 0 , 30 ]
w_290 (r:2, m:1) := (x_37*x_280) [ 0 , 30 ]
w_291 (r:2, m:1) := (x_38*x_281) [ 0 , 2.25 ]
w_292 (r:2, m:1) := (x_39*x_282) [ 0 , 1.5 ]
w_293 (r:2, m:1) := (x_40*w_283) [ 0 , 0.03 ]
w_294 (r:2, m:1) := (x_279-w_289) [ 0 , 10 ]
w_295 (r:2, m:1) := (x_280-w_290) [ 0 , 10 ]
w_296 (r:2, m:1) := (x_281-w_291) [ 0 , 10 ]
w_297 (r:2, m:1) := (x_282-w_292) [ 0 , 10 ]
w_298 (r:2, m:1) := (w_283-w_293) [ 0 , 10 ]
w_299 (r:2, m:1) := (-w_269+x_279) [ 0 , 10 ]
w_300 (r:2, m:1) := (-w_270+x_280) [ 0 , 10 ]
w_301 (r:2, m:1) := (-w_271+x_281) [ 0 , 10 ]
w_302 (r:2, m:1) := (-w_272+x_282) [ 0 , 10 ]
w_303 (r:2, m:1) := (-w_273+w_283) [ 0 , 10 ]
w_304 (r:3, m:1) := (w_127*w_294) [ 0 , 10 ]
w_305 (r:3, m:1) := (w_127*w_295) [ 0 , 10 ]
w_306 (r:3, m:1) := (w_127*w_296) [ 0 , 10 ]
w_307 (r:3, m:1) := (w_127*w_297) [ 0 , 10 ]
w_308 (r:3, m:1) := (w_127*w_298) [ 0 , 10 ]
x_309 [ 0 , 10 ]
x_310 [ 0 , 10 ]
x_311 [ 0 , 10 ]
x_312 [ 0 , 10 ]
w_313 (r:2, m:1) := (x_153-x_309-x_310-x_311-x_312) [ 0 , 10 ]
x_314 [ 0 , 10 ]
x_315 [ 0 , 10 ]
x_316 [ 0 , 10 ]
x_317 [ 0 , 10 ]
w_318 (r:3, m:1) := (w_154-x_314-x_315-x_316-x_317) [ 0 , 10 ]
w_319 (r:2, m:1) := (x_309-x_314) [ 0 , 10 ]
w_320 (r:2, m:1) := (x_310-x_315) [ 0 , 10 ]
w_321 (r:2, m:1) := (x_311-x_316) [ 0 , 10 ]
w_322 (r:2, m:1) := (x_312-x_317) [ 0 , 10 ]
w_323 (r:2, m:1) := (w_313-w_318) [ 0 , 10 ]
x_330 [ 0 , 10 ]
w_331 (r:2, m:1) <= (0.05*w_321) [ 0 , 0.5 ]
x_332 [ 0 , 10 ]
w_333 (r:3, m:1) := (x_157-w_319-x_330-w_331-x_332) [ 0 , 10 ]
z_334 (r:2, m:1) := [ -0 , 0 ] integer
w_335 (r:2, m:1) := (w_320-x_330) [ 0 , 10 ]
w_336 (r:2, m:1) := (w_321-w_331) [ 0 , 10 ]
w_337 (r:2, m:1) := (w_322-x_332) [ 0 , 10 ]
w_338 (r:2, m:1) := (w_323-w_333) [ 0 , 10 ]
w_339 (r:3, m:1) := (x_128*w_319) [ 0 , 10 ]
w_340 (r:2, m:1) := (x_128*x_330) [ 0 , 10 ]
w_341 (r:3, m:1) := (x_128*w_331) [ 0 , 0.5 ]
w_342 (r:2, m:1) := (x_128*x_332) [ 0 , 10 ]
w_343 (r:2, m:1) := (x_128*w_333) [ 0 , 10 ]
w_344 (r:3, m:1) := (w_129*w_319) [ 0 , 10 ]
w_345 (r:2, m:1) := (w_129*x_330) [ 0 , 10 ]
w_346 (r:3, m:1) := (w_129*w_331) [ 0 , 0.5 ]
w_347 (r:2, m:1) := (w_129*x_332) [ 0 , 10 ]
w_348 (r:2, m:1) := (w_129*w_333) [ 0 , 10 ]
w_349 (r:3, m:1) := (z_334+w_434) [ 0 , 10 ]
w_350 (r:3, m:1) := (w_335+w_435) [ 0 , 10 ]
w_351 (r:3, m:1) := (w_336+w_436) [ 0 , 10 ]
w_352 (r:3, m:1) := (w_337+w_437) [ 0 , 10 ]
w_353 (r:3, m:1) := (w_338+w_438) [ 0 , 10 ]
x_354 [ 0 , 10 ]
w_356 (r:2, m:1) >= (0.9997*x_162) [ 2.07938 , 10 ]
w_357 (r:2, m:1) <= (0.05*w_352) [ 0 , 0.5 ]
w_358 (r:4, m:1) := (x_162-w_350-x_354-w_356-w_357) [ 0 , 0.000624 ]
w_359 (r:2, m:1) := (w_349-x_354) [ 0 , 10 ]
z_360 (r:2, m:1) := [ -0 , 0 ] integer
w_361 (r:2, m:1) := (w_351-w_356) [ 0 , 7.92062 ]
w_362 (r:2, m:1) := (w_352-w_357) [ 0 , 10 ]
w_363 (r:2, m:1) := (w_353-w_358) [ 0 , 10 ]
x_364 [ 0 , 10 ]
x_365 [ 0 , 10 ]
x_366 [ 0 , 10 ]
x_367 [ 0 , 10 ]
w_368 (r:7, m:1) := (w_164-x_364-x_365-x_366-x_367) [ 0 , 10 ]
x_369 [ 0 , 10 ]
x_370 [ 0 , 10 ]
w_372 (r:3, m:1) := (x_165-x_366-x_369-x_370-w_373) [ 0 , 10 ]
w_373 (r:2, m:1) <= (0.05*w_368) [ 0 , 0.5 ]
w_374 (r:2, m:1) := (x_364-x_369) [ 0 , 10 ]
w_375 (r:2, m:1) := (x_365-x_370) [ 0 , 10 ]
z_376 (r:2, m:1) := [ -0 , 0 ] integer
w_377 (r:2, m:1) := (x_367-w_372) [ 0 , 10 ]
w_378 (r:2, m:1) := (w_368-w_373) [ 0 , 10 ]
w_379 (r:3, m:1) := (w_359-x_364) [ 0 , 10 ]
w_380 (r:3, m:1) := (z_360-x_365) [ -0 , 0 ] integer
w_381 (r:3, m:1) := (w_361-x_366) [ 0 , 7.92062 ]
w_382 (r:3, m:1) := (w_362-x_367) [ 0 , 10 ]
w_383 (r:3, m:1) := (w_363-w_368) [ 0 , 10 ]
w_394 (r:2, m:1) := (x_46*w_379) [ 0 , 10 ]
w_395 (r:2, m:1) := (x_47*w_380) [ -0 , 0 ] integer
w_396 (r:2, m:1) := (x_48*w_381) [ 0 , 7.92062 ]
w_397 (r:2, m:1) := (x_49*w_382) [ 0 , 10 ]
w_398 (r:2, m:1) := (x_50*w_383) [ 0 , 4 ]
w_399 (r:2, m:1) := (w_379-w_394) [ 0 , 10 ]
z_400 (r:2, m:1) := (w_380-w_395) [ -0 , 0 ] integer
w_401 (r:2, m:1) := (w_381-w_396) [ 0 , 7.92062 ]
w_402 (r:2, m:1) := (w_382-w_397) [ 0 , 10 ]
w_403 (r:2, m:1) := (w_383-w_398) [ 0 , 10 ]
w_404 (r:3, m:1) := (x_369+w_394) [ 0 , 10 ]
w_405 (r:3, m:1) := (x_370+w_395) [ 0 , 10 ]
w_406 (r:3, m:1) := (x_366+w_396) [ 0 , 10 ]
w_407 (r:3, m:1) := (w_372+w_397) [ 0 , 10 ]
w_408 (r:3, m:1) := (w_373+w_398) [ 0 , 4.5 ]
w_429 (r:2, m:1) := (x_41*x_314) [ 0 , 10 ]
w_430 (r:2, m:1) := (x_42*x_315) [ 0 , 10 ]
w_431 (r:2, m:1) := (x_43*x_316) [ 0 , 2 ]
w_432 (r:2, m:1) := (x_44*x_317) [ 0 , 1 ]
w_433 (r:2, m:1) := (x_45*w_318) [ 0 , 0.1 ]
w_434 (r:2, m:1) := (x_314-w_429) [ 0 , 10 ]
w_435 (r:2, m:1) := (x_315-w_430) [ 0 , 10 ]
w_436 (r:2, m:1) := (x_316-w_431) [ 0 , 10 ]
w_437 (r:2, m:1) := (x_317-w_432) [ 0 , 10 ]
w_438 (r:2, m:1) := (w_318-w_433) [ 0 , 10 ]
w_449 (r:2, m:1) := (w_429+w_344) [ 0 , 10 ]
w_450 (r:2, m:1) := (w_430+w_345) [ 0 , 10 ]
w_451 (r:2, m:1) := (w_431+w_346) [ 0 , 2.5 ]
w_452 (r:2, m:1) := (w_432+w_347) [ 0 , 10 ]
w_453 (r:2, m:1) := (w_433+w_348) [ 0 , 10 ]
w_454 (r:3, m:1) := (x_130*w_289) [ 0 , 30 ]
w_455 (r:3, m:1) := (x_130*w_290) [ 0 , 30 ]
w_456 (r:3, m:1) := (x_130*w_291) [ 0 , 2.25 ]
w_457 (r:3, m:1) := (x_130*w_292) [ 0 , 1.5 ]
w_458 (r:3, m:1) := (x_130*w_293) [ 0 , 0.03 ]
x_459 [ 0 , 10 ]
x_460 [ 0 , 10 ]
x_461 [ 0 , 10 ]
x_462 [ 0 , 10 ]
w_463 (r:3, m:1) := (w_183-x_459-x_460-x_461-x_462) [ 0 , 10 ]
w_464 (r:2, m:1) := (w_454-x_459) [ 0 , 30 ]
w_465 (r:2, m:1) := (w_455-x_460) [ 0 , 30 ]
w_466 (r:2, m:1) := (w_456-x_461) [ 0 , 2.25 ]
w_467 (r:2, m:1) := (w_457-x_462) [ 0 , 1.5 ]
w_468 (r:2, m:1) := (w_458-w_463) [ 0 , 0.03 ]
x_469 [ 0 , 10 ]
x_470 [ 0 , 10 ]
x_471 [ 0 , 10 ]
x_472 [ 0 , 10 ]
w_473 (r:2, m:1) := (x_185-x_469-x_470-x_471-x_472) [ 0 , 10 ]
w_474 (r:2, m:1) := (w_464-x_469) [ 0 , 30 ]
w_475 (r:2, m:1) := (w_465-x_470) [ 0 , 30 ]
w_476 (r:2, m:1) := (w_466-x_471) [ 0 , 2.25 ]
w_477 (r:2, m:1) := (w_467-x_472) [ 0 , 1.5 ]
w_478 (r:2, m:1) := (w_468-w_473) [ 0 , 0.03 ]
w_484 (r:3, m:1) := (w_131*w_289) [ 0 , 30 ]
w_485 (r:3, m:1) := (w_131*w_290) [ 0 , 30 ]
w_486 (r:3, m:1) := (w_131*w_291) [ 0 , 2.25 ]
w_487 (r:3, m:1) := (w_131*w_292) [ 0 , 1.5 ]
w_488 (r:3, m:1) := (w_131*w_293) [ 0 , 0.03 ]
w_489 (r:5, m:1) := (-w_474-w_514+w_554) [ 0 , 30 ]
w_490 (r:5, m:1) := (-w_475-w_515+w_555) [ 0 , 30 ]
x_491 [ 0 , 30 ]
w_492 (r:6, m:1) := (w_189-w_489-w_490-x_491-w_493) [ 0 , 30 ]
w_493 (r:5, m:1) := (-w_478-w_518+w_558) [ 0 , 12 ]
w_499 (r:6, m:1) := (w_484-w_489) [ 0 , 10 ]
w_500 (r:6, m:1) := (w_485-w_490) [ 0 , 10 ]
w_501 (r:2, m:1) := (w_486-x_491) [ 0 , 2.25 ]
w_502 (r:2, m:1) := (w_487-w_492) [ 0 , 1.5 ]
w_503 (r:6, m:1) := (w_488-w_493) [ 0 , 0.03 ]
x_504 [ 0 , 10 ]
x_505 [ 0 , 10 ]
w_506 (r:11, m:1) := (-w_451+w_511) [ 0 , 10 ]
w_507 (r:12, m:1) := (-w_452+w_512) [ 0 , 10 ]
x_508 [ 0 , 10 ]
w_509 (r:3, m:1) := (w_449+x_504) [ 0 , 10 ]
w_510 (r:3, m:1) := (w_450+x_505) [ 0 , 10 ]
w_511 (r:10, m:1) := (w_516*w_746) [ 0 , 10 ]
w_512 (r:11, m:1) := (w_744-w_745) [ 0 , 10 ]
w_513 (r:3, m:1) := (w_453+x_508) [ 0 , 10 ]
w_514 (r:2, m:1) := (0.9997*w_509) [ 0 , 9.997 ]
w_515 (r:2, m:1) := (0.999201*w_510) [ 0 , 9.99201 ]
w_516 (r:5, m:1) := (-w_476-x_491+w_556) [ 0 , 10 ]
w_517 (r:5, m:1) := (-w_477-w_492+w_557) [ 0 , 10 ]
w_518 (r:2, m:1) := (0.0001*w_513) [ 0 , 0.001 ]
z_524 (r:2, m:1) := (-x_525-x_526-x_528) [ -0 , 0 ] integer
x_525 [ -0 , -0 ] integer
x_526 [ -0 , -0 ] integer
x_528 [ -0 , -0 ] integer
z_529 (r:2, m:1) := (-x_530-x_531-x_533) [ -0 , 0 ] integer
x_530 [ -0 , -0 ] integer
x_531 [ -0 , -0 ] integer
x_533 [ -0 , -0 ] integer
w_534 (r:3, m:1) := (w_509-w_514+z_529) [ 0 , 10 ]
w_535 (r:3, m:1) := (w_510-w_515+x_530) [ 0 , 10 ]
w_536 (r:11, m:1) := (w_511-w_516+x_531) [ 0 , 10 ]
w_537 (r:12, m:1) := (w_512-w_517+x_197) [ 0 , 10 ]
w_538 (r:3, m:1) := (w_513-w_518+x_533) [ 0 , 10 ]
w_539 (r:2, m:1) := (-w_304+x_309) [ 0 , 10 ]
w_540 (r:2, m:1) := (-w_305+x_310) [ 0 , 10 ]
w_541 (r:2, m:1) := (-w_306+x_311) [ 0 , 10 ]
w_542 (r:2, m:1) := (-w_307+x_312) [ 0 , 10 ]
w_543 (r:2, m:1) := (-w_308+w_313) [ 0 , 10 ]
w_554 (r:4, m:1) := (-w_234+x_239-w_404-z_524) [ 0 , 30 ]
w_555 (r:4, m:1) := (-w_235+w_240-w_405-x_525) [ 0 , 30 ]
w_556 (r:4, m:1) := (-w_236+x_241-w_406-x_526) [ 0 , 30 ]
w_557 (r:4, m:1) := (-w_237+x_242-w_407-x_196) [ 0 , 30 ]
w_558 (r:4, m:1) := (-w_238+w_243-w_408-x_528) [ 0 , 12 ]
w_568 (r:2, m:1) <= x_87 [ 0.1 , 3.93 ]
w_569 (r:4, m:1) >= (-4+w_570+4*z_709) [ 0.1 , 4 ]
w_570 (r:2, m:1) <= (4+x_87-4*y_708) [ 3.93 , 3.93 ]
w_574 (r:2, m:1) := (-0.20684+x_68) [ 3.24056 , 3.24056 ]
w_576 (r:3, m:1) >= (-4+w_577+4*y_711) [ 0.1 , 4 ]
w_577 (r:2, m:1) <= (4+w_574-4*z_710) [ 0.1 , 4 ]
w_588 (r:2, m:1) >= w_24 [ 1.02 , 4 ]
w_593 (r:2, m:1) >= w_596 [ 0.1 , 4 ]
w_596 (r:2, m:1) >= x_26 [ 0.1 , 0.4 ]
w_604 (r:2, m:1) <= (4+x_26-4*z_714) [ 0.1 , 4 ]
w_611 (r:4, m:1) <= w_34 [ 0.1 , 3.25 ]
w_612 (r:3, m:1) >= (-4+w_613+4*y_713) [ 0.1 , 4 ]
w_613 (r:2, m:1) <= (4+w_611-4*z_712) [ 0.1 , 4 ]
w_618 (r:2, m:1) <= w_63 [ 0.1 , 3.25 ]
w_632 (r:2, m:1) := (0.4826+x_68) [ 3.93 , 3.93 ]
y_636 [ 3 , 3 ] integer
w_641 (r:2, m:1) := (x_8*y_636) [ 3 , 8 ]
w_642 (r:2, m:1) <= (7+y_636-7*y_708) [ 3 , 10 ]
x_643 [ 3 , 10 ]
w_646 (r:2, m:1) := (2*x_66-x_82) [ 7.8854 , 10 ]
w_648 (r:3, m:1) >= (-7+w_649+7*y_711) [ 8.9427 , 9.776 ]
w_649 (r:2, m:1) <= (7+w_646-7*z_710) [ 3 , 10 ]
x_650 [ 3 , 10 ]
x_651 [ 3 , 8.943 ]
x_660 [ 3 , 10 ]
x_662 [ 4.53108 , 4.53108 ]
w_665 (r:2, m:1) <= (7+x_662-7*y_713) [ 3 , 10 ]
x_666 [ 3.52825 , 4.05589 ]
x_669 [ 3.83313 , 4.18944 ]
x_670 [ 5.2776 , 5.73574 ]
x_672 [ 3 , 10 ]
w_676 (r:2, m:1) <= (7+x_669-7*z_714) [ 3 , 10 ]
x_678 [ 3 , 10 ]
x_679 [ 3 , 10 ]
x_683 [ 2 , 10 ]
w_684 (r:3, m:1) >= (-7+w_685+7*y_713) [ 2 , 10 ]
w_685 (r:2, m:1) <= (7+x_683-7*z_712) [ 2 , 10 ]
w_691 (r:2, m:1) := (x_11*x_30) [ 3 , 10 ]
w_694 (r:2, m:1) := (x_9*x_30) [ 3 , 10 ]
x_696 [ 3 , 10 ]
x_697 [ 3 , 10 ]
w_699 (r:2, m:1) := (x_10*y_701) [ 3 , 8 ]
x_700 [ 3 , 3 ] integer
y_701 [ 3 , 3 ] integer
w_704 (r:2, m:1) <= (-0.25+x_651) [ 3 , 8.693 ]
w_705 (r:2, m:1) >= (0.25+x_643) [ 3.25 , 10 ]
x_706 [ 3 , 10 ]
x_707 [ 3 , 10 ]
y_708 binary
z_709 (r:3, m:1) <= (1+0.142857*w_641-0.142857*w_642) binary
z_710 (r:2, m:1) := (1-y_711) binary
y_711 binary
z_712 (r:2, m:1) := (1-y_713) binary
y_713 binary
z_714 (r:7, m:1) >= (0.02*w_164) binary
z_715 (r:8, m:1) := (1-z_714) binary
z_716 (r:2, m:1) := (1-y_717) binary
y_717 binary
z_718 (r:2, m:1) := (1-y_719) binary
y_719 binary
z_720 (r:4, m:1) >= (0.04*w_193+0.04*x_197) binary
x_721 [ 22.5 , 22.5 ]
w_722 (r:16, m:1) :=
(-1.2*x_0-1.155*w_4-1.155*w_5-1.155*w_6-1.227*w_7-0.375*w_15-1.55*w_16-1.12*w_17-5171.7*w_51-700*w_52
-700*w_53-8000*w_54-8000*w_55-8000*w_56-8000*x_57-1.257*x_70-1.57125*x_71-0.7*w_80-1275*x_132-49*w_134
+10149*x_162+6038.4*w_166-49*w_184-7140*x_196-7140*x_197+550.8*x_219+1718.7*x_220+550.8*w_339+1718.7*w_340+550.8*x_459
+1718.7*x_460+550.8*x_469+1718.7*x_470-50.395*z_709-74.3*z_710-92.875*y_711-1.126*y_713-3.9*z_714-48.106*y_717-7.155*z_718
-10.155*z_720-x_721) [ -174055 , 172202 ]
w_723 (r:2, m:1) := (-w_722) [ -172202 , 174055 ]
w_724 (r:2, m:1) := (x_197*w_613) [ 0 , 40 ]
w_725 (r:2, m:1) := (0.0001+0.333*x_0) [ 0.0001 , 13.3201 ]
w_726 (r:3, m:1) := (1.38629*w_725) [ 0.000138629 , 18.4656 ]
w_727 (r:4, m:1) := exp(w_726) [ 1.00014 , 1.04592e+08 ]
w_728 (r:5, m:1) := (-w_727) [ -1.04592e+08 , -1.00014 ]
w_729 (r:6, m:1) := (w_728/-3) [ 0.33338 , 3.48641e+07 ]
w_730 (r:7, m:1) := (-0.333333+w_729) [ 4.6213e-05 , 3.48641e+07 ]
w_731 (r:2, m:2) := (1+0.333*x_0) [ 1 , 14.32 ]
w_732 (r:3, m:1) := (0.336472*w_731) [ 0.336472 , 4.81828 ]
w_733 (r:4, m:1) := exp(w_732) [ 1.4 , 123.752 ]
w_734 (r:5, m:1) := (-w_733) [ -123.752 , -1.4 ]
w_735 (r:6, m:1) := (w_734/-0.4) [ 3.5 , 309.381 ]
w_736 (r:7, m:1) := (-2.5+w_735) [ 1 , 306.881 ]
w_737 (r:3, m:1) := (1.38629*w_731) [ 1.38629 , 19.8517 ]
w_738 (r:4, m:1) := exp(w_737) [ 4 , 4.18311e+08 ]
w_739 (r:5, m:1) := (-w_738) [ -4.18311e+08 , -4 ]
w_740 (r:6, m:1) := (w_739/-3) [ 1.33333 , 1.39437e+08 ]
w_741 (r:7, m:1) := (-0.333333+w_740) [ 1 , 1.39437e+08 ]
w_742 (r:9, m:1) := exp(w_3) [ 1.00018 , 3.26902e+06 ]
w_743 (r:9, m:1) := exp(w_1) [ 4.6213e-05 , 3.26902e+06 ]
w_744 (r:10, m:1) := (w_517*w_742) [ 0 , 3.26902e+07 ]
w_745 (r:10, m:1) := (x_197*w_743) [ 0 , 3.26902e+07 ]
w_746 (r:9, m:1) := exp(w_2) [ 1.00012 , 306.881 ]
w_747 (r:2, m:1) := (-0.3665+0.3665*x_8) [ 0 , 0.610833 ]
w_748 (r:2, m:1) := (w_136*y_636) [ 0 , 30 ]
w_749 (r:3, m:1) := (w_747*w_748) [ 0 , 18.325 ]
w_750 (r:2, m:1) := (-0.3665+0.3665*x_9) [ 0 , 0.610833 ]
w_751 (r:2, m:1) := (w_189*x_30) [ 0 , 225 ]
w_752 (r:3, m:1) := (w_750*w_751) [ 0 , 137.438 ]
w_753 (r:2, m:1) := (-0.3665+0.3665*x_10) [ 0 , 0.610833 ]
w_754 (r:2, m:1) := (w_194*y_701) [ 0 , 30 ]
w_755 (r:3, m:1) := (w_753*w_754) [ 0 , 18.325 ]
w_756 (r:2, m:1) := (-0.3665+0.3665*x_11) [ 0 , 0.610833 ]
w_757 (r:2, m:1) := (w_186*x_30) [ 0 , 225 ]
w_758 (r:3, m:1) := (w_756*w_757) [ 0 , 137.438 ]
w_759 (r:2, m:1) := (x_8^4.33333) [ 1 , 70.1236 ]
w_760 (r:2, m:1) := (w_569/w_568) [ 0.0254453 , 40 ]
w_761 (r:3, m:1) := (w_759-w_760) [ -39 , 70.0982 ]
w_762 (r:2, m:1) := (x_9^4.33333) [ 1 , 70.1236 ]
w_763 (r:2, m:1) := (w_570/w_63) [ 1.20923 , 1.572 ]
w_764 (r:3, m:1) := (w_762-w_763) [ -0.572 , 68.9144 ]
w_765 (r:2, m:1) := (x_10^4.33333) [ 1 , 70.1236 ]
w_766 (r:2, m:1) := (w_570/w_613) [ 0.9825 , 39.3 ]
w_767 (r:3, m:1) := (w_765-w_766) [ -38.3 , 69.1411 ]
w_768 (r:2, m:1) := (x_11^4.33333) [ 1 , 70.1236 ]
w_769 (r:2, m:1) := (w_570/w_618) [ 1.20923 , 39.3 ]
w_770 (r:3, m:1) := (w_768-w_769) [ -38.3 , 68.9144 ]
w_771 (r:2, m:1) := (-7.16+100*x_662) [ 445.948 , 445.948 ]
w_772 (r:3, m:1) := (1/w_771) [ 0.00224241 , 0.00224241 ]
w_773 (r:2, m:1) := (7500.62*x_106) [ 546327 , 546327 ]
w_774 (r:3, m:1) := log(w_773) [ 13.211 , 13.211 ]
w_775 (r:4, m:1) := (897.84*w_772+w_774) [ 15.2243 , 15.2243 ]
w_776 (r:2, m:1) := (-52.36+100*x_662) [ 400.748 , 400.748 ]
w_777 (r:3, m:1) := (1/w_776) [ 0.00249533 , 0.00249533 ]
w_778 (r:2, m:1) := (7500.62*w_24) [ 7650.63 , 7650.63 ]
w_779 (r:3, m:1) := log(w_778) [ 8.94254 , 8.94254 ]
w_780 (r:4, m:1) := (2788.51*w_777+w_779) [ 15.9008 , 15.9008 ]
w_781 (r:2, m:1) := (-52.36+100*x_84) [ 330.953 , 388.025 ]
w_782 (r:3, m:1) := (1/w_781) [ 0.00257716 , 0.00302157 ]
w_783 (r:2, m:1) := (7500.62*x_110) [ 1763.6 , 6089.81 ]
w_784 (r:3, m:1) := log(w_783) [ 7.47511 , 8.71437 ]
w_785 (r:4, m:1) := (2788.51*w_782+w_784) [ 14.6615 , 17.1401 ]
w_786 (r:2, m:1) := (-53.67+100*x_84) [ 329.643 , 386.715 ]
w_787 (r:3, m:1) := (1/w_786) [ 0.00258589 , 0.00303358 ]
w_788 (r:2, m:1) := (7500.62*w_596) [ 750.062 , 3000.25 ]
w_789 (r:3, m:1) := log(w_788) [ 6.62016 , 8.00645 ]
w_790 (r:4, m:1) := (3096.52*w_787+w_789) [ 14.6274 , 17.4 ]
w_791 (r:2, m:1) := (-53.67+100*x_670) [ 474.09 , 519.904 ]
w_792 (r:3, m:1) := (1/w_791) [ 0.00192343 , 0.00210931 ]
w_793 (r:2, m:1) := (7500.62*x_114) [ 13123.9 , 23336.2 ]
w_794 (r:3, m:1) := log(w_793) [ 9.48219 , 10.0578 ]
w_795 (r:4, m:1) := (3096.52*w_792+w_794) [ 15.4381 , 16.5893 ]
w_796 (r:2, m:1) := (-70.42+100*x_670) [ 457.34 , 503.154 ]
w_797 (r:3, m:1) := (1/w_796) [ 0.00198746 , 0.00218656 ]
w_798 (r:2, m:1) := (7500.62*x_26) [ 750.062 , 1875.15 ]
w_799 (r:3, m:1) := log(w_798) [ 6.62016 , 7.53645 ]
w_800 (r:4, m:1) := (4602.23*w_797+w_799) [ 15.7669 , 17.5995 ]
w_801 (r:2, m:1) := (-7.16+100*x_95) [ 312.84 , 312.84 ]
w_802 (r:3, m:1) := (1/w_801) [ 0.00319652 , 0.00319652 ]
w_803 (r:2, m:1) := (7500.62*x_104) [ 231963 , 231963 ]
w_804 (r:3, m:1) := log(w_803) [ 12.3543 , 12.3543 ]
w_805 (r:4, m:1) := (897.84*w_802+w_804) [ 15.2243 , 15.2243 ]
w_806 (r:2, m:1) := (-52.36+100*x_95) [ 267.64 , 267.64 ]
w_807 (r:3, m:1) := (1/w_806) [ 0.00373636 , 0.00373636 ]
w_808 (r:2, m:1) := (7500.62*x_105) [ 240.307 , 240.307 ]
w_809 (r:3, m:1) := log(w_808) [ 5.48192 , 5.48192 ]
w_810 (r:4, m:1) := (2788.51*w_807+w_809) [ 15.9008 , 15.9008 ]
w_811 (r:2, m:1) := (-52.36+100*x_666) [ 300.465 , 353.229 ]
w_812 (r:3, m:1) := (1/w_811) [ 0.00283103 , 0.00332817 ]
w_813 (r:2, m:1) := (7500.62*w_596) [ 750.062 , 3000.25 ]
w_814 (r:3, m:1) := log(w_813) [ 6.62016 , 8.00645 ]
w_815 (r:4, m:1) := (2788.51*w_812+w_814) [ 14.5145 , 17.2871 ]
w_816 (r:2, m:1) := (-53.67+100*x_666) [ 299.155 , 351.919 ]
w_817 (r:3, m:1) := (1/w_816) [ 0.00284157 , 0.00334275 ]
w_818 (r:2, m:1) := (7500.62*x_109) [ 287.958 , 1359.31 ]
w_819 (r:3, m:1) := log(w_818) [ 5.66282 , 7.21473 ]
w_820 (r:4, m:1) := (3096.52*w_817+w_819) [ 14.4618 , 17.5656 ]
w_821 (r:2, m:1) := (-53.67+100*x_669) [ 329.643 , 365.274 ]
w_822 (r:3, m:1) := (1/w_821) [ 0.00273767 , 0.00303358 ]
w_823 (r:2, m:1) := (7500.62*x_26) [ 750.062 , 1875.15 ]
w_824 (r:3, m:1) := log(w_823) [ 6.62016 , 7.53645 ]
w_825 (r:4, m:1) := (3096.52*w_822+w_824) [ 15.0974 , 16.93 ]
w_826 (r:2, m:1) := (-70.42+100*x_669) [ 312.893 , 348.524 ]
w_827 (r:3, m:1) := (1/w_826) [ 0.00286924 , 0.00319598 ]
w_828 (r:2, m:1) := (7500.62*x_113) [ 7.2036 , 32.404 ]
w_829 (r:3, m:1) := log(w_828) [ 1.97458 , 3.47828 ]
w_830 (r:4, m:1) := (4602.23*w_827+w_829) [ 15.1795 , 18.1869 ]
w_831 (r:2, m:1) := (x_104/x_105) [ 965.28 , 965.28 ]
w_832 (r:2, m:1) := (x_106/w_24) [ 71.4094 , 71.4094 ]
w_833 (r:3, m:1) := (w_831*w_832) [ 68930.1 , 68930.1 ]
w_834 (r:2, m:1) := (w_596/x_109) [ 0.551796 , 10.419 ]
w_835 (r:2, m:1) := (x_110/w_596) [ 0.587818 , 8.11908 ]
w_836 (r:3, m:1) := (w_834*w_835) [ 0.324356 , 84.593 ]
w_837 (r:2, m:1) := (x_26/x_113) [ 23.1472 , 260.308 ]
w_838 (r:2, m:1) := (x_114/x_26) [ 6.99886 , 31.1123 ]
w_839 (r:3, m:1) := (w_837*w_838) [ 162.004 , 8098.79 ]
w_840 (r:5, m:1) := (-1+w_27) [ 261.545 , 261.545 ]
w_841 (r:2, m:1) := (x_18*w_320) [ 0 , 1 ]
w_842 (r:5, m:1) := (-1+w_28) [ 1.02977 , 1.60476 ]
w_843 (r:2, m:1) := (x_19*w_351) [ 0 , 20 ]
w_844 (r:5, m:1) := (-1+w_29) [ 11.7281 , 88.9933 ]
w_845 (r:2, m:1) := (x_20*x_367) [ 0 , 1 ]
w_846 (r:5, m:1) := log(w_27) [ 5.57042 , 5.57042 ]
w_847 (r:2, m:1) := (0.0001+w_331) [ 0.0001 , 0.5001 ]
w_848 (r:2, m:1) := (0.0001+x_157) [ 0.0001 , 10.0001 ]
w_849 (r:3, m:1) := (w_848/w_847) [ 0.00019996 , 100001 ]
w_850 (r:3, m:1) := (0.0001+w_335) [ 0.0001 , 10.0001 ]
w_851 (r:2, m:1) := (0.0001+w_158) [ 0.0001 , 10.0001 ]
w_852 (r:4, m:1) := (w_851/w_850) [ 9.9999e-06 , 100001 ]
w_853 (r:5, m:1) := (w_849*w_852) [ 1.99958e-09 , 1.00002e+10 ]
w_854 (r:6, m:1) := log(w_853) [ -20.0303 , 23.0259 ]
w_855 (r:6, m:1) := (x_12*w_846) [ 0 , 22.2817 ]
w_856 (r:7, m:1) := (-w_854+w_855) [ -23.0259 , 42.312 ]
w_857 (r:5, m:1) := log(w_28) [ 0.707923 , 0.95734 ]
w_858 (r:2, m:1) := (0.0001+w_357) [ 0.0001 , 0.5001 ]
w_859 (r:2, m:1) := (0.0001+x_162) [ 2.0801 , 2.0801 ]
w_860 (r:3, m:1) := (w_859/w_858) [ 4.15937 , 20801 ]
w_861 (r:3, m:1) := (0.0001+w_361) [ 0.0001 , 7.92072 ]
w_862 (r:2, m:1) := (0.0001+w_163) [ 0.0001 , 10.0001 ]
w_863 (r:4, m:1) := (w_862/w_861) [ 1.26251e-05 , 100001 ]
w_864 (r:5, m:1) := (w_860*w_863) [ 5.25125e-05 , 2.08012e+09 ]
w_865 (r:6, m:1) := log(w_864) [ -9.85446 , 21.4557 ]
w_866 (r:6, m:1) := (x_13*w_857) [ 5.66338 , 13.4028 ]
w_867 (r:7, m:1) := (-w_865+w_866) [ -15.7923 , 23.2572 ]
w_868 (r:5, m:1) := log(w_29) [ 2.54381 , 4.49973 ]
w_869 (r:2, m:1) := (0.0001+w_373) [ 0.0001 , 0.5001 ]
w_870 (r:2, m:1) := (0.0001+x_165) [ 0.0001 , 10.0001 ]
w_871 (r:3, m:1) := (w_870/w_869) [ 0.00019996 , 100001 ]
w_872 (r:3, m:1) := (0.0001+w_377) [ 0.0001 , 10.0001 ]
w_873 (r:2, m:1) := (0.0001+w_166) [ 0.0001 , 10.0001 ]
w_874 (r:4, m:1) := (w_873/w_872) [ 9.9999e-06 , 100001 ]
w_875 (r:5, m:1) := (w_871*w_874) [ 1.99958e-09 , 1.00002e+10 ]
w_876 (r:6, m:1) := log(w_875) [ -20.0303 , 23.0259 ]
w_877 (r:6, m:1) := (x_14*w_868) [ 0 , 17.9989 ]
w_878 (r:7, m:1) := (-w_876+w_877) [ -23.0259 , 38.0293 ]
w_879 (r:3, m:1) := (w_322-w_337) [ -10 , 10 ]
w_880 (r:3, m:1) := (w_323-w_338) [ -10 , 10 ]
w_881 (r:3, m:1) := (w_353-w_363) [ -10 , 10 ]
w_882 (r:2, m:1) := (w_63*w_150) [ 0 , 32.5 ]
w_883 (r:3, m:1) := (x_99*w_294) [ 0 , 772.228 ]
w_884 (r:3, m:1) := (x_100*w_295) [ 0 , 718.155 ]
w_885 (r:3, m:1) := (x_101*w_296) [ 0 , 9.66001 ]
w_886 (r:3, m:1) := (x_102*w_297) [ 0 , 4.85768 ]
w_887 (r:3, m:1) := (x_103*w_298) [ 0 , 0.127264 ]
w_888 (r:4, m:1) := (w_882-w_883-w_884-w_885-w_886-w_887) [ -1505.03 ,
32.5 ]
w_889 (r:2, m:1) := (w_34*w_178) [ 0 , 32.5 ]
w_890 (r:3, m:1) := (x_121*w_434) [ 0 , 772.228 ]
w_891 (r:3, m:1) := (x_122*w_435) [ 0 , 718.155 ]
w_892 (r:3, m:1) := (x_123*w_436) [ 0 , 9.66001 ]
w_893 (r:3, m:1) := (x_124*w_437) [ 0 , 4.85768 ]
w_894 (r:3, m:1) := (x_125*w_438) [ 0 , 0.127264 ]
w_895 (r:4, m:1) := (w_889-w_890-w_891-w_892-w_893-w_894) [ -1505.03 ,
32.5 ]
w_896 (r:2, m:1) := (w_35*w_171) [ 0 , 32.5 ]
w_897 (r:3, m:1) := (x_116*w_399) [ 0 , 863.239 ]
w_898 (r:3, m:1) := (x_117*z_400) [ -0 , 0 ] integer
w_899 (r:3, m:1) := (x_118*w_401) [ 0 , 79.9707 ]
w_900 (r:3, m:1) := (x_119*w_402) [ 0 , 66.7475 ]
w_901 (r:3, m:1) := (x_120*w_403) [ 0 , 8.35128 ]
w_902 (r:4, m:1) := (w_896-w_897-w_898-w_899-w_900-w_901) [ -1018.31 ,
32.5 ]
w_903 (r:2, m:1) := (1-x_36) [ 0 , 0.025 ]
w_904 (r:2, m:2) := (x_36*x_100) [ 24.7857 , 71.8155 ]
w_905 (r:3, m:1) := (x_99*w_903) [ 0 , 1.93057 ]
w_906 (r:4, m:1) := (w_904+w_905) [ 24.7857 , 73.7461 ]
w_907 (r:5, m:1) := (x_37*w_906) [ 24.1661 , 73.7461 ]
w_908 (r:6, m:1) := (-w_904+w_907) [ -47.6494 , 48.9604 ]
w_909 (r:2, m:1) := (1-x_37) [ 0 , 0.025 ]
w_910 (r:2, m:2) := (x_37*x_100) [ 24.7857 , 71.8155 ]
w_911 (r:3, m:1) := (x_100*w_909) [ 0 , 1.79539 ]
w_912 (r:4, m:1) := (w_910+w_911) [ 24.7857 , 73.6109 ]
w_913 (r:5, m:1) := (x_37*w_912) [ 24.1661 , 73.6109 ]
w_914 (r:6, m:1) := (-w_910+w_913) [ -47.6494 , 48.8252 ]
w_915 (r:2, m:1) := (1-x_38) [ 0.925 , 1 ]
w_916 (r:2, m:2) := (x_38*x_100) [ 0 , 5.38616 ]
w_917 (r:3, m:1) := (x_101*w_915) [ 0.0127753 , 0.966001 ]
w_918 (r:4, m:1) := (w_916+w_917) [ 0.0127753 , 6.35216 ]
w_919 (r:5, m:1) := (x_37*w_918) [ 0.0124559 , 6.35216 ]
w_920 (r:6, m:1) := (-w_916+w_919) [ -5.37371 , 6.35216 ]
w_921 (r:2, m:1) := (1-x_39) [ 0.95 , 1 ]
w_922 (r:2, m:2) := (x_39*x_100) [ 0 , 3.59078 ]
w_923 (r:3, m:1) := (x_102*w_921) [ 0.00396222 , 0.485768 ]
w_924 (r:4, m:1) := (w_922+w_923) [ 0.00396222 , 4.07654 ]
w_925 (r:5, m:1) := (x_37*w_924) [ 0.00386317 , 4.07654 ]
w_926 (r:6, m:1) := (-w_922+w_925) [ -3.58691 , 4.07654 ]
w_927 (r:2, m:1) := (1-x_40) [ 0.999 , 1 ]
w_928 (r:2, m:2) := (x_40*x_100) [ 0 , 0.0718155 ]
w_929 (r:3, m:1) := (x_103*w_927) [ 4.61203e-06 , 0.0127264 ]
w_930 (r:4, m:1) := (w_928+w_929) [ 4.61203e-06 , 0.0845419 ]
w_931 (r:5, m:1) := (x_37*w_930) [ 4.49673e-06 , 0.0845419 ]
w_932 (r:6, m:1) := (-w_928+w_931) [ -0.071811 , 0.0845419 ]
w_933 (r:2, m:1) := (1-x_41) [ 0 , 0.025 ]
w_934 (r:2, m:2) := (x_41*x_122) [ 24.7857 , 71.8155 ]
w_935 (r:3, m:1) := (x_121*w_933) [ 0 , 1.93057 ]
w_936 (r:4, m:1) := (w_934+w_935) [ 24.7857 , 73.7461 ]
w_937 (r:5, m:1) := (x_42*w_936) [ 24.1661 , 73.7461 ]
w_938 (r:6, m:1) := (-w_934+w_937) [ -47.6494 , 48.9604 ]
w_939 (r:2, m:1) := (1-x_42) [ 0 , 0.025 ]
w_940 (r:2, m:2) := (x_42*x_122) [ 24.7857 , 71.8155 ]
w_941 (r:3, m:1) := (x_122*w_939) [ 0 , 1.79539 ]
w_942 (r:4, m:1) := (w_940+w_941) [ 24.7857 , 73.6109 ]
w_943 (r:5, m:1) := (x_42*w_942) [ 24.1661 , 73.6109 ]
w_944 (r:6, m:1) := (-w_940+w_943) [ -47.6494 , 48.8252 ]
w_945 (r:2, m:1) := (1-x_43) [ 0.8 , 1 ]
w_946 (r:2, m:2) := (x_43*x_122) [ 0 , 14.3631 ]
w_947 (r:3, m:1) := (x_123*w_945) [ 0.0110489 , 0.966001 ]
w_948 (r:4, m:1) := (w_946+w_947) [ 0.0110489 , 15.3291 ]
w_949 (r:5, m:1) := (x_42*w_948) [ 0.0107727 , 15.3291 ]
w_950 (r:6, m:1) := (-w_946+w_949) [ -14.3523 , 15.3291 ]
w_951 (r:2, m:1) := (1-x_44) [ 0.9 , 1 ]
w_952 (r:2, m:2) := (x_44*x_122) [ 0 , 7.18155 ]
w_953 (r:3, m:1) := (x_124*w_951) [ 0.00375368 , 0.485768 ]
w_954 (r:4, m:1) := (w_952+w_953) [ 0.00375368 , 7.66732 ]
w_955 (r:5, m:1) := (x_42*w_954) [ 0.00365984 , 7.66732 ]
w_956 (r:6, m:1) := (-w_952+w_955) [ -7.17789 , 7.66732 ]
w_957 (r:2, m:1) := (1-x_45) [ 0.99 , 1 ]
w_958 (r:2, m:2) := (x_45*x_122) [ 0 , 0.718155 ]
w_959 (r:3, m:1) := (x_125*w_957) [ 4.57048e-06 , 0.0127264 ]
w_960 (r:4, m:1) := (w_958+w_959) [ 4.57048e-06 , 0.730881 ]
w_961 (r:5, m:1) := (x_42*w_960) [ 4.45622e-06 , 0.730881 ]
w_962 (r:6, m:1) := (-w_958+w_961) [ -0.718151 , 0.730881 ]
w_963 (r:2, m:1) := (1-x_46) [ 0 , 0.01 ]
w_964 (r:2, m:2) := (x_46*x_119) [ 0.099 , 6.67475 ]
w_965 (r:3, m:1) := (x_116*w_963) [ 0 , 0.863239 ]
w_966 (r:4, m:1) := (w_964+w_965) [ 0.099 , 7.53799 ]
w_967 (r:5, m:1) := (x_49*w_966) [ 0.0891 , 7.53799 ]
w_968 (r:6, m:1) := (-w_964+w_967) [ -6.58565 , 7.43899 ]
w_969 (r:2, m:1) := (1-x_47) [ 0 , 0.01 ]
w_970 (r:2, m:2) := (x_47*x_119) [ 0.099 , 6.67475 ]
w_971 (r:3, m:1) := (x_117*w_969) [ 0 , 1.34947 ]
w_972 (r:4, m:1) := (w_970+w_971) [ 0.099 , 8.02422 ]
w_973 (r:5, m:1) := (x_49*w_972) [ 0.0891 , 8.02422 ]
w_974 (r:6, m:1) := (-w_970+w_973) [ -6.58565 , 7.92522 ]
w_975 (r:2, m:1) := (1-x_48) [ 0 , 0.1 ]
w_976 (r:2, m:2) := (x_48*x_119) [ 0.09 , 6.67475 ]
w_977 (r:3, m:1) := (x_118*w_975) [ 0 , 1.00965 ]
w_978 (r:4, m:1) := (w_976+w_977) [ 0.09 , 7.6844 ]
w_979 (r:5, m:1) := (x_49*w_978) [ 0.081 , 7.6844 ]
w_980 (r:6, m:1) := (-w_976+w_979) [ -6.59375 , 7.5944 ]
w_981 (r:2, m:1) := (1-x_49) [ 0 , 0.1 ]
w_982 (r:2, m:2) := (x_49*x_119) [ 0.09 , 6.67475 ]
w_983 (r:3, m:1) := (x_119*w_981) [ 0 , 0.667475 ]
w_984 (r:4, m:1) := (w_982+w_983) [ 0.09 , 7.34222 ]
w_985 (r:5, m:1) := (x_49*w_984) [ 0.081 , 7.34222 ]
w_986 (r:6, m:1) := (-w_982+w_985) [ -6.59375 , 7.25222 ]
w_987 (r:2, m:1) := (1-x_50) [ 0.6 , 1 ]
w_988 (r:2, m:2) := (x_50*x_119) [ 0 , 2.6699 ]
w_989 (r:3, m:1) := (x_120*w_987) [ 0.00057624 , 0.835128 ]
w_990 (r:4, m:1) := (w_988+w_989) [ 0.00057624 , 3.50503 ]
w_991 (r:5, m:1) := (x_49*w_990) [ 0.000518616 , 3.50503 ]
w_992 (r:6, m:1) := (-w_988+w_991) [ -2.66938 , 3.50503 ]
w_993 (r:2, m:1) := (3.19+100*x_30) [ 303.19 , 453.19 ]
w_994 (r:3, m:1) := (1/w_993) [ 0.00220658 , 0.00329826 ]
w_995 (r:2, m:1) := (7500.62*x_99) [ 483795 , 579218 ]
w_996 (r:3, m:1) := log(w_995) [ 13.0894 , 13.2694 ]
w_997 (r:4, m:1) := (164.9*w_994+w_996) [ 13.4533 , 13.8133 ]
w_998 (r:2, m:1) := (-7.16+100*x_30) [ 292.84 , 442.84 ]
w_999 (r:3, m:1) := (1/w_998) [ 0.00225815 , 0.00341483 ]
w_1000 (r:2, m:1) := (7500.62*x_100) [ 190675 , 538661 ]
w_1001 (r:3, m:1) := log(w_1000) [ 12.1583 , 13.1968 ]
w_1002 (r:4, m:1) := (897.84*w_999+w_1001) [ 14.1858 , 16.2628 ]
w_1003 (r:2, m:1) := (-52.36+100*x_30) [ 247.64 , 397.64 ]
w_1004 (r:3, m:1) := (1/w_1003) [ 0.00251484 , 0.00403812 ]
w_1005 (r:2, m:1) := (7500.62*x_101) [ 103.592 , 7245.61 ]
w_1006 (r:3, m:1) := log(w_1005) [ 4.64046 , 8.88815 ]
w_1007 (r:4, m:1) := (2788.51*w_1004+w_1006) [ 11.6531 , 20.1485 ]
w_1008 (r:2, m:1) := (-53.67+100*x_30) [ 246.33 , 396.33 ]
w_1009 (r:3, m:1) := (1/w_1008) [ 0.00252315 , 0.00405959 ]
w_1010 (r:2, m:1) := (7500.62*x_102) [ 31.2833 , 3643.56 ]
w_1011 (r:3, m:1) := log(w_1010) [ 3.44308 , 8.20072 ]
w_1012 (r:4, m:1) := (3096.52*w_1009+w_1011) [ 11.2561 , 20.7713 ]
w_1013 (r:2, m:1) := (-70.42+100*x_30) [ 229.58 , 379.58 ]
w_1014 (r:3, m:1) := (1/w_1013) [ 0.00263449 , 0.00435578 ]
w_1015 (r:2, m:1) := (7500.62*x_103) [ 0.0346277 , 95.4562 ]
w_1016 (r:3, m:1) := log(w_1015) [ -3.3631 , 4.55867 ]
w_1017 (r:4, m:1) := (4602.23*w_1014+w_1016) [ 8.76143 , 24.605 ]
w_1018 (r:2, m:1) := (3.19+100*w_31) [ 303.19 , 453.19 ]
w_1019 (r:3, m:1) := (1/w_1018) [ 0.00220658 , 0.00329826 ]
w_1020 (r:2, m:1) := (7500.62*x_121) [ 483795 , 579218 ]
w_1021 (r:3, m:1) := log(w_1020) [ 13.0894 , 13.2694 ]
w_1022 (r:4, m:1) := (164.9*w_1019+w_1021) [ 13.4533 , 13.8133 ]
w_1023 (r:2, m:1) := (-7.16+100*w_31) [ 292.84 , 442.84 ]
w_1024 (r:3, m:1) := (1/w_1023) [ 0.00225815 , 0.00341483 ]
w_1025 (r:2, m:1) := (7500.62*x_122) [ 190675 , 538661 ]
w_1026 (r:3, m:1) := log(w_1025) [ 12.1583 , 13.1968 ]
w_1027 (r:4, m:1) := (897.84*w_1024+w_1026) [ 14.1858 , 16.2628 ]
w_1028 (r:2, m:1) := (-52.36+100*w_31) [ 247.64 , 397.64 ]
w_1029 (r:3, m:1) := (1/w_1028) [ 0.00251484 , 0.00403812 ]
w_1030 (r:2, m:1) := (7500.62*x_123) [ 103.592 , 7245.61 ]
w_1031 (r:3, m:1) := log(w_1030) [ 4.64046 , 8.88815 ]
w_1032 (r:4, m:1) := (2788.51*w_1029+w_1031) [ 11.6531 , 20.1485 ]
w_1033 (r:2, m:1) := (-53.67+100*w_31) [ 246.33 , 396.33 ]
w_1034 (r:3, m:1) := (1/w_1033) [ 0.00252315 , 0.00405959 ]
w_1035 (r:2, m:1) := (7500.62*x_124) [ 31.2833 , 3643.56 ]
w_1036 (r:3, m:1) := log(w_1035) [ 3.44308 , 8.20072 ]
w_1037 (r:4, m:1) := (3096.52*w_1034+w_1036) [ 11.2561 , 20.7713 ]
w_1038 (r:2, m:1) := (-70.42+100*w_31) [ 229.58 , 379.58 ]
w_1039 (r:3, m:1) := (1/w_1038) [ 0.00263449 , 0.00435578 ]
w_1040 (r:2, m:1) := (7500.62*x_125) [ 0.0346277 , 95.4562 ]
w_1041 (r:3, m:1) := log(w_1040) [ -3.3631 , 4.55867 ]
w_1042 (r:4, m:1) := (4602.23*w_1039+w_1041) [ 8.76143 , 24.605 ]
w_1043 (r:2, m:1) := (3.19+100*w_32) [ 386.503 , 653.19 ]
w_1044 (r:3, m:1) := (1/w_1043) [ 0.00153095 , 0.0025873 ]
w_1045 (r:2, m:1) := (7500.62*x_116) [ 543973 , 647482 ]
w_1046 (r:3, m:1) := log(w_1045) [ 13.2067 , 13.3808 ]
w_1047 (r:4, m:1) := (164.9*w_1044+w_1046) [ 13.4591 , 13.8075 ]
w_1048 (r:2, m:1) := (-7.16+100*w_32) [ 376.153 , 642.84 ]
w_1049 (r:3, m:1) := (1/w_1048) [ 0.0015556 , 0.00265849 ]
w_1050 (r:2, m:1) := (7500.62*x_117) [ 376021 , 1.01219e+06 ]
w_1051 (r:3, m:1) := log(w_1050) [ 12.8374 , 13.8276 ]
w_1052 (r:4, m:1) := (897.84*w_1049+w_1051) [ 14.2341 , 16.2145 ]
w_1053 (r:2, m:1) := (-52.36+100*w_32) [ 330.953 , 597.64 ]
w_1054 (r:3, m:1) := (1/w_1053) [ 0.00167325 , 0.00302157 ]
w_1055 (r:2, m:1) := (7500.62*x_118) [ 1763.6 , 75730.1 ]
w_1056 (r:3, m:1) := log(w_1055) [ 7.47511 , 11.2349 ]
w_1057 (r:4, m:1) := (2788.51*w_1054+w_1056) [ 12.141 , 19.6606 ]
w_1058 (r:2, m:1) := (-53.67+100*w_32) [ 329.643 , 596.33 ]
w_1059 (r:3, m:1) := (1/w_1058) [ 0.00167692 , 0.00303358 ]
w_1060 (r:2, m:1) := (7500.62*x_119) [ 750.062 , 50064.7 ]
w_1061 (r:3, m:1) := log(w_1060) [ 6.62016 , 10.8211 ]
w_1062 (r:4, m:1) := (3096.52*w_1059+w_1061) [ 11.8128 , 20.2146 ]
w_1063 (r:2, m:1) := (-70.42+100*w_32) [ 312.893 , 579.58 ]
w_1064 (r:3, m:1) := (1/w_1063) [ 0.00172539 , 0.00319598 ]
w_1065 (r:2, m:1) := (7500.62*x_120) [ 7.2036 , 6263.98 ]
w_1066 (r:3, m:1) := log(w_1065) [ 1.97458 , 8.74257 ]
w_1067 (r:4, m:1) := (4602.23*w_1064+w_1066) [ 9.91521 , 23.4512 ]
w_1068 (r:2, m:1) := (w_140*x_82) [ 0 , 500 ]
w_1069 (r:2, m:2) := (w_140*w_704) [ 0 , 434.65 ]
w_1070 (r:3, m:1) := (-0.0027285*w_1068+0.0027285*w_1069) [ -1.36425 ,
1.18594 ]
w_1071 (r:2, m:1) := (x_30*w_148) [ 0 , 225 ]
w_1072 (r:2, m:2) := (w_148*w_705) [ 0 , 500 ]
w_1073 (r:3, m:1) := (0.003723*w_1071-0.003723*w_1072) [ -1.8615 ,
0.837675 ]
w_1074 (r:2, m:1) := (w_31*w_174) [ 0 , 45 ]
w_1075 (r:2, m:1) := (w_174*x_679) [ 0 , 100 ]
w_1076 (r:3, m:1) := (0.0105162*w_1074-0.0105162*w_1075) [ -1.05162 ,
0.473229 ]
w_1077 (r:2, m:1) := (w_155*x_83) [ 0 , 100 ]
w_1078 (r:7, m:1) := (w_156*x_660) [ 0 , 100 ]
w_1079 (r:8, m:1) := (0.0105162*w_1077-0.0105162*w_1078) [ -1.05162 ,
1.05162 ]
w_1080 (r:2, m:1) := (w_174*x_678) [ 0 , 100 ]
w_1081 (r:2, m:1) := (w_167*x_84) [ 0 , 44.0385 ]
w_1082 (r:2, m:1) := (w_168*x_672) [ 0 , 100 ]
w_1083 (r:3, m:1) := (0.011475*w_1081-0.011475*w_1082) [ -1.1475 ,
0.505341 ]
w_1084 (r:2, m:2) := (x_139*x_643) [ 0 , 500 ]
w_1085 (r:3, m:1) := (-0.0027285*w_1069+0.0027285*w_1084) [ -1.18594 ,
1.36425 ]
w_1086 (r:2, m:2) := (x_147*x_651) [ 0 , 447.15 ]
w_1087 (r:5, m:1) := (w_58+0.003723*w_1072-0.003723*w_1086) [ -1.66474 ,
3.04744 ]
w_1088 (r:2, m:2) := (0.0001+w_134) [ 0.0001 , 10.0001 ]
w_1089 (r:2, m:1) := (0.0001+w_214) [ 0.0001 , 9.5001 ]
w_1090 (r:3, m:1) := (w_1089/w_1088) [ 9.9999e-06 , 95001 ]
w_1091 (r:2, m:2) := (0.0001+x_135) [ 0.0001 , 10.0001 ]
w_1092 (r:2, m:1) := (0.0001+x_219) [ 0.0001 , 10.0001 ]
w_1093 (r:3, m:1) := (w_1092/w_1091) [ 9.9999e-06 , 100001 ]
w_1094 (r:4, m:1) := (w_1090+w_1093) [ 1.99998e-05 , 195002 ]
w_1095 (r:2, m:2) := (0.0001+w_136) [ 0.0001 , 10.0001 ]
w_1096 (r:3, m:1) := (0.0001+w_224) [ 0.0001 , 9.5001 ]
w_1097 (r:4, m:1) := (w_568*w_1096) [ 1e-05 , 37.3354 ]
w_1098 (r:5, m:1) := (2*w_1097) [ 2e-05 , 74.6708 ]
w_1099 (r:6, m:1) := (w_1098/w_1095) [ 1.99998e-06 , 746708 ]
w_1100 (r:5, m:1) := (x_87*w_1094) [ 7.85992e-05 , 766358 ]
w_1101 (r:7, m:1) := (-w_1099+w_1100) [ -746708 , 766358 ]
w_1102 (r:8, m:1) := (x_59*w_1101) [ -7.46708e+09 , 7.66358e+09 ]
w_1103 (r:9, m:1) := (w_224-0.000552501*w_1102) [ -4.23414e+06 ,
4.12558e+06 ]
w_1104 (r:2, m:1) := (0.0001+w_215) [ 0.0001 , 0.5001 ]
w_1105 (r:3, m:1) := (w_1104/w_1088) [ 9.9999e-06 , 5001 ]
w_1106 (r:2, m:1) := (0.0001+x_220) [ 0.0001 , 10.0001 ]
w_1107 (r:3, m:1) := (w_1106/w_1091) [ 9.9999e-06 , 100001 ]
w_1108 (r:4, m:1) := (w_1105+w_1107) [ 1.99998e-05 , 105002 ]
w_1109 (r:3, m:1) := (0.0001+w_225) [ 0.0001 , 0.5001 ]
w_1110 (r:4, m:1) := (w_568*w_1109) [ 1e-05 , 1.96539 ]
w_1111 (r:5, m:1) := (2*w_1110) [ 2e-05 , 3.93079 ]
w_1112 (r:6, m:1) := (w_1111/w_1095) [ 1.99998e-06 , 39307.9 ]
w_1113 (r:5, m:1) := (x_87*w_1108) [ 7.85992e-05 , 412658 ]
w_1114 (r:7, m:1) := (-w_1112+w_1113) [ -39307.9 , 412658 ]
w_1115 (r:8, m:1) := (x_59*w_1114) [ -3.93079e+08 , 4.12658e+09 ]
w_1116 (r:9, m:1) := (w_225-2.31046e-05*w_1115) [ -95342.9 , 9082.42 ]
w_1117 (r:2, m:2) := (0.0001+w_184) [ 0.0001 , 50.0001 ]
w_1118 (r:2, m:1) := (0.0001+w_464) [ 0.0001 , 30.0001 ]
w_1119 (r:3, m:1) := (w_1118/w_1117) [ 2e-06 , 300001 ]
w_1120 (r:2, m:2) := (0.0001+x_185) [ 0.0001 , 10.0001 ]
w_1121 (r:2, m:1) := (0.0001+x_469) [ 0.0001 , 10.0001 ]
w_1122 (r:3, m:1) := (w_1121/w_1120) [ 9.9999e-06 , 100001 ]
w_1123 (r:4, m:1) := (w_1119+w_1122) [ 1.19999e-05 , 400002 ]
w_1124 (r:2, m:2) := (0.0001+w_186) [ 0.0001 , 50.0001 ]
w_1125 (r:3, m:1) := (0.0001+w_474) [ 0.0001 , 30.0001 ]
w_1126 (r:4, m:1) := (w_618*w_1125) [ 1e-05 , 97.5003 ]
w_1127 (r:5, m:1) := (2*w_1126) [ 2e-05 , 195.001 ]
w_1128 (r:6, m:1) := (w_1127/w_1124) [ 3.99999e-07 , 1.95001e+06 ]
w_1129 (r:5, m:1) := (w_63*w_1123) [ 2.99997e-05 , 1.30001e+06 ]
w_1130 (r:7, m:1) := (-w_1128+w_1129) [ -1.95001e+06 , 1.30001e+06 ]
w_1131 (r:8, m:1) := (x_60*w_1130) [ -1.95001e+10 , 1.30001e+10 ]
w_1132 (r:9, m:1) := (w_474-0.000552501*w_1131) [ -7.18255e+06 ,
1.07738e+07 ]
w_1133 (r:2, m:1) := (0.0001+w_465) [ 0.0001 , 30.0001 ]
w_1134 (r:3, m:1) := (w_1133/w_1117) [ 2e-06 , 300001 ]
w_1135 (r:2, m:1) := (0.0001+x_470) [ 0.0001 , 10.0001 ]
w_1136 (r:3, m:1) := (w_1135/w_1120) [ 9.9999e-06 , 100001 ]
w_1137 (r:4, m:1) := (w_1134+w_1136) [ 1.19999e-05 , 400002 ]
w_1138 (r:3, m:1) := (0.0001+w_475) [ 0.0001 , 30.0001 ]
w_1139 (r:4, m:1) := (w_618*w_1138) [ 1e-05 , 97.5003 ]
w_1140 (r:5, m:1) := (2*w_1139) [ 2e-05 , 195.001 ]
w_1141 (r:6, m:1) := (w_1140/w_1124) [ 3.99999e-07 , 1.95001e+06 ]
w_1142 (r:5, m:1) := (w_63*w_1137) [ 2.99997e-05 , 1.30001e+06 ]
w_1143 (r:7, m:1) := (-w_1141+w_1142) [ -1.95001e+06 , 1.30001e+06 ]
w_1144 (r:8, m:1) := (x_60*w_1143) [ -1.95001e+10 , 1.30001e+10 ]
w_1145 (r:9, m:1) := (w_475-2.31046e-05*w_1144) [ -300361 , 450571 ]
z_1146 (r:3, m:1) := w_226 [ -0 , 0 ] integer
z_1147 (r:3, m:1) := w_227 [ -0 , 0 ] integer
z_1148 (r:3, m:1) := w_228 [ -0 , 0 ] integer
w_1149 (r:3, m:1) := w_476 [ 0 , 2.25 ]
w_1150 (r:3, m:1) := w_477 [ 0 , 1.5 ]
w_1151 (r:3, m:1) := w_478 [ 0 , 0.03 ]
w_1152 (r:3, m:1) := (-0.5*w_214+w_224) [ -4.75 , 9.5 ]
w_1153 (r:3, m:1) := (-0.5*w_464+w_474) [ -15 , 30 ]
w_1154 (r:3, m:1) := (-y_636+w_642-7*y_708) [ -7 , 7 ]
w_1155 (r:4, m:1) := (-w_641+w_642-7*z_709) [ -12 , 7 ]
w_1156 (r:3, m:1) := (-w_646+w_649-7*z_710) [ -14 , 2.1146 ]
w_1157 (r:4, m:1) := (-w_648+w_649-7*y_711) [ -13.776 , 1.0573 ]
w_1158 (r:3, m:1) := (-x_662+w_665-7*y_713) [ -8.53108 , 5.46892 ]
w_1159 (r:4, m:1) := (-w_31+w_665-7*z_712) [ -8.5 , 7 ]
w_1160 (r:3, m:1) := (-x_669+w_676-7*z_714) [ -8.18944 , 6.16687 ]
w_1161 (r:4, m:1) := (-w_32+w_676-7*z_715) [ -10.5 , 6.16687 ]
w_1162 (r:3, m:1) := (-x_683+w_685-7*z_712) [ -15 , 8 ]
w_1163 (r:4, m:1) := (-w_684+w_685-7*y_713) [ -15 , 8 ]
w_1164 (r:3, m:1) := (-x_87+w_570-4*y_708) [ -4 , 0 ]
w_1165 (r:5, m:1) := (-w_569+w_570-4*z_709) [ -4.07 , 3.83 ]
w_1166 (r:3, m:1) := (-w_574+w_577-4*z_710) [ -7.14056 , 0.75944 ]
w_1167 (r:4, m:1) := (-w_576+w_577-4*y_711) [ -7.9 , 3.9 ]
w_1168 (r:4, m:1) := (-w_24+w_593-4*y_713) [ -4.92 , 2.98 ]
w_1169 (r:4, m:1) := (-w_34+w_593-4*z_712) [ -7.15 , 3.9 ]
w_1170 (r:3, m:1) := (-x_26+w_604-4*z_714) [ -4.15 , 3.9 ]
w_1171 (r:4, m:1) := (-w_35+w_604-4*z_715) [ -7.15 , 3.9 ]
w_1172 (r:3, m:1) := (-w_611+w_613-4*z_712) [ -7.15 , 3.9 ]
w_1173 (r:4, m:1) := (-w_612+w_613-4*y_713) [ -7.9 , 3.9 ]
w_1174 (r:3, m:1) := (w_138*w_642) [ 0 , 100 ]
w_1175 (r:2, m:1) := (w_172*w_676) [ 0 , 100 ]
w_1176 (r:2, m:1) := (x_196*x_700) [ 0 , 30 ]
w_1177 (r:2, m:2) := (w_202*x_706) [ 0 , 500 ]
w_1178 (r:4, m:1) :=
(-53.5*w_1084+30.5*w_1174+225*w_1175+225*w_1176+35*w_1177) [ -26750 ,
49800 ]
w_1179 (r:2, m:1) := (w_152*x_30) [ 0 , 45 ]
w_1180 (r:2, m:1) := (x_153*x_83) [ 0 , 100 ]
w_1181 (r:2, m:1) := (w_199*y_701) [ 0 , 30 ]
w_1182 (r:3, m:1) := (206.2*w_1179-206.2*w_1180+225*w_1181) [ -20620 ,
16029 ]
w_1183 (r:3, m:1) := (w_181*w_685) [ 0 , 100 ]
w_1184 (r:2, m:1) := (w_192*x_696) [ 0 , 100 ]
w_1185 (r:4, m:1) := (w_193*x_697) [ 0 , 100 ]
w_1186 (r:5, m:1) := (37*w_1183+35*w_1184-59.35*w_1185) [ -5935 , 7200 ]
w_1187 (r:3, m:1) := (w_187*w_691) [ 0 , 500 ]
w_1188 (r:3, m:1) := (w_190*w_694) [ 0 , 500 ]
w_1189 (r:3, m:1) := (w_194*w_699) [ 0 , 80 ]
w_1190 (r:4, m:1) := (-35*w_1177+32*w_1187+35*w_1188+35*w_1189) [ -17500 ,
36300 ]
w_1191 (r:2, m:1) := (w_145*x_650) [ 0 , 500 ]
w_1192 (r:3, m:1) := (5.72037*w_301+5.72037*w_302+w_1086-w_1191) [ -500 ,
561.557 ]
w_1193 (r:3, m:1) := (w_570-w_632) [ -0 , 0 ] integer
w_1194 (r:4, m:1) := (-w_534+w_539) [ -10 , 10 ]
w_1195 (r:4, m:1) := (-w_535+w_540) [ -10 , 10 ]
w_1196 (r:12, m:1) := (-w_536+w_541) [ -10 , 10 ]
w_1197 (r:13, m:1) := (-w_537+w_542) [ -10 , 10 ]
w_1198 (r:4, m:1) := (-w_538+w_543) [ -10 , 10 ]
w_1199 (r:3, m:1) := (w_570-w_604) [ -0.07 , 3.83 ]
w_1200 (r:2, m:1) := (100*x_66) [ 894.27 , 977.6 ]
w_1201 (r:3, m:1) := (1/w_1200) [ 0.00102291 , 0.00111823 ]
w_1202 (r:4, m:1) := (-26167*w_1201) [ -29.2607 , -26.7666 ]
w_1203 (r:5, m:1) := exp(w_1202) [ 1.95985e-13 , 2.3737e-12 ]
w_1204 (r:2, m:1) := (100*w_648) [ 894.27 , 977.6 ]
w_1205 (r:3, m:1) := (1/w_1204) [ 0.00102291 , 0.00111823 ]
w_1206 (r:4, m:1) := (-26167*w_1205) [ -29.2607 , -26.7666 ]
w_1207 (r:5, m:1) := exp(w_1206) [ 1.95985e-13 , 2.3737e-12 ]
w_1208 (r:2, m:1) := (0.0001+0.0166667*x_252) [ 0.0001 , 0.5001 ]
w_1209 (r:2, m:1) := (0.0001+0.0166667*w_141) [ 0.0001 , 0.833433 ]
w_1210 (r:3, m:1) := (w_1208^0.5) [ 0.01 , 0.707177 ]
w_1211 (r:3, m:1) := (w_1209^-1.5) [ 1.3143 , 1e+06 ]
w_1212 (r:7, m:1) := (x_70*w_72) [ 0 , 29.9086 ]
w_1213 (r:8, m:1) := (w_1210*w_1212) [ 0 , 21.1507 ]
w_1214 (r:9, m:1) := (w_1211*w_1213) [ 0 , 2.11507e+07 ]
w_1215 (r:10, m:1) := (1+0.372*w_1214) [ 1 , 7.86806e+06 ]
w_1216 (r:11, m:1) := (1/w_1215) [ 1.27096e-07 , 1 ]
w_1217 (r:12, m:1) := (w_1216^2) [ 1.61534e-14 , 1 ]
w_1218 (r:2, m:1) := (0.0001+0.0166667*w_262) [ 0.0001 , 0.5001 ]
w_1219 (r:2, m:1) := (0.0001+0.0166667*w_143) [ 0.0001 , 0.833433 ]
w_1220 (r:3, m:1) := (w_1218^0.5) [ 0.01 , 0.707177 ]
w_1221 (r:3, m:1) := (w_1219^-1.5) [ 1.3143 , 1e+06 ]
w_1222 (r:7, m:1) := (x_71*w_73) [ 0 , 29.9086 ]
w_1223 (r:8, m:1) := (w_1220*w_1222) [ 0 , 21.1507 ]
w_1224 (r:9, m:1) := (w_1221*w_1223) [ 0 , 2.11507e+07 ]
w_1225 (r:10, m:1) := (1+0.372*w_1224) [ 1 , 7.86806e+06 ]
w_1226 (r:11, m:1) := (1/w_1225) [ 1.27096e-07 , 1 ]
w_1227 (r:12, m:1) := (w_1226^2) [ 1.61534e-14 , 1 ]
w_1228 (r:14, m:1) := (1-w_74) [ 0.027 , 1 ]
w_1229 (r:15, m:1) := (w_1228^-1.544) [ 1 , 264.225 ]
w_1230 (r:14, m:1) := (1-w_75) [ 0.027 , 1 ]
w_1231 (r:15, m:1) := (w_1230^-1.544) [ 1 , 264.225 ]
w_1232 (r:17, m:1) := (w_76*w_78) [ 0 , 29.0849 ]
w_1233 (r:17, m:1) := (w_77*w_79) [ 0 , 29.0849 ]
w_1234 (r:2, m:1) := (w_141*x_82) [ 0 , 500 ]
w_1235 (r:2, m:1) := (w_142*w_646) [ 0 , 500 ]
w_1236 (r:15, m:1) := (501*w_78+53.5*w_1234-54*w_1235) [ -27000 , 41374.2
]
z_1237 (r:4, m:1) := (y_708+z_709) [ -0 , 2 ] integer
w_1238 (r:5, m:1) := (x_68-w_69) [ -0 , 0 ] integer
w_1239 (r:4, m:1) := (w_63-w_588) [ -1.5 , 2.23 ]
w_1240 (r:4, m:1) := (x_82-w_648) [ -0.833 , 1.0573 ]
w_1241 (r:3, m:1) := (x_126*w_294) [ 0 , 5 ]
w_1242 (r:4, m:1) := (w_299-w_1241) [ -5 , 10 ]
w_1243 (r:3, m:1) := (x_126*w_295) [ 0 , 5 ]
w_1244 (r:4, m:1) := (w_300-w_1243) [ -5 , 10 ]
w_1245 (r:3, m:1) := (x_126*w_296) [ 0 , 5 ]
w_1246 (r:4, m:1) := (w_301-w_1245) [ -5 , 10 ]
w_1247 (r:3, m:1) := (x_126*w_297) [ 0 , 5 ]
w_1248 (r:4, m:1) := (w_302-w_1247) [ -5 , 10 ]
w_1249 (r:3, m:1) := (x_126*w_298) [ 0 , 5 ]
w_1250 (r:4, m:1) := (w_303-w_1249) [ -5 , 10 ]
w_1251 (r:7, m:1) := (-w_499+x_504) [ -10 , 10 ]
w_1252 (r:7, m:1) := (-w_500+x_505) [ -10 , 10 ]
w_1253 (r:12, m:1) := (-w_501+w_506) [ -2.25 , 10 ]
w_1254 (r:13, m:1) := (-w_502+w_507) [ -1.5 , 10 ]
w_1255 (r:7, m:1) := (-w_503+x_508) [ -0.03 , 10 ]
w_1256 (r:4, m:2) := (w_34^0.230769) [ 0.587802 , 1.31258 ]
w_1257 (r:5, m:1) := (x_679/w_1256) [ 2.28557 , 17.0125 ]
w_1258 (r:4, m:3) := (w_63^0.230769) [ 1.23547 , 1.31258 ]
w_1259 (r:5, m:1) := (x_678/w_1258) [ 2.28557 , 8.09408 ]
w_1260 (r:6, m:1) := (w_1257-w_1259) [ -5.80851 , 14.727 ]
w_1261 (r:4, m:1) := (w_35^0.230769) [ 0.587802 , 1.31258 ]
w_1262 (r:5, m:1) := (w_32/w_1261) [ 2.9203 , 11.0582 ]
w_1263 (r:3, m:1) := (w_596^0.230769) [ 0.587802 , 0.809408 ]
w_1264 (r:4, m:1) := (x_672/w_1263) [ 3.70641 , 17.0125 ]
w_1265 (r:6, m:1) := (w_1262-w_1264) [ -14.0922 , 7.35174 ]
w_1266 (r:5, m:1) := (x_650/w_1258) [ 2.28557 , 8.09408 ]
w_1267 (r:3, m:1) := (w_577^0.230769) [ 0.587802 , 1.37701 ]
w_1268 (r:4, m:1) := (w_649/w_1267) [ 2.17863 , 17.0125 ]
w_1269 (r:6, m:1) := (w_1266-w_1268) [ -14.727 , 5.91545 ]
w_1270 (r:2, m:1) := (w_611^0.230769) [ 0.587802 , 1.31258 ]
w_1271 (r:3, m:1) := (x_683/w_1270) [ 1.52371 , 17.0125 ]
w_1272 (r:5, m:1) := (w_31/w_1256) [ 2.28557 , 7.65564 ]
w_1273 (r:6, m:1) := (w_1271-w_1272) [ -6.13193 , 14.727 ]
w_1274 (r:4, m:1) := (w_612^0.230769) [ 0.587802 , 1.37701 ]
w_1275 (r:5, m:1) := (w_684/w_1274) [ 1.45242 , 17.0125 ]
w_1276 (r:4, m:1) := (w_24^0.230769) [ 1.00458 , 1.00458 ]
w_1277 (r:5, m:1) := (x_95/w_1276) [ 3.18541 , 3.18541 ]
w_1278 (r:6, m:1) := (w_1275-w_1277) [ -1.73299 , 13.8271 ]
w_1279 (r:3, m:1) := (w_613^0.230769) [ 0.587802 , 1.37701 ]
w_1280 (r:4, m:1) := (x_696/w_1279) [ 2.17863 , 17.0125 ]
w_1281 (r:5, m:1) := (x_707/w_1258) [ 2.28557 , 8.09408 ]
w_1282 (r:6, m:1) := (w_1280-w_1281) [ -5.91545 , 14.727 ]
w_1283 (r:4, m:1) := (w_34-w_63) [ -3.15 , 0.75 ]
w_1284 (r:4, m:1) := (w_35-w_596) [ -0.3 , 3.15 ]
w_1285 (r:4, m:1) := (w_63-w_577) [ -1.5 , 3.15 ]
w_1286 (r:4, m:1) := (-w_24+w_612) [ -0.92 , 2.98 ]
w_1287 (r:4, m:1) := (-w_63+w_613) [ -3.15 , 1.5 ]
w_1288 (r:5, m:1) := (w_134-w_214-w_215-w_216-w_217-w_218) [ -10 , 10 ]
w_1289 (r:4, m:1) := (w_136-w_224-w_225-w_226-w_227-w_228) [ -10 , 10 ]
w_1290 (r:3, m:1) := (w_143-w_259-w_260-w_261-w_262-w_263) [ -126 , 50 ]
w_1291 (r:3, m:1) := (w_155-w_319-w_320-w_321-w_322-w_323) [ -50 , 10 ]
w_1292 (r:7, m:1) := (w_156-w_319-w_320-w_321-w_322-w_323) [ -50 , 10 ]
w_1293 (r:7, m:1) := (w_161-w_349-w_350-w_351-w_352-w_353) [ -50 , 10 ]
w_1294 (r:4, m:1) := (w_167-w_379-w_380-w_381-w_382-w_383) [ -37.9206 , 10
]
w_1295 (r:3, m:1) := (w_184-w_464-w_465-w_466-w_467-w_468) [ -63.78 , 50 ]
w_1296 (r:4, m:1) := (w_186-w_474-w_475-w_476-w_477-w_478) [ -63.78 , 50 ]
w_1297 (r:7, m:1) := (w_191-w_499-w_500-w_501-w_502-w_503) [ -23.78 , 10 ]
w_1298 (r:12, m:1) := (w_193-w_509-w_510-w_511-w_512-w_513) [ -50 , 10 ]
w_1299 (r:6, m:1) := (w_202-w_554-w_555-w_556-w_557-w_558) [ -132 , 50 ]
end
exprCopy::realign replaces 44736b8 with 6f6ea68 (x_33 --> w_33)
exprCopy::realign replaces 447ec38 with 438ff10 (x_636 --> y_636)
exprCopy::realign replaces 4473388 with 6eec200 (x_25 --> w_25)
==24084== Invalid read of size 4
==24084== at 0x4BD790D:
Couenne::exprCopy::realign(Couenne::CouenneProblem const*)
(expression.cpp:209)
==24084== by 0x4BABA26: Couenne::CouenneProblem::realign()
(problem.cpp:384)
==24084== by 0x4BC612A:
Couenne::CouenneProblem::reformulate(Couenne::CouenneCutGenerator*)
(reformulate.cpp:89)
==24084== by 0x4ABCA82:
Couenne::CouenneSetup::InitializeCouenne(char**, Couenne::CouenneProblem*,
Ipopt::SmartPtr<Bonmin::TMINLP>, Couenne::CouenneInterface*, Bonmin::Bab*)
(BonCouenneSetup.cpp:256)
==24084== Address 0x44736b8 is 0 bytes inside a block of size 12 free'd
==24084== at 0x40266AD: operator delete(void*) (in
/usr/lib/valgrind/vgpreload_memcheck-x86-linux.so)
==24084== by 0x4BAFDD1: Couenne::exprVar::~exprVar()
(CouenneExprVar.hpp:65)
==24084== by 0x4BD7AE7:
Couenne::exprCopy::realign(Couenne::CouenneProblem const*)
(expression.cpp:222)
==24084== by 0x4BABA26: Couenne::CouenneProblem::realign()
(problem.cpp:384)
==24084== by 0x4BC612A:
Couenne::CouenneProblem::reformulate(Couenne::CouenneCutGenerator*)
(reformulate.cpp:89)
==24084== by 0x4ABCA82:
Couenne::CouenneSetup::InitializeCouenne(char**, Couenne::CouenneProblem*,
Ipopt::SmartPtr<Bonmin::TMINLP>, Couenne::CouenneInterface*, Bonmin::Bab*)
(BonCouenneSetup.cpp:256)
}}}
Stefan
--
Ticket URL: <https://projects.coin-or.org/Couenne/ticket/13>
Couenne, a solver for non-convex MINLP problems <https://projects.coin-or.org/Couenne>
Couenne, a solver for non-convex MINLP problems
More information about the Couenne-tickets
mailing list