-------- Forwarded Message -------- From: [email protected] To: [email protected] Cc: [email protected], [email protected] Subject: Re: Aw: [Bug-glpk] [Fwd: Problem updating from version 4_47 to 4_60] Date: Wed, 16 Nov 2016 11:14:14 +0100
Thank you for your answer but i think is not a problem of my callback method because is the same in both cases. I am using a branch-and-cut method to solve MIP problems. I start with a simple LP problem, it doesn´t contain all the constraints(rows) that i need but i add them step by step when the glp_intopt(prob,iocp)routine, calls the callback method with the reason ROWGEN. In that moment i check if the current LP solution solve my needs and if not, i add some new constraints to the initial problem (prob). and the solver continues with the branch-and-cut algorithm. In version 4_47 it runs ok and the routine navigates the tree adding new rows when i need it, and finishes with a MIP solution that solve all of my needs. In version 4_60 the routine finishes before i expected it with a MIP solution that doesn't solve all of my needs. In the logs that i attached, you can see all the calls that glp_intopt(prob,iocp)does to my callback method and the reason (GLP_ISELECT,GLP_IPREPRO,GLP_IROWGEN,......) Using version 4_60 just calls twice to my callback method with the reason rowgen. It seems that it doesn't navigate the tree correctly. Has any change in the branch-and-cut algorithm? Thank you in advance and excuse me if i am wrong. De: "Heinrich Schuchardt" <[email protected]> Para: "Andrew Makhorin" <[email protected]>, "Bug Glpk" <[email protected]>, [email protected] Fecha: 02/11/2016 15:23 Asunto: Aw: [Bug-glpk] [Fwd: Problem updating from version 4_47 to 4_60] ________________________________________________________________________ Hello Diego, the 4.60 log shows that your Java code supplied a solution with a better value than the 4.47 solution. Please, check your callback method. Best regards Heinrich -- Diese Nachricht wurde von meinem Android Mobiltelefon mit GMX Mail gesendet. Am 02.11.16, 14:13, Andrew Makhorin <[email protected]> schrieb: -------- Forwarded Message -------- From: [email protected] To: [email protected] Subject: Problem updating from version 4_47 to 4_60 Date: Wed, 2 Nov 2016 10:51:02 +0100 I use GLPK from java to solve MIP problems using the Branch and Cut method. Having the same program just changing the GLPK library i get different behaviors from one version to another. Using version 4_47 i able to solve the problem. But using version 4_60 i obtain a non optimal solution. I think the problem could be in how GLPK build the initial graph conflict according to the log i receive when i try to solve the problem. These are the log differences: * LOG from version v4_47 GLPK Simplex Optimizer, v4.47 24 rows, 303 columns, 1248 non-zeros 0: obj = 0.000000000e+000 infeas = 1.200e+001 (0) * 21: obj = 2.860000000e+003 infeas = 0.000e+000 (0) * 31: obj = 2.840000000e+003 infeas = 0.000e+000 (0) OPTIMAL SOLUTION FOUND GLPK Integer Optimizer, v4.47 24 rows, 303 columns, 1248 non-zeros 303 integer variables, 291 of which are binary Integer optimization begins... Solution found by heuristic: 2883 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT Gomory's cuts enabled MIR cuts enabled Cover cuts enabled Clique cuts enabled Creating the conflict graph... The conflict graph has 2*20 vertices and 30 edges + 31: mip = 2.883000000e+003 >= -inf (1; 0) 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IBRANCH 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IBRANCH 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IBRANCH 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IBRANCH 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IBRANCH 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IBRANCH 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IBRANCH 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IBRANCH 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IBRANCH 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IBRANCH 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN + 64: >>>>> 2.842000000e+003 >= 2.841000000e+003 < 0.1% (9; 1) 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IBINGO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ICUTGEN 12:45:17 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO + 75: mip = 2.842000000e+003 >= tree is empty 0.0% (0; 19) INTEGER OPTIMAL SOLUTION FOUND =============================================================================== * LOG from version v4_60 GLPK Simplex Optimizer, v4.60 24 rows, 303 columns, 1248 non-zeros 0: obj = 0.000000000e+00 inf = 1.200e+01 (12) 10: obj = 2.860000000e+03 inf = 0.000e+00 (0) * 29: obj = 2.840000000e+03 inf = 0.000e+00 (0) OPTIMAL LP SOLUTION FOUND GLPK Integer Optimizer, v4.60 24 rows, 303 columns, 1248 non-zeros 303 integer variables, 291 of which are binary Integer optimization begins... Solution found by heuristic: 2883 12:48:10 DEBUG JCspGlpkCallback - RES = 0 12:48:10 DEBUG JCspGlpkCallback - GLPKConstants.GLP_ISELECT Gomory's cuts enabled MIR cuts enabled Cover cuts enabled Clique cuts enabled Constructing conflict graph... Conflict graph has 0 + 20 = 20 vertices + 29: mip = 2.883000000e+03 >= -inf (1; 0) 12:48:10 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:48:10 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:48:10 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IPREPRO 12:48:10 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IROWGEN 12:48:10 DEBUG JCspGlpkCallback - GLPKConstants.GLP_IHEUR Solution found by heuristic: 2840 + 30: mip = 2.840000000e+03 >= tree is empty 0.0% (0; 1) I have the following problem in CPLEX format: \* Problem: Unknown *\ Minimize obj: + 46041 x(1) + 22206 x(2) + 23835 x(3) + 479 x(4) + 79 x(5) + 400 x(6) + 460 x(7) + 429 x(8) + 31 x(9) + 214 x(10) + 212 x(11) + 471 x(13) + 198 x(14) + 273 x(15) + 506 x(16) + 32 x(17) + 474 x(18) + 195 x(19) + 97 x(20) + 98 x(21) + 923 x(22) + 433 x(23) + 490 x(24) + 266 x(25) + 262 x(26) + 108 x(28) + 106 x(29) + 307 x(31) + 24 x(32) + 283 x(33) + 344 x(34) + 35 x(35) + 309 x(36) + 447 x(37) + 204 x(38) + 243 x(39) + 435 x(40) + 125 x(41) + 310 x(42) + 546 x(43) + 221 x(44) + 325 x(45) + 671 x(46) + 253 x(47) + 418 x(48) + 740 x(49) + 314 x(50) + 426 x(51) + 767 x(52) + 296 x(53) + 471 x(54) + 398 x(55) + 158 x(56) + 240 x(57) + 277 x(58) + 14 x(59) + 263 x(60) + 75 x(61) + 25 x(62) + 50 x(63) + 240 x(64) + 188 x(65) + 52 x(66) + 202 x(67) + 14 x(68) + 188 x(69) + 718 x(70) + 455 x(71) + 263 x(72) + 413 x(73) + 153 x(74) + 260 x(75) + 423 x(76) + 171 x(77) + 252 x(78) + 576 x(79) + 147 x(80) + 429 x(81) + 722 x(82) + 430 x(83) + 292 x(84) + 743 x(85) + 487 x(86) + 256 x(87) + 666 x(88) + 395 x(89) + 271 x(90) + 304 x(91) + 304 x(93) + 662 x(94) + 336 x(95) + 326 x(96) + 668 x(97) + 443 x(98) + 225 x(99) + 501 x(100) + 357 x(101) + 144 x(102) + 437 x(103) + 64 x(104) + 373 x(105) + 215 x(106) + 193 x(107) + 22 x(108) + 730 x(109) + 312 x(110) + 418 x(111) + 344 x(112) + 46 x(113) + 298 x(114) + 420 x(115) + 224 x(116) + 196 x(117) + 55 x(118) + 55 x(120) + 652 x(121) + 431 x(122) + 221 x(123) + 409 x(124) + 406 x(125) + 133 x(127) + 49 x(128) + 84 x(129) + 318 x(130) + 10 x(131) + 308 x(132) + 226 x(136) + 134 x(137) + 92 x(138) + 790 x(139) + 424 x(140) + 366 x(141) + 494 x(142) + 71 x(143) + 423 x(144) + 555 x(145) + 315 x(146) + 240 x(147) + 654 x(148) + 285 x(149) + 369 x(150) + 270 x(151) + 11 x(152) + 259 x(153) + 311 x(154) + 309 x(155) + 465 x(157) + 265 x(158) + 200 x(159) + 533 x(160) + 285 x(161) + 248 x(162) + 177 x(163) + 159 x(164) + 18 x(165) + 549 x(166) + 381 x(167) + 168 x(168) + 728 x(169) + 264 x(170) + 464 x(171) + 477 x(172) + 168 x(173) + 309 x(174) + 514 x(175) + 21 x(176) + 493 x(177) + 569 x(178) + 143 x(179) + 426 x(180) + 509 x(181) + 231 x(182) + 278 x(183) + 655 x(184) + 241 x(185) + 414 x(186) + 502 x(187) + 471 x(188) + 31 x(189) + 494 x(190) + 491 x(191) + 779 x(193) + 408 x(194) + 371 x(195) + 720 x(196) + 351 x(197) + 369 x(198) + 291 x(199) + 214 x(200) + 77 x(201) + 952 x(202) + 465 x(203) + 487 x(204) + 228 x(205) + 226 x(206) + 328 x(208) + 250 x(209) + 78 x(210) + 486 x(211) + 484 x(213) + 537 x(214) + 75 x(215) + 462 x(216) + 377 x(217) + 353 x(218) + 24 x(219) + 551 x(220) + 347 x(221) + 204 x(222) + 865 x(223) + 396 x(224) + 469 x(225) + 536 x(226) + 66 x(227) + 470 x(228) + 291 x(229) + 180 x(230) + 111 x(231) + 833 x(232) + 383 x(233) + 450 x(234) + 462 x(235) + 303 x(236) + 159 x(237) + 475 x(238) + 304 x(239) + 171 x(240) + 430 x(241) + 63 x(242) + 367 x(243) + 490 x(244) + 85 x(245) + 405 x(246) + 45 x(247) + 43 x(248) + 268 x(250) + 26 x(251) + 242 x(252) + 461 x(253) + 291 x(254) + 170 x(255) + 432 x(256) + 423 x(257) + 9 x(258) + 261 x(259) + 157 x(260) + 104 x(261) + 540 x(262) + 387 x(263) + 153 x(264) + 521 x(265) + 163 x(266) + 358 x(267) + 303 x(268) + 299 x(269) + 443 x(271) + 177 x(272) + 266 x(273) + 563 x(274) + 156 x(275) + 407 x(276) + 145 x(277) + 27 x(278) + 118 x(279) + 619 x(280) + 372 x(281) + 247 x(282) + 439 x(283) + 269 x(284) + 170 x(285) + 675 x(286) + 243 x(287) + 432 x(288) + 183 x(289) + 154 x(290) + 29 x(291) + 444 x(292) + 55 x(293) + 389 x(294) + 572 x(295) + 405 x(296) + 167 x(297) + 303 x(298) + 184 x(299) + 119 x(300) + 540 x(301) + 407 x(302) + 133 x(303) Subject To forced_secoundary_12_4: + x(12) + x(11) + x(10) - ~r_1 = 2 forced_secoundary_12_104: + x(303) + x(300) + x(297) + x(294) + x(291) + x(288) + x(285) + x(282) + x(279) + x(276) + x(273) + x(270) + x(267) + x(264) + x(261) + x(258) + x(255) + x(252) + x(249) + x(246) + x(243) + x(240) + x(237) + x(234) + x(231) + x(228) + x(225) + x(222) + x(219) + x(216) + x(213) + x(210) + x(207) + x(204) + x(201) + x(198) + x(195) + x(192) + x(189) + x(186) + x(183) + x(180) + x(177) + x(174) + x(171) + x(168) + x(165) + x(162) + x(159) + x(156) + x(153) + x(150) + x(147) + x(144) + x(141) + x(138) + x(135) + x(132) + x(129) + x(126) + x(123) + x(120) + x(117) + x(114) + x(111) + x(108) + x(105) + x(102) + x(99) + x(96) + x(93) + x(90) + x(87) + x(84) + x(81) + x(78) + x(75) + x(72) + x(69) + x(66) + x(63) + x(60) + x(57) + x(54) + x(51) + x(48) + x(45) + x(42) + x(39) + x(36) + x(33) + x(30) + x(27) + x(24) + x(21) + x(18) + x(15) + x(12) + x(9) + x(6) + x(3) - ~r_2 = 2 forced_secoundary_27_9: + x(27) + x(26) + x(25) - ~r_3 = 2 forced_secoundary_27_104: + x(303) + x(300) + x(297) + x(294) + x(291) + x(288) + x(285) + x(282) + x(279) + x(276) + x(273) + x(270) + x(267) + x(264) + x(261) + x(258) + x(255) + x(252) + x(249) + x(246) + x(243) + x(240) + x(237) + x(234) + x(231) + x(228) + x(225) + x(222) + x(219) + x(216) + x(213) + x(210) + x(207) + x(204) + x(201) + x(198) + x(195) + x(192) + x(189) + x(186) + x(183) + x(180) + x(177) + x(174) + x(171) + x(168) + x(165) + x(162) + x(159) + x(156) + x(153) + x(150) + x(147) + x(144) + x(141) + x(138) + x(135) + x(132) + x(129) + x(126) + x(123) + x(120) + x(117) + x(114) + x(111) + x(108) + x(105) + x(102) + x(99) + x(96) + x(93) + x(90) + x(87) + x(84) + x(81) + x(78) + x(75) + x(72) + x(69) + x(66) + x(63) + x(60) + x(57) + x(54) + x(51) + x(48) + x(45) + x(42) + x(39) + x(36) + x(33) + x(30) + x(27) + x(24) + x(21) + x(18) + x(15) + x(12) + x(9) + x(6) + x(3) - ~r_4 = 2 forced_secoundary_30_10: + x(30) + x(29) + x(28) - ~r_5 = 2 forced_secoundary_30_104: + x(303) + x(300) + x(297) + x(294) + x(291) + x(288) + x(285) + x(282) + x(279) + x(276) + x(273) + x(270) + x(267) + x(264) + x(261) + x(258) + x(255) + x(252) + x(249) + x(246) + x(243) + x(240) + x(237) + x(234) + x(231) + x(228) + x(225) + x(222) + x(219) + x(216) + x(213) + x(210) + x(207) + x(204) + x(201) + x(198) + x(195) + x(192) + x(189) + x(186) + x(183) + x(180) + x(177) + x(174) + x(171) + x(168) + x(165) + x(162) + x(159) + x(156) + x(153) + x(150) + x(147) + x(144) + x(141) + x(138) + x(135) + x(132) + x(129) + x(126) + x(123) + x(120) + x(117) + x(114) + x(111) + x(108) + x(105) + x(102) + x(99) + x(96) + x(93) + x(90) + x(87) + x(84) + x(81) + x(78) + x(75) + x(72) + x(69) + x(66) + x(63) + x(60) + x(57) + x(54) + x(51) + x(48) + x(45) + x(42) + x(39) + x(36) + x(33) + x(30) + x(27) + x(24) + x(21) + x(18) + x(15) + x(12) + x(9) + x(6) + x(3) - ~r_6 = 2 forced_secoundary_126_42: + x(126) + x(125) + x(124) - ~r_7 = 2 forced_secoundary_126_104: + x(303) + x(300) + x(297) + x(294) + x(291) + x(288) + x(285) + x(282) + x(279) + x(276) + x(273) + x(270) + x(267) + x(264) + x(261) + x(258) + x(255) + x(252) + x(249) + x(246) + x(243) + x(240) + x(237) + x(234) + x(231) + x(228) + x(225) + x(222) + x(219) + x(216) + x(213) + x(210) + x(207) + x(204) + x(201) + x(198) + x(195) + x(192) + x(189) + x(186) + x(183) + x(180) + x(177) + x(174) + x(171) + x(168) + x(165) + x(162) + x(159) + x(156) + x(153) + x(150) + x(147) + x(144) + x(141) + x(138) + x(135) + x(132) + x(129) + x(126) + x(123) + x(120) + x(117) + x(114) + x(111) + x(108) + x(105) + x(102) + x(99) + x(96) + x(93) + x(90) + x(87) + x(84) + x(81) + x(78) + x(75) + x(72) + x(69) + x(66) + x(63) + x(60) + x(57) + x(54) + x(51) + x(48) + x(45) + x(42) + x(39) + x(36) + x(33) + x(30) + x(27) + x(24) + x(21) + x(18) + x(15) + x(12) + x(9) + x(6) + x(3) - ~r_8 = 2 forced_secoundary_133_45: + x(135) + x(134) + x(133) - ~r_9 = 2 forced_secoundary_133_102: + x(301) + x(298) + x(295) + x(292) + x(289) + x(286) + x(283) + x(280) + x(277) + x(274) + x(271) + x(268) + x(265) + x(262) + x(259) + x(256) + x(253) + x(250) + x(247) + x(244) + x(241) + x(238) + x(235) + x(232) + x(229) + x(226) + x(223) + x(220) + x(217) + x(214) + x(211) + x(208) + x(205) + x(202) + x(199) + x(196) + x(193) + x(190) + x(187) + x(184) + x(181) + x(178) + x(175) + x(172) + x(169) + x(166) + x(163) + x(160) + x(157) + x(154) + x(151) + x(148) + x(145) + x(142) + x(139) + x(136) + x(133) + x(130) + x(127) + x(124) + x(121) + x(118) + x(115) + x(112) + x(109) + x(106) + x(103) + x(100) + x(97) + x(94) + x(91) + x(88) + x(85) + x(82) + x(79) + x(76) + x(73) + x(70) + x(67) + x(64) + x(61) + x(58) + x(55) + x(52) + x(49) + x(46) + x(43) + x(40) + x(37) + x(34) + x(31) + x(28) + x(25) + x(22) + x(19) + x(16) + x(13) + x(10) + x(7) + x(4) + x(1) - ~r_10 = 2 forced_secoundary_135_45: + x(135) + x(134) + x(133) - ~r_11 = 2 forced_secoundary_135_104: + x(303) + x(300) + x(297) + x(294) + x(291) + x(288) + x(285) + x(282) + x(279) + x(276) + x(273) + x(270) + x(267) + x(264) + x(261) + x(258) + x(255) + x(252) + x(249) + x(246) + x(243) + x(240) + x(237) + x(234) + x(231) + x(228) + x(225) + x(222) + x(219) + x(216) + x(213) + x(210) + x(207) + x(204) + x(201) + x(198) + x(195) + x(192) + x(189) + x(186) + x(183) + x(180) + x(177) + x(174) + x(171) + x(168) + x(165) + x(162) + x(159) + x(156) + x(153) + x(150) + x(147) + x(144) + x(141) + x(138) + x(135) + x(132) + x(129) + x(126) + x(123) + x(120) + x(117) + x(114) + x(111) + x(108) + x(105) + x(102) + x(99) + x(96) + x(93) + x(90) + x(87) + x(84) + x(81) + x(78) + x(75) + x(72) + x(69) + x(66) + x(63) + x(60) + x(57) + x(54) + x(51) + x(48) + x(45) + x(42) + x(39) + x(36) + x(33) + x(30) + x(27) + x(24) + x(21) + x(18) + x(15) + x(12) + x(9) + x(6) + x(3) - ~r_12 = 2 forced_secoundary_156_52: + x(156) + x(155) + x(154) - ~r_13 = 2 forced_secoundary_156_104: + x(303) + x(300) + x(297) + x(294) + x(291) + x(288) + x(285) + x(282) + x(279) + x(276) + x(273) + x(270) + x(267) + x(264) + x(261) + x(258) + x(255) + x(252) + x(249) + x(246) + x(243) + x(240) + x(237) + x(234) + x(231) + x(228) + x(225) + x(222) + x(219) + x(216) + x(213) + x(210) + x(207) + x(204) + x(201) + x(198) + x(195) + x(192) + x(189) + x(186) + x(183) + x(180) + x(177) + x(174) + x(171) + x(168) + x(165) + x(162) + x(159) + x(156) + x(153) + x(150) + x(147) + x(144) + x(141) + x(138) + x(135) + x(132) + x(129) + x(126) + x(123) + x(120) + x(117) + x(114) + x(111) + x(108) + x(105) + x(102) + x(99) + x(96) + x(93) + x(90) + x(87) + x(84) + x(81) + x(78) + x(75) + x(72) + x(69) + x(66) + x(63) + x(60) + x(57) + x(54) + x(51) + x(48) + x(45) + x(42) + x(39) + x(36) + x(33) + x(30) + x(27) + x(24) + x(21) + x(18) + x(15) + x(12) + x(9) + x(6) + x(3) - ~r_14 = 2 forced_secoundary_192_64: + x(192) + x(191) + x(190) - ~r_15 = 2 forced_secoundary_192_104: + x(303) + x(300) + x(297) + x(294) + x(291) + x(288) + x(285) + x(282) + x(279) + x(276) + x(273) + x(270) + x(267) + x(264) + x(261) + x(258) + x(255) + x(252) + x(249) + x(246) + x(243) + x(240) + x(237) + x(234) + x(231) + x(228) + x(225) + x(222) + x(219) + x(216) + x(213) + x(210) + x(207) + x(204) + x(201) + x(198) + x(195) + x(192) + x(189) + x(186) + x(183) + x(180) + x(177) + x(174) + x(171) + x(168) + x(165) + x(162) + x(159) + x(156) + x(153) + x(150) + x(147) + x(144) + x(141) + x(138) + x(135) + x(132) + x(129) + x(126) + x(123) + x(120) + x(117) + x(114) + x(111) + x(108) + x(105) + x(102) + x(99) + x(96) + x(93) + x(90) + x(87) + x(84) + x(81) + x(78) + x(75) + x(72) + x(69) + x(66) + x(63) + x(60) + x(57) + x(54) + x(51) + x(48) + x(45) + x(42) + x(39) + x(36) + x(33) + x(30) + x(27) + x(24) + x(21) + x(18) + x(15) + x(12) + x(9) + x(6) + x(3) - ~r_16 = 2 forced_secoundary_207_69: + x(207) + x(206) + x(205) - ~r_17 = 2 forced_secoundary_207_104: + x(303) + x(300) + x(297) + x(294) + x(291) + x(288) + x(285) + x(282) + x(279) + x(276) + x(273) + x(270) + x(267) + x(264) + x(261) + x(258) + x(255) + x(252) + x(249) + x(246) + x(243) + x(240) + x(237) + x(234) + x(231) + x(228) + x(225) + x(222) + x(219) + x(216) + x(213) + x(210) + x(207) + x(204) + x(201) + x(198) + x(195) + x(192) + x(189) + x(186) + x(183) + x(180) + x(177) + x(174) + x(171) + x(168) + x(165) + x(162) + x(159) + x(156) + x(153) + x(150) + x(147) + x(144) + x(141) + x(138) + x(135) + x(132) + x(129) + x(126) + x(123) + x(120) + x(117) + x(114) + x(111) + x(108) + x(105) + x(102) + x(99) + x(96) + x(93) + x(90) + x(87) + x(84) + x(81) + x(78) + x(75) + x(72) + x(69) + x(66) + x(63) + x(60) + x(57) + x(54) + x(51) + x(48) + x(45) + x(42) + x(39) + x(36) + x(33) + x(30) + x(27) + x(24) + x(21) + x(18) + x(15) + x(12) + x(9) + x(6) + x(3) - ~r_18 = 2 forced_secoundary_212_71: + x(213) + x(212) + x(211) - ~r_19 = 2 forced_secoundary_212_103: + x(302) + x(299) + x(296) + x(293) + x(290) + x(287) + x(284) + x(281) + x(278) + x(275) + x(272) + x(269) + x(266) + x(263) + x(260) + x(257) + x(254) + x(251) + x(248) + x(245) + x(242) + x(239) + x(236) + x(233) + x(230) + x(227) + x(224) + x(221) + x(218) + x(215) + x(212) + x(209) + x(206) + x(203) + x(200) + x(197) + x(194) + x(191) + x(188) + x(185) + x(182) + x(179) + x(176) + x(173) + x(170) + x(167) + x(164) + x(161) + x(158) + x(155) + x(152) + x(149) + x(146) + x(143) + x(140) + x(137) + x(134) + x(131) + x(128) + x(125) + x(122) + x(119) + x(116) + x(113) + x(110) + x(107) + x(104) + x(101) + x(98) + x(95) + x(92) + x(89) + x(86) + x(83) + x(80) + x(77) + x(74) + x(71) + x(68) + x(65) + x(62) + x(59) + x(56) + x(53) + x(50) + x(47) + x(44) + x(41) + x(38) + x(35) + x(32) + x(29) + x(26) + x(23) + x(20) + x(17) + x(14) + x(11) + x(8) + x(5) + x(2) - ~r_20 = 2 forced_secoundary_249_83: + x(249) + x(248) + x(247) - ~r_21 = 2 forced_secoundary_249_104: + x(303) + x(300) + x(297) + x(294) + x(291) + x(288) + x(285) + x(282) + x(279) + x(276) + x(273) + x(270) + x(267) + x(264) + x(261) + x(258) + x(255) + x(252) + x(249) + x(246) + x(243) + x(240) + x(237) + x(234) + x(231) + x(228) + x(225) + x(222) + x(219) + x(216) + x(213) + x(210) + x(207) + x(204) + x(201) + x(198) + x(195) + x(192) + x(189) + x(186) + x(183) + x(180) + x(177) + x(174) + x(171) + x(168) + x(165) + x(162) + x(159) + x(156) + x(153) + x(150) + x(147) + x(144) + x(141) + x(138) + x(135) + x(132) + x(129) + x(126) + x(123) + x(120) + x(117) + x(114) + x(111) + x(108) + x(105) + x(102) + x(99) + x(96) + x(93) + x(90) + x(87) + x(84) + x(81) + x(78) + x(75) + x(72) + x(69) + x(66) + x(63) + x(60) + x(57) + x(54) + x(51) + x(48) + x(45) + x(42) + x(39) + x(36) + x(33) + x(30) + x(27) + x(24) + x(21) + x(18) + x(15) + x(12) + x(9) + x(6) + x(3) - ~r_22 = 2 forced_secoundary_270_90: + x(270) + x(269) + x(268) - ~r_23 = 2 forced_secoundary_270_104: + x(303) + x(300) + x(297) + x(294) + x(291) + x(288) + x(285) + x(282) + x(279) + x(276) + x(273) + x(270) + x(267) + x(264) + x(261) + x(258) + x(255) + x(252) + x(249) + x(246) + x(243) + x(240) + x(237) + x(234) + x(231) + x(228) + x(225) + x(222) + x(219) + x(216) + x(213) + x(210) + x(207) + x(204) + x(201) + x(198) + x(195) + x(192) + x(189) + x(186) + x(183) + x(180) + x(177) + x(174) + x(171) + x(168) + x(165) + x(162) + x(159) + x(156) + x(153) + x(150) + x(147) + x(144) + x(141) + x(138) + x(135) + x(132) + x(129) + x(126) + x(123) + x(120) + x(117) + x(114) + x(111) + x(108) + x(105) + x(102) + x(99) + x(96) + x(93) + x(90) + x(87) + x(84) + x(81) + x(78) + x(75) + x(72) + x(69) + x(66) + x(63) + x(60) + x(57) + x(54) + x(51) + x(48) + x(45) + x(42) + x(39) + x(36) + x(33) + x(30) + x(27) + x(24) + x(21) + x(18) + x(15) + x(12) + x(9) + x(6) + x(3) - ~r_24 = 2 Bounds 0 <= ~r_1 <= 1 0 <= ~r_2 <= 99 0 <= ~r_3 <= 1 0 <= ~r_4 <= 99 0 <= ~r_5 <= 1 0 <= ~r_6 <= 99 0 <= ~r_7 <= 1 0 <= ~r_8 <= 99 0 <= ~r_9 <= 1 0 <= ~r_10 <= 99 0 <= ~r_11 <= 1 0 <= ~r_12 <= 99 0 <= ~r_13 <= 1 0 <= ~r_14 <= 99 0 <= ~r_15 <= 1 0 <= ~r_16 <= 99 0 <= ~r_17 <= 1 0 <= ~r_18 <= 99 0 <= ~r_19 <= 1 0 <= ~r_20 <= 99 0 <= ~r_21 <= 1 0 <= ~r_22 <= 99 0 <= ~r_23 <= 1 0 <= ~r_24 <= 99 0 <= x(1) <= 1 0 <= x(2) <= 1 0 <= x(3) <= 1 0 <= x(4) <= 1 0 <= x(5) <= 1 0 <= x(6) <= 1 0 <= x(7) <= 1 0 <= x(8) <= 1 0 <= x(9) <= 1 0 <= x(10) <= 1 0 <= x(11) <= 1 x(12) = 1 0 <= x(13) <= 1 0 <= x(14) <= 1 0 <= x(15) <= 1 0 <= x(16) <= 1 0 <= x(17) <= 1 0 <= x(18) <= 1 0 <= x(19) <= 1 0 <= x(20) <= 1 0 <= x(21) <= 1 0 <= x(22) <= 1 0 <= x(23) <= 1 0 <= x(24) <= 1 0 <= x(25) <= 1 0 <= x(26) <= 1 x(27) = 1 0 <= x(28) <= 1 0 <= x(29) <= 1 x(30) = 1 0 <= x(31) <= 1 0 <= x(32) <= 1 0 <= x(33) <= 1 0 <= x(34) <= 1 0 <= x(35) <= 1 0 <= x(36) <= 1 0 <= x(37) <= 1 0 <= x(38) <= 1 0 <= x(39) <= 1 0 <= x(40) <= 1 0 <= x(41) <= 1 0 <= x(42) <= 1 0 <= x(43) <= 1 0 <= x(44) <= 1 0 <= x(45) <= 1 0 <= x(46) <= 1 0 <= x(47) <= 1 0 <= x(48) <= 1 0 <= x(49) <= 1 0 <= x(50) <= 1 0 <= x(51) <= 1 0 <= x(52) <= 1 0 <= x(53) <= 1 0 <= x(54) <= 1 0 <= x(55) <= 1 0 <= x(56) <= 1 0 <= x(57) <= 1 0 <= x(58) <= 1 0 <= x(59) <= 1 0 <= x(60) <= 1 0 <= x(61) <= 1 0 <= x(62) <= 1 0 <= x(63) <= 1 0 <= x(64) <= 1 0 <= x(65) <= 1 0 <= x(66) <= 1 0 <= x(67) <= 1 0 <= x(68) <= 1 0 <= x(69) <= 1 0 <= x(70) <= 1 0 <= x(71) <= 1 0 <= x(72) <= 1 0 <= x(73) <= 1 0 <= x(74) <= 1 0 <= x(75) <= 1 0 <= x(76) <= 1 0 <= x(77) <= 1 0 <= x(78) <= 1 0 <= x(79) <= 1 0 <= x(80) <= 1 0 <= x(81) <= 1 0 <= x(82) <= 1 0 <= x(83) <= 1 0 <= x(84) <= 1 0 <= x(85) <= 1 0 <= x(86) <= 1 0 <= x(87) <= 1 0 <= x(88) <= 1 0 <= x(89) <= 1 0 <= x(90) <= 1 0 <= x(91) <= 1 0 <= x(92) <= 1 0 <= x(93) <= 1 0 <= x(94) <= 1 0 <= x(95) <= 1 0 <= x(96) <= 1 0 <= x(97) <= 1 0 <= x(98) <= 1 0 <= x(99) <= 1 0 <= x(100) <= 1 0 <= x(101) <= 1 0 <= x(102) <= 1 0 <= x(103) <= 1 0 <= x(104) <= 1 0 <= x(105) <= 1 0 <= x(106) <= 1 0 <= x(107) <= 1 0 <= x(108) <= 1 0 <= x(109) <= 1 0 <= x(110) <= 1 0 <= x(111) <= 1 0 <= x(112) <= 1 0 <= x(113) <= 1 0 <= x(114) <= 1 0 <= x(115) <= 1 0 <= x(116) <= 1 0 <= x(117) <= 1 0 <= x(118) <= 1 0 <= x(119) <= 1 0 <= x(120) <= 1 0 <= x(121) <= 1 0 <= x(122) <= 1 0 <= x(123) <= 1 0 <= x(124) <= 1 0 <= x(125) <= 1 x(126) = 1 0 <= x(127) <= 1 0 <= x(128) <= 1 0 <= x(129) <= 1 0 <= x(130) <= 1 0 <= x(131) <= 1 0 <= x(132) <= 1 x(133) = 1 0 <= x(134) <= 1 x(135) = 1 0 <= x(136) <= 1 0 <= x(137) <= 1 0 <= x(138) <= 1 0 <= x(139) <= 1 0 <= x(140) <= 1 0 <= x(141) <= 1 0 <= x(142) <= 1 0 <= x(143) <= 1 0 <= x(144) <= 1 0 <= x(145) <= 1 0 <= x(146) <= 1 0 <= x(147) <= 1 0 <= x(148) <= 1 0 <= x(149) <= 1 0 <= x(150) <= 1 0 <= x(151) <= 1 0 <= x(152) <= 1 0 <= x(153) <= 1 0 <= x(154) <= 1 0 <= x(155) <= 1 x(156) = 1 0 <= x(157) <= 1 0 <= x(158) <= 1 0 <= x(159) <= 1 0 <= x(160) <= 1 0 <= x(161) <= 1 0 <= x(162) <= 1 0 <= x(163) <= 1 0 <= x(164) <= 1 0 <= x(165) <= 1 0 <= x(166) <= 1 0 <= x(167) <= 1 0 <= x(168) <= 1 0 <= x(169) <= 1 0 <= x(170) <= 1 0 <= x(171) <= 1 0 <= x(172) <= 1 0 <= x(173) <= 1 0 <= x(174) <= 1 0 <= x(175) <= 1 0 <= x(176) <= 1 0 <= x(177) <= 1 0 <= x(178) <= 1 0 <= x(179) <= 1 0 <= x(180) <= 1 0 <= x(181) <= 1 0 <= x(182) <= 1 0 <= x(183) <= 1 0 <= x(184) <= 1 0 <= x(185) <= 1 0 <= x(186) <= 1 0 <= x(187) <= 1 0 <= x(188) <= 1 0 <= x(189) <= 1 0 <= x(190) <= 1 0 <= x(191) <= 1 x(192) = 1 0 <= x(193) <= 1 0 <= x(194) <= 1 0 <= x(195) <= 1 0 <= x(196) <= 1 0 <= x(197) <= 1 0 <= x(198) <= 1 0 <= x(199) <= 1 0 <= x(200) <= 1 0 <= x(201) <= 1 0 <= x(202) <= 1 0 <= x(203) <= 1 0 <= x(204) <= 1 0 <= x(205) <= 1 0 <= x(206) <= 1 x(207) = 1 0 <= x(208) <= 1 0 <= x(209) <= 1 0 <= x(210) <= 1 0 <= x(211) <= 1 x(212) = 1 0 <= x(213) <= 1 0 <= x(214) <= 1 0 <= x(215) <= 1 0 <= x(216) <= 1 0 <= x(217) <= 1 0 <= x(218) <= 1 0 <= x(219) <= 1 0 <= x(220) <= 1 0 <= x(221) <= 1 0 <= x(222) <= 1 0 <= x(223) <= 1 0 <= x(224) <= 1 0 <= x(225) <= 1 0 <= x(226) <= 1 0 <= x(227) <= 1 0 <= x(228) <= 1 0 <= x(229) <= 1 0 <= x(230) <= 1 0 <= x(231) <= 1 0 <= x(232) <= 1 0 <= x(233) <= 1 0 <= x(234) <= 1 0 <= x(235) <= 1 0 <= x(236) <= 1 0 <= x(237) <= 1 0 <= x(238) <= 1 0 <= x(239) <= 1 0 <= x(240) <= 1 0 <= x(241) <= 1 0 <= x(242) <= 1 0 <= x(243) <= 1 0 <= x(244) <= 1 0 <= x(245) <= 1 0 <= x(246) <= 1 0 <= x(247) <= 1 0 <= x(248) <= 1 x(249) = 1 0 <= x(250) <= 1 0 <= x(251) <= 1 0 <= x(252) <= 1 0 <= x(253) <= 1 0 <= x(254) <= 1 0 <= x(255) <= 1 0 <= x(256) <= 1 0 <= x(257) <= 1 0 <= x(258) <= 1 0 <= x(259) <= 1 0 <= x(260) <= 1 0 <= x(261) <= 1 0 <= x(262) <= 1 0 <= x(263) <= 1 0 <= x(264) <= 1 0 <= x(265) <= 1 0 <= x(266) <= 1 0 <= x(267) <= 1 0 <= x(268) <= 1 0 <= x(269) <= 1 x(270) = 1 0 <= x(271) <= 1 0 <= x(272) <= 1 0 <= x(273) <= 1 0 <= x(274) <= 1 0 <= x(275) <= 1 0 <= x(276) <= 1 0 <= x(277) <= 1 0 <= x(278) <= 1 0 <= x(279) <= 1 0 <= x(280) <= 1 0 <= x(281) <= 1 0 <= x(282) <= 1 0 <= x(283) <= 1 0 <= x(284) <= 1 0 <= x(285) <= 1 0 <= x(286) <= 1 0 <= x(287) <= 1 0 <= x(288) <= 1 0 <= x(289) <= 1 0 <= x(290) <= 1 0 <= x(291) <= 1 0 <= x(292) <= 1 0 <= x(293) <= 1 0 <= x(294) <= 1 0 <= x(295) <= 1 0 <= x(296) <= 1 0 <= x(297) <= 1 0 <= x(298) <= 1 0 <= x(299) <= 1 0 <= x(300) <= 1 0 <= x(301) <= 1 0 <= x(302) <= 1 0 <= x(303) <= 1 Generals x(1) x(2) x(3) x(4) x(5) x(6) x(7) x(8) x(9) x(10) x(11) x(12) x(13) x(14) x(15) x(16) x(17) x(18) x(19) x(20) x(21) x(22) x(23) x(24) x(25) x(26) x(27) x(28) x(29) x(30) x(31) x(32) x(33) x(34) x(35) x(36) x(37) x(38) x(39) x(40) x(41) x(42) x(43) x(44) x(45) x(46) x(47) x(48) x(49) x(50) x(51) x(52) x(53) x(54) x(55) x(56) x(57) x(58) x(59) x(60) x(61) x(62) x(63) x(64) x(65) x(66) x(67) x(68) x(69) x(70) x(71) x(72) x(73) x(74) x(75) x(76) x(77) x(78) x(79) x(80) x(81) x(82) x(83) x(84) x(85) x(86) x(87) x(88) x(89) x(90) x(91) x(92) x(93) x(94) x(95) x(96) x(97) x(98) x(99) x(100) x(101) x(102) x(103) x(104) x(105) x(106) x(107) x(108) x(109) x(110) x(111) x(112) x(113) x(114) x(115) x(116) x(117) x(118) x(119) x(120) x(121) x(122) x(123) x(124) x(125) x(126) x(127) x(128) x(129) x(130) x(131) x(132) x(133) x(134) x(135) x(136) x(137) x(138) x(139) x(140) x(141) x(142) x(143) x(144) x(145) x(146) x(147) x(148) x(149) x(150) x(151) x(152) x(153) x(154) x(155) x(156) x(157) x(158) x(159) x(160) x(161) x(162) x(163) x(164) x(165) x(166) x(167) x(168) x(169) x(170) x(171) x(172) x(173) x(174) x(175) x(176) x(177) x(178) x(179) x(180) x(181) x(182) x(183) x(184) x(185) x(186) x(187) x(188) x(189) x(190) x(191) x(192) x(193) x(194) x(195) x(196) x(197) x(198) x(199) x(200) x(201) x(202) x(203) x(204) x(205) x(206) x(207) x(208) x(209) x(210) x(211) x(212) x(213) x(214) x(215) x(216) x(217) x(218) x(219) x(220) x(221) x(222) x(223) x(224) x(225) x(226) x(227) x(228) x(229) x(230) x(231) x(232) x(233) x(234) x(235) x(236) x(237) x(238) x(239) x(240) x(241) x(242) x(243) x(244) x(245) x(246) x(247) x(248) x(249) x(250) x(251) x(252) x(253) x(254) x(255) x(256) x(257) x(258) x(259) x(260) x(261) x(262) x(263) x(264) x(265) x(266) x(267) x(268) x(269) x(270) x(271) x(272) x(273) x(274) x(275) x(276) x(277) x(278) x(279) x(280) x(281) x(282) x(283) x(284) x(285) x(286) x(287) x(288) x(289) x(290) x(291) x(292) x(293) x(294) x(295) x(296) x(297) x(298) x(299) x(300) x(301) x(302) x(303) End Thank you in advance. _______________________________________________ Bug-glpk mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-glpk _______________________________________________ Bug-glpk mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-glpk
