\ Equation counts \ Total E G L N X C B \ 440 40 0 400 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 410 400 10 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1610 1210 400 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 + 0 x251 + 0 x252 + 0 x253 + 0 x254 + 0 x255 + 0 x256 + 0 x257 + 0 x258 + 0 x259 + 0 x260 + 0 x261 + 0 x262 + 0 x263 + 0 x264 + 0 x265 + 0 x266 + 0 x267 + 0 x268 + 0 x269 + 0 x270 + 0 x271 + 0 x272 + 0 x273 + 0 x274 + 0 x275 + 0 x276 + 0 x277 + 0 x278 + 0 x279 + 0 x280 + 0 x281 + 0 x282 + 0 x283 + 0 x284 + 0 x285 + 0 x286 + 0 x287 + 0 x288 + 0 x289 + 0 x290 + 0 x291 + 0 x292 + 0 x293 + 0 x294 + 0 x295 + 0 x296 + 0 x297 + 0 x298 + 0 x299 + 0 x300 + 0 x301 + 0 x302 + 0 x303 + 0 x304 + 0 x305 + 0 x306 + 0 x307 + 0 x308 + 0 x309 + 0 x310 + 0 x311 + 0 x312 + 0 x313 + 0 x314 + 0 x315 + 0 x316 + 0 x317 + 0 x318 + 0 x319 + 0 x320 + 0 x321 + 0 x322 + 0 x323 + 0 x324 + 0 x325 + 0 x326 + 0 x327 + 0 x328 + 0 x329 + 0 x330 + 0 x331 + 0 x332 + 0 x333 + 0 x334 + 0 x335 + 0 x336 + 0 x337 + 0 x338 + 0 x339 + 0 x340 + 0 x341 + 0 x342 + 0 x343 + 0 x344 + 0 x345 + 0 x346 + 0 x347 + 0 x348 + 0 x349 + 0 x350 + 0 x351 + 0 x352 + 0 x353 + 0 x354 + 0 x355 + 0 x356 + 0 x357 + 0 x358 + 0 x359 + 0 x360 + 0 x361 + 0 x362 + 0 x363 + 0 x364 + 0 x365 + 0 x366 + 0 x367 + 0 x368 + 0 x369 + 0 x370 + 0 x371 + 0 x372 + 0 x373 + 0 x374 + 0 x375 + 0 x376 + 0 x377 + 0 x378 + 0 x379 + 0 x380 + 0 x381 + 0 x382 + 0 x383 + 0 x384 + 0 x385 + 0 x386 + 0 x387 + 0 x388 + 0 x389 + 0 x390 + 0 x391 + 0 x392 + 0 x393 + 0 x394 + 0 x395 + 0 x396 + 0 x397 + 0 x398 + 0 x399 + 0 x400 + 62 b401 + 3 b402 + 68 b403 + 19 b404 + 9 b405 + 18 b406 + 48 b407 + 44 b408 + 96 b409 + 25 b410 + [ 45.2762431876778 x1^2 + 34.9533485858666 x2^2 + 50.8375845109886 x3^2 + 54.2071360216656 x4^2 + 47.053184096029 x5^2 + 30.1264124554046 x6^2 + 41.8843326397096 x7^2 + 53.7784113795492 x8^2 + 40.1834845751244 x9^2 + 44.1545695940822 x10^2 + 54.4777692281092 x11^2 + 19.8392741238001 x12^2 + 39.4356203449828 x13^2 + 49.6619014557746 x14^2 + 17.8005395713528 x15^2 + 33.2082253254926 x16^2 + 41.8152120663654 x17^2 + 32.8776008868382 x18^2 + 33.0365625277692 x19^2 + 19.76179440557098 x20^2 + 24.3334707647802 x21^2 + 48.7960160678346 x22^2 + 11.79385300602832 x23^2 + 54.766486241339 x24^2 + 50.3835840456572 x25^2 + 44.474348093709 x26^2 + 37.2293029364554 x27^2 + 32.4772004274022 x28^2 + 23.5651261214506 x29^2 + 32.8206384475942 x30^2 + 28.0393324648028 x31^2 + 55.1777805658144 x32^2 + 64.2285163598008 x33^2 + 43.689789627977 x34^2 + 31.3376343446066 x35^2 + 21.1756364394088 x36^2 + 42.5319838811272 x37^2 + 39.8798352271964 x38^2 + 40.8209746148858 x39^2 + 27.7221160211488 x40^2 + 90.3662364158896 x41^2 + 83.7845059446124 x42^2 + 51.9967772871416 x43^2 + 36.8292411367978 x44^2 + 88.9016105380208 x45^2 + 86.445228044836 x46^2 + 15.66174373834522 x47^2 + 88.1948648849264 x48^2 + 48.2064160229214 x49^2 + 42.7802522949702 x50^2 + 28.5573388139506 x51^2 + 39.299310121233 x52^2 + 74.3090248187916 x53^2 + 97.3761287006974 x54^2 + 74.8576493447382 x55^2 + 42.2131864781328 x56^2 + 17.19487126119522 x57^2 + 87.4165588925914 x58^2 + 53.9786227361082 x59^2 + 76.8295174715356 x60^2 + 55.2862239701788 x61^2 + 54.4163415770058 x62^2 + 52.36017309729 x63^2 + 46.9586105782136 x64^2 + 16.1120195358975 x65^2 + 87.2140911285014 x66^2 + 91.1628767788226 x67^2 + 49.651969484901 x68^2 + 80.6858645998194 x69^2 + 69.4667296721578 x70^2 + 79.2740284037614 x71^2 + 31.463941433623 x72^2 + 20.4156355697116 x73^2 + 67.3574857396992 x74^2 + 80.4908466313174 x75^2 + 73.269622198334 x76^2 + 44.55353753574 x77^2 + 53.0465567656462 x78^2 + 87.1035485785118 x79^2 + 83.0700706932512 x80^2 + 83.6671777960262 x81^2 + 97.0752345969752 x82^2 + 76.6933937884824 x83^2 + 16.83224624869422 x84^2 + 105.5099559375372 x85^2 + 94.165159695601 x86^2 + 34.7593350082424 x87^2 + 76.246972521037 x88^2 + 70.6793778180554 x89^2 + 28.9287049049766 x90^2 + 10.69659919887368 x91^2 + 44.530670251245 x92^2 + 92.4908401057658 x93^2 + 111.6749165888048 x94^2 + 81.2617328971722 x95^2 + 62.8670145235546 x96^2 + 26.8224134447262 x97^2 + 97.1393872074888 x98^2 + 73.7986046231676 x99^2 + 81.9672246380386 x100^2 + 51.2625438138582 x101^2 + 78.4125310260972 x102^2 + 55.0840088124862 x103^2 + 26.5990822414766 x104^2 + 16.93799657718158 x105^2 + 79.650706316306 x106^2 + 101.429074028945 x107^2 + 41.8611233362364 x108^2 + 86.1949223847622 x109^2 + 62.5179657268582 x110^2 + 78.0008935467366 x111^2 + 11.70414914970552 x112^2 + 8.1141535803273 x113^2 + 54.8237904327826 x114^2 + 93.4807285200622 x115^2 + 84.3714592039718 x116^2 + 67.9540760745964 x117^2 + 74.9631138196952 x118^2 + 81.5533750293632 x119^2 + 84.6864221825362 x120^2 + 83.6193352776708 x121^2 + 37.1393617870502 x122^2 + 15.1798055897153 x123^2 + 75.7389031845582 x124^2 + 35.4461529126418 x125^2 + 50.9521629642858 x126^2 + 43.4750445957276 x127^2 + 92.5387222546224 x128^2 + 9.09320299911098 x129^2 + 70.8991020366212 x130^2 + 71.5969761164382 x131^2 + 43.802280374226 x132^2 + 20.0837514914354 x133^2 + 46.6129620847054 x134^2 + 46.7882252551896 x135^2 + 14.94090771085918 x136^2 + 51.0792286228988 x137^2 + 47.3429495439094 x138^2 + 5.92161569520952 x139^2 + 50.6387502997072 x140^2 + 60.0364849112326 x141^2 + 11.66169049707888 x142^2 + 47.3029975163628 x143^2 + 81.0145653143652 x144^2 + 60.8625980233508 x145^2 + 83.1792749101768 x146^2 + 49.003201940044 x147^2 + 64.5333128912144 x148^2 + 52.048309737914 x149^2 + 71.2036012570044 x150^2 + 65.5318648718422 x151^2 + 73.6789230724404 x152^2 + 73.5778288606404 x153^2 + 80.1016348962334 x154^2 + 35.355014097727 x155^2 + 35.159725289916 x156^2 + 13.72028128183438 x157^2 + 4.15429605921498 x158^2 + 79.0863267560804 x159^2 + 61.8259770244028 x160^2 + 107.4373296123582 x161^2 + 68.7640694912198 x162^2 + 16.91441407527932 x163^2 + 78.0924186691792 x164^2 + 65.6423187697328 x165^2 + 81.5543731647234 x166^2 + 41.2844508864814 x167^2 + 112.603239875235 x168^2 + 24.5635600389958 x169^2 + 78.4627228038108 x170^2 + 71.2220919603592 x171^2 + 57.6382645099876 x172^2 + 50.8036072717942 x173^2 + 77.5332816343872 x174^2 + 75.2781032891688 x175^2 + 29.5349647661912 x176^2 + 51.0809788907632 x177^2 + 78.6037185118966 x178^2 + 34.6073529896074 x179^2 + 78.8471096672688 x180^2 + 77.2541171082396 x181^2 + 20.9328140066944 x182^2 + 66.842895597732 x183^2 + 86.4506998502342 x184^2 + 58.070609401195 x185^2 + 105.9878046078514 x186^2 + 80.514205890486 x187^2 + 77.721200629366 x188^2 + 81.0620972358206 x189^2 + 90.9328432736742 x190^2 + 90.7328040574528 x191^2 + 73.9707108830528 x192^2 + 66.4669678330442 x193^2 + 95.8470187843344 x194^2 + 66.9156833808748 x195^2 + 65.5681391132154 x196^2 + 20.7837710809854 x197^2 + 27.8825661319454 x198^2 + 103.1179038447996 x199^2 + 89.2594343000996 x200^2 + 10.07157189047558 x201^2 + 74.8809155025082 x202^2 + 104.5780240904628 x203^2 + 68.6168538705084 x204^2 + 89.887091038703 x205^2 + 56.4704519308472 x206^2 + 83.7809336223066 x207^2 + 11.28543201370516 x208^2 + 93.8952333709748 x209^2 + 56.408266303742 x210^2 + 75.1394001823976 x211^2 + 59.3337180429 x212^2 + 88.7529566072404 x213^2 + 85.4613867256438 x214^2 + 50.0518389317804 x215^2 + 86.3086925675924 x216^2 + 77.8013525064206 x217^2 + 63.7007243781666 x218^2 + 86.8181297485744 x219^2 + 46.4310991660324 x220^2 + 40.1097424628504 x221^2 + 102.645358831938 x222^2 + 48.3971733025248 x223^2 + 60.5753236150392 x224^2 + 80.8554342018856 x225^2 + 9.38862064058224 x226^2 + 67.1675869194804 x227^2 + 45.4512529489106 x228^2 + 47.9110699913906 x229^2 + 25.5729007223876 x230^2 + 28.229892097929 x231^2 + 73.581819198884 x232^2 + 90.1634634861196 x233^2 + 30.636819836224 x234^2 + 72.50757222569 x235^2 + 64.0833853748496 x236^2 + 95.8612321604896 x237^2 + 93.7348470342334 x238^2 + 14.36798199575978 x239^2 + 36.1010803808616 x240^2 + 89.4574222899578 x241^2 + 61.246551165663 x242^2 + 21.3543309975122 x243^2 + 58.6119705427428 x244^2 + 62.6708185560106 x245^2 + 69.8402178941858 x246^2 + 21.823415699088 x247^2 + 93.2894304081734 x248^2 + 18.76755891439342 x249^2 + 58.2728680113342 x250^2 + 52.2798803547438 x251^2 + 37.9755549013926 x252^2 + 47.3532577638708 x253^2 + 72.9418705419298 x254^2 + 61.2253321117238 x255^2 + 16.40277591986104 x256^2 + 31.5149176393734 x257^2 + 68.4766555412518 x258^2 + 27.029462901578 x259^2 + 64.3779162502046 x260^2 + 57.7513665965638 x261^2 + 23.7911638167662 x262^2 + 48.2864654435692 x263^2 + 66.5344317032304 x264^2 + 39.525345343134 x265^2 + 87.6156970717708 x266^2 + 71.3035744812038 x267^2 + 57.5958073485802 x268^2 + 67.2710898372072 x269^2 + 71.7942318060368 x270^2 + 73.76735437973 x271^2 + 54.9030734784522 x272^2 + 49.9056053660748 x273^2 + 75.8624456142018 x274^2 + 58.567588964925 x275^2 + 54.3251171815822 x276^2 + 14.4701697403894 x277^2 + 23.8095010961536 x278^2 + 85.3027942014798 x279^2 + 73.7808634133 x280^2 + 13.29807145971546 x281^2 + 72.6701631745344 x282^2 + 97.2293920461856 x283^2 + 57.506127387673 x284^2 + 87.4869621760878 x285^2 + 55.7260902971702 x286^2 + 73.7385566595368 x287^2 + 6.67505054284904 x288^2 + 86.5688981805858 x289^2 + 45.2970934646928 x290^2 + 64.0339127976946 x291^2 + 49.9587683409756 x292^2 + 84.5079683795484 x293^2 + 84.5796581701964 x294^2 + 47.070142771864 x295^2 + 78.5444263397058 x296^2 + 67.3304277329696 x297^2 + 62.731171855666 x298^2 + 80.2545255587512 x299^2 + 43.8955021689264 x300^2 + 30.2901677654262 x301^2 + 95.6036841622538 x302^2 + 40.1049398802586 x303^2 + 49.586395955602 x304^2 + 69.9878405136934 x305^2 + 8.92902523509452 x306^2 + 66.6396026467732 x307^2 + 34.6513455181492 x308^2 + 46.2704524873232 x309^2 + 15.94221633579288 x310^2 + 25.7345085325618 x311^2 + 62.4646576450332 x312^2 + 79.0802528580678 x313^2 + 19.59265248359442 x314^2 + 69.9101370115896 x315^2 + 60.625804430347 x316^2 + 88.1436820835068 x317^2 + 86.887175393984 x318^2 + 14.92065992006804 x319^2 + 35.2771945174062 x320^2 + 94.7247120787016 x321^2 + 56.152136635748 x322^2 + 7.89039352303306 x323^2 + 71.4927205074862 x324^2 + 54.5020830940118 x325^2 + 68.2446056777938 x326^2 + 35.1134428562382 x327^2 + 100.748797619925 x328^2 + 11.3181837241732 x329^2 + 69.9561155964672 x330^2 + 65.557311701892 x331^2 + 46.6427333296708 x332^2 + 39.2463492021022 x333^2 + 65.893727530585 x334^2 + 61.8791505762652 x335^2 + 16.50629147955582 x336^2 + 44.564019415472 x337^2 + 65.4974742695158 x338^2 + 21.465412144716 x339^2 + 65.4639213978934 x340^2 + 65.7998243811934 x341^2 + 11.1095214134621 x342^2 + 54.6756056185272 x343^2 + 78.8440548062168 x344^2 + 53.0359662405564 x345^2 + 93.4724434821 x346^2 + 67.5859320183492 x347^2 + 67.3892568559478 x348^2 + 67.6540655502212 x349^2 + 79.0124323631196 x350^2 + 77.7121281782392 x351^2 + 68.0990498535362 x352^2 + 63.6345226447762 x353^2 + 85.0151226568354 x354^2 + 54.0906441393296 x355^2 + 52.2608377718554 x356^2 + 7.38074252521936 x357^2 + 15.26086600499976 x358^2 + 90.347895349957 x359^2 + 75.9503884387598 x360^2 + 41.5059411792596 x361^2 + 28.7786643732388 x362^2 + 56.1634981396184 x363^2 + 62.8476093117216 x364^2 + 42.5589495545296 x365^2 + 20.3668712539002 x366^2 + 51.8028238331316 x367^2 + 52.9767968371584 x368^2 + 45.815302554151 x369^2 + 51.994178369564 x370^2 + 63.7647831934008 x371^2 + 29.6160954690842 x372^2 + 38.2021701518714 x373^2 + 42.9018492190138 x374^2 + 7.76794109420332 x375^2 + 40.1178755281274 x376^2 + 51.8299997672106 x377^2 + 23.984890490593 x378^2 + 37.2353980671986 x379^2 + 10.04944844355664 x380^2 + 29.6016377809264 x381^2 + 53.5750502460182 x382^2 + 19.35374216024572 x383^2 + 62.3534410606194 x384^2 + 60.2813959713928 x385^2 + 41.702211948103 x386^2 + 28.4726596906752 x387^2 + 39.1445471144684 x388^2 + 13.60496590644888 x389^2 + 33.9734840720068 x390^2 + 23.1036643430526 x391^2 + 64.2717670883906 x392^2 + 74.0453988810316 x393^2 + 46.9254858830448 x394^2 + 25.4157376019998 x395^2 + 15.17317638061652 x396^2 + 48.8625262997458 x397^2 + 44.5029141173804 x398^2 + 36.9511052423558 x399^2 + 19.7361426660283 x400^2 ]/2 Subject To e2: x1 - b401 <= 0 e3: x2 - b401 <= 0 e4: x3 - b401 <= 0 e5: x4 - b401 <= 0 e6: x5 - b401 <= 0 e7: x6 - b401 <= 0 e8: x7 - b401 <= 0 e9: x8 - b401 <= 0 e10: x9 - b401 <= 0 e11: x10 - b401 <= 0 e12: x11 - b401 <= 0 e13: x12 - b401 <= 0 e14: x13 - b401 <= 0 e15: x14 - b401 <= 0 e16: x15 - b401 <= 0 e17: x16 - b401 <= 0 e18: x17 - b401 <= 0 e19: x18 - b401 <= 0 e20: x19 - b401 <= 0 e21: x20 - b401 <= 0 e22: x21 - b401 <= 0 e23: x22 - b401 <= 0 e24: x23 - b401 <= 0 e25: x24 - b401 <= 0 e26: x25 - b401 <= 0 e27: x26 - b401 <= 0 e28: x27 - b401 <= 0 e29: x28 - b401 <= 0 e30: x29 - b401 <= 0 e31: x30 - b401 <= 0 e32: x31 - b401 <= 0 e33: x32 - b401 <= 0 e34: x33 - b401 <= 0 e35: x34 - b401 <= 0 e36: x35 - b401 <= 0 e37: x36 - b401 <= 0 e38: x37 - b401 <= 0 e39: x38 - b401 <= 0 e40: x39 - b401 <= 0 e41: x40 - b401 <= 0 e42: x41 - b402 <= 0 e43: x42 - b402 <= 0 e44: x43 - b402 <= 0 e45: x44 - b402 <= 0 e46: x45 - b402 <= 0 e47: x46 - b402 <= 0 e48: x47 - b402 <= 0 e49: x48 - b402 <= 0 e50: x49 - b402 <= 0 e51: x50 - b402 <= 0 e52: x51 - b402 <= 0 e53: x52 - b402 <= 0 e54: x53 - b402 <= 0 e55: x54 - b402 <= 0 e56: x55 - b402 <= 0 e57: x56 - b402 <= 0 e58: x57 - b402 <= 0 e59: x58 - b402 <= 0 e60: x59 - b402 <= 0 e61: x60 - b402 <= 0 e62: x61 - b402 <= 0 e63: x62 - b402 <= 0 e64: x63 - b402 <= 0 e65: x64 - b402 <= 0 e66: x65 - b402 <= 0 e67: x66 - b402 <= 0 e68: x67 - b402 <= 0 e69: x68 - b402 <= 0 e70: x69 - b402 <= 0 e71: x70 - b402 <= 0 e72: x71 - b402 <= 0 e73: x72 - b402 <= 0 e74: x73 - b402 <= 0 e75: x74 - b402 <= 0 e76: x75 - b402 <= 0 e77: x76 - b402 <= 0 e78: x77 - b402 <= 0 e79: x78 - b402 <= 0 e80: x79 - b402 <= 0 e81: x80 - b402 <= 0 e82: x81 - b403 <= 0 e83: x82 - b403 <= 0 e84: x83 - b403 <= 0 e85: x84 - b403 <= 0 e86: x85 - b403 <= 0 e87: x86 - b403 <= 0 e88: x87 - b403 <= 0 e89: x88 - b403 <= 0 e90: x89 - b403 <= 0 e91: x90 - b403 <= 0 e92: x91 - b403 <= 0 e93: x92 - b403 <= 0 e94: x93 - b403 <= 0 e95: x94 - b403 <= 0 e96: x95 - b403 <= 0 e97: x96 - b403 <= 0 e98: x97 - b403 <= 0 e99: x98 - b403 <= 0 e100: x99 - b403 <= 0 e101: x100 - b403 <= 0 e102: x101 - b403 <= 0 e103: x102 - b403 <= 0 e104: x103 - b403 <= 0 e105: x104 - b403 <= 0 e106: x105 - b403 <= 0 e107: x106 - b403 <= 0 e108: x107 - b403 <= 0 e109: x108 - b403 <= 0 e110: x109 - b403 <= 0 e111: x110 - b403 <= 0 e112: x111 - b403 <= 0 e113: x112 - b403 <= 0 e114: x113 - b403 <= 0 e115: x114 - b403 <= 0 e116: x115 - b403 <= 0 e117: x116 - b403 <= 0 e118: x117 - b403 <= 0 e119: x118 - b403 <= 0 e120: x119 - b403 <= 0 e121: x120 - b403 <= 0 e122: x121 - b404 <= 0 e123: x122 - b404 <= 0 e124: x123 - b404 <= 0 e125: x124 - b404 <= 0 e126: x125 - b404 <= 0 e127: x126 - b404 <= 0 e128: x127 - b404 <= 0 e129: x128 - b404 <= 0 e130: x129 - b404 <= 0 e131: x130 - b404 <= 0 e132: x131 - b404 <= 0 e133: x132 - b404 <= 0 e134: x133 - b404 <= 0 e135: x134 - b404 <= 0 e136: x135 - b404 <= 0 e137: x136 - b404 <= 0 e138: x137 - b404 <= 0 e139: x138 - b404 <= 0 e140: x139 - b404 <= 0 e141: x140 - b404 <= 0 e142: x141 - b404 <= 0 e143: x142 - b404 <= 0 e144: x143 - b404 <= 0 e145: x144 - b404 <= 0 e146: x145 - b404 <= 0 e147: x146 - b404 <= 0 e148: x147 - b404 <= 0 e149: x148 - b404 <= 0 e150: x149 - b404 <= 0 e151: x150 - b404 <= 0 e152: x151 - b404 <= 0 e153: x152 - b404 <= 0 e154: x153 - b404 <= 0 e155: x154 - b404 <= 0 e156: x155 - b404 <= 0 e157: x156 - b404 <= 0 e158: x157 - b404 <= 0 e159: x158 - b404 <= 0 e160: x159 - b404 <= 0 e161: x160 - b404 <= 0 e162: x161 - b405 <= 0 e163: x162 - b405 <= 0 e164: x163 - b405 <= 0 e165: x164 - b405 <= 0 e166: x165 - b405 <= 0 e167: x166 - b405 <= 0 e168: x167 - b405 <= 0 e169: x168 - b405 <= 0 e170: x169 - b405 <= 0 e171: x170 - b405 <= 0 e172: x171 - b405 <= 0 e173: x172 - b405 <= 0 e174: x173 - b405 <= 0 e175: x174 - b405 <= 0 e176: x175 - b405 <= 0 e177: x176 - b405 <= 0 e178: x177 - b405 <= 0 e179: x178 - b405 <= 0 e180: x179 - b405 <= 0 e181: x180 - b405 <= 0 e182: x181 - b405 <= 0 e183: x182 - b405 <= 0 e184: x183 - b405 <= 0 e185: x184 - b405 <= 0 e186: x185 - b405 <= 0 e187: x186 - b405 <= 0 e188: x187 - b405 <= 0 e189: x188 - b405 <= 0 e190: x189 - b405 <= 0 e191: x190 - b405 <= 0 e192: x191 - b405 <= 0 e193: x192 - b405 <= 0 e194: x193 - b405 <= 0 e195: x194 - b405 <= 0 e196: x195 - b405 <= 0 e197: x196 - b405 <= 0 e198: x197 - b405 <= 0 e199: x198 - b405 <= 0 e200: x199 - b405 <= 0 e201: x200 - b405 <= 0 e202: x201 - b406 <= 0 e203: x202 - b406 <= 0 e204: x203 - b406 <= 0 e205: x204 - b406 <= 0 e206: x205 - b406 <= 0 e207: x206 - b406 <= 0 e208: x207 - b406 <= 0 e209: x208 - b406 <= 0 e210: x209 - b406 <= 0 e211: x210 - b406 <= 0 e212: x211 - b406 <= 0 e213: x212 - b406 <= 0 e214: x213 - b406 <= 0 e215: x214 - b406 <= 0 e216: x215 - b406 <= 0 e217: x216 - b406 <= 0 e218: x217 - b406 <= 0 e219: x218 - b406 <= 0 e220: x219 - b406 <= 0 e221: x220 - b406 <= 0 e222: x221 - b406 <= 0 e223: x222 - b406 <= 0 e224: x223 - b406 <= 0 e225: x224 - b406 <= 0 e226: x225 - b406 <= 0 e227: x226 - b406 <= 0 e228: x227 - b406 <= 0 e229: x228 - b406 <= 0 e230: x229 - b406 <= 0 e231: x230 - b406 <= 0 e232: x231 - b406 <= 0 e233: x232 - b406 <= 0 e234: x233 - b406 <= 0 e235: x234 - b406 <= 0 e236: x235 - b406 <= 0 e237: x236 - b406 <= 0 e238: x237 - b406 <= 0 e239: x238 - b406 <= 0 e240: x239 - b406 <= 0 e241: x240 - b406 <= 0 e242: x241 - b407 <= 0 e243: x242 - b407 <= 0 e244: x243 - b407 <= 0 e245: x244 - b407 <= 0 e246: x245 - b407 <= 0 e247: x246 - b407 <= 0 e248: x247 - b407 <= 0 e249: x248 - b407 <= 0 e250: x249 - b407 <= 0 e251: x250 - b407 <= 0 e252: x251 - b407 <= 0 e253: x252 - b407 <= 0 e254: x253 - b407 <= 0 e255: x254 - b407 <= 0 e256: x255 - b407 <= 0 e257: x256 - b407 <= 0 e258: x257 - b407 <= 0 e259: x258 - b407 <= 0 e260: x259 - b407 <= 0 e261: x260 - b407 <= 0 e262: x261 - b407 <= 0 e263: x262 - b407 <= 0 e264: x263 - b407 <= 0 e265: x264 - b407 <= 0 e266: x265 - b407 <= 0 e267: x266 - b407 <= 0 e268: x267 - b407 <= 0 e269: x268 - b407 <= 0 e270: x269 - b407 <= 0 e271: x270 - b407 <= 0 e272: x271 - b407 <= 0 e273: x272 - b407 <= 0 e274: x273 - b407 <= 0 e275: x274 - b407 <= 0 e276: x275 - b407 <= 0 e277: x276 - b407 <= 0 e278: x277 - b407 <= 0 e279: x278 - b407 <= 0 e280: x279 - b407 <= 0 e281: x280 - b407 <= 0 e282: x281 - b408 <= 0 e283: x282 - b408 <= 0 e284: x283 - b408 <= 0 e285: x284 - b408 <= 0 e286: x285 - b408 <= 0 e287: x286 - b408 <= 0 e288: x287 - b408 <= 0 e289: x288 - b408 <= 0 e290: x289 - b408 <= 0 e291: x290 - b408 <= 0 e292: x291 - b408 <= 0 e293: x292 - b408 <= 0 e294: x293 - b408 <= 0 e295: x294 - b408 <= 0 e296: x295 - b408 <= 0 e297: x296 - b408 <= 0 e298: x297 - b408 <= 0 e299: x298 - b408 <= 0 e300: x299 - b408 <= 0 e301: x300 - b408 <= 0 e302: x301 - b408 <= 0 e303: x302 - b408 <= 0 e304: x303 - b408 <= 0 e305: x304 - b408 <= 0 e306: x305 - b408 <= 0 e307: x306 - b408 <= 0 e308: x307 - b408 <= 0 e309: x308 - b408 <= 0 e310: x309 - b408 <= 0 e311: x310 - b408 <= 0 e312: x311 - b408 <= 0 e313: x312 - b408 <= 0 e314: x313 - b408 <= 0 e315: x314 - b408 <= 0 e316: x315 - b408 <= 0 e317: x316 - b408 <= 0 e318: x317 - b408 <= 0 e319: x318 - b408 <= 0 e320: x319 - b408 <= 0 e321: x320 - b408 <= 0 e322: x321 - b409 <= 0 e323: x322 - b409 <= 0 e324: x323 - b409 <= 0 e325: x324 - b409 <= 0 e326: x325 - b409 <= 0 e327: x326 - b409 <= 0 e328: x327 - b409 <= 0 e329: x328 - b409 <= 0 e330: x329 - b409 <= 0 e331: x330 - b409 <= 0 e332: x331 - b409 <= 0 e333: x332 - b409 <= 0 e334: x333 - b409 <= 0 e335: x334 - b409 <= 0 e336: x335 - b409 <= 0 e337: x336 - b409 <= 0 e338: x337 - b409 <= 0 e339: x338 - b409 <= 0 e340: x339 - b409 <= 0 e341: x340 - b409 <= 0 e342: x341 - b409 <= 0 e343: x342 - b409 <= 0 e344: x343 - b409 <= 0 e345: x344 - b409 <= 0 e346: x345 - b409 <= 0 e347: x346 - b409 <= 0 e348: x347 - b409 <= 0 e349: x348 - b409 <= 0 e350: x349 - b409 <= 0 e351: x350 - b409 <= 0 e352: x351 - b409 <= 0 e353: x352 - b409 <= 0 e354: x353 - b409 <= 0 e355: x354 - b409 <= 0 e356: x355 - b409 <= 0 e357: x356 - b409 <= 0 e358: x357 - b409 <= 0 e359: x358 - b409 <= 0 e360: x359 - b409 <= 0 e361: x360 - b409 <= 0 e362: x361 - b410 <= 0 e363: x362 - b410 <= 0 e364: x363 - b410 <= 0 e365: x364 - b410 <= 0 e366: x365 - b410 <= 0 e367: x366 - b410 <= 0 e368: x367 - b410 <= 0 e369: x368 - b410 <= 0 e370: x369 - b410 <= 0 e371: x370 - b410 <= 0 e372: x371 - b410 <= 0 e373: x372 - b410 <= 0 e374: x373 - b410 <= 0 e375: x374 - b410 <= 0 e376: x375 - b410 <= 0 e377: x376 - b410 <= 0 e378: x377 - b410 <= 0 e379: x378 - b410 <= 0 e380: x379 - b410 <= 0 e381: x380 - b410 <= 0 e382: x381 - b410 <= 0 e383: x382 - b410 <= 0 e384: x383 - b410 <= 0 e385: x384 - b410 <= 0 e386: x385 - b410 <= 0 e387: x386 - b410 <= 0 e388: x387 - b410 <= 0 e389: x388 - b410 <= 0 e390: x389 - b410 <= 0 e391: x390 - b410 <= 0 e392: x391 - b410 <= 0 e393: x392 - b410 <= 0 e394: x393 - b410 <= 0 e395: x394 - b410 <= 0 e396: x395 - b410 <= 0 e397: x396 - b410 <= 0 e398: x397 - b410 <= 0 e399: x398 - b410 <= 0 e400: x399 - b410 <= 0 e401: x400 - b410 <= 0 e402: x1 + x41 + x81 + x121 + x161 + x201 + x241 + x281 + x321 + x361 = 1 e403: x2 + x42 + x82 + x122 + x162 + x202 + x242 + x282 + x322 + x362 = 1 e404: x3 + x43 + x83 + x123 + x163 + x203 + x243 + x283 + x323 + x363 = 1 e405: x4 + x44 + x84 + x124 + x164 + x204 + x244 + x284 + x324 + x364 = 1 e406: x5 + x45 + x85 + x125 + x165 + x205 + x245 + x285 + x325 + x365 = 1 e407: x6 + x46 + x86 + x126 + x166 + x206 + x246 + x286 + x326 + x366 = 1 e408: x7 + x47 + x87 + x127 + x167 + x207 + x247 + x287 + x327 + x367 = 1 e409: x8 + x48 + x88 + x128 + x168 + x208 + x248 + x288 + x328 + x368 = 1 e410: x9 + x49 + x89 + x129 + x169 + x209 + x249 + x289 + x329 + x369 = 1 e411: x10 + x50 + x90 + x130 + x170 + x210 + x250 + x290 + x330 + x370 = 1 e412: x11 + x51 + x91 + x131 + x171 + x211 + x251 + x291 + x331 + x371 = 1 e413: x12 + x52 + x92 + x132 + x172 + x212 + x252 + x292 + x332 + x372 = 1 e414: x13 + x53 + x93 + x133 + x173 + x213 + x253 + x293 + x333 + x373 = 1 e415: x14 + x54 + x94 + x134 + x174 + x214 + x254 + x294 + x334 + x374 = 1 e416: x15 + x55 + x95 + x135 + x175 + x215 + x255 + x295 + x335 + x375 = 1 e417: x16 + x56 + x96 + x136 + x176 + x216 + x256 + x296 + x336 + x376 = 1 e418: x17 + x57 + x97 + x137 + x177 + x217 + x257 + x297 + x337 + x377 = 1 e419: x18 + x58 + x98 + x138 + x178 + x218 + x258 + x298 + x338 + x378 = 1 e420: x19 + x59 + x99 + x139 + x179 + x219 + x259 + x299 + x339 + x379 = 1 e421: x20 + x60 + x100 + x140 + x180 + x220 + x260 + x300 + x340 + x380 = 1 e422: x21 + x61 + x101 + x141 + x181 + x221 + x261 + x301 + x341 + x381 = 1 e423: x22 + x62 + x102 + x142 + x182 + x222 + x262 + x302 + x342 + x382 = 1 e424: x23 + x63 + x103 + x143 + x183 + x223 + x263 + x303 + x343 + x383 = 1 e425: x24 + x64 + x104 + x144 + x184 + x224 + x264 + x304 + x344 + x384 = 1 e426: x25 + x65 + x105 + x145 + x185 + x225 + x265 + x305 + x345 + x385 = 1 e427: x26 + x66 + x106 + x146 + x186 + x226 + x266 + x306 + x346 + x386 = 1 e428: x27 + x67 + x107 + x147 + x187 + x227 + x267 + x307 + x347 + x387 = 1 e429: x28 + x68 + x108 + x148 + x188 + x228 + x268 + x308 + x348 + x388 = 1 e430: x29 + x69 + x109 + x149 + x189 + x229 + x269 + x309 + x349 + x389 = 1 e431: x30 + x70 + x110 + x150 + x190 + x230 + x270 + x310 + x350 + x390 = 1 e432: x31 + x71 + x111 + x151 + x191 + x231 + x271 + x311 + x351 + x391 = 1 e433: x32 + x72 + x112 + x152 + x192 + x232 + x272 + x312 + x352 + x392 = 1 e434: x33 + x73 + x113 + x153 + x193 + x233 + x273 + x313 + x353 + x393 = 1 e435: x34 + x74 + x114 + x154 + x194 + x234 + x274 + x314 + x354 + x394 = 1 e436: x35 + x75 + x115 + x155 + x195 + x235 + x275 + x315 + x355 + x395 = 1 e437: x36 + x76 + x116 + x156 + x196 + x236 + x276 + x316 + x356 + x396 = 1 e438: x37 + x77 + x117 + x157 + x197 + x237 + x277 + x317 + x357 + x397 = 1 e439: x38 + x78 + x118 + x158 + x198 + x238 + x278 + x318 + x358 + x398 = 1 e440: x39 + x79 + x119 + x159 + x199 + x239 + x279 + x319 + x359 + x399 = 1 e441: x40 + x80 + x120 + x160 + x200 + x240 + x280 + x320 + x360 + x400 = 1 Binary b401 b402 b403 b404 b405 b406 b407 b408 b409 b410 End