Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800.05 | 1800.72 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran16x16.opb |
MD5SUM | 334ff12347ae763156f4e4389dfec521 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 8072122 |
Best CPU time to get the best result obtained on this benchmark | 1800.28 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5885956 |
Optimality of the best value was proved | NO |
Number of variables | 7936 |
Total number of constraints | 288 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 288 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 480 |
Number of terms in the objective function | 7936 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1558042522197 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1558042522197 |
Number of bits of the biggest sum of numbers | 41 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
33.48/33.56 c 7936 288 0 0 0 0 0 0 33.48/33.56 c 8192 ~x1295541+4096 ~x1295540+2048 ~x1295539+1024 ~x1295538+512 ~x1295537+256 ~x1295536+128 ~x1295535+64 ~x1295534+32 ~x1295533+16 ~x1295532+8 ~x1295531+4 ~x1295530+2 ~x1295529+1 ~x1295528+11264 x7682+8192 ~x15+4096 ~x14+2048 ~x13+1024 ~x12+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=32766 33.58/33.65 c 16384 ~x1299258+8192 ~x1299257+4096 ~x1299256+2048 ~x1299255+1024 ~x1299254+512 ~x1299253+256 ~x1299252+128 ~x1299251+64 ~x1299250+32 ~x1299249+16 ~x1299248+8 ~x1299247+4 ~x1299246+2 ~x1299245+1 ~x1299244+22528 x7683+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=65534 33.68/33.76 c 1024 ~x1303546+512 ~x1303545+256 ~x1303544+128 ~x1303543+64 ~x1303542+32 ~x1303541+16 ~x1303540+8 ~x1303539+4 ~x1303538+2 ~x1303537+1 ~x1303536+1024 x7684+1024 ~x72+512 ~x71+256 ~x70+128 ~x69+64 ~x68+32 ~x67+16 ~x66+8 ~x65+4 ~x64+2 ~x63+1 ~x62-0=4094 33.77/33.81 c 2048 ~x1305660+1024 ~x1305659+512 ~x1305658+256 ~x1305657+128 ~x1305656+64 ~x1305655+32 ~x1305654+16 ~x1305653+8 ~x1305652+4 ~x1305651+2 ~x1305650+1 ~x1305649+2048 x7685+2048 ~x103+1024 ~x102+512 ~x101+256 ~x100+128 ~x99+64 ~x98+32 ~x97+16 ~x96+8 ~x95+4 ~x94+2 ~x93+1 ~x92-0=8190 33.77/33.88 c 8192 ~x1308010+4096 ~x1308009+2048 ~x1308008+1024 ~x1308007+512 ~x1308006+256 ~x1308005+128 ~x1308004+64 ~x1308003+32 ~x1308002+16 ~x1308001+8 ~x1308000+4 ~x1307999+2 ~x1307998+1 ~x1307997+9216 x7686+8192 ~x135+4096 ~x134+2048 ~x133+1024 ~x132+512 ~x131+256 ~x130+128 ~x129+64 ~x128+32 ~x127+16 ~x126+8 ~x125+4 ~x124+2 ~x123+1 ~x122-0=32766 33.88/33.97 c 8192 ~x1311726+4096 ~x1311725+2048 ~x1311724+1024 ~x1311723+512 ~x1311722+256 ~x1311721+128 ~x1311720+64 ~x1311719+32 ~x1311718+16 ~x1311717+8 ~x1311716+4 ~x1311715+2 ~x1311714+1 ~x1311713+9216 x7687+8192 ~x165+4096 ~x164+2048 ~x163+1024 ~x162+512 ~x161+256 ~x160+128 ~x159+64 ~x158+32 ~x157+16 ~x156+8 ~x155+4 ~x154+2 ~x153+1 ~x152-0=32766 33.98/34.06 c 8192 ~x1315442+4096 ~x1315441+2048 ~x1315440+1024 ~x1315439+512 ~x1315438+256 ~x1315437+128 ~x1315436+64 ~x1315435+32 ~x1315434+16 ~x1315433+8 ~x1315432+4 ~x1315431+2 ~x1315430+1 ~x1315429+8192 x7688+8192 ~x195+4096 ~x194+2048 ~x193+1024 ~x192+512 ~x191+256 ~x190+128 ~x189+64 ~x188+32 ~x187+16 ~x186+8 ~x185+4 ~x184+2 ~x183+1 ~x182-0=32766 34.08/34.16 c 8192 ~x1319158+4096 ~x1319157+2048 ~x1319156+1024 ~x1319155+512 ~x1319154+256 ~x1319153+128 ~x1319152+64 ~x1319151+32 ~x1319150+16 ~x1319149+8 ~x1319148+4 ~x1319147+2 ~x1319146+1 ~x1319145+9216 x7689+8192 ~x225+4096 ~x224+2048 ~x223+1024 ~x222+512 ~x221+256 ~x220+128 ~x219+64 ~x218+32 ~x217+16 ~x216+8 ~x215+4 ~x214+2 ~x213+1 ~x212-0=32766 34.17/34.25 c 8192 ~x1322874+4096 ~x1322873+2048 ~x1322872+1024 ~x1322871+512 ~x1322870+256 ~x1322869+128 ~x1322868+64 ~x1322867+32 ~x1322866+16 ~x1322865+8 ~x1322864+4 ~x1322863+2 ~x1322862+1 ~x1322861+9216 x7690+8192 ~x255+4096 ~x254+2048 ~x253+1024 ~x252+512 ~x251+256 ~x250+128 ~x249+64 ~x248+32 ~x247+16 ~x246+8 ~x245+4 ~x244+2 ~x243+1 ~x242-0=32766 34.27/34.34 c 1024 ~x1326587+512 ~x1326586+256 ~x1326585+128 ~x1326584+64 ~x1326583+32 ~x1326582+16 ~x1326581+8 ~x1326580+4 ~x1326579+2 ~x1326578+1 ~x1326577+1024 x7691+1024 ~x282+512 ~x281+256 ~x280+128 ~x279+64 ~x278+32 ~x277+16 ~x276+8 ~x275+4 ~x274+2 ~x273+1 ~x272-0=4094 34.37/34.40 c 8192 ~x1328703+4096 ~x1328702+2048 ~x1328701+1024 ~x1328700+512 ~x1328699+256 ~x1328698+128 ~x1328697+64 ~x1328696+32 ~x1328695+16 ~x1328694+8 ~x1328693+4 ~x1328692+2 ~x1328691+1 ~x1328690+9216 x7692+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302-0=32766 34.37/34.49 c 8192 ~x1332419+4096 ~x1332418+2048 ~x1332417+1024 ~x1332416+512 ~x1332415+256 ~x1332414+128 ~x1332413+64 ~x1332412+32 ~x1332411+16 ~x1332410+8 ~x1332409+4 ~x1332408+2 ~x1332407+1 ~x1332406+9216 x7693+8192 ~x345+4096 ~x344+2048 ~x343+1024 ~x342+512 ~x341+256 ~x340+128 ~x339+64 ~x338+32 ~x337+16 ~x336+8 ~x335+4 ~x334+2 ~x333+1 ~x332-0=32766 34.47/34.58 c 1024 ~x1336132+512 ~x1336131+256 ~x1336130+128 ~x1336129+64 ~x1336128+32 ~x1336127+16 ~x1336126+8 ~x1336125+4 ~x1336124+2 ~x1336123+1 ~x1336122+1024 x7694+1024 ~x372+512 ~x371+256 ~x370+128 ~x369+64 ~x368+32 ~x367+16 ~x366+8 ~x365+4 ~x364+2 ~x363+1 ~x362-0=4094 34.57/34.64 c 16384 ~x1338249+8192 ~x1338248+4096 ~x1338247+2048 ~x1338246+1024 ~x1338245+512 ~x1338244+256 ~x1338243+128 ~x1338242+64 ~x1338241+32 ~x1338240+16 ~x1338239+8 ~x1338238+4 ~x1338237+2 ~x1338236+1 ~x1338235+22528 x7695+16384 ~x406+8192 ~x405+4096 ~x404+2048 ~x403+1024 ~x402+512 ~x401+256 ~x400+128 ~x399+64 ~x398+32 ~x397+16 ~x396+8 ~x395+4 ~x394+2 ~x393+1 ~x392-0=65534 34.68/34.75 c 8192 ~x1342540+4096 ~x1342539+2048 ~x1342538+1024 ~x1342537+512 ~x1342536+256 ~x1342535+128 ~x1342534+64 ~x1342533+32 ~x1342532+16 ~x1342531+8 ~x1342530+4 ~x1342529+2 ~x1342528+1 ~x1342527+9216 x7696+8192 ~x435+4096 ~x434+2048 ~x433+1024 ~x432+512 ~x431+256 ~x430+128 ~x429+64 ~x428+32 ~x427+16 ~x426+8 ~x425+4 ~x424+2 ~x423+1 ~x422-0=32766 34.78/34.84 c 8192 ~x1346256+4096 ~x1346255+2048 ~x1346254+1024 ~x1346253+512 ~x1346252+256 ~x1346251+128 ~x1346250+64 ~x1346249+32 ~x1346248+16 ~x1346247+8 ~x1346246+4 ~x1346245+2 ~x1346244+1 ~x1346243+9216 x7697+8192 ~x465+4096 ~x464+2048 ~x463+1024 ~x462+512 ~x461+256 ~x460+128 ~x459+64 ~x458+32 ~x457+16 ~x456+8 ~x455+4 ~x454+2 ~x453+1 ~x452-0=32766 34.88/34.93 c 8192 ~x1349972+4096 ~x1349971+2048 ~x1349970+1024 ~x1349969+512 ~x1349968+256 ~x1349967+128 ~x1349966+64 ~x1349965+32 ~x1349964+16 ~x1349963+8 ~x1349962+4 ~x1349961+2 ~x1349960+1 ~x1349959+11264 x7698+8192 ~x495+4096 ~x494+2048 ~x493+1024 ~x492+512 ~x491+256 ~x490+128 ~x489+64 ~x488+32 ~x487+16 ~x486+8 ~x485+4 ~x484+2 ~x483+1 ~x482-0=32766 34.98/35.03 c 16384 ~x1353689+8192 ~x1353688+4096 ~x1353687+2048 ~x1353686+1024 ~x1353685+512 ~x1353684+256 ~x1353683+128 ~x1353682+64 ~x1353681+32 ~x1353680+16 ~x1353679+8 ~x1353678+4 ~x1353677+2 ~x1353676+1 ~x1353675+17408 x7699+16384 ~x526+8192 ~x525+4096 ~x524+2048 ~x523+1024 ~x522+512 ~x521+256 ~x520+128 ~x519+64 ~x518+32 ~x517+16 ~x516+8 ~x515+4 ~x514+2 ~x513+1 ~x512-0=65534 35.08/35.13 c 2048 ~x1357721+1024 ~x1357720+512 ~x1357719+256 ~x1357718+128 ~x1357717+64 ~x1357716+32 ~x1357715+16 ~x1357714+8 ~x1357713+4 ~x1357712+2 ~x1357711+1 ~x1357710+2048 x7700+2048 ~x553+1024 ~x552+512 ~x551+256 ~x550+128 ~x549+64 ~x548+32 ~x547+16 ~x546+8 ~x545+4 ~x544+2 ~x543+1 ~x542-0=8190 35.08/35.19 c 16384 ~x1360072+8192 ~x1360071+4096 ~x1360070+2048 ~x1360069+1024 ~x1360068+512 ~x1360067+256 ~x1360066+128 ~x1360065+64 ~x1360064+32 ~x1360063+16 ~x1360062+8 ~x1360061+4 ~x1360060+2 ~x1360059+1 ~x1360058+17408 x7701+16384 ~x586+8192 ~x585+4096 ~x584+2048 ~x583+1024 ~x582+512 ~x581+256 ~x580+128 ~x579+64 ~x578+32 ~x577+16 ~x576+8 ~x575+4 ~x574+2 ~x573+1 ~x572-0=65534 35.18/35.29 c 2048 ~x1364104+1024 ~x1364103+512 ~x1364102+256 ~x1364101+128 ~x1364100+64 ~x1364099+32 ~x1364098+16 ~x1364097+8 ~x1364096+4 ~x1364095+2 ~x1364094+1 ~x1364093+2048 x7702+2048 ~x613+1024 ~x612+512 ~x611+256 ~x610+128 ~x609+64 ~x608+32 ~x607+16 ~x606+8 ~x605+4 ~x604+2 ~x603+1 ~x602-0=8190 35.27/35.35 c 16384 ~x1366455+8192 ~x1366454+4096 ~x1366453+2048 ~x1366452+1024 ~x1366451+512 ~x1366450+256 ~x1366449+128 ~x1366448+64 ~x1366447+32 ~x1366446+16 ~x1366445+8 ~x1366444+4 ~x1366443+2 ~x1366442+1 ~x1366441+17408 x7703+16384 ~x646+8192 ~x645+4096 ~x644+2048 ~x643+1024 ~x642+512 ~x641+256 ~x640+128 ~x639+64 ~x638+32 ~x637+16 ~x636+8 ~x635+4 ~x634+2 ~x633+1 ~x632-0=65534 35.38/35.45 c 16384 ~x1370490+8192 ~x1370489+4096 ~x1370488+2048 ~x1370487+1024 ~x1370486+512 ~x1370485+256 ~x1370484+128 ~x1370483+64 ~x1370482+32 ~x1370481+16 ~x1370480+8 ~x1370479+4 ~x1370478+2 ~x1370477+1 ~x1370476+17408 x7704+16384 ~x676+8192 ~x675+4096 ~x674+2048 ~x673+1024 ~x672+512 ~x671+256 ~x670+128 ~x669+64 ~x668+32 ~x667+16 ~x666+8 ~x665+4 ~x664+2 ~x663+1 ~x662-0=65534 35.48/35.56 c 8192 ~x1374524+4096 ~x1374523+2048 ~x1374522+1024 ~x1374521+512 ~x1374520+256 ~x1374519+128 ~x1374518+64 ~x1374517+32 ~x1374516+16 ~x1374515+8 ~x1374514+4 ~x1374513+2 ~x1374512+1 ~x1374511+8192 x7705+8192 ~x705+4096 ~x704+2048 ~x703+1024 ~x702+512 ~x701+256 ~x700+128 ~x699+64 ~x698+32 ~x697+16 ~x696+8 ~x695+4 ~x694+2 ~x693+1 ~x692-0=32766 35.58/35.65 c 16384 ~x1378241+8192 ~x1378240+4096 ~x1378239+2048 ~x1378238+1024 ~x1378237+512 ~x1378236+256 ~x1378235+128 ~x1378234+64 ~x1378233+32 ~x1378232+16 ~x1378231+8 ~x1378230+4 ~x1378229+2 ~x1378228+1 ~x1378227+17408 x7706+16384 ~x736+8192 ~x735+4096 ~x734+2048 ~x733+1024 ~x732+512 ~x731+256 ~x730+128 ~x729+64 ~x728+32 ~x727+16 ~x726+8 ~x725+4 ~x724+2 ~x723+1 ~x722-0=65534 35.67/35.75 c 8192 ~x1382275+4096 ~x1382274+2048 ~x1382273+1024 ~x1382272+512 ~x1382271+256 ~x1382270+128 ~x1382269+64 ~x1382268+32 ~x1382267+16 ~x1382266+8 ~x1382265+4 ~x1382264+2 ~x1382263+1 ~x1382262+9216 x7707+8192 ~x765+4096 ~x764+2048 ~x763+1024 ~x762+512 ~x761+256 ~x760+128 ~x759+64 ~x758+32 ~x757+16 ~x756+8 ~x755+4 ~x754+2 ~x753+1 ~x752-0=32766 35.77/35.84 c 16384 ~x1385992+8192 ~x1385991+4096 ~x1385990+2048 ~x1385989+1024 ~x1385988+512 ~x1385987+256 ~x1385986+128 ~x1385985+64 ~x1385984+32 ~x1385983+16 ~x1385982+8 ~x1385981+4 ~x1385980+2 ~x1385979+1 ~x1385978+16384 x7708+16384 ~x796+8192 ~x795+4096 ~x794+2048 ~x793+1024 ~x792+512 ~x791+256 ~x790+128 ~x789+64 ~x788+32 ~x787+16 ~x786+8 ~x785+4 ~x784+2 ~x783+1 ~x782-0=65534 35.88/35.95 c 1024 ~x1390023+512 ~x1390022+256 ~x1390021+128 ~x1390020+64 ~x1390019+32 ~x1390018+16 ~x1390017+8 ~x1390016+4 ~x1390015+2 ~x1390014+1 ~x1390013+1024 x7709+1024 ~x822+512 ~x821+256 ~x820+128 ~x819+64 ~x818+32 ~x817+16 ~x816+8 ~x815+4 ~x814+2 ~x813+1 ~x812-0=4094 35.98/36.00 c 16384 ~x1392140+8192 ~x1392139+4096 ~x1392138+2048 ~x1392137+1024 ~x1392136+512 ~x1392135+256 ~x1392134+128 ~x1392133+64 ~x1392132+32 ~x1392131+16 ~x1392130+8 ~x1392129+4 ~x1392128+2 ~x1392127+1 ~x1392126+17408 x7710+16384 ~x856+8192 ~x855+4096 ~x854+2048 ~x853+1024 ~x852+512 ~x851+256 ~x850+128 ~x849+64 ~x848+32 ~x847+16 ~x846+8 ~x845+4 ~x844+2 ~x843+1 ~x842-0=65534 36.08/36.10 c 16384 ~x1396175+8192 ~x1396174+4096 ~x1396173+2048 ~x1396172+1024 ~x1396171+512 ~x1396170+256 ~x1396169+128 ~x1396168+64 ~x1396167+32 ~x1396166+16 ~x1396165+8 ~x1396164+4 ~x1396163+2 ~x1396162+1 ~x1396161+17408 x7711+16384 ~x886+8192 ~x885+4096 ~x884+2048 ~x883+1024 ~x882+512 ~x881+256 ~x880+128 ~x879+64 ~x878+32 ~x877+16 ~x876+8 ~x875+4 ~x874+2 ~x873+1 ~x872-0=65534 36.18/36.20 c 1024 ~x1400206+512 ~x1400205+256 ~x1400204+128 ~x1400203+64 ~x1400202+32 ~x1400201+16 ~x1400200+8 ~x1400199+4 ~x1400198+2 ~x1400197+1 ~x1400196+1024 x7712+1024 ~x912+512 ~x911+256 ~x910+128 ~x909+64 ~x908+32 ~x907+16 ~x906+8 ~x905+4 ~x904+2 ~x903+1 ~x902-0=4094 36.18/36.26 c 16384 ~x1402323+8192 ~x1402322+4096 ~x1402321+2048 ~x1402320+1024 ~x1402319+512 ~x1402318+256 ~x1402317+128 ~x1402316+64 ~x1402315+32 ~x1402314+16 ~x1402313+8 ~x1402312+4 ~x1402311+2 ~x1402310+1 ~x1402309+17408 x7713+16384 ~x946+8192 ~x945+4096 ~x944+2048 ~x943+1024 ~x942+512 ~x941+256 ~x940+128 ~x939+64 ~x938+32 ~x937+16 ~x936+8 ~x935+4 ~x934+2 ~x933+1 ~x932-0=65534 36.28/36.36 c 16384 ~x1406358+8192 ~x1406357+4096 ~x1406356+2048 ~x1406355+1024 ~x1406354+512 ~x1406353+256 ~x1406352+128 ~x1406351+64 ~x1406350+32 ~x1406349+16 ~x1406348+8 ~x1406347+4 ~x1406346+2 ~x1406345+1 ~x1406344+17408 x7714+16384 ~x976+8192 ~x975+4096 ~x974+2048 ~x973+1024 ~x972+512 ~x971+256 ~x970+128 ~x969+64 ~x968+32 ~x967+16 ~x966+8 ~x965+4 ~x964+2 ~x963+1 ~x962-0=65534 36.37/36.46 c 8192 ~x1410392+4096 ~x1410391+2048 ~x1410390+1024 ~x1410389+512 ~x1410388+256 ~x1410387+128 ~x1410386+64 ~x1410385+32 ~x1410384+16 ~x1410383+8 ~x1410382+4 ~x1410381+2 ~x1410380+1 ~x1410379+11264 x7715+8192 ~x1005+4096 ~x1004+2048 ~x1003+1024 ~x1002+512 ~x1001+256 ~x1000+128 ~x999+64 ~x998+32 ~x997+16 ~x996+8 ~x995+4 ~x994+2 ~x993+1 ~x992-0=32766 36.47/36.56 c 8192 ~x1414108+4096 ~x1414107+2048 ~x1414106+1024 ~x1414105+512 ~x1414104+256 ~x1414103+128 ~x1414102+64 ~x1414101+32 ~x1414100+16 ~x1414099+8 ~x1414098+4 ~x1414097+2 ~x1414096+1 ~x1414095+15360 x7716+8192 ~x1035+4096 ~x1034+2048 ~x1033+1024 ~x1032+512 ~x1031+256 ~x1030+128 ~x1029+64 ~x1028+32 ~x1027+16 ~x1026+8 ~x1025+4 ~x1024+2 ~x1023+1 ~x1022-0=32766 36.58/36.65 c 1024 ~x1417821+512 ~x1417820+256 ~x1417819+128 ~x1417818+64 ~x1417817+32 ~x1417816+16 ~x1417815+8 ~x1417814+4 ~x1417813+2 ~x1417812+1 ~x1417811+1024 x7717+1024 ~x1062+512 ~x1061+256 ~x1060+128 ~x1059+64 ~x1058+32 ~x1057+16 ~x1056+8 ~x1055+4 ~x1054+2 ~x1053+1 ~x1052-0=4094 36.68/36.70 c 2048 ~x1419935+1024 ~x1419934+512 ~x1419933+256 ~x1419932+128 ~x1419931+64 ~x1419930+32 ~x1419929+16 ~x1419928+8 ~x1419927+4 ~x1419926+2 ~x1419925+1 ~x1419924+2048 x7718+2048 ~x1093+1024 ~x1092+512 ~x1091+256 ~x1090+128 ~x1089+64 ~x1088+32 ~x1087+16 ~x1086+8 ~x1085+4 ~x1084+2 ~x1083+1 ~x1082-0=8190 36.68/36.77 c 8192 ~x1422285+4096 ~x1422284+2048 ~x1422283+1024 ~x1422282+512 ~x1422281+256 ~x1422280+128 ~x1422279+64 ~x1422278+32 ~x1422277+16 ~x1422276+8 ~x1422275+4 ~x1422274+2 ~x1422273+1 ~x1422272+15360 x7719+8192 ~x1125+4096 ~x1124+2048 ~x1123+1024 ~x1122+512 ~x1121+256 ~x1120+128 ~x1119+64 ~x1118+32 ~x1117+16 ~x1116+8 ~x1115+4 ~x1114+2 ~x1113+1 ~x1112-0=32766 36.77/36.86 c 2048 ~x1425999+1024 ~x1425998+512 ~x1425997+256 ~x1425996+128 ~x1425995+64 ~x1425994+32 ~x1425993+16 ~x1425992+8 ~x1425991+4 ~x1425990+2 ~x1425989+1 ~x1425988+2048 x7720+2048 ~x1153+1024 ~x1152+512 ~x1151+256 ~x1150+128 ~x1149+64 ~x1148+32 ~x1147+16 ~x1146+8 ~x1145+4 ~x1144+2 ~x1143+1 ~x1142-0=8190 36.87/36.92 c 8192 ~x1428349+4096 ~x1428348+2048 ~x1428347+1024 ~x1428346+512 ~x1428345+256 ~x1428344+128 ~x1428343+64 ~x1428342+32 ~x1428341+16 ~x1428340+8 ~x1428339+4 ~x1428338+2 ~x1428337+1 ~x1428336+15360 x7721+8192 ~x1185+4096 ~x1184+2048 ~x1183+1024 ~x1182+512 ~x1181+256 ~x1180+128 ~x1179+64 ~x1178+32 ~x1177+16 ~x1176+8 ~x1175+4 ~x1174+2 ~x1173+1 ~x1172-0=32766 36.97/37.01 c 8192 ~x1432065+4096 ~x1432064+2048 ~x1432063+1024 ~x1432062+512 ~x1432061+256 ~x1432060+128 ~x1432059+64 ~x1432058+32 ~x1432057+16 ~x1432056+8 ~x1432055+4 ~x1432054+2 ~x1432053+1 ~x1432052+15360 x7722+8192 ~x1215+4096 ~x1214+2048 ~x1213+1024 ~x1212+512 ~x1211+256 ~x1210+128 ~x1209+64 ~x1208+32 ~x1207+16 ~x1206+8 ~x1205+4 ~x1204+2 ~x1203+1 ~x1202-0=32766 37.08/37.11 c 8192 ~x1435781+4096 ~x1435780+2048 ~x1435779+1024 ~x1435778+512 ~x1435777+256 ~x1435776+128 ~x1435775+64 ~x1435774+32 ~x1435773+16 ~x1435772+8 ~x1435771+4 ~x1435770+2 ~x1435769+1 ~x1435768+8192 x7723+8192 ~x1245+4096 ~x1244+2048 ~x1243+1024 ~x1242+512 ~x1241+256 ~x1240+128 ~x1239+64 ~x1238+32 ~x1237+16 ~x1236+8 ~x1235+4 ~x1234+2 ~x1233+1 ~x1232-0=32766 37.18/37.20 c 8192 ~x1439497+4096 ~x1439496+2048 ~x1439495+1024 ~x1439494+512 ~x1439493+256 ~x1439492+128 ~x1439491+64 ~x1439490+32 ~x1439489+16 ~x1439488+8 ~x1439487+4 ~x1439486+2 ~x1439485+1 ~x1439484+9216 x7724+8192 ~x1275+4096 ~x1274+2048 ~x1273+1024 ~x1272+512 ~x1271+256 ~x1270+128 ~x1269+64 ~x1268+32 ~x1267+16 ~x1266+8 ~x1265+4 ~x1264+2 ~x1263+1 ~x1262-0=32766 37.18/37.29 c 8192 ~x1443213+4096 ~x1443212+2048 ~x1443211+1024 ~x1443210+512 ~x1443209+256 ~x1443208+128 ~x1443207+64 ~x1443206+32 ~x1443205+16 ~x1443204+8 ~x1443203+4 ~x1443202+2 ~x1443201+1 ~x1443200+15360 x7725+8192 ~x1305+4096 ~x1304+2048 ~x1303+1024 ~x1302+512 ~x1301+256 ~x1300+128 ~x1299+64 ~x1298+32 ~x1297+16 ~x1296+8 ~x1295+4 ~x1294+2 ~x1293+1 ~x1292-0=32766 37.28/37.39 c 1024 ~x1446926+512 ~x1446925+256 ~x1446924+128 ~x1446923+64 ~x1446922+32 ~x1446921+16 ~x1446920+8 ~x1446919+4 ~x1446918+2 ~x1446917+1 ~x1446916+1024 x7726+1024 ~x1332+512 ~x1331+256 ~x1330+128 ~x1329+64 ~x1328+32 ~x1327+16 ~x1326+8 ~x1325+4 ~x1324+2 ~x1323+1 ~x1322-0=4094 37.38/37.44 c 8192 ~x1449042+4096 ~x1449041+2048 ~x1449040+1024 ~x1449039+512 ~x1449038+256 ~x1449037+128 ~x1449036+64 ~x1449035+32 ~x1449034+16 ~x1449033+8 ~x1449032+4 ~x1449031+2 ~x1449030+1 ~x1449029+15360 x7727+8192 ~x1365+4096 ~x1364+2048 ~x1363+1024 ~x1362+512 ~x1361+256 ~x1360+128 ~x1359+64 ~x1358+32 ~x1357+16 ~x1356+8 ~x1355+4 ~x1354+2 ~x1353+1 ~x1352-0=32766 37.47/37.54 c 16384 ~x1452759+8192 ~x1452758+4096 ~x1452757+2048 ~x1452756+1024 ~x1452755+512 ~x1452754+256 ~x1452753+128 ~x1452752+64 ~x1452751+32 ~x1452750+16 ~x1452749+8 ~x1452748+4 ~x1452747+2 ~x1452746+1 ~x1452745+22528 x7728+16384 ~x1396+8192 ~x1395+4096 ~x1394+2048 ~x1393+1024 ~x1392+512 ~x1391+256 ~x1390+128 ~x1389+64 ~x1388+32 ~x1387+16 ~x1386+8 ~x1385+4 ~x1384+2 ~x1383+1 ~x1382-0=65534 37.57/37.64 c 8192 ~x1457050+4096 ~x1457049+2048 ~x1457048+1024 ~x1457047+512 ~x1457046+256 ~x1457045+128 ~x1457044+64 ~x1457043+32 ~x1457042+16 ~x1457041+8 ~x1457040+4 ~x1457039+2 ~x1457038+1 ~x1457037+15360 x7729+8192 ~x1425+4096 ~x1424+2048 ~x1423+1024 ~x1422+512 ~x1421+256 ~x1420+128 ~x1419+64 ~x1418+32 ~x1417+16 ~x1416+8 ~x1415+4 ~x1414+2 ~x1413+1 ~x1412-0=32766 37.67/37.74 c 1024 ~x1460763+512 ~x1460762+256 ~x1460761+128 ~x1460760+64 ~x1460759+32 ~x1460758+16 ~x1460757+8 ~x1460756+4 ~x1460755+2 ~x1460754+1 ~x1460753+1024 x7730+1024 ~x1452+512 ~x1451+256 ~x1450+128 ~x1449+64 ~x1448+32 ~x1447+16 ~x1446+8 ~x1445+4 ~x1444+2 ~x1443+1 ~x1442-0=4094 37.67/37.79 c 8192 ~x1462879+4096 ~x1462878+2048 ~x1462877+1024 ~x1462876+512 ~x1462875+256 ~x1462874+128 ~x1462873+64 ~x1462872+32 ~x1462871+16 ~x1462870+8 ~x1462869+4 ~x1462868+2 ~x1462867+1 ~x1462866+15360 x7731+8192 ~x1485+4096 ~x1484+2048 ~x1483+1024 ~x1482+512 ~x1481+256 ~x1480+128 ~x1479+64 ~x1478+32 ~x1477+16 ~x1476+8 ~x1475+4 ~x1474+2 ~x1473+1 ~x1472-0=32766 37.78/37.89 c 8192 ~x1466595+4096 ~x1466594+2048 ~x1466593+1024 ~x1466592+512 ~x1466591+256 ~x1466590+128 ~x1466589+64 ~x1466588+32 ~x1466587+16 ~x1466586+8 ~x1466585+4 ~x1466584+2 ~x1466583+1 ~x1466582+15360 x7732+8192 ~x1515+4096 ~x1514+2048 ~x1513+1024 ~x1512+512 ~x1511+256 ~x1510+128 ~x1509+64 ~x1508+32 ~x1507+16 ~x1506+8 ~x1505+4 ~x1504+2 ~x1503+1 ~x1502-0=32766 37.87/37.98 c 8192 ~x1470311+4096 ~x1470310+2048 ~x1470309+1024 ~x1470308+512 ~x1470307+256 ~x1470306+128 ~x1470305+64 ~x1470304+32 ~x1470303+16 ~x1470302+8 ~x1470301+4 ~x1470300+2 ~x1470299+1 ~x1470298+11264 x7733+8192 ~x1545+4096 ~x1544+2048 ~x1543+1024 ~x1542+512 ~x1541+256 ~x1540+128 ~x1539+64 ~x1538+32 ~x1537+16 ~x1536+8 ~x1535+4 ~x1534+2 ~x1533+1 ~x1532-0=32766 37.97/38.07 c 16384 ~x1474028+8192 ~x1474027+4096 ~x1474026+2048 ~x1474025+1024 ~x1474024+512 ~x1474023+256 ~x1474022+128 ~x1474021+64 ~x1474020+32 ~x1474019+16 ~x1474018+8 ~x1474017+4 ~x1474016+2 ~x1474015+1 ~x1474014+18432 x7734+16384 ~x1576+8192 ~x1575+4096 ~x1574+2048 ~x1573+1024 ~x1572+512 ~x1571+256 ~x1570+128 ~x1569+64 ~x1568+32 ~x1567+16 ~x1566+8 ~x1565+4 ~x1564+2 ~x1563+1 ~x1562-0=65534 38.07/38.17 c 2048 ~x1478060+1024 ~x1478059+512 ~x1478058+256 ~x1478057+128 ~x1478056+64 ~x1478055+32 ~x1478054+16 ~x1478053+8 ~x1478052+4 ~x1478051+2 ~x1478050+1 ~x1478049+2048 x7735+2048 ~x1603+1024 ~x1602+512 ~x1601+256 ~x1600+128 ~x1599+64 ~x1598+32 ~x1597+16 ~x1596+8 ~x1595+4 ~x1594+2 ~x1593+1 ~x1592-0=8190 38.18/38.24 c 16384 ~x1480411+8192 ~x1480410+4096 ~x1480409+2048 ~x1480408+1024 ~x1480407+512 ~x1480406+256 ~x1480405+128 ~x1480404+64 ~x1480403+32 ~x1480402+16 ~x1480401+8 ~x1480400+4 ~x1480399+2 ~x1480398+1 ~x1480397+18432 x7736+16384 ~x1636+8192 ~x1635+4096 ~x1634+2048 ~x1633+1024 ~x1632+512 ~x1631+256 ~x1630+128 ~x1629+64 ~x1628+32 ~x1627+16 ~x1626+8 ~x1625+4 ~x1624+2 ~x1623+1 ~x1622-0=65534 38.28/38.34 c 2048 ~x1484443+1024 ~x1484442+512 ~x1484441+256 ~x1484440+128 ~x1484439+64 ~x1484438+32 ~x1484437+16 ~x1484436+8 ~x1484435+4 ~x1484434+2 ~x1484433+1 ~x1484432+2048 x7737+2048 ~x1663+1024 ~x1662+512 ~x1661+256 ~x1660+128 ~x1659+64 ~x1658+32 ~x1657+16 ~x1656+8 ~x1655+4 ~x1654+2 ~x1653+1 ~x1652-0=8190 38.38/38.40 c 16384 ~x1486794+8192 ~x1486793+4096 ~x1486792+2048 ~x1486791+1024 ~x1486790+512 ~x1486789+256 ~x1486788+128 ~x1486787+64 ~x1486786+32 ~x1486785+16 ~x1486784+8 ~x1486783+4 ~x1486782+2 ~x1486781+1 ~x1486780+18432 x7738+16384 ~x1696+8192 ~x1695+4096 ~x1694+2048 ~x1693+1024 ~x1692+512 ~x1691+256 ~x1690+128 ~x1689+64 ~x1688+32 ~x1687+16 ~x1686+8 ~x1685+4 ~x1684+2 ~x1683+1 ~x1682-0=65534 38.38/38.50 c 16384 ~x1490829+8192 ~x1490828+4096 ~x1490827+2048 ~x1490826+1024 ~x1490825+512 ~x1490824+256 ~x1490823+128 ~x1490822+64 ~x1490821+32 ~x1490820+16 ~x1490819+8 ~x1490818+4 ~x1490817+2 ~x1490816+1 ~x1490815+17408 x7739+16384 ~x1726+8192 ~x1725+4096 ~x1724+2048 ~x1723+1024 ~x1722+512 ~x1721+256 ~x1720+128 ~x1719+64 ~x1718+32 ~x1717+16 ~x1716+8 ~x1715+4 ~x1714+2 ~x1713+1 ~x1712-0=65534 38.57/38.60 c 16384 ~x1494864+8192 ~x1494863+4096 ~x1494862+2048 ~x1494861+1024 ~x1494860+512 ~x1494859+256 ~x1494858+128 ~x1494857+64 ~x1494856+32 ~x1494855+16 ~x1494854+8 ~x1494853+4 ~x1494852+2 ~x1494851+1 ~x1494850+18432 x7740+16384 ~x1756+8192 ~x1755+4096 ~x1754+2048 ~x1753+1024 ~x1752+512 ~x1751+256 ~x1750+128 ~x1749+64 ~x1748+32 ~x1747+16 ~x1746+8 ~x1745+4 ~x1744+2 ~x1743+1 ~x1742-0=65534 38.68/38.70 c 8192 ~x1498898+4096 ~x1498897+2048 ~x1498896+1024 ~x1498895+512 ~x1498894+256 ~x1498893+128 ~x1498892+64 ~x1498891+32 ~x1498890+16 ~x1498889+8 ~x1498888+4 ~x1498887+2 ~x1498886+1 ~x1498885+8192 x7741+8192 ~x1785+4096 ~x1784+2048 ~x1783+1024 ~x1782+512 ~x1781+256 ~x1780+128 ~x1779+64 ~x1778+32 ~x1777+16 ~x1776+8 ~x1775+4 ~x1774+2 ~x1773+1 ~x1772-0=32766 38.78/38.80 c 8192 ~x1502614+4096 ~x1502613+2048 ~x1502612+1024 ~x1502611+512 ~x1502610+256 ~x1502609+128 ~x1502608+64 ~x1502607+32 ~x1502606+16 ~x1502605+8 ~x1502604+4 ~x1502603+2 ~x1502602+1 ~x1502601+9216 x7742+8192 ~x1815+4096 ~x1814+2048 ~x1813+1024 ~x1812+512 ~x1811+256 ~x1810+128 ~x1809+64 ~x1808+32 ~x1807+16 ~x1806+8 ~x1805+4 ~x1804+2 ~x1803+1 ~x1802-0=32766 38.78/38.89 c 16384 ~x1506331+8192 ~x1506330+4096 ~x1506329+2048 ~x1506328+1024 ~x1506327+512 ~x1506326+256 ~x1506325+128 ~x1506324+64 ~x1506323+32 ~x1506322+16 ~x1506321+8 ~x1506320+4 ~x1506319+2 ~x1506318+1 ~x1506317+16384 x7743+16384 ~x1846+8192 ~x1845+4096 ~x1844+2048 ~x1843+1024 ~x1842+512 ~x1841+256 ~x1840+128 ~x1839+64 ~x1838+32 ~x1837+16 ~x1836+8 ~x1835+4 ~x1834+2 ~x1833+1 ~x1832-0=65534 38.88/38.99 c 1024 ~x1510362+512 ~x1510361+256 ~x1510360+128 ~x1510359+64 ~x1510358+32 ~x1510357+16 ~x1510356+8 ~x1510355+4 ~x1510354+2 ~x1510353+1 ~x1510352+1024 x7744+1024 ~x1872+512 ~x1871+256 ~x1870+128 ~x1869+64 ~x1868+32 ~x1867+16 ~x1866+8 ~x1865+4 ~x1864+2 ~x1863+1 ~x1862-0=4094 38.97/39.05 c 16384 ~x1512479+8192 ~x1512478+4096 ~x1512477+2048 ~x1512476+1024 ~x1512475+512 ~x1512474+256 ~x1512473+128 ~x1512472+64 ~x1512471+32 ~x1512470+16 ~x1512469+8 ~x1512468+4 ~x1512467+2 ~x1512466+1 ~x1512465+18432 x7745+16384 ~x1906+8192 ~x1905+4096 ~x1904+2048 ~x1903+1024 ~x1902+512 ~x1901+256 ~x1900+128 ~x1899+64 ~x1898+32 ~x1897+16 ~x1896+8 ~x1895+4 ~x1894+2 ~x1893+1 ~x1892-0=65534 39.07/39.15 c 16384 ~x1516514+8192 ~x1516513+4096 ~x1516512+2048 ~x1516511+1024 ~x1516510+512 ~x1516509+256 ~x1516508+128 ~x1516507+64 ~x1516506+32 ~x1516505+16 ~x1516504+8 ~x1516503+4 ~x1516502+2 ~x1516501+1 ~x1516500+17408 x7746+16384 ~x1936+8192 ~x1935+4096 ~x1934+2048 ~x1933+1024 ~x1932+512 ~x1931+256 ~x1930+128 ~x1929+64 ~x1928+32 ~x1927+16 ~x1926+8 ~x1925+4 ~x1924+2 ~x1923+1 ~x1922-0=65534 39.17/39.25 c 1024 ~x1520545+512 ~x1520544+256 ~x1520543+128 ~x1520542+64 ~x1520541+32 ~x1520540+16 ~x1520539+8 ~x1520538+4 ~x1520537+2 ~x1520536+1 ~x1520535+1024 x7747+1024 ~x1962+512 ~x1961+256 ~x1960+128 ~x1959+64 ~x1958+32 ~x1957+16 ~x1956+8 ~x1955+4 ~x1954+2 ~x1953+1 ~x1952-0=4094 39.28/39.31 c 16384 ~x1522662+8192 ~x1522661+4096 ~x1522660+2048 ~x1522659+1024 ~x1522658+512 ~x1522657+256 ~x1522656+128 ~x1522655+64 ~x1522654+32 ~x1522653+16 ~x1522652+8 ~x1522651+4 ~x1522650+2 ~x1522649+1 ~x1522648+18432 x7748+16384 ~x1996+8192 ~x1995+4096 ~x1994+2048 ~x1993+1024 ~x1992+512 ~x1991+256 ~x1990+128 ~x1989+64 ~x1988+32 ~x1987+16 ~x1986+8 ~x1985+4 ~x1984+2 ~x1983+1 ~x1982-0=65534 39.37/39.41 c 16384 ~x1526697+8192 ~x1526696+4096 ~x1526695+2048 ~x1526694+1024 ~x1526693+512 ~x1526692+256 ~x1526691+128 ~x1526690+64 ~x1526689+32 ~x1526688+16 ~x1526687+8 ~x1526686+4 ~x1526685+2 ~x1526684+1 ~x1526683+17408 x7749+16384 ~x2026+8192 ~x2025+4096 ~x2024+2048 ~x2023+1024 ~x2022+512 ~x2021+256 ~x2020+128 ~x2019+64 ~x2018+32 ~x2017+16 ~x2016+8 ~x2015+4 ~x2014+2 ~x2013+1 ~x2012-0=65534 39.48/39.51 c 8192 ~x1530731+4096 ~x1530730+2048 ~x1530729+1024 ~x1530728+512 ~x1530727+256 ~x1530726+128 ~x1530725+64 ~x1530724+32 ~x1530723+16 ~x1530722+8 ~x1530721+4 ~x1530720+2 ~x1530719+1 ~x1530718+11264 x7750+8192 ~x2055+4096 ~x2054+2048 ~x2053+1024 ~x2052+512 ~x2051+256 ~x2050+128 ~x2049+64 ~x2048+32 ~x2047+16 ~x2046+8 ~x2045+4 ~x2044+2 ~x2043+1 ~x2042-0=32766 39.48/39.60 c 8192 ~x1534447+4096 ~x1534446+2048 ~x1534445+1024 ~x1534444+512 ~x1534443+256 ~x1534442+128 ~x1534441+64 ~x1534440+32 ~x1534439+16 ~x1534438+8 ~x1534437+4 ~x1534436+2 ~x1534435+1 ~x1534434+11264 x7751+8192 ~x2085+4096 ~x2084+2048 ~x2083+1024 ~x2082+512 ~x2081+256 ~x2080+128 ~x2079+64 ~x2078+32 ~x2077+16 ~x2076+8 ~x2075+4 ~x2074+2 ~x2073+1 ~x2072-0=32766 39.67/39.70 c 16384 ~x1538164+8192 ~x1538163+4096 ~x1538162+2048 ~x1538161+1024 ~x1538160+512 ~x1538159+256 ~x1538158+128 ~x1538157+64 ~x1538156+32 ~x1538155+16 ~x1538154+8 ~x1538153+4 ~x1538152+2 ~x1538151+1 ~x1538150+19456 x7752+16384 ~x2116+8192 ~x2115+4096 ~x2114+2048 ~x2113+1024 ~x2112+512 ~x2111+256 ~x2110+128 ~x2109+64 ~x2108+32 ~x2107+16 ~x2106+8 ~x2105+4 ~x2104+2 ~x2103+1 ~x2102-0=65534 39.77/39.80 c 2048 ~x1542196+1024 ~x1542195+512 ~x1542194+256 ~x1542193+128 ~x1542192+64 ~x1542191+32 ~x1542190+16 ~x1542189+8 ~x1542188+4 ~x1542187+2 ~x1542186+1 ~x1542185+2048 x7753+2048 ~x2143+1024 ~x2142+512 ~x2141+256 ~x2140+128 ~x2139+64 ~x2138+32 ~x2137+16 ~x2136+8 ~x2135+4 ~x2134+2 ~x2133+1 ~x2132-0=8190 39.77/39.86 c 16384 ~x1544547+8192 ~x1544546+4096 ~x1544545+2048 ~x1544544+1024 ~x1544543+512 ~x1544542+256 ~x1544541+128 ~x1544540+64 ~x1544539+32 ~x1544538+16 ~x1544537+8 ~x1544536+4 ~x1544535+2 ~x1544534+1 ~x1544533+19456 x7754+16384 ~x2176+8192 ~x2175+4096 ~x2174+2048 ~x2173+1024 ~x2172+512 ~x2171+256 ~x2170+128 ~x2169+64 ~x2168+32 ~x2167+16 ~x2166+8 ~x2165+4 ~x2164+2 ~x2163+1 ~x2162-0=65534 39.88/39.96 c 2048 ~x1548579+1024 ~x1548578+512 ~x1548577+256 ~x1548576+128 ~x1548575+64 ~x1548574+32 ~x1548573+16 ~x1548572+8 ~x1548571+4 ~x1548570+2 ~x1548569+1 ~x1548568+2048 x7755+2048 ~x2203+1024 ~x2202+512 ~x2201+256 ~x2200+128 ~x2199+64 ~x2198+32 ~x2197+16 ~x2196+8 ~x2195+4 ~x2194+2 ~x2193+1 ~x2192-0=8190 39.98/40.02 c 16384 ~x1550930+8192 ~x1550929+4096 ~x1550928+2048 ~x1550927+1024 ~x1550926+512 ~x1550925+256 ~x1550924+128 ~x1550923+64 ~x1550922+32 ~x1550921+16 ~x1550920+8 ~x1550919+4 ~x1550918+2 ~x1550917+1 ~x1550916+19456 x7756+16384 ~x2236+8192 ~x2235+4096 ~x2234+2048 ~x2233+1024 ~x2232+512 ~x2231+256 ~x2230+128 ~x2229+64 ~x2228+32 ~x2227+16 ~x2226+8 ~x2225+4 ~x2224+2 ~x2223+1 ~x2222-0=65534 40.08/40.12 c 16384 ~x1554965+8192 ~x1554964+4096 ~x1554963+2048 ~x1554962+1024 ~x1554961+512 ~x1554960+256 ~x1554959+128 ~x1554958+64 ~x1554957+32 ~x1554956+16 ~x1554955+8 ~x1554954+4 ~x1554953+2 ~x1554952+1 ~x1554951+19456 x7757+16384 ~x2266+8192 ~x2265+4096 ~x2264+2048 ~x2263+1024 ~x2262+512 ~x2261+256 ~x2260+128 ~x2259+64 ~x2258+32 ~x2257+16 ~x2256+8 ~x2255+4 ~x2254+2 ~x2253+1 ~x2252-0=65534 40.17/40.22 c 8192 ~x1558999+4096 ~x1558998+2048 ~x1558997+1024 ~x1558996+512 ~x1558995+256 ~x1558994+128 ~x1558993+64 ~x1558992+32 ~x1558991+16 ~x1558990+8 ~x1558989+4 ~x1558988+2 ~x1558987+1 ~x1558986+8192 x7758+8192 ~x2295+4096 ~x2294+2048 ~x2293+1024 ~x2292+512 ~x2291+256 ~x2290+128 ~x2289+64 ~x2288+32 ~x2287+16 ~x2286+8 ~x2285+4 ~x2284+2 ~x2283+1 ~x2282-0=32766 40.27/40.34 c 8192 ~x1562715+4096 ~x1562714+2048 ~x1562713+1024 ~x1562712+512 ~x1562711+256 ~x1562710+128 ~x1562709+64 ~x1562708+32 ~x1562707+16 ~x1562706+8 ~x1562705+4 ~x1562704+2 ~x1562703+1 ~x1562702+9216 x7759+8192 ~x2325+4096 ~x2324+2048 ~x2323+1024 ~x2322+512 ~x2321+256 ~x2320+128 ~x2319+64 ~x2318+32 ~x2317+16 ~x2316+8 ~x2315+4 ~x2314+2 ~x2313+1 ~x2312-0=32766 40.37/40.44 c 16384 ~x1566432+8192 ~x1566431+4096 ~x1566430+2048 ~x1566429+1024 ~x1566428+512 ~x1566427+256 ~x1566426+128 ~x1566425+64 ~x1566424+32 ~x1566423+16 ~x1566422+8 ~x1566421+4 ~x1566420+2 ~x1566419+1 ~x1566418+16384 x7760+16384 ~x2356+8192 ~x2355+4096 ~x2354+2048 ~x2353+1024 ~x2352+512 ~x2351+256 ~x2350+128 ~x2349+64 ~x2348+32 ~x2347+16 ~x2346+8 ~x2345+4 ~x2344+2 ~x2343+1 ~x2342-0=65534 40.47/40.54 c 16384 ~x1570467+8192 ~x1570466+4096 ~x1570465+2048 ~x1570464+1024 ~x1570463+512 ~x1570462+256 ~x1570461+128 ~x1570460+64 ~x1570459+32 ~x1570458+16 ~x1570457+8 ~x1570456+4 ~x1570455+2 ~x1570454+1 ~x1570453+24576 x7761+16384 ~x2386+8192 ~x2385+4096 ~x2384+2048 ~x2383+1024 ~x2382+512 ~x2381+256 ~x2380+128 ~x2379+64 ~x2378+32 ~x2377+16 ~x2376+8 ~x2375+4 ~x2374+2 ~x2373+1 ~x2372-0=65534 40.58/40.64 c 1024 ~x1574755+512 ~x1574754+256 ~x1574753+128 ~x1574752+64 ~x1574751+32 ~x1574750+16 ~x1574749+8 ~x1574748+4 ~x1574747+2 ~x1574746+1 ~x1574745+1024 x7762+1024 ~x2412+512 ~x2411+256 ~x2410+128 ~x2409+64 ~x2408+32 ~x2407+16 ~x2406+8 ~x2405+4 ~x2404+2 ~x2403+1 ~x2402-0=4094 40.58/40.70 c 16384 ~x1576872+8192 ~x1576871+4096 ~x1576870+2048 ~x1576869+1024 ~x1576868+512 ~x1576867+256 ~x1576866+128 ~x1576865+64 ~x1576864+32 ~x1576863+16 ~x1576862+8 ~x1576861+4 ~x1576860+2 ~x1576859+1 ~x1576858+19456 x7763+16384 ~x2446+8192 ~x2445+4096 ~x2444+2048 ~x2443+1024 ~x2442+512 ~x2441+256 ~x2440+128 ~x2439+64 ~x2438+32 ~x2437+16 ~x2436+8 ~x2435+4 ~x2434+2 ~x2433+1 ~x2432-0=65534 40.77/40.80 c 16384 ~x1580907+8192 ~x1580906+4096 ~x1580905+2048 ~x1580904+1024 ~x1580903+512 ~x1580902+256 ~x1580901+128 ~x1580900+64 ~x1580899+32 ~x1580898+16 ~x1580897+8 ~x1580896+4 ~x1580895+2 ~x1580894+1 ~x1580893+17408 x7764+16384 ~x2476+8192 ~x2475+4096 ~x2474+2048 ~x2473+1024 ~x2472+512 ~x2471+256 ~x2470+128 ~x2469+64 ~x2468+32 ~x2467+16 ~x2466+8 ~x2465+4 ~x2464+2 ~x2463+1 ~x2462-0=65534 40.87/40.90 c 1024 ~x1584938+512 ~x1584937+256 ~x1584936+128 ~x1584935+64 ~x1584934+32 ~x1584933+16 ~x1584932+8 ~x1584931+4 ~x1584930+2 ~x1584929+1 ~x1584928+1024 x7765+1024 ~x2502+512 ~x2501+256 ~x2500+128 ~x2499+64 ~x2498+32 ~x2497+16 ~x2496+8 ~x2495+4 ~x2494+2 ~x2493+1 ~x2492-0=4094 40.87/40.96 c 16384 ~x1587055+8192 ~x1587054+4096 ~x1587053+2048 ~x1587052+1024 ~x1587051+512 ~x1587050+256 ~x1587049+128 ~x1587048+64 ~x1587047+32 ~x1587046+16 ~x1587045+8 ~x1587044+4 ~x1587043+2 ~x1587042+1 ~x1587041+19456 x7766+16384 ~x2536+8192 ~x2535+4096 ~x2534+2048 ~x2533+1024 ~x2532+512 ~x2531+256 ~x2530+128 ~x2529+64 ~x2528+32 ~x2527+16 ~x2526+8 ~x2525+4 ~x2524+2 ~x2523+1 ~x2522-0=65534 40.97/41.06 c 16384 ~x1591090+8192 ~x1591089+4096 ~x1591088+2048 ~x1591087+1024 ~x1591086+512 ~x1591085+256 ~x1591084+128 ~x1591083+64 ~x1591082+32 ~x1591081+16 ~x1591080+8 ~x1591079+4 ~x1591078+2 ~x1591077+1 ~x1591076+17408 x7767+16384 ~x2566+8192 ~x2565+4096 ~x2564+2048 ~x2563+1024 ~x2562+512 ~x2561+256 ~x2560+128 ~x2559+64 ~x2558+32 ~x2557+16 ~x2556+8 ~x2555+4 ~x2554+2 ~x2553+1 ~x2552-0=65534 41.08/41.16 c 8192 ~x1595124+4096 ~x1595123+2048 ~x1595122+1024 ~x1595121+512 ~x1595120+256 ~x1595119+128 ~x1595118+64 ~x1595117+32 ~x1595116+16 ~x1595115+8 ~x1595114+4 ~x1595113+2 ~x1595112+1 ~x1595111+11264 x7768+8192 ~x2595+4096 ~x2594+2048 ~x2593+1024 ~x2592+512 ~x2591+256 ~x2590+128 ~x2589+64 ~x2588+32 ~x2587+16 ~x2586+8 ~x2585+4 ~x2584+2 ~x2583+1 ~x2582-0=32766 41.18/41.26 c 16384 ~x1598841+8192 ~x1598840+4096 ~x1598839+2048 ~x1598838+1024 ~x1598837+512 ~x1598836+256 ~x1598835+128 ~x1598834+64 ~x1598833+32 ~x1598832+16 ~x1598831+8 ~x1598830+4 ~x1598829+2 ~x1598828+1 ~x1598827+24576 x7769+16384 ~x2626+8192 ~x2625+4096 ~x2624+2048 ~x2623+1024 ~x2622+512 ~x2621+256 ~x2620+128 ~x2619+64 ~x2618+32 ~x2617+16 ~x2616+8 ~x2615+4 ~x2614+2 ~x2613+1 ~x2612-0=65534 41.28/41.36 c 2048 ~x1603130+1024 ~x1603129+512 ~x1603128+256 ~x1603127+128 ~x1603126+64 ~x1603125+32 ~x1603124+16 ~x1603123+8 ~x1603122+4 ~x1603121+2 ~x1603120+1 ~x1603119+2048 x7770+2048 ~x2653+1024 ~x2652+512 ~x2651+256 ~x2650+128 ~x2649+64 ~x2648+32 ~x2647+16 ~x2646+8 ~x2645+4 ~x2644+2 ~x2643+1 ~x2642-0=8190 41.37/41.42 c 32768 ~x1605482+16384 ~x1605481+8192 ~x1605480+4096 ~x1605479+2048 ~x1605478+1024 ~x1605477+512 ~x1605476+256 ~x1605475+128 ~x1605474+64 ~x1605473+32 ~x1605472+16 ~x1605471+8 ~x1605470+4 ~x1605469+2 ~x1605468+1 ~x1605467+38912 x7771+32768 ~x2687+16384 ~x2686+8192 ~x2685+4096 ~x2684+2048 ~x2683+1024 ~x2682+512 ~x2681+256 ~x2680+128 ~x2679+64 ~x2678+32 ~x2677+16 ~x2676+8 ~x2675+4 ~x2674+2 ~x2673+1 ~x2672-0=131070 41.47/41.53 c 2048 ~x1610107+1024 ~x1610106+512 ~x1610105+256 ~x1610104+128 ~x1610103+64 ~x1610102+32 ~x1610101+16 ~x1610100+8 ~x1610099+4 ~x1610098+2 ~x1610097+1 ~x1610096+2048 x7772+2048 ~x2713+1024 ~x2712+512 ~x2711+256 ~x2710+128 ~x2709+64 ~x2708+32 ~x2707+16 ~x2706+8 ~x2705+4 ~x2704+2 ~x2703+1 ~x2702-0=8190 41.47/41.60 c 2048 ~x1612455+1024 ~x1612454+512 ~x1612453+256 ~x1612452+128 ~x1612451+64 ~x1612450+32 ~x1612449+16 ~x1612448+8 ~x1612447+4 ~x1612446+2 ~x1612445+1 ~x1612444+2048 x7773+2048 ~x2743+1024 ~x2742+512 ~x2741+256 ~x2740+128 ~x2739+64 ~x2738+32 ~x2737+16 ~x2736+8 ~x2735+4 ~x2734+2 ~x2733+1 ~x2732-0=8190 41.58/41.66 c 16384 ~x1614806+8192 ~x1614805+4096 ~x1614804+2048 ~x1614803+1024 ~x1614802+512 ~x1614801+256 ~x1614800+128 ~x1614799+64 ~x1614798+32 ~x1614797+16 ~x1614796+8 ~x1614795+4 ~x1614794+2 ~x1614793+1 ~x1614792+22528 x7774+16384 ~x2776+8192 ~x2775+4096 ~x2774+2048 ~x2773+1024 ~x2772+512 ~x2771+256 ~x2770+128 ~x2769+64 ~x2768+32 ~x2767+16 ~x2766+8 ~x2765+4 ~x2764+2 ~x2763+1 ~x2762-0=65534 41.68/41.76 c 32768 ~x1619099+16384 ~x1619098+8192 ~x1619097+4096 ~x1619096+2048 ~x1619095+1024 ~x1619094+512 ~x1619093+256 ~x1619092+128 ~x1619091+64 ~x1619090+32 ~x1619089+16 ~x1619088+8 ~x1619087+4 ~x1619086+2 ~x1619085+1 ~x1619084+38912 x7775+32768 ~x2807+16384 ~x2806+8192 ~x2805+4096 ~x2804+2048 ~x2803+1024 ~x2802+512 ~x2801+256 ~x2800+128 ~x2799+64 ~x2798+32 ~x2797+16 ~x2796+8 ~x2795+4 ~x2794+2 ~x2793+1 ~x2792-0=131070 41.78/41.87 c 8192 ~x1623726+4096 ~x1623725+2048 ~x1623724+1024 ~x1623723+512 ~x1623722+256 ~x1623721+128 ~x1623720+64 ~x1623719+32 ~x1623718+16 ~x1623717+8 ~x1623716+4 ~x1623715+2 ~x1623714+1 ~x1623713+8192 x7776+8192 ~x2835+4096 ~x2834+2048 ~x2833+1024 ~x2832+512 ~x2831+256 ~x2830+128 ~x2829+64 ~x2828+32 ~x2827+16 ~x2826+8 ~x2825+4 ~x2824+2 ~x2823+1 ~x2822-0=32766 41.87/41.97 c 8192 ~x1627442+4096 ~x1627441+2048 ~x1627440+1024 ~x1627439+512 ~x1627438+256 ~x1627437+128 ~x1627436+64 ~x1627435+32 ~x1627434+16 ~x1627433+8 ~x1627432+4 ~x1627431+2 ~x1627430+1 ~x1627429+9216 x7777+8192 ~x2865+4096 ~x2864+2048 ~x2863+1024 ~x2862+512 ~x2861+256 ~x2860+128 ~x2859+64 ~x2858+32 ~x2857+16 ~x2856+8 ~x2855+4 ~x2854+2 ~x2853+1 ~x2852-0=32766 41.97/42.06 c 16384 ~x1631159+8192 ~x1631158+4096 ~x1631157+2048 ~x1631156+1024 ~x1631155+512 ~x1631154+256 ~x1631153+128 ~x1631152+64 ~x1631151+32 ~x1631150+16 ~x1631149+8 ~x1631148+4 ~x1631147+2 ~x1631146+1 ~x1631145+16384 x7778+16384 ~x2896+8192 ~x2895+4096 ~x2894+2048 ~x2893+1024 ~x2892+512 ~x2891+256 ~x2890+128 ~x2889+64 ~x2888+32 ~x2887+16 ~x2886+8 ~x2885+4 ~x2884+2 ~x2883+1 ~x2882-0=65534 42.07/42.16 c 1024 ~x1635190+512 ~x1635189+256 ~x1635188+128 ~x1635187+64 ~x1635186+32 ~x1635185+16 ~x1635184+8 ~x1635183+4 ~x1635182+2 ~x1635181+1 ~x1635180+1024 x7779+1024 ~x2922+512 ~x2921+256 ~x2920+128 ~x2919+64 ~x2918+32 ~x2917+16 ~x2916+8 ~x2915+4 ~x2914+2 ~x2913+1 ~x2912-0=4094 42.17/42.22 c 32768 ~x1637308+16384 ~x1637307+8192 ~x1637306+4096 ~x1637305+2048 ~x1637304+1024 ~x1637303+512 ~x1637302+256 ~x1637301+128 ~x1637300+64 ~x1637299+32 ~x1637298+16 ~x1637297+8 ~x1637296+4 ~x1637295+2 ~x1637294+1 ~x1637293+38912 x7780+32768 ~x2957+16384 ~x2956+8192 ~x2955+4096 ~x2954+2048 ~x2953+1024 ~x2952+512 ~x2951+256 ~x2950+128 ~x2949+64 ~x2948+32 ~x2947+16 ~x2946+8 ~x2945+4 ~x2944+2 ~x2943+1 ~x2942-0=131070 42.28/42.33 c 16384 ~x1641936+8192 ~x1641935+4096 ~x1641934+2048 ~x1641933+1024 ~x1641932+512 ~x1641931+256 ~x1641930+128 ~x1641929+64 ~x1641928+32 ~x1641927+16 ~x1641926+8 ~x1641925+4 ~x1641924+2 ~x1641923+1 ~x1641922+17408 x7781+16384 ~x2986+8192 ~x2985+4096 ~x2984+2048 ~x2983+1024 ~x2982+512 ~x2981+256 ~x2980+128 ~x2979+64 ~x2978+32 ~x2977+16 ~x2976+8 ~x2975+4 ~x2974+2 ~x2973+1 ~x2972-0=65534 42.38/42.43 c 1024 ~x1645967+512 ~x1645966+256 ~x1645965+128 ~x1645964+64 ~x1645963+32 ~x1645962+16 ~x1645961+8 ~x1645960+4 ~x1645959+2 ~x1645958+1 ~x1645957+1024 x7782+1024 ~x3012+512 ~x3011+256 ~x3010+128 ~x3009+64 ~x3008+32 ~x3007+16 ~x3006+8 ~x3005+4 ~x3004+2 ~x3003+1 ~x3002-0=4094 42.38/42.49 c 16384 ~x1648084+8192 ~x1648083+4096 ~x1648082+2048 ~x1648081+1024 ~x1648080+512 ~x1648079+256 ~x1648078+128 ~x1648077+64 ~x1648076+32 ~x1648075+16 ~x1648074+8 ~x1648073+4 ~x1648072+2 ~x1648071+1 ~x1648070+24576 x7783+16384 ~x3046+8192 ~x3045+4096 ~x3044+2048 ~x3043+1024 ~x3042+512 ~x3041+256 ~x3040+128 ~x3039+64 ~x3038+32 ~x3037+16 ~x3036+8 ~x3035+4 ~x3034+2 ~x3033+1 ~x3032-0=65534 42.48/42.59 c 16384 ~x1652376+8192 ~x1652375+4096 ~x1652374+2048 ~x1652373+1024 ~x1652372+512 ~x1652371+256 ~x1652370+128 ~x1652369+64 ~x1652368+32 ~x1652367+16 ~x1652366+8 ~x1652365+4 ~x1652364+2 ~x1652363+1 ~x1652362+30720 x7784+16384 ~x3076+8192 ~x3075+4096 ~x3074+2048 ~x3073+1024 ~x3072+512 ~x3071+256 ~x3070+128 ~x3069+64 ~x3068+32 ~x3067+16 ~x3066+8 ~x3065+4 ~x3064+2 ~x3063+1 ~x3062-0=65534 42.67/42.70 c 16384 ~x1656668+8192 ~x1656667+4096 ~x1656666+2048 ~x1656665+1024 ~x1656664+512 ~x1656663+256 ~x1656662+128 ~x1656661+64 ~x1656660+32 ~x1656659+16 ~x1656658+8 ~x1656657+4 ~x1656656+2 ~x1656655+1 ~x1656654+17408 x7785+16384 ~x3106+8192 ~x3105+4096 ~x3104+2048 ~x3103+1024 ~x3102+512 ~x3101+256 ~x3100+128 ~x3099+64 ~x3098+32 ~x3097+16 ~x3096+8 ~x3095+4 ~x3094+2 ~x3093+1 ~x3092-0=65534 42.78/42.80 c 4096 ~x1660701+2048 ~x1660700+1024 ~x1660699+512 ~x1660698+256 ~x1660697+128 ~x1660696+64 ~x1660695+32 ~x1660694+16 ~x1660693+8 ~x1660692+4 ~x1660691+2 ~x1660690+1 ~x1660689+6144 x7786+4096 ~x3134+2048 ~x3133+1024 ~x3132+512 ~x3131+256 ~x3130+128 ~x3129+64 ~x3128+32 ~x3127+16 ~x3126+8 ~x3125+4 ~x3124+2 ~x3123+1 ~x3122-0=16382 42.78/42.87 c 4096 ~x1663401+2048 ~x1663400+1024 ~x1663399+512 ~x1663398+256 ~x1663397+128 ~x1663396+64 ~x1663395+32 ~x1663394+16 ~x1663393+8 ~x1663392+4 ~x1663391+2 ~x1663390+1 ~x1663389+6144 x7787+4096 ~x3164+2048 ~x3163+1024 ~x3162+512 ~x3161+256 ~x3160+128 ~x3159+64 ~x3158+32 ~x3157+16 ~x3156+8 ~x3155+4 ~x3154+2 ~x3153+1 ~x3152-0=16382 42.88/42.94 c 2048 ~x1666100+1024 ~x1666099+512 ~x1666098+256 ~x1666097+128 ~x1666096+64 ~x1666095+32 ~x1666094+16 ~x1666093+8 ~x1666092+4 ~x1666091+2 ~x1666090+1 ~x1666089+2048 x7788+2048 ~x3193+1024 ~x3192+512 ~x3191+256 ~x3190+128 ~x3189+64 ~x3188+32 ~x3187+16 ~x3186+8 ~x3185+4 ~x3184+2 ~x3183+1 ~x3182-0=8190 42.88/43.00 c 4096 ~x1668449+2048 ~x1668448+1024 ~x1668447+512 ~x1668446+256 ~x1668445+128 ~x1668444+64 ~x1668443+32 ~x1668442+16 ~x1668441+8 ~x1668440+4 ~x1668439+2 ~x1668438+1 ~x1668437+6144 x7789+4096 ~x3224+2048 ~x3223+1024 ~x3222+512 ~x3221+256 ~x3220+128 ~x3219+64 ~x3218+32 ~x3217+16 ~x3216+8 ~x3215+4 ~x3214+2 ~x3213+1 ~x3212-0=16382 42.97/43.06 c 2048 ~x1671148+1024 ~x1671147+512 ~x1671146+256 ~x1671145+128 ~x1671144+64 ~x1671143+32 ~x1671142+16 ~x1671141+8 ~x1671140+4 ~x1671139+2 ~x1671138+1 ~x1671137+2048 x7790+2048 ~x3253+1024 ~x3252+512 ~x3251+256 ~x3250+128 ~x3249+64 ~x3248+32 ~x3247+16 ~x3246+8 ~x3245+4 ~x3244+2 ~x3243+1 ~x3242-0=8190 43.07/43.12 c 4096 ~x1673497+2048 ~x1673496+1024 ~x1673495+512 ~x1673494+256 ~x1673493+128 ~x1673492+64 ~x1673491+32 ~x1673490+16 ~x1673489+8 ~x1673488+4 ~x1673487+2 ~x1673486+1 ~x1673485+6144 x7791+4096 ~x3284+2048 ~x3283+1024 ~x3282+512 ~x3281+256 ~x3280+128 ~x3279+64 ~x3278+32 ~x3277+16 ~x3276+8 ~x3275+4 ~x3274+2 ~x3273+1 ~x3272-0=16382 43.07/43.19 c 4096 ~x1676197+2048 ~x1676196+1024 ~x1676195+512 ~x1676194+256 ~x1676193+128 ~x1676192+64 ~x1676191+32 ~x1676190+16 ~x1676189+8 ~x1676188+4 ~x1676187+2 ~x1676186+1 ~x1676185+6144 x7792+4096 ~x3314+2048 ~x3313+1024 ~x3312+512 ~x3311+256 ~x3310+128 ~x3309+64 ~x3308+32 ~x3307+16 ~x3306+8 ~x3305+4 ~x3304+2 ~x3303+1 ~x3302-0=16382 43.17/43.26 c 4096 ~x1678897+2048 ~x1678896+1024 ~x1678895+512 ~x1678894+256 ~x1678893+128 ~x1678892+64 ~x1678891+32 ~x1678890+16 ~x1678889+8 ~x1678888+4 ~x1678887+2 ~x1678886+1 ~x1678885+6144 x7793+4096 ~x3344+2048 ~x3343+1024 ~x3342+512 ~x3341+256 ~x3340+128 ~x3339+64 ~x3338+32 ~x3337+16 ~x3336+8 ~x3335+4 ~x3334+2 ~x3333+1 ~x3332-0=16382 43.27/43.33 c 2048 ~x1681596+1024 ~x1681595+512 ~x1681594+256 ~x1681593+128 ~x1681592+64 ~x1681591+32 ~x1681590+16 ~x1681589+8 ~x1681588+4 ~x1681587+2 ~x1681586+1 ~x1681585+2048 x7794+2048 ~x3373+1024 ~x3372+512 ~x3371+256 ~x3370+128 ~x3369+64 ~x3368+32 ~x3367+16 ~x3366+8 ~x3365+4 ~x3364+2 ~x3363+1 ~x3362-0=8190 43.27/43.39 c 2048 ~x1683944+1024 ~x1683943+512 ~x1683942+256 ~x1683941+128 ~x1683940+64 ~x1683939+32 ~x1683938+16 ~x1683937+8 ~x1683936+4 ~x1683935+2 ~x1683934+1 ~x1683933+2048 x7795+2048 ~x3403+1024 ~x3402+512 ~x3401+256 ~x3400+128 ~x3399+64 ~x3398+32 ~x3397+16 ~x3396+8 ~x3395+4 ~x3394+2 ~x3393+1 ~x3392-0=8190 43.37/43.45 c 4096 ~x1686293+2048 ~x1686292+1024 ~x1686291+512 ~x1686290+256 ~x1686289+128 ~x1686288+64 ~x1686287+32 ~x1686286+16 ~x1686285+8 ~x1686284+4 ~x1686283+2 ~x1686282+1 ~x1686281+6144 x7796+4096 ~x3434+2048 ~x3433+1024 ~x3432+512 ~x3431+256 ~x3430+128 ~x3429+64 ~x3428+32 ~x3427+16 ~x3426+8 ~x3425+4 ~x3424+2 ~x3423+1 ~x3422-0=16382 43.47/43.52 c 4096 ~x1688993+2048 ~x1688992+1024 ~x1688991+512 ~x1688990+256 ~x1688989+128 ~x1688988+64 ~x1688987+32 ~x1688986+16 ~x1688985+8 ~x1688984+4 ~x1688983+2 ~x1688982+1 ~x1688981+6144 x7797+4096 ~x3464+2048 ~x3463+1024 ~x3462+512 ~x3461+256 ~x3460+128 ~x3459+64 ~x3458+32 ~x3457+16 ~x3456+8 ~x3455+4 ~x3454+2 ~x3453+1 ~x3452-0=16382 43.47/43.59 c 1024 ~x1691691+512 ~x1691690+256 ~x1691689+128 ~x1691688+64 ~x1691687+32 ~x1691686+16 ~x1691685+8 ~x1691684+4 ~x1691683+2 ~x1691682+1 ~x1691681+1024 x7798+1024 ~x3492+512 ~x3491+256 ~x3490+128 ~x3489+64 ~x3488+32 ~x3487+16 ~x3486+8 ~x3485+4 ~x3484+2 ~x3483+1 ~x3482-0=4094 43.57/43.64 c 4096 ~x1693806+2048 ~x1693805+1024 ~x1693804+512 ~x1693803+256 ~x1693802+128 ~x1693801+64 ~x1693800+32 ~x1693799+16 ~x1693798+8 ~x1693797+4 ~x1693796+2 ~x1693795+1 ~x1693794+6144 x7799+4096 ~x3524+2048 ~x3523+1024 ~x3522+512 ~x3521+256 ~x3520+128 ~x3519+64 ~x3518+32 ~x3517+16 ~x3516+8 ~x3515+4 ~x3514+2 ~x3513+1 ~x3512-0=16382 43.67/43.71 c 4096 ~x1696506+2048 ~x1696505+1024 ~x1696504+512 ~x1696503+256 ~x1696502+128 ~x1696501+64 ~x1696500+32 ~x1696499+16 ~x1696498+8 ~x1696497+4 ~x1696496+2 ~x1696495+1 ~x1696494+6144 x7800+4096 ~x3554+2048 ~x3553+1024 ~x3552+512 ~x3551+256 ~x3550+128 ~x3549+64 ~x3548+32 ~x3547+16 ~x3546+8 ~x3545+4 ~x3544+2 ~x3543+1 ~x3542-0=16382 43.67/43.78 c 1024 ~x1699204+512 ~x1699203+256 ~x1699202+128 ~x1699201+64 ~x1699200+32 ~x1699199+16 ~x1699198+8 ~x1699197+4 ~x1699196+2 ~x1699195+1 ~x1699194+1024 x7801+1024 ~x3582+512 ~x3581+256 ~x3580+128 ~x3579+64 ~x3578+32 ~x3577+16 ~x3576+8 ~x3575+4 ~x3574+2 ~x3573+1 ~x3572-0=4094 43.77/43.83 c 4096 ~x1701319+2048 ~x1701318+1024 ~x1701317+512 ~x1701316+256 ~x1701315+128 ~x1701314+64 ~x1701313+32 ~x1701312+16 ~x1701311+8 ~x1701310+4 ~x1701309+2 ~x1701308+1 ~x1701307+6144 x7802+4096 ~x3614+2048 ~x3613+1024 ~x3612+512 ~x3611+256 ~x3610+128 ~x3609+64 ~x3608+32 ~x3607+16 ~x3606+8 ~x3605+4 ~x3604+2 ~x3603+1 ~x3602-0=16382 43.87/43.90 c 4096 ~x1704019+2048 ~x1704018+1024 ~x1704017+512 ~x1704016+256 ~x1704015+128 ~x1704014+64 ~x1704013+32 ~x1704012+16 ~x1704011+8 ~x1704010+4 ~x1704009+2 ~x1704008+1 ~x1704007+6144 x7803+4096 ~x3644+2048 ~x3643+1024 ~x3642+512 ~x3641+256 ~x3640+128 ~x3639+64 ~x3638+32 ~x3637+16 ~x3636+8 ~x3635+4 ~x3634+2 ~x3633+1 ~x3632-0=16382 43.87/43.97 c 8192 ~x1706720+4096 ~x1706719+2048 ~x1706718+1024 ~x1706717+512 ~x1706716+256 ~x1706715+128 ~x1706714+64 ~x1706713+32 ~x1706712+16 ~x1706711+8 ~x1706710+4 ~x1706709+2 ~x1706708+1 ~x1706707+11264 x7804+8192 ~x3675+4096 ~x3674+2048 ~x3673+1024 ~x3672+512 ~x3671+256 ~x3670+128 ~x3669+64 ~x3668+32 ~x3667+16 ~x3666+8 ~x3665+4 ~x3664+2 ~x3663+1 ~x3662-0=32766 43.98/44.06 c 8192 ~x1710436+4096 ~x1710435+2048 ~x1710434+1024 ~x1710433+512 ~x1710432+256 ~x1710431+128 ~x1710430+64 ~x1710429+32 ~x1710428+16 ~x1710427+8 ~x1710426+4 ~x1710425+2 ~x1710424+1 ~x1710423+13312 x7805+8192 ~x3705+4096 ~x3704+2048 ~x3703+1024 ~x3702+512 ~x3701+256 ~x3700+128 ~x3699+64 ~x3698+32 ~x3697+16 ~x3696+8 ~x3695+4 ~x3694+2 ~x3693+1 ~x3692-0=32766 44.07/44.15 c 16384 ~x1714153+8192 ~x1714152+4096 ~x1714151+2048 ~x1714150+1024 ~x1714149+512 ~x1714148+256 ~x1714147+128 ~x1714146+64 ~x1714145+32 ~x1714144+16 ~x1714143+8 ~x1714142+4 ~x1714141+2 ~x1714140+1 ~x1714139+22528 x7806+16384 ~x3736+8192 ~x3735+4096 ~x3734+2048 ~x3733+1024 ~x3732+512 ~x3731+256 ~x3730+128 ~x3729+64 ~x3728+32 ~x3727+16 ~x3726+8 ~x3725+4 ~x3724+2 ~x3723+1 ~x3722-0=65534 44.17/44.26 c 2048 ~x1718442+1024 ~x1718441+512 ~x1718440+256 ~x1718439+128 ~x1718438+64 ~x1718437+32 ~x1718436+16 ~x1718435+8 ~x1718434+4 ~x1718433+2 ~x1718432+1 ~x1718431+2048 x7807+2048 ~x3763+1024 ~x3762+512 ~x3761+256 ~x3760+128 ~x3759+64 ~x3758+32 ~x3757+16 ~x3756+8 ~x3755+4 ~x3754+2 ~x3753+1 ~x3752-0=8190 44.27/44.32 c 8192 ~x1720792+4096 ~x1720791+2048 ~x1720790+1024 ~x1720789+512 ~x1720788+256 ~x1720787+128 ~x1720786+64 ~x1720785+32 ~x1720784+16 ~x1720783+8 ~x1720782+4 ~x1720781+2 ~x1720780+1 ~x1720779+13312 x7808+8192 ~x3795+4096 ~x3794+2048 ~x3793+1024 ~x3792+512 ~x3791+256 ~x3790+128 ~x3789+64 ~x3788+32 ~x3787+16 ~x3786+8 ~x3785+4 ~x3784+2 ~x3783+1 ~x3782-0=32766 44.38/44.41 c 2048 ~x1724506+1024 ~x1724505+512 ~x1724504+256 ~x1724503+128 ~x1724502+64 ~x1724501+32 ~x1724500+16 ~x1724499+8 ~x1724498+4 ~x1724497+2 ~x1724496+1 ~x1724495+2048 x7809+2048 ~x3823+1024 ~x3822+512 ~x3821+256 ~x3820+128 ~x3819+64 ~x3818+32 ~x3817+16 ~x3816+8 ~x3815+4 ~x3814+2 ~x3813+1 ~x3812-0=8190 44.38/44.48 c 8192 ~x1726856+4096 ~x1726855+2048 ~x1726854+1024 ~x1726853+512 ~x1726852+256 ~x1726851+128 ~x1726850+64 ~x1726849+32 ~x1726848+16 ~x1726847+8 ~x1726846+4 ~x1726845+2 ~x1726844+1 ~x1726843+13312 x7810+8192 ~x3855+4096 ~x3854+2048 ~x3853+1024 ~x3852+512 ~x3851+256 ~x3850+128 ~x3849+64 ~x3848+32 ~x3847+16 ~x3846+8 ~x3845+4 ~x3844+2 ~x3843+1 ~x3842-0=32766 44.47/44.57 c 8192 ~x1730572+4096 ~x1730571+2048 ~x1730570+1024 ~x1730569+512 ~x1730568+256 ~x1730567+128 ~x1730566+64 ~x1730565+32 ~x1730564+16 ~x1730563+8 ~x1730562+4 ~x1730561+2 ~x1730560+1 ~x1730559+13312 x7811+8192 ~x3885+4096 ~x3884+2048 ~x3883+1024 ~x3882+512 ~x3881+256 ~x3880+128 ~x3879+64 ~x3878+32 ~x3877+16 ~x3876+8 ~x3875+4 ~x3874+2 ~x3873+1 ~x3872-0=32766 44.57/44.66 c 8192 ~x1734288+4096 ~x1734287+2048 ~x1734286+1024 ~x1734285+512 ~x1734284+256 ~x1734283+128 ~x1734282+64 ~x1734281+32 ~x1734280+16 ~x1734279+8 ~x1734278+4 ~x1734277+2 ~x1734276+1 ~x1734275+8192 x7812+8192 ~x3915+4096 ~x3914+2048 ~x3913+1024 ~x3912+512 ~x3911+256 ~x3910+128 ~x3909+64 ~x3908+32 ~x3907+16 ~x3906+8 ~x3905+4 ~x3904+2 ~x3903+1 ~x3902-0=32766 44.67/44.76 c 8192 ~x1738004+4096 ~x1738003+2048 ~x1738002+1024 ~x1738001+512 ~x1738000+256 ~x1737999+128 ~x1737998+64 ~x1737997+32 ~x1737996+16 ~x1737995+8 ~x1737994+4 ~x1737993+2 ~x1737992+1 ~x1737991+9216 x7813+8192 ~x3945+4096 ~x3944+2048 ~x3943+1024 ~x3942+512 ~x3941+256 ~x3940+128 ~x3939+64 ~x3938+32 ~x3937+16 ~x3936+8 ~x3935+4 ~x3934+2 ~x3933+1 ~x3932-0=32766 44.77/44.85 c 8192 ~x1741720+4096 ~x1741719+2048 ~x1741718+1024 ~x1741717+512 ~x1741716+256 ~x1741715+128 ~x1741714+64 ~x1741713+32 ~x1741712+16 ~x1741711+8 ~x1741710+4 ~x1741709+2 ~x1741708+1 ~x1741707+13312 x7814+8192 ~x3975+4096 ~x3974+2048 ~x3973+1024 ~x3972+512 ~x3971+256 ~x3970+128 ~x3969+64 ~x3968+32 ~x3967+16 ~x3966+8 ~x3965+4 ~x3964+2 ~x3963+1 ~x3962-0=32766 44.87/44.94 c 1024 ~x1745433+512 ~x1745432+256 ~x1745431+128 ~x1745430+64 ~x1745429+32 ~x1745428+16 ~x1745427+8 ~x1745426+4 ~x1745425+2 ~x1745424+1 ~x1745423+1024 x7815+1024 ~x4002+512 ~x4001+256 ~x4000+128 ~x3999+64 ~x3998+32 ~x3997+16 ~x3996+8 ~x3995+4 ~x3994+2 ~x3993+1 ~x3992-0=4094 44.87/45.00 c 8192 ~x1747549+4096 ~x1747548+2048 ~x1747547+1024 ~x1747546+512 ~x1747545+256 ~x1747544+128 ~x1747543+64 ~x1747542+32 ~x1747541+16 ~x1747540+8 ~x1747539+4 ~x1747538+2 ~x1747537+1 ~x1747536+13312 x7816+8192 ~x4035+4096 ~x4034+2048 ~x4033+1024 ~x4032+512 ~x4031+256 ~x4030+128 ~x4029+64 ~x4028+32 ~x4027+16 ~x4026+8 ~x4025+4 ~x4024+2 ~x4023+1 ~x4022-0=32766 44.98/45.09 c 16384 ~x1751266+8192 ~x1751265+4096 ~x1751264+2048 ~x1751263+1024 ~x1751262+512 ~x1751261+256 ~x1751260+128 ~x1751259+64 ~x1751258+32 ~x1751257+16 ~x1751256+8 ~x1751255+4 ~x1751254+2 ~x1751253+1 ~x1751252+24576 x7817+16384 ~x4066+8192 ~x4065+4096 ~x4064+2048 ~x4063+1024 ~x4062+512 ~x4061+256 ~x4060+128 ~x4059+64 ~x4058+32 ~x4057+16 ~x4056+8 ~x4055+4 ~x4054+2 ~x4053+1 ~x4052-0=65534 45.17/45.20 c 8192 ~x1755557+4096 ~x1755556+2048 ~x1755555+1024 ~x1755554+512 ~x1755553+256 ~x1755552+128 ~x1755551+64 ~x1755550+32 ~x1755549+16 ~x1755548+8 ~x1755547+4 ~x1755546+2 ~x1755545+1 ~x1755544+13312 x7818+8192 ~x4095+4096 ~x4094+2048 ~x4093+1024 ~x4092+512 ~x4091+256 ~x4090+128 ~x4089+64 ~x4088+32 ~x4087+16 ~x4086+8 ~x4085+4 ~x4084+2 ~x4083+1 ~x4082-0=32766 45.17/45.29 c 1024 ~x1759270+512 ~x1759269+256 ~x1759268+128 ~x1759267+64 ~x1759266+32 ~x1759265+16 ~x1759264+8 ~x1759263+4 ~x1759262+2 ~x1759261+1 ~x1759260+1024 x7819+1024 ~x4122+512 ~x4121+256 ~x4120+128 ~x4119+64 ~x4118+32 ~x4117+16 ~x4116+8 ~x4115+4 ~x4114+2 ~x4113+1 ~x4112-0=4094 45.27/45.35 c 8192 ~x1761386+4096 ~x1761385+2048 ~x1761384+1024 ~x1761383+512 ~x1761382+256 ~x1761381+128 ~x1761380+64 ~x1761379+32 ~x1761378+16 ~x1761377+8 ~x1761376+4 ~x1761375+2 ~x1761374+1 ~x1761373+13312 x7820+8192 ~x4155+4096 ~x4154+2048 ~x4153+1024 ~x4152+512 ~x4151+256 ~x4150+128 ~x4149+64 ~x4148+32 ~x4147+16 ~x4146+8 ~x4145+4 ~x4144+2 ~x4143+1 ~x4142-0=32766 45.37/45.44 c 8192 ~x1765102+4096 ~x1765101+2048 ~x1765100+1024 ~x1765099+512 ~x1765098+256 ~x1765097+128 ~x1765096+64 ~x1765095+32 ~x1765094+16 ~x1765093+8 ~x1765092+4 ~x1765091+2 ~x1765090+1 ~x1765089+13312 x7821+8192 ~x4185+4096 ~x4184+2048 ~x4183+1024 ~x4182+512 ~x4181+256 ~x4180+128 ~x4179+64 ~x4178+32 ~x4177+16 ~x4176+8 ~x4175+4 ~x4174+2 ~x4173+1 ~x4172-0=32766 45.47/45.53 c 8192 ~x1768818+4096 ~x1768817+2048 ~x1768816+1024 ~x1768815+512 ~x1768814+256 ~x1768813+128 ~x1768812+64 ~x1768811+32 ~x1768810+16 ~x1768809+8 ~x1768808+4 ~x1768807+2 ~x1768806+1 ~x1768805+11264 x7822+8192 ~x4215+4096 ~x4214+2048 ~x4213+1024 ~x4212+512 ~x4211+256 ~x4210+128 ~x4209+64 ~x4208+32 ~x4207+16 ~x4206+8 ~x4205+4 ~x4204+2 ~x4203+1 ~x4202-0=32766 45.57/45.63 c 16384 ~x1772535+8192 ~x1772534+4096 ~x1772533+2048 ~x1772532+1024 ~x1772531+512 ~x1772530+256 ~x1772529+128 ~x1772528+64 ~x1772527+32 ~x1772526+16 ~x1772525+8 ~x1772524+4 ~x1772523+2 ~x1772522+1 ~x1772521+24576 x7823+16384 ~x4246+8192 ~x4245+4096 ~x4244+2048 ~x4243+1024 ~x4242+512 ~x4241+256 ~x4240+128 ~x4239+64 ~x4238+32 ~x4237+16 ~x4236+8 ~x4235+4 ~x4234+2 ~x4233+1 ~x4232-0=65534 45.67/45.74 c 2048 ~x1776824+1024 ~x1776823+512 ~x1776822+256 ~x1776821+128 ~x1776820+64 ~x1776819+32 ~x1776818+16 ~x1776817+8 ~x1776816+4 ~x1776815+2 ~x1776814+1 ~x1776813+2048 x7824+2048 ~x4273+1024 ~x4272+512 ~x4271+256 ~x4270+128 ~x4269+64 ~x4268+32 ~x4267+16 ~x4266+8 ~x4265+4 ~x4264+2 ~x4263+1 ~x4262-0=8190 45.77/45.80 c 32768 ~x1779176+16384 ~x1779175+8192 ~x1779174+4096 ~x1779173+2048 ~x1779172+1024 ~x1779171+512 ~x1779170+256 ~x1779169+128 ~x1779168+64 ~x1779167+32 ~x1779166+16 ~x1779165+8 ~x1779164+4 ~x1779163+2 ~x1779162+1 ~x1779161+38912 x7825+32768 ~x4307+16384 ~x4306+8192 ~x4305+4096 ~x4304+2048 ~x4303+1024 ~x4302+512 ~x4301+256 ~x4300+128 ~x4299+64 ~x4298+32 ~x4297+16 ~x4296+8 ~x4295+4 ~x4294+2 ~x4293+1 ~x4292-0=131070 45.88/45.92 c 2048 ~x1783801+1024 ~x1783800+512 ~x1783799+256 ~x1783798+128 ~x1783797+64 ~x1783796+32 ~x1783795+16 ~x1783794+8 ~x1783793+4 ~x1783792+2 ~x1783791+1 ~x1783790+2048 x7826+2048 ~x4333+1024 ~x4332+512 ~x4331+256 ~x4330+128 ~x4329+64 ~x4328+32 ~x4327+16 ~x4326+8 ~x4325+4 ~x4324+2 ~x4323+1 ~x4322-0=8190 45.88/45.98 c 16384 ~x1786152+8192 ~x1786151+4096 ~x1786150+2048 ~x1786149+1024 ~x1786148+512 ~x1786147+256 ~x1786146+128 ~x1786145+64 ~x1786144+32 ~x1786143+16 ~x1786142+8 ~x1786141+4 ~x1786140+2 ~x1786139+1 ~x1786138+22528 x7827+16384 ~x4366+8192 ~x4365+4096 ~x4364+2048 ~x4363+1024 ~x4362+512 ~x4361+256 ~x4360+128 ~x4359+64 ~x4358+32 ~x4357+16 ~x4356+8 ~x4355+4 ~x4354+2 ~x4353+1 ~x4352-0=65534 45.98/46.08 c 8192 ~x1790443+4096 ~x1790442+2048 ~x1790441+1024 ~x1790440+512 ~x1790439+256 ~x1790438+128 ~x1790437+64 ~x1790436+32 ~x1790435+16 ~x1790434+8 ~x1790433+4 ~x1790432+2 ~x1790431+1 ~x1790430+8192 x7828+8192 ~x4395+4096 ~x4394+2048 ~x4393+1024 ~x4392+512 ~x4391+256 ~x4390+128 ~x4389+64 ~x4388+32 ~x4387+16 ~x4386+8 ~x4385+4 ~x4384+2 ~x4383+1 ~x4382-0=32766 46.08/46.18 c 32768 ~x1794161+16384 ~x1794160+8192 ~x1794159+4096 ~x1794158+2048 ~x1794157+1024 ~x1794156+512 ~x1794155+256 ~x1794154+128 ~x1794153+64 ~x1794152+32 ~x1794151+16 ~x1794150+8 ~x1794149+4 ~x1794148+2 ~x1794147+1 ~x1794146+38912 x7829+32768 ~x4427+16384 ~x4426+8192 ~x4425+4096 ~x4424+2048 ~x4423+1024 ~x4422+512 ~x4421+256 ~x4420+128 ~x4419+64 ~x4418+32 ~x4417+16 ~x4416+8 ~x4415+4 ~x4414+2 ~x4413+1 ~x4412-0=131070 46.18/46.29 c 8192 ~x1798788+4096 ~x1798787+2048 ~x1798786+1024 ~x1798785+512 ~x1798784+256 ~x1798783+128 ~x1798782+64 ~x1798781+32 ~x1798780+16 ~x1798779+8 ~x1798778+4 ~x1798777+2 ~x1798776+1 ~x1798775+8192 x7830+8192 ~x4455+4096 ~x4454+2048 ~x4453+1024 ~x4452+512 ~x4451+256 ~x4450+128 ~x4449+64 ~x4448+32 ~x4447+16 ~x4446+8 ~x4445+4 ~x4444+2 ~x4443+1 ~x4442-0=32766 46.27/46.38 c 8192 ~x1802504+4096 ~x1802503+2048 ~x1802502+1024 ~x1802501+512 ~x1802500+256 ~x1802499+128 ~x1802498+64 ~x1802497+32 ~x1802496+16 ~x1802495+8 ~x1802494+4 ~x1802493+2 ~x1802492+1 ~x1802491+9216 x7831+8192 ~x4485+4096 ~x4484+2048 ~x4483+1024 ~x4482+512 ~x4481+256 ~x4480+128 ~x4479+64 ~x4478+32 ~x4477+16 ~x4476+8 ~x4475+4 ~x4474+2 ~x4473+1 ~x4472-0=32766 46.37/46.48 c 16384 ~x1806221+8192 ~x1806220+4096 ~x1806219+2048 ~x1806218+1024 ~x1806217+512 ~x1806216+256 ~x1806215+128 ~x1806214+64 ~x1806213+32 ~x1806212+16 ~x1806211+8 ~x1806210+4 ~x1806209+2 ~x1806208+1 ~x1806207+16384 x7832+16384 ~x4516+8192 ~x4515+4096 ~x4514+2048 ~x4513+1024 ~x4512+512 ~x4511+256 ~x4510+128 ~x4509+64 ~x4508+32 ~x4507+16 ~x4506+8 ~x4505+4 ~x4504+2 ~x4503+1 ~x4502-0=65534 46.47/46.58 c 1024 ~x1810252+512 ~x1810251+256 ~x1810250+128 ~x1810249+64 ~x1810248+32 ~x1810247+16 ~x1810246+8 ~x1810245+4 ~x1810244+2 ~x1810243+1 ~x1810242+1024 x7833+1024 ~x4542+512 ~x4541+256 ~x4540+128 ~x4539+64 ~x4538+32 ~x4537+16 ~x4536+8 ~x4535+4 ~x4534+2 ~x4533+1 ~x4532-0=4094 46.57/46.63 c 32768 ~x1812370+16384 ~x1812369+8192 ~x1812368+4096 ~x1812367+2048 ~x1812366+1024 ~x1812365+512 ~x1812364+256 ~x1812363+128 ~x1812362+64 ~x1812361+32 ~x1812360+16 ~x1812359+8 ~x1812358+4 ~x1812357+2 ~x1812356+1 ~x1812355+38912 x7834+32768 ~x4577+16384 ~x4576+8192 ~x4575+4096 ~x4574+2048 ~x4573+1024 ~x4572+512 ~x4571+256 ~x4570+128 ~x4569+64 ~x4568+32 ~x4567+16 ~x4566+8 ~x4565+4 ~x4564+2 ~x4563+1 ~x4562-0=131070 46.68/46.75 c 16384 ~x1816998+8192 ~x1816997+4096 ~x1816996+2048 ~x1816995+1024 ~x1816994+512 ~x1816993+256 ~x1816992+128 ~x1816991+64 ~x1816990+32 ~x1816989+16 ~x1816988+8 ~x1816987+4 ~x1816986+2 ~x1816985+1 ~x1816984+17408 x7835+16384 ~x4606+8192 ~x4605+4096 ~x4604+2048 ~x4603+1024 ~x4602+512 ~x4601+256 ~x4600+128 ~x4599+64 ~x4598+32 ~x4597+16 ~x4596+8 ~x4595+4 ~x4594+2 ~x4593+1 ~x4592-0=65534 46.77/46.85 c 1024 ~x1821029+512 ~x1821028+256 ~x1821027+128 ~x1821026+64 ~x1821025+32 ~x1821024+16 ~x1821023+8 ~x1821022+4 ~x1821021+2 ~x1821020+1 ~x1821019+1024 x7836+1024 ~x4632+512 ~x4631+256 ~x4630+128 ~x4629+64 ~x4628+32 ~x4627+16 ~x4626+8 ~x4625+4 ~x4624+2 ~x4623+1 ~x4622-0=4094 46.88/46.90 c 16384 ~x1823146+8192 ~x1823145+4096 ~x1823144+2048 ~x1823143+1024 ~x1823142+512 ~x1823141+256 ~x1823140+128 ~x1823139+64 ~x1823138+32 ~x1823137+16 ~x1823136+8 ~x1823135+4 ~x1823134+2 ~x1823133+1 ~x1823132+30720 x7837+16384 ~x4666+8192 ~x4665+4096 ~x4664+2048 ~x4663+1024 ~x4662+512 ~x4661+256 ~x4660+128 ~x4659+64 ~x4658+32 ~x4657+16 ~x4656+8 ~x4655+4 ~x4654+2 ~x4653+1 ~x4652-0=65534 46.98/47.01 c 16384 ~x1827438+8192 ~x1827437+4096 ~x1827436+2048 ~x1827435+1024 ~x1827434+512 ~x1827433+256 ~x1827432+128 ~x1827431+64 ~x1827430+32 ~x1827429+16 ~x1827428+8 ~x1827427+4 ~x1827426+2 ~x1827425+1 ~x1827424+17408 x7838+16384 ~x4696+8192 ~x4695+4096 ~x4694+2048 ~x4693+1024 ~x4692+512 ~x4691+256 ~x4690+128 ~x4689+64 ~x4688+32 ~x4687+16 ~x4686+8 ~x4685+4 ~x4684+2 ~x4683+1 ~x4682-0=65534 47.07/47.11 c 8192 ~x1831472+4096 ~x1831471+2048 ~x1831470+1024 ~x1831469+512 ~x1831468+256 ~x1831467+128 ~x1831466+64 ~x1831465+32 ~x1831464+16 ~x1831463+8 ~x1831462+4 ~x1831461+2 ~x1831460+1 ~x1831459+9216 x7839+8192 ~x4725+4096 ~x4724+2048 ~x4723+1024 ~x4722+512 ~x4721+256 ~x4720+128 ~x4719+64 ~x4718+32 ~x4717+16 ~x4716+8 ~x4715+4 ~x4714+2 ~x4713+1 ~x4712-0=32766 47.18/47.21 c 4096 ~x1835187+2048 ~x1835186+1024 ~x1835185+512 ~x1835184+256 ~x1835183+128 ~x1835182+64 ~x1835181+32 ~x1835180+16 ~x1835179+8 ~x1835178+4 ~x1835177+2 ~x1835176+1 ~x1835175+6144 x7840+4096 ~x4754+2048 ~x4753+1024 ~x4752+512 ~x4751+256 ~x4750+128 ~x4749+64 ~x4748+32 ~x4747+16 ~x4746+8 ~x4745+4 ~x4744+2 ~x4743+1 ~x4742-0=16382 47.18/47.27 c 4096 ~x1837887+2048 ~x1837886+1024 ~x1837885+512 ~x1837884+256 ~x1837883+128 ~x1837882+64 ~x1837881+32 ~x1837880+16 ~x1837879+8 ~x1837878+4 ~x1837877+2 ~x1837876+1 ~x1837875+6144 x7841+4096 ~x4784+2048 ~x4783+1024 ~x4782+512 ~x4781+256 ~x4780+128 ~x4779+64 ~x4778+32 ~x4777+16 ~x4776+8 ~x4775+4 ~x4774+2 ~x4773+1 ~x4772-0=16382 47.28/47.34 c 2048 ~x1840586+1024 ~x1840585+512 ~x1840584+256 ~x1840583+128 ~x1840582+64 ~x1840581+32 ~x1840580+16 ~x1840579+8 ~x1840578+4 ~x1840577+2 ~x1840576+1 ~x1840575+2048 x7842+2048 ~x4813+1024 ~x4812+512 ~x4811+256 ~x4810+128 ~x4809+64 ~x4808+32 ~x4807+16 ~x4806+8 ~x4805+4 ~x4804+2 ~x4803+1 ~x4802-0=8190 47.37/47.40 c 4096 ~x1842935+2048 ~x1842934+1024 ~x1842933+512 ~x1842932+256 ~x1842931+128 ~x1842930+64 ~x1842929+32 ~x1842928+16 ~x1842927+8 ~x1842926+4 ~x1842925+2 ~x1842924+1 ~x1842923+6144 x7843+4096 ~x4844+2048 ~x4843+1024 ~x4842+512 ~x4841+256 ~x4840+128 ~x4839+64 ~x4838+32 ~x4837+16 ~x4836+8 ~x4835+4 ~x4834+2 ~x4833+1 ~x4832-0=16382 47.37/47.47 c 2048 ~x1845634+1024 ~x1845633+512 ~x1845632+256 ~x1845631+128 ~x1845630+64 ~x1845629+32 ~x1845628+16 ~x1845627+8 ~x1845626+4 ~x1845625+2 ~x1845624+1 ~x1845623+2048 x7844+2048 ~x4873+1024 ~x4872+512 ~x4871+256 ~x4870+128 ~x4869+64 ~x4868+32 ~x4867+16 ~x4866+8 ~x4865+4 ~x4864+2 ~x4863+1 ~x4862-0=8190 47.47/47.53 c 4096 ~x1847983+2048 ~x1847982+1024 ~x1847981+512 ~x1847980+256 ~x1847979+128 ~x1847978+64 ~x1847977+32 ~x1847976+16 ~x1847975+8 ~x1847974+4 ~x1847973+2 ~x1847972+1 ~x1847971+6144 x7845+4096 ~x4904+2048 ~x4903+1024 ~x4902+512 ~x4901+256 ~x4900+128 ~x4899+64 ~x4898+32 ~x4897+16 ~x4896+8 ~x4895+4 ~x4894+2 ~x4893+1 ~x4892-0=16382 47.57/47.60 c 4096 ~x1850683+2048 ~x1850682+1024 ~x1850681+512 ~x1850680+256 ~x1850679+128 ~x1850678+64 ~x1850677+32 ~x1850676+16 ~x1850675+8 ~x1850674+4 ~x1850673+2 ~x1850672+1 ~x1850671+6144 x7846+4096 ~x4934+2048 ~x4933+1024 ~x4932+512 ~x4931+256 ~x4930+128 ~x4929+64 ~x4928+32 ~x4927+16 ~x4926+8 ~x4925+4 ~x4924+2 ~x4923+1 ~x4922-0=16382 47.57/47.67 c 4096 ~x1853383+2048 ~x1853382+1024 ~x1853381+512 ~x1853380+256 ~x1853379+128 ~x1853378+64 ~x1853377+32 ~x1853376+16 ~x1853375+8 ~x1853374+4 ~x1853373+2 ~x1853372+1 ~x1853371+6144 x7847+4096 ~x4964+2048 ~x4963+1024 ~x4962+512 ~x4961+256 ~x4960+128 ~x4959+64 ~x4958+32 ~x4957+16 ~x4956+8 ~x4955+4 ~x4954+2 ~x4953+1 ~x4952-0=16382 47.67/47.73 c 4096 ~x1856083+2048 ~x1856082+1024 ~x1856081+512 ~x1856080+256 ~x1856079+128 ~x1856078+64 ~x1856077+32 ~x1856076+16 ~x1856075+8 ~x1856074+4 ~x1856073+2 ~x1856072+1 ~x1856071+6144 x7848+4096 ~x4994+2048 ~x4993+1024 ~x4992+512 ~x4991+256 ~x4990+128 ~x4989+64 ~x4988+32 ~x4987+16 ~x4986+8 ~x4985+4 ~x4984+2 ~x4983+1 ~x4982-0=16382 47.77/47.80 c 4096 ~x1858783+2048 ~x1858782+1024 ~x1858781+512 ~x1858780+256 ~x1858779+128 ~x1858778+64 ~x1858777+32 ~x1858776+16 ~x1858775+8 ~x1858774+4 ~x1858773+2 ~x1858772+1 ~x1858771+6144 x7849+4096 ~x5024+2048 ~x5023+1024 ~x5022+512 ~x5021+256 ~x5020+128 ~x5019+64 ~x5018+32 ~x5017+16 ~x5016+8 ~x5015+4 ~x5014+2 ~x5013+1 ~x5012-0=16382 47.77/47.87 c 16384 ~x1861485+8192 ~x1861484+4096 ~x1861483+2048 ~x1861482+1024 ~x1861481+512 ~x1861480+256 ~x1861479+128 ~x1861478+64 ~x1861477+32 ~x1861476+16 ~x1861475+8 ~x1861474+4 ~x1861473+2 ~x1861472+1 ~x1861471+16384 x7850+16384 ~x5056+8192 ~x5055+4096 ~x5054+2048 ~x5053+1024 ~x5052+512 ~x5051+256 ~x5050+128 ~x5049+64 ~x5048+32 ~x5047+16 ~x5046+8 ~x5045+4 ~x5044+2 ~x5043+1 ~x5042-0=65534 47.87/47.97 c 1024 ~x1865516+512 ~x1865515+256 ~x1865514+128 ~x1865513+64 ~x1865512+32 ~x1865511+16 ~x1865510+8 ~x1865509+4 ~x1865508+2 ~x1865507+1 ~x1865506+1024 x7851+1024 ~x5082+512 ~x5081+256 ~x5080+128 ~x5079+64 ~x5078+32 ~x5077+16 ~x5076+8 ~x5075+4 ~x5074+2 ~x5073+1 ~x5072-0=4094 47.97/48.03 c 4096 ~x1867631+2048 ~x1867630+1024 ~x1867629+512 ~x1867628+256 ~x1867627+128 ~x1867626+64 ~x1867625+32 ~x1867624+16 ~x1867623+8 ~x1867622+4 ~x1867621+2 ~x1867620+1 ~x1867619+6144 x7852+4096 ~x5114+2048 ~x5113+1024 ~x5112+512 ~x5111+256 ~x5110+128 ~x5109+64 ~x5108+32 ~x5107+16 ~x5106+8 ~x5105+4 ~x5104+2 ~x5103+1 ~x5102-0=16382 47.97/48.09 c 4096 ~x1870331+2048 ~x1870330+1024 ~x1870329+512 ~x1870328+256 ~x1870327+128 ~x1870326+64 ~x1870325+32 ~x1870324+16 ~x1870323+8 ~x1870322+4 ~x1870321+2 ~x1870320+1 ~x1870319+6144 x7853+4096 ~x5144+2048 ~x5143+1024 ~x5142+512 ~x5141+256 ~x5140+128 ~x5139+64 ~x5138+32 ~x5137+16 ~x5136+8 ~x5135+4 ~x5134+2 ~x5133+1 ~x5132-0=16382 48.07/48.16 c 1024 ~x1873029+512 ~x1873028+256 ~x1873027+128 ~x1873026+64 ~x1873025+32 ~x1873024+16 ~x1873023+8 ~x1873022+4 ~x1873021+2 ~x1873020+1 ~x1873019+1024 x7854+1024 ~x5172+512 ~x5171+256 ~x5170+128 ~x5169+64 ~x5168+32 ~x5167+16 ~x5166+8 ~x5165+4 ~x5164+2 ~x5163+1 ~x5162-0=4094 48.17/48.22 c 4096 ~x1875144+2048 ~x1875143+1024 ~x1875142+512 ~x1875141+256 ~x1875140+128 ~x1875139+64 ~x1875138+32 ~x1875137+16 ~x1875136+8 ~x1875135+4 ~x1875134+2 ~x1875133+1 ~x1875132+6144 x7855+4096 ~x5204+2048 ~x5203+1024 ~x5202+512 ~x5201+256 ~x5200+128 ~x5199+64 ~x5198+32 ~x5197+16 ~x5196+8 ~x5195+4 ~x5194+2 ~x5193+1 ~x5192-0=16382 48.17/48.28 c 4096 ~x1877844+2048 ~x1877843+1024 ~x1877842+512 ~x1877841+256 ~x1877840+128 ~x1877839+64 ~x1877838+32 ~x1877837+16 ~x1877836+8 ~x1877835+4 ~x1877834+2 ~x1877833+1 ~x1877832+6144 x7856+4096 ~x5234+2048 ~x5233+1024 ~x5232+512 ~x5231+256 ~x5230+128 ~x5229+64 ~x5228+32 ~x5227+16 ~x5226+8 ~x5225+4 ~x5224+2 ~x5223+1 ~x5222-0=16382 48.28/48.35 c 1024 ~x1880542+512 ~x1880541+256 ~x1880540+128 ~x1880539+64 ~x1880538+32 ~x1880537+16 ~x1880536+8 ~x1880535+4 ~x1880534+2 ~x1880533+1 ~x1880532+1024 x7857+1024 ~x5262+512 ~x5261+256 ~x5260+128 ~x5259+64 ~x5258+32 ~x5257+16 ~x5256+8 ~x5255+4 ~x5254+2 ~x5253+1 ~x5252-0=4094 48.38/48.41 c 16384 ~x1882659+8192 ~x1882658+4096 ~x1882657+2048 ~x1882656+1024 ~x1882655+512 ~x1882654+256 ~x1882653+128 ~x1882652+64 ~x1882651+32 ~x1882650+16 ~x1882649+8 ~x1882648+4 ~x1882647+2 ~x1882646+1 ~x1882645+24576 x7858+16384 ~x5296+8192 ~x5295+4096 ~x5294+2048 ~x5293+1024 ~x5292+512 ~x5291+256 ~x5290+128 ~x5289+64 ~x5288+32 ~x5287+16 ~x5286+8 ~x5285+4 ~x5284+2 ~x5283+1 ~x5282-0=65534 48.47/48.51 c 16384 ~x1886951+8192 ~x1886950+4096 ~x1886949+2048 ~x1886948+1024 ~x1886947+512 ~x1886946+256 ~x1886945+128 ~x1886944+64 ~x1886943+32 ~x1886942+16 ~x1886941+8 ~x1886940+4 ~x1886939+2 ~x1886938+1 ~x1886937+17408 x7859+16384 ~x5326+8192 ~x5325+4096 ~x5324+2048 ~x5323+1024 ~x5322+512 ~x5321+256 ~x5320+128 ~x5319+64 ~x5318+32 ~x5317+16 ~x5316+8 ~x5315+4 ~x5314+2 ~x5313+1 ~x5312-0=65534 48.57/48.62 c 1024 ~x1890982+512 ~x1890981+256 ~x1890980+128 ~x1890979+64 ~x1890978+32 ~x1890977+16 ~x1890976+8 ~x1890975+4 ~x1890974+2 ~x1890973+1 ~x1890972+1024 x7860+1024 ~x5352+512 ~x5351+256 ~x5350+128 ~x5349+64 ~x5348+32 ~x5347+16 ~x5346+8 ~x5345+4 ~x5344+2 ~x5343+1 ~x5342-0=4094 48.57/48.67 c 16384 ~x1893099+8192 ~x1893098+4096 ~x1893097+2048 ~x1893096+1024 ~x1893095+512 ~x1893094+256 ~x1893093+128 ~x1893092+64 ~x1893091+32 ~x1893090+16 ~x1893089+8 ~x1893088+4 ~x1893087+2 ~x1893086+1 ~x1893085+22528 x7861+16384 ~x5386+8192 ~x5385+4096 ~x5384+2048 ~x5383+1024 ~x5382+512 ~x5381+256 ~x5380+128 ~x5379+64 ~x5378+32 ~x5377+16 ~x5376+8 ~x5375+4 ~x5374+2 ~x5373+1 ~x5372-0=65534 48.67/48.78 c 16384 ~x1897391+8192 ~x1897390+4096 ~x1897389+2048 ~x1897388+1024 ~x1897387+512 ~x1897386+256 ~x1897385+128 ~x1897384+64 ~x1897383+32 ~x1897382+16 ~x1897381+8 ~x1897380+4 ~x1897379+2 ~x1897378+1 ~x1897377+24576 x7862+16384 ~x5416+8192 ~x5415+4096 ~x5414+2048 ~x5413+1024 ~x5412+512 ~x5411+256 ~x5410+128 ~x5409+64 ~x5408+32 ~x5407+16 ~x5406+8 ~x5405+4 ~x5404+2 ~x5403+1 ~x5402-0=65534 48.77/48.88 c 16384 ~x1901683+8192 ~x1901682+4096 ~x1901681+2048 ~x1901680+1024 ~x1901679+512 ~x1901678+256 ~x1901677+128 ~x1901676+64 ~x1901675+32 ~x1901674+16 ~x1901673+8 ~x1901672+4 ~x1901671+2 ~x1901670+1 ~x1901669+17408 x7863+16384 ~x5446+8192 ~x5445+4096 ~x5444+2048 ~x5443+1024 ~x5442+512 ~x5441+256 ~x5440+128 ~x5439+64 ~x5438+32 ~x5437+16 ~x5436+8 ~x5435+4 ~x5434+2 ~x5433+1 ~x5432-0=65534 48.87/48.98 c 8192 ~x1905717+4096 ~x1905716+2048 ~x1905715+1024 ~x1905714+512 ~x1905713+256 ~x1905712+128 ~x1905711+64 ~x1905710+32 ~x1905709+16 ~x1905708+8 ~x1905707+4 ~x1905706+2 ~x1905705+1 ~x1905704+10240 x7864+8192 ~x5475+4096 ~x5474+2048 ~x5473+1024 ~x5472+512 ~x5471+256 ~x5470+128 ~x5469+64 ~x5468+32 ~x5467+16 ~x5466+8 ~x5465+4 ~x5464+2 ~x5463+1 ~x5462-0=32766 48.97/49.08 c 8192 ~x1909433+4096 ~x1909432+2048 ~x1909431+1024 ~x1909430+512 ~x1909429+256 ~x1909428+128 ~x1909427+64 ~x1909426+32 ~x1909425+16 ~x1909424+8 ~x1909423+4 ~x1909422+2 ~x1909421+1 ~x1909420+10240 x7865+8192 ~x5505+4096 ~x5504+2048 ~x5503+1024 ~x5502+512 ~x5501+256 ~x5500+128 ~x5499+64 ~x5498+32 ~x5497+16 ~x5496+8 ~x5495+4 ~x5494+2 ~x5493+1 ~x5492-0=32766 49.07/49.17 c 2048 ~x1913147+1024 ~x1913146+512 ~x1913145+256 ~x1913144+128 ~x1913143+64 ~x1913142+32 ~x1913141+16 ~x1913140+8 ~x1913139+4 ~x1913138+2 ~x1913137+1 ~x1913136+2048 x7866+2048 ~x5533+1024 ~x5532+512 ~x5531+256 ~x5530+128 ~x5529+64 ~x5528+32 ~x5527+16 ~x5526+8 ~x5525+4 ~x5524+2 ~x5523+1 ~x5522-0=8190 49.17/49.23 c 8192 ~x1915497+4096 ~x1915496+2048 ~x1915495+1024 ~x1915494+512 ~x1915493+256 ~x1915492+128 ~x1915491+64 ~x1915490+32 ~x1915489+16 ~x1915488+8 ~x1915487+4 ~x1915486+2 ~x1915485+1 ~x1915484+10240 x7867+8192 ~x5565+4096 ~x5564+2048 ~x5563+1024 ~x5562+512 ~x5561+256 ~x5560+128 ~x5559+64 ~x5558+32 ~x5557+16 ~x5556+8 ~x5555+4 ~x5554+2 ~x5553+1 ~x5552-0=32766 49.27/49.33 c 2048 ~x1919211+1024 ~x1919210+512 ~x1919209+256 ~x1919208+128 ~x1919207+64 ~x1919206+32 ~x1919205+16 ~x1919204+8 ~x1919203+4 ~x1919202+2 ~x1919201+1 ~x1919200+2048 x7868+2048 ~x5593+1024 ~x5592+512 ~x5591+256 ~x5590+128 ~x5589+64 ~x5588+32 ~x5587+16 ~x5586+8 ~x5585+4 ~x5584+2 ~x5583+1 ~x5582-0=8190 49.27/49.39 c 8192 ~x1921561+4096 ~x1921560+2048 ~x1921559+1024 ~x1921558+512 ~x1921557+256 ~x1921556+128 ~x1921555+64 ~x1921554+32 ~x1921553+16 ~x1921552+8 ~x1921551+4 ~x1921550+2 ~x1921549+1 ~x1921548+10240 x7869+8192 ~x5625+4096 ~x5624+2048 ~x5623+1024 ~x5622+512 ~x5621+256 ~x5620+128 ~x5619+64 ~x5618+32 ~x5617+16 ~x5616+8 ~x5615+4 ~x5614+2 ~x5613+1 ~x5612-0=32766 49.37/49.48 c 8192 ~x1925277+4096 ~x1925276+2048 ~x1925275+1024 ~x1925274+512 ~x1925273+256 ~x1925272+128 ~x1925271+64 ~x1925270+32 ~x1925269+16 ~x1925268+8 ~x1925267+4 ~x1925266+2 ~x1925265+1 ~x1925264+10240 x7870+8192 ~x5655+4096 ~x5654+2048 ~x5653+1024 ~x5652+512 ~x5651+256 ~x5650+128 ~x5649+64 ~x5648+32 ~x5647+16 ~x5646+8 ~x5645+4 ~x5644+2 ~x5643+1 ~x5642-0=32766 49.47/49.57 c 8192 ~x1928993+4096 ~x1928992+2048 ~x1928991+1024 ~x1928990+512 ~x1928989+256 ~x1928988+128 ~x1928987+64 ~x1928986+32 ~x1928985+16 ~x1928984+8 ~x1928983+4 ~x1928982+2 ~x1928981+1 ~x1928980+8192 x7871+8192 ~x5685+4096 ~x5684+2048 ~x5683+1024 ~x5682+512 ~x5681+256 ~x5680+128 ~x5679+64 ~x5678+32 ~x5677+16 ~x5676+8 ~x5675+4 ~x5674+2 ~x5673+1 ~x5672-0=32766 49.57/49.67 c 2048 ~x1932707+1024 ~x1932706+512 ~x1932705+256 ~x1932704+128 ~x1932703+64 ~x1932702+32 ~x1932701+16 ~x1932700+8 ~x1932699+4 ~x1932698+2 ~x1932697+1 ~x1932696+2048 x7872+2048 ~x5713+1024 ~x5712+512 ~x5711+256 ~x5710+128 ~x5709+64 ~x5708+32 ~x5707+16 ~x5706+8 ~x5705+4 ~x5704+2 ~x5703+1 ~x5702-0=8190 49.67/49.73 c 8192 ~x1935057+4096 ~x1935056+2048 ~x1935055+1024 ~x1935054+512 ~x1935053+256 ~x1935052+128 ~x1935051+64 ~x1935050+32 ~x1935049+16 ~x1935048+8 ~x1935047+4 ~x1935046+2 ~x1935045+1 ~x1935044+9216 x7873+8192 ~x5745+4096 ~x5744+2048 ~x5743+1024 ~x5742+512 ~x5741+256 ~x5740+128 ~x5739+64 ~x5738+32 ~x5737+16 ~x5736+8 ~x5735+4 ~x5734+2 ~x5733+1 ~x5732-0=32766 49.77/49.82 c 8192 ~x1938773+4096 ~x1938772+2048 ~x1938771+1024 ~x1938770+512 ~x1938769+256 ~x1938768+128 ~x1938767+64 ~x1938766+32 ~x1938765+16 ~x1938764+8 ~x1938763+4 ~x1938762+2 ~x1938761+1 ~x1938760+10240 x7874+8192 ~x5775+4096 ~x5774+2048 ~x5773+1024 ~x5772+512 ~x5771+256 ~x5770+128 ~x5769+64 ~x5768+32 ~x5767+16 ~x5766+8 ~x5765+4 ~x5764+2 ~x5763+1 ~x5762-0=32766 49.87/49.91 c 1024 ~x1942486+512 ~x1942485+256 ~x1942484+128 ~x1942483+64 ~x1942482+32 ~x1942481+16 ~x1942480+8 ~x1942479+4 ~x1942478+2 ~x1942477+1 ~x1942476+1024 x7875+1024 ~x5802+512 ~x5801+256 ~x5800+128 ~x5799+64 ~x5798+32 ~x5797+16 ~x5796+8 ~x5795+4 ~x5794+2 ~x5793+1 ~x5792-0=4094 49.87/49.97 c 8192 ~x1944602+4096 ~x1944601+2048 ~x1944600+1024 ~x1944599+512 ~x1944598+256 ~x1944597+128 ~x1944596+64 ~x1944595+32 ~x1944594+16 ~x1944593+8 ~x1944592+4 ~x1944591+2 ~x1944590+1 ~x1944589+10240 x7876+8192 ~x5835+4096 ~x5834+2048 ~x5833+1024 ~x5832+512 ~x5831+256 ~x5830+128 ~x5829+64 ~x5828+32 ~x5827+16 ~x5826+8 ~x5825+4 ~x5824+2 ~x5823+1 ~x5822-0=32766 49.97/50.06 c 8192 ~x1948318+4096 ~x1948317+2048 ~x1948316+1024 ~x1948315+512 ~x1948314+256 ~x1948313+128 ~x1948312+64 ~x1948311+32 ~x1948310+16 ~x1948309+8 ~x1948308+4 ~x1948307+2 ~x1948306+1 ~x1948305+10240 x7877+8192 ~x5865+4096 ~x5864+2048 ~x5863+1024 ~x5862+512 ~x5861+256 ~x5860+128 ~x5859+64 ~x5858+32 ~x5857+16 ~x5856+8 ~x5855+4 ~x5854+2 ~x5853+1 ~x5852-0=32766 50.07/50.19 c 1024 ~x1952031+512 ~x1952030+256 ~x1952029+128 ~x1952028+64 ~x1952027+32 ~x1952026+16 ~x1952025+8 ~x1952024+4 ~x1952023+2 ~x1952022+1 ~x1952021+1024 x7878+1024 ~x5892+512 ~x5891+256 ~x5890+128 ~x5889+64 ~x5888+32 ~x5887+16 ~x5886+8 ~x5885+4 ~x5884+2 ~x5883+1 ~x5882-0=4094 50.17/50.24 c 8192 ~x1954147+4096 ~x1954146+2048 ~x1954145+1024 ~x1954144+512 ~x1954143+256 ~x1954142+128 ~x1954141+64 ~x1954140+32 ~x1954139+16 ~x1954138+8 ~x1954137+4 ~x1954136+2 ~x1954135+1 ~x1954134+10240 x7879+8192 ~x5925+4096 ~x5924+2048 ~x5923+1024 ~x5922+512 ~x5921+256 ~x5920+128 ~x5919+64 ~x5918+32 ~x5917+16 ~x5916+8 ~x5915+4 ~x5914+2 ~x5913+1 ~x5912-0=32766 50.27/50.34 c 8192 ~x1957863+4096 ~x1957862+2048 ~x1957861+1024 ~x1957860+512 ~x1957859+256 ~x1957858+128 ~x1957857+64 ~x1957856+32 ~x1957855+16 ~x1957854+8 ~x1957853+4 ~x1957852+2 ~x1957851+1 ~x1957850+10240 x7880+8192 ~x5955+4096 ~x5954+2048 ~x5953+1024 ~x5952+512 ~x5951+256 ~x5950+128 ~x5949+64 ~x5948+32 ~x5947+16 ~x5946+8 ~x5945+4 ~x5944+2 ~x5943+1 ~x5942-0=32766 50.37/50.43 c 2048 ~x1961577+1024 ~x1961576+512 ~x1961575+256 ~x1961574+128 ~x1961573+64 ~x1961572+32 ~x1961571+16 ~x1961570+8 ~x1961569+4 ~x1961568+2 ~x1961567+1 ~x1961566+3072 x7881+2048 ~x5983+1024 ~x5982+512 ~x5981+256 ~x5980+128 ~x5979+64 ~x5978+32 ~x5977+16 ~x5976+8 ~x5975+4 ~x5974+2 ~x5973+1 ~x5972-0=8190 50.37/50.49 c 2048 ~x1963925+1024 ~x1963924+512 ~x1963923+256 ~x1963922+128 ~x1963921+64 ~x1963920+32 ~x1963919+16 ~x1963918+8 ~x1963917+4 ~x1963916+2 ~x1963915+1 ~x1963914+3072 x7882+2048 ~x6013+1024 ~x6012+512 ~x6011+256 ~x6010+128 ~x6009+64 ~x6008+32 ~x6007+16 ~x6006+8 ~x6005+4 ~x6004+2 ~x6003+1 ~x6002-0=8190 50.48/50.55 c 16384 ~x1966276+8192 ~x1966275+4096 ~x1966274+2048 ~x1966273+1024 ~x1966272+512 ~x1966271+256 ~x1966270+128 ~x1966269+64 ~x1966268+32 ~x1966267+16 ~x1966266+8 ~x1966265+4 ~x1966264+2 ~x1966263+1 ~x1966262+22528 x7883+16384 ~x6046+8192 ~x6045+4096 ~x6044+2048 ~x6043+1024 ~x6042+512 ~x6041+256 ~x6040+128 ~x6039+64 ~x6038+32 ~x6037+16 ~x6036+8 ~x6035+4 ~x6034+2 ~x6033+1 ~x6032-0=65534 50.58/50.66 c 2048 ~x1970565+1024 ~x1970564+512 ~x1970563+256 ~x1970562+128 ~x1970561+64 ~x1970560+32 ~x1970559+16 ~x1970558+8 ~x1970557+4 ~x1970556+2 ~x1970555+1 ~x1970554+2048 x7884+2048 ~x6073+1024 ~x6072+512 ~x6071+256 ~x6070+128 ~x6069+64 ~x6068+32 ~x6067+16 ~x6066+8 ~x6065+4 ~x6064+2 ~x6063+1 ~x6062-0=8190 50.67/50.72 c 2048 ~x1972913+1024 ~x1972912+512 ~x1972911+256 ~x1972910+128 ~x1972909+64 ~x1972908+32 ~x1972907+16 ~x1972906+8 ~x1972905+4 ~x1972904+2 ~x1972903+1 ~x1972902+3072 x7885+2048 ~x6103+1024 ~x6102+512 ~x6101+256 ~x6100+128 ~x6099+64 ~x6098+32 ~x6097+16 ~x6096+8 ~x6095+4 ~x6094+2 ~x6093+1 ~x6092-0=8190 50.67/50.78 c 2048 ~x1975261+1024 ~x1975260+512 ~x1975259+256 ~x1975258+128 ~x1975257+64 ~x1975256+32 ~x1975255+16 ~x1975254+8 ~x1975253+4 ~x1975252+2 ~x1975251+1 ~x1975250+2048 x7886+2048 ~x6133+1024 ~x6132+512 ~x6131+256 ~x6130+128 ~x6129+64 ~x6128+32 ~x6127+16 ~x6126+8 ~x6125+4 ~x6124+2 ~x6123+1 ~x6122-0=8190 50.77/50.84 c 2048 ~x1977609+1024 ~x1977608+512 ~x1977607+256 ~x1977606+128 ~x1977605+64 ~x1977604+32 ~x1977603+16 ~x1977602+8 ~x1977601+4 ~x1977600+2 ~x1977599+1 ~x1977598+3072 x7887+2048 ~x6163+1024 ~x6162+512 ~x6161+256 ~x6160+128 ~x6159+64 ~x6158+32 ~x6157+16 ~x6156+8 ~x6155+4 ~x6154+2 ~x6153+1 ~x6152-0=8190 50.87/50.90 c 2048 ~x1979957+1024 ~x1979956+512 ~x1979955+256 ~x1979954+128 ~x1979953+64 ~x1979952+32 ~x1979951+16 ~x1979950+8 ~x1979949+4 ~x1979948+2 ~x1979947+1 ~x1979946+3072 x7888+2048 ~x6193+1024 ~x6192+512 ~x6191+256 ~x6190+128 ~x6189+64 ~x6188+32 ~x6187+16 ~x6186+8 ~x6185+4 ~x6184+2 ~x6183+1 ~x6182-0=8190 50.87/50.96 c 2048 ~x1982305+1024 ~x1982304+512 ~x1982303+256 ~x1982302+128 ~x1982301+64 ~x1982300+32 ~x1982299+16 ~x1982298+8 ~x1982297+4 ~x1982296+2 ~x1982295+1 ~x1982294+3072 x7889+2048 ~x6223+1024 ~x6222+512 ~x6221+256 ~x6220+128 ~x6219+64 ~x6218+32 ~x6217+16 ~x6216+8 ~x6215+4 ~x6214+2 ~x6213+1 ~x6212-0=8190 50.97/51.02 c 2048 ~x1984653+1024 ~x1984652+512 ~x1984651+256 ~x1984650+128 ~x1984649+64 ~x1984648+32 ~x1984647+16 ~x1984646+8 ~x1984645+4 ~x1984644+2 ~x1984643+1 ~x1984642+3072 x7890+2048 ~x6253+1024 ~x6252+512 ~x6251+256 ~x6250+128 ~x6249+64 ~x6248+32 ~x6247+16 ~x6246+8 ~x6245+4 ~x6244+2 ~x6243+1 ~x6242-0=8190 50.97/51.08 c 2048 ~x1987001+1024 ~x1987000+512 ~x1986999+256 ~x1986998+128 ~x1986997+64 ~x1986996+32 ~x1986995+16 ~x1986994+8 ~x1986993+4 ~x1986992+2 ~x1986991+1 ~x1986990+3072 x7891+2048 ~x6283+1024 ~x6282+512 ~x6281+256 ~x6280+128 ~x6279+64 ~x6278+32 ~x6277+16 ~x6276+8 ~x6275+4 ~x6274+2 ~x6273+1 ~x6272-0=8190 51.07/51.14 c 1024 ~x1989348+512 ~x1989347+256 ~x1989346+128 ~x1989345+64 ~x1989344+32 ~x1989343+16 ~x1989342+8 ~x1989341+4 ~x1989340+2 ~x1989339+1 ~x1989338+1024 x7892+1024 ~x6312+512 ~x6311+256 ~x6310+128 ~x6309+64 ~x6308+32 ~x6307+16 ~x6306+8 ~x6305+4 ~x6304+2 ~x6303+1 ~x6302-0=4094 51.17/51.20 c 2048 ~x1991462+1024 ~x1991461+512 ~x1991460+256 ~x1991459+128 ~x1991458+64 ~x1991457+32 ~x1991456+16 ~x1991455+8 ~x1991454+4 ~x1991453+2 ~x1991452+1 ~x1991451+3072 x7893+2048 ~x6343+1024 ~x6342+512 ~x6341+256 ~x6340+128 ~x6339+64 ~x6338+32 ~x6337+16 ~x6336+8 ~x6335+4 ~x6334+2 ~x6333+1 ~x6332-0=8190 51.17/51.26 c 16384 ~x1993813+8192 ~x1993812+4096 ~x1993811+2048 ~x1993810+1024 ~x1993809+512 ~x1993808+256 ~x1993807+128 ~x1993806+64 ~x1993805+32 ~x1993804+16 ~x1993803+8 ~x1993802+4 ~x1993801+2 ~x1993800+1 ~x1993799+22528 x7894+16384 ~x6376+8192 ~x6375+4096 ~x6374+2048 ~x6373+1024 ~x6372+512 ~x6371+256 ~x6370+128 ~x6369+64 ~x6368+32 ~x6367+16 ~x6366+8 ~x6365+4 ~x6364+2 ~x6363+1 ~x6362-0=65534 51.27/51.36 c 2048 ~x1998102+1024 ~x1998101+512 ~x1998100+256 ~x1998099+128 ~x1998098+64 ~x1998097+32 ~x1998096+16 ~x1998095+8 ~x1998094+4 ~x1998093+2 ~x1998092+1 ~x1998091+3072 x7895+2048 ~x6403+1024 ~x6402+512 ~x6401+256 ~x6400+128 ~x6399+64 ~x6398+32 ~x6397+16 ~x6396+8 ~x6395+4 ~x6394+2 ~x6393+1 ~x6392-0=8190 51.37/51.42 c 1024 ~x2000449+512 ~x2000448+256 ~x2000447+128 ~x2000446+64 ~x2000445+32 ~x2000444+16 ~x2000443+8 ~x2000442+4 ~x2000441+2 ~x2000440+1 ~x2000439+1024 x7896+1024 ~x6432+512 ~x6431+256 ~x6430+128 ~x6429+64 ~x6428+32 ~x6427+16 ~x6426+8 ~x6425+4 ~x6424+2 ~x6423+1 ~x6422-0=4094 51.37/51.48 c 2048 ~x2002563+1024 ~x2002562+512 ~x2002561+256 ~x2002560+128 ~x2002559+64 ~x2002558+32 ~x2002557+16 ~x2002556+8 ~x2002555+4 ~x2002554+2 ~x2002553+1 ~x2002552+3072 x7897+2048 ~x6463+1024 ~x6462+512 ~x6461+256 ~x6460+128 ~x6459+64 ~x6458+32 ~x6457+16 ~x6456+8 ~x6455+4 ~x6454+2 ~x6453+1 ~x6452-0=8190 51.47/51.54 c 2048 ~x2004911+1024 ~x2004910+512 ~x2004909+256 ~x2004908+128 ~x2004907+64 ~x2004906+32 ~x2004905+16 ~x2004904+8 ~x2004903+4 ~x2004902+2 ~x2004901+1 ~x2004900+3072 x7898+2048 ~x6493+1024 ~x6492+512 ~x6491+256 ~x6490+128 ~x6489+64 ~x6488+32 ~x6487+16 ~x6486+8 ~x6485+4 ~x6484+2 ~x6483+1 ~x6482-0=8190 51.47/51.60 c 8192 ~x2007261+4096 ~x2007260+2048 ~x2007259+1024 ~x2007258+512 ~x2007257+256 ~x2007256+128 ~x2007255+64 ~x2007254+32 ~x2007253+16 ~x2007252+8 ~x2007251+4 ~x2007250+2 ~x2007249+1 ~x2007248+11264 x7899+8192 ~x6525+4096 ~x6524+2048 ~x6523+1024 ~x6522+512 ~x6521+256 ~x6520+128 ~x6519+64 ~x6518+32 ~x6517+16 ~x6516+8 ~x6515+4 ~x6514+2 ~x6513+1 ~x6512-0=32766 51.57/51.69 c 16384 ~x2010978+8192 ~x2010977+4096 ~x2010976+2048 ~x2010975+1024 ~x2010974+512 ~x2010973+256 ~x2010972+128 ~x2010971+64 ~x2010970+32 ~x2010969+16 ~x2010968+8 ~x2010967+4 ~x2010966+2 ~x2010965+1 ~x2010964+18432 x7900+16384 ~x6556+8192 ~x6555+4096 ~x6554+2048 ~x6553+1024 ~x6552+512 ~x6551+256 ~x6550+128 ~x6549+64 ~x6548+32 ~x6547+16 ~x6546+8 ~x6545+4 ~x6544+2 ~x6543+1 ~x6542-0=65534 51.68/51.79 c 2048 ~x2015010+1024 ~x2015009+512 ~x2015008+256 ~x2015007+128 ~x2015006+64 ~x2015005+32 ~x2015004+16 ~x2015003+8 ~x2015002+4 ~x2015001+2 ~x2015000+1 ~x2014999+2048 x7901+2048 ~x6583+1024 ~x6582+512 ~x6581+256 ~x6580+128 ~x6579+64 ~x6578+32 ~x6577+16 ~x6576+8 ~x6575+4 ~x6574+2 ~x6573+1 ~x6572-0=8190 51.77/51.86 c 16384 ~x2017361+8192 ~x2017360+4096 ~x2017359+2048 ~x2017358+1024 ~x2017357+512 ~x2017356+256 ~x2017355+128 ~x2017354+64 ~x2017353+32 ~x2017352+16 ~x2017351+8 ~x2017350+4 ~x2017349+2 ~x2017348+1 ~x2017347+18432 x7902+16384 ~x6616+8192 ~x6615+4096 ~x6614+2048 ~x6613+1024 ~x6612+512 ~x6611+256 ~x6610+128 ~x6609+64 ~x6608+32 ~x6607+16 ~x6606+8 ~x6605+4 ~x6604+2 ~x6603+1 ~x6602-0=65534 51.87/51.96 c 2048 ~x2021393+1024 ~x2021392+512 ~x2021391+256 ~x2021390+128 ~x2021389+64 ~x2021388+32 ~x2021387+16 ~x2021386+8 ~x2021385+4 ~x2021384+2 ~x2021383+1 ~x2021382+2048 x7903+2048 ~x6643+1024 ~x6642+512 ~x6641+256 ~x6640+128 ~x6639+64 ~x6638+32 ~x6637+16 ~x6636+8 ~x6635+4 ~x6634+2 ~x6633+1 ~x6632-0=8190 51.97/52.02 c 16384 ~x2023744+8192 ~x2023743+4096 ~x2023742+2048 ~x2023741+1024 ~x2023740+512 ~x2023739+256 ~x2023738+128 ~x2023737+64 ~x2023736+32 ~x2023735+16 ~x2023734+8 ~x2023733+4 ~x2023732+2 ~x2023731+1 ~x2023730+18432 x7904+16384 ~x6676+8192 ~x6675+4096 ~x6674+2048 ~x6673+1024 ~x6672+512 ~x6671+256 ~x6670+128 ~x6669+64 ~x6668+32 ~x6667+16 ~x6666+8 ~x6665+4 ~x6664+2 ~x6663+1 ~x6662-0=65534 52.07/52.12 c 8192 ~x2027778+4096 ~x2027777+2048 ~x2027776+1024 ~x2027775+512 ~x2027774+256 ~x2027773+128 ~x2027772+64 ~x2027771+32 ~x2027770+16 ~x2027769+8 ~x2027768+4 ~x2027767+2 ~x2027766+1 ~x2027765+8192 x7905+8192 ~x6705+4096 ~x6704+2048 ~x6703+1024 ~x6702+512 ~x6701+256 ~x6700+128 ~x6699+64 ~x6698+32 ~x6697+16 ~x6696+8 ~x6695+4 ~x6694+2 ~x6693+1 ~x6692-0=32766 52.17/52.21 c 16384 ~x2031495+8192 ~x2031494+4096 ~x2031493+2048 ~x2031492+1024 ~x2031491+512 ~x2031490+256 ~x2031489+128 ~x2031488+64 ~x2031487+32 ~x2031486+16 ~x2031485+8 ~x2031484+4 ~x2031483+2 ~x2031482+1 ~x2031481+18432 x7906+16384 ~x6736+8192 ~x6735+4096 ~x6734+2048 ~x6733+1024 ~x6732+512 ~x6731+256 ~x6730+128 ~x6729+64 ~x6728+32 ~x6727+16 ~x6726+8 ~x6725+4 ~x6724+2 ~x6723+1 ~x6722-0=65534 52.27/52.31 c 8192 ~x2035529+4096 ~x2035528+2048 ~x2035527+1024 ~x2035526+512 ~x2035525+256 ~x2035524+128 ~x2035523+64 ~x2035522+32 ~x2035521+16 ~x2035520+8 ~x2035519+4 ~x2035518+2 ~x2035517+1 ~x2035516+8192 x7907+8192 ~x6765+4096 ~x6764+2048 ~x6763+1024 ~x6762+512 ~x6761+256 ~x6760+128 ~x6759+64 ~x6758+32 ~x6757+16 ~x6756+8 ~x6755+4 ~x6754+2 ~x6753+1 ~x6752-0=32766 52.37/52.41 c 8192 ~x2039245+4096 ~x2039244+2048 ~x2039243+1024 ~x2039242+512 ~x2039241+256 ~x2039240+128 ~x2039239+64 ~x2039238+32 ~x2039237+16 ~x2039236+8 ~x2039235+4 ~x2039234+2 ~x2039233+1 ~x2039232+9216 x7908+8192 ~x6795+4096 ~x6794+2048 ~x6793+1024 ~x6792+512 ~x6791+256 ~x6790+128 ~x6789+64 ~x6788+32 ~x6787+16 ~x6786+8 ~x6785+4 ~x6784+2 ~x6783+1 ~x6782-0=32766 52.47/52.50 c 16384 ~x2042962+8192 ~x2042961+4096 ~x2042960+2048 ~x2042959+1024 ~x2042958+512 ~x2042957+256 ~x2042956+128 ~x2042955+64 ~x2042954+32 ~x2042953+16 ~x2042952+8 ~x2042951+4 ~x2042950+2 ~x2042949+1 ~x2042948+16384 x7909+16384 ~x6826+8192 ~x6825+4096 ~x6824+2048 ~x6823+1024 ~x6822+512 ~x6821+256 ~x6820+128 ~x6819+64 ~x6818+32 ~x6817+16 ~x6816+8 ~x6815+4 ~x6814+2 ~x6813+1 ~x6812-0=65534 52.57/52.60 c 1024 ~x2046993+512 ~x2046992+256 ~x2046991+128 ~x2046990+64 ~x2046989+32 ~x2046988+16 ~x2046987+8 ~x2046986+4 ~x2046985+2 ~x2046984+1 ~x2046983+1024 x7910+1024 ~x6852+512 ~x6851+256 ~x6850+128 ~x6849+64 ~x6848+32 ~x6847+16 ~x6846+8 ~x6845+4 ~x6844+2 ~x6843+1 ~x6842-0=4094 52.57/52.66 c 16384 ~x2049110+8192 ~x2049109+4096 ~x2049108+2048 ~x2049107+1024 ~x2049106+512 ~x2049105+256 ~x2049104+128 ~x2049103+64 ~x2049102+32 ~x2049101+16 ~x2049100+8 ~x2049099+4 ~x2049098+2 ~x2049097+1 ~x2049096+18432 x7911+16384 ~x6886+8192 ~x6885+4096 ~x6884+2048 ~x6883+1024 ~x6882+512 ~x6881+256 ~x6880+128 ~x6879+64 ~x6878+32 ~x6877+16 ~x6876+8 ~x6875+4 ~x6874+2 ~x6873+1 ~x6872-0=65534 52.68/52.76 c 16384 ~x2053145+8192 ~x2053144+4096 ~x2053143+2048 ~x2053142+1024 ~x2053141+512 ~x2053140+256 ~x2053139+128 ~x2053138+64 ~x2053137+32 ~x2053136+16 ~x2053135+8 ~x2053134+4 ~x2053133+2 ~x2053132+1 ~x2053131+17408 x7912+16384 ~x6916+8192 ~x6915+4096 ~x6914+2048 ~x6913+1024 ~x6912+512 ~x6911+256 ~x6910+128 ~x6909+64 ~x6908+32 ~x6907+16 ~x6906+8 ~x6905+4 ~x6904+2 ~x6903+1 ~x6902-0=65534 52.78/52.86 c 1024 ~x2057176+512 ~x2057175+256 ~x2057174+128 ~x2057173+64 ~x2057172+32 ~x2057171+16 ~x2057170+8 ~x2057169+4 ~x2057168+2 ~x2057167+1 ~x2057166+1024 x7913+1024 ~x6942+512 ~x6941+256 ~x6940+128 ~x6939+64 ~x6938+32 ~x6937+16 ~x6936+8 ~x6935+4 ~x6934+2 ~x6933+1 ~x6932-0=4094 52.87/52.91 c 16384 ~x2059293+8192 ~x2059292+4096 ~x2059291+2048 ~x2059290+1024 ~x2059289+512 ~x2059288+256 ~x2059287+128 ~x2059286+64 ~x2059285+32 ~x2059284+16 ~x2059283+8 ~x2059282+4 ~x2059281+2 ~x2059280+1 ~x2059279+18432 x7914+16384 ~x6976+8192 ~x6975+4096 ~x6974+2048 ~x6973+1024 ~x6972+512 ~x6971+256 ~x6970+128 ~x6969+64 ~x6968+32 ~x6967+16 ~x6966+8 ~x6965+4 ~x6964+2 ~x6963+1 ~x6962-0=65534 52.97/53.01 c 16384 ~x2063328+8192 ~x2063327+4096 ~x2063326+2048 ~x2063325+1024 ~x2063324+512 ~x2063323+256 ~x2063322+128 ~x2063321+64 ~x2063320+32 ~x2063319+16 ~x2063318+8 ~x2063317+4 ~x2063316+2 ~x2063315+1 ~x2063314+17408 x7915+16384 ~x7006+8192 ~x7005+4096 ~x7004+2048 ~x7003+1024 ~x7002+512 ~x7001+256 ~x7000+128 ~x6999+64 ~x6998+32 ~x6997+16 ~x6996+8 ~x6995+4 ~x6994+2 ~x6993+1 ~x6992-0=65534 53.07/53.11 c 8192 ~x2067362+4096 ~x2067361+2048 ~x2067360+1024 ~x2067359+512 ~x2067358+256 ~x2067357+128 ~x2067356+64 ~x2067355+32 ~x2067354+16 ~x2067353+8 ~x2067352+4 ~x2067351+2 ~x2067350+1 ~x2067349+9216 x7916+8192 ~x7035+4096 ~x7034+2048 ~x7033+1024 ~x7032+512 ~x7031+256 ~x7030+128 ~x7029+64 ~x7028+32 ~x7027+16 ~x7026+8 ~x7025+4 ~x7024+2 ~x7023+1 ~x7022-0=32766 53.17/53.21 c 8192 ~x2071078+4096 ~x2071077+2048 ~x2071076+1024 ~x2071075+512 ~x2071074+256 ~x2071073+128 ~x2071072+64 ~x2071071+32 ~x2071070+16 ~x2071069+8 ~x2071068+4 ~x2071067+2 ~x2071066+1 ~x2071065+11264 x7917+8192 ~x7065+4096 ~x7064+2048 ~x7063+1024 ~x7062+512 ~x7061+256 ~x7060+128 ~x7059+64 ~x7058+32 ~x7057+16 ~x7056+8 ~x7055+4 ~x7054+2 ~x7053+1 ~x7052-0=32766 53.27/53.30 c 16384 ~x2074795+8192 ~x2074794+4096 ~x2074793+2048 ~x2074792+1024 ~x2074791+512 ~x2074790+256 ~x2074789+128 ~x2074788+64 ~x2074787+32 ~x2074786+16 ~x2074785+8 ~x2074784+4 ~x2074783+2 ~x2074782+1 ~x2074781+24576 x7918+16384 ~x7096+8192 ~x7095+4096 ~x7094+2048 ~x7093+1024 ~x7092+512 ~x7091+256 ~x7090+128 ~x7089+64 ~x7088+32 ~x7087+16 ~x7086+8 ~x7085+4 ~x7084+2 ~x7083+1 ~x7082-0=65534 53.37/53.41 c 2048 ~x2079084+1024 ~x2079083+512 ~x2079082+256 ~x2079081+128 ~x2079080+64 ~x2079079+32 ~x2079078+16 ~x2079077+8 ~x2079076+4 ~x2079075+2 ~x2079074+1 ~x2079073+2048 x7919+2048 ~x7123+1024 ~x7122+512 ~x7121+256 ~x7120+128 ~x7119+64 ~x7118+32 ~x7117+16 ~x7116+8 ~x7115+4 ~x7114+2 ~x7113+1 ~x7112-0=8190 53.37/53.47 c 32768 ~x2081436+16384 ~x2081435+8192 ~x2081434+4096 ~x2081433+2048 ~x2081432+1024 ~x2081431+512 ~x2081430+256 ~x2081429+128 ~x2081428+64 ~x2081427+32 ~x2081426+16 ~x2081425+8 ~x2081424+4 ~x2081423+2 ~x2081422+1 ~x2081421+50176 x7920+32768 ~x7157+16384 ~x7156+8192 ~x7155+4096 ~x7154+2048 ~x7153+1024 ~x7152+512 ~x7151+256 ~x7150+128 ~x7149+64 ~x7148+32 ~x7147+16 ~x7146+8 ~x7145+4 ~x7144+2 ~x7143+1 ~x7142-0=131070 53.47/53.58 c 2048 ~x2086061+1024 ~x2086060+512 ~x2086059+256 ~x2086058+128 ~x2086057+64 ~x2086056+32 ~x2086055+16 ~x2086054+8 ~x2086053+4 ~x2086052+2 ~x2086051+1 ~x2086050+2048 x7921+2048 ~x7183+1024 ~x7182+512 ~x7181+256 ~x7180+128 ~x7179+64 ~x7178+32 ~x7177+16 ~x7176+8 ~x7175+4 ~x7174+2 ~x7173+1 ~x7172-0=8190 53.57/53.64 c 16384 ~x2088412+8192 ~x2088411+4096 ~x2088410+2048 ~x2088409+1024 ~x2088408+512 ~x2088407+256 ~x2088406+128 ~x2088405+64 ~x2088404+32 ~x2088403+16 ~x2088402+8 ~x2088401+4 ~x2088400+2 ~x2088399+1 ~x2088398+22528 x7922+16384 ~x7216+8192 ~x7215+4096 ~x7214+2048 ~x7213+1024 ~x7212+512 ~x7211+256 ~x7210+128 ~x7209+64 ~x7208+32 ~x7207+16 ~x7206+8 ~x7205+4 ~x7204+2 ~x7203+1 ~x7202-0=65534 53.67/53.75 c 32768 ~x2092705+16384 ~x2092704+8192 ~x2092703+4096 ~x2092702+2048 ~x2092701+1024 ~x2092700+512 ~x2092699+256 ~x2092698+128 ~x2092697+64 ~x2092696+32 ~x2092695+16 ~x2092694+8 ~x2092693+4 ~x2092692+2 ~x2092691+1 ~x2092690+41984 x7923+32768 ~x7247+16384 ~x7246+8192 ~x7245+4096 ~x7244+2048 ~x7243+1024 ~x7242+512 ~x7241+256 ~x7240+128 ~x7239+64 ~x7238+32 ~x7237+16 ~x7236+8 ~x7235+4 ~x7234+2 ~x7233+1 ~x7232-0=131070 53.77/53.86 c 8192 ~x2097332+4096 ~x2097331+2048 ~x2097330+1024 ~x2097329+512 ~x2097328+256 ~x2097327+128 ~x2097326+64 ~x2097325+32 ~x2097324+16 ~x2097323+8 ~x2097322+4 ~x2097321+2 ~x2097320+1 ~x2097319+8192 x7924+8192 ~x7275+4096 ~x7274+2048 ~x7273+1024 ~x7272+512 ~x7271+256 ~x7270+128 ~x7269+64 ~x7268+32 ~x7267+16 ~x7266+8 ~x7265+4 ~x7264+2 ~x7263+1 ~x7262-0=32766 53.87/53.96 c 8192 ~x2101048+4096 ~x2101047+2048 ~x2101046+1024 ~x2101045+512 ~x2101044+256 ~x2101043+128 ~x2101042+64 ~x2101041+32 ~x2101040+16 ~x2101039+8 ~x2101038+4 ~x2101037+2 ~x2101036+1 ~x2101035+9216 x7925+8192 ~x7305+4096 ~x7304+2048 ~x7303+1024 ~x7302+512 ~x7301+256 ~x7300+128 ~x7299+64 ~x7298+32 ~x7297+16 ~x7296+8 ~x7295+4 ~x7294+2 ~x7293+1 ~x7292-0=32766 53.96/54.05 c 16384 ~x2104765+8192 ~x2104764+4096 ~x2104763+2048 ~x2104762+1024 ~x2104761+512 ~x2104760+256 ~x2104759+128 ~x2104758+64 ~x2104757+32 ~x2104756+16 ~x2104755+8 ~x2104754+4 ~x2104753+2 ~x2104752+1 ~x2104751+16384 x7926+16384 ~x7336+8192 ~x7335+4096 ~x7334+2048 ~x7333+1024 ~x7332+512 ~x7331+256 ~x7330+128 ~x7329+64 ~x7328+32 ~x7327+16 ~x7326+8 ~x7325+4 ~x7324+2 ~x7323+1 ~x7322-0=65534 54.07/54.15 c 16384 ~x2108800+8192 ~x2108799+4096 ~x2108798+2048 ~x2108797+1024 ~x2108796+512 ~x2108795+256 ~x2108794+128 ~x2108793+64 ~x2108792+32 ~x2108791+16 ~x2108790+8 ~x2108789+4 ~x2108788+2 ~x2108787+1 ~x2108786+16384 x7927+16384 ~x7366+8192 ~x7365+4096 ~x7364+2048 ~x7363+1024 ~x7362+512 ~x7361+256 ~x7360+128 ~x7359+64 ~x7358+32 ~x7357+16 ~x7356+8 ~x7355+4 ~x7354+2 ~x7353+1 ~x7352-0=65534 54.17/54.25 c 1024 ~x2112831+512 ~x2112830+256 ~x2112829+128 ~x2112828+64 ~x2112827+32 ~x2112826+16 ~x2112825+8 ~x2112824+4 ~x2112823+2 ~x2112822+1 ~x2112821+1024 x7928+1024 ~x7392+512 ~x7391+256 ~x7390+128 ~x7389+64 ~x7388+32 ~x7387+16 ~x7386+8 ~x7385+4 ~x7384+2 ~x7383+1 ~x7382-0=4094 54.27/54.31 c 32768 ~x2114949+16384 ~x2114948+8192 ~x2114947+4096 ~x2114946+2048 ~x2114945+1024 ~x2114944+512 ~x2114943+256 ~x2114942+128 ~x2114941+64 ~x2114940+32 ~x2114939+16 ~x2114938+8 ~x2114937+4 ~x2114936+2 ~x2114935+1 ~x2114934+55296 x7929+32768 ~x7427+16384 ~x7426+8192 ~x7425+4096 ~x7424+2048 ~x7423+1024 ~x7422+512 ~x7421+256 ~x7420+128 ~x7419+64 ~x7418+32 ~x7417+16 ~x7416+8 ~x7415+4 ~x7414+2 ~x7413+1 ~x7412-0=131070 54.36/54.42 c 16384 ~x2119577+8192 ~x2119576+4096 ~x2119575+2048 ~x2119574+1024 ~x2119573+512 ~x2119572+256 ~x2119571+128 ~x2119570+64 ~x2119569+32 ~x2119568+16 ~x2119567+8 ~x2119566+4 ~x2119565+2 ~x2119564+1 ~x2119563+17408 x7930+16384 ~x7456+8192 ~x7455+4096 ~x7454+2048 ~x7453+1024 ~x7452+512 ~x7451+256 ~x7450+128 ~x7449+64 ~x7448+32 ~x7447+16 ~x7446+8 ~x7445+4 ~x7444+2 ~x7443+1 ~x7442-0=65534 54.47/54.52 c 1024 ~x2123608+512 ~x2123607+256 ~x2123606+128 ~x2123605+64 ~x2123604+32 ~x2123603+16 ~x2123602+8 ~x2123601+4 ~x2123600+2 ~x2123599+1 ~x2123598+1024 x7931+1024 ~x7482+512 ~x7481+256 ~x7480+128 ~x7479+64 ~x7478+32 ~x7477+16 ~x7476+8 ~x7475+4 ~x7474+2 ~x7473+1 ~x7472-0=4094 54.47/54.58 c 16384 ~x2125725+8192 ~x2125724+4096 ~x2125723+2048 ~x2125722+1024 ~x2125721+512 ~x2125720+256 ~x2125719+128 ~x2125718+64 ~x2125717+32 ~x2125716+16 ~x2125715+8 ~x2125714+4 ~x2125713+2 ~x2125712+1 ~x2125711+30720 x7932+16384 ~x7516+8192 ~x7515+4096 ~x7514+2048 ~x7513+1024 ~x7512+512 ~x7511+256 ~x7510+128 ~x7509+64 ~x7508+32 ~x7507+16 ~x7506+8 ~x7505+4 ~x7504+2 ~x7503+1 ~x7502-0=65534 54.57/54.69 c 16384 ~x2130017+8192 ~x2130016+4096 ~x2130015+2048 ~x2130014+1024 ~x2130013+512 ~x2130012+256 ~x2130011+128 ~x2130010+64 ~x2130009+32 ~x2130008+16 ~x2130007+8 ~x2130006+4 ~x2130005+2 ~x2130004+1 ~x2130003+17408 x7933+16384 ~x7546+8192 ~x7545+4096 ~x7544+2048 ~x7543+1024 ~x7542+512 ~x7541+256 ~x7540+128 ~x7539+64 ~x7538+32 ~x7537+16 ~x7536+8 ~x7535+4 ~x7534+2 ~x7533+1 ~x7532-0=65534 54.67/54.79 c 8192 ~x2134051+4096 ~x2134050+2048 ~x2134049+1024 ~x2134048+512 ~x2134047+256 ~x2134046+128 ~x2134045+64 ~x2134044+32 ~x2134043+16 ~x2134042+8 ~x2134041+4 ~x2134040+2 ~x2134039+1 ~x2134038+9216 x7934+8192 ~x7575+4096 ~x7574+2048 ~x7573+1024 ~x7572+512 ~x7571+256 ~x7570+128 ~x7569+64 ~x7568+32 ~x7567+16 ~x7566+8 ~x7565+4 ~x7564+2 ~x7563+1 ~x7562-0=32766 54.77/54.88 c 8192 ~x2137767+4096 ~x2137766+2048 ~x2137765+1024 ~x2137764+512 ~x2137763+256 ~x2137762+128 ~x2137761+64 ~x2137760+32 ~x2137759+16 ~x2137758+8 ~x2137757+4 ~x2137756+2 ~x2137755+1 ~x2137754+9216 x7935+8192 ~x7605+4096 ~x7604+2048 ~x7603+1024 ~x7602+512 ~x7601+256 ~x7600+128 ~x7599+64 ~x7598+32 ~x7597+16 ~x7596+8 ~x7595+4 ~x7594+2 ~x7593+1 ~x7592-0=32766 54.87/54.97 c 2048 ~x2141481+1024 ~x2141480+512 ~x2141479+256 ~x2141478+128 ~x2141477+64 ~x2141476+32 ~x2141475+16 ~x2141474+8 ~x2141473+4 ~x2141472+2 ~x2141471+1 ~x2141470+2048 x7936+2048 ~x7633+1024 ~x7632+512 ~x7631+256 ~x7630+128 ~x7629+64 ~x7628+32 ~x7627+16 ~x7626+8 ~x7625+4 ~x7624+2 ~x7623+1 ~x7622-0=8190 54.98/55.03 c 8192 ~x2143831+4096 ~x2143830+2048 ~x2143829+1024 ~x2143828+512 ~x2143827+256 ~x2143826+128 ~x2143825+64 ~x2143824+32 ~x2143823+16 ~x2143822+8 ~x2143821+4 ~x2143820+2 ~x2143819+1 ~x2143818+9216 x7937+8192 ~x7665+4096 ~
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2674094-1276798939/watcher-2674094-1276798939 -o /tmp/evaluation-result-2674094-1276798939/solver-2674094-1276798939 -C 1800 -W 2000 -M 1800 run HOME/instance-2674094-1276798939.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 17700 /proc/meminfo: memFree=1847972/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [startup+0.0285259 s] /proc/loadavg: 0.92 0.98 0.99 3/106 17700 /proc/meminfo: memFree=1847972/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101542 s] /proc/loadavg: 0.92 0.98 0.99 3/106 17700 /proc/meminfo: memFree=1847972/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301584 s] /proc/loadavg: 0.92 0.98 0.99 3/106 17700 /proc/meminfo: memFree=1847972/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701669 s] /proc/loadavg: 0.92 0.98 0.99 3/106 17700 /proc/meminfo: memFree=1847972/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50184 s] /proc/loadavg: 0.92 0.98 0.99 2/108 17703 /proc/meminfo: memFree=1687376/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [pid=17702] ppid=17700 vsize=243844 CPUtime=1.49 /proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 60782 0 0 0 59 90 0 0 25 0 1 0 55495587 249696256 60368 1992294400 134512640 134902295 4291996064 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/17702/statm: 60961 60368 256 96 0 60173 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 252544 [startup+3.10118 s] /proc/loadavg: 0.92 0.98 0.99 2/108 17703 /proc/meminfo: memFree=1531880/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [pid=17702] ppid=17700 vsize=396772 CPUtime=3.09 /proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 99015 0 0 0 186 123 0 0 25 0 1 0 55495587 406294528 98601 1992294400 134512640 134902295 4291996064 18446744073709551615 134893869 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/17702/statm: 99193 98601 259 96 0 98405 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 405472 [startup+6.30186 s] /proc/loadavg: 0.93 0.98 0.99 2/108 17703 /proc/meminfo: memFree=1505096/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [pid=17702] ppid=17700 vsize=360304 CPUtime=6.29 /proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 109844 0 0 0 500 129 0 0 25 0 1 0 55495587 368951296 88999 1992294400 134512640 134902295 4291996064 18446744073709551615 2795004 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/17702/statm: 90076 88999 262 96 0 89288 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 369004 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/108 17703 /proc/meminfo: memFree=1393372/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [pid=17702] ppid=17700 vsize=475008 CPUtime=12.69 /proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 140163 0 0 0 1123 146 0 0 25 0 1 0 55495587 486408192 116343 1992294400 134512640 134902295 4291996064 18446744073709551615 134568716 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/17702/statm: 118752 116343 262 96 0 117964 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 483708 [startup+25.501 s] /proc/loadavg: 0.95 0.98 0.99 2/108 17703 /proc/meminfo: memFree=1150828/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [pid=17702] ppid=17700 vsize=715308 CPUtime=25.48 /proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 199086 0 0 0 2379 169 0 0 25 0 1 0 55495587 732475392 175266 1992294400 134512640 134902295 4291996064 18446744073709551615 134588032 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/17702/statm: 178827 175271 262 96 0 178039 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 724008 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/108 17703 /proc/meminfo: memFree=709636/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [pid=17702] ppid=17700 vsize=1186408 CPUtime=51.07 /proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 313190 0 0 0 4890 217 0 0 25 0 1 0 55495587 1214881792 286252 1992294400 134512640 134902295 4291996064 18446744073709551615 134631262 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/17702/statm: 296602 286252 262 96 0 295814 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1195108 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/108 17705 /proc/meminfo: memFree=631268/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [pid=17702] ppid=17700 vsize=1243940 CPUtime=102.25 /proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 330574 0 0 0 10001 224 0 0 25 0 1 0 55495587 1273794560 303588 1992294400 134512640 134902295 4291996064 18446744073709551615 4160370976 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/17702/statm: 310985 303588 269 96 0 310197 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 1252640 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 17707 /proc/meminfo: memFree=620976/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [pid=17702] ppid=17700 vsize=1254316 CPUtime=162.22 /proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 333138 0 0 0 15995 227 0 0 25 0 1 0 55495587 1284419584 306152 1992294400 134512640 134902295 4291996064 18446744073709551615 4160370822 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/17702/statm: 313579 306152 269 96 0 312791 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 1263016 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 17709 /proc/meminfo: memFree=609940/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [pid=17702] ppid=17700 vsize=1265344 CPUtime=222.21 /proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 335883 0 0 0 21991 230 0 0 25 0 1 0 55495587 1295712256 308897 1992294400 134512640 134902295 4291996064 18446744073709551615 4160378699 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/17702/statm: 316336 308897 269 96 0 315548 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 1274044 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 17711 /proc/meminfo: memFree=595308/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [pid=17702] ppid=17700 vsize=1280288 CPUtime=282.19 /proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 339573 0 0 0 27987 232 0 0 25 0 1 0 55495587 1311014912 312587 1992294400 134512640 134902295 4291996064 18446744073709551615 4160359063 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/17702/statm: 320072 312587 269 96 0 319284 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 1288988 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 17711 /proc/meminfo: memFree=588744/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [pid=17702] ppid=17700 vsize=1286644 CPUtime=342.17 /proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 341179 0 0 0 33983 234 0 0 25 0 1 0 55495587 1317523456 314193 1992294400 134512640 134902295 4291996064 18446744073709551615 4160371024 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/17702/statm: 321661 314193 269 96 0 320873 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 1295344 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 17713 /proc/meminfo: memFree=583660/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [pid=17702] ppid=17700 vsize=1292112 CPUtime=402.15 /proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 342461 0 0 0 39979 236 0 0 25 0 1 0 55495587 1323122688 315475 1992294400 134512640 134902295 4291996064 18446744073709551615 4160373675 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/17702/statm: 323028 315475 269 96 0 322240 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 1300812 [startup+462.301 s] ################ # More data... # ################ /proc/17702/statm: 336392 328830 269 96 0 335604 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 1354268 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 17735 /proc/meminfo: memFree=527488/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [pid=17702] ppid=17700 vsize=1347416 CPUtime=1241.84 /proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 356288 0 0 0 123934 250 0 0 25 0 1 0 55495587 1379753984 329302 1992294400 134512640 134902295 4291996064 18446744073709551615 4160359342 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/17702/statm: 336854 329302 269 96 0 336066 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 1356116 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 17737 /proc/meminfo: memFree=525876/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [pid=17702] ppid=17700 vsize=1349164 CPUtime=1301.82 /proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 356712 0 0 0 129932 250 0 0 25 0 1 0 55495587 1381543936 329726 1992294400 134512640 134902295 4291996064 18446744073709551615 4160370814 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/17702/statm: 337291 329726 269 96 0 336503 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 1357864 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 17739 /proc/meminfo: memFree=523768/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [pid=17702] ppid=17700 vsize=1351236 CPUtime=1361.79 /proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 357204 0 0 0 135929 250 0 0 25 0 1 0 55495587 1383665664 330218 1992294400 134512640 134902295 4291996064 18446744073709551615 4160352738 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/17702/statm: 337809 330218 269 96 0 337021 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 1359936 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/108 17741 /proc/meminfo: memFree=521908/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [pid=17702] ppid=17700 vsize=1353156 CPUtime=1421.77 /proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 357691 0 0 0 141926 251 0 0 25 0 1 0 55495587 1385631744 330705 1992294400 134512640 134902295 4291996064 18446744073709551615 4160370881 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/17702/statm: 338289 330705 269 96 0 337501 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 1361856 [startup+1482.3 s] /proc/loadavg: 1.06 1.00 1.00 2/108 17743 /proc/meminfo: memFree=516824/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [pid=17702] ppid=17700 vsize=1358204 CPUtime=1481.75 /proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 358976 0 0 0 147922 253 0 0 25 0 1 0 55495587 1390800896 331990 1992294400 134512640 134902295 4291996064 18446744073709551615 4160378586 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/17702/statm: 339551 331990 269 96 0 338763 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 1366904 [startup+1542.3 s] /proc/loadavg: 1.08 1.01 1.00 2/108 17743 /proc/meminfo: memFree=508640/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [pid=17702] ppid=17700 vsize=1367196 CPUtime=1541.72 /proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 361025 0 0 0 153918 254 0 0 25 0 1 0 55495587 1400008704 334039 1992294400 134512640 134902295 4291996064 18446744073709551615 4160359563 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/17702/statm: 341799 334039 269 96 0 341011 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 1375896 [startup+1602.3 s] /proc/loadavg: 1.08 1.03 1.00 2/108 17745 /proc/meminfo: memFree=499836/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [pid=17702] ppid=17700 vsize=1375924 CPUtime=1601.71 /proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 363219 0 0 0 159914 257 0 0 25 0 1 0 55495587 1408946176 336233 1992294400 134512640 134902295 4291996064 18446744073709551615 4160373757 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/17702/statm: 343981 336233 269 96 0 343193 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 1384624 [startup+1662.3 s] /proc/loadavg: 1.08 1.03 1.00 2/108 17747 /proc/meminfo: memFree=494008/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [pid=17702] ppid=17700 vsize=1381460 CPUtime=1661.68 /proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 364623 0 0 0 165909 259 0 0 25 0 1 0 55495587 1414615040 337637 1992294400 134512640 134902295 4291996064 18446744073709551615 4160359617 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/17702/statm: 345365 337637 269 96 0 344577 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 1390160 [startup+1722.3 s] /proc/loadavg: 1.07 1.04 1.00 2/108 17749 /proc/meminfo: memFree=489296/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [pid=17702] ppid=17700 vsize=1386304 CPUtime=1721.66 /proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 365848 0 0 0 171906 260 0 0 25 0 1 0 55495587 1419575296 338862 1992294400 134512640 134902295 4291996064 18446744073709551615 4160359631 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/17702/statm: 346576 338862 269 96 0 345788 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 1395004 [startup+1782.3 s] /proc/loadavg: 1.07 1.04 1.00 2/108 17751 /proc/meminfo: memFree=483840/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [pid=17702] ppid=17700 vsize=1391448 CPUtime=1781.63 /proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 367125 0 0 0 177902 261 0 0 25 0 1 0 55495587 1424842752 340139 1992294400 134512640 134902295 4291996064 18446744073709551615 4160370814 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/17702/statm: 347862 340139 269 96 0 347074 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 1400148 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.12 1.06 1.00 2/108 17751 /proc/meminfo: memFree=482600/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [pid=17702] ppid=17700 vsize=1392680 CPUtime=1800.05 /proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 367441 0 0 0 179743 262 0 0 25 0 1 0 55495587 1426104320 340455 1992294400 134512640 134902295 4291996064 18446744073709551615 4160359420 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/17702/statm: 348170 340455 269 96 0 347382 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1401380 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.12 1.06 1.00 2/108 17751 /proc/meminfo: memFree=482600/2059040 swapFree=4139724/4192956 [pid=17700] ppid=17698 vsize=8700 CPUtime=0 /proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17700/statm: 2175 251 211 178 0 68 0 [pid=17702] ppid=17700 vsize=1392680 CPUtime=1800.05 /proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 367441 0 0 0 179743 262 0 0 25 0 1 0 55495587 1426104320 340455 1992294400 134512640 134902295 4291996064 18446744073709551615 4160359420 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/17702/statm: 348170 340455 269 96 0 347382 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1401380 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 17700 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1999 # CPU time returned by wait4() is 0.002998 # while last known CPU time is 1800.05 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.72 CPU time (s): 1800.05 CPU user time (s): 1797.43 CPU system time (s): 2.62 CPU usage (%): 99.9626 Max. virtual memory (cumulated for all children) (KiB): 1401380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000999 system time used= 0.001999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 524 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 3 runsolver used 3.00554 second user time and 8.48171 second system time The end
Begin job on node010 at 2010-06-17 20:22:20 IDJOB=2674094 IDBENCH=2293 IDSOLVER=1174 FILE ID=node010/2674094-1276798939 PBS_JOBID= 11176654 Free space on /tmp= 62528 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran16x16.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674094-1276798939/watcher-2674094-1276798939 -o /tmp/evaluation-result-2674094-1276798939/solver-2674094-1276798939 -C 1800 -W 2000 -M 1800 run HOME/instance-2674094-1276798939.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 334ff12347ae763156f4e4389dfec521 RANDOM SEED=2061580806 node010.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.267 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.267 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1848376 kB Buffers: 37644 kB Cached: 78984 kB SwapCached: 5772 kB Active: 61500 kB Inactive: 67448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1848376 kB SwapTotal: 4192956 kB SwapFree: 4139724 kB Dirty: 1192 kB Writeback: 0 kB AnonPages: 10884 kB Mapped: 12804 kB Slab: 59952 kB PageTables: 3936 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182260 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62528 MiB End job on node010 at 2010-06-17 20:52:22