PB'10 competition: satisfaction and optimization track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
PBPASSolver 2010-06-13	UNSAT		62.9014	62.9202
3.88/3.98	c 15742 530 0 0 0 0 0 0
3.88/3.98	c 16384 ~x15758+8192 ~x15757+4096 ~x15756+2048 ~x15755+1024 ~x15754+512 ~x15753+256 ~x15752+128 ~x15751+64 ~x15750+32 ~x15749+16 ~x15748+8 ~x15747+4 ~x15746+2 ~x15745+1 ~x15744+12800 ~x9933+6400 ~x9932+3200 ~x9931+1600 ~x9930+800 ~x9929+400 ~x9928+200 ~x9927+100 ~x9926+50 ~x9925+25 ~x9924-0=51046
3.99/4.07	c 8192 ~x18718+4096 ~x18717+2048 ~x18716+1024 ~x18715+512 ~x18714+256 ~x18713+128 ~x18712+64 ~x18711+32 ~x18710+16 ~x18709+8 ~x18708+4 ~x18707+2 ~x18706+1 ~x18705+6400 ~x9942+3200 ~x9941+1600 ~x9940+800 ~x9939+400 ~x9938+200 ~x9937+100 ~x9936+50 ~x9935+25 ~x9934-0=27366
4.09/4.13	c 16384 ~x20818+8192 ~x20817+4096 ~x20816+2048 ~x20815+1024 ~x20814+512 ~x20813+256 ~x20812+128 ~x20811+64 ~x20810+32 ~x20809+16 ~x20808+8 ~x20807+4 ~x20806+2 ~x20805+1 ~x20804+12800 ~x10283+6400 ~x10282+3200 ~x10281+1600 ~x10280+800 ~x10279+400 ~x10278+200 ~x10277+100 ~x10276+50 ~x10275+25 ~x10274-0=51046
4.18/4.21	c 8192 ~x23778+4096 ~x23777+2048 ~x23776+1024 ~x23775+512 ~x23774+256 ~x23773+128 ~x23772+64 ~x23771+32 ~x23770+16 ~x23769+8 ~x23768+4 ~x23767+2 ~x23766+1 ~x23765+6400 ~x10292+3200 ~x10291+1600 ~x10290+800 ~x10289+400 ~x10288+200 ~x10287+100 ~x10286+50 ~x10285+25 ~x10284-0=27366
4.18/4.26	c 65536 ~x25880+32768 ~x25879+16384 ~x25878+8192 ~x25877+4096 ~x25876+2048 ~x25875+1024 ~x25874+512 ~x25873+256 ~x25872+128 ~x25871+64 ~x25870+32 ~x25869+16 ~x25868+8 ~x25867+4 ~x25866+2 ~x25865+1 ~x25864+64000 ~x9344+32000 ~x9343+16000 ~x9342+8000 ~x9341+4000 ~x9340+2000 ~x9339+1000 ~x9338+500 ~x9337+250 ~x9336+125 ~x9335-0=255362
4.29/4.36	c 65536 ~x29487+32768 ~x29486+16384 ~x29485+8192 ~x29484+4096 ~x29483+2048 ~x29482+1024 ~x29481+512 ~x29480+256 ~x29479+128 ~x29478+64 ~x29477+32 ~x29476+16 ~x29475+8 ~x29474+4 ~x29473+2 ~x29472+1 ~x29471+64000 ~x9354+32000 ~x9353+16000 ~x9352+8000 ~x9351+4000 ~x9350+2000 ~x9349+1000 ~x9348+500 ~x9347+250 ~x9346+125 ~x9345-0=235394
4.39/4.47	c 32768 ~x33093+16384 ~x33092+8192 ~x33091+4096 ~x33090+2048 ~x33089+1024 ~x33088+512 ~x33087+256 ~x33086+128 ~x33085+64 ~x33084+32 ~x33083+16 ~x33082+8 ~x33081+4 ~x33080+2 ~x33079+1 ~x33078+32000 ~x9363+16000 ~x9362+8000 ~x9361+4000 ~x9360+2000 ~x9359+1000 ~x9358+500 ~x9357+250 ~x9356+125 ~x9355-0=106114
4.48/4.56	c 32768 ~x36271+16384 ~x36270+8192 ~x36269+4096 ~x36268+2048 ~x36267+1024 ~x36266+512 ~x36265+256 ~x36264+128 ~x36263+64 ~x36262+32 ~x36261+16 ~x36260+8 ~x36259+4 ~x36258+2 ~x36257+1 ~x36256+32000 ~x9373+16000 ~x9372+8000 ~x9371+4000 ~x9370+2000 ~x9369+1000 ~x9368+500 ~x9367+250 ~x9366+125 ~x9365-0=104066
4.59/4.64	c 131072 ~x39451+65536 ~x39450+32768 ~x39449+16384 ~x39448+8192 ~x39447+4096 ~x39446+2048 ~x39445+1024 ~x39444+512 ~x39443+256 ~x39442+128 ~x39441+64 ~x39440+32 ~x39439+16 ~x39438+8 ~x39437+4 ~x39436+2 ~x39435+1 ~x39434+128000 ~x9386+64000 ~x9385+32000 ~x9384+16000 ~x9383+8000 ~x9382+4000 ~x9381+2000 ~x9380+1000 ~x9379+500 ~x9378+250 ~x9377+125 ~x9376-0=424066
4.69/4.76	c 262144 ~x44178+131072 ~x44177+65536 ~x44176+32768 ~x44175+16384 ~x44174+8192 ~x44173+4096 ~x44172+2048 ~x44171+1024 ~x44170+512 ~x44169+256 ~x44168+128 ~x44167+64 ~x44166+32 ~x44165+16 ~x44164+8 ~x44163+4 ~x44162+2 ~x44161+1 ~x44160+256000 ~x9399+128000 ~x9398+64000 ~x9397+32000 ~x9396+16000 ~x9395+8000 ~x9394+4000 ~x9393+2000 ~x9392+1000 ~x9391+500 ~x9390+250 ~x9389+125 ~x9388-0=984578
4.78/4.88	c 65536 ~x49311+32768 ~x49310+16384 ~x49309+8192 ~x49308+4096 ~x49307+2048 ~x49306+1024 ~x49305+512 ~x49304+256 ~x49303+128 ~x49302+64 ~x49301+32 ~x49300+16 ~x49299+8 ~x49298+4 ~x49297+2 ~x49296+1 ~x49295+64000 ~x9410+32000 ~x9409+16000 ~x9408+8000 ~x9407+4000 ~x9406+2000 ~x9405+1000 ~x9404+500 ~x9403+250 ~x9402+125 ~x9401-0=247298
4.88/4.97	c 65536 ~x52919+32768 ~x52918+16384 ~x52917+8192 ~x52916+4096 ~x52915+2048 ~x52914+1024 ~x52913+512 ~x52912+256 ~x52911+128 ~x52910+64 ~x52909+32 ~x52908+16 ~x52907+8 ~x52906+4 ~x52905+2 ~x52904+1 ~x52903+102400 ~x9426+51200 ~x9425+25600 ~x9424+12800 ~x9423+6400 ~x9422+3200 ~x9421+1600 ~x9420+800 ~x9419+400 ~x9418+200 ~x9417+100 ~x9416+50 ~x9415+25 ~x9414-0=248294
4.98/5.07	c 33554432 ~x57022+16777216 ~x57021+8388608 ~x57020+4194304 ~x57019+2097152 ~x57018+1048576 ~x57017+524288 ~x57016+262144 ~x57015+131072 ~x57014+65536 ~x57013+32768 ~x57012+16384 ~x57011+8192 ~x57010+4096 ~x57009+2048 ~x57008+1024 ~x57007+512 ~x57006+256 ~x57005+128 ~x57004+64 ~x57003+32 ~x57002+16 ~x57001+8 ~x57000+4 ~x56999+2 ~x56998+1 ~x56997+25600000 ~x9441+12800000 ~x9440+6400000 ~x9439+3200000 ~x9438+1600000 ~x9437+800000 ~x9436+400000 ~x9435+200000 ~x9434+100000 ~x9433+50000 ~x9432+25000 ~x9431+12500 ~x9430+6250 ~x9429+3125 ~x9428-0=110648106
5.28/5.31	c 4194304 ~x66219+2097152 ~x66218+1048576 ~x66217+524288 ~x66216+262144 ~x66215+131072 ~x66214+65536 ~x66213+32768 ~x66212+16384 ~x66211+8192 ~x66210+4096 ~x66209+2048 ~x66208+1024 ~x66207+512 ~x66206+256 ~x66205+128 ~x66204+64 ~x66203+32 ~x66202+16 ~x66201+8 ~x66200+4 ~x66199+2 ~x66198+1 ~x66197+6400000 ~x9454+3200000 ~x9453+1600000 ~x9452+800000 ~x9451+400000 ~x9450+200000 ~x9449+100000 ~x9448+50000 ~x9447+25000 ~x9446+12500 ~x9445+6250 ~x9444+3125 ~x9443-0=15995114
5.39/5.49	c 33554432 ~x73644+16777216 ~x73643+8388608 ~x73642+4194304 ~x73641+2097152 ~x73640+1048576 ~x73639+524288 ~x73638+262144 ~x73637+131072 ~x73636+65536 ~x73635+32768 ~x73634+16384 ~x73633+8192 ~x73632+4096 ~x73631+2048 ~x73630+1024 ~x73629+512 ~x73628+256 ~x73627+128 ~x73626+64 ~x73625+32 ~x73624+16 ~x73623+8 ~x73622+4 ~x73621+2 ~x73620+1 ~x73619+51200000 ~x9472+25600000 ~x9471+12800000 ~x9470+6400000 ~x9469+3200000 ~x9468+1600000 ~x9467+800000 ~x9466+400000 ~x9465+200000 ~x9464+100000 ~x9463+50000 ~x9462+25000 ~x9461+12500 ~x9460+6250 ~x9459+3125 ~x9458-0=119246570
5.68/5.75	c 65536 ~x84339+32768 ~x84338+16384 ~x84337+8192 ~x84336+4096 ~x84335+2048 ~x84334+1024 ~x84333+512 ~x84332+256 ~x84331+128 ~x84330+64 ~x84329+32 ~x84328+16 ~x84327+8 ~x84326+4 ~x84325+2 ~x84324+1 ~x84323+64000 ~x11493+32000 ~x11492+16000 ~x11491+8000 ~x11490+4000 ~x11489+2000 ~x11488+1000 ~x11487+500 ~x11486+250 ~x11485+125 ~x11484-0=255362
5.78/5.84	c 65536 ~x87946+32768 ~x87945+16384 ~x87944+8192 ~x87943+4096 ~x87942+2048 ~x87941+1024 ~x87940+512 ~x87939+256 ~x87938+128 ~x87937+64 ~x87936+32 ~x87935+16 ~x87934+8 ~x87933+4 ~x87932+2 ~x87931+1 ~x87930+64000 ~x11503+32000 ~x11502+16000 ~x11501+8000 ~x11500+4000 ~x11499+2000 ~x11498+1000 ~x11497+500 ~x11496+250 ~x11495+125 ~x11494-0=235394
5.88/5.93	c 32768 ~x91552+16384 ~x91551+8192 ~x91550+4096 ~x91549+2048 ~x91548+1024 ~x91547+512 ~x91546+256 ~x91545+128 ~x91544+64 ~x91543+32 ~x91542+16 ~x91541+8 ~x91540+4 ~x91539+2 ~x91538+1 ~x91537+32000 ~x11512+16000 ~x11511+8000 ~x11510+4000 ~x11509+2000 ~x11508+1000 ~x11507+500 ~x11506+250 ~x11505+125 ~x11504-0=106114
5.98/6.00	c 32768 ~x94730+16384 ~x94729+8192 ~x94728+4096 ~x94727+2048 ~x94726+1024 ~x94725+512 ~x94724+256 ~x94723+128 ~x94722+64 ~x94721+32 ~x94720+16 ~x94719+8 ~x94718+4 ~x94717+2 ~x94716+1 ~x94715+32000 ~x11522+16000 ~x11521+8000 ~x11520+4000 ~x11519+2000 ~x11518+1000 ~x11517+500 ~x11516+250 ~x11515+125 ~x11514-0=104066
5.98/6.08	c 131072 ~x97910+65536 ~x97909+32768 ~x97908+16384 ~x97907+8192 ~x97906+4096 ~x97905+2048 ~x97904+1024 ~x97903+512 ~x97902+256 ~x97901+128 ~x97900+64 ~x97899+32 ~x97898+16 ~x97897+8 ~x97896+4 ~x97895+2 ~x97894+1 ~x97893+128000 ~x11535+64000 ~x11534+32000 ~x11533+16000 ~x11532+8000 ~x11531+4000 ~x11530+2000 ~x11529+1000 ~x11528+500 ~x11527+250 ~x11526+125 ~x11525-0=424066
6.18/6.20	c 262144 ~x102637+131072 ~x102636+65536 ~x102635+32768 ~x102634+16384 ~x102633+8192 ~x102632+4096 ~x102631+2048 ~x102630+1024 ~x102629+512 ~x102628+256 ~x102627+128 ~x102626+64 ~x102625+32 ~x102624+16 ~x102623+8 ~x102622+4 ~x102621+2 ~x102620+1 ~x102619+256000 ~x11548+128000 ~x11547+64000 ~x11546+32000 ~x11545+16000 ~x11544+8000 ~x11543+4000 ~x11542+2000 ~x11541+1000 ~x11540+500 ~x11539+250 ~x11538+125 ~x11537-0=984578
6.29/6.33	c 65536 ~x107770+32768 ~x107769+16384 ~x107768+8192 ~x107767+4096 ~x107766+2048 ~x107765+1024 ~x107764+512 ~x107763+256 ~x107762+128 ~x107761+64 ~x107760+32 ~x107759+16 ~x107758+8 ~x107757+4 ~x107756+2 ~x107755+1 ~x107754+64000 ~x11559+32000 ~x11558+16000 ~x11557+8000 ~x11556+4000 ~x11555+2000 ~x11554+1000 ~x11553+500 ~x11552+250 ~x11551+125 ~x11550-0=247298
6.38/6.42	c 65536 ~x111378+32768 ~x111377+16384 ~x111376+8192 ~x111375+4096 ~x111374+2048 ~x111373+1024 ~x111372+512 ~x111371+256 ~x111370+128 ~x111369+64 ~x111368+32 ~x111367+16 ~x111366+8 ~x111365+4 ~x111364+2 ~x111363+1 ~x111362+102400 ~x11575+51200 ~x11574+25600 ~x11573+12800 ~x11572+6400 ~x11571+3200 ~x11570+1600 ~x11569+800 ~x11568+400 ~x11567+200 ~x11566+100 ~x11565+50 ~x11564+25 ~x11563-0=248294
6.49/6.52	c 33554432 ~x115481+16777216 ~x115480+8388608 ~x115479+4194304 ~x115478+2097152 ~x115477+1048576 ~x115476+524288 ~x115475+262144 ~x115474+131072 ~x115473+65536 ~x115472+32768 ~x115471+16384 ~x115470+8192 ~x115469+4096 ~x115468+2048 ~x115467+1024 ~x115466+512 ~x115465+256 ~x115464+128 ~x115463+64 ~x115462+32 ~x115461+16 ~x115460+8 ~x115459+4 ~x115458+2 ~x115457+1 ~x115456+25600000 ~x11590+12800000 ~x11589+6400000 ~x11588+3200000 ~x11587+1600000 ~x11586+800000 ~x11585+400000 ~x11584+200000 ~x11583+100000 ~x11582+50000 ~x11581+25000 ~x11580+12500 ~x11579+6250 ~x11578+3125 ~x11577-0=110648106
6.68/6.74	c 4194304 ~x124678+2097152 ~x124677+1048576 ~x124676+524288 ~x124675+262144 ~x124674+131072 ~x124673+65536 ~x124672+32768 ~x124671+16384 ~x124670+8192 ~x124669+4096 ~x124668+2048 ~x124667+1024 ~x124666+512 ~x124665+256 ~x124664+128 ~x124663+64 ~x124662+32 ~x124661+16 ~x124660+8 ~x124659+4 ~x124658+2 ~x124657+1 ~x124656+6400000 ~x11603+3200000 ~x11602+1600000 ~x11601+800000 ~x11600+400000 ~x11599+200000 ~x11598+100000 ~x11597+50000 ~x11596+25000 ~x11595+12500 ~x11594+6250 ~x11593+3125 ~x11592-0=15995114
6.89/6.92	c 33554432 ~x132103+16777216 ~x132102+8388608 ~x132101+4194304 ~x132100+2097152 ~x132099+1048576 ~x132098+524288 ~x132097+262144 ~x132096+131072 ~x132095+65536 ~x132094+32768 ~x132093+16384 ~x132092+8192 ~x132091+4096 ~x132090+2048 ~x132089+1024 ~x132088+512 ~x132087+256 ~x132086+128 ~x132085+64 ~x132084+32 ~x132083+16 ~x132082+8 ~x132081+4 ~x132080+2 ~x132079+1 ~x132078+51200000 ~x11621+25600000 ~x11620+12800000 ~x11619+6400000 ~x11618+3200000 ~x11617+1600000 ~x11616+800000 ~x11615+400000 ~x11614+200000 ~x11613+100000 ~x11612+50000 ~x11611+25000 ~x11610+12500 ~x11609+6250 ~x11608+3125 ~x11607-0=119246570
7.09/7.18	c 256 ~x142790+128 ~x142789+64 ~x142788+32 ~x142787+16 ~x142786+8 ~x142785+4 ~x142784+2 ~x142783+1 ~x142782+256 ~x11631+128 ~x11630+64 ~x11629+32 ~x11628+16 ~x11627+8 ~x11626+4 ~x11625+2 ~x11624+1 ~x11623-0=1022
7.18/7.21	c 32768 ~x143858+16384 ~x143857+8192 ~x143856+4096 ~x143855+2048 ~x143854+1024 ~x143853+512 ~x143852+256 ~x143851+128 ~x143850+64 ~x143849+32 ~x143848+16 ~x143847+8 ~x143846+4 ~x143845+2 ~x143844+1 ~x143843+25600 ~x11643+12800 ~x11642+6400 ~x11641+3200 ~x11640+1600 ~x11639+800 ~x11638+400 ~x11637+200 ~x11636+100 ~x11635+50 ~x11634+25 ~x11633-0=99046
7.18/7.29	c 131072 ~x147350+65536 ~x147349+32768 ~x147348+16384 ~x147347+8192 ~x147346+4096 ~x147345+2048 ~x147344+1024 ~x147343+512 ~x147342+256 ~x147341+128 ~x147340+64 ~x147339+32 ~x147338+16 ~x147337+8 ~x147336+4 ~x147335+2 ~x147334+1 ~x147333+102400 ~x11657+51200 ~x11656+25600 ~x11655+12800 ~x11654+6400 ~x11653+3200 ~x11652+1600 ~x11651+800 ~x11650+400 ~x11649+200 ~x11648+100 ~x11647+50 ~x11646+25 ~x11645-0=416230
7.38/7.40	c 131072 ~x151616+65536 ~x151615+32768 ~x151614+16384 ~x151613+8192 ~x151612+4096 ~x151611+2048 ~x151610+1024 ~x151609+512 ~x151608+256 ~x151607+128 ~x151606+64 ~x151605+32 ~x151604+16 ~x151603+8 ~x151602+4 ~x151601+2 ~x151600+1 ~x151599+102400 ~x11671+51200 ~x11670+25600 ~x11669+12800 ~x11668+6400 ~x11667+3200 ~x11666+1600 ~x11665+800 ~x11664+400 ~x11663+200 ~x11662+100 ~x11661+50 ~x11660+25 ~x11659-0=445414
7.48/7.51	c 67108864 ~x155891+33554432 ~x155890+16777216 ~x155889+8388608 ~x155888+4194304 ~x155887+2097152 ~x155886+1048576 ~x155885+524288 ~x155884+262144 ~x155883+131072 ~x155882+65536 ~x155881+32768 ~x155880+16384 ~x155879+8192 ~x155878+4096 ~x155877+2048 ~x155876+1024 ~x155875+512 ~x155874+256 ~x155873+128 ~x155872+64 ~x155871+32 ~x155870+16 ~x155869+8 ~x155868+4 ~x155867+2 ~x155866+1 ~x155865+51200000 ~x11688+25600000 ~x11687+12800000 ~x11686+6400000 ~x11685+3200000 ~x11684+1600000 ~x11683+800000 ~x11682+400000 ~x11681+200000 ~x11680+100000 ~x11679+50000 ~x11678+25000 ~x11677+12500 ~x11676+6250 ~x11675+3125 ~x11674-0=210982634
7.69/7.77	c 1048576 ~x166902+524288 ~x166901+262144 ~x166900+131072 ~x166899+65536 ~x166898+32768 ~x166897+16384 ~x166896+8192 ~x166895+4096 ~x166894+2048 ~x166893+1024 ~x166892+512 ~x166891+256 ~x166890+128 ~x166889+64 ~x166888+32 ~x166887+16 ~x166886+8 ~x166885+4 ~x166884+2 ~x166883+1 ~x166882+819200 ~x11705+409600 ~x11704+204800 ~x11703+102400 ~x11702+51200 ~x11701+25600 ~x11700+12800 ~x11699+6400 ~x11698+3200 ~x11697+1600 ~x11696+800 ~x11695+400 ~x11694+200 ~x11693+100 ~x11692+50 ~x11691+25 ~x11690-0=3724262
7.89/7.93	c 524288 ~x173561+262144 ~x173560+131072 ~x173559+65536 ~x173558+32768 ~x173557+16384 ~x173556+8192 ~x173555+4096 ~x173554+2048 ~x173553+1024 ~x173552+512 ~x173551+256 ~x173550+128 ~x173549+64 ~x173548+32 ~x173547+16 ~x173546+8 ~x173545+4 ~x173544+2 ~x173543+1 ~x173542+409600 ~x11721+204800 ~x11720+102400 ~x11719+51200 ~x11718+25600 ~x11717+12800 ~x11716+6400 ~x11715+3200 ~x11714+1600 ~x11713+800 ~x11712+400 ~x11711+200 ~x11710+100 ~x11709+50 ~x11708+25 ~x11707-0=1668582
7.98/8.08	c 256 ~x179783+128 ~x179782+64 ~x179781+32 ~x179780+16 ~x179779+8 ~x179778+4 ~x179777+2 ~x179776+1 ~x179775+256 ~x11333+128 ~x11332+64 ~x11331+32 ~x11330+16 ~x11329+8 ~x11328+4 ~x11327+2 ~x11326+1 ~x11325-0=1022
8.08/8.11	c 1024 ~x180846+512 ~x180845+256 ~x180844+128 ~x180843+64 ~x180842+32 ~x180841+16 ~x180840+8 ~x180839+4 ~x180838+2 ~x180837+1 ~x180836+1024 ~x11345+512 ~x11344+256 ~x11343+128 ~x11342+64 ~x11341+32 ~x11340+16 ~x11339+8 ~x11338+4 ~x11337+2 ~x11336+1 ~x11335-0=4094
8.08/8.16	c 4096 ~x182669+2048 ~x182668+1024 ~x182667+512 ~x182666+256 ~x182665+128 ~x182664+64 ~x182663+32 ~x182662+16 ~x182661+8 ~x182660+4 ~x182659+2 ~x182658+1 ~x182657+6400 ~x11355+3200 ~x11354+1600 ~x11353+800 ~x11352+400 ~x11351+200 ~x11350+100 ~x11349+50 ~x11348+25 ~x11347-0=15590
8.18/8.21	c 1024 ~x184645+512 ~x184644+256 ~x184643+128 ~x184642+64 ~x184641+32 ~x184640+16 ~x184639+8 ~x184638+4 ~x184637+2 ~x184636+1 ~x184635+1024 ~x11369+512 ~x11368+256 ~x11367+128 ~x11366+64 ~x11365+32 ~x11364+16 ~x11363+8 ~x11362+4 ~x11361+2 ~x11360+1 ~x11359-0=4094
8.18/8.26	c 131072 ~x186473+65536 ~x186472+32768 ~x186471+16384 ~x186470+8192 ~x186469+4096 ~x186468+2048 ~x186467+1024 ~x186466+512 ~x186465+256 ~x186464+128 ~x186463+64 ~x186462+32 ~x186461+16 ~x186460+8 ~x186459+4 ~x186458+2 ~x186457+1 ~x186456+102400 ~x11384+51200 ~x11383+25600 ~x11382+12800 ~x11381+6400 ~x11380+3200 ~x11379+1600 ~x11378+800 ~x11377+400 ~x11376+200 ~x11375+100 ~x11374+50 ~x11373+25 ~x11372-0=459494
8.28/8.36	c 4096 ~x190734+2048 ~x190733+1024 ~x190732+512 ~x190731+256 ~x190730+128 ~x190729+64 ~x190728+32 ~x190727+16 ~x190726+8 ~x190725+4 ~x190724+2 ~x190723+1 ~x190722+4096 ~x11398+2048 ~x11397+1024 ~x11396+512 ~x11395+256 ~x11394+128 ~x11393+64 ~x11392+32 ~x11391+16 ~x11390+8 ~x11389+4 ~x11388+2 ~x11387+1 ~x11386-0=14334
8.38/8.43	c 65536 ~x193316+32768 ~x193315+16384 ~x193314+8192 ~x193313+4096 ~x193312+2048 ~x193311+1024 ~x193310+512 ~x193309+256 ~x193308+128 ~x193307+64 ~x193306+32 ~x193305+16 ~x193304+8 ~x193303+4 ~x193302+2 ~x193301+1 ~x193300+102400 ~x11412+51200 ~x11411+25600 ~x11410+12800 ~x11409+6400 ~x11408+3200 ~x11407+1600 ~x11406+800 ~x11405+400 ~x11404+200 ~x11403+100 ~x11402+50 ~x11401+25 ~x11400-0=258790
8.48/8.53	c 65536 ~x197410+32768 ~x197409+16384 ~x197408+8192 ~x197407+4096 ~x197406+2048 ~x197405+1024 ~x197404+512 ~x197403+256 ~x197402+128 ~x197401+64 ~x197400+32 ~x197399+16 ~x197398+8 ~x197397+4 ~x197396+2 ~x197395+1 ~x197394+102400 ~x11426+51200 ~x11425+25600 ~x11424+12800 ~x11423+6400 ~x11422+3200 ~x11421+1600 ~x11420+800 ~x11419+400 ~x11418+200 ~x11417+100 ~x11416+50 ~x11415+25 ~x11414-0=245222
8.59/8.63	c 65536 ~x201504+32768 ~x201503+16384 ~x201502+8192 ~x201501+4096 ~x201500+2048 ~x201499+1024 ~x201498+512 ~x201497+256 ~x201496+128 ~x201495+64 ~x201494+32 ~x201493+16 ~x201492+8 ~x201491+4 ~x201490+2 ~x201489+1 ~x201488+102400 ~x11440+51200 ~x11439+25600 ~x11438+12800 ~x11437+6400 ~x11436+3200 ~x11435+1600 ~x11434+800 ~x11433+400 ~x11432+200 ~x11431+100 ~x11430+50 ~x11429+25 ~x11428-0=238822
8.69/8.73	c 16384 ~x205596+8192 ~x205595+4096 ~x205594+2048 ~x205593+1024 ~x205592+512 ~x205591+256 ~x205590+128 ~x205589+64 ~x205588+32 ~x205587+16 ~x205586+8 ~x205585+4 ~x205584+2 ~x205583+1 ~x205582+20480 ~x11454+10240 ~x11453+5120 ~x11452+2560 ~x11451+1280 ~x11450+640 ~x11449+320 ~x11448+160 ~x11447+80 ~x11446+40 ~x11445+20 ~x11444+10 ~x11443+5 ~x11442-0=53754
8.79/8.81	c 65536 ~x209001+32768 ~x209000+16384 ~x208999+8192 ~x208998+4096 ~x208997+2048 ~x208996+1024 ~x208995+512 ~x208994+256 ~x208993+128 ~x208992+64 ~x208991+32 ~x208990+16 ~x208989+8 ~x208988+4 ~x208987+2 ~x208986+1 ~x208985+102400 ~x11468+51200 ~x11467+25600 ~x11466+12800 ~x11465+6400 ~x11464+3200 ~x11463+1600 ~x11462+800 ~x11461+400 ~x11460+200 ~x11459+100 ~x11458+50 ~x11457+25 ~x11456-0=234470
8.88/8.91	c 65536 ~x213095+32768 ~x213094+16384 ~x213093+8192 ~x213092+4096 ~x213091+2048 ~x213090+1024 ~x213089+512 ~x213088+256 ~x213087+128 ~x213086+64 ~x213085+32 ~x213084+16 ~x213083+8 ~x213082+4 ~x213081+2 ~x213080+1 ~x213079+102400 ~x11482+51200 ~x11481+25600 ~x11480+12800 ~x11479+6400 ~x11478+3200 ~x11477+1600 ~x11476+800 ~x11475+400 ~x11474+200 ~x11473+100 ~x11472+50 ~x11471+25 ~x11470-0=233702
8.98/9.01	c 256 ~x217181+128 ~x217180+64 ~x217179+32 ~x217178+16 ~x217177+8 ~x217176+4 ~x217175+2 ~x217174+1 ~x217173+256 ~x10632+128 ~x10631+64 ~x10630+32 ~x10629+16 ~x10628+8 ~x10627+4 ~x10626+2 ~x10625+1 ~x10624-0=1022
8.98/9.04	c 32768 ~x218249+16384 ~x218248+8192 ~x218247+4096 ~x218246+2048 ~x218245+1024 ~x218244+512 ~x218243+256 ~x218242+128 ~x218241+64 ~x218240+32 ~x218239+16 ~x218238+8 ~x218237+4 ~x218236+2 ~x218235+1 ~x218234+25600 ~x10644+12800 ~x10643+6400 ~x10642+3200 ~x10641+1600 ~x10640+800 ~x10639+400 ~x10638+200 ~x10637+100 ~x10636+50 ~x10635+25 ~x10634-0=99046
9.09/9.13	c 131072 ~x221741+65536 ~x221740+32768 ~x221739+16384 ~x221738+8192 ~x221737+4096 ~x221736+2048 ~x221735+1024 ~x221734+512 ~x221733+256 ~x221732+128 ~x221731+64 ~x221730+32 ~x221729+16 ~x221728+8 ~x221727+4 ~x221726+2 ~x221725+1 ~x221724+102400 ~x10658+51200 ~x10657+25600 ~x10656+12800 ~x10655+6400 ~x10654+3200 ~x10653+1600 ~x10652+800 ~x10651+400 ~x10650+200 ~x10649+100 ~x10648+50 ~x10647+25 ~x10646-0=416230
9.18/9.24	c 131072 ~x226007+65536 ~x226006+32768 ~x226005+16384 ~x226004+8192 ~x226003+4096 ~x226002+2048 ~x226001+1024 ~x226000+512 ~x225999+256 ~x225998+128 ~x225997+64 ~x225996+32 ~x225995+16 ~x225994+8 ~x225993+4 ~x225992+2 ~x225991+1 ~x225990+102400 ~x10672+51200 ~x10671+25600 ~x10670+12800 ~x10669+6400 ~x10668+3200 ~x10667+1600 ~x10666+800 ~x10665+400 ~x10664+200 ~x10663+100 ~x10662+50 ~x10661+25 ~x10660-0=445414
9.28/9.34	c 67108864 ~x230282+33554432 ~x230281+16777216 ~x230280+8388608 ~x230279+4194304 ~x230278+2097152 ~x230277+1048576 ~x230276+524288 ~x230275+262144 ~x230274+131072 ~x230273+65536 ~x230272+32768 ~x230271+16384 ~x230270+8192 ~x230269+4096 ~x230268+2048 ~x230267+1024 ~x230266+512 ~x230265+256 ~x230264+128 ~x230263+64 ~x230262+32 ~x230261+16 ~x230260+8 ~x230259+4 ~x230258+2 ~x230257+1 ~x230256+51200000 ~x10689+25600000 ~x10688+12800000 ~x10687+6400000 ~x10686+3200000 ~x10685+1600000 ~x10684+800000 ~x10683+400000 ~x10682+200000 ~x10681+100000 ~x10680+50000 ~x10679+25000 ~x10678+12500 ~x10677+6250 ~x10676+3125 ~x10675-0=210982634
9.58/9.60	c 1048576 ~x241293+524288 ~x241292+262144 ~x241291+131072 ~x241290+65536 ~x241289+32768 ~x241288+16384 ~x241287+8192 ~x241286+4096 ~x241285+2048 ~x241284+1024 ~x241283+512 ~x241282+256 ~x241281+128 ~x241280+64 ~x241279+32 ~x241278+16 ~x241277+8 ~x241276+4 ~x241275+2 ~x241274+1 ~x241273+819200 ~x10706+409600 ~x10705+204800 ~x10704+102400 ~x10703+51200 ~x10702+25600 ~x10701+12800 ~x10700+6400 ~x10699+3200 ~x10698+1600 ~x10697+800 ~x10696+400 ~x10695+200 ~x10694+100 ~x10693+50 ~x10692+25 ~x10691-0=3724262
9.68/9.77	c 524288 ~x247952+262144 ~x247951+131072 ~x247950+65536 ~x247949+32768 ~x247948+16384 ~x247947+8192 ~x247946+4096 ~x247945+2048 ~x247944+1024 ~x247943+512 ~x247942+256 ~x247941+128 ~x247940+64 ~x247939+32 ~x247938+16 ~x247937+8 ~x247936+4 ~x247935+2 ~x247934+1 ~x247933+409600 ~x10722+204800 ~x10721+102400 ~x10720+51200 ~x10719+25600 ~x10718+12800 ~x10717+6400 ~x10716+3200 ~x10715+1600 ~x10714+800 ~x10713+400 ~x10712+200 ~x10711+100 ~x10710+50 ~x10709+25 ~x10708-0=1668582
9.89/9.91	c 2048 ~x254177+1024 ~x254176+512 ~x254175+256 ~x254174+128 ~x254173+64 ~x254172+32 ~x254171+16 ~x254170+8 ~x254169+4 ~x254168+2 ~x254167+1 ~x254166+2048 ~x8165+1024 ~x8164+512 ~x8163+256 ~x8162+128 ~x8161+64 ~x8160+32 ~x8159+16 ~x8158+8 ~x8157+4 ~x8156+2 ~x8155+1 ~x8154-0=7678
9.89/9.97	c 65536 ~x256414+32768 ~x256413+16384 ~x256412+8192 ~x256411+4096 ~x256410+2048 ~x256409+1024 ~x256408+512 ~x256407+256 ~x256406+128 ~x256405+64 ~x256404+32 ~x256403+16 ~x256402+8 ~x256401+4 ~x256400+2 ~x256399+1 ~x256398+51200 ~x8178+25600 ~x8177+12800 ~x8176+6400 ~x8175+3200 ~x8174+1600 ~x8173+800 ~x8172+400 ~x8171+200 ~x8170+100 ~x8169+50 ~x8168+25 ~x8167-0=208614
9.98/10.07	c 32768 ~x260228+16384 ~x260227+8192 ~x260226+4096 ~x260225+2048 ~x260224+1024 ~x260223+512 ~x260222+256 ~x260221+128 ~x260220+64 ~x260219+32 ~x260218+16 ~x260217+8 ~x260216+4 ~x260215+2 ~x260214+1 ~x260213+51200 ~x8191+25600 ~x8190+12800 ~x8189+6400 ~x8188+3200 ~x8187+1600 ~x8186+800 ~x8185+400 ~x8184+200 ~x8183+100 ~x8182+50 ~x8181+25 ~x8180-0=129766
10.08/10.16	c 32768 ~x263874+16384 ~x263873+8192 ~x263872+4096 ~x263871+2048 ~x263870+1024 ~x263869+512 ~x263868+256 ~x263867+128 ~x263866+64 ~x263865+32 ~x263864+16 ~x263863+8 ~x263862+4 ~x263861+2 ~x263860+1 ~x263859+25600 ~x8203+12800 ~x8202+6400 ~x8201+3200 ~x8200+1600 ~x8199+800 ~x8198+400 ~x8197+200 ~x8196+100 ~x8195+50 ~x8194+25 ~x8193-0=115174
10.18/10.24	c 32768 ~x267364+16384 ~x267363+8192 ~x267362+4096 ~x267361+2048 ~x267360+1024 ~x267359+512 ~x267358+256 ~x267357+128 ~x267356+64 ~x267355+32 ~x267354+16 ~x267353+8 ~x267352+4 ~x267351+2 ~x267350+1 ~x267349+25600 ~x8216+12800 ~x8215+6400 ~x8214+3200 ~x8213+1600 ~x8212+800 ~x8211+400 ~x8210+200 ~x8209+100 ~x8208+50 ~x8207+25 ~x8206-0=99046
10.28/10.33	c 8192 ~x270852+4096 ~x270851+2048 ~x270850+1024 ~x270849+512 ~x270848+256 ~x270847+128 ~x270846+64 ~x270845+32 ~x270844+16 ~x270843+8 ~x270842+4 ~x270841+2 ~x270840+1 ~x270839+12800 ~x8228+6400 ~x8227+3200 ~x8226+1600 ~x8225+800 ~x8224+400 ~x8223+200 ~x8222+100 ~x8221+50 ~x8220+25 ~x8219-0=32230
10.38/10.40	c 32768 ~x273656+16384 ~x273655+8192 ~x273654+4096 ~x273653+2048 ~x273652+1024 ~x273651+512 ~x273650+256 ~x273649+128 ~x273648+64 ~x273647+32 ~x273646+16 ~x273645+8 ~x273644+4 ~x273643+2 ~x273642+1 ~x273641+20480 ~x8244+10240 ~x8243+5120 ~x8242+2560 ~x8241+1280 ~x8240+640 ~x8239+320 ~x8238+160 ~x8237+80 ~x8236+40 ~x8235+20 ~x8234+10 ~x8233+5 ~x8232-0=105722
10.48/10.50	c 4096 ~x277455+2048 ~x277454+1024 ~x277453+512 ~x277452+256 ~x277451+128 ~x277450+64 ~x277449+32 ~x277448+16 ~x277447+8 ~x277446+4 ~x277445+2 ~x277444+1 ~x277443+4096 ~x8258+2048 ~x8257+1024 ~x8256+512 ~x8255+256 ~x8254+128 ~x8253+64 ~x8252+32 ~x8251+16 ~x8250+8 ~x8249+4 ~x8248+2 ~x8247+1 ~x8246-0=15358
10.48/10.56	c 131072 ~x280038+65536 ~x280037+32768 ~x280036+16384 ~x280035+8192 ~x280034+4096 ~x280033+2048 ~x280032+1024 ~x280031+512 ~x280030+256 ~x280029+128 ~x280028+64 ~x280027+32 ~x280026+16 ~x280025+8 ~x280024+4 ~x280023+2 ~x280022+1 ~x280021+102400 ~x8272+51200 ~x8271+25600 ~x8270+12800 ~x8269+6400 ~x8268+3200 ~x8267+1600 ~x8266+800 ~x8265+400 ~x8264+200 ~x8263+100 ~x8262+50 ~x8261+25 ~x8260-0=417254
10.58/10.67	c 65536 ~x284303+32768 ~x284302+16384 ~x284301+8192 ~x284300+4096 ~x284299+2048 ~x284298+1024 ~x284297+512 ~x284296+256 ~x284295+128 ~x284294+64 ~x284293+32 ~x284292+16 ~x284291+8 ~x284290+4 ~x284289+2 ~x284288+1 ~x284287+102400 ~x8286+51200 ~x8285+25600 ~x8284+12800 ~x8283+6400 ~x8282+3200 ~x8281+1600 ~x8280+800 ~x8279+400 ~x8278+200 ~x8277+100 ~x8276+50 ~x8275+25 ~x8274-0=259814
10.68/10.77	c 65536 ~x288397+32768 ~x288396+16384 ~x288395+8192 ~x288394+4096 ~x288393+2048 ~x288392+1024 ~x288391+512 ~x288390+256 ~x288389+128 ~x288388+64 ~x288387+32 ~x288386+16 ~x288385+8 ~x288384+4 ~x288383+2 ~x288382+1 ~x288381+51200 ~x8299+25600 ~x8298+12800 ~x8297+6400 ~x8296+3200 ~x8295+1600 ~x8294+800 ~x8293+400 ~x8292+200 ~x8291+100 ~x8290+50 ~x8289+25 ~x8288-0=230630
10.78/10.86	c 65536 ~x292212+32768 ~x292211+16384 ~x292210+8192 ~x292209+4096 ~x292208+2048 ~x292207+1024 ~x292206+512 ~x292205+256 ~x292204+128 ~x292203+64 ~x292202+32 ~x292201+16 ~x292200+8 ~x292199+4 ~x292198+2 ~x292197+1 ~x292196+51200 ~x8313+25600 ~x8312+12800 ~x8311+6400 ~x8310+3200 ~x8309+1600 ~x8308+800 ~x8307+400 ~x8306+200 ~x8305+100 ~x8304+50 ~x8303+25 ~x8302-0=198374
10.89/10.95	c 16384 ~x296025+8192 ~x296024+4096 ~x296023+2048 ~x296022+1024 ~x296021+512 ~x296020+256 ~x296019+128 ~x296018+64 ~x296017+32 ~x296016+16 ~x296015+8 ~x296014+4 ~x296013+2 ~x296012+1 ~x296011+25600 ~x8326+12800 ~x8325+6400 ~x8324+3200 ~x8323+1600 ~x8322+800 ~x8321+400 ~x8320+200 ~x8319+100 ~x8318+50 ~x8317+25 ~x8316-0=64486
10.99/11.03	c 65536 ~x299136+32768 ~x299135+16384 ~x299134+8192 ~x299133+4096 ~x299132+2048 ~x299131+1024 ~x299130+512 ~x299129+256 ~x299128+128 ~x299127+64 ~x299126+32 ~x299125+16 ~x299124+8 ~x299123+4 ~x299122+2 ~x299121+1 ~x299120+40960 ~x8343+20480 ~x8342+10240 ~x8341+5120 ~x8340+2560 ~x8339+1280 ~x8338+640 ~x8337+320 ~x8336+160 ~x8335+80 ~x8334+40 ~x8333+20 ~x8332+10 ~x8331+5 ~x8330-0=211450
11.08/11.13	c 8192 ~x303260+4096 ~x303259+2048 ~x303258+1024 ~x303257+512 ~x303256+256 ~x303255+128 ~x303254+64 ~x303253+32 ~x303252+16 ~x303251+8 ~x303250+4 ~x303249+2 ~x303248+1 ~x303247+8192 ~x8358+4096 ~x8357+2048 ~x8356+1024 ~x8355+512 ~x8354+256 ~x8353+128 ~x8352+64 ~x8351+32 ~x8350+16 ~x8349+8 ~x8348+4 ~x8347+2 ~x8346+1 ~x8345-0=30718
11.18/11.22	c 262144 ~x306823+131072 ~x306822+65536 ~x306821+32768 ~x306820+16384 ~x306819+8192 ~x306818+4096 ~x306817+2048 ~x306816+1024 ~x306815+512 ~x306814+256 ~x306813+128 ~x306812+64 ~x306811+32 ~x306810+16 ~x306809+8 ~x306808+4 ~x306807+2 ~x306806+1 ~x306805+204800 ~x8373+102400 ~x8372+51200 ~x8371+25600 ~x8370+12800 ~x8369+6400 ~x8368+3200 ~x8367+1600 ~x8366+800 ~x8365+400 ~x8364+200 ~x8363+100 ~x8362+50 ~x8361+25 ~x8360-0=834790
11.28/11.36	c 524288 ~x312355+262144 ~x312354+131072 ~x312353+65536 ~x312352+32768 ~x312351+16384 ~x312350+8192 ~x312349+4096 ~x312348+2048 ~x312347+1024 ~x312346+512 ~x312345+256 ~x312344+128 ~x312343+64 ~x312342+32 ~x312341+16 ~x312340+8 ~x312339+4 ~x312338+2 ~x312337+1 ~x312336+320000 ~x4191+160000 ~x4190+80000 ~x4189+40000 ~x4188+20000 ~x4187+10000 ~x4186+5000 ~x4185+2500 ~x4184+1250 ~x4183+625 ~x4182-0=1668398
11.39/11.49	c 524288 ~x317552+262144 ~x317551+131072 ~x317550+65536 ~x317549+32768 ~x317548+16384 ~x317547+8192 ~x317546+4096 ~x317545+2048 ~x317544+1024 ~x317543+512 ~x317542+256 ~x317541+128 ~x317540+64 ~x317539+32 ~x317538+16 ~x317537+8 ~x317536+4 ~x317535+2 ~x317534+1 ~x317533+320000 ~x4651+160000 ~x4650+80000 ~x4649+40000 ~x4648+20000 ~x4647+10000 ~x4646+5000 ~x4645+2500 ~x4644+1250 ~x4643+625 ~x4642-0=1668398
11.58/11.61	c 65536 ~x322746+32768 ~x322745+16384 ~x322744+8192 ~x322743+4096 ~x322742+2048 ~x322741+1024 ~x322740+512 ~x322739+256 ~x322738+128 ~x322737+64 ~x322736+32 ~x322735+16 ~x322734+8 ~x322733+4 ~x322732+2 ~x322731+1 ~x322730+64000 ~x2911+32000 ~x2910+16000 ~x2909+8000 ~x2908+4000 ~x2907+2000 ~x2906+1000 ~x2905+500 ~x2904+250 ~x2903+125 ~x2902-0=256450
11.68/11.70	c 524288 ~x326356+262144 ~x326355+131072 ~x326354+65536 ~x326353+32768 ~x326352+16384 ~x326351+8192 ~x326350+4096 ~x326349+2048 ~x326348+1024 ~x326347+512 ~x326346+256 ~x326345+128 ~x326344+64 ~x326343+32 ~x326342+16 ~x326341+8 ~x326340+4 ~x326339+2 ~x326338+1 ~x326337+320000 ~x2921+160000 ~x2920+80000 ~x2919+40000 ~x2918+20000 ~x2917+10000 ~x2916+5000 ~x2915+2500 ~x2914+1250 ~x2913+625 ~x2912-0=1623566
11.78/11.83	c 2097152 ~x331555+1048576 ~x331554+524288 ~x331553+262144 ~x331552+131072 ~x331551+65536 ~x331550+32768 ~x331549+16384 ~x331548+8192 ~x331547+4096 ~x331546+2048 ~x331545+1024 ~x331544+512 ~x331543+256 ~x331542+128 ~x331541+64 ~x331540+32 ~x331539+16 ~x331538+8 ~x331537+4 ~x331536+2 ~x331535+1 ~x331534+1600000 ~x2931+800000 ~x2930+400000 ~x2929+200000 ~x2928+100000 ~x2927+50000 ~x2926+25000 ~x2925+12500 ~x2924+6250 ~x2923+3125 ~x2922-0=6734442
11.88/11.97	c 2097152 ~x337312+1048576 ~x337311+524288 ~x337310+262144 ~x337309+131072 ~x337308+65536 ~x337307+32768 ~x337306+16384 ~x337305+8192 ~x337304+4096 ~x337303+2048 ~x337302+1024 ~x337301+512 ~x337300+256 ~x337299+128 ~x337298+64 ~x337297+32 ~x337296+16 ~x337295+8 ~x337294+4 ~x337293+2 ~x337292+1 ~x337291+1600000 ~x2941+800000 ~x2940+400000 ~x2939+200000 ~x2938+100000 ~x2937+50000 ~x2936+25000 ~x2935+12500 ~x2934+6250 ~x2933+3125 ~x2932-0=6721514
12.09/12.12	c 2097152 ~x343069+1048576 ~x343068+524288 ~x343067+262144 ~x343066+131072 ~x343065+65536 ~x343064+32768 ~x343063+16384 ~x343062+8192 ~x343061+4096 ~x343060+2048 ~x343059+1024 ~x343058+512 ~x343057+256 ~x343056+128 ~x343055+64 ~x343054+32 ~x343053+16 ~x343052+8 ~x343051+4 ~x343050+2 ~x343049+1 ~x343048+1600000 ~x2951+800000 ~x2950+400000 ~x2949+200000 ~x2948+100000 ~x2947+50000 ~x2946+25000 ~x2945+12500 ~x2944+6250 ~x2943+3125 ~x2942-0=6312330
12.18/12.25	c 65536 ~x348821+32768 ~x348820+16384 ~x348819+8192 ~x348818+4096 ~x348817+2048 ~x348816+1024 ~x348815+512 ~x348814+256 ~x348813+128 ~x348812+64 ~x348811+32 ~x348810+16 ~x348809+8 ~x348808+4 ~x348807+2 ~x348806+1 ~x348805+64000 ~x6793+32000 ~x6792+16000 ~x6791+8000 ~x6790+4000 ~x6789+2000 ~x6788+1000 ~x6787+500 ~x6786+250 ~x6785+125 ~x6784-0=256450
12.28/12.34	c 524288 ~x352431+262144 ~x352430+131072 ~x352429+65536 ~x352428+32768 ~x352427+16384 ~x352426+8192 ~x352425+4096 ~x352424+2048 ~x352423+1024 ~x352422+512 ~x352421+256 ~x352420+128 ~x352419+64 ~x352418+32 ~x352417+16 ~x352416+8 ~x352415+4 ~x352414+2 ~x352413+1 ~x352412+320000 ~x6803+160000 ~x6802+80000 ~x6801+40000 ~x6800+20000 ~x6799+10000 ~x6798+5000 ~x6797+2500 ~x6796+1250 ~x6795+625 ~x6794-0=1623566
12.38/12.47	c 2097152 ~x357630+1048576 ~x357629+524288 ~x357628+262144 ~x357627+131072 ~x357626+65536 ~x357625+32768 ~x357624+16384 ~x357623+8192 ~x357622+4096 ~x357621+2048 ~x357620+1024 ~x357619+512 ~x357618+256 ~x357617+128 ~x357616+64 ~x357615+32 ~x357614+16 ~x357613+8 ~x357612+4 ~x357611+2 ~x357610+1 ~x357609+1600000 ~x6813+800000 ~x6812+400000 ~x6811+200000 ~x6810+100000 ~x6809+50000 ~x6808+25000 ~x6807+12500 ~x6806+6250 ~x6805+3125 ~x6804-0=6734442
12.58/12.61	c 2097152 ~x363387+1048576 ~x363386+524288 ~x363385+262144 ~x363384+131072 ~x363383+65536 ~x363382+32768 ~x363381+16384 ~x363380+8192 ~x363379+4096 ~x363378+2048 ~x363377+1024 ~x363376+512 ~x363375+256 ~x363374+128 ~x363373+64 ~x363372+32 ~x363371+16 ~x363370+8 ~x363369+4 ~x363368+2 ~x363367+1 ~x363366+1600000 ~x6823+800000 ~x6822+400000 ~x6821+200000 ~x6820+100000 ~x6819+50000 ~x6818+25000 ~x6817+12500 ~x6816+6250 ~x6815+3125 ~x6814-0=6721514
12.68/12.75	c 2097152 ~x369144+1048576 ~x369143+524288 ~x369142+262144 ~x369141+131072 ~x369140+65536 ~x369139+32768 ~x369138+16384 ~x369137+8192 ~x369136+4096 ~x369135+2048 ~x369134+1024 ~x369133+512 ~x369132+256 ~x369131+128 ~x369130+64 ~x369129+32 ~x369128+16 ~x369127+8 ~x369126+4 ~x369125+2 ~x369124+1 ~x369123+1600000 ~x6833+800000 ~x6832+400000 ~x6831+200000 ~x6830+100000 ~x6829+50000 ~x6828+25000 ~x6827+12500 ~x6826+6250 ~x6825+3125 ~x6824-0=6312330
12.78/12.89	c 1048576 ~x374900+524288 ~x374899+262144 ~x374898+131072 ~x374897+65536 ~x374896+32768 ~x374895+16384 ~x374894+8192 ~x374893+4096 ~x374892+2048 ~x374891+1024 ~x374890+512 ~x374889+256 ~x374888+128 ~x374887+64 ~x374886+32 ~x374885+16 ~x374884+8 ~x374883+4 ~x374882+2 ~x374881+1 ~x374880+1600000 ~x7113+800000 ~x7112+400000 ~x7111+200000 ~x7110+100000 ~x7109+50000 ~x7108+25000 ~x7107+12500 ~x7106+6250 ~x7105+3125 ~x7104-0=3878410
12.98/13.02	c 1048576 ~x380434+524288 ~x380433+262144 ~x380432+131072 ~x380431+65536 ~x380430+32768 ~x380429+16384 ~x380428+8192 ~x380427+4096 ~x380426+2048 ~x380425+1024 ~x380424+512 ~x380423+256 ~x380422+128 ~x380421+64 ~x380420+32 ~x380419+16 ~x380418+8 ~x380417+4 ~x380416+2 ~x380415+1 ~x380414+1600000 ~x7123+800000 ~x7122+400000 ~x7121+200000 ~x7120+100000 ~x7119+50000 ~x7118+25000 ~x7117+12500 ~x7116+6250 ~x7115+3125 ~x7114-0=3781770
13.09/13.15	c 2097152 ~x385970+1048576 ~x385969+524288 ~x385968+262144 ~x385967+131072 ~x385966+65536 ~x385965+32768 ~x385964+16384 ~x385963+8192 ~x385962+4096 ~x385961+2048 ~x385960+1024 ~x385959+512 ~x385958+256 ~x385957+128 ~x385956+64 ~x385955+32 ~x385954+16 ~x385953+8 ~x385952+4 ~x385951+2 ~x385950+1 ~x385949+1600000 ~x7134+800000 ~x7133+400000 ~x7132+200000 ~x7131+100000 ~x7130+50000 ~x7129+25000 ~x7128+12500 ~x7127+6250 ~x7126+3125 ~x7125-0=7385674
13.19/13.29	c 2097152 ~x391728+1048576 ~x391727+524288 ~x391726+262144 ~x391725+131072 ~x391724+65536 ~x391723+32768 ~x391722+16384 ~x391721+8192 ~x391720+4096 ~x391719+2048 ~x391718+1024 ~x391717+512 ~x391716+256 ~x391715+128 ~x391714+64 ~x391713+32 ~x391712+16 ~x391711+8 ~x391710+4 ~x391709+2 ~x391708+1 ~x391707+1600000 ~x7146+800000 ~x7145+400000 ~x7144+200000 ~x7143+100000 ~x7142+50000 ~x7141+25000 ~x7140+12500 ~x7139+6250 ~x7138+3125 ~x7137-0=7185290
13.38/13.43	c 8388608 ~x397488+4194304 ~x397487+2097152 ~x397486+1048576 ~x397485+524288 ~x397484+262144 ~x397483+131072 ~x397482+65536 ~x397481+32768 ~x397480+16384 ~x397479+8192 ~x397478+4096 ~x397477+2048 ~x397476+1024 ~x397475+512 ~x397474+256 ~x397473+128 ~x397472+64 ~x397471+32 ~x397470+16 ~x397469+8 ~x397468+4 ~x397467+2 ~x397466+1 ~x397465+6400000 ~x7160+3200000 ~x7159+1600000 ~x7158+800000 ~x7157+400000 ~x7156+200000 ~x7155+100000 ~x7154+50000 ~x7153+25000 ~x7152+12500 ~x7151+6250 ~x7150+3125 ~x7149-0=26582538
13.58/13.62	c 65536 ~x405467+32768 ~x405466+16384 ~x405465+8192 ~x405464+4096 ~x405463+2048 ~x405462+1024 ~x405461+512 ~x405460+256 ~x405459+128 ~x405458+64 ~x405457+32 ~x405456+16 ~x405455+8 ~x405454+4 ~x405453+2 ~x405452+1 ~x405451+64000 ~x6383+32000 ~x6382+16000 ~x6381+8000 ~x6380+4000 ~x6379+2000 ~x6378+1000 ~x6377+500 ~x6376+250 ~x6375+125 ~x6374-0=220162
13.69/13.71	c 1048576 ~x409078+524288 ~x409077+262144 ~x409076+131072 ~x409075+65536 ~x409074+32768 ~x409073+16384 ~x409072+8192 ~x409071+4096 ~x409070+2048 ~x409069+1024 ~x409068+512 ~x409067+256 ~x409066+128 ~x409065+64 ~x409064+32 ~x409063+16 ~x409062+8 ~x409061+4 ~x409060+2 ~x409059+1 ~x409058+1600000 ~x6393+800000 ~x6392+400000 ~x6391+200000 ~x6390+100000 ~x6389+50000 ~x6388+25000 ~x6387+12500 ~x6386+6250 ~x6385+3125 ~x6384-0=4188682
13.78/13.85	c 1048576 ~x414612+524288 ~x414611+262144 ~x414610+131072 ~x414609+65536 ~x414608+32768 ~x414607+16384 ~x414606+8192 ~x414605+4096 ~x414604+2048 ~x414603+1024 ~x414602+512 ~x414601+256 ~x414600+128 ~x414599+64 ~x414598+32 ~x414597+16 ~x414596+8 ~x414595+4 ~x414594+2 ~x414593+1 ~x414592+1600000 ~x6403+800000 ~x6402+400000 ~x6401+200000 ~x6400+100000 ~x6399+50000 ~x6398+25000 ~x6397+12500 ~x6396+6250 ~x6395+3125 ~x6394-0=3813770
13.88/13.98	c 1048576 ~x420146+524288 ~x420145+262144 ~x420144+131072 ~x420143+65536 ~x420142+32768 ~x420141+16384 ~x420140+8192 ~x420139+4096 ~x420138+2048 ~x420137+1024 ~x420136+512 ~x420135+256 ~x420134+128 ~x420133+64 ~x420132+32 ~x420131+16 ~x420130+8 ~x420129+4 ~x420128+2 ~x420127+1 ~x420126+1600000 ~x6413+800000 ~x6412+400000 ~x6411+200000 ~x6410+100000 ~x6409+50000 ~x6408+25000 ~x6407+12500 ~x6406+6250 ~x6405+3125 ~x6404-0=3813770
14.08/14.12	c 1048576 ~x425680+524288 ~x425679+262144 ~x425678+131072 ~x425677+65536 ~x425676+32768 ~x425675+16384 ~x425674+8192 ~x425673+4096 ~x425672+2048 ~x425671+1024 ~x425670+512 ~x425669+256 ~x425668+128 ~x425667+64 ~x425666+32 ~x425665+16 ~x425664+8 ~x425663+4 ~x425662+2 ~x425661+1 ~x425660+1600000 ~x6423+800000 ~x6422+400000 ~x6421+200000 ~x6420+100000 ~x6419+50000 ~x6418+25000 ~x6417+12500 ~x6416+6250 ~x6415+3125 ~x6414-0=4188682
14.19/14.25	c 1048576 ~x431214+524288 ~x431213+262144 ~x431212+131072 ~x431211+65536 ~x431210+32768 ~x431209+16384 ~x431208+8192 ~x431207+4096 ~x431206+2048 ~x431205+1024 ~x431204+512 ~x431203+256 ~x431202+128 ~x431201+64 ~x431200+32 ~x431199+16 ~x431198+8 ~x431197+4 ~x431196+2 ~x431195+1 ~x431194+1600000 ~x5171+800000 ~x5170+400000 ~x5169+200000 ~x5168+100000 ~x5167+50000 ~x5166+25000 ~x5165+12500 ~x5164+6250 ~x5163+3125 ~x5162-0=3878410
14.29/14.39	c 1048576 ~x436748+524288 ~x436747+262144 ~x436746+131072 ~x436745+65536 ~x436744+32768 ~x436743+16384 ~x436742+8192 ~x436741+4096 ~x436740+2048 ~x436739+1024 ~x436738+512 ~x436737+256 ~x436736+128 ~x436735+64 ~x436734+32 ~x436733+16 ~x436732+8 ~x436731+4 ~x436730+2 ~x436729+1 ~x436728+1600000 ~x5181+800000 ~x5180+400000 ~x5179+200000 ~x5178+100000 ~x5177+50000 ~x5176+25000 ~x5175+12500 ~x5174+6250 ~x5173+3125 ~x5172-0=3781770
14.48/14.52	c 2097152 ~x442284+1048576 ~x442283+524288 ~x442282+262144 ~x442281+131072 ~x442280+65536 ~x442279+32768 ~x442278+16384 ~x442277+8192 ~x442276+4096 ~x442275+2048 ~x442274+1024 ~x442273+512 ~x442272+256 ~x442271+128 ~x442270+64 ~x442269+32 ~x442268+16 ~x442267+8 ~x442266+4 ~x442265+2 ~x442264+1 ~x442263+1600000 ~x5192+800000 ~x5191+400000 ~x5190+200000 ~x5189+100000 ~x5188+50000 ~x5187+25000 ~x5186+12500 ~x5185+6250 ~x5184+3125 ~x5183-0=7385674
14.58/14.66	c 2097152 ~x448042+1048576 ~x448041+524288 ~x448040+262144 ~x448039+131072 ~x448038+65536 ~x448037+32768 ~x448036+16384 ~x448035+8192 ~x448034+4096 ~x448033+2048 ~x448032+1024 ~x448031+512 ~x448030+256 ~x448029+128 ~x448028+64 ~x448027+32 ~x448026+16 ~x448025+8 ~x448024+4 ~x448023+2 ~x448022+1 ~x448021+1600000 ~x5204+800000 ~x5203+400000 ~x5202+200000 ~x5201+100000 ~x5200+50000 ~x5199+25000 ~x5198+12500 ~x5197+6250 ~x5196+3125 ~x5195-0=7185290
14.78/14.80	c 8388608 ~x453802+4194304 ~x453801+2097152 ~x453800+1048576 ~x453799+524288 ~x453798+262144 ~x453797+131072 ~x453796+65536 ~x453795+32768 ~x453794+16384 ~x453793+8192 ~x453792+4096 ~x453791+2048 ~x453790+1024 ~x453789+512 ~x453788+256 ~x453787+128 ~x453786+64 ~x453785+32 ~x453784+16 ~x453783+8 ~x453782+4 ~x453781+2 ~x453780+1 ~x453779+6400000 ~x5218+3200000 ~x5217+1600000 ~x5216+800000 ~x5215+400000 ~x5214+200000 ~x5213+100000 ~x5212+50000 ~x5211+25000 ~x5210+12500 ~x5209+6250 ~x5208+3125 ~x5207-0=26582538
14.88/14.99	c 512 ~x461774+256 ~x461773+128 ~x461772+64 ~x461771+32 ~x461770+16 ~x461769+8 ~x461768+4 ~x461767+2 ~x461766+1 ~x461765+512 ~x1421+256 ~x1420+128 ~x1419+64 ~x1418+32 ~x1417+16 ~x1416+8 ~x1415+4 ~x1414+2 ~x1413+1 ~x1412-0=2046
14.98/15.02	c 2097152 ~x463087+1048576 ~x463086+524288 ~x463085+262144 ~x463084+131072 ~x463083+65536 ~x463082+32768 ~x463081+16384 ~x463080+8192 ~x463079+4096 ~x463078+2048 ~x463077+1024 ~x463076+512 ~x463075+256 ~x463074+128 ~x463073+64 ~x463072+32 ~x463071+16 ~x463070+8 ~x463069+4 ~x463068+2 ~x463067+1 ~x463066+1600000 ~x1431+800000 ~x1430+400000 ~x1429+200000 ~x1428+100000 ~x1427+50000 ~x1426+25000 ~x1425+12500 ~x1424+6250 ~x1423+3125 ~x1422-0=7055050
15.08/15.16	c 2097152 ~x468844+1048576 ~x468843+524288 ~x468842+262144 ~x468841+131072 ~x468840+65536 ~x468839+32768 ~x468838+16384 ~x468837+8192 ~x468836+4096 ~x468835+2048 ~x468834+1024 ~x468833+512 ~x468832+256 ~x468831+128 ~x468830+64 ~x468829+32 ~x468828+16 ~x468827+8 ~x468826+4 ~x468825+2 ~x468824+1 ~x468823+1600000 ~x1441+800000 ~x1440+400000 ~x1439+200000 ~x1438+100000 ~x1437+50000 ~x1436+25000 ~x1435+12500 ~x1434+6250 ~x1433+3125 ~x1432-0=7022730
15.29/15.30	c 2097152 ~x474601+1048576 ~x474600+524288 ~x474599+262144 ~x474598+131072 ~x474597+65536 ~x474596+32768 ~x474595+16384 ~x474594+8192 ~x474593+4096 ~x474592+2048 ~x474591+1024 ~x474590+512 ~x474589+256 ~x474588+128 ~x474587+64 ~x474586+32 ~x474585+16 ~x474584+8 ~x474583+4 ~x474582+2 ~x474581+1 ~x474580+1600000 ~x1451+800000 ~x1450+400000 ~x1449+200000 ~x1448+100000 ~x1447+50000 ~x1446+25000 ~x1445+12500 ~x1444+6250 ~x1443+3125 ~x1442-0=6983946
15.39/15.44	c 2097152 ~x480358+1048576 ~x480357+524288 ~x480356+262144 ~x480355+131072 ~x480354+65536 ~x480353+32768 ~x480352+16384 ~x480351+8192 ~x480350+4096 ~x480349+2048 ~x480348+1024 ~x480347+512 ~x480346+256 ~x480345+128 ~x480344+64 ~x480343+32 ~x480342+16 ~x480341+8 ~x480340+4 ~x480339+2 ~x480338+1 ~x480337+1600000 ~x1461+800000 ~x1460+400000 ~x1459+200000 ~x1458+100000 ~x1457+50000 ~x1456+25000 ~x1455+12500 ~x1454+6250 ~x1453+3125 ~x1452-0=6945162
15.48/15.58	c 16384 ~x486108+8192 ~x486107+4096 ~x486106+2048 ~x486105+1024 ~x486104+512 ~x486103+256 ~x486102+128 ~x486101+64 ~x486100+32 ~x486099+16 ~x486098+8 ~x486097+4 ~x486096+2 ~x486095+1 ~x486094+12800 ~x5919+6400 ~x5918+3200 ~x5917+1600 ~x5916+800 ~x5915+400 ~x5914+200 ~x5913+100 ~x5912+50 ~x5911+25 ~x5910-0=58086
15.58/15.66	c 16384 ~x489070+8192 ~x489069+4096 ~x489068+2048 ~x489067+1024 ~x489066+512 ~x489065+256 ~x489064+128 ~x489063+64 ~x489062+32 ~x489061+16 ~x489060+8 ~x489059+4 ~x489058+2 ~x489057+1 ~x489056+12800 ~x5930+6400 ~x5929+3200 ~x5928+1600 ~x5927+800 ~x5926+400 ~x5925+200 ~x5924+100 ~x5923+50 ~x5922+25 ~x5921-0=58086
15.68/15.73	c 16384 ~x492032+8192 ~x492031+4096 ~x492030+2048 ~x492029+1024 ~x492028+512 ~x492027+256 ~x492026+128 ~x492025+64 ~x492024+32 ~x492023+16 ~x492022+8 ~x492021+4 ~x492020+2 ~x492019+1 ~x492018+12800 ~x5941+6400 ~x5940+3200 ~x5939+1600 ~x5938+800 ~x5937+400 ~x5936+200 ~x5935+100 ~x5934+50 ~x5933+25 ~x5932-0=58086
15.78/15.81	c 16384 ~x494994+8192 ~x494993+4096 ~x494992+2048 ~x494991+1024 ~x494990+512 ~x494989+256 ~x494988+128 ~x494987+64 ~x494986+32 ~x494985+16 ~x494984+8 ~x494983+4 ~x494982+2 ~x494981+1 ~x494980+12800 ~x5952+6400 ~x5951+3200 ~x5950+1600 ~x5949+800 ~x5948+400 ~x5947+200 ~x5946+100 ~x5945+50 ~x5944+25 ~x5943-0=58086
15.78/15.88	c 524288 ~x497961+262144 ~x497960+131072 ~x497959+65536 ~x497958+32768 ~x497957+16384 ~x497956+8192 ~x497955+4096 ~x497954+2048 ~x497953+1024 ~x497952+512 ~x497951+256 ~x497950+128 ~x497949+64 ~x497948+32 ~x497947+16 ~x497946+8 ~x497945+4 ~x497944+2 ~x497943+1 ~x497942+800000 ~x7551+400000 ~x7550+200000 ~x7549+100000 ~x7548+50000 ~x7547+25000 ~x7546+12500 ~x7545+6250 ~x7544+3125 ~x7543-0=1855146
15.98/16.00	c 524288 ~x502952+262144 ~x502951+131072 ~x502950+65536 ~x502949+32768 ~x502948+16384 ~x502947+8192 ~x502946+4096 ~x502945+2048 ~x502944+1024 ~x502943+512 ~x502942+256 ~x502941+128 ~x502940+64 ~x502939+32 ~x502938+16 ~x502937+8 ~x502936+4 ~x502935+2 ~x502934+1 ~x502933+400000 ~x7560+200000 ~x7559+100000 ~x7558+50000 ~x7557+25000 ~x7556+12500 ~x7555+6250 ~x7554+3125 ~x7553-0=1586506
16.08/16.12	c 32768 ~x507732+16384 ~x507731+8192 ~x507730+4096 ~x507729+2048 ~x507728+1024 ~x507727+512 ~x507726+256 ~x507725+128 ~x507724+64 ~x507723+32 ~x507722+16 ~x507721+8 ~x507720+4 ~x507719+2 ~x507718+1 ~x507717+40000 ~x7569+20000 ~x7568+10000 ~x7567+5000 ~x7566+2500 ~x7565+1250 ~x7564+625 ~x7563-0=120974
16.08/16.19	c 32768 ~x510598+16384 ~x510597+8192 ~x510596+4096 ~x510595+2048 ~x510594+1024 ~x510593+512 ~x510592+256 ~x510591+128 ~x510590+64 ~x510589+32 ~x510588+16 ~x510587+8 ~x510586+4 ~x510585+2 ~x510584+1 ~x510583+50000 ~x7577+25000 ~x7576+12500 ~x7575+6250 ~x7574+3125 ~x7573-0=118538
16.18/16.26	c 2097152 ~x513158+1048576 ~x513157+524288 ~x513156+262144 ~x513155+131072 ~x513154+65536 ~x513153+32768 ~x513152+16384 ~x513151+8192 ~x513150+4096 ~x513149+2048 ~x513148+1024 ~x513147+512 ~x513146+256 ~x513145+128 ~x513144+64 ~x513143+32 ~x513142+16 ~x513141+8 ~x513140+4 ~x513139+2 ~x513138+1 ~x513137+1600000 ~x7592+800000 ~x7591+400000 ~x7590+200000 ~x7589+100000 ~x7588+50000 ~x7587+25000 ~x7586+12500 ~x7585+6250 ~x7584+3125 ~x7583-0=7245834
16.39/16.40	c 2097152 ~x518916+1048576 ~x518915+524288 ~x518914+262144 ~x518913+131072 ~x518912+65536 ~x518911+32768 ~x518910+16384 ~x518909+8192 ~x518908+4096 ~x518907+2048 ~x518906+1024 ~x518905+512 ~x518904+256 ~x518903+128 ~x518902+64 ~x518901+32 ~x518900+16 ~x518899+8 ~x518898+4 ~x518897+2 ~x518896+1 ~x518895+1600000 ~x7603+800000 ~x7602+400000 ~x7601+200000 ~x7600+100000 ~x7599+50000 ~x7598+25000 ~x7597+12500 ~x7596+6250 ~x7595+3125 ~x7594-0=7083242
16.48/16.54	c 2097152 ~x524674+1048576 ~x524673+524288 ~x524672+262144 ~x524671+131072 ~x524670+65536 ~x524669+32768 ~x524668+16384 ~x524667+8192 ~x524666+4096 ~x524665+2048 ~x524664+1024 ~x524663+512 ~x524662+256 ~x524661+128 ~x524660+64 ~x524659+32 ~x524658+16 ~x524657+8 ~x524656+4 ~x524655+2 ~x524654+1 ~x524653+1600000 ~x7614+800000 ~x7613+400000 ~x7612+200000 ~x7611+100000 ~x7610+50000 ~x7609+25000 ~x7608+12500 ~x7607+6250 ~x7606+3125 ~x7605-0=6944906
16.58/16.69	c 2097152 ~x530432+1048576 ~x530431+524288 ~x530430+262144 ~x530429+131072 ~x530428+65536 ~x530427+32768 ~x530426+16384 ~x530425+8192 ~x530424+4096 ~x530423+2048 ~x530422+1024 ~x530421+512 ~x530420+256 ~x530419+128 ~x530418+64 ~x530417+32 ~x530416+16 ~x530415+8 ~x530414+4 ~x530413+2 ~x530412+1 ~x530411+1600000 ~x7625+800000 ~x7624+400000 ~x7623+200000 ~x7622+100000 ~x7621+50000 ~x7620+25000 ~x7619+12500 ~x7618+6250 ~x7617+3125 ~x7616-0=6837290
16.78/16.83	c 2097152 ~x536190+1048576 ~x536189+524288 ~x536188+262144 ~x536187+131072 ~x536186+65536 ~x536185+32768 ~x536184+16384 ~x536183+8192 ~x536182+4096 ~x536181+2048 ~x536180+1024 ~x536179+512 ~x536178+256 ~x536177+128 ~x536176+64 ~x536175+32 ~x536174+16 ~x536173+8 ~x536172+4 ~x536171+2 ~x536170+1 ~x536169+1600000 ~x7636+800000 ~x7635+400000 ~x7634+200000 ~x7633+100000 ~x7632+50000 ~x7631+25000 ~x7630+12500 ~x7629+6250 ~x7628+3125 ~x7627-0=6747914
16.88/16.97	c 2097152 ~x541948+1048576 ~x541947+524288 ~x541946+262144 ~x541945+131072 ~x541944+65536 ~x541943+32768 ~x541942+16384 ~x541941+8192 ~x541940+4096 ~x541939+2048 ~x541938+1024 ~x541937+512 ~x541936+256 ~x541935+128 ~x541934+64 ~x541933+32 ~x541932+16 ~x541931+8 ~x541930+4 ~x541929+2 ~x541928+1 ~x541927+1600000 ~x7647+800000 ~x7646+400000 ~x7645+200000 ~x7644+100000 ~x7643+50000 ~x7642+25000 ~x7641+12500 ~x7640+6250 ~x7639+3125 ~x7638-0=6674890
17.08/17.11	c 2097152 ~x547706+1048576 ~x547705+524288 ~x547704+262144 ~x547703+131072 ~x547702+65536 ~x547701+32768 ~x547700+16384 ~x547699+8192 ~x547698+4096 ~x547697+2048 ~x547696+1024 ~x547695+512 ~x547694+256 ~x547693+128 ~x547692+64 ~x547691+32 ~x547690+16 ~x547689+8 ~x547688+4 ~x547687+2 ~x547686+1 ~x547685+1600000 ~x7658+800000 ~x7657+400000 ~x7656+200000 ~x7655+100000 ~x7654+50000 ~x7653+25000 ~x7652+12500 ~x7651+6250 ~x7650+3125 ~x7649-0=6615914
17.18/17.24	c 2097152 ~x553464+1048576 ~x553463+524288 ~x553462+262144 ~x553461+131072 ~x553460+65536 ~x553459+32768 ~x553458+16384 ~x553457+8192 ~x553456+4096 ~x553455+2048 ~x553454+1024 ~x553453+512 ~x553452+256 ~x553451+128 ~x553450+64 ~x553449+32 ~x553448+16 ~x553447+8 ~x553446+4 ~x553445+2 ~x553444+1 ~x553443+1600000 ~x7669+800000 ~x7668+400000 ~x7667+200000 ~x7666+100000 ~x7665+50000 ~x7664+25000 ~x7663+12500 ~x7662+6250 ~x7661+3125 ~x7660-0=6568810
17.28/17.38	c 2097152 ~x559222+1048576 ~x559221+524288 ~x559220+262144 ~x559219+131072 ~x559218+65536 ~x559217+32768 ~x559216+16384 ~x559215+8192 ~x559214+4096 ~x559213+2048 ~x559212+1024 ~x559211+512 ~x559210+256 ~x559209+128 ~x559208+64 ~x559207+32 ~x559206+16 ~x559205+8 ~x559204+4 ~x559203+2 ~x559202+1 ~x559201+1600000 ~x7680+800000 ~x7679+400000 ~x7678+200000 ~x7677+100000 ~x7676+50000 ~x7675+25000 ~x7674+12500 ~x7673+6250 ~x7672+3125 ~x7671-0=6531370
17.48/17.52	c 2097152 ~x564980+1048576 ~x564979+524288 ~x564978+262144 ~x564977+131072 ~x564976+65536 ~x564975+32768 ~x564974+16384 ~x564973+8192 ~x564972+4096 ~x564971+2048 ~x564970+1024 ~x564969+512 ~x564968+256 ~x564967+128 ~x564966+64 ~x564965+32 ~x564964+16 ~x564963+8 ~x564962+4 ~x564961+2 ~x564960+1 ~x564959+1600000 ~x7691+800000 ~x7690+400000 ~x7689+200000 ~x7688+100000 ~x7687+50000 ~x7686+25000 ~x7685+12500 ~x7684+6250 ~x7683+3125 ~x7682-0=6501706
17.58/17.66	c 262144 ~x570735+131072 ~x570734+65536 ~x570733+32768 ~x570732+16384 ~x570731+8192 ~x570730+4096 ~x570729+2048 ~x570728+1024 ~x570727+512 ~x570726+256 ~x570725+128 ~x570724+64 ~x570723+32 ~x570722+16 ~x570721+8 ~x570720+4 ~x570719+2 ~x570718+1 ~x570717+320000 ~x7702+160000 ~x7701+80000 ~x7700+40000 ~x7699+20000 ~x7698+10000 ~x7697+5000 ~x7696+2500 ~x7695+1250 ~x7694+625 ~x7693-0=981070
17.68/17.78	c 1048576 ~x575476+524288 ~x575475+262144 ~x575474+131072 ~x575473+65536 ~x575472+32768 ~x575471+16384 ~x575470+8192 ~x575469+4096 ~x575468+2048 ~x575467+1024 ~x575466+512 ~x575465+256 ~x575464+128 ~x575463+64 ~x575462+32 ~x575461+16 ~x575460+8 ~x575459+4 ~x575458+2 ~x575457+1 ~x575456+800000 ~x7380+400000 ~x7379+200000 ~x7378+100000 ~x7377+50000 ~x7376+25000 ~x7375+12500 ~x7374+6250 ~x7373+3125 ~x7372-0=3223594
17.88/17.91	c 524288 ~x580686+262144 ~x580685+131072 ~x580684+65536 ~x580683+32768 ~x580682+16384 ~x580681+8192 ~x580680+4096 ~x580679+2048 ~x580678+1024 ~x580677+512 ~x580676+256 ~x580675+128 ~x580674+64 ~x580673+32 ~x580672+16 ~x580671+8 ~x580670+4 ~x580669+2 ~x580668+1 ~x580667+800000 ~x7390+400000 ~x7389+200000 ~x7388+100000 ~x7387+50000 ~x7386+25000 ~x7385+12500 ~x7384+6250 ~x7383+3125 ~x7382-0=1855146
17.98/18.03	c 524288 ~x585677+262144 ~x585676+131072 ~x585675+65536 ~x585674+32768 ~x585673+16384 ~x585672+8192 ~x585671+4096 ~x585670+2048 ~x585669+1024 ~x585668+512 ~x585667+256 ~x585666+128 ~x585665+64 ~x585664+32 ~x585663+16 ~x585662+8 ~x585661+4 ~x585660+2 ~x585659+1 ~x585658+400000 ~x7399+200000 ~x7398+100000 ~x7397+50000 ~x7396+25000 ~x7395+12500 ~x7394+6250 ~x7393+3125 ~x7392-0=1586506
18.08/18.15	c 32768 ~x590457+16384 ~x590456+8192 ~x590455+4096 ~x590454+2048 ~x590453+1024 ~x590452+512 ~x590451+256 ~x590450+128 ~x590449+64 ~x590448+32 ~x590447+16 ~x590446+8 ~x590445+4 ~x590444+2 ~x590443+1 ~x590442+40000 ~x7408+20000 ~x7407+10000 ~x7406+5000 ~x7405+2500 ~x7404+1250 ~x7403+625 ~x7402-0=120974
18.18/18.22	c 32768 ~x593323+16384 ~x593322+8192 ~x593321+4096 ~x593320+2048 ~x593319+1024 ~x593318+512 ~x593317+256 ~x593316+128 ~x593315+64 ~x593314+32 ~x593313+16 ~x593312+8 ~x593311+4 ~x593310+2 ~x593309+1 ~x593308+50000 ~x7416+25000 ~x7415+12500 ~x7414+6250 ~x7413+3125 ~x7412-0=118538
18.18/18.29	c 2097152 ~x595883+1048576 ~x595882+524288 ~x595881+262144 ~x595880+131072 ~x595879+65536 ~x595878+32768 ~x595877+16384 ~x595876+8192 ~x595875+4096 ~x595874+2048 ~x595873+1024 ~x595872+512 ~x595871+256 ~x595870+128 ~x595869+64 ~x595868+32 ~x595867+16 ~x595866+8 ~x595865+4 ~x595864+2 ~x595863+1 ~x595862+1600000 ~x7431+800000 ~x7430+400000 ~x7429+200000 ~x7428+100000 ~x7427+50000 ~x7426+25000 ~x7425+12500 ~x7424+6250 ~x7423+3125 ~x7422-0=7245834
18.38/18.43	c 2097152 ~x601641+1048576 ~x601640+524288 ~x601639+262144 ~x601638+131072 ~x601637+65536 ~x601636+32768 ~x601635+16384 ~x601634+8192 ~x601633+4096 ~x601632+2048 ~x601631+1024 ~x601630+512 ~x601629+256 ~x601628+128 ~x601627+64 ~x601626+32 ~x601625+16 ~x601624+8 ~x601623+4 ~x601622+2 ~x601621+1 ~x601620+1600000 ~x7442+800000 ~x7441+400000 ~x7440+200000 ~x7439+100000 ~x7438+50000 ~x7437+25000 ~x7436+12500 ~x7435+6250 ~x7434+3125 ~x7433-0=7083242
18.47/18.57	c 2097152 ~x607399+1048576 ~x607398+524288 ~x607397+262144 ~x607396+131072 ~x607395+65536 ~x607394+32768 ~x607393+16384 ~x607392+8192 ~x607391+4096 ~x607390+2048 ~x607389+1024 ~x607388+512 ~x607387+256 ~x607386+128 ~x607385+64 ~x607384+32 ~x607383+16 ~x607382+8 ~x607381+4 ~x607380+2 ~x607379+1 ~x607378+1600000 ~x7453+800000 ~x7452+400000 ~x7451+200000 ~x7450+100000 ~x7449+50000 ~x7448+25000 ~x7447+12500 ~x7446+6250 ~x7445+3125 ~x7444-0=6944906
18.69/18.70	c 2097152 ~x613157+1048576 ~x613156+524288 ~x613155+262144 ~x613154+131072 ~x613153+65536 ~x613152+32768 ~x613151+16384 ~x613150+8192 ~x613149+4096 ~x613148+2048 ~x613147+1024 ~x613146+512 ~x613145+256 ~x613144+128 ~x613143+64 ~x613142+32 ~x613141+16 ~x613140+8 ~x613139+4 ~x613138+2 ~x613137+1 ~x613136+1600000 ~x7464+800000 ~x7463+400000 ~x7462+200000 ~x7461+100000 ~x7460+50000 ~x7459+25000 ~x7458+12500 ~x7457+6250 ~x7456+3125 ~x7455-0=6837290
18.78/18.84	c 2097152 ~x618915+1048576 ~x618914+524288 ~x618913+262144 ~x618912+131072 ~x618911+65536 ~x618910+32768 ~x618909+16384 ~x618908+8192 ~x618907+4096 ~x618906+2048 ~x618905+1024 ~x618904+512 ~x618903+256 ~x618902+128 ~x618901+64 ~x618900+32 ~x618899+16 ~x618898+8 ~x618897+4 ~x618896+2 ~x618895+1 ~x618894+1600000 ~x7475+800000 ~x7474+400000 ~x7473+200000 ~x7472+100000 ~x7471+50000 ~x7470+25000 ~x7469+12500 ~x7468+6250 ~x7467+3125 ~x7466-0=6747914
18.88/18.98	c 2097152 ~x624673+1048576 ~x624672+524288 ~x624671+262144 ~x624670+131072 ~x624669+65536 ~x624668+32768 ~x624667+16384 ~x624666+8192 ~x624665+4096 ~x624664+2048 ~x624663+1024 ~x624662+512 ~x624661+256 ~x624660+128 ~x624659+64 ~x624658+32 ~x624657+16 ~x624656+8 ~x624655+4 ~x624654+2 ~x624653+1 ~x624652+1600000 ~x7486+800000 ~x7485+400000 ~x7484+200000 ~x7483+100000 ~x7482+50000 ~x7481+25000 ~x7480+12500 ~x7479+6250 ~x7478+3125 ~x7477-0=6674890
19.08/19.12	c 2097152 ~x630431+1048576 ~x630430+524288 ~x630429+262144 ~x630428+131072 ~x630427+65536 ~x630426+32768 ~x630425+16384 ~x630424+8192 ~x630423+4096 ~x630422+2048 ~x630421+1024 ~x630420+512 ~x630419+256 ~x630418+128 ~x630417+64 ~x630416+32 ~x630415+16 ~x630414+8 ~x630413+4 ~x630412+2 ~x630411+1 ~x630410+1600000 ~x7497+800000 ~x7496+400000 ~x7495+200000 ~x7494+100000 ~x7493+50000 ~x7492+25000 ~x7491+12500 ~x7490+6250 ~x7489+3125 ~x7488-0=6615914
19.18/19.26	c 2097152 ~x636189+1048576 ~x636188+524288 ~x636187+262144 ~x636186+131072 ~x636185+65536 ~x636184+32768 ~x636183+16384 ~x636182+8192 ~x636181+4096 ~x636180+2048 ~x636179+1024 ~x636178+512 ~x636177+256 ~x636176+128 ~x636175+64 ~x636174+32 ~x636173+16 ~x636172+8 ~x636171+4 ~x636170+2 ~x636169+1 ~x636168+1600000 ~x7508+800000 ~x7507+400000 ~x7506+200000 ~x7505+100000 ~x7504+50000 ~x7503+25000 ~x7502+12500 ~x7501+6250 ~x7500+3125 ~x7499-0=6568810
19.38/19.40	c 2097152 ~x641947+1048576 ~x641946+524288 ~x641945+262144 ~x641944+131072 ~x641943+65536 ~x641942+32768 ~x641941+16384 ~x641940+8192 ~x641939+4096 ~x641938+2048 ~x641937+1024 ~x641936+512 ~x641935+256 ~x641934+128 ~x641933+64 ~x641932+32 ~x641931+16 ~x641930+8 ~x641929+4 ~x641928+2 ~x641927+1 ~x641926+1600000 ~x7519+800000 ~x7518+400000 ~x7517+200000 ~x7516+100000 ~x7515+50000 ~x7514+25000 ~x7513+12500 ~x7512+6250 ~x7511+3125 ~x7510-0=6531370
19.48/19.54	c 2097152 ~x647705+1048576 ~x647704+524288 ~x647703+262144 ~x647702+131072 ~x647701+65536 ~x647700+32768 ~x647699+16384 ~x647698+8192 ~x647697+4096 ~x647696+2048 ~x647695+1024 ~x647694+512 ~x647693+256 ~x647692+128 ~x647691+64 ~x647690+32 ~x647689+16 ~x647688+8 ~x647687+4 ~x647686+2 ~x647685+1 ~x647684+1600000 ~x7530+800000 ~x7529+400000 ~x7528+200000 ~x7527+100000 ~x7526+50000 ~x7525+25000 ~x7524+12500 ~x7523+6250 ~x7522+3125 ~x7521-0=6501706
19.58/19.68	c 262144 ~x653460+131072 ~x653459+65536 ~x653458+32768 ~x653457+16384 ~x653456+8192 ~x653455+4096 ~x653454+2048 ~x653453+1024 ~x653452+512 ~x653451+256 ~x653450+128 ~x653449+64 ~x653448+32 ~x653447+16 ~x653446+8 ~x653445+4 ~x653444+2 ~x653443+1 ~x653442+320000 ~x7541+160000 ~x7540+80000 ~x7539+40000 ~x7538+20000 ~x7537+10000 ~x7536+5000 ~x7535+2500 ~x7534+1250 ~x7533+625 ~x7532-0=981070
19.79/19.83	c 8589934592 ~x658214+4294967296 ~x658213+2147483648 ~x658212+1073741824 ~x658211+536870912 ~x658210+268435456 ~x658209+134217728 ~x658208+67108864 ~x658207+33554432 ~x658206+16777216 ~x658205+8388608 ~x658204+4194304 ~x658203+2097152 ~x658202+1048576 ~x658201+524288 ~x658200+262144 ~x658199+131072 ~x658198+65536 ~x658197+32768 ~x658196+16384 ~x658195+8192 ~x658194+4096 ~x658193+2048 ~x658192+1024 ~x658191+512 ~x658190+256 ~x658189+128 ~x658188+64 ~x658187+32 ~x658186+16 ~x658185+8 ~x658184+4 ~x658183+2 ~x658182+1 ~x658181+536870912 ~x12383+268435456 ~x12382+134217728 ~x12381+67108864 ~x12380+33554432 ~x12379+16777216 ~x12378+8388608 ~x12377+4194304 ~x12376+2097152 ~x12375+1048576 ~x12374+524288 ~x12373+262144 ~x12372+131072 ~x12371+65536 ~x12370+32768 ~x12369+16384 ~x12368+8192 ~x12367+4096 ~x12366+2048 ~x12365+1024 ~x12364+512 ~x12363+256 ~x12362+128 ~x12361+64 ~x12360+32 ~x12359+16 ~x12358+8 ~x12357+4 ~x12356+2 ~x12355+1 ~x12354+536870912 ~x12353+268435456 ~x12352+134217728 ~x12351+67108864 ~x12350+33554432 ~x12349+16777216 ~x12348+8388608 ~x12347+4194304 ~x12346+2097152 ~x12345+1048576 ~x12344+524288 ~x12343+262144 ~x12342+131072 ~x12341+65536 ~x12340+32768 ~x12339+16384 ~x12338+8192 ~x12337+4096 ~x12336+2048 ~x12335+1024 ~x12334+512 ~x12333+256 ~x12332+128 ~x12331+64 ~x12330+32 ~x12329+16 ~x12328+8 ~x12327+4 ~x12326+2 ~x12325+1 ~x12324+536870912 ~x12323+268435456 ~x12322+134217728 ~x12321+67108864 ~x12320+33554432 ~x12319+16777216 ~x12318+8388608 ~x12317+4194304 ~x12316+2097152 ~x12315+1048576 ~x12314+524288 ~x12313+262144 ~x12312+131072 ~x12311+65536 ~x12310+32768 ~x12309+16384 ~x12308+8192 ~x12307+4096 ~x12306+2048 ~x12305+1024 ~x12304+512 ~x12303+256 ~x12302+128 ~x12301+64 ~x12300+32 ~x12299+16 ~x12298+8 ~x12297+4 ~x12296+2 ~x12295+1 ~x12294+536870912 ~x12293+268435456 ~x12292+134217728 ~x12291+67108864 ~x12290+33554432 ~x12289+16777216 ~x12288+8388608 ~x12287+4194304 ~x12286+2097152 ~x12285+1048576 ~x12284+524288 ~x12283+262144 ~x12282+131072 ~x12281+65536 ~x12280+32768 ~x12279+16384 ~x12278+8192 ~x12277+4096 ~x12276+2048 ~x12275+1024 ~x12274+512 ~x12273+256 ~x12272+128 ~x12271+64 ~x12270+32 ~x12269+16 ~x12268+8 ~x12267+4 ~x12266+2 ~x12265+1 ~x12264+536870912 ~x12263+268435456 ~x12262+134217728 ~x12261+67108864 ~x12260+33554432 ~x12259+16777216 ~x12258+8388608 ~x12257+4194304 ~x12256+2097152 ~x12255+1048576 ~x12254+524288 ~x12253+262144 ~x12252+131072 ~x12251+65536 ~x12250+32768 ~x12249+16384 ~x12248+8192 ~x12247+4096 ~x12246+2048 ~x12245+1024 ~x12244+512 ~x12243+256 ~x12242+128 ~x12241+64 ~x12240+32 ~x12239+16 ~x12238+8 ~x12237+4 ~x12236+2 ~x12235+1 ~x12234+536870912 ~x12233+268435456 ~x12232+134217728 ~x12231+67108864 ~x12230+33554432 ~x12229+16777216 ~x12228+8388608 ~x12227+4194304 ~x12226+2097152 ~x12225+1048576 ~x12224+524288 ~x12223+262144 ~x12222+131072 ~x12221+65536 ~x12220+32768 ~x12219+16384 ~x12218+8192 ~x12217+4096 ~x12216+2048 ~x12215+1024 ~x12214+512 ~x12213+256 ~x12212+128 ~x12211+64 ~x12210+32 ~x12209+16 ~x12208+8 ~x12207+4 ~x12206+2 ~x12205+1 ~x12204+536870912 ~x12203+268435456 ~x12202+134217728 ~x12201+67108864 ~x12200+33554432 ~x12199+16777216 ~x12198+8388608 ~x12197+4194304 ~x12196+2097152 ~x12195+1048576 ~x12194+524288 ~x12193+262144 ~x12192+131072 ~x12191+65536 ~x12190+32768 ~x12189+16384 ~x12188+8192 ~x12187+4096 ~x12186+2048 ~x12185+1024 ~x12184+512 ~x12183+256 ~x12182+128 ~x12181+64 ~x12180+32 ~x12179+16 ~x12178+8 ~x12177+4 ~x12176+2 ~x12175+1 ~x12174+536870912 ~x12173+268435456 ~x12172+134217728 ~x12171+67108864 ~x12170+33554432 ~x12169+16777216 ~x12168+8388608 ~x12167+4194304 ~x12166+2097152 ~x12165+1048576 ~x12164+524288 ~x12163+262144 ~x12162+131072 ~x12161+65536 ~x12160+32768 ~x12159+16384 ~x12158+8192 ~x12157+4096 ~x12156+2048 ~x12155+1024 ~x12154+512 ~x12153+256 ~x12152+128 ~x12151+64 ~x12150+32 ~x12149+16 ~x12148+8 ~x12147+4 ~x12146+2 ~x12145+1 ~x12144+536870912 ~x12143+268435456 ~x12142+134217728 ~x12141+67108864 ~x12140+33554432 ~x12139+16777216 ~x12138+8388608 ~x12137+4194304 ~x12136+2097152 ~x12135+1048576 ~x12134+524288 ~x12133+262144 ~x12132+131072 ~x12131+65536 ~x12130+32768 ~x12129+16384 ~x12128+8192 ~x12127+4096 ~x12126+2048 ~x12125+1024 ~x12124+512 ~x12123+256 ~x12122+128 ~x12121+64 ~x12120+32 ~x12119+16 ~x12118+8 ~x12117+4 ~x12116+2 ~x12115+1 ~x12114+536870912 ~x12113+268435456 ~x12112+134217728 ~x12111+67108864 ~x12110+33554432 ~x12109+16777216 ~x12108+8388608 ~x12107+4194304 ~x12106+2097152 ~x12105+1048576 ~x12104+524288 ~x12103+262144 ~x12102+131072 ~x12101+65536 ~x12100+32768 ~x12099+16384 ~x12098+8192 ~x12097+4096 ~x12096+2048 ~x12095+1024 ~x12094+512 ~x12093+256 ~x12092+128 ~x12091+64 ~x12090+32 ~x12089+16 ~x12088+8 ~x12087+4 ~x12086+2 ~x12085+1 ~x12084+536870912 ~x12083+268435456 ~x12082+134217728 ~x12081+67108864 ~x12080+33554432 ~x12079+16777216 ~x12078+8388608 ~x12077+4194304 ~x12076+2097152 ~x12075+1048576 ~x12074+524288 ~x12073+262144 ~x12072+131072 ~x12071+65536 ~x12070+32768 ~x12069+16384 ~x12068+8192 ~x12067+4096 ~x12066+2048 ~x12065+1024 ~x12064+512 ~x12063+256 ~x12062+128 ~x12061+64 ~x12060+32 ~x12059+16 ~x12058+8 ~x12057+4 ~x12056+2 ~x12055+1 ~x12054+536870912 ~x12053+268435456 ~x12052+134217728 ~x12051+67108864 ~x12050+33554432 ~x12049+16777216 ~x12048+8388608 ~x12047+4194304 ~x12046+2097152 ~x12045+1048576 ~x12044+524288 ~x12043+262144 ~x12042+131072 ~x12041+65536 ~x12040+32768 ~x12039+16384 ~x12038+8192 ~x12037+4096 ~x12036+2048 ~x12035+1024 ~x12034+512 ~x12033+256 ~x12032+128 ~x12031+64 ~x12030+32 ~x12029+16 ~x12028+8 ~x12027+4 ~x12026+2 ~x12025+1 ~x12024+536870912 ~x12023+268435456 ~x12022+134217728 ~x12021+67108864 ~x12020+33554432 ~x12019+16777216 ~x12018+8388608 ~x12017+4194304 ~x12016+2097152 ~x12015+1048576 ~x12014+524288 ~x12013+262144 ~x12012+131072 ~x12011+65536 ~x12010+32768 ~x12009+16384 ~x12008+8192 ~x12007+4096 ~x12006+2048 ~x12005+1024 ~x12004+512 ~x12003+256 ~x12002+128 ~x12001+64 ~x12000+32 ~x11999+16 ~x11998+8 ~x11997+4 ~x11996+2 ~x11995+1 ~x11994+536870912 ~x11993+268435456 ~x11992+134217728 ~x11991+67108864 ~x11990+33554432 ~x11989+16777216 ~x11988+8388608 ~x11987+4194304 ~x11986+2097152 ~x11985+1048576 ~x11984+524288 ~x11983+262144 ~x11982+131072 ~x11981+65536 ~x11980+32768 ~x11979+16384 ~x11978+8192 ~x11977+4096 ~x11976+2048 ~x11975+1024 ~x11974+512 ~x11973+256 ~x11972+128 ~x11971+64 ~x11970+32 ~x11969+16 ~x11968+8 ~x11967+4 ~x11966+2 ~x11965+1 ~x11964+536870912 ~x11963+268435456 ~x11962+134217728 ~x11961+67108864 ~x11960+33554432 ~x11959+16777216 ~x11958+8388608 ~x11957+4194304 ~x11956+2097152 ~x11955+1048576 ~x11954+524288 ~x11953+262144 ~x11952+131072 ~x11951+65536 ~x11950+32768 ~x11949+16384 ~x11948+8192 ~x11947+4096 ~x11946+2048 ~x11945+1024 ~x11944+512 ~x11943+256 ~x11942+128 ~x11941+64 ~x11940+32 ~x11939+16 ~x11938+8 ~x11937+4 ~x11936+2 ~x11935+1 ~x11934+536870912 ~x11933+268435456 ~x11932+134217728 ~x11931+67108864 ~x11930+33554432 ~x11929+16777216 ~x11928+8388608 ~x11927+4194304 ~x11926+2097152 ~x11925+1048576 ~x11924+524288 ~x11923+262144 ~x11922+131072 ~x11921+65536 ~x11920+32768 ~x11919+16384 ~x11918+8192 ~x11917+4096 ~x11916+2048 ~x11915+1024 ~x11914+512 ~x11913+256 ~x11912+128 ~x11911+64 ~x11910+32 ~x11909+16 ~x11908+8 ~x11907+4 ~x11906+2 ~x11905+1 ~x11904-0=34357690351
24.08/24.19	c 274877906944 ~x850138+137438953472 ~x850137+68719476736 ~x850136+34359738368 ~x850135+17179869184 ~x850134+8589934592 ~x850133+4294967296 ~x850132+2147483648 ~x850131+1073741824 ~x850130+536870912 ~x850129+268435456 ~x850128+134217728 ~x850127+67108864 ~x850126+33554432 ~x850125+16777216 ~x850124+8388608 ~x850123+4194304 ~x850122+2097152 ~x850121+1048576 ~x850120+524288 ~x850119+262144 ~x850118+131072 ~x850117+65536 ~x850116+32768 ~x850115+16384 ~x850114+8192 ~x850113+4096 ~x850112+2048 ~x850111+1024 ~x850110+512 ~x850109+256 ~x850108+128 ~x850107+64 ~x850106+32 ~x850105+16 ~x850104+8 ~x850103+4 ~x850102+2 ~x850101+1 ~x850100+13421772800 ~x12863+6710886400 ~x12862+3355443200 ~x12861+1677721600 ~x12860+838860800 ~x12859+419430400 ~x12858+209715200 ~x12857+104857600 ~x12856+52428800 ~x12855+26214400 ~x12854+13107200 ~x12853+6553600 ~x12852+3276800 ~x12851+1638400 ~x12850+819200 ~x12849+409600 ~x12848+204800 ~x12847+102400 ~x12846+51200 ~x12845+25600 ~x12844+12800 ~x12843+6400 ~x12842+3200 ~x12841+1600 ~x12840+800 ~x12839+400 ~x12838+200 ~x12837+100 ~x12836+50 ~x12835+25 ~x12834+13421772800 ~x12833+6710886400 ~x12832+3355443200 ~x12831+1677721600 ~x12830+838860800 ~x12829+419430400 ~x12828+209715200 ~x12827+104857600 ~x12826+52428800 ~x12825+26214400 ~x12824+13107200 ~x12823+6553600 ~x12822+3276800 ~x12821+1638400 ~x12820+819200 ~x12819+409600 ~x12818+204800 ~x12817+102400 ~x12816+51200 ~x12815+25600 ~x12814+12800 ~x12813+6400 ~x12812+3200 ~x12811+1600 ~x12810+800 ~x12809+400 ~x12808+200 ~x12807+100 ~x12806+50 ~x12805+25 ~x12804+13421772800 ~x12803+6710886400 ~x12802+3355443200 ~x12801+1677721600 ~x12800+838860800 ~x12799+419430400 ~x12798+209715200 ~x12797+104857600 ~x12796+52428800 ~x12795+26214400 ~x12794+13107200 ~x12793+6553600 ~x12792+3276800 ~x12791+1638400 ~x12790+819200 ~x12789+409600 ~x12788+204800 ~x12787+102400 ~x12786+51200 ~x12785+25600 ~x12784+12800 ~x12783+6400 ~x12782+3200 ~x12781+1600 ~x12780+800 ~x12779+400 ~x12778+200 ~x12777+100 ~x12776+50 ~x12775+25 ~x12774+13421772800 ~x12773+6710886400 ~x12772+3355443200 ~x12771+1677721600 ~x12770+838860800 ~x12769+419430400 ~x12768+209715200 ~x12767+104857600 ~x12766+52428800 ~x12765+26214400 ~x12764+13107200 ~x12763+6553600 ~x12762+3276800 ~x12761+1638400 ~x12760+819200 ~x12759+409600 ~x12758+204800 ~x12757+102400 ~x12756+51200 ~x12755+25600 ~x12754+12800 ~x12753+6400 ~x12752+3200 ~x12751+1600 ~x12750+800 ~x12749+400 ~x12748+200 ~x12747+100 ~x12746+50 ~x12745+25 ~x12744+13421772800 ~x12743+6710886400 ~x12742+3355443200 ~x12741+1677721600 ~x12740+838860800 ~x12739+419430400 ~x12738+209715200 ~x12737+104857600 ~x12736+52428800 ~x12735+26214400 ~x12734+13107200 ~x12733+6553600 ~x12732+3276800 ~x12731+1638400 ~x12730+819200 ~x12729+409600 ~x12728+204800 ~x12727+102400 ~x12726+51200 ~x12725+25600 ~x12724+12800 ~x12723+6400 ~x12722+3200 ~x12721+1600 ~x12720+800 ~x12719+400 ~x12718+200 ~x12717+100 ~x12716+50 ~x12715+25 ~x12714+13421772800 ~x12713+6710886400 ~x12712+3355443200 ~x12711+1677721600 ~x12710+838860800 ~x12709+419430400 ~x12708+209715200 ~x12707+104857600 ~x12706+52428800 ~x12705+26214400 ~x12704+13107200 ~x12703+6553600 ~x12702+3276800 ~x12701+1638400 ~x12700+819200 ~x12699+409600 ~x12698+204800 ~x12697+102400 ~x12696+51200 ~x12695+25600 ~x12694+12800 ~x12693+6400 ~x12692+3200 ~x12691+1600 ~x12690+800 ~x12689+400 ~x12688+200 ~x12687+100 ~x12686+50 ~x12685+25 ~x12684+13421772800 ~x12683+6710886400 ~x12682+3355443200 ~x12681+1677721600 ~x12680+838860800 ~x12679+419430400 ~x12678+209715200 ~x12677+104857600 ~x12676+52428800 ~x12675+26214400 ~x12674+13107200 ~x12673+6553600 ~x12672+3276800 ~x12671+1638400 ~x12670+819200 ~x12669+409600 ~x12668+204800 ~x12667+102400 ~x12666+51200 ~x12665+25600 ~x12664+12800 ~x12663+6400 ~x12662+3200 ~x12661+1600 ~x12660+800 ~x12659+400 ~x12658+200 ~x12657+100 ~x12656+50 ~x12655+25 ~x12654+13421772800 ~x12653+6710886400 ~x12652+3355443200 ~x12651+1677721600 ~x12650+838860800 ~x12649+419430400 ~x12648+209715200 ~x12647+104857600 ~x12646+52428800 ~x12645+26214400 ~x12644+13107200 ~x12643+6553600 ~x12642+3276800 ~x12641+1638400 ~x12640+819200 ~x12639+409600 ~x12638+204800 ~x12637+102400 ~x12636+51200 ~x12635+25600 ~x12634+12800 ~x12633+6400 ~x12632+3200 ~x12631+1600 ~x12630+800 ~x12629+400 ~x12628+200 ~x12627+100 ~x12626+50 ~x12625+25 ~x12624+13421772800 ~x12623+6710886400 ~x12622+3355443200 ~x12621+1677721600 ~x12620+838860800 ~x12619+419430400 ~x12618+209715200 ~x12617+104857600 ~x12616+52428800 ~x12615+26214400 ~x12614+13107200 ~x12613+6553600 ~x12612+3276800 ~x12611+1638400 ~x12610+819200 ~x12609+409600 ~x12608+204800 ~x12607+102400 ~x12606+51200 ~x12605+25600 ~x12604+12800 ~x12603+6400 ~x12602+3200 ~x12601+1600 ~x12600+800 ~x12599+400 ~x12598+200 ~x12597+100 ~x12596+50 ~x12595+25 ~x12594+13421772800 ~x12593+6710886400 ~x12592+3355443200 ~x12591+1677721600 ~x12590+838860800 ~x12589+419430400 ~x12588+209715200 ~x12587+104857600 ~x12586+52428800 ~x12585+26214400 ~x12584+13107200 ~x12583+6553600 ~x12582+3276800 ~x12581+1638400 ~x12580+819200 ~x12579+409600 ~x12578+204800 ~x12577+102400 ~x12576+51200 ~x12575+25600 ~x12574+12800 ~x12573+6400 ~x12572+3200 ~x12571+1600 ~x12570+800 ~x12569+400 ~x12568+200 ~x12567+100 ~x12566+50 ~x12565+25 ~x12564+13421772800 ~x12563+6710886400 ~x12562+3355443200 ~x12561+1677721600 ~x12560+838860800 ~x12559+419430400 ~x12558+209715200 ~x12557+104857600 ~x12556+52428800 ~x12555+26214400 ~x12554+13107200 ~x12553+6553600 ~x12552+3276800 ~x12551+1638400 ~x12550+819200 ~x12549+409600 ~x12548+204800 ~x12547+102400 ~x12546+51200 ~x12545+25600 ~x12544+12800 ~x12543+6400 ~x12542+3200 ~x12541+1600 ~x12540+800 ~x12539+400 ~x12538+200 ~x12537+100 ~x12536+50 ~x12535+25 ~x12534+13421772800 ~x12533+6710886400 ~x12532+3355443200 ~x12531+1677721600 ~x12530+838860800 ~x12529+419430400 ~x12528+209715200 ~x12527+104857600 ~x12526+52428800 ~x12525+26214400 ~x12524+13107200 ~x12523+6553600 ~x12522+3276800 ~x12521+1638400 ~x12520+819200 ~x12519+409600 ~x12518+204800 ~x12517+102400 ~x12516+51200 ~x12515+25600 ~x12514+12800 ~x12513+6400 ~x12512+3200 ~x12511+1600 ~x12510+800 ~x12509+400 ~x12508+200 ~x12507+100 ~x12506+50 ~x12505+25 ~x12504+13421772800 ~x12503+6710886400 ~x12502+3355443200 ~x12501+1677721600 ~x12500+838860800 ~x12499+419430400 ~x12498+209715200 ~x12497+104857600 ~x12496+52428800 ~x12495+26214400 ~x12494+13107200 ~x12493+6553600 ~x12492+3276800 ~x12491+1638400 ~x12490+819200 ~x12489+409600 ~x12488+204800 ~x12487+102400 ~x12486+51200 ~x12485+25600 ~x12484+12800 ~x12483+6400 ~x12482+3200 ~x12481+1600 ~x12480+800 ~x12479+400 ~x12478+200 ~x12477+100 ~x12476+50 ~x12475+25 ~x12474+13421772800 ~x12473+6710886400 ~x12472+3355443200 ~x12471+1677721600 ~x12470+838860800 ~x12469+419430400 ~x12468+209715200 ~x12467+104857600 ~x12466+52428800 ~x12465+26214400 ~x12464+13107200 ~x12463+6553600 ~x12462+3276800 ~x12461+1638400 ~x12460+819200 ~x12459+409600 ~x12458+204800 ~x12457+102400 ~x12456+51200 ~x12455+25600 ~x12454+12800 ~x12453+6400 ~x12452+3200 ~x12451+1600 ~x12450+800 ~x12449+400 ~x12448+200 ~x12447+100 ~x12446+50 ~x12445+25 ~x12444+13421772800 ~x12443+6710886400 ~x12442+3355443200 ~x12441+1677721600 ~x12440+838860800 ~x12439+419430400 ~x12438+209715200 ~x12437+104857600 ~x12436+52428800 ~x12435+26214400 ~x12434+13107200 ~x12433+6553600 ~x12432+3276800 ~x12431+1638400 ~x12430+819200 ~x12429+409600 ~x12428+204800 ~x12427+102400 ~x12426+51200 ~x12425+25600 ~x12424+12800 ~x12423+6400 ~x12422+3200 ~x12421+1600 ~x12420+800 ~x12419+400 ~x12418+200 ~x12417+100 ~x12416+50 ~x12415+25 ~x12414+13421772800 ~x12413+6710886400 ~x12412+3355443200 ~x12411+1677721600 ~x12410+838860800 ~x12409+419430400 ~x12408+209715200 ~x12407+104857600 ~x12406+52428800 ~x12405+26214400 ~x12404+13107200 ~x12403+6553600 ~x12402+3276800 ~x12401+1638400 ~x12400+819200 ~x12399+409600 ~x12398+204800 ~x12397+102400 ~x12396+51200 ~x12395+25600 ~x12394+12800 ~x12393+6400 ~x12392+3200 ~x12391+1600 ~x12390+800 ~x12389+400 ~x12388+200 ~x12387+100 ~x12386+50 ~x12385+25 ~x12384-0=979252529775
29.48/29.54	c 274877906944 ~x1085843+137438953472 ~x1085842+68719476736 ~x1085841+34359738368 ~x1085840+17179869184 ~x1085839+8589934592 ~x1085838+4294967296 ~x1085837+2147483648 ~x1085836+1073741824 ~x1085835+536870912 ~x1085834+268435456 ~x1085833+134217728 ~x1085832+67108864 ~x1085831+33554432 ~x1085830+16777216 ~x1085829+8388608 ~x1085828+4194304 ~x1085827+2097152 ~x1085826+1048576 ~x1085825+524288 ~x1085824+262144 ~x1085823+131072 ~x1085822+65536 ~x1085821+32768 ~x1085820+16384 ~x1085819+8192 ~x1085818+4096 ~x1085817+2048 ~x1085816+1024 ~x1085815+512 ~x1085814+256 ~x1085813+128 ~x1085812+64 ~x1085811+32 ~x1085810+16 ~x1085809+8 ~x1085808+4 ~x1085807+2 ~x1085806+1 ~x1085805+13421772800 ~x13343+6710886400 ~x13342+3355443200 ~x13341+1677721600 ~x13340+838860800 ~x13339+419430400 ~x13338+209715200 ~x13337+104857600 ~x13336+52428800 ~x13335+26214400 ~x13334+13107200 ~x13333+6553600 ~x13332+3276800 ~x13331+1638400 ~x13330+819200 ~x13329+409600 ~x13328+204800 ~x13327+102400 ~x13326+51200 ~x13325+25600 ~x13324+12800 ~x13323+6400 ~x13322+3200 ~x13321+1600 ~x13320+800 ~x13319+400 ~x13318+200 ~x13317+100 ~x13316+50 ~x13315+25 ~x13314+13421772800 ~x13313+6710886400 ~x13312+3355443200 ~x13311+1677721600 ~x13310+838860800 ~x13309+419430400 ~x13308+209715200 ~x13307+104857600 ~x13306+52428800 ~x13305+26214400 ~x13304+13107200 ~x13303+6553600 ~x13302+3276800 ~x13301+1638400 ~x13300+819200 ~x13299+409600 ~x13298+204800 ~x13297+102400 ~x13296+51200 ~x13295+25600 ~x13294+12800 ~x13293+6400 ~x13292+3200 ~x13291+1600 ~x13290+800 ~x13289+400 ~x13288+200 ~x13287+100 ~x13286+50 ~x13285+25 ~x13284+13421772800 ~x13283+6710886400 ~x13282+3355443200 ~x13281+1677721600 ~x13280+838860800 ~x13279+419430400 ~x13278+209715200 ~x13277+104857600 ~x13276+52428800 ~x13275+26214400 ~x13274+13107200 ~x13273+6553600 ~x13272+3276800 ~x13271+1638400 ~x13270+819200 ~x13269+409600 ~x13268+204800 ~x13267+102400 ~x13266+51200 ~x13265+25600 ~x13264+12800 ~x13263+6400 ~x13262+3200 ~x13261+1600 ~x13260+800 ~x13259+400 ~x13258+200 ~x13257+100 ~x13256+50 ~x13255+25 ~x13254+13421772800 ~x13253+6710886400 ~x13252+3355443200 ~x13251+1677721600 ~x13250+838860800 ~x13249+419430400 ~x13248+209715200 ~x13247+104857600 ~x13246+52428800 ~x13245+26214400 ~x13244+13107200 ~x13243+6553600 ~x13242+3276800 ~x13241+1638400 ~x13240+819200 ~x13239+409600 ~x13238+204800 ~x13237+102400 ~x13236+51200 ~x13235+25600 ~x13234+12800 ~x13233+6400 ~x13232+3200 ~x13231+1600 ~x13230+800 ~x13229+400 ~x13228+200 ~x13227+100 ~x13226+50 ~x13225+25 ~x13224+13421772800 ~x13223+6710886400 ~x13222+3355443200 ~x13221+1677721600 ~x13220+838860800 ~x13219+419430400 ~x13218+209715200 ~x13217+104857600 ~x13216+52428800 ~x13215+26214400 ~x13214+13107200 ~x13213+6553600 ~x13212+3276800 ~x13211+1638400 ~x13210+819200 ~x13209+409600 ~x13208+204800 ~x13207+102400 ~x13206+51200 ~x13205+25600 ~x13204+12800 ~x13203+6400 ~x13202+3200 ~x13201+1600 ~x13200+800 ~x13199+400 ~x13198+200 ~x13197+100 ~x13196+50 ~x13195+25 ~x13194+13421772800 ~x13193+6710886400 ~x13192+3355443200 ~x13191+1677721600 ~x13190+838860800 ~x13189+419430400 ~x13188+209715200 ~x13187+104857600 ~x13186+52428800 ~x13185+26214400 ~x13184+13107200 ~x13183+6553600 ~x13182+3276800 ~x13181+1638400 ~x13180+819200 ~x13179+409600 ~x13178+204800 ~x13177+102400 ~x13176+51200 ~x13175+25600 ~x13174+12800 ~x13173+6400 ~x13172+3200 ~x13171+1600 ~x13170+800 ~x13169+400 ~x13168+200 ~x13167+100 ~x13166+50 ~x13165+25 ~x13164+13421772800 ~x13163+6710886400 ~x13162+3355443200 ~x13161+1677721600 ~x13160+838860800 ~x13159+419430400 ~x13158+209715200 ~x13157+104857600 ~x13156+52428800 ~x13155+26214400 ~x13154+13107200 ~x13153+6553600 ~x13152+3276800 ~x13151+1638400 ~x13150+819200 ~x13149+409600 ~x13148+204800 ~x13147+102400 ~x13146+51200 ~x13145+25600 ~x13144+12800 ~x13143+6400 ~x13142+3200 ~x13141+1600 ~x13140+800 ~x13139+400 ~x13138+200 ~x13137+100 ~x13136+50 ~x13135+25 ~x13134+13421772800 ~x13133+6710886400 ~x13132+3355443200 ~x13131+1677721600 ~x13130+838860800 ~x13129+419430400 ~x13128+209715200 ~x13127+104857600 ~x13126+52428800 ~x13125+26214400 ~x13124+13107200 ~x13123+6553600 ~x13122+3276800 ~x13121+1638400 ~x13120+819200 ~x13119+409600 ~x13118+204800 ~x13117+102400 ~x13116+51200 ~x13115+25600 ~x13114+12800 ~x13113+6400 ~x13112+3200 ~x13111+1600 ~x13110+800 ~x13109+400 ~x13108+200 ~x13107+100 ~x13106+50 ~x13105+25 ~x13104+13421772800 ~x13103+6710886400 ~x13102+3355443200 ~x13101+1677721600 ~x13100+838860800 ~x13099+419430400 ~x13098+209715200 ~x13097+104857600 ~x13096+52428800 ~x13095+26214400 ~x13094+13107200 ~x13093+6553600 ~x13092+3276800 ~x13091+1638400 ~x13090+819200 ~x13089+409600 ~x13088+204800 ~x13087+102400 ~x13086+51200 ~x13085+25600 ~x13084+12800 ~x13083+6400 ~x13082+3200 ~x13081+1600 ~x13080+800 ~x13079+400 ~x13078+200 ~x13077+100 ~x13076+50 ~x13075+25 ~x13074+13421772800 ~x13073+6710886400 ~x13072+3355443200 ~x13071+1677721600 ~x13070+838860800 ~x13069+419430400 ~x13068+209715200 ~x13067+104857600 ~x13066+52428800 ~x13065+26214400 ~x13064+13107200 ~x13063+6553600 ~x13062+3276800 ~x13061+1638400 ~x13060+819200 ~x13059+409600 ~x13058+204800 ~x13057+102400 ~x13056+51200 ~x13055+25600 ~x13054+12800 ~x13053+6400 ~x13052+3200 ~x13051+1600 ~x13050+800 ~x13049+400 ~x13048+200 ~x13047+100 ~x13046+50 ~x13045+25 ~x13044+13421772800 ~x13043+6710886400 ~x13042+3355443200 ~x13041+1677721600 ~x13040+838860800 ~x13039+419430400 ~x13038+209715200 ~x13037+104857600 ~x13036+52428800 ~x13035+26214400 ~x13034+13107200 ~x13033+6553600 ~x13032+3276800 ~x13031+1638400 ~x13030+819200 ~x13029+409600 ~x13028+204800 ~x13027+102400 ~x13026+51200 ~x13025+25600 ~x13024+12800 ~x13023+6400 ~x13022+3200 ~x13021+1600 ~x13020+800 ~x13019+400 ~x13018+200 ~x13017+100 ~x13016+50 ~x13015+25 ~x13014+13421772800 ~x13013+6710886400 ~x13012+3355443200 ~x13011+1677721600 ~x13010+838860800 ~x13009+419430400 ~x13008+209715200 ~x13007+104857600 ~x13006+52428800 ~x13005+26214400 ~x13004+13107200 ~x13003+6553600 ~x13002+3276800 ~x13001+1638400 ~x13000+819200 ~x12999+409600 ~x12998+204800 ~x12997+102400 ~x12996+51200 ~x12995+25600 ~x12994+12800 ~x12993+6400 ~x12992+3200 ~x12991+1600 ~x12990+800 ~x12989+400 ~x12988+200 ~x12987+100 ~x12986+50 ~x12985+25 ~x12984+13421772800 ~x12983+6710886400 ~x12982+3355443200 ~x12981+1677721600 ~x12980+838860800 ~x12979+419430400 ~x12978+209715200 ~x12977+104857600 ~x12976+52428800 ~x12975+26214400 ~x12974+13107200 ~x12973+6553600 ~x12972+3276800 ~x12971+1638400 ~x12970+819200 ~x12969+409600 ~x12968+204800 ~x12967+102400 ~x12966+51200 ~x12965+25600 ~x12964+12800 ~x12963+6400 ~x12962+3200 ~x12961+1600 ~x12960+800 ~x12959+400 ~x12958+200 ~x12957+100 ~x12956+50 ~x12955+25 ~x12954+13421772800 ~x12953+6710886400 ~x12952+3355443200 ~x12951+1677721600 ~x12950+838860800 ~x12949+419430400 ~x12948+209715200 ~x12947+104857600 ~x12946+52428800 ~x12945+26214400 ~x12944+13107200 ~x12943+6553600 ~x12942+3276800 ~x12941+1638400 ~x12940+819200 ~x12939+409600 ~x12938+204800 ~x12937+102400 ~x12936+51200 ~x12935+25600 ~x12934+12800 ~x12933+6400 ~x12932+3200 ~x12931+1600 ~x12930+800 ~x12929+400 ~x12928+200 ~x12927+100 ~x12926+50 ~x12925+25 ~x12924+13421772800 ~x12923+6710886400 ~x12922+3355443200 ~x12921+1677721600 ~x12920+838860800 ~x12919+419430400 ~x12918+209715200 ~x12917+104857600 ~x12916+52428800 ~x12915+26214400 ~x12914+13107200 ~x12913+6553600 ~x12912+3276800 ~x12911+1638400 ~x12910+819200 ~x12909+409600 ~x12908+204800 ~x12907+102400 ~x12906+51200 ~x12905+25600 ~x12904+12800 ~x12903+6400 ~x12902+3200 ~x12901+1600 ~x12900+800 ~x12899+400 ~x12898+200 ~x12897+100 ~x12896+50 ~x12895+25 ~x12894+13421772800 ~x12893+6710886400 ~x12892+3355443200 ~x12891+1677721600 ~x12890+838860800 ~x12889+419430400 ~x12888+209715200 ~x12887+104857600 ~x12886+52428800 ~x12885+26214400 ~x12884+13107200 ~x12883+6553600 ~x12882+3276800 ~x12881+1638400 ~x12880+819200 ~x12879+409600 ~x12878+204800 ~x12877+102400 ~x12876+51200 ~x12875+25600 ~x12874+12800 ~x12873+6400 ~x12872+3200 ~x12871+1600 ~x12870+800 ~x12869+400 ~x12868+200 ~x12867+100 ~x12866+50 ~x12865+25 ~x12864-0=979252537455
34.88/34.91	c 140737488355328 ~x1321557+70368744177664 ~x1321556+35184372088832 ~x1321555+17592186044416 ~x1321554+8796093022208 ~x1321553+4398046511104 ~x1321552+2199023255552 ~x1321551+1099511627776 ~x1321550+549755813888 ~x1321549+274877906944 ~x1321548+137438953472 ~x1321547+68719476736 ~x1321546+34359738368 ~x1321545+17179869184 ~x1321544+8589934592 ~x1321543+4294967296 ~x1321542+2147483648 ~x1321541+1073741824 ~x1321540+536870912 ~x1321539+268435456 ~x1321538+134217728 ~x1321537+67108864 ~x1321536+33554432 ~x1321535+16777216 ~x1321534+8388608 ~x1321533+4194304 ~x1321532+2097152 ~x1321531+1048576 ~x1321530+524288 ~x1321529+262144 ~x1321528+131072 ~x1321527+65536 ~x1321526+32768 ~x1321525+16384 ~x1321524+8192 ~x1321523+4096 ~x1321522+2048 ~x1321521+1024 ~x1321520+512 ~x1321519+256 ~x1321518+128 ~x1321517+64 ~x1321516+32 ~x1321515+16 ~x1321514+8 ~x1321513+4 ~x1321512+2 ~x1321511+1 ~x1321510+8388608000000 ~x13823+4194304000000 ~x13822+2097152000000 ~x13821+1048576000000 ~x13820+524288000000 ~x13819+262144000000 ~x13818+131072000000 ~x13817+65536000000 ~x13816+32768000000 ~x13815+16384000000 ~x13814+8192000000 ~x13813+4096000000 ~x13812+2048000000 ~x13811+1024000000 ~x13810+512000000 ~x13809+256000000 ~x13808+128000000 ~x13807+64000000 ~x13806+32000000 ~x13805+16000000 ~x13804+8000000 ~x13803+4000000 ~x13802+2000000 ~x13801+1000000 ~x13800+500000 ~x13799+250000 ~x13798+125000 ~x13797+62500 ~x13796+31250 ~x13795+15625 ~x13794+8388608000000 ~x13793+4194304000000 ~x13792+2097152000000 ~x13791+1048576000000 ~x13790+524288000000 ~x13789+262144000000 ~x13788+131072000000 ~x13787+65536000000 ~x13786+32768000000 ~x13785+16384000000 ~x13784+8192000000 ~x13783+4096000000 ~x13782+2048000000 ~x13781+1024000000 ~x13780+512000000 ~x13779+256000000 ~x13778+128000000 ~x13777+64000000 ~x13776+32000000 ~x13775+16000000 ~x13774+8000000 ~x13773+4000000 ~x13772+2000000 ~x13771+1000000 ~x13770+500000 ~x13769+250000 ~x13768+125000 ~x13767+62500 ~x13766+31250 ~x13765+15625 ~x13764+8388608000000 ~x13763+4194304000000 ~x13762+2097152000000 ~x13761+1048576000000 ~x13760+524288000000 ~x13759+262144000000 ~x13758+131072000000 ~x13757+65536000000 ~x13756+32768000000 ~x13755+16384000000 ~x13754+8192000000 ~x13753+4096000000 ~x13752+2048000000 ~x13751+1024000000 ~x13750+512000000 ~x13749+256000000 ~x13748+128000000 ~x13747+64000000 ~x13746+32000000 ~x13745+16000000 ~x13744+8000000 ~x13743+4000000 ~x13742+2000000 ~x13741+1000000 ~x13740+500000 ~x13739+250000 ~x13738+125000 ~x13737+62500 ~x13736+31250 ~x13735+15625 ~x13734+8388608000000 ~x13733+4194304000000 ~x13732+2097152000000 ~x13731+1048576000000 ~x13730+524288000000 ~x13729+262144000000 ~x13728+131072000000 ~x13727+65536000000 ~x13726+32768000000 ~x13725+16384000000 ~x13724+8192000000 ~x13723+4096000000 ~x13722+2048000000 ~x13721+1024000000 ~x13720+512000000 ~x13719+256000000 ~x13718+128000000 ~x13717+64000000 ~x13716+32000000 ~x13715+16000000 ~x13714+8000000 ~x13713+4000000 ~x13712+2000000 ~x13711+1000000 ~x13710+500000 ~x13709+250000 ~x13708+125000 ~x13707+62500 ~x13706+31250 ~x13705+15625 ~x13704+8388608000000 ~x13703+4194304000000 ~x13702+2097152000000 ~x13701+1048576000000 ~x13700+524288000000 ~x13699+262144000000 ~x13698+131072000000 ~x13697+65536000000 ~x13696+32768000000 ~x13695+16384000000 ~x13694+8192000000 ~x13693+4096000000 ~x13692+2048000000 ~x13691+1024000000 ~x13690+512000000 ~x13689+256000000 ~x13688+128000000 ~x13687+64000000 ~x13686+32000000 ~x13685+16000000 ~x13684+8000000 ~x13683+4000000 ~x13682+2000000 ~x13681+1000000 ~x13680+500000 ~x13679+250000 ~x13678+125000 ~x13677+62500 ~x13676+31250 ~x13675+15625 ~x13674+8388608000000 ~x13673+4194304000000 ~x13672+2097152000000 ~x13671+1048576000000 ~x13670+524288000000 ~x13669+262144000000 ~x13668+131072000000 ~x13667+65536000000 ~x13666+32768000000 ~x13665+16384000000 ~x13664+8192000000 ~x13663+4096000000 ~x13662+2048000000 ~x13661+1024000000 ~x13660+512000000 ~x13659+256000000 ~x13658+128000000 ~x13657+64000000 ~x13656+32000000 ~x13655+16000000 ~x13654+8000000 ~x13653+4000000 ~x13652+2000000 ~x13651+1000000 ~x13650+500000 ~x13649+250000 ~x13648+125000 ~x13647+62500 ~x13646+31250 ~x13645+15625 ~x13644+8388608000000 ~x13643+4194304000000 ~x13642+2097152000000 ~x13641+1048576000000 ~x13640+524288000000 ~x13639+262144000000 ~x13638+131072000000 ~x13637+65536000000 ~x13636+32768000000 ~x13635+16384000000 ~x13634+8192000000 ~x13633+4096000000 ~x13632+2048000000 ~x13631+1024000000 ~x13630+512000000 ~x13629+256000000 ~x13628+128000000 ~x13627+64000000 ~x13626+32000000 ~x13625+16000000 ~x13624+8000000 ~x13623+4000000 ~x13622+2000000 ~x13621+1000000 ~x13620+500000 ~x13619+250000 ~x13618+125000 ~x13617+62500 ~x13616+31250 ~x13615+15625 ~x13614+8388608000000 ~x13613+4194304000000 ~x13612+2097152000000 ~x13611+1048576000000 ~x13610+524288000000 ~x13609+262144000000 ~x13608+131072000000 ~x13607+65536000000 ~x13606+32768000000 ~x13605+16384000000 ~x13604+8192000000 ~x13603+4096000000 ~x13602+2048000000 ~x13601+1024000000 ~x13600+512000000 ~x13599+256000000 ~x13598+128000000 ~x13597+64000000 ~x13596+32000000 ~x13595+16000000 ~x13594+8000000 ~x13593+4000000 ~x13592+2000000 ~x13591+1000000 ~x13590+500000 ~x13589+250000 ~x13588+125000 ~x13587+62500 ~x13586+31250 ~x13585+15625 ~x13584+8388608000000 ~x13583+4194304000000 ~x13582+2097152000000 ~x13581+1048576000000 ~x13580+524288000000 ~x13579+262144000000 ~x13578+131072000000 ~x13577+65536000000 ~x13576+32768000000 ~x13575+16384000000 ~x13574+8192000000 ~x13573+4096000000 ~x13572+2048000000 ~x13571+1024000000 ~x13570+512000000 ~x13569+256000000 ~x13568+128000000 ~x13567+64000000 ~x13566+32000000 ~x13565+16000000 ~x13564+8000000 ~x13563+4000000 ~x13562+2000000 ~x13561+1000000 ~x13560+500000 ~x13559+250000 ~x13558+125000 ~x13557+62500 ~x13556+31250 ~x13555+15625 ~x13554+8388608000000 ~x13553+4194304000000 ~x13552+2097152000000 ~x13551+1048576000000 ~x13550+524288000000 ~x13549+262144000000 ~x13548+131072000000 ~x13547+65536000000 ~x13546+32768000000 ~x13545+16384000000 ~x13544+8192000000 ~x13543+4096000000 ~x13542+2048000000 ~x13541+1024000000 ~x13540+512000000 ~x13539+256000000 ~x13538+128000000 ~x13537+64000000 ~x13536+32000000 ~x13535+16000000 ~x13534+8000000 ~x13533+4000000 ~x13532+2000000 ~x13531+1000000 ~x13530+500000 ~x13529+250000 ~x13528+125000 ~x13527+62500 ~x13526+31250 ~x13525+15625 ~x13524+8388608000000 ~x13523+4194304000000 ~x13522+2097152000000 ~x13521+1048576000000 ~x13520+524288000000 ~x13519+262144000000 ~x13518+131072000000 ~x13517+65536000000 ~x13516+32768000000 ~x13515+16384000000 ~x13514+8192000000 ~x13513+4096000000 ~x13512+2048000000 ~x13511+1024000000 ~x13510+512000000 ~x13509+256000000 ~x13508+128000000 ~x13507+64000000 ~x13506+32000000 ~x13505+16000000 ~x13504+8000000 ~x13503+4000000 ~x13502+2000000 ~x13501+1000000 ~x13500+500000 ~x13499+250000 ~x13498+125000 ~x13497+62500 ~x13496+31250 ~x13495+15625 ~x13494+8388608000000 ~x13493+4194304000000 ~x13492+2097152000000 ~x13491+1048576000000 ~x13490+524288000000 ~x13489+262144000000 ~x13488+131072000000 ~x13487+65536000000 ~x13486+32768000000 ~x13485+16384000000 ~x13484+8192000000 ~x13483+4096000000 ~x13482+2048000000 ~x13481+1024000000 ~x13480+512000000 ~x13479+256000000 ~x13478+128000000 ~x13477+64000000 ~x13476+32000000 ~x13475+16000000 ~x13474+8000000 ~x13473+4000000 ~x13472+2000000 ~x13471+1000000 ~x13470+500000 ~x13469+250000 ~x13468+125000 ~x13467+62500 ~x13466+31250 ~x13465+15625 ~x13464+8388608000000 ~x13463+4194304000000 ~x13462+2097152000000 ~x13461+1048576000000 ~x13460+524288000000 ~x13459+262144000000 ~x13458+131072000000 ~x13457+65536000000 ~x13456+32768000000 ~x13455+16384000000 ~x13454+8192000000 ~x13453+4096000000 ~x13452+2048000000 ~x13451+1024000000 ~x13450+512000000 ~x13449+256000000 ~x13448+128000000 ~x13447+64000000 ~x13446+32000000 ~x13445+16000000 ~x13444+8000000 ~x13443+4000000 ~x13442+2000000 ~x13441+1000000 ~x13440+500000 ~x13439+250000 ~x13438+125000 ~x13437+62500 ~x13436+31250 ~x13435+15625 ~x13434+8388608000000 ~x13433+4194304000000 ~x13432+2097152000000 ~x13431+1048576000000 ~x13430+524288000000 ~x13429+262144000000 ~x13428+131072000000 ~x13427+65536000000 ~x13426+32768000000 ~x13425+16384000000 ~x13424+8192000000 ~x13423+4096000000 ~x13422+2048000000 ~x13421+1024000000 ~x13420+512000000 ~x13419+256000000 ~x13418+128000000 ~x13417+64000000 ~x13416+32000000 ~x13415+16000000 ~x13414+8000000 ~x13413+4000000 ~x13412+2000000 ~x13411+1000000 ~x13410+500000 ~x13409+250000 ~x13408+125000 ~x13407+62500 ~x13406+31250 ~x13405+15625 ~x13404+8388608000000 ~x13403+4194304000000 ~x13402+2097152000000 ~x13401+1048576000000 ~x13400+524288000000 ~x13399+262144000000 ~x13398+131072000000 ~x13397+65536000000 ~x13396+32768000000 ~x13395+16384000000 ~x13394+8192000000 ~x13393+4096000000 ~x13392+2048000000 ~x13391+1024000000 ~x13390+512000000 ~x13389+256000000 ~x13388+128000000 ~x13387+64000000 ~x13386+32000000 ~x13385+16000000 ~x13384+8000000 ~x13383+4000000 ~x13382+2000000 ~x13381+1000000 ~x13380+500000 ~x13379+250000 ~x13378+125000 ~x13377+62500 ~x13376+31250 ~x13375+15625 ~x13374+8388608000000 ~x13373+4194304000000 ~x13372+2097152000000 ~x13371+1048576000000 ~x13370+524288000000 ~x13369+262144000000 ~x13368+131072000000 ~x13367+65536000000 ~x13366+32768000000 ~x13365+16384000000 ~x13364+8192000000 ~x13363+4096000000 ~x13362+2048000000 ~x13361+1024000000 ~x13360+512000000 ~x13359+256000000 ~x13358+128000000 ~x13357+64000000 ~x13356+32000000 ~x13355+16000000 ~x13354+8000000 ~x13353+4000000 ~x13352+2000000 ~x13351+1000000 ~x13350+500000 ~x13349+250000 ~x13348+125000 ~x13347+62500 ~x13346+31250 ~x13345+15625 ~x13344-0=549910124300687
41.79/41.84	c 8589934592 ~x1627092+4294967296 ~x1627091+2147483648 ~x1627090+1073741824 ~x1627089+536870912 ~x1627088+268435456 ~x1627087+134217728 ~x1627086+67108864 ~x1627085+33554432 ~x1627084+16777216 ~x1627083+8388608 ~x1627082+4194304 ~x1627081+2097152 ~x1627080+1048576 ~x1627079+524288 ~x1627078+262144 ~x1627077+131072 ~x1627076+65536 ~x1627075+32768 ~x1627074+16384 ~x1627073+8192 ~x1627072+4096 ~x1627071+2048 ~x1627070+1024 ~x1627069+512 ~x1627068+256 ~x1627067+128 ~x1627066+64 ~x1627065+32 ~x1627064+16 ~x1627063+8 ~x1627062+4 ~x1627061+2 ~x1627060+1 ~x1627059+536870912 ~x14303+268435456 ~x14302+134217728 ~x14301+67108864 ~x14300+33554432 ~x14299+16777216 ~x14298+8388608 ~x14297+4194304 ~x14296+2097152 ~x14295+1048576 ~x14294+524288 ~x14293+262144 ~x14292+131072 ~x14291+65536 ~x14290+32768 ~x14289+16384 ~x14288+8192 ~x14287+4096 ~x14286+2048 ~x14285+1024 ~x14284+512 ~x14283+256 ~x14282+128 ~x14281+64 ~x14280+32 ~x14279+16 ~x14278+8 ~x14277+4 ~x14276+2 ~x14275+1 ~x14274+536870912 ~x14273+268435456 ~x14272+134217728 ~x14271+67108864 ~x14270+33554432 ~x14269+16777216 ~x14268+8388608 ~x14267+4194304 ~x14266+2097152 ~x14265+1048576 ~x14264+524288 ~x14263+262144 ~x14262+131072 ~x14261+65536 ~x14260+32768 ~x14259+16384 ~x14258+8192 ~x14257+4096 ~x14256+2048 ~x14255+1024 ~x14254+512 ~x14253+256 ~x14252+128 ~x14251+64 ~x14250+32 ~x14249+16 ~x14248+8 ~x14247+4 ~x14246+2 ~x14245+1 ~x14244+536870912 ~x14243+268435456 ~x14242+134217728 ~x14241+67108864 ~x14240+33554432 ~x14239+16777216 ~x14238+8388608 ~x14237+4194304 ~x14236+2097152 ~x14235+1048576 ~x14234+524288 ~x14233+262144 ~x14232+131072 ~x14231+65536 ~x14230+32768 ~x14229+16384 ~x14228+8192 ~x14227+4096 ~x14226+2048 ~x14225+1024 ~x14224+512 ~x14223+256 ~x14222+128 ~x14221+64 ~x14220+32 ~x14219+16 ~x14218+8 ~x14217+4 ~x14216+2 ~x14215+1 ~x14214+536870912 ~x14213+268435456 ~x14212+134217728 ~x14211+67108864 ~x14210+33554432 ~x14209+16777216 ~x14208+8388608 ~x14207+4194304 ~x14206+2097152 ~x14205+1048576 ~x14204+524288 ~x14203+262144 ~x14202+131072 ~x14201+65536 ~x14200+32768 ~x14199+16384 ~x14198+8192 ~x14197+4096 ~x14196+2048 ~x14195+1024 ~x14194+512 ~x14193+256 ~x14192+128 ~x14191+64 ~x14190+32 ~x14189+16 ~x14188+8 ~x14187+4 ~x14186+2 ~x14185+1 ~x14184+536870912 ~x14183+268435456 ~x14182+134217728 ~x14181+67108864 ~x14180+33554432 ~x14179+16777216 ~x14178+8388608 ~x14177+4194304 ~x14176+2097152 ~x14175+1048576 ~x14174+524288 ~x14173+262144 ~x14172+131072 ~x14171+65536 ~x14170+32768 ~x14169+16384 ~x14168+8192 ~x14167+4096 ~x14166+2048 ~x14165+1024 ~x14164+512 ~x14163+256 ~x14162+128 ~x14161+64 ~x14160+32 ~x14159+16 ~x14158+8 ~x14157+4 ~x14156+2 ~x14155+1 ~x14154+536870912 ~x14153+268435456 ~x14152+134217728 ~x14151+67108864 ~x14150+33554432 ~x14149+16777216 ~x14148+8388608 ~x14147+4194304 ~x14146+2097152 ~x14145+1048576 ~x14144+524288 ~x14143+262144 ~x14142+131072 ~x14141+65536 ~x14140+32768 ~x14139+16384 ~x14138+8192 ~x14137+4096 ~x14136+2048 ~x14135+1024 ~x14134+512 ~x14133+256 ~x14132+128 ~x14131+64 ~x14130+32 ~x14129+16 ~x14128+8 ~x14127+4 ~x14126+2 ~x14125+1 ~x14124+536870912 ~x14123+268435456 ~x14122+134217728 ~x14121+67108864 ~x14120+33554432 ~x14119+16777216 ~x14118+8388608 ~x14117+4194304 ~x14116+2097152 ~x14115+1048576 ~x14114+524288 ~x14113+262144 ~x14112+131072 ~x14111+65536 ~x14110+32768 ~x14109+16384 ~x14108+8192 ~x14107+4096 ~x14106+2048 ~x14105+1024 ~x14104+512 ~x14103+256 ~x14102+128 ~x14101+64 ~x14100+32 ~x14099+16 ~x14098+8 ~x14097+4 ~x14096+2 ~x14095+1 ~x14094+536870912 ~x14093+268435456 ~x14092+134217728 ~x14091+67108864 ~x14090+33554432 ~x14089+16777216 ~x14088+8388608 ~x14087+4194304 ~x14086+2097152 ~x14085+1048576 ~x14084+524288 ~x14083+262144 ~x14082+131072 ~x14081+65536 ~x14080+32768 ~x14079+16384 ~x14078+8192 ~x14077+4096 ~x14076+2048 ~x14075+1024 ~x14074+512 ~x14073+256 ~x14072+128 ~x14071+64 ~x14070+32 ~x14069+16 ~x14068+8 ~x14067+4 ~x14066+2 ~x14065+1 ~x14064+536870912 ~x14063+268435456 ~x14062+134217728 ~x14061+67108864 ~x14060+33554432 ~x14059+16777216 ~x14058+8388608 ~x14057+4194304 ~x14056+2097152 ~x14055+1048576 ~x14054+524288 ~x14053+262144 ~x14052+131072 ~x14051+65536 ~x14050+32768 ~x14049+16384 ~x14048+8192 ~x14047+4096 ~x14046+2048 ~x14045+1024 ~x14044+512 ~x14043+256 ~x14042+128 ~x14041+64 ~x14040+32 ~x14039+16 ~x14038+8 ~x14037+4 ~x14036+2 ~x14035+1 ~x14034+536870912 ~x14033+268435456 ~x14032+134217728 ~x14031+67108864 ~x14030+33554432 ~x14029+16777216 ~x14028+8388608 ~x14027+4194304 ~x14026+2097152 ~x14025+1048576 ~x14024+524288 ~x14023+262144 ~x14022+131072 ~x14021+65536 ~x14020+32768 ~x14019+16384 ~x14018+8192 ~x14017+4096 ~x14016+2048 ~x14015+1024 ~x14014+512 ~x14013+256 ~x14012+128 ~x14011+64 ~x14010+32 ~x14009+16 ~x14008+8 ~x14007+4 ~x14006+2 ~x14005+1 ~x14004+536870912 ~x14003+268435456 ~x14002+134217728 ~x14001+67108864 ~x14000+33554432 ~x13999+16777216 ~x13998+8388608 ~x13997+4194304 ~x13996+2097152 ~x13995+1048576 ~x13994+524288 ~x13993+262144 ~x13992+131072 ~x13991+65536 ~x13990+32768 ~x13989+16384 ~x13988+8192 ~x13987+4096 ~x13986+2048 ~x13985+1024 ~x13984+512 ~x13983+256 ~x13982+128 ~x13981+64 ~x13980+32 ~x13979+16 ~x13978+8 ~x13977+4 ~x13976+2 ~x13975+1 ~x13974+536870912 ~x13973+268435456 ~x13972+134217728 ~x13971+67108864 ~x13970+33554432 ~x13969+16777216 ~x13968+8388608 ~x13967+4194304 ~x13966+2097152 ~x13965+1048576 ~x13964+524288 ~x13963+262144 ~x13962+131072 ~x13961+65536 ~x13960+32768 ~x13959+16384 ~x13958+8192 ~x13957+4096 ~x13956+2048 ~x13955+1024 ~x13954+512 ~x13953+256 ~x13952+128 ~x13951+64 ~x13950+32 ~x13949+16 ~x13948+8 ~x13947+4 ~x13946+2 ~x13945+1 ~x13944+536870912 ~x13943+268435456 ~x13942+134217728 ~x13941+67108864 ~x13940+33554432 ~x13939+16777216 ~x13938+8388608 ~x13937+4194304 ~x13936+2097152 ~x13935+1048576 ~x13934+524288 ~x13933+262144 ~x13932+131072 ~x13931+65536 ~x13930+32768 ~x13929+16384 ~x13928+8192 ~x13927+4096 ~x13926+2048 ~x13925+1024 ~x13924+512 ~x13923+256 ~x13922+128 ~x13921+64 ~x13920+32 ~x13919+16 ~x13918+8 ~x13917+4 ~x13916+2 ~x13915+1 ~x13914+536870912 ~x13913+268435456 ~x13912+134217728 ~x13911+67108864 ~x13910+33554432 ~x13909+16777216 ~x13908+8388608 ~x13907+4194304 ~x13906+2097152 ~x13905+1048576 ~x13904+524288 ~x13903+262144 ~x13902+131072 ~x13901+65536 ~x13900+32768 ~x13899+16384 ~x13898+8192 ~x13897+4096 ~x13896+2048 ~x13895+1024 ~x13894+512 ~x13893+256 ~x13892+128 ~x13891+64 ~x13890+32 ~x13889+16 ~x13888+8 ~x13887+4 ~x13886+2 ~x13885+1 ~x13884+536870912 ~x13883+268435456 ~x13882+134217728 ~x13881+67108864 ~x13880+33554432 ~x13879+16777216 ~x13878+8388608 ~x13877+4194304 ~x13876+2097152 ~x13875+1048576 ~x13874+524288 ~x13873+262144 ~x13872+131072 ~x13871+65536 ~x13870+32768 ~x13869+16384 ~x13868+8192 ~x13867+4096 ~x13866+2048 ~x13865+1024 ~x13864+512 ~x13863+256 ~x13862+128 ~x13861+64 ~x13860+32 ~x13859+16 ~x13858+8 ~x13857+4 ~x13856+2 ~x13855+1 ~x13854+536870912 ~x13853+268435456 ~x13852+134217728 ~x13851+67108864 ~x13850+33554432 ~x13849+16777216 ~x13848+8388608 ~x13847+4194304 ~x13846+2097152 ~x13845+1048576 ~x13844+524288 ~x13843+262144 ~x13842+131072 ~x13841+65536 ~x13840+32768 ~x13839+16384 ~x13838+8192 ~x13837+4096 ~x13836+2048 ~x13835+1024 ~x13834+512 ~x13833+256 ~x13832+128 ~x13831+64 ~x13830+32 ~x13829+16 ~x13828+8 ~x13827+4 ~x13826+2 ~x13825+1 ~x13824-0=34359533551
46.08/46.19	c 8589934592 ~x1819011+4294967296 ~x1819010+2147483648 ~x1819009+1073741824 ~x1819008+536870912 ~x1819007+268435456 ~x1819006+134217728 ~x1819005+67108864 ~x1819004+33554432 ~x1819003+16777216 ~x1819002+8388608 ~x1819001+4194304 ~x1819000+2097152 ~x1818999+1048576 ~x1818998+524288 ~x1818997+262144 ~x1818996+131072 ~x1818995+65536 ~x1818994+32768 ~x1818993+16384 ~x1818992+8192 ~x1818991+4096 ~x1818990+2048 ~x1818989+1024 ~x1818988+512 ~x1818987+256 ~x1818986+128 ~x1818985+64 ~x1818984+32 ~x1818983+16 ~x1818982+8 ~x1818981+4 ~x1818980+2 ~x1818979+1 ~x1818978+536870912 ~x14783+268435456 ~x14782+134217728 ~x14781+67108864 ~x14780+33554432 ~x14779+16777216 ~x14778+8388608 ~x14777+4194304 ~x14776+2097152 ~x14775+1048576 ~x14774+524288 ~x14773+262144 ~x14772+131072 ~x14771+65536 ~x14770+32768 ~x14769+16384 ~x14768+8192 ~x14767+4096 ~x14766+2048 ~x14765+1024 ~x14764+512 ~x14763+256 ~x14762+128 ~x14761+64 ~x14760+32 ~x14759+16 ~x14758+8 ~x14757+4 ~x14756+2 ~x14755+1 ~x14754+536870912 ~x14753+268435456 ~x14752+134217728 ~x14751+67108864 ~x14750+33554432 ~x14749+16777216 ~x14748+8388608 ~x14747+4194304 ~x14746+2097152 ~x14745+1048576 ~x14744+524288 ~x14743+262144 ~x14742+131072 ~x14741+65536 ~x14740+32768 ~x14739+16384 ~x14738+8192 ~x14737+4096 ~x14736+2048 ~x14735+1024 ~x14734+512 ~x14733+256 ~x14732+128 ~x14731+64 ~x14730+32 ~x14729+16 ~x14728+8 ~x14727+4 ~x14726+2 ~x14725+1 ~x14724+536870912 ~x14723+268435456 ~x14722+134217728 ~x14721+67108864 ~x14720+33554432 ~x14719+16777216 ~x14718+8388608 ~x14717+4194304 ~x14716+2097152 ~x14715+1048576 ~x14714+524288 ~x14713+262144 ~x14712+131072 ~x14711+65536 ~x14710+32768 ~x14709+16384 ~x14708+8192 ~x14707+4096 ~x14706+2048 ~x14705+1024 ~x14704+512 ~x14703+256 ~x14702+128 ~x14701+64 ~x14700+32 ~x14699+16 ~x14698+8 ~x14697+4 ~x14696+2 ~x14695+1 ~x14694+536870912 ~x14693+268435456 ~x14692+134217728 ~x14691+67108864 ~x14690+33554432 ~x14689+16777216 ~x14688+8388608 ~x14687+4194304 ~x14686+2097152 ~x14685+1048576 ~x14684+524288 ~x14683+262144 ~x14682+131072 ~x14681+65536 ~x14680+32768 ~x14679+16384 ~x14678+8192 ~x14677+4096 ~x14676+2048 ~x14675+1024 ~x14674+512 ~x14673+256 ~x14672+128 ~x14671+64 ~x14670+32 ~x14669+16 ~x14668+8 ~x14667+4 ~x14666+2 ~x14665+1 ~x14664+536870912 ~x14663+268435456 ~x14662+134217728 ~x14661+67108864 ~x14660+33554432 ~x14659+16777216 ~x14658+8388608 ~x14657+4194304 ~x14656+2097152 ~x14655+1048576 ~x14654+524288 ~x14653+262144 ~x14652+131072 ~x14651+65536 ~x14650+32768 ~x14649+16384 ~x14648+8192 ~x14647+4096 ~x14646+2048 ~x14645+1024 ~x14644+512 ~x14643+256 ~x14642+128 ~x14641+64 ~x14640+32 ~x14639+16 ~x14638+8 ~x14637+4 ~x14636+2 ~x14635+1 ~x14634+536870912 ~x14633+268435456 ~x14632+134217728 ~x14631+67108864 ~x14630+33554432 ~x14629+16777216 ~x14628+8388608 ~x14627+4194304 ~x14626+2097152 ~x14625+1048576 ~x14624+524288 ~x14623+262144 ~x14622+131072 ~x14621+65536 ~x14620+32768 ~x14619+16384 ~x14618+8192 ~x14617+4096 ~x14616+2048 ~x14615+1024 ~x14614+512 ~x14613+256 ~x14612+128 ~x14611+64 ~x14610+32 ~x14609+16 ~x14608+8 ~x14607+4 ~x14606+2 ~x14605+1 ~x14604+536870912 ~x14603+268435456 ~x14602+134217728 ~x14601+67108864 ~x14600+33554432 ~x14599+16777216 ~x14598+8388608 ~x14597+4194304 ~x14596+2097152 ~x14595+1048576 ~x14594+524288 ~x14593+262144 ~x14592+131072 ~x14591+65536 ~x14590+32768 ~x14589+16384 ~x14588+8192 ~x14587+4096 ~x14586+2048 ~x14585+1024 ~x14584+512 ~x14583+256 ~x14582+128 ~x14581+64 ~x14580+32 ~x14579+16 ~x14578+8 ~x14577+4 ~x14576+2 ~x14575+1 ~x14574+536870912 ~x14573+268435456 ~x14572+134217728 ~x14571+67108864 ~x14570+33554432 ~x14569+16777216 ~x14568+8388608 ~x14567+4194304 ~x14566+2097152 ~x14565+1048576 ~x14564+524288 ~x14563+262144 ~x14562+131072 ~x14561+65536 ~x14560+32768 ~x14559+16384 ~x14558+8192 ~x14557+4096 ~x14556+2048 ~x14555+1024 ~x14554+512 ~x14553+256 ~x14552+128 ~x14551+64 ~x14550+32 ~x14549+16 ~x14548+8 ~x14547+4 ~x14546+2 ~x14545+1 ~x14544+536870912 ~x14543+268435456 ~x14542+134217728 ~x14541+67108864 ~x14540+33554432 ~x14539+16777216 ~x14538+8388608 ~x14537+4194304 ~x14536+2097152 ~x14535+1048576 ~x14534+524288 ~x14533+262144 ~x14532+131072 ~x14531+65536 ~x14530+32768 ~x14529+16384 ~x14528+8192 ~x14527+4096 ~x14526+2048 ~x14525+1024 ~x14524+512 ~x14523+256 ~x14522+128 ~x14521+64 ~x14520+32 ~x14519+16 ~x14518+8 ~x14517+4 ~x14516+2 ~x14515+1 ~x14514+536870912 ~x14513+268435456 ~x14512+134217728 ~x14511+67108864 ~x14510+33554432 ~x14509+16777216 ~x14508+8388608 ~x14507+4194304 ~x14506+2097152 ~x14505+1048576 ~x14504+524288 ~x14503+262144 ~x14502+131072 ~x14501+65536 ~x14500+32768 ~x14499+16384 ~x14498+8192 ~x14497+4096 ~x14496+2048 ~x14495+1024 ~x14494+512 ~x14493+256 ~x14492+128 ~x14491+64 ~x14490+32 ~x14489+16 ~x14488+8 ~x14487+4 ~x14486+2 ~x14485+1 ~x14484+536870912 ~x14483+268435456 ~x14482+134217728 ~x14481+67108864 ~x14480+33554432 ~x14479+16777216 ~x14478+8388608 ~x14477+4194304 ~x14476+2097152 ~x14475+1048576 ~x14474+524288 ~x14473+262144 ~x14472+131072 ~x14471+65536 ~x14470+32768 ~x14469+16384 ~x14468+8192 ~x14467+4096 ~x14466+2048 ~x14465+1024 ~x14464+512 ~x14463+256 ~x14462+128 ~x14461+64 ~x14460+32 ~x14459+16 ~x14458+8 ~x14457+4 ~x14456+2 ~x14455+1 ~x14454+536870912 ~x14453+268435456 ~x14452+134217728 ~x14451+67108864 ~x14450+33554432 ~x14449+16777216 ~x14448+8388608 ~x14447+4194304 ~x14446+2097152 ~x14445+1048576 ~x14444+524288 ~x14443+262144 ~x14442+131072 ~x14441+65536 ~x14440+32768 ~x14439+16384 ~x14438+8192 ~x14437+4096 ~x14436+2048 ~x14435+1024 ~x14434+512 ~x14433+256 ~x14432+128 ~x14431+64 ~x14430+32 ~x14429+16 ~x14428+8 ~x14427+4 ~x14426+2 ~x14425+1 ~x14424+536870912 ~x14423+268435456 ~x14422+134217728 ~x14421+67108864 ~x14420+33554432 ~x14419+16777216 ~x14418+8388608 ~x14417+4194304 ~x14416+2097152 ~x14415+1048576 ~x14414+524288 ~x14413+262144 ~x14412+131072 ~x14411+65536 ~x14410+32768 ~x14409+16384 ~x14408+8192 ~x14407+4096 ~x14406+2048 ~x14405+1024 ~x14404+512 ~x14403+256 ~x14402+128 ~x14401+64 ~x14400+32 ~x14399+16 ~x14398+8 ~x14397+4 ~x14396+2 ~x14395+1 ~x14394+536870912 ~x14393+268435456 ~x14392+134217728 ~x14391+67108864 ~x14390+33554432 ~x14389+16777216 ~x14388+8388608 ~x14387+4194304 ~x14386+2097152 ~x14385+1048576 ~x14384+524288 ~x14383+262144 ~x14382+131072 ~x14381+65536 ~x14380+32768 ~x14379+16384 ~x14378+8192 ~x14377+4096 ~x14376+2048 ~x14375+1024 ~x14374+512 ~x14373+256 ~x14372+128 ~x14371+64 ~x14370+32 ~x14369+16 ~x14368+8 ~x14367+4 ~x14366+2 ~x14365+1 ~x14364+536870912 ~x14363+268435456 ~x14362+134217728 ~x14361+67108864 ~x14360+33554432 ~x14359+16777216 ~x14358+8388608 ~x14357+4194304 ~x14356+2097152 ~x14355+1048576 ~x14354+524288 ~x14353+262144 ~x14352+131072 ~x14351+65536 ~x14350+32768 ~x14349+16384 ~x14348+8192 ~x14347+4096 ~x14346+2048 ~x14345+1024 ~x14344+512 ~x14343+256 ~x14342+128 ~x14341+64 ~x14340+32 ~x14339+16 ~x14338+8 ~x14337+4 ~x14336+2 ~x14335+1 ~x14334+536870912 ~x14333+268435456 ~x14332+134217728 ~x14331+67108864 ~x14330+33554432 ~x14329+16777216 ~x14328+8388608 ~x14327+4194304 ~x14326+2097152 ~x14325+1048576 ~x14324+524288 ~x14323+262144 ~x14322+131072 ~x14321+65536 ~x14320+32768 ~x14319+16384 ~x14318+8192 ~x14317+4096 ~x14316+2048 ~x14315+1024 ~x14314+512 ~x14313+256 ~x14312+128 ~x14311+64 ~x14310+32 ~x14309+16 ~x14308+8 ~x14307+4 ~x14306+2 ~x14305+1 ~x14304-0=34359635951
50.48/50.57	c 8589934592 ~x2010930+4294967296 ~x2010929+2147483648 ~x2010928+1073741824 ~x2010927+536870912 ~x2010926+268435456 ~x2010925+134217728 ~x2010924+67108864 ~x2010923+33554432 ~x2010922+16777216 ~x2010921+8388608 ~x2010920+4194304 ~x2010919+2097152 ~x2010918+1048576 ~x2010917+524288 ~x2010916+262144 ~x2010915+131072 ~x2010914+65536 ~x2010913+32768 ~x2010912+16384 ~x2010911+8192 ~x2010910+4096 ~x2010909+2048 ~x2010908+1024 ~x2010907+512 ~x2010906+256 ~x2010905+128 ~x2010904+64 ~x2010903+32 ~x2010902+16 ~x2010901+8 ~x2010900+4 ~x2010899+2 ~x2010898+1 ~x2010897+536870912 ~x15263+268435456 ~x15262+134217728 ~x15261+67108864 ~x15260+33554432 ~x15259+16777216 ~x15258+8388608 ~x15257+4194304 ~x15256+2097152 ~x15255+1048576 ~x15254+524288 ~x15253+262144 ~x15252+131072 ~x15251+65536 ~x15250+32768 ~x15249+16384 ~x15248+8192 ~x15247+4096 ~x15246+2048 ~x15245+1024 ~x15244+512 ~x15243+256 ~x15242+128 ~x15241+64 ~x15240+32 ~x15239+16 ~x15238+8 ~x15237+4 ~x15236+2 ~x15235+1 ~x15234+536870912 ~x15233+268435456 ~x15232+134217728 ~x15231+67108864 ~x15230+33554432 ~x15229+16777216 ~x15228+8388608 ~x15227+4194304 ~x15226+2097152 ~x15225+1048576 ~x15224+524288 ~x15223+262144 ~x15222+131072 ~x15221+65536 ~x15220+32768 ~x15219+16384 ~x15218+8192 ~x15217+4096 ~x15216+2048 ~x15215+1024 ~x15214+512 ~x15213+256 ~x15212+128 ~x15211+64 ~x15210+32 ~x15209+16 ~x15208+8 ~x15207+4 ~x15206+2 ~x15205+1 ~x15204+536870912 ~x15203+268435456 ~x15202+134217728 ~x15201+67108864 ~x15200+33554432 ~x15199+16777216 ~x15198+8388608 ~x15197+4194304 ~x15196+2097152 ~x15195+1048576 ~x15194+524288 ~x15193+262144 ~x15192+131072 ~x15191+65536 ~x15190+32768 ~x15189+16384 ~x15188+8192 ~x15187+4096 ~x15186+2048 ~x15185+1024 ~x15184+512 ~x15183+256 ~x15182+128 ~x15181+64 ~x15180+32 ~x15179+16 ~x15178+8 ~x15177+4 ~x15176+2 ~x15175+1 ~x15174+536870912 ~x15173+268435456 ~x15172+134217728 ~x15171+67108864 ~x15170+33554432 ~x15169+16777216 ~x15168+8388608 ~x15167+4194304 ~x15166+2097152 ~x15165+1048576 ~x15164+524288 ~x15163+262144 ~x15162+131072 ~x15161+65536 ~x15160+32768 ~x15159+16384 ~x15158+8192 ~x15157+4096 ~x15156+2048 ~x15155+1024 ~x15154+512 ~x15153+256 ~x15152+128 ~x15151+64 ~x15150+32 ~x15149+16 ~x15148+8 ~x15147+4 ~x15146+2 ~x15145+1 ~x15144+536870912 ~x15143+268435456 ~x15142+134217728 ~x15141+67108864 ~x15140+33554432 ~x15139+16777216 ~x15138+8388608 ~x15137+4194304 ~x15136+2097152 ~x15135+1048576 ~x15134+524288 ~x15133+262144 ~x15132+131072 ~x15131+65536 ~x15130+32768 ~x15129+16384 ~x15128+8192 ~x15127+4096 ~x15126+2048 ~x15125+1024 ~x15124+512 ~x15123+256 ~x15122+128 ~x15121+64 ~x15120+32 ~x15119+16 ~x15118+8 ~x15117+4 ~x15116+2 ~x15115+1 ~x15114+536870912 ~x15113+268435456 ~x15112+134217728 ~x15111+67108864 ~x15110+33554432 ~x15109+16777216 ~x15108+8388608 ~x15107+4194304 ~x15106+2097152 ~x15105+1048576 ~x15104+524288 ~x15103+262144 ~x15102+131072 ~x15101+65536 ~x15100+32768 ~x15099+16384 ~x15098+8192 ~x15097+4096 ~x15096+2048 ~x15095+1024 ~x15094+512 ~x15093+256 ~x15092+128 ~x15091+64 ~x15090+32 ~x15089+16 ~x15088+8 ~x15087+4 ~x15086+2 ~x15085+1 ~x15084+536870912 ~x15083+268435456 ~x15082+134217728 ~x15081+67108864 ~x15080+33554432 ~x15079+16777216 ~x15078+8388608 ~x15077+4194304 ~x15076+2097152 ~x15075+1048576 ~x15074+524288 ~x15073+262144 ~x15072+131072 ~x15071+65536 ~x15070+32768 ~x15069+16384 ~x15068+8192 ~x15067+4096 ~x15066+2048 ~x15065+1024 ~x15064+512 ~x15063+256 ~x15062+128 ~x15061+64 ~x15060+32 ~x15059+16 ~x15058+8 ~x15057+4 ~x15056+2 ~x15055+1 ~x15054+536870912 ~x15053+268435456 ~x15052+134217728 ~x15051+67108864 ~x15050+33554432 ~x15049+16777216 ~x15048+8388608 ~x15047+4194304 ~x15046+2097152 ~x15045+1048576 ~x15044+524288 ~x15043+262144 ~x15042+131072 ~x15041+65536 ~x15040+32768 ~x15039+16384 ~x15038+8192 ~x15037+4096 ~x15036+2048 ~x15035+1024 ~x15034+512 ~x15033+256 ~x15032+128 ~x15031+64 ~x15030+32 ~x15029+16 ~x15028+8 ~x15027+4 ~x15026+2 ~x15025+1 ~x15024+536870912 ~x15023+268435456 ~x15022+134217728 ~x15021+67108864 ~x15020+33554432 ~x15019+16777216 ~x15018+8388608 ~x15017+4194304 ~x15016+2097152 ~x15015+1048576 ~x15014+524288 ~x15013+262144 ~x15012+131072 ~x15011+65536 ~x15010+32768 ~x15009+16384 ~x15008+8192 ~x15007+4096 ~x15006+2048 ~x15005+1024 ~x15004+512 ~x15003+256 ~x15002+128 ~x15001+64 ~x15000+32 ~x14999+16 ~x14998+8 ~x14997+4 ~x14996+2 ~x14995+1 ~x14994+536870912 ~x14993+268435456 ~x14992+134217728 ~x14991+67108864 ~x14990+33554432 ~x14989+16777216 ~x14988+8388608 ~x14987+4194304 ~x14986+2097152 ~x14985+1048576 ~x14984+524288 ~x14983+262144 ~x14982+131072 ~x14981+65536 ~x14980+32768 ~x14979+16384 ~x14978+8192 ~x14977+4096 ~x14976+2048 ~x14975+1024 ~x14974+512 ~x14973+256 ~x14972+128 ~x14971+64 ~x14970+32 ~x14969+16 ~x14968+8 ~x14967+4 ~x14966+2 ~x14965+1 ~x14964+536870912 ~x14963+268435456 ~x14962+134217728 ~x14961+67108864 ~x14960+33554432 ~x14959+16777216 ~x14958+8388608 ~x14957+4194304 ~x14956+2097152 ~x14955+1048576 ~x14954+524288 ~x14953+262144 ~x14952+131072 ~x14951+65536 ~x14950+32768 ~x14949+16384 ~x14948+8192 ~x14947+4096 ~x14946+2048 ~x14945+1024 ~x14944+512 ~x14943+256 ~x14942+128 ~x14941+64 ~x14940+32 ~x14939+16 ~x14938+8 ~x14937+4 ~x14936+2 ~x14935+1 ~x14934+536870912 ~x14933+268435456 ~x14932+134217728 ~x14931+67108864 ~x14930+33554432 ~x14929+16777216 ~x14928+8388608 ~x14927+4194304 ~x14926+2097152 ~x14925+1048576 ~x14924+524288 ~x14923+262144 ~x14922+131072 ~x14921+65536 ~x14920+32768 ~x14919+16384 ~x14918+8192 ~x14917+4096 ~x14916+2048 ~x14915+1024 ~x14914+512 ~x14913+256 ~x14912+128 ~x14911+64 ~x14910+32 ~x14909+16 ~x14908+8 ~x14907+4 ~x14906+2 ~x14905+1 ~x14904+536870912 ~x14903+268435456 ~x14902+134217728 ~x14901+67108864 ~x14900+33554432 ~x14899+16777216 ~x14898+8388608 ~x14897+4194304 ~x14896+2097152 ~x14895+1048576 ~x14894+524288 ~x14893+262144 ~x14892+131072 ~x14891+65536 ~x14890+32768 ~x14889+16384 ~x14888+8192 ~x14887+4096 ~x14886+2048 ~x14885+1024 ~x14884+512 ~x14883+256 ~x14882+128 ~x14881+64 ~x14880+32 ~x14879+16 ~x14878+8 ~x14877+4 ~x14876+2 ~x14875+1 ~x14874+536870912 ~x14873+268435456 ~x14872+134217728 ~x14871+67108864 ~x14870+33554432 ~x14869+16777216 ~x14868+8388608 ~x14867+4194304 ~x14866+2097152 ~x14865+1048576 ~x14864+524288 ~x14863+262144 ~x14862+131072 ~x14861+65536 ~x14860+32768 ~x14859+16384 ~x14858+8192 ~x14857+4096 ~x14856+2048 ~x14855+1024 ~x14854+512 ~x14853+256 ~x14852+128 ~x14851+64 ~x14850+32 ~x14849+16 ~x14848+8 ~x14847+4 ~x14846+2 ~x14845+1 ~x14844+536870912 ~x14843+268435456 ~x14842+134217728 ~x14841+67108864 ~x14840+33554432 ~x14839+16777216 ~x14838+8388608 ~x14837+4194304 ~x14836+2097152 ~x14835+1048576 ~x14834+524288 ~x14833+262144 ~x14832+131072 ~x14831+65536 ~x14830+32768 ~x14829+16384 ~x14828+8192 ~x14827+4096 ~x14826+2048 ~x14825+1024 ~x14824+512 ~x14823+256 ~x14822+128 ~x14821+64 ~x14820+32 ~x14819+16 ~x14818+8 ~x14817+4 ~x14816+2 ~x14815+1 ~x14814+536870912 ~x14813+268435456 ~x14812+134217728 ~x14811+67108864 ~x14810+33554432 ~x14809+16777216 ~x14808+8388608 ~x14807+4194304 ~x14806+2097152 ~x14805+1048576 ~x14804+524288 ~x14803+262144 ~x14802+131072 ~x14801+65536 ~x14800+32768 ~x14799+16384 ~x14798+8192 ~x14797+4096 ~x14796+2048 ~x14795+1024 ~x14794+512 ~x14793+256 ~x14792+128 ~x14791+64 ~x14790+32 ~x14789+16 ~x14788+8 ~x14787+4 ~x14786+2 ~x14785+1 ~x14784-0=34359635951
54.88/54.92	c 8589934592 ~x2202849+4294967296 ~x2202848+2147483648 ~x2202847+1073741824 ~x2202846+536870912 ~x2202845+268435456 ~x2202844+134217728 ~x2202843+67108864 ~x2202842+33554432 ~x2202841+16777216 ~x2202840+8388608 ~x2202839+4194304 ~x2202838+2097152 ~x2202837+1048576 ~x2202836+524288 ~x2202835+262144 ~x2202834+131072 ~x2202833+65536 ~x2202832+32768 ~x2202831+16384 ~x2202830+8192 ~x2202829+4096 ~x2202828+2048 ~x2202827+1024 ~x2202826+512 ~x2202825+256 ~x2202824+128 ~x2202823+64 ~x2202822+32 ~x2202821+16 ~x2202820+8 ~x2202819+4 ~x2202818+2 ~x2202817+1 ~x2202816+536870912 ~x15743+268435456 ~x15742+134217728 ~x15741+67108864 ~x15740+33554432 ~x15739+16777216 ~x15738+8388608 ~x15737+4194304 ~x15736+2097152 ~x15735+1048576 ~x15734+524288 ~x15733+262144 ~x15732+131072 ~x15731+65536 ~x15730+32768 ~x15729+16384 ~x15728+8192 ~x15727+4096 ~x15726+2048 ~x15725+1024 ~x15724+512 ~x15723+256 ~x15722+128 ~x15721+64 ~x15720+32 ~x15719+16 ~x15718+8 ~x15717+4 ~x15716+2 ~x15715+1 ~x15714+536870912 ~x15713+268435456 ~x15712+134217728 ~x15711+67108864 ~x15710+33554432 ~x15709+16777216 ~x15708+8388608 ~x15707+4194304 ~x15706+2097152 ~x15705+1048576 ~x15704+524288 ~x15703+262144 ~x15702+131072 ~x15701+65536 ~x15700+32768 ~x15699+16384 ~x15698+8192 ~x15697+4096 ~x15696+2048 ~x15695+1024 ~x15694+512 ~x15693+256 ~x15692+128 ~x15691+64 ~x15690+32 ~x15689+16 ~x15688+8 ~x15687+4 ~x15686+2 ~x15685+1 ~x15684+536870912 ~x15683+268435456 ~x15682+134217728 ~x15681+67108864 ~x15680+33554432 ~x15679+16777216 ~x15678+8388608 ~x15677+4194304 ~x15676+2097152 ~x15675+1048576 ~x15674+524288 ~x15673+262144 ~x15672+131072 ~x15671+65536 ~x15670+32768 ~x15669+16384 ~x15668+8192 ~x15667+4096 ~x15666+2048 ~x15665+1024 ~x15664+512 ~x15663+256 ~x15662+128 ~x15661+64 ~x15660+32 ~x15659+16 ~x15658+8 ~x15657+4 ~x15656+2 ~x15655+1 ~x15654+536870912 ~x15653+268435456 ~x15652+134217728 ~x15651+67108864 ~x15650+33554432 ~x15649+16777216 ~x15648+8388608 ~x15647+4194304 ~x15646+2097152 ~x15645+1048576 ~x15644+524288 ~x15643+262144 ~x15642+131072 ~x15641+65536 ~x15640+32768 ~x15639+16384 ~x15638+8192 ~x15637+4096 ~x15636+2048 ~x15635+1024 ~x15634+512 ~x15633+256 ~x15632+128 ~x15631+64 ~x15630+32 ~x15629+16 ~x15628+8 ~x15627+4 ~x15626+2 ~x15625+1 ~x15624+536870912 ~x15623+268435456 ~x15622+134217728 ~x15621+67108864 ~x15620+33554432 ~x15619+16777216 ~x15618+8388608 ~x15617+4194304 ~x15616+2097152 ~x15615+1048576 ~x15614+524288 ~x15613+262144 ~x15612+131072 ~x15611+65536 ~x15610+32768 ~x15609+16384 ~x15608+8192 ~x15607+4096 ~x15606+2048 ~x15605+1024 ~x15604+512 ~x15603+256 ~x15602+128 ~x15601+64 ~x15600+32 ~x15599+16 ~x15598+8 ~x15597+4 ~x15596+2 ~x15595+1 ~x15594+536870912 ~x15593+268435456 ~x15592+134217728 ~x15591+67108864 ~x15590+33554432 ~x15589+16777216 ~x15588+8388608 ~x15587+4194304 ~x15586+2097152 ~x15585+1048576 ~x15584+524288 ~x15583+262144 ~x15582+131072 ~x15581+65536 ~x15580+32768 ~x15579+16384 ~x15578+8192 ~x15577+4096 ~x15576+2048 ~x15575+1024 ~x15574+512 ~x15573+256 ~x15572+128 ~x15571+64 ~x15570+32 ~x15569+16 ~x15568+8 ~x15567+4 ~x15566+2 ~x15565+1 ~x15564+536870912 ~x15563+268435456 ~x15562+134217728 ~x15561+67108864 ~x15560+33554432 ~x15559+16777216 ~x15558+8388608 ~x15557+4194304 ~x15556+2097152 ~x15555+1048576 ~x15554+524288 ~x15553+262144 ~x15552+131072 ~x15551+65536 ~x15550+32768 ~x15549+16384 ~x15548+8192 ~x15547+4096 ~x15546+2048 ~x15545+1024 ~x15544+512 ~x15543+256 ~x15542+128 ~x15541+64 ~x15540+32 ~x15539+16 ~x15538+8 ~x15537+4 ~x15536+2 ~x15535+1 ~x15534+536870912 ~x15533+268435456 ~x15532+134217728 ~x15531+67108864 ~x15530+33554432 ~x15529+16777216 ~x15528+8388608 ~x15527+4194304 ~x15526+2097152 ~x15525+1048576 ~x15524+524288 ~x15523+262144 ~x15522+131072 ~x15521+65536 ~x15520+32768 ~x15519+16384 ~x15518+8192 ~x15517+4096 ~x15516+2048 ~x15515+1024 ~x15514+512 ~x15513+256 ~x15512+128 ~x15511+64 ~x15510+32 ~x15509+16 ~x15508+8 ~x15507+4 ~x15506+2 ~x15505+1 ~x15504+536870912 ~x15503+268435456 ~x15502+134217728 ~x15501+67108864 ~x15500+33554432 ~x15499+16777216 ~x15498+8388608 ~x15497+4194304 ~x15496+2097152 ~x15495+1048576 ~x15494+524288 ~x15493+262144 ~x15492+131072 ~x15491+65536 ~x15490+32768 ~x15489+16384 ~x15488+8192 ~x15487+4096 ~x15486+2048 ~x15485+1024 ~x15484+512 ~x15483+256 ~x15482+128 ~x15481+64 ~x15480+32 ~x15479+16 ~x15478+8 ~x15477+4 ~x15476+2 ~x15475+1 ~x15474+536870912 ~x15473+268435456 ~x15472+134217728 ~x15471+67108864 ~x15470+33554432 ~x15469+16777216 ~x15468+8388608 ~x15467+4194304 ~x15466+2097152 ~x15465+1048576 ~x15464+524288 ~x15463+262144 ~x15462+131072 ~x15461+65536 ~x15460+32768 ~x15459+16384 ~x15458+8192 ~x15457+4096 ~x15456+2048 ~x15455+1024 ~x15454+512 ~x15453+256 ~x15452+128 ~x15451+64 ~x15450+32 ~x15449+16 ~x15448+8 ~x15447+4 ~x15446+2 ~x15445+1 ~x15444+536870912 ~x15443+268435456 ~x15442+134217728 ~x15441+67108864 ~x15440+33554432 ~x15439+16777216 ~x15438+8388608 ~x15437+4194304 ~x15436+2097152 ~x15435+1048576 ~x15434+524288 ~x15433+262144 ~x15432+131072 ~x15431+65536 ~x15430+32768 ~x15429+16384 ~x15428+8192 ~x15427+4096 ~x15426+2048 ~x15425+1024 ~x15424+512 ~x15423+256 ~x15422+128 ~x15421+64 ~x15420+32 ~x15419+16 ~x15418+8 ~x15417+4 ~x15416+2 ~x15415+1 ~x15414+536870912 ~x15413+268435456 ~x15412+134217728 ~x15411+67108864 ~x15410+33554432 ~x15409+16777216 ~x15408+8388608 ~x15407+4194304 ~x15406+2097152 ~x15405+1048576 ~x15404+524288 ~x15403+262144 ~x15402+131072 ~x15401+65536 ~x15400+32768 ~x15399+16384 ~x15398+8192 ~x15397+4096 ~x15396+2048 ~x15395+1024 ~x15394+512 ~x15393+256 ~x15392+128 ~x15391+64 ~x15390+32 ~x15389+16 ~x15388+8 ~x15387+4 ~x15386+2 ~x15385+1 ~x15384+536870912 ~x15383+268435456 ~x15382+134217728 ~x15381+67108864 ~x15380+33554432 ~x15379+16777216 ~x15378+8388608 ~x15377+4194304 ~x15376+2097152 ~x15375+1048576 ~x15374+524288 ~x15373+262144 ~x15372+131072 ~x15371+65536 ~x15370+32768 ~x15369+16384 ~x15368+8192 ~x15367+4096 ~x15366+2048 ~x15365+1024 ~x15364+512 ~x15363+256 ~x15362+128 ~x15361+64 ~x15360+32 ~x15359+16 ~x15358+8 ~x15357+4 ~x15356+2 ~x15355+1 ~x15354+536870912 ~x15353+268435456 ~x15352+134217728 ~x15351+67108864 ~x15350+33554432 ~x15349+16777216 ~x15348+8388608 ~x15347+4194304 ~x15346+2097152 ~x15345+1048576 ~x15344+524288 ~x15343+262144 ~x15342+131072 ~x15341+65536 ~x15340+32768 ~x15339+16384 ~x15338+8192 ~x15337+4096 ~x15336+2048 ~x15335+1024 ~x15334+512 ~x15333+256 ~x15332+128 ~x15331+64 ~x15330+32 ~x15329+16 ~x15328+8 ~x15327+4 ~x15326+2 ~x15325+1 ~x15324+536870912 ~x15323+268435456 ~x15322+134217728 ~x15321+67108864 ~x15320+33554432 ~x15319+16777216 ~x15318+8388608 ~x15317+4194304 ~x15316+2097152 ~x15315+1048576 ~x15314+524288 ~x15313+262144 ~x15312+131072 ~x15311+65536 ~x15310+32768 ~x15309+16384 ~x15308+8192 ~x15307+4096 ~x15306+2048 ~x15305+1024 ~x15304+512 ~x15303+256 ~x15302+128 ~x15301+64 ~x15300+32 ~x15299+16 ~x15298+8 ~x15297+4 ~x15296+2 ~x15295+1 ~x15294+536870912 ~x15293+268435456 ~x15292+134217728 ~x15291+67108864 ~x15290+33554432 ~x15289+16777216 ~x15288+8388608 ~x15287+4194304 ~x15286+2097152 ~x15285+1048576 ~x15284+524288 ~x15283+262144 ~x15282+131072 ~x15281+65536 ~x15280+32768 ~x15279+16384 ~x15278+8192 ~x15277+4096 ~x15276+2048 ~x15275+1024 ~x15274+512 ~x15273+256 ~x15272+128 ~x15271+64 ~x15270+32 ~x15269+16 ~x15268+8 ~x15267+4 ~x15266+2 ~x15265+1 ~x15264-0=34359656431
62.77/62.87	s UNSATISFIABLE
Name	normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-etamacro.opb
MD5SUM	f7cd52c219cc6e0fc4b5401699d735d9
Bench Category	OPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark	UNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	2.71959
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved	YES
Best value of the objective function
Optimality of the best value was proved
Number of variables	15742
Total number of constraints	530
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	530
Minimum length of a constraint	10
Maximum length of a constraint	522
Number of terms in the objective function	1442
Biggest coefficient in the objective function	25807666597068800000
Number of bits for the biggest coefficient in the objective function	65
Sum of the numbers in the objective function	217111455784720206333
Number of bits of the sum of numbers in the objective function	68
Biggest number in a constraint	25807666597068800000
Number of bits of the biggest number in a constraint	65
Biggest sum of numbers in a constraint	217111455784720206333
Number of bits of the biggest sum of numbers	68
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0
Trace number 2674729

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
