\ Equation counts \ Total E G L N X C B \ 525 25 0 500 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 510 500 10 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1760 1010 750 0 \ Minimize obj: 0 x1 + 0 x2 + 0 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + 0 x8 + 0 x9 + 0 x10 + 0 x11 + 0 x12 + 0 x13 + 0 x14 + 0 x15 + 0 x16 + 0 x17 + 0 x18 + 0 x19 + 0 x20 + 0 x21 + 0 x22 + 0 x23 + 0 x24 + 0 x25 + 0 x26 + 0 x27 + 0 x28 + 0 x29 + 0 x30 + 0 x31 + 0 x32 + 0 x33 + 0 x34 + 0 x35 + 0 x36 + 0 x37 + 0 x38 + 0 x39 + 0 x40 + 0 x41 + 0 x42 + 0 x43 + 0 x44 + 0 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 0 x52 + 0 x53 + 0 x54 + 0 x55 + 0 x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 + 0 x72 + 0 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 0 x78 + 0 x79 + 0 x80 + 0 x81 + 0 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 0 x87 + 0 x88 + 0 x89 + 0 x90 + 0 x91 + 0 x92 + 0 x93 + 0 x94 + 0 x95 + 0 x96 + 0 x97 + 0 x98 + 0 x99 + 0 x100 + 0 x101 + 0 x102 + 0 x103 + 0 x104 + 0 x105 + 0 x106 + 0 x107 + 0 x108 + 0 x109 + 0 x110 + 0 x111 + 0 x112 + 0 x113 + 0 x114 + 0 x115 + 0 x116 + 0 x117 + 0 x118 + 0 x119 + 0 x120 + 0 x121 + 0 x122 + 0 x123 + 0 x124 + 0 x125 + 0 x126 + 0 x127 + 0 x128 + 0 x129 + 0 x130 + 0 x131 + 0 x132 + 0 x133 + 0 x134 + 0 x135 + 0 x136 + 0 x137 + 0 x138 + 0 x139 + 0 x140 + 0 x141 + 0 x142 + 0 x143 + 0 x144 + 0 x145 + 0 x146 + 0 x147 + 0 x148 + 0 x149 + 0 x150 + 0 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + 0 x157 + 0 x158 + 0 x159 + 0 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + 0 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 + 0 x186 + 0 x187 + 0 x188 + 0 x189 + 0 x190 + 0 x191 + 0 x192 + 0 x193 + 0 x194 + 0 x195 + 0 x196 + 0 x197 + 0 x198 + 0 x199 + 0 x200 + 0 x201 + 0 x202 + 0 x203 + 0 x204 + 0 x205 + 0 x206 + 0 x207 + 0 x208 + 0 x209 + 0 x210 + 0 x211 + 0 x212 + 0 x213 + 0 x214 + 0 x215 + 0 x216 + 0 x217 + 0 x218 + 0 x219 + 0 x220 + 0 x221 + 0 x222 + 0 x223 + 0 x224 + 0 x225 + 0 x226 + 0 x227 + 0 x228 + 0 x229 + 0 x230 + 0 x231 + 0 x232 + 0 x233 + 0 x234 + 0 x235 + 0 x236 + 0 x237 + 0 x238 + 0 x239 + 0 x240 + 0 x241 + 0 x242 + 0 x243 + 0 x244 + 0 x245 + 0 x246 + 0 x247 + 0 x248 + 0 x249 + 0 x250 + 31 b251 + 99 b252 + 59 b253 + 85 b254 + 31 b255 + 18 b256 + 55 b257 + 56 b258 + 2 b259 + 42 b260 + 23.5458254446414 x261 + 18.979955090698 x262 + 40.4475389896435 x263 + 32.3871907368369 x264 + 5.87832983721956 x265 + 27.7861809155978 x266 + 29.0093260544642 x267 + 27.8172341004716 x268 + 23.8990137163284 x269 + 31.1572073885704 x270 + 13.2824851151917 x271 + 33.2405661163705 x272 + 11.9226979325457 x273 + 20.4359563497062 x274 + 24.448648939004 x275 + 18.4191355125177 x276 + 39.1206587833304 x277 + 10.0203431071565 x278 + 19.3631588126017 x279 + 23.3360726377184 x280 + 28.9471017656799 x281 + 11.4841952994712 x282 + 6.08794717116601 x283 + 23.4037893982626 x284 + 23.6180996877181 x285 + 30.4354193350913 x286 + 40.4712603455849 x287 + 36.2213094971555 x288 + 5.60976290451329 x289 + 23.1725988276517 x290 + 20.1796238073169 x291 + 4.57861955410779 x292 + 30.5653982993017 x293 + 50.4967526356669 x294 + 8.28478358470783 x295 + 25.018545195819 x296 + 12.6329611025149 x297 + 27.6454711698144 x298 + 33.9905967791569 x299 + 6.07228540920208 x300 + 37.4354673126797 x301 + 37.4709444132233 x302 + 35.7354026371941 x303 + 22.4419684331029 x304 + 32.5374941409 x305 + 15.9337490518623 x306 + 39.6539821536571 x307 + 34.007214287844 x308 + 31.9891521836171 x309 + 11.3076337580825 x310 + 48.8107919790236 x311 + 16.5702835116504 x312 + 17.1831503223043 x313 + 35.1142641830025 x314 + 29.1350141677348 x315 + 47.6949431536515 x316 + 32.149139849139 x317 + 52.2374267154665 x318 + 29.9609434870647 x319 + 42.6183607184712 x320 + 38.2238650857062 x321 + 29.3601737959953 x322 + 15.0635022726005 x323 + 47.0245320338646 x324 + 29.0759225713501 x325 + 13.0424768501865 x326 + 14.4753873350758 x327 + 22.3704949637257 x328 + 42.3038766759241 x329 + 49.2326533720743 x330 + 46.1780910030554 x331 + 29.881771182396 x332 + 30.5553734434501 x333 + 3.7922842075966 x334 + 39.37658717414 x335 + 38.4041161777079 x336 + 25.9812660558023 x337 + 20.5750893036448 x338 + 18.2591550063973 x339 + 21.315708405139 x340 + 33.6312833302058 x341 + 15.2250454251428 x342 + 40.6998421656809 x343 + 38.4406211511874 x344 + 26.1744753218587 x345 + 28.8520619191213 x346 + 13.6877901486106 x347 + 14.6611183170587 x348 + 38.8217787386064 x349 + 12.3633235324976 x350 + 22.2787064512218 x351 + 20.7514901250986 x352 + 25.2034704837712 x353 + 30.6376270730567 x354 + 39.5843101734575 x355 + 31.1038558069605 x356 + 31.6979288753493 x357 + 28.645307801904 x358 + 14.1025463900177 x359 + 24.4462384012991 x360 + 23.9588130600444 x361 + 37.2092218308638 x362 + 38.9284967423033 x363 + 12.2912287240524 x364 + 17.3040001983168 x365 + 15.1907239390981 x366 + 10.214640056875 x367 + 24.5444413988224 x368 + 45.991792998601 x369 + 8.80808064222724 x370 + 18.2698135895014 x371 + 18.0129352025772 x372 + 24.5906708393765 x373 + 27.2479130814562 x374 + 8.14284930897828 x375 + 34.6101764845155 x376 + 39.6172338889732 x377 + 31.2334618018089 x378 + 15.8448912894477 x379 + 25.9622870070524 x380 + 12.0380295338836 x381 + 34.2734923291195 x382 + 28.2417522551125 x383 + 31.2100255255497 x384 + 5.69874151661421 x385 + 20.1924959476585 x386 + 25.1047390556883 x387 + 50.8540191789234 x388 + 40.7654848119428 x389 + 13.1660129719096 x390 + 29.3477563113135 x391 + 37.623504079514 x392 + 25.0512445521536 x393 + 24.194699080593 x394 + 36.8817798615649 x395 + 13.4670522383906 x396 + 42.8355399696766 x397 + 21.9449104264389 x398 + 14.6179503747045 x399 + 33.2656663596617 x400 + 25.9752193871067 x401 + 49.3747299640844 x402 + 15.5177231557714 x403 + 19.9897426371933 x404 + 18.8657675463725 x405 + 32.1150351106216 x406 + 10.6354802846521 x407 + 6.03289686797428 x408 + 33.2130951842154 x409 + 28.5459989363559 x410 + 27.1814982971647 x411 + 17.4732774311302 x412 + 45.7430205440514 x413 + 41.078689482825 x414 + 14.0894075046248 x415 + 34.4518041752158 x416 + 37.6827979486941 x417 + 31.9402692210917 x418 + 17.176342113498 x419 + 39.5175600805753 x420 + 18.6428109082815 x421 + 41.5887207579041 x422 + 16.8382070886681 x423 + 22.1667280473665 x424 + 33.1071436309494 x425 + 18.7491083157469 x426 + 43.8897007571818 x427 + 8.18685938107562 x428 + 25.3225669621538 x429 + 26.1676213722903 x430 + 36.3794013637756 x431 + 3.36357996902708 x432 + 3.41423836465036 x433 + 27.3030303493034 x434 + 31.6570416640525 x435 + 29.2490776122094 x436 + 47.155909768506 x437 + 43.747688859322 x438 + 10.7493671026891 x439 + 27.3502033243542 x440 + 16.7299902035031 x441 + 11.8402360490836 x442 + 28.1306173784301 x443 + 56.2444171745252 x444 + 2.57815337422008 x445 + 26.6018920054246 x446 + 19.1214185252706 x447 + 34.3953781800726 x448 + 34.0930847416161 x449 + 13.8204269927978 x450 + 44.358450354143 x451 + 45.1466792975147 x452 + 41.4784118603196 x453 + 22.1771123969423 x454 + 31.6502071872129 x455 + 11.7484412314793 x456 + 44.4308470618447 x457 + 38.2511037822993 x458 + 39.6390015319532 x459 + 10.8473239818109 x460 + 32.7864705333551 x461 + 10.2391421240902 x462 + 39.5607896432743 x463 + 39.8410872942397 x464 + 15.9484846229643 x465 + 37.9732738105522 x466 + 36.3288913334737 x467 + 37.3308942844016 x468 + 14.138807380771 x469 + 40.5225760141947 x470 + 23.0942213546361 x471 + 38.8745557957034 x472 + 11.721117960742 x473 + 28.5280949777182 x474 + 31.7525052480902 x475 + 11.4257984420683 x476 + 37.4452338564339 x477 + 1.12488644365266 x478 + 29.4353246473701 x479 + 32.1453138866363 x480 + 39.0350080216973 x481 + 6.46693171499145 x482 + 9.11562848937319 x483 + 20.7606750347532 x484 + 33.4319480801873 x485 + 28.1441444643013 x486 + 34.4021397840332 x487 + 33.6749639035632 x488 + 10.1168794661545 x489 + 17.6213921739784 x490 + 20.3933915426277 x491 + 6.98038357032972 x492 + 29.2368220177179 x493 + 44.3389168003468 x494 + 12.4614270571251 x495 + 20.9897984897617 x496 + 13.7049805915567 x497 + 21.5807687963342 x498 + 30.6259335202425 x499 + 3.25199498753833 x500 + 31.4568158826796 x501 + 34.4026496483618 x502 + 29.5859985016407 x503 + 19.9367729999238 x504 + 29.9359444021784 x505 + 17.2658241038544 x506 + 33.6872082476686 x507 + 28.2574825233421 x508 + 26.807114591537 x509 + 10.9132753163671 x510 Subject To e2: x1 - b251 <= 0 e3: x2 - b251 <= 0 e4: x3 - b251 <= 0 e5: x4 - b251 <= 0 e6: x5 - b251 <= 0 e7: x6 - b251 <= 0 e8: x7 - b251 <= 0 e9: x8 - b251 <= 0 e10: x9 - b251 <= 0 e11: x10 - b251 <= 0 e12: x11 - b251 <= 0 e13: x12 - b251 <= 0 e14: x13 - b251 <= 0 e15: x14 - b251 <= 0 e16: x15 - b251 <= 0 e17: x16 - b251 <= 0 e18: x17 - b251 <= 0 e19: x18 - b251 <= 0 e20: x19 - b251 <= 0 e21: x20 - b251 <= 0 e22: x21 - b251 <= 0 e23: x22 - b251 <= 0 e24: x23 - b251 <= 0 e25: x24 - b251 <= 0 e26: x25 - b251 <= 0 e27: x26 - b252 <= 0 e28: x27 - b252 <= 0 e29: x28 - b252 <= 0 e30: x29 - b252 <= 0 e31: x30 - b252 <= 0 e32: x31 - b252 <= 0 e33: x32 - b252 <= 0 e34: x33 - b252 <= 0 e35: x34 - b252 <= 0 e36: x35 - b252 <= 0 e37: x36 - b252 <= 0 e38: x37 - b252 <= 0 e39: x38 - b252 <= 0 e40: x39 - b252 <= 0 e41: x40 - b252 <= 0 e42: x41 - b252 <= 0 e43: x42 - b252 <= 0 e44: x43 - b252 <= 0 e45: x44 - b252 <= 0 e46: x45 - b252 <= 0 e47: x46 - b252 <= 0 e48: x47 - b252 <= 0 e49: x48 - b252 <= 0 e50: x49 - b252 <= 0 e51: x50 - b252 <= 0 e52: x51 - b253 <= 0 e53: x52 - b253 <= 0 e54: x53 - b253 <= 0 e55: x54 - b253 <= 0 e56: x55 - b253 <= 0 e57: x56 - b253 <= 0 e58: x57 - b253 <= 0 e59: x58 - b253 <= 0 e60: x59 - b253 <= 0 e61: x60 - b253 <= 0 e62: x61 - b253 <= 0 e63: x62 - b253 <= 0 e64: x63 - b253 <= 0 e65: x64 - b253 <= 0 e66: x65 - b253 <= 0 e67: x66 - b253 <= 0 e68: x67 - b253 <= 0 e69: x68 - b253 <= 0 e70: x69 - b253 <= 0 e71: x70 - b253 <= 0 e72: x71 - b253 <= 0 e73: x72 - b253 <= 0 e74: x73 - b253 <= 0 e75: x74 - b253 <= 0 e76: x75 - b253 <= 0 e77: x76 - b254 <= 0 e78: x77 - b254 <= 0 e79: x78 - b254 <= 0 e80: x79 - b254 <= 0 e81: x80 - b254 <= 0 e82: x81 - b254 <= 0 e83: x82 - b254 <= 0 e84: x83 - b254 <= 0 e85: x84 - b254 <= 0 e86: x85 - b254 <= 0 e87: x86 - b254 <= 0 e88: x87 - b254 <= 0 e89: x88 - b254 <= 0 e90: x89 - b254 <= 0 e91: x90 - b254 <= 0 e92: x91 - b254 <= 0 e93: x92 - b254 <= 0 e94: x93 - b254 <= 0 e95: x94 - b254 <= 0 e96: x95 - b254 <= 0 e97: x96 - b254 <= 0 e98: x97 - b254 <= 0 e99: x98 - b254 <= 0 e100: x99 - b254 <= 0 e101: x100 - b254 <= 0 e102: x101 - b255 <= 0 e103: x102 - b255 <= 0 e104: x103 - b255 <= 0 e105: x104 - b255 <= 0 e106: x105 - b255 <= 0 e107: x106 - b255 <= 0 e108: x107 - b255 <= 0 e109: x108 - b255 <= 0 e110: x109 - b255 <= 0 e111: x110 - b255 <= 0 e112: x111 - b255 <= 0 e113: x112 - b255 <= 0 e114: x113 - b255 <= 0 e115: x114 - b255 <= 0 e116: x115 - b255 <= 0 e117: x116 - b255 <= 0 e118: x117 - b255 <= 0 e119: x118 - b255 <= 0 e120: x119 - b255 <= 0 e121: x120 - b255 <= 0 e122: x121 - b255 <= 0 e123: x122 - b255 <= 0 e124: x123 - b255 <= 0 e125: x124 - b255 <= 0 e126: x125 - b255 <= 0 e127: x126 - b256 <= 0 e128: x127 - b256 <= 0 e129: x128 - b256 <= 0 e130: x129 - b256 <= 0 e131: x130 - b256 <= 0 e132: x131 - b256 <= 0 e133: x132 - b256 <= 0 e134: x133 - b256 <= 0 e135: x134 - b256 <= 0 e136: x135 - b256 <= 0 e137: x136 - b256 <= 0 e138: x137 - b256 <= 0 e139: x138 - b256 <= 0 e140: x139 - b256 <= 0 e141: x140 - b256 <= 0 e142: x141 - b256 <= 0 e143: x142 - b256 <= 0 e144: x143 - b256 <= 0 e145: x144 - b256 <= 0 e146: x145 - b256 <= 0 e147: x146 - b256 <= 0 e148: x147 - b256 <= 0 e149: x148 - b256 <= 0 e150: x149 - b256 <= 0 e151: x150 - b256 <= 0 e152: x151 - b257 <= 0 e153: x152 - b257 <= 0 e154: x153 - b257 <= 0 e155: x154 - b257 <= 0 e156: x155 - b257 <= 0 e157: x156 - b257 <= 0 e158: x157 - b257 <= 0 e159: x158 - b257 <= 0 e160: x159 - b257 <= 0 e161: x160 - b257 <= 0 e162: x161 - b257 <= 0 e163: x162 - b257 <= 0 e164: x163 - b257 <= 0 e165: x164 - b257 <= 0 e166: x165 - b257 <= 0 e167: x166 - b257 <= 0 e168: x167 - b257 <= 0 e169: x168 - b257 <= 0 e170: x169 - b257 <= 0 e171: x170 - b257 <= 0 e172: x171 - b257 <= 0 e173: x172 - b257 <= 0 e174: x173 - b257 <= 0 e175: x174 - b257 <= 0 e176: x175 - b257 <= 0 e177: x176 - b258 <= 0 e178: x177 - b258 <= 0 e179: x178 - b258 <= 0 e180: x179 - b258 <= 0 e181: x180 - b258 <= 0 e182: x181 - b258 <= 0 e183: x182 - b258 <= 0 e184: x183 - b258 <= 0 e185: x184 - b258 <= 0 e186: x185 - b258 <= 0 e187: x186 - b258 <= 0 e188: x187 - b258 <= 0 e189: x188 - b258 <= 0 e190: x189 - b258 <= 0 e191: x190 - b258 <= 0 e192: x191 - b258 <= 0 e193: x192 - b258 <= 0 e194: x193 - b258 <= 0 e195: x194 - b258 <= 0 e196: x195 - b258 <= 0 e197: x196 - b258 <= 0 e198: x197 - b258 <= 0 e199: x198 - b258 <= 0 e200: x199 - b258 <= 0 e201: x200 - b258 <= 0 e202: x201 - b259 <= 0 e203: x202 - b259 <= 0 e204: x203 - b259 <= 0 e205: x204 - b259 <= 0 e206: x205 - b259 <= 0 e207: x206 - b259 <= 0 e208: x207 - b259 <= 0 e209: x208 - b259 <= 0 e210: x209 - b259 <= 0 e211: x210 - b259 <= 0 e212: x211 - b259 <= 0 e213: x212 - b259 <= 0 e214: x213 - b259 <= 0 e215: x214 - b259 <= 0 e216: x215 - b259 <= 0 e217: x216 - b259 <= 0 e218: x217 - b259 <= 0 e219: x218 - b259 <= 0 e220: x219 - b259 <= 0 e221: x220 - b259 <= 0 e222: x221 - b259 <= 0 e223: x222 - b259 <= 0 e224: x223 - b259 <= 0 e225: x224 - b259 <= 0 e226: x225 - b259 <= 0 e227: x226 - b260 <= 0 e228: x227 - b260 <= 0 e229: x228 - b260 <= 0 e230: x229 - b260 <= 0 e231: x230 - b260 <= 0 e232: x231 - b260 <= 0 e233: x232 - b260 <= 0 e234: x233 - b260 <= 0 e235: x234 - b260 <= 0 e236: x235 - b260 <= 0 e237: x236 - b260 <= 0 e238: x237 - b260 <= 0 e239: x238 - b260 <= 0 e240: x239 - b260 <= 0 e241: x240 - b260 <= 0 e242: x241 - b260 <= 0 e243: x242 - b260 <= 0 e244: x243 - b260 <= 0 e245: x244 - b260 <= 0 e246: x245 - b260 <= 0 e247: x246 - b260 <= 0 e248: x247 - b260 <= 0 e249: x248 - b260 <= 0 e250: x249 - b260 <= 0 e251: x250 - b260 <= 0 e252: x1 + x26 + x51 + x76 + x101 + x126 + x151 + x176 + x201 + x226 = 1 e253: x2 + x27 + x52 + x77 + x102 + x127 + x152 + x177 + x202 + x227 = 1 e254: x3 + x28 + x53 + x78 + x103 + x128 + x153 + x178 + x203 + x228 = 1 e255: x4 + x29 + x54 + x79 + x104 + x129 + x154 + x179 + x204 + x229 = 1 e256: x5 + x30 + x55 + x80 + x105 + x130 + x155 + x180 + x205 + x230 = 1 e257: x6 + x31 + x56 + x81 + x106 + x131 + x156 + x181 + x206 + x231 = 1 e258: x7 + x32 + x57 + x82 + x107 + x132 + x157 + x182 + x207 + x232 = 1 e259: x8 + x33 + x58 + x83 + x108 + x133 + x158 + x183 + x208 + x233 = 1 e260: x9 + x34 + x59 + x84 + x109 + x134 + x159 + x184 + x209 + x234 = 1 e261: x10 + x35 + x60 + x85 + x110 + x135 + x160 + x185 + x210 + x235 = 1 e262: x11 + x36 + x61 + x86 + x111 + x136 + x161 + x186 + x211 + x236 = 1 e263: x12 + x37 + x62 + x87 + x112 + x137 + x162 + x187 + x212 + x237 = 1 e264: x13 + x38 + x63 + x88 + x113 + x138 + x163 + x188 + x213 + x238 = 1 e265: x14 + x39 + x64 + x89 + x114 + x139 + x164 + x189 + x214 + x239 = 1 e266: x15 + x40 + x65 + x90 + x115 + x140 + x165 + x190 + x215 + x240 = 1 e267: x16 + x41 + x66 + x91 + x116 + x141 + x166 + x191 + x216 + x241 = 1 e268: x17 + x42 + x67 + x92 + x117 + x142 + x167 + x192 + x217 + x242 = 1 e269: x18 + x43 + x68 + x93 + x118 + x143 + x168 + x193 + x218 + x243 = 1 e270: x19 + x44 + x69 + x94 + x119 + x144 + x169 + x194 + x219 + x244 = 1 e271: x20 + x45 + x70 + x95 + x120 + x145 + x170 + x195 + x220 + x245 = 1 e272: x21 + x46 + x71 + x96 + x121 + x146 + x171 + x196 + x221 + x246 = 1 e273: x22 + x47 + x72 + x97 + x122 + x147 + x172 + x197 + x222 + x247 = 1 e274: x23 + x48 + x73 + x98 + x123 + x148 + x173 + x198 + x223 + x248 = 1 e275: x24 + x49 + x74 + x99 + x124 + x149 + x174 + x199 + x224 + x249 = 1 e276: x25 + x50 + x75 + x100 + x125 + x150 + x175 + x200 + x225 + x250 = 1 e277: [ x1^2 - b251 * x261 ] <= 0 e278: [ x2^2 - b251 * x262 ] <= 0 e279: [ x3^2 - b251 * x263 ] <= 0 e280: [ x4^2 - b251 * x264 ] <= 0 e281: [ x5^2 - b251 * x265 ] <= 0 e282: [ x6^2 - b251 * x266 ] <= 0 e283: [ x7^2 - b251 * x267 ] <= 0 e284: [ x8^2 - b251 * x268 ] <= 0 e285: [ x9^2 - b251 * x269 ] <= 0 e286: [ x10^2 - b251 * x270 ] <= 0 e287: [ x11^2 - b251 * x271 ] <= 0 e288: [ x12^2 - b251 * x272 ] <= 0 e289: [ x13^2 - b251 * x273 ] <= 0 e290: [ x14^2 - b251 * x274 ] <= 0 e291: [ x15^2 - b251 * x275 ] <= 0 e292: [ x16^2 - b251 * x276 ] <= 0 e293: [ x17^2 - b251 * x277 ] <= 0 e294: [ x18^2 - b251 * x278 ] <= 0 e295: [ x19^2 - b251 * x279 ] <= 0 e296: [ x20^2 - b251 * x280 ] <= 0 e297: [ x21^2 - b251 * x281 ] <= 0 e298: [ x22^2 - b251 * x282 ] <= 0 e299: [ x23^2 - b251 * x283 ] <= 0 e300: [ x24^2 - b251 * x284 ] <= 0 e301: [ x25^2 - b251 * x285 ] <= 0 e302: [ x26^2 - b252 * x286 ] <= 0 e303: [ x27^2 - b252 * x287 ] <= 0 e304: [ x28^2 - b252 * x288 ] <= 0 e305: [ x29^2 - b252 * x289 ] <= 0 e306: [ x30^2 - b252 * x290 ] <= 0 e307: [ x31^2 - b252 * x291 ] <= 0 e308: [ x32^2 - b252 * x292 ] <= 0 e309: [ x33^2 - b252 * x293 ] <= 0 e310: [ x34^2 - b252 * x294 ] <= 0 e311: [ x35^2 - b252 * x295 ] <= 0 e312: [ x36^2 - b252 * x296 ] <= 0 e313: [ x37^2 - b252 * x297 ] <= 0 e314: [ x38^2 - b252 * x298 ] <= 0 e315: [ x39^2 - b252 * x299 ] <= 0 e316: [ x40^2 - b252 * x300 ] <= 0 e317: [ x41^2 - b252 * x301 ] <= 0 e318: [ x42^2 - b252 * x302 ] <= 0 e319: [ x43^2 - b252 * x303 ] <= 0 e320: [ x44^2 - b252 * x304 ] <= 0 e321: [ x45^2 - b252 * x305 ] <= 0 e322: [ x46^2 - b252 * x306 ] <= 0 e323: [ x47^2 - b252 * x307 ] <= 0 e324: [ x48^2 - b252 * x308 ] <= 0 e325: [ x49^2 - b252 * x309 ] <= 0 e326: [ x50^2 - b252 * x310 ] <= 0 e327: [ x51^2 - b253 * x311 ] <= 0 e328: [ x52^2 - b253 * x312 ] <= 0 e329: [ x53^2 - b253 * x313 ] <= 0 e330: [ x54^2 - b253 * x314 ] <= 0 e331: [ x55^2 - b253 * x315 ] <= 0 e332: [ x56^2 - b253 * x316 ] <= 0 e333: [ x57^2 - b253 * x317 ] <= 0 e334: [ x58^2 - b253 * x318 ] <= 0 e335: [ x59^2 - b253 * x319 ] <= 0 e336: [ x60^2 - b253 * x320 ] <= 0 e337: [ x61^2 - b253 * x321 ] <= 0 e338: [ x62^2 - b253 * x322 ] <= 0 e339: [ x63^2 - b253 * x323 ] <= 0 e340: [ x64^2 - b253 * x324 ] <= 0 e341: [ x65^2 - b253 * x325 ] <= 0 e342: [ x66^2 - b253 * x326 ] <= 0 e343: [ x67^2 - b253 * x327 ] <= 0 e344: [ x68^2 - b253 * x328 ] <= 0 e345: [ x69^2 - b253 * x329 ] <= 0 e346: [ x70^2 - b253 * x330 ] <= 0 e347: [ x71^2 - b253 * x331 ] <= 0 e348: [ x72^2 - b253 * x332 ] <= 0 e349: [ x73^2 - b253 * x333 ] <= 0 e350: [ x74^2 - b253 * x334 ] <= 0 e351: [ x75^2 - b253 * x335 ] <= 0 e352: [ x76^2 - b254 * x336 ] <= 0 e353: [ x77^2 - b254 * x337 ] <= 0 e354: [ x78^2 - b254 * x338 ] <= 0 e355: [ x79^2 - b254 * x339 ] <= 0 e356: [ x80^2 - b254 * x340 ] <= 0 e357: [ x81^2 - b254 * x341 ] <= 0 e358: [ x82^2 - b254 * x342 ] <= 0 e359: [ x83^2 - b254 * x343 ] <= 0 e360: [ x84^2 - b254 * x344 ] <= 0 e361: [ x85^2 - b254 * x345 ] <= 0 e362: [ x86^2 - b254 * x346 ] <= 0 e363: [ x87^2 - b254 * x347 ] <= 0 e364: [ x88^2 - b254 * x348 ] <= 0 e365: [ x89^2 - b254 * x349 ] <= 0 e366: [ x90^2 - b254 * x350 ] <= 0 e367: [ x91^2 - b254 * x351 ] <= 0 e368: [ x92^2 - b254 * x352 ] <= 0 e369: [ x93^2 - b254 * x353 ] <= 0 e370: [ x94^2 - b254 * x354 ] <= 0 e371: [ x95^2 - b254 * x355 ] <= 0 e372: [ x96^2 - b254 * x356 ] <= 0 e373: [ x97^2 - b254 * x357 ] <= 0 e374: [ x98^2 - b254 * x358 ] <= 0 e375: [ x99^2 - b254 * x359 ] <= 0 e376: [ x100^2 - b254 * x360 ] <= 0 e377: [ x101^2 - b255 * x361 ] <= 0 e378: [ x102^2 - b255 * x362 ] <= 0 e379: [ x103^2 - b255 * x363 ] <= 0 e380: [ x104^2 - b255 * x364 ] <= 0 e381: [ x105^2 - b255 * x365 ] <= 0 e382: [ x106^2 - b255 * x366 ] <= 0 e383: [ x107^2 - b255 * x367 ] <= 0 e384: [ x108^2 - b255 * x368 ] <= 0 e385: [ x109^2 - b255 * x369 ] <= 0 e386: [ x110^2 - b255 * x370 ] <= 0 e387: [ x111^2 - b255 * x371 ] <= 0 e388: [ x112^2 - b255 * x372 ] <= 0 e389: [ x113^2 - b255 * x373 ] <= 0 e390: [ x114^2 - b255 * x374 ] <= 0 e391: [ x115^2 - b255 * x375 ] <= 0 e392: [ x116^2 - b255 * x376 ] <= 0 e393: [ x117^2 - b255 * x377 ] <= 0 e394: [ x118^2 - b255 * x378 ] <= 0 e395: [ x119^2 - b255 * x379 ] <= 0 e396: [ x120^2 - b255 * x380 ] <= 0 e397: [ x121^2 - b255 * x381 ] <= 0 e398: [ x122^2 - b255 * x382 ] <= 0 e399: [ x123^2 - b255 * x383 ] <= 0 e400: [ x124^2 - b255 * x384 ] <= 0 e401: [ x125^2 - b255 * x385 ] <= 0 e402: [ x126^2 - b256 * x386 ] <= 0 e403: [ x127^2 - b256 * x387 ] <= 0 e404: [ x128^2 - b256 * x388 ] <= 0 e405: [ x129^2 - b256 * x389 ] <= 0 e406: [ x130^2 - b256 * x390 ] <= 0 e407: [ x131^2 - b256 * x391 ] <= 0 e408: [ x132^2 - b256 * x392 ] <= 0 e409: [ x133^2 - b256 * x393 ] <= 0 e410: [ x134^2 - b256 * x394 ] <= 0 e411: [ x135^2 - b256 * x395 ] <= 0 e412: [ x136^2 - b256 * x396 ] <= 0 e413: [ x137^2 - b256 * x397 ] <= 0 e414: [ x138^2 - b256 * x398 ] <= 0 e415: [ x139^2 - b256 * x399 ] <= 0 e416: [ x140^2 - b256 * x400 ] <= 0 e417: [ x141^2 - b256 * x401 ] <= 0 e418: [ x142^2 - b256 * x402 ] <= 0 e419: [ x143^2 - b256 * x403 ] <= 0 e420: [ x144^2 - b256 * x404 ] <= 0 e421: [ x145^2 - b256 * x405 ] <= 0 e422: [ x146^2 - b256 * x406 ] <= 0 e423: [ x147^2 - b256 * x407 ] <= 0 e424: [ x148^2 - b256 * x408 ] <= 0 e425: [ x149^2 - b256 * x409 ] <= 0 e426: [ x150^2 - b256 * x410 ] <= 0 e427: [ x151^2 - b257 * x411 ] <= 0 e428: [ x152^2 - b257 * x412 ] <= 0 e429: [ x153^2 - b257 * x413 ] <= 0 e430: [ x154^2 - b257 * x414 ] <= 0 e431: [ x155^2 - b257 * x415 ] <= 0 e432: [ x156^2 - b257 * x416 ] <= 0 e433: [ x157^2 - b257 * x417 ] <= 0 e434: [ x158^2 - b257 * x418 ] <= 0 e435: [ x159^2 - b257 * x419 ] <= 0 e436: [ x160^2 - b257 * x420 ] <= 0 e437: [ x161^2 - b257 * x421 ] <= 0 e438: [ x162^2 - b257 * x422 ] <= 0 e439: [ x163^2 - b257 * x423 ] <= 0 e440: [ x164^2 - b257 * x424 ] <= 0 e441: [ x165^2 - b257 * x425 ] <= 0 e442: [ x166^2 - b257 * x426 ] <= 0 e443: [ x167^2 - b257 * x427 ] <= 0 e444: [ x168^2 - b257 * x428 ] <= 0 e445: [ x169^2 - b257 * x429 ] <= 0 e446: [ x170^2 - b257 * x430 ] <= 0 e447: [ x171^2 - b257 * x431 ] <= 0 e448: [ x172^2 - b257 * x432 ] <= 0 e449: [ x173^2 - b257 * x433 ] <= 0 e450: [ x174^2 - b257 * x434 ] <= 0 e451: [ x175^2 - b257 * x435 ] <= 0 e452: [ x176^2 - b258 * x436 ] <= 0 e453: [ x177^2 - b258 * x437 ] <= 0 e454: [ x178^2 - b258 * x438 ] <= 0 e455: [ x179^2 - b258 * x439 ] <= 0 e456: [ x180^2 - b258 * x440 ] <= 0 e457: [ x181^2 - b258 * x441 ] <= 0 e458: [ x182^2 - b258 * x442 ] <= 0 e459: [ x183^2 - b258 * x443 ] <= 0 e460: [ x184^2 - b258 * x444 ] <= 0 e461: [ x185^2 - b258 * x445 ] <= 0 e462: [ x186^2 - b258 * x446 ] <= 0 e463: [ x187^2 - b258 * x447 ] <= 0 e464: [ x188^2 - b258 * x448 ] <= 0 e465: [ x189^2 - b258 * x449 ] <= 0 e466: [ x190^2 - b258 * x450 ] <= 0 e467: [ x191^2 - b258 * x451 ] <= 0 e468: [ x192^2 - b258 * x452 ] <= 0 e469: [ x193^2 - b258 * x453 ] <= 0 e470: [ x194^2 - b258 * x454 ] <= 0 e471: [ x195^2 - b258 * x455 ] <= 0 e472: [ x196^2 - b258 * x456 ] <= 0 e473: [ x197^2 - b258 * x457 ] <= 0 e474: [ x198^2 - b258 * x458 ] <= 0 e475: [ x199^2 - b258 * x459 ] <= 0 e476: [ x200^2 - b258 * x460 ] <= 0 e477: [ x201^2 - b259 * x461 ] <= 0 e478: [ x202^2 - b259 * x462 ] <= 0 e479: [ x203^2 - b259 * x463 ] <= 0 e480: [ x204^2 - b259 * x464 ] <= 0 e481: [ x205^2 - b259 * x465 ] <= 0 e482: [ x206^2 - b259 * x466 ] <= 0 e483: [ x207^2 - b259 * x467 ] <= 0 e484: [ x208^2 - b259 * x468 ] <= 0 e485: [ x209^2 - b259 * x469 ] <= 0 e486: [ x210^2 - b259 * x470 ] <= 0 e487: [ x211^2 - b259 * x471 ] <= 0 e488: [ x212^2 - b259 * x472 ] <= 0 e489: [ x213^2 - b259 * x473 ] <= 0 e490: [ x214^2 - b259 * x474 ] <= 0 e491: [ x215^2 - b259 * x475 ] <= 0 e492: [ x216^2 - b259 * x476 ] <= 0 e493: [ x217^2 - b259 * x477 ] <= 0 e494: [ x218^2 - b259 * x478 ] <= 0 e495: [ x219^2 - b259 * x479 ] <= 0 e496: [ x220^2 - b259 * x480 ] <= 0 e497: [ x221^2 - b259 * x481 ] <= 0 e498: [ x222^2 - b259 * x482 ] <= 0 e499: [ x223^2 - b259 * x483 ] <= 0 e500: [ x224^2 - b259 * x484 ] <= 0 e501: [ x225^2 - b259 * x485 ] <= 0 e502: [ x226^2 - b260 * x486 ] <= 0 e503: [ x227^2 - b260 * x487 ] <= 0 e504: [ x228^2 - b260 * x488 ] <= 0 e505: [ x229^2 - b260 * x489 ] <= 0 e506: [ x230^2 - b260 * x490 ] <= 0 e507: [ x231^2 - b260 * x491 ] <= 0 e508: [ x232^2 - b260 * x492 ] <= 0 e509: [ x233^2 - b260 * x493 ] <= 0 e510: [ x234^2 - b260 * x494 ] <= 0 e511: [ x235^2 - b260 * x495 ] <= 0 e512: [ x236^2 - b260 * x496 ] <= 0 e513: [ x237^2 - b260 * x497 ] <= 0 e514: [ x238^2 - b260 * x498 ] <= 0 e515: [ x239^2 - b260 * x499 ] <= 0 e516: [ x240^2 - b260 * x500 ] <= 0 e517: [ x241^2 - b260 * x501 ] <= 0 e518: [ x242^2 - b260 * x502 ] <= 0 e519: [ x243^2 - b260 * x503 ] <= 0 e520: [ x244^2 - b260 * x504 ] <= 0 e521: [ x245^2 - b260 * x505 ] <= 0 e522: [ x246^2 - b260 * x506 ] <= 0 e523: [ x247^2 - b260 * x507 ] <= 0 e524: [ x248^2 - b260 * x508 ] <= 0 e525: [ x249^2 - b260 * x509 ] <= 0 e526: [ x250^2 - b260 * x510 ] <= 0 Binary b251 b252 b253 b254 b255 b256 b257 b258 b259 b260 End