Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (MO) | 74.97 | 75.0138 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-tr12-30.opb |
MD5SUM | 9b62ad3c86a83b0289fcc931c207c964 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 21960 |
Total number of constraints | 750 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 750 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 372 |
Number of terms in the objective function | 11160 |
Biggest coefficient in the objective function | 2147483648 |
Number of bits for the biggest coefficient in the objective function | 32 |
Sum of the numbers in the objective function | 869952060630 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 2147483648 |
Number of bits of the biggest number in a constraint | 32 |
Biggest sum of numbers in a constraint | 869952060630 |
Number of bits of the biggest sum of numbers | 40 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
8.79/8.81 c 21960 750 0 0 0 0 0 0 8.79/8.81 c 8589934592 ~x21995+4294967296 ~x21994+2147483648 ~x21993+1073741824 ~x21992+536870912 ~x21991+268435456 ~x21990+134217728 ~x21989+67108864 ~x21988+33554432 ~x21987+16777216 ~x21986+8388608 ~x21985+4194304 ~x21984+2097152 ~x21983+1048576 ~x21982+524288 ~x21981+262144 ~x21980+131072 ~x21979+65536 ~x21978+32768 ~x21977+16384 ~x21976+8192 ~x21975+4096 ~x21974+2048 ~x21973+1024 ~x21972+512 ~x21971+256 ~x21970+128 ~x21969+64 ~x21968+32 ~x21967+16 ~x21966+8 ~x21965+4 ~x21964+2 ~x21963+1 ~x21962+20480 ~x21932+40960 ~x21902+20480 ~x21872+51200 ~x21842+40960 ~x21812+40960 ~x21782+51200 ~x21752+10240 ~x21722+10240 ~x21692+20480 ~x21662+40960 ~x21632+10240 ~x21602+536870912 ~x20731+268435456 ~x20730+134217728 ~x20729+67108864 ~x20728+33554432 ~x20727+16777216 ~x20726+8388608 ~x20725+4194304 ~x20724+2097152 ~x20723+1048576 ~x20722+524288 ~x20721+262144 ~x20720+131072 ~x20719+65536 ~x20718+32768 ~x20717+16384 ~x20716+8192 ~x20715+4096 ~x20714+2048 ~x20713+1024 ~x20712+512 ~x20711+256 ~x20710+128 ~x20709+64 ~x20708+32 ~x20707+16 ~x20706+8 ~x20705+4 ~x20704+2 ~x20703+1 ~x20702+536870912 ~x19831+268435456 ~x19830+134217728 ~x19829+67108864 ~x19828+33554432 ~x19827+16777216 ~x19826+8388608 ~x19825+4194304 ~x19824+2097152 ~x19823+1048576 ~x19822+524288 ~x19821+262144 ~x19820+131072 ~x19819+65536 ~x19818+32768 ~x19817+16384 ~x19816+8192 ~x19815+4096 ~x19814+2048 ~x19813+1024 ~x19812+512 ~x19811+256 ~x19810+128 ~x19809+64 ~x19808+32 ~x19807+16 ~x19806+8 ~x19805+4 ~x19804+2 ~x19803+1 ~x19802+536870912 ~x18931+268435456 ~x18930+134217728 ~x18929+67108864 ~x18928+33554432 ~x18927+16777216 ~x18926+8388608 ~x18925+4194304 ~x18924+2097152 ~x18923+1048576 ~x18922+524288 ~x18921+262144 ~x18920+131072 ~x18919+65536 ~x18918+32768 ~x18917+16384 ~x18916+8192 ~x18915+4096 ~x18914+2048 ~x18913+1024 ~x18912+512 ~x18911+256 ~x18910+128 ~x18909+64 ~x18908+32 ~x18907+16 ~x18906+8 ~x18905+4 ~x18904+2 ~x18903+1 ~x18902+536870912 ~x18031+268435456 ~x18030+134217728 ~x18029+67108864 ~x18028+33554432 ~x18027+16777216 ~x18026+8388608 ~x18025+4194304 ~x18024+2097152 ~x18023+1048576 ~x18022+524288 ~x18021+262144 ~x18020+131072 ~x18019+65536 ~x18018+32768 ~x18017+16384 ~x18016+8192 ~x18015+4096 ~x18014+2048 ~x18013+1024 ~x18012+512 ~x18011+256 ~x18010+128 ~x18009+64 ~x18008+32 ~x18007+16 ~x18006+8 ~x18005+4 ~x18004+2 ~x18003+1 ~x18002+536870912 ~x17131+268435456 ~x17130+134217728 ~x17129+67108864 ~x17128+33554432 ~x17127+16777216 ~x17126+8388608 ~x17125+4194304 ~x17124+2097152 ~x17123+1048576 ~x17122+524288 ~x17121+262144 ~x17120+131072 ~x17119+65536 ~x17118+32768 ~x17117+16384 ~x17116+8192 ~x17115+4096 ~x17114+2048 ~x17113+1024 ~x17112+512 ~x17111+256 ~x17110+128 ~x17109+64 ~x17108+32 ~x17107+16 ~x17106+8 ~x17105+4 ~x17104+2 ~x17103+1 ~x17102+536870912 ~x16231+268435456 ~x16230+134217728 ~x16229+67108864 ~x16228+33554432 ~x16227+16777216 ~x16226+8388608 ~x16225+4194304 ~x16224+2097152 ~x16223+1048576 ~x16222+524288 ~x16221+262144 ~x16220+131072 ~x16219+65536 ~x16218+32768 ~x16217+16384 ~x16216+8192 ~x16215+4096 ~x16214+2048 ~x16213+1024 ~x16212+512 ~x16211+256 ~x16210+128 ~x16209+64 ~x16208+32 ~x16207+16 ~x16206+8 ~x16205+4 ~x16204+2 ~x16203+1 ~x16202+536870912 ~x15331+268435456 ~x15330+134217728 ~x15329+67108864 ~x15328+33554432 ~x15327+16777216 ~x15326+8388608 ~x15325+4194304 ~x15324+2097152 ~x15323+1048576 ~x15322+524288 ~x15321+262144 ~x15320+131072 ~x15319+65536 ~x15318+32768 ~x15317+16384 ~x15316+8192 ~x15315+4096 ~x15314+2048 ~x15313+1024 ~x15312+512 ~x15311+256 ~x15310+128 ~x15309+64 ~x15308+32 ~x15307+16 ~x15306+8 ~x15305+4 ~x15304+2 ~x15303+1 ~x15302+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 ~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 ~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 ~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 ~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-0=30063585267 12.89/12.97 c 8589934592 ~x207488+4294967296 ~x207487+2147483648 ~x207486+1073741824 ~x207485+536870912 ~x207484+268435456 ~x207483+134217728 ~x207482+67108864 ~x207481+33554432 ~x207480+16777216 ~x207479+8388608 ~x207478+4194304 ~x207477+2097152 ~x207476+1048576 ~x207475+524288 ~x207474+262144 ~x207473+131072 ~x207472+65536 ~x207471+32768 ~x207470+16384 ~x207469+8192 ~x207468+4096 ~x207467+2048 ~x207466+1024 ~x207465+512 ~x207464+256 ~x207463+128 ~x207462+64 ~x207461+32 ~x207460+16 ~x207459+8 ~x207458+4 ~x207457+2 ~x207456+1 ~x207455+20480 ~x21933+40960 ~x21903+20480 ~x21873+51200 ~x21843+40960 ~x21813+40960 ~x21783+51200 ~x21753+10240 ~x21723+10240 ~x21693+20480 ~x21663+40960 ~x21633+10240 ~x21603+536870912 ~x20761+268435456 ~x20760+134217728 ~x20759+67108864 ~x20758+33554432 ~x20757+16777216 ~x20756+8388608 ~x20755+4194304 ~x20754+2097152 ~x20753+1048576 ~x20752+524288 ~x20751+262144 ~x20750+131072 ~x20749+65536 ~x20748+32768 ~x20747+16384 ~x20746+8192 ~x20745+4096 ~x20744+2048 ~x20743+1024 ~x20742+512 ~x20741+256 ~x20740+128 ~x20739+64 ~x20738+32 ~x20737+16 ~x20736+8 ~x20735+4 ~x20734+2 ~x20733+1 ~x20732+536870912 ~x19861+268435456 ~x19860+134217728 ~x19859+67108864 ~x19858+33554432 ~x19857+16777216 ~x19856+8388608 ~x19855+4194304 ~x19854+2097152 ~x19853+1048576 ~x19852+524288 ~x19851+262144 ~x19850+131072 ~x19849+65536 ~x19848+32768 ~x19847+16384 ~x19846+8192 ~x19845+4096 ~x19844+2048 ~x19843+1024 ~x19842+512 ~x19841+256 ~x19840+128 ~x19839+64 ~x19838+32 ~x19837+16 ~x19836+8 ~x19835+4 ~x19834+2 ~x19833+1 ~x19832+536870912 ~x18961+268435456 ~x18960+134217728 ~x18959+67108864 ~x18958+33554432 ~x18957+16777216 ~x18956+8388608 ~x18955+4194304 ~x18954+2097152 ~x18953+1048576 ~x18952+524288 ~x18951+262144 ~x18950+131072 ~x18949+65536 ~x18948+32768 ~x18947+16384 ~x18946+8192 ~x18945+4096 ~x18944+2048 ~x18943+1024 ~x18942+512 ~x18941+256 ~x18940+128 ~x18939+64 ~x18938+32 ~x18937+16 ~x18936+8 ~x18935+4 ~x18934+2 ~x18933+1 ~x18932+536870912 ~x18061+268435456 ~x18060+134217728 ~x18059+67108864 ~x18058+33554432 ~x18057+16777216 ~x18056+8388608 ~x18055+4194304 ~x18054+2097152 ~x18053+1048576 ~x18052+524288 ~x18051+262144 ~x18050+131072 ~x18049+65536 ~x18048+32768 ~x18047+16384 ~x18046+8192 ~x18045+4096 ~x18044+2048 ~x18043+1024 ~x18042+512 ~x18041+256 ~x18040+128 ~x18039+64 ~x18038+32 ~x18037+16 ~x18036+8 ~x18035+4 ~x18034+2 ~x18033+1 ~x18032+536870912 ~x17161+268435456 ~x17160+134217728 ~x17159+67108864 ~x17158+33554432 ~x17157+16777216 ~x17156+8388608 ~x17155+4194304 ~x17154+2097152 ~x17153+1048576 ~x17152+524288 ~x17151+262144 ~x17150+131072 ~x17149+65536 ~x17148+32768 ~x17147+16384 ~x17146+8192 ~x17145+4096 ~x17144+2048 ~x17143+1024 ~x17142+512 ~x17141+256 ~x17140+128 ~x17139+64 ~x17138+32 ~x17137+16 ~x17136+8 ~x17135+4 ~x17134+2 ~x17133+1 ~x17132+536870912 ~x16261+268435456 ~x16260+134217728 ~x16259+67108864 ~x16258+33554432 ~x16257+16777216 ~x16256+8388608 ~x16255+4194304 ~x16254+2097152 ~x16253+1048576 ~x16252+524288 ~x16251+262144 ~x16250+131072 ~x16249+65536 ~x16248+32768 ~x16247+16384 ~x16246+8192 ~x16245+4096 ~x16244+2048 ~x16243+1024 ~x16242+512 ~x16241+256 ~x16240+128 ~x16239+64 ~x16238+32 ~x16237+16 ~x16236+8 ~x16235+4 ~x16234+2 ~x16233+1 ~x16232+536870912 ~x15361+268435456 ~x15360+134217728 ~x15359+67108864 ~x15358+33554432 ~x15357+16777216 ~x15356+8388608 ~x15355+4194304 ~x15354+2097152 ~x15353+1048576 ~x15352+524288 ~x15351+262144 ~x15350+131072 ~x15349+65536 ~x15348+32768 ~x15347+16384 ~x15346+8192 ~x15345+4096 ~x15344+2048 ~x15343+1024 ~x15342+512 ~x15341+256 ~x15340+128 ~x15339+64 ~x15338+32 ~x15337+16 ~x15336+8 ~x15335+4 ~x15334+2 ~x15333+1 ~x15332+536870912 ~x14461+268435456 ~x14460+134217728 ~x14459+67108864 ~x14458+33554432 ~x14457+16777216 ~x14456+8388608 ~x14455+4194304 ~x14454+2097152 ~x14453+1048576 ~x14452+524288 ~x14451+262144 ~x14450+131072 ~x14449+65536 ~x14448+32768 ~x14447+16384 ~x14446+8192 ~x14445+4096 ~x14444+2048 ~x14443+1024 ~x14442+512 ~x14441+256 ~x14440+128 ~x14439+64 ~x14438+32 ~x14437+16 ~x14436+8 ~x14435+4 ~x14434+2 ~x14433+1 ~x14432+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 ~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 ~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 ~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-0=30063585267 17.18/17.27 c 8589934592 ~x392981+4294967296 ~x392980+2147483648 ~x392979+1073741824 ~x392978+536870912 ~x392977+268435456 ~x392976+134217728 ~x392975+67108864 ~x392974+33554432 ~x392973+16777216 ~x392972+8388608 ~x392971+4194304 ~x392970+2097152 ~x392969+1048576 ~x392968+524288 ~x392967+262144 ~x392966+131072 ~x392965+65536 ~x392964+32768 ~x392963+16384 ~x392962+8192 ~x392961+4096 ~x392960+2048 ~x392959+1024 ~x392958+512 ~x392957+256 ~x392956+128 ~x392955+64 ~x392954+32 ~x392953+16 ~x392952+8 ~x392951+4 ~x392950+2 ~x392949+1 ~x392948+20480 ~x21934+40960 ~x21904+20480 ~x21874+51200 ~x21844+40960 ~x21814+40960 ~x21784+51200 ~x21754+10240 ~x21724+10240 ~x21694+20480 ~x21664+40960 ~x21634+10240 ~x21604+536870912 ~x20791+268435456 ~x20790+134217728 ~x20789+67108864 ~x20788+33554432 ~x20787+16777216 ~x20786+8388608 ~x20785+4194304 ~x20784+2097152 ~x20783+1048576 ~x20782+524288 ~x20781+262144 ~x20780+131072 ~x20779+65536 ~x20778+32768 ~x20777+16384 ~x20776+8192 ~x20775+4096 ~x20774+2048 ~x20773+1024 ~x20772+512 ~x20771+256 ~x20770+128 ~x20769+64 ~x20768+32 ~x20767+16 ~x20766+8 ~x20765+4 ~x20764+2 ~x20763+1 ~x20762+536870912 ~x19891+268435456 ~x19890+134217728 ~x19889+67108864 ~x19888+33554432 ~x19887+16777216 ~x19886+8388608 ~x19885+4194304 ~x19884+2097152 ~x19883+1048576 ~x19882+524288 ~x19881+262144 ~x19880+131072 ~x19879+65536 ~x19878+32768 ~x19877+16384 ~x19876+8192 ~x19875+4096 ~x19874+2048 ~x19873+1024 ~x19872+512 ~x19871+256 ~x19870+128 ~x19869+64 ~x19868+32 ~x19867+16 ~x19866+8 ~x19865+4 ~x19864+2 ~x19863+1 ~x19862+536870912 ~x18991+268435456 ~x18990+134217728 ~x18989+67108864 ~x18988+33554432 ~x18987+16777216 ~x18986+8388608 ~x18985+4194304 ~x18984+2097152 ~x18983+1048576 ~x18982+524288 ~x18981+262144 ~x18980+131072 ~x18979+65536 ~x18978+32768 ~x18977+16384 ~x18976+8192 ~x18975+4096 ~x18974+2048 ~x18973+1024 ~x18972+512 ~x18971+256 ~x18970+128 ~x18969+64 ~x18968+32 ~x18967+16 ~x18966+8 ~x18965+4 ~x18964+2 ~x18963+1 ~x18962+536870912 ~x18091+268435456 ~x18090+134217728 ~x18089+67108864 ~x18088+33554432 ~x18087+16777216 ~x18086+8388608 ~x18085+4194304 ~x18084+2097152 ~x18083+1048576 ~x18082+524288 ~x18081+262144 ~x18080+131072 ~x18079+65536 ~x18078+32768 ~x18077+16384 ~x18076+8192 ~x18075+4096 ~x18074+2048 ~x18073+1024 ~x18072+512 ~x18071+256 ~x18070+128 ~x18069+64 ~x18068+32 ~x18067+16 ~x18066+8 ~x18065+4 ~x18064+2 ~x18063+1 ~x18062+536870912 ~x17191+268435456 ~x17190+134217728 ~x17189+67108864 ~x17188+33554432 ~x17187+16777216 ~x17186+8388608 ~x17185+4194304 ~x17184+2097152 ~x17183+1048576 ~x17182+524288 ~x17181+262144 ~x17180+131072 ~x17179+65536 ~x17178+32768 ~x17177+16384 ~x17176+8192 ~x17175+4096 ~x17174+2048 ~x17173+1024 ~x17172+512 ~x17171+256 ~x17170+128 ~x17169+64 ~x17168+32 ~x17167+16 ~x17166+8 ~x17165+4 ~x17164+2 ~x17163+1 ~x17162+536870912 ~x16291+268435456 ~x16290+134217728 ~x16289+67108864 ~x16288+33554432 ~x16287+16777216 ~x16286+8388608 ~x16285+4194304 ~x16284+2097152 ~x16283+1048576 ~x16282+524288 ~x16281+262144 ~x16280+131072 ~x16279+65536 ~x16278+32768 ~x16277+16384 ~x16276+8192 ~x16275+4096 ~x16274+2048 ~x16273+1024 ~x16272+512 ~x16271+256 ~x16270+128 ~x16269+64 ~x16268+32 ~x16267+16 ~x16266+8 ~x16265+4 ~x16264+2 ~x16263+1 ~x16262+536870912 ~x15391+268435456 ~x15390+134217728 ~x15389+67108864 ~x15388+33554432 ~x15387+16777216 ~x15386+8388608 ~x15385+4194304 ~x15384+2097152 ~x15383+1048576 ~x15382+524288 ~x15381+262144 ~x15380+131072 ~x15379+65536 ~x15378+32768 ~x15377+16384 ~x15376+8192 ~x15375+4096 ~x15374+2048 ~x15373+1024 ~x15372+512 ~x15371+256 ~x15370+128 ~x15369+64 ~x15368+32 ~x15367+16 ~x15366+8 ~x15365+4 ~x15364+2 ~x15363+1 ~x15362+536870912 ~x14491+268435456 ~x14490+134217728 ~x14489+67108864 ~x14488+33554432 ~x14487+16777216 ~x14486+8388608 ~x14485+4194304 ~x14484+2097152 ~x14483+1048576 ~x14482+524288 ~x14481+262144 ~x14480+131072 ~x14479+65536 ~x14478+32768 ~x14477+16384 ~x14476+8192 ~x14475+4096 ~x14474+2048 ~x14473+1024 ~x14472+512 ~x14471+256 ~x14470+128 ~x14469+64 ~x14468+32 ~x14467+16 ~x14466+8 ~x14465+4 ~x14464+2 ~x14463+1 ~x14462+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 ~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 ~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 ~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-0=30063585267 21.68/21.78 c 8589934592 ~x578474+4294967296 ~x578473+2147483648 ~x578472+1073741824 ~x578471+536870912 ~x578470+268435456 ~x578469+134217728 ~x578468+67108864 ~x578467+33554432 ~x578466+16777216 ~x578465+8388608 ~x578464+4194304 ~x578463+2097152 ~x578462+1048576 ~x578461+524288 ~x578460+262144 ~x578459+131072 ~x578458+65536 ~x578457+32768 ~x578456+16384 ~x578455+8192 ~x578454+4096 ~x578453+2048 ~x578452+1024 ~x578451+512 ~x578450+256 ~x578449+128 ~x578448+64 ~x578447+32 ~x578446+16 ~x578445+8 ~x578444+4 ~x578443+2 ~x578442+1 ~x578441+20480 ~x21935+40960 ~x21905+20480 ~x21875+51200 ~x21845+40960 ~x21815+40960 ~x21785+51200 ~x21755+10240 ~x21725+10240 ~x21695+20480 ~x21665+40960 ~x21635+10240 ~x21605+536870912 ~x20821+268435456 ~x20820+134217728 ~x20819+67108864 ~x20818+33554432 ~x20817+16777216 ~x20816+8388608 ~x20815+4194304 ~x20814+2097152 ~x20813+1048576 ~x20812+524288 ~x20811+262144 ~x20810+131072 ~x20809+65536 ~x20808+32768 ~x20807+16384 ~x20806+8192 ~x20805+4096 ~x20804+2048 ~x20803+1024 ~x20802+512 ~x20801+256 ~x20800+128 ~x20799+64 ~x20798+32 ~x20797+16 ~x20796+8 ~x20795+4 ~x20794+2 ~x20793+1 ~x20792+536870912 ~x19921+268435456 ~x19920+134217728 ~x19919+67108864 ~x19918+33554432 ~x19917+16777216 ~x19916+8388608 ~x19915+4194304 ~x19914+2097152 ~x19913+1048576 ~x19912+524288 ~x19911+262144 ~x19910+131072 ~x19909+65536 ~x19908+32768 ~x19907+16384 ~x19906+8192 ~x19905+4096 ~x19904+2048 ~x19903+1024 ~x19902+512 ~x19901+256 ~x19900+128 ~x19899+64 ~x19898+32 ~x19897+16 ~x19896+8 ~x19895+4 ~x19894+2 ~x19893+1 ~x19892+536870912 ~x19021+268435456 ~x19020+134217728 ~x19019+67108864 ~x19018+33554432 ~x19017+16777216 ~x19016+8388608 ~x19015+4194304 ~x19014+2097152 ~x19013+1048576 ~x19012+524288 ~x19011+262144 ~x19010+131072 ~x19009+65536 ~x19008+32768 ~x19007+16384 ~x19006+8192 ~x19005+4096 ~x19004+2048 ~x19003+1024 ~x19002+512 ~x19001+256 ~x19000+128 ~x18999+64 ~x18998+32 ~x18997+16 ~x18996+8 ~x18995+4 ~x18994+2 ~x18993+1 ~x18992+536870912 ~x18121+268435456 ~x18120+134217728 ~x18119+67108864 ~x18118+33554432 ~x18117+16777216 ~x18116+8388608 ~x18115+4194304 ~x18114+2097152 ~x18113+1048576 ~x18112+524288 ~x18111+262144 ~x18110+131072 ~x18109+65536 ~x18108+32768 ~x18107+16384 ~x18106+8192 ~x18105+4096 ~x18104+2048 ~x18103+1024 ~x18102+512 ~x18101+256 ~x18100+128 ~x18099+64 ~x18098+32 ~x18097+16 ~x18096+8 ~x18095+4 ~x18094+2 ~x18093+1 ~x18092+536870912 ~x17221+268435456 ~x17220+134217728 ~x17219+67108864 ~x17218+33554432 ~x17217+16777216 ~x17216+8388608 ~x17215+4194304 ~x17214+2097152 ~x17213+1048576 ~x17212+524288 ~x17211+262144 ~x17210+131072 ~x17209+65536 ~x17208+32768 ~x17207+16384 ~x17206+8192 ~x17205+4096 ~x17204+2048 ~x17203+1024 ~x17202+512 ~x17201+256 ~x17200+128 ~x17199+64 ~x17198+32 ~x17197+16 ~x17196+8 ~x17195+4 ~x17194+2 ~x17193+1 ~x17192+536870912 ~x16321+268435456 ~x16320+134217728 ~x16319+67108864 ~x16318+33554432 ~x16317+16777216 ~x16316+8388608 ~x16315+4194304 ~x16314+2097152 ~x16313+1048576 ~x16312+524288 ~x16311+262144 ~x16310+131072 ~x16309+65536 ~x16308+32768 ~x16307+16384 ~x16306+8192 ~x16305+4096 ~x16304+2048 ~x16303+1024 ~x16302+512 ~x16301+256 ~x16300+128 ~x16299+64 ~x16298+32 ~x16297+16 ~x16296+8 ~x16295+4 ~x16294+2 ~x16293+1 ~x16292+536870912 ~x15421+268435456 ~x15420+134217728 ~x15419+67108864 ~x15418+33554432 ~x15417+16777216 ~x15416+8388608 ~x15415+4194304 ~x15414+2097152 ~x15413+1048576 ~x15412+524288 ~x15411+262144 ~x15410+131072 ~x15409+65536 ~x15408+32768 ~x15407+16384 ~x15406+8192 ~x15405+4096 ~x15404+2048 ~x15403+1024 ~x15402+512 ~x15401+256 ~x15400+128 ~x15399+64 ~x15398+32 ~x15397+16 ~x15396+8 ~x15395+4 ~x15394+2 ~x15393+1 ~x15392+536870912 ~x14521+268435456 ~x14520+134217728 ~x14519+67108864 ~x14518+33554432 ~x14517+16777216 ~x14516+8388608 ~x14515+4194304 ~x14514+2097152 ~x14513+1048576 ~x14512+524288 ~x14511+262144 ~x14510+131072 ~x14509+65536 ~x14508+32768 ~x14507+16384 ~x14506+8192 ~x14505+4096 ~x14504+2048 ~x14503+1024 ~x14502+512 ~x14501+256 ~x14500+128 ~x14499+64 ~x14498+32 ~x14497+16 ~x14496+8 ~x14495+4 ~x14494+2 ~x14493+1 ~x14492+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 ~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 ~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 ~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-0=30063585267 25.88/25.92 c 8589934592 ~x763967+4294967296 ~x763966+2147483648 ~x763965+1073741824 ~x763964+536870912 ~x763963+268435456 ~x763962+134217728 ~x763961+67108864 ~x763960+33554432 ~x763959+16777216 ~x763958+8388608 ~x763957+4194304 ~x763956+2097152 ~x763955+1048576 ~x763954+524288 ~x763953+262144 ~x763952+131072 ~x763951+65536 ~x763950+32768 ~x763949+16384 ~x763948+8192 ~x763947+4096 ~x763946+2048 ~x763945+1024 ~x763944+512 ~x763943+256 ~x763942+128 ~x763941+64 ~x763940+32 ~x763939+16 ~x763938+8 ~x763937+4 ~x763936+2 ~x763935+1 ~x763934+20480 ~x21936+40960 ~x21906+20480 ~x21876+51200 ~x21846+40960 ~x21816+40960 ~x21786+51200 ~x21756+10240 ~x21726+10240 ~x21696+20480 ~x21666+40960 ~x21636+10240 ~x21606+536870912 ~x20851+268435456 ~x20850+134217728 ~x20849+67108864 ~x20848+33554432 ~x20847+16777216 ~x20846+8388608 ~x20845+4194304 ~x20844+2097152 ~x20843+1048576 ~x20842+524288 ~x20841+262144 ~x20840+131072 ~x20839+65536 ~x20838+32768 ~x20837+16384 ~x20836+8192 ~x20835+4096 ~x20834+2048 ~x20833+1024 ~x20832+512 ~x20831+256 ~x20830+128 ~x20829+64 ~x20828+32 ~x20827+16 ~x20826+8 ~x20825+4 ~x20824+2 ~x20823+1 ~x20822+536870912 ~x19951+268435456 ~x19950+134217728 ~x19949+67108864 ~x19948+33554432 ~x19947+16777216 ~x19946+8388608 ~x19945+4194304 ~x19944+2097152 ~x19943+1048576 ~x19942+524288 ~x19941+262144 ~x19940+131072 ~x19939+65536 ~x19938+32768 ~x19937+16384 ~x19936+8192 ~x19935+4096 ~x19934+2048 ~x19933+1024 ~x19932+512 ~x19931+256 ~x19930+128 ~x19929+64 ~x19928+32 ~x19927+16 ~x19926+8 ~x19925+4 ~x19924+2 ~x19923+1 ~x19922+536870912 ~x19051+268435456 ~x19050+134217728 ~x19049+67108864 ~x19048+33554432 ~x19047+16777216 ~x19046+8388608 ~x19045+4194304 ~x19044+2097152 ~x19043+1048576 ~x19042+524288 ~x19041+262144 ~x19040+131072 ~x19039+65536 ~x19038+32768 ~x19037+16384 ~x19036+8192 ~x19035+4096 ~x19034+2048 ~x19033+1024 ~x19032+512 ~x19031+256 ~x19030+128 ~x19029+64 ~x19028+32 ~x19027+16 ~x19026+8 ~x19025+4 ~x19024+2 ~x19023+1 ~x19022+536870912 ~x18151+268435456 ~x18150+134217728 ~x18149+67108864 ~x18148+33554432 ~x18147+16777216 ~x18146+8388608 ~x18145+4194304 ~x18144+2097152 ~x18143+1048576 ~x18142+524288 ~x18141+262144 ~x18140+131072 ~x18139+65536 ~x18138+32768 ~x18137+16384 ~x18136+8192 ~x18135+4096 ~x18134+2048 ~x18133+1024 ~x18132+512 ~x18131+256 ~x18130+128 ~x18129+64 ~x18128+32 ~x18127+16 ~x18126+8 ~x18125+4 ~x18124+2 ~x18123+1 ~x18122+536870912 ~x17251+268435456 ~x17250+134217728 ~x17249+67108864 ~x17248+33554432 ~x17247+16777216 ~x17246+8388608 ~x17245+4194304 ~x17244+2097152 ~x17243+1048576 ~x17242+524288 ~x17241+262144 ~x17240+131072 ~x17239+65536 ~x17238+32768 ~x17237+16384 ~x17236+8192 ~x17235+4096 ~x17234+2048 ~x17233+1024 ~x17232+512 ~x17231+256 ~x17230+128 ~x17229+64 ~x17228+32 ~x17227+16 ~x17226+8 ~x17225+4 ~x17224+2 ~x17223+1 ~x17222+536870912 ~x16351+268435456 ~x16350+134217728 ~x16349+67108864 ~x16348+33554432 ~x16347+16777216 ~x16346+8388608 ~x16345+4194304 ~x16344+2097152 ~x16343+1048576 ~x16342+524288 ~x16341+262144 ~x16340+131072 ~x16339+65536 ~x16338+32768 ~x16337+16384 ~x16336+8192 ~x16335+4096 ~x16334+2048 ~x16333+1024 ~x16332+512 ~x16331+256 ~x16330+128 ~x16329+64 ~x16328+32 ~x16327+16 ~x16326+8 ~x16325+4 ~x16324+2 ~x16323+1 ~x16322+536870912 ~x15451+268435456 ~x15450+134217728 ~x15449+67108864 ~x15448+33554432 ~x15447+16777216 ~x15446+8388608 ~x15445+4194304 ~x15444+2097152 ~x15443+1048576 ~x15442+524288 ~x15441+262144 ~x15440+131072 ~x15439+65536 ~x15438+32768 ~x15437+16384 ~x15436+8192 ~x15435+4096 ~x15434+2048 ~x15433+1024 ~x15432+512 ~x15431+256 ~x15430+128 ~x15429+64 ~x15428+32 ~x15427+16 ~x15426+8 ~x15425+4 ~x15424+2 ~x15423+1 ~x15422+536870912 ~x14551+268435456 ~x14550+134217728 ~x14549+67108864 ~x14548+33554432 ~x14547+16777216 ~x14546+8388608 ~x14545+4194304 ~x14544+2097152 ~x14543+1048576 ~x14542+524288 ~x14541+262144 ~x14540+131072 ~x14539+65536 ~x14538+32768 ~x14537+16384 ~x14536+8192 ~x14535+4096 ~x14534+2048 ~x14533+1024 ~x14532+512 ~x14531+256 ~x14530+128 ~x14529+64 ~x14528+32 ~x14527+16 ~x14526+8 ~x14525+4 ~x14524+2 ~x14523+1 ~x14522+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 ~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 ~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 ~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-0=30063585267 29.97/30.05 c 8589934592 ~x949460+4294967296 ~x949459+2147483648 ~x949458+1073741824 ~x949457+536870912 ~x949456+268435456 ~x949455+134217728 ~x949454+67108864 ~x949453+33554432 ~x949452+16777216 ~x949451+8388608 ~x949450+4194304 ~x949449+2097152 ~x949448+1048576 ~x949447+524288 ~x949446+262144 ~x949445+131072 ~x949444+65536 ~x949443+32768 ~x949442+16384 ~x949441+8192 ~x949440+4096 ~x949439+2048 ~x949438+1024 ~x949437+512 ~x949436+256 ~x949435+128 ~x949434+64 ~x949433+32 ~x949432+16 ~x949431+8 ~x949430+4 ~x949429+2 ~x949428+1 ~x949427+20480 ~x21937+40960 ~x21907+20480 ~x21877+51200 ~x21847+40960 ~x21817+40960 ~x21787+51200 ~x21757+10240 ~x21727+10240 ~x21697+20480 ~x21667+40960 ~x21637+10240 ~x21607+536870912 ~x20881+268435456 ~x20880+134217728 ~x20879+67108864 ~x20878+33554432 ~x20877+16777216 ~x20876+8388608 ~x20875+4194304 ~x20874+2097152 ~x20873+1048576 ~x20872+524288 ~x20871+262144 ~x20870+131072 ~x20869+65536 ~x20868+32768 ~x20867+16384 ~x20866+8192 ~x20865+4096 ~x20864+2048 ~x20863+1024 ~x20862+512 ~x20861+256 ~x20860+128 ~x20859+64 ~x20858+32 ~x20857+16 ~x20856+8 ~x20855+4 ~x20854+2 ~x20853+1 ~x20852+536870912 ~x19981+268435456 ~x19980+134217728 ~x19979+67108864 ~x19978+33554432 ~x19977+16777216 ~x19976+8388608 ~x19975+4194304 ~x19974+2097152 ~x19973+1048576 ~x19972+524288 ~x19971+262144 ~x19970+131072 ~x19969+65536 ~x19968+32768 ~x19967+16384 ~x19966+8192 ~x19965+4096 ~x19964+2048 ~x19963+1024 ~x19962+512 ~x19961+256 ~x19960+128 ~x19959+64 ~x19958+32 ~x19957+16 ~x19956+8 ~x19955+4 ~x19954+2 ~x19953+1 ~x19952+536870912 ~x19081+268435456 ~x19080+134217728 ~x19079+67108864 ~x19078+33554432 ~x19077+16777216 ~x19076+8388608 ~x19075+4194304 ~x19074+2097152 ~x19073+1048576 ~x19072+524288 ~x19071+262144 ~x19070+131072 ~x19069+65536 ~x19068+32768 ~x19067+16384 ~x19066+8192 ~x19065+4096 ~x19064+2048 ~x19063+1024 ~x19062+512 ~x19061+256 ~x19060+128 ~x19059+64 ~x19058+32 ~x19057+16 ~x19056+8 ~x19055+4 ~x19054+2 ~x19053+1 ~x19052+536870912 ~x18181+268435456 ~x18180+134217728 ~x18179+67108864 ~x18178+33554432 ~x18177+16777216 ~x18176+8388608 ~x18175+4194304 ~x18174+2097152 ~x18173+1048576 ~x18172+524288 ~x18171+262144 ~x18170+131072 ~x18169+65536 ~x18168+32768 ~x18167+16384 ~x18166+8192 ~x18165+4096 ~x18164+2048 ~x18163+1024 ~x18162+512 ~x18161+256 ~x18160+128 ~x18159+64 ~x18158+32 ~x18157+16 ~x18156+8 ~x18155+4 ~x18154+2 ~x18153+1 ~x18152+536870912 ~x17281+268435456 ~x17280+134217728 ~x17279+67108864 ~x17278+33554432 ~x17277+16777216 ~x17276+8388608 ~x17275+4194304 ~x17274+2097152 ~x17273+1048576 ~x17272+524288 ~x17271+262144 ~x17270+131072 ~x17269+65536 ~x17268+32768 ~x17267+16384 ~x17266+8192 ~x17265+4096 ~x17264+2048 ~x17263+1024 ~x17262+512 ~x17261+256 ~x17260+128 ~x17259+64 ~x17258+32 ~x17257+16 ~x17256+8 ~x17255+4 ~x17254+2 ~x17253+1 ~x17252+536870912 ~x16381+268435456 ~x16380+134217728 ~x16379+67108864 ~x16378+33554432 ~x16377+16777216 ~x16376+8388608 ~x16375+4194304 ~x16374+2097152 ~x16373+1048576 ~x16372+524288 ~x16371+262144 ~x16370+131072 ~x16369+65536 ~x16368+32768 ~x16367+16384 ~x16366+8192 ~x16365+4096 ~x16364+2048 ~x16363+1024 ~x16362+512 ~x16361+256 ~x16360+128 ~x16359+64 ~x16358+32 ~x16357+16 ~x16356+8 ~x16355+4 ~x16354+2 ~x16353+1 ~x16352+536870912 ~x15481+268435456 ~x15480+134217728 ~x15479+67108864 ~x15478+33554432 ~x15477+16777216 ~x15476+8388608 ~x15475+4194304 ~x15474+2097152 ~x15473+1048576 ~x15472+524288 ~x15471+262144 ~x15470+131072 ~x15469+65536 ~x15468+32768 ~x15467+16384 ~x15466+8192 ~x15465+4096 ~x15464+2048 ~x15463+1024 ~x15462+512 ~x15461+256 ~x15460+128 ~x15459+64 ~x15458+32 ~x15457+16 ~x15456+8 ~x15455+4 ~x15454+2 ~x15453+1 ~x15452+536870912 ~x14581+268435456 ~x14580+134217728 ~x14579+67108864 ~x14578+33554432 ~x14577+16777216 ~x14576+8388608 ~x14575+4194304 ~x14574+2097152 ~x14573+1048576 ~x14572+524288 ~x14571+262144 ~x14570+131072 ~x14569+65536 ~x14568+32768 ~x14567+16384 ~x14566+8192 ~x14565+4096 ~x14564+2048 ~x14563+1024 ~x14562+512 ~x14561+256 ~x14560+128 ~x14559+64 ~x14558+32 ~x14557+16 ~x14556+8 ~x14555+4 ~x14554+2 ~x14553+1 ~x14552+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 ~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 ~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 ~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-0=30063585267 34.08/34.18 c 8589934592 ~x1134953+4294967296 ~x1134952+2147483648 ~x1134951+1073741824 ~x1134950+536870912 ~x1134949+268435456 ~x1134948+134217728 ~x1134947+67108864 ~x1134946+33554432 ~x1134945+16777216 ~x1134944+8388608 ~x1134943+4194304 ~x1134942+2097152 ~x1134941+1048576 ~x1134940+524288 ~x1134939+262144 ~x1134938+131072 ~x1134937+65536 ~x1134936+32768 ~x1134935+16384 ~x1134934+8192 ~x1134933+4096 ~x1134932+2048 ~x1134931+1024 ~x1134930+512 ~x1134929+256 ~x1134928+128 ~x1134927+64 ~x1134926+32 ~x1134925+16 ~x1134924+8 ~x1134923+4 ~x1134922+2 ~x1134921+1 ~x1134920+20480 ~x21938+40960 ~x21908+20480 ~x21878+51200 ~x21848+40960 ~x21818+40960 ~x21788+51200 ~x21758+10240 ~x21728+10240 ~x21698+20480 ~x21668+40960 ~x21638+10240 ~x21608+536870912 ~x20911+268435456 ~x20910+134217728 ~x20909+67108864 ~x20908+33554432 ~x20907+16777216 ~x20906+8388608 ~x20905+4194304 ~x20904+2097152 ~x20903+1048576 ~x20902+524288 ~x20901+262144 ~x20900+131072 ~x20899+65536 ~x20898+32768 ~x20897+16384 ~x20896+8192 ~x20895+4096 ~x20894+2048 ~x20893+1024 ~x20892+512 ~x20891+256 ~x20890+128 ~x20889+64 ~x20888+32 ~x20887+16 ~x20886+8 ~x20885+4 ~x20884+2 ~x20883+1 ~x20882+536870912 ~x20011+268435456 ~x20010+134217728 ~x20009+67108864 ~x20008+33554432 ~x20007+16777216 ~x20006+8388608 ~x20005+4194304 ~x20004+2097152 ~x20003+1048576 ~x20002+524288 ~x20001+262144 ~x20000+131072 ~x19999+65536 ~x19998+32768 ~x19997+16384 ~x19996+8192 ~x19995+4096 ~x19994+2048 ~x19993+1024 ~x19992+512 ~x19991+256 ~x19990+128 ~x19989+64 ~x19988+32 ~x19987+16 ~x19986+8 ~x19985+4 ~x19984+2 ~x19983+1 ~x19982+536870912 ~x19111+268435456 ~x19110+134217728 ~x19109+67108864 ~x19108+33554432 ~x19107+16777216 ~x19106+8388608 ~x19105+4194304 ~x19104+2097152 ~x19103+1048576 ~x19102+524288 ~x19101+262144 ~x19100+131072 ~x19099+65536 ~x19098+32768 ~x19097+16384 ~x19096+8192 ~x19095+4096 ~x19094+2048 ~x19093+1024 ~x19092+512 ~x19091+256 ~x19090+128 ~x19089+64 ~x19088+32 ~x19087+16 ~x19086+8 ~x19085+4 ~x19084+2 ~x19083+1 ~x19082+536870912 ~x18211+268435456 ~x18210+134217728 ~x18209+67108864 ~x18208+33554432 ~x18207+16777216 ~x18206+8388608 ~x18205+4194304 ~x18204+2097152 ~x18203+1048576 ~x18202+524288 ~x18201+262144 ~x18200+131072 ~x18199+65536 ~x18198+32768 ~x18197+16384 ~x18196+8192 ~x18195+4096 ~x18194+2048 ~x18193+1024 ~x18192+512 ~x18191+256 ~x18190+128 ~x18189+64 ~x18188+32 ~x18187+16 ~x18186+8 ~x18185+4 ~x18184+2 ~x18183+1 ~x18182+536870912 ~x17311+268435456 ~x17310+134217728 ~x17309+67108864 ~x17308+33554432 ~x17307+16777216 ~x17306+8388608 ~x17305+4194304 ~x17304+2097152 ~x17303+1048576 ~x17302+524288 ~x17301+262144 ~x17300+131072 ~x17299+65536 ~x17298+32768 ~x17297+16384 ~x17296+8192 ~x17295+4096 ~x17294+2048 ~x17293+1024 ~x17292+512 ~x17291+256 ~x17290+128 ~x17289+64 ~x17288+32 ~x17287+16 ~x17286+8 ~x17285+4 ~x17284+2 ~x17283+1 ~x17282+536870912 ~x16411+268435456 ~x16410+134217728 ~x16409+67108864 ~x16408+33554432 ~x16407+16777216 ~x16406+8388608 ~x16405+4194304 ~x16404+2097152 ~x16403+1048576 ~x16402+524288 ~x16401+262144 ~x16400+131072 ~x16399+65536 ~x16398+32768 ~x16397+16384 ~x16396+8192 ~x16395+4096 ~x16394+2048 ~x16393+1024 ~x16392+512 ~x16391+256 ~x16390+128 ~x16389+64 ~x16388+32 ~x16387+16 ~x16386+8 ~x16385+4 ~x16384+2 ~x16383+1 ~x16382+536870912 ~x15511+268435456 ~x15510+134217728 ~x15509+67108864 ~x15508+33554432 ~x15507+16777216 ~x15506+8388608 ~x15505+4194304 ~x15504+2097152 ~x15503+1048576 ~x15502+524288 ~x15501+262144 ~x15500+131072 ~x15499+65536 ~x15498+32768 ~x15497+16384 ~x15496+8192 ~x15495+4096 ~x15494+2048 ~x15493+1024 ~x15492+512 ~x15491+256 ~x15490+128 ~x15489+64 ~x15488+32 ~x15487+16 ~x15486+8 ~x15485+4 ~x15484+2 ~x15483+1 ~x15482+536870912 ~x14611+268435456 ~x14610+134217728 ~x14609+67108864 ~x14608+33554432 ~x14607+16777216 ~x14606+8388608 ~x14605+4194304 ~x14604+2097152 ~x14603+1048576 ~x14602+524288 ~x14601+262144 ~x14600+131072 ~x14599+65536 ~x14598+32768 ~x14597+16384 ~x14596+8192 ~x14595+4096 ~x14594+2048 ~x14593+1024 ~x14592+512 ~x14591+256 ~x14590+128 ~x14589+64 ~x14588+32 ~x14587+16 ~x14586+8 ~x14585+4 ~x14584+2 ~x14583+1 ~x14582+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 ~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 ~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 ~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-0=30063585267 38.28/38.33 c 8589934592 ~x1320446+4294967296 ~x1320445+2147483648 ~x1320444+1073741824 ~x1320443+536870912 ~x1320442+268435456 ~x1320441+134217728 ~x1320440+67108864 ~x1320439+33554432 ~x1320438+16777216 ~x1320437+8388608 ~x1320436+4194304 ~x1320435+2097152 ~x1320434+1048576 ~x1320433+524288 ~x1320432+262144 ~x1320431+131072 ~x1320430+65536 ~x1320429+32768 ~x1320428+16384 ~x1320427+8192 ~x1320426+4096 ~x1320425+2048 ~x1320424+1024 ~x1320423+512 ~x1320422+256 ~x1320421+128 ~x1320420+64 ~x1320419+32 ~x1320418+16 ~x1320417+8 ~x1320416+4 ~x1320415+2 ~x1320414+1 ~x1320413+20480 ~x21939+40960 ~x21909+20480 ~x21879+51200 ~x21849+40960 ~x21819+40960 ~x21789+51200 ~x21759+10240 ~x21729+10240 ~x21699+20480 ~x21669+40960 ~x21639+10240 ~x21609+536870912 ~x20941+268435456 ~x20940+134217728 ~x20939+67108864 ~x20938+33554432 ~x20937+16777216 ~x20936+8388608 ~x20935+4194304 ~x20934+2097152 ~x20933+1048576 ~x20932+524288 ~x20931+262144 ~x20930+131072 ~x20929+65536 ~x20928+32768 ~x20927+16384 ~x20926+8192 ~x20925+4096 ~x20924+2048 ~x20923+1024 ~x20922+512 ~x20921+256 ~x20920+128 ~x20919+64 ~x20918+32 ~x20917+16 ~x20916+8 ~x20915+4 ~x20914+2 ~x20913+1 ~x20912+536870912 ~x20041+268435456 ~x20040+134217728 ~x20039+67108864 ~x20038+33554432 ~x20037+16777216 ~x20036+8388608 ~x20035+4194304 ~x20034+2097152 ~x20033+1048576 ~x20032+524288 ~x20031+262144 ~x20030+131072 ~x20029+65536 ~x20028+32768 ~x20027+16384 ~x20026+8192 ~x20025+4096 ~x20024+2048 ~x20023+1024 ~x20022+512 ~x20021+256 ~x20020+128 ~x20019+64 ~x20018+32 ~x20017+16 ~x20016+8 ~x20015+4 ~x20014+2 ~x20013+1 ~x20012+536870912 ~x19141+268435456 ~x19140+134217728 ~x19139+67108864 ~x19138+33554432 ~x19137+16777216 ~x19136+8388608 ~x19135+4194304 ~x19134+2097152 ~x19133+1048576 ~x19132+524288 ~x19131+262144 ~x19130+131072 ~x19129+65536 ~x19128+32768 ~x19127+16384 ~x19126+8192 ~x19125+4096 ~x19124+2048 ~x19123+1024 ~x19122+512 ~x19121+256 ~x19120+128 ~x19119+64 ~x19118+32 ~x19117+16 ~x19116+8 ~x19115+4 ~x19114+2 ~x19113+1 ~x19112+536870912 ~x18241+268435456 ~x18240+134217728 ~x18239+67108864 ~x18238+33554432 ~x18237+16777216 ~x18236+8388608 ~x18235+4194304 ~x18234+2097152 ~x18233+1048576 ~x18232+524288 ~x18231+262144 ~x18230+131072 ~x18229+65536 ~x18228+32768 ~x18227+16384 ~x18226+8192 ~x18225+4096 ~x18224+2048 ~x18223+1024 ~x18222+512 ~x18221+256 ~x18220+128 ~x18219+64 ~x18218+32 ~x18217+16 ~x18216+8 ~x18215+4 ~x18214+2 ~x18213+1 ~x18212+536870912 ~x17341+268435456 ~x17340+134217728 ~x17339+67108864 ~x17338+33554432 ~x17337+16777216 ~x17336+8388608 ~x17335+4194304 ~x17334+2097152 ~x17333+1048576 ~x17332+524288 ~x17331+262144 ~x17330+131072 ~x17329+65536 ~x17328+32768 ~x17327+16384 ~x17326+8192 ~x17325+4096 ~x17324+2048 ~x17323+1024 ~x17322+512 ~x17321+256 ~x17320+128 ~x17319+64 ~x17318+32 ~x17317+16 ~x17316+8 ~x17315+4 ~x17314+2 ~x17313+1 ~x17312+536870912 ~x16441+268435456 ~x16440+134217728 ~x16439+67108864 ~x16438+33554432 ~x16437+16777216 ~x16436+8388608 ~x16435+4194304 ~x16434+2097152 ~x16433+1048576 ~x16432+524288 ~x16431+262144 ~x16430+131072 ~x16429+65536 ~x16428+32768 ~x16427+16384 ~x16426+8192 ~x16425+4096 ~x16424+2048 ~x16423+1024 ~x16422+512 ~x16421+256 ~x16420+128 ~x16419+64 ~x16418+32 ~x16417+16 ~x16416+8 ~x16415+4 ~x16414+2 ~x16413+1 ~x16412+536870912 ~x15541+268435456 ~x15540+134217728 ~x15539+67108864 ~x15538+33554432 ~x15537+16777216 ~x15536+8388608 ~x15535+4194304 ~x15534+2097152 ~x15533+1048576 ~x15532+524288 ~x15531+262144 ~x15530+131072 ~x15529+65536 ~x15528+32768 ~x15527+16384 ~x15526+8192 ~x15525+4096 ~x15524+2048 ~x15523+1024 ~x15522+512 ~x15521+256 ~x15520+128 ~x15519+64 ~x15518+32 ~x15517+16 ~x15516+8 ~x15515+4 ~x15514+2 ~x15513+1 ~x15512+536870912 ~x14641+268435456 ~x14640+134217728 ~x14639+67108864 ~x14638+33554432 ~x14637+16777216 ~x14636+8388608 ~x14635+4194304 ~x14634+2097152 ~x14633+1048576 ~x14632+524288 ~x14631+262144 ~x14630+131072 ~x14629+65536 ~x14628+32768 ~x14627+16384 ~x14626+8192 ~x14625+4096 ~x14624+2048 ~x14623+1024 ~x14622+512 ~x14621+256 ~x14620+128 ~x14619+64 ~x14618+32 ~x14617+16 ~x14616+8 ~x14615+4 ~x14614+2 ~x14613+1 ~x14612+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 ~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 ~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 ~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-0=30063585267 42.37/42.46 c 8589934592 ~x1505939+4294967296 ~x1505938+2147483648 ~x1505937+1073741824 ~x1505936+536870912 ~x1505935+268435456 ~x1505934+134217728 ~x1505933+67108864 ~x1505932+33554432 ~x1505931+16777216 ~x1505930+8388608 ~x1505929+4194304 ~x1505928+2097152 ~x1505927+1048576 ~x1505926+524288 ~x1505925+262144 ~x1505924+131072 ~x1505923+65536 ~x1505922+32768 ~x1505921+16384 ~x1505920+8192 ~x1505919+4096 ~x1505918+2048 ~x1505917+1024 ~x1505916+512 ~x1505915+256 ~x1505914+128 ~x1505913+64 ~x1505912+32 ~x1505911+16 ~x1505910+8 ~x1505909+4 ~x1505908+2 ~x1505907+1 ~x1505906+20480 ~x21940+40960 ~x21910+20480 ~x21880+51200 ~x21850+40960 ~x21820+40960 ~x21790+51200 ~x21760+10240 ~x21730+10240 ~x21700+20480 ~x21670+40960 ~x21640+10240 ~x21610+536870912 ~x20971+268435456 ~x20970+134217728 ~x20969+67108864 ~x20968+33554432 ~x20967+16777216 ~x20966+8388608 ~x20965+4194304 ~x20964+2097152 ~x20963+1048576 ~x20962+524288 ~x20961+262144 ~x20960+131072 ~x20959+65536 ~x20958+32768 ~x20957+16384 ~x20956+8192 ~x20955+4096 ~x20954+2048 ~x20953+1024 ~x20952+512 ~x20951+256 ~x20950+128 ~x20949+64 ~x20948+32 ~x20947+16 ~x20946+8 ~x20945+4 ~x20944+2 ~x20943+1 ~x20942+536870912 ~x20071+268435456 ~x20070+134217728 ~x20069+67108864 ~x20068+33554432 ~x20067+16777216 ~x20066+8388608 ~x20065+4194304 ~x20064+2097152 ~x20063+1048576 ~x20062+524288 ~x20061+262144 ~x20060+131072 ~x20059+65536 ~x20058+32768 ~x20057+16384 ~x20056+8192 ~x20055+4096 ~x20054+2048 ~x20053+1024 ~x20052+512 ~x20051+256 ~x20050+128 ~x20049+64 ~x20048+32 ~x20047+16 ~x20046+8 ~x20045+4 ~x20044+2 ~x20043+1 ~x20042+536870912 ~x19171+268435456 ~x19170+134217728 ~x19169+67108864 ~x19168+33554432 ~x19167+16777216 ~x19166+8388608 ~x19165+4194304 ~x19164+2097152 ~x19163+1048576 ~x19162+524288 ~x19161+262144 ~x19160+131072 ~x19159+65536 ~x19158+32768 ~x19157+16384 ~x19156+8192 ~x19155+4096 ~x19154+2048 ~x19153+1024 ~x19152+512 ~x19151+256 ~x19150+128 ~x19149+64 ~x19148+32 ~x19147+16 ~x19146+8 ~x19145+4 ~x19144+2 ~x19143+1 ~x19142+536870912 ~x18271+268435456 ~x18270+134217728 ~x18269+67108864 ~x18268+33554432 ~x18267+16777216 ~x18266+8388608 ~x18265+4194304 ~x18264+2097152 ~x18263+1048576 ~x18262+524288 ~x18261+262144 ~x18260+131072 ~x18259+65536 ~x18258+32768 ~x18257+16384 ~x18256+8192 ~x18255+4096 ~x18254+2048 ~x18253+1024 ~x18252+512 ~x18251+256 ~x18250+128 ~x18249+64 ~x18248+32 ~x18247+16 ~x18246+8 ~x18245+4 ~x18244+2 ~x18243+1 ~x18242+536870912 ~x17371+268435456 ~x17370+134217728 ~x17369+67108864 ~x17368+33554432 ~x17367+16777216 ~x17366+8388608 ~x17365+4194304 ~x17364+2097152 ~x17363+1048576 ~x17362+524288 ~x17361+262144 ~x17360+131072 ~x17359+65536 ~x17358+32768 ~x17357+16384 ~x17356+8192 ~x17355+4096 ~x17354+2048 ~x17353+1024 ~x17352+512 ~x17351+256 ~x17350+128 ~x17349+64 ~x17348+32 ~x17347+16 ~x17346+8 ~x17345+4 ~x17344+2 ~x17343+1 ~x17342+536870912 ~x16471+268435456 ~x16470+134217728 ~x16469+67108864 ~x16468+33554432 ~x16467+16777216 ~x16466+8388608 ~x16465+4194304 ~x16464+2097152 ~x16463+1048576 ~x16462+524288 ~x16461+262144 ~x16460+131072 ~x16459+65536 ~x16458+32768 ~x16457+16384 ~x16456+8192 ~x16455+4096 ~x16454+2048 ~x16453+1024 ~x16452+512 ~x16451+256 ~x16450+128 ~x16449+64 ~x16448+32 ~x16447+16 ~x16446+8 ~x16445+4 ~x16444+2 ~x16443+1 ~x16442+536870912 ~x15571+268435456 ~x15570+134217728 ~x15569+67108864 ~x15568+33554432 ~x15567+16777216 ~x15566+8388608 ~x15565+4194304 ~x15564+2097152 ~x15563+1048576 ~x15562+524288 ~x15561+262144 ~x15560+131072 ~x15559+65536 ~x15558+32768 ~x15557+16384 ~x15556+8192 ~x15555+4096 ~x15554+2048 ~x15553+1024 ~x15552+512 ~x15551+256 ~x15550+128 ~x15549+64 ~x15548+32 ~x15547+16 ~x15546+8 ~x15545+4 ~x15544+2 ~x15543+1 ~x15542+536870912 ~x14671+268435456 ~x14670+134217728 ~x14669+67108864 ~x14668+33554432 ~x14667+16777216 ~x14666+8388608 ~x14665+4194304 ~x14664+2097152 ~x14663+1048576 ~x14662+524288 ~x14661+262144 ~x14660+131072 ~x14659+65536 ~x14658+32768 ~x14657+16384 ~x14656+8192 ~x14655+4096 ~x14654+2048 ~x14653+1024 ~x14652+512 ~x14651+256 ~x14650+128 ~x14649+64 ~x14648+32 ~x14647+16 ~x14646+8 ~x14645+4 ~x14644+2 ~x14643+1 ~x14642+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 ~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 ~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 ~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-0=30063585267 46.58/46.61 c 8589934592 ~x1691432+4294967296 ~x1691431+2147483648 ~x1691430+1073741824 ~x1691429+536870912 ~x1691428+268435456 ~x1691427+134217728 ~x1691426+67108864 ~x1691425+33554432 ~x1691424+16777216 ~x1691423+8388608 ~x1691422+4194304 ~x1691421+2097152 ~x1691420+1048576 ~x1691419+524288 ~x1691418+262144 ~x1691417+131072 ~x1691416+65536 ~x1691415+32768 ~x1691414+16384 ~x1691413+8192 ~x1691412+4096 ~x1691411+2048 ~x1691410+1024 ~x1691409+512 ~x1691408+256 ~x1691407+128 ~x1691406+64 ~x1691405+32 ~x1691404+16 ~x1691403+8 ~x1691402+4 ~x1691401+2 ~x1691400+1 ~x1691399+20480 ~x21941+40960 ~x21911+20480 ~x21881+51200 ~x21851+40960 ~x21821+40960 ~x21791+51200 ~x21761+10240 ~x21731+10240 ~x21701+20480 ~x21671+40960 ~x21641+10240 ~x21611+536870912 ~x21001+268435456 ~x21000+134217728 ~x20999+67108864 ~x20998+33554432 ~x20997+16777216 ~x20996+8388608 ~x20995+4194304 ~x20994+2097152 ~x20993+1048576 ~x20992+524288 ~x20991+262144 ~x20990+131072 ~x20989+65536 ~x20988+32768 ~x20987+16384 ~x20986+8192 ~x20985+4096 ~x20984+2048 ~x20983+1024 ~x20982+512 ~x20981+256 ~x20980+128 ~x20979+64 ~x20978+32 ~x20977+16 ~x20976+8 ~x20975+4 ~x20974+2 ~x20973+1 ~x20972+536870912 ~x20101+268435456 ~x20100+134217728 ~x20099+67108864 ~x20098+33554432 ~x20097+16777216 ~x20096+8388608 ~x20095+4194304 ~x20094+2097152 ~x20093+1048576 ~x20092+524288 ~x20091+262144 ~x20090+131072 ~x20089+65536 ~x20088+32768 ~x20087+16384 ~x20086+8192 ~x20085+4096 ~x20084+2048 ~x20083+1024 ~x20082+512 ~x20081+256 ~x20080+128 ~x20079+64 ~x20078+32 ~x20077+16 ~x20076+8 ~x20075+4 ~x20074+2 ~x20073+1 ~x20072+536870912 ~x19201+268435456 ~x19200+134217728 ~x19199+67108864 ~x19198+33554432 ~x19197+16777216 ~x19196+8388608 ~x19195+4194304 ~x19194+2097152 ~x19193+1048576 ~x19192+524288 ~x19191+262144 ~x19190+131072 ~x19189+65536 ~x19188+32768 ~x19187+16384 ~x19186+8192 ~x19185+4096 ~x19184+2048 ~x19183+1024 ~x19182+512 ~x19181+256 ~x19180+128 ~x19179+64 ~x19178+32 ~x19177+16 ~x19176+8 ~x19175+4 ~x19174+2 ~x19173+1 ~x19172+536870912 ~x18301+268435456 ~x18300+134217728 ~x18299+67108864 ~x18298+33554432 ~x18297+16777216 ~x18296+8388608 ~x18295+4194304 ~x18294+2097152 ~x18293+1048576 ~x18292+524288 ~x18291+262144 ~x18290+131072 ~x18289+65536 ~x18288+32768 ~x18287+16384 ~x18286+8192 ~x18285+4096 ~x18284+2048 ~x18283+1024 ~x18282+512 ~x18281+256 ~x18280+128 ~x18279+64 ~x18278+32 ~x18277+16 ~x18276+8 ~x18275+4 ~x18274+2 ~x18273+1 ~x18272+536870912 ~x17401+268435456 ~x17400+134217728 ~x17399+67108864 ~x17398+33554432 ~x17397+16777216 ~x17396+8388608 ~x17395+4194304 ~x17394+2097152 ~x17393+1048576 ~x17392+524288 ~x17391+262144 ~x17390+131072 ~x17389+65536 ~x17388+32768 ~x17387+16384 ~x17386+8192 ~x17385+4096 ~x17384+2048 ~x17383+1024 ~x17382+512 ~x17381+256 ~x17380+128 ~x17379+64 ~x17378+32 ~x17377+16 ~x17376+8 ~x17375+4 ~x17374+2 ~x17373+1 ~x17372+536870912 ~x16501+268435456 ~x16500+134217728 ~x16499+67108864 ~x16498+33554432 ~x16497+16777216 ~x16496+8388608 ~x16495+4194304 ~x16494+2097152 ~x16493+1048576 ~x16492+524288 ~x16491+262144 ~x16490+131072 ~x16489+65536 ~x16488+32768 ~x16487+16384 ~x16486+8192 ~x16485+4096 ~x16484+2048 ~x16483+1024 ~x16482+512 ~x16481+256 ~x16480+128 ~x16479+64 ~x16478+32 ~x16477+16 ~x16476+8 ~x16475+4 ~x16474+2 ~x16473+1 ~x16472+536870912 ~x15601+268435456 ~x15600+134217728 ~x15599+67108864 ~x15598+33554432 ~x15597+16777216 ~x15596+8388608 ~x15595+4194304 ~x15594+2097152 ~x15593+1048576 ~x15592+524288 ~x15591+262144 ~x15590+131072 ~x15589+65536 ~x15588+32768 ~x15587+16384 ~x15586+8192 ~x15585+4096 ~x15584+2048 ~x15583+1024 ~x15582+512 ~x15581+256 ~x15580+128 ~x15579+64 ~x15578+32 ~x15577+16 ~x15576+8 ~x15575+4 ~x15574+2 ~x15573+1 ~x15572+536870912 ~x14701+268435456 ~x14700+134217728 ~x14699+67108864 ~x14698+33554432 ~x14697+16777216 ~x14696+8388608 ~x14695+4194304 ~x14694+2097152 ~x14693+1048576 ~x14692+524288 ~x14691+262144 ~x14690+131072 ~x14689+65536 ~x14688+32768 ~x14687+16384 ~x14686+8192 ~x14685+4096 ~x14684+2048 ~x14683+1024 ~x14682+512 ~x14681+256 ~x14680+128 ~x14679+64 ~x14678+32 ~x14677+16 ~x14676+8 ~x14675+4 ~x14674+2 ~x14673+1 ~x14672+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 ~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 ~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 ~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-0=30063585267 50.67/50.75 c 8589934592 ~x1876925+4294967296 ~x1876924+2147483648 ~x1876923+1073741824 ~x1876922+536870912 ~x1876921+268435456 ~x1876920+134217728 ~x1876919+67108864 ~x1876918+33554432 ~x1876917+16777216 ~x1876916+8388608 ~x1876915+4194304 ~x1876914+2097152 ~x1876913+1048576 ~x1876912+524288 ~x1876911+262144 ~x1876910+131072 ~x1876909+65536 ~x1876908+32768 ~x1876907+16384 ~x1876906+8192 ~x1876905+4096 ~x1876904+2048 ~x1876903+1024 ~x1876902+512 ~x1876901+256 ~x1876900+128 ~x1876899+64 ~x1876898+32 ~x1876897+16 ~x1876896+8 ~x1876895+4 ~x1876894+2 ~x1876893+1 ~x1876892+20480 ~x21942+40960 ~x21912+20480 ~x21882+51200 ~x21852+40960 ~x21822+40960 ~x21792+51200 ~x21762+10240 ~x21732+10240 ~x21702+20480 ~x21672+40960 ~x21642+10240 ~x21612+536870912 ~x21031+268435456 ~x21030+134217728 ~x21029+67108864 ~x21028+33554432 ~x21027+16777216 ~x21026+8388608 ~x21025+4194304 ~x21024+2097152 ~x21023+1048576 ~x21022+524288 ~x21021+262144 ~x21020+131072 ~x21019+65536 ~x21018+32768 ~x21017+16384 ~x21016+8192 ~x21015+4096 ~x21014+2048 ~x21013+1024 ~x21012+512 ~x21011+256 ~x21010+128 ~x21009+64 ~x21008+32 ~x21007+16 ~x21006+8 ~x21005+4 ~x21004+2 ~x21003+1 ~x21002+536870912 ~x20131+268435456 ~x20130+134217728 ~x20129+67108864 ~x20128+33554432 ~x20127+16777216 ~x20126+8388608 ~x20125+4194304 ~x20124+2097152 ~x20123+1048576 ~x20122+524288 ~x20121+262144 ~x20120+131072 ~x20119+65536 ~x20118+32768 ~x20117+16384 ~x20116+8192 ~x20115+4096 ~x20114+2048 ~x20113+1024 ~x20112+512 ~x20111+256 ~x20110+128 ~x20109+64 ~x20108+32 ~x20107+16 ~x20106+8 ~x20105+4 ~x20104+2 ~x20103+1 ~x20102+536870912 ~x19231+268435456 ~x19230+134217728 ~x19229+67108864 ~x19228+33554432 ~x19227+16777216 ~x19226+8388608 ~x19225+4194304 ~x19224+2097152 ~x19223+1048576 ~x19222+524288 ~x19221+262144 ~x19220+131072 ~x19219+65536 ~x19218+32768 ~x19217+16384 ~x19216+8192 ~x19215+4096 ~x19214+2048 ~x19213+1024 ~x19212+512 ~x19211+256 ~x19210+128 ~x19209+64 ~x19208+32 ~x19207+16 ~x19206+8 ~x19205+4 ~x19204+2 ~x19203+1 ~x19202+536870912 ~x18331+268435456 ~x18330+134217728 ~x18329+67108864 ~x18328+33554432 ~x18327+16777216 ~x18326+8388608 ~x18325+4194304 ~x18324+2097152 ~x18323+1048576 ~x18322+524288 ~x18321+262144 ~x18320+131072 ~x18319+65536 ~x18318+32768 ~x18317+16384 ~x18316+8192 ~x18315+4096 ~x18314+2048 ~x18313+1024 ~x18312+512 ~x18311+256 ~x18310+128 ~x18309+64 ~x18308+32 ~x18307+16 ~x18306+8 ~x18305+4 ~x18304+2 ~x18303+1 ~x18302+536870912 ~x17431+268435456 ~x17430+134217728 ~x17429+67108864 ~x17428+33554432 ~x17427+16777216 ~x17426+8388608 ~x17425+4194304 ~x17424+2097152 ~x17423+1048576 ~x17422+524288 ~x17421+262144 ~x17420+131072 ~x17419+65536 ~x17418+32768 ~x17417+16384 ~x17416+8192 ~x17415+4096 ~x17414+2048 ~x17413+1024 ~x17412+512 ~x17411+256 ~x17410+128 ~x17409+64 ~x17408+32 ~x17407+16 ~x17406+8 ~x17405+4 ~x17404+2 ~x17403+1 ~x17402+536870912 ~x16531+268435456 ~x16530+134217728 ~x16529+67108864 ~x16528+33554432 ~x16527+16777216 ~x16526+8388608 ~x16525+4194304 ~x16524+2097152 ~x16523+1048576 ~x16522+524288 ~x16521+262144 ~x16520+131072 ~x16519+65536 ~x16518+32768 ~x16517+16384 ~x16516+8192 ~x16515+4096 ~x16514+2048 ~x16513+1024 ~x16512+512 ~x16511+256 ~x16510+128 ~x16509+64 ~x16508+32 ~x16507+16 ~x16506+8 ~x16505+4 ~x16504+2 ~x16503+1 ~x16502+536870912 ~x15631+268435456 ~x15630+134217728 ~x15629+67108864 ~x15628+33554432 ~x15627+16777216 ~x15626+8388608 ~x15625+4194304 ~x15624+2097152 ~x15623+1048576 ~x15622+524288 ~x15621+262144 ~x15620+131072 ~x15619+65536 ~x15618+32768 ~x15617+16384 ~x15616+8192 ~x15615+4096 ~x15614+2048 ~x15613+1024 ~x15612+512 ~x15611+256 ~x15610+128 ~x15609+64 ~x15608+32 ~x15607+16 ~x15606+8 ~x15605+4 ~x15604+2 ~x15603+1 ~x15602+536870912 ~x14731+268435456 ~x14730+134217728 ~x14729+67108864 ~x14728+33554432 ~x14727+16777216 ~x14726+8388608 ~x14725+4194304 ~x14724+2097152 ~x14723+1048576 ~x14722+524288 ~x14721+262144 ~x14720+131072 ~x14719+65536 ~x14718+32768 ~x14717+16384 ~x14716+8192 ~x14715+4096 ~x14714+2048 ~x14713+1024 ~x14712+512 ~x14711+256 ~x14710+128 ~x14709+64 ~x14708+32 ~x14707+16 ~x14706+8 ~x14705+4 ~x14704+2 ~x14703+1 ~x14702+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 ~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 ~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 ~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-0=30063585267 54.87/54.90 c 8589934592 ~x2062418+4294967296 ~x2062417+2147483648 ~x2062416+1073741824 ~x2062415+536870912 ~x2062414+268435456 ~x2062413+134217728 ~x2062412+67108864 ~x2062411+33554432 ~x2062410+16777216 ~x2062409+8388608 ~x2062408+4194304 ~x2062407+2097152 ~x2062406+1048576 ~x2062405+524288 ~x2062404+262144 ~x2062403+131072 ~x2062402+65536 ~x2062401+32768 ~x2062400+16384 ~x2062399+8192 ~x2062398+4096 ~x2062397+2048 ~x2062396+1024 ~x2062395+512 ~x2062394+256 ~x2062393+128 ~x2062392+64 ~x2062391+32 ~x2062390+16 ~x2062389+8 ~x2062388+4 ~x2062387+2 ~x2062386+1 ~x2062385+20480 ~x21943+40960 ~x21913+20480 ~x21883+51200 ~x21853+40960 ~x21823+40960 ~x21793+51200 ~x21763+10240 ~x21733+10240 ~x21703+20480 ~x21673+40960 ~x21643+10240 ~x21613+536870912 ~x21061+268435456 ~x21060+134217728 ~x21059+67108864 ~x21058+33554432 ~x21057+16777216 ~x21056+8388608 ~x21055+4194304 ~x21054+2097152 ~x21053+1048576 ~x21052+524288 ~x21051+262144 ~x21050+131072 ~x21049+65536 ~x21048+32768 ~x21047+16384 ~x21046+8192 ~x21045+4096 ~x21044+2048 ~x21043+1024 ~x21042+512 ~x21041+256 ~x21040+128 ~x21039+64 ~x21038+32 ~x21037+16 ~x21036+8 ~x21035+4 ~x21034+2 ~x21033+1 ~x21032+536870912 ~x20161+268435456 ~x20160+134217728 ~x20159+67108864 ~x20158+33554432 ~x20157+16777216 ~x20156+8388608 ~x20155+4194304 ~x20154+2097152 ~x20153+1048576 ~x20152+524288 ~x20151+262144 ~x20150+131072 ~x20149+65536 ~x20148+32768 ~x20147+16384 ~x20146+8192 ~x20145+4096 ~x20144+2048 ~x20143+1024 ~x20142+512 ~x20141+256 ~x20140+128 ~x20139+64 ~x20138+32 ~x20137+16 ~x20136+8 ~x20135+4 ~x20134+2 ~x20133+1 ~x20132+536870912 ~x19261+268435456 ~x19260+134217728 ~x19259+67108864 ~x19258+33554432 ~x19257+16777216 ~x19256+8388608 ~x19255+4194304 ~x19254+2097152 ~x19253+1048576 ~x19252+524288 ~x19251+262144 ~x19250+131072 ~x19249+65536 ~x19248+32768 ~x19247+16384 ~x19246+8192 ~x19245+4096 ~x19244+2048 ~x19243+1024 ~x19242+512 ~x19241+256 ~x19240+128 ~x19239+64 ~x19238+32 ~x19237+16 ~x19236+8 ~x19235+4 ~x19234+2 ~x19233+1 ~x19232+536870912 ~x18361+268435456 ~x18360+134217728 ~x18359+67108864 ~x18358+33554432 ~x18357+16777216 ~x18356+8388608 ~x18355+4194304 ~x18354+2097152 ~x18353+1048576 ~x18352+524288 ~x18351+262144 ~x18350+131072 ~x18349+65536 ~x18348+32768 ~x18347+16384 ~x18346+8192 ~x18345+4096 ~x18344+2048 ~x18343+1024 ~x18342+512 ~x18341+256 ~x18340+128 ~x18339+64 ~x18338+32 ~x18337+16 ~x18336+8 ~x18335+4 ~x18334+2 ~x18333+1 ~x18332+536870912 ~x17461+268435456 ~x17460+134217728 ~x17459+67108864 ~x17458+33554432 ~x17457+16777216 ~x17456+8388608 ~x17455+4194304 ~x17454+2097152 ~x17453+1048576 ~x17452+524288 ~x17451+262144 ~x17450+131072 ~x17449+65536 ~x17448+32768 ~x17447+16384 ~x17446+8192 ~x17445+4096 ~x17444+2048 ~x17443+1024 ~x17442+512 ~x17441+256 ~x17440+128 ~x17439+64 ~x17438+32 ~x17437+16 ~x17436+8 ~x17435+4 ~x17434+2 ~x17433+1 ~x17432+536870912 ~x16561+268435456 ~x16560+134217728 ~x16559+67108864 ~x16558+33554432 ~x16557+16777216 ~x16556+8388608 ~x16555+4194304 ~x16554+2097152 ~x16553+1048576 ~x16552+524288 ~x16551+262144 ~x16550+131072 ~x16549+65536 ~x16548+32768 ~x16547+16384 ~x16546+8192 ~x16545+4096 ~x16544+2048 ~x16543+1024 ~x16542+512 ~x16541+256 ~x16540+128 ~x16539+64 ~x16538+32 ~x16537+16 ~x16536+8 ~x16535+4 ~x16534+2 ~x16533+1 ~x16532+536870912 ~x15661+268435456 ~x15660+134217728 ~x15659+67108864 ~x15658+33554432 ~x15657+16777216 ~x15656+8388608 ~x15655+4194304 ~x15654+2097152 ~x15653+1048576 ~x15652+524288 ~x15651+262144 ~x15650+131072 ~x15649+65536 ~x15648+32768 ~x15647+16384 ~x15646+8192 ~x15645+4096 ~x15644+2048 ~x15643+1024 ~x15642+512 ~x15641+256 ~x15640+128 ~x15639+64 ~x15638+32 ~x15637+16 ~x15636+8 ~x15635+4 ~x15634+2 ~x15633+1 ~x15632+536870912 ~x14761+268435456 ~x14760+134217728 ~x14759+67108864 ~x14758+33554432 ~x14757+16777216 ~x14756+8388608 ~x14755+4194304 ~x14754+2097152 ~x14753+1048576 ~x14752+524288 ~x14751+262144 ~x14750+131072 ~x14749+65536 ~x14748+32768 ~x14747+16384 ~x14746+8192 ~x14745+4096 ~x14744+2048 ~x14743+1024 ~x14742+512 ~x14741+256 ~x14740+128 ~x14739+64 ~x14738+32 ~x14737+16 ~x14736+8 ~x14735+4 ~x14734+2 ~x14733+1 ~x14732+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 ~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 ~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 ~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-0=30063585267 58.97/59.03 c 8589934592 ~x2247911+4294967296 ~x2247910+2147483648 ~x2247909+1073741824 ~x2247908+536870912 ~x2247907+268435456 ~x2247906+134217728 ~x2247905+67108864 ~x2247904+33554432 ~x2247903+16777216 ~x2247902+8388608 ~x2247901+4194304 ~x2247900+2097152 ~x2247899+1048576 ~x2247898+524288 ~x2247897+262144 ~x2247896+131072 ~x2247895+65536 ~x2247894+32768 ~x2247893+16384 ~x2247892+8192 ~x2247891+4096 ~x2247890+2048 ~x2247889+1024 ~x2247888+512 ~x2247887+256 ~x2247886+128 ~x2247885+64 ~x2247884+32 ~x2247883+16 ~x2247882+8 ~x2247881+4 ~x2247880+2 ~x2247879+1 ~x2247878+20480 ~x21944+40960 ~x21914+20480 ~x21884+51200 ~x21854+40960 ~x21824+40960 ~x21794+51200 ~x21764+10240 ~x21734+10240 ~x21704+20480 ~x21674+40960 ~x21644+10240 ~x21614+536870912 ~x21091+268435456 ~x21090+134217728 ~x21089+67108864 ~x21088+33554432 ~x21087+16777216 ~x21086+8388608 ~x21085+4194304 ~x21084+2097152 ~x21083+1048576 ~x21082+524288 ~x21081+262144 ~x21080+131072 ~x21079+65536 ~x21078+32768 ~x21077+16384 ~x21076+8192 ~x21075+4096 ~x21074+2048 ~x21073+1024 ~x21072+512 ~x21071+256 ~x21070+128 ~x21069+64 ~x21068+32 ~x21067+16 ~x21066+8 ~x21065+4 ~x21064+2 ~x21063+1 ~x21062+536870912 ~x20191+268435456 ~x20190+134217728 ~x20189+67108864 ~x20188+33554432 ~x20187+16777216 ~x20186+8388608 ~x20185+4194304 ~x20184+2097152 ~x20183+1048576 ~x20182+524288 ~x20181+262144 ~x20180+131072 ~x20179+65536 ~x20178+32768 ~x20177+16384 ~x20176+8192 ~x20175+4096 ~x20174+2048 ~x20173+1024 ~x20172+512 ~x20171+256 ~x20170+128 ~x20169+64 ~x20168+32 ~x20167+16 ~x20166+8 ~x20165+4 ~x20164+2 ~x20163+1 ~x20162+536870912 ~x19291+268435456 ~x19290+134217728 ~x19289+67108864 ~x19288+33554432 ~x19287+16777216 ~x19286+8388608 ~x19285+4194304 ~x19284+2097152 ~x19283+1048576 ~x19282+524288 ~x19281+262144 ~x19280+131072 ~x19279+65536 ~x19278+32768 ~x19277+16384 ~x19276+8192 ~x19275+4096 ~x19274+2048 ~x19273+1024 ~x19272+512 ~x19271+256 ~x19270+128 ~x19269+64 ~x19268+32 ~x19267+16 ~x19266+8 ~x19265+4 ~x19264+2 ~x19263+1 ~x19262+536870912 ~x18391+268435456 ~x18390+134217728 ~x18389+67108864 ~x18388+33554432 ~x18387+16777216 ~x18386+8388608 ~x18385+4194304 ~x18384+2097152 ~x18383+1048576 ~x18382+524288 ~x18381+262144 ~x18380+131072 ~x18379+65536 ~x18378+32768 ~x18377+16384 ~x18376+8192 ~x18375+4096 ~x18374+2048 ~x18373+1024 ~x18372+512 ~x18371+256 ~x18370+128 ~x18369+64 ~x18368+32 ~x18367+16 ~x18366+8 ~x18365+4 ~x18364+2 ~x18363+1 ~x18362+536870912 ~x17491+268435456 ~x17490+134217728 ~x17489+67108864 ~x17488+33554432 ~x17487+16777216 ~x17486+8388608 ~x17485+4194304 ~x17484+2097152 ~x17483+1048576 ~x17482+524288 ~x17481+262144 ~x17480+131072 ~x17479+65536 ~x17478+32768 ~x17477+16384 ~x17476+8192 ~x17475+4096 ~x17474+2048 ~x17473+1024 ~x17472+512 ~x17471+256 ~x17470+128 ~x17469+64 ~x17468+32 ~x17467+16 ~x17466+8 ~x17465+4 ~x17464+2 ~x17463+1 ~x17462+536870912 ~x16591+268435456 ~x16590+134217728 ~x16589+67108864 ~x16588+33554432 ~x16587+16777216 ~x16586+8388608 ~x16585+4194304 ~x16584+2097152 ~x16583+1048576 ~x16582+524288 ~x16581+262144 ~x16580+131072 ~x16579+65536 ~x16578+32768 ~x16577+16384 ~x16576+8192 ~x16575+4096 ~x16574+2048 ~x16573+1024 ~x16572+512 ~x16571+256 ~x16570+128 ~x16569+64 ~x16568+32 ~x16567+16 ~x16566+8 ~x16565+4 ~x16564+2 ~x16563+1 ~x16562+536870912 ~x15691+268435456 ~x15690+134217728 ~x15689+67108864 ~x15688+33554432 ~x15687+16777216 ~x15686+8388608 ~x15685+4194304 ~x15684+2097152 ~x15683+1048576 ~x15682+524288 ~x15681+262144 ~x15680+131072 ~x15679+65536 ~x15678+32768 ~x15677+16384 ~x15676+8192 ~x15675+4096 ~x15674+2048 ~x15673+1024 ~x15672+512 ~x15671+256 ~x15670+128 ~x15669+64 ~x15668+32 ~x15667+16 ~x15666+8 ~x15665+4 ~x15664+2 ~x15663+1 ~x15662+536870912 ~x14791+268435456 ~x14790+134217728 ~x14789+67108864 ~x14788+33554432 ~x14787+16777216 ~x14786+8388608 ~x14785+4194304 ~x14784+2097152 ~x14783+1048576 ~x14782+524288 ~x14781+262144 ~x14780+131072 ~x14779+65536 ~x14778+32768 ~x14777+16384 ~x14776+8192 ~x14775+4096 ~x14774+2048 ~x14773+1024 ~x14772+512 ~x14771+256 ~x14770+128 ~x14769+64 ~x14768+32 ~x14767+16 ~x14766+8 ~x14765+4 ~x14764+2 ~x14763+1 ~x14762+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 ~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 ~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 ~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-0=30063585267 63.07/63.17 c 8589934592 ~x2433404+4294967296 ~x2433403+2147483648 ~x2433402+1073741824 ~x2433401+536870912 ~x2433400+268435456 ~x2433399+134217728 ~x2433398+67108864 ~x2433397+33554432 ~x2433396+16777216 ~x2433395+8388608 ~x2433394+4194304 ~x2433393+2097152 ~x2433392+1048576 ~x2433391+524288 ~x2433390+262144 ~x2433389+131072 ~x2433388+65536 ~x2433387+32768 ~x2433386+16384 ~x2433385+8192 ~x2433384+4096 ~x2433383+2048 ~x2433382+1024 ~x2433381+512 ~x2433380+256 ~x2433379+128 ~x2433378+64 ~x2433377+32 ~x2433376+16 ~x2433375+8 ~x2433374+4 ~x2433373+2 ~x2433372+1 ~x2433371+20480 ~x21945+40960 ~x21915+20480 ~x21885+51200 ~x21855+40960 ~x21825+40960 ~x21795+51200 ~x21765+10240 ~x21735+10240 ~x21705+20480 ~x21675+40960 ~x21645+10240 ~x21615+536870912 ~x21121+268435456 ~x21120+134217728 ~x21119+67108864 ~x21118+33554432 ~x21117+16777216 ~x21116+8388608 ~x21115+4194304 ~x21114+2097152 ~x21113+1048576 ~x21112+524288 ~x21111+262144 ~x21110+131072 ~x21109+65536 ~x21108+32768 ~x21107+16384 ~x21106+8192 ~x21105+4096 ~x21104+2048 ~x21103+1024 ~x21102+512 ~x21101+256 ~x21100+128 ~x21099+64 ~x21098+32 ~x21097+16 ~x21096+8 ~x21095+4 ~x21094+2 ~x21093+1 ~x21092+536870912 ~x20221+268435456 ~x20220+134217728 ~x20219+67108864 ~x20218+33554432 ~x20217+16777216 ~x20216+8388608 ~x20215+4194304 ~x20214+2097152 ~x20213+1048576 ~x20212+524288 ~x20211+262144 ~x20210+131072 ~x20209+65536 ~x20208+32768 ~x20207+16384 ~x20206+8192 ~x20205+4096 ~x20204+2048 ~x20203+1024 ~x20202+512 ~x20201+256 ~x20200+128 ~x20199+64 ~x20198+32 ~x20197+16 ~x20196+8 ~x20195+4 ~x20194+2 ~x20193+1 ~x20192+536870912 ~x19321+268435456 ~x19320+134217728 ~x19319+67108864 ~x19318+33554432 ~x19317+16777216 ~x19316+8388608 ~x19315+4194304 ~x19314+2097152 ~x19313+1048576 ~x19312+524288 ~x19311+262144 ~x19310+131072 ~x19309+65536 ~x19308+32768 ~x19307+16384 ~x19306+8192 ~x19305+4096 ~x19304+2048 ~x19303+1024 ~x19302+512 ~x19301+256 ~x19300+128 ~x19299+64 ~x19298+32 ~x19297+16 ~x19296+8 ~x19295+4 ~x19294+2 ~x19293+1 ~x19292+536870912 ~x18421+268435456 ~x18420+134217728 ~x18419+67108864 ~x18418+33554432 ~x18417+16777216 ~x18416+8388608 ~x18415+4194304 ~x18414+2097152 ~x18413+1048576 ~x18412+524288 ~x18411+262144 ~x18410+131072 ~x18409+65536 ~x18408+32768 ~x18407+16384 ~x18406+8192 ~x18405+4096 ~x18404+2048 ~x18403+1024 ~x18402+512 ~x18401+256 ~x18400+128 ~x18399+64 ~x18398+32 ~x18397+16 ~x18396+8 ~x18395+4 ~x18394+2 ~x18393+1 ~x18392+536870912 ~x17521+268435456 ~x17520+134217728 ~x17519+67108864 ~x17518+33554432 ~x17517+16777216 ~x17516+8388608 ~x17515+4194304 ~x17514+2097152 ~x17513+1048576 ~x17512+524288 ~x17511+262144 ~x17510+131072 ~x17509+65536 ~x17508+32768 ~x17507+16384 ~x17506+8192 ~x17505+4096 ~x17504+2048 ~x17503+1024 ~x17502+512 ~x17501+256 ~x17500+128 ~x17499+64 ~x17498+32 ~x17497+16 ~x17496+8 ~x17495+4 ~x17494+2 ~x17493+1 ~x17492+536870912 ~x16621+268435456 ~x16620+134217728 ~x16619+67108864 ~x16618+33554432 ~x16617+16777216 ~x16616+8388608 ~x16615+4194304 ~x16614+2097152 ~x16613+1048576 ~x16612+524288 ~x16611+262144 ~x16610+131072 ~x16609+65536 ~x16608+32768 ~x16607+16384 ~x16606+8192 ~x16605+4096 ~x16604+2048 ~x16603+1024 ~x16602+512 ~x16601+256 ~x16600+128 ~x16599+64 ~x16598+32 ~x16597+16 ~x16596+8 ~x16595+4 ~x16594+2 ~x16593+1 ~x16592+536870912 ~x15721+268435456 ~x15720+134217728 ~x15719+67108864 ~x15718+33554432 ~x15717+16777216 ~x15716+8388608 ~x15715+4194304 ~x15714+2097152 ~x15713+1048576 ~x15712+524288 ~x15711+262144 ~x15710+131072 ~x15709+65536 ~x15708+32768 ~x15707+16384 ~x15706+8192 ~x15705+4096 ~x15704+2048 ~x15703+1024 ~x15702+512 ~x15701+256 ~x15700+128 ~x15699+64 ~x15698+32 ~x15697+16 ~x15696+8 ~x15695+4 ~x15694+2 ~x15693+1 ~x15692+536870912 ~x14821+268435456 ~x14820+134217728 ~x14819+67108864 ~x14818+33554432 ~x14817+16777216 ~x14816+8388608 ~x14815+4194304 ~x14814+2097152 ~x14813+1048576 ~x14812+524288 ~x14811+262144 ~x14810+131072 ~x14809+65536 ~x14808+32768 ~x14807+16384 ~x14806+8192 ~x14805+4096 ~x14804+2048 ~x14803+1024 ~x14802+512 ~x14801+256 ~x14800+128 ~x14799+64 ~x14798+32 ~x14797+16 ~x14796+8 ~x14795+4 ~x14794+2 ~x14793+1 ~x14792+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 ~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 ~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 ~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-0=30063585267 67.27/67.33 c 8589934592 ~x2618897+4294967296 ~x2618896+2147483648 ~x2618895+1073741824 ~x2618894+536870912 ~x2618893+268435456 ~x2618892+134217728 ~x2618891+67108864 ~x2618890+33554432 ~x2618889+16777216 ~x2618888+8388608 ~x2618887+4194304 ~x2618886+2097152 ~x2618885+1048576 ~x2618884+524288 ~x2618883+262144 ~x2618882+131072 ~x2618881+65536 ~x2618880+32768 ~x2618879+16384 ~x2618878+8192 ~x2618877+4096 ~x2618876+2048 ~x2618875+1024 ~x2618874+512 ~x2618873+256 ~x2618872+128 ~x2618871+64 ~x2618870+32 ~x2618869+16 ~x2618868+8 ~x2618867+4 ~x2618866+2 ~x2618865+1 ~x2618864+20480 ~x21946+40960 ~x21916+20480 ~x21886+51200 ~x21856+40960 ~x21826+40960 ~x21796+51200 ~x21766+10240 ~x21736+10240 ~x21706+20480 ~x21676+40960 ~x21646+10240 ~x21616+536870912 ~x21151+268435456 ~x21150+134217728 ~x21149+67108864 ~x21148+33554432 ~x21147+16777216 ~x21146+8388608 ~x21145+4194304 ~x21144+2097152 ~x21143+1048576 ~x21142+524288 ~x21141+262144 ~x21140+131072 ~x21139+65536 ~x21138+32768 ~x21137+16384 ~x21136+8192 ~x21135+4096 ~x21134+2048 ~x21133+1024 ~x21132+512 ~x21131+256 ~x21130+128 ~x21129+64 ~x21128+32 ~x21127+16 ~x21126+8 ~x21125+4 ~x21124+2 ~x21123+1 ~x21122+536870912 ~x20251+268435456 ~x20250+134217728 ~x20249+67108864 ~x20248+33554432 ~x20247+16777216 ~x20246+8388608 ~x20245+4194304 ~x20244+2097152 ~x20243+1048576 ~x20242+524288 ~x20241+262144 ~x20240+131072 ~x20239+65536 ~x20238+32768 ~x20237+16384 ~x20236+8192 ~x20235+4096 ~x20234+2048 ~x20233+1024 ~x20232+512 ~x20231+256 ~x20230+128 ~x20229+64 ~x20228+32 ~x20227+16 ~x20226+8 ~x20225+4 ~x20224+2 ~x20223+1 ~x20222+536870912 ~x19351+268435456 ~x19350+134217728 ~x19349+67108864 ~x19348+33554432 ~x19347+16777216 ~x19346+8388608 ~x19345+4194304 ~x19344+2097152 ~x19343+1048576 ~x19342+524288 ~x19341+262144 ~x19340+131072 ~x19339+65536 ~x19338+32768 ~x19337+16384 ~x19336+8192 ~x19335+4096 ~x19334+2048 ~x19333+1024 ~x19332+512 ~x19331+256 ~x19330+128 ~x19329+64 ~x19328+32 ~x19327+16 ~x19326+8 ~x19325+4 ~x19324+2 ~x19323+1 ~x19322+536870912 ~x18451+268435456 ~x18450+134217728 ~x18449+67108864 ~x18448+33554432 ~x18447+16777216 ~x18446+8388608 ~x18445+4194304 ~x18444+2097152 ~x18443+1048576 ~x18442+524288 ~x18441+262144 ~x18440+131072 ~x18439+65536 ~x18438+32768 ~x18437+16384 ~x18436+8192 ~x18435+4096 ~x18434+2048 ~x18433+1024 ~x18432+512 ~x18431+256 ~x18430+128 ~x18429+64 ~x18428+32 ~x18427+16 ~x18426+8 ~x18425+4 ~x18424+2 ~x18423+1 ~x18422+536870912 ~x17551+268435456 ~x17550+134217728 ~x17549+67108864 ~x17548+33554432 ~x17547+16777216 ~x17546+8388608 ~x17545+4194304 ~x17544+2097152 ~x17543+1048576 ~x17542+524288 ~x17541+262144 ~x17540+131072 ~x17539+65536 ~x17538+32768 ~x17537+16384 ~x17536+8192 ~x17535+4096 ~x17534+2048 ~x17533+1024 ~x17532+512 ~x17531+256 ~x17530+128 ~x17529+64 ~x17528+32 ~x17527+16 ~x17526+8 ~x17525+4 ~x17524+2 ~x17523+1 ~x17522+536870912 ~x16651+268435456 ~x16650+134217728 ~x16649+67108864 ~x16648+33554432 ~x16647+16777216 ~x16646+8388608 ~x16645+4194304 ~x16644+2097152 ~x16643+1048576 ~x16642+524288 ~x16641+262144 ~x16640+131072 ~x16639+65536 ~x16638+32768 ~x16637+16384 ~x16636+8192 ~x16635+4096 ~x16634+2048 ~x16633+1024 ~x16632+512 ~x16631+256 ~x16630+128 ~x16629+64 ~x16628+32 ~x16627+16 ~x16626+8 ~x16625+4 ~x16624+2 ~x16623+1 ~x16622+536870912 ~x15751+268435456 ~x15750+134217728 ~x15749+67108864 ~x15748+33554432 ~x15747+16777216 ~x15746+8388608 ~x15745+4194304 ~x15744+2097152 ~x15743+1048576 ~x15742+524288 ~x15741+262144 ~x15740+131072 ~x15739+65536 ~x15738+32768 ~x15737+16384 ~x15736+8192 ~x15735+4096 ~x15734+2048 ~x15733+1024 ~x15732+512 ~x15731+256 ~x15730+128 ~x15729+64 ~x15728+32 ~x15727+16 ~x15726+8 ~x15725+4 ~x15724+2 ~x15723+1 ~x15722+536870912 ~x14851+268435456 ~x14850+134217728 ~x14849+67108864 ~x14848+33554432 ~x14847+16777216 ~x14846+8388608 ~x14845+4194304 ~x14844+2097152 ~x14843+1048576 ~x14842+524288 ~x14841+262144 ~x14840+131072 ~x14839+65536 ~x14838+32768 ~x14837+16384 ~x14836+8192 ~x14835+4096 ~x14834+2048 ~x14833+1024 ~x14832+512 ~x14831+256 ~x14830+128 ~x14829+64 ~x14828+32 ~x14827+16 ~x14826+8 ~x14825+4 ~x14824+2 ~x14823+1 ~x14822+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 ~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 ~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 ~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-0=30063585267 71.37/71.47 c 8589934592 ~x2804390+4294967296 ~x2804389+2147483648 ~x2804388+1073741824 ~x2804387+536870912 ~x2804386+268435456 ~x2804385+134217728 ~x2804384+67108864 ~x2804383+33554432 ~x2804382+16777216 ~x2804381+8388608 ~x2804380+4194304 ~x2804379+2097152 ~x2804378+1048576 ~x2804377+524288 ~x2804376+262144 ~x2804375+131072 ~x2804374+65536 ~x2804373+32768 ~x2804372+16384 ~x2804371+8192 ~x2804370+4096 ~x2804369+2048 ~x2804368+1024 ~x2804367+512 ~x2804366+256 ~x2804365+128 ~x2804364+64 ~x2804363+32 ~x2804362+16 ~x2804361+8 ~x2804360+4 ~x2804359+2 ~x2804358+1 ~x2804357+20480 ~x21947+40960 ~x21917+20480 ~x21887+51200 ~x21857+40960 ~x21827+40960 ~x21797+51200 ~x21767+10240 ~x21737+10240 ~x21707+20480 ~x21677+40960 ~x21647+10240 ~x21617+536870912 ~x21181+268435456 ~x21180+134217728 ~x21179+67108864 ~x21178+33554432 ~x21177+16777216 ~x21176+8388608 ~x21175+4194304 ~x21174+2097152 ~x21173+1048576 ~x21172+524288 ~x21171+262144 ~x21170+131072 ~x21169+65536 ~x21168+32768 ~x21167+16384 ~x21166+8192 ~x21165+4096 ~x21164+2048 ~x21163+1024 ~x21162+512 ~x21161+256 ~x21160+128 ~x21159+64 ~x21158+32 ~x21157+16 ~x21156+8 ~x21155+4 ~x21154+2 ~x21153+1 ~x21152+536870912 ~x20281+268435456 ~x20280+134217728 ~x20279+67108864 ~x20278+33554432 ~x20277+16777216 ~x20276+8388608 ~x20275+4194304 ~x20274+2097152 ~x20273+1048576 ~x20272+524288 ~x20271+262144 ~x20270+131072 ~x20269+65536 ~x20268+32768 ~x20267+16384 ~x20266+8192 ~x20265+4096 ~x20264+2048 ~x20263+1024 ~x20262+512 ~x20261+256 ~x20260+128 ~x20259+64 ~x20258+32 ~x20257+16 ~x20256+8 ~x20255+4 ~x20254+2 ~x20253+1 ~x20252+536870912 ~x19381+268435456 ~x19380+134217728 ~x19379+67108864 ~x19378+33554432 ~x19377+16777216 ~x19376+8388608 ~x19375+4194304 ~x19374+2097152 ~x19373+1048576 ~x19372+524288 ~x19371+262144 ~x19370+131072 ~x19369+65536 ~x19368+32768 ~x19367+16384 ~x19366+8192 ~x19365+4096 ~x19364+2048 ~x19363+1024 ~x19362+512 ~x19361+256 ~x19360+128 ~x19359+64 ~x19358+32 ~x19357+16 ~x19356+8 ~x19355+4 ~x19354+2 ~x19353+1 ~x19352+536870912 ~x18481+268435456 ~x18480+134217728 ~x18479+67108864 ~x18478+33554432 ~x18477+16777216 ~x18476+8388608 ~x18475+4194304 ~x18474+2097152 ~x18473+1048576 ~x18472+524288 ~x18471+262144 ~x18470+131072 ~x18469+65536 ~x18468+32768 ~x18467+16384 ~x18466+8192 ~x18465+4096 ~x18464+2048 ~x18463+1024 ~x18462+512 ~x18461+256 ~x18460+128 ~x18459+64 ~x18458+32 ~x18457+16 ~x18456+8 ~x18455+4 ~x18454+2 ~x18453+1 ~x18452+536870912 ~x17581+268435456 ~x17580+134217728 ~x17579+67108864 ~x17578+33554432 ~x17577+16777216 ~x17576+8388608 ~x17575+4194304 ~x17574+2097152 ~x17573+1048576 ~x17572+524288 ~x17571+262144 ~x17570+131072 ~x17569+65536 ~x17568+32768 ~x17567+16384 ~x17566+8192 ~x17565+4096 ~x17564+2048 ~x17563+1024 ~x17562+512 ~x17561+256 ~x17560+128 ~x17559+64 ~x17558+32 ~x17557+16 ~x17556+8 ~x17555+4 ~x17554+2 ~x17553+1 ~x17552+536870912 ~x16681+268435456 ~x16680+134217728 ~x16679+67108864 ~x16678+33554432 ~x16677+16777216 ~x16676+8388608 ~x16675+4194304 ~x16674+2097152 ~x16673+1048576 ~x16672+524288 ~x16671+262144 ~x16670+131072 ~x16669+65536 ~x16668+32768 ~x16667+16384 ~x16666+8192 ~x16665+4096 ~x16664+2048 ~x16663+1024 ~x16662+512 ~x16661+256 ~x16660+128 ~x16659+64 ~x16658+32 ~x16657+16 ~x16656+8 ~x16655+4 ~x16654+2 ~x16653+1 ~x16652+536870912 ~x15781+268435456 ~x15780+134217728 ~x15779+67108864 ~x15778+33554432 ~x15777+16777216 ~x15776+8388608 ~x15775+4194304 ~x15774+2097152 ~x15773+1048576 ~x15772+524288 ~x15771+262144 ~x15770+131072 ~x15769+65536 ~x15768+32768 ~x15767+16384 ~x15766+8192 ~x15765+4096 ~x15764+2048 ~x15763+1024 ~x15762+512 ~x15761+256 ~x15760+128 ~x15759+64 ~x15758+32 ~x15757+16 ~x15756+8 ~x15755+4 ~x15754+2 ~x15753+1 ~x15752+536870912 ~x14881+268435456 ~x14880+134217728 ~x14879+67108864 ~x14878+33554432 ~x14877+16777216 ~x14876+8388608 ~x14875+4194304 ~x14874+2097152 ~x14873+1048576 ~x14872+524288 ~x14871+262144 ~x14870+131072 ~x14869+65536 ~x14868+32768 ~x14867+16384 ~x14866+8192 ~x14865+4096 ~x14864+2048 ~x14863+1024 ~x14862+512 ~x14861+256 ~x14860+128 ~x14859+64 ~x14858+32 ~x14857+16 ~x14856+8 ~x14855+4 ~x14854+2 ~x14853+1 ~x14852+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 ~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 ~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 ~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+5
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-2673741-1276799531/watcher-2673741-1276799531 -o /tmp/evaluation-result-2673741-1276799531/solver-2673741-1276799531 -C 1800 -W 2000 -M 1800 run HOME/instance-2673741-1276799531.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.90 1.03 1.01 3/106 24482 /proc/meminfo: memFree=1847832/2059040 swapFree=4135688/4192956 [pid=24482] ppid=24480 vsize=8700 CPUtime=0 /proc/24482/stat : 24482 (run) S 24480 24482 24457 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55557039 8908800 250 1992294400 4194304 4922060 140733914276480 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24482/statm: 2175 250 211 178 0 68 0 [startup+0.0207971 s] /proc/loadavg: 0.90 1.03 1.01 3/106 24482 /proc/meminfo: memFree=1847832/2059040 swapFree=4135688/4192956 [pid=24482] ppid=24480 vsize=8700 CPUtime=0 /proc/24482/stat : 24482 (run) S 24480 24482 24457 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55557039 8908800 250 1992294400 4194304 4922060 140733914276480 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24482/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100804 s] /proc/loadavg: 0.90 1.03 1.01 3/106 24482 /proc/meminfo: memFree=1847832/2059040 swapFree=4135688/4192956 [pid=24482] ppid=24480 vsize=8700 CPUtime=0 /proc/24482/stat : 24482 (run) S 24480 24482 24457 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55557039 8908800 250 1992294400 4194304 4922060 140733914276480 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24482/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300825 s] /proc/loadavg: 0.90 1.03 1.01 3/106 24482 /proc/meminfo: memFree=1847832/2059040 swapFree=4135688/4192956 [pid=24482] ppid=24480 vsize=8700 CPUtime=0 /proc/24482/stat : 24482 (run) S 24480 24482 24457 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55557039 8908800 250 1992294400 4194304 4922060 140733914276480 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24482/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700865 s] /proc/loadavg: 0.90 1.03 1.01 3/106 24482 /proc/meminfo: memFree=1847832/2059040 swapFree=4135688/4192956 [pid=24482] ppid=24480 vsize=8700 CPUtime=0 /proc/24482/stat : 24482 (run) S 24480 24482 24457 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55557039 8908800 250 1992294400 4194304 4922060 140733914276480 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24482/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50095 s] /proc/loadavg: 0.90 1.03 1.01 2/108 24485 /proc/meminfo: memFree=1688352/2059040 swapFree=4135688/4192956 [pid=24482] ppid=24480 vsize=8700 CPUtime=0 /proc/24482/stat : 24482 (run) S 24480 24482 24457 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55557039 8908800 250 1992294400 4194304 4922060 140733914276480 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24482/statm: 2175 250 211 178 0 68 0 [pid=24484] ppid=24482 vsize=235908 CPUtime=1.48 /proc/24484/stat : 24484 (PBPASSolver) R 24482 24482 24457 0 -1 4202496 58884 0 0 0 59 89 0 0 25 0 1 0 55557040 241569792 58318 1992294400 134512640 134902295 4292416416 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24484/statm: 58977 58318 256 96 0 58189 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 244608 [startup+3.10111 s] /proc/loadavg: 0.91 1.02 1.00 2/108 24485 /proc/meminfo: memFree=1530128/2059040 swapFree=4135688/4192956 [pid=24482] ppid=24480 vsize=8700 CPUtime=0 /proc/24482/stat : 24482 (run) S 24480 24482 24457 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55557039 8908800 250 1992294400 4194304 4922060 140733914276480 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24482/statm: 2175 250 211 178 0 68 0 [pid=24484] ppid=24482 vsize=453092 CPUtime=3.08 /proc/24484/stat : 24484 (PBPASSolver) R 24482 24482 24457 0 -1 4202496 113185 0 0 0 136 172 0 0 25 0 1 0 55557040 463966208 112619 1992294400 134512640 134902295 4292416416 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24484/statm: 113273 112619 256 96 0 112485 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 461792 [startup+6.30144 s] /proc/loadavg: 0.91 1.02 1.00 2/108 24485 /proc/meminfo: memFree=1183672/2059040 swapFree=4135688/4192956 [pid=24482] ppid=24480 vsize=8700 CPUtime=0 /proc/24482/stat : 24482 (run) S 24480 24482 24457 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55557039 8908800 250 1992294400 4194304 4922060 140733914276480 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24482/statm: 2175 250 211 178 0 68 0 [pid=24484] ppid=24482 vsize=666148 CPUtime=6.29 /proc/24484/stat : 24484 (PBPASSolver) R 24482 24482 24457 0 -1 4202496 166426 0 0 0 372 257 0 0 25 0 1 0 55557040 682135552 165860 1992294400 134512640 134902295 4292416416 18446744073709551615 134893996 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24484/statm: 166537 165860 259 96 0 165749 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 674848 [startup+12.7011 s] /proc/loadavg: 0.92 1.02 1.00 2/108 24485 /proc/meminfo: memFree=1120432/2059040 swapFree=4135688/4192956 [pid=24482] ppid=24480 vsize=8700 CPUtime=0 /proc/24482/stat : 24482 (run) S 24480 24482 24457 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55557039 8908800 250 1992294400 4194304 4922060 140733914276480 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24482/statm: 2175 250 211 178 0 68 0 [pid=24484] ppid=24482 vsize=742836 CPUtime=12.68 /proc/24484/stat : 24484 (PBPASSolver) R 24482 24482 24457 0 -1 4202496 213965 0 0 0 988 280 0 0 25 0 1 0 55557040 760664064 184532 1992294400 134512640 134902295 4292416416 18446744073709551615 134634882 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24484/statm: 185709 184532 262 96 0 184921 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 751536 [startup+25.5014 s] /proc/loadavg: 0.93 1.02 1.00 2/108 24485 /proc/meminfo: memFree=898224/2059040 swapFree=4135688/4192956 [pid=24482] ppid=24480 vsize=8700 CPUtime=0 /proc/24482/stat : 24482 (run) S 24480 24482 24457 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55557039 8908800 250 1992294400 4194304 4922060 140733914276480 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24482/statm: 2175 250 211 178 0 68 0 [pid=24484] ppid=24482 vsize=966704 CPUtime=25.48 /proc/24484/stat : 24484 (PBPASSolver) R 24482 24482 24457 0 -1 4202496 277036 0 0 0 2238 310 0 0 25 0 1 0 55557040 989904896 238289 1992294400 134512640 134902295 4292416416 18446744073709551615 134631608 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24484/statm: 241676 238289 262 96 0 240888 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 975404 [startup+51.101 s] /proc/loadavg: 0.95 1.02 1.00 2/108 24487 /proc/meminfo: memFree=472656/2059040 swapFree=4135688/4192956 [pid=24482] ppid=24480 vsize=8700 CPUtime=0 /proc/24482/stat : 24482 (run) S 24480 24482 24457 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55557039 8908800 250 1992294400 4194304 4922060 140733914276480 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24482/statm: 2175 250 211 178 0 68 0 [pid=24484] ppid=24482 vsize=1425176 CPUtime=51.07 /proc/24484/stat : 24484 (PBPASSolver) R 24482 24482 24457 0 -1 4202496 397242 0 0 0 4741 366 0 0 25 0 1 0 55557040 1459380224 345393 1992294400 134512640 134902295 4292416416 18446744073709551615 8517116 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24484/statm: 356294 345393 262 96 0 355506 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1433876 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+75.0005 s] /proc/loadavg: 0.97 1.02 1.00 2/108 24487 /proc/meminfo: memFree=65440/2059040 swapFree=4135688/4192956 [pid=24482] ppid=24480 vsize=8700 CPUtime=0 /proc/24482/stat : 24482 (run) S 24480 24482 24457 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55557039 8908800 250 1992294400 4194304 4922060 140733914276480 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24482/statm: 2175 250 211 178 0 68 0 [pid=24484] ppid=24482 vsize=1835096 CPUtime=74.97 /proc/24484/stat : 24484 (PBPASSolver) R 24482 24482 24457 0 -1 4202496 510045 0 0 0 7082 415 0 0 25 0 1 0 55557040 1879138304 444820 1992294400 134512640 134902295 4292416416 18446744073709551615 8517116 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24484/statm: 458774 444820 262 96 0 457986 0 Current children cumulated CPU time (s) 74.97 Current children cumulated vsize (KiB) 1843796 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 24482 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=0 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2999 # CPU time returned by wait4() is 0.002999 # while last known CPU time is 74.97 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 75.0138 CPU time (s): 74.97 CPU user time (s): 70.82 CPU system time (s): 4.15 CPU usage (%): 99.9417 Max. virtual memory (cumulated for all children) (KiB): 1843796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0.002999 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= 5 involuntary context switches= 4 runsolver used 0.12698 second user time and 0.369943 second system time The end
Begin job on node002 at 2010-06-17 20:32:11 IDJOB=2673741 IDBENCH=2351 IDSOLVER=1174 FILE ID=node002/2673741-1276799531 PBS_JOBID= 11176669 Free space on /tmp= 62568 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-tr12-30.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2673741-1276799531/watcher-2673741-1276799531 -o /tmp/evaluation-result-2673741-1276799531/solver-2673741-1276799531 -C 1800 -W 2000 -M 1800 run HOME/instance-2673741-1276799531.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9b62ad3c86a83b0289fcc931c207c964 RANDOM SEED=566479967 node002.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.242 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.48 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.242 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1848476 kB Buffers: 34068 kB Cached: 83200 kB SwapCached: 10520 kB Active: 62508 kB Inactive: 67760 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1848476 kB SwapTotal: 4192956 kB SwapFree: 4135688 kB Dirty: 1628 kB Writeback: 0 kB AnonPages: 11528 kB Mapped: 9316 kB Slab: 58576 kB PageTables: 4052 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180884 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= 62568 MiB End job on node002 at 2010-06-17 20:33:28