Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (MO) | 41.17 | 41.2147 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-seba.opb |
MD5SUM | 1b2371606d4072012aff3f48017bfad5 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 20409176029 |
Optimality of the best value was proved | NO |
Number of variables | 23376 |
Total number of constraints | 1029 |
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 | 1029 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 496 |
Number of terms in the objective function | 7565 |
Biggest coefficient in the objective function | 258342282854400 |
Number of bits for the biggest coefficient in the objective function | 48 |
Sum of the numbers in the objective function | 4664562894591719 |
Number of bits of the sum of numbers in the objective function | 53 |
Biggest number in a constraint | 258342282854400 |
Number of bits of the biggest number in a constraint | 48 |
Biggest sum of numbers in a constraint | 4664562894591719 |
Number of bits of the biggest sum of numbers | 53 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
13.18/13.27 c 23376 1029 0 0 0 0 0 0 13.18/13.27 c 1024 ~x23388+512 ~x23387+256 ~x23386+128 ~x23385+64 ~x23384+32 ~x23383+16 ~x23382+8 ~x23381+4 ~x23380+2 ~x23379+1 ~x23378+1024 ~x192+512 ~x191+256 ~x190+128 ~x189+64 ~x188+32 ~x187+16 ~x186+8 ~x185+4 ~x184+2 ~x183+1 ~x182-0=4094 13.18/13.27 c 16384 ~x25213+8192 ~x25212+4096 ~x25211+2048 ~x25210+1024 ~x25209+512 ~x25208+256 ~x25207+128 ~x25206+64 ~x25205+32 ~x25204+16 ~x25203+8 ~x25202+4 ~x25201+2 ~x25200+1 ~x25199+12800 ~x15653+6400 ~x15652+3200 ~x15651+1600 ~x15650+800 ~x15649+400 ~x15648+200 ~x15647+100 ~x15646+50 ~x15645+25 ~x15644-0=58086 13.28/13.35 c 32768 ~x27982+16384 ~x27981+8192 ~x27980+4096 ~x27979+2048 ~x27978+1024 ~x27977+512 ~x27976+256 ~x27975+128 ~x27974+64 ~x27973+32 ~x27972+16 ~x27971+8 ~x27970+4 ~x27969+2 ~x27968+1 ~x27967+25600 ~x15666+12800 ~x15665+6400 ~x15664+3200 ~x15663+1600 ~x15662+800 ~x15661+400 ~x15660+200 ~x15659+100 ~x15658+50 ~x15657+25 ~x15656-0=103398 13.48/13.52 c 524288 ~x31258+262144 ~x31257+131072 ~x31256+65536 ~x31255+32768 ~x31254+16384 ~x31253+8192 ~x31252+4096 ~x31251+2048 ~x31250+1024 ~x31249+512 ~x31248+256 ~x31247+128 ~x31246+64 ~x31245+32 ~x31244+16 ~x31243+8 ~x31242+4 ~x31241+2 ~x31240+1 ~x31239+409600 ~x15683+204800 ~x15682+102400 ~x15681+51200 ~x15680+25600 ~x15679+12800 ~x15678+6400 ~x15677+3200 ~x15676+1600 ~x15675+800 ~x15674+400 ~x15673+200 ~x15672+100 ~x15671+50 ~x15670+25 ~x15669-0=1816038 13.67/13.77 c 8192 ~x36857+4096 ~x36856+2048 ~x36855+1024 ~x36854+512 ~x36853+256 ~x36852+128 ~x36851+64 ~x36850+32 ~x36849+16 ~x36848+8 ~x36847+4 ~x36846+2 ~x36845+1 ~x36844+6400 ~x15693+3200 ~x15692+1600 ~x15691+800 ~x15690+400 ~x15689+200 ~x15688+100 ~x15687+50 ~x15686+25 ~x15685-0=27110 13.78/13.82 c 131072 ~x38960+65536 ~x38959+32768 ~x38958+16384 ~x38957+8192 ~x38956+4096 ~x38955+2048 ~x38954+1024 ~x38953+512 ~x38952+256 ~x38951+128 ~x38950+64 ~x38949+32 ~x38948+16 ~x38947+8 ~x38946+4 ~x38945+2 ~x38944+1 ~x38943+102400 ~x15707+51200 ~x15706+25600 ~x15705+12800 ~x15704+6400 ~x15703+3200 ~x15702+1600 ~x15701+800 ~x15700+400 ~x15699+200 ~x15698+100 ~x15697+50 ~x15696+25 ~x15695-0=423910 13.88/13.97 c 32768 ~x43548+16384 ~x43547+8192 ~x43546+4096 ~x43545+2048 ~x43544+1024 ~x43543+512 ~x43542+256 ~x43541+128 ~x43540+64 ~x43539+32 ~x43538+16 ~x43537+8 ~x43536+4 ~x43535+2 ~x43534+1 ~x43533+25600 ~x15720+12800 ~x15719+6400 ~x15718+3200 ~x15717+1600 ~x15716+800 ~x15715+400 ~x15714+200 ~x15713+100 ~x15712+50 ~x15711+25 ~x15710-0=101606 13.98/14.06 c 65536 ~x46821+32768 ~x46820+16384 ~x46819+8192 ~x46818+4096 ~x46817+2048 ~x46816+1024 ~x46815+512 ~x46814+256 ~x46813+128 ~x46812+64 ~x46811+32 ~x46810+16 ~x46809+8 ~x46808+4 ~x46807+2 ~x46806+1 ~x46805+51200 ~x15733+25600 ~x15732+12800 ~x15731+6400 ~x15730+3200 ~x15729+1600 ~x15728+800 ~x15727+400 ~x15726+200 ~x15725+100 ~x15724+50 ~x15723+25 ~x15722-0=202470 14.08/14.15 c 1048576 ~x50515+524288 ~x50514+262144 ~x50513+131072 ~x50512+65536 ~x50511+32768 ~x50510+16384 ~x50509+8192 ~x50508+4096 ~x50507+2048 ~x50506+1024 ~x50505+512 ~x50504+256 ~x50503+128 ~x50502+64 ~x50501+32 ~x50500+16 ~x50499+8 ~x50498+4 ~x50497+2 ~x50496+1 ~x50495+655360 ~x15755+327680 ~x15754+163840 ~x15753+81920 ~x15752+40960 ~x15751+20480 ~x15750+10240 ~x15749+5120 ~x15748+2560 ~x15747+1280 ~x15746+640 ~x15745+320 ~x15744+160 ~x15743+80 ~x15742+40 ~x15741+20 ~x15740+10 ~x15739+5 ~x15738-0=3208698 14.29/14.31 c 4194304 ~x57032+2097152 ~x57031+1048576 ~x57030+524288 ~x57029+262144 ~x57028+131072 ~x57027+65536 ~x57026+32768 ~x57025+16384 ~x57024+8192 ~x57023+4096 ~x57022+2048 ~x57021+1024 ~x57020+512 ~x57019+256 ~x57018+128 ~x57017+64 ~x57016+32 ~x57015+16 ~x57014+8 ~x57013+4 ~x57012+2 ~x57011+1 ~x57010+3276800 ~x15774+1638400 ~x15773+819200 ~x15772+409600 ~x15771+204800 ~x15770+102400 ~x15769+51200 ~x15768+25600 ~x15767+12800 ~x15766+6400 ~x15765+3200 ~x15764+1600 ~x15763+800 ~x15762+400 ~x15761+200 ~x15760+100 ~x15759+50 ~x15758+25 ~x15757-0=13719526 14.48/14.50 c 131072 ~x65132+65536 ~x65131+32768 ~x65130+16384 ~x65129+8192 ~x65128+4096 ~x65127+2048 ~x65126+1024 ~x65125+512 ~x65124+256 ~x65123+128 ~x65122+64 ~x65121+32 ~x65120+16 ~x65119+8 ~x65118+4 ~x65117+2 ~x65116+1 ~x65115+131072 ~x15793+65536 ~x15792+32768 ~x15791+16384 ~x15790+8192 ~x15789+4096 ~x15788+2048 ~x15787+1024 ~x15786+512 ~x15785+256 ~x15784+128 ~x15783+64 ~x15782+32 ~x15781+16 ~x15780+8 ~x15779+4 ~x15778+2 ~x15777+1 ~x15776-0=470014 14.58/14.64 c 65536 ~x70807+32768 ~x70806+16384 ~x70805+8192 ~x70804+4096 ~x70803+2048 ~x70802+1024 ~x70801+512 ~x70800+256 ~x70799+128 ~x70798+64 ~x70797+32 ~x70796+16 ~x70795+8 ~x70794+4 ~x70793+2 ~x70792+1 ~x70791+65536 ~x15811+32768 ~x15810+16384 ~x15809+8192 ~x15808+4096 ~x15807+2048 ~x15806+1024 ~x15805+512 ~x15804+256 ~x15803+128 ~x15802+64 ~x15801+32 ~x15800+16 ~x15799+8 ~x15798+4 ~x15797+2 ~x15796+1 ~x15795-0=244478 14.68/14.76 c 4194304 ~x75457+2097152 ~x75456+1048576 ~x75455+524288 ~x75454+262144 ~x75453+131072 ~x75452+65536 ~x75451+32768 ~x75450+16384 ~x75449+8192 ~x75448+4096 ~x75447+2048 ~x75446+1024 ~x75445+512 ~x75444+256 ~x75443+128 ~x75442+64 ~x75441+32 ~x75440+16 ~x75439+8 ~x75438+4 ~x75437+2 ~x75436+1 ~x75435+3276800 ~x15830+1638400 ~x15829+819200 ~x15828+409600 ~x15827+204800 ~x15826+102400 ~x15825+51200 ~x15824+25600 ~x15823+12800 ~x15822+6400 ~x15821+3200 ~x15820+1600 ~x15819+800 ~x15818+400 ~x15817+200 ~x15816+100 ~x15815+50 ~x15814+25 ~x15813-0=13895398 14.88/14.96 c 4194304 ~x83562+2097152 ~x83561+1048576 ~x83560+524288 ~x83559+262144 ~x83558+131072 ~x83557+65536 ~x83556+32768 ~x83555+16384 ~x83554+8192 ~x83553+4096 ~x83552+2048 ~x83551+1024 ~x83550+512 ~x83549+256 ~x83548+128 ~x83547+64 ~x83546+32 ~x83545+16 ~x83544+8 ~x83543+4 ~x83542+2 ~x83541+1 ~x83540+3276800 ~x15849+1638400 ~x15848+819200 ~x15847+409600 ~x15846+204800 ~x15845+102400 ~x15844+51200 ~x15843+25600 ~x15842+12800 ~x15841+6400 ~x15840+3200 ~x15839+1600 ~x15838+800 ~x15837+400 ~x15836+200 ~x15835+100 ~x15834+50 ~x15833+25 ~x15832-0=13713894 15.08/15.15 c 262144 ~x91663+131072 ~x91662+65536 ~x91661+32768 ~x91660+16384 ~x91659+8192 ~x91658+4096 ~x91657+2048 ~x91656+1024 ~x91655+512 ~x91654+256 ~x91653+128 ~x91652+64 ~x91651+32 ~x91650+16 ~x91649+8 ~x91648+4 ~x91647+2 ~x91646+1 ~x91645+163840 ~x15866+81920 ~x15865+40960 ~x15864+20480 ~x15863+10240 ~x15862+5120 ~x15861+2560 ~x15860+1280 ~x15859+640 ~x15858+320 ~x15857+160 ~x15856+80 ~x15855+40 ~x15854+20 ~x15853+10 ~x15852+5 ~x15851-0=819450 15.18/15.30 c 1048576 ~x97257+524288 ~x97256+262144 ~x97255+131072 ~x97254+65536 ~x97253+32768 ~x97252+16384 ~x97251+8192 ~x97250+4096 ~x97249+2048 ~x97248+1024 ~x97247+512 ~x97246+256 ~x97245+128 ~x97244+64 ~x97243+32 ~x97242+16 ~x97241+8 ~x97240+4 ~x97239+2 ~x97238+1 ~x97237+655360 ~x15886+327680 ~x15885+163840 ~x15884+81920 ~x15883+40960 ~x15882+20480 ~x15881+10240 ~x15880+5120 ~x15879+2560 ~x15878+1280 ~x15877+640 ~x15876+320 ~x15875+160 ~x15874+80 ~x15873+40 ~x15872+20 ~x15871+10 ~x15870+5 ~x15869-0=3156474 15.39/15.45 c 1048576 ~x103772+524288 ~x103771+262144 ~x103770+131072 ~x103769+65536 ~x103768+32768 ~x103767+16384 ~x103766+8192 ~x103765+4096 ~x103764+2048 ~x103763+1024 ~x103762+512 ~x103761+256 ~x103760+128 ~x103759+64 ~x103758+32 ~x103757+16 ~x103756+8 ~x103755+4 ~x103754+2 ~x103753+1 ~x103752+819200 ~x15903+409600 ~x15902+204800 ~x15901+102400 ~x15900+51200 ~x15899+25600 ~x15898+12800 ~x15897+6400 ~x15896+3200 ~x15895+1600 ~x15894+800 ~x15893+400 ~x15892+200 ~x15891+100 ~x15890+50 ~x15889+25 ~x15888-0=3432678 15.58/15.61 c 4194304 ~x109911+2097152 ~x109910+1048576 ~x109909+524288 ~x109908+262144 ~x109907+131072 ~x109906+65536 ~x109905+32768 ~x109904+16384 ~x109903+8192 ~x109902+4096 ~x109901+2048 ~x109900+1024 ~x109899+512 ~x109898+256 ~x109897+128 ~x109896+64 ~x109895+32 ~x109894+16 ~x109893+8 ~x109892+4 ~x109891+2 ~x109890+1 ~x109889+3276800 ~x15923+1638400 ~x15922+819200 ~x15921+409600 ~x15920+204800 ~x15919+102400 ~x15918+51200 ~x15917+25600 ~x15916+12800 ~x15915+6400 ~x15914+3200 ~x15913+1600 ~x15912+800 ~x15911+400 ~x15910+200 ~x15909+100 ~x15908+50 ~x15907+25 ~x15906-0=14554854 15.78/15.80 c 262144 ~x118012+131072 ~x118011+65536 ~x118010+32768 ~x118009+16384 ~x118008+8192 ~x118007+4096 ~x118006+2048 ~x118005+1024 ~x118004+512 ~x118003+256 ~x118002+128 ~x118001+64 ~x118000+32 ~x117999+16 ~x117998+8 ~x117997+4 ~x117996+2 ~x117995+1 ~x117994+262144 ~x15943+131072 ~x15942+65536 ~x15941+32768 ~x15940+16384 ~x15939+8192 ~x15938+4096 ~x15937+2048 ~x15936+1024 ~x15935+512 ~x15934+256 ~x15933+128 ~x15932+64 ~x15931+32 ~x15930+16 ~x15929+8 ~x15928+4 ~x15927+2 ~x15926+1 ~x15925-0=797694 15.88/15.95 c 4096 ~x124375+2048 ~x124374+1024 ~x124373+512 ~x124372+256 ~x124371+128 ~x124370+64 ~x124369+32 ~x124368+16 ~x124367+8 ~x124366+4 ~x124365+2 ~x124364+1 ~x124363+4096 ~x15957+2048 ~x15956+1024 ~x15955+512 ~x15954+256 ~x15953+128 ~x15952+64 ~x15951+32 ~x15950+16 ~x15949+8 ~x15948+4 ~x15947+2 ~x15946+1 ~x15945-0=14334 15.98/16.02 c 32768 ~x126956+16384 ~x126955+8192 ~x126954+4096 ~x126953+2048 ~x126952+1024 ~x126951+512 ~x126950+256 ~x126949+128 ~x126948+64 ~x126947+32 ~x126946+16 ~x126945+8 ~x126944+4 ~x126943+2 ~x126942+1 ~x126941+40960 ~x15972+20480 ~x15971+10240 ~x15970+5120 ~x15969+2560 ~x15968+1280 ~x15967+640 ~x15966+320 ~x15965+160 ~x15964+80 ~x15963+40 ~x15962+20 ~x15961+10 ~x15960+5 ~x15959-0=124154 16.08/16.11 c 131072 ~x130662+65536 ~x130661+32768 ~x130660+16384 ~x130659+8192 ~x130658+4096 ~x130657+2048 ~x130656+1024 ~x130655+512 ~x130654+256 ~x130653+128 ~x130652+64 ~x130651+32 ~x130650+16 ~x130649+8 ~x130648+4 ~x130647+2 ~x130646+1 ~x130645+102400 ~x15987+51200 ~x15986+25600 ~x15985+12800 ~x15984+6400 ~x15983+3200 ~x15982+1600 ~x15981+800 ~x15980+400 ~x15979+200 ~x15978+100 ~x15977+50 ~x15976+25 ~x15975-0=458470 16.18/16.23 c 131072 ~x135252+65536 ~x135251+32768 ~x135250+16384 ~x135249+8192 ~x135248+4096 ~x135247+2048 ~x135246+1024 ~x135245+512 ~x135244+256 ~x135243+128 ~x135242+64 ~x135241+32 ~x135240+16 ~x135239+8 ~x135238+4 ~x135237+2 ~x135236+1 ~x135235+102400 ~x16002+51200 ~x16001+25600 ~x16000+12800 ~x15999+6400 ~x15998+3200 ~x15997+1600 ~x15996+800 ~x15995+400 ~x15994+200 ~x15993+100 ~x15992+50 ~x15991+25 ~x15990-0=394214 16.28/16.34 c 4096 ~x139837+2048 ~x139836+1024 ~x139835+512 ~x139834+256 ~x139833+128 ~x139832+64 ~x139831+32 ~x139830+16 ~x139829+8 ~x139828+4 ~x139827+2 ~x139826+1 ~x139825+2560 ~x16014+1280 ~x16013+640 ~x16012+320 ~x16011+160 ~x16010+80 ~x16009+40 ~x16008+20 ~x16007+10 ~x16006+5 ~x16005-0=12538 16.39/16.40 c 524288 ~x141840+262144 ~x141839+131072 ~x141838+65536 ~x141837+32768 ~x141836+16384 ~x141835+8192 ~x141834+4096 ~x141833+2048 ~x141832+1024 ~x141831+512 ~x141830+256 ~x141829+128 ~x141828+64 ~x141827+32 ~x141826+16 ~x141825+8 ~x141824+4 ~x141823+2 ~x141822+1 ~x141821+327680 ~x16035+163840 ~x16034+81920 ~x16033+40960 ~x16032+20480 ~x16031+10240 ~x16030+5120 ~x16029+2560 ~x16028+1280 ~x16027+640 ~x16026+320 ~x16025+160 ~x16024+80 ~x16023+40 ~x16022+20 ~x16021+10 ~x16020+5 ~x16019-0=1595642 16.49/16.55 c 2097152 ~x147813+1048576 ~x147812+524288 ~x147811+262144 ~x147810+131072 ~x147809+65536 ~x147808+32768 ~x147807+16384 ~x147806+8192 ~x147805+4096 ~x147804+2048 ~x147803+1024 ~x147802+512 ~x147801+256 ~x147800+128 ~x147799+64 ~x147798+32 ~x147797+16 ~x147796+8 ~x147795+4 ~x147794+2 ~x147793+1 ~x147792+1310720 ~x16055+655360 ~x16054+327680 ~x16053+163840 ~x16052+81920 ~x16051+40960 ~x16050+20480 ~x16049+10240 ~x16048+5120 ~x16047+2560 ~x16046+1280 ~x16045+640 ~x16044+320 ~x16043+160 ~x16042+80 ~x16041+40 ~x16040+20 ~x16039+10 ~x16038+5 ~x16037-0=6475514 16.68/16.74 c 8388608 ~x155560+4194304 ~x155559+2097152 ~x155558+1048576 ~x155557+524288 ~x155556+262144 ~x155555+131072 ~x155554+65536 ~x155553+32768 ~x155552+16384 ~x155551+8192 ~x155550+4096 ~x155549+2048 ~x155548+1024 ~x155547+512 ~x155546+256 ~x155545+128 ~x155544+64 ~x155543+32 ~x155542+16 ~x155541+8 ~x155540+4 ~x155539+2 ~x155538+1 ~x155537+6553600 ~x16075+3276800 ~x16074+1638400 ~x16073+819200 ~x16072+409600 ~x16071+204800 ~x16070+102400 ~x16069+51200 ~x16068+25600 ~x16067+12800 ~x16066+6400 ~x16065+3200 ~x16064+1600 ~x16063+800 ~x16062+400 ~x16061+200 ~x16060+100 ~x16059+50 ~x16058+25 ~x16057-0=27266022 16.88/16.95 c 2097152 ~x164120+1048576 ~x164119+524288 ~x164118+262144 ~x164117+131072 ~x164116+65536 ~x164115+32768 ~x164114+16384 ~x164113+8192 ~x164112+4096 ~x164111+2048 ~x164110+1024 ~x164109+512 ~x164108+256 ~x164107+128 ~x164106+64 ~x164105+32 ~x164104+16 ~x164103+8 ~x164102+4 ~x164101+2 ~x164100+1 ~x164099+1310720 ~x16095+655360 ~x16094+327680 ~x16093+163840 ~x16092+81920 ~x16091+40960 ~x16090+20480 ~x16089+10240 ~x16088+5120 ~x16087+2560 ~x16086+1280 ~x16085+640 ~x16084+320 ~x16083+160 ~x16082+80 ~x16081+40 ~x16080+20 ~x16079+10 ~x16078+5 ~x16077-0=6386682 17.07/17.14 c 8388608 ~x171867+4194304 ~x171866+2097152 ~x171865+1048576 ~x171864+524288 ~x171863+262144 ~x171862+131072 ~x171861+65536 ~x171860+32768 ~x171859+16384 ~x171858+8192 ~x171857+4096 ~x171856+2048 ~x171855+1024 ~x171854+512 ~x171853+256 ~x171852+128 ~x171851+64 ~x171850+32 ~x171849+16 ~x171848+8 ~x171847+4 ~x171846+2 ~x171845+1 ~x171844+6553600 ~x16115+3276800 ~x16114+1638400 ~x16113+819200 ~x16112+409600 ~x16111+204800 ~x16110+102400 ~x16109+51200 ~x16108+25600 ~x16107+12800 ~x16106+6400 ~x16105+3200 ~x16104+1600 ~x16103+800 ~x16102+400 ~x16101+200 ~x16100+100 ~x16099+50 ~x16098+25 ~x16097-0=27523046 17.28/17.35 c 2097152 ~x180427+1048576 ~x180426+524288 ~x180425+262144 ~x180424+131072 ~x180423+65536 ~x180422+32768 ~x180421+16384 ~x180420+8192 ~x180419+4096 ~x180418+2048 ~x180417+1024 ~x180416+512 ~x180415+256 ~x180414+128 ~x180413+64 ~x180412+32 ~x180411+16 ~x180410+8 ~x180409+4 ~x180408+2 ~x180407+1 ~x180406+1638400 ~x16133+819200 ~x16132+409600 ~x16131+204800 ~x16130+102400 ~x16129+51200 ~x16128+25600 ~x16127+12800 ~x16126+6400 ~x16125+3200 ~x16124+1600 ~x16123+800 ~x16122+400 ~x16121+200 ~x16120+100 ~x16119+50 ~x16118+25 ~x16117-0=6527462 17.49/17.53 c 131072 ~x187742+65536 ~x187741+32768 ~x187740+16384 ~x187739+8192 ~x187738+4096 ~x187737+2048 ~x187736+1024 ~x187735+512 ~x187734+256 ~x187733+128 ~x187732+64 ~x187731+32 ~x187730+16 ~x187729+8 ~x187728+4 ~x187727+2 ~x187726+1 ~x187725+204800 ~x16148+102400 ~x16147+51200 ~x16146+25600 ~x16145+12800 ~x16144+6400 ~x16143+3200 ~x16142+1600 ~x16141+800 ~x16140+400 ~x16139+200 ~x16138+100 ~x16137+50 ~x16136+25 ~x16135-0=485862 17.59/17.65 c 524288 ~x192508+262144 ~x192507+131072 ~x192506+65536 ~x192505+32768 ~x192504+16384 ~x192503+8192 ~x192502+4096 ~x192501+2048 ~x192500+1024 ~x192499+512 ~x192498+256 ~x192497+128 ~x192496+64 ~x192495+32 ~x192494+16 ~x192493+8 ~x192492+4 ~x192491+2 ~x192490+1 ~x192489+819200 ~x16165+409600 ~x16164+204800 ~x16163+102400 ~x16162+51200 ~x16161+25600 ~x16160+12800 ~x16159+6400 ~x16158+3200 ~x16157+1600 ~x16156+800 ~x16155+400 ~x16154+200 ~x16153+100 ~x16152+50 ~x16151+25 ~x16150-0=2036454 17.78/17.80 c 8388608 ~x198450+4194304 ~x198449+2097152 ~x198448+1048576 ~x198447+524288 ~x198446+262144 ~x198445+131072 ~x198444+65536 ~x198443+32768 ~x198442+16384 ~x198441+8192 ~x198440+4096 ~x198439+2048 ~x198438+1024 ~x198437+512 ~x198436+256 ~x198435+128 ~x198434+64 ~x198433+32 ~x198432+16 ~x198431+8 ~x198430+4 ~x198429+2 ~x198428+1 ~x198427+6553600 ~x16188+3276800 ~x16187+1638400 ~x16186+819200 ~x16185+409600 ~x16184+204800 ~x16183+102400 ~x16182+51200 ~x16181+25600 ~x16180+12800 ~x16179+6400 ~x16178+3200 ~x16177+1600 ~x16176+800 ~x16175+400 ~x16174+200 ~x16173+100 ~x16172+50 ~x16171+25 ~x16170-0=25523174 17.98/18.00 c 262144 ~x207007+131072 ~x207006+65536 ~x207005+32768 ~x207004+16384 ~x207003+8192 ~x207002+4096 ~x207001+2048 ~x207000+1024 ~x206999+512 ~x206998+256 ~x206997+128 ~x206996+64 ~x206995+32 ~x206994+16 ~x206993+8 ~x206992+4 ~x206991+2 ~x206990+1 ~x206989+409600 ~x16204+204800 ~x16203+102400 ~x16202+51200 ~x16201+25600 ~x16200+12800 ~x16199+6400 ~x16198+3200 ~x16197+1600 ~x16196+800 ~x16195+400 ~x16194+200 ~x16193+100 ~x16192+50 ~x16191+25 ~x16190-0=934886 18.07/18.14 c 1048576 ~x212418+524288 ~x212417+262144 ~x212416+131072 ~x212415+65536 ~x212414+32768 ~x212413+16384 ~x212412+8192 ~x212411+4096 ~x212410+2048 ~x212409+1024 ~x212408+512 ~x212407+256 ~x212406+128 ~x212405+64 ~x212404+32 ~x212403+16 ~x212402+8 ~x212401+4 ~x212400+2 ~x212399+1 ~x212398+819200 ~x16222+409600 ~x16221+204800 ~x16220+102400 ~x16219+51200 ~x16218+25600 ~x16217+12800 ~x16216+6400 ~x16215+3200 ~x16214+1600 ~x16213+800 ~x16212+400 ~x16211+200 ~x16210+100 ~x16209+50 ~x16208+25 ~x16207-0=3266278 18.17/18.28 c 131072 ~x218552+65536 ~x218551+32768 ~x218550+16384 ~x218549+8192 ~x218548+4096 ~x218547+2048 ~x218546+1024 ~x218545+512 ~x218544+256 ~x218543+128 ~x218542+64 ~x218541+32 ~x218540+16 ~x218539+8 ~x218538+4 ~x218537+2 ~x218536+1 ~x218535+81920 ~x16238+40960 ~x16237+20480 ~x16236+10240 ~x16235+5120 ~x16234+2560 ~x16233+1280 ~x16232+640 ~x16231+320 ~x16230+160 ~x16229+80 ~x16228+40 ~x16227+20 ~x16226+10 ~x16225+5 ~x16224-0=406010 18.38/18.41 c 8388608 ~x223496+4194304 ~x223495+2097152 ~x223494+1048576 ~x223493+524288 ~x223492+262144 ~x223491+131072 ~x223490+65536 ~x223489+32768 ~x223488+16384 ~x223487+8192 ~x223486+4096 ~x223485+2048 ~x223484+1024 ~x223483+512 ~x223482+256 ~x223481+128 ~x223480+64 ~x223479+32 ~x223478+16 ~x223477+8 ~x223476+4 ~x223475+2 ~x223474+1 ~x223473+6553600 ~x16258+3276800 ~x16257+1638400 ~x16256+819200 ~x16255+409600 ~x16254+204800 ~x16253+102400 ~x16252+51200 ~x16251+25600 ~x16250+12800 ~x16249+6400 ~x16248+3200 ~x16247+1600 ~x16246+800 ~x16245+400 ~x16244+200 ~x16243+100 ~x16242+50 ~x16241+25 ~x16240-0=28186086 18.58/18.62 c 2097152 ~x232056+1048576 ~x232055+524288 ~x232054+262144 ~x232053+131072 ~x232052+65536 ~x232051+32768 ~x232050+16384 ~x232049+8192 ~x232048+4096 ~x232047+2048 ~x232046+1024 ~x232045+512 ~x232044+256 ~x232043+128 ~x232042+64 ~x232041+32 ~x232040+16 ~x232039+8 ~x232038+4 ~x232037+2 ~x232036+1 ~x232035+1310720 ~x16278+655360 ~x16277+327680 ~x16276+163840 ~x16275+81920 ~x16274+40960 ~x16273+20480 ~x16272+10240 ~x16271+5120 ~x16270+2560 ~x16269+1280 ~x16268+640 ~x16267+320 ~x16266+160 ~x16265+80 ~x16264+40 ~x16263+20 ~x16262+10 ~x16261+5 ~x16260-0=6683130 18.78/18.81 c 524288 ~x239799+262144 ~x239798+131072 ~x239797+65536 ~x239796+32768 ~x239795+16384 ~x239794+8192 ~x239793+4096 ~x239792+2048 ~x239791+1024 ~x239790+512 ~x239789+256 ~x239788+128 ~x239787+64 ~x239786+32 ~x239785+16 ~x239784+8 ~x239783+4 ~x239782+2 ~x239781+1 ~x239780+409600 ~x16294+204800 ~x16293+102400 ~x16292+51200 ~x16291+25600 ~x16290+12800 ~x16289+6400 ~x16288+3200 ~x16287+1600 ~x16286+800 ~x16285+400 ~x16284+200 ~x16283+100 ~x16282+50 ~x16281+25 ~x16280-0=1601254 18.88/18.95 c 524288 ~x245404+262144 ~x245403+131072 ~x245402+65536 ~x245401+32768 ~x245400+16384 ~x245399+8192 ~x245398+4096 ~x245397+2048 ~x245396+1024 ~x245395+512 ~x245394+256 ~x245393+128 ~x245392+64 ~x245391+32 ~x245390+16 ~x245389+8 ~x245388+4 ~x245387+2 ~x245386+1 ~x245385+409600 ~x16311+204800 ~x16310+102400 ~x16309+51200 ~x16308+25600 ~x16307+12800 ~x16306+6400 ~x16305+3200 ~x16304+1600 ~x16303+800 ~x16302+400 ~x16301+200 ~x16300+100 ~x16299+50 ~x16298+25 ~x16297-0=1816294 18.98/19.09 c 32768 ~x251005+16384 ~x251004+8192 ~x251003+4096 ~x251002+2048 ~x251001+1024 ~x251000+512 ~x250999+256 ~x250998+128 ~x250997+64 ~x250996+32 ~x250995+16 ~x250994+8 ~x250993+4 ~x250992+2 ~x250991+1 ~x250990+32768 ~x16330+16384 ~x16329+8192 ~x16328+4096 ~x16327+2048 ~x16326+1024 ~x16325+512 ~x16324+256 ~x16323+128 ~x16322+64 ~x16321+32 ~x16320+16 ~x16319+8 ~x16318+4 ~x16317+2 ~x16316+1 ~x16315-0=104190 19.08/19.19 c 4096 ~x255186+2048 ~x255185+1024 ~x255184+512 ~x255183+256 ~x255182+128 ~x255181+64 ~x255180+32 ~x255179+16 ~x255178+8 ~x255177+4 ~x255176+2 ~x255175+1 ~x255174+4096 ~x16345+2048 ~x16344+1024 ~x16343+512 ~x16342+256 ~x16341+128 ~x16340+64 ~x16339+32 ~x16338+16 ~x16337+8 ~x16336+4 ~x16335+2 ~x16334+1 ~x16333-0=16382 19.18/19.25 c 524288 ~x257771+262144 ~x257770+131072 ~x257769+65536 ~x257768+32768 ~x257767+16384 ~x257766+8192 ~x257765+4096 ~x257764+2048 ~x257763+1024 ~x257762+512 ~x257761+256 ~x257760+128 ~x257759+64 ~x257758+32 ~x257757+16 ~x257756+8 ~x257755+4 ~x257754+2 ~x257753+1 ~x257752+409600 ~x16361+204800 ~x16360+102400 ~x16359+51200 ~x16358+25600 ~x16357+12800 ~x16356+6400 ~x16355+3200 ~x16354+1600 ~x16353+800 ~x16352+400 ~x16351+200 ~x16350+100 ~x16349+50 ~x16348+25 ~x16347-0=1827302 19.28/19.39 c 524288 ~x263376+262144 ~x263375+131072 ~x263374+65536 ~x263373+32768 ~x263372+16384 ~x263371+8192 ~x263370+4096 ~x263369+2048 ~x263368+1024 ~x263367+512 ~x263366+256 ~x263365+128 ~x263364+64 ~x263363+32 ~x263362+16 ~x263361+8 ~x263360+4 ~x263359+2 ~x263358+1 ~x263357+409600 ~x16377+204800 ~x16376+102400 ~x16375+51200 ~x16374+25600 ~x16373+12800 ~x16372+6400 ~x16371+3200 ~x16370+1600 ~x16369+800 ~x16368+400 ~x16367+200 ~x16366+100 ~x16365+50 ~x16364+25 ~x16363-0=1784038 19.48/19.53 c 262144 ~x268980+131072 ~x268979+65536 ~x268978+32768 ~x268977+16384 ~x268976+8192 ~x268975+4096 ~x268974+2048 ~x268973+1024 ~x268972+512 ~x268971+256 ~x268970+128 ~x268969+64 ~x268968+32 ~x268967+16 ~x268966+8 ~x268965+4 ~x268964+2 ~x268963+1 ~x268962+204800 ~x16392+102400 ~x16391+51200 ~x16390+25600 ~x16389+12800 ~x16388+6400 ~x16387+3200 ~x16386+1600 ~x16385+800 ~x16384+400 ~x16383+200 ~x16382+100 ~x16381+50 ~x16380+25 ~x16379-0=795366 19.58/19.65 c 8192 ~x274201+4096 ~x274200+2048 ~x274199+1024 ~x274198+512 ~x274197+256 ~x274196+128 ~x274195+64 ~x274194+32 ~x274193+16 ~x274192+8 ~x274191+4 ~x274190+2 ~x274189+1 ~x274188+10240 ~x16405+5120 ~x16404+2560 ~x16403+1280 ~x16402+640 ~x16401+320 ~x16400+160 ~x16399+80 ~x16398+40 ~x16397+20 ~x16396+10 ~x16395+5 ~x16394-0=31226 19.68/19.73 c 524288 ~x277097+262144 ~x277096+131072 ~x277095+65536 ~x277094+32768 ~x277093+16384 ~x277092+8192 ~x277091+4096 ~x277090+2048 ~x277089+1024 ~x277088+512 ~x277087+256 ~x277086+128 ~x277085+64 ~x277084+32 ~x277083+16 ~x277082+8 ~x277081+4 ~x277080+2 ~x277079+1 ~x277078+409600 ~x16423+204800 ~x16422+102400 ~x16421+51200 ~x16420+25600 ~x16419+12800 ~x16418+6400 ~x16417+3200 ~x16416+1600 ~x16415+800 ~x16414+400 ~x16413+200 ~x16412+100 ~x16411+50 ~x16410+25 ~x16409-0=1815014 19.78/19.87 c 131072 ~x282700+65536 ~x282699+32768 ~x282698+16384 ~x282697+8192 ~x282696+4096 ~x282695+2048 ~x282694+1024 ~x282693+512 ~x282692+256 ~x282691+128 ~x282690+64 ~x282689+32 ~x282688+16 ~x282687+8 ~x282686+4 ~x282685+2 ~x282684+1 ~x282683+102400 ~x16437+51200 ~x16436+25600 ~x16435+12800 ~x16434+6400 ~x16433+3200 ~x16432+1600 ~x16431+800 ~x16430+400 ~x16429+200 ~x16428+100 ~x16427+50 ~x16426+25 ~x16425-0=453350 19.88/19.99 c 524288 ~x287292+262144 ~x287291+131072 ~x287290+65536 ~x287289+32768 ~x287288+16384 ~x287287+8192 ~x287286+4096 ~x287285+2048 ~x287284+1024 ~x287283+512 ~x287282+256 ~x287281+128 ~x287280+64 ~x287279+32 ~x287278+16 ~x287277+8 ~x287276+4 ~x287275+2 ~x287274+1 ~x287273+819200 ~x16457+409600 ~x16456+204800 ~x16455+102400 ~x16454+51200 ~x16453+25600 ~x16452+12800 ~x16451+6400 ~x16450+3200 ~x16449+1600 ~x16448+800 ~x16447+400 ~x16446+200 ~x16445+100 ~x16444+50 ~x16443+25 ~x16442-0=2018022 20.08/20.13 c 65536 ~x293227+32768 ~x293226+16384 ~x293225+8192 ~x293224+4096 ~x293223+2048 ~x293222+1024 ~x293221+512 ~x293220+256 ~x293219+128 ~x293218+64 ~x293217+32 ~x293216+16 ~x293215+8 ~x293214+4 ~x293213+2 ~x293212+1 ~x293211+102400 ~x16471+51200 ~x16470+25600 ~x16469+12800 ~x16468+6400 ~x16467+3200 ~x16466+1600 ~x16465+800 ~x16464+400 ~x16463+200 ~x16462+100 ~x16461+50 ~x16460+25 ~x16459-0=243942 20.18/20.23 c 262144 ~x297069+131072 ~x297068+65536 ~x297067+32768 ~x297066+16384 ~x297065+8192 ~x297064+4096 ~x297063+2048 ~x297062+1024 ~x297061+512 ~x297060+256 ~x297059+128 ~x297058+64 ~x297057+32 ~x297056+16 ~x297055+8 ~x297054+4 ~x297053+2 ~x297052+1 ~x297051+163840 ~x16488+81920 ~x16487+40960 ~x16486+20480 ~x16485+10240 ~x16484+5120 ~x16483+2560 ~x16482+1280 ~x16481+640 ~x16480+320 ~x16479+160 ~x16478+80 ~x16477+40 ~x16476+20 ~x16475+10 ~x16474+5 ~x16473-0=815098 20.28/20.36 c 262144 ~x302661+131072 ~x302660+65536 ~x302659+32768 ~x302658+16384 ~x302657+8192 ~x302656+4096 ~x302655+2048 ~x302654+1024 ~x302653+512 ~x302652+256 ~x302651+128 ~x302650+64 ~x302649+32 ~x302648+16 ~x302647+8 ~x302646+4 ~x302645+2 ~x302644+1 ~x302643+204800 ~x16503+102400 ~x16502+51200 ~x16501+25600 ~x16500+12800 ~x16499+6400 ~x16498+3200 ~x16497+1600 ~x16496+800 ~x16495+400 ~x16494+200 ~x16493+100 ~x16492+50 ~x16491+25 ~x16490-0=881126 20.37/20.49 c 131072 ~x307886+65536 ~x307885+32768 ~x307884+16384 ~x307883+8192 ~x307882+4096 ~x307881+2048 ~x307880+1024 ~x307879+512 ~x307878+256 ~x307877+128 ~x307876+64 ~x307875+32 ~x307874+16 ~x307873+8 ~x307872+4 ~x307871+2 ~x307870+1 ~x307869+204800 ~x16519+102400 ~x16518+51200 ~x16517+25600 ~x16516+12800 ~x16515+6400 ~x16514+3200 ~x16513+1600 ~x16512+800 ~x16511+400 ~x16510+200 ~x16509+100 ~x16508+50 ~x16507+25 ~x16506-0=503782 20.58/20.61 c 262144 ~x312651+131072 ~x312650+65536 ~x312649+32768 ~x312648+16384 ~x312647+8192 ~x312646+4096 ~x312645+2048 ~x312644+1024 ~x312643+512 ~x312642+256 ~x312641+128 ~x312640+64 ~x312639+32 ~x312638+16 ~x312637+8 ~x312636+4 ~x312635+2 ~x312634+1 ~x312633+204800 ~x16535+102400 ~x16534+51200 ~x16533+25600 ~x16532+12800 ~x16531+6400 ~x16530+3200 ~x16529+1600 ~x16528+800 ~x16527+400 ~x16526+200 ~x16525+100 ~x16524+50 ~x16523+25 ~x16522-0=925158 20.68/20.74 c 524288 ~x317878+262144 ~x317877+131072 ~x317876+65536 ~x317875+32768 ~x317874+16384 ~x317873+8192 ~x317872+4096 ~x317871+2048 ~x317870+1024 ~x317869+512 ~x317868+256 ~x317867+128 ~x317866+64 ~x317865+32 ~x317864+16 ~x317863+8 ~x317862+4 ~x317861+2 ~x317860+1 ~x317859+409600 ~x16551+204800 ~x16550+102400 ~x16549+51200 ~x16548+25600 ~x16547+12800 ~x16546+6400 ~x16545+3200 ~x16544+1600 ~x16543+800 ~x16542+400 ~x16541+200 ~x16540+100 ~x16539+50 ~x16538+25 ~x16537-0=1613286 20.78/20.88 c 262144 ~x323482+131072 ~x323481+65536 ~x323480+32768 ~x323479+16384 ~x323478+8192 ~x323477+4096 ~x323476+2048 ~x323475+1024 ~x323474+512 ~x323473+256 ~x323472+128 ~x323471+64 ~x323470+32 ~x323469+16 ~x323468+8 ~x323467+4 ~x323466+2 ~x323465+1 ~x323464+204800 ~x16566+102400 ~x16565+51200 ~x16564+25600 ~x16563+12800 ~x16562+6400 ~x16561+3200 ~x16560+1600 ~x16559+800 ~x16558+400 ~x16557+200 ~x16556+100 ~x16555+50 ~x16554+25 ~x16553-0=907238 20.97/21.00 c 4096 ~x328702+2048 ~x328701+1024 ~x328700+512 ~x328699+256 ~x328698+128 ~x328697+64 ~x328696+32 ~x328695+16 ~x328694+8 ~x328693+4 ~x328692+2 ~x328691+1 ~x328690+2560 ~x16577+1280 ~x16576+640 ~x16575+320 ~x16574+160 ~x16573+80 ~x16572+40 ~x16571+20 ~x16570+10 ~x16569+5 ~x16568-0=12538 20.97/21.06 c 32768 ~x330701+16384 ~x330700+8192 ~x330699+4096 ~x330698+2048 ~x330697+1024 ~x330696+512 ~x330695+256 ~x330694+128 ~x330693+64 ~x330692+32 ~x330691+16 ~x330690+8 ~x330689+4 ~x330688+2 ~x330687+1 ~x330686+40960 ~x16594+20480 ~x16593+10240 ~x16592+5120 ~x16591+2560 ~x16590+1280 ~x16589+640 ~x16588+320 ~x16587+160 ~x16586+80 ~x16585+40 ~x16584+20 ~x16583+10 ~x16582+5 ~x16581-0=120826 21.08/21.15 c 262144 ~x334408+131072 ~x334407+65536 ~x334406+32768 ~x334405+16384 ~x334404+8192 ~x334403+4096 ~x334402+2048 ~x334401+1024 ~x334400+512 ~x334399+256 ~x334398+128 ~x334397+64 ~x334396+32 ~x334395+16 ~x334394+8 ~x334393+4 ~x334392+2 ~x334391+1 ~x334390+204800 ~x16609+102400 ~x16608+51200 ~x16607+25600 ~x16606+12800 ~x16605+6400 ~x16604+3200 ~x16603+1600 ~x16602+800 ~x16601+400 ~x16600+200 ~x16599+100 ~x16598+50 ~x16597+25 ~x16596-0=829414 21.18/21.28 c 131072 ~x339633+65536 ~x339632+32768 ~x339631+16384 ~x339630+8192 ~x339629+4096 ~x339628+2048 ~x339627+1024 ~x339626+512 ~x339625+256 ~x339624+128 ~x339623+64 ~x339622+32 ~x339621+16 ~x339620+8 ~x339619+4 ~x339618+2 ~x339617+1 ~x339616+163840 ~x16629+81920 ~x16628+40960 ~x16627+20480 ~x16626+10240 ~x16625+5120 ~x16624+2560 ~x16623+1280 ~x16622+640 ~x16621+320 ~x16620+160 ~x16619+80 ~x16618+40 ~x16617+20 ~x16616+10 ~x16615+5 ~x16614-0=521722 21.37/21.41 c 16384 ~x344742+8192 ~x344741+4096 ~x344740+2048 ~x344739+1024 ~x344738+512 ~x344737+256 ~x344736+128 ~x344735+64 ~x344734+32 ~x344733+16 ~x344732+8 ~x344731+4 ~x344730+2 ~x344729+1 ~x344728+16384 ~x16645+8192 ~x16644+4096 ~x16643+2048 ~x16642+1024 ~x16641+512 ~x16640+256 ~x16639+128 ~x16638+64 ~x16637+32 ~x16636+16 ~x16635+8 ~x16634+4 ~x16633+2 ~x16632+1 ~x16631-0=56830 21.47/21.50 c 131072 ~x348616+65536 ~x348615+32768 ~x348614+16384 ~x348613+8192 ~x348612+4096 ~x348611+2048 ~x348610+1024 ~x348609+512 ~x348608+256 ~x348607+128 ~x348606+64 ~x348605+32 ~x348604+16 ~x348603+8 ~x348602+4 ~x348601+2 ~x348600+1 ~x348599+163840 ~x16662+81920 ~x16661+40960 ~x16660+20480 ~x16659+10240 ~x16658+5120 ~x16657+2560 ~x16656+1280 ~x16655+640 ~x16654+320 ~x16653+160 ~x16652+80 ~x16651+40 ~x16650+20 ~x16649+10 ~x16648+5 ~x16647-0=497146 21.58/21.64 c 1048576 ~x353731+524288 ~x353730+262144 ~x353729+131072 ~x353728+65536 ~x353727+32768 ~x353726+16384 ~x353725+8192 ~x353724+4096 ~x353723+2048 ~x353722+1024 ~x353721+512 ~x353720+256 ~x353719+128 ~x353718+64 ~x353717+32 ~x353716+16 ~x353715+8 ~x353714+4 ~x353713+2 ~x353712+1 ~x353711+1310720 ~x16684+655360 ~x16683+327680 ~x16682+163840 ~x16681+81920 ~x16680+40960 ~x16679+20480 ~x16678+10240 ~x16677+5120 ~x16676+2560 ~x16675+1280 ~x16674+640 ~x16673+320 ~x16672+160 ~x16671+80 ~x16670+40 ~x16669+20 ~x16668+10 ~x16667+5 ~x16666-0=3859962 21.78/21.80 c 4194304 ~x360437+2097152 ~x360436+1048576 ~x360435+524288 ~x360434+262144 ~x360433+131072 ~x360432+65536 ~x360431+32768 ~x360430+16384 ~x360429+8192 ~x360428+4096 ~x360427+2048 ~x360426+1024 ~x360425+512 ~x360424+256 ~x360423+128 ~x360422+64 ~x360421+32 ~x360420+16 ~x360419+8 ~x360418+4 ~x360417+2 ~x360416+1 ~x360415+6553600 ~x16704+3276800 ~x16703+1638400 ~x16702+819200 ~x16701+409600 ~x16700+204800 ~x16699+102400 ~x16698+51200 ~x16697+25600 ~x16696+12800 ~x16695+6400 ~x16694+3200 ~x16693+1600 ~x16692+800 ~x16691+400 ~x16690+200 ~x16689+100 ~x16688+50 ~x16687+25 ~x16686-0=16635366 21.98/22.01 c 2097152 ~x368763+1048576 ~x368762+524288 ~x368761+262144 ~x368760+131072 ~x368759+65536 ~x368758+32768 ~x368757+16384 ~x368756+8192 ~x368755+4096 ~x368754+2048 ~x368753+1024 ~x368752+512 ~x368751+256 ~x368750+128 ~x368749+64 ~x368748+32 ~x368747+16 ~x368746+8 ~x368745+4 ~x368744+2 ~x368743+1 ~x368742+3276800 ~x16723+1638400 ~x16722+819200 ~x16721+409600 ~x16720+204800 ~x16719+102400 ~x16718+51200 ~x16717+25600 ~x16716+12800 ~x16715+6400 ~x16714+3200 ~x16713+1600 ~x16712+800 ~x16711+400 ~x16710+200 ~x16709+100 ~x16708+50 ~x16707+25 ~x16706-0=7504870 22.08/22.19 c 32768 ~x376289+16384 ~x376288+8192 ~x376287+4096 ~x376286+2048 ~x376285+1024 ~x376284+512 ~x376283+256 ~x376282+128 ~x376281+64 ~x376280+32 ~x376279+16 ~x376278+8 ~x376277+4 ~x376276+2 ~x376275+1 ~x376274+40960 ~x16739+20480 ~x16738+10240 ~x16737+5120 ~x16736+2560 ~x16735+1280 ~x16734+640 ~x16733+320 ~x16732+160 ~x16731+80 ~x16730+40 ~x16729+20 ~x16728+10 ~x16727+5 ~x16726-0=113658 22.18/22.28 c 16384 ~x379992+8192 ~x379991+4096 ~x379990+2048 ~x379989+1024 ~x379988+512 ~x379987+256 ~x379986+128 ~x379985+64 ~x379984+32 ~x379983+16 ~x379982+8 ~x379981+4 ~x379980+2 ~x379979+1 ~x379978+12800 ~x16754+6400 ~x16753+3200 ~x16752+1600 ~x16751+800 ~x16750+400 ~x16749+200 ~x16748+100 ~x16747+50 ~x16746+25 ~x16745-0=55270 22.28/22.36 c 2097152 ~x382767+1048576 ~x382766+524288 ~x382765+262144 ~x382764+131072 ~x382763+65536 ~x382762+32768 ~x382761+16384 ~x382760+8192 ~x382759+4096 ~x382758+2048 ~x382757+1024 ~x382756+512 ~x382755+256 ~x382754+128 ~x382753+64 ~x382752+32 ~x382751+16 ~x382750+8 ~x382749+4 ~x382748+2 ~x382747+1 ~x382746+1638400 ~x16773+819200 ~x16772+409600 ~x16771+204800 ~x16770+102400 ~x16769+51200 ~x16768+25600 ~x16767+12800 ~x16766+6400 ~x16765+3200 ~x16764+1600 ~x16763+800 ~x16762+400 ~x16761+200 ~x16760+100 ~x16759+50 ~x16758+25 ~x16757-0=6525926 22.48/22.54 c 524288 ~x390084+262144 ~x390083+131072 ~x390082+65536 ~x390081+32768 ~x390080+16384 ~x390079+8192 ~x390078+4096 ~x390077+2048 ~x390076+1024 ~x390075+512 ~x390074+256 ~x390073+128 ~x390072+64 ~x390071+32 ~x390070+16 ~x390069+8 ~x390068+4 ~x390067+2 ~x390066+1 ~x390065+409600 ~x16789+204800 ~x16788+102400 ~x16787+51200 ~x16786+25600 ~x16785+12800 ~x16784+6400 ~x16783+3200 ~x16782+1600 ~x16781+800 ~x16780+400 ~x16779+200 ~x16778+100 ~x16777+50 ~x16776+25 ~x16775-0=1585126 22.58/22.67 c 1048576 ~x395690+524288 ~x395689+262144 ~x395688+131072 ~x395687+65536 ~x395686+32768 ~x395685+16384 ~x395684+8192 ~x395683+4096 ~x395682+2048 ~x395681+1024 ~x395680+512 ~x395679+256 ~x395678+128 ~x395677+64 ~x395676+32 ~x395675+16 ~x395674+8 ~x395673+4 ~x395672+2 ~x395671+1 ~x395670+819200 ~x16807+409600 ~x16806+204800 ~x16805+102400 ~x16804+51200 ~x16803+25600 ~x16802+12800 ~x16801+6400 ~x16800+3200 ~x16799+1600 ~x16798+800 ~x16797+400 ~x16796+200 ~x16795+100 ~x16794+50 ~x16793+25 ~x16792-0=3400934 22.78/22.83 c 2097152 ~x401828+1048576 ~x401827+524288 ~x401826+262144 ~x401825+131072 ~x401824+65536 ~x401823+32768 ~x401822+16384 ~x401821+8192 ~x401820+4096 ~x401819+2048 ~x401818+1024 ~x401817+512 ~x401816+256 ~x401815+128 ~x401814+64 ~x401813+32 ~x401812+16 ~x401811+8 ~x401810+4 ~x401809+2 ~x401808+1 ~x401807+1638400 ~x16825+819200 ~x16824+409600 ~x16823+204800 ~x16822+102400 ~x16821+51200 ~x16820+25600 ~x16819+12800 ~x16818+6400 ~x16817+3200 ~x16816+1600 ~x16815+800 ~x16814+400 ~x16813+200 ~x16812+100 ~x16811+50 ~x16810+25 ~x16809-0=7425254 22.98/23.01 c 4194304 ~x409148+2097152 ~x409147+1048576 ~x409146+524288 ~x409145+262144 ~x409144+131072 ~x409143+65536 ~x409142+32768 ~x409141+16384 ~x409140+8192 ~x409139+4096 ~x409138+2048 ~x409137+1024 ~x409136+512 ~x409135+256 ~x409134+128 ~x409133+64 ~x409132+32 ~x409131+16 ~x409130+8 ~x409129+4 ~x409128+2 ~x409127+1 ~x409126+3276800 ~x16844+1638400 ~x16843+819200 ~x16842+409600 ~x16841+204800 ~x16840+102400 ~x16839+51200 ~x16838+25600 ~x16837+12800 ~x16836+6400 ~x16835+3200 ~x16834+1600 ~x16833+800 ~x16832+400 ~x16831+200 ~x16830+100 ~x16829+50 ~x16828+25 ~x16827-0=13639910 23.17/23.21 c 1048576 ~x417251+524288 ~x417250+262144 ~x417249+131072 ~x417248+65536 ~x417247+32768 ~x417246+16384 ~x417245+8192 ~x417244+4096 ~x417243+2048 ~x417242+1024 ~x417241+512 ~x417240+256 ~x417239+128 ~x417238+64 ~x417237+32 ~x417236+16 ~x417235+8 ~x417234+4 ~x417233+2 ~x417232+1 ~x417231+655360 ~x16863+327680 ~x16862+163840 ~x16861+81920 ~x16860+40960 ~x16859+20480 ~x16858+10240 ~x16857+5120 ~x16856+2560 ~x16855+1280 ~x16854+640 ~x16853+320 ~x16852+160 ~x16851+80 ~x16850+40 ~x16849+20 ~x16848+10 ~x16847+5 ~x16846-0=3220474 23.28/23.36 c 524288 ~x423765+262144 ~x423764+131072 ~x423763+65536 ~x423762+32768 ~x423761+16384 ~x423760+8192 ~x423759+4096 ~x423758+2048 ~x423757+1024 ~x423756+512 ~x423755+256 ~x423754+128 ~x423753+64 ~x423752+32 ~x423751+16 ~x423750+8 ~x423749+4 ~x423748+2 ~x423747+1 ~x423746+819200 ~x16880+409600 ~x16879+204800 ~x16878+102400 ~x16877+51200 ~x16876+25600 ~x16875+12800 ~x16874+6400 ~x16873+3200 ~x16872+1600 ~x16871+800 ~x16870+400 ~x16869+200 ~x16868+100 ~x16867+50 ~x16866+25 ~x16865-0=2004966 23.48/23.51 c 262144 ~x429702+131072 ~x429701+65536 ~x429700+32768 ~x429699+16384 ~x429698+8192 ~x429697+4096 ~x429696+2048 ~x429695+1024 ~x429694+512 ~x429693+256 ~x429692+128 ~x429691+64 ~x429690+32 ~x429689+16 ~x429688+8 ~x429687+4 ~x429686+2 ~x429685+1 ~x429684+327680 ~x16898+163840 ~x16897+81920 ~x16896+40960 ~x16895+20480 ~x16894+10240 ~x16893+5120 ~x16892+2560 ~x16891+1280 ~x16890+640 ~x16889+320 ~x16888+160 ~x16887+80 ~x16886+40 ~x16885+20 ~x16884+10 ~x16883+5 ~x16882-0=874490 23.58/23.66 c 4194304 ~x435481+2097152 ~x435480+1048576 ~x435479+524288 ~x435478+262144 ~x435477+131072 ~x435476+65536 ~x435475+32768 ~x435474+16384 ~x435473+8192 ~x435472+4096 ~x435471+2048 ~x435470+1024 ~x435469+512 ~x435468+256 ~x435467+128 ~x435466+64 ~x435465+32 ~x435464+16 ~x435463+8 ~x435462+4 ~x435461+2 ~x435460+1 ~x435459+3276800 ~x16917+1638400 ~x16916+819200 ~x16915+409600 ~x16914+204800 ~x16913+102400 ~x16912+51200 ~x16911+25600 ~x16910+12800 ~x16909+6400 ~x16908+3200 ~x16907+1600 ~x16906+800 ~x16905+400 ~x16904+200 ~x16903+100 ~x16902+50 ~x16901+25 ~x16900-0=14648038 23.78/23.86 c 4194304 ~x443586+2097152 ~x443585+1048576 ~x443584+524288 ~x443583+262144 ~x443582+131072 ~x443581+65536 ~x443580+32768 ~x443579+16384 ~x443578+8192 ~x443577+4096 ~x443576+2048 ~x443575+1024 ~x443574+512 ~x443573+256 ~x443572+128 ~x443571+64 ~x443570+32 ~x443569+16 ~x443568+8 ~x443567+4 ~x443566+2 ~x443565+1 ~x443564+3276800 ~x16936+1638400 ~x16935+819200 ~x16934+409600 ~x16933+204800 ~x16932+102400 ~x16931+51200 ~x16930+25600 ~x16929+12800 ~x16928+6400 ~x16927+3200 ~x16926+1600 ~x16925+800 ~x16924+400 ~x16923+200 ~x16922+100 ~x16921+50 ~x16920+25 ~x16919-0=12884198 23.97/24.05 c 2097152 ~x451690+1048576 ~x451689+524288 ~x451688+262144 ~x451687+131072 ~x451686+65536 ~x451685+32768 ~x451684+16384 ~x451683+8192 ~x451682+4096 ~x451681+2048 ~x451680+1024 ~x451679+512 ~x451678+256 ~x451677+128 ~x451676+64 ~x451675+32 ~x451674+16 ~x451673+8 ~x451672+4 ~x451671+2 ~x451670+1 ~x451669+1638400 ~x16954+819200 ~x16953+409600 ~x16952+204800 ~x16951+102400 ~x16950+51200 ~x16949+25600 ~x16948+12800 ~x16947+6400 ~x16946+3200 ~x16945+1600 ~x16944+800 ~x16943+400 ~x16942+200 ~x16941+100 ~x16940+50 ~x16939+25 ~x16938-0=7097830 24.18/24.23 c 32768 ~x459003+16384 ~x459002+8192 ~x459001+4096 ~x459000+2048 ~x458999+1024 ~x458998+512 ~x458997+256 ~x458996+128 ~x458995+64 ~x458994+32 ~x458993+16 ~x458992+8 ~x458991+4 ~x458990+2 ~x458989+1 ~x458988+40960 ~x16969+20480 ~x16968+10240 ~x16967+5120 ~x16966+2560 ~x16965+1280 ~x16964+640 ~x16963+320 ~x16962+160 ~x16961+80 ~x16960+40 ~x16959+20 ~x16958+10 ~x16957+5 ~x16956-0=130042 24.27/24.32 c 16384 ~x462706+8192 ~x462705+4096 ~x462704+2048 ~x462703+1024 ~x462702+512 ~x462701+256 ~x462700+128 ~x462699+64 ~x462698+32 ~x462697+16 ~x462696+8 ~x462695+4 ~x462694+2 ~x462693+1 ~x462692+20480 ~x16983+10240 ~x16982+5120 ~x16981+2560 ~x16980+1280 ~x16979+640 ~x16978+320 ~x16977+160 ~x16976+80 ~x16975+40 ~x16974+20 ~x16973+10 ~x16972+5 ~x16971-0=62458 24.38/24.41 c 2097152 ~x466116+1048576 ~x466115+524288 ~x466114+262144 ~x466113+131072 ~x466112+65536 ~x466111+32768 ~x466110+16384 ~x466109+8192 ~x466108+4096 ~x466107+2048 ~x466106+1024 ~x466105+512 ~x466104+256 ~x466103+128 ~x466102+64 ~x466101+32 ~x466100+16 ~x466099+8 ~x466098+4 ~x466097+2 ~x466096+1 ~x466095+1638400 ~x17001+819200 ~x17000+409600 ~x16999+204800 ~x16998+102400 ~x16997+51200 ~x16996+25600 ~x16995+12800 ~x16994+6400 ~x16993+3200 ~x16992+1600 ~x16991+800 ~x16990+400 ~x16989+200 ~x16988+100 ~x16987+50 ~x16986+25 ~x16985-0=6403046 24.48/24.59 c 32768 ~x473429+16384 ~x473428+8192 ~x473427+4096 ~x473426+2048 ~x473425+1024 ~x473424+512 ~x473423+256 ~x473422+128 ~x473421+64 ~x473420+32 ~x473419+16 ~x473418+8 ~x473417+4 ~x473416+2 ~x473415+1 ~x473414+40960 ~x17016+20480 ~x17015+10240 ~x17014+5120 ~x17013+2560 ~x17012+1280 ~x17011+640 ~x17010+320 ~x17009+160 ~x17008+80 ~x17007+40 ~x17006+20 ~x17005+10 ~x17004+5 ~x17003-0=114426 24.58/24.69 c 1048576 ~x477138+524288 ~x477137+262144 ~x477136+131072 ~x477135+65536 ~x477134+32768 ~x477133+16384 ~x477132+8192 ~x477131+4096 ~x477130+2048 ~x477129+1024 ~x477128+512 ~x477127+256 ~x477126+128 ~x477125+64 ~x477124+32 ~x477123+16 ~x477122+8 ~x477121+4 ~x477120+2 ~x477119+1 ~x477118+819200 ~x17033+409600 ~x17032+204800 ~x17031+102400 ~x17030+51200 ~x17029+25600 ~x17028+12800 ~x17027+6400 ~x17026+3200 ~x17025+1600 ~x17024+800 ~x17023+400 ~x17022+200 ~x17021+100 ~x17020+50 ~x17019+25 ~x17018-0=3618022 24.78/24.84 c 131072 ~x483272+65536 ~x483271+32768 ~x483270+16384 ~x483269+8192 ~x483268+4096 ~x483267+2048 ~x483266+1024 ~x483265+512 ~x483264+256 ~x483263+128 ~x483262+64 ~x483261+32 ~x483260+16 ~x483259+8 ~x483258+4 ~x483257+2 ~x483256+1 ~x483255+81920 ~x17051+40960 ~x17050+20480 ~x17049+10240 ~x17048+5120 ~x17047+2560 ~x17046+1280 ~x17045+640 ~x17044+320 ~x17043+160 ~x17042+80 ~x17041+40 ~x17040+20 ~x17039+10 ~x17038+5 ~x17037-0=401914 24.88/24.96 c 1048576 ~x488213+524288 ~x488212+262144 ~x488211+131072 ~x488210+65536 ~x488209+32768 ~x488208+16384 ~x488207+8192 ~x488206+4096 ~x488205+2048 ~x488204+1024 ~x488203+512 ~x488202+256 ~x488201+128 ~x488200+64 ~x488199+32 ~x488198+16 ~x488197+8 ~x488196+4 ~x488195+2 ~x488194+1 ~x488193+819200 ~x17071+409600 ~x17070+204800 ~x17069+102400 ~x17068+51200 ~x17067+25600 ~x17066+12800 ~x17065+6400 ~x17064+3200 ~x17063+1600 ~x17062+800 ~x17061+400 ~x17060+200 ~x17059+100 ~x17058+50 ~x17057+25 ~x17056-0=3328230 25.08/25.11 c 8388608 ~x494353+4194304 ~x494352+2097152 ~x494351+1048576 ~x494350+524288 ~x494349+262144 ~x494348+131072 ~x494347+65536 ~x494346+32768 ~x494345+16384 ~x494344+8192 ~x494343+4096 ~x494342+2048 ~x494341+1024 ~x494340+512 ~x494339+256 ~x494338+128 ~x494337+64 ~x494336+32 ~x494335+16 ~x494334+8 ~x494333+4 ~x494332+2 ~x494331+1 ~x494330+6553600 ~x17093+3276800 ~x17092+1638400 ~x17091+819200 ~x17090+409600 ~x17089+204800 ~x17088+102400 ~x17087+51200 ~x17086+25600 ~x17085+12800 ~x17084+6400 ~x17083+3200 ~x17082+1600 ~x17081+800 ~x17080+400 ~x17079+200 ~x17078+100 ~x17077+50 ~x17076+25 ~x17075-0=27042534 25.29/25.32 c 1048576 ~x502912+524288 ~x502911+262144 ~x502910+131072 ~x502909+65536 ~x502908+32768 ~x502907+16384 ~x502906+8192 ~x502905+4096 ~x502904+2048 ~x502903+1024 ~x502902+512 ~x502901+256 ~x502900+128 ~x502899+64 ~x502898+32 ~x502897+16 ~x502896+8 ~x502895+4 ~x502894+2 ~x502893+1 ~x502892+1638400 ~x17111+819200 ~x17110+409600 ~x17109+204800 ~x17108+102400 ~x17107+51200 ~x17106+25600 ~x17105+12800 ~x17104+6400 ~x17103+3200 ~x17102+1600 ~x17101+800 ~x17100+400 ~x17099+200 ~x17098+100 ~x17097+50 ~x17096+25 ~x17095-0=4170982 25.38/25.49 c 65536 ~x510001+32768 ~x510000+16384 ~x509999+8192 ~x509998+4096 ~x509997+2048 ~x509996+1024 ~x509995+512 ~x509994+256 ~x509993+128 ~x509992+64 ~x509991+32 ~x509990+16 ~x509989+8 ~x509988+4 ~x509987+2 ~x509986+1 ~x509985+51200 ~x17124+25600 ~x17123+12800 ~x17122+6400 ~x17121+3200 ~x17120+1600 ~x17119+800 ~x17118+400 ~x17117+200 ~x17116+100 ~x17115+50 ~x17114+25 ~x17113-0=222950 25.48/25.59 c 2097152 ~x513696+1048576 ~x513695+524288 ~x513694+262144 ~x513693+131072 ~x513692+65536 ~x513691+32768 ~x513690+16384 ~x513689+8192 ~x513688+4096 ~x513687+2048 ~x513686+1024 ~x513685+512 ~x513684+256 ~x513683+128 ~x513682+64 ~x513681+32 ~x513680+16 ~x513679+8 ~x513678+4 ~x513677+2 ~x513676+1 ~x513675+1638400 ~x17143+819200 ~x17142+409600 ~x17141+204800 ~x17140+102400 ~x17139+51200 ~x17138+25600 ~x17137+12800 ~x17136+6400 ~x17135+3200 ~x17134+1600 ~x17133+800 ~x17132+400 ~x17131+200 ~x17130+100 ~x17129+50 ~x17128+25 ~x17127-0=7192550 25.67/25.77 c 32768 ~x521009+16384 ~x521008+8192 ~x521007+4096 ~x521006+2048 ~x521005+1024 ~x521004+512 ~x521003+256 ~x521002+128 ~x521001+64 ~x521000+32 ~x520999+16 ~x520998+8 ~x520997+4 ~x520996+2 ~x520995+1 ~x520994+51200 ~x17157+25600 ~x17156+12800 ~x17155+6400 ~x17154+3200 ~x17153+1600 ~x17152+800 ~x17151+400 ~x17150+200 ~x17149+100 ~x17148+50 ~x17147+25 ~x17146-0=121574 25.77/25.86 c 131072 ~x524427+65536 ~x524426+32768 ~x524425+16384 ~x524424+8192 ~x524423+4096 ~x524422+2048 ~x524421+1024 ~x524420+512 ~x524419+256 ~x524418+128 ~x524417+64 ~x524416+32 ~x524415+16 ~x524414+8 ~x524413+4 ~x524412+2 ~x524411+1 ~x524410+204800 ~x17174+102400 ~x17173+51200 ~x17172+25600 ~x17171+12800 ~x17170+6400 ~x17169+3200 ~x17168+1600 ~x17167+800 ~x17166+400 ~x17165+200 ~x17164+100 ~x17163+50 ~x17162+25 ~x17161-0=498406 25.88/25.98 c 131072 ~x529191+65536 ~x529190+32768 ~x529189+16384 ~x529188+8192 ~x529187+4096 ~x529186+2048 ~x529185+1024 ~x529184+512 ~x529183+256 ~x529182+128 ~x529181+64 ~x529180+32 ~x529179+16 ~x529178+8 ~x529177+4 ~x529176+2 ~x529175+1 ~x529174+204800 ~x17189+102400 ~x17188+51200 ~x17187+25600 ~x17186+12800 ~x17185+6400 ~x17184+3200 ~x17183+1600 ~x17182+800 ~x17181+400 ~x17180+200 ~x17179+100 ~x17178+50 ~x17177+25 ~x17176-0=524262 26.08/26.11 c 32768 ~x533953+16384 ~x533952+8192 ~x533951+4096 ~x533950+2048 ~x533949+1024 ~x533948+512 ~x533947+256 ~x533946+128 ~x533945+64 ~x533944+32 ~x533943+16 ~x533942+8 ~x533941+4 ~x533940+2 ~x533939+1 ~x533938+51200 ~x17202+25600 ~x17201+12800 ~x17200+6400 ~x17199+3200 ~x17198+1600 ~x17197+800 ~x17196+400 ~x17195+200 ~x17194+100 ~x17193+50 ~x17192+25 ~x17191-0=122598 26.08/26.19 c 16384 ~x537368+8192 ~x537367+4096 ~x537366+2048 ~x537365+1024 ~x537364+512 ~x537363+256 ~x537362+128 ~x537361+64 ~x537360+32 ~x537359+16 ~x537358+8 ~x537357+4 ~x537356+2 ~x537355+1 ~x537354+20480 ~x17217+10240 ~x17216+5120 ~x17215+2560 ~x17214+1280 ~x17213+640 ~x17212+320 ~x17211+160 ~x17210+80 ~x17209+40 ~x17208+20 ~x17207+10 ~x17206+5 ~x17205-0=59386 26.18/26.28 c 262144 ~x540775+131072 ~x540774+65536 ~x540773+32768 ~x540772+16384 ~x540771+8192 ~x540770+4096 ~x540769+2048 ~x540768+1024 ~x540767+512 ~x540766+256 ~x540765+128 ~x540764+64 ~x540763+32 ~x540762+16 ~x540761+8 ~x540760+4 ~x540759+2 ~x540758+1 ~x540757+163840 ~x17236+81920 ~x17235+40960 ~x17234+20480 ~x17233+10240 ~x17232+5120 ~x17231+2560 ~x17230+1280 ~x17229+640 ~x17228+320 ~x17227+160 ~x17226+80 ~x17225+40 ~x17224+20 ~x17223+10 ~x17222+5 ~x17221-0=847610 26.38/26.41 c 524288 ~x546368+262144 ~x546367+131072 ~x546366+65536 ~x546365+32768 ~x546364+16384 ~x546363+8192 ~x546362+4096 ~x546361+2048 ~x546360+1024 ~x546359+512 ~x546358+256 ~x546357+128 ~x546356+64 ~x546355+32 ~x546354+16 ~x546353+8 ~x546352+4 ~x546351+2 ~x546350+1 ~x546349+409600 ~x17252+204800 ~x17251+102400 ~x17250+51200 ~x17249+25600 ~x17248+12800 ~x17247+6400 ~x17246+3200 ~x17245+1600 ~x17244+800 ~x17243+400 ~x17242+200 ~x17241+100 ~x17240+50 ~x17239+25 ~x17238-0=1595366 26.47/26.55 c 262144 ~x551972+131072 ~x551971+65536 ~x551970+32768 ~x551969+16384 ~x551968+8192 ~x551967+4096 ~x551966+2048 ~x551965+1024 ~x551964+512 ~x551963+256 ~x551962+128 ~x551961+64 ~x551960+32 ~x551959+16 ~x551958+8 ~x551957+4 ~x551956+2 ~x551955+1 ~x551954+204800 ~x17267+102400 ~x17266+51200 ~x17265+25600 ~x17264+12800 ~x17263+6400 ~x17262+3200 ~x17261+1600 ~x17260+800 ~x17259+400 ~x17258+200 ~x17257+100 ~x17256+50 ~x17255+25 ~x17254-0=835814 26.57/26.68 c 4194304 ~x557202+2097152 ~x557201+1048576 ~x557200+524288 ~x557199+262144 ~x557198+131072 ~x557197+65536 ~x557196+32768 ~x557195+16384 ~x557194+8192 ~x557193+4096 ~x557192+2048 ~x557191+1024 ~x557190+512 ~x557189+256 ~x557188+128 ~x557187+64 ~x557186+32 ~x557185+16 ~x557184+8 ~x557183+4 ~x557182+2 ~x557181+1 ~x557180+3276800 ~x17286+1638400 ~x17285+819200 ~x17284+409600 ~x17283+204800 ~x17282+102400 ~x17281+51200 ~x17280+25600 ~x17279+12800 ~x17278+6400 ~x17277+3200 ~x17276+1600 ~x17275+800 ~x17274+400 ~x17273+200 ~x17272+100 ~x17271+50 ~x17270+25 ~x17269-0=14570726 26.78/26.88 c 2097152 ~x565306+1048576 ~x565305+524288 ~x565304+262144 ~x565303+131072 ~x565302+65536 ~x565301+32768 ~x565300+16384 ~x565299+8192 ~x565298+4096 ~x565297+2048 ~x565296+1024 ~x565295+512 ~x565294+256 ~x565293+128 ~x565292+64 ~x565291+32 ~x565290+16 ~x565289+8 ~x565288+4 ~x565287+2 ~x565286+1 ~x565285+1638400 ~x17304+819200 ~x17303+409600 ~x17302+204800 ~x17301+102400 ~x17300+51200 ~x17299+25600 ~x17298+12800 ~x17297+6400 ~x17296+3200 ~x17295+1600 ~x17294+800 ~x17293+400 ~x17292+200 ~x17291+100 ~x17290+50 ~x17289+25 ~x17288-0=7365862 26.98/27.06 c 1048576 ~x572624+524288 ~x572623+262144 ~x572622+131072 ~x572621+65536 ~x572620+32768 ~x572619+16384 ~x572618+8192 ~x572617+4096 ~x572616+2048 ~x572615+1024 ~x572614+512 ~x572613+256 ~x572612+128 ~x572611+64 ~x572610+32 ~x572609+16 ~x572608+8 ~x572607+4 ~x572606+2 ~x572605+1 ~x572604+819200 ~x17321+409600 ~x17320+204800 ~x17319+102400 ~x17318+51200 ~x17317+25600 ~x17316+12800 ~x17315+6400 ~x17314+3200 ~x17313+1600 ~x17312+800 ~x17311+400 ~x17310+200 ~x17309+100 ~x17308+50 ~x17307+25 ~x17306-0=3289062 27.18/27.21 c 524288 ~x578760+262144 ~x578759+131072 ~x578758+65536 ~x578757+32768 ~x578756+16384 ~x578755+8192 ~x578754+4096 ~x578753+2048 ~x578752+1024 ~x578751+512 ~x578750+256 ~x578749+128 ~x578748+64 ~x578747+32 ~x578746+16 ~x578745+8 ~x578744+4 ~x578743+2 ~x578742+1 ~x578741+409600 ~x17337+204800 ~x17336+102400 ~x17335+51200 ~x17334+25600 ~x17333+12800 ~x17332+6400 ~x17331+3200 ~x17330+1600 ~x17329+800 ~x17328+400 ~x17327+200 ~x17326+100 ~x17325+50 ~x17324+25 ~x17323-0=1806054 27.27/27.35 c 524288 ~x584365+262144 ~x584364+131072 ~x584363+65536 ~x584362+32768 ~x584361+16384 ~x584360+8192 ~x584359+4096 ~x584358+2048 ~x584357+1024 ~x584356+512 ~x584355+256 ~x584354+128 ~x584353+64 ~x584352+32 ~x584351+16 ~x584350+8 ~x584349+4 ~x584348+2 ~x584347+1 ~x584346+409600 ~x17353+204800 ~x17352+102400 ~x17351+51200 ~x17350+25600 ~x17349+12800 ~x17348+6400 ~x17347+3200 ~x17346+1600 ~x17345+800 ~x17344+400 ~x17343+200 ~x17342+100 ~x17341+50 ~x17340+25 ~x17339-0=1740262 27.38/27.48 c 262144 ~x589969+131072 ~x589968+65536 ~x589967+32768 ~x589966+16384 ~x589965+8192 ~x589964+4096 ~x589963+2048 ~x589962+1024 ~x589961+512 ~x589960+256 ~x589959+128 ~x589958+64 ~x589957+32 ~x589956+16 ~x589955+8 ~x589954+4 ~x589953+2 ~x589952+1 ~x589951+409600 ~x17369+204800 ~x17368+102400 ~x17367+51200 ~x17366+25600 ~x17365+12800 ~x17364+6400 ~x17363+3200 ~x17362+1600 ~x17361+800 ~x17360+400 ~x17359+200 ~x17358+100 ~x17357+50 ~x17356+25 ~x17355-0=1022950 27.58/27.62 c 262144 ~x595378+131072 ~x595377+65536 ~x595376+32768 ~x595375+16384 ~x595374+8192 ~x595373+4096 ~x595372+2048 ~x595371+1024 ~x595370+512 ~x595369+256 ~x595368+128 ~x595367+64 ~x595366+32 ~x595365+16 ~x595364+8 ~x595363+4 ~x595362+2 ~x595361+1 ~x595360+204800 ~x17384+102400 ~x17383+51200 ~x17382+25600 ~x17381+12800 ~x17380+6400 ~x17379+3200 ~x17378+1600 ~x17377+800 ~x17376+400 ~x17375+200 ~x17374+100 ~x17373+50 ~x17372+25 ~x17371-0=873446 27.67/27.75 c 262144 ~x600604+131072 ~x600603+65536 ~x600602+32768 ~x600601+16384 ~x600600+8192 ~x600599+4096 ~x600598+2048 ~x600597+1024 ~x600596+512 ~x600595+256 ~x600594+128 ~x600593+64 ~x600592+32 ~x600591+16 ~x600590+8 ~x600589+4 ~x600588+2 ~x600587+1 ~x600586+204800 ~x17399+102400 ~x17398+51200 ~x17397+25600 ~x17396+12800 ~x17395+6400 ~x17394+3200 ~x17393+1600 ~x17392+800 ~x17391+400 ~x17390+200 ~x17389+100 ~x17388+50 ~x17387+25 ~x17386-0=911078 27.77/27.88 c 1048576 ~x605832+524288 ~x605831+262144 ~x605830+131072 ~x605829+65536 ~x605828+32768 ~x605827+16384 ~x605826+8192 ~x605825+4096 ~x605824+2048 ~x605823+1024 ~x605822+512 ~x605821+256 ~x605820+128 ~x605819+64 ~x605818+32 ~x605817+16 ~x605816+8 ~x605815+4 ~x605814+2 ~x605813+1 ~x605812+819200 ~x17417+409600 ~x17416+204800 ~x17415+102400 ~x17414+51200 ~x17413+25600 ~x17412+12800 ~x17411+6400 ~x17410+3200 ~x17409+1600 ~x17408+800 ~x17407+400 ~x17406+200 ~x17405+100 ~x17404+50 ~x17403+25 ~x17402-0=3476454 27.98/28.03 c 4194304 ~x611971+2097152 ~x611970+1048576 ~x611969+524288 ~x611968+262144 ~x611967+131072 ~x611966+65536 ~x611965+32768 ~x611964+16384 ~x611963+8192 ~x611962+4096 ~x611961+2048 ~x611960+1024 ~x611959+512 ~x611958+256 ~x611957+128 ~x611956+64 ~x611955+32 ~x611954+16 ~x611953+8 ~x611952+4 ~x611951+2 ~x611950+1 ~x611949+3276800 ~x17436+1638400 ~x17435+819200 ~x17434+409600 ~x17433+204800 ~x17432+102400 ~x17431+51200 ~x17430+25600 ~x17429+12800 ~x17428+6400 ~x17427+3200 ~x17426+1600 ~x17425+800 ~x17424+400 ~x17423+200 ~x17422+100 ~x17421+50 ~x17420+25 ~x17419-0=14485734 28.18/28.22 c 65536 ~x620070+32768 ~x620069+16384 ~x620068+8192 ~x620067+4096 ~x620066+2048 ~x620065+1024 ~x620064+512 ~x620063+256 ~x620062+128 ~x620061+64 ~x620060+32 ~x620059+16 ~x620058+8 ~x620057+4 ~x620056+2 ~x620055+1 ~x620054+81920 ~x17452+40960 ~x17451+20480 ~x17450+10240 ~x17449+5120 ~x17448+2560 ~x17447+1280 ~x17446+640 ~x17445+320 ~x17444+160 ~x17443+80 ~x17442+40 ~x17441+20 ~x17440+10 ~x17439+5 ~x17438-0=218362 28.27/28.32 c 16384 ~x624208+8192 ~x624207+4096 ~x624206+2048 ~x624205+1024 ~x624204+512 ~x624203+256 ~x624202+128 ~x624201+64 ~x624200+32 ~x624199+16 ~x624198+8 ~x624197+4 ~x624196+2 ~x624195+1 ~x624194+16384 ~x17468+8192 ~x17467+4096 ~x17466+2048 ~x17465+1024 ~x17464+512 ~x17463+256 ~x17462+128 ~x17461+64 ~x17460+32 ~x17459+16 ~x17458+8 ~x17457+4 ~x17456+2 ~x17455+1 ~x17454-0=61694 28.37/28.42 c 524288 ~x628084+262144 ~x628083+131072 ~x628082+65536 ~x628081+32768 ~x628080+16384 ~x628079+8192 ~x628078+4096 ~x628077+2048 ~x628076+1024 ~x628075+512 ~x628074+256 ~x628073+128 ~x628072+64 ~x628071+32 ~x628070+16 ~x628069+8 ~x628068+4 ~x628067+2 ~x628066+1 ~x628065+409600 ~x17484+204800 ~x17483+102400 ~x17482+51200 ~x17481+25600 ~x17480+12800 ~x17479+6400 ~x17478+3200 ~x17477+1600 ~x17476+800 ~x17475+400 ~x17474+200 ~x17473+100 ~x17472+50 ~x17471+25 ~x17470-0=1861094 28.48/28.56 c 1048576 ~x633690+524288 ~x633689+262144 ~x633688+131072 ~x633687+65536 ~x633686+32768 ~x633685+16384 ~x633684+8192 ~x633683+4096 ~x633682+2048 ~x633681+1024 ~x633680+512 ~x633679+256 ~x633678+128 ~x633677+64 ~x633676+32 ~x633675+16 ~x633674+8 ~x633673+4 ~x633672+2 ~x633671+1 ~x633670+1638400 ~x17502+819200 ~x17501+409600 ~x17500+204800 ~x17499+102400 ~x17498+51200 ~x17497+25600 ~x17496+12800 ~x17495+6400 ~x17494+3200 ~x17493+1600 ~x17492+800 ~x17491+400 ~x17490+200 ~x17489+100 ~x17488+50 ~x17487+25 ~x17486-0=4135398 28.68/28.73 c 2048 ~x640774+1024 ~x640773+512 ~x640772+256 ~x640771+128 ~x640770+64 ~x640769+32 ~x640768+16 ~x640767+8 ~x640766+4 ~x640765+2 ~x640764+1 ~x640763+2560 ~x17513+1280 ~x17512+640 ~x17511+320 ~x17510+160 ~x17509+80 ~x17508+40 ~x17507+20 ~x17506+10 ~x17505+5 ~x17504-0=7674 28.68/28.78 c 16384 ~x642655+8192 ~x642654+4096 ~x642653+2048 ~x642652+1024 ~x642651+512 ~x642650+256 ~x642649+128 ~x642648+64 ~x642647+32 ~x642646+16 ~x642645+8 ~x642644+4 ~x642643+2 ~x642642+1 ~x642641+12800 ~x17524+6400 ~x17523+3200 ~x17522+1600 ~x17521+800 ~x17520+400 ~x17519+200 ~x17518+100 ~x17517+50 ~x17516+25 ~x17515-0=57318 28.78/28.85 c 262144 ~x645427+131072 ~x645426+65536 ~x645425+32768 ~x645424+16384 ~x645423+8192 ~x645422+4096 ~x645421+2048 ~x645420+1024 ~x645419+512 ~x645418+256 ~x645417+128 ~x645416+64 ~x645415+32 ~x645414+16 ~x645413+8 ~x645412+4 ~x645411+2 ~x645410+1 ~x645409+204800 ~x17539+102400 ~x17538+51200 ~x17537+25600 ~x17536+12800 ~x17535+6400 ~x17534+3200 ~x17533+1600 ~x17532+800 ~x17531+400 ~x17530+200 ~x17529+100 ~x17528+50 ~x17527+25 ~x17526-0=815078 28.88/28.98 c 262144 ~x650653+131072 ~x650652+65536 ~x650651+32768 ~x650650+16384 ~x650649+8192 ~x650648+4096 ~x650647+2048 ~x650646+1024 ~x650645+512 ~x650644+256 ~x650643+128 ~x650642+64 ~x650641+32 ~x650640+16 ~x650639+8 ~x650638+4 ~x650637+2 ~x650636+1 ~x650635+409600 ~x17555+204800 ~x17554+102400 ~x17553+51200 ~x17552+25600 ~x17551+12800 ~x17550+6400 ~x17549+3200 ~x17548+1600 ~x17547+800 ~x17546+400 ~x17545+200 ~x17544+100 ~x17543+50 ~x17542+25 ~x17541-0=951014 29.07/29.12 c 524288 ~x656063+262144 ~x656062+131072 ~x656061+65536 ~x656060+32768 ~x656059+16384 ~x656058+8192 ~x656057+4096 ~x656056+2048 ~x656055+1024 ~x656054+512 ~x656053+256 ~x656052+128 ~x656051+64 ~x656050+32 ~x656049+16 ~x656048+8 ~x656047+4 ~x656046+2 ~x656045+1 ~x656044+409600 ~x17572+204800 ~x17571+102400 ~x17570+51200 ~x17569+25600 ~x17568+12800 ~x17567+6400 ~x17566+3200 ~x17565+1600 ~x17564+800 ~x17563+400 ~x17562+200 ~x17561+100 ~x17560+50 ~x17559+25 ~x17558-0=1816294 29.17/29.27 c 1048576 ~x661669+524288 ~x661668+262144 ~x661667+131072 ~x661666+65536 ~x661665+32768 ~x661664+16384 ~x661663+8192 ~x661662+4096 ~x661661+2048 ~x661660+1024 ~x661659+512 ~x661658+256 ~x661657+128 ~x661656+64 ~x661655+32 ~x661654+16 ~x661653+8 ~x661652+4 ~x661651+2 ~x661650+1 ~x661649+1638400 ~x17590+819200 ~x17589+409600 ~x17588+204800 ~x17587+102400 ~x17586+51200 ~x17585+25600 ~x17584+12800 ~x17583+6400 ~x17582+3200 ~x17581+1600 ~x17580+800 ~x17579+400 ~x17578+200 ~x17577+100 ~x17576+50 ~x17575+25 ~x17574-0=3770342 29.37/29.44 c 2097152 ~x668763+1048576 ~x668762+524288 ~x668761+262144 ~x668760+131072 ~x668759+65536 ~x668758+32768 ~x668757+16384 ~x668756+8192 ~x668755+4096 ~x668754+2048 ~x668753+1024 ~x668752+512 ~x668751+256 ~x668750+128 ~x668749+64 ~x668748+32 ~x668747+16 ~x668746+8 ~x668745+4 ~x668744+2 ~x668743+1 ~x668742+3276800 ~x17610+1638400 ~x17609+819200 ~x17608+409600 ~x17607+204800 ~x17606+102400 ~x17605+51200 ~x17604+25600 ~x17603+12800 ~x17602+6400 ~x17601+3200 ~x17600+1600 ~x17599+800 ~x17598+400 ~x17597+200 ~x17596+100 ~x17595+50 ~x17594+25 ~x17593-0=8005606 29.59/29.63 c 32768 ~x676289+16384 ~x676288+8192 ~x676287+4096 ~x676286+2048 ~x676285+1024 ~x676284+512 ~x676283+256 ~x676282+128 ~x676281+64 ~x676280+32 ~x676279+16 ~x676278+8 ~x676277+4 ~x676276+2 ~x676275+1 ~x676274+20480 ~x17624+10240 ~x17623+5120 ~x17622+2560 ~x17621+1280 ~x17620+640 ~x17619+320 ~x17618+160 ~x17617+80 ~x17616+40 ~x17615+20 ~x17614+10 ~x17613+5 ~x17612-0=104954 29.69/29.72 c 4194304 ~x679856+2097152 ~x679855+1048576 ~x679854+524288 ~x679853+262144 ~x679852+131072 ~x679851+65536 ~x679850+32768 ~x679849+16384 ~x679848+8192 ~x679847+4096 ~x679846+2048 ~x679845+1024 ~x679844+512 ~x679843+256 ~x679842+128 ~x679841+64 ~x679840+32 ~x679839+16 ~x679838+8 ~x679837+4 ~x679836+2 ~x679835+1 ~x679834+6553600 ~x17644+3276800 ~x17643+1638400 ~x17642+819200 ~x17641+409600 ~x17640+204800 ~x17639+102400 ~x17638+51200 ~x17637+25600 ~x17636+12800 ~x17635+6400 ~x17634+3200 ~x17633+1600 ~x17632+800 ~x17631+400 ~x17630+200 ~x17629+100 ~x17628+50 ~x17627+25 ~x17626-0=16365286 29.87/29.92 c 524288 ~x688180+262144 ~x688179+131072 ~x688178+65536 ~x688177+32768 ~x688176+16384 ~x688175+8192 ~x688174+4096 ~x688173+2048 ~x688172+1024 ~x688171+512 ~x688170+256 ~x688169+128 ~x688168+64 ~x688167+32 ~x688166+16 ~x688165+8 ~x688164+4 ~x688163+2 ~x688162+1 ~x688161+655360 ~x17663+327680 ~x17662+163840 ~x17661+81920 ~x17660+40960 ~x17659+20480 ~x17658+10240 ~x17657+5120 ~x17656+2560 ~x17655+1280 ~x17654+640 ~x17653+320 ~x17652+160 ~x17651+80 ~x17650+40 ~x17649+20 ~x17648+10 ~x17647+5 ~x17646-0=2079738 29.97/30.07 c 2097152 ~x694336+1048576 ~x694335+524288 ~x694334+262144 ~x694333+131072 ~x694332+65536 ~x694331+32768 ~x694330+16384 ~x694329+8192 ~x694328+4096 ~x694327+2048 ~x694326+1024 ~x694325+512 ~x694324+256 ~x694323+128 ~x694322+64 ~x694321+32 ~x694320+16 ~x694319+8 ~x694318+4 ~x694317+2 ~x694316+1 ~x694315+1638400 ~x17681+819200 ~x17680+409600 ~x17679+204800 ~x17678+102400 ~x17677+51200 ~x17676+25600 ~x17675+12800 ~x17674+6400 ~x17673+3200 ~x17672+1600 ~x17671+800 ~x17670+400 ~x17669+200 ~x17668+100 ~x17667+50 ~x17666+25 ~x17665-0=6377702 30.17/30.25 c 524288 ~x701653+262144 ~x701652+131072 ~x701651+65536 ~x701650+32768 ~x701649+16384 ~x701648+8192 ~x701647+4096 ~x701646+2048 ~x701645+1024 ~x701644+512 ~x701643+256 ~x701642+128 ~x701641+64 ~x701640+32 ~x701639+16 ~x701638+8 ~x701637+4 ~x701636+2 ~x701635+1 ~x701634+409600 ~x17697+204800 ~x17696+102400 ~x17695+51200 ~x17694+25600 ~x17693+12800 ~x17692+6400 ~x17691+3200 ~x17690+1600 ~x17689+800 ~x17688+400 ~x17687+200 ~x17686+100 ~x17685+50 ~x17684+25 ~x17683-0=1741542 30.27/30.39 c 262144 ~x707257+131072 ~x707256+65536 ~x707255+32768 ~x707254+16384 ~x707253+8192 ~x707252+4096 ~x707251+2048 ~x707250+1024 ~x707249+512 ~x707248+256 ~x707247+128 ~x707246+64 ~x707245+32 ~x707244+16 ~x707243+8 ~x707242+4 ~x707241+2 ~x707240+1 ~x707239+327680 ~x17715+163840 ~x17714+81920 ~x17713+40960 ~x17712+20480 ~x17711+10240 ~x17710+5120 ~x17709+2560 ~x17708+1280 ~x17707+640 ~x17706+320 ~x17705+160 ~x17704+80 ~x17703+40 ~x17702+20 ~x17701+10 ~x17700+5 ~x17699-0=884218 30.48/30.53 c 1048576 ~x713034+524288 ~x713033+262144 ~x713032+131072 ~x713031+65536 ~x713030+32768 ~x713029+16384 ~x713028+8192 ~x713027+4096 ~x713026+2048 ~x713025+1024 ~x713024+512 ~x713023+256 ~x713022+128 ~x713021+64 ~x713020+32 ~x713019+16 ~x713018+8 ~x713017+4 ~x713016+2 ~x713015+1 ~x713014+655360 ~x17734+327680 ~x17733+163840 ~x17732+81920 ~x17731+40960 ~x17730+20480 ~x17729+10240 ~x17728+5120 ~x17727+2560 ~x17726+1280 ~x17725+640 ~x17724+320 ~x17723+160 ~x17722+80 ~x17721+40 ~x17720+20 ~x17719+10 ~x17718+5 ~x17717-0=3371002 30.58/30.69 c 2097152 ~x719550+1048576 ~x719549+524288 ~x719548+262144 ~x719547+131072 ~x719546+65536 ~x719545+32768 ~x719544+16384 ~x719543+8192 ~x719542+4096 ~x719541+2048 ~x719540+1024 ~x719539+512 ~x719538+256 ~x719537+128 ~x719536+64 ~x719535+32 ~x719534+16 ~x719533+8 ~x719532+4 ~x719531+2 ~x719530+1 ~x719529+3276800 ~x17753+1638400 ~x17752+819200 ~x17751+409600 ~x17750+204800 ~x17749+102400 ~x17748+51200 ~x17747+25600 ~x17746+12800 ~x17745+6400 ~x17744+3200 ~x17743+1600 ~x17742+800 ~x17741+400 ~x17740+200 ~x17739+100 ~x17738+50 ~x17737+25 ~x17736-0=7479270 30.78/30.88 c 4194304 ~x727083+2097152 ~x727082+1048576 ~x727081+524288 ~x727080+262144 ~x727079+131072 ~x727078+65536 ~x727077+32768 ~x727076+16384 ~x727075+8192 ~x727074+4096 ~x727073+2048 ~x727072+1024 ~x727071+512 ~x727070+256 ~x727069+128 ~x727068+64 ~x727067+32 ~x727066+16 ~x727065+8 ~x727064+4 ~x727063+2 ~x727062+1 ~x727061+6553600 ~x17773+3276800 ~x17772+1638400 ~x17771+819200 ~x17770+409600 ~x17769+204800 ~x17768+102400 ~x17767+51200 ~x17766+25600 ~x17765+12800 ~x17764+6400 ~x17763+3200 ~x17762+1600 ~x17761+800 ~x17760+400 ~x17759+200 ~x17758+100 ~x17757+50 ~x17756+25 ~x17755-0=15094246 30.97/31.08 c 8388608 ~x735411+4194304 ~x735410+2097152 ~x735409+1048576 ~x735408+524288 ~x735407+262144 ~x735406+131072 ~x735405+65536 ~x735404+32768 ~x735403+16384 ~x735402+8192 ~x735401+4096 ~x735400+2048 ~x735399+1024 ~x735398+512 ~x735397+256 ~x735396+128 ~x735395+64 ~x735394+32 ~x735393+16 ~x735392+8 ~x735391+4 ~x735390+2 ~x735389+1 ~x735388+6553600 ~x17793+3276800 ~x17792+1638400 ~x17791+819200 ~x17790+409600 ~x17789+204800 ~x17788+102400 ~x17787+51200 ~x17786+25600 ~x17785+12800 ~x17784+6400 ~x17783+3200 ~x17782+1600 ~x17781+800 ~x17780+400 ~x17779+200 ~x17778+100 ~x17777+50 ~x17776+25 ~x17775-0=26686438 31.17/31.29 c 8388608 ~x743973+4194304 ~x743972+2097152 ~x743971+1048576 ~x743970+524288 ~x743969+262144 ~x743968+131072 ~x743967+65536 ~x743966+32768 ~x743965+16384 ~x743964+8192 ~x743963+4096 ~x743962+2048 ~x743961+1024 ~x743960+512 ~x743959+256 ~x743958+128 ~x743957+64 ~x743956+32 ~x743955+16 ~x743954+8 ~x743953+4 ~x743952+2 ~x743951+1 ~x743950+6553600 ~x17813+3276800 ~x17812+1638400 ~x17811+819200 ~x17810+409600 ~x17809+204800 ~x17808+102400 ~x17807+51200 ~x17806+25600 ~x17805+12800 ~x17804+6400 ~x17803+3200 ~x17802+1600 ~x17801+800 ~x17800+400 ~x17799+200 ~x17798+100 ~x17797+50 ~x17796+25 ~x17795-0=27088614 31.48/31.50 c 262144 ~x752530+131072 ~x752529+65536 ~x752528+32768 ~x752527+16384 ~x752526+8192 ~x752525+4096 ~x752524+2048 ~x752523+1024 ~x752522+512 ~x752521+256 ~x752520+128 ~x752519+64 ~x752518+32 ~x752517+16 ~x752516+8 ~x752515+4 ~x752514+2 ~x752513+1 ~x752512+409600 ~x17829+204800 ~x17828+102400 ~x17827+51200 ~x17826+25600 ~x17825+12800 ~x17824+6400 ~x17823+3200 ~x17822+1600 ~x17821+800 ~x17820+400 ~x17819+200 ~x17818+100 ~x17817+50 ~x17816+25 ~x17815-0=989926 31.58/31.63 c 65536 ~x757937+32768 ~x757936+16384 ~x757935+8192 ~x757934+4096 ~x757933+2048 ~x757932+1024 ~x757931+512 ~x757930+256 ~x757929+128 ~x757928+64 ~x757927+32 ~x757926+16 ~x757925+8 ~x757924+4 ~x757923+2 ~x757922+1 ~x757921+65536 ~x17847+32768 ~x17846+16384 ~x17845+8192 ~x17844+4096 ~x17843+2048 ~x17842+1024 ~x17841+512 ~x17840+256 ~x17839+128 ~x17838+64 ~x17837+32 ~x17836+16 ~x17835+8 ~x17834+4 ~x17833+2 ~x17832+1 ~x17831-0=216318 31.67/31.74 c 32768 ~x762580+16384 ~x762579+8192 ~x762578+4096 ~x762577+2048 ~x762576+1024 ~x762575+512 ~x762574+256 ~x762573+128 ~x762572+64 ~x762571+32 ~x762570+16 ~x762569+8 ~x762568+4 ~x762567+2 ~x762566+1 ~x762565+51200 ~x17860+25600 ~x17859+12800 ~x17858+6400 ~x17857+3200 ~x17856+1600 ~x17855+800 ~x17854+400 ~x17853+200 ~x17852+100 ~x17851+50 ~x17850+25 ~x17849-0=117734 31.78/31.83 c 1048576 ~x766001+524288 ~x766000+262144 ~x765999+131072 ~x765998+65536 ~x765997+32768 ~x765996+16384 ~x765995+8192 ~x765994+4096 ~x765993+2048 ~x765992+1024 ~x765991+512 ~x765990+256 ~x765989+128 ~x765988+64 ~x765987+32 ~x765986+16 ~x765985+8 ~x765984+4 ~x765983+2 ~x765982+1 ~x765981+819200 ~x17879+409600 ~x17878+204800 ~x17877+102400 ~x17876+51200 ~x17875+25600 ~x17874+12800 ~x17873+6400 ~x17872+3200 ~x17871+1600 ~x17870+800 ~x17869+400 ~x17868+200 ~x17867+100 ~x17866+50 ~x17865+25 ~x17864-0=3716582 31.88/31.98 c 1048576 ~x772138+524288 ~x772137+262144 ~x772136+131072 ~x772135+65536 ~x772134+32768 ~x772133+16384 ~x772132+8192 ~x772131+4096 ~x772130+2048 ~x772129+1024 ~x772128+512 ~x772127+256 ~x772126+128 ~x772125+64 ~x772124+32 ~x772123+16 ~x772122+8 ~x772121+4 ~x772120+2 ~x772119+1 ~x772118+819200 ~x17896+409600 ~x17895+204800 ~x17894+102400 ~x17893+51200 ~x17892+25600 ~x17891+12800 ~x17890+6400 ~x17889+3200 ~x17888+1600 ~x17887+800 ~x17886+400 ~x17885+200 ~x17884+100 ~x17883+50 ~x17882+25 ~x17881-0=3590630 32.08/32.13 c 131072 ~x778272+65536 ~x778271+32768 ~x778270+16384 ~x778269+8192 ~x778268+4096 ~x778267+2048 ~x778266+1024 ~x778265+512 ~x778264+256 ~x778263+128 ~x778262+64 ~x778261+32 ~x778260+16 ~x778259+8 ~x778258+4 ~x778257+2 ~x778256+1 ~x778255+81920 ~x17912+40960 ~x17911+20480 ~x17910+10240 ~x17909+5120 ~x17908+2560 ~x17907+1280 ~x17906+640 ~x17905+320 ~x17904+160 ~x17903+80 ~x17902+40 ~x17901+20 ~x17900+10 ~x17899+5 ~x17898-0=404474 32.17/32.25 c 65536 ~x783209+32768 ~x783208+16384 ~x783207+8192 ~x783206+4096 ~x783205+2048 ~x783204+1024 ~x783203+512 ~x783202+256 ~x783201+128 ~x783200+64 ~x783199+32 ~x783198+16 ~x783197+8 ~x783196+4 ~x783195+2 ~x783194+1 ~x783193+81920 ~x17928+40960 ~x17927+20480 ~x17926+10240 ~x17925+5120 ~x17924+2560 ~x17923+1280 ~x17922+640 ~x17921+320 ~x17920+160 ~x17919+80 ~x17918+40 ~x17917+20 ~x17916+10 ~x17915+5 ~x17914-0=257018 32.27/32.35 c 65536 ~x787349+32768 ~x787348+16384 ~x787347+8192 ~x787346+4096 ~x787345+2048 ~x787344+1024 ~x787343+512 ~x787342+256 ~x787341+128 ~x787340+64 ~x787339+32 ~x787338+16 ~x787337+8 ~x787336+4 ~x787335+2 ~x787334+1 ~x787333+51200 ~x17943+25600 ~x17942+12800 ~x17941+6400 ~x17940+3200 ~x17939+1600 ~x17938+800 ~x17937+400 ~x17936+200 ~x17935+100 ~x17934+50 ~x17933+25 ~x17932-0=222950 32.38/32.45 c 524288 ~x791042+262144 ~x791041+131072 ~x791040+65536 ~x791039+32768 ~x791038+16384 ~x791037+8192 ~x791036+4096 ~x791035+2048 ~x791034+1024 ~x791033+512 ~x791032+256 ~x791031+128 ~x791030+64 ~x791029+32 ~x791028+16 ~x791027+8 ~x791026+4 ~x791025+2 ~x791024+1 ~x791023+819200 ~x17962+409600 ~x17961+204800 ~x17960+102400 ~x17959+51200 ~x17958+25600 ~x17957+12800 ~x17956+6400 ~x17955+3200 ~x17954+1600 ~x17953+800 ~x17952+400 ~x17951+200 ~x17950+100 ~x17949+50 ~x17948+25 ~x17947-0=2074598 32.48/32.59 c 1048576 ~x796981+524288 ~x796980+262144 ~x796979+131072 ~x796978+65536 ~x796977+32768 ~x796976+16384 ~x796975+8192 ~x796974+4096 ~x796973+2048 ~x796972+1024 ~x796971+512 ~x796970+256 ~x796969+128 ~x796968+64 ~x796967+32 ~x796966+16 ~x796965+8 ~x796964+4 ~x796963+2 ~x796962+1 ~x796961+1638400 ~x17980+819200 ~x17979+409600 ~x17978+204800 ~x17977+102400 ~x17976+51200 ~x17975+25600 ~x17974+12800 ~x17973+6400 ~x17972+3200 ~x17971+1600 ~x17970+800 ~x17969+400 ~x17968+200 ~x17967+100 ~x17966+50 ~x17965+25 ~x17964-0=3971558 32.67/32.77 c 524288 ~x804073+262144 ~x804072+131072 ~x804071+65536 ~x804070+32768 ~x804069+16384 ~x804068+8192 ~x804067+4096 ~x804066+2048 ~x804065+1024 ~x804064+512 ~x804063+256 ~x804062+128 ~x804061+64 ~x804060+32 ~x804059+16 ~x804058+8 ~x804057+4 ~x804056+2 ~x804055+1 ~x804054+409600 ~x17998+204800 ~x17997+102400 ~x17996+51200 ~x17995+25600 ~x17994+12800 ~x17993+6400 ~x17992+3200 ~x17991+1600 ~x17990+800 ~x17989+400 ~x17988+200 ~x17987+100 ~x17986+50 ~x17985+25 ~x17984-0=1618662 32.88/32.91 c 131072 ~x809676+65536 ~x809675+32768 ~x809674+16384 ~x809673+8192 ~x809672+4096 ~x809671+2048 ~x809670+1024 ~x809669+512 ~x809668+256 ~x809667+128 ~x809666+64 ~x809665+32 ~x809664+16 ~x809663+8 ~x809662+4 ~x809661+2 ~x809660+1 ~x809659+102400 ~x18012+51200 ~x18011+25600 ~x18010+12800 ~x18009+6400 ~x18008+3200 ~x18007+1600 ~x18006+800 ~x18005+400 ~x18004+200 ~x18003+100 ~x18002+50 ~x18001+25 ~x18000-0=436454 32.98/33.02 c 2097152 ~x814270+1048576 ~x814269+524288 ~x814268+262144 ~x814267+131072 ~x814266+65536 ~x814265+32768 ~x814264+16384 ~x814263+8192 ~x814262+4096 ~x814261+2048 ~x814260+1024 ~x814259+512 ~x814258+256 ~x814257+128 ~x814256+64 ~x814255+32 ~x814254+16 ~x814253+8 ~x814252+4 ~x814251+2 ~x814250+1 ~x814249+1638400 ~x18032+819200 ~x18031+409600 ~x18030+204800 ~x18029+102400 ~x18028+51200 ~x18027+25600 ~x18026+12800 ~x18025+6400 ~x18024+3200 ~x18023+1600 ~x18022+800 ~x18021+400 ~x18020+200 ~x18019+100 ~x18018+50 ~x18017+25 ~x18016-0=6775526 33.17/33.22 c 8192 ~x821581+4096 ~x821580+2048 ~x821579+1024 ~x821578+512 ~x821577+256 ~x821576+128 ~x821575+64 ~x821574+32 ~x821573+16 ~x821572+8 ~x821571+4 ~x821570+2 ~x821569+1 ~x821568+8192 ~x18047+4096 ~x18046+2048 ~x18045+1024 ~x18044+512 ~x18043+256 ~x18042+128 ~x18041+64 ~x18040+32 ~x18039+16 ~x18038+8 ~x18037+4 ~x18036+2 ~x18035+1 ~x18034-0=27646 33.27/33.30 c 262144 ~x824914+131072 ~x824913+65536 ~x824912+32768 ~x824911+16384 ~x824910+8192 ~x824909+4096 ~x824908+2048 ~x824907+1024 ~x824906+512 ~x824905+256 ~x824904+128 ~x824903+64 ~x824902+32 ~x824901+16 ~x824900+8 ~x824899+4 ~x824898+2 ~x824897+1 ~x824896+409600 ~x18064+204800 ~x18063+102400 ~x18062+51200 ~x18061+25600 ~x18060+12800 ~x18059+6400 ~x18058+3200 ~x18057+1600 ~x18056+800 ~x18055+400 ~x18054+200 ~x18053+100 ~x18052+50 ~x18051+25 ~x18050-0=982758 33.37/33.43 c 524288 ~x830324+262144 ~x830323+131072 ~x830322+65536 ~x830321+32768 ~x830320+16384 ~x830319+8192 ~x830318+4096 ~x830317+2048 ~x830316+1024 ~x830315+512 ~x830314+256 ~x830313+128 ~x830312+64 ~x830311+32 ~x830310+16 ~x830309+8 ~x830308+4 ~x830307+2 ~x830306+1 ~x830305+409600 ~x18080+204800 ~x18079+102400 ~x18078+51200 ~x18077+25600 ~x18076+12800 ~x18075+6400 ~x18074+3200 ~x18073+1600 ~x18072+800 ~x18071+400 ~x18070+200 ~x18069+100 ~x18068+50 ~x18067+25 ~x18066-0=1786086 33.48/33.57 c 262144 ~x835928+131072 ~x835927+65536 ~x835926+32768 ~x835925+16384 ~x835924+8192 ~x835923+4096 ~x835922+2048 ~x835921+1024 ~x835920+512 ~x835919+256 ~x835918+128 ~x835917+64 ~x835916+32 ~x835915+16 ~x835914+8 ~x835913+4 ~x835912+2 ~x835911+1 ~x835910+327680 ~x18098+163840 ~x18097+81920 ~x18096+40960 ~x18095+20480 ~x18094+10240 ~x18093+5120 ~x18092+2560 ~x18091+1280 ~x18090+640 ~x18089+320 ~x18088+160 ~x18087+80 ~x18086+40 ~x18085+20 ~x18084+10 ~x18083+5 ~x18082-0=908794 33.67/33.71 c 1024 ~x841695+512 ~x841694+256 ~x841693+128 ~x841692+64 ~x841691+32 ~x841690+16 ~x841689+8 ~x841688+4 ~x841687+2 ~x841686+1 ~x841685+1024 ~x18110+512 ~x18109+256 ~x18108+128 ~x18107+64 ~x18106+32 ~x18105+16 ~x18104+8 ~x18103+4 ~x18102+2 ~x18101+1 ~x18100-0=4094 33.67/33.76 c 2048 ~x843517+1024 ~x843516+512 ~x843515+256 ~x843514+128 ~x843513+64 ~x843512+32 ~x843511+16 ~x843510+8 ~x843509+4 ~x843508+2 ~x843507+1 ~x843506+2048 ~x18126+1024 ~x18125+512 ~x18124+256 ~x18123+128 ~x18122+64 ~x18121+32 ~x18120+16 ~x18119+8 ~x18118+4 ~x18117+2 ~x18116+1 ~x18115-0=6398 33.77/33.81 c 32768 ~x845753+16384 ~x845752+8192 ~x845751+4096 ~x845750+2048 ~x845749+1024 ~x845748+512 ~x845747+256 ~x845746+128 ~x845745+64 ~x845744+32 ~x845743+16 ~x845742+8 ~x845741+4 ~x845740+2 ~x845739+1 ~x845738+40960 ~x18143+20480 ~x18142+10240 ~x18141+5120 ~x18140+2560 ~x18139+1280 ~x18138+640 ~x18137+320 ~x18136+160 ~x18135+80 ~x18134+40 ~x18133+20 ~x18132+10 ~x18131+5 ~x18130-0=107258 33.87/33.91 c 65536 ~x849458+32768 ~x849457+16384 ~x849456+8192 ~x849455+4096 ~x849454+2048 ~x849453+1024 ~x849452+512 ~x849451+256 ~x849450+128 ~x849449+64 ~x849448+32 ~x849447+16 ~x849446+8 ~x849445+4 ~x849444+2 ~x849443+1 ~x849442+102400 ~x18157+51200 ~x18156+25600 ~x18155+12800 ~x18154+6400 ~x18153+3200 ~x18152+1600 ~x18151+800 ~x18150+400 ~x18149+200 ~x18148+100 ~x18147+50 ~x18146+25 ~x18145-0=242662 33.98/34.00 c 65536 ~x853298+32768 ~x853297+16384 ~x853296+8192 ~x853295+4096 ~x853294+2048 ~x853293+1024 ~x853292+512 ~x853291+256 ~x853290+128 ~x853289+64 ~x853288+32 ~x853287+16 ~x853286+8 ~x853285+4 ~x853284+2 ~x853283+1 ~x853282+40960 ~x18172+20480 ~x18171+10240 ~x18170+5120 ~x18169+2560 ~x18168+1280 ~x18167+640 ~x18166+320 ~x18165+160 ~x18164+80 ~x18163+40 ~x18162+20 ~x18161+10 ~x18160+5 ~x18159-0=199162 33.98/34.10 c 65536 ~x857288+32768 ~x857287+16384 ~x857286+8192 ~x857285+4096 ~x857284+2048 ~x857283+1024 ~x857282+512 ~x857281+256 ~x857280+128 ~x857279+64 ~x857278+32 ~x857277+16 ~x857276+8 ~x857275+4 ~x857274+2 ~x857273+1 ~x857272+81920 ~x18188+40960 ~x18187+20480 ~x18186+10240 ~x18185+5120 ~x18184+2560 ~x18183+1280 ~x18182+640 ~x18181+320 ~x18180+160 ~x18179+80 ~x18178+40 ~x18177+20 ~x18176+10 ~x18175+5 ~x18174-0=239354 34.18/34.20 c 65536 ~x861428+32768 ~x861427+16384 ~x861426+8192 ~x861425+4096 ~x861424+2048 ~x861423+1024 ~x861422+512 ~x861421+256 ~x861420+128 ~x861419+64 ~x861418+32 ~x861417+16 ~x861416+8 ~x861415+4 ~x861414+2 ~x861413+1 ~x861412+81920 ~x18204+40960 ~x18203+20480 ~x18202+10240 ~x18201+5120 ~x18200+2560 ~x18199+1280 ~x18198+640 ~x18197+320 ~x18196+160 ~x18195+80 ~x18194+40 ~x18193+20 ~x18192+10 ~x18191+5 ~x18190-0=233978 34.28/34.31 c 262144 ~x865570+131072 ~x865569+65536 ~x865568+32768 ~x865567+16384 ~x865566+8192 ~x865565+4096 ~x865564+2048 ~x865563+1024 ~x865562+512 ~x865561+256 ~x865560+128 ~x865559+64 ~x865558+32 ~x865557+16 ~x865556+8 ~x865555+4 ~x865554+2 ~x865553+1 ~x865552+204800 ~x18219+102400 ~x18218+51200 ~x18217+25600 ~x18216+12800 ~x18215+6400 ~x18214+3200 ~x18213+1600 ~x18212+800 ~x18211+400 ~x18210+200 ~x18209+100 ~x18208+50 ~x18207+25 ~x18206-0=917990 34.37/34.43 c 32768 ~x870793+16384 ~x870792+8192 ~x870791+4096 ~x870790+2048 ~x870789+1024 ~x870788+512 ~x870787+256 ~x870786+128 ~x870785+64 ~x870784+32 ~x870783+16 ~x870782+8 ~x870781+4 ~x870780+2 ~x870779+1 ~x870778+20480 ~x18233+10240 ~x18232+5120 ~x18231+2560 ~x18230+1280 ~x18229+640 ~x18228+320 ~x18227+160 ~x18226+80 ~x18225+40 ~x18224+20 ~x18223+10 ~x18222+5 ~x18221-0=100346 34.47/34.52 c 2048 ~x874349+1024 ~x874348+512 ~x874347+256 ~x874346+128 ~x874345+64 ~x874344+32 ~x874343+16 ~x874342+8 ~x874341+4 ~x874340+2 ~x874339+1 ~x874338+2048 ~x18247+1024 ~x18246+512 ~x18245+256 ~x18244+128 ~x18243+64 ~x18242+32 ~x18241+16 ~x18240+8 ~x18239+4 ~x18238+2 ~x18237+1 ~x18236-0=8190 34.47/34.58 c 8192 ~x876583+4096 ~x876582+2048 ~x876581+1024 ~x876580+512 ~x876579+256 ~x876578+128 ~x876577+64 ~x876576+32 ~x876575+16 ~x876574+8 ~x876573+4 ~x876572+2 ~x876571+1 ~x876570+8192 ~x18263+4096 ~x18262+2048 ~x18261+1024 ~x18260+512 ~x18259+256 ~x18258+128 ~x18257+64 ~x18256+32 ~x18255+16 ~x18254+8 ~x18253+4 ~x18252+2 ~x18251+1 ~x18250-0=25598 34.57/34.66 c 524288 ~x879917+262144 ~x879916+131072 ~x879915+65536 ~x879914+32768 ~x879913+16384 ~x879912+8192 ~x879911+4096 ~x879910+2048 ~x879909+1024 ~x879908+512 ~x879907+256 ~x879906+128 ~x879905+64 ~x879904+32 ~x879903+16 ~x879902+8 ~x879901+4 ~x879900+2 ~x879899+1 ~x879898+409600 ~x18280+204800 ~x18279+102400 ~x18278+51200 ~x18277+25600 ~x18276+12800 ~x18275+6400 ~x18274+3200 ~x18273+1600 ~x18272+800 ~x18271+400 ~x18270+200 ~x18269+100 ~x18268+50 ~x18267+25 ~x18266-0=1716454 34.78/34.80 c 65536 ~x885519+32768 ~x885518+16384 ~x885517+8192 ~x885516+4096 ~x885515+2048 ~x885514+1024 ~x885513+512 ~x885512+256 ~x885511+128 ~x885510+64 ~x885509+32 ~x885508+16 ~x885507+8 ~x885506+4 ~x885505+2 ~x885504+1 ~x885503+81920 ~x18297+40960 ~x18296+20480 ~x18295+10240 ~x18294+5120 ~x18293+2560 ~x18292+1280 ~x18291+640 ~x18290+320 ~x18289+160 ~x18288+80 ~x18287+40 ~x18286+20 ~x18285+10 ~x18284+5 ~x18283-0=239098 34.87/34.90 c 8192 ~x889656+4096 ~x889655+2048 ~x889654+1024 ~x889653+512 ~x889652+256 ~x889651+128 ~x889650+64 ~x889649+32 ~x889648+16 ~x889647+8 ~x889646+4 ~x889645+2 ~x889644+1 ~x889643+8192 ~x18312+4096 ~x18311+2048 ~x18310+1024 ~x18309+512 ~x18308+256 ~x18307+128 ~x18306+64 ~x18305+32 ~x18304+16 ~x18303+8 ~x18302+4 ~x18301+2 ~x18300+1 ~x18299-0=28158 34.87/34.99 c 131072 ~x892988+65536 ~x892987+32768 ~x892986+16384 ~x892985+8192 ~x892984+4096 ~x892983+2048 ~x892982+1024 ~x892981+512 ~x892980+256 ~x892979+128 ~x892978+64 ~x892977+32 ~x892976+16 ~x892975+8 ~x892974+4 ~x892973+2 ~x892972+1 ~x892971+81920 ~x18329+40960 ~x18328+20480 ~x18327+10240 ~x18326+5120 ~x18325+2560 ~x18324+1280 ~x18323+640 ~x18322+320 ~x18321+160 ~x18320+80 ~x18319+40 ~x18318+20 ~x18317+10 ~x18316+5 ~x18315-0=405754 35.08/35.11 c 16384 ~x897923+8192 ~x897922+4096 ~x897921+2048 ~x897920+1024 ~x897919+512 ~x897918+256 ~x897917+128 ~x897916+64 ~x897915+32 ~x897914+16 ~x897913+8 ~x897912+4 ~x897911+2 ~x897910+1 ~x897909+20480 ~x18343+10240 ~x18342+5120 ~x18341+2560 ~x18340+1280 ~x18339+640 ~x18338+320 ~x18337+160 ~x18336+80 ~x18335+40 ~x18334+20 ~x18333+10 ~x18332+5 ~x18331-0=61178 35.08/35.20 c 524288 ~x901331+262144 ~x901330+131072 ~x901329+65536 ~x901328+32768 ~x901327+16384 ~x901326+8192 ~x901325+4096 ~x901324+2048 ~x901323+1024 ~x901322+512 ~x901321+256 ~x901320+128 ~x901319+64 ~x901318+32 ~x901317+16 ~x901316+8 ~x901315+4 ~x901314+2 ~x901313+1 ~x901312+409600 ~x18361+204800 ~x18360+102400 ~x18359+51200 ~x18358+25600 ~x18357+12800 ~x18356+6400 ~x18355+3200 ~x18354+1600 ~x18353+800 ~x18352+400 ~x18351+200 ~x18350+100 ~x18349+50 ~x18348+25 ~x18347-0=1758438 35.28/35.33 c 32768 ~x906932+16384 ~x906931+8192 ~x906930+4096 ~x906929+2048 ~x906928+1024 ~x906927+512 ~x906926+256 ~x906925+128 ~x906924+64 ~x906923+32 ~x906922+16 ~x906921+8 ~x906920+4 ~x906919+2 ~x906918+1 ~x906917+25600 ~x18373+12800 ~x18372+6400 ~x18371+3200 ~x18370+1600 ~x18369+800 ~x18368+400 ~x18367+200 ~x18366+100 ~x18365+50 ~x18364+25 ~x18363-0=110054 35.37/35.41 c 8192 ~x910202+4096 ~x910201+2048 ~x910200+1024 ~x910199+512 ~x910198+256 ~x910197+128 ~x910196+64 ~x910195+32 ~x910194+16 ~x910193+8 ~x910192+4 ~x910191+2 ~x910190+1 ~x910189+6400 ~x18384+3200 ~x18383+1600 ~x18382+800 ~x18381+400 ~x18380+200 ~x18379+100 ~x18378+50 ~x18377+25 ~x18376-0=28646 35.37/35.47 c 262144 ~x912306+131072 ~x912305+65536 ~x912304+32768 ~x912303+16384 ~x912302+8192 ~x912301+4096 ~x912300+2048 ~x912299+1024 ~x912298+512 ~x912297+256 ~x912296+128 ~x912295+64 ~x912294+32 ~x912293+16 ~x912292+8 ~x912291+4 ~x912290+2 ~x912289+1 ~x912288+204800 ~x18400+102400 ~x18399+51200 ~x18398+25600 ~x18397+12800 ~x18396+6400 ~x18395+3200 ~x18394+1600 ~x18393+800 ~x18392+400 ~x18391+200 ~x18390+100 ~x18389+50 ~x18388+25 ~x18387-0=860646 35.47/35.59 c 512 ~x917523+256 ~x917522+128 ~x917521+64 ~x917520+32 ~x917519+16 ~x917518+8 ~x917517+4 ~x917516+2 ~x917515+1 ~x917514+512 ~x18411+256 ~x18410+128 ~x18409+64 ~x18408+32 ~x18407+16 ~x18406+8 ~x18405+4 ~x18404+2 ~x18403+1 ~x18402-0=2046 35.57/35.63 c 1048576 ~x918836+524288 ~x918835+262144 ~x918834+131072 ~x918833+65536 ~x918832+32768 ~x918831+16384 ~x918830+8192 ~x918829+4096 ~x918828+2048 ~x918827+1024 ~x918826+512 ~x918825+256 ~x918824+128 ~x918823+64 ~x918822+32 ~x918821+16 ~x918820+8 ~x918819+4 ~x918818+2 ~x918817+1 ~x918816+819200 ~x18429+409600 ~x18428+204800 ~x18427+102400 ~x18426+51200 ~x18425+25600 ~x18424+12800 ~x18423+6400 ~x18422+3200 ~x18421+1600 ~x18420+800 ~x18419+400 ~x18418+200 ~x18417+100 ~x18416+50 ~x18415+25 ~x18414-0=3599590 35.67/35.78 c 8192 ~x924966+4096 ~x924965+2048 ~x924964+1024 ~x924963+512 ~x924962+256 ~x924961+128 ~x924960+64 ~x924959+32 ~x924958+16 ~x924957+8 ~x924956+4 ~x924955+2 ~x924954+1 ~x924953+8192 ~x18444+4096 ~x18443+2048 ~x18442+1024 ~x18441+512 ~x18440+256 ~x18439+128 ~x18438+64 ~x18437+32 ~x18436+16 ~x18435+8 ~x18434+4 ~x18433+2 ~x18432+1 ~x18431-0=29950 35.77/35.86 c 1024 ~x928291+512 ~x928290+256 ~x928289+128 ~x928288+64 ~x928287+32 ~x928286+16 ~x928285+8 ~x928284+4 ~x928283+2 ~x928282+1 ~x928281+1024 ~x18456+512 ~x18455+256 ~x18454+128 ~x18453+64 ~x18452+32 ~x18451+16 ~x18450+8 ~x18449+4 ~x18448+2 ~x18447+1 ~x18446-0=4094 35.87/35.91 c 16384 ~x930116+8192 ~x930115+4096 ~x930114+2048 ~x930113+1024 ~x930112+512 ~x930111+256 ~x930110+128 ~x930109+64 ~x930108+32 ~x930107+16 ~x930106+8 ~x930105+4 ~x930104+2 ~x930103+1 ~x930102+16384 ~x18472+8192 ~x18471+4096 ~x18470+2048 ~x18469+1024 ~x18468+512 ~x18467+256 ~x18466+128 ~x18465+64 ~x18464+32 ~x18463+16 ~x18462+8 ~x18461+4 ~x18460+2 ~x18459+1 ~x18458-0=61438 35.97/36.01 c 65536 ~x933989+32768 ~x933988+16384 ~x933987+8192 ~x933986+4096 ~x933985+2048 ~x933984+1024 ~x933983+512 ~x933982+256 ~x933981+128 ~x933980+64 ~x933979+32 ~x933978+16 ~x933977+8 ~x933976+4 ~x933975+2 ~x933974+1 ~x933973+65536 ~x18490+32768 ~x18489+16384 ~x18488+8192 ~x18487+4096 ~x18486+2048 ~x18485+1024 ~x18484+512 ~x18483+256 ~x18482+128 ~x18481+64 ~x18480+32 ~x18479+16 ~x18478+8 ~x18477+4 ~x18476+2 ~x18475+1 ~x18474-0=241918 36.07/36.12 c 2097152 ~x938638+1048576 ~x938637+524288 ~x938636+262144 ~x938635+131072 ~x938634+65536 ~x938633+32768 ~x938632+16384 ~x938631+8192 ~x938630+4096 ~x938629+2048 ~x938628+1024 ~x938627+512 ~x938626+256 ~x938625+128 ~x938624+64 ~x938623+32 ~x938622+16 ~x938621+8 ~x938620+4 ~x938619+2 ~x938618+1 ~x938617+1638400 ~x18509+819200 ~x18508+409600 ~x18507+204800 ~x18506+102400 ~x18505+51200 ~x18504+25600 ~x18503+12800 ~x18502+6400 ~x18501+3200 ~x18500+1600 ~x18499+800 ~x18498+400 ~x18497+200 ~x18496+100 ~x18495+50 ~x18494+25 ~x18493-0=6462182 36.18/36.30 c 8192 ~x945949+4096 ~x945948+2048 ~x945947+1024 ~x945946+512 ~x945945+256 ~x945944+128 ~x945943+64 ~x945942+32 ~x945941+16 ~x945940+8 ~x945939+4 ~x945938+2 ~x945937+1 ~x945936+10240 ~x18522+5120 ~x18521+2560 ~x18520+1280 ~x18519+640 ~x18518+320 ~x18517+160 ~x18516+80 ~x18515+40 ~x18514+20 ~x18513+10 ~x18512+5 ~x18511-0=32506 36.27/36.37 c 65536 ~x948842+32768 ~x948841+16384 ~x948840+8192 ~x948839+4096 ~x948838+2048 ~x948837+1024 ~x948836+512 ~x948835+256 ~x948834+128 ~x948833+64 ~x948832+32 ~x948831+16 ~x948830+8 ~x948829+4 ~x948828+2 ~x948827+1 ~x948826+102400 ~x18538+51200 ~x18537+25600 ~x18536+12800 ~x18535+6400 ~x18534+3200 ~x18533+1600 ~x18532+800 ~x18531+400 ~x18530+200 ~x18529+100 ~x18528+50 ~x18527+25 ~x18526-0=244198 36.38/36.47 c 65536 ~x952682+32768 ~x952681+16384 ~x952680+8192 ~x952679+4096 ~x952678+2048 ~x952677+1024 ~x952676+512 ~x952675+256 ~x952674+128 ~x952673+64 ~x952672+32 ~x952671+16 ~x952670+8 ~x952669+4 ~x952668+2 ~x952667+1 ~x952666+51200 ~x18551+25600 ~x18550+12800 ~x18549+6400 ~x18548+3200 ~x18547+1600 ~x18546+800 ~x18545+400 ~x18544+200 ~x18543+100 ~x18542+50 ~x18541+25 ~x18540-0=219622 36.47/36.56 c 65536 ~x956372+32768 ~x956371+16384 ~x956370+8192 ~x956369+4096 ~x956368+2048 ~x956367+1024 ~x956366+512 ~x956365+256 ~x956364+128 ~x956363+64 ~x956362+32 ~x956361+16 ~x956360+8 ~x956359+4 ~x956358+2 ~x956357+1 ~x956356+51200 ~x18565+25600 ~x18564+12800 ~x18563+6400 ~x18562+3200 ~x18561+1600 ~x18560+800 ~x18559+400 ~x18558+200 ~x18557+100 ~x18556+50 ~x18555+25 ~x18554-0=208358 36.57/36.65 c 65536 ~x960062+32768 ~x960061+16384 ~x960060+8192 ~x960059+4096 ~x960058+2048 ~x960057+1024 ~x960056+512 ~x960055+256 ~x960054+128 ~x960053+64 ~x960052+32 ~x960051+16 ~x960050+8 ~x960049+4 ~x960048+2 ~x960047+1 ~x960046+51200 ~x18579+25600 ~x18578+12800 ~x18577+6400 ~x18576+3200 ~x18575+1600 ~x18574+800 ~x18573+400 ~x18572+200 ~x18571+100 ~x18570+50 ~x18569+25 ~x18568-0=203238 36.67/36.75 c 32768 ~x963751+16384 ~x963750+8192 ~x963749+4096 ~x963748+2048 ~x963747+1024 ~x963746+512 ~x963745+256 ~x963744+128 ~x963743+64 ~x963742+32 ~x963741+16 ~x963740+8 ~x963739+4 ~x963738+2 ~x963737+1 ~x963736+20480 ~x18594+10240 ~x18593+5120 ~x18592+2560 ~x18591+1280 ~x18590+640 ~x18589+320 ~x18588+160 ~x18587+80 ~x18586+40 ~x18585+20 ~x18584+10 ~x18583+5 ~x18582-0=103418 36.77/36.83 c 16384 ~x967310+8192 ~x967309+4096 ~x967308+2048 ~x967307+1024 ~x967306+512 ~x967305+256 ~x967304+128 ~x967303+64 ~x967302+32 ~x967301+16 ~x967300+8 ~x967299+4 ~x967298+2 ~x967297+1 ~x967296+25600 ~x18606+12800 ~x18605+6400 ~x18604+3200 ~x18603+1600 ~x18602+800 ~x18601+400 ~x18600+200 ~x18599+100 ~x18598+50 ~x18597+25 ~x18596-0=63206 36.88/36.92 c 4194304 ~x970433+2097152 ~x970432+1048576 ~x970431+524288 ~x970430+262144 ~x970429+131072 ~x970428+65536 ~x970427+32768 ~x970426+16384 ~x970425+8192 ~x970424+4096 ~x970423+2048 ~x970422+1024 ~x970421+512 ~x970420+256 ~x970419+128 ~x970418+64 ~x970417+32 ~x970416+16 ~x970415+8 ~x970414+4 ~x970413+2 ~x970412+1 ~x970411+3276800 ~x18626+1638400 ~x18625+819200 ~x18624+409600 ~x18623+204800 ~x18622+102400 ~x18621+51200 ~x18620+25600 ~x18619+12800 ~x18618+6400 ~x18617+3200 ~x18616+1600 ~x18615+800 ~x18614+400 ~x18613+200 ~x18612+100 ~x18611+50 ~x18610+25 ~x18609-0=14301158 37.07/37.11 c 131072 ~x978533+65536 ~x978532+32768 ~x978531+16384 ~x978530+8192 ~x978529+4096 ~x978528+2048 ~x978527+1024 ~x978526+512 ~x978525+256 ~x978524+128 ~x978523+64 ~x978522+32 ~x978521+16 ~x978520+8 ~x978519+4 ~x978518+2 ~x978517+1 ~x978516+163840 ~x18643+81920 ~x18642+40960 ~x18641+20480 ~x18640+10240 ~x18639+5120 ~x18638+2560 ~x18637+1280 ~x18636+640 ~x18635+320 ~x18634+160 ~x18633+80 ~x18632+40 ~x18631+20 ~x18630+10 ~x18629+5 ~x18628-0=499194 37.17/37.24 c 65536 ~x983644+32768 ~x983643+16384 ~x983642+8192 ~x983641+4096 ~x983640+2048 ~x983639+1024 ~x983638+512 ~x983637+256 ~x983636+128 ~x983635+64 ~x983634+32 ~x983633+16 ~x983632+8 ~x983631+4 ~x983630+2 ~x983629+1 ~x983628+81920 ~x18660+40960 ~x18659+20480 ~x18658+10240 ~x18657+5120 ~x18656+2560 ~x18655+1280 ~x18654+640 ~x18653+320 ~x18652+160 ~x18651+80 ~x18650+40 ~x18649+20 ~x18648+10 ~x18647+5 ~x18646-0=245498 37.28/37.34 c 4096 ~x987780+2048 ~x987779+1024 ~x987778+512 ~x987777+256 ~x987776+128 ~x987775+64 ~x987774+32 ~x987773+16 ~x987772+8 ~x987771+4 ~x987770+2 ~x987769+1 ~x987768+4096 ~x18676+2048 ~x18675+1024 ~x18674+512 ~x18673+256 ~x18672+128 ~x18671+64 ~x18670+32 ~x18669+16 ~x18668+8 ~x18667+4 ~x18666+2 ~x18665+1 ~x18664-0=15358 37.38/37.40 c 262144 ~x990364+131072 ~x990363+65536 ~x990362+32768 ~x990361+16384 ~x990360+8192 ~x990359+4096 ~x990358+2048 ~x990357+1024 ~x990356+512 ~x990355+256 ~x990354+128 ~x990353+64 ~x990352+32 ~x990351+16 ~x990350+8 ~x990349+4 ~x990348+2 ~x990347+1 ~x990346+204800 ~x18691+102400 ~x18690+51200 ~x18689+25600 ~x18688+12800 ~x18687+6400 ~x18686+3200 ~x18685+1600 ~x18684+800 ~x18683+400 ~x18682+200 ~x18681+100 ~x18680+50 ~x18679+25 ~x18678-0=856806 37.47/37.53 c 131072 ~x995589+65536 ~x995588+32768 ~x995587+16384 ~x995586+8192 ~x995585+4096 ~x995584+2048 ~x995583+1024 ~x995582+512 ~x995581+256 ~x995580+128 ~x995579+64 ~x995578+32 ~x995577+16 ~x995576+8 ~x995575+4 ~x995574+2 ~x995573+1 ~x995572+204800 ~x18709+102400 ~x18708+51200 ~x18707+25600 ~x18706+12800 ~x18705+6400 ~x18704+3200 ~x18703+1600 ~x18702+800 ~x18701+400 ~x18700+200 ~x18699+100 ~x18698+50 ~x18697+25 ~x18696-0=522470 37.56/37.66 c 2097152 ~x1000357+1048576 ~x1000356+524288 ~x1000355+262144 ~x1000354+131072 ~x1000353+65536 ~x1000352+32768 ~x1000351+16384 ~x1000350+8192 ~x1000349+4096 ~x1000348+2048 ~x1000347+1024 ~x1000346+512 ~x1000345+256 ~x1000344+128 ~x1000343+64 ~x1000342+32 ~x1000341+16 ~x1000340+8 ~x1000339+4 ~x1000338+2 ~x1000337+1 ~x1000336+1638400 ~x18727+819200 ~x18726+409600 ~x18725+204800 ~x18724+102400 ~x18723+51200 ~x18722+25600 ~x18721+12800 ~x18720+6400 ~x18719+3200 ~x18718+1600 ~x18717+800 ~x18716+400 ~x18715+200 ~x18714+100 ~x18713+50 ~x18712+25 ~x18711-0=7018214 37.77/37.83 c 8192 ~x1007668+4096 ~x1007667+2048 ~x1007666+1024 ~x1007665+512 ~x1007664+256 ~x1007663+128 ~x1007662+64 ~x1007661+32 ~x1007660+16 ~x1007659+8 ~x1007658+4 ~x1007657+2 ~x1007656+1 ~x1007655+8192 ~x18742+4096 ~x18741+2048 ~x18740+1024 ~x18739+512 ~x18738+256 ~x18737+128 ~x18736+64 ~x18735+32 ~x18734+16 ~x18733+8 ~x18732+4 ~x18731+2 ~x18730+1 ~x18729-0=30718 37.87/37.92 c 262144 ~x1011001+131072 ~x1011000+65536 ~x1010999+32768 ~x1010998+16384 ~x1010997+8192 ~x1010996+4096 ~x1010995+2048 ~x1010994+1024 ~x1010993+512 ~x1010992+256 ~x1010991+128 ~x1010990+64 ~x1010989+32 ~x1010988+16 ~x1010987+8 ~x1010986+4 ~x1010985+2 ~x1010984+1 ~x1010983+204800 ~x18757+102400 ~x18756+51200 ~x18755+25600 ~x18754+12800 ~x18753+6400 ~x18752+3200 ~x18751+1600 ~x18750+800 ~x18749+400 ~x18748+200 ~x18747+100 ~x18746+50 ~x18745+25 ~x18744-0=805606 37.97/38.05 c 131072 ~x1016226+65536 ~x1016225+32768 ~x1016224+16384 ~x1016223+8192 ~x1016222+4096 ~x1016221+2048 ~x1016220+1024 ~x1016219+512 ~x1016218+256 ~x1016217+128 ~x1016216+64 ~x1016215+32 ~x1016214+16 ~x1016213+8 ~x1016212+4 ~x1016211+2 ~x1016210+1 ~x1016209+81920 ~x18774+40960 ~x18773+20480 ~x18772+10240 ~x18771+5120 ~x18770+2560 ~x18769+1280 ~x18768+640 ~x18767+320 ~x18766+160 ~x18765+80 ~x18764+40 ~x18763+20 ~x18762+10 ~x18761+5 ~x18760-0=401914 38.07/38.19 c 4096 ~x1021159+2048 ~x1021158+1024 ~x1021157+512 ~x1021156+256 ~x1021155+128 ~x1021154+64 ~x1021153+32 ~x1021152+16 ~x1021151+8 ~x1021150+4 ~x1021149+2 ~x1021148+1 ~x1021147+2560 ~x18787+1280 ~x18786+640 ~x18785+320 ~x18784+160 ~x18783+80 ~x18782+40 ~x18781+20 ~x18780+10 ~x18779+5 ~x18778-0=12794 38.17/38.24 c 32768 ~x1023158+16384 ~x1023157+8192 ~x1023156+4096 ~x1023155+2048 ~x1023154+1024 ~x1023153+512 ~x1023152+256 ~x1023151+128 ~x1023150+64 ~x1023149+32 ~x1023148+16 ~x1023147+8 ~x1023146+4 ~x1023145+2 ~x1023144+1 ~x1023143+20480 ~x18805+10240 ~x18804+5120 ~x18803+2560 ~x18802+1280 ~x18801+640 ~x18800+320 ~x18799+160 ~x18798+80 ~x18797+40 ~x18796+20 ~x18795+10 ~x18794+5 ~x18793-0=103418 38.27/38.33 c 1024 ~x1026713+512 ~x1026712+256 ~x1026711+128 ~x1026710+64 ~x1026709+32 ~x1026708+16 ~x1026707+8 ~x1026706+4 ~x1026705+2 ~x1026704+1 ~x1026703+1280 ~x18816+640 ~x18815+320 ~x18814+160 ~x18813+80 ~x18812+40 ~x18811+20 ~x18810+10 ~x18809+5 ~x18808-0=3578 38.27/38.37 c 4096 ~x1028212+2048 ~x1028211+1024 ~x1028210+512 ~x1028209+256 ~x1028208+128 ~x1028207+64 ~x1028206+32 ~x1028205+16 ~x1028204+8 ~x1028203+4 ~x1028202+2 ~x1028201+1 ~x1028200+5120 ~x18831+2560 ~x18830+1280 ~x18829+640 ~x18828+320 ~x18827+160 ~x18826+80 ~x18825+40 ~x18824+20 ~x18823+10 ~x18822+5 ~x18821-0=16378 38.37/38.43 c 1048576 ~x1030420+524288 ~x1030419+262144 ~x1030418+131072 ~x1030417+65536 ~x1030416+32768 ~x1030415+16384 ~x1030414+8192 ~x1030413+4096 ~x1030412+2048 ~x1030411+1024 ~x1030410+512 ~x1030409+256 ~x1030408+128 ~x1030407+64 ~x1030406+32 ~x1030405+16 ~x1030404+8 ~x1030403+4 ~x1030402+2 ~x1030401+1 ~x1030400+819200 ~x18853+409600 ~x18852+204800 ~x18851+102400 ~x18850+51200 ~x18849+25600 ~x18848+12800 ~x18847+6400 ~x18846+3200 ~x18845+1600 ~x18844+800 ~x18843+400 ~x18842+200 ~x18841+100 ~x18840+50 ~x18839+25 ~x18838-0=3618022 38.47/38.58 c 262144 ~x1036555+131072 ~x1036554+65536 ~x1036553+32768 ~x1036552+16384 ~x1036551+8192 ~x1036550+4096 ~x1036549+2048 ~x1036548+1024 ~x1036547+512 ~x1036546+256 ~x1036545+128 ~x1036544+64 ~x1036543+32 ~x1036542+16 ~x1036541+8 ~x1036540+4 ~x1036539+2 ~x1036538+1 ~x1036537+327680 ~x18871+163840 ~x18870+81920 ~x18869+40960 ~x18868+20480 ~x18867+10240 ~x18866+5120 ~x18865+2560 ~x18864+1280 ~x18863+640 ~x18862+320 ~x18861+160 ~x18860+80 ~x18859+40 ~x18858+20 ~x18857+10 ~x18856+5 ~x18855-0=999674 38.67/38.72 c 32768 ~x1042327+16384 ~x1042326+8192 ~x1042325+4096 ~x1042324+2048 ~x1042323+1024 ~x1042322+512 ~x1042321+256 ~x1042320+128 ~x1042319+64 ~x1042318+32 ~x1042317+16 ~x1042316+8 ~x1042315+4 ~x1042314+2 ~x1042313+1 ~x1042312+51200 ~x18884+25600 ~x18883+12800 ~x18882+6400 ~x18881+3200 ~x18880+1600 ~x18879+800 ~x18878+400 ~x18877+200 ~x18876+100 ~x18875+50 ~x18874+25 ~x18873-0=126694 38.77/38.80 c 512 ~x1045737+256 ~x1045736+128 ~x1045735+64 ~x1045734+32 ~x1045733+16 ~x1045732+8 ~x1045731+4 ~x1045730+2 ~x1045729+1 ~x1045728+512 ~x18896+256 ~x18895+128 ~x18894+64 ~x18893+32 ~x18892+16 ~x18891+8 ~x18890+4 ~x18889+2 ~x18888+1 ~x18887-0=1790 38.77/38.84 c 262144 ~x1047048+131072 ~x1047047+65536 ~x1047046+32768 ~x1047045+16384 ~x1047044+8192 ~x1047043+4096 ~x1047042+2048 ~x1047041+1024 ~x1047040+512 ~x1047039+256 ~x1047038+128 ~x1047037+64 ~x1047036+32 ~x1047035+16 ~x1047034+8 ~x1047033+4 ~x1047032+2 ~x1047031+1 ~x1047030+204800 ~x18913+102400 ~x18912+51200 ~x18911+25600 ~x18910+12800 ~x18909+6400 ~x18908+3200 ~x18907+1600 ~x18906+800 ~x18905+400 ~x18904+200 ~x18903+100 ~x18902+50 ~x18901+25 ~x18900-0=858598 38.87/38.97 c 131072 ~x1052273+65536 ~x1052272+32768 ~x1052271+16384 ~x1052270+8192 ~x1052269+4096 ~x1052268+2048 ~x1052267+1024 ~x1052266+512 ~x1052265+256 ~x1052264+128 ~x1052263+64 ~x1052262+32 ~x1052261+16 ~x1052260+8 ~x1052259+4 ~x1052258+2 ~x1052257+1 ~x1052256+163840 ~x18931+81920 ~x18930+40960 ~x18929+20480 ~x18928+10240 ~x18927+5120 ~x18926+2560 ~x18925+1280 ~x18924+640 ~x18923+320 ~x18922+160 ~x18921+80 ~x18920+40 ~x18919+20 ~x18918+10 ~x18917+5 ~x18916-0=493562 38.96/39.09 c 8192 ~x1057381+4096 ~x1057380+2048 ~x1057379+1024 ~x1057378+512 ~x1057377+256 ~x1057376+128 ~x1057375+64 ~x1057374+32 ~x1057373+16 ~x1057372+8 ~x1057371+4 ~x1057370+2 ~x1057369+1 ~x1057368+5120 ~x18945+2560 ~x18944+1280 ~x18943+640 ~x18942+320 ~x18941+160 ~x18940+80 ~x18939+40 ~x18938+20 ~x18937+10 ~x18936+5 ~x18935-0=26362 39.07/39.15 c 8192 ~x1059702+4096 ~x1059701+2048 ~x1059700+1024 ~x1059699+512 ~x1059698+256 ~x1059697+128 ~x1059696+64 ~x1059695+32 ~x1059694+16 ~x1059693+8 ~x1059692+4 ~x1059691+2 ~x1059690+1 ~x1059689+10240 ~x18960+5120 ~x18959+2560 ~x18958+1280 ~x18957+640 ~x18956+320 ~x18955+160 ~x18954+80 ~x18953+40 ~x18952+20 ~x18951+10 ~x18950+5 ~x18949-0=27642 39.17/39.23 c 524288 ~x1062598+262144 ~x1062597+131072 ~x1062596+65536 ~x1062595+32768 ~x1062594+16384 ~x1062593+8192 ~x1062592+4096 ~x1062591+2048 ~x1062590+1024 ~x1062589+512 ~x1062588+256 ~x1062587+128 ~x1062586+64 ~x1062585+32 ~x1062584+16 ~x1062583+8 ~x1062582+4 ~x1062581+2 ~x1062580+1 ~x1062579+655360 ~x18979+327680 ~x18978+163840 ~x18977+81920 ~x18976+40960 ~x18975+20480 ~x18974+10240 ~x18973+5120 ~x18972+2560 ~x18971+1280 ~x18970+640 ~x18969+320 ~x18968+160 ~x18967+80 ~x18966+40 ~x18965+20 ~x18964+10 ~x18963+5 ~x18962-0=1916154 39.27/39.38 c 8388608 ~x1068756+4194304 ~x1068755+2097152 ~x1068754+1048576 ~x1068753+524288 ~x1068752+262144 ~x1068751+131072 ~x1068750+65536 ~x1068749+32768 ~x1068748+16384 ~x1068747+8192 ~x1068746+4096 ~x1068745+2048 ~x1068744+1024 ~x1068743+512 ~x1068742+256 ~x1068741+128 ~x1068740+64 ~x1068739+32 ~x1068738+16 ~x1068737+8 ~x1068736+4 ~x1068735+2 ~x1068734+1 ~x1068733+6553600 ~x18999+3276800 ~x18998+1638400 ~x18997+819200 ~x18996+409600 ~x18995+204800 ~x18994+102400 ~x18993+51200 ~x18992+25600 ~x18991+12800 ~x18990+6400 ~x18989+3200 ~x18988+1600 ~x18987+800 ~x18986+400 ~x18985+200 ~x18984+100 ~x18983+50 ~x18982+25 ~x18981-0=27584742 39.47/39.58 c 131072 ~x1077312+65536 ~x1077311+32768 ~x1077310+16384 ~x1077309+8192 ~x1077308+4096 ~x1077307+2048 ~x1077306+1024 ~x1077305+512 ~x1077304+256 ~x1077303+128 ~x1077302+64 ~x1077301+32 ~x1077300+16 ~x1077299+8 ~x1077298+4 ~x1077297+2 ~x1077296+1 ~x1077295+102400 ~x19013+51200 ~x19012+25600 ~x19011+12800 ~x19010+6400 ~x19009+3200 ~x19008+1600 ~x19007+800 ~x19006+400 ~x19005+200 ~x19004+100 ~x19003+50 ~x19002+25 ~x19001-0=407526 39.66/39.70 c 524288 ~x1081904+262144 ~x1081903+131072 ~x1081902+65536 ~x1081901+32768 ~x1081900+16384 ~x1081899+8192 ~x1081898+4096 ~x1081897+2048 ~x1081896+1024 ~x1081895+512 ~x1081894+256 ~x1081893+128 ~x1081892+64 ~x1081891+32 ~x1081890+16 ~x1081889+8 ~x1081888+4 ~x1081887+2 ~x1081886+1 ~x1081885+327680 ~x19031+163840 ~x19030+81920 ~x19029+40960 ~x19028+20480 ~x19027+10240 ~x19026+5120 ~x19025+2560 ~x19024+1280 ~x19023+640 ~x19022+320 ~x19021+160 ~x19020+80 ~x19019+40 ~x19018+20 ~x19017+10 ~x19016+5 ~x19015-0=1613818 39.76/39.85 c 262144 ~x1087874+131072 ~x1087873+65536 ~x1087872+32768 ~x1087871+16384 ~x1087870+8192 ~x1087869+4096 ~x1087868+2048 ~x1087867+1024 ~x1087866+512 ~x1087865+256 ~x1087864+128 ~x1087863+64 ~x1087862+32 ~x1087861+16 ~x1087860+8 ~x1087859+4 ~x1087858+2 ~x1087857+1 ~x1087856+204800 ~x19046+102400 ~x19045+51200 ~x19044+25600 ~x19043+12800 ~x19042+6400 ~x19041+3200 ~x19040+1600 ~x19039+800 ~x19038+400 ~x19037+200 ~x19036+100 ~x19035+50 ~x19034+25 ~x19033-0=828390 39.86/39.98 c 262144 ~x1093100+131072 ~x1093099+65536 ~x1093098+32768 ~x1093097+16384 ~x1093096+8192 ~x1093095+4096 ~x1093094+2048 ~x1093093+1024 ~x1093092+512 ~x1093091+256 ~x1093090+128 ~x1093089+64 ~x1093088+32 ~x1093087+16 ~x1093086+8 ~x1093085+4 ~x1093084+2 ~x1093083+1 ~x1093082+204800 ~x19061+102400 ~x19060+51200 ~x19059+25600 ~x19058+12800 ~x19057+6400 ~x19056+3200 ~x19055+1600 ~x19054+800 ~x19053+400 ~x19052+200 ~x19051+100 ~x19050+50 ~x19049+25 ~x19048-0=858854 40.07/40.10 c 32768 ~x1098323+16384 ~x1098322+8192 ~x1098321+4096 ~x1098320+2048 ~x1098319+1024 ~x1098318+512 ~x1098317+256 ~x1098316+128 ~x1098315+64 ~x1098314+32 ~x1098313+16 ~x1098312+8 ~x1098311+4 ~x1098310+2 ~x1098309+1 ~x1098308+25600 ~x19073+12800 ~x19072+6400 ~x19071+3200 ~x19070+1600 ~x19069+800 ~x19068+400 ~x19067+200 ~x19066+100 ~x19065+50 ~x19064+25 ~x19063-0=109542 40.07/40.18 c 512 ~x1101589+256 ~x1101588+128 ~x1101587+64 ~x1101586+32 ~x1101585+16 ~x1101584+8 ~x1101583+4 ~x1101582+2 ~x1101581+1 ~x1101580+512 ~x19084+256 ~x19083+128 ~x19082+64 ~x19081+32 ~x19080+16 ~x19079+8 ~x19078+4 ~x19077+2 ~x19076+1 ~x19075-0=1790 40.17/40.22 c 65536 ~x1102898+32768 ~x1102897+16384 ~x1102896+8192 ~x1102895+4096 ~x1102894+2048 ~x1102893+1024 ~x1102892+512 ~x1102891+256 ~x1102890+128 ~x1102889+64 ~x1102888+32 ~x1102887+16 ~x1102886+8 ~x1102885+4 ~x1102884+2 ~x1102883+1 ~x1102882+102400 ~x19099+51200 ~x19098+25600 ~x19097+12800 ~x19096+6400 ~x19095+3200 ~x19094+1600 ~x19093+800 ~x19092+400 ~x19091+200 ~x19090+100 ~x19089+50 ~x19088+25 ~x19087-0=254950 40.27/40.32 c 65536 ~x1106738+32768 ~x1106737+16384 ~x1106736+8192 ~x1106735+4096 ~x1106734+2048 ~x1106733+1024 ~x1106732+512 ~x1106731+256 ~x1106730+128 ~x1106729+64 ~x1106728+32 ~x1106727+16 ~x1106726+8 ~x1106725+4 ~x1106724+2 ~x1106723+1 ~x1106722+40960 ~x19114+20480 ~x19113+10240 ~x19112+5120 ~x19111+2560 ~x19110+1280 ~x19109+640 ~x19108+320 ~x19107+160 ~x19106+80 ~x19105+40 ~x19104+20 ~x19103+10 ~x19102+5 ~x19101-0=199674 40.36/40.41 c 8192 ~x1110725+4096 ~x1110724+2048 ~x1110723+1024 ~x1110722+512 ~x1110721+256 ~x1110720+128 ~x1110719+64 ~x1110718+32 ~x1110717+16 ~x1110716+8 ~x1110715+4 ~x1110714+2 ~x1110713+1 ~x1110712+6400 ~x19124+3200 ~x19123+1600 ~x19122+800 ~x19121+400 ~x19120+200 ~x19119+100 ~x19118+50 ~x19117+25 ~x19116-0=25574 40.36/40.47 c 524288 ~x1112830+262144 ~x1112829+131072 ~x1112828+65536 ~x1112827+32768 ~x1112826+16384 ~x1112825+8192 ~x1112824+4096 ~x1112823+2048 ~x1112822+1024 ~x1112821+512 ~x1112820+256 ~x1112819+128 ~x1112818+64 ~x1112817+32 ~x1112816+16 ~x1112815+8 ~x1112814+4 ~x1112813+2 ~x1112812+1 ~x1112811+819200 ~x19145+409600 ~x19144+204800 ~x19143+102400 ~x19142+51200 ~x19141+25600 ~x19140+12800 ~x19139+6400 ~x19138+3200 ~x19137+1600 ~x19136+800 ~x19135+400 ~x19134+200 ~x19133+100 ~x19132+50 ~x19131+25 ~x19130-0=2054886 40.58/40.61 c 131072 ~x1118766+65536 ~x1118765+32768 ~x1118764+16384 ~x1118763+8192 ~x1118762+4096 ~x1118761+2048 ~x1118760+1024 ~x1118759+512 ~x1118758+256 ~x1118757+128 ~x1118756+64 ~x1118755+32 ~x1118754+16 ~x1118753+8 ~x1118752+4 ~x1118751+2 ~x1118750+1 ~x1118749+102400 ~x19159+51200 ~x19158+25600 ~x19157+12800 ~x19156+6400 ~x19155+3200 ~x19154+1600 ~x19153+800 ~x19152+400 ~x19151+200 ~x19150+100 ~x19149+50 ~x19148+25 ~x19147-0=393446 40.67/40.73 c 524288 ~x1123358+262144 ~x1123357+131072 ~x1123356+65536 ~x1123355+32768 ~x1123354+16384 ~x1123353+8192 ~x1123352+4096 ~x1123351+2048 ~x1123350+1024 ~x1123349+512 ~x1123348+256 ~x1123347+128 ~x1123346+64 ~x1123345+32 ~x1123344+16 ~x1123343+8 ~x1123342+4 ~x1123341+2 ~x1123340+1 ~x1123339+409600 ~x19175+204800 ~x19174+102400 ~x19173+51200 ~x19172+25600 ~x19171+12800 ~x19170+6400 ~x19169+3200 ~x19168+1600 ~x19167+800 ~x19166+400 ~x19165+200 ~x19164+100 ~x19163+50 ~x19162+25 ~x19161-0=1588198 40.76/40.86 c 65536 ~x1128960+32768 ~x1128959+16384 ~x1128958+8192 ~x1128957+4096 ~x1128956+2048 ~x1128955+1024 ~x1128954+512 ~x1128953+256 ~x1128952+128 ~x1128951+64 ~x1128950+32 ~x1128949+16 ~x1128948+8 ~x1128947+4 ~x1128946+2 ~x1128945+1 ~x1128944+40960 ~x19191+20480 ~x19190+10240 ~x19189+5120 ~x19188+2560 ~x19187+1280 ~x19186+640 ~x19185+320 ~x19184+160 ~x19183+80 ~x19182+40 ~x19181+20 ~x19180+10 ~x19179+5 ~x19178-0=208378 40.86/40.96 c 8192 ~x1132947+4096 ~x1132946+2048 ~x1132945+1024 ~x1132944+512 ~x1132943+256 ~x1132942+128 ~x1132941+64 ~x1132940+32 ~x1132939+16 ~x1132938+8 ~x1132937+4 ~x1132936+2 ~x1132935+1 ~x1132934+8192 ~x19208+4096 ~x19207+2048 ~x19206+1024 ~x19205+512 ~x19204+256 ~x19203+128 ~x19202+64 ~x19201+32 ~x19200+16 ~x19199+8 ~x19198+4 ~x19197+2 ~x19196+1 ~x19195-0=28670 40.97/41.05 c 65536 ~x1136278+32768 ~x1136277+16384 ~x1136276+8192 ~x1136275+4096 ~x1136274+2048 ~x1136273+1024 ~x1136272+512 ~x1136271+256 ~x1136270+128 ~x1136269+64 ~x1136268+32 ~x1136267+16 ~x1136266+8 ~x1136265+4 ~x1136264+2 ~x1136263+1 ~x1136262+51200 ~x19222+25600 ~x19221+12800 ~x19220+6400 ~x19219+3200 ~x19218+1600 ~x19217+800 ~x19216+400 ~x19215+200 ~x19214+100 ~x19213+50 ~x19212+25 ~x19211-0=224230 41.07/41.14 c 8192 ~x1139965+4096 ~x1139964+2048 ~x1139963+1024 ~x1139962+512 ~x1139961+256 ~x1139960+128 ~x1139959+64 ~x1139958+32 ~x1139957+16 ~x1139956+8 ~x1139955+4 ~x1139954+2 ~x1139953+1 ~x1139952+10240 ~x19238+5120 ~x19237+2560 ~x19236+1280 ~x19235+640 ~x1
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-2674158-1276799913/watcher-2674158-1276799913 -o /tmp/evaluation-result-2674158-1276799913/solver-2674158-1276799913 -C 1800 -W 2000 -M 1800 run HOME/instance-2674158-1276799913.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: 1.09 1.03 1.01 3/106 26196 /proc/meminfo: memFree=1873484/2059040 swapFree=4139880/4192956 [pid=26196] ppid=26194 vsize=8700 CPUtime=0 /proc/26196/stat : 26196 (run) S 26194 26196 25866 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21285778 8908800 251 1992294400 4194304 4922060 140733982859984 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26196/statm: 2175 251 211 178 0 68 0 [startup+0.019884 s] /proc/loadavg: 1.09 1.03 1.01 3/106 26196 /proc/meminfo: memFree=1873484/2059040 swapFree=4139880/4192956 [pid=26196] ppid=26194 vsize=8700 CPUtime=0 /proc/26196/stat : 26196 (run) S 26194 26196 25866 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21285778 8908800 251 1992294400 4194304 4922060 140733982859984 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26196/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100883 s] /proc/loadavg: 1.09 1.03 1.01 3/106 26196 /proc/meminfo: memFree=1873484/2059040 swapFree=4139880/4192956 [pid=26196] ppid=26194 vsize=8700 CPUtime=0 /proc/26196/stat : 26196 (run) S 26194 26196 25866 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21285778 8908800 251 1992294400 4194304 4922060 140733982859984 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26196/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300898 s] /proc/loadavg: 1.09 1.03 1.01 3/106 26196 /proc/meminfo: memFree=1873484/2059040 swapFree=4139880/4192956 [pid=26196] ppid=26194 vsize=8700 CPUtime=0 /proc/26196/stat : 26196 (run) S 26194 26196 25866 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21285778 8908800 251 1992294400 4194304 4922060 140733982859984 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26196/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700933 s] /proc/loadavg: 1.09 1.03 1.01 3/106 26196 /proc/meminfo: memFree=1873484/2059040 swapFree=4139880/4192956 [pid=26196] ppid=26194 vsize=8700 CPUtime=0 /proc/26196/stat : 26196 (run) S 26194 26196 25866 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21285778 8908800 251 1992294400 4194304 4922060 140733982859984 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26196/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.501 s] /proc/loadavg: 1.08 1.03 1.01 2/108 26199 /proc/meminfo: memFree=1712268/2059040 swapFree=4139880/4192956 [pid=26196] ppid=26194 vsize=8700 CPUtime=0 /proc/26196/stat : 26196 (run) S 26194 26196 25866 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21285778 8908800 251 1992294400 4194304 4922060 140733982859984 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26196/statm: 2175 251 211 178 0 68 0 [pid=26198] ppid=26196 vsize=238852 CPUtime=1.48 /proc/26198/stat : 26198 (PBPASSolver) R 26196 26196 25866 0 -1 4202496 59501 0 0 0 62 86 0 0 19 0 1 0 21285778 244584448 59095 1992294400 134512640 134902295 4292778880 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26198/statm: 59713 59095 256 96 0 58925 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 247552 [startup+3.10114 s] /proc/loadavg: 1.08 1.03 1.01 2/108 26199 /proc/meminfo: memFree=1546604/2059040 swapFree=4139880/4192956 [pid=26196] ppid=26194 vsize=8700 CPUtime=0 /proc/26196/stat : 26196 (run) S 26194 26196 25866 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21285778 8908800 251 1992294400 4194304 4922060 140733982859984 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26196/statm: 2175 251 211 178 0 68 0 [pid=26198] ppid=26196 vsize=468836 CPUtime=3.08 /proc/26198/stat : 26198 (PBPASSolver) R 26196 26196 25866 0 -1 4202496 116926 0 0 0 136 172 0 0 24 0 1 0 21285778 480088064 116520 1992294400 134512640 134902295 4292778880 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26198/statm: 117209 116528 256 96 0 116421 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 477536 [startup+6.30142 s] /proc/loadavg: 1.08 1.03 1.01 2/108 26199 /proc/meminfo: memFree=1108432/2059040 swapFree=4139880/4192956 [pid=26196] ppid=26194 vsize=8700 CPUtime=0 /proc/26196/stat : 26196 (run) S 26194 26196 25866 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21285778 8908800 251 1992294400 4194304 4922060 140733982859984 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26196/statm: 2175 251 211 178 0 68 0 [pid=26198] ppid=26196 vsize=869892 CPUtime=6.28 /proc/26198/stat : 26198 (PBPASSolver) R 26196 26196 25866 0 -1 4202496 217118 0 0 0 309 319 0 0 25 0 1 0 21285778 890769408 216712 1992294400 134512640 134902295 4292778880 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26198/statm: 217473 216712 256 96 0 216685 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 878592 [startup+12.701 s] /proc/loadavg: 1.07 1.03 1.00 2/108 26201 /proc/meminfo: memFree=502276/2059040 swapFree=4139880/4192956 [pid=26196] ppid=26194 vsize=8700 CPUtime=0 /proc/26196/stat : 26196 (run) S 26194 26196 25866 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21285778 8908800 251 1992294400 4194304 4922060 140733982859984 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26196/statm: 2175 251 211 178 0 68 0 [pid=26198] ppid=26196 vsize=1432644 CPUtime=12.68 /proc/26198/stat : 26198 (PBPASSolver) R 26196 26196 25866 0 -1 4202496 357744 0 0 0 770 498 0 0 25 0 1 0 21285778 1467027456 357338 1992294400 134512640 134902295 4292778880 18446744073709551615 134893982 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26198/statm: 358161 357338 259 96 0 357373 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1441344 [startup+25.5011 s] /proc/loadavg: 1.06 1.03 1.00 2/108 26201 /proc/meminfo: memFree=315780/2059040 swapFree=4139880/4192956 [pid=26196] ppid=26194 vsize=8700 CPUtime=0 /proc/26196/stat : 26196 (run) S 26194 26196 25866 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21285778 8908800 251 1992294400 4194304 4922060 140733982859984 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26196/statm: 2175 251 211 178 0 68 0 [pid=26198] ppid=26196 vsize=1568816 CPUtime=25.48 /proc/26198/stat : 26198 (PBPASSolver) R 26196 26196 25866 0 -1 4202496 411022 0 0 0 2029 519 0 0 25 0 1 0 21285778 1606467584 389861 1992294400 134512640 134902295 4292778880 18446744073709551615 134519405 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26198/statm: 392204 389861 262 96 0 391416 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1577516 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+41.2014 s] /proc/loadavg: 1.04 1.02 1.00 2/108 26201 /proc/meminfo: memFree=52528/2059040 swapFree=4139880/4192956 [pid=26196] ppid=26194 vsize=8700 CPUtime=0 /proc/26196/stat : 26196 (run) S 26194 26196 25866 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21285778 8908800 251 1992294400 4194304 4922060 140733982859984 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26196/statm: 2175 251 211 178 0 68 0 [pid=26198] ppid=26196 vsize=1835592 CPUtime=41.17 /proc/26198/stat : 26198 (PBPASSolver) R 26196 26196 25866 0 -1 4202496 479819 0 0 0 3568 549 0 0 25 0 1 0 21285778 1879646208 454380 1992294400 134512640 134902295 4292778880 18446744073709551615 5289468 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26198/statm: 458898 454380 262 96 0 458110 0 Current children cumulated CPU time (s) 41.17 Current children cumulated vsize (KiB) 1844292 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 26196 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 41.17 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 41.2147 CPU time (s): 41.17 CPU user time (s): 35.68 CPU system time (s): 5.49 CPU usage (%): 99.8916 Max. virtual memory (cumulated for all children) (KiB): 1844292 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 0.06499 second user time and 0.226965 second system time The end
Begin job on node031 at 2010-06-17 20:38:33 IDJOB=2674158 IDBENCH=2432 IDSOLVER=1174 FILE ID=node031/2674158-1276799913 PBS_JOBID= 11176670 Free space on /tmp= 62576 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-seba.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674158-1276799913/watcher-2674158-1276799913 -o /tmp/evaluation-result-2674158-1276799913/solver-2674158-1276799913 -C 1800 -W 2000 -M 1800 run HOME/instance-2674158-1276799913.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1b2371606d4072012aff3f48017bfad5 RANDOM SEED=1977076724 node031.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.219 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.43 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.219 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.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1874004 kB Buffers: 9544 kB Cached: 85356 kB SwapCached: 5568 kB Active: 10076 kB Inactive: 97156 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1874004 kB SwapTotal: 4192956 kB SwapFree: 4139880 kB Dirty: 2256 kB Writeback: 0 kB AnonPages: 10976 kB Mapped: 12896 kB Slab: 55612 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180232 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62576 MiB End job on node031 at 2010-06-17 20:39:16