Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (MO) | 50.68 | 50.7151 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-grow15.opb |
MD5SUM | b4d90975042873aa16a95872bfad2ca2 |
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 | 0 |
Optimality of the best value was proved | NO |
Number of variables | 17130 |
Total number of constraints | 900 |
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 | 900 |
Minimum length of a constraint | 22 |
Maximum length of a constraint | 491 |
Number of terms in the objective function | 1335 |
Biggest coefficient in the objective function | 3758096384 |
Number of bits for the biggest coefficient in the objective function | 32 |
Sum of the numbers in the objective function | 154618822482 |
Number of bits of the sum of numbers in the objective function | 38 |
Biggest number in a constraint | 878188741787648 |
Number of bits of the biggest number in a constraint | 50 |
Biggest sum of numbers in a constraint | 4550739094651140 |
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 |
9.18/9.28 c 17130 900 0 0 0 0 0 0 9.18/9.28 c 4194304 ~x17154+2097152 ~x17153+1048576 ~x17152+524288 ~x17151+262144 ~x17150+131072 ~x17149+65536 ~x17148+32768 ~x17147+16384 ~x17146+8192 ~x17145+4096 ~x17144+2048 ~x17143+1024 ~x17142+512 ~x17141+256 ~x17140+128 ~x17139+64 ~x17138+32 ~x17137+16 ~x17136+8 ~x17135+4 ~x17134+2 ~x17133+1 ~x17132+4194304 ~x9114+2097152 ~x9113+1048576 ~x9112+524288 ~x9111+262144 ~x9110+131072 ~x9109+65536 ~x9108+32768 ~x9107+16384 ~x9106+8192 ~x9105+4096 ~x9104+2048 ~x9103+1024 ~x9102+512 ~x9101+256 ~x9100+128 ~x9099+64 ~x9098+32 ~x9097+16 ~x9096+8 ~x9095+4 ~x9094+2 ~x9093+1 ~x9092-0=15855614 9.48/9.55 c 67108864 ~x28451+33554432 ~x28450+16777216 ~x28449+8388608 ~x28448+4194304 ~x28447+2097152 ~x28446+1048576 ~x28445+524288 ~x28444+262144 ~x28443+131072 ~x28442+65536 ~x28441+32768 ~x28440+16384 ~x28439+8192 ~x28438+4096 ~x28437+2048 ~x28436+1024 ~x28435+512 ~x28434+256 ~x28433+128 ~x28432+64 ~x28431+32 ~x28430+16 ~x28429+8 ~x28428+4 ~x28427+2 ~x28426+1 ~x28425+67108864 ~x9478+33554432 ~x9477+16777216 ~x9476+8388608 ~x9475+4194304 ~x9474+2097152 ~x9473+1048576 ~x9472+524288 ~x9471+262144 ~x9470+131072 ~x9469+65536 ~x9468+32768 ~x9467+16384 ~x9466+8192 ~x9465+4096 ~x9464+2048 ~x9463+1024 ~x9462+512 ~x9461+256 ~x9460+128 ~x9459+64 ~x9458+32 ~x9457+16 ~x9456+8 ~x9455+4 ~x9454+2 ~x9453+1 ~x9452-0=227605502 9.89/10.00 c 8388608 ~x45223+4194304 ~x45222+2097152 ~x45221+1048576 ~x45220+524288 ~x45219+262144 ~x45218+131072 ~x45217+65536 ~x45216+32768 ~x45215+16384 ~x45214+8192 ~x45213+4096 ~x45212+2048 ~x45211+1024 ~x45210+512 ~x45209+256 ~x45208+128 ~x45207+64 ~x45206+32 ~x45205+16 ~x45204+8 ~x45203+4 ~x45202+2 ~x45201+1 ~x45200+8388608 ~x9895+4194304 ~x9894+2097152 ~x9893+1048576 ~x9892+524288 ~x9891+262144 ~x9890+131072 ~x9889+65536 ~x9888+32768 ~x9887+16384 ~x9886+8192 ~x9885+4096 ~x9884+2048 ~x9883+1024 ~x9882+512 ~x9881+256 ~x9880+128 ~x9879+64 ~x9878+32 ~x9877+16 ~x9876+8 ~x9875+4 ~x9874+2 ~x9873+1 ~x9872-0=29211646 10.18/10.28 c 33554432 ~x57089+16777216 ~x57088+8388608 ~x57087+4194304 ~x57086+2097152 ~x57085+1048576 ~x57084+524288 ~x57083+262144 ~x57082+131072 ~x57081+65536 ~x57080+32768 ~x57079+16384 ~x57078+8192 ~x57077+4096 ~x57076+2048 ~x57075+1024 ~x57074+512 ~x57073+256 ~x57072+128 ~x57071+64 ~x57070+32 ~x57069+16 ~x57068+8 ~x57067+4 ~x57066+2 ~x57065+1 ~x57064+33554432 ~x10302+16777216 ~x10301+8388608 ~x10300+4194304 ~x10299+2097152 ~x10298+1048576 ~x10297+524288 ~x10296+262144 ~x10295+131072 ~x10294+65536 ~x10293+32768 ~x10292+16384 ~x10291+8192 ~x10290+4096 ~x10289+2048 ~x10288+1024 ~x10287+512 ~x10286+256 ~x10285+128 ~x10284+64 ~x10283+32 ~x10282+16 ~x10281+8 ~x10280+4 ~x10279+2 ~x10278+1 ~x10277-0=133069822 10.49/10.60 c 1048576 ~x70764+524288 ~x70763+262144 ~x70762+131072 ~x70761+65536 ~x70760+32768 ~x70759+16384 ~x70758+8192 ~x70757+4096 ~x70756+2048 ~x70755+1024 ~x70754+512 ~x70753+256 ~x70752+128 ~x70751+64 ~x70750+32 ~x70749+16 ~x70748+8 ~x70747+4 ~x70746+2 ~x70745+1 ~x70744+1048576 ~x10702+524288 ~x10701+262144 ~x10700+131072 ~x10699+65536 ~x10698+32768 ~x10697+16384 ~x10696+8192 ~x10695+4096 ~x10694+2048 ~x10693+1024 ~x10692+512 ~x10691+256 ~x10690+128 ~x10689+64 ~x10688+32 ~x10687+16 ~x10686+8 ~x10685+4 ~x10684+2 ~x10683+1 ~x10682-0=4189182 10.68/10.79 c 2097152 ~x78902+1048576 ~x78901+524288 ~x78900+262144 ~x78899+131072 ~x78898+65536 ~x78897+32768 ~x78896+16384 ~x78895+8192 ~x78894+4096 ~x78893+2048 ~x78892+1024 ~x78891+512 ~x78890+256 ~x78889+128 ~x78888+64 ~x78887+32 ~x78886+16 ~x78885+8 ~x78884+4 ~x78883+2 ~x78882+1 ~x78881+2097152 ~x11078+1048576 ~x11077+524288 ~x11076+262144 ~x11075+131072 ~x11074+65536 ~x11073+32768 ~x11072+16384 ~x11071+8192 ~x11070+4096 ~x11069+2048 ~x11068+1024 ~x11067+512 ~x11066+256 ~x11065+128 ~x11064+64 ~x11063+32 ~x11062+16 ~x11061+8 ~x11060+4 ~x11059+2 ~x11058+1 ~x11057-0=6885374 10.99/11.04 c 16777216 ~x87685+8388608 ~x87684+4194304 ~x87683+2097152 ~x87682+1048576 ~x87681+524288 ~x87680+262144 ~x87679+131072 ~x87678+65536 ~x87677+32768 ~x87676+16384 ~x87675+8192 ~x87674+4096 ~x87673+2048 ~x87672+1024 ~x87671+512 ~x87670+256 ~x87669+128 ~x87668+64 ~x87667+32 ~x87666+16 ~x87665+8 ~x87664+4 ~x87663+2 ~x87662+1 ~x87661+16777216 ~x11471+8388608 ~x11470+4194304 ~x11469+2097152 ~x11468+1048576 ~x11467+524288 ~x11466+262144 ~x11465+131072 ~x11464+65536 ~x11463+32768 ~x11462+16384 ~x11461+8192 ~x11460+4096 ~x11459+2048 ~x11458+1024 ~x11457+512 ~x11456+256 ~x11455+128 ~x11454+64 ~x11453+32 ~x11452+16 ~x11451+8 ~x11450+4 ~x11449+2 ~x11448+1 ~x11447-0=65806334 11.28/11.34 c 16777216 ~x100548+8388608 ~x100547+4194304 ~x100546+2097152 ~x100545+1048576 ~x100544+524288 ~x100543+262144 ~x100542+131072 ~x100541+65536 ~x100540+32768 ~x100539+16384 ~x100538+8192 ~x100537+4096 ~x100536+2048 ~x100535+1024 ~x100534+512 ~x100533+256 ~x100532+128 ~x100531+64 ~x100530+32 ~x100529+16 ~x100528+8 ~x100527+4 ~x100526+2 ~x100525+1 ~x100524+16777216 ~x11861+8388608 ~x11860+4194304 ~x11859+2097152 ~x11858+1048576 ~x11857+524288 ~x11856+262144 ~x11855+131072 ~x11854+65536 ~x11853+32768 ~x11852+16384 ~x11851+8192 ~x11850+4096 ~x11849+2048 ~x11848+1024 ~x11847+512 ~x11846+256 ~x11845+128 ~x11844+64 ~x11843+32 ~x11842+16 ~x11841+8 ~x11840+4 ~x11839+2 ~x11838+1 ~x11837-0=58493950 11.59/11.65 c 2097152 ~x113408+1048576 ~x113407+524288 ~x113406+262144 ~x113405+131072 ~x113404+65536 ~x113403+32768 ~x113402+16384 ~x113401+8192 ~x113400+4096 ~x113399+2048 ~x113398+1024 ~x113397+512 ~x113396+256 ~x113395+128 ~x113394+64 ~x113393+32 ~x113392+16 ~x113391+8 ~x113390+4 ~x113389+2 ~x113388+1 ~x113387+2097152 ~x12248+1048576 ~x12247+524288 ~x12246+262144 ~x12245+131072 ~x12244+65536 ~x12243+32768 ~x12242+16384 ~x12241+8192 ~x12240+4096 ~x12239+2048 ~x12238+1024 ~x12237+512 ~x12236+256 ~x12235+128 ~x12234+64 ~x12233+32 ~x12232+16 ~x12231+8 ~x12230+4 ~x12229+2 ~x12228+1 ~x12227-0=7559166 11.78/11.86 c 67108864 ~x122193+33554432 ~x122192+16777216 ~x122191+8388608 ~x122190+4194304 ~x122189+2097152 ~x122188+1048576 ~x122187+524288 ~x122186+262144 ~x122185+131072 ~x122184+65536 ~x122183+32768 ~x122182+16384 ~x122181+8192 ~x122180+4096 ~x122179+2048 ~x122178+1024 ~x122177+512 ~x122176+256 ~x122175+128 ~x122174+64 ~x122173+32 ~x122172+16 ~x122171+8 ~x122170+4 ~x122169+2 ~x122168+1 ~x122167+67108864 ~x12628+33554432 ~x12627+16777216 ~x12626+8388608 ~x12625+4194304 ~x12624+2097152 ~x12623+1048576 ~x12622+524288 ~x12621+262144 ~x12620+131072 ~x12619+65536 ~x12618+32768 ~x12617+16384 ~x12616+8192 ~x12615+4096 ~x12614+2048 ~x12613+1024 ~x12612+512 ~x12611+256 ~x12610+128 ~x12609+64 ~x12608+32 ~x12607+16 ~x12606+8 ~x12605+4 ~x12604+2 ~x12603+1 ~x12602-0=251567102 12.18/12.25 c 134217728 ~x138969+67108864 ~x138968+33554432 ~x138967+16777216 ~x138966+8388608 ~x138965+4194304 ~x138964+2097152 ~x138963+1048576 ~x138962+524288 ~x138961+262144 ~x138960+131072 ~x138959+65536 ~x138958+32768 ~x138957+16384 ~x138956+8192 ~x138955+4096 ~x138954+2048 ~x138953+1024 ~x138952+512 ~x138951+256 ~x138950+128 ~x138949+64 ~x138948+32 ~x138947+16 ~x138946+8 ~x138945+4 ~x138944+2 ~x138943+1 ~x138942+134217728 ~x13049+67108864 ~x13048+33554432 ~x13047+16777216 ~x13046+8388608 ~x13045+4194304 ~x13044+2097152 ~x13043+1048576 ~x13042+524288 ~x13041+262144 ~x13040+131072 ~x13039+65536 ~x13038+32768 ~x13037+16384 ~x13036+8192 ~x13035+4096 ~x13034+2048 ~x13033+1024 ~x13032+512 ~x13031+256 ~x13030+128 ~x13029+64 ~x13028+32 ~x13027+16 ~x13026+8 ~x13025+4 ~x13024+2 ~x13023+1 ~x13022-0=414894078 12.58/12.66 c 2097152 ~x156447+1048576 ~x156446+524288 ~x156445+262144 ~x156444+131072 ~x156443+65536 ~x156442+32768 ~x156441+16384 ~x156440+8192 ~x156439+4096 ~x156438+2048 ~x156437+1024 ~x156436+512 ~x156435+256 ~x156434+128 ~x156433+64 ~x156432+32 ~x156431+16 ~x156430+8 ~x156429+4 ~x156428+2 ~x156427+1 ~x156426+2097152 ~x13478+1048576 ~x13477+524288 ~x13476+262144 ~x13475+131072 ~x13474+65536 ~x13473+32768 ~x13472+16384 ~x13471+8192 ~x13470+4096 ~x13469+2048 ~x13468+1024 ~x13467+512 ~x13466+256 ~x13465+128 ~x13464+64 ~x13463+32 ~x13462+16 ~x13461+8 ~x13460+4 ~x13459+2 ~x13458+1 ~x13457-0=6519806 12.78/12.87 c 8388608 ~x165229+4194304 ~x165228+2097152 ~x165227+1048576 ~x165226+524288 ~x165225+262144 ~x165224+131072 ~x165223+65536 ~x165222+32768 ~x165221+16384 ~x165220+8192 ~x165219+4096 ~x165218+2048 ~x165217+1024 ~x165216+512 ~x165215+256 ~x165214+128 ~x165213+64 ~x165212+32 ~x165211+16 ~x165210+8 ~x165209+4 ~x165208+2 ~x165207+1 ~x165206+8388608 ~x13825+4194304 ~x13824+2097152 ~x13823+1048576 ~x13822+524288 ~x13821+262144 ~x13820+131072 ~x13819+65536 ~x13818+32768 ~x13817+16384 ~x13816+8192 ~x13815+4096 ~x13814+2048 ~x13813+1024 ~x13812+512 ~x13811+256 ~x13810+128 ~x13809+64 ~x13808+32 ~x13807+16 ~x13806+8 ~x13805+4 ~x13804+2 ~x13803+1 ~x13802-0=32584702 13.09/13.15 c 2097152 ~x177091+1048576 ~x177090+524288 ~x177089+262144 ~x177088+131072 ~x177087+65536 ~x177086+32768 ~x177085+16384 ~x177084+8192 ~x177083+4096 ~x177082+2048 ~x177081+1024 ~x177080+512 ~x177079+256 ~x177078+128 ~x177077+64 ~x177076+32 ~x177075+16 ~x177074+8 ~x177073+4 ~x177072+2 ~x177071+1 ~x177070+2097152 ~x14198+1048576 ~x14197+524288 ~x14196+262144 ~x14195+131072 ~x14194+65536 ~x14193+32768 ~x14192+16384 ~x14191+8192 ~x14190+4096 ~x14189+2048 ~x14188+1024 ~x14187+512 ~x14186+256 ~x14185+128 ~x14184+64 ~x14183+32 ~x14182+16 ~x14181+8 ~x14180+4 ~x14179+2 ~x14178+1 ~x14177-0=7885822 13.28/13.36 c 16777216 ~x185874+8388608 ~x185873+4194304 ~x185872+2097152 ~x185871+1048576 ~x185870+524288 ~x185869+262144 ~x185868+131072 ~x185867+65536 ~x185866+32768 ~x185865+16384 ~x185864+8192 ~x185863+4096 ~x185862+2048 ~x185861+1024 ~x185860+512 ~x185859+256 ~x185858+128 ~x185857+64 ~x185856+32 ~x185855+16 ~x185854+8 ~x185853+4 ~x185852+2 ~x185851+1 ~x185850+16777216 ~x14591+8388608 ~x14590+4194304 ~x14589+2097152 ~x14588+1048576 ~x14587+524288 ~x14586+262144 ~x14585+131072 ~x14584+65536 ~x14583+32768 ~x14582+16384 ~x14581+8192 ~x14580+4096 ~x14579+2048 ~x14578+1024 ~x14577+512 ~x14576+256 ~x14575+128 ~x14574+64 ~x14573+32 ~x14572+16 ~x14571+8 ~x14570+4 ~x14569+2 ~x14568+1 ~x14567-0=66708478 13.58/13.66 c 8388608 ~x198736+4194304 ~x198735+2097152 ~x198734+1048576 ~x198733+524288 ~x198732+262144 ~x198731+131072 ~x198730+65536 ~x198729+32768 ~x198728+16384 ~x198727+8192 ~x198726+4096 ~x198725+2048 ~x198724+1024 ~x198723+512 ~x198722+256 ~x198721+128 ~x198720+64 ~x198719+32 ~x198718+16 ~x198717+8 ~x198716+4 ~x198715+2 ~x198714+1 ~x198713+8388608 ~x14980+4194304 ~x14979+2097152 ~x14978+1048576 ~x14977+524288 ~x14976+262144 ~x14975+131072 ~x14974+65536 ~x14973+32768 ~x14972+16384 ~x14971+8192 ~x14970+4096 ~x14969+2048 ~x14968+1024 ~x14967+512 ~x14966+256 ~x14965+128 ~x14964+64 ~x14963+32 ~x14962+16 ~x14961+8 ~x14960+4 ~x14959+2 ~x14958+1 ~x14957-0=27149310 13.88/13.94 c 536870912 ~x210606+268435456 ~x210605+134217728 ~x210604+67108864 ~x210603+33554432 ~x210602+16777216 ~x210601+8388608 ~x210600+4194304 ~x210599+2097152 ~x210598+1048576 ~x210597+524288 ~x210596+262144 ~x210595+131072 ~x210594+65536 ~x210593+32768 ~x210592+16384 ~x210591+8192 ~x210590+4096 ~x210589+2048 ~x210588+1024 ~x210587+512 ~x210586+256 ~x210585+128 ~x210584+64 ~x210583+32 ~x210582+16 ~x210581+8 ~x210580+4 ~x210579+2 ~x210578+1 ~x210577+536870912 ~x15361+268435456 ~x15360+134217728 ~x15359+67108864 ~x15358+33554432 ~x15357+16777216 ~x15356+8388608 ~x15355+4194304 ~x15354+2097152 ~x15353+1048576 ~x15352+524288 ~x15351+262144 ~x15350+131072 ~x15349+65536 ~x15348+32768 ~x15347+16384 ~x15346+8192 ~x15345+4096 ~x15344+2048 ~x15343+1024 ~x15342+512 ~x15341+256 ~x15340+128 ~x15339+64 ~x15338+32 ~x15337+16 ~x15336+8 ~x15335+4 ~x15334+2 ~x15333+1 ~x15332-0=2089986046 14.38/14.40 c 4194304 ~x230019+2097152 ~x230018+1048576 ~x230017+524288 ~x230016+262144 ~x230015+131072 ~x230014+65536 ~x230013+32768 ~x230012+16384 ~x230011+8192 ~x230010+4096 ~x230009+2048 ~x230008+1024 ~x230007+512 ~x230006+256 ~x230005+128 ~x230004+64 ~x230003+32 ~x230002+16 ~x230001+8 ~x230000+4 ~x229999+2 ~x229998+1 ~x229997+4194304 ~x9138+2097152 ~x9137+1048576 ~x9136+524288 ~x9135+262144 ~x9134+131072 ~x9133+65536 ~x9132+32768 ~x9131+16384 ~x9130+8192 ~x9129+4096 ~x9128+2048 ~x9127+1024 ~x9126+512 ~x9125+256 ~x9124+128 ~x9123+64 ~x9122+32 ~x9121+16 ~x9120+8 ~x9119+4 ~x9118+2 ~x9117+1 ~x9116-0=15855614 14.58/14.66 c 67108864 ~x241316+33554432 ~x241315+16777216 ~x241314+8388608 ~x241313+4194304 ~x241312+2097152 ~x241311+1048576 ~x241310+524288 ~x241309+262144 ~x241308+131072 ~x241307+65536 ~x241306+32768 ~x241305+16384 ~x241304+8192 ~x241303+4096 ~x241302+2048 ~x241301+1024 ~x241300+512 ~x241299+256 ~x241298+128 ~x241297+64 ~x241296+32 ~x241295+16 ~x241294+8 ~x241293+4 ~x241292+2 ~x241291+1 ~x241290+67108864 ~x9506+33554432 ~x9505+16777216 ~x9504+8388608 ~x9503+4194304 ~x9502+2097152 ~x9501+1048576 ~x9500+524288 ~x9499+262144 ~x9498+131072 ~x9497+65536 ~x9496+32768 ~x9495+16384 ~x9494+8192 ~x9493+4096 ~x9492+2048 ~x9491+1024 ~x9490+512 ~x9489+256 ~x9488+128 ~x9487+64 ~x9486+32 ~x9485+16 ~x9484+8 ~x9483+4 ~x9482+2 ~x9481+1 ~x9480-0=227605502 14.99/15.06 c 8388608 ~x258088+4194304 ~x258087+2097152 ~x258086+1048576 ~x258085+524288 ~x258084+262144 ~x258083+131072 ~x258082+65536 ~x258081+32768 ~x258080+16384 ~x258079+8192 ~x258078+4096 ~x258077+2048 ~x258076+1024 ~x258075+512 ~x258074+256 ~x258073+128 ~x258072+64 ~x258071+32 ~x258070+16 ~x258069+8 ~x258068+4 ~x258067+2 ~x258066+1 ~x258065+8388608 ~x9922+4194304 ~x9921+2097152 ~x9920+1048576 ~x9919+524288 ~x9918+262144 ~x9917+131072 ~x9916+65536 ~x9915+32768 ~x9914+16384 ~x9913+8192 ~x9912+4096 ~x9911+2048 ~x9910+1024 ~x9909+512 ~x9908+256 ~x9907+128 ~x9906+64 ~x9905+32 ~x9904+16 ~x9903+8 ~x9902+4 ~x9901+2 ~x9900+1 ~x9899-0=29211646 15.29/15.34 c 33554432 ~x269954+16777216 ~x269953+8388608 ~x269952+4194304 ~x269951+2097152 ~x269950+1048576 ~x269949+524288 ~x269948+262144 ~x269947+131072 ~x269946+65536 ~x269945+32768 ~x269944+16384 ~x269943+8192 ~x269942+4096 ~x269941+2048 ~x269940+1024 ~x269939+512 ~x269938+256 ~x269937+128 ~x269936+64 ~x269935+32 ~x269934+16 ~x269933+8 ~x269932+4 ~x269931+2 ~x269930+1 ~x269929+33554432 ~x10329+16777216 ~x10328+8388608 ~x10327+4194304 ~x10326+2097152 ~x10325+1048576 ~x10324+524288 ~x10323+262144 ~x10322+131072 ~x10321+65536 ~x10320+32768 ~x10319+16384 ~x10318+8192 ~x10317+4096 ~x10316+2048 ~x10315+1024 ~x10314+512 ~x10313+256 ~x10312+128 ~x10311+64 ~x10310+32 ~x10309+16 ~x10308+8 ~x10307+4 ~x10306+2 ~x10305+1 ~x10304-0=133069822 15.59/15.66 c 1048576 ~x283629+524288 ~x283628+262144 ~x283627+131072 ~x283626+65536 ~x283625+32768 ~x283624+16384 ~x283623+8192 ~x283622+4096 ~x283621+2048 ~x283620+1024 ~x283619+512 ~x283618+256 ~x283617+128 ~x283616+64 ~x283615+32 ~x283614+16 ~x283613+8 ~x283612+4 ~x283611+2 ~x283610+1 ~x283609+1048576 ~x10727+524288 ~x10726+262144 ~x10725+131072 ~x10724+65536 ~x10723+32768 ~x10722+16384 ~x10721+8192 ~x10720+4096 ~x10719+2048 ~x10718+1024 ~x10717+512 ~x10716+256 ~x10715+128 ~x10714+64 ~x10713+32 ~x10712+16 ~x10711+8 ~x10710+4 ~x10709+2 ~x10708+1 ~x10707-0=4189182 15.78/15.85 c 2097152 ~x291767+1048576 ~x291766+524288 ~x291765+262144 ~x291764+131072 ~x291763+65536 ~x291762+32768 ~x291761+16384 ~x291760+8192 ~x291759+4096 ~x291758+2048 ~x291757+1024 ~x291756+512 ~x291755+256 ~x291754+128 ~x291753+64 ~x291752+32 ~x291751+16 ~x291750+8 ~x291749+4 ~x291748+2 ~x291747+1 ~x291746+2097152 ~x11104+1048576 ~x11103+524288 ~x11102+262144 ~x11101+131072 ~x11100+65536 ~x11099+32768 ~x11098+16384 ~x11097+8192 ~x11096+4096 ~x11095+2048 ~x11094+1024 ~x11093+512 ~x11092+256 ~x11091+128 ~x11090+64 ~x11089+32 ~x11088+16 ~x11087+8 ~x11086+4 ~x11085+2 ~x11084+1 ~x11083-0=6885374 15.99/16.06 c 16777216 ~x300550+8388608 ~x300549+4194304 ~x300548+2097152 ~x300547+1048576 ~x300546+524288 ~x300545+262144 ~x300544+131072 ~x300543+65536 ~x300542+32768 ~x300541+16384 ~x300540+8192 ~x300539+4096 ~x300538+2048 ~x300537+1024 ~x300536+512 ~x300535+256 ~x300534+128 ~x300533+64 ~x300532+32 ~x300531+16 ~x300530+8 ~x300529+4 ~x300528+2 ~x300527+1 ~x300526+16777216 ~x11497+8388608 ~x11496+4194304 ~x11495+2097152 ~x11494+1048576 ~x11493+524288 ~x11492+262144 ~x11491+131072 ~x11490+65536 ~x11489+32768 ~x11488+16384 ~x11487+8192 ~x11486+4096 ~x11485+2048 ~x11484+1024 ~x11483+512 ~x11482+256 ~x11481+128 ~x11480+64 ~x11479+32 ~x11478+16 ~x11477+8 ~x11476+4 ~x11475+2 ~x11474+1 ~x11473-0=65806334 16.28/16.36 c 16777216 ~x313413+8388608 ~x313412+4194304 ~x313411+2097152 ~x313410+1048576 ~x313409+524288 ~x313408+262144 ~x313407+131072 ~x313406+65536 ~x313405+32768 ~x313404+16384 ~x313403+8192 ~x313402+4096 ~x313401+2048 ~x313400+1024 ~x313399+512 ~x313398+256 ~x313397+128 ~x313396+64 ~x313395+32 ~x313394+16 ~x313393+8 ~x313392+4 ~x313391+2 ~x313390+1 ~x313389+16777216 ~x11887+8388608 ~x11886+4194304 ~x11885+2097152 ~x11884+1048576 ~x11883+524288 ~x11882+262144 ~x11881+131072 ~x11880+65536 ~x11879+32768 ~x11878+16384 ~x11877+8192 ~x11876+4096 ~x11875+2048 ~x11874+1024 ~x11873+512 ~x11872+256 ~x11871+128 ~x11870+64 ~x11869+32 ~x11868+16 ~x11867+8 ~x11866+4 ~x11865+2 ~x11864+1 ~x11863-0=58493950 16.58/16.66 c 2097152 ~x326273+1048576 ~x326272+524288 ~x326271+262144 ~x326270+131072 ~x326269+65536 ~x326268+32768 ~x326267+16384 ~x326266+8192 ~x326265+4096 ~x326264+2048 ~x326263+1024 ~x326262+512 ~x326261+256 ~x326260+128 ~x326259+64 ~x326258+32 ~x326257+16 ~x326256+8 ~x326255+4 ~x326254+2 ~x326253+1 ~x326252+2097152 ~x12273+1048576 ~x12272+524288 ~x12271+262144 ~x12270+131072 ~x12269+65536 ~x12268+32768 ~x12267+16384 ~x12266+8192 ~x12265+4096 ~x12264+2048 ~x12263+1024 ~x12262+512 ~x12261+256 ~x12260+128 ~x12259+64 ~x12258+32 ~x12257+16 ~x12256+8 ~x12255+4 ~x12254+2 ~x12253+1 ~x12252-0=7559166 16.78/16.87 c 67108864 ~x335058+33554432 ~x335057+16777216 ~x335056+8388608 ~x335055+4194304 ~x335054+2097152 ~x335053+1048576 ~x335052+524288 ~x335051+262144 ~x335050+131072 ~x335049+65536 ~x335048+32768 ~x335047+16384 ~x335046+8192 ~x335045+4096 ~x335044+2048 ~x335043+1024 ~x335042+512 ~x335041+256 ~x335040+128 ~x335039+64 ~x335038+32 ~x335037+16 ~x335036+8 ~x335035+4 ~x335034+2 ~x335033+1 ~x335032+67108864 ~x12656+33554432 ~x12655+16777216 ~x12654+8388608 ~x12653+4194304 ~x12652+2097152 ~x12651+1048576 ~x12650+524288 ~x12649+262144 ~x12648+131072 ~x12647+65536 ~x12646+32768 ~x12645+16384 ~x12644+8192 ~x12643+4096 ~x12642+2048 ~x12641+1024 ~x12640+512 ~x12639+256 ~x12638+128 ~x12637+64 ~x12636+32 ~x12635+16 ~x12634+8 ~x12633+4 ~x12632+2 ~x12631+1 ~x12630-0=251567102 17.18/17.27 c 134217728 ~x351834+67108864 ~x351833+33554432 ~x351832+16777216 ~x351831+8388608 ~x351830+4194304 ~x351829+2097152 ~x351828+1048576 ~x351827+524288 ~x351826+262144 ~x351825+131072 ~x351824+65536 ~x351823+32768 ~x351822+16384 ~x351821+8192 ~x351820+4096 ~x351819+2048 ~x351818+1024 ~x351817+512 ~x351816+256 ~x351815+128 ~x351814+64 ~x351813+32 ~x351812+16 ~x351811+8 ~x351810+4 ~x351809+2 ~x351808+1 ~x351807+134217728 ~x13078+67108864 ~x13077+33554432 ~x13076+16777216 ~x13075+8388608 ~x13074+4194304 ~x13073+2097152 ~x13072+1048576 ~x13071+524288 ~x13070+262144 ~x13069+131072 ~x13068+65536 ~x13067+32768 ~x13066+16384 ~x13065+8192 ~x13064+4096 ~x13063+2048 ~x13062+1024 ~x13061+512 ~x13060+256 ~x13059+128 ~x13058+64 ~x13057+32 ~x13056+16 ~x13055+8 ~x13054+4 ~x13053+2 ~x13052+1 ~x13051-0=414894078 17.58/17.68 c 2097152 ~x369312+1048576 ~x369311+524288 ~x369310+262144 ~x369309+131072 ~x369308+65536 ~x369307+32768 ~x369306+16384 ~x369305+8192 ~x369304+4096 ~x369303+2048 ~x369302+1024 ~x369301+512 ~x369300+256 ~x369299+128 ~x369298+64 ~x369297+32 ~x369296+16 ~x369295+8 ~x369294+4 ~x369293+2 ~x369292+1 ~x369291+2097152 ~x13501+1048576 ~x13500+524288 ~x13499+262144 ~x13498+131072 ~x13497+65536 ~x13496+32768 ~x13495+16384 ~x13494+8192 ~x13493+4096 ~x13492+2048 ~x13491+1024 ~x13490+512 ~x13489+256 ~x13488+128 ~x13487+64 ~x13486+32 ~x13485+16 ~x13484+8 ~x13483+4 ~x13482+2 ~x13481+1 ~x13480-0=6519806 17.78/17.89 c 8388608 ~x378094+4194304 ~x378093+2097152 ~x378092+1048576 ~x378091+524288 ~x378090+262144 ~x378089+131072 ~x378088+65536 ~x378087+32768 ~x378086+16384 ~x378085+8192 ~x378084+4096 ~x378083+2048 ~x378082+1024 ~x378081+512 ~x378080+256 ~x378079+128 ~x378078+64 ~x378077+32 ~x378076+16 ~x378075+8 ~x378074+4 ~x378073+2 ~x378072+1 ~x378071+8388608 ~x13850+4194304 ~x13849+2097152 ~x13848+1048576 ~x13847+524288 ~x13846+262144 ~x13845+131072 ~x13844+65536 ~x13843+32768 ~x13842+16384 ~x13841+8192 ~x13840+4096 ~x13839+2048 ~x13838+1024 ~x13837+512 ~x13836+256 ~x13835+128 ~x13834+64 ~x13833+32 ~x13832+16 ~x13831+8 ~x13830+4 ~x13829+2 ~x13828+1 ~x13827-0=32584702 18.08/18.17 c 2097152 ~x389956+1048576 ~x389955+524288 ~x389954+262144 ~x389953+131072 ~x389952+65536 ~x389951+32768 ~x389950+16384 ~x389949+8192 ~x389948+4096 ~x389947+2048 ~x389946+1024 ~x389945+512 ~x389944+256 ~x389943+128 ~x389942+64 ~x389941+32 ~x389940+16 ~x389939+8 ~x389938+4 ~x389937+2 ~x389936+1 ~x389935+2097152 ~x14224+1048576 ~x14223+524288 ~x14222+262144 ~x14221+131072 ~x14220+65536 ~x14219+32768 ~x14218+16384 ~x14217+8192 ~x14216+4096 ~x14215+2048 ~x14214+1024 ~x14213+512 ~x14212+256 ~x14211+128 ~x14210+64 ~x14209+32 ~x14208+16 ~x14207+8 ~x14206+4 ~x14205+2 ~x14204+1 ~x14203-0=7885822 18.28/18.37 c 16777216 ~x398739+8388608 ~x398738+4194304 ~x398737+2097152 ~x398736+1048576 ~x398735+524288 ~x398734+262144 ~x398733+131072 ~x398732+65536 ~x398731+32768 ~x398730+16384 ~x398729+8192 ~x398728+4096 ~x398727+2048 ~x398726+1024 ~x398725+512 ~x398724+256 ~x398723+128 ~x398722+64 ~x398721+32 ~x398720+16 ~x398719+8 ~x398718+4 ~x398717+2 ~x398716+1 ~x398715+16777216 ~x14617+8388608 ~x14616+4194304 ~x14615+2097152 ~x14614+1048576 ~x14613+524288 ~x14612+262144 ~x14611+131072 ~x14610+65536 ~x14609+32768 ~x14608+16384 ~x14607+8192 ~x14606+4096 ~x14605+2048 ~x14604+1024 ~x14603+512 ~x14602+256 ~x14601+128 ~x14600+64 ~x14599+32 ~x14598+16 ~x14597+8 ~x14596+4 ~x14595+2 ~x14594+1 ~x14593-0=66708478 18.58/18.67 c 8388608 ~x411601+4194304 ~x411600+2097152 ~x411599+1048576 ~x411598+524288 ~x411597+262144 ~x411596+131072 ~x411595+65536 ~x411594+32768 ~x411593+16384 ~x411592+8192 ~x411591+4096 ~x411590+2048 ~x411589+1024 ~x411588+512 ~x411587+256 ~x411586+128 ~x411585+64 ~x411584+32 ~x411583+16 ~x411582+8 ~x411581+4 ~x411580+2 ~x411579+1 ~x411578+8388608 ~x15005+4194304 ~x15004+2097152 ~x15003+1048576 ~x15002+524288 ~x15001+262144 ~x15000+131072 ~x14999+65536 ~x14998+32768 ~x14997+16384 ~x14996+8192 ~x14995+4096 ~x14994+2048 ~x14993+1024 ~x14992+512 ~x14991+256 ~x14990+128 ~x14989+64 ~x14988+32 ~x14987+16 ~x14986+8 ~x14985+4 ~x14984+2 ~x14983+1 ~x14982-0=27149310 18.88/18.96 c 536870912 ~x423471+268435456 ~x423470+134217728 ~x423469+67108864 ~x423468+33554432 ~x423467+16777216 ~x423466+8388608 ~x423465+4194304 ~x423464+2097152 ~x423463+1048576 ~x423462+524288 ~x423461+262144 ~x423460+131072 ~x423459+65536 ~x423458+32768 ~x423457+16384 ~x423456+8192 ~x423455+4096 ~x423454+2048 ~x423453+1024 ~x423452+512 ~x423451+256 ~x423450+128 ~x423449+64 ~x423448+32 ~x423447+16 ~x423446+8 ~x423445+4 ~x423444+2 ~x423443+1 ~x423442+536870912 ~x15392+268435456 ~x15391+134217728 ~x15390+67108864 ~x15389+33554432 ~x15388+16777216 ~x15387+8388608 ~x15386+4194304 ~x15385+2097152 ~x15384+1048576 ~x15383+524288 ~x15382+262144 ~x15381+131072 ~x15380+65536 ~x15379+32768 ~x15378+16384 ~x15377+8192 ~x15376+4096 ~x15375+2048 ~x15374+1024 ~x15373+512 ~x15372+256 ~x15371+128 ~x15370+64 ~x15369+32 ~x15368+16 ~x15367+8 ~x15366+4 ~x15365+2 ~x15364+1 ~x15363-0=2089986046 19.38/19.41 c 4194304 ~x442884+2097152 ~x442883+1048576 ~x442882+524288 ~x442881+262144 ~x442880+131072 ~x442879+65536 ~x442878+32768 ~x442877+16384 ~x442876+8192 ~x442875+4096 ~x442874+2048 ~x442873+1024 ~x442872+512 ~x442871+256 ~x442870+128 ~x442869+64 ~x442868+32 ~x442867+16 ~x442866+8 ~x442865+4 ~x442864+2 ~x442863+1 ~x442862+4194304 ~x9162+2097152 ~x9161+1048576 ~x9160+524288 ~x9159+262144 ~x9158+131072 ~x9157+65536 ~x9156+32768 ~x9155+16384 ~x9154+8192 ~x9153+4096 ~x9152+2048 ~x9151+1024 ~x9150+512 ~x9149+256 ~x9148+128 ~x9147+64 ~x9146+32 ~x9145+16 ~x9144+8 ~x9143+4 ~x9142+2 ~x9141+1 ~x9140-0=15855614 19.58/19.68 c 67108864 ~x454181+33554432 ~x454180+16777216 ~x454179+8388608 ~x454178+4194304 ~x454177+2097152 ~x454176+1048576 ~x454175+524288 ~x454174+262144 ~x454173+131072 ~x454172+65536 ~x454171+32768 ~x454170+16384 ~x454169+8192 ~x454168+4096 ~x454167+2048 ~x454166+1024 ~x454165+512 ~x454164+256 ~x454163+128 ~x454162+64 ~x454161+32 ~x454160+16 ~x454159+8 ~x454158+4 ~x454157+2 ~x454156+1 ~x454155+67108864 ~x9534+33554432 ~x9533+16777216 ~x9532+8388608 ~x9531+4194304 ~x9530+2097152 ~x9529+1048576 ~x9528+524288 ~x9527+262144 ~x9526+131072 ~x9525+65536 ~x9524+32768 ~x9523+16384 ~x9522+8192 ~x9521+4096 ~x9520+2048 ~x9519+1024 ~x9518+512 ~x9517+256 ~x9516+128 ~x9515+64 ~x9514+32 ~x9513+16 ~x9512+8 ~x9511+4 ~x9510+2 ~x9509+1 ~x9508-0=227605502 19.98/20.07 c 8388608 ~x470953+4194304 ~x470952+2097152 ~x470951+1048576 ~x470950+524288 ~x470949+262144 ~x470948+131072 ~x470947+65536 ~x470946+32768 ~x470945+16384 ~x470944+8192 ~x470943+4096 ~x470942+2048 ~x470941+1024 ~x470940+512 ~x470939+256 ~x470938+128 ~x470937+64 ~x470936+32 ~x470935+16 ~x470934+8 ~x470933+4 ~x470932+2 ~x470931+1 ~x470930+8388608 ~x9949+4194304 ~x9948+2097152 ~x9947+1048576 ~x9946+524288 ~x9945+262144 ~x9944+131072 ~x9943+65536 ~x9942+32768 ~x9941+16384 ~x9940+8192 ~x9939+4096 ~x9938+2048 ~x9937+1024 ~x9936+512 ~x9935+256 ~x9934+128 ~x9933+64 ~x9932+32 ~x9931+16 ~x9930+8 ~x9929+4 ~x9928+2 ~x9927+1 ~x9926-0=29211646 20.28/20.35 c 33554432 ~x482819+16777216 ~x482818+8388608 ~x482817+4194304 ~x482816+2097152 ~x482815+1048576 ~x482814+524288 ~x482813+262144 ~x482812+131072 ~x482811+65536 ~x482810+32768 ~x482809+16384 ~x482808+8192 ~x482807+4096 ~x482806+2048 ~x482805+1024 ~x482804+512 ~x482803+256 ~x482802+128 ~x482801+64 ~x482800+32 ~x482799+16 ~x482798+8 ~x482797+4 ~x482796+2 ~x482795+1 ~x482794+33554432 ~x10356+16777216 ~x10355+8388608 ~x10354+4194304 ~x10353+2097152 ~x10352+1048576 ~x10351+524288 ~x10350+262144 ~x10349+131072 ~x10348+65536 ~x10347+32768 ~x10346+16384 ~x10345+8192 ~x10344+4096 ~x10343+2048 ~x10342+1024 ~x10341+512 ~x10340+256 ~x10339+128 ~x10338+64 ~x10337+32 ~x10336+16 ~x10335+8 ~x10334+4 ~x10333+2 ~x10332+1 ~x10331-0=133069822 20.57/20.67 c 1048576 ~x496494+524288 ~x496493+262144 ~x496492+131072 ~x496491+65536 ~x496490+32768 ~x496489+16384 ~x496488+8192 ~x496487+4096 ~x496486+2048 ~x496485+1024 ~x496484+512 ~x496483+256 ~x496482+128 ~x496481+64 ~x496480+32 ~x496479+16 ~x496478+8 ~x496477+4 ~x496476+2 ~x496475+1 ~x496474+1048576 ~x10752+524288 ~x10751+262144 ~x10750+131072 ~x10749+65536 ~x10748+32768 ~x10747+16384 ~x10746+8192 ~x10745+4096 ~x10744+2048 ~x10743+1024 ~x10742+512 ~x10741+256 ~x10740+128 ~x10739+64 ~x10738+32 ~x10737+16 ~x10736+8 ~x10735+4 ~x10734+2 ~x10733+1 ~x10732-0=4189182 20.79/20.86 c 2097152 ~x504632+1048576 ~x504631+524288 ~x504630+262144 ~x504629+131072 ~x504628+65536 ~x504627+32768 ~x504626+16384 ~x504625+8192 ~x504624+4096 ~x504623+2048 ~x504622+1024 ~x504621+512 ~x504620+256 ~x504619+128 ~x504618+64 ~x504617+32 ~x504616+16 ~x504615+8 ~x504614+4 ~x504613+2 ~x504612+1 ~x504611+2097152 ~x11130+1048576 ~x11129+524288 ~x11128+262144 ~x11127+131072 ~x11126+65536 ~x11125+32768 ~x11124+16384 ~x11123+8192 ~x11122+4096 ~x11121+2048 ~x11120+1024 ~x11119+512 ~x11118+256 ~x11117+128 ~x11116+64 ~x11115+32 ~x11114+16 ~x11113+8 ~x11112+4 ~x11111+2 ~x11110+1 ~x11109-0=6885374 20.98/21.07 c 16777216 ~x513415+8388608 ~x513414+4194304 ~x513413+2097152 ~x513412+1048576 ~x513411+524288 ~x513410+262144 ~x513409+131072 ~x513408+65536 ~x513407+32768 ~x513406+16384 ~x513405+8192 ~x513404+4096 ~x513403+2048 ~x513402+1024 ~x513401+512 ~x513400+256 ~x513399+128 ~x513398+64 ~x513397+32 ~x513396+16 ~x513395+8 ~x513394+4 ~x513393+2 ~x513392+1 ~x513391+16777216 ~x11523+8388608 ~x11522+4194304 ~x11521+2097152 ~x11520+1048576 ~x11519+524288 ~x11518+262144 ~x11517+131072 ~x11516+65536 ~x11515+32768 ~x11514+16384 ~x11513+8192 ~x11512+4096 ~x11511+2048 ~x11510+1024 ~x11509+512 ~x11508+256 ~x11507+128 ~x11506+64 ~x11505+32 ~x11504+16 ~x11503+8 ~x11502+4 ~x11501+2 ~x11500+1 ~x11499-0=65806334 21.28/21.37 c 16777216 ~x526278+8388608 ~x526277+4194304 ~x526276+2097152 ~x526275+1048576 ~x526274+524288 ~x526273+262144 ~x526272+131072 ~x526271+65536 ~x526270+32768 ~x526269+16384 ~x526268+8192 ~x526267+4096 ~x526266+2048 ~x526265+1024 ~x526264+512 ~x526263+256 ~x526262+128 ~x526261+64 ~x526260+32 ~x526259+16 ~x526258+8 ~x526257+4 ~x526256+2 ~x526255+1 ~x526254+16777216 ~x11913+8388608 ~x11912+4194304 ~x11911+2097152 ~x11910+1048576 ~x11909+524288 ~x11908+262144 ~x11907+131072 ~x11906+65536 ~x11905+32768 ~x11904+16384 ~x11903+8192 ~x11902+4096 ~x11901+2048 ~x11900+1024 ~x11899+512 ~x11898+256 ~x11897+128 ~x11896+64 ~x11895+32 ~x11894+16 ~x11893+8 ~x11892+4 ~x11891+2 ~x11890+1 ~x11889-0=58493950 21.58/21.68 c 2097152 ~x539138+1048576 ~x539137+524288 ~x539136+262144 ~x539135+131072 ~x539134+65536 ~x539133+32768 ~x539132+16384 ~x539131+8192 ~x539130+4096 ~x539129+2048 ~x539128+1024 ~x539127+512 ~x539126+256 ~x539125+128 ~x539124+64 ~x539123+32 ~x539122+16 ~x539121+8 ~x539120+4 ~x539119+2 ~x539118+1 ~x539117+2097152 ~x12298+1048576 ~x12297+524288 ~x12296+262144 ~x12295+131072 ~x12294+65536 ~x12293+32768 ~x12292+16384 ~x12291+8192 ~x12290+4096 ~x12289+2048 ~x12288+1024 ~x12287+512 ~x12286+256 ~x12285+128 ~x12284+64 ~x12283+32 ~x12282+16 ~x12281+8 ~x12280+4 ~x12279+2 ~x12278+1 ~x12277-0=7559166 21.78/21.89 c 67108864 ~x547923+33554432 ~x547922+16777216 ~x547921+8388608 ~x547920+4194304 ~x547919+2097152 ~x547918+1048576 ~x547917+524288 ~x547916+262144 ~x547915+131072 ~x547914+65536 ~x547913+32768 ~x547912+16384 ~x547911+8192 ~x547910+4096 ~x547909+2048 ~x547908+1024 ~x547907+512 ~x547906+256 ~x547905+128 ~x547904+64 ~x547903+32 ~x547902+16 ~x547901+8 ~x547900+4 ~x547899+2 ~x547898+1 ~x547897+67108864 ~x12684+33554432 ~x12683+16777216 ~x12682+8388608 ~x12681+4194304 ~x12680+2097152 ~x12679+1048576 ~x12678+524288 ~x12677+262144 ~x12676+131072 ~x12675+65536 ~x12674+32768 ~x12673+16384 ~x12672+8192 ~x12671+4096 ~x12670+2048 ~x12669+1024 ~x12668+512 ~x12667+256 ~x12666+128 ~x12665+64 ~x12664+32 ~x12663+16 ~x12662+8 ~x12661+4 ~x12660+2 ~x12659+1 ~x12658-0=251567102 22.18/22.28 c 134217728 ~x564699+67108864 ~x564698+33554432 ~x564697+16777216 ~x564696+8388608 ~x564695+4194304 ~x564694+2097152 ~x564693+1048576 ~x564692+524288 ~x564691+262144 ~x564690+131072 ~x564689+65536 ~x564688+32768 ~x564687+16384 ~x564686+8192 ~x564685+4096 ~x564684+2048 ~x564683+1024 ~x564682+512 ~x564681+256 ~x564680+128 ~x564679+64 ~x564678+32 ~x564677+16 ~x564676+8 ~x564675+4 ~x564674+2 ~x564673+1 ~x564672+134217728 ~x13107+67108864 ~x13106+33554432 ~x13105+16777216 ~x13104+8388608 ~x13103+4194304 ~x13102+2097152 ~x13101+1048576 ~x13100+524288 ~x13099+262144 ~x13098+131072 ~x13097+65536 ~x13096+32768 ~x13095+16384 ~x13094+8192 ~x13093+4096 ~x13092+2048 ~x13091+1024 ~x13090+512 ~x13089+256 ~x13088+128 ~x13087+64 ~x13086+32 ~x13085+16 ~x13084+8 ~x13083+4 ~x13082+2 ~x13081+1 ~x13080-0=414894078 22.58/22.69 c 2097152 ~x582177+1048576 ~x582176+524288 ~x582175+262144 ~x582174+131072 ~x582173+65536 ~x582172+32768 ~x582171+16384 ~x582170+8192 ~x582169+4096 ~x582168+2048 ~x582167+1024 ~x582166+512 ~x582165+256 ~x582164+128 ~x582163+64 ~x582162+32 ~x582161+16 ~x582160+8 ~x582159+4 ~x582158+2 ~x582157+1 ~x582156+2097152 ~x13524+1048576 ~x13523+524288 ~x13522+262144 ~x13521+131072 ~x13520+65536 ~x13519+32768 ~x13518+16384 ~x13517+8192 ~x13516+4096 ~x13515+2048 ~x13514+1024 ~x13513+512 ~x13512+256 ~x13511+128 ~x13510+64 ~x13509+32 ~x13508+16 ~x13507+8 ~x13506+4 ~x13505+2 ~x13504+1 ~x13503-0=6519806 22.78/22.90 c 8388608 ~x590959+4194304 ~x590958+2097152 ~x590957+1048576 ~x590956+524288 ~x590955+262144 ~x590954+131072 ~x590953+65536 ~x590952+32768 ~x590951+16384 ~x590950+8192 ~x590949+4096 ~x590948+2048 ~x590947+1024 ~x590946+512 ~x590945+256 ~x590944+128 ~x590943+64 ~x590942+32 ~x590941+16 ~x590940+8 ~x590939+4 ~x590938+2 ~x590937+1 ~x590936+8388608 ~x13875+4194304 ~x13874+2097152 ~x13873+1048576 ~x13872+524288 ~x13871+262144 ~x13870+131072 ~x13869+65536 ~x13868+32768 ~x13867+16384 ~x13866+8192 ~x13865+4096 ~x13864+2048 ~x13863+1024 ~x13862+512 ~x13861+256 ~x13860+128 ~x13859+64 ~x13858+32 ~x13857+16 ~x13856+8 ~x13855+4 ~x13854+2 ~x13853+1 ~x13852-0=32584702 23.09/23.18 c 2097152 ~x602821+1048576 ~x602820+524288 ~x602819+262144 ~x602818+131072 ~x602817+65536 ~x602816+32768 ~x602815+16384 ~x602814+8192 ~x602813+4096 ~x602812+2048 ~x602811+1024 ~x602810+512 ~x602809+256 ~x602808+128 ~x602807+64 ~x602806+32 ~x602805+16 ~x602804+8 ~x602803+4 ~x602802+2 ~x602801+1 ~x602800+2097152 ~x14250+1048576 ~x14249+524288 ~x14248+262144 ~x14247+131072 ~x14246+65536 ~x14245+32768 ~x14244+16384 ~x14243+8192 ~x14242+4096 ~x14241+2048 ~x14240+1024 ~x14239+512 ~x14238+256 ~x14237+128 ~x14236+64 ~x14235+32 ~x14234+16 ~x14233+8 ~x14232+4 ~x14231+2 ~x14230+1 ~x14229-0=7885822 23.28/23.38 c 16777216 ~x611604+8388608 ~x611603+4194304 ~x611602+2097152 ~x611601+1048576 ~x611600+524288 ~x611599+262144 ~x611598+131072 ~x611597+65536 ~x611596+32768 ~x611595+16384 ~x611594+8192 ~x611593+4096 ~x611592+2048 ~x611591+1024 ~x611590+512 ~x611589+256 ~x611588+128 ~x611587+64 ~x611586+32 ~x611585+16 ~x611584+8 ~x611583+4 ~x611582+2 ~x611581+1 ~x611580+16777216 ~x14643+8388608 ~x14642+4194304 ~x14641+2097152 ~x14640+1048576 ~x14639+524288 ~x14638+262144 ~x14637+131072 ~x14636+65536 ~x14635+32768 ~x14634+16384 ~x14633+8192 ~x14632+4096 ~x14631+2048 ~x14630+1024 ~x14629+512 ~x14628+256 ~x14627+128 ~x14626+64 ~x14625+32 ~x14624+16 ~x14623+8 ~x14622+4 ~x14621+2 ~x14620+1 ~x14619-0=66708478 23.58/23.68 c 8388608 ~x624466+4194304 ~x624465+2097152 ~x624464+1048576 ~x624463+524288 ~x624462+262144 ~x624461+131072 ~x624460+65536 ~x624459+32768 ~x624458+16384 ~x624457+8192 ~x624456+4096 ~x624455+2048 ~x624454+1024 ~x624453+512 ~x624452+256 ~x624451+128 ~x624450+64 ~x624449+32 ~x624448+16 ~x624447+8 ~x624446+4 ~x624445+2 ~x624444+1 ~x624443+8388608 ~x15030+4194304 ~x15029+2097152 ~x15028+1048576 ~x15027+524288 ~x15026+262144 ~x15025+131072 ~x15024+65536 ~x15023+32768 ~x15022+16384 ~x15021+8192 ~x15020+4096 ~x15019+2048 ~x15018+1024 ~x15017+512 ~x15016+256 ~x15015+128 ~x15014+64 ~x15013+32 ~x15012+16 ~x15011+8 ~x15010+4 ~x15009+2 ~x15008+1 ~x15007-0=27149310 23.88/23.96 c 536870912 ~x636336+268435456 ~x636335+134217728 ~x636334+67108864 ~x636333+33554432 ~x636332+16777216 ~x636331+8388608 ~x636330+4194304 ~x636329+2097152 ~x636328+1048576 ~x636327+524288 ~x636326+262144 ~x636325+131072 ~x636324+65536 ~x636323+32768 ~x636322+16384 ~x636321+8192 ~x636320+4096 ~x636319+2048 ~x636318+1024 ~x636317+512 ~x636316+256 ~x636315+128 ~x636314+64 ~x636313+32 ~x636312+16 ~x636311+8 ~x636310+4 ~x636309+2 ~x636308+1 ~x636307+536870912 ~x15423+268435456 ~x15422+134217728 ~x15421+67108864 ~x15420+33554432 ~x15419+16777216 ~x15418+8388608 ~x15417+4194304 ~x15416+2097152 ~x15415+1048576 ~x15414+524288 ~x15413+262144 ~x15412+131072 ~x15411+65536 ~x15410+32768 ~x15409+16384 ~x15408+8192 ~x15407+4096 ~x15406+2048 ~x15405+1024 ~x15404+512 ~x15403+256 ~x15402+128 ~x15401+64 ~x15400+32 ~x15399+16 ~x15398+8 ~x15397+4 ~x15396+2 ~x15395+1 ~x15394-0=2089986046 24.38/24.42 c 4194304 ~x655749+2097152 ~x655748+1048576 ~x655747+524288 ~x655746+262144 ~x655745+131072 ~x655744+65536 ~x655743+32768 ~x655742+16384 ~x655741+8192 ~x655740+4096 ~x655739+2048 ~x655738+1024 ~x655737+512 ~x655736+256 ~x655735+128 ~x655734+64 ~x655733+32 ~x655732+16 ~x655731+8 ~x655730+4 ~x655729+2 ~x655728+1 ~x655727+4194304 ~x9186+2097152 ~x9185+1048576 ~x9184+524288 ~x9183+262144 ~x9182+131072 ~x9181+65536 ~x9180+32768 ~x9179+16384 ~x9178+8192 ~x9177+4096 ~x9176+2048 ~x9175+1024 ~x9174+512 ~x9173+256 ~x9172+128 ~x9171+64 ~x9170+32 ~x9169+16 ~x9168+8 ~x9167+4 ~x9166+2 ~x9165+1 ~x9164-0=15855614 24.58/24.69 c 67108864 ~x667046+33554432 ~x667045+16777216 ~x667044+8388608 ~x667043+4194304 ~x667042+2097152 ~x667041+1048576 ~x667040+524288 ~x667039+262144 ~x667038+131072 ~x667037+65536 ~x667036+32768 ~x667035+16384 ~x667034+8192 ~x667033+4096 ~x667032+2048 ~x667031+1024 ~x667030+512 ~x667029+256 ~x667028+128 ~x667027+64 ~x667026+32 ~x667025+16 ~x667024+8 ~x667023+4 ~x667022+2 ~x667021+1 ~x667020+67108864 ~x9562+33554432 ~x9561+16777216 ~x9560+8388608 ~x9559+4194304 ~x9558+2097152 ~x9557+1048576 ~x9556+524288 ~x9555+262144 ~x9554+131072 ~x9553+65536 ~x9552+32768 ~x9551+16384 ~x9550+8192 ~x9549+4096 ~x9548+2048 ~x9547+1024 ~x9546+512 ~x9545+256 ~x9544+128 ~x9543+64 ~x9542+32 ~x9541+16 ~x9540+8 ~x9539+4 ~x9538+2 ~x9537+1 ~x9536-0=227605502 24.98/25.08 c 8388608 ~x683818+4194304 ~x683817+2097152 ~x683816+1048576 ~x683815+524288 ~x683814+262144 ~x683813+131072 ~x683812+65536 ~x683811+32768 ~x683810+16384 ~x683809+8192 ~x683808+4096 ~x683807+2048 ~x683806+1024 ~x683805+512 ~x683804+256 ~x683803+128 ~x683802+64 ~x683801+32 ~x683800+16 ~x683799+8 ~x683798+4 ~x683797+2 ~x683796+1 ~x683795+8388608 ~x9976+4194304 ~x9975+2097152 ~x9974+1048576 ~x9973+524288 ~x9972+262144 ~x9971+131072 ~x9970+65536 ~x9969+32768 ~x9968+16384 ~x9967+8192 ~x9966+4096 ~x9965+2048 ~x9964+1024 ~x9963+512 ~x9962+256 ~x9961+128 ~x9960+64 ~x9959+32 ~x9958+16 ~x9957+8 ~x9956+4 ~x9955+2 ~x9954+1 ~x9953-0=29211646 25.29/25.36 c 33554432 ~x695684+16777216 ~x695683+8388608 ~x695682+4194304 ~x695681+2097152 ~x695680+1048576 ~x695679+524288 ~x695678+262144 ~x695677+131072 ~x695676+65536 ~x695675+32768 ~x695674+16384 ~x695673+8192 ~x695672+4096 ~x695671+2048 ~x695670+1024 ~x695669+512 ~x695668+256 ~x695667+128 ~x695666+64 ~x695665+32 ~x695664+16 ~x695663+8 ~x695662+4 ~x695661+2 ~x695660+1 ~x695659+33554432 ~x10383+16777216 ~x10382+8388608 ~x10381+4194304 ~x10380+2097152 ~x10379+1048576 ~x10378+524288 ~x10377+262144 ~x10376+131072 ~x10375+65536 ~x10374+32768 ~x10373+16384 ~x10372+8192 ~x10371+4096 ~x10370+2048 ~x10369+1024 ~x10368+512 ~x10367+256 ~x10366+128 ~x10365+64 ~x10364+32 ~x10363+16 ~x10362+8 ~x10361+4 ~x10360+2 ~x10359+1 ~x10358-0=133069822 25.58/25.68 c 1048576 ~x709359+524288 ~x709358+262144 ~x709357+131072 ~x709356+65536 ~x709355+32768 ~x709354+16384 ~x709353+8192 ~x709352+4096 ~x709351+2048 ~x709350+1024 ~x709349+512 ~x709348+256 ~x709347+128 ~x709346+64 ~x709345+32 ~x709344+16 ~x709343+8 ~x709342+4 ~x709341+2 ~x709340+1 ~x709339+1048576 ~x10777+524288 ~x10776+262144 ~x10775+131072 ~x10774+65536 ~x10773+32768 ~x10772+16384 ~x10771+8192 ~x10770+4096 ~x10769+2048 ~x10768+1024 ~x10767+512 ~x10766+256 ~x10765+128 ~x10764+64 ~x10763+32 ~x10762+16 ~x10761+8 ~x10760+4 ~x10759+2 ~x10758+1 ~x10757-0=4189182 25.78/25.87 c 2097152 ~x717497+1048576 ~x717496+524288 ~x717495+262144 ~x717494+131072 ~x717493+65536 ~x717492+32768 ~x717491+16384 ~x717490+8192 ~x717489+4096 ~x717488+2048 ~x717487+1024 ~x717486+512 ~x717485+256 ~x717484+128 ~x717483+64 ~x717482+32 ~x717481+16 ~x717480+8 ~x717479+4 ~x717478+2 ~x717477+1 ~x717476+2097152 ~x11156+1048576 ~x11155+524288 ~x11154+262144 ~x11153+131072 ~x11152+65536 ~x11151+32768 ~x11150+16384 ~x11149+8192 ~x11148+4096 ~x11147+2048 ~x11146+1024 ~x11145+512 ~x11144+256 ~x11143+128 ~x11142+64 ~x11141+32 ~x11140+16 ~x11139+8 ~x11138+4 ~x11137+2 ~x11136+1 ~x11135-0=6885374 25.98/26.08 c 16777216 ~x726280+8388608 ~x726279+4194304 ~x726278+2097152 ~x726277+1048576 ~x726276+524288 ~x726275+262144 ~x726274+131072 ~x726273+65536 ~x726272+32768 ~x726271+16384 ~x726270+8192 ~x726269+4096 ~x726268+2048 ~x726267+1024 ~x726266+512 ~x726265+256 ~x726264+128 ~x726263+64 ~x726262+32 ~x726261+16 ~x726260+8 ~x726259+4 ~x726258+2 ~x726257+1 ~x726256+16777216 ~x11549+8388608 ~x11548+4194304 ~x11547+2097152 ~x11546+1048576 ~x11545+524288 ~x11544+262144 ~x11543+131072 ~x11542+65536 ~x11541+32768 ~x11540+16384 ~x11539+8192 ~x11538+4096 ~x11537+2048 ~x11536+1024 ~x11535+512 ~x11534+256 ~x11533+128 ~x11532+64 ~x11531+32 ~x11530+16 ~x11529+8 ~x11528+4 ~x11527+2 ~x11526+1 ~x11525-0=65806334 26.29/26.38 c 16777216 ~x739143+8388608 ~x739142+4194304 ~x739141+2097152 ~x739140+1048576 ~x739139+524288 ~x739138+262144 ~x739137+131072 ~x739136+65536 ~x739135+32768 ~x739134+16384 ~x739133+8192 ~x739132+4096 ~x739131+2048 ~x739130+1024 ~x739129+512 ~x739128+256 ~x739127+128 ~x739126+64 ~x739125+32 ~x739124+16 ~x739123+8 ~x739122+4 ~x739121+2 ~x739120+1 ~x739119+16777216 ~x11939+8388608 ~x11938+4194304 ~x11937+2097152 ~x11936+1048576 ~x11935+524288 ~x11934+262144 ~x11933+131072 ~x11932+65536 ~x11931+32768 ~x11930+16384 ~x11929+8192 ~x11928+4096 ~x11927+2048 ~x11926+1024 ~x11925+512 ~x11924+256 ~x11923+128 ~x11922+64 ~x11921+32 ~x11920+16 ~x11919+8 ~x11918+4 ~x11917+2 ~x11916+1 ~x11915-0=58493950 26.58/26.68 c 2097152 ~x752003+1048576 ~x752002+524288 ~x752001+262144 ~x752000+131072 ~x751999+65536 ~x751998+32768 ~x751997+16384 ~x751996+8192 ~x751995+4096 ~x751994+2048 ~x751993+1024 ~x751992+512 ~x751991+256 ~x751990+128 ~x751989+64 ~x751988+32 ~x751987+16 ~x751986+8 ~x751985+4 ~x751984+2 ~x751983+1 ~x751982+2097152 ~x12323+1048576 ~x12322+524288 ~x12321+262144 ~x12320+131072 ~x12319+65536 ~x12318+32768 ~x12317+16384 ~x12316+8192 ~x12315+4096 ~x12314+2048 ~x12313+1024 ~x12312+512 ~x12311+256 ~x12310+128 ~x12309+64 ~x12308+32 ~x12307+16 ~x12306+8 ~x12305+4 ~x12304+2 ~x12303+1 ~x12302-0=7559166 26.78/26.89 c 67108864 ~x760788+33554432 ~x760787+16777216 ~x760786+8388608 ~x760785+4194304 ~x760784+2097152 ~x760783+1048576 ~x760782+524288 ~x760781+262144 ~x760780+131072 ~x760779+65536 ~x760778+32768 ~x760777+16384 ~x760776+8192 ~x760775+4096 ~x760774+2048 ~x760773+1024 ~x760772+512 ~x760771+256 ~x760770+128 ~x760769+64 ~x760768+32 ~x760767+16 ~x760766+8 ~x760765+4 ~x760764+2 ~x760763+1 ~x760762+67108864 ~x12712+33554432 ~x12711+16777216 ~x12710+8388608 ~x12709+4194304 ~x12708+2097152 ~x12707+1048576 ~x12706+524288 ~x12705+262144 ~x12704+131072 ~x12703+65536 ~x12702+32768 ~x12701+16384 ~x12700+8192 ~x12699+4096 ~x12698+2048 ~x12697+1024 ~x12696+512 ~x12695+256 ~x12694+128 ~x12693+64 ~x12692+32 ~x12691+16 ~x12690+8 ~x12689+4 ~x12688+2 ~x12687+1 ~x12686-0=251567102 27.18/27.28 c 134217728 ~x777564+67108864 ~x777563+33554432 ~x777562+16777216 ~x777561+8388608 ~x777560+4194304 ~x777559+2097152 ~x777558+1048576 ~x777557+524288 ~x777556+262144 ~x777555+131072 ~x777554+65536 ~x777553+32768 ~x777552+16384 ~x777551+8192 ~x777550+4096 ~x777549+2048 ~x777548+1024 ~x777547+512 ~x777546+256 ~x777545+128 ~x777544+64 ~x777543+32 ~x777542+16 ~x777541+8 ~x777540+4 ~x777539+2 ~x777538+1 ~x777537+134217728 ~x13136+67108864 ~x13135+33554432 ~x13134+16777216 ~x13133+8388608 ~x13132+4194304 ~x13131+2097152 ~x13130+1048576 ~x13129+524288 ~x13128+262144 ~x13127+131072 ~x13126+65536 ~x13125+32768 ~x13124+16384 ~x13123+8192 ~x13122+4096 ~x13121+2048 ~x13120+1024 ~x13119+512 ~x13118+256 ~x13117+128 ~x13116+64 ~x13115+32 ~x13114+16 ~x13113+8 ~x13112+4 ~x13111+2 ~x13110+1 ~x13109-0=414894078 27.57/27.69 c 2097152 ~x795042+1048576 ~x795041+524288 ~x795040+262144 ~x795039+131072 ~x795038+65536 ~x795037+32768 ~x795036+16384 ~x795035+8192 ~x795034+4096 ~x795033+2048 ~x795032+1024 ~x795031+512 ~x795030+256 ~x795029+128 ~x795028+64 ~x795027+32 ~x795026+16 ~x795025+8 ~x795024+4 ~x795023+2 ~x795022+1 ~x795021+2097152 ~x13547+1048576 ~x13546+524288 ~x13545+262144 ~x13544+131072 ~x13543+65536 ~x13542+32768 ~x13541+16384 ~x13540+8192 ~x13539+4096 ~x13538+2048 ~x13537+1024 ~x13536+512 ~x13535+256 ~x13534+128 ~x13533+64 ~x13532+32 ~x13531+16 ~x13530+8 ~x13529+4 ~x13528+2 ~x13527+1 ~x13526-0=6519806 27.88/27.90 c 8388608 ~x803824+4194304 ~x803823+2097152 ~x803822+1048576 ~x803821+524288 ~x803820+262144 ~x803819+131072 ~x803818+65536 ~x803817+32768 ~x803816+16384 ~x803815+8192 ~x803814+4096 ~x803813+2048 ~x803812+1024 ~x803811+512 ~x803810+256 ~x803809+128 ~x803808+64 ~x803807+32 ~x803806+16 ~x803805+8 ~x803804+4 ~x803803+2 ~x803802+1 ~x803801+8388608 ~x13900+4194304 ~x13899+2097152 ~x13898+1048576 ~x13897+524288 ~x13896+262144 ~x13895+131072 ~x13894+65536 ~x13893+32768 ~x13892+16384 ~x13891+8192 ~x13890+4096 ~x13889+2048 ~x13888+1024 ~x13887+512 ~x13886+256 ~x13885+128 ~x13884+64 ~x13883+32 ~x13882+16 ~x13881+8 ~x13880+4 ~x13879+2 ~x13878+1 ~x13877-0=32584702 28.08/28.19 c 2097152 ~x815686+1048576 ~x815685+524288 ~x815684+262144 ~x815683+131072 ~x815682+65536 ~x815681+32768 ~x815680+16384 ~x815679+8192 ~x815678+4096 ~x815677+2048 ~x815676+1024 ~x815675+512 ~x815674+256 ~x815673+128 ~x815672+64 ~x815671+32 ~x815670+16 ~x815669+8 ~x815668+4 ~x815667+2 ~x815666+1 ~x815665+2097152 ~x14276+1048576 ~x14275+524288 ~x14274+262144 ~x14273+131072 ~x14272+65536 ~x14271+32768 ~x14270+16384 ~x14269+8192 ~x14268+4096 ~x14267+2048 ~x14266+1024 ~x14265+512 ~x14264+256 ~x14263+128 ~x14262+64 ~x14261+32 ~x14260+16 ~x14259+8 ~x14258+4 ~x14257+2 ~x14256+1 ~x14255-0=7885822 28.37/28.40 c 16777216 ~x824469+8388608 ~x824468+4194304 ~x824467+2097152 ~x824466+1048576 ~x824465+524288 ~x824464+262144 ~x824463+131072 ~x824462+65536 ~x824461+32768 ~x824460+16384 ~x824459+8192 ~x824458+4096 ~x824457+2048 ~x824456+1024 ~x824455+512 ~x824454+256 ~x824453+128 ~x824452+64 ~x824451+32 ~x824450+16 ~x824449+8 ~x824448+4 ~x824447+2 ~x824446+1 ~x824445+16777216 ~x14669+8388608 ~x14668+4194304 ~x14667+2097152 ~x14666+1048576 ~x14665+524288 ~x14664+262144 ~x14663+131072 ~x14662+65536 ~x14661+32768 ~x14660+16384 ~x14659+8192 ~x14658+4096 ~x14657+2048 ~x14656+1024 ~x14655+512 ~x14654+256 ~x14653+128 ~x14652+64 ~x14651+32 ~x14650+16 ~x14649+8 ~x14648+4 ~x14647+2 ~x14646+1 ~x14645-0=66708478 28.68/28.70 c 8388608 ~x837331+4194304 ~x837330+2097152 ~x837329+1048576 ~x837328+524288 ~x837327+262144 ~x837326+131072 ~x837325+65536 ~x837324+32768 ~x837323+16384 ~x837322+8192 ~x837321+4096 ~x837320+2048 ~x837319+1024 ~x837318+512 ~x837317+256 ~x837316+128 ~x837315+64 ~x837314+32 ~x837313+16 ~x837312+8 ~x837311+4 ~x837310+2 ~x837309+1 ~x837308+8388608 ~x15055+4194304 ~x15054+2097152 ~x15053+1048576 ~x15052+524288 ~x15051+262144 ~x15050+131072 ~x15049+65536 ~x15048+32768 ~x15047+16384 ~x15046+8192 ~x15045+4096 ~x15044+2048 ~x15043+1024 ~x15042+512 ~x15041+256 ~x15040+128 ~x15039+64 ~x15038+32 ~x15037+16 ~x15036+8 ~x15035+4 ~x15034+2 ~x15033+1 ~x15032-0=27149310 28.88/28.98 c 536870912 ~x849201+268435456 ~x849200+134217728 ~x849199+67108864 ~x849198+33554432 ~x849197+16777216 ~x849196+8388608 ~x849195+4194304 ~x849194+2097152 ~x849193+1048576 ~x849192+524288 ~x849191+262144 ~x849190+131072 ~x849189+65536 ~x849188+32768 ~x849187+16384 ~x849186+8192 ~x849185+4096 ~x849184+2048 ~x849183+1024 ~x849182+512 ~x849181+256 ~x849180+128 ~x849179+64 ~x849178+32 ~x849177+16 ~x849176+8 ~x849175+4 ~x849174+2 ~x849173+1 ~x849172+536870912 ~x15454+268435456 ~x15453+134217728 ~x15452+67108864 ~x15451+33554432 ~x15450+16777216 ~x15449+8388608 ~x15448+4194304 ~x15447+2097152 ~x15446+1048576 ~x15445+524288 ~x15444+262144 ~x15443+131072 ~x15442+65536 ~x15441+32768 ~x15440+16384 ~x15439+8192 ~x15438+4096 ~x15437+2048 ~x15436+1024 ~x15435+512 ~x15434+256 ~x15433+128 ~x15432+64 ~x15431+32 ~x15430+16 ~x15429+8 ~x15428+4 ~x15427+2 ~x15426+1 ~x15425-0=2089986046 29.37/29.43 c 4194304 ~x868614+2097152 ~x868613+1048576 ~x868612+524288 ~x868611+262144 ~x868610+131072 ~x868609+65536 ~x868608+32768 ~x868607+16384 ~x868606+8192 ~x868605+4096 ~x868604+2048 ~x868603+1024 ~x868602+512 ~x868601+256 ~x868600+128 ~x868599+64 ~x868598+32 ~x868597+16 ~x868596+8 ~x868595+4 ~x868594+2 ~x868593+1 ~x868592+4194304 ~x9210+2097152 ~x9209+1048576 ~x9208+524288 ~x9207+262144 ~x9206+131072 ~x9205+65536 ~x9204+32768 ~x9203+16384 ~x9202+8192 ~x9201+4096 ~x9200+2048 ~x9199+1024 ~x9198+512 ~x9197+256 ~x9196+128 ~x9195+64 ~x9194+32 ~x9193+16 ~x9192+8 ~x9191+4 ~x9190+2 ~x9189+1 ~x9188-0=15855614 29.59/29.70 c 67108864 ~x879911+33554432 ~x879910+16777216 ~x879909+8388608 ~x879908+4194304 ~x879907+2097152 ~x879906+1048576 ~x879905+524288 ~x879904+262144 ~x879903+131072 ~x879902+65536 ~x879901+32768 ~x879900+16384 ~x879899+8192 ~x879898+4096 ~x879897+2048 ~x879896+1024 ~x879895+512 ~x879894+256 ~x879893+128 ~x879892+64 ~x879891+32 ~x879890+16 ~x879889+8 ~x879888+4 ~x879887+2 ~x879886+1 ~x879885+67108864 ~x9590+33554432 ~x9589+16777216 ~x9588+8388608 ~x9587+4194304 ~x9586+2097152 ~x9585+1048576 ~x9584+524288 ~x9583+262144 ~x9582+131072 ~x9581+65536 ~x9580+32768 ~x9579+16384 ~x9578+8192 ~x9577+4096 ~x9576+2048 ~x9575+1024 ~x9574+512 ~x9573+256 ~x9572+128 ~x9571+64 ~x9570+32 ~x9569+16 ~x9568+8 ~x9567+4 ~x9566+2 ~x9565+1 ~x9564-0=227605502 29.98/30.09 c 8388608 ~x896683+4194304 ~x896682+2097152 ~x896681+1048576 ~x896680+524288 ~x896679+262144 ~x896678+131072 ~x896677+65536 ~x896676+32768 ~x896675+16384 ~x896674+8192 ~x896673+4096 ~x896672+2048 ~x896671+1024 ~x896670+512 ~x896669+256 ~x896668+128 ~x896667+64 ~x896666+32 ~x896665+16 ~x896664+8 ~x896663+4 ~x896662+2 ~x896661+1 ~x896660+8388608 ~x10003+4194304 ~x10002+2097152 ~x10001+1048576 ~x10000+524288 ~x9999+262144 ~x9998+131072 ~x9997+65536 ~x9996+32768 ~x9995+16384 ~x9994+8192 ~x9993+4096 ~x9992+2048 ~x9991+1024 ~x9990+512 ~x9989+256 ~x9988+128 ~x9987+64 ~x9986+32 ~x9985+16 ~x9984+8 ~x9983+4 ~x9982+2 ~x9981+1 ~x9980-0=29211646 30.27/30.37 c 33554432 ~x908549+16777216 ~x908548+8388608 ~x908547+4194304 ~x908546+2097152 ~x908545+1048576 ~x908544+524288 ~x908543+262144 ~x908542+131072 ~x908541+65536 ~x908540+32768 ~x908539+16384 ~x908538+8192 ~x908537+4096 ~x908536+2048 ~x908535+1024 ~x908534+512 ~x908533+256 ~x908532+128 ~x908531+64 ~x908530+32 ~x908529+16 ~x908528+8 ~x908527+4 ~x908526+2 ~x908525+1 ~x908524+33554432 ~x10410+16777216 ~x10409+8388608 ~x10408+4194304 ~x10407+2097152 ~x10406+1048576 ~x10405+524288 ~x10404+262144 ~x10403+131072 ~x10402+65536 ~x10401+32768 ~x10400+16384 ~x10399+8192 ~x10398+4096 ~x10397+2048 ~x10396+1024 ~x10395+512 ~x10394+256 ~x10393+128 ~x10392+64 ~x10391+32 ~x10390+16 ~x10389+8 ~x10388+4 ~x10387+2 ~x10386+1 ~x10385-0=133069822 30.58/30.68 c 1048576 ~x922224+524288 ~x922223+262144 ~x922222+131072 ~x922221+65536 ~x922220+32768 ~x922219+16384 ~x922218+8192 ~x922217+4096 ~x922216+2048 ~x922215+1024 ~x922214+512 ~x922213+256 ~x922212+128 ~x922211+64 ~x922210+32 ~x922209+16 ~x922208+8 ~x922207+4 ~x922206+2 ~x922205+1 ~x922204+1048576 ~x10802+524288 ~x10801+262144 ~x10800+131072 ~x10799+65536 ~x10798+32768 ~x10797+16384 ~x10796+8192 ~x10795+4096 ~x10794+2048 ~x10793+1024 ~x10792+512 ~x10791+256 ~x10790+128 ~x10789+64 ~x10788+32 ~x10787+16 ~x10786+8 ~x10785+4 ~x10784+2 ~x10783+1 ~x10782-0=4189182 30.78/30.88 c 2097152 ~x930362+1048576 ~x930361+524288 ~x930360+262144 ~x930359+131072 ~x930358+65536 ~x930357+32768 ~x930356+16384 ~x930355+8192 ~x930354+4096 ~x930353+2048 ~x930352+1024 ~x930351+512 ~x930350+256 ~x930349+128 ~x930348+64 ~x930347+32 ~x930346+16 ~x930345+8 ~x930344+4 ~x930343+2 ~x930342+1 ~x930341+2097152 ~x11182+1048576 ~x11181+524288 ~x11180+262144 ~x11179+131072 ~x11178+65536 ~x11177+32768 ~x11176+16384 ~x11175+8192 ~x11174+4096 ~x11173+2048 ~x11172+1024 ~x11171+512 ~x11170+256 ~x11169+128 ~x11168+64 ~x11167+32 ~x11166+16 ~x11165+8 ~x11164+4 ~x11163+2 ~x11162+1 ~x11161-0=6885374 30.98/31.09 c 16777216 ~x939145+8388608 ~x939144+4194304 ~x939143+2097152 ~x939142+1048576 ~x939141+524288 ~x939140+262144 ~x939139+131072 ~x939138+65536 ~x939137+32768 ~x939136+16384 ~x939135+8192 ~x939134+4096 ~x939133+2048 ~x939132+1024 ~x939131+512 ~x939130+256 ~x939129+128 ~x939128+64 ~x939127+32 ~x939126+16 ~x939125+8 ~x939124+4 ~x939123+2 ~x939122+1 ~x939121+16777216 ~x11575+8388608 ~x11574+4194304 ~x11573+2097152 ~x11572+1048576 ~x11571+524288 ~x11570+262144 ~x11569+131072 ~x11568+65536 ~x11567+32768 ~x11566+16384 ~x11565+8192 ~x11564+4096 ~x11563+2048 ~x11562+1024 ~x11561+512 ~x11560+256 ~x11559+128 ~x11558+64 ~x11557+32 ~x11556+16 ~x11555+8 ~x11554+4 ~x11553+2 ~x11552+1 ~x11551-0=65806334 31.27/31.39 c 16777216 ~x952008+8388608 ~x952007+4194304 ~x952006+2097152 ~x952005+1048576 ~x952004+524288 ~x952003+262144 ~x952002+131072 ~x952001+65536 ~x952000+32768 ~x951999+16384 ~x951998+8192 ~x951997+4096 ~x951996+2048 ~x951995+1024 ~x951994+512 ~x951993+256 ~x951992+128 ~x951991+64 ~x951990+32 ~x951989+16 ~x951988+8 ~x951987+4 ~x951986+2 ~x951985+1 ~x951984+16777216 ~x11965+8388608 ~x11964+4194304 ~x11963+2097152 ~x11962+1048576 ~x11961+524288 ~x11960+262144 ~x11959+131072 ~x11958+65536 ~x11957+32768 ~x11956+16384 ~x11955+8192 ~x11954+4096 ~x11953+2048 ~x11952+1024 ~x11951+512 ~x11950+256 ~x11949+128 ~x11948+64 ~x11947+32 ~x11946+16 ~x11945+8 ~x11944+4 ~x11943+2 ~x11942+1 ~x11941-0=58493950 31.58/31.69 c 2097152 ~x964868+1048576 ~x964867+524288 ~x964866+262144 ~x964865+131072 ~x964864+65536 ~x964863+32768 ~x964862+16384 ~x964861+8192 ~x964860+4096 ~x964859+2048 ~x964858+1024 ~x964857+512 ~x964856+256 ~x964855+128 ~x964854+64 ~x964853+32 ~x964852+16 ~x964851+8 ~x964850+4 ~x964849+2 ~x964848+1 ~x964847+2097152 ~x12348+1048576 ~x12347+524288 ~x12346+262144 ~x12345+131072 ~x12344+65536 ~x12343+32768 ~x12342+16384 ~x12341+8192 ~x12340+4096 ~x12339+2048 ~x12338+1024 ~x12337+512 ~x12336+256 ~x12335+128 ~x12334+64 ~x12333+32 ~x12332+16 ~x12331+8 ~x12330+4 ~x12329+2 ~x12328+1 ~x12327-0=7559166 31.78/31.89 c 67108864 ~x973653+33554432 ~x973652+16777216 ~x973651+8388608 ~x973650+4194304 ~x973649+2097152 ~x973648+1048576 ~x973647+524288 ~x973646+262144 ~x973645+131072 ~x973644+65536 ~x973643+32768 ~x973642+16384 ~x973641+8192 ~x973640+4096 ~x973639+2048 ~x973638+1024 ~x973637+512 ~x973636+256 ~x973635+128 ~x973634+64 ~x973633+32 ~x973632+16 ~x973631+8 ~x973630+4 ~x973629+2 ~x973628+1 ~x973627+67108864 ~x12740+33554432 ~x12739+16777216 ~x12738+8388608 ~x12737+4194304 ~x12736+2097152 ~x12735+1048576 ~x12734+524288 ~x12733+262144 ~x12732+131072 ~x12731+65536 ~x12730+32768 ~x12729+16384 ~x12728+8192 ~x12727+4096 ~x12726+2048 ~x12725+1024 ~x12724+512 ~x12723+256 ~x12722+128 ~x12721+64 ~x12720+32 ~x12719+16 ~x12718+8 ~x12717+4 ~x12716+2 ~x12715+1 ~x12714-0=251567102 32.17/32.29 c 134217728 ~x990429+67108864 ~x990428+33554432 ~x990427+16777216 ~x990426+8388608 ~x990425+4194304 ~x990424+2097152 ~x990423+1048576 ~x990422+524288 ~x990421+262144 ~x990420+131072 ~x990419+65536 ~x990418+32768 ~x990417+16384 ~x990416+8192 ~x990415+4096 ~x990414+2048 ~x990413+1024 ~x990412+512 ~x990411+256 ~x990410+128 ~x990409+64 ~x990408+32 ~x990407+16 ~x990406+8 ~x990405+4 ~x990404+2 ~x990403+1 ~x990402+134217728 ~x13165+67108864 ~x13164+33554432 ~x13163+16777216 ~x13162+8388608 ~x13161+4194304 ~x13160+2097152 ~x13159+1048576 ~x13158+524288 ~x13157+262144 ~x13156+131072 ~x13155+65536 ~x13154+32768 ~x13153+16384 ~x13152+8192 ~x13151+4096 ~x13150+2048 ~x13149+1024 ~x13148+512 ~x13147+256 ~x13146+128 ~x13145+64 ~x13144+32 ~x13143+16 ~x13142+8 ~x13141+4 ~x13140+2 ~x13139+1 ~x13138-0=414894078 32.58/32.69 c 2097152 ~x1007907+1048576 ~x1007906+524288 ~x1007905+262144 ~x1007904+131072 ~x1007903+65536 ~x1007902+32768 ~x1007901+16384 ~x1007900+8192 ~x1007899+4096 ~x1007898+2048 ~x1007897+1024 ~x1007896+512 ~x1007895+256 ~x1007894+128 ~x1007893+64 ~x1007892+32 ~x1007891+16 ~x1007890+8 ~x1007889+4 ~x1007888+2 ~x1007887+1 ~x1007886+2097152 ~x13570+1048576 ~x13569+524288 ~x13568+262144 ~x13567+131072 ~x13566+65536 ~x13565+32768 ~x13564+16384 ~x13563+8192 ~x13562+4096 ~x13561+2048 ~x13560+1024 ~x13559+512 ~x13558+256 ~x13557+128 ~x13556+64 ~x13555+32 ~x13554+16 ~x13553+8 ~x13552+4 ~x13551+2 ~x13550+1 ~x13549-0=6519806 32.88/32.92 c 8388608 ~x1016689+4194304 ~x1016688+2097152 ~x1016687+1048576 ~x1016686+524288 ~x1016685+262144 ~x1016684+131072 ~x1016683+65536 ~x1016682+32768 ~x1016681+16384 ~x1016680+8192 ~x1016679+4096 ~x1016678+2048 ~x1016677+1024 ~x1016676+512 ~x1016675+256 ~x1016674+128 ~x1016673+64 ~x1016672+32 ~x1016671+16 ~x1016670+8 ~x1016669+4 ~x1016668+2 ~x1016667+1 ~x1016666+8388608 ~x13925+4194304 ~x13924+2097152 ~x13923+1048576 ~x13922+524288 ~x13921+262144 ~x13920+131072 ~x13919+65536 ~x13918+32768 ~x13917+16384 ~x13916+8192 ~x13915+4096 ~x13914+2048 ~x13913+1024 ~x13912+512 ~x13911+256 ~x13910+128 ~x13909+64 ~x13908+32 ~x13907+16 ~x13906+8 ~x13905+4 ~x13904+2 ~x13903+1 ~x13902-0=32584702 33.17/33.20 c 2097152 ~x1028551+1048576 ~x1028550+524288 ~x1028549+262144 ~x1028548+131072 ~x1028547+65536 ~x1028546+32768 ~x1028545+16384 ~x1028544+8192 ~x1028543+4096 ~x1028542+2048 ~x1028541+1024 ~x1028540+512 ~x1028539+256 ~x1028538+128 ~x1028537+64 ~x1028536+32 ~x1028535+16 ~x1028534+8 ~x1028533+4 ~x1028532+2 ~x1028531+1 ~x1028530+2097152 ~x14302+1048576 ~x14301+524288 ~x14300+262144 ~x14299+131072 ~x14298+65536 ~x14297+32768 ~x14296+16384 ~x14295+8192 ~x14294+4096 ~x14293+2048 ~x14292+1024 ~x14291+512 ~x14290+256 ~x14289+128 ~x14288+64 ~x14287+32 ~x14286+16 ~x14285+8 ~x14284+4 ~x14283+2 ~x14282+1 ~x14281-0=7885822 33.38/33.40 c 16777216 ~x1037334+8388608 ~x1037333+4194304 ~x1037332+2097152 ~x1037331+1048576 ~x1037330+524288 ~x1037329+262144 ~x1037328+131072 ~x1037327+65536 ~x1037326+32768 ~x1037325+16384 ~x1037324+8192 ~x1037323+4096 ~x1037322+2048 ~x1037321+1024 ~x1037320+512 ~x1037319+256 ~x1037318+128 ~x1037317+64 ~x1037316+32 ~x1037315+16 ~x1037314+8 ~x1037313+4 ~x1037312+2 ~x1037311+1 ~x1037310+16777216 ~x14695+8388608 ~x14694+4194304 ~x14693+2097152 ~x14692+1048576 ~x14691+524288 ~x14690+262144 ~x14689+131072 ~x14688+65536 ~x14687+32768 ~x14686+16384 ~x14685+8192 ~x14684+4096 ~x14683+2048 ~x14682+1024 ~x14681+512 ~x14680+256 ~x14679+128 ~x14678+64 ~x14677+32 ~x14676+16 ~x14675+8 ~x14674+4 ~x14673+2 ~x14672+1 ~x14671-0=66708478 33.68/33.71 c 8388608 ~x1050196+4194304 ~x1050195+2097152 ~x1050194+1048576 ~x1050193+524288 ~x1050192+262144 ~x1050191+131072 ~x1050190+65536 ~x1050189+32768 ~x1050188+16384 ~x1050187+8192 ~x1050186+4096 ~x1050185+2048 ~x1050184+1024 ~x1050183+512 ~x1050182+256 ~x1050181+128 ~x1050180+64 ~x1050179+32 ~x1050178+16 ~x1050177+8 ~x1050176+4 ~x1050175+2 ~x1050174+1 ~x1050173+8388608 ~x15080+4194304 ~x15079+2097152 ~x15078+1048576 ~x15077+524288 ~x15076+262144 ~x15075+131072 ~x15074+65536 ~x15073+32768 ~x15072+16384 ~x15071+8192 ~x15070+4096 ~x15069+2048 ~x15068+1024 ~x15067+512 ~x15066+256 ~x15065+128 ~x15064+64 ~x15063+32 ~x15062+16 ~x15061+8 ~x15060+4 ~x15059+2 ~x15058+1 ~x15057-0=27149310 33.87/33.99 c 536870912 ~x1062066+268435456 ~x1062065+134217728 ~x1062064+67108864 ~x1062063+33554432 ~x1062062+16777216 ~x1062061+8388608 ~x1062060+4194304 ~x1062059+2097152 ~x1062058+1048576 ~x1062057+524288 ~x1062056+262144 ~x1062055+131072 ~x1062054+65536 ~x1062053+32768 ~x1062052+16384 ~x1062051+8192 ~x1062050+4096 ~x1062049+2048 ~x1062048+1024 ~x1062047+512 ~x1062046+256 ~x1062045+128 ~x1062044+64 ~x1062043+32 ~x1062042+16 ~x1062041+8 ~x1062040+4 ~x1062039+2 ~x1062038+1 ~x1062037+536870912 ~x15485+268435456 ~x15484+134217728 ~x15483+67108864 ~x15482+33554432 ~x15481+16777216 ~x15480+8388608 ~x15479+4194304 ~x15478+2097152 ~x15477+1048576 ~x15476+524288 ~x15475+262144 ~x15474+131072 ~x15473+65536 ~x15472+32768 ~x15471+16384 ~x15470+8192 ~x15469+4096 ~x15468+2048 ~x15467+1024 ~x15466+512 ~x15465+256 ~x15464+128 ~x15463+64 ~x15462+32 ~x15461+16 ~x15460+8 ~x15459+4 ~x15458+2 ~x15457+1 ~x15456-0=2089986046 34.37/34.44 c 4194304 ~x1081479+2097152 ~x1081478+1048576 ~x1081477+524288 ~x1081476+262144 ~x1081475+131072 ~x1081474+65536 ~x1081473+32768 ~x1081472+16384 ~x1081471+8192 ~x1081470+4096 ~x1081469+2048 ~x1081468+1024 ~x1081467+512 ~x1081466+256 ~x1081465+128 ~x1081464+64 ~x1081463+32 ~x1081462+16 ~x1081461+8 ~x1081460+4 ~x1081459+2 ~x1081458+1 ~x1081457+4194304 ~x9234+2097152 ~x9233+1048576 ~x9232+524288 ~x9231+262144 ~x9230+131072 ~x9229+65536 ~x9228+32768 ~x9227+16384 ~x9226+8192 ~x9225+4096 ~x9224+2048 ~x9223+1024 ~x9222+512 ~x9221+256 ~x9220+128 ~x9219+64 ~x9218+32 ~x9217+16 ~x9216+8 ~x9215+4 ~x9214+2 ~x9213+1 ~x9212-0=15855614 34.68/34.70 c 67108864 ~x1092776+33554432 ~x1092775+16777216 ~x1092774+8388608 ~x1092773+4194304 ~x1092772+2097152 ~x1092771+1048576 ~x1092770+524288 ~x1092769+262144 ~x1092768+131072 ~x1092767+65536 ~x1092766+32768 ~x1092765+16384 ~x1092764+8192 ~x1092763+4096 ~x1092762+2048 ~x1092761+1024 ~x1092760+512 ~x1092759+256 ~x1092758+128 ~x1092757+64 ~x1092756+32 ~x1092755+16 ~x1092754+8 ~x1092753+4 ~x1092752+2 ~x1092751+1 ~x1092750+67108864 ~x9618+33554432 ~x9617+16777216 ~x9616+8388608 ~x9615+4194304 ~x9614+2097152 ~x9613+1048576 ~x9612+524288 ~x9611+262144 ~x9610+131072 ~x9609+65536 ~x9608+32768 ~x9607+16384 ~x9606+8192 ~x9605+4096 ~x9604+2048 ~x9603+1024 ~x9602+512 ~x9601+256 ~x9600+128 ~x9599+64 ~x9598+32 ~x9597+16 ~x9596+8 ~x9595+4 ~x9594+2 ~x9593+1 ~x9592-0=227605502 35.08/35.10 c 8388608 ~x1109548+4194304 ~x1109547+2097152 ~x1109546+1048576 ~x1109545+524288 ~x1109544+262144 ~x1109543+131072 ~x1109542+65536 ~x1109541+32768 ~x1109540+16384 ~x1109539+8192 ~x1109538+4096 ~x1109537+2048 ~x1109536+1024 ~x1109535+512 ~x1109534+256 ~x1109533+128 ~x1109532+64 ~x1109531+32 ~x1109530+16 ~x1109529+8 ~x1109528+4 ~x1109527+2 ~x1109526+1 ~x1109525+8388608 ~x10030+4194304 ~x10029+2097152 ~x10028+1048576 ~x10027+524288 ~x10026+262144 ~x10025+131072 ~x10024+65536 ~x10023+32768 ~x10022+16384 ~x10021+8192 ~x10020+4096 ~x10019+2048 ~x10018+1024 ~x10017+512 ~x10016+256 ~x10015+128 ~x10014+64 ~x10013+32 ~x10012+16 ~x10011+8 ~x10010+4 ~x10009+2 ~x10008+1 ~x10007-0=29211646 35.27/35.38 c 33554432 ~x1121414+16777216 ~x1121413+8388608 ~x1121412+4194304 ~x1121411+2097152 ~x1121410+1048576 ~x1121409+524288 ~x1121408+262144 ~x1121407+131072 ~x1121406+65536 ~x1121405+32768 ~x1121404+16384 ~x1121403+8192 ~x1121402+4096 ~x1121401+2048 ~x1121400+1024 ~x1121399+512 ~x1121398+256 ~x1121397+128 ~x1121396+64 ~x1121395+32 ~x1121394+16 ~x1121393+8 ~x1121392+4 ~x1121391+2 ~x1121390+1 ~x1121389+33554432 ~x10437+16777216 ~x10436+8388608 ~x10435+4194304 ~x10434+2097152 ~x10433+1048576 ~x10432+524288 ~x10431+262144 ~x10430+131072 ~x10429+65536 ~x10428+32768 ~x10427+16384 ~x10426+8192 ~x10425+4096 ~x10424+2048 ~x10423+1024 ~x10422+512 ~x10421+256 ~x10420+128 ~x10419+64 ~x10418+32 ~x10417+16 ~x10416+8 ~x10415+4 ~x10414+2 ~x10413+1 ~x10412-0=133069822 35.58/35.69 c 1048576 ~x1135089+524288 ~x1135088+262144 ~x1135087+131072 ~x1135086+65536 ~x1135085+32768 ~x1135084+16384 ~x1135083+8192 ~x1135082+4096 ~x1135081+2048 ~x1135080+1024 ~x1135079+512 ~x1135078+256 ~x1135077+128 ~x1135076+64 ~x1135075+32 ~x1135074+16 ~x1135073+8 ~x1135072+4 ~x1135071+2 ~x1135070+1 ~x1135069+1048576 ~x10827+524288 ~x10826+262144 ~x10825+131072 ~x10824+65536 ~x10823+32768 ~x10822+16384 ~x10821+8192 ~x10820+4096 ~x10819+2048 ~x10818+1024 ~x10817+512 ~x10816+256 ~x10815+128 ~x10814+64 ~x10813+32 ~x10812+16 ~x10811+8 ~x10810+4 ~x10809+2 ~x10808+1 ~x10807-0=4189182 35.77/35.89 c 2097152 ~x1143227+1048576 ~x1143226+524288 ~x1143225+262144 ~x1143224+131072 ~x1143223+65536 ~x1143222+32768 ~x1143221+16384 ~x1143220+8192 ~x1143219+4096 ~x1143218+2048 ~x1143217+1024 ~x1143216+512 ~x1143215+256 ~x1143214+128 ~x1143213+64 ~x1143212+32 ~x1143211+16 ~x1143210+8 ~x1143209+4 ~x1143208+2 ~x1143207+1 ~x1143206+2097152 ~x11208+1048576 ~x11207+524288 ~x11206+262144 ~x11205+131072 ~x11204+65536 ~x11203+32768 ~x11202+16384 ~x11201+8192 ~x11200+4096 ~x11199+2048 ~x11198+1024 ~x11197+512 ~x11196+256 ~x11195+128 ~x11194+64 ~x11193+32 ~x11192+16 ~x11191+8 ~x11190+4 ~x11189+2 ~x11188+1 ~x11187-0=6885374 35.97/36.09 c 16777216 ~x1152010+8388608 ~x1152009+4194304 ~x1152008+2097152 ~x1152007+1048576 ~x1152006+524288 ~x1152005+262144 ~x1152004+131072 ~x1152003+65536 ~x1152002+32768 ~x1152001+16384 ~x1152000+8192 ~x1151999+4096 ~x1151998+2048 ~x1151997+1024 ~x1151996+512 ~x1151995+256 ~x1151994+128 ~x1151993+64 ~x1151992+32 ~x1151991+16 ~x1151990+8 ~x1151989+4 ~x1151988+2 ~x1151987+1 ~x1151986+16777216 ~x11601+8388608 ~x11600+4194304 ~x11599+2097152 ~x11598+1048576 ~x11597+524288 ~x11596+262144 ~x11595+131072 ~x11594+65536 ~x11593+32768 ~x11592+16384 ~x11591+8192 ~x11590+4096 ~x11589+2048 ~x11588+1024 ~x11587+512 ~x11586+256 ~x11585+128 ~x11584+64 ~x11583+32 ~x11582+16 ~x11581+8 ~x11580+4 ~x11579+2 ~x11578+1 ~x11577-0=65806334 36.37/36.40 c 16777216 ~x1164873+8388608 ~x1164872+4194304 ~x1164871+2097152 ~x1164870+1048576 ~x1164869+524288 ~x1164868+262144 ~x1164867+131072 ~x1164866+65536 ~x1164865+32768 ~x1164864+16384 ~x1164863+8192 ~x1164862+4096 ~x1164861+2048 ~x1164860+1024 ~x1164859+512 ~x1164858+256 ~x1164857+128 ~x1164856+64 ~x1164855+32 ~x1164854+16 ~x1164853+8 ~x1164852+4 ~x1164851+2 ~x1164850+1 ~x1164849+16777216 ~x11991+8388608 ~x11990+4194304 ~x11989+2097152 ~x11988+1048576 ~x11987+524288 ~x11986+262144 ~x11985+131072 ~x11984+65536 ~x11983+32768 ~x11982+16384 ~x11981+8192 ~x11980+4096 ~x11979+2048 ~x11978+1024 ~x11977+512 ~x11976+256 ~x11975+128 ~x11974+64 ~x11973+32 ~x11972+16 ~x11971+8 ~x11970+4 ~x11969+2 ~x11968+1 ~x11967-0=58493950 36.67/36.70 c 2097152 ~x1177733+1048576 ~x1177732+524288 ~x1177731+262144 ~x1177730+131072 ~x1177729+65536 ~x1177728+32768 ~x1177727+16384 ~x1177726+8192 ~x1177725+4096 ~x1177724+2048 ~x1177723+1024 ~x1177722+512 ~x1177721+256 ~x1177720+128 ~x1177719+64 ~x1177718+32 ~x1177717+16 ~x1177716+8 ~x1177715+4 ~x1177714+2 ~x1177713+1 ~x1177712+2097152 ~x12373+1048576 ~x12372+524288 ~x12371+262144 ~x12370+131072 ~x12369+65536 ~x12368+32768 ~x12367+16384 ~x12366+8192 ~x12365+4096 ~x12364+2048 ~x12363+1024 ~x12362+512 ~x12361+256 ~x12360+128 ~x12359+64 ~x12358+32 ~x12357+16 ~x12356+8 ~x12355+4 ~x12354+2 ~x12353+1 ~x12352-0=7559166 36.87/36.91 c 67108864 ~x1186518+33554432 ~x1186517+16777216 ~x1186516+8388608 ~x1186515+4194304 ~x1186514+2097152 ~x1186513+1048576 ~x1186512+524288 ~x1186511+262144 ~x1186510+131072 ~x1186509+65536 ~x1186508+32768 ~x1186507+16384 ~x1186506+8192 ~x1186505+4096 ~x1186504+2048 ~x1186503+1024 ~x1186502+512 ~x1186501+256 ~x1186500+128 ~x1186499+64 ~x1186498+32 ~x1186497+16 ~x1186496+8 ~x1186495+4 ~x1186494+2 ~x1186493+1 ~x1186492+67108864 ~x12768+33554432 ~x12767+16777216 ~x12766+8388608 ~x12765+4194304 ~x12764+2097152 ~x12763+1048576 ~x12762+524288 ~x12761+262144 ~x12760+131072 ~x12759+65536 ~x12758+32768 ~x12757+16384 ~x12756+8192 ~x12755+4096 ~x12754+2048 ~x12753+1024 ~x12752+512 ~x12751+256 ~x12750+128 ~x12749+64 ~x12748+32 ~x12747+16 ~x12746+8 ~x12745+4 ~x12744+2 ~x12743+1 ~x12742-0=251567102 37.28/37.30 c 134217728 ~x1203294+67108864 ~x1203293+33554432 ~x1203292+16777216 ~x1203291+8388608 ~x1203290+4194304 ~x1203289+2097152 ~x1203288+1048576 ~x1203287+524288 ~x1203286+262144 ~x1203285+131072 ~x1203284+65536 ~x1203283+32768 ~x1203282+16384 ~x1203281+8192 ~x1203280+4096 ~x1203279+2048 ~x1203278+1024 ~x1203277+512 ~x1203276+256 ~x1203275+128 ~x1203274+64 ~x1203273+32 ~x1203272+16 ~x1203271+8 ~x1203270+4 ~x1203269+2 ~x1203268+1 ~x1203267+134217728 ~x13194+67108864 ~x13193+33554432 ~x13192+16777216 ~x13191+8388608 ~x13190+4194304 ~x13189+2097152 ~x13188+1048576 ~x13187+524288 ~x13186+262144 ~x13185+131072 ~x13184+65536 ~x13183+32768 ~x13182+16384 ~x13181+8192 ~x13180+4096 ~x13179+2048 ~x13178+1024 ~x13177+512 ~x13176+256 ~x13175+128 ~x13174+64 ~x13173+32 ~x13172+16 ~x13171+8 ~x13170+4 ~x13169+2 ~x13168+1 ~x13167-0=414894078 37.67/37.71 c 2097152 ~x1220772+1048576 ~x1220771+524288 ~x1220770+262144 ~x1220769+131072 ~x1220768+65536 ~x1220767+32768 ~x1220766+16384 ~x1220765+8192 ~x1220764+4096 ~x1220763+2048 ~x1220762+1024 ~x1220761+512 ~x1220760+256 ~x1220759+128 ~x1220758+64 ~x1220757+32 ~x1220756+16 ~x1220755+8 ~x1220754+4 ~x1220753+2 ~x1220752+1 ~x1220751+2097152 ~x13593+1048576 ~x13592+524288 ~x13591+262144 ~x13590+131072 ~x13589+65536 ~x13588+32768 ~x13587+16384 ~x13586+8192 ~x13585+4096 ~x13584+2048 ~x13583+1024 ~x13582+512 ~x13581+256 ~x13580+128 ~x13579+64 ~x13578+32 ~x13577+16 ~x13576+8 ~x13575+4 ~x13574+2 ~x13573+1 ~x13572-0=6519806 37.87/37.92 c 8388608 ~x1229554+4194304 ~x1229553+2097152 ~x1229552+1048576 ~x1229551+524288 ~x1229550+262144 ~x1229549+131072 ~x1229548+65536 ~x1229547+32768 ~x1229546+16384 ~x1229545+8192 ~x1229544+4096 ~x1229543+2048 ~x1229542+1024 ~x1229541+512 ~x1229540+256 ~x1229539+128 ~x1229538+64 ~x1229537+32 ~x1229536+16 ~x1229535+8 ~x1229534+4 ~x1229533+2 ~x1229532+1 ~x1229531+8388608 ~x13950+4194304 ~x13949+2097152 ~x13948+1048576 ~x13947+524288 ~x13946+262144 ~x13945+131072 ~x13944+65536 ~x13943+32768 ~x13942+16384 ~x13941+8192 ~x13940+4096 ~x13939+2048 ~x13938+1024 ~x13937+512 ~x13936+256 ~x13935+128 ~x13934+64 ~x13933+32 ~x13932+16 ~x13931+8 ~x13930+4 ~x13929+2 ~x13928+1 ~x13927-0=32584702 38.08/38.20 c 2097152 ~x1241416+1048576 ~x1241415+524288 ~x1241414+262144 ~x1241413+131072 ~x1241412+65536 ~x1241411+32768 ~x1241410+16384 ~x1241409+8192 ~x1241408+4096 ~x1241407+2048 ~x1241406+1024 ~x1241405+512 ~x1241404+256 ~x1241403+128 ~x1241402+64 ~x1241401+32 ~x1241400+16 ~x1241399+8 ~x1241398+4 ~x1241397+2 ~x1241396+1 ~x1241395+2097152 ~x14328+1048576 ~x14327+524288 ~x14326+262144 ~x14325+131072 ~x14324+65536 ~x14323+32768 ~x14322+16384 ~x14321+8192 ~x14320+4096 ~x14319+2048 ~x14318+1024 ~x14317+512 ~x14316+256 ~x14315+128 ~x14314+64 ~x14313+32 ~x14312+16 ~x14311+8 ~x14310+4 ~x14309+2 ~x14308+1 ~x14307-0=7885822 38.38/38.40 c 16777216 ~x1250199+8388608 ~x1250198+4194304 ~x1250197+2097152 ~x1250196+1048576 ~x1250195+524288 ~x1250194+262144 ~x1250193+131072 ~x1250192+65536 ~x1250191+32768 ~x1250190+16384 ~x1250189+8192 ~x1250188+4096 ~x1250187+2048 ~x1250186+1024 ~x1250185+512 ~x1250184+256 ~x1250183+128 ~x1250182+64 ~x1250181+32 ~x1250180+16 ~x1250179+8 ~x1250178+4 ~x1250177+2 ~x1250176+1 ~x1250175+16777216 ~x14721+8388608 ~x14720+4194304 ~x14719+2097152 ~x14718+1048576 ~x14717+524288 ~x14716+262144 ~x14715+131072 ~x14714+65536 ~x14713+32768 ~x14712+16384 ~x14711+8192 ~x14710+4096 ~x14709+2048 ~x14708+1024 ~x14707+512 ~x14706+256 ~x14705+128 ~x14704+64 ~x14703+32 ~x14702+16 ~x14701+8 ~x14700+4 ~x14699+2 ~x14698+1 ~x14697-0=66708478 38.67/38.73 c 8388608 ~x1263061+4194304 ~x1263060+2097152 ~x1263059+1048576 ~x1263058+524288 ~x1263057+262144 ~x1263056+131072 ~x1263055+65536 ~x1263054+32768 ~x1263053+16384 ~x1263052+8192 ~x1263051+4096 ~x1263050+2048 ~x1263049+1024 ~x1263048+512 ~x1263047+256 ~x1263046+128 ~x1263045+64 ~x1263044+32 ~x1263043+16 ~x1263042+8 ~x1263041+4 ~x1263040+2 ~x1263039+1 ~x1263038+8388608 ~x15105+4194304 ~x15104+2097152 ~x15103+1048576 ~x15102+524288 ~x15101+262144 ~x15100+131072 ~x15099+65536 ~x15098+32768 ~x15097+16384 ~x15096+8192 ~x15095+4096 ~x15094+2048 ~x15093+1024 ~x15092+512 ~x15091+256 ~x15090+128 ~x15089+64 ~x15088+32 ~x15087+16 ~x15086+8 ~x15085+4 ~x15084+2 ~x15083+1 ~x15082-0=27149310 38.97/39.01 c 536870912 ~x1274931+268435456 ~x1274930+134217728 ~x1274929+67108864 ~x1274928+33554432 ~x1274927+16777216 ~x1274926+8388608 ~x1274925+4194304 ~x1274924+2097152 ~x1274923+1048576 ~x1274922+524288 ~x1274921+262144 ~x1274920+131072 ~x1274919+65536 ~x1274918+32768 ~x1274917+16384 ~x1274916+8192 ~x1274915+4096 ~x1274914+2048 ~x1274913+1024 ~x1274912+512 ~x1274911+256 ~x1274910+128 ~x1274909+64 ~x1274908+32 ~x1274907+16 ~x1274906+8 ~x1274905+4 ~x1274904+2 ~x1274903+1 ~x1274902+536870912 ~x15516+268435456 ~x15515+134217728 ~x15514+67108864 ~x15513+33554432 ~x15512+16777216 ~x15511+8388608 ~x15510+4194304 ~x15509+2097152 ~x15508+1048576 ~x15507+524288 ~x15506+262144 ~x15505+131072 ~x15504+65536 ~x15503+32768 ~x15502+16384 ~x15501+8192 ~x15500+4096 ~x15499+2048 ~x15498+1024 ~x15497+512 ~x15496+256 ~x15495+128 ~x15494+64 ~x15493+32 ~x15492+16 ~x15491+8 ~x15490+4 ~x15489+2 ~x15488+1 ~x15487-0=2089986046 39.37/39.45 c 4194304 ~x1294344+2097152 ~x1294343+1048576 ~x1294342+524288 ~x1294341+262144 ~x1294340+131072 ~x1294339+65536 ~x1294338+32768 ~x1294337+16384 ~x1294336+8192 ~x1294335+4096 ~x1294334+2048 ~x1294333+1024 ~x1294332+512 ~x1294331+256 ~x1294330+128 ~x1294329+64 ~x1294328+32 ~x1294327+16 ~x1294326+8 ~x1294325+4 ~x1294324+2 ~x1294323+1 ~x1294322+4194304 ~x9258+2097152 ~x9257+1048576 ~x9256+524288 ~x9255+262144 ~x9254+131072 ~x9253+65536 ~x9252+32768 ~x9251+16384 ~x9250+8192 ~x9249+4096 ~x9248+2048 ~x9247+1024 ~x9246+512 ~x9245+256 ~x9244+128 ~x9243+64 ~x9242+32 ~x9241+16 ~x9240+8 ~x9239+4 ~x9238+2 ~x9237+1 ~x9236-0=15855614 39.67/39.72 c 67108864 ~x1305641+33554432 ~x1305640+16777216 ~x1305639+8388608 ~x1305638+4194304 ~x1305637+2097152 ~x1305636+1048576 ~x1305635+524288 ~x1305634+262144 ~x1305633+131072 ~x1305632+65536 ~x1305631+32768 ~x1305630+16384 ~x1305629+8192 ~x1305628+4096 ~x1305627+2048 ~x1305626+1024 ~x1305625+512 ~x1305624+256 ~x1305623+128 ~x1305622+64 ~x1305621+32 ~x1305620+16 ~x1305619+8 ~x1305618+4 ~x1305617+2 ~x1305616+1 ~x1305615+67108864 ~x9646+33554432 ~x9645+16777216 ~x9644+8388608 ~x9643+4194304 ~x9642+2097152 ~x9641+1048576 ~x9640+524288 ~x9639+262144 ~x9638+131072 ~x9637+65536 ~x9636+32768 ~x9635+16384 ~x9634+8192 ~x9633+4096 ~x9632+2048 ~x9631+1024 ~x9630+512 ~x9629+256 ~x9628+128 ~x9627+64 ~x9626+32 ~x9625+16 ~x9624+8 ~x9623+4 ~x9622+2 ~x9621+1 ~x9620-0=227605502 40.07/40.11 c 8388608 ~x1322413+4194304 ~x1322412+2097152 ~x1322411+1048576 ~x1322410+524288 ~x1322409+262144 ~x1322408+131072 ~x1322407+65536 ~x1322406+32768 ~x1322405+16384 ~x1322404+8192 ~x1322403+4096 ~x1322402+2048 ~x1322401+1024 ~x1322400+512 ~x1322399+256 ~x1322398+128 ~x1322397+64 ~x1322396+32 ~x1322395+16 ~x1322394+8 ~x1322393+4 ~x1322392+2 ~x1322391+1 ~x1322390+8388608 ~x10057+4194304 ~x10056+2097152 ~x10055+1048576 ~x10054+524288 ~x10053+262144 ~x10052+131072 ~x10051+65536 ~x10050+32768 ~x10049+16384 ~x10048+8192 ~x10047+4096 ~x10046+2048 ~x10045+1024 ~x10044+512 ~x10043+256 ~x10042+128 ~x10041+64 ~x10040+32 ~x10039+16 ~x10038+8 ~x10037+4 ~x10036+2 ~x10035+1 ~x10034-0=29211646 40.27/40.39 c 33554432 ~x1334279+16777216 ~x1334278+8388608 ~x1334277+4194304 ~x1334276+2097152 ~x1334275+1048576 ~x1334274+524288 ~x1334273+262144 ~x1334272+131072 ~x1334271+65536 ~x1334270+32768 ~x1334269+16384 ~x1334268+8192 ~x1334267+4096 ~x1334266+2048 ~x1334265+1024 ~x1334264+512 ~x1334263+256 ~x1334262+128 ~x1334261+64 ~x1334260+32 ~x1334259+16 ~x1334258+8 ~x1334257+4 ~x1334256+2 ~x1334255+1 ~x1334254+33554432 ~x10464+16777216 ~x10463+8388608 ~x10462+4194304 ~x10461+2097152 ~x10460+1048576 ~x10459+524288 ~x10458+262144 ~x10457+131072 ~x10456+65536 ~x10455+32768 ~x10454+16384 ~x10453+8192 ~x10452+4096 ~x10451+2048 ~x10450+1024 ~x10449+512 ~x10448+256 ~x10447+128 ~x10446+64 ~x10445+32 ~x10444+16 ~x10443+8 ~x10442+4 ~x10441+2 ~x10440+1 ~x10439-0=133069822 40.68/40.71 c 1048576 ~x1347954+524288 ~x1347953+262144 ~x1347952+131072 ~x1347951+65536 ~x1347950+32768 ~x1347949+16384 ~x1347948+8192 ~x1347947+4096 ~x1347946+2048 ~x1347945+1024 ~x1347944+512 ~x1347943+256 ~x1347942+128 ~x1347941+64 ~x1347940+32 ~x1347939+16 ~x1347938+8 ~x1347937+4 ~x1347936+2 ~x1347935+1 ~x1347934+1048576 ~x10852+524288 ~x10851+262144 ~x10850+131072 ~x10849+65536 ~x10848+32768 ~x10847+16384 ~x10846+8192 ~x10845+4096 ~x10844+2048 ~x10843+1024 ~x10842+512 ~x10841+256 ~x10840+128 ~x10839+64 ~x10838+32 ~x10837+16 ~x10836+8 ~x10835+4 ~x10834+2 ~x10833+1 ~x10832-0=4189182 40.87/40.90 c 2097152 ~x1356092+1048576 ~x1356091+524288 ~x1356090+262144 ~x1356089+131072 ~x1356088+65536 ~x1356087+32768 ~x1356086+16384 ~x1356085+8192 ~x1356084+4096 ~x1356083+2048 ~x1356082+1024 ~x1356081+512 ~x1356080+256 ~x1356079+128 ~x1356078+64 ~x1356077+32 ~x1356076+16 ~x1356075+8 ~x1356074+4 ~x1356073+2 ~x1356072+1 ~x1356071+2097152 ~x11234+1048576 ~x11233+524288 ~x11232+262144 ~x11231+131072 ~x11230+65536 ~x11229+32768 ~x11228+16384 ~x11227+8192 ~x11226+4096 ~x11225+2048 ~x11224+1024 ~x11223+512 ~x11222+256 ~x11221+128 ~x11220+64 ~x11219+32 ~x11218+16 ~x11217+8 ~x11216+4 ~x11215+2 ~x11214+1 ~x11213-0=6885374 41.07/41.11 c 16777216 ~x1364875+8388608 ~x1364874+4194304 ~x1364873+2097152 ~x1364872+1048576 ~x1364871+524288 ~x1364870+262144 ~x1364869+131072 ~x1364868+65536 ~x1364867+32768 ~x1364866+16384 ~x1364865+8192 ~x1364864+4096 ~x1364863+2048 ~x1364862+1024 ~x1364861+512 ~x1364860+256 ~x1364859+128 ~x1364858+64 ~x1364857+32 ~x1364856+16 ~x1364855+8 ~x1364854+4 ~x1364853+2 ~x1364852+1 ~x1364851+16777216 ~x11627+8388608 ~x11626+4194304 ~x11625+2097152 ~x11624+1048576 ~x11623+524288 ~x11622+262144 ~x11621+131072 ~x11620+65536 ~x11619+32768 ~x11618+16384 ~x11617+8192 ~x11616+4096 ~x11615+2048 ~x11614+1024 ~x11613+512 ~x11612+256 ~x11611+128 ~x11610+64 ~x11609+32 ~x11608+16 ~x11607+8 ~x11606+4 ~x11605+2 ~x11604+1 ~x11603-0=65806334 41.37/41.41 c 16777216 ~x1377738+8388608 ~x1377737+4194304 ~x1377736+2097152 ~x1377735+1048576 ~x1377734+524288 ~x1377733+262144 ~x1377732+131072 ~x1377731+65536 ~x1377730+32768 ~x1377729+16384 ~x1377728+8192 ~x1377727+4096 ~x1377726+2048 ~x1377725+1024 ~x1377724+512 ~x1377723+256 ~x1377722+128 ~x1377721+64 ~x1377720+32 ~x1377719+16 ~x1377718+8 ~x1377717+4 ~x1377716+2 ~x1377715+1 ~x1377714+16777216 ~x12017+8388608 ~x12016+4194304 ~x12015+2097152 ~x12014+1048576 ~x12013+524288 ~x12012+262144 ~x12011+131072 ~x12010+65536 ~x12009+32768 ~x12008+16384 ~x12007+8192 ~x12006+4096 ~x12005+2048 ~x12004+1024 ~x12003+512 ~x12002+256 ~x12001+128 ~x12000+64 ~x11999+32 ~x11998+16 ~x11997+8 ~x11996+4 ~x11995+2 ~x11994+1 ~x11993-0=58493950 41.68/41.71 c 2097152 ~x1390598+1048576 ~x1390597+524288 ~x1390596+262144 ~x1390595+131072 ~x1390594+65536 ~x1390593+32768 ~x1390592+16384 ~x1390591+8192 ~x1390590+4096 ~x1390589+2048 ~x1390588+1024 ~x1390587+512 ~x1390586+256 ~x1390585+128 ~x1390584+64 ~x1390583+32 ~x1390582+16 ~x1390581+8 ~x1390580+4 ~x1390579+2 ~x1390578+1 ~x1390577+2097152 ~x12398+1048576 ~x12397+524288 ~x12396+262144 ~x12395+131072 ~x12394+65536 ~x12393+32768 ~x12392+16384 ~x12391+8192 ~x12390+4096 ~x12389+2048 ~x12388+1024 ~x12387+512 ~x12386+256 ~x12385+128 ~x12384+64 ~x12383+32 ~x12382+16 ~x12381+8 ~x12380+4 ~x12379+2 ~x12378+1 ~x12377-0=7559166 41.87/41.92 c 67108864 ~x1399383+33554432 ~x1399382+16777216 ~x1399381+8388608 ~x1399380+4194304 ~x1399379+2097152 ~x1399378+1048576 ~x1399377+524288 ~x1399376+262144 ~x1399375+131072 ~x1399374+65536 ~x1399373+32768 ~x1399372+16384 ~x1399371+8192 ~x1399370+4096 ~x1399369+2048 ~x1399368+1024 ~x1399367+512 ~x1399366+256 ~x1399365+128 ~x1399364+64 ~x1399363+32 ~x1399362+16 ~x1399361+8 ~x1399360+4 ~x1399359+2 ~x1399358+1 ~x1399357+67108864 ~x12796+33554432 ~x12795+16777216 ~x12794+8388608 ~x12793+4194304 ~x12792+2097152 ~x12791+1048576 ~x12790+524288 ~x12789+262144 ~x12788+131072 ~x12787+65536 ~x12786+32768 ~x12785+16384 ~x12784+8192 ~x12783+4096 ~x12782+2048 ~x12781+1024 ~x12780+512 ~x12779+256 ~x12778+128 ~x12777+64 ~x12776+32 ~x12775+16 ~x12774+8 ~x12773+4 ~x12772+2 ~x12771+1 ~x12770-0=251567102 42.27/42.31 c 134217728 ~x1416159+67108864 ~x1416158+33554432 ~x1416157+16777216 ~x1416156+8388608 ~x1416155+4194304 ~x1416154+2097152 ~x1416153+1048576 ~x1416152+524288 ~x1416151+262144 ~x1416150+131072 ~x1416149+65536 ~x1416148+32768 ~x1416147+16384 ~x1416146+8192 ~x1416145+4096 ~x1416144+2048 ~x1416143+1024 ~x1416142+512 ~x1416141+256 ~x1416140+128 ~x1416139+64 ~x1416138+32 ~x1416137+16 ~x1416136+8 ~x1416135+4 ~x1416134+2 ~x1416133+1 ~x1416132+134217728 ~x13223+67108864 ~x13222+33554432 ~x13221+16777216 ~x13220+8388608 ~x13219+4194304 ~x13218+2097152 ~x13217+1048576 ~x13216+524288 ~x13215+262144 ~x13214+131072 ~x13213+65536 ~x13212+32768 ~x13211+16384 ~x13210+8192 ~x13209+4096 ~x13208+2048 ~x13207+1024 ~x13206+512 ~x13205+256 ~x13204+128 ~x13203+64 ~x13202+32 ~x13201+16 ~x13200+8 ~x13199+4 ~x13198+2 ~x13197+1 ~x13196-0=414894078 42.67/42.72 c 2097152 ~x1433637+1048576 ~x1433636+524288 ~x1433635+262144 ~x1433634+131072 ~x1433633+65536 ~x1433632+32768 ~x1433631+16384 ~x1433630+8192 ~x1433629+4096 ~x1433628+2048 ~x1433627+1024 ~x1433626+512 ~x1433625+256 ~x1433624+128 ~x1433623+64 ~x1433622+32 ~x1433621+16 ~x1433620+8 ~x1433619+4 ~x1433618+2 ~x1433617+1 ~x1433616+2097152 ~x13616+1048576 ~x13615+524288 ~x13614+262144 ~x13613+131072 ~x13612+65536 ~x13611+32768 ~x13610+16384 ~x13609+8192 ~x13608+4096 ~x13607+2048 ~x13606+1024 ~x13605+512 ~x13604+256 ~x13603+128 ~x13602+64 ~x13601+32 ~x13600+16 ~x13599+8 ~x13598+4 ~x13597+2 ~x13596+1 ~x13595-0=6519806 42.87/42.93 c 8388608 ~x1442419+4194304 ~x1442418+2097152 ~x1442417+1048576 ~x1442416+524288 ~x1442415+262144 ~x1442414+131072 ~x1442413+65536 ~x1442412+32768 ~x1442411+16384 ~x1442410+8192 ~x1442409+4096 ~x1442408+2048 ~x1442407+1024 ~x1442406+512 ~x1442405+256 ~x1442404+128 ~x1442403+64 ~x1442402+32 ~x1442401+16 ~x1442400+8 ~x1442399+4 ~x1442398+2 ~x1442397+1 ~x1442396+8388608 ~x13975+4194304 ~x13974+2097152 ~x13973+1048576 ~x13972+524288 ~x13971+262144 ~x13970+131072 ~x13969+65536 ~x13968+32768 ~x13967+16384 ~x13966+8192 ~x13965+4096 ~x13964+2048 ~x13963+1024 ~x13962+512 ~x13961+256 ~x13960+128 ~x13959+64 ~x13958+32 ~x13957+16 ~x13956+8 ~x13955+4 ~x13954+2 ~x13953+1 ~x13952-0=32584702 43.17/43.21 c 2097152 ~x1454281+1048576 ~x1454280+524288 ~x1454279+262144 ~x1454278+131072 ~x1454277+65536 ~x1454276+32768 ~x1454275+16384 ~x1454274+8192 ~x1454273+4096 ~x1454272+2048 ~x1454271+1024 ~x1454270+512 ~x1454269+256 ~x1454268+128 ~x1454267+64 ~x1454266+32 ~x1454265+16 ~x1454264+8 ~x1454263+4 ~x1454262+2 ~x1454261+1 ~x1454260+2097152 ~x14354+1048576 ~x14353+524288 ~x14352+262144 ~x14351+131072 ~x14350+65536 ~x14349+32768 ~x14348+16384 ~x14347+8192 ~x14346+4096 ~x14345+2048 ~x14344+1024 ~x14343+512 ~x14342+256 ~x14341+128 ~x14340+64 ~x14339+32 ~x14338+16 ~x14337+8 ~x14336+4 ~x14335+2 ~x14334+1 ~x14333-0=7885822 43.37/43.41 c 16777216 ~x1463064+8388608 ~x1463063+4194304 ~x1463062+2097152 ~x1463061+1048576 ~x1463060+524288 ~x1463059+262144 ~x1463058+131072 ~x1463057+65536 ~x1463056+32768 ~x1463055+16384 ~x1463054+8192 ~x1463053+4096 ~x1463052+2048 ~x1463051+1024 ~x1463050+512 ~x1463049+256 ~x1463048+128 ~x1463047+64 ~x1463046+32 ~x1463045+16 ~x1463044+8 ~x1463043+4 ~x1463042+2 ~x1463041+1 ~x1463040+16777216 ~x14747+8388608 ~x14746+4194304 ~x14745+2097152 ~x14744+1048576 ~x14743+524288 ~x14742+262144 ~x14741+131072 ~x14740+65536 ~x14739+32768 ~x14738+16384 ~x14737+8192 ~x14736+4096 ~x14735+2048 ~x14734+1024 ~x14733+512 ~x14732+256 ~x14731+128 ~x14730+64 ~x14729+32 ~x14728+16 ~x14727+8 ~x14726+4 ~x14725+2 ~x14724+1 ~x14723-0=66708478 43.67/43.71 c 8388608 ~x1475926+4194304 ~x1475925+2097152 ~x1475924+1048576 ~x1475923+524288 ~x1475922+262144 ~x1475921+131072 ~x1475920+65536 ~x1475919+32768 ~x1475918+16384 ~x1475917+8192 ~x1475916+4096 ~x1475915+2048 ~x1475914+1024 ~x1475913+512 ~x1475912+256 ~x1475911+128 ~x1475910+64 ~x1475909+32 ~x1475908+16 ~x1475907+8 ~x1475906+4 ~x1475905+2 ~x1475904+1 ~x1475903+8388608 ~x15130+4194304 ~x15129+2097152 ~x15128+1048576 ~x15127+524288 ~x15126+262144 ~x15125+131072 ~x15124+65536 ~x15123+32768 ~x15122+16384 ~x15121+8192 ~x15120+4096 ~x15119+2048 ~x15118+1024 ~x15117+512 ~x15116+256 ~x15115+128 ~x15114+64 ~x15113+32 ~x15112+16 ~x15111+8 ~x15110+4 ~x15109+2 ~x15108+1 ~x15107-0=27149310 43.87/44.00 c 536870912 ~x1487796+268435456 ~x1487795+134217728 ~x1487794+67108864 ~x1487793+33554432 ~x1487792+16777216 ~x1487791+8388608 ~x1487790+4194304 ~x1487789+2097152 ~x1487788+1048576 ~x1487787+524288 ~x1487786+262144 ~x1487785+131072 ~x1487784+65536 ~x1487783+32768 ~x1487782+16384 ~x1487781+8192 ~x1487780+4096 ~x1487779+2048 ~x1487778+1024 ~x1487777+512 ~x1487776+256 ~x1487775+128 ~x1487774+64 ~x1487773+32 ~x1487772+16 ~x1487771+8 ~x1487770+4 ~x1487769+2 ~x1487768+1 ~x1487767+536870912 ~x15547+268435456 ~x15546+134217728 ~x15545+67108864 ~x15544+33554432 ~x15543+16777216 ~x15542+8388608 ~x15541+4194304 ~x15540+2097152 ~x15539+1048576 ~x15538+524288 ~x15537+262144 ~x15536+131072 ~x15535+65536 ~x15534+32768 ~x15533+16384 ~x15532+8192 ~x15531+4096 ~x15530+2048 ~x15529+1024 ~x15528+512 ~x15527+256 ~x15526+128 ~x15525+64 ~x15524+32 ~x15523+16 ~x15522+8 ~x15521+4 ~x15520+2 ~x15519+1 ~x15518-0=2089986046 44.37/44.44 c 4194304 ~x1507209+2097152 ~x1507208+1048576 ~x1507207+524288 ~x1507206+262144 ~x1507205+131072 ~x1507204+65536 ~x1507203+32768 ~x1507202+16384 ~x1507201+8192 ~x1507200+4096 ~x1507199+2048 ~x1507198+1024 ~x1507197+512 ~x1507196+256 ~x1507195+128 ~x1507194+64 ~x1507193+32 ~x1507192+16 ~x1507191+8 ~x1507190+4 ~x1507189+2 ~x1507188+1 ~x1507187+4194304 ~x9282+2097152 ~x9281+1048576 ~x9280+524288 ~x9279+262144 ~x9278+131072 ~x9277+65536 ~x9276+32768 ~x9275+16384 ~x9274+8192 ~x9273+4096 ~x9272+2048 ~x9271+1024 ~x9270+512 ~x9269+256 ~x9268+128 ~x9267+64 ~x9266+32 ~x9265+16 ~x9264+8 ~x9263+4 ~x9262+2 ~x9261+1 ~x9260-0=15855614 44.67/44.71 c 67108864 ~x1518506+33554432 ~x1518505+16777216 ~x1518504+8388608 ~x1518503+4194304 ~x1518502+2097152 ~x1518501+1048576 ~x1518500+524288 ~x1518499+262144 ~x1518498+131072 ~x1518497+65536 ~x1518496+32768 ~x1518495+16384 ~x1518494+8192 ~x1518493+4096 ~x1518492+2048 ~x1518491+1024 ~x1518490+512 ~x1518489+256 ~x1518488+128 ~x1518487+64 ~x1518486+32 ~x1518485+16 ~x1518484+8 ~x1518483+4 ~x1518482+2 ~x1518481+1 ~x1518480+67108864 ~x9674+33554432 ~x9673+16777216 ~x9672+8388608 ~x9671+4194304 ~x9670+2097152 ~x9669+1048576 ~x9668+524288 ~x9667+262144 ~x9666+131072 ~x9665+65536 ~x9664+32768 ~x9663+16384 ~x9662+8192 ~x9661+4096 ~x9660+2048 ~x9659+1024 ~x9658+512 ~x9657+256 ~x9656+128 ~x9655+64 ~x9654+32 ~x9653+16 ~x9652+8 ~x9651+4 ~x9650+2 ~x9649+1 ~x9648-0=227605502 45.07/45.10 c 8388608 ~x1535278+4194304 ~x1535277+2097152 ~x1535276+1048576 ~x1535275+524288 ~x1535274+262144 ~x1535273+131072 ~x1535272+65536 ~x1535271+32768 ~x1535270+16384 ~x1535269+8192 ~x1535268+4096 ~x1535267+2048 ~x1535266+1024 ~x1535265+512 ~x1535264+256 ~x1535263+128 ~x1535262+64 ~x1535261+32 ~x1535260+16 ~x1535259+8 ~x1535258+4 ~x1535257+2 ~x1535256+1 ~x1535255+8388608 ~x10084+4194304 ~x10083+2097152 ~x10082+1048576 ~x10081+524288 ~x10080+262144 ~x10079+131072 ~x10078+65536 ~x10077+32768 ~x10076+16384 ~x10075+8192 ~x10074+4096 ~x10073+2048 ~x10072+1024 ~x10071+512 ~x10070+256 ~x10069+128 ~x10068+64 ~x10067+32 ~x10066+16 ~x10065+8 ~x10064+4 ~x10063+2 ~x10062+1 ~x10061-0=29211646 45.27/45.39 c 33554432 ~x1547144+16777216 ~x1547143+8388608 ~x1547142+4194304 ~x1547141+2097152 ~x1547140+1048576 ~x1547139+524288 ~x1547138+262144 ~x1547137+131072 ~x1547136+65536 ~x1547135+32768 ~x1547134+16384 ~x1547133+8192 ~x1547132+4096 ~x1547131+2048 ~x1547130+1024 ~x1547129+512 ~x1547128+256 ~x1547127+128 ~x1547126+64 ~x1547125+32 ~x1547124+16 ~x1547123+8 ~x1547122+4 ~x1547121+2 ~x1547120+1 ~x1547119+33554432 ~x10491+16777216 ~x10490+8388608 ~x10489+4194304 ~x10488+2097152 ~x10487+1048576 ~x10486+524288 ~x10485+262144 ~x10484+131072 ~x10483+65536 ~x10482+32768 ~x10481+16384 ~x10480+8192 ~x10479+4096 ~x10478+2048 ~x10477+1024 ~x10476+512 ~x10475+256 ~x10474+128 ~x10473+64 ~x10472+32 ~x10471+16 ~x10470+8 ~x10469+4 ~x10468+2 ~x10467+1 ~x10466-0=133069822 45.67/45.70 c 1048576 ~x1560819+524288 ~x1560818+262144 ~x1560817+131072 ~x1560816+65536 ~x1560815+32768 ~x1560814+16384 ~x1560813+8192 ~x1560812+4096 ~x1560811+2048 ~x1560810+1024 ~x1560809+512 ~x1560808+256 ~x1560807+128 ~x1560806+64 ~x1560805+32 ~x1560804+16 ~x1560803+8 ~x1560802+4 ~x1560801+2 ~x1560800+1 ~x1560799+1048576 ~x10877+524288 ~x10876+262144 ~x10875+131072 ~x10874+65536 ~x10873+32768 ~x10872+16384 ~x10871+8192 ~x10870+4096 ~x10869+2048 ~x10868+1024 ~x10867+512 ~x10866+256 ~x10865+128 ~x10864+64 ~x10863+32 ~x10862+16 ~x10861+8 ~x10860+4 ~x10859+2 ~x10858+1 ~x10857-0=4189182 45.77/45.90 c 2097152 ~x1568957+1048576 ~x1568956+524288 ~x1568955+262144 ~x1568954+131072 ~x1568953+65536 ~x1568952+32768 ~x1568951+16384 ~x1568950+8192 ~x1568949+4096 ~x1568948+2048 ~x1568947+1024 ~x1568946+512 ~x1568945+256 ~x1568944+128 ~x1568943+64 ~x1568942+32 ~x1568941+16 ~x1568940+8 ~x1568939+4 ~x1568938+2 ~x1568937+1 ~x1568936+2097152 ~x11260+1048576 ~x11259+524288 ~x11258+262144 ~x11257+131072 ~x11256+65536 ~x11255+32768 ~x11254+16384 ~x11253+8192 ~x11252+4096 ~x11251+2048 ~x11250+1024 ~x11249+512 ~x11248+256 ~x11247+128 ~x11246+64 ~x11245+32 ~x11244+16 ~x11243+8 ~x11242+4 ~x11241+2 ~x11240+1 ~x11239-0=6885374 46.07/46.13 c 16777216 ~x1577740+8388608 ~x1577739+4194304 ~x1577738+2097152 ~x1577737+1048576 ~x1577736+524288 ~x1577735+262144 ~x1577734+131072 ~x1577733+65536 ~x1577732+32768 ~x1577731+16384 ~x1577730+8192 ~x1577729+4096 ~x1577728+2048 ~x1577727+1024 ~x1577726+512 ~x1577725+256 ~x1577724+128 ~x1577723+64 ~x1577722+32 ~x1577721+16 ~x1577720+8 ~x1577719+4 ~x1577718+2 ~x1577717+1 ~x1577716+16777216 ~x11653+8388608 ~x11652+4194304 ~x11651+2097152 ~x11650+1048576 ~x11649+524288 ~x11648+262144 ~x11647+131072 ~x11646+65536 ~x11645+32768 ~x11644+16384 ~x11643+8192 ~x11642+4096 ~x11641+2048 ~x11640+1024 ~x11639+512 ~x11638+256 ~x11637+128 ~x11636+64 ~x11635+32 ~x11634+16 ~x11633+8 ~x11632+4 ~x11631+2 ~x11630+1 ~x11629-0=65806334 46.37/46.43 c 16777216 ~x1590603+8388608 ~x1590602+4194304 ~x1590601+2097152 ~x1590600+1048576 ~x1590599+524288 ~x1590598+262144 ~x1590597+131072 ~x1590596+65536 ~x1590595+32768 ~x1590594+16384 ~x1590593+8192 ~x1590592+4096 ~x1590591+2048 ~x1590590+1024 ~x1590589+512 ~x1590588+256 ~x1590587+128 ~x1590586+64 ~x1590585+32 ~x1590584+16 ~x1590583+8 ~x1590582+4 ~x1590581+2 ~x1590580+1 ~x1590579+16777216 ~x12043+8388608 ~x12042+4194304 ~x12041+2097152 ~x12040+1048576 ~x12039+524288 ~x12038+262144 ~x12037+131072 ~x12036+65536 ~x12035+32768 ~x12034+16384 ~x12033+8192 ~x12032+4096 ~x12031+2048 ~x12030+1024 ~x12029+512 ~x12028+256 ~x12027+128 ~x12026+64 ~x12025+32 ~x12024+16 ~x12023+8 ~x12022+4 ~x12021+2 ~x12020+1 ~x12019-0=58493950 46.67/46.73 c 2097152 ~x1603463+1048576 ~x1603462+524288 ~x1603461+262144 ~x1603460+131072 ~x1603459+65536 ~x1603458+32768 ~x1603457+16384 ~x1603456+8192 ~x1603455+4096 ~x1603454+2048 ~x1603453+1024 ~x1603452+512 ~x1603451+256 ~x1603450+128 ~x1603449+64 ~x1603448+32 ~x1603447+16 ~x1603446+8 ~x1603445+4 ~x1603444+2 ~x1603443+1 ~x1603442+2097152 ~x12423+1048576 ~x12422+524288 ~x12421+262144 ~x12420+131072 ~x12419+65536 ~x12418+32768 ~x12417+16384 ~x12416+8192 ~x12415+4096 ~x12414+2048 ~x12413+1024 ~x12412+512 ~x12411+256 ~x12410+128 ~x12409+64 ~x12408+32 ~x12407+16 ~x12406+8 ~x12405+4 ~x12404+2 ~x12403+1 ~x12402-0=7559166 46.87/46.94 c 67108864 ~x1612248+33554432 ~x1612247+16777216 ~x1612246+8388608 ~x1612245+4194304 ~x1612244+2097152 ~x1612243+1048576 ~x1612242+524288 ~x1612241+262144 ~x1612240+131072 ~x1612239+65536 ~x1612238+32768 ~x1612237+16384 ~x1612236+8192 ~x1612235+4096 ~x1612234+2048 ~x1612233+1024 ~x1612232+512 ~x1612231+256 ~x1612230+128 ~x1612229+64 ~x1612228+32 ~x1612227+16 ~x1612226+8 ~x1612225+4 ~x1612224+2 ~x1612223+1 ~x1612222+67108864 ~x12824+33554432 ~x12823+16777216 ~x12822+8388608 ~x12821+4194304 ~x12820+2097152 ~x12819+1048576 ~x12818+524288 ~x12817+262144 ~x12816+131072 ~x12815+65536 ~x12814+32768 ~x12813+16384 ~x12812+8192 ~x12811+4096 ~x12810+2048 ~x12809+1024 ~x12808+512 ~x12807+256 ~x12806+128 ~x12805+64 ~x12804+32 ~x12803+16 ~x12802+8 ~x12801+4 ~x12800+2 ~x12799+1 ~x12798-0=251567102 47.28/47.33 c 134217728 ~x1629024+67108864 ~x1629023+33554432 ~x1629022+16777216 ~x1629021+8388608 ~x1629020+4194304 ~x1629019+2097152 ~x1629018+1048576 ~x1629017+524288 ~x1629016+262144 ~x1629015+131072 ~x1629014+65536 ~x1629013+32768 ~x1629012+16384 ~x1629011+8192 ~x1629010+4096 ~x1629009+2048 ~x1629008+1024 ~x1629007+512 ~x1629006+256 ~x1629005+128 ~x1629004+64 ~x1629003+32 ~x1629002+16 ~x1629001+8 ~x1629000+4 ~x1628999+2 ~x1628998+1 ~x1628997+134217728 ~x13252+67108864 ~x13251+33554432 ~x13250+16777216 ~x13249+8388608 ~x13248+4194304 ~x13247+2097152 ~x13246+1048576 ~x13245+524288 ~x13244+262144 ~x13243+131072 ~x13242+65536 ~x13241+32768 ~x13240+16384 ~x13239+8192 ~x13238+4096 ~x13237+2048 ~x13236+1024 ~x13235+512 ~x13234+256 ~x13233+128 ~x13232+64 ~x13231+32 ~x13230+16 ~x13229+8 ~x13228+4 ~x13227+2 ~x13226+1 ~x13225-0=414894078 47.66/47.74 c 2097152 ~x1646502+1048576 ~x1646501+524288 ~x1646500+262144 ~x1646499+131072 ~x1646498+65536 ~x1646497+32768 ~x1646496+16384 ~x1646495+8192 ~x1646494+4096 ~x1646493+2048 ~x1646492+1024 ~x1646491+512 ~x1646490+256 ~x1646489+128 ~x1646488+64 ~x1646487+32 ~x1646486+16 ~x1646485+8 ~x1646484+4 ~x1646483+2 ~x1646482+1 ~x1646481+2097152 ~x13639+1048576 ~x13638+524288 ~x13637+262144 ~x13636+131072 ~x13635+65536 ~x13634+32768 ~x13633+16384 ~x13632+8192 ~x13631+4096 ~x13630+2048 ~x13629+1024 ~x13628+512 ~x13627+256 ~x13626+128 ~x13625+64 ~x13624+32 ~x13623+16 ~x13622+8 ~x13621+4 ~x13620+2 ~x13619+1 ~x13618-0=6519806 47.87/47.94 c 8388608 ~x1655284+4194304 ~x1655283+2097152 ~x1655282+1048576 ~x1655281+524288 ~x1655280+262144 ~x1655279+131072 ~x1655278+65536 ~x1655277+32768 ~x1655276+16384 ~x1655275+8192 ~x1655274+4096 ~x1655273+2048 ~x1655272+1024 ~x1655271+512 ~x1655270+256 ~x1655269+128 ~x1655268+64 ~x1655267+32 ~x1655266+16 ~x1655265+8 ~x1655264+4 ~x1655263+2 ~x1655262+1 ~x1655261+8388608 ~x14000+4194304 ~x13999+2097152 ~x13998+1048576 ~x13997+524288 ~x13996+262144 ~x13995+131072 ~x13994+65536 ~x13993+32768 ~x13992+16384 ~x13991+8192 ~x13990+4096 ~x13989+2048 ~x13988+1024 ~x13987+512 ~x13986+256 ~x13985+128 ~x13984+64 ~x13983+32 ~x13982+16 ~x13981+8 ~x13980+4 ~x13979+2 ~x13978+1 ~x13977-0=32584702 48.17/48.22 c 2097152 ~x1667146+1048576 ~x1667145+524288 ~x1667144+262144 ~x1667143+131072 ~x1667142+65536 ~x1667141+32768 ~x1667140+16384 ~x1667139+8192 ~x1667138+4096 ~x1667137+2048 ~x1667136+1024 ~x1667135+512 ~x1667134+256 ~x1667133+128 ~x1667132+64 ~x1667131+32 ~x1667130+16 ~x1667129+8 ~x1667128+4 ~x1667127+2 ~x1667126+1 ~x1667125+2097152 ~x14380+1048576 ~x14379+524288 ~x14378+262144 ~x14377+131072 ~x14376+65536 ~x14375+32768 ~x14374+16384 ~x14373+8192 ~x14372+4096 ~x14371+2048 ~x14370+1024 ~x14369+512 ~x14368+256 ~x14367+128 ~x14366+64 ~x14365+32 ~x14364+16 ~x14363+8 ~x14362+4 ~x14361+2 ~x14360+1 ~x14359-0=7885822 48.37/48.43 c 16777216 ~x1675929+8388608 ~x1675928+4194304 ~x1675927+2097152 ~x1675926+1048576 ~x1675925+524288 ~x1675924+262144 ~x1675923+131072 ~x1675922+65536 ~x1675921+32768 ~x1675920+16384 ~x1675919+8192 ~x1675918+4096 ~x1675917+2048 ~x1675916+1024 ~x1675915+512 ~x1675914+256 ~x1675913+128 ~x1675912+64 ~x1675911+32 ~x1675910+16 ~x1675909+8 ~x1675908+4 ~x1675907+2 ~x1675906+1 ~x1675905+16777216 ~x14773+8388608 ~x14772+4194304 ~x14771+2097152 ~x14770+1048576 ~x14769+524288 ~x14768+262144 ~x14767+131072 ~x14766+65536 ~x14765+32768 ~x14764+16384 ~x14763+8192 ~x14762+4096 ~x14761+2048 ~x14760+1024 ~x14759+512 ~x14758+256 ~x14757+128 ~x14756+64 ~x14755+32 ~x14754+16 ~x14753+8 ~x14752+4 ~x14751+2 ~x14750+1 ~x14749-0=66708478 48.67/48.73 c 8388608 ~x1688791+4194304 ~x1688790+2097152 ~x1688789+1048576 ~x1688788+524288 ~x1688787+262144 ~x1688786+131072 ~x1688785+65536 ~x1688784+32768 ~x1688783+16384 ~x1688782+8192 ~x1688781+4096 ~x1688780+2048 ~x1688779+1024 ~x1688778+512 ~x1688777+256 ~x1688776+128 ~x1688775+64 ~x1688774+32 ~x1688773+16 ~x1688772+8 ~x1688771+4 ~x1688770+2 ~x1688769+1 ~x1688768+8388608 ~x15155+4194304 ~x15154+2097152 ~x15153+1048576 ~x15152+524288 ~x15151+262144 ~x15150+131072 ~x15149+65536 ~x15148+32768 ~x15147+16384 ~x15146+8192 ~x15145+4096 ~x15144+2048 ~x15143+1024 ~x15142+512 ~x15141+256 ~x15140+128 ~x15139+64 ~x15138+32 ~x15137+16 ~x15136+8 ~x15135+4 ~x15134+2 ~x15133+1 ~x15132-0=27149310 48.97/49.01 c 536870912 ~x1700661+268435456 ~x1700660+134217728 ~x1700659+67108864 ~x1700658+33554432 ~x1700657+16777216 ~x1700656+8388608 ~x1700655+4194304 ~x1700654+2097152 ~x1700653+1048576 ~x1700652+524288 ~x1700651+262144 ~x1700650+131072 ~x1700649+65536 ~x1700648+32768 ~x1700647+16384 ~x1700646+8192 ~x1700645+4096 ~x1700644+2048 ~x1700643+1024 ~x1700642+512 ~x1700641+256 ~x1700640+128 ~x1700639+64 ~x1700638+32 ~x1700637+16 ~x1700636+8 ~x1700635+4 ~x1700634+2 ~x1700633+1 ~x1700632+536870912 ~x15578+268435456 ~x15577+134217728 ~x15576+67108864 ~x15575+33554432 ~x15574+16777216 ~x15573+8388608 ~x15572+4194304 ~x15571+2097152 ~x15570+1048576 ~x15569+524288 ~x15568+262144 ~x15567+131072 ~x15566+65536 ~x15565+32768 ~x15564+16384 ~x15563+8192 ~x15562+4096 ~x15561+2048 ~x15560+1024 ~x15559+512 ~x15558+256 ~x15557+128 ~x15556+64 ~x15555+32 ~x15554+16 ~x15553+8 ~x15552+4 ~x15551+2 ~x15550+1 ~x15549-0=2089986046 49.38/49.46 c 4194304 ~x1720074+2097152 ~x1720073+1048576 ~x1720072+524288 ~x1720071+262144 ~x1720070+131072 ~x1720069+65536 ~x1720068+32768 ~x1720067+16384 ~x1720066+8192 ~x1720065+4096 ~x1720064+2048 ~x1720063+1024 ~x1720062+512 ~x1720061+256 ~x1720060+128 ~x1720059+64 ~x1720058+32 ~x1720057+16 ~x1720056+8 ~x1720055+4 ~x1720054+2 ~x1720053+1 ~x1720052+4194304 ~x9306+2097152 ~x9305+1048576 ~x9304+524288 ~x9303+262144 ~x9302+131072 ~x9301+65536 ~x9300+32768 ~x9299+16384 ~x9298+8192 ~x9297+4096 ~x9296+2048 ~x9295+1024 ~x9294+512 ~x9293+256 ~x9292+128 ~x9291+64 ~x9290+32 ~x9289+16 ~x9288+8 ~x9287+4 ~x9286+2 ~x9285+1 ~x9284-0=15855614 49.67/49.73 c 67108864 ~x1731371+33554432 ~x1731370+16777216 ~x1731369+8388608 ~x1731368+4194304 ~x1731367+2097152 ~x1731366+1048576 ~x1731365+524288 ~x1731364+262144 ~x1731363+131072 ~x1731362+65536 ~x1731361+32768 ~x1731360+16384 ~x1731359+8192 ~x1731358+4096 ~x1731357+2048 ~x1731356+1024 ~x1731355+512 ~x1731354+256 ~x1731353+128 ~x1731352+64 ~x1731351+32 ~x1731350+16 ~x1731349+8 ~x1731348+4 ~x1731347+2 ~x1731346+1 ~x1731345+67108864 ~x9702+33554432 ~x9701+16777216 ~x9700+8388608 ~x9699+4194304 ~x9698+2097152 ~x9697+1048576 ~x9696+524288 ~x9695+262144 ~x9694+131072 ~x9693+65536 ~x9692+32768 ~x9691+16384 ~x9690+8192 ~x9689+4096 ~x9688+2048 ~x9687+1024 ~x9686+512 ~x9685+256 ~x9684+128 ~x9683+64 ~x9682+32 ~x9681+16 ~x9680+8 ~x9679+4 ~x9678+2 ~x9677+1 ~x9676-0=227605502 50.07/50.12 c 8388608 ~x1748143+4194304 ~x1748142+2097152 ~x1748141+1048576 ~x1748140+524288 ~x1748139+262144 ~x1748138+131072 ~x1748137+65536 ~x1748136+32768 ~x1748135+16384 ~x1748134+8192 ~x1748133+4096 ~x1748132+2048 ~x1748131+1024 ~x1748130+512 ~x1748129+256 ~x1748128+128 ~x1748127+64 ~x1748126+32 ~x1748125+16 ~x1748124+8 ~x1748123+4 ~x1748122+2 ~x1748121+1 ~x1748120+8388608 ~x10111+4194304 ~x10110+2097152 ~x10109+1048576 ~x10108+524288 ~x10107+262144 ~x10106+131072 ~x10105+65536 ~x10104+32768 ~x10103+16384 ~x10102+8192 ~x10101+4096 ~x10100+2048 ~x10099+1024 ~x10098+512 ~x10097+256 ~x10096+128 ~x10095+64 ~x10094+32 ~x10093+16 ~x10092+8 ~x10091+4 ~x10090+2 ~x10089+1 ~x10088-0=29211646 50.37/50.40 c 33554432 ~x1760009+16777216 ~x1760008+8388608 ~x1760007+4194304 ~x1760006+2097152 ~x1760005+1048576 ~x1760004+524288 ~x1760003+262144 ~x1760002+131072 ~x1760001+65536 ~x1760000+32768 ~x1759999+16384 ~x1759998+8192 ~x1759997+4096 ~x1759996+2048 ~x1759995+1024 ~x1759994+512 ~x1759993+256 ~x1759992+128 ~x1759991+64 ~x1759990+32 ~x1759989+16 ~x1759988+8 ~x1759987+4 ~x1759986+2 ~x1759985+1 ~x1759984+33554432 ~x10518+16777216 ~x10517+8388608 ~x10516+4194304 ~x10515+2097152 ~x10514+1048576 ~x10513+5242
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-2673976-1276799815/watcher-2673976-1276799815 -o /tmp/evaluation-result-2673976-1276799815/solver-2673976-1276799815 -C 1800 -W 2000 -M 1800 run HOME/instance-2673976-1276799815.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.99 3/106 22421 /proc/meminfo: memFree=1880696/2059040 swapFree=4140524/4192956 [pid=22421] ppid=22419 vsize=8700 CPUtime=0 /proc/22421/stat : 22421 (run) S 22419 22421 22270 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21273370 8908800 250 1992294400 4194304 4922060 140735723977456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22421/statm: 2175 250 211 178 0 68 0 [startup+0.099094 s] /proc/loadavg: 0.99 0.97 0.99 3/106 22421 /proc/meminfo: memFree=1880696/2059040 swapFree=4140524/4192956 [pid=22421] ppid=22419 vsize=8700 CPUtime=0 /proc/22421/stat : 22421 (run) S 22419 22421 22270 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21273370 8908800 250 1992294400 4194304 4922060 140735723977456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22421/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101094 s] /proc/loadavg: 0.99 0.97 0.99 3/106 22421 /proc/meminfo: memFree=1880696/2059040 swapFree=4140524/4192956 [pid=22421] ppid=22419 vsize=8700 CPUtime=0 /proc/22421/stat : 22421 (run) S 22419 22421 22270 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21273370 8908800 250 1992294400 4194304 4922060 140735723977456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22421/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301112 s] /proc/loadavg: 0.99 0.97 0.99 3/106 22421 /proc/meminfo: memFree=1880696/2059040 swapFree=4140524/4192956 [pid=22421] ppid=22419 vsize=8700 CPUtime=0 /proc/22421/stat : 22421 (run) S 22419 22421 22270 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21273370 8908800 250 1992294400 4194304 4922060 140735723977456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22421/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701149 s] /proc/loadavg: 0.99 0.97 0.99 3/106 22421 /proc/meminfo: memFree=1880696/2059040 swapFree=4140524/4192956 [pid=22421] ppid=22419 vsize=8700 CPUtime=0 /proc/22421/stat : 22421 (run) S 22419 22421 22270 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21273370 8908800 250 1992294400 4194304 4922060 140735723977456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22421/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50022 s] /proc/loadavg: 0.99 0.97 0.99 2/108 22424 /proc/meminfo: memFree=1716628/2059040 swapFree=4140524/4192956 [pid=22421] ppid=22419 vsize=8700 CPUtime=0 /proc/22421/stat : 22421 (run) S 22419 22421 22270 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21273370 8908800 250 1992294400 4194304 4922060 140735723977456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22421/statm: 2175 250 211 178 0 68 0 [pid=22423] ppid=22421 vsize=234980 CPUtime=1.48 /proc/22423/stat : 22423 (PBPASSolver) R 22421 22421 22270 0 -1 4202496 58253 0 0 0 58 90 0 0 25 0 1 0 21273370 240619520 58159 1992294400 134512640 134902295 4289595968 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22423/statm: 58745 58159 256 96 0 57957 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 243680 [startup+3.10137 s] /proc/loadavg: 0.99 0.97 0.99 2/108 22424 /proc/meminfo: memFree=1570184/2059040 swapFree=4140524/4192956 [pid=22421] ppid=22419 vsize=8700 CPUtime=0 /proc/22421/stat : 22421 (run) S 22419 22421 22270 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21273370 8908800 250 1992294400 4194304 4922060 140735723977456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22421/statm: 2175 250 211 178 0 68 0 [pid=22423] ppid=22421 vsize=436804 CPUtime=3.08 /proc/22423/stat : 22423 (PBPASSolver) R 22421 22421 22270 0 -1 4202496 108688 0 0 0 130 178 0 0 25 0 1 0 21273370 447287296 108594 1992294400 134512640 134902295 4289595968 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22423/statm: 109201 108594 256 96 0 108413 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 445504 [startup+6.30167 s] /proc/loadavg: 0.99 0.97 0.99 2/108 22424 /proc/meminfo: memFree=1183800/2059040 swapFree=4140524/4192956 [pid=22421] ppid=22419 vsize=8700 CPUtime=0 /proc/22421/stat : 22421 (run) S 22419 22421 22270 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21273370 8908800 250 1992294400 4194304 4922060 140735723977456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22421/statm: 2175 250 211 178 0 68 0 [pid=22423] ppid=22421 vsize=793188 CPUtime=6.28 /proc/22423/stat : 22423 (PBPASSolver) R 22421 22421 22270 0 -1 4202496 197677 0 0 0 293 335 0 0 25 0 1 0 21273370 812224512 197583 1992294400 134512640 134902295 4289595968 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22423/statm: 198297 197583 256 96 0 197509 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 801888 [startup+12.7013 s] /proc/loadavg: 0.99 0.97 0.99 2/108 22424 /proc/meminfo: memFree=761456/2059040 swapFree=4140524/4192956 [pid=22421] ppid=22419 vsize=8700 CPUtime=0 /proc/22421/stat : 22421 (run) S 22419 22421 22270 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21273370 8908800 250 1992294400 4194304 4922060 140735723977456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22421/statm: 2175 250 211 178 0 68 0 [pid=22423] ppid=22421 vsize=1136496 CPUtime=12.68 /proc/22423/stat : 22423 (PBPASSolver) R 22421 22421 22270 0 -1 4202496 287746 0 0 0 798 470 0 0 25 0 1 0 21273370 1163771904 282499 1992294400 134512640 134902295 4289595968 18446744073709551615 4160054481 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22423/statm: 284124 282499 262 96 0 283336 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1145196 [startup+25.5014 s] /proc/loadavg: 0.99 0.97 0.99 2/108 22424 /proc/meminfo: memFree=523500/2059040 swapFree=4140524/4192956 [pid=22421] ppid=22419 vsize=8700 CPUtime=0 /proc/22421/stat : 22421 (run) S 22419 22421 22270 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21273370 8908800 250 1992294400 4194304 4922060 140735723977456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22421/statm: 2175 250 211 178 0 68 0 [pid=22423] ppid=22421 vsize=1376468 CPUtime=25.48 /proc/22423/stat : 22423 (PBPASSolver) R 22421 22421 22270 0 -1 4202496 347176 0 0 0 2052 496 0 0 25 0 1 0 21273370 1409503232 339882 1992294400 134512640 134902295 4289595968 18446744073709551615 4392444 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22423/statm: 344117 339882 262 96 0 343329 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1385168 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+50.7018 s] /proc/loadavg: 0.99 0.97 0.99 2/108 22424 /proc/meminfo: memFree=76728/2059040 swapFree=4140524/4192956 [pid=22421] ppid=22419 vsize=8700 CPUtime=0 /proc/22421/stat : 22421 (run) S 22419 22421 22270 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21273370 8908800 250 1992294400 4194304 4922060 140735723977456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22421/statm: 2175 250 211 178 0 68 0 [pid=22423] ppid=22421 vsize=1842720 CPUtime=50.68 /proc/22423/stat : 22423 (PBPASSolver) R 22421 22421 22270 0 -1 4202496 463403 0 0 0 4522 546 0 0 25 0 1 0 21273370 1886945280 450143 1992294400 134512640 134902295 4289595968 18446744073709551615 4160060864 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22423/statm: 460680 450143 262 96 0 459892 0 Current children cumulated CPU time (s) 50.68 Current children cumulated vsize (KiB) 1851420 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+50.7018 s] /proc/loadavg: 0.99 0.97 0.99 2/108 22424 /proc/meminfo: memFree=76728/2059040 swapFree=4140524/4192956 [pid=22421] ppid=22419 vsize=8700 CPUtime=0 /proc/22421/stat : 22421 (run) S 22419 22421 22270 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21273370 8908800 250 1992294400 4194304 4922060 140735723977456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22421/statm: 2175 250 211 178 0 68 0 [pid=22423] ppid=22421 vsize=1842720 CPUtime=50.68 /proc/22423/stat : 22423 (PBPASSolver) R 22421 22421 22270 0 -1 4202496 463403 0 0 0 4522 546 0 0 25 0 1 0 21273370 1886945280 450143 1992294400 134512640 134902295 4289595968 18446744073709551615 4160060864 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22423/statm: 460680 450143 262 96 0 459892 0 Current children cumulated CPU time (s) 50.68 Current children cumulated vsize (KiB) 1851420 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 22421 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 50.68 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 50.7151 CPU time (s): 50.68 CPU user time (s): 45.22 CPU system time (s): 5.46 CPU usage (%): 99.9309 Max. virtual memory (cumulated for all children) (KiB): 1851420 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= 523 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.090986 second user time and 0.25896 second system time The end
Begin job on node048 at 2010-06-17 20:36:55 IDJOB=2673976 IDBENCH=2414 IDSOLVER=1174 FILE ID=node048/2673976-1276799815 PBS_JOBID= 11176673 Free space on /tmp= 62448 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-grow15.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2673976-1276799815/watcher-2673976-1276799815 -o /tmp/evaluation-result-2673976-1276799815/solver-2673976-1276799815 -C 1800 -W 2000 -M 1800 run HOME/instance-2673976-1276799815.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b4d90975042873aa16a95872bfad2ca2 RANDOM SEED=1286795339 node048.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.212 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.42 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.212 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1881216 kB Buffers: 10636 kB Cached: 80236 kB SwapCached: 5276 kB Active: 70268 kB Inactive: 32804 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1881216 kB SwapTotal: 4192956 kB SwapFree: 4140524 kB Dirty: 2500 kB Writeback: 0 kB AnonPages: 10876 kB Mapped: 13012 kB Slab: 52964 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181464 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62448 MiB End job on node048 at 2010-06-17 20:37:48