\ENCODING=ISO-8859-1 \Problem name: LP Minimize obj1: - 3526.84113956492 x1 - 3117.13230428831 x2 - 1037.41314292669 x3 - 243.951096011862 x4 - 2324.4864719533 x5 - 312.605772101795 x6 - 1086.70809157734 x7 - 674.630028033891 x8 - 1432.59777065314 x9 - 671.951961817928 x10 - 3909.01289380787 x11 - 1456.34532790538 x12 - 1550.44218800431 x13 - 2675.41731472994 x14 - 4867.01316108131 x15 - 397.679829681834 x16 - 1152.70752120984 x17 - 964.181479632964 x18 - 959.902244450959 x19 - 168.203503306386 x20 - 414.692063325382 x21 - 17.3006312800545 x22 - 143.410821334425 x23 - 138.842340232797 x24 - 92.5864690788135 x25 - 83.0343581486326 x26 - 350.273830178764 x27 - 619.816789748122 x28 - 708.795667927311 x29 - 289.440049324371 x30 - 144.032060694404 x31 - 620.085171295993 x32 - 1000.79111350148 x33 - 345.314877512914 x34 - 1495.07479400306 x35 - 96.656241904459 x36 - 542.103949460966 x37 - 516.202215123225 x38 - 358.386059642806 x39 - 54.7505393508645 x40 - 2435.02154808959 x41 - 3078.5688881835 x42 - 222.220505590082 x43 - 2474.33688953741 x44 - 9209.12981267155 x45 - 636.994188911463 x46 - 6069.59509116355 x47 - 816.262207894906 x48 - 2837.56355554219 x49 - 3740.73521239353 x50 - 8139.31643005738 x51 - 1761.56375006354 x52 - 1754.57090336199 x53 - 2708.84679080329 x54 - 13150.702708543 x55 - 4770.52328330108 x56 - 8855.2766288357 x57 - 15911.9142069215 x58 - 20084.7333355938 x59 - 12479.9605446453 x60 - 15876.2942189857 x61 - 13912.8985290324 x62 - 15775.4718620602 x63 - 4965.48688358072 x64 - 14154.3270976342 x65 - 17730.7858650589 x66 - 12867.1055251054 x67 - 12145.147799383 x68 - 12512.4197791351 x69 - 3380.96522045954 x70 - 11697.7024567744 x71 - 961.607187594193 x72 - 9039.30061539224 x73 - 5232.65571976627 x74 - 14150.2957174906 x75 - 11358.0634113402 x76 - 5081.99944773192 x77 - 1989.52235997667 x78 - 167.428528405803 x79 - 767.028046514144 x80 - 107.118710530866 x81 - 1028.75434366621 x82 - 989.609290708234 x83 - 1177.76497092966 x84 - 2083.85972854278 x85 - 400.038967214878 x86 - 1896.00701123768 x87 - 394.937969371992 x88 - 820.354008125525 x89 - 710.497410499048 x90 - 1727.05469157129 x91 - 190.433512518178 x92 - 1509.10092540273 x93 - 285.95210960871 x94 - 1548.12479319417 x95 - 463.542435153579 x96 - 611.713873563761 x97 - 660.626775570176 x98 - 716.228013157934 x99 - 653.861556597295 x100 - 587.179759945455 x101 - 538.844522340318 x102 - 750.530992842817 x103 - 549.089234262623 x104 - 801.12390085079 x105 - 416.805644817087 x106 - 499.298407042037 x107 - 667.987321345093 x108 - 589.252494622702 x109 - 456.25098053457 x110 - 702.011338994467 x111 - 459.527875357647 x112 - 757.633355877235 x113 - 254.817014190005 x114 - 423.661773205637 x115 - 395.055437247745 x116 - 456.789683757704 x117 - 612.389200651586 x118 - 423.113199817373 x119 - 490.978377320033 x120 - 414.832131273512 x121 - 508.148308786796 x122 - 552.809767034164 x123 - 493.853546206485 x124 - 1295.31414692412 x125 - 314.948403082348 x126 - 1610.97528593615 x127 - 1111.15868428017 x128 - 1152.29517361161 x129 - 843.292976429586 x130 - 1745.57116962109 x131 - 1032.28594463881 x132 - 770.654569979271 x133 - 663.124117118075 x134 - 1454.50531752521 x135 - 901.597471405236 x136 - 575.398624345418 x137 - 1588.19638041999 x138 - 741.791292259627 x139 - 629.591829324808 x140 - 114.376424686936 x141 - 364.499557266779 x142 - 592.576739719136 x143 - 660.249584030526 x144 - 582.842755166515 x145 - 441.055483897957 x146 - 959.396479905936 x147 - 198.900503118243 x148 - 376.170923938778 x149 - 5270.27574029786 x150 - 2348.72520254111 x151 - 10407.3013435349 x152 - 7842.4928272941 x153 - 12.046728746136 x154 - 25.4488021015305 x155 - 24.966643788135 x156 - 33.321091983375 x157 - 23.5119696217455 x158 - 26.3557241449005 x159 - 17.386991174322 x160 - 33.8114495229735 x161 - 20.6142629383845 x162 - 33.430498452099 x163 - 13.707103347 x164 - 15.247869388521 x165 - 30.4149670105155 x166 - 19.6197781663275 x167 - 12.411375248874 x168 - 30.8885192658735 x169 - 15.218890444002 x170 - 30.8105327326755 x171 - 5.5246824282405 x172 - 9.644230289631 x173 - 12.3968231871015 x174 - 12.6870507588825 x175 - 22.0607065838145 x176 - 15.663213396789 x177 - 13.699530015927 x178 - 9.9162130183725 x179 - 19.209785561421 x180 - 18.4715109608295 x181 - 1861.65203090909 x182 - 3152.22094116619 x183 - 3501.14851552838 x184 - 3874.68364859501 x185 - 3140.2364912171 x186 - 2984.74575649618 x187 - 2399.47952443094 x188 - 4084.8093757309 x189 - 2637.99939390398 x190 - 4445.02341227578 x191 - 1842.80636121629 x192 - 2417.32707161779 x193 - 3550.59745883899 x194 - 2706.1858188036 x195 - 1844.6071696536 x196 - 3758.8490888221 x197 - 2036.31648957302 x198 - 4152.84922319957 x199 - 774.874608807791 x200 - 1593.72942677645 x201 - 1696.68611225928 x202 - 2131.74886693406 x203 - 3177.08326540536 x204 - 1905.506602272 x205 - 2045.96966038234 x206 - 1566.35085663941 x207 - 2456.45626580218 x208 - 2776.82218076328 x209 - 4896.78762366857 x210 - 1942.22590809553 x211 - 1824.35156168741 x212 - 11489.0885166024 x213 - 10220.0347992654 x214 - 3778.20317276157 x215 - 9495.37469277275 x216 - 14502.043947963 x217 - 12802.3923220987 x218 - 8446.24582680934 x219 - 6526.76501066384 x220 - 10217.1239688831 x221 - 9011.06991381121 x222 - 3444.523616682 x223 - 11463.3693486235 x224 - 9290.60529160568 x225 - 8201.01178356701 x226 - 6393.89175335289 x227 - 10045.7129572148 x228 - 8769.32066750545 x229 - 694.321874338981 x230 - 3669.42284485915 x231 - 11390.571257325 x232 - 9034.50688144345 x233 - 3585.29574704919 x234 - 2441.20274809659 x235 - 3182.19077794902 x236 - 5226.72734003871 x237 - 1057.29280701335 x238 - 2637.70754061788 x239 - 4506.21059184978 x240 - 4632.18839579811 x241 - 6469.49788273208 x242 - 3421.42693542353 x243 - 3072.84559557131 x244 - 4156.05083002171 x245 - 1594.21277237683 x246 - 3169.81331895498 x247 - 4779.43543587115 x248 - 3185.78826470233 x249 - 3013.60873416894 x250 - 2487.56015016419 x251 - 4528.5649930829 x252 - 1004.94181148066 x253 - 3134.77892784912 x254 - 4656.18698658941 x255 - 1483.13132582569 x256 - 4521.8009675019 x257 - 192.62088239448 x258 - 56.868157349415 x259 - 1457.29631529796 x260 - 2012.06653588848 x261 - 1427.87006579839 x262 - 2297.12051856317 x263 - 2607.41786388005 x264 - 3778.23065366213 x265 - 2517.06797796295 x266 - 141.809196271085 x267 - 2275.55849034812 x268 - 2575.28519976731 x269 - 1557.27731749517 x270 - 4470.53404674727 x271 - 7145.32835602622 x272 - 4428.30524130319 x273 - 5754.72669454334 x274 - 10468.7707620654 x275 - 2479.4325381634 x276 - 2073.91978390788 x277 - 2064.71530249912 x278 - 855.395051512744 x279 - 2456.58361181876 x280 - 10923.9379625288 x281 - 3864.6843216812 x282 - 7305.57841991196 x283 - 7714.25434623922 x284 - 11229.3328585144 x285 - 7684.24895891242 x286 - 6030.3335151715 x287 - 7599.31872602726 x288 - 12670.6118246902 x289 - 6394.32022753647 x290 - 15683.3312778367 x291 - 11586.2885529139 x292 - 10978.129413923 x293 - 11287.5101477575 x294 - 3595.40111660698 x295 - 8294.20969661102 x296 - 7449.18018593348 x297 - 2563.08505708356 x298 - 10075.0820475163 x299 - 7722.9753594527 x300 - 2436.17597997339 x301 - 179.648271793818 x302 - 537.328979620875 x303 - 143.67149447004 x304 - 228.642768202824 x305 - 205.291464829353 x306 - 858.047611764762 x307 - 745.987326751683 x308 - 259.12275875532 x309 - 644.814856354005 x310 - 511.245347508927 x311 - 579.281805689661 x312 - 1185.69144555693 x313 - 269.046694540881 x314 - 1055.67490117629 x315 - 70.3216542398127 x316 - 108.372109768344 x317 - 861.299364094875 x318 - 179.690335813408 x319 - 79.7958740944223 x320 - 244.179503243905 x321 - 265.468034696714 x322 - 211.16517532131 x323 - 184.021206805247 x324 - 133.961945323125 x325 - 226.094979769449 x326 - 138.420786713365 x327 - 248.114706042806 x328 - 149.850171182613 x329 - 185.753781298092 x330 - 281.452351403059 x331 - 164.027527775839 x332 - 247.184320549128 x333 - 189.297611730151 x334 - 296.260742239993 x335 - 190.723825993608 x336 - 320.469304956681 x337 - 142.397591196552 x338 - 129.947156693416 x339 - 156.815966243305 x340 - 244.311543372291 x341 - 138.115330868417 x342 - 167.652526711477 x343 - 134.511132774922 x344 - 175.12545534746 x345 - 194.563616233984 x346 - 293.570295315625 x347 - 923.993617929369 x348 - 152.844756642838 x349 - 712.110085643938 x350 - 318.957830334906 x351 - 108.2565314735 x352 - 817.982269662481 x353 - 256.917083049469 x354 - 51.119667224938 x355 - 371.035742812725 x356 - 1124.13301302838 x357 - 427.185203584944 x358 - 689.219554852082 x359 - 432.63381525105 x360 - 1229.29347131968 x361 - 563.51712813145 x362 - 475.261812579432 x363 - 74.9604910269127 x364 - 254.364413122707 x365 - 283.892415873663 x366 - 223.004743788787 x367 - 111.475864418519 x368 - 519.199279216038 x369 - 77.7212446392941 x370 - 1337.81261901136 x371 - 229.783667932584 x372 - 780.697367378461 x373 - 432.431733866893 x374 - 2043.12789382742 x375 - 10.810415950576 x376 - 27.37235899138 x377 - 26.776519951304 x378 - 23.67306754084 x379 - 11.551202399116 x380 - 3.982109059424 x381 - 24.279038977132 x382 - 7.97028982192401 x383 - 23.808269285768 x384 - 11.237523522368 x385 - 13.14156319908 x386 - 35.695542383804 x387 - 16.407404661876 x388 - 22.355121240668 x389 - 13.447159362816 x390 - 36.28074627518 x391 - 16.916615581632 x392 - 36.184372491324 x393 - 4.43156978012 x394 - 7.83315441359601 x395 - 8.191810301028 x396 - 23.15774624474 x397 - 11.178044036184 x398 - 8.75137381571999 x399 - 4.07604642739601 x400 - 15.560808152088 x401 - 14.6484670867 x402 - 1244.07642708473 x403 - 2283.80678648649 x404 - 2564.91583026821 x405 - 1889.63106917043 x406 - 1297.93309718844 x407 - 701.151707845584 x408 - 2058.91617751155 x409 - 893.312194310626 x410 - 2349.11801540004 x411 - 1110.77167934488 x412 - 1573.626951901 x413 - 2763.68925790182 x414 - 1297.3201630155 x415 - 2083.39980493327 x416 - 1389.27997032858 x417 - 2931.46452380777 x418 - 1543.72813541012 x419 - 3248.88569989903 x420 - 120.621508959496 x421 - 780.321434641731 x422 - 863.267173338127 x423 - 1213.76992502011 x424 - 2301.82367722127 x425 - 981.217638883449 x426 - 1094.37990765578 x427 - 707.981144111933 x428 - 1425.08319857711 x429 - 1683.18190625187 x430 - 423.67845302929 x431 - 1044.54478307261 x432 - 349.722251727705 x433 - 233.210909521327 x434 - 209.150628358863 x435 - 43.5775982846924 x436 - 361.229544785125 x437 - 3721.81461953223 x438 - 2967.86648769096 x439 - 605.720839560967 x440 - 3580.19613570436 x441 - 2570.42866046274 x442 - 1034.5139717564 x443 - 4260.90340630553 x444 - 2774.94448959901 x445 - 7538.96170693736 x446 - 1428.80165441515 x447 - 6248.11689923453 x448 - 5600.78654699697 x449 - 1447.25598072031 x450 - 688.947983843456 x451 - 387.532733478864 x452 - 6859.35049179206 x453 - 5459.60648535145 x454 - 5027.17662592053 x455 - 693.644537511983 x456 - 1956.20577170306 x457 - 1550.98954327479 x458 - 545.007582713963 x459 - 622.802567935998 x460 - 1757.39501124422 x461 - 328.773669730842 x462 - 1630.12070965778 x463 - 2603.10021394535 x464 - 786.11314745901 x465 - 3597.08903478493 x466 - 213.338176910902 x467 - 2612.96521102728 x468 - 816.219867660051 x469 - 435.86310697097 x470 - 2263.13754999438 x471 - 3202.65160514441 x472 - 190.342230099114 x473 - 238.139343290732 x474 - 97.6399836414561 x475 - 301.129376825096 x476 - 381.740334912148 x477 - 233.26962880485 x478 - 398.2627436567 x479 - 370.308968237742 x480 - 128.409086542818 x481 - 430.634948647754 x482 - 329.027312715914 x483 - 83.9978792847801 x484 - 150.31493343214 x485 - 167.093188741988 x486 - 210.73584103999 x487 - 204.246927464898 x488 - 553.439364702736 x489 - 317.393706017754 x490 - 554.908180002124 x491 - 771.48803592855 x492 - 130.967764178764 x493 - 824.284738239356 x494 - 654.843730927633 x495 - 620.419195176759 x496 - 359.345053270698 x497 - 1142.47363654703 x498 - 1252.47932183025 x499 - 956.319278392682 x500 - 1250.44160023586 x501 - 1446.96778255816 x502 - 306.429087788258 x503 - 1467.68908745552 x504 - 1020.46282173896 x505 - 299.299296551739 x506 - 159.098688432321 x507 - 552.513016781187 x508 - 499.802610933268 x509 - 581.956865814338 x510 - 847.352895686046 x511 - 112.666097477268 x512 - 1161.27519376956 x513 - 1598.25847288799 x514 - 821.888616327375 x515 - 1444.71361984693 x516 - 1523.02298139807 x517 - 186.983144199326 x518 - 1853.93385322239 x519 - 1322.61620947887 x520 - 41.3300145537896 x521 - 148.166907666246 x522 - 460.385039446386 x523 - 704.056930647045 x524 - 159.302753516241 x525 - 65.5050474411032 x526 - 281.889518357912 x527 - 322.356658856238 x528 - 131.635859897718 x529 - 282.01157691863 x530 - 245.589155949596 x531 - 229.047788442196 x532 - 87.3748223845583 x533 - 145.082308573942 x534 - 158.945186874567 x535 - 224.204170798342 x536 - 202.050213251953 x537 - 145.270410230015 x538 - 168.352763450123 x539 - 201.339488244635 x540 - 184.765701701814 x541 - 156.44500236261 x542 - 142.242792949469 x543 - 209.752049809946 x544 - 257.351387630848 x545 - 142.919495782251 x546 - 240.714366156298 x547 - 135.461514496192 x548 - 174.240202783922 x549 - 188.278535754272 x550 - 157.568624755131 x551 - 226.523913096662 x552 - 274.699312239284 x553 - 171.205638567215 x554 - 259.786734071962 x555 - 156.629719613885 x556 - 209.983614348671 x557 - 189.554278236079 x558 - 14.6623695548849 x559 - 375.736055497335 x560 - 49.6636200871199 x561 - 518.77297407312 x562 - 368.149058399362 x563 - 104.710625910808 x564 - 139.563977983774 x565 - 68.4873475046475 x566 - 81.3364470437722 x567 - 89.103174822816 x568 - 91.2507269066497 x569 - 122.571465113287 x570 - 70.6107949840425 x571 - 83.1339778482674 x572 - 39.5684369300632 x573 - 66.4278052556249 x574 - 93.867141575427 x575 - 66.7001312285632 x576 - 121.081464215654 x577 - 112.113878677804 x578 - 74.306311130601 x579 - 146.907025296892 x580 - 64.4369891578627 x581 - 86.8395842943585 x582 - 68.6388141120742 x583 - 94.5743594582159 x584 - 131.637823472116 x585 - 123.0328160308 x586 - 92.1098598546225 x587 - 158.911342536268 x588 - 77.7604448894542 x589 - 121.146939048176 x590 - 96.4783989799987 x591 - 10.34536365327 x592 - 24.7158904502812 x593 - 8.89992577728749 x594 - 42.1975993749375 x595 - 15.9264943609875 x596 - 20.1675534500363 x597 - 31.905913886445 x598 - 39.2357802368587 x599 - 17.7042205155225 x600 - 13.6054784845912 x601 - 25.2318570181275 x602 - 40.4469812314725 x603 - 45.6275695613362 x604 - 34.8618165935362 x605 - 22.3283416181437 x606 - 9.17309223075404 x607 - 318.312068875652 x608 - 53.3869796734138 x609 - 91.7812531026825 x610 - 49.652012749375 x611 - 91.0489293673826 x612 - 106.919033605783 x613 - 89.9341055291988 x614 - 82.7026403911288 x615 - 77.95910609493 x616 - 84.6680953275463 x617 - 110.748901342988 x618 - 93.6129894330026 x619 - 96.3596669364125 x620 - 98.4383307793788 x621 - 97.9414630298588 x622 - 120.710937497251 x623 - 1846.35532524591 x624 - 1772.54077865805 x625 - 1600.37836122993 x626 - 125.847291789392 x627 - 726.466335022663 x628 - 543.382357866026 x629 - 1222.59732761952 x630 - 992.019119071766 x631 - 401.055394641093 x632 - 641.296337750897 x633 - 1267.85941541649 x634 - 927.867238018329 x635 - 633.105631439477 x636 - 485.289152282422 x637 - 1425.22183092427 x638 - 1920.63534879444 x639 - 729.629156427661 x640 - 1747.47736566029 x641 - 652.006548335116 x642 - 1055.61481816653 x643 - 218.848331039301 x644 - 1135.8144026676 x645 - 816.185900716389 x646 - 346.534731172046 x647 - 847.943890556732 x648 - 692.733899229024 x649 - 2404.66860578959 x650 - 898.724680237086 x651 - 1418.72177216015 x652 - 358.288873899427 x653 - 539.132773476625 x654 - 370.50292518475 x655 - 402.543482890908 x656 - 869.835488269294 x657 - 94.6045347295671 x658 - 281.445061786617 x659 - 136.626089973321 x660 - 546.009240860077 x661 - 140.689076904579 x662 - 1166.13412105203 x663 - 1032.34158392414 x664 - 468.268861849303 x665 - 1551.44043624981 x666 - 321.022803153644 x667 - 655.259931855638 x668 - 98.0887676557968 x669 - 324.244422268343 x670 - 711.191655613325 x671 - 192.899044416054 x672 - 64.5160172658057 x673 - 599.808272836226 x674 - 96.0144422261333 x675 - 167.864700463349 x676 - 61.7865270959302 x677 - 167.420370664018 x678 - 233.382049011619 x679 - 39.6189230876695 x680 - 23.5731393700053 x681 - 818.002760029331 x682 - 151.478621535856 x683 - 975.495364862976 x684 - 520.644190544576 x685 - 861.247891116736 x686 - 651.979047662832 x687 - 815.08882798648 x688 - 713.283237373728 x689 - 857.271362807632 x690 - 1417.01683828282 x691 - 581.087616703157 x692 - 1742.43555559463 x693 - 309.02304142814 x694 - 1337.94571300536 x695 - 86.4978829219799 x696 - 501.809976841017 x697 - 7030.51931683869 x698 - 3133.18670978644 x699 - 13883.2836719371 x700 - 10461.8429910356 x701 - 1663.5979626495 x702 - 2410.60587369718 x703 - 1605.95247044839 x704 - 332.253023390747 x705 - 1128.84028268185 x706 - 625.269638525969 x707 - 1934.39460426416 x708 - 2954.2370265292 x709 - 720.700788846187 x710 - 104.710765011 x711 - 174.410990899734 x712 - 197.419745861556 x713 - 164.407386262032 x714 - 203.21219387514 x715 - 112.587409325118 x716 - 192.012418421268 x717 - 178.555924379586 x718 - 207.595872786534 x719 - 206.548032038886 x720 - 193.556810567988 x721 - 225.480764689428 x722 - 189.661374616902 x723 - 233.55754463142 x724 - 254.566409509578 x725 - 429.322686320199 x726 - 375.69975818824 x727 - 79.7866520615996 x728 - 274.233132422851 x729 - 451.541024424463 x730 - 513.811840079376 x731 - 453.635537019011 x732 - 343.409683161226 x733 - 746.369542415841 x734 - 122.912940302055 x735 - 119.175898702598 x736 - 27.9689924601425 x737 - 112.98347499687 x738 - 124.92541736772 x739 - 73.7635787533292 x740 - 105.692763216739 x741 - 127.027154594909 x742 - 129.276607687228 x743 - 128.236532761644 x744 - 154.132894569008 x745 - 138.913066810019 x746 - 109.589890975451 x747 - 181.621143441812 x748 - 175.899033467593 x749 - 171.803916225054 x750 - 722.957473101627 x751 - 871.971347660038 x752 - 661.944070727199 x753 - 907.300308988016 x754 - 354.566904870148 x755 - 704.269072574648 x756 - 748.238009806199 x757 - 934.036987914045 x758 - 927.646058696429 x759 - 848.410757857782 x760 - 908.397259525368 x761 - 703.570064691471 x762 - 1083.70068643208 x763 - 1220.51694795016 x764 - 1935.74325848982 x765 - 1843.25341834508 x766 - 1279.7239340907 x767 - 318.091984108 x768 - 290.349344126576 x769 - 52.740084149776 x770 - 149.525190512288 x771 - 115.001268589312 x772 - 224.451499698736 x773 - 187.29560747288 x774 - 92.0663809443519 x775 - 130.779347996384 x776 - 251.598734820496 x777 - 165.980830492224 x778 - 118.482280844608 x779 - 94.66280022952 x780 - 242.941016389456 x781 - 322.773067272112 x782 - 130.851645024 x783 - 294.869999588912 x784 - 118.343363002288 x785 - 183.381709296032 x786 - 196.789222942224 x787 - 145.283565726784 x788 - 238.33820521392 x789 - 319.136407283808 x790 - 145.560206419232 x791 - 294.125519453296 x792 - 121.11395239944 x793 - 210.597357720784 x794 - 176.333944095664 x795 - 468.197393713341 x796 - 7512.98633966304 x797 - 8502.56436327782 x798 - 5141.50845299452 x799 - 45.09105611937 x800 - 67.990753714647 x801 - 21.291275837862 x802 - 31.251852051093 x803 - 20.591039647068 x804 - 22.002045773163 x805 - 42.580710111999 x806 - 8.44099148990998 x807 - 16.66909821321 x808 - 7.58488534543199 x809 - 25.613352237888 x810 - 7.763811676953 x811 - 52.137247243965 x812 - 46.245274599651 x813 - 21.404568838224 x814 - 69.105415406115 x815 - 14.920128312303 x816 - 29.639305190934 x817 - 15.181335711057 x818 - 32.221766833776 x819 - 51.002328351522 x820 - 45.348580390674 x821 - 25.03127077569 x822 - 68.921848334007 x823 - 15.603274791729 x824 - 44.109502653945 x825 - 27.901531997475 x826 - 61.152420748792 x827 - 162.743965306226 x828 - 50.933987669956 x829 - 212.796948680444 x830 - 27.0750072862839 x831 - 111.439628830034 x832 - 194.423237166136 x833 - 246.241271011142 x834 - 94.025250003748 x835 - 52.14731728053 x836 - 105.581349510036 x837 - 213.143722922012 x838 - 249.767569603578 x839 - 173.659749217338 x840 - 85.055128147574 x841 - 1291.67633679094 x842 - 63.259232680605 x843 - 166.835734192451 x844 - 348.612080151648 x845 - 239.051982673734 x846 - 314.188436649414 x847 - 247.866362098582 x848 - 277.999942297007 x849 - 255.541844922573 x850 - 287.305320015578 x851 - 410.783984767272 x852 - 269.547639826188 x853 - 282.55168849032 x854 - 292.393049821145 x855 - 290.04064682284 x856 - 397.841928066482 x857 - 75.0670651214059 x858 - 3338.59580726821 x859 - 4220.94711668549 x860 - 304.68085542575 x861 - 3392.50006705678 x862 - 4523.43803359061 x863 - 4145.08874630482 x864 - 904.615084644598 x865 - 2224.553491251 x866 - 2173.35616676188 x867 - 3666.01933656992 x868 - 3159.29375632474 x869 - 1860.57416763488 x870 - 2388.53486289179 x871 - 3484.49414197432 x872 - 2801.23435253058 x873 - 2153.45741355442 x874 - 1828.61148972488 x875 - 3680.0103927768 x876 - 4768.74598442346 x877 - 2151.35508827698 x878 - 4388.20881211056 x879 - 1980.76931881693 x880 - 2867.75094648326 x881 - 3079.69059494733 x882 - 2377.26542157897 x883 - 4087.36036092472 x884 - 5189.27215401956 x885 - 2822.07018871054 x886 - 4848.17802630153 x887 - 2488.67643846222 x888 - 3709.03551928169 x889 - 3241.75705790518 x890 - 4477.98926707143 x891 - 7157.24415772365 x892 - 4435.69003938129 x893 - 1180.98578337392 x894 - 1727.25659336146 x895 - 75.3862960735582 x896 - 613.243558926988 x897 - 810.802009980854 x898 - 777.525622746408 x899 - 811.185082928898 x900 - 1302.08779420121 x901 - 487.687007167172 x902 - 683.967962655772 x903 - 438.207337116608 x904 - 868.27525269496 x905 - 442.47561322119 x906 - 1427.33859048873 x907 - 1286.78596286375 x908 - 694.212528192912 x909 - 1832.11314820403 x910 - 539.52661744353 x911 - 890.651633063732 x912 - 558.304220759118 x913 - 964.802606740616 x914 - 1603.02673919693 x915 - 1468.15694603972 x916 - 983.488834857588 x917 - 2030.4957332608 x918 - 758.584598402526 x919 - 1438.5988265028 x920 - 1051.95873128206 x921 - 103.492283967315 x922 - 754.966507006407 x923 - 37.964726731012 x924 - 1327.07811439739 x925 - 136.102448084242 x926 - 534.571149282401 x927 - 1066.71860310105 x928 - 1399.01115250218 x929 - 422.898283543567 x930 - 171.758080646066 x931 - 778.357362724493 x932 - 1468.12060977496 x933 - 1702.97767554274 x934 - 1214.92246022614 x935 - 646.729241779069 x936 - 3121.79764125251 x937 - 585.057441094781 x938 - 1399.93050725177 x939 - 283.487145066468 x940 - 1162.08776336195 x941 - 1498.91196514819 x942 - 1160.93435688825 x943 - 1192.9247863336 x944 - 1092.24887841506 x945 - 1234.63924391755 x946 - 1788.17352044971 x947 - 1438.80694549533 x948 - 1497.1019285498 x949 - 1541.21911134655 x950 - 1530.67368072988 x951 - 2013.92885960985 x952 Subject To c1: x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 <= 1 c2: x11 + x12 + x13 <= 1 c3: x14 + x15 + x16 + x17 + x18 + x19 <= 1 c4: x20 + x21 + x22 + x23 + x24 + x25 + x26 <= 1 c5: x27 + x28 + x29 + x30 + x31 + x32 <= 1 c6: x34 + x35 + x36 <= 1 c7: x37 + x38 + x39 <= 1 c8: x40 + x41 + x42 + x43 + x44 <= 1 c9: x45 + x46 + x47 + x48 + x49 + x50 + x51 + x52 + x53 + x54 <= 1 c10: x55 + x56 + x57 + x58 + x59 + x60 + x61 + x62 + x63 + x64 + x65 + x66 + x67 + x68 + x69 + x70 + x71 + x72 + x73 + x74 + x75 + x76 + x77 <= 1 c11: x79 + x80 + x81 + x82 + x83 + x84 + x85 + x86 + x87 + x88 + x89 + x90 + x91 + x92 + x93 + x94 + x95 <= 1 c12: x96 + x97 + x98 + x99 + x100 + x101 + x102 + x103 + x104 + x105 + x106 + x107 + x108 + x109 + x110 + x111 + x112 + x113 + x114 + x115 + x116 + x117 + x118 + x119 + x120 + x121 + x122 + x123 <= 1 c13: x124 + x125 + x126 + x127 + x128 + x129 + x130 + x131 + x132 + x133 + x134 + x135 + x136 + x137 + x138 + x139 + x140 + x141 + x142 + x143 + x144 + x145 + x146 + x147 + x148 <= 1 c14: x149 + x150 + x151 + x152 + x153 <= 1 c15: x154 + x155 + x156 + x157 + x158 + x159 + x160 + x161 + x162 + x163 + x164 + x165 + x166 + x167 + x168 + x169 + x170 + x171 + x172 + x173 + x174 + x175 + x176 + x177 + x178 + x179 + x180 + x181 <= 1 c16: x182 + x183 + x184 + x185 + x186 + x187 + x188 + x189 + x190 + x191 + x192 + x193 + x194 + x195 + x196 + x197 + x198 + x199 + x200 + x201 + x202 + x203 + x204 + x205 + x206 + x207 + x208 + x209 <= 1 c17: x210 + x211 + x212 <= 1 c18: x213 + x214 + x215 + x216 + x217 + x218 + x219 + x220 + x221 + x222 + x223 + x224 + x225 + x226 + x227 + x228 + x229 + x230 + x231 + x232 + x233 + x234 + x235 <= 1 c19: x236 + x237 + x238 + x239 + x240 + x241 + x242 + x243 + x244 + x245 + x246 + x247 + x248 + x249 + x250 + x251 + x252 + x253 + x254 + x255 + x256 <= 1 c20: x258 + x259 + x260 + x261 + x262 <= 1 c21: x264 + x265 + x266 <= 1 c22: x267 + x268 + x269 + x270 <= 1 c23: x271 + x272 + x273 <= 1 c24: x274 + x275 + x276 + x277 + x278 + x279 <= 1 c25: x281 + x282 + x283 + x284 + x285 + x286 + x287 + x288 + x289 + x290 + x291 + x292 + x293 + x294 + x295 + x296 + x297 + x298 + x299 + x300 + x301 <= 1 c26: x302 + x303 + x304 + x305 + x306 + x307 + x308 + x309 + x310 + x311 + x312 + x313 + x314 + x315 + x316 + x317 + x318 <= 1 c27: x319 + x320 + x321 + x322 + x323 + x324 + x325 + x326 + x327 + x328 + x329 + x330 + x331 + x332 + x333 + x334 + x335 + x336 + x337 + x338 + x339 + x340 + x341 + x342 + x343 + x344 + x345 + x346 <= 1 c28: x347 + x348 + x349 + x350 + x351 + x352 + x353 + x354 + x355 + x356 + x357 + x358 + x359 + x360 + x361 + x362 + x363 + x364 + x365 + x366 + x367 + x368 + x369 + x370 <= 1 c29: x371 + x372 + x373 + x374 + x375 <= 1 c30: x376 + x377 + x378 + x379 + x380 + x381 + x382 + x383 + x384 + x385 + x386 + x387 + x388 + x389 + x390 + x391 + x392 + x393 + x394 + x395 + x396 + x397 + x398 + x399 + x400 + x401 + x402 <= 1 c31: x403 + x404 + x405 + x406 + x407 + x408 + x409 + x410 + x411 + x412 + x413 + x414 + x415 + x416 + x417 + x418 + x419 + x420 + x421 + x422 + x423 + x424 + x425 + x426 + x427 + x428 + x429 + x430 <= 1 c32: x431 + x432 + x433 + x434 + x435 + x436 + x437 <= 1 c33: x438 + x439 + x440 + x441 + x442 + x443 + x444 + x445 + x446 + x447 + x448 + x449 + x450 + x451 + x452 + x453 + x454 <= 1 c34: x456 + x457 + x458 + x459 + x460 + x461 + x462 + x463 + x464 + x465 + x466 + x467 + x468 + x469 + x470 + x471 + x472 <= 1 c35: x473 + x474 + x475 + x476 + x477 + x478 + x479 + x480 + x481 + x482 + x483 + x484 + x485 + x486 + x487 <= 1 c36: x488 + x489 + x490 + x491 + x492 + x493 <= 1 c37: x495 + x496 + x497 + x498 + x499 + x500 + x501 + x502 + x503 + x504 + x505 + x506 + x507 + x508 + x509 <= 1 c38: x510 + x511 + x512 + x513 + x514 + x515 + x516 + x517 + x518 + x519 + x520 + x521 + x522 + x523 + x524 <= 1 c39: x525 + x526 + x527 + x528 + x529 + x530 <= 1 c40: x531 + x532 + x533 + x534 + x535 + x536 + x537 + x538 + x539 + x540 + x541 + x542 + x543 + x544 + x545 + x546 + x547 + x548 + x549 + x550 + x551 + x552 + x553 + x554 + x555 + x556 + x557 + x558 <= 1 c41: x559 + x560 + x561 + x562 + x563 <= 1 c42: x564 + x565 + x566 + x567 + x568 + x569 + x570 + x571 + x572 + x573 + x574 + x575 + x576 + x577 + x578 + x579 + x580 + x581 + x582 + x583 + x584 + x585 + x586 + x587 + x588 + x589 + x590 + x591 <= 1 c43: x592 + x593 + x594 + x595 + x596 + x597 + x598 + x599 + x600 + x601 + x602 + x603 + x604 + x605 + x606 <= 1 c44: x607 + x608 <= 1 c45: x609 + x610 + x611 + x612 + x613 + x614 + x615 + x616 + x617 + x618 + x619 + x620 + x621 + x622 + x623 <= 1 c46: x625 + x626 + x627 + x628 + x629 + x630 + x631 + x632 + x633 + x634 + x635 + x636 + x637 + x638 + x639 + x640 + x641 + x642 + x643 + x644 + x645 + x646 + x647 + x648 + x649 <= 1 c47: x651 + x652 + x653 + x654 + x655 + x656 + x657 + x658 + x659 + x660 + x661 + x662 + x663 + x664 + x665 + x666 + x667 + x668 + x669 + x670 + x671 + x672 + x673 + x674 <= 1 c48: x675 + x676 + x677 + x678 + x679 + x680 <= 1 c49: x681 + x682 <= 1 c50: x683 + x684 + x685 + x686 + x687 + x688 + x689 + x690 + x691 <= 1 c51: x694 + x695 + x696 <= 1 c52: x697 + x698 + x699 + x700 + x701 <= 1 c53: x702 + x703 + x704 <= 1 c54: x705 + x706 + x707 + x708 + x709 <= 1 c55: x711 + x712 + x713 + x714 + x715 + x716 + x717 + x718 + x719 + x720 + x721 + x722 + x723 + x724 + x725 <= 1 c56: x726 + x727 + x728 + x729 + x730 + x731 + x732 + x733 + x734 <= 1 c57: x735 + x736 + x737 + x738 + x739 + x740 + x741 + x742 + x743 + x744 + x745 + x746 + x747 + x748 + x749 <= 1 c58: x750 + x751 + x752 + x753 + x754 + x755 + x756 + x757 + x758 + x759 + x760 + x761 + x762 + x763 + x764 <= 1 c59: x765 + x766 + x767 <= 1 c60: x768 + x769 + x770 + x771 + x772 + x773 + x774 + x775 + x776 + x777 + x778 + x779 + x780 + x781 + x782 + x783 + x784 + x785 + x786 + x787 + x788 + x789 + x790 + x791 + x792 + x793 + x794 + x795 <= 1 c61: x796 + x797 + x798 + x799 <= 1 c62: x800 + x801 + x802 + x803 + x804 + x805 + x806 + x807 + x808 + x809 + x810 + x811 + x812 + x813 + x814 + x815 + x816 + x817 + x818 + x819 + x820 + x821 + x822 + x823 + x824 + x825 + x826 <= 1 c63: x827 + x828 + x829 + x830 + x831 + x832 + x833 + x834 + x835 + x836 + x837 + x838 + x839 + x840 + x841 <= 1 c64: x843 + x844 + x845 + x846 + x847 + x848 + x849 + x850 + x851 + x852 + x853 + x854 + x855 + x856 + x857 <= 1 c65: x858 + x859 + x860 + x861 + x862 <= 1 c66: x863 + x864 + x865 + x866 + x867 + x868 + x869 + x870 + x871 + x872 + x873 + x874 + x875 + x876 + x877 + x878 + x879 + x880 + x881 + x882 + x883 + x884 + x885 + x886 + x887 + x888 + x889 + x890 <= 1 c67: x891 + x892 + x893 <= 1 c68: x894 + x895 + x896 + x897 + x898 + x899 + x900 + x901 + x902 + x903 + x904 + x905 + x906 + x907 + x908 + x909 + x910 + x911 + x912 + x913 + x914 + x915 + x916 + x917 + x918 + x919 + x920 + x921 <= 1 c69: x922 + x923 + x924 + x925 + x926 + x927 + x928 + x929 + x930 + x931 + x932 + x933 + x934 + x935 + x936 <= 1 c70: x938 + x939 + x940 + x941 + x942 + x943 + x944 + x945 + x946 + x947 + x948 + x949 + x950 + x951 + x952 <= 1 c71: 0.107602423980481 x1 + 0.107602423980481 x4 + 0.107602423980481 x5 + 0.107602423980481 x6 + 0.107602423980481 x7 + 0.107602423980481 x9 + 0.171936031910546 x14 + 0.0549957999840905 x17 + 0.0898705451234767 x45 + 0.0898705451234767 x46 + 0.0898705451234767 x47 + 0.0898705451234767 x48 + 0.0898705451234767 x49 + 0.0898705451234767 x50 + 0.147647537580496 x58 + 0.147647537580496 x59 + 0.147647537580496 x60 + 0.147647537580496 x61 + 0.147647537580496 x62 + 0.147647537580496 x63 + 0.147647537580496 x64 + 0.102511394210695 x78 + 0.0175068400370825 x82 + 0.0175068400370825 x83 + 0.0175068400370825 x84 + 0.0175068400370825 x85 + 0.0175068400370825 x86 + 0.0175068400370825 x87 + 0.00405249863276126 x99 + 0.00405249863276126 x100 + 0.00405249863276126 x101 + 0.00405249863276126 x102 + 0.00405249863276126 x103 + 0.00405249863276126 x104 + 0.00405249863276126 x105 + 0.0131443872221738 x127 + 0.0131443872221738 x128 + 0.0131443872221738 x129 + 0.0131443872221738 x130 + 0.0131443872221738 x131 + 0.0131443872221738 x132 + 0.0131443872221738 x133 + 0.116053207906193 x149 + 0.116053207906193 x150 + 0.116053207906193 x151 + 0.116053207906193 x152 + 0.000244131396888708 x157 + 0.000244131396888708 x158 + 0.000244131396888708 x159 + 0.000244131396888708 x160 + 0.000244131396888708 x161 + 0.000244131396888708 x162 + 0.000244131396888708 x163 + 0.0272251245064746 x185 + 0.0272251245064746 x186 + 0.0272251245064746 x187 + 0.0272251245064746 x188 + 0.0272251245064746 x189 + 0.0272251245064746 x190 + 0.0272251245064746 x191 + 0.333293413247259 x213 + 0.333293413247259 x217 + 0.333293413247259 x222 + 0.333293413247259 x224 + 0.333293413247259 x228 + 0.333293413247259 x232 + 0.333293413247259 x234 + 0.160398872888432 x236 + 0.0513055014299462 x239 + 0.160398872888432 x241 + 0.160398872888432 x247 + 0.160398872888432 x251 + 0.160398872888432 x254 + 0.118293993431884 x274 + 0.369828238436645 x276 + 0.395723864592989 x280 + 0.12437459442549 x284 + 0.12437459442549 x285 + 0.12437459442549 x286 + 0.12437459442549 x287 + 0.12437459442549 x288 + 0.388838315692989 x290 + 0.0104434022162561 x305 + 0.0104434022162561 x306 + 0.0104434022162561 x307 + 0.0104434022162561 x308 + 0.0326497139277602 x311 + 0.00176378299113578 x323 + 0.00176378299113578 x324 + 0.00176378299113578 x325 + 0.00176378299113578 x326 + 0.00176378299113578 x327 + 0.00176378299113578 x328 + 0.00551420015228303 x332 + 0.0103392833770051 x350 + 0.0103392833770051 x351 + 0.0103392833770051 x352 + 0.0103392833770051 x353 + 0.0103392833770051 x354 + 0.0103392833770051 x355 + 0.0323242021600776 x358 + 0.0237849100593042 x371 + 0.0743599157777323 x373 + 0.000301691401212576 x379 + 0.000301691401212576 x380 + 0.000301691401212576 x381 + 0.000301691401212576 x382 + 0.000301691401212576 x383 + 0.000301691401212576 x384 + 0.000943192432895392 x388 + 0.0219335738393352 x406 + 0.0219335738393352 x407 + 0.0219335738393352 x408 + 0.0219335738393352 x409 + 0.0219335738393352 x410 + 0.0219335738393352 x411 + 0.068571993727579 x415 + 0.198010488318868 x438 + 0.198010488318868 x441 + 0.198010488318868 x444 + 0.198010488318868 x446 + 0.198010488318868 x450 + 0.198010488318868 x453 + 0.0990510038665636 x456 + 0.031682650438874 x458 + 0.0990510038665636 x460 + 0.0990510038665636 x464 + 0.0990510038665636 x471 + 0.00434428327264778 x531 + 0.00434428327264778 x536 + 0.00434428327264778 x540 + 0.00434428327264778 x541 + 0.00434428327264778 x545 + 0.00434428327264778 x550 + 0.00434428327264778 x553 + 0.0027343303575718 x564 + 0.000874608328251306 x567 + 0.0027343303575718 x569 + 0.0027343303575718 x574 + 0.0027343303575718 x578 + 0.0027343303575718 x583 + 0.0027343303575718 x586 + 0.0452152646918105 x625 + 0.0452152646918105 x630 + 0.0452152646918105 x634 + 0.0452152646918105 x635 + 0.0452152646918105 x639 + 0.0452152646918105 x645 + 0.0452152646918105 x648 + 0.0407950383457428 x651 + 0.0130487818305185 x654 + 0.0407950383457428 x656 + 0.0407950383457428 x660 + 0.0407950383457428 x664 + 0.0407950383457428 x670 + 0.0407950383457428 x673 + 0.484003601274283 x697 + 0.484003601274283 x698 + 0.484003601274283 x699 + 0.484003601274283 x700 + 0.0343915141984736 x706 + 0.10751985577792 x708 + 0.00728608966317171 x768 + 0.00728608966317171 x773 + 0.00728608966317171 x777 + 0.00728608966317171 x778 + 0.00728608966317171 x782 + 0.00728608966317171 x787 + 0.00728608966317171 x790 + 0.00179653704994846 x800 + 0.000574643901950568 x803 + 0.00179653704994846 x805 + 0.00179653704994846 x809 + 0.00179653704994846 x813 + 0.00179653704994846 x818 + 0.00179653704994846 x821 + 0.0993664205355804 x863 + 0.0993664205355804 x868 + 0.0993664205355804 x872 + 0.0993664205355804 x873 + 0.0993664205355804 x877 + 0.0993664205355804 x882 + 0.0993664205355804 x885 + 0.0468968776426337 x938 + 0.0468968776426337 x939 + 0.0226752138119447 x940 + 0.0226752138119447 x944 + 0.0226752138119447 x948 <= 2 c72: 0.0493766230522836 x4 + 0.0840580316969968 x11 + 0.0840580316969968 x13 + 0.00717569260114603 x20 + 0.0103247599092575 x24 + 0.00735033177250232 x27 + 0.0105760398365383 x30 + 0.00735033177250232 x31 + 0.0500651650736339 x40 + 0.0720363647015839 x43 + 0.089606176349 x46 + 0.147213208418355 x55 + 0.147213208418355 x59 + 0.147213208418355 x66 + 0.147213208418355 x71 + 0.147213208418355 x73 + 0.147213208418355 x75 + 0.017455340829648 x79 + 0.017455340829648 x83 + 0.0251156526927578 x88 + 0.017455340829648 x90 + 0.017455340829648 x94 + 0.00404057755121402 x96 + 0.00404057755121402 x100 + 0.00581379323639888 x106 + 0.00581379323639888 x107 + 0.00404057755121402 x109 + 0.00404057755121402 x115 + 0.00404057755121402 x120 + 0.01310572087675 x124 + 0.01310572087675 x128 + 0.0188571931674687 x134 + 0.01310572087675 x136 + 0.01310572087675 x142 + 0.01310572087675 x145 + 0.000243413244816546 x154 + 0.000243413244816546 x158 + 0.000350235642906828 x164 + 0.000350235642906828 x165 + 0.000243413244816546 x167 + 0.000243413244816546 x173 + 0.000243413244816546 x178 + 0.0271450373901579 x182 + 0.0271450373901579 x186 + 0.039057692317594 x192 + 0.039057692317594 x193 + 0.0271450373901579 x195 + 0.0271450373901579 x201 + 0.0271450373901579 x206 + 0.151509378927147 x210 + 0.151509378927147 x211 + 0.152941751894958 x216 + 0.152941751894958 x217 + 0.152941751894958 x218 + 0.152941751894958 x219 + 0.152941751894958 x220 + 0.152941751894958 x221 + 0.0736038686829204 x240 + 0.0736038686829204 x241 + 0.0736038686829204 x242 + 0.0736038686829204 x243 + 0.0736038686829204 x244 + 0.0736038686829204 x245 + 0.190081544628028 x257 + 0.0390982101851497 x259 + 0.0390982101851497 x260 + 0.0390982101851497 x261 + 0.0975726696306559 x263 + 0.0956714762456164 x264 + 0.0956714762456164 x265 + 0.0681316786201687 x267 + 0.0681316786201687 x268 + 0.0681316786201687 x269 + 0.181840778327484 x271 + 0.181840778327484 x272 + 0.124008726397661 x281 + 0.124008726397661 x285 + 0.124008726397661 x291 + 0.124008726397661 x296 + 0.124008726397661 x297 + 0.124008726397661 x299 + 0.0104126812559961 x302 + 0.0104126812559961 x306 + 0.0149823076259727 x309 + 0.0104126812559961 x312 + 0.0104126812559961 x317 + 0.00175859453759776 x319 + 0.00175859453759776 x324 + 0.0025303573310162 x329 + 0.0025303573310162 x330 + 0.00175859453759776 x333 + 0.00175859453759776 x338 + 0.00175859453759776 x343 + 0.0103088686991862 x347 + 0.0103088686991862 x351 + 0.0148329367172387 x356 + 0.0103088686991862 x359 + 0.0103088686991862 x364 + 0.0103088686991862 x367 + 0.000300803927058512 x376 + 0.000300803927058512 x380 + 0.000432812342901216 x385 + 0.000432812342901216 x386 + 0.000300803927058512 x389 + 0.000300803927058512 x394 + 0.000300803927058512 x399 + 0.0218690526769473 x403 + 0.0218690526769473 x407 + 0.0314663309708005 x412 + 0.0314663309708005 x413 + 0.0218690526769473 x416 + 0.0218690526769473 x422 + 0.0218690526769473 x427 + 0.026006463719635 x431 + 0.0180744531529139 x433 + 0.0908630947188783 x440 + 0.0908630947188783 x441 + 0.0908630947188783 x442 + 0.0908630947188783 x443 + 0.0631497141068509 x447 + 0.146871157784363 x455 + 0.0454525455835156 x459 + 0.0454525455835156 x460 + 0.0454525455835156 x461 + 0.0454525455835156 x462 + 0.0315894507875623 x465 + 0.00568117044775589 x475 + 0.00568117044775589 x476 + 0.00568117044775589 x477 + 0.00394840491266622 x479 + 0.00394840491266622 x485 + 0.017906605717739 x489 + 0.0124450640295479 x491 + 0.0250056860485715 x497 + 0.0250056860485715 x498 + 0.0250056860485715 x499 + 0.0173789141774067 x501 + 0.0173789141774067 x507 + 0.0297074729504763 x512 + 0.0297074729504763 x513 + 0.0297074729504763 x514 + 0.0206466489993963 x516 + 0.0206466489993963 x522 + 0.00480992903865572 x525 + 0.00480992903865572 x526 + 0.00334289344430882 x529 + 0.00199350562608869 x535 + 0.00199350562608869 x536 + 0.00199350562608869 x537 + 0.00199350562608869 x538 + 0.00199350562608869 x539 + 0.00138548341048023 x546 + 0.00138548341048023 x554 + 0.00700609055393403 x559 + 0.00700609055393403 x560 + 0.00700609055393403 x562 + 0.00125473009223965 x568 + 0.00125473009223965 x569 + 0.00125473009223965 x570 + 0.00125473009223965 x571 + 0.00125473009223965 x572 + 0.000872035526099397 x579 + 0.000872035526099397 x587 + 0.000418349974554345 x592 + 0.00060194371267071 x595 + 0.00060194371267071 x596 + 0.000418349974554345 x598 + 0.000418349974554345 x603 + 0.00686786003328808 x607 + 0.00129680535941373 x611 + 0.00129680535941373 x612 + 0.00129680535941373 x613 + 0.000901277773474235 x616 + 0.000901277773474235 x620 + 0.0207483902156492 x629 + 0.0207483902156492 x630 + 0.0207483902156492 x631 + 0.0207483902156492 x632 + 0.0207483902156492 x633 + 0.0144200999795289 x640 + 0.0709877652327494 x650 + 0.018720035815983 x655 + 0.018720035815983 x656 + 0.018720035815983 x657 + 0.018720035815983 x658 + 0.018720035815983 x659 + 0.0130103967238497 x665 + 0.00541690880302405 x676 + 0.0037647434672152 x678 + 0.0122661130695482 x681 + 0.027831997679598 x685 + 0.027831997679598 x686 + 0.0193431965081857 x689 + 0.0424232643165405 x702 + 0.0424232643165405 x703 + 0.00190069807691906 x711 + 0.00273482329789915 x714 + 0.00273482329789915 x715 + 0.00190069807691906 x717 + 0.00190069807691906 x722 + 0.0146596390469245 x727 + 0.0101884270790809 x729 + 0.0101884270790809 x732 + 0.00271455480657007 x737 + 0.00271455480657007 x738 + 0.00271455480657007 x739 + 0.00188661150594359 x741 + 0.00188661150594359 x746 + 0.0115926269339253 x750 + 0.0166800748670942 x753 + 0.0166800748670942 x754 + 0.0115926269339253 x756 + 0.0115926269339253 x761 + 0.00334344236416858 x772 + 0.00334344236416858 x773 + 0.00334344236416858 x774 + 0.00334344236416858 x775 + 0.00334344236416858 x776 + 0.00232368741218003 x783 + 0.00232368741218003 x791 + 0.156335479388832 x796 + 0.156335479388832 x797 + 0.156335479388832 x798 + 0.000824395301084088 x804 + 0.000824395301084088 x805 + 0.000824395301084088 x806 + 0.000824395301084088 x807 + 0.000824395301084088 x808 + 0.000572953493776116 x814 + 0.000572953493776116 x822 + 0.00295749910082478 x827 + 0.00425540360284997 x830 + 0.00425540360284997 x831 + 0.00295749910082478 x833 + 0.00295749910082478 x838 + 0.00426706812562042 x843 + 0.0061396796605306 x846 + 0.0061396796605306 x847 + 0.00426706812562042 x850 + 0.00426706812562042 x854 + 0.0987672184470964 x858 + 0.0686430682045344 x861 + 0.0455972840512408 x867 + 0.0455972840512408 x868 + 0.0455972840512408 x869 + 0.0455972840512408 x870 + 0.0455972840512408 x871 + 0.0316900438048417 x878 + 0.0316900438048417 x886 + 0.126589821511729 x891 + 0.126589821511729 x892 + 0.0428562755191303 x894 + 0.0137080932386495 x898 + 0.0196658967656413 x899 + 0.0428562755191303 x900 + 0.0196658967656413 x900 + 0.0196658967656413 x901 + 0.0196658967656413 x902 + 0.0196658967656413 x903 + 0.0428562755191303 x904 + 0.0428562755191303 x908 + 0.0136677686606141 x909 + 0.0428562755191303 x913 + 0.0428562755191303 x916 + 0.0136677686606141 x917 <= 2 c73: 0.0486245938222289 x2 + 0.0936620613372241 x5 + 0.0486245938222289 x8 + 0.0486245938222289 x10 + 0.0776963882948641 x15 + 0.0776963882948641 x17 + 0.0776963882948641 x18 + 0.0776963882948641 x19 + 0.126966364198807 x47 + 0.244566184651943 x51 + 0.244566184651943 x52 + 0.244566184651943 x53 + 0.208591936365201 x60 + 0.401795659408807 x65 + 0.401795659408807 x66 + 0.401795659408807 x67 + 0.401795659408807 x68 + 0.401795659408807 x69 + 0.401795659408807 x70 + 0.144824970116739 x78 + 0.0247331294704455 x84 + 0.0476416501902655 x89 + 0.0476416501902655 x90 + 0.0476416501902655 x91 + 0.0476416501902655 x92 + 0.0476416501902655 x93 + 0.00572524642657277 x101 + 0.0110281308248428 x108 + 0.0110281308248428 x109 + 0.0110281308248428 x110 + 0.0110281308248428 x111 + 0.0110281308248428 x112 + 0.0110281308248428 x113 + 0.0185699892320415 x129 + 0.0357700359789522 x135 + 0.0357700359789522 x136 + 0.0357700359789522 x137 + 0.0357700359789522 x138 + 0.0357700359789522 x139 + 0.0357700359789522 x140 + 0.163956431344804 x150 + 0.31581749320915 x153 + 0.00034490138907189 x159 + 0.000664358764139994 x166 + 0.000664358764139994 x167 + 0.000664358764139994 x168 + 0.000664358764139994 x169 + 0.000664358764139994 x170 + 0.000664358764139994 x171 + 0.0384628252638019 x187 + 0.0740881766998792 x194 + 0.0740881766998792 x195 + 0.0740881766998792 x196 + 0.0740881766998792 x197 + 0.0740881766998792 x198 + 0.0740881766998792 x199 + 0.15061237696385 x214 + 0.15061237696385 x218 + 0.290113800043391 x222 + 0.15061237696385 x225 + 0.15061237696385 x229 + 0.15061237696385 x233 + 0.15061237696385 x235 + 0.0724828470886317 x237 + 0.0724828470886317 x239 + 0.0724828470886317 x242 + 0.0724828470886317 x248 + 0.0724828470886317 x252 + 0.0724828470886317 x255 + 0.0724828470886317 x256 + 0.321915379517603 x275 + 0.321915379517603 x276 + 0.321915379517603 x277 + 0.321915379517603 x278 + 0.344456114528008 x280 + 0.338462618475083 x289 + 0.338462618475083 x290 + 0.338462618475083 x291 + 0.338462618475083 x292 + 0.338462618475083 x293 + 0.338462618475083 x294 + 0.338462618475083 x295 + 0.0284198012964784 x310 + 0.0284198012964784 x311 + 0.0284198012964784 x312 + 0.0284198012964784 x313 + 0.0284198012964784 x314 + 0.0284198012964784 x315 + 0.00479981150780163 x331 + 0.00479981150780163 x332 + 0.00479981150780163 x333 + 0.00479981150780163 x334 + 0.00479981150780163 x335 + 0.00479981150780163 x336 + 0.00479981150780163 x337 + 0.0281364609959271 x357 + 0.0281364609959271 x358 + 0.0281364609959271 x359 + 0.0281364609959271 x360 + 0.0281364609959271 x361 + 0.0281364609959271 x362 + 0.0281364609959271 x363 + 0.0647262648457452 x372 + 0.0647262648457452 x373 + 0.0647262648457452 x374 + 0.0647262648457452 x375 + 0.000820997745540368 x387 + 0.000820997745540368 x388 + 0.000820997745540368 x389 + 0.000820997745540368 x390 + 0.000820997745540368 x391 + 0.000820997745540368 x392 + 0.000820997745540368 x393 + 0.0596881933040216 x414 + 0.0596881933040216 x415 + 0.0596881933040216 x416 + 0.0596881933040216 x417 + 0.0596881933040216 x418 + 0.0596881933040216 x419 + 0.0596881933040216 x420 + 0.0894792069813659 x439 + 0.0894792069813659 x442 + 0.172357367206707 x444 + 0.0894792069813659 x448 + 0.0894792069813659 x451 + 0.0894792069813659 x454 + 0.0447602819019146 x457 + 0.0447602819019146 x458 + 0.0447602819019146 x461 + 0.0447602819019146 x466 + 0.0447602819019146 x469 + 0.0447602819019146 x472 + 0.00196314359627734 x532 + 0.00196314359627734 x537 + 0.00378146245499844 x540 + 0.00196314359627734 x542 + 0.00196314359627734 x547 + 0.00196314359627734 x551 + 0.00196314359627734 x555 + 0.00123561996184061 x565 + 0.00123561996184061 x567 + 0.00123561996184061 x570 + 0.00123561996184061 x575 + 0.00123561996184061 x580 + 0.00123561996184061 x584 + 0.00123561996184061 x588 + 0.020432382458249 x626 + 0.020432382458249 x631 + 0.0393574302351348 x634 + 0.020432382458249 x636 + 0.020432382458249 x641 + 0.020432382458249 x646 + 0.020432382458249 x649 + 0.0184349208516327 x652 + 0.0184349208516327 x654 + 0.0184349208516327 x657 + 0.0184349208516327 x661 + 0.0184349208516327 x666 + 0.0184349208516327 x671 + 0.0184349208516327 x674 + 0.4212988268574 x698 + 0.218716992144407 x701 + 0.0189654999069275 x922 + 0.0272885481558669 x925 + 0.0272885481558669 x926 + 0.0189654999069275 x928 + 0.0189654999069275 x933 + 0.027523160748986 x940 + 0.027523160748986 x941 + 0.027523160748986 x942 + 0.0191285553061209 x945 + 0.0191285553061209 x949 <= 2 c74: 0.0708436665296636 x6 + 0.0193516394309766 x21 + 0.0193516394309766 x24 + 0.0193516394309766 x25 + 0.0193516394309766 x26 + 0.0727869144340838 x34 + 0.0557179530204163 x36 + 0.241652828776056 x48 + 0.397009332358276 x56 + 0.397009332358276 x61 + 0.397009332358276 x67 + 0.303908298641204 x71 + 0.303908298641204 x72 + 0.397009332358276 x76 + 0.0470741265904011 x80 + 0.0470741265904011 x85 + 0.0470741265904011 x88 + 0.0470741265904011 x91 + 0.0470741265904011 x95 + 0.0108967599659305 x102 + 0.0108967599659305 x110 + 0.00834140538278079 x114 + 0.00834140538278079 x115 + 0.00834140538278079 x116 + 0.00834140538278079 x117 + 0.0108967599659305 x121 + 0.0353439311000283 x130 + 0.0353439311000283 x137 + 0.0270555704675681 x141 + 0.0270555704675681 x142 + 0.0270555704675681 x143 + 0.0353439311000283 x146 + 0.312055367423615 x151 + 0.000656444695758222 x160 + 0.000656444695758222 x168 + 0.000502504536744462 x172 + 0.000502504536744462 x173 + 0.000502504536744462 x174 + 0.000502504536744462 x175 + 0.000656444695758222 x179 + 0.0732056130485324 x188 + 0.0732056130485324 x196 + 0.0560384643363711 x200 + 0.0560384643363711 x201 + 0.0560384643363711 x202 + 0.0560384643363711 x203 + 0.0732056130485324 x207 + 0.286657865424976 x219 + 0.219434902590162 x223 + 0.219434902590162 x224 + 0.219434902590162 x225 + 0.219434902590162 x226 + 0.286657865424976 x230 + 0.137955317120712 x243 + 0.105603980303485 x246 + 0.105603980303485 x247 + 0.105603980303485 x248 + 0.105603980303485 x249 + 0.356268770068593 x257 + 0.17931650986619 x264 + 0.137265729014484 x266 + 0.334430736227314 x282 + 0.334430736227314 x286 + 0.334430736227314 x292 + 0.256004752977564 x296 + 0.334430736227314 x300 + 0.0280812549221442 x303 + 0.0280812549221442 x307 + 0.0280812549221442 x309 + 0.0280812549221442 x313 + 0.0280812549221442 x316 + 0.0280812549221442 x318 + 0.00474263451467273 x320 + 0.00474263451467273 x325 + 0.00474263451467273 x334 + 0.00363045870450857 x338 + 0.00363045870450857 x339 + 0.00363045870450857 x340 + 0.00474263451467273 x344 + 0.0278012898679732 x352 + 0.0278012898679732 x360 + 0.0212817231615652 x364 + 0.0212817231615652 x365 + 0.0278012898679732 x368 + 0.0639552234841564 x374 + 0.000811217740142384 x381 + 0.000811217740142384 x390 + 0.000620982387919664 x394 + 0.000620982387919664 x395 + 0.000620982387919664 x396 + 0.000811217740142384 x400 + 0.0589771671704175 x408 + 0.0589771671704175 x417 + 0.0451466730692982 x421 + 0.0451466730692982 x422 + 0.0451466730692982 x423 + 0.0451466730692982 x424 + 0.0589771671704175 x428 + 0.0373130669835148 x432 + 0.0373130669835148 x433 + 0.0373130669835148 x434 + 0.0373130669835148 x435 + 0.130366849415794 x445 + 0.130366849415794 x446 + 0.130366849415794 x447 + 0.130366849415794 x448 + 0.130366849415794 x449 + 0.303202166172912 x455 + 0.0652135521465961 x463 + 0.0652135521465961 x464 + 0.0652135521465961 x465 + 0.0652135521465961 x466 + 0.0652135521465961 x467 + 0.0652135521465961 x468 + 0.00815112334176495 x478 + 0.00815112334176495 x479 + 0.00815112334176495 x480 + 0.00815112334176495 x481 + 0.00815112334176495 x482 + 0.0256917044084286 x490 + 0.0256917044084286 x491 + 0.0256917044084286 x492 + 0.056436038955551 x494 + 0.0358771899385398 x500 + 0.0358771899385398 x501 + 0.0358771899385398 x502 + 0.0358771899385398 x503 + 0.0358771899385398 x504 + 0.0426231316976468 x515 + 0.0426231316976468 x516 + 0.0426231316976468 x517 + 0.0426231316976468 x518 + 0.0426231316976468 x519 + 0.00373641638340683 x533 + 0.00373641638340683 x538 + 0.00286020466912235 x541 + 0.00286020466912235 x542 + 0.00286020466912235 x543 + 0.00373641638340683 x548 + 0.00373641638340683 x556 + 0.00235173355522258 x571 + 0.00180023814397426 x573 + 0.00180023814397426 x574 + 0.00180023814397426 x575 + 0.00180023814397426 x576 + 0.00235173355522258 x581 + 0.00235173355522258 x589 + 0.00112821971529842 x593 + 0.00112821971529842 x595 + 0.00112821971529842 x599 + 0.00112821971529842 x601 + 0.00112821971529842 x604 + 0.00243059499185365 x609 + 0.00243059499185365 x612 + 0.00186060610785205 x614 + 0.00243059499185365 x617 + 0.00243059499185365 x621 + 0.0388885910912501 x627 + 0.0388885910912501 x632 + 0.0297689867512479 x635 + 0.0297689867512479 x636 + 0.0297689867512479 x637 + 0.0388885910912501 x642 + 0.0350868578475181 x658 + 0.0268587824113971 x660 + 0.0268587824113971 x661 + 0.0268587824113971 x662 + 0.0350868578475181 x667 + 0.0101528817045532 x675 + 0.0101528817045532 x676 + 0.0101528817045532 x679 + 0.0521653567223813 x683 + 0.0521653567223813 x685 + 0.0399322724111774 x687 + 0.0521653567223813 x690 + 0.0498621183904112 x694 + 0.0651371694048983 x696 + 0.318660012102064 x699 + 0.0875789762329398 x702 + 0.11440842858954 x704 + 0.0485872819740041 x705 + 0.0485872819740041 x706 + 0.0485872819740041 x707 + 0.0707893049828524 x707 + 0.0485872819740041 x709 + 0.0644603144167399 x710 + 0.00392381855536721 x716 + 0.00392381855536721 x717 + 0.00392381855536721 x718 + 0.00392381855536721 x719 + 0.00512586392647505 x723 + 0.021033082375558 x728 + 0.021033082375558 x729 + 0.021033082375558 x730 + 0.0274764790191378 x733 + 0.00389473810895319 x740 + 0.00389473810895319 x741 + 0.00389473810895319 x742 + 0.00389473810895319 x743 + 0.00508787480716791 x747 + 0.0239319254442128 x755 + 0.0239319254442128 x756 + 0.0239319254442128 x757 + 0.0239319254442128 x758 + 0.031263370513854 x762 + 0.00329252016189088 x769 + 0.00626659521948102 x770 + 0.00329252016189088 x774 + 0.00626659521948102 x775 + 0.00634214501584365 x777 + 0.0047970416214471 x778 + 0.00329252016189088 x779 + 0.0047970416214471 x779 + 0.0047970416214471 x780 + 0.00329252016189088 x784 + 0.00626659521948102 x785 + 0.00329252016189088 x788 + 0.00329252016189088 x792 + 0.00626659521948102 x793 + 0.00081183937228194 x801 + 0.00081183937228194 x803 + 0.00081183937228194 x806 + 0.00154515947638321 x807 + 0.00118281045135025 x809 + 0.00081183937228194 x810 + 0.00118281045135025 x810 + 0.00118281045135025 x811 + 0.00081183937228194 x815 + 0.00154515947638321 x816 + 0.00081183937228194 x819 + 0.00081183937228194 x823 + 0.00154515947638321 x824 + 0.00797587904022783 x828 + 0.00797587904022783 x830 + 0.00797587904022783 x834 + 0.00797587904022783 x836 + 0.00797587904022783 x839 + 0.0115075670578798 x844 + 0.0115075670578798 x846 + 0.00880897460340743 x848 + 0.0115075670578798 x851 + 0.0115075670578798 x855 + 0.0449028159345911 x864 + 0.0854627330559292 x865 + 0.0449028159345911 x869 + 0.0854627330559292 x870 + 0.0864930680070198 x872 + 0.0654212172947509 x873 + 0.0449028159345911 x874 + 0.0654212172947509 x874 + 0.0654212172947509 x875 + 0.0449028159345911 x879 + 0.0854627330559292 x880 + 0.0449028159345911 x883 + 0.0449028159345911 x887 + 0.0854627330559292 x888 + 0.0193663758934395 x895 + 0.0368596797058953 x896 + 0.0193663758934395 x898 + 0.0193663758934395 x901 + 0.0368596797058953 x902 + 0.028215867071279 x904 + 0.0193663758934395 x905 + 0.028215867071279 x905 + 0.028215867071279 x906 + 0.0193663758934395 x910 + 0.0368596797058953 x911 + 0.0193663758934395 x914 + 0.0193663758934395 x918 + 0.0368596797058953 x919 + 0.0511467723364383 x923 + 0.0511467723364383 x925 + 0.0511467723364383 x929 + 0.0511467723364383 x931 + 0.0511467723364383 x934 <= 2 c75: 0.0548634380563939 x7 + 0.0548634380563939 x8 + 0.266178543639887 x12 + 0.134386915828158 x13 + 0.0876653284139538 x18 + 0.0227225806698113 x22 + 0.0114720649309874 x25 + 0.0232755938602897 x28 + 0.0117512675145782 x31 + 0.0117512675145782 x32 + 0.103850323425517 x33 + 0.0414073292230646 x37 + 0.0209055290140033 x39 + 0.158536578329927 x41 + 0.080041169045285 x44 + 0.283747323607244 x49 + 0.283747323607244 x52 + 0.466166012102242 x57 + 0.466166012102242 x62 + 0.466166012102242 x68 + 0.466166012102242 x72 + 0.235355606705424 x73 + 0.466166012102242 x77 + 0.0552741612785061 x86 + 0.0552741612785061 x92 + 0.012794911162363 x97 + 0.012794911162363 x103 + 0.012794911162363 x106 + 0.012794911162363 x111 + 0.012794911162363 x116 + 0.00645983190790728 x118 + 0.012794911162363 x122 + 0.0415006350481653 x125 + 0.0415006350481653 x131 + 0.0415006350481653 x134 + 0.0415006350481653 x138 + 0.0415006350481653 x143 + 0.0415006350481653 x147 + 0.0415006350481653 x148 + 0.000770793482786754 x155 + 0.000770793482786754 x161 + 0.000770793482786754 x164 + 0.000770793482786754 x169 + 0.000770793482786754 x174 + 0.000389154427985358 x176 + 0.000770793482786754 x180 + 0.0859575982650645 x183 + 0.0859575982650645 x189 + 0.0859575982650645 x192 + 0.0859575982650645 x197 + 0.0859575982650645 x202 + 0.0433978500478458 x204 + 0.0859575982650645 x208 + 0.333439626215259 x211 + 0.168345360858934 x212 + 0.336591971702844 x220 + 0.169936901566567 x227 + 0.169936901566567 x228 + 0.169936901566567 x229 + 0.169936901566567 x230 + 0.169936901566567 x231 + 0.161986318176588 x244 + 0.081782856756333 x250 + 0.081782856756333 x251 + 0.081782856756333 x252 + 0.081782856756333 x253 + 0.0860467693956471 x260 + 0.0434428703303075 x262 + 0.214736504900565 x263 + 0.149943202284863 x268 + 0.0757025875523678 x270 + 0.400192526598392 x271 + 0.202047237360332 x273 + 0.373488376964809 x277 + 0.392686594306084 x283 + 0.392686594306084 x287 + 0.392686594306084 x293 + 0.198257679128535 x297 + 0.392686594306084 x301 + 0.0329728435956993 x314 + 0.0166471673348138 x316 + 0.00556877342260629 x321 + 0.00556877342260629 x326 + 0.00556877342260629 x329 + 0.00556877342260629 x335 + 0.00556877342260629 x339 + 0.0028115349756453 x341 + 0.00556877342260629 x345 + 0.0326441102834226 x348 + 0.0326441102834226 x353 + 0.0326441102834226 x356 + 0.0326441102834226 x361 + 0.0326441102834226 x365 + 0.0326441102834226 x369 + 0.0326441102834226 x370 + 0.000952527076939088 x377 + 0.000952527076939088 x382 + 0.000952527076939088 x385 + 0.000952527076939088 x391 + 0.000952527076939088 x395 + 0.000480907192451376 x397 + 0.000952527076939088 x401 + 0.069250641191754 x404 + 0.069250641191754 x409 + 0.069250641191754 x412 + 0.069250641191754 x418 + 0.069250641191754 x423 + 0.0349629236136808 x425 + 0.069250641191754 x429 + 0.0572346451636206 x434 + 0.0288963465532515 x436 + 0.100959957578364 x450 + 0.100959957578364 x451 + 0.100031297845839 x467 + 0.050503310371917 x469 + 0.0125030368679406 x473 + 0.0125030368679406 x476 + 0.0125030368679406 x480 + 0.00631247184762377 x483 + 0.0125030368679406 x486 + 0.0394085960855133 x488 + 0.0394085960855133 x489 + 0.0394085960855133 x492 + 0.0394085960855133 x493 + 0.055032148295592 x495 + 0.055032148295592 x498 + 0.055032148295592 x502 + 0.0277843607516612 x505 + 0.055032148295592 x508 + 0.065379772173509 x510 + 0.065379772173509 x513 + 0.065379772173509 x517 + 0.0330086182747784 x520 + 0.065379772173509 x523 + 0.0105856215115401 x526 + 0.00534441659950121 x527 + 0.0105856215115401 x530 + 0.00221502738889576 x544 + 0.00221502738889576 x545 + 0.00221502738889576 x546 + 0.00221502738889576 x547 + 0.00221502738889576 x548 + 0.00221502738889576 x549 + 0.00438727803867942 x557 + 0.0112009153979467 x560 + 0.0221855180594475 x563 + 0.00139415785117973 x577 + 0.00139415785117973 x578 + 0.00139415785117973 x579 + 0.00139415785117973 x580 + 0.00139415785117973 x581 + 0.00139415785117973 x582 + 0.00276139164400245 x590 + 0.000668832729985935 x597 + 0.000668832729985935 x598 + 0.000668832729985935 x599 + 0.000668832729985935 x600 + 0.00132474892298291 x605 + 0.0151146859594708 x607 + 0.0151146859594708 x608 + 0.0014409085941754 x615 + 0.0014409085941754 x616 + 0.0014409085941754 x617 + 0.0014409085941754 x618 + 0.00285399027689752 x622 + 0.0967305459216955 x624 + 0.0230539869071406 x638 + 0.0230539869071406 x639 + 0.0230539869071406 x640 + 0.0230539869071406 x641 + 0.0230539869071406 x642 + 0.0230539869071406 x643 + 0.0230539869071406 x644 + 0.113490961405694 x650 + 0.0208002382892031 x663 + 0.0208002382892031 x664 + 0.0208002382892031 x665 + 0.0208002382892031 x666 + 0.0208002382892031 x667 + 0.0208002382892031 x668 + 0.0208002382892031 x669 + 0.00601884499588313 x677 + 0.00601884499588313 x678 + 0.00601884499588313 x679 + 0.00601884499588313 x680 + 0.0196103224324598 x681 + 0.0196103224324598 x682 + 0.0309247369765135 x688 + 0.0309247369765135 x689 + 0.0309247369765135 x690 + 0.0309247369765135 x691 + 0.0477723425512152 x692 + 0.0847439431765073 x693 + 0.00601875913341814 x712 + 0.00601875913341814 x714 + 0.00601875913341814 x718 + 0.00303872155130167 x720 + 0.00601875913341814 x724 + 0.0322627193040476 x726 + 0.0322627193040476 x727 + 0.0322627193040476 x730 + 0.0322627193040476 x734 + 0.00597415253400776 x735 + 0.00597415253400776 x738 + 0.00597415253400776 x742 + 0.0030162007904681 x744 + 0.00597415253400776 x748 + 0.0367092649201659 x751 + 0.0367092649201659 x753 + 0.0367092649201659 x757 + 0.0185335933823954 x759 + 0.0367092649201659 x763 + 0.0746494042226746 x765 + 0.147857174763836 x767 + 0.00371497141162234 x781 + 0.00371497141162234 x782 + 0.00371497141162234 x783 + 0.00371497141162234 x784 + 0.00371497141162234 x785 + 0.00371497141162234 x786 + 0.00735819907701357 x794 + 0.249939743834524 x797 + 0.495052636647091 x799 + 0.000916003520271468 x812 + 0.000916003520271468 x813 + 0.000916003520271468 x814 + 0.000916003520271468 x815 + 0.000916003520271468 x816 + 0.000916003520271468 x817 + 0.00181431712672568 x825 + 0.00472827134659865 x832 + 0.00472827134659865 x833 + 0.00472827134659865 x834 + 0.00472827134659865 x835 + 0.00936523003907002 x840 + 0.210331673969575 x842 + 0.00682193139018331 x849 + 0.00682193139018331 x850 + 0.00682193139018331 x851 + 0.00682193139018331 x852 + 0.0135121172404327 x856 + 0.109742401085973 x859 + 0.217365450472584 x862 + 0.0506641324263132 x876 + 0.0506641324263132 x877 + 0.0506641324263132 x878 + 0.0506641324263132 x879 + 0.0506641324263132 x880 + 0.0506641324263132 x881 + 0.100349836149665 x889 + 0.202384178462817 x891 + 0.400859901776989 x893 + 0.0218512049291573 x907 + 0.0218512049291573 x908 + 0.0218512049291573 x909 + 0.0218512049291573 x910 + 0.0218512049291573 x911 + 0.0218512049291573 x912 + 0.0432804181045215 x920 + 0.0303208984100237 x927 + 0.0303208984100237 x928 + 0.0303208984100237 x929 + 0.0303208984100237 x930 + 0.0600562378479858 x935 + 0.051586505400249 x938 + 0.051586505400249 x941 + 0.0394891651435713 x943 + 0.051586505400249 x946 + 0.051586505400249 x950 <= 1 c76: 0.0774516691763855 x3 + 0.062082604532605 x9 + 0.062082604532605 x10 + 0.123758667978071 x16 + 0.0992007083032259 x19 + 0.016195313478013 x23 + 0.0129816084356721 x26 + 0.0609150920035415 x35 + 0.0609150920035415 x36 + 0.202238333802984 x50 + 0.202238333802984 x53 + 0.162107319730324 x54 + 0.332255601091182 x63 + 0.332255601091182 x69 + 0.266324706822147 x74 + 0.266324706822147 x75 + 0.266324706822147 x76 + 0.266324706822147 x77 + 0.0393961575996944 x81 + 0.0393961575996944 x87 + 0.0393961575996944 x93 + 0.0315786102271857 x94 + 0.0315786102271857 x95 + 0.00911945699341722 x104 + 0.00911945699341722 x112 + 0.00730984429509285 x119 + 0.00730984429509285 x120 + 0.00730984429509285 x121 + 0.00730984429509285 x122 + 0.00730984429509285 x123 + 0.0295792015840265 x132 + 0.0295792015840265 x139 + 0.0237096746120381 x144 + 0.0237096746120381 x145 + 0.0237096746120381 x146 + 0.0237096746120381 x147 + 0.261157950774559 x152 + 0.261157950774559 x153 + 0.000549376070523798 x162 + 0.000549376070523798 x170 + 0.0004403610366141 x177 + 0.0004403610366141 x178 + 0.0004403610366141 x179 + 0.0004403610366141 x180 + 0.0004403610366141 x181 + 0.0612654992823661 x190 + 0.0612654992823661 x198 + 0.0491083252806048 x205 + 0.0491083252806048 x206 + 0.0491083252806048 x207 + 0.0491083252806048 x208 + 0.0491083252806048 x209 + 0.239902877895926 x215 + 0.239902877895926 x221 + 0.239902877895926 x226 + 0.239902877895926 x231 + 0.19229792789524 x232 + 0.19229792789524 x233 + 0.115454280486037 x238 + 0.115454280486037 x245 + 0.115454280486037 x249 + 0.115454280486037 x253 + 0.0925441957963184 x254 + 0.0925441957963184 x255 + 0.150069305467605 x265 + 0.150069305467605 x266 + 0.266200456419796 x278 + 0.213377165890027 x279 + 0.27988381187044 x288 + 0.27988381187044 x294 + 0.224345274830157 x298 + 0.224345274830157 x299 + 0.224345274830157 x300 + 0.224345274830157 x301 + 0.0235010954985105 x304 + 0.0235010954985105 x308 + 0.0235010954985105 x315 + 0.0188376730086258 x317 + 0.0188376730086258 x318 + 0.00396909279705884 x327 + 0.00396909279705884 x336 + 0.00318148880577185 x342 + 0.00318148880577185 x343 + 0.00318148880577185 x344 + 0.00318148880577185 x345 + 0.00318148880577185 x346 + 0.0232667938089115 x354 + 0.0232667938089115 x362 + 0.0186498648013738 x366 + 0.0186498648013738 x367 + 0.0186498648013738 x368 + 0.0186498648013738 x369 + 0.0535238834196294 x371 + 0.0535238834196294 x375 + 0.000678905043027056 x383 + 0.000678905043027056 x392 + 0.0005441870233352 x398 + 0.0005441870233352 x399 + 0.0005441870233352 x400 + 0.0005441870233352 x401 + 0.0005441870233352 x402 + 0.0493577670138457 x410 + 0.0493577670138457 x419 + 0.0395634950507601 x426 + 0.0395634950507601 x427 + 0.0395634950507601 x428 + 0.0395634950507601 x429 + 0.0395634950507601 x430 + 0.0407934747244261 x435 + 0.0326986517625565 x437 + 0.142526927065412 x443 + 0.142526927065412 x449 + 0.114244701790716 x452 + 0.114244701790716 x453 + 0.114244701790716 x454 + 0.0712964011336174 x462 + 0.0712964011336174 x468 + 0.0571487525478132 x470 + 0.0571487525478132 x471 + 0.0571487525478132 x472 + 0.00891142623480601 x481 + 0.0071430939660836 x484 + 0.0071430939660836 x485 + 0.0071430939660836 x486 + 0.0071430939660836 x487 + 0.0225144745139524 x493 + 0.0617001580089123 x494 + 0.0392236650390563 x503 + 0.0314403461001399 x506 + 0.0314403461001399 x507 + 0.0314403461001399 x508 + 0.0314403461001399 x509 + 0.0465988401959031 x518 + 0.0373520338337958 x521 + 0.0373520338337958 x522 + 0.0373520338337958 x523 + 0.0373520338337958 x524 + 0.00312699266795938 x534 + 0.00312699266795938 x539 + 0.00312699266795938 x543 + 0.00312699266795938 x549 + 0.00250649019247305 x550 + 0.00250649019247305 x551 + 0.00312699266795938 x558 + 0.00196815687267431 x566 + 0.00196815687267431 x572 + 0.00196815687267431 x576 + 0.00196815687267431 x582 + 0.00157760712046245 x583 + 0.00157760712046245 x584 + 0.00196815687267431 x591 + 0.000944202791009235 x594 + 0.000944202791009235 x596 + 0.000944202791009235 x600 + 0.00075684060906825 x601 + 0.000944202791009235 x606 + 0.00203415570921331 x610 + 0.00203415570921331 x613 + 0.00203415570921331 x614 + 0.00203415570921331 x618 + 0.00203415570921331 x623 + 0.0325457140562936 x628 + 0.0325457140562936 x633 + 0.0325457140562936 x637 + 0.0325457140562936 x643 + 0.0260875293776647 x645 + 0.0260875293776647 x646 + 0.0293640579562184 x653 + 0.0293640579562184 x659 + 0.0293640579562184 x662 + 0.0293640579562184 x668 + 0.0235372228507661 x670 + 0.0235372228507661 x671 + 0.00849690810418971 x680 + 0.0436569887437544 x684 + 0.0436569887437544 x686 + 0.0436569887437544 x687 + 0.0436569887437544 x691 + 0.0436957928468264 x695 + 0.0436957928468264 x696 + 0.279252112161698 x700 + 0.279252112161698 x701 + 0.0767482996460012 x703 + 0.0767482996460012 x704 + 0.0620349657445837 x708 + 0.0620349657445837 x709 + 0.30072722663231 x937 + 0.0305815815567066 x944 + 0.0305815815567066 x945 + 0.0305815815567066 x946 + 0.0305815815567066 x947 + 0.0605725698131023 x951 <= 2 c77: 0.0218955532610062 x29 + 0.0218955532610062 x30 + 0.0218955532610062 x32 + 0.0389522341660393 x38 + 0.0389522341660393 x39 + 0.149136735907858 x42 + 0.149136735907858 x43 + 0.149136735907858 x44 + 0.438526415597478 x64 + 0.438526415597478 x70 + 0.0120362840367019 x98 + 0.0120362840367019 x105 + 0.0120362840367019 x107 + 0.0120362840367019 x113 + 0.0120362840367019 x117 + 0.0120362840367019 x118 + 0.0120362840367019 x123 + 0.0390400077659447 x126 + 0.0390400077659447 x133 + 0.0390400077659447 x140 + 0.0180144865553501 x148 + 0.000725092122542466 x156 + 0.000725092122542466 x163 + 0.000725092122542466 x165 + 0.000725092122542466 x171 + 0.000725092122542466 x175 + 0.000725092122542466 x176 + 0.000725092122542466 x181 + 0.0808610591118756 x184 + 0.0808610591118756 x191 + 0.0808610591118756 x193 + 0.0808610591118756 x199 + 0.0808610591118756 x203 + 0.0808610591118756 x204 + 0.0808610591118756 x209 + 0.146106958166842 x234 + 0.146106958166842 x235 + 0.0703145951274258 x256 + 0.0809449431687438 x258 + 0.0809449431687438 x261 + 0.0809449431687438 x262 + 0.141052872440574 x269 + 0.141052872440574 x270 + 0.376464584894706 x272 + 0.376464584894706 x273 + 0.369403689208598 x295 + 0.00523859351581048 x322 + 0.00523859351581048 x328 + 0.00523859351581048 x330 + 0.00523859351581048 x337 + 0.00523859351581048 x340 + 0.00523859351581048 x341 + 0.00523859351581048 x346 + 0.0307085980129722 x349 + 0.0307085980129722 x355 + 0.0307085980129722 x363 + 0.0141700695695277 x370 + 0.000896050492668752 x378 + 0.000896050492668752 x384 + 0.000896050492668752 x386 + 0.000896050492668752 x393 + 0.000896050492668752 x396 + 0.000896050492668752 x397 + 0.000896050492668752 x402 + 0.0651446795159884 x405 + 0.0651446795159884 x411 + 0.0651446795159884 x413 + 0.0651446795159884 x420 + 0.0651446795159884 x424 + 0.0651446795159884 x425 + 0.0651446795159884 x430 + 0.0117617153534105 x474 + 0.0117617153534105 x477 + 0.0117617153534105 x482 + 0.0117617153534105 x483 + 0.0117617153534105 x487 + 0.0517692197804456 x496 + 0.0517692197804456 x499 + 0.0517692197804456 x504 + 0.0517692197804456 x505 + 0.0517692197804456 x509 + 0.0615033194173333 x511 + 0.0615033194173333 x514 + 0.0615033194173333 x519 + 0.0615033194173333 x520 + 0.0615033194173333 x524 + 0.00459497875582735 x528 + 0.00459497875582735 x529 + 0.00459497875582735 x530 + 0.00190441811675041 x552 + 0.00190441811675041 x553 + 0.00190441811675041 x554 + 0.00190441811675041 x555 + 0.00190441811675041 x556 + 0.00190441811675041 x557 + 0.00190441811675041 x558 + 0.00963023135288292 x561 + 0.00963023135288292 x562 + 0.00963023135288292 x563 + 0.00119865762505091 x585 + 0.00119865762505091 x586 + 0.00119865762505091 x587 + 0.00119865762505091 x588 + 0.00119865762505091 x589 + 0.00119865762505091 x590 + 0.00119865762505091 x591 + 0.00057504352968558 x602 + 0.00057504352968558 x603 + 0.00057504352968558 x604 + 0.00057504352968558 x605 + 0.00057504352968558 x606 + 0.00656094314434505 x608 + 0.00123885259617354 x619 + 0.00123885259617354 x620 + 0.00123885259617354 x621 + 0.00123885259617354 x622 + 0.00123885259617354 x623 + 0.042955349078525 x644 + 0.019821168148703 x647 + 0.019821168148703 x648 + 0.019821168148703 x649 + 0.038756051186638 x669 + 0.0178834586106096 x672 + 0.0178834586106096 x673 + 0.0178834586106096 x674 + 0.036538940054999 x682 + 0.0890118337818059 x692 + 0.15789918143443 x693 + 0.0432417400284415 x710 + 0.00566189898148034 x713 + 0.00566189898148034 x715 + 0.00566189898148034 x719 + 0.00566189898148034 x720 + 0.0034385695654044 x721 + 0.0034385695654044 x722 + 0.0034385695654044 x723 + 0.0034385695654044 x724 + 0.0034385695654044 x725 + 0.00566189898148034 x725 + 0.0184319728098307 x731 + 0.0184319728098307 x732 + 0.0184319728098307 x733 + 0.0184319728098307 x734 + 0.00561993716606783 x736 + 0.00561993716606783 x739 + 0.00561993716606783 x743 + 0.00561993716606783 x744 + 0.00341308542627395 x745 + 0.00341308542627395 x746 + 0.00341308542627395 x747 + 0.00341308542627395 x748 + 0.00341308542627395 x749 + 0.00561993716606783 x749 + 0.034532724280053 x752 + 0.034532724280053 x754 + 0.034532724280053 x758 + 0.034532724280053 x759 + 0.0209723230859985 x760 + 0.0209723230859985 x761 + 0.0209723230859985 x762 + 0.0209723230859985 x763 + 0.0209723230859985 x764 + 0.034532724280053 x764 + 0.0641814537007409 x766 + 0.0641814537007409 x767 + 0.00524448971785081 x771 + 0.00524448971785081 x776 + 0.00524448971785081 x780 + 0.00524448971785081 x786 + 0.0042038032826272 x787 + 0.0042038032826272 x788 + 0.00319402771043405 x789 + 0.00319402771043405 x790 + 0.00319402771043405 x791 + 0.00319402771043405 x792 + 0.00319402771043405 x793 + 0.00319402771043405 x794 + 0.00524448971785081 x795 + 0.00319402771043405 x795 + 0.214891147008217 x798 + 0.214891147008217 x799 + 0.00129313809213971 x802 + 0.00129313809213971 x808 + 0.00129313809213971 x811 + 0.00129313809213971 x817 + 0.0010365351919986 x818 + 0.0010365351919986 x819 + 0.000787554008477424 x820 + 0.000787554008477424 x821 + 0.000787554008477424 x822 + 0.000787554008477424 x823 + 0.000787554008477424 x824 + 0.000787554008477424 x825 + 0.00129313809213971 x826 + 0.000787554008477424 x826 + 0.00667498284989929 x829 + 0.00667498284989929 x831 + 0.00667498284989929 x835 + 0.0053504375688596 x836 + 0.00406523443390166 x837 + 0.00406523443390166 x838 + 0.00406523443390166 x839 + 0.00406523443390166 x840 + 0.00667498284989929 x841 + 0.00406523443390166 x841 + 0.0913002200687213 x842 + 0.00963063912679638 x845 + 0.00963063912679638 x847 + 0.00963063912679638 x848 + 0.00963063912679638 x852 + 0.00586530432798401 x853 + 0.00586530432798401 x854 + 0.00586530432798401 x855 + 0.00586530432798401 x856 + 0.00963063912679638 x857 + 0.00586530432798401 x857 + 0.0943534232811477 x860 + 0.0943534232811477 x861 + 0.0943534232811477 x862 + 0.0715234364233228 x866 + 0.0715234364233228 x871 + 0.0715234364233228 x875 + 0.0715234364233228 x881 + 0.0573307362578559 x882 + 0.0573307362578559 x883 + 0.0435595930532549 x884 + 0.0435595930532549 x885 + 0.0435595930532549 x886 + 0.0435595930532549 x887 + 0.0435595930532549 x888 + 0.0435595930532549 x889 + 0.0715234364233228 x890 + 0.0435595930532549 x890 + 0.174004212291199 x892 + 0.174004212291199 x893 + 0.0308477258304313 x897 + 0.0308477258304313 x903 + 0.0308477258304313 x906 + 0.0308477258304313 x912 + 0.0247264801885612 x913 + 0.0247264801885612 x914 + 0.0187870501053526 x915 + 0.0187870501053526 x916 + 0.0187870501053526 x917 + 0.0187870501053526 x918 + 0.0187870501053526 x919 + 0.0187870501053526 x920 + 0.0308477258304313 x921 + 0.0187870501053526 x921 + 0.0428045393431238 x924 + 0.0428045393431238 x926 + 0.0428045393431238 x930 + 0.0343106522622203 x931 + 0.0260690538354853 x932 + 0.0260690538354853 x933 + 0.0260690538354853 x934 + 0.0260690538354853 x935 + 0.0428045393431238 x936 + 0.0260690538354853 x936 + 0.043172550272661 x939 + 0.043172550272661 x942 + 0.043172550272661 x943 + 0.043172550272661 x947 + 0.043172550272661 x952 <= 2 c78: 0.130538883916066 x937 + 0.0262931818574515 x948 + 0.0262931818574515 x949 + 0.0262931818574515 x950 + 0.0262931818574515 x951 + 0.0262931818574515 x952 <= 2 Bounds 0 <= x1 <= 1 0 <= x2 <= 1 0 <= x3 <= 1 0 <= x4 <= 1 0 <= x5 <= 1 0 <= x6 <= 1 0 <= x7 <= 1 0 <= x8 <= 1 0 <= x9 <= 1 0 <= x10 <= 1 0 <= x11 <= 1 0 <= x12 <= 1 0 <= x13 <= 1 0 <= x14 <= 1 0 <= x15 <= 1 0 <= x16 <= 1 0 <= x17 <= 1 0 <= x18 <= 1 0 <= x19 <= 1 0 <= x20 <= 1 0 <= x21 <= 1 0 <= x22 <= 1 0 <= x23 <= 1 0 <= x24 <= 1 0 <= x25 <= 1 0 <= x26 <= 1 0 <= x27 <= 1 0 <= x28 <= 1 0 <= x29 <= 1 0 <= x30 <= 1 0 <= x31 <= 1 0 <= x32 <= 1 0 <= x33 <= 1 0 <= x34 <= 1 0 <= x35 <= 1 0 <= x36 <= 1 0 <= x37 <= 1 0 <= x38 <= 1 0 <= x39 <= 1 0 <= x40 <= 1 0 <= x41 <= 1 0 <= x42 <= 1 0 <= x43 <= 1 0 <= x44 <= 1 0 <= x45 <= 1 0 <= x46 <= 1 0 <= x47 <= 1 0 <= x48 <= 1 0 <= x49 <= 1 0 <= x50 <= 1 0 <= x51 <= 1 0 <= x52 <= 1 0 <= x53 <= 1 0 <= x54 <= 1 0 <= x55 <= 1 0 <= x56 <= 1 0 <= x57 <= 1 0 <= x58 <= 1 0 <= x59 <= 1 0 <= x60 <= 1 0 <= x61 <= 1 0 <= x62 <= 1 0 <= x63 <= 1 0 <= x64 <= 1 0 <= x65 <= 1 0 <= x66 <= 1 0 <= x67 <= 1 0 <= x68 <= 1 0 <= x69 <= 1 0 <= x70 <= 1 0 <= x71 <= 1 0 <= x72 <= 1 0 <= x73 <= 1 0 <= x74 <= 1 0 <= x75 <= 1 0 <= x76 <= 1 0 <= x77 <= 1 0 <= x78 <= 1 0 <= x79 <= 1 0 <= x80 <= 1 0 <= x81 <= 1 0 <= x82 <= 1 0 <= x83 <= 1 0 <= x84 <= 1 0 <= x85 <= 1 0 <= x86 <= 1 0 <= x87 <= 1 0 <= x88 <= 1 0 <= x89 <= 1 0 <= x90 <= 1 0 <= x91 <= 1 0 <= x92 <= 1 0 <= x93 <= 1 0 <= x94 <= 1 0 <= x95 <= 1 0 <= x96 <= 1 0 <= x97 <= 1 0 <= x98 <= 1 0 <= x99 <= 1 0 <= x100 <= 1 0 <= x101 <= 1 0 <= x102 <= 1 0 <= x103 <= 1 0 <= x104 <= 1 0 <= x105 <= 1 0 <= x106 <= 1 0 <= x107 <= 1 0 <= x108 <= 1 0 <= x109 <= 1 0 <= x110 <= 1 0 <= x111 <= 1 0 <= x112 <= 1 0 <= x113 <= 1 0 <= x114 <= 1 0 <= x115 <= 1 0 <= x116 <= 1 0 <= x117 <= 1 0 <= x118 <= 1 0 <= x119 <= 1 0 <= x120 <= 1 0 <= x121 <= 1 0 <= x122 <= 1 0 <= x123 <= 1 0 <= x124 <= 1 0 <= x125 <= 1 0 <= x126 <= 1 0 <= x127 <= 1 0 <= x128 <= 1 0 <= x129 <= 1 0 <= x130 <= 1 0 <= x131 <= 1 0 <= x132 <= 1 0 <= x133 <= 1 0 <= x134 <= 1 0 <= x135 <= 1 0 <= x136 <= 1 0 <= x137 <= 1 0 <= x138 <= 1 0 <= x139 <= 1 0 <= x140 <= 1 0 <= x141 <= 1 0 <= x142 <= 1 0 <= x143 <= 1 0 <= x144 <= 1 0 <= x145 <= 1 0 <= x146 <= 1 0 <= x147 <= 1 0 <= x148 <= 1 0 <= x149 <= 1 0 <= x150 <= 1 0 <= x151 <= 1 0 <= x152 <= 1 0 <= x153 <= 1 0 <= x154 <= 1 0 <= x155 <= 1 0 <= x156 <= 1 0 <= x157 <= 1 0 <= x158 <= 1 0 <= x159 <= 1 0 <= x160 <= 1 0 <= x161 <= 1 0 <= x162 <= 1 0 <= x163 <= 1 0 <= x164 <= 1 0 <= x165 <= 1 0 <= x166 <= 1 0 <= x167 <= 1 0 <= x168 <= 1 0 <= x169 <= 1 0 <= x170 <= 1 0 <= x171 <= 1 0 <= x172 <= 1 0 <= x173 <= 1 0 <= x174 <= 1 0 <= x175 <= 1 0 <= x176 <= 1 0 <= x177 <= 1 0 <= x178 <= 1 0 <= x179 <= 1 0 <= x180 <= 1 0 <= x181 <= 1 0 <= x182 <= 1 0 <= x183 <= 1 0 <= x184 <= 1 0 <= x185 <= 1 0 <= x186 <= 1 0 <= x187 <= 1 0 <= x188 <= 1 0 <= x189 <= 1 0 <= x190 <= 1 0 <= x191 <= 1 0 <= x192 <= 1 0 <= x193 <= 1 0 <= x194 <= 1 0 <= x195 <= 1 0 <= x196 <= 1 0 <= x197 <= 1 0 <= x198 <= 1 0 <= x199 <= 1 0 <= x200 <= 1 0 <= x201 <= 1 0 <= x202 <= 1 0 <= x203 <= 1 0 <= x204 <= 1 0 <= x205 <= 1 0 <= x206 <= 1 0 <= x207 <= 1 0 <= x208 <= 1 0 <= x209 <= 1 0 <= x210 <= 1 0 <= x211 <= 1 0 <= x212 <= 1 0 <= x213 <= 1 0 <= x214 <= 1 0 <= x215 <= 1 0 <= x216 <= 1 0 <= x217 <= 1 0 <= x218 <= 1 0 <= x219 <= 1 0 <= x220 <= 1 0 <= x221 <= 1 0 <= x222 <= 1 0 <= x223 <= 1 0 <= x224 <= 1 0 <= x225 <= 1 0 <= x226 <= 1 0 <= x227 <= 1 0 <= x228 <= 1 0 <= x229 <= 1 0 <= x230 <= 1 0 <= x231 <= 1 0 <= x232 <= 1 0 <= x233 <= 1 0 <= x234 <= 1 0 <= x235 <= 1 0 <= x236 <= 1 0 <= x237 <= 1 0 <= x238 <= 1 0 <= x239 <= 1 0 <= x240 <= 1 0 <= x241 <= 1 0 <= x242 <= 1 0 <= x243 <= 1 0 <= x244 <= 1 0 <= x245 <= 1 0 <= x246 <= 1 0 <= x247 <= 1 0 <= x248 <= 1 0 <= x249 <= 1 0 <= x250 <= 1 0 <= x251 <= 1 0 <= x252 <= 1 0 <= x253 <= 1 0 <= x254 <= 1 0 <= x255 <= 1 0 <= x256 <= 1 0 <= x257 <= 1 0 <= x258 <= 1 0 <= x259 <= 1 0 <= x260 <= 1 0 <= x261 <= 1 0 <= x262 <= 1 0 <= x263 <= 1 0 <= x264 <= 1 0 <= x265 <= 1 0 <= x266 <= 1 0 <= x267 <= 1 0 <= x268 <= 1 0 <= x269 <= 1 0 <= x270 <= 1 0 <= x271 <= 1 0 <= x272 <= 1 0 <= x273 <= 1 0 <= x274 <= 1 0 <= x275 <= 1 0 <= x276 <= 1 0 <= x277 <= 1 0 <= x278 <= 1 0 <= x279 <= 1 0 <= x280 <= 1 0 <= x281 <= 1 0 <= x282 <= 1 0 <= x283 <= 1 0 <= x284 <= 1 0 <= x285 <= 1 0 <= x286 <= 1 0 <= x287 <= 1 0 <= x288 <= 1 0 <= x289 <= 1 0 <= x290 <= 1 0 <= x291 <= 1 0 <= x292 <= 1 0 <= x293 <= 1 0 <= x294 <= 1 0 <= x295 <= 1 0 <= x296 <= 1 0 <= x297 <= 1 0 <= x298 <= 1 0 <= x299 <= 1 0 <= x300 <= 1 0 <= x301 <= 1 0 <= x302 <= 1 0 <= x303 <= 1 0 <= x304 <= 1 0 <= x305 <= 1 0 <= x306 <= 1 0 <= x307 <= 1 0 <= x308 <= 1 0 <= x309 <= 1 0 <= x310 <= 1 0 <= x311 <= 1 0 <= x312 <= 1 0 <= x313 <= 1 0 <= x314 <= 1 0 <= x315 <= 1 0 <= x316 <= 1 0 <= x317 <= 1 0 <= x318 <= 1 0 <= x319 <= 1 0 <= x320 <= 1 0 <= x321 <= 1 0 <= x322 <= 1 0 <= x323 <= 1 0 <= x324 <= 1 0 <= x325 <= 1 0 <= x326 <= 1 0 <= x327 <= 1 0 <= x328 <= 1 0 <= x329 <= 1 0 <= x330 <= 1 0 <= x331 <= 1 0 <= x332 <= 1 0 <= x333 <= 1 0 <= x334 <= 1 0 <= x335 <= 1 0 <= x336 <= 1 0 <= x337 <= 1 0 <= x338 <= 1 0 <= x339 <= 1 0 <= x340 <= 1 0 <= x341 <= 1 0 <= x342 <= 1 0 <= x343 <= 1 0 <= x344 <= 1 0 <= x345 <= 1 0 <= x346 <= 1 0 <= x347 <= 1 0 <= x348 <= 1 0 <= x349 <= 1 0 <= x350 <= 1 0 <= x351 <= 1 0 <= x352 <= 1 0 <= x353 <= 1 0 <= x354 <= 1 0 <= x355 <= 1 0 <= x356 <= 1 0 <= x357 <= 1 0 <= x358 <= 1 0 <= x359 <= 1 0 <= x360 <= 1 0 <= x361 <= 1 0 <= x362 <= 1 0 <= x363 <= 1 0 <= x364 <= 1 0 <= x365 <= 1 0 <= x366 <= 1 0 <= x367 <= 1 0 <= x368 <= 1 0 <= x369 <= 1 0 <= x370 <= 1 0 <= x371 <= 1 0 <= x372 <= 1 0 <= x373 <= 1 0 <= x374 <= 1 0 <= x375 <= 1 0 <= x376 <= 1 0 <= x377 <= 1 0 <= x378 <= 1 0 <= x379 <= 1 0 <= x380 <= 1 0 <= x381 <= 1 0 <= x382 <= 1 0 <= x383 <= 1 0 <= x384 <= 1 0 <= x385 <= 1 0 <= x386 <= 1 0 <= x387 <= 1 0 <= x388 <= 1 0 <= x389 <= 1 0 <= x390 <= 1 0 <= x391 <= 1 0 <= x392 <= 1 0 <= x393 <= 1 0 <= x394 <= 1 0 <= x395 <= 1 0 <= x396 <= 1 0 <= x397 <= 1 0 <= x398 <= 1 0 <= x399 <= 1 0 <= x400 <= 1 0 <= x401 <= 1 0 <= x402 <= 1 0 <= x403 <= 1 0 <= x404 <= 1 0 <= x405 <= 1 0 <= x406 <= 1 0 <= x407 <= 1 0 <= x408 <= 1 0 <= x409 <= 1 0 <= x410 <= 1 0 <= x411 <= 1 0 <= x412 <= 1 0 <= x413 <= 1 0 <= x414 <= 1 0 <= x415 <= 1 0 <= x416 <= 1 0 <= x417 <= 1 0 <= x418 <= 1 0 <= x419 <= 1 0 <= x420 <= 1 0 <= x421 <= 1 0 <= x422 <= 1 0 <= x423 <= 1 0 <= x424 <= 1 0 <= x425 <= 1 0 <= x426 <= 1 0 <= x427 <= 1 0 <= x428 <= 1 0 <= x429 <= 1 0 <= x430 <= 1 0 <= x431 <= 1 0 <= x432 <= 1 0 <= x433 <= 1 0 <= x434 <= 1 0 <= x435 <= 1 0 <= x436 <= 1 0 <= x437 <= 1 0 <= x438 <= 1 0 <= x439 <= 1 0 <= x440 <= 1 0 <= x441 <= 1 0 <= x442 <= 1 0 <= x443 <= 1 0 <= x444 <= 1 0 <= x445 <= 1 0 <= x446 <= 1 0 <= x447 <= 1 0 <= x448 <= 1 0 <= x449 <= 1 0 <= x450 <= 1 0 <= x451 <= 1 0 <= x452 <= 1 0 <= x453 <= 1 0 <= x454 <= 1 0 <= x455 <= 1 0 <= x456 <= 1 0 <= x457 <= 1 0 <= x458 <= 1 0 <= x459 <= 1 0 <= x460 <= 1 0 <= x461 <= 1 0 <= x462 <= 1 0 <= x463 <= 1 0 <= x464 <= 1 0 <= x465 <= 1 0 <= x466 <= 1 0 <= x467 <= 1 0 <= x468 <= 1 0 <= x469 <= 1 0 <= x470 <= 1 0 <= x471 <= 1 0 <= x472 <= 1 0 <= x473 <= 1 0 <= x474 <= 1 0 <= x475 <= 1 0 <= x476 <= 1 0 <= x477 <= 1 0 <= x478 <= 1 0 <= x479 <= 1 0 <= x480 <= 1 0 <= x481 <= 1 0 <= x482 <= 1 0 <= x483 <= 1 0 <= x484 <= 1 0 <= x485 <= 1 0 <= x486 <= 1 0 <= x487 <= 1 0 <= x488 <= 1 0 <= x489 <= 1 0 <= x490 <= 1 0 <= x491 <= 1 0 <= x492 <= 1 0 <= x493 <= 1 0 <= x494 <= 1 0 <= x495 <= 1 0 <= x496 <= 1 0 <= x497 <= 1 0 <= x498 <= 1 0 <= x499 <= 1 0 <= x500 <= 1 0 <= x501 <= 1 0 <= x502 <= 1 0 <= x503 <= 1 0 <= x504 <= 1 0 <= x505 <= 1 0 <= x506 <= 1 0 <= x507 <= 1 0 <= x508 <= 1 0 <= x509 <= 1 0 <= x510 <= 1 0 <= x511 <= 1 0 <= x512 <= 1 0 <= x513 <= 1 0 <= x514 <= 1 0 <= x515 <= 1 0 <= x516 <= 1 0 <= x517 <= 1 0 <= x518 <= 1 0 <= x519 <= 1 0 <= x520 <= 1 0 <= x521 <= 1 0 <= x522 <= 1 0 <= x523 <= 1 0 <= x524 <= 1 0 <= x525 <= 1 0 <= x526 <= 1 0 <= x527 <= 1 0 <= x528 <= 1 0 <= x529 <= 1 0 <= x530 <= 1 0 <= x531 <= 1 0 <= x532 <= 1 0 <= x533 <= 1 0 <= x534 <= 1 0 <= x535 <= 1 0 <= x536 <= 1 0 <= x537 <= 1 0 <= x538 <= 1 0 <= x539 <= 1 0 <= x540 <= 1 0 <= x541 <= 1 0 <= x542 <= 1 0 <= x543 <= 1 0 <= x544 <= 1 0 <= x545 <= 1 0 <= x546 <= 1 0 <= x547 <= 1 0 <= x548 <= 1 0 <= x549 <= 1 0 <= x550 <= 1 0 <= x551 <= 1 0 <= x552 <= 1 0 <= x553 <= 1 0 <= x554 <= 1 0 <= x555 <= 1 0 <= x556 <= 1 0 <= x557 <= 1 0 <= x558 <= 1 0 <= x559 <= 1 0 <= x560 <= 1 0 <= x561 <= 1 0 <= x562 <= 1 0 <= x563 <= 1 0 <= x564 <= 1 0 <= x565 <= 1 0 <= x566 <= 1 0 <= x567 <= 1 0 <= x568 <= 1 0 <= x569 <= 1 0 <= x570 <= 1 0 <= x571 <= 1 0 <= x572 <= 1 0 <= x573 <= 1 0 <= x574 <= 1 0 <= x575 <= 1 0 <= x576 <= 1 0 <= x577 <= 1 0 <= x578 <= 1 0 <= x579 <= 1 0 <= x580 <= 1 0 <= x581 <= 1 0 <= x582 <= 1 0 <= x583 <= 1 0 <= x584 <= 1 0 <= x585 <= 1 0 <= x586 <= 1 0 <= x587 <= 1 0 <= x588 <= 1 0 <= x589 <= 1 0 <= x590 <= 1 0 <= x591 <= 1 0 <= x592 <= 1 0 <= x593 <= 1 0 <= x594 <= 1 0 <= x595 <= 1 0 <= x596 <= 1 0 <= x597 <= 1 0 <= x598 <= 1 0 <= x599 <= 1 0 <= x600 <= 1 0 <= x601 <= 1 0 <= x602 <= 1 0 <= x603 <= 1 0 <= x604 <= 1 0 <= x605 <= 1 0 <= x606 <= 1 0 <= x607 <= 1 0 <= x608 <= 1 0 <= x609 <= 1 0 <= x610 <= 1 0 <= x611 <= 1 0 <= x612 <= 1 0 <= x613 <= 1 0 <= x614 <= 1 0 <= x615 <= 1 0 <= x616 <= 1 0 <= x617 <= 1 0 <= x618 <= 1 0 <= x619 <= 1 0 <= x620 <= 1 0 <= x621 <= 1 0 <= x622 <= 1 0 <= x623 <= 1 0 <= x624 <= 1 0 <= x625 <= 1 0 <= x626 <= 1 0 <= x627 <= 1 0 <= x628 <= 1 0 <= x629 <= 1 0 <= x630 <= 1 0 <= x631 <= 1 0 <= x632 <= 1 0 <= x633 <= 1 0 <= x634 <= 1 0 <= x635 <= 1 0 <= x636 <= 1 0 <= x637 <= 1 0 <= x638 <= 1 0 <= x639 <= 1 0 <= x640 <= 1 0 <= x641 <= 1 0 <= x642 <= 1 0 <= x643 <= 1 0 <= x644 <= 1 0 <= x645 <= 1 0 <= x646 <= 1 0 <= x647 <= 1 0 <= x648 <= 1 0 <= x649 <= 1 0 <= x650 <= 1 0 <= x651 <= 1 0 <= x652 <= 1 0 <= x653 <= 1 0 <= x654 <= 1 0 <= x655 <= 1 0 <= x656 <= 1 0 <= x657 <= 1 0 <= x658 <= 1 0 <= x659 <= 1 0 <= x660 <= 1 0 <= x661 <= 1 0 <= x662 <= 1 0 <= x663 <= 1 0 <= x664 <= 1 0 <= x665 <= 1 0 <= x666 <= 1 0 <= x667 <= 1 0 <= x668 <= 1 0 <= x669 <= 1 0 <= x670 <= 1 0 <= x671 <= 1 0 <= x672 <= 1 0 <= x673 <= 1 0 <= x674 <= 1 0 <= x675 <= 1 0 <= x676 <= 1 0 <= x677 <= 1 0 <= x678 <= 1 0 <= x679 <= 1 0 <= x680 <= 1 0 <= x681 <= 1 0 <= x682 <= 1 0 <= x683 <= 1 0 <= x684 <= 1 0 <= x685 <= 1 0 <= x686 <= 1 0 <= x687 <= 1 0 <= x688 <= 1 0 <= x689 <= 1 0 <= x690 <= 1 0 <= x691 <= 1 0 <= x692 <= 1 0 <= x693 <= 1 0 <= x694 <= 1 0 <= x695 <= 1 0 <= x696 <= 1 0 <= x697 <= 1 0 <= x698 <= 1 0 <= x699 <= 1 0 <= x700 <= 1 0 <= x701 <= 1 0 <= x702 <= 1 0 <= x703 <= 1 0 <= x704 <= 1 0 <= x705 <= 1 0 <= x706 <= 1 0 <= x707 <= 1 0 <= x708 <= 1 0 <= x709 <= 1 0 <= x710 <= 1 0 <= x711 <= 1 0 <= x712 <= 1 0 <= x713 <= 1 0 <= x714 <= 1 0 <= x715 <= 1 0 <= x716 <= 1 0 <= x717 <= 1 0 <= x718 <= 1 0 <= x719 <= 1 0 <= x720 <= 1 0 <= x721 <= 1 0 <= x722 <= 1 0 <= x723 <= 1 0 <= x724 <= 1 0 <= x725 <= 1 0 <= x726 <= 1 0 <= x727 <= 1 0 <= x728 <= 1 0 <= x729 <= 1 0 <= x730 <= 1 0 <= x731 <= 1 0 <= x732 <= 1 0 <= x733 <= 1 0 <= x734 <= 1 0 <= x735 <= 1 0 <= x736 <= 1 0 <= x737 <= 1 0 <= x738 <= 1 0 <= x739 <= 1 0 <= x740 <= 1 0 <= x741 <= 1 0 <= x742 <= 1 0 <= x743 <= 1 0 <= x744 <= 1 0 <= x745 <= 1 0 <= x746 <= 1 0 <= x747 <= 1 0 <= x748 <= 1 0 <= x749 <= 1 0 <= x750 <= 1 0 <= x751 <= 1 0 <= x752 <= 1 0 <= x753 <= 1 0 <= x754 <= 1 0 <= x755 <= 1 0 <= x756 <= 1 0 <= x757 <= 1 0 <= x758 <= 1 0 <= x759 <= 1 0 <= x760 <= 1 0 <= x761 <= 1 0 <= x762 <= 1 0 <= x763 <= 1 0 <= x764 <= 1 0 <= x765 <= 1 0 <= x766 <= 1 0 <= x767 <= 1 0 <= x768 <= 1 0 <= x769 <= 1 0 <= x770 <= 1 0 <= x771 <= 1 0 <= x772 <= 1 0 <= x773 <= 1 0 <= x774 <= 1 0 <= x775 <= 1 0 <= x776 <= 1 0 <= x777 <= 1 0 <= x778 <= 1 0 <= x779 <= 1 0 <= x780 <= 1 0 <= x781 <= 1 0 <= x782 <= 1 0 <= x783 <= 1 0 <= x784 <= 1 0 <= x785 <= 1 0 <= x786 <= 1 0 <= x787 <= 1 0 <= x788 <= 1 0 <= x789 <= 1 0 <= x790 <= 1 0 <= x791 <= 1 0 <= x792 <= 1 0 <= x793 <= 1 0 <= x794 <= 1 0 <= x795 <= 1 0 <= x796 <= 1 0 <= x797 <= 1 0 <= x798 <= 1 0 <= x799 <= 1 0 <= x800 <= 1 0 <= x801 <= 1 0 <= x802 <= 1 0 <= x803 <= 1 0 <= x804 <= 1 0 <= x805 <= 1 0 <= x806 <= 1 0 <= x807 <= 1 0 <= x808 <= 1 0 <= x809 <= 1 0 <= x810 <= 1 0 <= x811 <= 1 0 <= x812 <= 1 0 <= x813 <= 1 0 <= x814 <= 1 0 <= x815 <= 1 0 <= x816 <= 1 0 <= x817 <= 1 0 <= x818 <= 1 0 <= x819 <= 1 0 <= x820 <= 1 0 <= x821 <= 1 0 <= x822 <= 1 0 <= x823 <= 1 0 <= x824 <= 1 0 <= x825 <= 1 0 <= x826 <= 1 0 <= x827 <= 1 0 <= x828 <= 1 0 <= x829 <= 1 0 <= x830 <= 1 0 <= x831 <= 1 0 <= x832 <= 1 0 <= x833 <= 1 0 <= x834 <= 1 0 <= x835 <= 1 0 <= x836 <= 1 0 <= x837 <= 1 0 <= x838 <= 1 0 <= x839 <= 1 0 <= x840 <= 1 0 <= x841 <= 1 0 <= x842 <= 1 0 <= x843 <= 1 0 <= x844 <= 1 0 <= x845 <= 1 0 <= x846 <= 1 0 <= x847 <= 1 0 <= x848 <= 1 0 <= x849 <= 1 0 <= x850 <= 1 0 <= x851 <= 1 0 <= x852 <= 1 0 <= x853 <= 1 0 <= x854 <= 1 0 <= x855 <= 1 0 <= x856 <= 1 0 <= x857 <= 1 0 <= x858 <= 1 0 <= x859 <= 1 0 <= x860 <= 1 0 <= x861 <= 1 0 <= x862 <= 1 0 <= x863 <= 1 0 <= x864 <= 1 0 <= x865 <= 1 0 <= x866 <= 1 0 <= x867 <= 1 0 <= x868 <= 1 0 <= x869 <= 1 0 <= x870 <= 1 0 <= x871 <= 1 0 <= x872 <= 1 0 <= x873 <= 1 0 <= x874 <= 1 0 <= x875 <= 1 0 <= x876 <= 1 0 <= x877 <= 1 0 <= x878 <= 1 0 <= x879 <= 1 0 <= x880 <= 1 0 <= x881 <= 1 0 <= x882 <= 1 0 <= x883 <= 1 0 <= x884 <= 1 0 <= x885 <= 1 0 <= x886 <= 1 0 <= x887 <= 1 0 <= x888 <= 1 0 <= x889 <= 1 0 <= x890 <= 1 0 <= x891 <= 1 0 <= x892 <= 1 0 <= x893 <= 1 0 <= x894 <= 1 0 <= x895 <= 1 0 <= x896 <= 1 0 <= x897 <= 1 0 <= x898 <= 1 0 <= x899 <= 1 0 <= x900 <= 1 0 <= x901 <= 1 0 <= x902 <= 1 0 <= x903 <= 1 0 <= x904 <= 1 0 <= x905 <= 1 0 <= x906 <= 1 0 <= x907 <= 1 0 <= x908 <= 1 0 <= x909 <= 1 0 <= x910 <= 1 0 <= x911 <= 1 0 <= x912 <= 1 0 <= x913 <= 1 0 <= x914 <= 1 0 <= x915 <= 1 0 <= x916 <= 1 0 <= x917 <= 1 0 <= x918 <= 1 0 <= x919 <= 1 0 <= x920 <= 1 0 <= x921 <= 1 0 <= x922 <= 1 0 <= x923 <= 1 0 <= x924 <= 1 0 <= x925 <= 1 0 <= x926 <= 1 0 <= x927 <= 1 0 <= x928 <= 1 0 <= x929 <= 1 0 <= x930 <= 1 0 <= x931 <= 1 0 <= x932 <= 1 0 <= x933 <= 1 0 <= x934 <= 1 0 <= x935 <= 1 0 <= x936 <= 1 0 <= x937 <= 1 0 <= x938 <= 1 0 <= x939 <= 1 0 <= x940 <= 1 0 <= x941 <= 1 0 <= x942 <= 1 0 <= x943 <= 1 0 <= x944 <= 1 0 <= x945 <= 1 0 <= x946 <= 1 0 <= x947 <= 1 0 <= x948 <= 1 0 <= x949 <= 1 0 <= x950 <= 1 0 <= x951 <= 1 0 <= x952 <= 1 End