4.58/4.62	c 14400 492 0 0 0 0 0 0
4.58/4.62	c 17179869184 ~x14436+8589934592 ~x14435+4294967296 ~x14434+2147483648 ~x14433+1073741824 ~x14432+536870912 ~x14431+268435456 ~x14430+134217728 ~x14429+67108864 ~x14428+33554432 ~x14427+16777216 ~x14426+8388608 ~x14425+4194304 ~x14424+2097152 ~x14423+1048576 ~x14422+524288 ~x14421+262144 ~x14420+131072 ~x14419+65536 ~x14418+32768 ~x14417+16384 ~x14416+8192 ~x14415+4096 ~x14414+2048 ~x14413+1024 ~x14412+512 ~x14411+256 ~x14410+128 ~x14409+64 ~x14408+32 ~x14407+16 ~x14406+8 ~x14405+4 ~x14404+2 ~x14403+1 ~x14402+536870912 ~x13831+268435456 ~x13830+134217728 ~x13829+67108864 ~x13828+33554432 ~x13827+16777216 ~x13826+8388608 ~x13825+4194304 ~x13824+2097152 ~x13823+1048576 ~x13822+524288 ~x13821+262144 ~x13820+131072 ~x13819+65536 ~x13818+32768 ~x13817+16384 ~x13816+8192 ~x13815+4096 ~x13814+2048 ~x13813+1024 ~x13812+512 ~x13811+256 ~x13810+128 ~x13809+64 ~x13808+32 ~x13807+16 ~x13806+8 ~x13805+4 ~x13804+2 ~x13803+1 ~x13802+536870912 ~x13471+268435456 ~x13470+134217728 ~x13469+67108864 ~x13468+33554432 ~x13467+16777216 ~x13466+8388608 ~x13465+4194304 ~x13464+2097152 ~x13463+1048576 ~x13462+524288 ~x13461+262144 ~x13460+131072 ~x13459+65536 ~x13458+32768 ~x13457+16384 ~x13456+8192 ~x13455+4096 ~x13454+2048 ~x13453+1024 ~x13452+512 ~x13451+256 ~x13450+128 ~x13449+64 ~x13448+32 ~x13447+16 ~x13446+8 ~x13445+4 ~x13444+2 ~x13443+1 ~x13442+536870912 ~x13111+268435456 ~x13110+134217728 ~x13109+67108864 ~x13108+33554432 ~x13107+16777216 ~x13106+8388608 ~x13105+4194304 ~x13104+2097152 ~x13103+1048576 ~x13102+524288 ~x13101+262144 ~x13100+131072 ~x13099+65536 ~x13098+32768 ~x13097+16384 ~x13096+8192 ~x13095+4096 ~x13094+2048 ~x13093+1024 ~x13092+512 ~x13091+256 ~x13090+128 ~x13089+64 ~x13088+32 ~x13087+16 ~x13086+8 ~x13085+4 ~x13084+2 ~x13083+1 ~x13082+536870912 ~x12751+268435456 ~x12750+134217728 ~x12749+67108864 ~x12748+33554432 ~x12747+16777216 ~x12746+8388608 ~x12745+4194304 ~x12744+2097152 ~x12743+1048576 ~x12742+524288 ~x12741+262144 ~x12740+131072 ~x12739+65536 ~x12738+32768 ~x12737+16384 ~x12736+8192 ~x12735+4096 ~x12734+2048 ~x12733+1024 ~x12732+512 ~x12731+256 ~x12730+128 ~x12729+64 ~x12728+32 ~x12727+16 ~x12726+8 ~x12725+4 ~x12724+2 ~x12723+1 ~x12722+536870912 ~x12391+268435456 ~x12390+134217728 ~x12389+67108864 ~x12388+33554432 ~x12387+16777216 ~x12386+8388608 ~x12385+4194304 ~x12384+2097152 ~x12383+1048576 ~x12382+524288 ~x12381+262144 ~x12380+131072 ~x12379+65536 ~x12378+32768 ~x12377+16384 ~x12376+8192 ~x12375+4096 ~x12374+2048 ~x12373+1024 ~x12372+512 ~x12371+256 ~x12370+128 ~x12369+64 ~x12368+32 ~x12367+16 ~x12366+8 ~x12365+4 ~x12364+2 ~x12363+1 ~x12362+536870912 ~x12031+268435456 ~x12030+134217728 ~x12029+67108864 ~x12028+33554432 ~x12027+16777216 ~x12026+8388608 ~x12025+4194304 ~x12024+2097152 ~x12023+1048576 ~x12022+524288 ~x12021+262144 ~x12020+131072 ~x12019+65536 ~x12018+32768 ~x12017+16384 ~x12016+8192 ~x12015+4096 ~x12014+2048 ~x12013+1024 ~x12012+512 ~x12011+256 ~x12010+128 ~x12009+64 ~x12008+32 ~x12007+16 ~x12006+8 ~x12005+4 ~x12004+2 ~x12003+1 ~x12002+536870912 ~x11671+268435456 ~x11670+134217728 ~x11669+67108864 ~x11668+33554432 ~x11667+16777216 ~x11666+8388608 ~x11665+4194304 ~x11664+2097152 ~x11663+1048576 ~x11662+524288 ~x11661+262144 ~x11660+131072 ~x11659+65536 ~x11658+32768 ~x11657+16384 ~x11656+8192 ~x11655+4096 ~x11654+2048 ~x11653+1024 ~x11652+512 ~x11651+256 ~x11650+128 ~x11649+64 ~x11648+32 ~x11647+16 ~x11646+8 ~x11645+4 ~x11644+2 ~x11643+1 ~x11642+536870912 ~x11311+268435456 ~x11310+134217728 ~x11309+67108864 ~x11308+33554432 ~x11307+16777216 ~x11306+8388608 ~x11305+4194304 ~x11304+2097152 ~x11303+1048576 ~x11302+524288 ~x11301+262144 ~x11300+131072 ~x11299+65536 ~x11298+32768 ~x11297+16384 ~x11296+8192 ~x11295+4096 ~x11294+2048 ~x11293+1024 ~x11292+512 ~x11291+256 ~x11290+128 ~x11289+64 ~x11288+32 ~x11287+16 ~x11286+8 ~x11285+4 ~x11284+2 ~x11283+1 ~x11282+536870912 ~x10951+268435456 ~x10950+134217728 ~x10949+67108864 ~x10948+33554432 ~x10947+16777216 ~x10946+8388608 ~x10945+4194304 ~x10944+2097152 ~x10943+1048576 ~x10942+524288 ~x10941+262144 ~x10940+131072 ~x10939+65536 ~x10938+32768 ~x10937+16384 ~x10936+8192 ~x10935+4096 ~x10934+2048 ~x10933+1024 ~x10932+512 ~x10931+256 ~x10930+128 ~x10929+64 ~x10928+32 ~x10927+16 ~x10926+8 ~x10925+4 ~x10924+2 ~x10923+1 ~x10922+536870912 ~x10591+268435456 ~x10590+134217728 ~x10589+67108864 ~x10588+33554432 ~x10587+16777216 ~x10586+8388608 ~x10585+4194304 ~x10584+2097152 ~x10583+1048576 ~x10582+524288 ~x10581+262144 ~x10580+131072 ~x10579+65536 ~x10578+32768 ~x10577+16384 ~x10576+8192 ~x10575+4096 ~x10574+2048 ~x10573+1024 ~x10572+512 ~x10571+256 ~x10570+128 ~x10569+64 ~x10568+32 ~x10567+16 ~x10566+8 ~x10565+4 ~x10564+2 ~x10563+1 ~x10562+536870912 ~x10231+268435456 ~x10230+134217728 ~x10229+67108864 ~x10228+33554432 ~x10227+16777216 ~x10226+8388608 ~x10225+4194304 ~x10224+2097152 ~x10223+1048576 ~x10222+524288 ~x10221+262144 ~x10220+131072 ~x10219+65536 ~x10218+32768 ~x10217+16384 ~x10216+8192 ~x10215+4096 ~x10214+2048 ~x10213+1024 ~x10212+512 ~x10211+256 ~x10210+128 ~x10209+64 ~x10208+32 ~x10207+16 ~x10206+8 ~x10205+4 ~x10204+2 ~x10203+1 ~x10202+536870912 ~x9871+268435456 ~x9870+134217728 ~x9869+67108864 ~x9868+33554432 ~x9867+16777216 ~x9866+8388608 ~x9865+4194304 ~x9864+2097152 ~x9863+1048576 ~x9862+524288 ~x9861+262144 ~x9860+131072 ~x9859+65536 ~x9858+32768 ~x9857+16384 ~x9856+8192 ~x9855+4096 ~x9854+2048 ~x9853+1024 ~x9852+512 ~x9851+256 ~x9850+128 ~x9849+64 ~x9848+32 ~x9847+16 ~x9846+8 ~x9845+4 ~x9844+2 ~x9843+1 ~x9842+536870912 ~x9511+268435456 ~x9510+134217728 ~x9509+67108864 ~x9508+33554432 ~x9507+16777216 ~x9506+8388608 ~x9505+4194304 ~x9504+2097152 ~x9503+1048576 ~x9502+524288 ~x9501+262144 ~x9500+131072 ~x9499+65536 ~x9498+32768 ~x9497+16384 ~x9496+8192 ~x9495+4096 ~x9494+2048 ~x9493+1024 ~x9492+512 ~x9491+256 ~x9490+128 ~x9489+64 ~x9488+32 ~x9487+16 ~x9486+8 ~x9485+4 ~x9484+2 ~x9483+1 ~x9482+536870912 ~x9151+268435456 ~x9150+134217728 ~x9149+67108864 ~x9148+33554432 ~x9147+16777216 ~x9146+8388608 ~x9145+4194304 ~x9144+2097152 ~x9143+1048576 ~x9142+524288 ~x9141+262144 ~x9140+131072 ~x9139+65536 ~x9138+32768 ~x9137+16384 ~x9136+8192 ~x9135+4096 ~x9134+2048 ~x9133+1024 ~x9132+512 ~x9131+256 ~x9130+128 ~x9129+64 ~x9128+32 ~x9127+16 ~x9126+8 ~x9125+4 ~x9124+2 ~x9123+1 ~x9122+536870912 ~x8791+268435456 ~x8790+134217728 ~x8789+67108864 ~x8788+33554432 ~x8787+16777216 ~x8786+8388608 ~x8785+4194304 ~x8784+2097152 ~x8783+1048576 ~x8782+524288 ~x8781+262144 ~x8780+131072 ~x8779+65536 ~x8778+32768 ~x8777+16384 ~x8776+8192 ~x8775+4096 ~x8774+2048 ~x8773+1024 ~x8772+512 ~x8771+256 ~x8770+128 ~x8769+64 ~x8768+32 ~x8767+16 ~x8766+8 ~x8765+4 ~x8764+2 ~x8763+1 ~x8762+536870912 ~x8431+268435456 ~x8430+134217728 ~x8429+67108864 ~x8428+33554432 ~x8427+16777216 ~x8426+8388608 ~x8425+4194304 ~x8424+2097152 ~x8423+1048576 ~x8422+524288 ~x8421+262144 ~x8420+131072 ~x8419+65536 ~x8418+32768 ~x8417+16384 ~x8416+8192 ~x8415+4096 ~x8414+2048 ~x8413+1024 ~x8412+512 ~x8411+256 ~x8410+128 ~x8409+64 ~x8408+32 ~x8407+16 ~x8406+8 ~x8405+4 ~x8404+2 ~x8403+1 ~x8402+536870912 ~x8071+268435456 ~x8070+134217728 ~x8069+67108864 ~x8068+33554432 ~x8067+16777216 ~x8066+8388608 ~x8065+4194304 ~x8064+2097152 ~x8063+1048576 ~x8062+524288 ~x8061+262144 ~x8060+131072 ~x8059+65536 ~x8058+32768 ~x8057+16384 ~x8056+8192 ~x8055+4096 ~x8054+2048 ~x8053+1024 ~x8052+512 ~x8051+256 ~x8050+128 ~x8049+64 ~x8048+32 ~x8047+16 ~x8046+8 ~x8045+4 ~x8044+2 ~x8043+1 ~x8042+536870912 ~x7711+268435456 ~x7710+134217728 ~x7709+67108864 ~x7708+33554432 ~x7707+16777216 ~x7706+8388608 ~x7705+4194304 ~x7704+2097152 ~x7703+1048576 ~x7702+524288 ~x7701+262144 ~x7700+131072 ~x7699+65536 ~x7698+32768 ~x7697+16384 ~x7696+8192 ~x7695+4096 ~x7694+2048 ~x7693+1024 ~x7692+512 ~x7691+256 ~x7690+128 ~x7689+64 ~x7688+32 ~x7687+16 ~x7686+8 ~x7685+4 ~x7684+2 ~x7683+1 ~x7682+536870912 ~x7351+268435456 ~x7350+134217728 ~x7349+67108864 ~x7348+33554432 ~x7347+16777216 ~x7346+8388608 ~x7345+4194304 ~x7344+2097152 ~x7343+1048576 ~x7342+524288 ~x7341+262144 ~x7340+131072 ~x7339+65536 ~x7338+32768 ~x7337+16384 ~x7336+8192 ~x7335+4096 ~x7334+2048 ~x7333+1024 ~x7332+512 ~x7331+256 ~x7330+128 ~x7329+64 ~x7328+32 ~x7327+16 ~x7326+8 ~x7325+4 ~x7324+2 ~x7323+1 ~x7322+536870912 ~x6991+268435456 ~x6990+134217728 ~x6989+67108864 ~x6988+33554432 ~x6987+16777216 ~x6986+8388608 ~x6985+4194304 ~x6984+2097152 ~x6983+1048576 ~x6982+524288 ~x6981+262144 ~x6980+131072 ~x6979+65536 ~x6978+32768 ~x6977+16384 ~x6976+8192 ~x6975+4096 ~x6974+2048 ~x6973+1024 ~x6972+512 ~x6971+256 ~x6970+128 ~x6969+64 ~x6968+32 ~x6967+16 ~x6966+8 ~x6965+4 ~x6964+2 ~x6963+1 ~x6962+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+8192 x15+4096 x14+2048 x13+1024 x12+512 x11+256 x10+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=55833385963
11.58/11.67	c 17179869184 ~x326328+8589934592 ~x326327+4294967296 ~x326326+2147483648 ~x326325+1073741824 ~x326324+536870912 ~x326323+268435456 ~x326322+134217728 ~x326321+67108864 ~x326320+33554432 ~x326319+16777216 ~x326318+8388608 ~x326317+4194304 ~x326316+2097152 ~x326315+1048576 ~x326314+524288 ~x326313+262144 ~x326312+131072 ~x326311+65536 ~x326310+32768 ~x326309+16384 ~x326308+8192 ~x326307+4096 ~x326306+2048 ~x326305+1024 ~x326304+512 ~x326303+256 ~x326302+128 ~x326301+64 ~x326300+32 ~x326299+16 ~x326298+8 ~x326297+4 ~x326296+2 ~x326295+1 ~x326294+536870912 ~x13861+268435456 ~x13860+134217728 ~x13859+67108864 ~x13858+33554432 ~x13857+16777216 ~x13856+8388608 ~x13855+4194304 ~x13854+2097152 ~x13853+1048576 ~x13852+524288 ~x13851+262144 ~x13850+131072 ~x13849+65536 ~x13848+32768 ~x13847+16384 ~x13846+8192 ~x13845+4096 ~x13844+2048 ~x13843+1024 ~x13842+512 ~x13841+256 ~x13840+128 ~x13839+64 ~x13838+32 ~x13837+16 ~x13836+8 ~x13835+4 ~x13834+2 ~x13833+1 ~x13832+536870912 ~x13501+268435456 ~x13500+134217728 ~x13499+67108864 ~x13498+33554432 ~x13497+16777216 ~x13496+8388608 ~x13495+4194304 ~x13494+2097152 ~x13493+1048576 ~x13492+524288 ~x13491+262144 ~x13490+131072 ~x13489+65536 ~x13488+32768 ~x13487+16384 ~x13486+8192 ~x13485+4096 ~x13484+2048 ~x13483+1024 ~x13482+512 ~x13481+256 ~x13480+128 ~x13479+64 ~x13478+32 ~x13477+16 ~x13476+8 ~x13475+4 ~x13474+2 ~x13473+1 ~x13472+536870912 ~x13141+268435456 ~x13140+134217728 ~x13139+67108864 ~x13138+33554432 ~x13137+16777216 ~x13136+8388608 ~x13135+4194304 ~x13134+2097152 ~x13133+1048576 ~x13132+524288 ~x13131+262144 ~x13130+131072 ~x13129+65536 ~x13128+32768 ~x13127+16384 ~x13126+8192 ~x13125+4096 ~x13124+2048 ~x13123+1024 ~x13122+512 ~x13121+256 ~x13120+128 ~x13119+64 ~x13118+32 ~x13117+16 ~x13116+8 ~x13115+4 ~x13114+2 ~x13113+1 ~x13112+536870912 ~x12781+268435456 ~x12780+134217728 ~x12779+67108864 ~x12778+33554432 ~x12777+16777216 ~x12776+8388608 ~x12775+4194304 ~x12774+2097152 ~x12773+1048576 ~x12772+524288 ~x12771+262144 ~x12770+131072 ~x12769+65536 ~x12768+32768 ~x12767+16384 ~x12766+8192 ~x12765+4096 ~x12764+2048 ~x12763+1024 ~x12762+512 ~x12761+256 ~x12760+128 ~x12759+64 ~x12758+32 ~x12757+16 ~x12756+8 ~x12755+4 ~x12754+2 ~x12753+1 ~x12752+536870912 ~x12421+268435456 ~x12420+134217728 ~x12419+67108864 ~x12418+33554432 ~x12417+16777216 ~x12416+8388608 ~x12415+4194304 ~x12414+2097152 ~x12413+1048576 ~x12412+524288 ~x12411+262144 ~x12410+131072 ~x12409+65536 ~x12408+32768 ~x12407+16384 ~x12406+8192 ~x12405+4096 ~x12404+2048 ~x12403+1024 ~x12402+512 ~x12401+256 ~x12400+128 ~x12399+64 ~x12398+32 ~x12397+16 ~x12396+8 ~x12395+4 ~x12394+2 ~x12393+1 ~x12392+536870912 ~x12061+268435456 ~x12060+134217728 ~x12059+67108864 ~x12058+33554432 ~x12057+16777216 ~x12056+8388608 ~x12055+4194304 ~x12054+2097152 ~x12053+1048576 ~x12052+524288 ~x12051+262144 ~x12050+131072 ~x12049+65536 ~x12048+32768 ~x12047+16384 ~x12046+8192 ~x12045+4096 ~x12044+2048 ~x12043+1024 ~x12042+512 ~x12041+256 ~x12040+128 ~x12039+64 ~x12038+32 ~x12037+16 ~x12036+8 ~x12035+4 ~x12034+2 ~x12033+1 ~x12032+536870912 ~x11701+268435456 ~x11700+134217728 ~x11699+67108864 ~x11698+33554432 ~x11697+16777216 ~x11696+8388608 ~x11695+4194304 ~x11694+2097152 ~x11693+1048576 ~x11692+524288 ~x11691+262144 ~x11690+131072 ~x11689+65536 ~x11688+32768 ~x11687+16384 ~x11686+8192 ~x11685+4096 ~x11684+2048 ~x11683+1024 ~x11682+512 ~x11681+256 ~x11680+128 ~x11679+64 ~x11678+32 ~x11677+16 ~x11676+8 ~x11675+4 ~x11674+2 ~x11673+1 ~x11672+536870912 ~x11341+268435456 ~x11340+134217728 ~x11339+67108864 ~x11338+33554432 ~x11337+16777216 ~x11336+8388608 ~x11335+4194304 ~x11334+2097152 ~x11333+1048576 ~x11332+524288 ~x11331+262144 ~x11330+131072 ~x11329+65536 ~x11328+32768 ~x11327+16384 ~x11326+8192 ~x11325+4096 ~x11324+2048 ~x11323+1024 ~x11322+512 ~x11321+256 ~x11320+128 ~x11319+64 ~x11318+32 ~x11317+16 ~x11316+8 ~x11315+4 ~x11314+2 ~x11313+1 ~x11312+536870912 ~x10981+268435456 ~x10980+134217728 ~x10979+67108864 ~x10978+33554432 ~x10977+16777216 ~x10976+8388608 ~x10975+4194304 ~x10974+2097152 ~x10973+1048576 ~x10972+524288 ~x10971+262144 ~x10970+131072 ~x10969+65536 ~x10968+32768 ~x10967+16384 ~x10966+8192 ~x10965+4096 ~x10964+2048 ~x10963+1024 ~x10962+512 ~x10961+256 ~x10960+128 ~x10959+64 ~x10958+32 ~x10957+16 ~x10956+8 ~x10955+4 ~x10954+2 ~x10953+1 ~x10952+536870912 ~x10621+268435456 ~x10620+134217728 ~x10619+67108864 ~x10618+33554432 ~x10617+16777216 ~x10616+8388608 ~x10615+4194304 ~x10614+2097152 ~x10613+1048576 ~x10612+524288 ~x10611+262144 ~x10610+131072 ~x10609+65536 ~x10608+32768 ~x10607+16384 ~x10606+8192 ~x10605+4096 ~x10604+2048 ~x10603+1024 ~x10602+512 ~x10601+256 ~x10600+128 ~x10599+64 ~x10598+32 ~x10597+16 ~x10596+8 ~x10595+4 ~x10594+2 ~x10593+1 ~x10592+536870912 ~x10261+268435456 ~x10260+134217728 ~x10259+67108864 ~x10258+33554432 ~x10257+16777216 ~x10256+8388608 ~x10255+4194304 ~x10254+2097152 ~x10253+1048576 ~x10252+524288 ~x10251+262144 ~x10250+131072 ~x10249+65536 ~x10248+32768 ~x10247+16384 ~x10246+8192 ~x10245+4096 ~x10244+2048 ~x10243+1024 ~x10242+512 ~x10241+256 ~x10240+128 ~x10239+64 ~x10238+32 ~x10237+16 ~x10236+8 ~x10235+4 ~x10234+2 ~x10233+1 ~x10232+536870912 ~x9901+268435456 ~x9900+134217728 ~x9899+67108864 ~x9898+33554432 ~x9897+16777216 ~x9896+8388608 ~x9895+4194304 ~x9894+2097152 ~x9893+1048576 ~x9892+524288 ~x9891+262144 ~x9890+131072 ~x9889+65536 ~x9888+32768 ~x9887+16384 ~x9886+8192 ~x9885+4096 ~x9884+2048 ~x9883+1024 ~x9882+512 ~x9881+256 ~x9880+128 ~x9879+64 ~x9878+32 ~x9877+16 ~x9876+8 ~x9875+4 ~x9874+2 ~x9873+1 ~x9872+536870912 ~x9541+268435456 ~x9540+134217728 ~x9539+67108864 ~x9538+33554432 ~x9537+16777216 ~x9536+8388608 ~x9535+4194304 ~x9534+2097152 ~x9533+1048576 ~x9532+524288 ~x9531+262144 ~x9530+131072 ~x9529+65536 ~x9528+32768 ~x9527+16384 ~x9526+8192 ~x9525+4096 ~x9524+2048 ~x9523+1024 ~x9522+512 ~x9521+256 ~x9520+128 ~x9519+64 ~x9518+32 ~x9517+16 ~x9516+8 ~x9515+4 ~x9514+2 ~x9513+1 ~x9512+536870912 ~x9181+268435456 ~x9180+134217728 ~x9179+67108864 ~x9178+33554432 ~x9177+16777216 ~x9176+8388608 ~x9175+4194304 ~x9174+2097152 ~x9173+1048576 ~x9172+524288 ~x9171+262144 ~x9170+131072 ~x9169+65536 ~x9168+32768 ~x9167+16384 ~x9166+8192 ~x9165+4096 ~x9164+2048 ~x9163+1024 ~x9162+512 ~x9161+256 ~x9160+128 ~x9159+64 ~x9158+32 ~x9157+16 ~x9156+8 ~x9155+4 ~x9154+2 ~x9153+1 ~x9152+536870912 ~x8821+268435456 ~x8820+134217728 ~x8819+67108864 ~x8818+33554432 ~x8817+16777216 ~x8816+8388608 ~x8815+4194304 ~x8814+2097152 ~x8813+1048576 ~x8812+524288 ~x8811+262144 ~x8810+131072 ~x8809+65536 ~x8808+32768 ~x8807+16384 ~x8806+8192 ~x8805+4096 ~x8804+2048 ~x8803+1024 ~x8802+512 ~x8801+256 ~x8800+128 ~x8799+64 ~x8798+32 ~x8797+16 ~x8796+8 ~x8795+4 ~x8794+2 ~x8793+1 ~x8792+536870912 ~x8461+268435456 ~x8460+134217728 ~x8459+67108864 ~x8458+33554432 ~x8457+16777216 ~x8456+8388608 ~x8455+4194304 ~x8454+2097152 ~x8453+1048576 ~x8452+524288 ~x8451+262144 ~x8450+131072 ~x8449+65536 ~x8448+32768 ~x8447+16384 ~x8446+8192 ~x8445+4096 ~x8444+2048 ~x8443+1024 ~x8442+512 ~x8441+256 ~x8440+128 ~x8439+64 ~x8438+32 ~x8437+16 ~x8436+8 ~x8435+4 ~x8434+2 ~x8433+1 ~x8432+536870912 ~x8101+268435456 ~x8100+134217728 ~x8099+67108864 ~x8098+33554432 ~x8097+16777216 ~x8096+8388608 ~x8095+4194304 ~x8094+2097152 ~x8093+1048576 ~x8092+524288 ~x8091+262144 ~x8090+131072 ~x8089+65536 ~x8088+32768 ~x8087+16384 ~x8086+8192 ~x8085+4096 ~x8084+2048 ~x8083+1024 ~x8082+512 ~x8081+256 ~x8080+128 ~x8079+64 ~x8078+32 ~x8077+16 ~x8076+8 ~x8075+4 ~x8074+2 ~x8073+1 ~x8072+536870912 ~x7741+268435456 ~x7740+134217728 ~x7739+67108864 ~x7738+33554432 ~x7737+16777216 ~x7736+8388608 ~x7735+4194304 ~x7734+2097152 ~x7733+1048576 ~x7732+524288 ~x7731+262144 ~x7730+131072 ~x7729+65536 ~x7728+32768 ~x7727+16384 ~x7726+8192 ~x7725+4096 ~x7724+2048 ~x7723+1024 ~x7722+512 ~x7721+256 ~x7720+128 ~x7719+64 ~x7718+32 ~x7717+16 ~x7716+8 ~x7715+4 ~x7714+2 ~x7713+1 ~x7712+536870912 ~x7381+268435456 ~x7380+134217728 ~x7379+67108864 ~x7378+33554432 ~x7377+16777216 ~x7376+8388608 ~x7375+4194304 ~x7374+2097152 ~x7373+1048576 ~x7372+524288 ~x7371+262144 ~x7370+131072 ~x7369+65536 ~x7368+32768 ~x7367+16384 ~x7366+8192 ~x7365+4096 ~x7364+2048 ~x7363+1024 ~x7362+512 ~x7361+256 ~x7360+128 ~x7359+64 ~x7358+32 ~x7357+16 ~x7356+8 ~x7355+4 ~x7354+2 ~x7353+1 ~x7352+536870912 ~x7021+268435456 ~x7020+134217728 ~x7019+67108864 ~x7018+33554432 ~x7017+16777216 ~x7016+8388608 ~x7015+4194304 ~x7014+2097152 ~x7013+1048576 ~x7012+524288 ~x7011+262144 ~x7010+131072 ~x7009+65536 ~x7008+32768 ~x7007+16384 ~x7006+8192 ~x7005+4096 ~x7004+2048 ~x7003+1024 ~x7002+512 ~x7001+256 ~x7000+128 ~x6999+64 ~x6998+32 ~x6997+16 ~x6996+8 ~x6995+4 ~x6994+2 ~x6993+1 ~x6992+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=55833385963
18.68/18.75	c 17179869184 ~x638220+8589934592 ~x638219+4294967296 ~x638218+2147483648 ~x638217+1073741824 ~x638216+536870912 ~x638215+268435456 ~x638214+134217728 ~x638213+67108864 ~x638212+33554432 ~x638211+16777216 ~x638210+8388608 ~x638209+4194304 ~x638208+2097152 ~x638207+1048576 ~x638206+524288 ~x638205+262144 ~x638204+131072 ~x638203+65536 ~x638202+32768 ~x638201+16384 ~x638200+8192 ~x638199+4096 ~x638198+2048 ~x638197+1024 ~x638196+512 ~x638195+256 ~x638194+128 ~x638193+64 ~x638192+32 ~x638191+16 ~x638190+8 ~x638189+4 ~x638188+2 ~x638187+1 ~x638186+536870912 ~x13891+268435456 ~x13890+134217728 ~x13889+67108864 ~x13888+33554432 ~x13887+16777216 ~x13886+8388608 ~x13885+4194304 ~x13884+2097152 ~x13883+1048576 ~x13882+524288 ~x13881+262144 ~x13880+131072 ~x13879+65536 ~x13878+32768 ~x13877+16384 ~x13876+8192 ~x13875+4096 ~x13874+2048 ~x13873+1024 ~x13872+512 ~x13871+256 ~x13870+128 ~x13869+64 ~x13868+32 ~x13867+16 ~x13866+8 ~x13865+4 ~x13864+2 ~x13863+1 ~x13862+536870912 ~x13531+268435456 ~x13530+134217728 ~x13529+67108864 ~x13528+33554432 ~x13527+16777216 ~x13526+8388608 ~x13525+4194304 ~x13524+2097152 ~x13523+1048576 ~x13522+524288 ~x13521+262144 ~x13520+131072 ~x13519+65536 ~x13518+32768 ~x13517+16384 ~x13516+8192 ~x13515+4096 ~x13514+2048 ~x13513+1024 ~x13512+512 ~x13511+256 ~x13510+128 ~x13509+64 ~x13508+32 ~x13507+16 ~x13506+8 ~x13505+4 ~x13504+2 ~x13503+1 ~x13502+536870912 ~x13171+268435456 ~x13170+134217728 ~x13169+67108864 ~x13168+33554432 ~x13167+16777216 ~x13166+8388608 ~x13165+4194304 ~x13164+2097152 ~x13163+1048576 ~x13162+524288 ~x13161+262144 ~x13160+131072 ~x13159+65536 ~x13158+32768 ~x13157+16384 ~x13156+8192 ~x13155+4096 ~x13154+2048 ~x13153+1024 ~x13152+512 ~x13151+256 ~x13150+128 ~x13149+64 ~x13148+32 ~x13147+16 ~x13146+8 ~x13145+4 ~x13144+2 ~x13143+1 ~x13142+536870912 ~x12811+268435456 ~x12810+134217728 ~x12809+67108864 ~x12808+33554432 ~x12807+16777216 ~x12806+8388608 ~x12805+4194304 ~x12804+2097152 ~x12803+1048576 ~x12802+524288 ~x12801+262144 ~x12800+131072 ~x12799+65536 ~x12798+32768 ~x12797+16384 ~x12796+8192 ~x12795+4096 ~x12794+2048 ~x12793+1024 ~x12792+512 ~x12791+256 ~x12790+128 ~x12789+64 ~x12788+32 ~x12787+16 ~x12786+8 ~x12785+4 ~x12784+2 ~x12783+1 ~x12782+536870912 ~x12451+268435456 ~x12450+134217728 ~x12449+67108864 ~x12448+33554432 ~x12447+16777216 ~x12446+8388608 ~x12445+4194304 ~x12444+2097152 ~x12443+1048576 ~x12442+524288 ~x12441+262144 ~x12440+131072 ~x12439+65536 ~x12438+32768 ~x12437+16384 ~x12436+8192 ~x12435+4096 ~x12434+2048 ~x12433+1024 ~x12432+512 ~x12431+256 ~x12430+128 ~x12429+64 ~x12428+32 ~x12427+16 ~x12426+8 ~x12425+4 ~x12424+2 ~x12423+1 ~x12422+536870912 ~x12091+268435456 ~x12090+134217728 ~x12089+67108864 ~x12088+33554432 ~x12087+16777216 ~x12086+8388608 ~x12085+4194304 ~x12084+2097152 ~x12083+1048576 ~x12082+524288 ~x12081+262144 ~x12080+131072 ~x12079+65536 ~x12078+32768 ~x12077+16384 ~x12076+8192 ~x12075+4096 ~x12074+2048 ~x12073+1024 ~x12072+512 ~x12071+256 ~x12070+128 ~x12069+64 ~x12068+32 ~x12067+16 ~x12066+8 ~x12065+4 ~x12064+2 ~x12063+1 ~x12062+536870912 ~x11731+268435456 ~x11730+134217728 ~x11729+67108864 ~x11728+33554432 ~x11727+16777216 ~x11726+8388608 ~x11725+4194304 ~x11724+2097152 ~x11723+1048576 ~x11722+524288 ~x11721+262144 ~x11720+131072 ~x11719+65536 ~x11718+32768 ~x11717+16384 ~x11716+8192 ~x11715+4096 ~x11714+2048 ~x11713+1024 ~x11712+512 ~x11711+256 ~x11710+128 ~x11709+64 ~x11708+32 ~x11707+16 ~x11706+8 ~x11705+4 ~x11704+2 ~x11703+1 ~x11702+536870912 ~x11371+268435456 ~x11370+134217728 ~x11369+67108864 ~x11368+33554432 ~x11367+16777216 ~x11366+8388608 ~x11365+4194304 ~x11364+2097152 ~x11363+1048576 ~x11362+524288 ~x11361+262144 ~x11360+131072 ~x11359+65536 ~x11358+32768 ~x11357+16384 ~x11356+8192 ~x11355+4096 ~x11354+2048 ~x11353+1024 ~x11352+512 ~x11351+256 ~x11350+128 ~x11349+64 ~x11348+32 ~x11347+16 ~x11346+8 ~x11345+4 ~x11344+2 ~x11343+1 ~x11342+536870912 ~x11011+268435456 ~x11010+134217728 ~x11009+67108864 ~x11008+33554432 ~x11007+16777216 ~x11006+8388608 ~x11005+4194304 ~x11004+2097152 ~x11003+1048576 ~x11002+524288 ~x11001+262144 ~x11000+131072 ~x10999+65536 ~x10998+32768 ~x10997+16384 ~x10996+8192 ~x10995+4096 ~x10994+2048 ~x10993+1024 ~x10992+512 ~x10991+256 ~x10990+128 ~x10989+64 ~x10988+32 ~x10987+16 ~x10986+8 ~x10985+4 ~x10984+2 ~x10983+1 ~x10982+536870912 ~x10651+268435456 ~x10650+134217728 ~x10649+67108864 ~x10648+33554432 ~x10647+16777216 ~x10646+8388608 ~x10645+4194304 ~x10644+2097152 ~x10643+1048576 ~x10642+524288 ~x10641+262144 ~x10640+131072 ~x10639+65536 ~x10638+32768 ~x10637+16384 ~x10636+8192 ~x10635+4096 ~x10634+2048 ~x10633+1024 ~x10632+512 ~x10631+256 ~x10630+128 ~x10629+64 ~x10628+32 ~x10627+16 ~x10626+8 ~x10625+4 ~x10624+2 ~x10623+1 ~x10622+536870912 ~x10291+268435456 ~x10290+134217728 ~x10289+67108864 ~x10288+33554432 ~x10287+16777216 ~x10286+8388608 ~x10285+4194304 ~x10284+2097152 ~x10283+1048576 ~x10282+524288 ~x10281+262144 ~x10280+131072 ~x10279+65536 ~x10278+32768 ~x10277+16384 ~x10276+8192 ~x10275+4096 ~x10274+2048 ~x10273+1024 ~x10272+512 ~x10271+256 ~x10270+128 ~x10269+64 ~x10268+32 ~x10267+16 ~x10266+8 ~x10265+4 ~x10264+2 ~x10263+1 ~x10262+536870912 ~x9931+268435456 ~x9930+134217728 ~x9929+67108864 ~x9928+33554432 ~x9927+16777216 ~x9926+8388608 ~x9925+4194304 ~x9924+2097152 ~x9923+1048576 ~x9922+524288 ~x9921+262144 ~x9920+131072 ~x9919+65536 ~x9918+32768 ~x9917+16384 ~x9916+8192 ~x9915+4096 ~x9914+2048 ~x9913+1024 ~x9912+512 ~x9911+256 ~x9910+128 ~x9909+64 ~x9908+32 ~x9907+16 ~x9906+8 ~x9905+4 ~x9904+2 ~x9903+1 ~x9902+536870912 ~x9571+268435456 ~x9570+134217728 ~x9569+67108864 ~x9568+33554432 ~x9567+16777216 ~x9566+8388608 ~x9565+4194304 ~x9564+2097152 ~x9563+1048576 ~x9562+524288 ~x9561+262144 ~x9560+131072 ~x9559+65536 ~x9558+32768 ~x9557+16384 ~x9556+8192 ~x9555+4096 ~x9554+2048 ~x9553+1024 ~x9552+512 ~x9551+256 ~x9550+128 ~x9549+64 ~x9548+32 ~x9547+16 ~x9546+8 ~x9545+4 ~x9544+2 ~x9543+1 ~x9542+536870912 ~x9211+268435456 ~x9210+134217728 ~x9209+67108864 ~x9208+33554432 ~x9207+16777216 ~x9206+8388608 ~x9205+4194304 ~x9204+2097152 ~x9203+1048576 ~x9202+524288 ~x9201+262144 ~x9200+131072 ~x9199+65536 ~x9198+32768 ~x9197+16384 ~x9196+8192 ~x9195+4096 ~x9194+2048 ~x9193+1024 ~x9192+512 ~x9191+256 ~x9190+128 ~x9189+64 ~x9188+32 ~x9187+16 ~x9186+8 ~x9185+4 ~x9184+2 ~x9183+1 ~x9182+536870912 ~x8851+268435456 ~x8850+134217728 ~x8849+67108864 ~x8848+33554432 ~x8847+16777216 ~x8846+8388608 ~x8845+4194304 ~x8844+2097152 ~x8843+1048576 ~x8842+524288 ~x8841+262144 ~x8840+131072 ~x8839+65536 ~x8838+32768 ~x8837+16384 ~x8836+8192 ~x8835+4096 ~x8834+2048 ~x8833+1024 ~x8832+512 ~x8831+256 ~x8830+128 ~x8829+64 ~x8828+32 ~x8827+16 ~x8826+8 ~x8825+4 ~x8824+2 ~x8823+1 ~x8822+536870912 ~x8491+268435456 ~x8490+134217728 ~x8489+67108864 ~x8488+33554432 ~x8487+16777216 ~x8486+8388608 ~x8485+4194304 ~x8484+2097152 ~x8483+1048576 ~x8482+524288 ~x8481+262144 ~x8480+131072 ~x8479+65536 ~x8478+32768 ~x8477+16384 ~x8476+8192 ~x8475+4096 ~x8474+2048 ~x8473+1024 ~x8472+512 ~x8471+256 ~x8470+128 ~x8469+64 ~x8468+32 ~x8467+16 ~x8466+8 ~x8465+4 ~x8464+2 ~x8463+1 ~x8462+536870912 ~x8131+268435456 ~x8130+134217728 ~x8129+67108864 ~x8128+33554432 ~x8127+16777216 ~x8126+8388608 ~x8125+4194304 ~x8124+2097152 ~x8123+1048576 ~x8122+524288 ~x8121+262144 ~x8120+131072 ~x8119+65536 ~x8118+32768 ~x8117+16384 ~x8116+8192 ~x8115+4096 ~x8114+2048 ~x8113+1024 ~x8112+512 ~x8111+256 ~x8110+128 ~x8109+64 ~x8108+32 ~x8107+16 ~x8106+8 ~x8105+4 ~x8104+2 ~x8103+1 ~x8102+536870912 ~x7771+268435456 ~x7770+134217728 ~x7769+67108864 ~x7768+33554432 ~x7767+16777216 ~x7766+8388608 ~x7765+4194304 ~x7764+2097152 ~x7763+1048576 ~x7762+524288 ~x7761+262144 ~x7760+131072 ~x7759+65536 ~x7758+32768 ~x7757+16384 ~x7756+8192 ~x7755+4096 ~x7754+2048 ~x7753+1024 ~x7752+512 ~x7751+256 ~x7750+128 ~x7749+64 ~x7748+32 ~x7747+16 ~x7746+8 ~x7745+4 ~x7744+2 ~x7743+1 ~x7742+536870912 ~x7411+268435456 ~x7410+134217728 ~x7409+67108864 ~x7408+33554432 ~x7407+16777216 ~x7406+8388608 ~x7405+4194304 ~x7404+2097152 ~x7403+1048576 ~x7402+524288 ~x7401+262144 ~x7400+131072 ~x7399+65536 ~x7398+32768 ~x7397+16384 ~x7396+8192 ~x7395+4096 ~x7394+2048 ~x7393+1024 ~x7392+512 ~x7391+256 ~x7390+128 ~x7389+64 ~x7388+32 ~x7387+16 ~x7386+8 ~x7385+4 ~x7384+2 ~x7383+1 ~x7382+536870912 ~x7051+268435456 ~x7050+134217728 ~x7049+67108864 ~x7048+33554432 ~x7047+16777216 ~x7046+8388608 ~x7045+4194304 ~x7044+2097152 ~x7043+1048576 ~x7042+524288 ~x7041+262144 ~x7040+131072 ~x7039+65536 ~x7038+32768 ~x7037+16384 ~x7036+8192 ~x7035+4096 ~x7034+2048 ~x7033+1024 ~x7032+512 ~x7031+256 ~x7030+128 ~x7029+64 ~x7028+32 ~x7027+16 ~x7026+8 ~x7025+4 ~x7024+2 ~x7023+1 ~x7022+536870912 x91+268435456 x90+134217728 x89+67108864 x88+33554432 x87+16777216 x86+8388608 x85+4194304 x84+2097152 x83+1048576 x82+524288 x81+262144 x80+131072 x79+65536 x78+32768 x77+16384 x76+8192 x75+4096 x74+2048 x73+1024 x72+512 x71+256 x70+128 x69+64 x68+32 x67+16 x66+8 x65+4 x64+2 x63+1 x62-0=55833385963
25.78/25.82	c 17179869184 ~x950112+8589934592 ~x950111+4294967296 ~x950110+2147483648 ~x950109+1073741824 ~x950108+536870912 ~x950107+268435456 ~x950106+134217728 ~x950105+67108864 ~x950104+33554432 ~x950103+16777216 ~x950102+8388608 ~x950101+4194304 ~x950100+2097152 ~x950099+1048576 ~x950098+524288 ~x950097+262144 ~x950096+131072 ~x950095+65536 ~x950094+32768 ~x950093+16384 ~x950092+8192 ~x950091+4096 ~x950090+2048 ~x950089+1024 ~x950088+512 ~x950087+256 ~x950086+128 ~x950085+64 ~x950084+32 ~x950083+16 ~x950082+8 ~x950081+4 ~x950080+2 ~x950079+1 ~x950078+536870912 ~x13921+268435456 ~x13920+134217728 ~x13919+67108864 ~x13918+33554432 ~x13917+16777216 ~x13916+8388608 ~x13915+4194304 ~x13914+2097152 ~x13913+1048576 ~x13912+524288 ~x13911+262144 ~x13910+131072 ~x13909+65536 ~x13908+32768 ~x13907+16384 ~x13906+8192 ~x13905+4096 ~x13904+2048 ~x13903+1024 ~x13902+512 ~x13901+256 ~x13900+128 ~x13899+64 ~x13898+32 ~x13897+16 ~x13896+8 ~x13895+4 ~x13894+2 ~x13893+1 ~x13892+536870912 ~x13561+268435456 ~x13560+134217728 ~x13559+67108864 ~x13558+33554432 ~x13557+16777216 ~x13556+8388608 ~x13555+4194304 ~x13554+2097152 ~x13553+1048576 ~x13552+524288 ~x13551+262144 ~x13550+131072 ~x13549+65536 ~x13548+32768 ~x13547+16384 ~x13546+8192 ~x13545+4096 ~x13544+2048 ~x13543+1024 ~x13542+512 ~x13541+256 ~x13540+128 ~x13539+64 ~x13538+32 ~x13537+16 ~x13536+8 ~x13535+4 ~x13534+2 ~x13533+1 ~x13532+536870912 ~x13201+268435456 ~x13200+134217728 ~x13199+67108864 ~x13198+33554432 ~x13197+16777216 ~x13196+8388608 ~x13195+4194304 ~x13194+2097152 ~x13193+1048576 ~x13192+524288 ~x13191+262144 ~x13190+131072 ~x13189+65536 ~x13188+32768 ~x13187+16384 ~x13186+8192 ~x13185+4096 ~x13184+2048 ~x13183+1024 ~x13182+512 ~x13181+256 ~x13180+128 ~x13179+64 ~x13178+32 ~x13177+16 ~x13176+8 ~x13175+4 ~x13174+2 ~x13173+1 ~x13172+536870912 ~x12841+268435456 ~x12840+134217728 ~x12839+67108864 ~x12838+33554432 ~x12837+16777216 ~x12836+8388608 ~x12835+4194304 ~x12834+2097152 ~x12833+1048576 ~x12832+524288 ~x12831+262144 ~x12830+131072 ~x12829+65536 ~x12828+32768 ~x12827+16384 ~x12826+8192 ~x12825+4096 ~x12824+2048 ~x12823+1024 ~x12822+512 ~x12821+256 ~x12820+128 ~x12819+64 ~x12818+32 ~x12817+16 ~x12816+8 ~x12815+4 ~x12814+2 ~x12813+1 ~x12812+536870912 ~x12481+268435456 ~x12480+134217728 ~x12479+67108864 ~x12478+33554432 ~x12477+16777216 ~x12476+8388608 ~x12475+4194304 ~x12474+2097152 ~x12473+1048576 ~x12472+524288 ~x12471+262144 ~x12470+131072 ~x12469+65536 ~x12468+32768 ~x12467+16384 ~x12466+8192 ~x12465+4096 ~x12464+2048 ~x12463+1024 ~x12462+512 ~x12461+256 ~x12460+128 ~x12459+64 ~x12458+32 ~x12457+16 ~x12456+8 ~x12455+4 ~x12454+2 ~x12453+1 ~x12452+536870912 ~x12121+268435456 ~x12120+134217728 ~x12119+67108864 ~x12118+33554432 ~x12117+16777216 ~x12116+8388608 ~x12115+4194304 ~x12114+2097152 ~x12113+1048576 ~x12112+524288 ~x12111+262144 ~x12110+131072 ~x12109+65536 ~x12108+32768 ~x12107+16384 ~x12106+8192 ~x12105+4096 ~x12104+2048 ~x12103+1024 ~x12102+512 ~x12101+256 ~x12100+128 ~x12099+64 ~x12098+32 ~x12097+16 ~x12096+8 ~x12095+4 ~x12094+2 ~x12093+1 ~x12092+536870912 ~x11761+268435456 ~x11760+134217728 ~x11759+67108864 ~x11758+33554432 ~x11757+16777216 ~x11756+8388608 ~x11755+4194304 ~x11754+2097152 ~x11753+1048576 ~x11752+524288 ~x11751+262144 ~x11750+131072 ~x11749+65536 ~x11748+32768 ~x11747+16384 ~x11746+8192 ~x11745+4096 ~x11744+2048 ~x11743+1024 ~x11742+512 ~x11741+256 ~x11740+128 ~x11739+64 ~x11738+32 ~x11737+16 ~x11736+8 ~x11735+4 ~x11734+2 ~x11733+1 ~x11732+536870912 ~x11401+268435456 ~x11400+134217728 ~x11399+67108864 ~x11398+33554432 ~x11397+16777216 ~x11396+8388608 ~x11395+4194304 ~x11394+2097152 ~x11393+1048576 ~x11392+524288 ~x11391+262144 ~x11390+131072 ~x11389+65536 ~x11388+32768 ~x11387+16384 ~x11386+8192 ~x11385+4096 ~x11384+2048 ~x11383+1024 ~x11382+512 ~x11381+256 ~x11380+128 ~x11379+64 ~x11378+32 ~x11377+16 ~x11376+8 ~x11375+4 ~x11374+2 ~x11373+1 ~x11372+536870912 ~x11041+268435456 ~x11040+134217728 ~x11039+67108864 ~x11038+33554432 ~x11037+16777216 ~x11036+8388608 ~x11035+4194304 ~x11034+2097152 ~x11033+1048576 ~x11032+524288 ~x11031+262144 ~x11030+131072 ~x11029+65536 ~x11028+32768 ~x11027+16384 ~x11026+8192 ~x11025+4096 ~x11024+2048 ~x11023+1024 ~x11022+512 ~x11021+256 ~x11020+128 ~x11019+64 ~x11018+32 ~x11017+16 ~x11016+8 ~x11015+4 ~x11014+2 ~x11013+1 ~x11012+536870912 ~x10681+268435456 ~x10680+134217728 ~x10679+67108864 ~x10678+33554432 ~x10677+16777216 ~x10676+8388608 ~x10675+4194304 ~x10674+2097152 ~x10673+1048576 ~x10672+524288 ~x10671+262144 ~x10670+131072 ~x10669+65536 ~x10668+32768 ~x10667+16384 ~x10666+8192 ~x10665+4096 ~x10664+2048 ~x10663+1024 ~x10662+512 ~x10661+256 ~x10660+128 ~x10659+64 ~x10658+32 ~x10657+16 ~x10656+8 ~x10655+4 ~x10654+2 ~x10653+1 ~x10652+536870912 ~x10321+268435456 ~x10320+134217728 ~x10319+67108864 ~x10318+33554432 ~x10317+16777216 ~x10316+8388608 ~x10315+4194304 ~x10314+2097152 ~x10313+1048576 ~x10312+524288 ~x10311+262144 ~x10310+131072 ~x10309+65536 ~x10308+32768 ~x10307+16384 ~x10306+8192 ~x10305+4096 ~x10304+2048 ~x10303+1024 ~x10302+512 ~x10301+256 ~x10300+128 ~x10299+64 ~x10298+32 ~x10297+16 ~x10296+8 ~x10295+4 ~x10294+2 ~x10293+1 ~x10292+536870912 ~x9961+268435456 ~x9960+134217728 ~x9959+67108864 ~x9958+33554432 ~x9957+16777216 ~x9956+8388608 ~x9955+4194304 ~x9954+2097152 ~x9953+1048576 ~x9952+524288 ~x9951+262144 ~x9950+131072 ~x9949+65536 ~x9948+32768 ~x9947+16384 ~x9946+8192 ~x9945+4096 ~x9944+2048 ~x9943+1024 ~x9942+512 ~x9941+256 ~x9940+128 ~x9939+64 ~x9938+32 ~x9937+16 ~x9936+8 ~x9935+4 ~x9934+2 ~x9933+1 ~x9932+536870912 ~x9601+268435456 ~x9600+134217728 ~x9599+67108864 ~x9598+33554432 ~x9597+16777216 ~x9596+8388608 ~x9595+4194304 ~x9594+2097152 ~x9593+1048576 ~x9592+524288 ~x9591+262144 ~x9590+131072 ~x9589+65536 ~x9588+32768 ~x9587+16384 ~x9586+8192 ~x9585+4096 ~x9584+2048 ~x9583+1024 ~x9582+512 ~x9581+256 ~x9580+128 ~x9579+64 ~x9578+32 ~x9577+16 ~x9576+8 ~x9575+4 ~x9574+2 ~x9573+1 ~x9572+536870912 ~x9241+268435456 ~x9240+134217728 ~x9239+67108864 ~x9238+33554432 ~x9237+16777216 ~x9236+8388608 ~x9235+4194304 ~x9234+2097152 ~x9233+1048576 ~x9232+524288 ~x9231+262144 ~x9230+131072 ~x9229+65536 ~x9228+32768 ~x9227+16384 ~x9226+8192 ~x9225+4096 ~x9224+2048 ~x9223+1024 ~x9222+512 ~x9221+256 ~x9220+128 ~x9219+64 ~x9218+32 ~x9217+16 ~x9216+8 ~x9215+4 ~x9214+2 ~x9213+1 ~x9212+536870912 ~x8881+268435456 ~x8880+134217728 ~x8879+67108864 ~x8878+33554432 ~x8877+16777216 ~x8876+8388608 ~x8875+4194304 ~x8874+2097152 ~x8873+1048576 ~x8872+524288 ~x8871+262144 ~x8870+131072 ~x8869+65536 ~x8868+32768 ~x8867+16384 ~x8866+8192 ~x8865+4096 ~x8864+2048 ~x8863+1024 ~x8862+512 ~x8861+256 ~x8860+128 ~x8859+64 ~x8858+32 ~x8857+16 ~x8856+8 ~x8855+4 ~x8854+2 ~x8853+1 ~x8852+536870912 ~x8521+268435456 ~x8520+134217728 ~x8519+67108864 ~x8518+33554432 ~x8517+16777216 ~x8516+8388608 ~x8515+4194304 ~x8514+2097152 ~x8513+1048576 ~x8512+524288 ~x8511+262144 ~x8510+131072 ~x8509+65536 ~x8508+32768 ~x8507+16384 ~x8506+8192 ~x8505+4096 ~x8504+2048 ~x8503+1024 ~x8502+512 ~x8501+256 ~x8500+128 ~x8499+64 ~x8498+32 ~x8497+16 ~x8496+8 ~x8495+4 ~x8494+2 ~x8493+1 ~x8492+536870912 ~x8161+268435456 ~x8160+134217728 ~x8159+67108864 ~x8158+33554432 ~x8157+16777216 ~x8156+8388608 ~x8155+4194304 ~x8154+2097152 ~x8153+1048576 ~x8152+524288 ~x8151+262144 ~x8150+131072 ~x8149+65536 ~x8148+32768 ~x8147+16384 ~x8146+8192 ~x8145+4096 ~x8144+2048 ~x8143+1024 ~x8142+512 ~x8141+256 ~x8140+128 ~x8139+64 ~x8138+32 ~x8137+16 ~x8136+8 ~x8135+4 ~x8134+2 ~x8133+1 ~x8132+536870912 ~x7801+268435456 ~x7800+134217728 ~x7799+67108864 ~x7798+33554432 ~x7797+16777216 ~x7796+8388608 ~x7795+4194304 ~x7794+2097152 ~x7793+1048576 ~x7792+524288 ~x7791+262144 ~x7790+131072 ~x7789+65536 ~x7788+32768 ~x7787+16384 ~x7786+8192 ~x7785+4096 ~x7784+2048 ~x7783+1024 ~x7782+512 ~x7781+256 ~x7780+128 ~x7779+64 ~x7778+32 ~x7777+16 ~x7776+8 ~x7775+4 ~x7774+2 ~x7773+1 ~x7772+536870912 ~x7441+268435456 ~x7440+134217728 ~x7439+67108864 ~x7438+33554432 ~x7437+16777216 ~x7436+8388608 ~x7435+4194304 ~x7434+2097152 ~x7433+1048576 ~x7432+524288 ~x7431+262144 ~x7430+131072 ~x7429+65536 ~x7428+32768 ~x7427+16384 ~x7426+8192 ~x7425+4096 ~x7424+2048 ~x7423+1024 ~x7422+512 ~x7421+256 ~x7420+128 ~x7419+64 ~x7418+32 ~x7417+16 ~x7416+8 ~x7415+4 ~x7414+2 ~x7413+1 ~x7412+536870912 ~x7081+268435456 ~x7080+134217728 ~x7079+67108864 ~x7078+33554432 ~x7077+16777216 ~x7076+8388608 ~x7075+4194304 ~x7074+2097152 ~x7073+1048576 ~x7072+524288 ~x7071+262144 ~x7070+131072 ~x7069+65536 ~x7068+32768 ~x7067+16384 ~x7066+8192 ~x7065+4096 ~x7064+2048 ~x7063+1024 ~x7062+512 ~x7061+256 ~x7060+128 ~x7059+64 ~x7058+32 ~x7057+16 ~x7056+8 ~x7055+4 ~x7054+2 ~x7053+1 ~x7052+536870912 x121+268435456 x120+134217728 x119+67108864 x118+33554432 x117+16777216 x116+8388608 x115+4194304 x114+2097152 x113+1048576 x112+524288 x111+262144 x110+131072 x109+65536 x108+32768 x107+16384 x106+8192 x105+4096 x104+2048 x103+1024 x102+512 x101+256 x100+128 x99+64 x98+32 x97+16 x96+8 x95+4 x94+2 x93+1 x92-0=55833385963
32.98/33.07	c 17179869184 ~x1262004+8589934592 ~x1262003+4294967296 ~x1262002+2147483648 ~x1262001+1073741824 ~x1262000+536870912 ~x1261999+268435456 ~x1261998+134217728 ~x1261997+67108864 ~x1261996+33554432 ~x1261995+16777216 ~x1261994+8388608 ~x1261993+4194304 ~x1261992+2097152 ~x1261991+1048576 ~x1261990+524288 ~x1261989+262144 ~x1261988+131072 ~x1261987+65536 ~x1261986+32768 ~x1261985+16384 ~x1261984+8192 ~x1261983+4096 ~x1261982+2048 ~x1261981+1024 ~x1261980+512 ~x1261979+256 ~x1261978+128 ~x1261977+64 ~x1261976+32 ~x1261975+16 ~x1261974+8 ~x1261973+4 ~x1261972+2 ~x1261971+1 ~x1261970+536870912 ~x13951+268435456 ~x13950+134217728 ~x13949+67108864 ~x13948+33554432 ~x13947+16777216 ~x13946+8388608 ~x13945+4194304 ~x13944+2097152 ~x13943+1048576 ~x13942+524288 ~x13941+262144 ~x13940+131072 ~x13939+65536 ~x13938+32768 ~x13937+16384 ~x13936+8192 ~x13935+4096 ~x13934+2048 ~x13933+1024 ~x13932+512 ~x13931+256 ~x13930+128 ~x13929+64 ~x13928+32 ~x13927+16 ~x13926+8 ~x13925+4 ~x13924+2 ~x13923+1 ~x13922+536870912 ~x13591+268435456 ~x13590+134217728 ~x13589+67108864 ~x13588+33554432 ~x13587+16777216 ~x13586+8388608 ~x13585+4194304 ~x13584+2097152 ~x13583+1048576 ~x13582+524288 ~x13581+262144 ~x13580+131072 ~x13579+65536 ~x13578+32768 ~x13577+16384 ~x13576+8192 ~x13575+4096 ~x13574+2048 ~x13573+1024 ~x13572+512 ~x13571+256 ~x13570+128 ~x13569+64 ~x13568+32 ~x13567+16 ~x13566+8 ~x13565+4 ~x13564+2 ~x13563+1 ~x13562+536870912 ~x13231+268435456 ~x13230+134217728 ~x13229+67108864 ~x13228+33554432 ~x13227+16777216 ~x13226+8388608 ~x13225+4194304 ~x13224+2097152 ~x13223+1048576 ~x13222+524288 ~x13221+262144 ~x13220+131072 ~x13219+65536 ~x13218+32768 ~x13217+16384 ~x13216+8192 ~x13215+4096 ~x13214+2048 ~x13213+1024 ~x13212+512 ~x13211+256 ~x13210+128 ~x13209+64 ~x13208+32 ~x13207+16 ~x13206+8 ~x13205+4 ~x13204+2 ~x13203+1 ~x13202+536870912 ~x12871+268435456 ~x12870+134217728 ~x12869+67108864 ~x12868+33554432 ~x12867+16777216 ~x12866+8388608 ~x12865+4194304 ~x12864+2097152 ~x12863+1048576 ~x12862+524288 ~x12861+262144 ~x12860+131072 ~x12859+65536 ~x12858+32768 ~x12857+16384 ~x12856+8192 ~x12855+4096 ~x12854+2048 ~x12853+1024 ~x12852+512 ~x12851+256 ~x12850+128 ~x12849+64 ~x12848+32 ~x12847+16 ~x12846+8 ~x12845+4 ~x12844+2 ~x12843+1 ~x12842+536870912 ~x12511+268435456 ~x12510+134217728 ~x12509+67108864 ~x12508+33554432 ~x12507+16777216 ~x12506+8388608 ~x12505+4194304 ~x12504+2097152 ~x12503+1048576 ~x12502+524288 ~x12501+262144 ~x12500+131072 ~x12499+65536 ~x12498+32768 ~x12497+16384 ~x12496+8192 ~x12495+4096 ~x12494+2048 ~x12493+1024 ~x12492+512 ~x12491+256 ~x12490+128 ~x12489+64 ~x12488+32 ~x12487+16 ~x12486+8 ~x12485+4 ~x12484+2 ~x12483+1 ~x12482+536870912 ~x12151+268435456 ~x12150+134217728 ~x12149+67108864 ~x12148+33554432 ~x12147+16777216 ~x12146+8388608 ~x12145+4194304 ~x12144+2097152 ~x12143+1048576 ~x12142+524288 ~x12141+262144 ~x12140+131072 ~x12139+65536 ~x12138+32768 ~x12137+16384 ~x12136+8192 ~x12135+4096 ~x12134+2048 ~x12133+1024 ~x12132+512 ~x12131+256 ~x12130+128 ~x12129+64 ~x12128+32 ~x12127+16 ~x12126+8 ~x12125+4 ~x12124+2 ~x12123+1 ~x12122+536870912 ~x11791+268435456 ~x11790+134217728 ~x11789+67108864 ~x11788+33554432 ~x11787+16777216 ~x11786+8388608 ~x11785+4194304 ~x11784+2097152 ~x11783+1048576 ~x11782+524288 ~x11781+262144 ~x11780+131072 ~x11779+65536 ~x11778+32768 ~x11777+16384 ~x11776+8192 ~x11775+4096 ~x11774+2048 ~x11773+1024 ~x11772+512 ~x11771+256 ~x11770+128 ~x11769+64 ~x11768+32 ~x11767+16 ~x11766+8 ~x11765+4 ~x11764+2 ~x11763+1 ~x11762+536870912 ~x11431+268435456 ~x11430+134217728 ~x11429+67108864 ~x11428+33554432 ~x11427+16777216 ~x11426+8388608 ~x11425+4194304 ~x11424+2097152 ~x11423+1048576 ~x11422+524288 ~x11421+262144 ~x11420+131072 ~x11419+65536 ~x11418+32768 ~x11417+16384 ~x11416+8192 ~x11415+4096 ~x11414+2048 ~x11413+1024 ~x11412+512 ~x11411+256 ~x11410+128 ~x11409+64 ~x11408+32 ~x11407+16 ~x11406+8 ~x11405+4 ~x11404+2 ~x11403+1 ~x11402+536870912 ~x11071+268435456 ~x11070+134217728 ~x11069+67108864 ~x11068+33554432 ~x11067+16777216 ~x11066+8388608 ~x11065+4194304 ~x11064+2097152 ~x11063+1048576 ~x11062+524288 ~x11061+262144 ~x11060+131072 ~x11059+65536 ~x11058+32768 ~x11057+16384 ~x11056+8192 ~x11055+4096 ~x11054+2048 ~x11053+1024 ~x11052+512 ~x11051+256 ~x11050+128 ~x11049+64 ~x11048+32 ~x11047+16 ~x11046+8 ~x11045+4 ~x11044+2 ~x11043+1 ~x11042+536870912 ~x10711+268435456 ~x10710+134217728 ~x10709+67108864 ~x10708+33554432 ~x10707+16777216 ~x10706+8388608 ~x10705+4194304 ~x10704+2097152 ~x10703+1048576 ~x10702+524288 ~x10701+262144 ~x10700+131072 ~x10699+65536 ~x10698+32768 ~x10697+16384 ~x10696+8192 ~x10695+4096 ~x10694+2048 ~x10693+1024 ~x10692+512 ~x10691+256 ~x10690+128 ~x10689+64 ~x10688+32 ~x10687+16 ~x10686+8 ~x10685+4 ~x10684+2 ~x10683+1 ~x10682+536870912 ~x10351+268435456 ~x10350+134217728 ~x10349+67108864 ~x10348+33554432 ~x10347+16777216 ~x10346+8388608 ~x10345+4194304 ~x10344+2097152 ~x10343+1048576 ~x10342+524288 ~x10341+262144 ~x10340+131072 ~x10339+65536 ~x10338+32768 ~x10337+16384 ~x10336+8192 ~x10335+4096 ~x10334+2048 ~x10333+1024 ~x10332+512 ~x10331+256 ~x10330+128 ~x10329+64 ~x10328+32 ~x10327+16 ~x10326+8 ~x10325+4 ~x10324+2 ~x10323+1 ~x10322+536870912 ~x9991+268435456 ~x9990+134217728 ~x9989+67108864 ~x9988+33554432 ~x9987+16777216 ~x9986+8388608 ~x9985+4194304 ~x9984+2097152 ~x9983+1048576 ~x9982+524288 ~x9981+262144 ~x9980+131072 ~x9979+65536 ~x9978+32768 ~x9977+16384 ~x9976+8192 ~x9975+4096 ~x9974+2048 ~x9973+1024 ~x9972+512 ~x9971+256 ~x9970+128 ~x9969+64 ~x9968+32 ~x9967+16 ~x9966+8 ~x9965+4 ~x9964+2 ~x9963+1 ~x9962+536870912 ~x9631+268435456 ~x9630+134217728 ~x9629+67108864 ~x9628+33554432 ~x9627+16777216 ~x9626+8388608 ~x9625+4194304 ~x9624+2097152 ~x9623+1048576 ~x9622+524288 ~x9621+262144 ~x9620+131072 ~x9619+65536 ~x9618+32768 ~x9617+16384 ~x9616+8192 ~x9615+4096 ~x9614+2048 ~x9613+1024 ~x9612+512 ~x9611+256 ~x9610+128 ~x9609+64 ~x9608+32 ~x9607+16 ~x9606+8 ~x9605+4 ~x9604+2 ~x9603+1 ~x9602+536870912 ~x9271+268435456 ~x9270+134217728 ~x9269+67108864 ~x9268+33554432 ~x9267+16777216 ~x9266+8388608 ~x9265+4194304 ~x9264+2097152 ~x9263+1048576 ~x9262+524288 ~x9261+262144 ~x9260+131072 ~x9259+65536 ~x9258+32768 ~x9257+16384 ~x9256+8192 ~x9255+4096 ~x9254+2048 ~x9253+1024 ~x9252+512 ~x9251+256 ~x9250+128 ~x9249+64 ~x9248+32 ~x9247+16 ~x9246+8 ~x9245+4 ~x9244+2 ~x9243+1 ~x9242+536870912 ~x8911+268435456 ~x8910+134217728 ~x8909+67108864 ~x8908+33554432 ~x8907+16777216 ~x8906+8388608 ~x8905+4194304 ~x8904+2097152 ~x8903+1048576 ~x8902+524288 ~x8901+262144 ~x8900+131072 ~x8899+65536 ~x8898+32768 ~x8897+16384 ~x8896+8192 ~x8895+4096 ~x8894+2048 ~x8893+1024 ~x8892+512 ~x8891+256 ~x8890+128 ~x8889+64 ~x8888+32 ~x8887+16 ~x8886+8 ~x8885+4 ~x8884+2 ~x8883+1 ~x8882+536870912 ~x8551+268435456 ~x8550+134217728 ~x8549+67108864 ~x8548+33554432 ~x8547+16777216 ~x8546+8388608 ~x8545+4194304 ~x8544+2097152 ~x8543+1048576 ~x8542+524288 ~x8541+262144 ~x8540+131072 ~x8539+65536 ~x8538+32768 ~x8537+16384 ~x8536+8192 ~x8535+4096 ~x8534+2048 ~x8533+1024 ~x8532+512 ~x8531+256 ~x8530+128 ~x8529+64 ~x8528+32 ~x8527+16 ~x8526+8 ~x8525+4 ~x8524+2 ~x8523+1 ~x8522+536870912 ~x8191+268435456 ~x8190+134217728 ~x8189+67108864 ~x8188+33554432 ~x8187+16777216 ~x8186+8388608 ~x8185+4194304 ~x8184+2097152 ~x8183+1048576 ~x8182+524288 ~x8181+262144 ~x8180+131072 ~x8179+65536 ~x8178+32768 ~x8177+16384 ~x8176+8192 ~x8175+4096 ~x8174+2048 ~x8173+1024 ~x8172+512 ~x8171+256 ~x8170+128 ~x8169+64 ~x8168+32 ~x8167+16 ~x8166+8 ~x8165+4 ~x8164+2 ~x8163+1 ~x8162+536870912 ~x7831+268435456 ~x7830+134217728 ~x7829+67108864 ~x7828+33554432 ~x7827+16777216 ~x7826+8388608 ~x7825+4194304 ~x7824+2097152 ~x7823+1048576 ~x7822+524288 ~x7821+262144 ~x7820+131072 ~x7819+65536 ~x7818+32768 ~x7817+16384 ~x7816+8192 ~x7815+4096 ~x7814+2048 ~x7813+1024 ~x7812+512 ~x7811+256 ~x7810+128 ~x7809+64 ~x7808+32 ~x7807+16 ~x7806+8 ~x7805+4 ~x7804+2 ~x7803+1 ~x7802+536870912 ~x7471+268435456 ~x7470+134217728 ~x7469+67108864 ~x7468+33554432 ~x7467+16777216 ~x7466+8388608 ~x7465+4194304 ~x7464+2097152 ~x7463+1048576 ~x7462+524288 ~x7461+262144 ~x7460+131072 ~x7459+65536 ~x7458+32768 ~x7457+16384 ~x7456+8192 ~x7455+4096 ~x7454+2048 ~x7453+1024 ~x7452+512 ~x7451+256 ~x7450+128 ~x7449+64 ~x7448+32 ~x7447+16 ~x7446+8 ~x7445+4 ~x7444+2 ~x7443+1 ~x7442+536870912 ~x7111+268435456 ~x7110+134217728 ~x7109+67108864 ~x7108+33554432 ~x7107+16777216 ~x7106+8388608 ~x7105+4194304 ~x7104+2097152 ~x7103+1048576 ~x7102+524288 ~x7101+262144 ~x7100+131072 ~x7099+65536 ~x7098+32768 ~x7097+16384 ~x7096+8192 ~x7095+4096 ~x7094+2048 ~x7093+1024 ~x7092+512 ~x7091+256 ~x7090+128 ~x7089+64 ~x7088+32 ~x7087+16 ~x7086+8 ~x7085+4 ~x7084+2 ~x7083+1 ~x7082+536870912 x151+268435456 x150+134217728 x149+67108864 x148+33554432 x147+16777216 x146+8388608 x145+4194304 x144+2097152 x143+1048576 x142+524288 x141+262144 x140+131072 x139+65536 x138+32768 x137+16384 x136+8192 x135+4096 x134+2048 x133+1024 x132+512 x131+256 x130+128 x129+64 x128+32 x127+16 x126+8 x125+4 x124+2 x123+1 x122-0=55833385963
40.08/40.13	c 17179869184 ~x1573896+8589934592 ~x1573895+4294967296 ~x1573894+2147483648 ~x1573893+1073741824 ~x1573892+536870912 ~x1573891+268435456 ~x1573890+134217728 ~x1573889+67108864 ~x1573888+33554432 ~x1573887+16777216 ~x1573886+8388608 ~x1573885+4194304 ~x1573884+2097152 ~x1573883+1048576 ~x1573882+524288 ~x1573881+262144 ~x1573880+131072 ~x1573879+65536 ~x1573878+32768 ~x1573877+16384 ~x1573876+8192 ~x1573875+4096 ~x1573874+2048 ~x1573873+1024 ~x1573872+512 ~x1573871+256 ~x1573870+128 ~x1573869+64 ~x1573868+32 ~x1573867+16 ~x1573866+8 ~x1573865+4 ~x1573864+2 ~x1573863+1 ~x1573862+536870912 ~x13981+268435456 ~x13980+134217728 ~x13979+67108864 ~x13978+33554432 ~x13977+16777216 ~x13976+8388608 ~x13975+4194304 ~x13974+2097152 ~x13973+1048576 ~x13972+524288 ~x13971+262144 ~x13970+131072 ~x13969+65536 ~x13968+32768 ~x13967+16384 ~x13966+8192 ~x13965+4096 ~x13964+2048 ~x13963+1024 ~x13962+512 ~x13961+256 ~x13960+128 ~x13959+64 ~x13958+32 ~x13957+16 ~x13956+8 ~x13955+4 ~x13954+2 ~x13953+1 ~x13952+536870912 ~x13621+268435456 ~x13620+134217728 ~x13619+67108864 ~x13618+33554432 ~x13617+16777216 ~x13616+8388608 ~x13615+4194304 ~x13614+2097152 ~x13613+1048576 ~x13612+524288 ~x13611+262144 ~x13610+131072 ~x13609+65536 ~x13608+32768 ~x13607+16384 ~x13606+8192 ~x13605+4096 ~x13604+2048 ~x13603+1024 ~x13602+512 ~x13601+256 ~x13600+128 ~x13599+64 ~x13598+32 ~x13597+16 ~x13596+8 ~x13595+4 ~x13594+2 ~x13593+1 ~x13592+536870912 ~x13261+268435456 ~x13260+134217728 ~x13259+67108864 ~x13258+33554432 ~x13257+16777216 ~x13256+8388608 ~x13255+4194304 ~x13254+2097152 ~x13253+1048576 ~x13252+524288 ~x13251+262144 ~x13250+131072 ~x13249+65536 ~x13248+32768 ~x13247+16384 ~x13246+8192 ~x13245+4096 ~x13244+2048 ~x13243+1024 ~x13242+512 ~x13241+256 ~x13240+128 ~x13239+64 ~x13238+32 ~x13237+16 ~x13236+8 ~x13235+4 ~x13234+2 ~x13233+1 ~x13232+536870912 ~x12901+268435456 ~x12900+134217728 ~x12899+67108864 ~x12898+33554432 ~x12897+16777216 ~x12896+8388608 ~x12895+4194304 ~x12894+2097152 ~x12893+1048576 ~x12892+524288 ~x12891+262144 ~x12890+131072 ~x12889+65536 ~x12888+32768 ~x12887+16384 ~x12886+8192 ~x12885+4096 ~x12884+2048 ~x12883+1024 ~x12882+512 ~x12881+256 ~x12880+128 ~x12879+64 ~x12878+32 ~x12877+16 ~x12876+8 ~x12875+4 ~x12874+2 ~x12873+1 ~x12872+536870912 ~x12541+268435456 ~x12540+134217728 ~x12539+67108864 ~x12538+33554432 ~x12537+16777216 ~x12536+8388608 ~x12535+4194304 ~x12534+2097152 ~x12533+1048576 ~x12532+524288 ~x12531+262144 ~x12530+131072 ~x12529+65536 ~x12528+32768 ~x12527+16384 ~x12526+8192 ~x12525+4096 ~x12524+2048 ~x12523+1024 ~x12522+512 ~x12521+256 ~x12520+128 ~x12519+64 ~x12518+32 ~x12517+16 ~x12516+8 ~x12515+4 ~x12514+2 ~x12513+1 ~x12512+536870912 ~x12181+268435456 ~x12180+134217728 ~x12179+67108864 ~x12178+33554432 ~x12177+16777216 ~x12176+8388608 ~x12175+4194304 ~x12174+2097152 ~x12173+1048576 ~x12172+524288 ~x12171+262144 ~x12170+131072 ~x12169+65536 ~x12168+32768 ~x12167+16384 ~x12166+8192 ~x12165+4096 ~x12164+2048 ~x12163+1024 ~x12162+512 ~x12161+256 ~x12160+128 ~x12159+64 ~x12158+32 ~x12157+16 ~x12156+8 ~x12155+4 ~x12154+2 ~x12153+1 ~x12152+536870912 ~x11821+268435456 ~x11820+134217728 ~x11819+67108864 ~x11818+33554432 ~x11817+16777216 ~x11816+8388608 ~x11815+4194304 ~x11814+2097152 ~x11813+1048576 ~x11812+524288 ~x11811+262144 ~x11810+131072 ~x11809+65536 ~x11808+32768 ~x11807+16384 ~x11806+8192 ~x11805+4096 ~x11804+2048 ~x11803+1024 ~x11802+512 ~x11801+256 ~x11800+128 ~x11799+64 ~x11798+32 ~x11797+16 ~x11796+8 ~x11795+4 ~x11794+2 ~x11793+1 ~x11792+536870912 ~x11461+268435456 ~x11460+134217728 ~x11459+67108864 ~x11458+33554432 ~x11457+16777216 ~x11456+8388608 ~x11455+4194304 ~x11454+2097152 ~x11453+1048576 ~x11452+524288 ~x11451+262144 ~x11450+131072 ~x11449+65536 ~x11448+32768 ~x11447+16384 ~x11446+8192 ~x11445+4096 ~x11444+2048 ~x11443+1024 ~x11442+512 ~x11441+256 ~x11440+128 ~x11439+64 ~x11438+32 ~x11437+16 ~x11436+8 ~x11435+4 ~x11434+2 ~x11433+1 ~x11432+536870912 ~x11101+268435456 ~x11100+134217728 ~x11099+67108864 ~x11098+33554432 ~x11097+16777216 ~x11096+8388608 ~x11095+4194304 ~x11094+2097152 ~x11093+1048576 ~x11092+524288 ~x11091+262144 ~x11090+131072 ~x11089+65536 ~x11088+32768 ~x11087+16384 ~x11086+8192 ~x11085+4096 ~x11084+2048 ~x11083+1024 ~x11082+512 ~x11081+256 ~x11080+128 ~x11079+64 ~x11078+32 ~x11077+16 ~x11076+8 ~x11075+4 ~x11074+2 ~x11073+1 ~x11072+536870912 ~x10741+268435456 ~x10740+134217728 ~x10739+67108864 ~x10738+33554432 ~x10737+16777216 ~x10736+8388608 ~x10735+4194304 ~x10734+2097152 ~x10733+1048576 ~x10732+524288 ~x10731+262144 ~x10730+131072 ~x10729+65536 ~x10728+32768 ~x10727+16384 ~x10726+8192 ~x10725+4096 ~x10724+2048 ~x10723+1024 ~x10722+512 ~x10721+256 ~x10720+128 ~x10719+64 ~x10718+32 ~x10717+16 ~x10716+8 ~x10715+4 ~x10714+2 ~x10713+1 ~x10712+536870912 ~x10381+268435456 ~x10380+134217728 ~x10379+67108864 ~x10378+33554432 ~x10377+16777216 ~x10376+8388608 ~x10375+4194304 ~x10374+2097152 ~x10373+1048576 ~x10372+524288 ~x10371+262144 ~x10370+131072 ~x10369+65536 ~x10368+32768 ~x10367+16384 ~x10366+8192 ~x10365+4096 ~x10364+2048 ~x10363+1024 ~x10362+512 ~x10361+256 ~x10360+128 ~x10359+64 ~x10358+32 ~x10357+16 ~x10356+8 ~x10355+4 ~x10354+2 ~x10353+1 ~x10352+536870912 ~x10021+268435456 ~x10020+134217728 ~x10019+67108864 ~x10018+33554432 ~x10017+16777216 ~x10016+8388608 ~x10015+4194304 ~x10014+2097152 ~x10013+1048576 ~x10012+524288 ~x10011+262144 ~x10010+131072 ~x10009+65536 ~x10008+32768 ~x10007+16384 ~x10006+8192 ~x10005+4096 ~x10004+2048 ~x10003+1024 ~x10002+512 ~x10001+256 ~x10000+128 ~x9999+64 ~x9998+32 ~x9997+16 ~x9996+8 ~x9995+4 ~x9994+2 ~x9993+1 ~x9992+536870912 ~x9661+268435456 ~x9660+134217728 ~x9659+67108864 ~x9658+33554432 ~x9657+16777216 ~x9656+8388608 ~x9655+4194304 ~x9654+2097152 ~x9653+1048576 ~x9652+524288 ~x9651+262144 ~x9650+131072 ~x9649+65536 ~x9648+32768 ~x9647+16384 ~x9646+8192 ~x9645+4096 ~x9644+2048 ~x9643+1024 ~x9642+512 ~x9641+256 ~x9640+128 ~x9639+64 ~x9638+32 ~x9637+16 ~x9636+8 ~x9635+4 ~x9634+2 ~x9633+1 ~x9632+536870912 ~x9301+268435456 ~x9300+134217728 ~x9299+67108864 ~x9298+33554432 ~x9297+16777216 ~x9296+8388608 ~x9295+4194304 ~x9294+2097152 ~x9293+1048576 ~x9292+524288 ~x9291+262144 ~x9290+131072 ~x9289+65536 ~x9288+32768 ~x9287+16384 ~x9286+8192 ~x9285+4096 ~x9284+2048 ~x9283+1024 ~x9282+512 ~x9281+256 ~x9280+128 ~x9279+64 ~x9278+32 ~x9277+16 ~x9276+8 ~x9275+4 ~x9274+2 ~x9273+1 ~x9272+536870912 ~x8941+268435456 ~x8940+134217728 ~x8939+67108864 ~x8938+33554432 ~x8937+16777216 ~x8936+8388608 ~x8935+4194304 ~x8934+2097152 ~x8933+1048576 ~x8932+524288 ~x8931+262144 ~x8930+131072 ~x8929+65536 ~x8928+32768 ~x8927+16384 ~x8926+8192 ~x8925+4096 ~x8924+2048 ~x8923+1024 ~x8922+512 ~x8921+256 ~x8920+128 ~x8919+64 ~x8918+32 ~x8917+16 ~x8916+8 ~x8915+4 ~x8914+2 ~x8913+1 ~x8912+536870912 ~x8581+268435456 ~x8580+134217728 ~x8579+67108864 ~x8578+33554432 ~x8577+16777216 ~x8576+8388608 ~x8575+4194304 ~x8574+2097152 ~x8573+1048576 ~x8572+524288 ~x8571+262144 ~x8570+131072 ~x8569+65536 ~x8568+32768 ~x8567+16384 ~x8566+8192 ~x8565+4096 ~x8564+2048 ~x8563+1024 ~x8562+512 ~x8561+256 ~x8560+128 ~x8559+64 ~x8558+32 ~x8557+16 ~x8556+8 ~x8555+4 ~x8554+2 ~x8553+1 ~x8552+536870912 ~x8221+268435456 ~x8220+134217728 ~x8219+67108864 ~x8218+33554432 ~x8217+16777216 ~x8216+8388608 ~x8215+4194304 ~x8214+2097152 ~x8213+1048576 ~x8212+524288 ~x8211+262144 ~x8210+131072 ~x8209+65536 ~x8208+32768 ~x8207+16384 ~x8206+8192 ~x8205+4096 ~x8204+2048 ~x8203+1024 ~x8202+512 ~x8201+256 ~x8200+128 ~x8199+64 ~x8198+32 ~x8197+16 ~x8196+8 ~x8195+4 ~x8194+2 ~x8193+1 ~x8192+536870912 ~x7861+268435456 ~x7860+134217728 ~x7859+67108864 ~x7858+33554432 ~x7857+16777216 ~x7856+8388608 ~x7855+4194304 ~x7854+2097152 ~x7853+1048576 ~x7852+524288 ~x7851+262144 ~x7850+131072 ~x7849+65536 ~x7848+32768 ~x7847+16384 ~x7846+8192 ~x7845+4096 ~x7844+2048 ~x7843+1024 ~x7842+512 ~x7841+256 ~x7840+128 ~x7839+64 ~x7838+32 ~x7837+16 ~x7836+8 ~x7835+4 ~x7834+2 ~x7833+1 ~x7832+536870912 ~x7501+268435456 ~x7500+134217728 ~x7499+67108864 ~x7498+33554432 ~x7497+16777216 ~x7496+8388608 ~x7495+4194304 ~x7494+2097152 ~x7493+1048576 ~x7492+524288 ~x7491+262144 ~x7490+131072 ~x7489+65536 ~x7488+32768 ~x7487+16384 ~x7486+8192 ~x7485+4096 ~x7484+2048 ~x7483+1024 ~x7482+512 ~x7481+256 ~x7480+128 ~x7479+64 ~x7478+32 ~x7477+16 ~x7476+8 ~x7475+4 ~x7474+2 ~x7473+1 ~x7472+536870912 ~x7141+268435456 ~x7140+134217728 ~x7139+67108864 ~x7138+33554432 ~x7137+16777216 ~x7136+8388608 ~x7135+4194304 ~x7134+2097152 ~x7133+1048576 ~x7132+524288 ~x7131+262144 ~x7130+131072 ~x7129+65536 ~x7128+32768 ~x7127+16384 ~x7126+8192 ~x7125+4096 ~x7124+2048 ~x7123+1024 ~x7122+512 ~x7121+256 ~x7120+128 ~x7119+64 ~x7118+32 ~x7117+16 ~x7116+8 ~x7115+4 ~x7114+2 ~x7113+1 ~x7112+536870912 x181+268435456 x180+134217728 x179+67108864 x178+33554432 x177+16777216 x176+8388608 x175+4194304 x174+2097152 x173+1048576 x172+524288 x171+262144 x170+131072 x169+65536 x168+32768 x167+16384 x166+8192 x165+4096 x164+2048 x163+1024 x162+512 x161+256 x160+128 x159+64 x158+32 x157+16 x156+8 x155+4 x154+2 x153+1 x152-0=55833385963
47.07/47.17	c 17179869184 ~x1885788+8589934592 ~x1885787+4294967296 ~x1885786+2147483648 ~x1885785+1073741824 ~x1885784+536870912 ~x1885783+268435456 ~x1885782+134217728 ~x1885781+67108864 ~x1885780+33554432 ~x1885779+16777216 ~x1885778+8388608 ~x1885777+4194304 ~x1885776+2097152 ~x1885775+1048576 ~x1885774+524288 ~x1885773+262144 ~x1885772+131072 ~x1885771+65536 ~x1885770+32768 ~x1885769+16384 ~x1885768+8192 ~x1885767+4096 ~x1885766+2048 ~x1885765+1024 ~x1885764+512 ~x1885763+256 ~x1885762+128 ~x1885761+64 ~x1885760+32 ~x1885759+16 ~x1885758+8 ~x1885757+4 ~x1885756+2 ~x1885755+1 ~x1885754+536870912 ~x14011+268435456 ~x14010+134217728 ~x14009+67108864 ~x14008+33554432 ~x14007+16777216 ~x14006+8388608 ~x14005+4194304 ~x14004+2097152 ~x14003+1048576 ~x14002+524288 ~x14001+262144 ~x14000+131072 ~x13999+65536 ~x13998+32768 ~x13997+16384 ~x13996+8192 ~x13995+4096 ~x13994+2048 ~x13993+1024 ~x13992+512 ~x13991+256 ~x13990+128 ~x13989+64 ~x13988+32 ~x13987+16 ~x13986+8 ~x13985+4 ~x13984+2 ~x13983+1 ~x13982+536870912 ~x13651+268435456 ~x13650+134217728 ~x13649+67108864 ~x13648+33554432 ~x13647+16777216 ~x13646+8388608 ~x13645+4194304 ~x13644+2097152 ~x13643+1048576 ~x13642+524288 ~x13641+262144 ~x13640+131072 ~x13639+65536 ~x13638+32768 ~x13637+16384 ~x13636+8192 ~x13635+4096 ~x13634+2048 ~x13633+1024 ~x13632+512 ~x13631+256 ~x13630+128 ~x13629+64 ~x13628+32 ~x13627+16 ~x13626+8 ~x13625+4 ~x13624+2 ~x13623+1 ~x13622+536870912 ~x13291+268435456 ~x13290+134217728 ~x13289+67108864 ~x13288+33554432 ~x13287+16777216 ~x13286+8388608 ~x13285+4194304 ~x13284+2097152 ~x13283+1048576 ~x13282+524288 ~x13281+262144 ~x13280+131072 ~x13279+65536 ~x13278+32768 ~x13277+16384 ~x13276+8192 ~x13275+4096 ~x13274+2048 ~x13273+1024 ~x13272+512 ~x13271+256 ~x13270+128 ~x13269+64 ~x13268+32 ~x13267+16 ~x13266+8 ~x13265+4 ~x13264+2 ~x13263+1 ~x13262+536870912 ~x12931+268435456 ~x12930+134217728 ~x12929+67108864 ~x12928+33554432 ~x12927+16777216 ~x12926+8388608 ~x12925+4194304 ~x12924+2097152 ~x12923+1048576 ~x12922+524288 ~x12921+262144 ~x12920+131072 ~x12919+65536 ~x12918+32768 ~x12917+16384 ~x12916+8192 ~x12915+4096 ~x12914+2048 ~x12913+1024 ~x12912+512 ~x12911+256 ~x12910+128 ~x12909+64 ~x12908+32 ~x12907+16 ~x12906+8 ~x12905+4 ~x12904+2 ~x12903+1 ~x12902+536870912 ~x12571+268435456 ~x12570+134217728 ~x12569+67108864 ~x12568+33554432 ~x12567+16777216 ~x12566+8388608 ~x12565+4194304 ~x12564+2097152 ~x12563+1048576 ~x12562+524288 ~x12561+262144 ~x12560+131072 ~x12559+65536 ~x12558+32768 ~x12557+16384 ~x12556+8192 ~x12555+4096 ~x12554+2048 ~x12553+1024 ~x12552+512 ~x12551+256 ~x12550+128 ~x12549+64 ~x12548+32 ~x12547+16 ~x12546+8 ~x12545+4 ~x12544+2 ~x12543+1 ~x12542+536870912 ~x12211+268435456 ~x12210+134217728 ~x12209+67108864 ~x12208+33554432 ~x12207+16777216 ~x12206+8388608 ~x12205+4194304 ~x12204+2097152 ~x12203+1048576 ~x12202+524288 ~x12201+262144 ~x12200+131072 ~x12199+65536 ~x12198+32768 ~x12197+16384 ~x12196+8192 ~x12195+4096 ~x12194+2048 ~x12193+1024 ~x12192+512 ~x12191+256 ~x12190+128 ~x12189+64 ~x12188+32 ~x12187+16 ~x12186+8 ~x12185+4 ~x12184+2 ~x12183+1 ~x12182+536870912 ~x11851+268435456 ~x11850+134217728 ~x11849+67108864 ~x11848+33554432 ~x11847+16777216 ~x11846+8388608 ~x11845+4194304 ~x11844+2097152 ~x11843+1048576 ~x11842+524288 ~x11841+262144 ~x11840+131072 ~x11839+65536 ~x11838+32768 ~x11837+16384 ~x11836+8192 ~x11835+4096 ~x11834+2048 ~x11833+1024 ~x11832+512 ~x11831+256 ~x11830+128 ~x11829+64 ~x11828+32 ~x11827+16 ~x11826+8 ~x11825+4 ~x11824+2 ~x11823+1 ~x11822+536870912 ~x11491+268435456 ~x11490+134217728 ~x11489+67108864 ~x11488+33554432 ~x11487+16777216 ~x11486+8388608 ~x11485+4194304 ~x11484+2097152 ~x11483+1048576 ~x11482+524288 ~x11481+262144 ~x11480+131072 ~x11479+65536 ~x11478+32768 ~x11477+16384 ~x11476+8192 ~x11475+4096 ~x11474+2048 ~x11473+1024 ~x11472+512 ~x11471+256 ~x11470+128 ~x11469+64 ~x11468+32 ~x11467+16 ~x11466+8 ~x11465+4 ~x11464+2 ~x11463+1 ~x11462+536870912 ~x11131+268435456 ~x11130+134217728 ~x11129+67108864 ~x11128+33554432 ~x11127+16777216 ~x11126+8388608 ~x11125+4194304 ~x11124+2097152 ~x11123+1048576 ~x11122+524288 ~x11121+262144 ~x11120+131072 ~x11119+65536 ~x11118+32768 ~x11117+16384 ~x11116+8192 ~x11115+4096 ~x11114+2048 ~x11113+1024 ~x11112+512 ~x11111+256 ~x11110+128 ~x11109+64 ~x11108+32 ~x11107+16 ~x11106+8 ~x11105+4 ~x11104+2 ~x11103+1 ~x11102+536870912 ~x10771+268435456 ~x10770+134217728 ~x10769+67108864 ~x10768+33554432 ~x10767+16777216 ~x10766+8388608 ~x10765+4194304 ~x10764+2097152 ~x10763+1048576 ~x10762+524288 ~x10761+262144 ~x10760+131072 ~x10759+65536 ~x10758+32768 ~x10757+16384 ~x10756+8192 ~x10755+4096 ~x10754+2048 ~x10753+1024 ~x10752+512 ~x10751+256 ~x10750+128 ~x10749+64 ~x10748+32 ~x10747+16 ~x10746+8 ~x10745+4 ~x10744+2 ~x10743+1 ~x10742+536870912 ~x10411+268435456 ~x10410+134217728 ~x10409+67108864 ~x10408+33554432 ~x10407+16777216 ~x10406+8388608 ~x10405+4194304 ~x10404+2097152 ~x10403+1048576 ~x10402+524288 ~x10401+262144 ~x10400+131072 ~x10399+65536 ~x10398+32768 ~x10397+16384 ~x10396+8192 ~x10395+4096 ~x10394+2048 ~x10393+1024 ~x10392+512 ~x10391+256 ~x10390+128 ~x10389+64 ~x10388+32 ~x10387+16 ~x10386+8 ~x10385+4 ~x10384+2 ~x10383+1 ~x10382+536870912 ~x10051+268435456 ~x10050+134217728 ~x10049+67108864 ~x10048+33554432 ~x10047+16777216 ~x10046+8388608 ~x10045+4194304 ~x10044+2097152 ~x10043+1048576 ~x10042+524288 ~x10041+262144 ~x10040+131072 ~x10039+65536 ~x10038+32768 ~x10037+16384 ~x10036+8192 ~x10035+4096 ~x10034+2048 ~x10033+1024 ~x10032+512 ~x10031+256 ~x10030+128 ~x10029+64 ~x10028+32 ~x10027+16 ~x10026+8 ~x10025+4 ~x10024+2 ~x10023+1 ~x10022+536870912 ~x9691+268435456 ~x9690+134217728 ~x9689+67108864 ~x9688+33554432 ~x9687+16777216 ~x9686+8388608 ~x9685+4194304 ~x9684+2097152 ~x9683+1048576 ~x9682+524288 ~x9681+262144 ~x9680+131072 ~x9679+65536 ~x9678+32768 ~x9677+16384 ~x9676+8192 ~x9675+4096 ~x9674+2048 ~x9673+1024 ~x9672+512 ~x9671+256 ~x9670+128 ~x9669+64 ~x9668+32 ~x9667+16 ~x9666+8 ~x9665+4 ~x9664+2 ~x9663+1 ~x9662+536870912 ~x9331+268435456 ~x9330+134217728 ~x9329+67108864 ~x9328+33554432 ~x9327+16777216 ~x9326+8388608 ~x9325+4194304 ~x9324+2097152 ~x9323+1048576 ~x9322+524288 ~x9321+262144 ~x9320+131072 ~x9319+65536 ~x9318+32768 ~x9317+16384 ~x9316+8192 ~x9315+4096 ~x9314+2048 ~x9313+1024 ~x9312+512 ~x9311+256 ~x9310+128 ~x9309+64 ~x9308+32 ~x9307+16 ~x9306+8 ~x9305+4 ~x9304+2 ~x9303+1 ~x9302+536870912 ~x8971+268435456 ~x8970+134217728 ~x8969+67108864 ~x8968+33554432 ~x8967+16777216 ~x8966+8388608 ~x8965+4194304 ~x8964+2097152 ~x8963+1048576 ~x8962+524288 ~x8961+262144 ~x8960+131072 ~x8959+65536 ~x8958+32768 ~x8957+16384 ~x8956+8192 ~x8955+4096 ~x8954+2048 ~x8953+1024 ~x8952+512 ~x8951+256 ~x8950+128 ~x8949+64 ~x8948+32 ~x8947+16 ~x8946+8 ~x8945+4 ~x8944+2 ~x8943+1 ~x8942+536870912 ~x8611+268435456 ~x8610+134217728 ~x8609+67108864 ~x8608+33554432 ~x8607+16777216 ~x8606+8388608 ~x8605+4194304 ~x8604+2097152 ~x8603+1048576 ~x8602+524288 ~x8601+262144 ~x8600+131072 ~x8599+65536 ~x8598+32768 ~x8597+16384 ~x8596+8192 ~x8595+4096 ~x8594+2048 ~x8593+1024 ~x8592+512 ~x8591+256 ~x8590+128 ~x8589+64 ~x8588+32 ~x8587+16 ~x8586+8 ~x8585+4 ~x8584+2 ~x8583+1 ~x8582+536870912 ~x8251+268435456 ~x8250+134217728 ~x8249+67108864 ~x8248+33554432 ~x8247+16777216 ~x8246+8388608 ~x8245+4194304 ~x8244+2097152 ~x8243+1048576 ~x8242+524288 ~x8241+262144 ~x8240+131072 ~x8239+65536 ~x8238+32768 ~x8237+16384 ~x8236+8192 ~x8235+4096 ~x8234+2048 ~x8233+1024 ~x8232+512 ~x8231+256 ~x8230+128 ~x8229+64 ~x8228+32 ~x8227+16 ~x8226+8 ~x8225+4 ~x8224+2 ~x8223+1 ~x8222+536870912 ~x7891+268435456 ~x7890+134217728 ~x7889+67108864 ~x7888+33554432 ~x7887+16777216 ~x7886+8388608 ~x7885+4194304 ~x7884+2097152 ~x7883+1048576 ~x7882+524288 ~x7881+262144 ~x7880+131072 ~x7879+65536 ~x7878+32768 ~x7877+16384 ~x7876+8192 ~x7875+4096 ~x7874+2048 ~x7873+1024 ~x7872+512 ~x7871+256 ~x7870+128 ~x7869+64 ~x7868+32 ~x7867+16 ~x7866+8 ~x7865+4 ~x7864+2 ~x7863+1 ~x7862+536870912 ~x7531+268435456 ~x7530+134217728 ~x7529+67108864 ~x7528+33554432 ~x7527+16777216 ~x7526+8388608 ~x7525+4194304 ~x7524+2097152 ~x7523+1048576 ~x7522+524288 ~x7521+262144 ~x7520+131072 ~x7519+65536 ~x7518+32768 ~x7517+16384 ~x7516+8192 ~x7515+4096 ~x7514+2048 ~x7513+1024 ~x7512+512 ~x7511+256 ~x7510+128 ~x7509+64 ~x7508+32 ~x7507+16 ~x7506+8 ~x7505+4 ~x7504+2 ~x7503+1 ~x7502+536870912 ~x7171+268435456 ~x7170+134217728 ~x7169+67108864 ~x7168+33554432 ~x7167+16777216 ~x7166+8388608 ~x7165+4194304 ~x7164+2097152 ~x7163+1048576 ~x7162+524288 ~x7161+262144 ~x7160+131072 ~x7159+65536 ~x7158+32768 ~x7157+16384 ~x7156+8192 ~x7155+4096 ~x7154+2048 ~x7153+1024 ~x7152+512 ~x7151+256 ~x7150+128 ~x7149+64 ~x7148+32 ~x7147+16 ~x7146+8 ~x7145+4 ~x7144+2 ~x7143+1 ~x7142+536870912 x211+268435456 x210+134217728 x209+67108864 x208+33554432 x207+16777216 x206+8388608 x205+4194304 x204+2097152 x203+1048576 x202+524288 x201+262144 x200+131072 x199+65536 x198+32768 x197+16384 x196+8192 x195+4096 x194+2048 x193+1024 x192+512 x191+256 x190+128 x189+64 x188+32 x187+16 x186+8 x185+4 x184+2 x183+1 x182-0=55833385963
54.17/54.21	c 17179869184 ~x2197680+8589934592 ~x2197679+4294967296 ~x2197678+2147483648 ~x2197677+1073741824 ~x2197676+536870912 ~x2197675+268435456 ~x2197674+134217728 ~x2197673+67108864 ~x2197672+33554432 ~x2197671+16777216 ~x2197670+8388608 ~x2197669+4194304 ~x2197668+2097152 ~x2197667+1048576 ~x2197666+524288 ~x2197665+262144 ~x2197664+131072 ~x2197663+65536 ~x2197662+32768 ~x2197661+16384 ~x2197660+8192 ~x2197659+4096 ~x2197658+2048 ~x2197657+1024 ~x2197656+512 ~x2197655+256 ~x2197654+128 ~x2197653+64 ~x2197652+32 ~x2197651+16 ~x2197650+8 ~x2197649+4 ~x2197648+2 ~x2197647+1 ~x2197646+536870912 ~x14041+268435456 ~x14040+134217728 ~x14039+67108864 ~x14038+33554432 ~x14037+16777216 ~x14036+8388608 ~x14035+4194304 ~x14034+2097152 ~x14033+1048576 ~x14032+524288 ~x14031+262144 ~x14030+131072 ~x14029+65536 ~x14028+32768 ~x14027+16384 ~x14026+8192 ~x14025+4096 ~x14024+2048 ~x14023+1024 ~x14022+512 ~x14021+256 ~x14020+128 ~x14019+64 ~x14018+32 ~x14017+16 ~x14016+8 ~x14015+4 ~x14014+2 ~x14013+1 ~x14012+536870912 ~x13681+268435456 ~x13680+134217728 ~x13679+67108864 ~x13678+33554432 ~x13677+16777216 ~x13676+8388608 ~x13675+4194304 ~x13674+2097152 ~x13673+1048576 ~x13672+524288 ~x13671+262144 ~x13670+131072 ~x13669+65536 ~x13668+32768 ~x13667+16384 ~x13666+8192 ~x13665+4096 ~x13664+2048 ~x13663+1024 ~x13662+512 ~x13661+256 ~x13660+128 ~x13659+64 ~x13658+32 ~x13657+16 ~x13656+8 ~x13655+4 ~x13654+2 ~x13653+1 ~x13652+536870912 ~x13321+268435456 ~x13320+134217728 ~x13319+67108864 ~x13318+33554432 ~x13317+16777216 ~x13316+8388608 ~x13315+4194304 ~x13314+2097152 ~x13313+1048576 ~x13312+524288 ~x13311+262144 ~x13310+131072 ~x13309+65536 ~x13308+32768 ~x13307+16384 ~x13306+8192 ~x13305+4096 ~x13304+2048 ~x13303+1024 ~x13302+512 ~x13301+256 ~x13300+128 ~x13299+64 ~x13298+32 ~x13297+16 ~x13296+8 ~x13295+4 ~x13294+2 ~x13293+1 ~x13292+536870912 ~x12961+268435456 ~x12960+134217728 ~x12959+67108864 ~x12958+33554432 ~x12957+16777216 ~x12956+8388608 ~x12955+4194304 ~x12954+2097152 ~x12953+1048576 ~x12952+524288 ~x12951+262144 ~x12950+131072 ~x12949+65536 ~x12948+32768 ~x12947+16384 ~x12946+8192 ~x12945+4096 ~x12944+2048 ~x12943+1024 ~x12942+512 ~x12941+256 ~x12940+128 ~x12939+64 ~x12938+32 ~x12937+16 ~x12936+8 ~x12935+4 ~x12934+2 ~x12933+1 ~x12932+536870912 ~x12601+268435456 ~x12600+134217728 ~x12599+67108864 ~x12598+33554432 ~x12597+16777216 ~x12596+8388608 ~x12595+4194304 ~x12594+2097152 ~x12593+1048576 ~x12592+524288 ~x12591+262144 ~x12590+131072 ~x12589+65536 ~x12588+32768 ~x12587+16384 ~x12586+8192 ~x12585+4096 ~x12584+2048 ~x12583+1024 ~x12582+512 ~x12581+256 ~x12580+128 ~x12579+64 ~x12578+32 ~x12577+16 ~x12576+8 ~x12575+4 ~x12574+2 ~x12573+1 ~x12572+536870912 ~x12241+268435456 ~x12240+134217728 ~x12239+67108864 ~x12238+33554432 ~x12237+16777216 ~x12236+8388608 ~x12235+4194304 ~x12234+2097152 ~x12233+1048576 ~x12232+524288 ~x12231+262144 ~x12230+131072 ~x12229+65536 ~x12228+32768 ~x12227+16384 ~x12226+8192 ~x12225+4096 ~x12224+2048 ~x12223+1024 ~x12222+512 ~x12221+256 ~x12220+128 ~x12219+64 ~x12218+32 ~x12217+16 ~x12216+8 ~x12215+4 ~x12214+2 ~x12213+1 ~x12212+536870912 ~x11881+268435456 ~x11880+134217728 ~x11879+67108864 ~x11878+33554432 ~x11877+16777216 ~x11876+8388608 ~x11875+4194304 ~x11874+2097152 ~x11873+1048576 ~x11872+524288 ~x11871+262144 ~x11870+131072 ~x11869+65536 ~x11868+32768 ~x11867+16384 ~x11866+8192 ~x11865+4096 ~x11864+2048 ~x11863+1024 ~x11862+512 ~x11861+256 ~x11860+128 ~x11859+64 ~x11858+32 ~x11857+16 ~x11856+8 ~x11855+4 ~x11854+2 ~x11853+1 ~x11852+536870912 ~x11521+268435456 ~x11520+134217728 ~x11519+67108864 ~x11518+33554432 ~x11517+16777216 ~x11516+8388608 ~x11515+4194304 ~x11514+2097152 ~x11513+1048576 ~x11512+524288 ~x11511+262144 ~x11510+131072 ~x11509+65536 ~x11508+32768 ~x11507+16384 ~x11506+8192 ~x11505+4096 ~x11504+2048 ~x11503+1024 ~x11502+512 ~x11501+256 ~x11500+128 ~x11499+64 ~x11498+32 ~x11497+16 ~x11496+8 ~x11495+4 ~x11494+2 ~x11493+1 ~x11492+536870912 ~x11161+268435456 ~x11160+134217728 ~x11159+67108864 ~x11158+33554432 ~x11157+16777216 ~x11156+8388608 ~x11155+4194304 ~x11154+2097152 ~x11153+1048576 ~x11152+524288 ~x11151+262144 ~x11150+131072 ~x11149+65536 ~x11148+32768 ~x11147+16384 ~x11146+8192 ~x11145+4096 ~x11144+2048 ~x11143+1024 ~x11142+512 ~x11141+256 ~x11140+128 ~x11139+64 ~x11138+32 ~x11137+16 ~x11136+8 ~x11135+4 ~x11134+2 ~x11133+1 ~x11132+536870912 ~x10801+268435456 ~x10800+134217728 ~x10799+67108864 ~x10798+33554432 ~x10797+16777216 ~x10796+8388608 ~x10795+4194304 ~x10794+2097152 ~x10793+1048576 ~x10792+524288 ~x10791+262144 ~x10790+131072 ~x10789+65536 ~x10788+32768 ~x10787+16384 ~x10786+8192 ~x10785+4096 ~x10784+2048 ~x10783+1024 ~x10782+512 ~x10781+256 ~x10780+128 ~x10779+64 ~x10778+32 ~x10777+16 ~x10776+8 ~x10775+4 ~x10774+2 ~x10773+1 ~x10772+536870912 ~x10441+268435456 ~x10440+134217728 ~x10439+67108864 ~x10438+33554432 ~x10437+16777216 ~x10436+8388608 ~x10435+4194304 ~x10434+2097152 ~x10433+1048576 ~x10432+524288 ~x10431+262144 ~x10430+131072 ~x10429+65536 ~x10428+32768 ~x10427+16384 ~x10426+8192 ~x10425+4096 ~x10424+2048 ~x10423+1024 ~x10422+512 ~x10421+256 ~x10420+128 ~x10419+64 ~x10418+32 ~x10417+16 ~x10416+8 ~x10415+4 ~x10414+2 ~x10413+1 ~x10412+536870912 ~x10081+268435456 ~x10080+134217728 ~x10079+67108864 ~x10078+33554432 ~x10077+16777216 ~x10076+8388608 ~x10075+4194304 ~x10074+2097152 ~x10073+1048576 ~x10072+524288 ~x10071+262144 ~x10070+131072 ~x10069+65536 ~x10068+32768 ~x10067+16384 ~x10066+8192 ~x10065+4096 ~x10064+2048 ~x10063+1024 ~x10062+512 ~x10061+256 ~x10060+128 ~x10059+64 ~x10058+32 ~x10057+16 ~x10056+8 ~x10055+4 ~x10054+2 ~x10053+1 ~x10052+536870912 ~x9721+268435456 ~x9720+134217728 ~x9719+67108864 ~x9718+33554432 ~x9717+16777216 ~x9716+8388608 ~x9715+4194304 ~x9714+2097152 ~x9713+1048576 ~x9712+524288 ~x9711+262144 ~x9710+131072 ~x9709+65536 ~x9708+32768 ~x9707+16384 ~x9706+8192 ~x9705+4096 ~x9704+2048 ~x9703+1024 ~x9702+512 ~x9701+256 ~x9700+128 ~x9699+64 ~x9698+32 ~x9697+16 ~x9696+8 ~x9695+4 ~x9694+2 ~x9693+1 ~x9692+536870912 ~x9361+268435456 ~x9360+134217728 ~x9359+67108864 ~x9358+33554432 ~x9357+16777216 ~x9356+8388608 ~x9355+4194304 ~x9354+2097152 ~x9353+1048576 ~x9352+524288 ~x9351+262144 ~x9350+131072 ~x9349+65536 ~x9348+32768 ~x9347+16384 ~x9346+8192 ~x9345+4096 ~x9344+2048 ~x9343+1024 ~x9342+512 ~x9341+256 ~x9340+128 ~x9339+64 ~x9338+32 ~x9337+16 ~x9336+8 ~x9335+4 ~x9334+2 ~x9333+1 ~x9332+536870912 ~x9001+268435456 ~x9000+134217728 ~x8999+67108864 ~x8998+33554432 ~x8997+16777216 ~x8996+8388608 ~x8995+4194304 ~x8994+2097152 ~x8993+1048576 ~x8992+524288 ~x8991+262144 ~x8990+131072 ~x8989+65536 ~x8988+32768 ~x8987+16384 ~x8986+8192 ~x8985+4096 ~x8984+2048 ~x8983+1024 ~x8982+512 ~x8981+256 ~x8980+128 ~x8979+64 ~x8978+32 ~x8977+16 ~x8976+8 ~x8975+4 ~x8974+2 ~x8973+1 ~x8972+536870912 ~x8641+268435456 ~x8640+134217728 ~x8639+67108864 ~x8638+33554432 ~x8637+16777216 ~x8636+8388608 ~x8635+4194304 ~x8634+2097152 ~x8633+1048576 ~x8632+524288 ~x8631+262144 ~x8630+131072 ~x8629+65536 ~x8628+32768 ~x8627+16384 ~x8626+8192 ~x8625+4096 ~x8624+2048 ~x8623+1024 ~x8622+512 ~x8621+256 ~x8620+128 ~x8619+64 ~x8618+32 ~x8617+16 ~x8616+8 ~x8615+4 ~x8614+2 ~x8613+1 ~x8612+536870912 ~x8281+268435456 ~x8280+134217728 ~x8279+67108864 ~x8278+33554432 ~x8277+16777216 ~x8276+8388608 ~x8275+4194304 ~x8274+2097152 ~x8273+1048576 ~x8272+524288 ~x8271+262144 ~x8270+131072 ~x8269+65536 ~x8268+32768 ~x8267+16384 ~x8266+8192 ~x8265+4096 ~x8264+2048 ~x8263+1024 ~x8262+512 ~x8261+256 ~x8260+128 ~x8259+64 ~x8258+32 ~x8257+16 ~x8256+8 ~x8255+4 ~x8254+2 ~x8253+1 ~x8252+536870912 ~x7921+268435456 ~x7920+134217728 ~x7919+67108864 ~x7918+33554432 ~x7917+16777216 ~x7916+8388608 ~x7915+4194304 ~x7914+2097152 ~x7913+1048576 ~x7912+524288 ~x7911+262144 ~x7910+131072 ~x7909+65536 ~x7908+32768 ~x7907+16384 ~x7906+8192 ~x7905+4096 ~x7904+2048 ~x7903+1024 ~x7902+512 ~x7901+256 ~x7900+128 ~x7899+64 ~x7898+32 ~x7897+16 ~x7896+8 ~x7895+4 ~x7894+2 ~x7893+1 ~x7892+536870912 ~x7561+268435456 ~x7560+134217728 ~x7559+67108864 ~x7558+33554432 ~x7557+16777216 ~x7556+8388608 ~x7555+4194304 ~x7554+2097152 ~x7553+1048576 ~x7552+524288 ~x7551+262144 ~x7550+131072 ~x7549+65536 ~x7548+32768 ~x7547+16384 ~x7546+8192 ~x7545+4096 ~x7544+2048 ~x7543+1024 ~x7542+512 ~x7541+256 ~x7540+128 ~x7539+64 ~x7538+32 ~x7537+16 ~x7536+8 ~x7535+4 ~x7534+2 ~x7533+1 ~x7532+536870912 ~x7201+268435456 ~x7200+134217728 ~x7199+67108864 ~x7198+33554432 ~x7197+16777216 ~x7196+8388608 ~x7195+4194304 ~x7194+2097152 ~x7193+1048576 ~x7192+524288 ~x7191+262144 ~x7190+131072 ~x7189+65536 ~x7188+32768 ~x7187+16384 ~x7186+8192 ~x7185+4096 ~x7184+2048 ~x7183+1024 ~x7182+512 ~x7181+256 ~x7180+128 ~x7179+64 ~x7178+32 ~x7177+16 ~x7176+8 ~x7175+4 ~x7174+2 ~x7173+1 ~x7172+536870912 x241+268435456 x240+134217728 x239+67108864 x238+33554432 x237+16777216 x236+8388608 x235+4194304 x234+2097152 x233+1048576 x232+524288 x231+262144 x230+131072 x229+65536 x228+32768 x227+16384 x226+8192 x225+4096 x224+2048 x223+1024 x222+512 x221+256 x220+128 x219+64 x218+32 x217+16 x216+8 x215+4 x214+2 x213+1 x212-0=55833385963
61.17/61.30	c 17179869184 ~x2509572+8589934592 ~x2509571+4294967296 ~x2509570+2147483648 ~x2509569+1073741824 ~x2509568+536870912 ~x2509567+268435456 ~x2509566+134217728 ~x2509565+67108864 ~x2509564+33554432 ~x2509563+16777216 ~x2509562+8388608 ~x2509561+4194304 ~x2509560+2097152 ~x2509559+1048576 ~x2509558+524288 ~x2509557+262144 ~x2509556+131072 ~x2509555+65536 ~x2509554+32768 ~x2509553+16384 ~x2509552+8192 ~x2509551+4096 ~x2509550+2048 ~x2509549+1024 ~x2509548+512 ~x2509547+256 ~x2509546+128 ~x2509545+64 ~x2509544+32 ~x2509543+16 ~x2509542+8 ~x2509541+4 ~x2509540+2 ~x2509539+1 ~x2509538+536870912 ~x14071+268435456 ~x14070+134217728 ~x14069+67108864 ~x14068+33554432 ~x14067+16777216 ~x14066+8388608 ~x14065+4194304 ~x14064+2097152 ~x14063+1048576 ~x14062+524288 ~x14061+262144 ~x14060+131072 ~x14059+65536 ~x14058+32768 ~x14057+16384 ~x14056+8192 ~x14055+4096 ~x14054+2048 ~x14053+1024 ~x14052+512 ~x14051+256 ~x14050+128 ~x14049+64 ~x14048+32 ~x14047+16 ~x14046+8 ~x14045+4 ~x14044+2 ~x14043+1 ~x14042+536870912 ~x13711+268435456 ~x13710+134217728 ~x13709+67108864 ~x13708+33554432 ~x13707+16777216 ~x13706+8388608 ~x13705+4194304 ~x13704+2097152 ~x13703+1048576 ~x13702+524288 ~x13701+262144 ~x13700+131072 ~x13699+65536 ~x13698+32768 ~x13697+16384 ~x13696+8192 ~x13695+4096 ~x13694+2048 ~x13693+1024 ~x13692+512 ~x13691+256 ~x13690+128 ~x13689+64 ~x13688+32 ~x13687+16 ~x13686+8 ~x13685+4 ~x13684+2 ~x13683+1 ~x13682+536870912 ~x13351+268435456 ~x13350+134217728 ~x13349+67108864 ~x13348+33554432 ~x13347+16777216 ~x13346+8388608 ~x13345+4194304 ~x13344+2097152 ~x13343+1048576 ~x13342+524288 ~x13341+262144 ~x13340+131072 ~x13339+65536 ~x13338+32768 ~x13337+16384 ~x13336+8192 ~x13335+4096 ~x13334+2048 ~x13333+1024 ~x13332+512 ~x13331+256 ~x13330+128 ~x13329+64 ~x13328+32 ~x13327+16 ~x13326+8 ~x13325+4 ~x13324+2 ~x13323+1 ~x13322+536870912 ~x12991+268435456 ~x12990+134217728 ~x12989+67108864 ~x12988+33554432 ~x12987+16777216 ~x12986+8388608 ~x12985+4194304 ~x12984+2097152 ~x12983+1048576 ~x12982+524288 ~x12981+262144 ~x12980+131072 ~x12979+65536 ~x12978+32768 ~x12977+16384 ~x12976+8192 ~x12975+4096 ~x12974+2048 ~x12973+1024 ~x12972+512 ~x12971+256 ~x12970+128 ~x12969+64 ~x12968+32 ~x12967+16 ~x12966+8 ~x12965+4 ~x12964+2 ~x12963+1 ~x12962+536870912 ~x12631+268435456 ~x12630+134217728 ~x12629+67108864 ~x12628+33554432 ~x12627+16777216 ~x12626+8388608 ~x12625+4194304 ~x12624+2097152 ~x12623+1048576 ~x12622+524288 ~x12621+262144 ~x12620+131072 ~x12619+65536 ~x12618+32768 ~x12617+16384 ~x12616+8192 ~x12615+4096 ~x12614+2048 ~x12613+1024 ~x12612+512 ~x12611+256 ~x12610+128 ~x12609+64 ~x12608+32 ~x12607+16 ~x12606+8 ~x12605+4 ~x12604+2 ~x12603+1 ~x12602+536870912 ~x12271+268435456 ~x12270+134217728 ~x12269+67108864 ~x12268+33554432 ~x12267+16777216 ~x12266+8388608 ~x12265+4194304 ~x12264+2097152 ~x12263+1048576 ~x12262+524288 ~x12261+262144 ~x12260+131072 ~x12259+65536 ~x12258+32768 ~x12257+16384 ~x12256+8192 ~x12255+4096 ~x12254+2048 ~x12253+1024 ~x12252+512 ~x12251+256 ~x12250+128 ~x12249+64 ~x12248+32 ~x12247+16 ~x12246+8 ~x12245+4 ~x12244+2 ~x12243+1 ~x12242+536870912 ~x11911+268435456 ~x11910+134217728 ~x11909+67108864 ~x11908+33554432 ~x11907+16777216 ~x11906+8388608 ~x11905+4194304 ~x11904+2097152 ~x11903+1048576 ~x11902+524288 ~x11901+262144 ~x11900+131072 ~x11899+65536 ~x11898+32768 ~x11897+16384 ~x11896+8192 ~x11895+4096 ~x11894+2048 ~x11893+1024 ~x11892+512 ~x11891+256 ~x11890+128 ~x11889+64 ~x11888+32 ~x11887+16 ~x11886+8 ~x11885+4 ~x11884+2 ~x11883+1 ~x11882+536870912 ~x11551+268435456 ~x11550+134217728 ~x11549+67108864 ~x11548+33554432 ~x11547+16777216 ~x11546+8388608 ~x11545+4194304 ~x11544+2097152 ~x11543+1048576 ~x11542+524288 ~x11541+262144 ~x11540+131072 ~x11539+65536 ~x11538+32768 ~x11537+16384 ~x11536+8192 ~x11535+4096 ~x11534+2048 ~x11533+1024 ~x11532+512 ~x11531+256 ~x11530+128 ~x11529+64 ~x11528+32 ~x11527+16 ~x11526+8 ~x11525+4 ~x11524+2 ~x11523+1 ~x11522+536870912 ~x11191+268435456 ~x11190+134217728 ~x11189+67108864 ~x11188+33554432 ~x11187+16777216 ~x11186+8388608 ~x11185+4194304 ~x11184+2097152 ~x11183+1048576 ~x11182+524288 ~x11181+262144 ~x11180+131072 ~x11179+65536 ~x11178+32768 ~x11177+16384 ~x11176+8192 ~x11175+4096 ~x11174+2048 ~x11173+1024 ~x11172+512 ~x11171+256 ~x11170+128 ~x11169+64 ~x11168+32 ~x11167+16 ~x11166+8 ~x11165+4 ~x11164+2 ~x11163+1 ~x11162+536870912 ~x10831+268435456 ~x10830+134217728 ~x10829+67108864 ~x10828+33554432 ~x10827+16777216 ~x10826+8388608 ~x10825+4194304 ~x10824+2097152 ~x10823+1048576 ~x10822+524288 ~x10821+262144 ~x10820+131072 ~x10819+65536 ~x10818+32768 ~x10817+16384 ~x10816+8192 ~x10815+4096 ~x10814+2048 ~x10813+1024 ~x10812+512 ~x10811+256 ~x10810+128 ~x10809+64 ~x10808+32 ~x10807+16 ~x10806+8 ~x10805+4 ~x10804+2 ~x10803+1 ~x10802+536870912 ~x10471+268435456 ~x10470+134217728 ~x10469+67108864 ~x10468+33554432 ~x10467+16777216 ~x10466+8388608 ~x10465+4194304 ~x10464+2097152 ~x10463+1048576 ~x10462+524288 ~x10461+262144 ~x10460+131072 ~x10459+65536 ~x10458+32768 ~x10457+16384 ~x10456+8192 ~x10455+4096 ~x10454+2048 ~x10453+1024 ~x10452+512 ~x10451+256 ~x10450+128 ~x10449+64 ~x10448+32 ~x10447+16 ~x10446+8 ~x10445+4 ~x10444+2 ~x10443+1 ~x10442+536870912 ~x10111+268435456 ~x10110+134217728 ~x10109+67108864 ~x10108+33554432 ~x10107+16777216 ~x10106+8388608 ~x10105+4194304 ~x10104+2097152 ~x10103+1048576 ~x10102+524288 ~x10101+262144 ~x10100+131072 ~x10099+65536 ~x10098+32768 ~x10097+16384 ~x10096+8192 ~x10095+4096 ~x10094+2048 ~x10093+1024 ~x10092+512 ~x10091+256 ~x10090+128 ~x10089+64 ~x10088+32 ~x10087+16 ~x10086+8 ~x10085+4 ~x10084+2 ~x10083+1 ~x10082+536870912 ~x9751+268435456 ~x9750+134217728 ~x9749+67108864 ~x9748+33554432 ~x9747+16777216 ~x9746+8388608 ~x9745+4194304 ~x9744+2097152 ~x9743+1048576 ~x9742+524288 ~x9741+262144 ~x9740+131072 ~x9739+65536 ~x9738+32768 ~x9737+16384 ~x9736+8192 ~x9735+4096 ~x9734+2048 ~x9733+1024 ~x9732+512 ~x9731+256 ~x9730+128 ~x9729+64 ~x9728+32 ~x9727+16 ~x9726+8 ~x9725+4 ~x9724+2 ~x9723+1 ~x9722+536870912 ~x9391+268435456 ~x9390+134217728 ~x9389+67108864 ~x9388+33554432 ~x9387+16777216 ~x9386+8388608 ~x9385+4194304 ~x9384+2097152 ~x9383+1048576 ~x9382+524288 ~x9381+262144 ~x9380+131072 ~x9379+65536 ~x9378+32768 ~x9377+16384 ~x9376+8192 ~x9375+4096 ~x9374+2048 ~x9373+1024 ~x9372+512 ~x9371+256 ~x9370+128 ~x9369+64 ~x9368+32 ~x9367+16 ~x9366+8 ~x9365+4 ~x9364+2 ~x9363+1 ~x9362+536870912 ~x9031+268435456 ~x9030+134217728 ~x9029+67108864 ~x9028+33554432 ~x9027+16777216 ~x9026+8388608 ~x9025+4194304 ~x9024+2097152 ~x9023+1048576 ~x9022+524288 ~x9021+262144 ~x9020+131072 ~x9019+65536 ~x9018+32768 ~x9017+16384 ~x9016+8192 ~x9015+4096 ~x9014+2048 ~x9013+1024 ~x9012+512 ~x9011+256 ~x9010+128 ~x9009+64 ~x9008+32 ~x9007+16 ~x9006+8 ~x9005+4 ~x9004+2 ~x9003+1 ~x9002+536870912 ~x8671+268435456 ~x8670+134217728 ~x8669+67108864 ~x8668+33554432 ~x8667+16777216 ~x8666+8388608 ~x8665+4194304 ~x8664+2097152 ~x8663+1048576 ~x8662+524288 ~x8661+262144 ~x8660+131072 ~x8659+65536 ~x8658+32768 ~x8657+16384 ~x8656+8192 ~x8655+4096 ~x8654+2048 ~x8653+1024 ~x8652+512 ~x8651+256 ~x8650+128 ~x8649+64 ~x8648+32 ~x8647+16 ~x8646+8 ~x8645+4 ~x8644+2 ~x8643+1 ~x8642+536870912 ~x8311+268435456 ~x8310+134217728 ~x8309+67108864 ~x8308+33554432 ~x8307+16777216 ~x8306+8388608 ~x8305+4194304 ~x8304+2097152 ~x8303+1048576 ~x8302+524288 ~x8301+262144 ~x8300+131072 ~x8299+65536 ~x8298+32768 ~x8297+16384 ~x8296+8192 ~x8295+4096 ~x8294+2048 ~x8293+1024 ~x8292+512 ~x8291+256 ~x8290+128 ~x8289+64 ~x8288+32 ~x8287+16 ~x8286+8 ~x8285+4 ~x8284+2 ~x8283+1 ~x8282+536870912 ~x7951+268435456 ~x7950+134217728 ~x7949+67108864 ~x7948+33554432 ~x7947+16777216 ~x7946+8388608 ~x7945+4194304 ~x7944+2097152 ~x7943+1048576 ~x7942+524288 ~x7941+262144 ~x7940+131072 ~x7939+65536 ~x7938+32768 ~x7937+16384 ~x7936+8192 ~x7935+4096 ~x7934+2048 ~x7933+1024 ~x7932+512 ~x7931+256 ~x7930+128 ~x7929+64 ~x7928+32 ~x7927+16 ~x7926+8 ~x7925+4 ~x7924+2 ~x7923+1 ~x7922+536870912 ~x7591+268435456 ~x7590+134217728 ~x7589+67108864 ~x7588+33554432 ~x7587+16777216 ~x7586+8388608 ~x7585+4194304 ~x7584+2097152 ~x7583+1048576 ~x7582+524288 ~x7581+262144 ~x7580+131072 ~x7579+65536 ~x7578+32768 ~x7577+16384 ~x7576+8192 ~x7575+4096 ~x7574+2048 ~x7573+1024 ~x7572+512 ~x7571+256 ~x7570+128 ~x7569+64 ~x7568+32 ~x7567+16 ~x7566+8 ~x7565+4 ~x7564+2 ~x7563+1 ~x7562+536870912 ~x7231+268435456 ~x7230+134217728 ~x7229+67108864 ~x7228+33554432 ~x7227+16777216 ~x7226+8388608 ~x7225+4194304 ~x7224+2097152 ~x7223+1048576 ~x7222+524288 ~x7221+262144 ~x7220+131072 ~x7219+65536 ~x7218+32768 ~x7217+16384 ~x7216+8192 ~x7215+4096 ~x7214+2048 ~x7213+1024 ~x7212+512 ~x7211+256 ~x7210+128 ~x7209+64 ~x7208+32 ~x7207+16 ~x7206+8 ~x7205+4 ~x7204+2 ~x7203+1 ~x7202+536870912 x271+268435456 x270+134217728 x269+67108864 x268+33554432 x267+16777216 x266+8388608 x265+4194304 x264+2097152 x263+1048576 x262+524288 x261+262144 x260+131072 x259+65536 x258+32768 x257+16384 x256+8192 x255+4096 x254+2048 x253+1024 x252+512 x251+256 x250+128 x249+64 x248+32 x247+16 x246+8 x245+4 x244+2 x243+1 x242-0=55833385963
68.27/68.33	c 17179869184 ~x2821464+8589934592 ~x2821463+4294967296 ~x2821462+2147483648 ~x2821461+1073741824 ~x2821460+536870912 ~x2821459+268435456 ~x2821458+134217728 ~x2821457+67108864 ~x2821456+33554432 ~x2821455+16777216 ~x2821454+8388608 ~x2821453+4194304 ~x2821452+2097152 ~x2821451+1048576 ~x2821450+524288 ~x2821449+262144 ~x2821448+131072 ~x2821447+65536 ~x2821446+32768 ~x2821445+16384 ~x2821444+8192 ~x2821443+4096 ~x2821442+2048 ~x2821441+1024 ~x2821440+512 ~x2821439+256 ~x2821438+128 ~x2821437+64 ~x2821436+32 ~x2821435+16 ~x2821434+8 ~x2821433+4 ~x2821432+2 ~x2821431+1 ~x2821430+536870912 ~x14101+268435456 ~x14100+134217728 ~x14099+67108864 ~x14098+33554432 ~x14097+16777216 ~x14096+8388608 ~x14095+4194304 ~x14094+2097152 ~x14093+1048576 ~x14092+524288 ~x14091+262144 ~x14090+131072 ~x14089+65536 ~x14088+32768 ~x14087+16384 ~x14086+8192 ~x14085+4096 ~x14084+2048 ~x14083+1024 ~x14082+512 ~x14081+256 ~x14080+128 ~x14079+64 ~x14078+32 ~x14077+16 ~x14076+8 ~x14075+4 ~x14074+2 ~x14073+1 ~x14072+536870912 ~x13741+268435456 ~x13740+134217728 ~x13739+67108864 ~x13738+33554432 ~x13737+16777216 ~x13736+8388608 ~x13735+4194304 ~x13734+2097152 ~x13733+1048576 ~x13732+524288 ~x13731+262144 ~x13730+131072 ~x13729+65536 ~x13728+32768 ~x13727+16384 ~x13726+8192 ~x13725+4096 ~x13724+2048 ~x13723+1024 ~x13722+512 ~x13721+256 ~x13720+128 ~x13719+64 ~x13718+32 ~x13717+16 ~x13716+8 ~x13715+4 ~x13714+2 ~x13713+1 ~x13712+536870912 ~x13381+268435456 ~x13380+134217728 ~x13379+67108864 ~x13378+33554432 ~x13377+16777216 ~x13376+8388608 ~x13375+4194304 ~x13374+2097152 ~x13373+1048576 ~x13372+524288 ~x13371+262144 ~x13370+131072 ~x13369+65536 ~x13368+32768 ~x13367+16384 ~x13366+8192 ~x13365+4096 ~x13364+2048 ~x13363+1024 ~x13362+512 ~x13361+256 ~x13360+128 ~x13359+64 ~x13358+32 ~x13357+16 ~x13356+8 ~x13355+4 ~x13354+2 ~x13353+1 ~x13352+536870912 ~x13021+268435456 ~x13020+134217728 ~x13019+67108864 ~x13018+33554432 ~x13017+16777216 ~x13016+8388608 ~x13015+4194304 ~x13014+2097152 ~x13013+1048576 ~x13012+524288 ~x13011+262144 ~x13010+131072 ~x13009+65536 ~x13008+32768 ~x13007+16384 ~x13006+8192 ~x13005+4096 ~x13004+2048 ~x13003+1024 ~x13002+512 ~x13001+256 ~x13000+128 ~x12999+64 ~x12998+32 ~x12997+16 ~x12996+8 ~x12995+4 ~x12994+2 ~x12993+1 ~x12992+536870912 ~x12661+268435456 ~x12660+134217728 ~x12659+67108864 ~x12658+33554432 ~x12657+16777216 ~x12656+8388608 ~x12655+4194304 ~x12654+2097152 ~x12653+1048576 ~x12652+524288 ~x12651+262144 ~x12650+131072 ~x12649+65536 ~x12648+32768 ~x12647+16384 ~x12646+8192 ~x12645+4096 ~x12644+2048 ~x12643+1024 ~x12642+512 ~x12641+256 ~x12640+128 ~x12639+64 ~x12638+32 ~x12637+16 ~x12636+8 ~x12635+4 ~x12634+2 ~x12633+1 ~x12632+536870912 ~x12301+268435456 ~x12300+134217728 ~x12299+67108864 ~x12298+33554432 ~x12297+16777216 ~x12296+8388608 ~x12295+4194304 ~x12294+2097152 ~x12293+1048576 ~x12292+524288 ~x12291+262144 ~x12290+131072 ~x12289+65536 ~x12288+32768 ~x12287+16384 ~x12286+8192 ~x12285+4096 ~x12284+2048 ~x12283+1024 ~x12282+512 ~x12281+256 ~x12280+128 ~x12279+64 ~x12278+32 ~x12277+16 ~x12276+8 ~x12275+4 ~x12274+2 ~x12273+1 ~x12272+536870912 ~x11941+268435456 ~x11940+134217728 ~x11939+67108864 ~x11938+33554432 ~x11937+16777216 ~x11936+8388608 ~x11935+4194304 ~x11934+2097152 ~x11933+1048576 ~x11932+524288 ~x11931+262144 ~x11930+131072 ~x11929+65536 ~x11928+32768 ~x11927+16384 ~x11926+8192 ~x11925+4096 ~x11924+2048 ~x11923+1024 ~x11922+512 ~x11921+256 ~x11920+128 ~x11919+64 ~x11918+32 ~x11917+16 ~x11916+8 ~x11915+4 ~x11914+2 ~x11913+1 ~x11912+536870912 ~x11581+268435456 ~x11580+134217728 ~x11579+67108864 ~x11578+33554432 ~x11577+16777216 ~x11576+8388608 ~x11575+4194304 ~x11574+2097152 ~x11573+1048576 ~x11572+524288 ~x11571+262144 ~x11570+131072 ~x11569+65536 ~x11568+32768 ~x11567+16384 ~x11566+8192 ~x11565+4096 ~x11564+2048 ~x11563+1024 ~x11562+512 ~x11561+256 ~x11560+128 ~x11559+64 ~x11558+32 ~x11557+16 ~x11556+8 ~x11555+4 ~x11554+2 ~x11553+1 ~x11552+536870912 ~x11221+268435456 ~x11220+134217728 ~x11219+67108864 ~x11218+33554432 ~x11217+16777216 ~x11216+8388608 ~x11215+4194304 ~x11214+2097152 ~x11213+1048576 ~x11212+524288 ~x11211+262144 ~x11210+131072 ~x11209+65536 ~x11208+32768 ~x11207+16384 ~x11206+8192 ~x11205+4096 ~x11204+2048 ~x11203+1024 ~x11202+512 ~x11201+256 ~x11200+128 ~x11199+64 ~x11198+32 ~x11197+16 ~x11196+8 ~x11195+4 ~x11194+2 ~x11193+1 ~x11192+536870912 ~x10861+268435456 ~x10860+134217728 ~x10859+67108864 ~x10858+33554432 ~x10857+16777216 ~x10856+8388608 ~x10855+4194304 ~x10854+2097152 ~x10853+1048576 ~x10852+524288 ~x10851+262144 ~x10850+131072 ~x10849+65536 ~x10848+32768 ~x10847+16384 ~x10846+8192 ~x10845+4096 ~x10844+2048 ~x10843+1024 ~x10842+512 ~x10841+256 ~x10840+128 ~x10839+64 ~x10838+32 ~x10837+16 ~x10836+8 ~x10835+4 ~x10834+2 ~x10833+1 ~x10832+536870912 ~x10501+268435456 ~x10500+134217728 ~x10499+67108864 ~x10498+33554432 ~x10497+16777216 ~x10496+8388608 ~x10495+4194304 ~x10494+2097152 ~x10493+1048576 ~x10492+524288 ~x10491+262144 ~x10490+131072 ~x10489+65536 ~x10488+32768 ~x10487+16384 ~x10486+8192 ~x10485+4096 ~x10484+2048 ~x10483+1024 ~x10482+512 ~x10481+256 ~x10480+128 ~x10479+64 ~x10478+32 ~x10477+16 ~x10476+8 ~x10475+4 ~x10474+2 ~x10473+1 ~x10472+536870912 ~x10141+268435456 ~x10140+134217728 ~x10139+67108864 ~x10138+33554432 ~x10137+16777216 ~x10136+8388608 ~x10135+4194304 ~x10134+2097152 ~x10133+1048576 ~x10132+524288 ~x10131+262144 ~x10130+131072 ~x10129+65536 ~x10128+32768 ~x10127+16384 ~x10126+8192 ~x10125+4096 ~x10124+2048 ~x10123+1024 ~x10122+512 ~x10121+256 ~x10120+128 ~x10119+64 ~x10118+32 ~x10117+16 ~x10116+8 ~x10115+4 ~x10114+2 ~x10113+1 ~x10112+536870912 ~x9781+268435456 ~x9780+134217728 ~x9779+67108864 ~x9778+33554432 ~x9777+16777216 ~x9776+8388608 ~x9775+4194304 ~x9774+2097152 ~x9773+1048576 ~x9772+524288 ~x9771+262144 ~x9770+131072 ~x9769+65536 ~x9768+32768 ~x9767+16384 ~x9766+8192 ~x9765+4096 ~x9764+2048 ~x9763+1024 ~x9762+512 ~x9761+256 ~x9760+128 ~x9759+64 ~x9758+32 ~x9757+16 ~x9756+8 ~x9755+4 ~x9754+2 ~x9753+1 ~x9752+536870912 ~x9421+268435456 ~x9420+134217728 ~x9419+67108864 ~x9418+33554432 ~x9417+16777216 ~x9416+8388608 ~x9415+4194304 ~x9414+2097152 ~x9413+1048576 ~x9412+524288 ~x9411+262144 ~x9410+131072 ~x9409+65536 ~x9408+32768 ~x9407+16384 ~x9406+8192 ~x9405+4096 ~x9404+2048 ~x9403+1024 ~x9402+512 ~x9401+256 ~x9400+128 ~x9399+64 ~x9398+32 ~x9397+16 ~x9396+8 ~x9395+4 ~x9394+2 ~x9393+1 ~x9392+536870912 ~x9061+268435456 ~x9060+134217728 ~x9059+67108864 ~x9058+33554432 ~x9057+16777216 ~x9056+8388608 ~x9055+4194304 ~x9054+2097152 ~x9053+1048576 ~x9052+524288 ~x9051+262144 ~x9050+131072 ~x9049+65536 ~x9048+32768 ~x9047+16384 ~x9046+8192 ~x9045+4096 ~x9044+2048 ~x9043+1024 ~x9042+512 ~x9041+256 ~x9040+128 ~x9039+64 ~x9038+32 ~x9037+16 ~x9036+8 ~x9035+4 ~x9034+2 ~x9033+1 ~x9032+536870912 ~x8701+268435456 ~x8700+134217728 ~x8699+67108864 ~x8698+33554432 ~x8697+16777216 ~x8696+8388608 ~x8695+4194304 ~x8694+2097152 ~x8693+1048576 ~x8692+524288 ~x8691+262144 ~x8690+131072 ~x8689+65536 ~x8688+32768 ~x8687+16384 ~x8686+8192 ~x8685+4096 ~x8684+2048 ~x8683+1024 ~x8682+512 ~x8681+256 ~x8680+128 ~x8679+64 ~x8678+32 ~x8677+16 ~x8676+8 ~x8675+4 ~x8674+2 ~x8673+1 ~x8672+536870912 ~x8341+268435456 ~x8340+134217728 ~x8339+67108864 ~x8338+33554432 ~x8337+16777216 ~x8336+8388608 ~x8335+4194304 ~x8334+2097152 ~x8333+1048576 ~x8332+524288 ~x8331+262144 ~x8330+131072 ~x8329+65536 ~x8328+32768 ~x8327+16384 ~x8326+8192 ~x8325+4096 ~x8324+2048 ~x8323+1024 ~x8322+512 ~x8321+256 ~x8320+128 ~x8319+64 ~x8318+32 ~x8317+16 ~x8316+8 ~x8315+4 ~x8314+2 ~x8313+1 ~x8312+536870912 ~x7981+268435456 ~x7980+134217728 ~x7979+67108864 ~x7978+33554432 ~x7977+16777216 ~x7976+8388608 ~x7975+4194304 ~x7974+2097152 ~x7973+1048576 ~x7972+524288 ~x7971+262144 ~x7970+131072 ~x7969+65536 ~x7968+32768 ~x7967+16384 ~x7966+8192 ~x7965+4096 ~x7964+2048 ~x7963+1024 ~x7962+512 ~x7961+256 ~x7960+128 ~x7959+64 ~x7958+32 ~x7957+16 ~x7956+8 ~x7955+4 ~x7954+2 ~x7953+1 ~x7952+536870912 ~x7621+268435456 ~x7620+134217728 ~x7619+67108864 ~x7618+33554432 ~x7617+16777216 ~x7616+8388608 ~x7615+4194304 ~x7614+2097152 ~x7613+1048576 ~x7612+524288 ~x7611+262144 ~x7610+131072 ~x7609+65536 ~x7608+32768 ~x7607+16384 ~x7606+8192 ~x7605+4096 ~x7604+2048 ~x7603+1024 ~x7602+512 ~x7601+256 ~x7600+128 ~x7599+64 ~x7598+32 ~x7597+16 ~x7596+8 ~x7595+4 ~x7594+2 ~x7593+1 ~x7592+536870912 ~x7261+268435456 ~x7260+134217728 ~x7259+67108864 ~x7258+33554432 ~x7257+16777216 ~x7256+8388608 ~x7255+4194304 ~x7254+2097152 ~x7253+1048576 ~x7252+524288 ~x7251+262144 ~x7250+131072 ~x7249+65536 ~x7248+32768 ~x7247+16384 ~x7246+8192 ~x7245+4096 ~x7244+2048 ~x7243+1024 ~x7242+512 ~x7241+256 ~x7240+128 ~x7239+64 ~x7238+32 ~x7237+16 ~x7236+8 ~x7235+4 ~x7234+2 ~x7233+1 ~x7232+536870912 x301+268435456 x300+134217728 x299+67108864 x298+33554432 x297+16777216 x296+8388608 x295+4194304 x294+2097152 x293+1048576 x292+524288 x291+262144 x290+131072 x289+65536 x288+32768 x287+16384 x286+8192 x285+4096 x284+2048 x283+1024 x282+512 x281+256 x280+128 x279+64 x278+32 x277+16 x276+8 x275+4 x274+2 x273+1 x272-0=55833385963
75.37/75.41	c 17179869184 ~x3133356+8589934592 ~x3133355+4294967296 ~x3133354+2147483648 ~x3133353+1073741824 ~x3133352+536870912 ~x3133351+268435456 ~x3133350+134217728 ~x3133349+67108864 ~x3133348+33554432 ~x3133347+16777216 ~x3133346+8388608 ~x3133345+4194304 ~x3133344+2097152 ~x3133343+1048576 ~x3133342+524288 ~x3133341+262144 ~x3133340+131072 ~x3133339+65536 ~x3133338+32768 ~x3133337+16384 ~x3133336+8192 ~x3133335+4096 ~x3133334+2048 ~x3133333+1024 ~x3133332+512 ~x3133331+256 ~x3133330+128 ~x3133329+64 ~x3133328+32 ~x3133327+16 ~x3133326+8 ~x3133325+4 ~x3133324+2 ~x3133323+1 ~x3133322+536870912 ~x14131+268435456 ~x14130+134217728 ~x14129+67108864 ~x14128+33554432 ~x14127+16777216 ~x14126+8388608 ~x14125+4194304 ~x14124+2097152 ~x14123+1048576 ~x14122+524288 ~x14121+262144 ~x14120+131072 ~x14119+65536 ~x14118+32768 ~x14117+16384 ~x14116+8192 ~x14115+4096 ~x14114+2048 ~x14113+1024 ~x14112+512 ~x14111+256 ~x14110+128 ~x14109+64 ~x14108+32 ~x14107+16 ~x14106+8 ~x14105+4 ~x14104+2 ~x14103+1 ~x14102+536870912 ~x13771+268435456 ~x13770+134217728 ~x13769+67108864 ~x13768+33554432 ~x13767+16777216 ~x13766+8388608 ~x13765+4194304 ~x13764+2097152 ~x13763+1048576 ~x13762+524288 ~x13761+262144 ~x13760+131072 ~x13759+65536 ~x13758+32768 ~x13757+16384 ~x13756+8192 ~x13755+4096 ~x13754+2048 ~x13753+1024 ~x13752+512 ~x13751+256 ~x13750+128 ~x13749+64 ~x13748+32 ~x13747+16 ~x13746+8 ~x13745+4 ~x13744+2 ~x13743+1 ~x13742+536870912 ~x13411+268435456 ~x13410+134217728 ~x13409+67108864 ~x13408+33554432 ~x13407+16777216 ~x13406+8388608 ~x13405+4194304 ~x13404+2097152 ~x13403+1048576 ~x13402+524288 ~x13401+262144 ~x13400+131072 ~x13399+65536 ~x13398+32768 ~x13397+16384 ~x13396+8192 ~x13395+4096 ~x13394+2048 ~x13393+1024 ~x13392+512 ~x13391+256 ~x13390+128 ~x13389+64 ~x13388+32 ~x13387+16 ~x13386+8 ~x13385+4 ~x13384+2 ~x13383+1 ~x13382+536870912 ~x13051+268435456 ~x13050+134217728 ~x13049+67108864 ~x13048+33554432 ~x13047+16777216 ~x13046+8388608 ~x13045+4194304 ~x13044+2097152 ~x13043+1048576 ~x13042+524288 ~x13041+262144 ~x13040+131072 ~x13039+65536 ~x13038+32768 ~x13037+16384 ~x13036+8192 ~x13035+4096 ~x13034+2048 ~x13033+1024 ~x13032+512 ~x13031+256 ~x13030+128 ~x13029+64 ~x13028+32 ~x13027+16 ~x13026+8 ~x13025+4 ~x13024+2 ~x13023+1 ~x13022+536870912 ~x12691+268435456 ~x12690+134217728 ~x12689+67108864 ~x12688+33554432 ~x12687+16777216 ~x12686+8388608 ~x12685+4194304 ~x12684+2097152 ~x12683+1048576 ~x12682+524288 ~x12681+262144 ~x12680+131072 ~x12679+65536 ~x12678+32768 ~x12677+16384 ~x12676+8192 ~x12675+4096 ~x12674+2048 ~x12673+1024 ~x12672+512 ~x12671+256 ~x12670+128 ~x12669+64 ~x12668+32 ~x12667+16 ~x12666+8 ~x12665+4 ~x12664+2 ~x12663+1 ~x12662+536870912 ~x12331+268435456 ~x12330+134217728 ~x12329+67108864 ~x12328+33554432 ~x12327+16777216 ~x12326+8388608 ~x12325+4194304 ~x12324+2097152 ~x12323+1048576 ~x12322+524288 ~x12321+262144 ~x12320+131072 ~x12319+65536 ~x12318+32768 ~x12317+16384 ~x12316+8192 ~x12315+4096 ~x12314+2048 ~x12313+1024 ~x12312+512 ~x12311+256 ~x12310+128 ~x12309+64 ~x12308+32 ~x12307+16 ~x12306+8 ~x12305+4 ~x12304+2 ~x12303+1 ~x12302+536870912 ~x11971+268435456 ~x11970+134217728 ~x11969+67108864 ~x11968+33554432 ~x11967+16777216 ~x11966+8388608 ~x11965+4194304 ~x11964+2097152 ~x11963+1048576 ~x11962+524288 ~x11961+262144 ~x11960+131072 ~x11959+65536 ~x11958+32768 ~x11957+16384 ~x11956+8192 ~x11955+4096 ~x11954+2048 ~x11953+1024 ~x11952+512 ~x11951+256 ~x11950+128 ~x11949+64 ~x11948+32 ~x11947+16 ~x11946+8 ~x11945+4 ~x11944+2 ~x11943+1 ~x11942+536870912 ~x11611+268435456 ~x11610+134217728 ~x11609+67108864 ~x11608+33554432 ~x11607+16777216 ~x11606+8388608 ~x11605+4194304 ~x11604+2097152 ~x11603+1048576 ~x11602+524288 ~x11601+262144 ~x11600+131072 ~x11599+65536 ~x11598+32768 ~x11597+16384 ~x11596+8192 ~x11595+4096 ~x11594+2048 ~x11593+1024 ~x11592+512 ~x11591+256 ~x11590+128 ~x11589+64 ~x11588+32 ~x11587+16 ~x11586+8 ~x11585+4 ~x11584+2 ~x11583+1 ~x11582+536870912 ~x11251+268435456 ~x11250+134217728 ~x11249+67108864 ~x11248+33554432 ~x11247+16777216 ~x11246+8388608 ~x11245+4194304 ~x11244+2097152 ~x11243+1048576 ~x11242+524288 ~x11241+262144 ~x11240+131072 ~x11239+65536 ~x11238+32768 ~x11237+16384 ~x11236+8192 ~x11235+4096 ~x11234+2048 ~x11233+1024 ~x11232+512 ~x11231+256 ~x11230+128 ~x11229+64 ~x11228+32 ~x11227+16 ~x11226+8 ~x11225+4 ~x11224+2 ~x11223+1 ~x11222+536870912 ~x10891+268435456 ~x10890+134217728 ~x10889+67108864 ~x10888+33554432 ~x10887+16777216 ~x10886+8388608 ~x10885+4194304 ~x10884+2097152 ~x10883+1048576 ~x10882+524288 ~x10881+262144 ~x10880+131072 ~x10879+65536 ~x10878+32768 ~x10877+16384 ~x10876+8192 ~x10875+4096 ~x10874+2048 ~x10873+1024 ~x10872+512 ~x10871+256 ~x10870+128 ~x10869+64 ~x10868+32 ~x10867+16 ~x10866+8 ~x10865+4 ~x10864+2 ~x10863+1 ~x10862+536870912 ~x10531+268435456 ~x10530+134217728 ~x10529+67108864 ~x10528+33554432 ~x10527+16777216 ~x10526+8388608 ~x10525+4194304 ~x10524+2097152 ~x10523+1048576 ~x10522+524288 ~x10521+262144 ~x10520+131072 ~x10519+65536 ~x10518+32768 ~x10517+16384 ~x10516+8192 ~x10515+4096 ~x10514+2048 ~x10513+1024 ~x10512+512 ~x10511+256 ~x10510+128 ~x10509+64 ~x10508+32 ~x10507+16 ~x10506+8 ~x10505+4 ~x10504+2 ~x10503+1 ~x10502+536870912 ~x10171+268435456 ~x10170+134217728 ~x10169+67108864 ~x10168+33554432 ~x10167+16777216 ~x10166+8388608 ~x10165+4194304 ~x10164+2097152 ~x10163+1048576 ~x10162+524288 ~x10161+262144 ~x10160+131072 ~x10159+65536 ~x10158+32768 ~x10157+16384 ~x10156+8192 ~x10155+4096 ~x10154+2048 ~x10153+1024 ~x10152+512 ~x10151+256 ~x10150+128 ~x10149+64 ~x10148+32 ~x10147+16 ~x10146+8 ~x10145+4 ~x10144+2 ~x10143+1 ~x10142+536870912 ~x9811+268435456 ~x9810+134217728 ~x9809+67108864 ~x9808+33554432 ~x9807+16777216 ~x9806+8388608 ~x9805+4194304 ~x9804+2097152 ~x9803+1048576 ~x9802+524288 ~x9801+262144 ~x9800+131072 ~x9799+65536 ~x9798+32768 ~x9797+16384 ~x9796+8192 ~x9795+4096 ~x9794+2048 ~x9793+1024 ~x9792+512 ~x9791+256 ~x9790+128 ~x9789+64 ~x9788+32 ~x9787+16 ~x9786+8 ~x9785+4 ~x9784+2 ~x9783+1 ~x9782+536870912 ~x9451+268435456 ~x9450+134217728 ~x9449+67108864 ~x9448+33554432 ~x9447+16777216 ~x9446+8388608 ~x9445+4194304 ~x9444+2097152 ~x9443+1048576 ~x9442+524288 ~x9441+262144 ~x9440+131072 ~x9439+65536 ~x9438+32768 ~x9437+16384 ~x9436+8192 ~x9435+4096 ~x9434+2048 ~x9433+1024 ~x9432+512 ~x9431+256 ~x9430+128 ~x9429+64 ~x9428+32 ~x9427+16 ~x9426+8 ~x9425+4 ~x9424+2 ~x9423+1 ~x9422+536870912 ~x9091+268435456 ~x9090+134217728 ~x9089+67108864 ~x9088+33554432 ~x9087+16777216 ~x9086+8388608 ~x9085+4194304 ~x9084+2097152 ~x9083+1048576 ~x9082+524288 ~x9081+262144 ~x9080+131072 ~x9079+65536 ~x9078+32768 ~x9077+16384 ~x9076+8192 ~x9075+4096 ~x9074+2048 ~x9073+1024 ~x9072+512 ~x9071+256 ~x9070+128 ~x9069+64 ~x9068+32 ~x9067+16 ~x9066+8 ~x9065+4 ~x9064+2 ~x9063+1 ~x9062+536870912 ~x8731+268435456 ~x8730+134217728 ~x8729+67108864 ~x8728+33554432 ~x8727+16777216 ~x8726+8388608 ~x8725+4194304 ~x8724+2097152 ~x8723+1048576 ~x8722+524288 ~x8721+262144 ~x8720+131072 ~x8719+65536 ~x8718+32768 ~x8717+16384 ~x8716+8192 ~x8715+4096 ~x8714+2048 ~x8713+1024 ~x8712+512 ~x8711+256 ~x8710+128 ~x8709+64 ~x8708+32 ~x8707+16 ~x8706+8 ~x8705+4 ~x8704+2 ~x8703+1 ~x8702+536870912 ~x8371+268435456 ~x8370+134217728 ~x8369+67108864 ~x8368+33554432 ~x8367+16777216 ~x8366+8388608 ~x8365+4194304 ~x8364+2097152 ~x8363+1048576 ~x8362+524288 ~x8361+262144 ~x8360+131072 ~x8359+65536 ~x8358+32768 ~x8357+16384 ~x8356+8192 ~x8355+4096 ~x8354+2048 ~x8353+1024 ~x8352+512 ~x8351+256 ~x8350+128 ~x8349+64 ~x8348+32 ~x8347+16 ~x8346+8 ~x8345+4 ~x8344+2 ~x8343+1 ~x8342+536870912 ~x8011+268435456 ~x8010+134217728 ~x8009+67108864 ~x8008+33554432 ~x8007+16777216 ~x8006+8388608 ~x8005+4194304 ~x8004+2097152 ~x8003+1048576 ~x8002+524288 ~x8001+262144 ~x8000+131072 ~x7999+65536 ~x7998+32768 ~x7997+16384 ~x7996+8192 ~x7995+4096 ~x7994+2048 ~x7993+1024 ~x7992+512 ~x7991+256 ~x7990+128 ~x7989+64 ~x7988+32 ~x7987+16 ~x7986+8 ~x7985+4 ~x7984+2 ~x7983+1 ~x7982+536870912 ~x7651+268435456 ~x7650+134217728 ~x7649+67108864 ~x7648+33554432 ~x7647+16777216 ~x7646+8388608 ~x7645+4194304 ~x7644+2097152 ~x7643+1048576 ~x7642+524288 ~x7641+262144 ~x7640+131072 ~x7639+65536 ~x7638+32768 ~x7637+16384 ~x7636+8192 ~x7635+4096 ~x7634+2048 ~x7633+1024 ~x7632+512 ~x7631+256 ~x7630+128 ~x7629+64 ~x7628+32 ~x7627+16 ~x7626+8 ~x7625+4 ~x7624+2 ~x7623+1 ~x7622+536870912 ~x7291+268435456 ~x7290+134217728 ~x7289+67108864 ~x7288+33554432 ~x7287+16777216 ~x7286+8388608 ~x7285+4194304 ~x7284+2097152 ~x7283+1048576 ~x7282+524288 ~x7281+262144 ~x7280+131072 ~x7279+65536 ~x7278+32768 ~x7277+16384 ~x7276+8192 ~x7275+4096 ~x7274+2048 ~x7273+1024 ~x7272+512 ~x7271+256 ~x7270+128 ~x7269+64 ~x7268+32 ~x7267+16 ~x7266+8 ~x7265+4 ~x7264+2 ~x7263+1 ~x7262+536870912 x331+268435456 x330+134217728 x329+67108864 x328+33554432 x327+16777216 x326+8388608 x325+4194304 x324+2097152 x323+1048576 x322+524288 x321+262144 x320+131072 x319+65536 x318+32768 x317+16384 x316+8192 x315+4096 x314+2048 x313+1024 x312+512 x311+256 x310+128 x309+64 x308+32 x307+16 x306+8 x305+4 x304+2 x303+1 x302-0=55833385963
82.36/82.44	c 17179869184 ~x3445248+8589934592 ~x3445247+4294967296 ~x3445246+2147483648 ~x3445245+1073741824 ~x3445244+536870912 ~x3445243+268435456 ~x3445242+134217728 ~x3445241+67108864 ~x3445240+33554432 ~x3445239+16777216 ~x3445238+8388608 ~x3445237+4194304 ~x3445236+2097152 ~x3445235+1048576 ~x3445234+524288 ~x3445233+262144 ~x3445232+131072 ~x3445231+65536 ~x3445230+32768 ~x3445229+16384 ~x3445228+8192 ~x3445227+4096 ~x3445226+2048 ~x3445225+1024 ~x3445224+512 ~x3445223+256 ~x3445222+128 ~x3445221+64 ~x3445220+32 ~x3445219+16 ~x3445218+8 ~x3445217+4 ~x3445216+2 ~x3445215+1 ~x3445214+536870912 ~x14161+268435456 ~x14160+134217728 ~x14159+67108864 ~x14158+33554432 ~x14157+16777216 ~x14156+8388608 ~x14155+4194304 ~x14154+2097152 ~x14153+1048576 ~x14152+524288 ~x14151+262144 ~x14150+131072 ~x14149+65536 ~x14148+32768 ~x14147+16384 ~x14146+8192 ~x14145+4096 ~x14144+2048 ~x14143+1024 ~x14142+512 ~x14141+256 ~x14140+128 ~x14139+64 ~x14138+32 ~x14137+16 ~x14136+8 ~x14135+4 ~x14134+2 ~x14133+1 ~x14132+536870912 ~x13801+268435456 ~x13800+134217728 ~x13799+67108864 ~x13798+33554432 ~x13797+16777216 ~x13796+8388608 ~x13795+4194304 ~x13794+2097152 ~x13793+1048576 ~x13792+524288 ~x13791+262144 ~x13790+131072 ~x13789+65536 ~x13788+32768 ~x13787+16384 ~x13786+8192 ~x13785+4096 ~x13784+2048 ~x13783+1024 ~x13782+512 ~x13781+256 ~x13780+128 ~x13779+64 ~x13778+32 ~x13777+16 ~x13776+8 ~x13775+4 ~x13774+2 ~x13773+1 ~x13772+536870912 ~x13441+268435456 ~x13440+134217728 ~x13439+67108864 ~x13438+33554432 ~x13437+16777216 ~x13436+8388608 ~x13435+4194304 ~x13434+2097152 ~x13433+1048576 ~x13432+524288 ~x13431+262144 ~x13430+131072 ~x13429+65536 ~x13428+32768 ~x13427+16384 ~x13426+8192 ~x13425+4096 ~x13424+2048 ~x13423+1024 ~x13422+512 ~x13421+256 ~x13420+128 ~x13419+64 ~x13418+32 ~x13417+16 ~x13416+8 ~x13415+4 ~x13414+2 ~x13413+1 ~x13412+536870912 ~x13081+268435456 ~x13080+134217728 ~x13079+67108864 ~x13078+33554432 ~x13077+16777216 ~x13076+8388608 ~x13075+4194304 ~x13074+2097152 ~x13073+1048576 ~x13072+524288 ~x13071+262144 ~x13070+131072 ~x13069+65536 ~x13068+32768 ~x13067+16384 ~x13066+8192 ~x13065+4096 ~x13064+2048 ~x13063+1024 ~x13062+512 ~x13061+256 ~x13060+128 ~x13059+64 ~x13058+32 ~x13057+16 ~x13056+8 ~x13055+4 ~x13054+2 ~x13053+1 ~x13052+536870912 ~x12721+268435456 ~x12720+134217728 ~x12719+67108864 ~x12718+33554432 ~x12717+16777216 ~x12716+8388608 ~x12715+4194304 ~x12714+2097152 ~x12713+1048576 ~x12712+524288 ~x12711+262144 ~x12710+131072 ~x12709+65536 ~x12708+32768 ~x12707+16384 ~x12706+8192 ~x12705+4096 ~x12704+2048 ~x12703+1024 ~x12702+512 ~x12701+256 ~x12700+128 ~x12699+64 ~x12698+32 ~x12697+16 ~x12696+8 ~x12695+4 ~x12694+2 ~x12693+1 ~x12692+536870912 ~x12361+268435456 ~x12360+134217728 ~x12359+67108864 ~x12358+33554432 ~x12357+16777216 ~x12356+8388608 ~x12355+4194304 ~x12354+2097152 ~x12353+1048576 ~x12352+524288 ~x12351+262144 ~x12350+131072 ~x12349+65536 ~x12348+32768 ~x12347+16384 ~x12346+8192 ~x12345+4096 ~x12344+2048 ~x12343+1024 ~x12342+512 ~x12341+256 ~x12340+128 ~x12339+64 ~x12338+32 ~x12337+16 ~x12336+8 ~x12335+4 ~x12334+2 ~x12333+1 ~x12332+536870912 ~x12001+268435456 ~x12000+134217728 ~x11999+67108864 ~x11998+33554432 ~x11997+16777216 ~x11996+8388608 ~x11995+4194304 ~x11994+2097152 ~x11993+1048576 ~x11992+524288 ~x11991+262144 ~x11990+131072 ~x11989+65536 ~x11988+32768 ~x11987+16384 ~x11986+8192 ~x11985+4096 ~x11984+2048 ~x11983+1024 ~x11982+512 ~x11981+256 ~x11980+128 ~x11979+64 ~x11978+32 ~x11977+16 ~x11976+8 ~x11975+4 ~x11974+2 ~x11973+1 ~x11972+536870912 ~x11641+268435456 ~x11640+134217728 ~x11639+67108864 ~x11638+33554432 ~x11637+16777216 ~x11636+8388608 ~x11635+4194304 ~x11634+2097152 ~x11633+1048576 ~x11632+524288 ~x11631+262144 ~x11630+131072 ~x11629+65536 ~x11628+32768 ~x11627+16384 ~x11626+8192 ~x11625+4096 ~x11624+2048 ~x11623+1024 ~x11622+512 ~x11621+256 ~x11620+128 ~x11619+64 ~x11618+32 ~x11617+16 ~x11616+8 ~x11615+4 ~x11614+2 ~x11613+1 ~x11612+536870912 ~x11281+268435456 ~x11280+134217728 ~x11279+67108864 ~x11278+33554432 ~x11277+16777216 ~x11276+8388608 ~x11275+4194304 ~x11274+2097152 ~x11273+1048576 ~x11272+524288 ~x11271+262144 ~x11270+131072 ~x11269+65536 ~x11268+32768 ~x11267+16384 ~x11266+8192 ~x11265+4096 ~x11264+2048 ~x11263+1024 ~x11262+512 ~x11261+256 ~x11260+128 ~x11259+64 ~x11258+32 ~x11257+16 ~x11256+8 ~x11255+4 ~x11254+2 ~x11253+1 ~x11252+536870912 ~x10921+268435456 ~x10920+134217728 ~x10919+67108864 ~x10918+33554432 ~x10917+16777216 ~x10916+8388608 ~x10915+4194304 ~x10914+2097152 ~x10913+1048576 ~x10912+524288 ~x10911+262144 ~x10910+131072 ~x10909+65536 ~x10908+32768 ~x10907+16384 ~x10906+8192 ~x10905+4096 ~x10904+2048 ~x10903+1024 ~x10902+512 ~x10901+256 ~x10900+128 ~x10899+64 ~x10898+32 ~x10897+16 ~x10896+8 ~x10895+4 ~x10894+2 ~x10893+1 ~x10892+536870912 ~x10561+268435456 ~x10560+134217728 ~x10559+67108864 ~x10558+33554432 ~x10557+16777216 ~x10556+8388608 ~x10555+4194304 ~x10554+2097152 ~x10553+1048576 ~x10552+524288 ~x10551+262144 ~x10550+131072 ~x10549+65536 ~x10548+32768 ~x10547+16384 ~x10546+8192 ~x10545+4096 ~x10544+2048 ~x10543+1024 ~x10542+512 ~x10541+256 ~x10540+128 ~x10539+64 ~x10538+32 ~x10537+16 ~x10536+8 ~x10535+4 ~x10534+2 ~x10533+1 ~x10532+536870912 ~x10201+268435456 ~x10200+134217728 ~x10199+67108864 ~x10198+33554432 ~x10197+16777216 ~x10196+8388608 ~x10195+4194304 ~x10194+2097152 ~x10193+1048576 ~x10192+524288 ~x10191+262144 ~x10190+131072 ~x10189+65536 ~x10188+32768 ~x10187+16384 ~x10186+8192 ~x10185+4096 ~x10184+2048 ~x10183+1024 ~x10182+512 ~x10181+256 ~x10180+128 ~x10179+64 ~x10178+32 ~x10177+16 ~x10176+8 ~x10175+4 ~x10174+2 ~x10173+1 ~x10172+536870912 ~x9841+268435456 ~x9840+134217728 ~x9839+67108864 ~x9838+33554432 ~x9837+16777216 ~x9836+8388608 ~x9835+4194304 ~x9834+2097152 ~x9833+1048576 ~x9832+524288 ~x9831+262144 ~x9830+131072 ~x9829+65536 ~x9828+32768 ~x9827+16384 ~x9826+8192 ~x9825+4096 ~x9824+2048 ~x9823+1024 ~x9822+512 ~x9821+256 ~x9820+128 ~x9819+64 ~x9818+32 ~x9817+16 ~x9816+8 ~x9815+4 ~x9814+2 ~x9813+1 ~x9812+536870912 ~x9481+268435456 ~x9480+134217728 ~x9479+67108864 ~x9478+33554432 ~x9477+16777216 ~x9476+8388608 ~x9475+4194304 ~x9474+2097152 ~x9473+1048576 ~x9472+524288 ~x9471+262144 ~x9470+131072 ~x9469+65536 ~x9468+32768 ~x9467+16384 ~x9466+8192 ~x9465+4096 ~x9464+2048 ~x9463+1024 ~x9462+512 ~x9461+256 ~x9460+128 ~x9459+64 ~x9458+32 ~x9457+16 ~x9456+8 ~x9455+4 ~x9454+2 ~x9453+1 ~x9452+536870912 ~x9121+268435456 ~x9120+134217728 ~x9119+67108864 ~x9118+33554432 ~x9117+16777216 ~x9116+8388608 ~x9115+4194304 ~x9114+2097152 ~x9113+1048576 ~x9112+524288 ~x9111+262144 ~x9110+131072 ~x9109+65536 ~x9108+32768 ~x9107+16384 ~x9106+8192 ~x9105+4096 ~x9104+2048 ~x9103+1024 ~x9102+512 ~x9101+256 ~x9100+128 ~x9099+64 ~x9098+32 ~x9097+16 ~x9096+8 ~x9095+4 ~x9094+2 ~x9093+1 ~x9092+536870912 ~x8761+268435456 ~x8760+134217728 ~x8759+67108864 ~x8758+33554432 ~x8757+16777216 ~x8756+8388608 ~x8755+4194304 ~x8754+2097152 ~x8753+1048576 ~x8752+524288 ~x8751+262144 ~x8750+131072 ~x8749+65536 ~x8748+32768 ~x8747+16384 ~x8746+8192 ~x8745+4096 ~x8744+2048 ~x8743+1024 ~x8742+512 ~x8741+256 ~x8740+128 ~x8739+64 ~x8738+32 ~x8737+16 ~x8736+8 ~x8735+4 ~x8734+2 ~x8733+1 ~x8732+536870912 ~x8401+268435456 ~x8400+134217728 ~x8399+67108864 ~x8398+33554432 ~x8397+16777216 ~x8396+8388608 ~x8395+4194304 ~x8394+2097152 ~x8393+1048576 ~x8392+524288 ~x8391+262144 ~x8390+131072 ~x8389+65536 ~x8388+32768 ~x8387+16384 ~x8386+8192 ~x8385+4096 ~x8384+2048 ~x8383+1024 ~x8382+512 ~x8381+256 ~x8380+128 ~x8379+64 ~x8378+32 ~x8377+16 ~x8376+8 ~x8375+4 ~x8374+2 ~x8373+1 ~x8372+536870912 ~x8041+268435456 ~x8040+134217728 ~x8039+67108864 ~x8038+33554432 ~x8037+16777216 ~x8036+8388608 ~x8035+4194304 ~x8034+2097152 ~x8033+1048576 ~x8032+524288 ~x8031+262144 ~x8030+131072 ~x8029+65536 ~x8028+32768 ~x8027+16384 ~x8026+8192 ~x8025+4096 ~x8024+2048 ~x8023+1024 ~x8022+512 ~x8021+256 ~x8020+128 ~x8019+64 ~x8018+32 ~x8017+16 ~x8016+8 ~x8015+4 ~x8014+2 ~x8013+1 ~x8012+536870912 ~x7681+268435456 ~x7680+134217728 ~x7679+67108864 ~x7678+33554432 ~x7677+16777216 ~x7676+8388608 ~x7675+4194304 ~x7674+2097152 ~x7673+1048576 ~x7672+524288 ~x7671+262144 ~x7670+131072 ~x7669+65536 ~x7668+32768 ~x7667+16384 ~x7666+8192 ~x7665+4096 ~x7664+2048 ~x7663+1024 ~x7662+512 ~x7661+256 ~x7660+128 ~x7659+64 ~x7658+32 ~x7657+16 ~x7656+8 ~x7655+4 ~x7654+2 ~x7653+1 ~x7652+536870912 ~x7321+268435456 ~x7320+134217728 ~x7319+67108864 ~x7318+33554432 ~x7317+16777216 ~x7316+8388608 ~x7315+4194304 ~x7314+2097152 ~x7313+1048576 ~x7312+524288 ~x7311+262144 ~x7310+131072 ~x7309+65536 ~x7308+32768 ~x7307+16384 ~x7306+8192 ~x7305+4096 ~x7304+2048 ~x7303+1024 ~x7302+512 ~x7301+256 ~x7300+128 ~x7299+64 ~x7298+32 ~x7297+16 ~x7296+8 ~x7295+4 ~x7294+2 ~x7293+1 ~x7292+536870912 x361+268435456 x360+134217728 x359+67108864 x358+33554432 x357+16777216 x356+8388608 x355+4194304 x354+2097152 x353+1048576 x352+524288 x351+262144 x350+131072 x349+65536 x348+32768 x347+16384 x346+8192 x345+40

ERROR: no interpretation found !

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2673981-1276800051/watcher-2673981-1276800051 -o /tmp/evaluation-result-2673981-1276800051/solver-2673981-1276800051 -C 1800 -W 2000 -M 1800 run HOME/instance-2673981-1276800051.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.11 1.09 1.01 3/106 19259
/proc/meminfo: memFree=1884272/2059040 swapFree=4139188/4192956
[pid=19259] ppid=19257 vsize=8700 CPUtime=0
/proc/19259/stat : 19259 (run) S 19257 19259 19048 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 55608768 8908800 251 1992294400 4194304 4922060 140734419918400 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19259/statm: 2175 251 211 178 0 68 0

[startup+0.0619751 s]
/proc/loadavg: 1.11 1.09 1.01 3/106 19259
/proc/meminfo: memFree=1884272/2059040 swapFree=4139188/4192956
[pid=19259] ppid=19257 vsize=8700 CPUtime=0
/proc/19259/stat : 19259 (run) S 19257 19259 19048 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 55608768 8908800 251 1992294400 4194304 4922060 140734419918400 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19259/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101979 s]
/proc/loadavg: 1.11 1.09 1.01 3/106 19259
/proc/meminfo: memFree=1884272/2059040 swapFree=4139188/4192956
[pid=19259] ppid=19257 vsize=8700 CPUtime=0
/proc/19259/stat : 19259 (run) S 19257 19259 19048 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 55608768 8908800 251 1992294400 4194304 4922060 140734419918400 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19259/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301003 s]
/proc/loadavg: 1.11 1.09 1.01 3/106 19259
/proc/meminfo: memFree=1884272/2059040 swapFree=4139188/4192956
[pid=19259] ppid=19257 vsize=8700 CPUtime=0
/proc/19259/stat : 19259 (run) S 19257 19259 19048 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 55608768 8908800 251 1992294400 4194304 4922060 140734419918400 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19259/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701047 s]
/proc/loadavg: 1.11 1.09 1.01 3/106 19259
/proc/meminfo: memFree=1884272/2059040 swapFree=4139188/4192956
[pid=19259] ppid=19257 vsize=8700 CPUtime=0
/proc/19259/stat : 19259 (run) S 19257 19259 19048 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 55608768 8908800 251 1992294400 4194304 4922060 140734419918400 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19259/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50114 s]
/proc/loadavg: 1.11 1.09 1.01 2/108 19262
/proc/meminfo: memFree=1723428/2059040 swapFree=4139188/4192956
[pid=19259] ppid=19257 vsize=8700 CPUtime=0
/proc/19259/stat : 19259 (run) S 19257 19259 19048 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 55608768 8908800 251 1992294400 4194304 4922060 140734419918400 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19259/statm: 2175 251 211 178 0 68 0
[pid=19261] ppid=19259 vsize=239236 CPUtime=1.49
/proc/19261/stat : 19261 (PBPASSolver) R 19259 19259 19048 0 -1 4202496 59591 0 0 0 59 90 0 0 25 0 1 0 55608768 244977664 59201 1992294400 134512640 134902295 4292971968 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19261/statm: 59809 59203 256 96 0 59021 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 247936

[startup+3.10133 s]
/proc/loadavg: 1.10 1.09 1.01 2/108 19262
/proc/meminfo: memFree=1562972/2059040 swapFree=4139188/4192956
[pid=19259] ppid=19257 vsize=8700 CPUtime=0
/proc/19259/stat : 19259 (run) S 19257 19259 19048 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 55608768 8908800 251 1992294400 4194304 4922060 140734419918400 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19259/statm: 2175 251 211 178 0 68 0
[pid=19261] ppid=19259 vsize=434372 CPUtime=3.08
/proc/19261/stat : 19261 (PBPASSolver) R 19259 19259 19048 0 -1 4202496 108371 0 0 0 146 162 0 0 25 0 1 0 55608768 444796928 107981 1992294400 134512640 134902295 4292971968 18446744073709551615 134893911 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19261/statm: 108593 107981 259 96 0 107805 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 443072

[startup+6.3017 s]
/proc/loadavg: 1.10 1.09 1.01 2/108 19262
/proc/meminfo: memFree=1425456/2059040 swapFree=4139188/4192956
[pid=19259] ppid=19257 vsize=8700 CPUtime=0
/proc/19259/stat : 19259 (run) S 19257 19259 19048 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 55608768 8908800 251 1992294400 4194304 4922060 140734419918400 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19259/statm: 2175 251 211 178 0 68 0
[pid=19261] ppid=19259 vsize=476688 CPUtime=6.29
/proc/19261/stat : 19261 (PBPASSolver) R 19259 19259 19048 0 -1 4202496 136313 0 0 0 453 176 0 0 25 0 1 0 55608768 488128512 118358 1992294400 134512640 134902295 4292971968 18446744073709551615 134631024 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19261/statm: 119172 118358 262 96 0 118384 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 485388

[startup+12.7014 s]
/proc/loadavg: 1.08 1.08 1.01 2/108 19262
/proc/meminfo: memFree=1314848/2059040 swapFree=4139188/4192956
[pid=19259] ppid=19257 vsize=8700 CPUtime=0
/proc/19259/stat : 19259 (run) S 19257 19259 19048 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 55608768 8908800 251 1992294400 4194304 4922060 140734419918400 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19259/statm: 2175 251 211 178 0 68 0
[pid=19261] ppid=19259 vsize=595196 CPUtime=12.68
/proc/19261/stat : 19261 (PBPASSolver) R 19259 19259 19048 0 -1 4202496 169529 0 0 0 1077 191 0 0 25 0 1 0 55608768 609480704 145975 1992294400 134512640 134902295 4292971968 18446744073709551615 134874468 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19261/statm: 148799 145975 262 96 0 148011 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 603896

[startup+25.5019 s]
/proc/loadavg: 1.07 1.08 1.01 2/108 19262
/proc/meminfo: memFree=1087928/2059040 swapFree=4139188/4192956
[pid=19259] ppid=19257 vsize=8700 CPUtime=0
/proc/19259/stat : 19259 (run) S 19257 19259 19048 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 55608768 8908800 251 1992294400 4194304 4922060 140734419918400 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19259/statm: 2175 251 211 178 0 68 0
[pid=19261] ppid=19259 vsize=815136 CPUtime=25.48
/proc/19261/stat : 19261 (PBPASSolver) R 19259 19259 19048 0 -1 4202496 232534 0 0 0 2327 221 0 0 25 0 1 0 55608768 834699264 200058 1992294400 134512640 134902295 4292971968 18446744073709551615 4160476454 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19261/statm: 203784 200058 262 96 0 202996 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 823836

[startup+51.1019 s]
/proc/loadavg: 1.05 1.07 1.01 2/108 19262
/proc/meminfo: memFree=649464/2059040 swapFree=4139188/4192956
[pid=19259] ppid=19257 vsize=8700 CPUtime=0
/proc/19259/stat : 19259 (run) S 19257 19259 19048 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 55608768 8908800 251 1992294400 4194304 4922060 140734419918400 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19259/statm: 2175 251 211 178 0 68 0
[pid=19261] ppid=19259 vsize=1278840 CPUtime=51.07
/proc/19261/stat : 19261 (PBPASSolver) R 19259 19259 19048 0 -1 4202496 355352 0 0 0 4830 277 0 0 25 0 1 0 55608768 1309532160 310621 1992294400 134512640 134902295 4292971968 18446744073709551615 3151356 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19261/statm: 319710 310621 262 96 0 318922 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1287540



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+84.7088 s]
/proc/loadavg: 1.02 1.06 1.00 2/108 19264
/proc/meminfo: memFree=106220/2059040 swapFree=4139188/4192956
[pid=19259] ppid=19257 vsize=8700 CPUtime=0
/proc/19259/stat : 19259 (run) S 19257 19259 19048 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 55608768 8908800 251 1992294400 4194304 4922060 140734419918400 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19259/statm: 2175 251 211 178 0 68 0
[pid=19261] ppid=19259 vsize=1844276 CPUtime=84.67
/proc/19261/stat : 19261 (PBPASSolver) R 19259 19259 19048 0 -1 4202496 510713 0 0 0 8122 345 0 0 25 0 1 0 55608768 1888538624 443670 1992294400 134512640 134902295 4292971968 18446744073709551615 3151356 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19261/statm: 461069 443670 262 96 0 460281 0
Current children cumulated CPU time (s) 84.67
Current children cumulated vsize (KiB) 1852976

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+84.7088 s]
/proc/loadavg: 1.02 1.06 1.00 2/108 19264
/proc/meminfo: memFree=106220/2059040 swapFree=4139188/4192956
[pid=19259] ppid=19257 vsize=8700 CPUtime=0
/proc/19259/stat : 19259 (run) S 19257 19259 19048 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 55608768 8908800 251 1992294400 4194304 4922060 140734419918400 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19259/statm: 2175 251 211 178 0 68 0
[pid=19261] ppid=19259 vsize=1844276 CPUtime=84.67
/proc/19261/stat : 19261 (PBPASSolver) R 19259 19259 19048 0 -1 4202496 510713 0 0 0 8122 345 0 0 25 0 1 0 55608768 1888538624 443670 1992294400 134512640 134902295 4292971968 18446744073709551615 3151356 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19261/statm: 461069 443670 262 96 0 460281 0
Current children cumulated CPU time (s) 84.67
Current children cumulated vsize (KiB) 1852976

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19259 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.002998
# while last known CPU time is 84.67
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 84.722
CPU time (s): 84.67
CPU user time (s): 81.22
CPU system time (s): 3.45
CPU usage (%): 99.9386
Max. virtual memory (cumulated for all children) (KiB): 1852976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.001999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 524
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 3

runsolver used 0.153976 second user time and 0.406938 second system time

The end

Begin job on node006 at 2010-06-17 20:40:51
IDJOB=2673981
IDBENCH=2471
IDSOLVER=1174
FILE ID=node006/2673981-1276800051
PBS_JOBID= 11176676
Free space on /tmp= 62504 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-set1cl.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2673981-1276800051/watcher-2673981-1276800051 -o /tmp/evaluation-result-2673981-1276800051/solver-2673981-1276800051 -C 1800 -W 2000 -M 1800  run HOME/instance-2673981-1276800051.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= a40ee9ebe136b2e02d234e98858506e9
RANDOM SEED=88728088

node006.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.204
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.204
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1884792 kB
Buffers:          9232 kB
Cached:          73876 kB
SwapCached:       6100 kB
Active:          27912 kB
Inactive:        67896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1884792 kB
SwapTotal:     4192956 kB
SwapFree:      4139188 kB
Dirty:            1472 kB
Writeback:           0 kB
AnonPages:       11336 kB
Mapped:          12880 kB
Slab:            56444 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181384 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62500 MiB
End job on node006 at 2010-06-17 20:42:18