Trace number 2674750

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PBPASSolver 2010-06-13? (MO) 91.18 91.2222

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-sc205.opb
MD5SUMcfa0de6a5c077caf94404f012a430180
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark21.5057
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables6090
Total number of constraints204
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints204
Minimum length of a constraint30
Maximum length of a constraint120
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 8589934592
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 22548578283
Number of bits of the biggest sum of numbers35
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.99/1.04	c 6090 204 0 0 0 0 0 0
0.99/1.04	c 8589934592 ~x6125+4294967296 ~x6124+2147483648 ~x6123+1073741824 ~x6122+536870912 ~x6121+268435456 ~x6120+134217728 ~x6119+67108864 ~x6118+33554432 ~x6117+16777216 ~x6116+8388608 ~x6115+4194304 ~x6114+2097152 ~x6113+1048576 ~x6112+524288 ~x6111+262144 ~x6110+131072 ~x6109+65536 ~x6108+32768 ~x6107+16384 ~x6106+8192 ~x6105+4096 ~x6104+2048 ~x6103+1024 ~x6102+512 ~x6101+256 ~x6100+128 ~x6099+64 ~x6098+32 ~x6097+16 ~x6096+8 ~x6095+4 ~x6094+2 ~x6093+1 ~x6092+1610612736 ~x91+805306368 ~x90+402653184 ~x89+201326592 ~x88+100663296 ~x87+50331648 ~x86+25165824 ~x85+12582912 ~x84+6291456 ~x83+3145728 ~x82+1572864 ~x81+786432 ~x80+393216 ~x79+196608 ~x78+98304 ~x77+49152 ~x76+24576 ~x75+12288 ~x74+6144 ~x73+3072 ~x72+1536 ~x71+768 ~x70+384 ~x69+192 ~x68+96 ~x67+48 ~x66+24 ~x65+12 ~x64+6 ~x63+3 ~x62+1073741824 ~x61+536870912 ~x60+268435456 ~x59+134217728 ~x58+67108864 ~x57+33554432 ~x56+16777216 ~x55+8388608 ~x54+4194304 ~x53+2097152 ~x52+1048576 ~x51+524288 ~x50+262144 ~x49+131072 ~x48+65536 ~x47+32768 ~x46+16384 ~x45+8192 ~x44+4096 ~x43+2048 ~x42+1024 ~x41+512 ~x40+256 ~x39+128 ~x38+64 ~x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+2147483648 ~x31+1073741824 ~x30+536870912 ~x29+268435456 ~x28+134217728 ~x27+67108864 ~x26+33554432 ~x25+16777216 ~x24+8388608 ~x23+4194304 ~x22+2097152 ~x21+1048576 ~x20+524288 ~x19+262144 ~x18+131072 ~x17+65536 ~x16+32768 ~x15+16384 ~x14+8192 ~x13+4096 ~x12+2048 ~x11+1024 ~x10+512 ~x9+256 ~x8+128 ~x7+64 ~x6+32 ~x5+16 ~x4+8 ~x3+4 ~x2-0=26843135990
2.19/2.28	c 8589934592 ~x60488+4294967296 ~x60487+2147483648 ~x60486+1073741824 ~x60485+536870912 ~x60484+268435456 ~x60483+134217728 ~x60482+67108864 ~x60481+33554432 ~x60480+16777216 ~x60479+8388608 ~x60478+4194304 ~x60477+2097152 ~x60476+1048576 ~x60475+524288 ~x60474+262144 ~x60473+131072 ~x60472+65536 ~x60471+32768 ~x60470+16384 ~x60469+8192 ~x60468+4096 ~x60467+2048 ~x60466+1024 ~x60465+512 ~x60464+256 ~x60463+128 ~x60462+64 ~x60461+32 ~x60460+16 ~x60459+8 ~x60458+4 ~x60457+2 ~x60456+1 ~x60455+1610612736 ~x91+805306368 ~x90+402653184 ~x89+201326592 ~x88+100663296 ~x87+50331648 ~x86+25165824 ~x85+12582912 ~x84+6291456 ~x83+3145728 ~x82+1572864 ~x81+786432 ~x80+393216 ~x79+196608 ~x78+98304 ~x77+49152 ~x76+24576 ~x75+12288 ~x74+6144 ~x73+3072 ~x72+1536 ~x71+768 ~x70+384 ~x69+192 ~x68+96 ~x67+48 ~x66+24 ~x65+12 ~x64+6 ~x63+3 ~x62+2147483648 ~x61+1073741824 ~x60+536870912 ~x59+268435456 ~x58+134217728 ~x57+67108864 ~x56+33554432 ~x55+16777216 ~x54+8388608 ~x53+4194304 ~x52+2097152 ~x51+1048576 ~x50+524288 ~x49+262144 ~x48+131072 ~x47+65536 ~x46+32768 ~x45+16384 ~x44+8192 ~x43+4096 ~x42+2048 ~x41+1024 ~x40+512 ~x39+256 ~x38+128 ~x37+64 ~x36+32 ~x35+16 ~x34+8 ~x33+4 ~x32+1073741824 ~x31+536870912 ~x30+268435456 ~x29+134217728 ~x28+67108864 ~x27+33554432 ~x26+16777216 ~x25+8388608 ~x24+4194304 ~x23+2097152 ~x22+1048576 ~x21+524288 ~x20+262144 ~x19+131072 ~x18+65536 ~x17+32768 ~x16+16384 ~x15+8192 ~x14+4096 ~x13+2048 ~x12+1024 ~x11+512 ~x10+256 ~x9+128 ~x8+64 ~x7+32 ~x6+16 ~x5+8 ~x4+4 ~x3+2 ~x2-0=26843340790
5.28/5.37	c 536870912 ~x195979+268435456 ~x195978+134217728 ~x195977+67108864 ~x195976+33554432 ~x195975+16777216 ~x195974+8388608 ~x195973+4194304 ~x195972+2097152 ~x195971+1048576 ~x195970+524288 ~x195969+262144 ~x195968+131072 ~x195967+65536 ~x195966+32768 ~x195965+16384 ~x195964+8192 ~x195963+4096 ~x195962+2048 ~x195961+1024 ~x195960+512 ~x195959+256 ~x195958+128 ~x195957+64 ~x195956+32 ~x195955+16 ~x195954+8 ~x195953+4 ~x195952+2 ~x195951+1 ~x195950+536870912 ~x271+268435456 ~x270+134217728 ~x269+67108864 ~x268+33554432 ~x267+16777216 ~x266+8388608 ~x265+4194304 ~x264+2097152 ~x263+1048576 ~x262+524288 ~x261+262144 ~x260+131072 ~x259+65536 ~x258+32768 ~x257+16384 ~x256+8192 ~x255+4096 ~x254+2048 ~x253+1024 ~x252+512 ~x251+256 ~x250+128 ~x249+64 ~x248+32 ~x247+16 ~x246+8 ~x245+4 ~x244+2 ~x243+1 ~x242+536870912 x181+268435456 x180+134217728 x179+67108864 x178+33554432 x177+16777216 x176+8388608 x175+4194304 x174+2097152 x173+1048576 x172+524288 x171+262144 x170+131072 x169+65536 x168+32768 x167+16384 x166+8192 x165+4096 x164+2048 x163+1024 x162+512 x161+256 x160+128 x159+64 x158+32 x157+16 x156+8 x155+4 x154+2 x153+1 x152-0=2147483646
5.98/6.09	c 536870912 ~x227722+268435456 ~x227721+134217728 ~x227720+67108864 ~x227719+33554432 ~x227718+16777216 ~x227717+8388608 ~x227716+4194304 ~x227715+2097152 ~x227714+1048576 ~x227713+524288 ~x227712+262144 ~x227711+131072 ~x227710+65536 ~x227709+32768 ~x227708+16384 ~x227707+8192 ~x227706+4096 ~x227705+2048 ~x227704+1024 ~x227703+512 ~x227702+256 ~x227701+128 ~x227700+64 ~x227699+32 ~x227698+16 ~x227697+8 ~x227696+4 ~x227695+2 ~x227694+1 ~x227693+536870912 ~x301+268435456 ~x300+134217728 ~x299+67108864 ~x298+33554432 ~x297+16777216 ~x296+8388608 ~x295+4194304 ~x294+2097152 ~x293+1048576 ~x292+524288 ~x291+262144 ~x290+131072 ~x289+65536 ~x288+32768 ~x287+16384 ~x286+8192 ~x285+4096 ~x284+2048 ~x283+1024 ~x282+512 ~x281+256 ~x280+128 ~x279+64 ~x278+32 ~x277+16 ~x276+8 ~x275+4 ~x274+2 ~x273+1 ~x272+536870912 x211+268435456 x210+134217728 x209+67108864 x208+33554432 x207+16777216 x206+8388608 x205+4194304 x204+2097152 x203+1048576 x202+524288 x201+262144 x200+131072 x199+65536 x198+32768 x197+16384 x196+8192 x195+4096 x194+2048 x193+1024 x192+512 x191+256 x190+128 x189+64 x188+32 x187+16 x186+8 x185+4 x184+2 x183+1 x182-0=2147483646
6.78/6.80	c 536870912 ~x259465+268435456 ~x259464+134217728 ~x259463+67108864 ~x259462+33554432 ~x259461+16777216 ~x259460+8388608 ~x259459+4194304 ~x259458+2097152 ~x259457+1048576 ~x259456+524288 ~x259455+262144 ~x259454+131072 ~x259453+65536 ~x259452+32768 ~x259451+16384 ~x259450+8192 ~x259449+4096 ~x259448+2048 ~x259447+1024 ~x259446+512 ~x259445+256 ~x259444+128 ~x259443+64 ~x259442+32 ~x259441+16 ~x259440+8 ~x259439+4 ~x259438+2 ~x259437+1 ~x259436+536870912 ~x331+268435456 ~x330+134217728 ~x329+67108864 ~x328+33554432 ~x327+16777216 ~x326+8388608 ~x325+4194304 ~x324+2097152 ~x323+1048576 ~x322+524288 ~x321+262144 ~x320+131072 ~x319+65536 ~x318+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302+536870912 x241+268435456 x240+134217728 x239+67108864 x238+33554432 x237+16777216 x236+8388608 x235+4194304 x234+2097152 x233+1048576 x232+524288 x231+262144 x230+131072 x229+65536 x228+32768 x227+16384 x226+8192 x225+4096 x224+2048 x223+1024 x222+512 x221+256 x220+128 x219+64 x218+32 x217+16 x216+8 x215+4 x214+2 x213+1 x212-0=2147483646
7.48/7.53	c 8589934592 ~x291212+4294967296 ~x291211+2147483648 ~x291210+1073741824 ~x291209+536870912 ~x291208+268435456 ~x291207+134217728 ~x291206+67108864 ~x291205+33554432 ~x291204+16777216 ~x291203+8388608 ~x291202+4194304 ~x291201+2097152 ~x291200+1048576 ~x291199+524288 ~x291198+262144 ~x291197+131072 ~x291196+65536 ~x291195+32768 ~x291194+16384 ~x291193+8192 ~x291192+4096 ~x291191+2048 ~x291190+1024 ~x291189+512 ~x291188+256 ~x291187+128 ~x291186+64 ~x291185+32 ~x291184+16 ~x291183+8 ~x291182+4 ~x291181+2 ~x291180+1 ~x291179+1610612736 ~x421+805306368 ~x420+402653184 ~x419+201326592 ~x418+100663296 ~x417+50331648 ~x416+25165824 ~x415+12582912 ~x414+6291456 ~x413+3145728 ~x412+1572864 ~x411+786432 ~x410+393216 ~x409+196608 ~x408+98304 ~x407+49152 ~x406+24576 ~x405+12288 ~x404+6144 ~x403+3072 ~x402+1536 ~x401+768 ~x400+384 ~x399+192 ~x398+96 ~x397+48 ~x396+24 ~x395+12 ~x394+6 ~x393+3 ~x392+1073741824 ~x391+536870912 ~x390+268435456 ~x389+134217728 ~x388+67108864 ~x387+33554432 ~x386+16777216 ~x385+8388608 ~x384+4194304 ~x383+2097152 ~x382+1048576 ~x381+524288 ~x380+262144 ~x379+131072 ~x378+65536 ~x377+32768 ~x376+16384 ~x375+8192 ~x374+4096 ~x373+2048 ~x372+1024 ~x371+512 ~x370+256 ~x369+128 ~x368+64 ~x367+32 ~x366+16 ~x365+8 ~x364+4 ~x363+2 ~x362+2147483648 ~x361+1073741824 ~x360+536870912 ~x359+268435456 ~x358+134217728 ~x357+67108864 ~x356+33554432 ~x355+16777216 ~x354+8388608 ~x353+4194304 ~x352+2097152 ~x351+1048576 ~x350+524288 ~x349+262144 ~x348+131072 ~x347+65536 ~x346+32768 ~x345+16384 ~x344+8192 ~x343+4096 ~x342+2048 ~x341+1024 ~x340+512 ~x339+256 ~x338+128 ~x337+64 ~x336+32 ~x335+16 ~x334+8 ~x333+4 ~x332+1073741824 x271+536870912 x270+268435456 x269+134217728 x268+67108864 x267+33554432 x266+16777216 x265+8388608 x264+4194304 x263+2097152 x262+1048576 x261+524288 x260+262144 x259+131072 x258+65536 x257+32768 x256+16384 x255+8192 x254+4096 x253+2048 x252+1024 x251+512 x250+256 x249+128 x248+64 x247+32 x246+16 x245+8 x244+4 x243+2 x242-0=26843135990
8.98/9.08	c 8589934592 ~x359525+4294967296 ~x359524+2147483648 ~x359523+1073741824 ~x359522+536870912 ~x359521+268435456 ~x359520+134217728 ~x359519+67108864 ~x359518+33554432 ~x359517+16777216 ~x359516+8388608 ~x359515+4194304 ~x359514+2097152 ~x359513+1048576 ~x359512+524288 ~x359511+262144 ~x359510+131072 ~x359509+65536 ~x359508+32768 ~x359507+16384 ~x359506+8192 ~x359505+4096 ~x359504+2048 ~x359503+1024 ~x359502+512 ~x359501+256 ~x359500+128 ~x359499+64 ~x359498+32 ~x359497+16 ~x359496+8 ~x359495+4 ~x359494+2 ~x359493+1 ~x359492+1610612736 ~x421+805306368 ~x420+402653184 ~x419+201326592 ~x418+100663296 ~x417+50331648 ~x416+25165824 ~x415+12582912 ~x414+6291456 ~x413+3145728 ~x412+1572864 ~x411+786432 ~x410+393216 ~x409+196608 ~x408+98304 ~x407+49152 ~x406+24576 ~x405+12288 ~x404+6144 ~x403+3072 ~x402+1536 ~x401+768 ~x400+384 ~x399+192 ~x398+96 ~x397+48 ~x396+24 ~x395+12 ~x394+6 ~x393+3 ~x392+2147483648 ~x391+1073741824 ~x390+536870912 ~x389+268435456 ~x388+134217728 ~x387+67108864 ~x386+33554432 ~x385+16777216 ~x384+8388608 ~x383+4194304 ~x382+2097152 ~x381+1048576 ~x380+524288 ~x379+262144 ~x378+131072 ~x377+65536 ~x376+32768 ~x375+16384 ~x374+8192 ~x373+4096 ~x372+2048 ~x371+1024 ~x370+512 ~x369+256 ~x368+128 ~x367+64 ~x366+32 ~x365+16 ~x364+8 ~x363+4 ~x362+1073741824 ~x361+536870912 ~x360+268435456 ~x359+134217728 ~x358+67108864 ~x357+33554432 ~x356+16777216 ~x355+8388608 ~x354+4194304 ~x353+2097152 ~x352+1048576 ~x351+524288 ~x350+262144 ~x349+131072 ~x348+65536 ~x347+32768 ~x346+16384 ~x345+8192 ~x344+4096 ~x343+2048 ~x342+1024 ~x341+512 ~x340+256 ~x339+128 ~x338+64 ~x337+32 ~x336+16 ~x335+8 ~x334+4 ~x333+2 ~x332+1073741824 x301+536870912 x300+268435456 x299+134217728 x298+67108864 x297+33554432 x296+16777216 x295+8388608 x294+4194304 x293+2097152 x292+1048576 x291+524288 x290+262144 x289+131072 x288+65536 x287+32768 x286+16384 x285+8192 x284+4096 x283+2048 x282+1024 x281+512 x280+256 x279+128 x278+64 x277+32 x276+16 x275+8 x274+4 x273+2 x272-0=26843340790
10.58/10.63	c 536870912 ~x427834+268435456 ~x427833+134217728 ~x427832+67108864 ~x427831+33554432 ~x427830+16777216 ~x427829+8388608 ~x427828+4194304 ~x427827+2097152 ~x427826+1048576 ~x427825+524288 ~x427824+262144 ~x427823+131072 ~x427822+65536 ~x427821+32768 ~x427820+16384 ~x427819+8192 ~x427818+4096 ~x427817+2048 ~x427816+1024 ~x427815+512 ~x427814+256 ~x427813+128 ~x427812+64 ~x427811+32 ~x427810+16 ~x427809+8 ~x427808+4 ~x427807+2 ~x427806+1 ~x427805+536870912 x331+268435456 x330+134217728 x329+67108864 x328+33554432 x327+16777216 x326+8388608 x325+4194304 x324+2097152 x323+1048576 x322+524288 x321+262144 x320+131072 x319+65536 x318+32768 x317+16384 x316+8192 x315+4096 x314+2048 x313+1024 x312+512 x311+256 x310+128 x309+64 x308+32 x307+16 x306+8 x305+4 x304+2 x303+1 x302+536870912 ~x151+268435456 ~x150+134217728 ~x149+67108864 ~x148+33554432 ~x147+16777216 ~x146+8388608 ~x145+4194304 ~x144+2097152 ~x143+1048576 ~x142+524288 ~x141+262144 ~x140+131072 ~x139+65536 ~x138+32768 ~x137+16384 ~x136+8192 ~x135+4096 ~x134+2048 ~x133+1024 ~x132+512 ~x131+256 ~x130+128 ~x129+64 ~x128+32 ~x127+16 ~x126+8 ~x125+4 ~x124+2 ~x123+1 ~x122-0=2147483646
14.68/14.73	c 536870912 ~x609738+268435456 ~x609737+134217728 ~x609736+67108864 ~x609735+33554432 ~x609734+16777216 ~x609733+8388608 ~x609732+4194304 ~x609731+2097152 ~x609730+1048576 ~x609729+524288 ~x609728+262144 ~x609727+131072 ~x609726+65536 ~x609725+32768 ~x609724+16384 ~x609723+8192 ~x609722+4096 ~x609721+2048 ~x609720+1024 ~x609719+512 ~x609718+256 ~x609717+128 ~x609716+64 ~x609715+32 ~x609714+16 ~x609713+8 ~x609712+4 ~x609711+2 ~x609710+1 ~x609709+536870912 ~x601+268435456 ~x600+134217728 ~x599+67108864 ~x598+33554432 ~x597+16777216 ~x596+8388608 ~x595+4194304 ~x594+2097152 ~x593+1048576 ~x592+524288 ~x591+262144 ~x590+131072 ~x589+65536 ~x588+32768 ~x587+16384 ~x586+8192 ~x585+4096 ~x584+2048 ~x583+1024 ~x582+512 ~x581+256 ~x580+128 ~x579+64 ~x578+32 ~x577+16 ~x576+8 ~x575+4 ~x574+2 ~x573+1 ~x572+536870912 x511+268435456 x510+134217728 x509+67108864 x508+33554432 x507+16777216 x506+8388608 x505+4194304 x504+2097152 x503+1048576 x502+524288 x501+262144 x500+131072 x499+65536 x498+32768 x497+16384 x496+8192 x495+4096 x494+2048 x493+1024 x492+512 x491+256 x490+128 x489+64 x488+32 x487+16 x486+8 x485+4 x484+2 x483+1 x482-0=2147483646
15.38/15.44	c 536870912 ~x641481+268435456 ~x641480+134217728 ~x641479+67108864 ~x641478+33554432 ~x641477+16777216 ~x641476+8388608 ~x641475+4194304 ~x641474+2097152 ~x641473+1048576 ~x641472+524288 ~x641471+262144 ~x641470+131072 ~x641469+65536 ~x641468+32768 ~x641467+16384 ~x641466+8192 ~x641465+4096 ~x641464+2048 ~x641463+1024 ~x641462+512 ~x641461+256 ~x641460+128 ~x641459+64 ~x641458+32 ~x641457+16 ~x641456+8 ~x641455+4 ~x641454+2 ~x641453+1 ~x641452+536870912 ~x631+268435456 ~x630+134217728 ~x629+67108864 ~x628+33554432 ~x627+16777216 ~x626+8388608 ~x625+4194304 ~x624+2097152 ~x623+1048576 ~x622+524288 ~x621+262144 ~x620+131072 ~x619+65536 ~x618+32768 ~x617+16384 ~x616+8192 ~x615+4096 ~x614+2048 ~x613+1024 ~x612+512 ~x611+256 ~x610+128 ~x609+64 ~x608+32 ~x607+16 ~x606+8 ~x605+4 ~x604+2 ~x603+1 ~x602+536870912 x541+268435456 x540+134217728 x539+67108864 x538+33554432 x537+16777216 x536+8388608 x535+4194304 x534+2097152 x533+1048576 x532+524288 x531+262144 x530+131072 x529+65536 x528+32768 x527+16384 x526+8192 x525+4096 x524+2048 x523+1024 x522+512 x521+256 x520+128 x519+64 x518+32 x517+16 x516+8 x515+4 x514+2 x513+1 x512-0=2147483646
16.07/16.17	c 536870912 ~x673224+268435456 ~x673223+134217728 ~x673222+67108864 ~x673221+33554432 ~x673220+16777216 ~x673219+8388608 ~x673218+4194304 ~x673217+2097152 ~x673216+1048576 ~x673215+524288 ~x673214+262144 ~x673213+131072 ~x673212+65536 ~x673211+32768 ~x673210+16384 ~x673209+8192 ~x673208+4096 ~x673207+2048 ~x673206+1024 ~x673205+512 ~x673204+256 ~x673203+128 ~x673202+64 ~x673201+32 ~x673200+16 ~x673199+8 ~x673198+4 ~x673197+2 ~x673196+1 ~x673195+536870912 ~x661+268435456 ~x660+134217728 ~x659+67108864 ~x658+33554432 ~x657+16777216 ~x656+8388608 ~x655+4194304 ~x654+2097152 ~x653+1048576 ~x652+524288 ~x651+262144 ~x650+131072 ~x649+65536 ~x648+32768 ~x647+16384 ~x646+8192 ~x645+4096 ~x644+2048 ~x643+1024 ~x642+512 ~x641+256 ~x640+128 ~x639+64 ~x638+32 ~x637+16 ~x636+8 ~x635+4 ~x634+2 ~x633+1 ~x632+536870912 x571+268435456 x570+134217728 x569+67108864 x568+33554432 x567+16777216 x566+8388608 x565+4194304 x564+2097152 x563+1048576 x562+524288 x561+262144 x560+131072 x559+65536 x558+32768 x557+16384 x556+8192 x555+4096 x554+2048 x553+1024 x552+512 x551+256 x550+128 x549+64 x548+32 x547+16 x546+8 x545+4 x544+2 x543+1 x542-0=2147483646
16.78/16.89	c 8589934592 ~x704971+4294967296 ~x704970+2147483648 ~x704969+1073741824 ~x704968+536870912 ~x704967+268435456 ~x704966+134217728 ~x704965+67108864 ~x704964+33554432 ~x704963+16777216 ~x704962+8388608 ~x704961+4194304 ~x704960+2097152 ~x704959+1048576 ~x704958+524288 ~x704957+262144 ~x704956+131072 ~x704955+65536 ~x704954+32768 ~x704953+16384 ~x704952+8192 ~x704951+4096 ~x704950+2048 ~x704949+1024 ~x704948+512 ~x704947+256 ~x704946+128 ~x704945+64 ~x704944+32 ~x704943+16 ~x704942+8 ~x704941+4 ~x704940+2 ~x704939+1 ~x704938+1610612736 ~x751+805306368 ~x750+402653184 ~x749+201326592 ~x748+100663296 ~x747+50331648 ~x746+25165824 ~x745+12582912 ~x744+6291456 ~x743+3145728 ~x742+1572864 ~x741+786432 ~x740+393216 ~x739+196608 ~x738+98304 ~x737+49152 ~x736+24576 ~x735+12288 ~x734+6144 ~x733+3072 ~x732+1536 ~x731+768 ~x730+384 ~x729+192 ~x728+96 ~x727+48 ~x726+24 ~x725+12 ~x724+6 ~x723+3 ~x722+1073741824 ~x721+536870912 ~x720+268435456 ~x719+134217728 ~x718+67108864 ~x717+33554432 ~x716+16777216 ~x715+8388608 ~x714+4194304 ~x713+2097152 ~x712+1048576 ~x711+524288 ~x710+262144 ~x709+131072 ~x708+65536 ~x707+32768 ~x706+16384 ~x705+8192 ~x704+4096 ~x703+2048 ~x702+1024 ~x701+512 ~x700+256 ~x699+128 ~x698+64 ~x697+32 ~x696+16 ~x695+8 ~x694+4 ~x693+2 ~x692+2147483648 ~x691+1073741824 ~x690+536870912 ~x689+268435456 ~x688+134217728 ~x687+67108864 ~x686+33554432 ~x685+16777216 ~x684+8388608 ~x683+4194304 ~x682+2097152 ~x681+1048576 ~x680+524288 ~x679+262144 ~x678+131072 ~x677+65536 ~x676+32768 ~x675+16384 ~x674+8192 ~x673+4096 ~x672+2048 ~x671+1024 ~x670+512 ~x669+256 ~x668+128 ~x667+64 ~x666+32 ~x665+16 ~x664+8 ~x663+4 ~x662+1073741824 x601+536870912 x600+268435456 x599+134217728 x598+67108864 x597+33554432 x596+16777216 x595+8388608 x594+4194304 x593+2097152 x592+1048576 x591+524288 x590+262144 x589+131072 x588+65536 x587+32768 x586+16384 x585+8192 x584+4096 x583+2048 x582+1024 x581+512 x580+256 x579+128 x578+64 x577+32 x576+16 x575+8 x574+4 x573+2 x572-0=26843135990
18.37/18.44	c 8589934592 ~x773284+4294967296 ~x773283+2147483648 ~x773282+1073741824 ~x773281+536870912 ~x773280+268435456 ~x773279+134217728 ~x773278+67108864 ~x773277+33554432 ~x773276+16777216 ~x773275+8388608 ~x773274+4194304 ~x773273+2097152 ~x773272+1048576 ~x773271+524288 ~x773270+262144 ~x773269+131072 ~x773268+65536 ~x773267+32768 ~x773266+16384 ~x773265+8192 ~x773264+4096 ~x773263+2048 ~x773262+1024 ~x773261+512 ~x773260+256 ~x773259+128 ~x773258+64 ~x773257+32 ~x773256+16 ~x773255+8 ~x773254+4 ~x773253+2 ~x773252+1 ~x773251+1610612736 ~x751+805306368 ~x750+402653184 ~x749+201326592 ~x748+100663296 ~x747+50331648 ~x746+25165824 ~x745+12582912 ~x744+6291456 ~x743+3145728 ~x742+1572864 ~x741+786432 ~x740+393216 ~x739+196608 ~x738+98304 ~x737+49152 ~x736+24576 ~x735+12288 ~x734+6144 ~x733+3072 ~x732+1536 ~x731+768 ~x730+384 ~x729+192 ~x728+96 ~x727+48 ~x726+24 ~x725+12 ~x724+6 ~x723+3 ~x722+2147483648 ~x721+1073741824 ~x720+536870912 ~x719+268435456 ~x718+134217728 ~x717+67108864 ~x716+33554432 ~x715+16777216 ~x714+8388608 ~x713+4194304 ~x712+2097152 ~x711+1048576 ~x710+524288 ~x709+262144 ~x708+131072 ~x707+65536 ~x706+32768 ~x705+16384 ~x704+8192 ~x703+4096 ~x702+2048 ~x701+1024 ~x700+512 ~x699+256 ~x698+128 ~x697+64 ~x696+32 ~x695+16 ~x694+8 ~x693+4 ~x692+1073741824 ~x691+536870912 ~x690+268435456 ~x689+134217728 ~x688+67108864 ~x687+33554432 ~x686+16777216 ~x685+8388608 ~x684+4194304 ~x683+2097152 ~x682+1048576 ~x681+524288 ~x680+262144 ~x679+131072 ~x678+65536 ~x677+32768 ~x676+16384 ~x675+8192 ~x674+4096 ~x673+2048 ~x672+1024 ~x671+512 ~x670+256 ~x669+128 ~x668+64 ~x667+32 ~x666+16 ~x665+8 ~x664+4 ~x663+2 ~x662+1073741824 x631+536870912 x630+268435456 x629+134217728 x628+67108864 x627+33554432 x626+16777216 x625+8388608 x624+4194304 x623+2097152 x622+1048576 x621+524288 x620+262144 x619+131072 x618+65536 x617+32768 x616+16384 x615+8192 x614+4096 x613+2048 x612+1024 x611+512 x610+256 x609+128 x608+64 x607+32 x606+16 x605+8 x604+4 x603+2 x602-0=26843340790
19.98/20.00	c 536870912 ~x841593+268435456 ~x841592+134217728 ~x841591+67108864 ~x841590+33554432 ~x841589+16777216 ~x841588+8388608 ~x841587+4194304 ~x841586+2097152 ~x841585+1048576 ~x841584+524288 ~x841583+262144 ~x841582+131072 ~x841581+65536 ~x841580+32768 ~x841579+16384 ~x841578+8192 ~x841577+4096 ~x841576+2048 ~x841575+1024 ~x841574+512 ~x841573+256 ~x841572+128 ~x841571+64 ~x841570+32 ~x841569+16 ~x841568+8 ~x841567+4 ~x841566+2 ~x841565+1 ~x841564+536870912 x661+268435456 x660+134217728 x659+67108864 x658+33554432 x657+16777216 x656+8388608 x655+4194304 x654+2097152 x653+1048576 x652+524288 x651+262144 x650+131072 x649+65536 x648+32768 x647+16384 x646+8192 x645+4096 x644+2048 x643+1024 x642+512 x641+256 x640+128 x639+64 x638+32 x637+16 x636+8 x635+4 x634+2 x633+1 x632+536870912 ~x481+268435456 ~x480+134217728 ~x479+67108864 ~x478+33554432 ~x477+16777216 ~x476+8388608 ~x475+4194304 ~x474+2097152 ~x473+1048576 ~x472+524288 ~x471+262144 ~x470+131072 ~x469+65536 ~x468+32768 ~x467+16384 ~x466+8192 ~x465+4096 ~x464+2048 ~x463+1024 ~x462+512 ~x461+256 ~x460+128 ~x459+64 ~x458+32 ~x457+16 ~x456+8 ~x455+4 ~x454+2 ~x453+1 ~x452-0=2147483646
24.08/24.11	c 536870912 ~x1023497+268435456 ~x1023496+134217728 ~x1023495+67108864 ~x1023494+33554432 ~x1023493+16777216 ~x1023492+8388608 ~x1023491+4194304 ~x1023490+2097152 ~x1023489+1048576 ~x1023488+524288 ~x1023487+262144 ~x1023486+131072 ~x1023485+65536 ~x1023484+32768 ~x1023483+16384 ~x1023482+8192 ~x1023481+4096 ~x1023480+2048 ~x1023479+1024 ~x1023478+512 ~x1023477+256 ~x1023476+128 ~x1023475+64 ~x1023474+32 ~x1023473+16 ~x1023472+8 ~x1023471+4 ~x1023470+2 ~x1023469+1 ~x1023468+536870912 ~x931+268435456 ~x930+134217728 ~x929+67108864 ~x928+33554432 ~x927+16777216 ~x926+8388608 ~x925+4194304 ~x924+2097152 ~x923+1048576 ~x922+524288 ~x921+262144 ~x920+131072 ~x919+65536 ~x918+32768 ~x917+16384 ~x916+8192 ~x915+4096 ~x914+2048 ~x913+1024 ~x912+512 ~x911+256 ~x910+128 ~x909+64 ~x908+32 ~x907+16 ~x906+8 ~x905+4 ~x904+2 ~x903+1 ~x902+536870912 x841+268435456 x840+134217728 x839+67108864 x838+33554432 x837+16777216 x836+8388608 x835+4194304 x834+2097152 x833+1048576 x832+524288 x831+262144 x830+131072 x829+65536 x828+32768 x827+16384 x826+8192 x825+4096 x824+2048 x823+1024 x822+512 x821+256 x820+128 x819+64 x818+32 x817+16 x816+8 x815+4 x814+2 x813+1 x812-0=2147483646
24.78/24.83	c 536870912 ~x1055240+268435456 ~x1055239+134217728 ~x1055238+67108864 ~x1055237+33554432 ~x1055236+16777216 ~x1055235+8388608 ~x1055234+4194304 ~x1055233+2097152 ~x1055232+1048576 ~x1055231+524288 ~x1055230+262144 ~x1055229+131072 ~x1055228+65536 ~x1055227+32768 ~x1055226+16384 ~x1055225+8192 ~x1055224+4096 ~x1055223+2048 ~x1055222+1024 ~x1055221+512 ~x1055220+256 ~x1055219+128 ~x1055218+64 ~x1055217+32 ~x1055216+16 ~x1055215+8 ~x1055214+4 ~x1055213+2 ~x1055212+1 ~x1055211+536870912 ~x961+268435456 ~x960+134217728 ~x959+67108864 ~x958+33554432 ~x957+16777216 ~x956+8388608 ~x955+4194304 ~x954+2097152 ~x953+1048576 ~x952+524288 ~x951+262144 ~x950+131072 ~x949+65536 ~x948+32768 ~x947+16384 ~x946+8192 ~x945+4096 ~x944+2048 ~x943+1024 ~x942+512 ~x941+256 ~x940+128 ~x939+64 ~x938+32 ~x937+16 ~x936+8 ~x935+4 ~x934+2 ~x933+1 ~x932+536870912 x871+268435456 x870+134217728 x869+67108864 x868+33554432 x867+16777216 x866+8388608 x865+4194304 x864+2097152 x863+1048576 x862+524288 x861+262144 x860+131072 x859+65536 x858+32768 x857+16384 x856+8192 x855+4096 x854+2048 x853+1024 x852+512 x851+256 x850+128 x849+64 x848+32 x847+16 x846+8 x845+4 x844+2 x843+1 x842-0=2147483646
25.48/25.55	c 536870912 ~x1086983+268435456 ~x1086982+134217728 ~x1086981+67108864 ~x1086980+33554432 ~x1086979+16777216 ~x1086978+8388608 ~x1086977+4194304 ~x1086976+2097152 ~x1086975+1048576 ~x1086974+524288 ~x1086973+262144 ~x1086972+131072 ~x1086971+65536 ~x1086970+32768 ~x1086969+16384 ~x1086968+8192 ~x1086967+4096 ~x1086966+2048 ~x1086965+1024 ~x1086964+512 ~x1086963+256 ~x1086962+128 ~x1086961+64 ~x1086960+32 ~x1086959+16 ~x1086958+8 ~x1086957+4 ~x1086956+2 ~x1086955+1 ~x1086954+536870912 ~x991+268435456 ~x990+134217728 ~x989+67108864 ~x988+33554432 ~x987+16777216 ~x986+8388608 ~x985+4194304 ~x984+2097152 ~x983+1048576 ~x982+524288 ~x981+262144 ~x980+131072 ~x979+65536 ~x978+32768 ~x977+16384 ~x976+8192 ~x975+4096 ~x974+2048 ~x973+1024 ~x972+512 ~x971+256 ~x970+128 ~x969+64 ~x968+32 ~x967+16 ~x966+8 ~x965+4 ~x964+2 ~x963+1 ~x962+536870912 x901+268435456 x900+134217728 x899+67108864 x898+33554432 x897+16777216 x896+8388608 x895+4194304 x894+2097152 x893+1048576 x892+524288 x891+262144 x890+131072 x889+65536 x888+32768 x887+16384 x886+8192 x885+4096 x884+2048 x883+1024 x882+512 x881+256 x880+128 x879+64 x878+32 x877+16 x876+8 x875+4 x874+2 x873+1 x872-0=2147483646
26.18/26.27	c 8589934592 ~x1118730+4294967296 ~x1118729+2147483648 ~x1118728+1073741824 ~x1118727+536870912 ~x1118726+268435456 ~x1118725+134217728 ~x1118724+67108864 ~x1118723+33554432 ~x1118722+16777216 ~x1118721+8388608 ~x1118720+4194304 ~x1118719+2097152 ~x1118718+1048576 ~x1118717+524288 ~x1118716+262144 ~x1118715+131072 ~x1118714+65536 ~x1118713+32768 ~x1118712+16384 ~x1118711+8192 ~x1118710+4096 ~x1118709+2048 ~x1118708+1024 ~x1118707+512 ~x1118706+256 ~x1118705+128 ~x1118704+64 ~x1118703+32 ~x1118702+16 ~x1118701+8 ~x1118700+4 ~x1118699+2 ~x1118698+1 ~x1118697+1610612736 ~x1081+805306368 ~x1080+402653184 ~x1079+201326592 ~x1078+100663296 ~x1077+50331648 ~x1076+25165824 ~x1075+12582912 ~x1074+6291456 ~x1073+3145728 ~x1072+1572864 ~x1071+786432 ~x1070+393216 ~x1069+196608 ~x1068+98304 ~x1067+49152 ~x1066+24576 ~x1065+12288 ~x1064+6144 ~x1063+3072 ~x1062+1536 ~x1061+768 ~x1060+384 ~x1059+192 ~x1058+96 ~x1057+48 ~x1056+24 ~x1055+12 ~x1054+6 ~x1053+3 ~x1052+1073741824 ~x1051+536870912 ~x1050+268435456 ~x1049+134217728 ~x1048+67108864 ~x1047+33554432 ~x1046+16777216 ~x1045+8388608 ~x1044+4194304 ~x1043+2097152 ~x1042+1048576 ~x1041+524288 ~x1040+262144 ~x1039+131072 ~x1038+65536 ~x1037+32768 ~x1036+16384 ~x1035+8192 ~x1034+4096 ~x1033+2048 ~x1032+1024 ~x1031+512 ~x1030+256 ~x1029+128 ~x1028+64 ~x1027+32 ~x1026+16 ~x1025+8 ~x1024+4 ~x1023+2 ~x1022+2147483648 ~x1021+1073741824 ~x1020+536870912 ~x1019+268435456 ~x1018+134217728 ~x1017+67108864 ~x1016+33554432 ~x1015+16777216 ~x1014+8388608 ~x1013+4194304 ~x1012+2097152 ~x1011+1048576 ~x1010+524288 ~x1009+262144 ~x1008+131072 ~x1007+65536 ~x1006+32768 ~x1005+16384 ~x1004+8192 ~x1003+4096 ~x1002+2048 ~x1001+1024 ~x1000+512 ~x999+256 ~x998+128 ~x997+64 ~x996+32 ~x995+16 ~x994+8 ~x993+4 ~x992+1073741824 x931+536870912 x930+268435456 x929+134217728 x928+67108864 x927+33554432 x926+16777216 x925+8388608 x924+4194304 x923+2097152 x922+1048576 x921+524288 x920+262144 x919+131072 x918+65536 x917+32768 x916+16384 x915+8192 x914+4096 x913+2048 x912+1024 x911+512 x910+256 x909+128 x908+64 x907+32 x906+16 x905+8 x904+4 x903+2 x902-0=26843135990
27.78/27.82	c 8589934592 ~x1187043+4294967296 ~x1187042+2147483648 ~x1187041+1073741824 ~x1187040+536870912 ~x1187039+268435456 ~x1187038+134217728 ~x1187037+67108864 ~x1187036+33554432 ~x1187035+16777216 ~x1187034+8388608 ~x1187033+4194304 ~x1187032+2097152 ~x1187031+1048576 ~x1187030+524288 ~x1187029+262144 ~x1187028+131072 ~x1187027+65536 ~x1187026+32768 ~x1187025+16384 ~x1187024+8192 ~x1187023+4096 ~x1187022+2048 ~x1187021+1024 ~x1187020+512 ~x1187019+256 ~x1187018+128 ~x1187017+64 ~x1187016+32 ~x1187015+16 ~x1187014+8 ~x1187013+4 ~x1187012+2 ~x1187011+1 ~x1187010+1610612736 ~x1081+805306368 ~x1080+402653184 ~x1079+201326592 ~x1078+100663296 ~x1077+50331648 ~x1076+25165824 ~x1075+12582912 ~x1074+6291456 ~x1073+3145728 ~x1072+1572864 ~x1071+786432 ~x1070+393216 ~x1069+196608 ~x1068+98304 ~x1067+49152 ~x1066+24576 ~x1065+12288 ~x1064+6144 ~x1063+3072 ~x1062+1536 ~x1061+768 ~x1060+384 ~x1059+192 ~x1058+96 ~x1057+48 ~x1056+24 ~x1055+12 ~x1054+6 ~x1053+3 ~x1052+2147483648 ~x1051+1073741824 ~x1050+536870912 ~x1049+268435456 ~x1048+134217728 ~x1047+67108864 ~x1046+33554432 ~x1045+16777216 ~x1044+8388608 ~x1043+4194304 ~x1042+2097152 ~x1041+1048576 ~x1040+524288 ~x1039+262144 ~x1038+131072 ~x1037+65536 ~x1036+32768 ~x1035+16384 ~x1034+8192 ~x1033+4096 ~x1032+2048 ~x1031+1024 ~x1030+512 ~x1029+256 ~x1028+128 ~x1027+64 ~x1026+32 ~x1025+16 ~x1024+8 ~x1023+4 ~x1022+1073741824 ~x1021+536870912 ~x1020+268435456 ~x1019+134217728 ~x1018+67108864 ~x1017+33554432 ~x1016+16777216 ~x1015+8388608 ~x1014+4194304 ~x1013+2097152 ~x1012+1048576 ~x1011+524288 ~x1010+262144 ~x1009+131072 ~x1008+65536 ~x1007+32768 ~x1006+16384 ~x1005+8192 ~x1004+4096 ~x1003+2048 ~x1002+1024 ~x1001+512 ~x1000+256 ~x999+128 ~x998+64 ~x997+32 ~x996+16 ~x995+8 ~x994+4 ~x993+2 ~x992+1073741824 x961+536870912 x960+268435456 x959+134217728 x958+67108864 x957+33554432 x956+16777216 x955+8388608 x954+4194304 x953+2097152 x952+1048576 x951+524288 x950+262144 x949+131072 x948+65536 x947+32768 x946+16384 x945+8192 x944+4096 x943+2048 x942+1024 x941+512 x940+256 x939+128 x938+64 x937+32 x936+16 x935+8 x934+4 x933+2 x932-0=26843340790
29.28/29.39	c 536870912 ~x1255352+268435456 ~x1255351+134217728 ~x1255350+67108864 ~x1255349+33554432 ~x1255348+16777216 ~x1255347+8388608 ~x1255346+4194304 ~x1255345+2097152 ~x1255344+1048576 ~x1255343+524288 ~x1255342+262144 ~x1255341+131072 ~x1255340+65536 ~x1255339+32768 ~x1255338+16384 ~x1255337+8192 ~x1255336+4096 ~x1255335+2048 ~x1255334+1024 ~x1255333+512 ~x1255332+256 ~x1255331+128 ~x1255330+64 ~x1255329+32 ~x1255328+16 ~x1255327+8 ~x1255326+4 ~x1255325+2 ~x1255324+1 ~x1255323+536870912 x991+268435456 x990+134217728 x989+67108864 x988+33554432 x987+16777216 x986+8388608 x985+4194304 x984+2097152 x983+1048576 x982+524288 x981+262144 x980+131072 x979+65536 x978+32768 x977+16384 x976+8192 x975+4096 x974+2048 x973+1024 x972+512 x971+256 x970+128 x969+64 x968+32 x967+16 x966+8 x965+4 x964+2 x963+1 x962+536870912 ~x811+268435456 ~x810+134217728 ~x809+67108864 ~x808+33554432 ~x807+16777216 ~x806+8388608 ~x805+4194304 ~x804+2097152 ~x803+1048576 ~x802+524288 ~x801+262144 ~x800+131072 ~x799+65536 ~x798+32768 ~x797+16384 ~x796+8192 ~x795+4096 ~x794+2048 ~x793+1024 ~x792+512 ~x791+256 ~x790+128 ~x789+64 ~x788+32 ~x787+16 ~x786+8 ~x785+4 ~x784+2 ~x783+1 ~x782-0=2147483646
33.38/33.48	c 536870912 ~x1437256+268435456 ~x1437255+134217728 ~x1437254+67108864 ~x1437253+33554432 ~x1437252+16777216 ~x1437251+8388608 ~x1437250+4194304 ~x1437249+2097152 ~x1437248+1048576 ~x1437247+524288 ~x1437246+262144 ~x1437245+131072 ~x1437244+65536 ~x1437243+32768 ~x1437242+16384 ~x1437241+8192 ~x1437240+4096 ~x1437239+2048 ~x1437238+1024 ~x1437237+512 ~x1437236+256 ~x1437235+128 ~x1437234+64 ~x1437233+32 ~x1437232+16 ~x1437231+8 ~x1437230+4 ~x1437229+2 ~x1437228+1 ~x1437227+536870912 ~x1261+268435456 ~x1260+134217728 ~x1259+67108864 ~x1258+33554432 ~x1257+16777216 ~x1256+8388608 ~x1255+4194304 ~x1254+2097152 ~x1253+1048576 ~x1252+524288 ~x1251+262144 ~x1250+131072 ~x1249+65536 ~x1248+32768 ~x1247+16384 ~x1246+8192 ~x1245+4096 ~x1244+2048 ~x1243+1024 ~x1242+512 ~x1241+256 ~x1240+128 ~x1239+64 ~x1238+32 ~x1237+16 ~x1236+8 ~x1235+4 ~x1234+2 ~x1233+1 ~x1232+536870912 x1171+268435456 x1170+134217728 x1169+67108864 x1168+33554432 x1167+16777216 x1166+8388608 x1165+4194304 x1164+2097152 x1163+1048576 x1162+524288 x1161+262144 x1160+131072 x1159+65536 x1158+32768 x1157+16384 x1156+8192 x1155+4096 x1154+2048 x1153+1024 x1152+512 x1151+256 x1150+128 x1149+64 x1148+32 x1147+16 x1146+8 x1145+4 x1144+2 x1143+1 x1142-0=2147483646
34.08/34.19	c 536870912 ~x1468999+268435456 ~x1468998+134217728 ~x1468997+67108864 ~x1468996+33554432 ~x1468995+16777216 ~x1468994+8388608 ~x1468993+4194304 ~x1468992+2097152 ~x1468991+1048576 ~x1468990+524288 ~x1468989+262144 ~x1468988+131072 ~x1468987+65536 ~x1468986+32768 ~x1468985+16384 ~x1468984+8192 ~x1468983+4096 ~x1468982+2048 ~x1468981+1024 ~x1468980+512 ~x1468979+256 ~x1468978+128 ~x1468977+64 ~x1468976+32 ~x1468975+16 ~x1468974+8 ~x1468973+4 ~x1468972+2 ~x1468971+1 ~x1468970+536870912 ~x1291+268435456 ~x1290+134217728 ~x1289+67108864 ~x1288+33554432 ~x1287+16777216 ~x1286+8388608 ~x1285+4194304 ~x1284+2097152 ~x1283+1048576 ~x1282+524288 ~x1281+262144 ~x1280+131072 ~x1279+65536 ~x1278+32768 ~x1277+16384 ~x1276+8192 ~x1275+4096 ~x1274+2048 ~x1273+1024 ~x1272+512 ~x1271+256 ~x1270+128 ~x1269+64 ~x1268+32 ~x1267+16 ~x1266+8 ~x1265+4 ~x1264+2 ~x1263+1 ~x1262+536870912 x1201+268435456 x1200+134217728 x1199+67108864 x1198+33554432 x1197+16777216 x1196+8388608 x1195+4194304 x1194+2097152 x1193+1048576 x1192+524288 x1191+262144 x1190+131072 x1189+65536 x1188+32768 x1187+16384 x1186+8192 x1185+4096 x1184+2048 x1183+1024 x1182+512 x1181+256 x1180+128 x1179+64 x1178+32 x1177+16 x1176+8 x1175+4 x1174+2 x1173+1 x1172-0=2147483646
34.87/34.91	c 536870912 ~x1500742+268435456 ~x1500741+134217728 ~x1500740+67108864 ~x1500739+33554432 ~x1500738+16777216 ~x1500737+8388608 ~x1500736+4194304 ~x1500735+2097152 ~x1500734+1048576 ~x1500733+524288 ~x1500732+262144 ~x1500731+131072 ~x1500730+65536 ~x1500729+32768 ~x1500728+16384 ~x1500727+8192 ~x1500726+4096 ~x1500725+2048 ~x1500724+1024 ~x1500723+512 ~x1500722+256 ~x1500721+128 ~x1500720+64 ~x1500719+32 ~x1500718+16 ~x1500717+8 ~x1500716+4 ~x1500715+2 ~x1500714+1 ~x1500713+536870912 ~x1321+268435456 ~x1320+134217728 ~x1319+67108864 ~x1318+33554432 ~x1317+16777216 ~x1316+8388608 ~x1315+4194304 ~x1314+2097152 ~x1313+1048576 ~x1312+524288 ~x1311+262144 ~x1310+131072 ~x1309+65536 ~x1308+32768 ~x1307+16384 ~x1306+8192 ~x1305+4096 ~x1304+2048 ~x1303+1024 ~x1302+512 ~x1301+256 ~x1300+128 ~x1299+64 ~x1298+32 ~x1297+16 ~x1296+8 ~x1295+4 ~x1294+2 ~x1293+1 ~x1292+536870912 x1231+268435456 x1230+134217728 x1229+67108864 x1228+33554432 x1227+16777216 x1226+8388608 x1225+4194304 x1224+2097152 x1223+1048576 x1222+524288 x1221+262144 x1220+131072 x1219+65536 x1218+32768 x1217+16384 x1216+8192 x1215+4096 x1214+2048 x1213+1024 x1212+512 x1211+256 x1210+128 x1209+64 x1208+32 x1207+16 x1206+8 x1205+4 x1204+2 x1203+1 x1202-0=2147483646
35.58/35.64	c 8589934592 ~x1532489+4294967296 ~x1532488+2147483648 ~x1532487+1073741824 ~x1532486+536870912 ~x1532485+268435456 ~x1532484+134217728 ~x1532483+67108864 ~x1532482+33554432 ~x1532481+16777216 ~x1532480+8388608 ~x1532479+4194304 ~x1532478+2097152 ~x1532477+1048576 ~x1532476+524288 ~x1532475+262144 ~x1532474+131072 ~x1532473+65536 ~x1532472+32768 ~x1532471+16384 ~x1532470+8192 ~x1532469+4096 ~x1532468+2048 ~x1532467+1024 ~x1532466+512 ~x1532465+256 ~x1532464+128 ~x1532463+64 ~x1532462+32 ~x1532461+16 ~x1532460+8 ~x1532459+4 ~x1532458+2 ~x1532457+1 ~x1532456+1610612736 ~x1411+805306368 ~x1410+402653184 ~x1409+201326592 ~x1408+100663296 ~x1407+50331648 ~x1406+25165824 ~x1405+12582912 ~x1404+6291456 ~x1403+3145728 ~x1402+1572864 ~x1401+786432 ~x1400+393216 ~x1399+196608 ~x1398+98304 ~x1397+49152 ~x1396+24576 ~x1395+12288 ~x1394+6144 ~x1393+3072 ~x1392+1536 ~x1391+768 ~x1390+384 ~x1389+192 ~x1388+96 ~x1387+48 ~x1386+24 ~x1385+12 ~x1384+6 ~x1383+3 ~x1382+1073741824 ~x1381+536870912 ~x1380+268435456 ~x1379+134217728 ~x1378+67108864 ~x1377+33554432 ~x1376+16777216 ~x1375+8388608 ~x1374+4194304 ~x1373+2097152 ~x1372+1048576 ~x1371+524288 ~x1370+262144 ~x1369+131072 ~x1368+65536 ~x1367+32768 ~x1366+16384 ~x1365+8192 ~x1364+4096 ~x1363+2048 ~x1362+1024 ~x1361+512 ~x1360+256 ~x1359+128 ~x1358+64 ~x1357+32 ~x1356+16 ~x1355+8 ~x1354+4 ~x1353+2 ~x1352+2147483648 ~x1351+1073741824 ~x1350+536870912 ~x1349+268435456 ~x1348+134217728 ~x1347+67108864 ~x1346+33554432 ~x1345+16777216 ~x1344+8388608 ~x1343+4194304 ~x1342+2097152 ~x1341+1048576 ~x1340+524288 ~x1339+262144 ~x1338+131072 ~x1337+65536 ~x1336+32768 ~x1335+16384 ~x1334+8192 ~x1333+4096 ~x1332+2048 ~x1331+1024 ~x1330+512 ~x1329+256 ~x1328+128 ~x1327+64 ~x1326+32 ~x1325+16 ~x1324+8 ~x1323+4 ~x1322+1073741824 x1261+536870912 x1260+268435456 x1259+134217728 x1258+67108864 x1257+33554432 x1256+16777216 x1255+8388608 x1254+4194304 x1253+2097152 x1252+1048576 x1251+524288 x1250+262144 x1249+131072 x1248+65536 x1247+32768 x1246+16384 x1245+8192 x1244+4096 x1243+2048 x1242+1024 x1241+512 x1240+256 x1239+128 x1238+64 x1237+32 x1236+16 x1235+8 x1234+4 x1233+2 x1232-0=26843135990
37.17/37.21	c 8589934592 ~x1600802+4294967296 ~x1600801+2147483648 ~x1600800+1073741824 ~x1600799+536870912 ~x1600798+268435456 ~x1600797+134217728 ~x1600796+67108864 ~x1600795+33554432 ~x1600794+16777216 ~x1600793+8388608 ~x1600792+4194304 ~x1600791+2097152 ~x1600790+1048576 ~x1600789+524288 ~x1600788+262144 ~x1600787+131072 ~x1600786+65536 ~x1600785+32768 ~x1600784+16384 ~x1600783+8192 ~x1600782+4096 ~x1600781+2048 ~x1600780+1024 ~x1600779+512 ~x1600778+256 ~x1600777+128 ~x1600776+64 ~x1600775+32 ~x1600774+16 ~x1600773+8 ~x1600772+4 ~x1600771+2 ~x1600770+1 ~x1600769+1610612736 ~x1411+805306368 ~x1410+402653184 ~x1409+201326592 ~x1408+100663296 ~x1407+50331648 ~x1406+25165824 ~x1405+12582912 ~x1404+6291456 ~x1403+3145728 ~x1402+1572864 ~x1401+786432 ~x1400+393216 ~x1399+196608 ~x1398+98304 ~x1397+49152 ~x1396+24576 ~x1395+12288 ~x1394+6144 ~x1393+3072 ~x1392+1536 ~x1391+768 ~x1390+384 ~x1389+192 ~x1388+96 ~x1387+48 ~x1386+24 ~x1385+12 ~x1384+6 ~x1383+3 ~x1382+2147483648 ~x1381+1073741824 ~x1380+536870912 ~x1379+268435456 ~x1378+134217728 ~x1377+67108864 ~x1376+33554432 ~x1375+16777216 ~x1374+8388608 ~x1373+4194304 ~x1372+2097152 ~x1371+1048576 ~x1370+524288 ~x1369+262144 ~x1368+131072 ~x1367+65536 ~x1366+32768 ~x1365+16384 ~x1364+8192 ~x1363+4096 ~x1362+2048 ~x1361+1024 ~x1360+512 ~x1359+256 ~x1358+128 ~x1357+64 ~x1356+32 ~x1355+16 ~x1354+8 ~x1353+4 ~x1352+1073741824 ~x1351+536870912 ~x1350+268435456 ~x1349+134217728 ~x1348+67108864 ~x1347+33554432 ~x1346+16777216 ~x1345+8388608 ~x1344+4194304 ~x1343+2097152 ~x1342+1048576 ~x1341+524288 ~x1340+262144 ~x1339+131072 ~x1338+65536 ~x1337+32768 ~x1336+16384 ~x1335+8192 ~x1334+4096 ~x1333+2048 ~x1332+1024 ~x1331+512 ~x1330+256 ~x1329+128 ~x1328+64 ~x1327+32 ~x1326+16 ~x1325+8 ~x1324+4 ~x1323+2 ~x1322+1073741824 x1291+536870912 x1290+268435456 x1289+134217728 x1288+67108864 x1287+33554432 x1286+16777216 x1285+8388608 x1284+4194304 x1283+2097152 x1282+1048576 x1281+524288 x1280+262144 x1279+131072 x1278+65536 x1277+32768 x1276+16384 x1275+8192 x1274+4096 x1273+2048 x1272+1024 x1271+512 x1270+256 x1269+128 x1268+64 x1267+32 x1266+16 x1265+8 x1264+4 x1263+2 x1262-0=26843340790
38.67/38.75	c 536870912 ~x1669111+268435456 ~x1669110+134217728 ~x1669109+67108864 ~x1669108+33554432 ~x1669107+16777216 ~x1669106+8388608 ~x1669105+4194304 ~x1669104+2097152 ~x1669103+1048576 ~x1669102+524288 ~x1669101+262144 ~x1669100+131072 ~x1669099+65536 ~x1669098+32768 ~x1669097+16384 ~x1669096+8192 ~x1669095+4096 ~x1669094+2048 ~x1669093+1024 ~x1669092+512 ~x1669091+256 ~x1669090+128 ~x1669089+64 ~x1669088+32 ~x1669087+16 ~x1669086+8 ~x1669085+4 ~x1669084+2 ~x1669083+1 ~x1669082+536870912 x1321+268435456 x1320+134217728 x1319+67108864 x1318+33554432 x1317+16777216 x1316+8388608 x1315+4194304 x1314+2097152 x1313+1048576 x1312+524288 x1311+262144 x1310+131072 x1309+65536 x1308+32768 x1307+16384 x1306+8192 x1305+4096 x1304+2048 x1303+1024 x1302+512 x1301+256 x1300+128 x1299+64 x1298+32 x1297+16 x1296+8 x1295+4 x1294+2 x1293+1 x1292+536870912 ~x1141+268435456 ~x1140+134217728 ~x1139+67108864 ~x1138+33554432 ~x1137+16777216 ~x1136+8388608 ~x1135+4194304 ~x1134+2097152 ~x1133+1048576 ~x1132+524288 ~x1131+262144 ~x1130+131072 ~x1129+65536 ~x1128+32768 ~x1127+16384 ~x1126+8192 ~x1125+4096 ~x1124+2048 ~x1123+1024 ~x1122+512 ~x1121+256 ~x1120+128 ~x1119+64 ~x1118+32 ~x1117+16 ~x1116+8 ~x1115+4 ~x1114+2 ~x1113+1 ~x1112-0=2147483646
42.78/42.85	c 536870912 ~x1851015+268435456 ~x1851014+134217728 ~x1851013+67108864 ~x1851012+33554432 ~x1851011+16777216 ~x1851010+8388608 ~x1851009+4194304 ~x1851008+2097152 ~x1851007+1048576 ~x1851006+524288 ~x1851005+262144 ~x1851004+131072 ~x1851003+65536 ~x1851002+32768 ~x1851001+16384 ~x1851000+8192 ~x1850999+4096 ~x1850998+2048 ~x1850997+1024 ~x1850996+512 ~x1850995+256 ~x1850994+128 ~x1850993+64 ~x1850992+32 ~x1850991+16 ~x1850990+8 ~x1850989+4 ~x1850988+2 ~x1850987+1 ~x1850986+536870912 ~x1591+268435456 ~x1590+134217728 ~x1589+67108864 ~x1588+33554432 ~x1587+16777216 ~x1586+8388608 ~x1585+4194304 ~x1584+2097152 ~x1583+1048576 ~x1582+524288 ~x1581+262144 ~x1580+131072 ~x1579+65536 ~x1578+32768 ~x1577+16384 ~x1576+8192 ~x1575+4096 ~x1574+2048 ~x1573+1024 ~x1572+512 ~x1571+256 ~x1570+128 ~x1569+64 ~x1568+32 ~x1567+16 ~x1566+8 ~x1565+4 ~x1564+2 ~x1563+1 ~x1562+536870912 x1501+268435456 x1500+134217728 x1499+67108864 x1498+33554432 x1497+16777216 x1496+8388608 x1495+4194304 x1494+2097152 x1493+1048576 x1492+524288 x1491+262144 x1490+131072 x1489+65536 x1488+32768 x1487+16384 x1486+8192 x1485+4096 x1484+2048 x1483+1024 x1482+512 x1481+256 x1480+128 x1479+64 x1478+32 x1477+16 x1476+8 x1475+4 x1474+2 x1473+1 x1472-0=2147483646
43.48/43.57	c 536870912 ~x1882758+268435456 ~x1882757+134217728 ~x1882756+67108864 ~x1882755+33554432 ~x1882754+16777216 ~x1882753+8388608 ~x1882752+4194304 ~x1882751+2097152 ~x1882750+1048576 ~x1882749+524288 ~x1882748+262144 ~x1882747+131072 ~x1882746+65536 ~x1882745+32768 ~x1882744+16384 ~x1882743+8192 ~x1882742+4096 ~x1882741+2048 ~x1882740+1024 ~x1882739+512 ~x1882738+256 ~x1882737+128 ~x1882736+64 ~x1882735+32 ~x1882734+16 ~x1882733+8 ~x1882732+4 ~x1882731+2 ~x1882730+1 ~x1882729+536870912 ~x1621+268435456 ~x1620+134217728 ~x1619+67108864 ~x1618+33554432 ~x1617+16777216 ~x1616+8388608 ~x1615+4194304 ~x1614+2097152 ~x1613+1048576 ~x1612+524288 ~x1611+262144 ~x1610+131072 ~x1609+65536 ~x1608+32768 ~x1607+16384 ~x1606+8192 ~x1605+4096 ~x1604+2048 ~x1603+1024 ~x1602+512 ~x1601+256 ~x1600+128 ~x1599+64 ~x1598+32 ~x1597+16 ~x1596+8 ~x1595+4 ~x1594+2 ~x1593+1 ~x1592+536870912 x1531+268435456 x1530+134217728 x1529+67108864 x1528+33554432 x1527+16777216 x1526+8388608 x1525+4194304 x1524+2097152 x1523+1048576 x1522+524288 x1521+262144 x1520+131072 x1519+65536 x1518+32768 x1517+16384 x1516+8192 x1515+4096 x1514+2048 x1513+1024 x1512+512 x1511+256 x1510+128 x1509+64 x1508+32 x1507+16 x1506+8 x1505+4 x1504+2 x1503+1 x1502-0=2147483646
44.17/44.29	c 536870912 ~x1914501+268435456 ~x1914500+134217728 ~x1914499+67108864 ~x1914498+33554432 ~x1914497+16777216 ~x1914496+8388608 ~x1914495+4194304 ~x1914494+2097152 ~x1914493+1048576 ~x1914492+524288 ~x1914491+262144 ~x1914490+131072 ~x1914489+65536 ~x1914488+32768 ~x1914487+16384 ~x1914486+8192 ~x1914485+4096 ~x1914484+2048 ~x1914483+1024 ~x1914482+512 ~x1914481+256 ~x1914480+128 ~x1914479+64 ~x1914478+32 ~x1914477+16 ~x1914476+8 ~x1914475+4 ~x1914474+2 ~x1914473+1 ~x1914472+536870912 ~x1651+268435456 ~x1650+134217728 ~x1649+67108864 ~x1648+33554432 ~x1647+16777216 ~x1646+8388608 ~x1645+4194304 ~x1644+2097152 ~x1643+1048576 ~x1642+524288 ~x1641+262144 ~x1640+131072 ~x1639+65536 ~x1638+32768 ~x1637+16384 ~x1636+8192 ~x1635+4096 ~x1634+2048 ~x1633+1024 ~x1632+512 ~x1631+256 ~x1630+128 ~x1629+64 ~x1628+32 ~x1627+16 ~x1626+8 ~x1625+4 ~x1624+2 ~x1623+1 ~x1622+536870912 x1561+268435456 x1560+134217728 x1559+67108864 x1558+33554432 x1557+16777216 x1556+8388608 x1555+4194304 x1554+2097152 x1553+1048576 x1552+524288 x1551+262144 x1550+131072 x1549+65536 x1548+32768 x1547+16384 x1546+8192 x1545+4096 x1544+2048 x1543+1024 x1542+512 x1541+256 x1540+128 x1539+64 x1538+32 x1537+16 x1536+8 x1535+4 x1534+2 x1533+1 x1532-0=2147483646
44.98/45.01	c 8589934592 ~x1946248+4294967296 ~x1946247+2147483648 ~x1946246+1073741824 ~x1946245+536870912 ~x1946244+268435456 ~x1946243+134217728 ~x1946242+67108864 ~x1946241+33554432 ~x1946240+16777216 ~x1946239+8388608 ~x1946238+4194304 ~x1946237+2097152 ~x1946236+1048576 ~x1946235+524288 ~x1946234+262144 ~x1946233+131072 ~x1946232+65536 ~x1946231+32768 ~x1946230+16384 ~x1946229+8192 ~x1946228+4096 ~x1946227+2048 ~x1946226+1024 ~x1946225+512 ~x1946224+256 ~x1946223+128 ~x1946222+64 ~x1946221+32 ~x1946220+16 ~x1946219+8 ~x1946218+4 ~x1946217+2 ~x1946216+1 ~x1946215+1610612736 ~x1741+805306368 ~x1740+402653184 ~x1739+201326592 ~x1738+100663296 ~x1737+50331648 ~x1736+25165824 ~x1735+12582912 ~x1734+6291456 ~x1733+3145728 ~x1732+1572864 ~x1731+786432 ~x1730+393216 ~x1729+196608 ~x1728+98304 ~x1727+49152 ~x1726+24576 ~x1725+12288 ~x1724+6144 ~x1723+3072 ~x1722+1536 ~x1721+768 ~x1720+384 ~x1719+192 ~x1718+96 ~x1717+48 ~x1716+24 ~x1715+12 ~x1714+6 ~x1713+3 ~x1712+1073741824 ~x1711+536870912 ~x1710+268435456 ~x1709+134217728 ~x1708+67108864 ~x1707+33554432 ~x1706+16777216 ~x1705+8388608 ~x1704+4194304 ~x1703+2097152 ~x1702+1048576 ~x1701+524288 ~x1700+262144 ~x1699+131072 ~x1698+65536 ~x1697+32768 ~x1696+16384 ~x1695+8192 ~x1694+4096 ~x1693+2048 ~x1692+1024 ~x1691+512 ~x1690+256 ~x1689+128 ~x1688+64 ~x1687+32 ~x1686+16 ~x1685+8 ~x1684+4 ~x1683+2 ~x1682+2147483648 ~x1681+1073741824 ~x1680+536870912 ~x1679+268435456 ~x1678+134217728 ~x1677+67108864 ~x1676+33554432 ~x1675+16777216 ~x1674+8388608 ~x1673+4194304 ~x1672+2097152 ~x1671+1048576 ~x1670+524288 ~x1669+262144 ~x1668+131072 ~x1667+65536 ~x1666+32768 ~x1665+16384 ~x1664+8192 ~x1663+4096 ~x1662+2048 ~x1661+1024 ~x1660+512 ~x1659+256 ~x1658+128 ~x1657+64 ~x1656+32 ~x1655+16 ~x1654+8 ~x1653+4 ~x1652+1073741824 x1591+536870912 x1590+268435456 x1589+134217728 x1588+67108864 x1587+33554432 x1586+16777216 x1585+8388608 x1584+4194304 x1583+2097152 x1582+1048576 x1581+524288 x1580+262144 x1579+131072 x1578+65536 x1577+32768 x1576+16384 x1575+8192 x1574+4096 x1573+2048 x1572+1024 x1571+512 x1570+256 x1569+128 x1568+64 x1567+32 x1566+16 x1565+8 x1564+4 x1563+2 x1562-0=26843135990
46.47/46.59	c 8589934592 ~x2014561+4294967296 ~x2014560+2147483648 ~x2014559+1073741824 ~x2014558+536870912 ~x2014557+268435456 ~x2014556+134217728 ~x2014555+67108864 ~x2014554+33554432 ~x2014553+16777216 ~x2014552+8388608 ~x2014551+4194304 ~x2014550+2097152 ~x2014549+1048576 ~x2014548+524288 ~x2014547+262144 ~x2014546+131072 ~x2014545+65536 ~x2014544+32768 ~x2014543+16384 ~x2014542+8192 ~x2014541+4096 ~x2014540+2048 ~x2014539+1024 ~x2014538+512 ~x2014537+256 ~x2014536+128 ~x2014535+64 ~x2014534+32 ~x2014533+16 ~x2014532+8 ~x2014531+4 ~x2014530+2 ~x2014529+1 ~x2014528+1610612736 ~x1741+805306368 ~x1740+402653184 ~x1739+201326592 ~x1738+100663296 ~x1737+50331648 ~x1736+25165824 ~x1735+12582912 ~x1734+6291456 ~x1733+3145728 ~x1732+1572864 ~x1731+786432 ~x1730+393216 ~x1729+196608 ~x1728+98304 ~x1727+49152 ~x1726+24576 ~x1725+12288 ~x1724+6144 ~x1723+3072 ~x1722+1536 ~x1721+768 ~x1720+384 ~x1719+192 ~x1718+96 ~x1717+48 ~x1716+24 ~x1715+12 ~x1714+6 ~x1713+3 ~x1712+2147483648 ~x1711+1073741824 ~x1710+536870912 ~x1709+268435456 ~x1708+134217728 ~x1707+67108864 ~x1706+33554432 ~x1705+16777216 ~x1704+8388608 ~x1703+4194304 ~x1702+2097152 ~x1701+1048576 ~x1700+524288 ~x1699+262144 ~x1698+131072 ~x1697+65536 ~x1696+32768 ~x1695+16384 ~x1694+8192 ~x1693+4096 ~x1692+2048 ~x1691+1024 ~x1690+512 ~x1689+256 ~x1688+128 ~x1687+64 ~x1686+32 ~x1685+16 ~x1684+8 ~x1683+4 ~x1682+1073741824 ~x1681+536870912 ~x1680+268435456 ~x1679+134217728 ~x1678+67108864 ~x1677+33554432 ~x1676+16777216 ~x1675+8388608 ~x1674+4194304 ~x1673+2097152 ~x1672+1048576 ~x1671+524288 ~x1670+262144 ~x1669+131072 ~x1668+65536 ~x1667+32768 ~x1666+16384 ~x1665+8192 ~x1664+4096 ~x1663+2048 ~x1662+1024 ~x1661+512 ~x1660+256 ~x1659+128 ~x1658+64 ~x1657+32 ~x1656+16 ~x1655+8 ~x1654+4 ~x1653+2 ~x1652+1073741824 x1621+536870912 x1620+268435456 x1619+134217728 x1618+67108864 x1617+33554432 x1616+16777216 x1615+8388608 x1614+4194304 x1613+2097152 x1612+1048576 x1611+524288 x1610+262144 x1609+131072 x1608+65536 x1607+32768 x1606+16384 x1605+8192 x1604+4096 x1603+2048 x1602+1024 x1601+512 x1600+256 x1599+128 x1598+64 x1597+32 x1596+16 x1595+8 x1594+4 x1593+2 x1592-0=26843340790
48.07/48.13	c 536870912 ~x2082870+268435456 ~x2082869+134217728 ~x2082868+67108864 ~x2082867+33554432 ~x2082866+16777216 ~x2082865+8388608 ~x2082864+4194304 ~x2082863+2097152 ~x2082862+1048576 ~x2082861+524288 ~x2082860+262144 ~x2082859+131072 ~x2082858+65536 ~x2082857+32768 ~x2082856+16384 ~x2082855+8192 ~x2082854+4096 ~x2082853+2048 ~x2082852+1024 ~x2082851+512 ~x2082850+256 ~x2082849+128 ~x2082848+64 ~x2082847+32 ~x2082846+16 ~x2082845+8 ~x2082844+4 ~x2082843+2 ~x2082842+1 ~x2082841+536870912 x1651+268435456 x1650+134217728 x1649+67108864 x1648+33554432 x1647+16777216 x1646+8388608 x1645+4194304 x1644+2097152 x1643+1048576 x1642+524288 x1641+262144 x1640+131072 x1639+65536 x1638+32768 x1637+16384 x1636+8192 x1635+4096 x1634+2048 x1633+1024 x1632+512 x1631+256 x1630+128 x1629+64 x1628+32 x1627+16 x1626+8 x1625+4 x1624+2 x1623+1 x1622+536870912 ~x1471+268435456 ~x1470+134217728 ~x1469+67108864 ~x1468+33554432 ~x1467+16777216 ~x1466+8388608 ~x1465+4194304 ~x1464+2097152 ~x1463+1048576 ~x1462+524288 ~x1461+262144 ~x1460+131072 ~x1459+65536 ~x1458+32768 ~x1457+16384 ~x1456+8192 ~x1455+4096 ~x1454+2048 ~x1453+1024 ~x1452+512 ~x1451+256 ~x1450+128 ~x1449+64 ~x1448+32 ~x1447+16 ~x1446+8 ~x1445+4 ~x1444+2 ~x1443+1 ~x1442-0=2147483646
52.16/52.22	c 536870912 ~x2264774+268435456 ~x2264773+134217728 ~x2264772+67108864 ~x2264771+33554432 ~x2264770+16777216 ~x2264769+8388608 ~x2264768+4194304 ~x2264767+2097152 ~x2264766+1048576 ~x2264765+524288 ~x2264764+262144 ~x2264763+131072 ~x2264762+65536 ~x2264761+32768 ~x2264760+16384 ~x2264759+8192 ~x2264758+4096 ~x2264757+2048 ~x2264756+1024 ~x2264755+512 ~x2264754+256 ~x2264753+128 ~x2264752+64 ~x2264751+32 ~x2264750+16 ~x2264749+8 ~x2264748+4 ~x2264747+2 ~x2264746+1 ~x2264745+536870912 ~x1921+268435456 ~x1920+134217728 ~x1919+67108864 ~x1918+33554432 ~x1917+16777216 ~x1916+8388608 ~x1915+4194304 ~x1914+2097152 ~x1913+1048576 ~x1912+524288 ~x1911+262144 ~x1910+131072 ~x1909+65536 ~x1908+32768 ~x1907+16384 ~x1906+8192 ~x1905+4096 ~x1904+2048 ~x1903+1024 ~x1902+512 ~x1901+256 ~x1900+128 ~x1899+64 ~x1898+32 ~x1897+16 ~x1896+8 ~x1895+4 ~x1894+2 ~x1893+1 ~x1892+536870912 x1831+268435456 x1830+134217728 x1829+67108864 x1828+33554432 x1827+16777216 x1826+8388608 x1825+4194304 x1824+2097152 x1823+1048576 x1822+524288 x1821+262144 x1820+131072 x1819+65536 x1818+32768 x1817+16384 x1816+8192 x1815+4096 x1814+2048 x1813+1024 x1812+512 x1811+256 x1810+128 x1809+64 x1808+32 x1807+16 x1806+8 x1805+4 x1804+2 x1803+1 x1802-0=2147483646
52.87/52.94	c 536870912 ~x2296517+268435456 ~x2296516+134217728 ~x2296515+67108864 ~x2296514+33554432 ~x2296513+16777216 ~x2296512+8388608 ~x2296511+4194304 ~x2296510+2097152 ~x2296509+1048576 ~x2296508+524288 ~x2296507+262144 ~x2296506+131072 ~x2296505+65536 ~x2296504+32768 ~x2296503+16384 ~x2296502+8192 ~x2296501+4096 ~x2296500+2048 ~x2296499+1024 ~x2296498+512 ~x2296497+256 ~x2296496+128 ~x2296495+64 ~x2296494+32 ~x2296493+16 ~x2296492+8 ~x2296491+4 ~x2296490+2 ~x2296489+1 ~x2296488+536870912 ~x1951+268435456 ~x1950+134217728 ~x1949+67108864 ~x1948+33554432 ~x1947+16777216 ~x1946+8388608 ~x1945+4194304 ~x1944+2097152 ~x1943+1048576 ~x1942+524288 ~x1941+262144 ~x1940+131072 ~x1939+65536 ~x1938+32768 ~x1937+16384 ~x1936+8192 ~x1935+4096 ~x1934+2048 ~x1933+1024 ~x1932+512 ~x1931+256 ~x1930+128 ~x1929+64 ~x1928+32 ~x1927+16 ~x1926+8 ~x1925+4 ~x1924+2 ~x1923+1 ~x1922+536870912 x1861+268435456 x1860+134217728 x1859+67108864 x1858+33554432 x1857+16777216 x1856+8388608 x1855+4194304 x1854+2097152 x1853+1048576 x1852+524288 x1851+262144 x1850+131072 x1849+65536 x1848+32768 x1847+16384 x1846+8192 x1845+4096 x1844+2048 x1843+1024 x1842+512 x1841+256 x1840+128 x1839+64 x1838+32 x1837+16 x1836+8 x1835+4 x1834+2 x1833+1 x1832-0=2147483646
53.57/53.66	c 536870912 ~x2328260+268435456 ~x2328259+134217728 ~x2328258+67108864 ~x2328257+33554432 ~x2328256+16777216 ~x2328255+8388608 ~x2328254+4194304 ~x2328253+2097152 ~x2328252+1048576 ~x2328251+524288 ~x2328250+262144 ~x2328249+131072 ~x2328248+65536 ~x2328247+32768 ~x2328246+16384 ~x2328245+8192 ~x2328244+4096 ~x2328243+2048 ~x2328242+1024 ~x2328241+512 ~x2328240+256 ~x2328239+128 ~x2328238+64 ~x2328237+32 ~x2328236+16 ~x2328235+8 ~x2328234+4 ~x2328233+2 ~x2328232+1 ~x2328231+536870912 ~x1981+268435456 ~x1980+134217728 ~x1979+67108864 ~x1978+33554432 ~x1977+16777216 ~x1976+8388608 ~x1975+4194304 ~x1974+2097152 ~x1973+1048576 ~x1972+524288 ~x1971+262144 ~x1970+131072 ~x1969+65536 ~x1968+32768 ~x1967+16384 ~x1966+8192 ~x1965+4096 ~x1964+2048 ~x1963+1024 ~x1962+512 ~x1961+256 ~x1960+128 ~x1959+64 ~x1958+32 ~x1957+16 ~x1956+8 ~x1955+4 ~x1954+2 ~x1953+1 ~x1952+536870912 x1891+268435456 x1890+134217728 x1889+67108864 x1888+33554432 x1887+16777216 x1886+8388608 x1885+4194304 x1884+2097152 x1883+1048576 x1882+524288 x1881+262144 x1880+131072 x1879+65536 x1878+32768 x1877+16384 x1876+8192 x1875+4096 x1874+2048 x1873+1024 x1872+512 x1871+256 x1870+128 x1869+64 x1868+32 x1867+16 x1866+8 x1865+4 x1864+2 x1863+1 x1862-0=2147483646
54.27/54.38	c 8589934592 ~x2360007+4294967296 ~x2360006+2147483648 ~x2360005+1073741824 ~x2360004+536870912 ~x2360003+268435456 ~x2360002+134217728 ~x2360001+67108864 ~x2360000+33554432 ~x2359999+16777216 ~x2359998+8388608 ~x2359997+4194304 ~x2359996+2097152 ~x2359995+1048576 ~x2359994+524288 ~x2359993+262144 ~x2359992+131072 ~x2359991+65536 ~x2359990+32768 ~x2359989+16384 ~x2359988+8192 ~x2359987+4096 ~x2359986+2048 ~x2359985+1024 ~x2359984+512 ~x2359983+256 ~x2359982+128 ~x2359981+64 ~x2359980+32 ~x2359979+16 ~x2359978+8 ~x2359977+4 ~x2359976+2 ~x2359975+1 ~x2359974+1610612736 ~x2071+805306368 ~x2070+402653184 ~x2069+201326592 ~x2068+100663296 ~x2067+50331648 ~x2066+25165824 ~x2065+12582912 ~x2064+6291456 ~x2063+3145728 ~x2062+1572864 ~x2061+786432 ~x2060+393216 ~x2059+196608 ~x2058+98304 ~x2057+49152 ~x2056+24576 ~x2055+12288 ~x2054+6144 ~x2053+3072 ~x2052+1536 ~x2051+768 ~x2050+384 ~x2049+192 ~x2048+96 ~x2047+48 ~x2046+24 ~x2045+12 ~x2044+6 ~x2043+3 ~x2042+1073741824 ~x2041+536870912 ~x2040+268435456 ~x2039+134217728 ~x2038+67108864 ~x2037+33554432 ~x2036+16777216 ~x2035+8388608 ~x2034+4194304 ~x2033+2097152 ~x2032+1048576 ~x2031+524288 ~x2030+262144 ~x2029+131072 ~x2028+65536 ~x2027+32768 ~x2026+16384 ~x2025+8192 ~x2024+4096 ~x2023+2048 ~x2022+1024 ~x2021+512 ~x2020+256 ~x2019+128 ~x2018+64 ~x2017+32 ~x2016+16 ~x2015+8 ~x2014+4 ~x2013+2 ~x2012+2147483648 ~x2011+1073741824 ~x2010+536870912 ~x2009+268435456 ~x2008+134217728 ~x2007+67108864 ~x2006+33554432 ~x2005+16777216 ~x2004+8388608 ~x2003+4194304 ~x2002+2097152 ~x2001+1048576 ~x2000+524288 ~x1999+262144 ~x1998+131072 ~x1997+65536 ~x1996+32768 ~x1995+16384 ~x1994+8192 ~x1993+4096 ~x1992+2048 ~x1991+1024 ~x1990+512 ~x1989+256 ~x1988+128 ~x1987+64 ~x1986+32 ~x1985+16 ~x1984+8 ~x1983+4 ~x1982+1073741824 x1921+536870912 x1920+268435456 x1919+134217728 x1918+67108864 x1917+33554432 x1916+16777216 x1915+8388608 x1914+4194304 x1913+2097152 x1912+1048576 x1911+524288 x1910+262144 x1909+131072 x1908+65536 x1907+32768 x1906+16384 x1905+8192 x1904+4096 x1903+2048 x1902+1024 x1901+512 x1900+256 x1899+128 x1898+64 x1897+32 x1896+16 x1895+8 x1894+4 x1893+2 x1892-0=26843135990
55.86/55.95	c 8589934592 ~x2428320+4294967296 ~x2428319+2147483648 ~x2428318+1073741824 ~x2428317+536870912 ~x2428316+268435456 ~x2428315+134217728 ~x2428314+67108864 ~x2428313+33554432 ~x2428312+16777216 ~x2428311+8388608 ~x2428310+4194304 ~x2428309+2097152 ~x2428308+1048576 ~x2428307+524288 ~x2428306+262144 ~x2428305+131072 ~x2428304+65536 ~x2428303+32768 ~x2428302+16384 ~x2428301+8192 ~x2428300+4096 ~x2428299+2048 ~x2428298+1024 ~x2428297+512 ~x2428296+256 ~x2428295+128 ~x2428294+64 ~x2428293+32 ~x2428292+16 ~x2428291+8 ~x2428290+4 ~x2428289+2 ~x2428288+1 ~x2428287+1610612736 ~x2071+805306368 ~x2070+402653184 ~x2069+201326592 ~x2068+100663296 ~x2067+50331648 ~x2066+25165824 ~x2065+12582912 ~x2064+6291456 ~x2063+3145728 ~x2062+1572864 ~x2061+786432 ~x2060+393216 ~x2059+196608 ~x2058+98304 ~x2057+49152 ~x2056+24576 ~x2055+12288 ~x2054+6144 ~x2053+3072 ~x2052+1536 ~x2051+768 ~x2050+384 ~x2049+192 ~x2048+96 ~x2047+48 ~x2046+24 ~x2045+12 ~x2044+6 ~x2043+3 ~x2042+2147483648 ~x2041+1073741824 ~x2040+536870912 ~x2039+268435456 ~x2038+134217728 ~x2037+67108864 ~x2036+33554432 ~x2035+16777216 ~x2034+8388608 ~x2033+4194304 ~x2032+2097152 ~x2031+1048576 ~x2030+524288 ~x2029+262144 ~x2028+131072 ~x2027+65536 ~x2026+32768 ~x2025+16384 ~x2024+8192 ~x2023+4096 ~x2022+2048 ~x2021+1024 ~x2020+512 ~x2019+256 ~x2018+128 ~x2017+64 ~x2016+32 ~x2015+16 ~x2014+8 ~x2013+4 ~x2012+1073741824 ~x2011+536870912 ~x2010+268435456 ~x2009+134217728 ~x2008+67108864 ~x2007+33554432 ~x2006+16777216 ~x2005+8388608 ~x2004+4194304 ~x2003+2097152 ~x2002+1048576 ~x2001+524288 ~x2000+262144 ~x1999+131072 ~x1998+65536 ~x1997+32768 ~x1996+16384 ~x1995+8192 ~x1994+4096 ~x1993+2048 ~x1992+1024 ~x1991+512 ~x1990+256 ~x1989+128 ~x1988+64 ~x1987+32 ~x1986+16 ~x1985+8 ~x1984+4 ~x1983+2 ~x1982+1073741824 x1951+536870912 x1950+268435456 x1949+134217728 x1948+67108864 x1947+33554432 x1946+16777216 x1945+8388608 x1944+4194304 x1943+2097152 x1942+1048576 x1941+524288 x1940+262144 x1939+131072 x1938+65536 x1937+32768 x1936+16384 x1935+8192 x1934+4096 x1933+2048 x1932+1024 x1931+512 x1930+256 x1929+128 x1928+64 x1927+32 x1926+16 x1925+8 x1924+4 x1923+2 x1922-0=26843340790
57.47/57.53	c 536870912 ~x2496629+268435456 ~x2496628+134217728 ~x2496627+67108864 ~x2496626+33554432 ~x2496625+16777216 ~x2496624+8388608 ~x2496623+4194304 ~x2496622+2097152 ~x2496621+1048576 ~x2496620+524288 ~x2496619+262144 ~x2496618+131072 ~x2496617+65536 ~x2496616+32768 ~x2496615+16384 ~x2496614+8192 ~x2496613+4096 ~x2496612+2048 ~x2496611+1024 ~x2496610+512 ~x2496609+256 ~x2496608+128 ~x2496607+64 ~x2496606+32 ~x2496605+16 ~x2496604+8 ~x2496603+4 ~x2496602+2 ~x2496601+1 ~x2496600+536870912 x1981+268435456 x1980+134217728 x1979+67108864 x1978+33554432 x1977+16777216 x1976+8388608 x1975+4194304 x1974+2097152 x1973+1048576 x1972+524288 x1971+262144 x1970+131072 x1969+65536 x1968+32768 x1967+16384 x1966+8192 x1965+4096 x1964+2048 x1963+1024 x1962+512 x1961+256 x1960+128 x1959+64 x1958+32 x1957+16 x1956+8 x1955+4 x1954+2 x1953+1 x1952+536870912 ~x1801+268435456 ~x1800+134217728 ~x1799+67108864 ~x1798+33554432 ~x1797+16777216 ~x1796+8388608 ~x1795+4194304 ~x1794+2097152 ~x1793+1048576 ~x1792+524288 ~x1791+262144 ~x1790+131072 ~x1789+65536 ~x1788+32768 ~x1787+16384 ~x1786+8192 ~x1785+4096 ~x1784+2048 ~x1783+1024 ~x1782+512 ~x1781+256 ~x1780+128 ~x1779+64 ~x1778+32 ~x1777+16 ~x1776+8 ~x1775+4 ~x1774+2 ~x1773+1 ~x1772-0=2147483646
61.58/61.62	c 536870912 ~x2678533+268435456 ~x2678532+134217728 ~x2678531+67108864 ~x2678530+33554432 ~x2678529+16777216 ~x2678528+8388608 ~x2678527+4194304 ~x2678526+2097152 ~x2678525+1048576 ~x2678524+524288 ~x2678523+262144 ~x2678522+131072 ~x2678521+65536 ~x2678520+32768 ~x2678519+16384 ~x2678518+8192 ~x2678517+4096 ~x2678516+2048 ~x2678515+1024 ~x2678514+512 ~x2678513+256 ~x2678512+128 ~x2678511+64 ~x2678510+32 ~x2678509+16 ~x2678508+8 ~x2678507+4 ~x2678506+2 ~x2678505+1 ~x2678504+536870912 ~x2251+268435456 ~x2250+134217728 ~x2249+67108864 ~x2248+33554432 ~x2247+16777216 ~x2246+8388608 ~x2245+4194304 ~x2244+2097152 ~x2243+1048576 ~x2242+524288 ~x2241+262144 ~x2240+131072 ~x2239+65536 ~x2238+32768 ~x2237+16384 ~x2236+8192 ~x2235+4096 ~x2234+2048 ~x2233+1024 ~x2232+512 ~x2231+256 ~x2230+128 ~x2229+64 ~x2228+32 ~x2227+16 ~x2226+8 ~x2225+4 ~x2224+2 ~x2223+1 ~x2222+536870912 x2161+268435456 x2160+134217728 x2159+67108864 x2158+33554432 x2157+16777216 x2156+8388608 x2155+4194304 x2154+2097152 x2153+1048576 x2152+524288 x2151+262144 x2150+131072 x2149+65536 x2148+32768 x2147+16384 x2146+8192 x2145+4096 x2144+2048 x2143+1024 x2142+512 x2141+256 x2140+128 x2139+64 x2138+32 x2137+16 x2136+8 x2135+4 x2134+2 x2133+1 x2132-0=2147483646
62.27/62.34	c 536870912 ~x2710276+268435456 ~x2710275+134217728 ~x2710274+67108864 ~x2710273+33554432 ~x2710272+16777216 ~x2710271+8388608 ~x2710270+4194304 ~x2710269+2097152 ~x2710268+1048576 ~x2710267+524288 ~x2710266+262144 ~x2710265+131072 ~x2710264+65536 ~x2710263+32768 ~x2710262+16384 ~x2710261+8192 ~x2710260+4096 ~x2710259+2048 ~x2710258+1024 ~x2710257+512 ~x2710256+256 ~x2710255+128 ~x2710254+64 ~x2710253+32 ~x2710252+16 ~x2710251+8 ~x2710250+4 ~x2710249+2 ~x2710248+1 ~x2710247+536870912 ~x2281+268435456 ~x2280+134217728 ~x2279+67108864 ~x2278+33554432 ~x2277+16777216 ~x2276+8388608 ~x2275+4194304 ~x2274+2097152 ~x2273+1048576 ~x2272+524288 ~x2271+262144 ~x2270+131072 ~x2269+65536 ~x2268+32768 ~x2267+16384 ~x2266+8192 ~x2265+4096 ~x2264+2048 ~x2263+1024 ~x2262+512 ~x2261+256 ~x2260+128 ~x2259+64 ~x2258+32 ~x2257+16 ~x2256+8 ~x2255+4 ~x2254+2 ~x2253+1 ~x2252+536870912 x2191+268435456 x2190+134217728 x2189+67108864 x2188+33554432 x2187+16777216 x2186+8388608 x2185+4194304 x2184+2097152 x2183+1048576 x2182+524288 x2181+262144 x2180+131072 x2179+65536 x2178+32768 x2177+16384 x2176+8192 x2175+4096 x2174+2048 x2173+1024 x2172+512 x2171+256 x2170+128 x2169+64 x2168+32 x2167+16 x2166+8 x2165+4 x2164+2 x2163+1 x2162-0=2147483646
62.96/63.06	c 536870912 ~x2742019+268435456 ~x2742018+134217728 ~x2742017+67108864 ~x2742016+33554432 ~x2742015+16777216 ~x2742014+8388608 ~x2742013+4194304 ~x2742012+2097152 ~x2742011+1048576 ~x2742010+524288 ~x2742009+262144 ~x2742008+131072 ~x2742007+65536 ~x2742006+32768 ~x2742005+16384 ~x2742004+8192 ~x2742003+4096 ~x2742002+2048 ~x2742001+1024 ~x2742000+512 ~x2741999+256 ~x2741998+128 ~x2741997+64 ~x2741996+32 ~x2741995+16 ~x2741994+8 ~x2741993+4 ~x2741992+2 ~x2741991+1 ~x2741990+536870912 ~x2311+268435456 ~x2310+134217728 ~x2309+67108864 ~x2308+33554432 ~x2307+16777216 ~x2306+8388608 ~x2305+4194304 ~x2304+2097152 ~x2303+1048576 ~x2302+524288 ~x2301+262144 ~x2300+131072 ~x2299+65536 ~x2298+32768 ~x2297+16384 ~x2296+8192 ~x2295+4096 ~x2294+2048 ~x2293+1024 ~x2292+512 ~x2291+256 ~x2290+128 ~x2289+64 ~x2288+32 ~x2287+16 ~x2286+8 ~x2285+4 ~x2284+2 ~x2283+1 ~x2282+536870912 x2221+268435456 x2220+134217728 x2219+67108864 x2218+33554432 x2217+16777216 x2216+8388608 x2215+4194304 x2214+2097152 x2213+1048576 x2212+524288 x2211+262144 x2210+131072 x2209+65536 x2208+32768 x2207+16384 x2206+8192 x2205+4096 x2204+2048 x2203+1024 x2202+512 x2201+256 x2200+128 x2199+64 x2198+32 x2197+16 x2196+8 x2195+4 x2194+2 x2193+1 x2192-0=2147483646
63.67/63.78	c 8589934592 ~x2773766+4294967296 ~x2773765+2147483648 ~x2773764+1073741824 ~x2773763+536870912 ~x2773762+268435456 ~x2773761+134217728 ~x2773760+67108864 ~x2773759+33554432 ~x2773758+16777216 ~x2773757+8388608 ~x2773756+4194304 ~x2773755+2097152 ~x2773754+1048576 ~x2773753+524288 ~x2773752+262144 ~x2773751+131072 ~x2773750+65536 ~x2773749+32768 ~x2773748+16384 ~x2773747+8192 ~x2773746+4096 ~x2773745+2048 ~x2773744+1024 ~x2773743+512 ~x2773742+256 ~x2773741+128 ~x2773740+64 ~x2773739+32 ~x2773738+16 ~x2773737+8 ~x2773736+4 ~x2773735+2 ~x2773734+1 ~x2773733+1610612736 ~x2401+805306368 ~x2400+402653184 ~x2399+201326592 ~x2398+100663296 ~x2397+50331648 ~x2396+25165824 ~x2395+12582912 ~x2394+6291456 ~x2393+3145728 ~x2392+1572864 ~x2391+786432 ~x2390+393216 ~x2389+196608 ~x2388+98304 ~x2387+49152 ~x2386+24576 ~x2385+12288 ~x2384+6144 ~x2383+3072 ~x2382+1536 ~x2381+768 ~x2380+384 ~x2379+192 ~x2378+96 ~x2377+48 ~x2376+24 ~x2375+12 ~x2374+6 ~x2373+3 ~x2372+1073741824 ~x2371+536870912 ~x2370+268435456 ~x2369+134217728 ~x2368+67108864 ~x2367+33554432 ~x2366+16777216 ~x2365+8388608 ~x2364+4194304 ~x2363+2097152 ~x2362+1048576 ~x2361+524288 ~x2360+262144 ~x2359+131072 ~x2358+65536 ~x2357+32768 ~x2356+16384 ~x2355+8192 ~x2354+4096 ~x2353+2048 ~x2352+1024 ~x2351+512 ~x2350+256 ~x2349+128 ~x2348+64 ~x2347+32 ~x2346+16 ~x2345+8 ~x2344+4 ~x2343+2 ~x2342+2147483648 ~x2341+1073741824 ~x2340+536870912 ~x2339+268435456 ~x2338+134217728 ~x2337+67108864 ~x2336+33554432 ~x2335+16777216 ~x2334+8388608 ~x2333+4194304 ~x2332+2097152 ~x2331+1048576 ~x2330+524288 ~x2329+262144 ~x2328+131072 ~x2327+65536 ~x2326+32768 ~x2325+16384 ~x2324+8192 ~x2323+4096 ~x2322+2048 ~x2321+1024 ~x2320+512 ~x2319+256 ~x2318+128 ~x2317+64 ~x2316+32 ~x2315+16 ~x2314+8 ~x2313+4 ~x2312+1073741824 x2251+536870912 x2250+268435456 x2249+134217728 x2248+67108864 x2247+33554432 x2246+16777216 x2245+8388608 x2244+4194304 x2243+2097152 x2242+1048576 x2241+524288 x2240+262144 x2239+131072 x2238+65536 x2237+32768 x2236+16384 x2235+8192 x2234+4096 x2233+2048 x2232+1024 x2231+512 x2230+256 x2229+128 x2228+64 x2227+32 x2226+16 x2225+8 x2224+4 x2223+2 x2222-0=26843135990
65.27/65.34	c 8589934592 ~x2842079+4294967296 ~x2842078+2147483648 ~x2842077+1073741824 ~x2842076+536870912 ~x2842075+268435456 ~x2842074+134217728 ~x2842073+67108864 ~x2842072+33554432 ~x2842071+16777216 ~x2842070+8388608 ~x2842069+4194304 ~x2842068+2097152 ~x2842067+1048576 ~x2842066+524288 ~x2842065+262144 ~x2842064+131072 ~x2842063+65536 ~x2842062+32768 ~x2842061+16384 ~x2842060+8192 ~x2842059+4096 ~x2842058+2048 ~x2842057+1024 ~x2842056+512 ~x2842055+256 ~x2842054+128 ~x2842053+64 ~x2842052+32 ~x2842051+16 ~x2842050+8 ~x2842049+4 ~x2842048+2 ~x2842047+1 ~x2842046+1610612736 ~x2401+805306368 ~x2400+402653184 ~x2399+201326592 ~x2398+100663296 ~x2397+50331648 ~x2396+25165824 ~x2395+12582912 ~x2394+6291456 ~x2393+3145728 ~x2392+1572864 ~x2391+786432 ~x2390+393216 ~x2389+196608 ~x2388+98304 ~x2387+49152 ~x2386+24576 ~x2385+12288 ~x2384+6144 ~x2383+3072 ~x2382+1536 ~x2381+768 ~x2380+384 ~x2379+192 ~x2378+96 ~x2377+48 ~x2376+24 ~x2375+12 ~x2374+6 ~x2373+3 ~x2372+2147483648 ~x2371+1073741824 ~x2370+536870912 ~x2369+268435456 ~x2368+134217728 ~x2367+67108864 ~x2366+33554432 ~x2365+16777216 ~x2364+8388608 ~x2363+4194304 ~x2362+2097152 ~x2361+1048576 ~x2360+524288 ~x2359+262144 ~x2358+131072 ~x2357+65536 ~x2356+32768 ~x2355+16384 ~x2354+8192 ~x2353+4096 ~x2352+2048 ~x2351+1024 ~x2350+512 ~x2349+256 ~x2348+128 ~x2347+64 ~x2346+32 ~x2345+16 ~x2344+8 ~x2343+4 ~x2342+1073741824 ~x2341+536870912 ~x2340+268435456 ~x2339+134217728 ~x2338+67108864 ~x2337+33554432 ~x2336+16777216 ~x2335+8388608 ~x2334+4194304 ~x2333+2097152 ~x2332+1048576 ~x2331+524288 ~x2330+262144 ~x2329+131072 ~x2328+65536 ~x2327+32768 ~x2326+16384 ~x2325+8192 ~x2324+4096 ~x2323+2048 ~x2322+1024 ~x2321+512 ~x2320+256 ~x2319+128 ~x2318+64 ~x2317+32 ~x2316+16 ~x2315+8 ~x2314+4 ~x2313+2 ~x2312+1073741824 x2281+536870912 x2280+268435456 x2279+134217728 x2278+67108864 x2277+33554432 x2276+16777216 x2275+8388608 x2274+4194304 x2273+2097152 x2272+1048576 x2271+524288 x2270+262144 x2269+131072 x2268+65536 x2267+32768 x2266+16384 x2265+8192 x2264+4096 x2263+2048 x2262+1024 x2261+512 x2260+256 x2259+128 x2258+64 x2257+32 x2256+16 x2255+8 x2254+4 x2253+2 x2252-0=26843340790
66.77/66.88	c 536870912 ~x2910388+268435456 ~x2910387+134217728 ~x2910386+67108864 ~x2910385+33554432 ~x2910384+16777216 ~x2910383+8388608 ~x2910382+4194304 ~x2910381+2097152 ~x2910380+1048576 ~x2910379+524288 ~x2910378+262144 ~x2910377+131072 ~x2910376+65536 ~x2910375+32768 ~x2910374+16384 ~x2910373+8192 ~x2910372+4096 ~x2910371+2048 ~x2910370+1024 ~x2910369+512 ~x2910368+256 ~x2910367+128 ~x2910366+64 ~x2910365+32 ~x2910364+16 ~x2910363+8 ~x2910362+4 ~x2910361+2 ~x2910360+1 ~x2910359+536870912 x2311+268435456 x2310+134217728 x2309+67108864 x2308+33554432 x2307+16777216 x2306+8388608 x2305+4194304 x2304+2097152 x2303+1048576 x2302+524288 x2301+262144 x2300+131072 x2299+65536 x2298+32768 x2297+16384 x2296+8192 x2295+4096 x2294+2048 x2293+1024 x2292+512 x2291+256 x2290+128 x2289+64 x2288+32 x2287+16 x2286+8 x2285+4 x2284+2 x2283+1 x2282+536870912 ~x2131+268435456 ~x2130+134217728 ~x2129+67108864 ~x2128+33554432 ~x2127+16777216 ~x2126+8388608 ~x2125+4194304 ~x2124+2097152 ~x2123+1048576 ~x2122+524288 ~x2121+262144 ~x2120+131072 ~x2119+65536 ~x2118+32768 ~x2117+16384 ~x2116+8192 ~x2115+4096 ~x2114+2048 ~x2113+1024 ~x2112+512 ~x2111+256 ~x2110+128 ~x2109+64 ~x2108+32 ~x2107+16 ~x2106+8 ~x2105+4 ~x2104+2 ~x2103+1 ~x2102-0=2147483646
70.97/71.02	c 536870912 ~x3092292+268435456 ~x3092291+134217728 ~x3092290+67108864 ~x3092289+33554432 ~x3092288+16777216 ~x3092287+8388608 ~x3092286+4194304 ~x3092285+2097152 ~x3092284+1048576 ~x3092283+524288 ~x3092282+262144 ~x3092281+131072 ~x3092280+65536 ~x3092279+32768 ~x3092278+16384 ~x3092277+8192 ~x3092276+4096 ~x3092275+2048 ~x3092274+1024 ~x3092273+512 ~x3092272+256 ~x3092271+128 ~x3092270+64 ~x3092269+32 ~x3092268+16 ~x3092267+8 ~x3092266+4 ~x3092265+2 ~x3092264+1 ~x3092263+536870912 ~x2581+268435456 ~x2580+134217728 ~x2579+67108864 ~x2578+33554432 ~x2577+16777216 ~x2576+8388608 ~x2575+4194304 ~x2574+2097152 ~x2573+1048576 ~x2572+524288 ~x2571+262144 ~x2570+131072 ~x2569+65536 ~x2568+32768 ~x2567+16384 ~x2566+8192 ~x2565+4096 ~x2564+2048 ~x2563+1024 ~x2562+512 ~x2561+256 ~x2560+128 ~x2559+64 ~x2558+32 ~x2557+16 ~x2556+8 ~x2555+4 ~x2554+2 ~x2553+1 ~x2552+536870912 x2491+268435456 x2490+134217728 x2489+67108864 x2488+33554432 x2487+16777216 x2486+8388608 x2485+4194304 x2484+2097152 x2483+1048576 x2482+524288 x2481+262144 x2480+131072 x2479+65536 x2478+32768 x2477+16384 x2476+8192 x2475+4096 x2474+2048 x2473+1024 x2472+512 x2471+256 x2470+128 x2469+64 x2468+32 x2467+16 x2466+8 x2465+4 x2464+2 x2463+1 x2462-0=2147483646
71.67/71.74	c 536870912 ~x3124035+268435456 ~x3124034+134217728 ~x3124033+67108864 ~x3124032+33554432 ~x3124031+16777216 ~x3124030+8388608 ~x3124029+4194304 ~x3124028+2097152 ~x3124027+1048576 ~x3124026+524288 ~x3124025+262144 ~x3124024+131072 ~x3124023+65536 ~x3124022+32768 ~x3124021+16384 ~x3124020+8192 ~x3124019+4096 ~x3124018+2048 ~x3124017+1024 ~x3124016+512 ~x3124015+256 ~x3124014+128 ~x3124013+64 ~x3124012+32 ~x3124011+16 ~x3124010+8 ~x3124009+4 ~x3124008+2 ~x3124007+1 ~x3124006+536870912 ~x2611+268435456 ~x2610+134217728 ~x2609+67108864 ~x2608+33554432 ~x2607+16777216 ~x2606+8388608 ~x2605+4194304 ~x2604+2097152 ~x2603+1048576 ~x2602+524288 ~x2601+262144 ~x2600+131072 ~x2599+65536 ~x2598+32768 ~x2597+16384 ~x2596+8192 ~x2595+4096 ~x2594+2048 ~x2593+1024 ~x2592+512 ~x2591+256 ~x2590+128 ~x2589+64 ~x2588+32 ~x2587+16 ~x2586+8 ~x2585+4 ~x2584+2 ~x2583+1 ~x2582+536870912 x2521+268435456 x2520+134217728 x2519+67108864 x2518+33554432 x2517+16777216 x2516+8388608 x2515+4194304 x2514+2097152 x2513+1048576 x2512+524288 x2511+262144 x2510+131072 x2509+65536 x2508+32768 x2507+16384 x2506+8192 x2505+4096 x2504+2048 x2503+1024 x2502+512 x2501+256 x2500+128 x2499+64 x2498+32 x2497+16 x2496+8 x2495+4 x2494+2 x2493+1 x2492-0=2147483646
72.37/72.45	c 536870912 ~x3155778+268435456 ~x3155777+134217728 ~x3155776+67108864 ~x3155775+33554432 ~x3155774+16777216 ~x3155773+8388608 ~x3155772+4194304 ~x3155771+2097152 ~x3155770+1048576 ~x3155769+524288 ~x3155768+262144 ~x3155767+131072 ~x3155766+65536 ~x3155765+32768 ~x3155764+16384 ~x3155763+8192 ~x3155762+4096 ~x3155761+2048 ~x3155760+1024 ~x3155759+512 ~x3155758+256 ~x3155757+128 ~x3155756+64 ~x3155755+32 ~x3155754+16 ~x3155753+8 ~x3155752+4 ~x3155751+2 ~x3155750+1 ~x3155749+536870912 ~x2641+268435456 ~x2640+134217728 ~x2639+67108864 ~x2638+33554432 ~x2637+16777216 ~x2636+8388608 ~x2635+4194304 ~x2634+2097152 ~x2633+1048576 ~x2632+524288 ~x2631+262144 ~x2630+131072 ~x2629+65536 ~x2628+32768 ~x2627+16384 ~x2626+8192 ~x2625+4096 ~x2624+2048 ~x2623+1024 ~x2622+512 ~x2621+256 ~x2620+128 ~x2619+64 ~x2618+32 ~x2617+16 ~x2616+8 ~x2615+4 ~x2614+2 ~x2613+1 ~x2612+536870912 x2551+268435456 x2550+134217728 x2549+67108864 x2548+33554432 x2547+16777216 x2546+8388608 x2545+4194304 x2544+2097152 x2543+1048576 x2542+524288 x2541+262144 x2540+131072 x2539+65536 x2538+32768 x2537+16384 x2536+8192 x2535+4096 x2534+2048 x2533+1024 x2532+512 x2531+256 x2530+128 x2529+64 x2528+32 x2527+16 x2526+8 x2525+4 x2524+2 x2523+1 x2522-0=2147483646
73.06/73.17	c 8589934592 ~x3187525+4294967296 ~x3187524+2147483648 ~x3187523+1073741824 ~x3187522+536870912 ~x3187521+268435456 ~x3187520+134217728 ~x3187519+67108864 ~x3187518+33554432 ~x3187517+16777216 ~x3187516+8388608 ~x3187515+4194304 ~x3187514+2097152 ~x3187513+1048576 ~x3187512+524288 ~x3187511+262144 ~x3187510+131072 ~x3187509+65536 ~x3187508+32768 ~x3187507+16384 ~x3187506+8192 ~x3187505+4096 ~x3187504+2048 ~x3187503+1024 ~x3187502+512 ~x3187501+256 ~x3187500+128 ~x3187499+64 ~x3187498+32 ~x3187497+16 ~x3187496+8 ~x3187495+4 ~x3187494+2 ~x3187493+1 ~x3187492+1610612736 ~x2731+805306368 ~x2730+402653184 ~x2729+201326592 ~x2728+100663296 ~x2727+50331648 ~x2726+25165824 ~x2725+12582912 ~x2724+6291456 ~x2723+3145728 ~x2722+1572864 ~x2721+786432 ~x2720+393216 ~x2719+196608 ~x2718+98304 ~x2717+49152 ~x2716+24576 ~x2715+12288 ~x2714+6144 ~x2713+3072 ~x2712+1536 ~x2711+768 ~x2710+384 ~x2709+192 ~x2708+96 ~x2707+48 ~x2706+24 ~x2705+12 ~x2704+6 ~x2703+3 ~x2702+1073741824 ~x2701+536870912 ~x2700+268435456 ~x2699+134217728 ~x2698+67108864 ~x2697+33554432 ~x2696+16777216 ~x2695+8388608 ~x2694+4194304 ~x2693+2097152 ~x2692+1048576 ~x2691+524288 ~x2690+262144 ~x2689+131072 ~x2688+65536 ~x2687+32768 ~x2686+16384 ~x2685+8192 ~x2684+4096 ~x2683+2048 ~x2682+1024 ~x2681+512 ~x2680+256 ~x2679+128 ~x2678+64 ~x2677+32 ~x2676+16 ~x2675+8 ~x2674+4 ~x2673+2 ~x2672+2147483648 ~x2671+1073741824 ~x2670+536870912 ~x2669+268435456 ~x2668+134217728 ~x2667+67108864 ~x2666+33554432 ~x2665+16777216 ~x2664+8388608 ~x2663+4194304 ~x2662+2097152 ~x2661+1048576 ~x2660+524288 ~x2659+262144 ~x2658+131072 ~x2657+65536 ~x2656+32768 ~x2655+16384 ~x2654+8192 ~x2653+4096 ~x2652+2048 ~x2651+1024 ~x2650+512 ~x2649+256 ~x2648+128 ~x2647+64 ~x2646+32 ~x2645+16 ~x2644+8 ~x2643+4 ~x2642+1073741824 x2581+536870912 x2580+268435456 x2579+134217728 x2578+67108864 x2577+33554432 x2576+16777216 x2575+8388608 x2574+4194304 x2573+2097152 x2572+1048576 x2571+524288 x2570+262144 x2569+131072 x2568+65536 x2567+32768 x2566+16384 x2565+8192 x2564+4096 x2563+2048 x2562+1024 x2561+512 x2560+256 x2559+128 x2558+64 x2557+32 x2556+16 x2555+8 x2554+4 x2553+2 x2552-0=26843135990
74.67/74.72	c 8589934592 ~x3255838+4294967296 ~x3255837+2147483648 ~x3255836+1073741824 ~x3255835+536870912 ~x3255834+268435456 ~x3255833+134217728 ~x3255832+67108864 ~x3255831+33554432 ~x3255830+16777216 ~x3255829+8388608 ~x3255828+4194304 ~x3255827+2097152 ~x3255826+1048576 ~x3255825+524288 ~x3255824+262144 ~x3255823+131072 ~x3255822+65536 ~x3255821+32768 ~x3255820+16384 ~x3255819+8192 ~x3255818+4096 ~x3255817+2048 ~x3255816+1024 ~x3255815+512 ~x3255814+256 ~x3255813+128 ~x3255812+64 ~x3255811+32 ~x3255810+16 ~x3255809+8 ~x3255808+4 ~x3255807+2 ~x3255806+1 ~x3255805+1610612736 ~x2731+805306368 ~x2730+402653184 ~x2729+201326592 ~x2728+100663296 ~x2727+50331648 ~x2726+25165824 ~x2725+12582912 ~x2724+6291456 ~x2723+3145728 ~x2722+1572864 ~x2721+786432 ~x2720+393216 ~x2719+196608 ~x2718+98304 ~x2717+49152 ~x2716+24576 ~x2715+12288 ~x2714+6144 ~x2713+3072 ~x2712+1536 ~x2711+768 ~x2710+384 ~x2709+192 ~x2708+96 ~x2707+48 ~x2706+24 ~x2705+12 ~x2704+6 ~x2703+3 ~x2702+2147483648 ~x2701+1073741824 ~x2700+536870912 ~x2699+268435456 ~x2698+134217728 ~x2697+67108864 ~x2696+33554432 ~x2695+16777216 ~x2694+8388608 ~x2693+4194304 ~x2692+2097152 ~x2691+1048576 ~x2690+524288 ~x2689+262144 ~x2688+131072 ~x2687+65536 ~x2686+32768 ~x2685+16384 ~x2684+8192 ~x2683+4096 ~x2682+2048 ~x2681+1024 ~x2680+512 ~x2679+256 ~x2678+128 ~x2677+64 ~x2676+32 ~x2675+16 ~x2674+8 ~x2673+4 ~x2672+1073741824 ~x2671+536870912 ~x2670+268435456 ~x2669+134217728 ~x2668+67108864 ~x2667+33554432 ~x2666+16777216 ~x2665+8388608 ~x2664+4194304 ~x2663+2097152 ~x2662+1048576 ~x2661+524288 ~x2660+262144 ~x2659+131072 ~x2658+65536 ~x2657+32768 ~x2656+16384 ~x2655+8192 ~x2654+4096 ~x2653+2048 ~x2652+1024 ~x2651+512 ~x2650+256 ~x2649+128 ~x2648+64 ~x2647+32 ~x2646+16 ~x2645+8 ~x2644+4 ~x2643+2 ~x2642+1073741824 x2611+536870912 x2610+268435456 x2609+134217728 x2608+67108864 x2607+33554432 x2606+16777216 x2605+8388608 x2604+4194304 x2603+2097152 x2602+1048576 x2601+524288 x2600+262144 x2599+131072 x2598+65536 x2597+32768 x2596+16384 x2595+8192 x2594+4096 x2593+2048 x2592+1024 x2591+512 x2590+256 x2589+128 x2588+64 x2587+32 x2586+16 x2585+8 x2584+4 x2583+2 x2582-0=26843340790
76.16/76.26	c 536870912 ~x3324147+268435456 ~x3324146+134217728 ~x3324145+67108864 ~x3324144+33554432 ~x3324143+16777216 ~x3324142+8388608 ~x3324141+4194304 ~x3324140+2097152 ~x3324139+1048576 ~x3324138+524288 ~x3324137+262144 ~x3324136+131072 ~x3324135+65536 ~x3324134+32768 ~x3324133+16384 ~x3324132+8192 ~x3324131+4096 ~x3324130+2048 ~x3324129+1024 ~x3324128+512 ~x3324127+256 ~x3324126+128 ~x3324125+64 ~x3324124+32 ~x3324123+16 ~x3324122+8 ~x3324121+4 ~x3324120+2 ~x3324119+1 ~x3324118+536870912 x2641+268435456 x2640+134217728 x2639+67108864 x2638+33554432 x2637+16777216 x2636+8388608 x2635+4194304 x2634+2097152 x2633+1048576 x2632+524288 x2631+262144 x2630+131072 x2629+65536 x2628+32768 x2627+16384 x2626+8192 x2625+4096 x2624+2048 x2623+1024 x2622+512 x2621+256 x2620+128 x2619+64 x2618+32 x2617+16 x2616+8 x2615+4 x2614+2 x2613+1 x2612+536870912 ~x2461+268435456 ~x2460+134217728 ~x2459+67108864 ~x2458+33554432 ~x2457+16777216 ~x2456+8388608 ~x2455+4194304 ~x2454+2097152 ~x2453+1048576 ~x2452+524288 ~x2451+262144 ~x2450+131072 ~x2449+65536 ~x2448+32768 ~x2447+16384 ~x2446+8192 ~x2445+4096 ~x2444+2048 ~x2443+1024 ~x2442+512 ~x2441+256 ~x2440+128 ~x2439+64 ~x2438+32 ~x2437+16 ~x2436+8 ~x2435+4 ~x2434+2 ~x2433+1 ~x2432-0=2147483646
80.27/80.36	c 536870912 ~x3506051+268435456 ~x3506050+134217728 ~x3506049+67108864 ~x3506048+33554432 ~x3506047+16777216 ~x3506046+8388608 ~x3506045+4194304 ~x3506044+2097152 ~x3506043+1048576 ~x3506042+524288 ~x3506041+262144 ~x3506040+131072 ~x3506039+65536 ~x3506038+32768 ~x3506037+16384 ~x3506036+8192 ~x3506035+4096 ~x3506034+2048 ~x3506033+1024 ~x3506032+512 ~x3506031+256 ~x3506030+128 ~x3506029+64 ~x3506028+32 ~x3506027+16 ~x3506026+8 ~x3506025+4 ~x3506024+2 ~x3506023+1 ~x3506022+536870912 ~x2911+268435456 ~x2910+134217728 ~x2909+67108864 ~x2908+33554432 ~x2907+16777216 ~x2906+8388608 ~x2905+4194304 ~x2904+2097152 ~x2903+1048576 ~x2902+524288 ~x2901+262144 ~x2900+131072 ~x2899+65536 ~x2898+32768 ~x2897+16384 ~x2896+8192 ~x2895+4096 ~x2894+2048 ~x2893+1024 ~x2892+512 ~x2891+256 ~x2890+128 ~x2889+64 ~x2888+32 ~x2887+16 ~x2886+8 ~x2885+4 ~x2884+2 ~x2883+1 ~x2882+536870912 x2821+268435456 x2820+134217728 x2819+67108864 x2818+33554432 x2817+16777216 x2816+8388608 x2815+4194304 x2814+2097152 x2813+1048576 x2812+524288 x2811+262144 x2810+131072 x2809+65536 x2808+32768 x2807+16384 x2806+8192 x2805+4096 x2804+2048 x2803+1024 x2802+512 x2801+256 x2800+128 x2799+64 x2798+32 x2797+16 x2796+8 x2795+4 x2794+2 x2793+1 x2792-0=2147483646
80.96/81.08	c 536870912 ~x3537794+268435456 ~x3537793+134217728 ~x3537792+67108864 ~x3537791+33554432 ~x3537790+16777216 ~x3537789+8388608 ~x3537788+4194304 ~x3537787+2097152 ~x3537786+1048576 ~x3537785+524288 ~x3537784+262144 ~x3537783+131072 ~x3537782+65536 ~x3537781+32768 ~x3537780+16384 ~x3537779+8192 ~x3537778+4096 ~x3537777+2048 ~x3537776+1024 ~x3537775+512 ~x3537774+256 ~x3537773+128 ~x3537772+64 ~x3537771+32 ~x3537770+16 ~x3537769+8 ~x3537768+4 ~x3537767+2 ~x3537766+1 ~x3537765+536870912 ~x2941+268435456 ~x2940+134217728 ~x2939+67108864 ~x2938+33554432 ~x2937+16777216 ~x2936+8388608 ~x2935+4194304 ~x2934+2097152 ~x2933+1048576 ~x2932+524288 ~x2931+262144 ~x2930+131072 ~x2929+65536 ~x2928+32768 ~x2927+16384 ~x2926+8192 ~x2925+4096 ~x2924+2048 ~x2923+1024 ~x2922+512 ~x2921+256 ~x2920+128 ~x2919+64 ~x2918+32 ~x2917+16 ~x2916+8 ~x2915+4 ~x2914+2 ~x2913+1 ~x2912+536870912 x2851+268435456 x2850+134217728 x2849+67108864 x2848+33554432 x2847+16777216 x2846+8388608 x2845+4194304 x2844+2097152 x2843+1048576 x2842+524288 x2841+262144 x2840+131072 x2839+65536 x2838+32768 x2837+16384 x2836+8192 x2835+4096 x2834+2048 x2833+1024 x2832+512 x2831+256 x2830+128 x2829+64 x2828+32 x2827+16 x2826+8 x2825+4 x2824+2 x2823+1 x2822-0=2147483646
81.77/81.80	c 536870912 ~x3569537+268435456 ~x3569536+134217728 ~x3569535+67108864 ~x3569534+33554432 ~x3569533+16777216 ~x3569532+8388608 ~x3569531+4194304 ~x3569530+2097152 ~x3569529+1048576 ~x3569528+524288 ~x3569527+262144 ~x3569526+131072 ~x3569525+65536 ~x3569524+32768 ~x3569523+16384 ~x3569522+8192 ~x3569521+4096 ~x3569520+2048 ~x3569519+1024 ~x3569518+512 ~x3569517+256 ~x3569516+128 ~x3569515+64 ~x3569514+32 ~x3569513+16 ~x3569512+8 ~x3569511+4 ~x3569510+2 ~x3569509+1 ~x3569508+536870912 ~x2971+268435456 ~x2970+134217728 ~x2969+67108864 ~x2968+33554432 ~x2967+16777216 ~x2966+8388608 ~x2965+4194304 ~x2964+2097152 ~x2963+1048576 ~x2962+524288 ~x2961+262144 ~x2960+131072 ~x2959+65536 ~x2958+32768 ~x2957+16384 ~x2956+8192 ~x2955+4096 ~x2954+2048 ~x2953+1024 ~x2952+512 ~x2951+256 ~x2950+128 ~x2949+64 ~x2948+32 ~x2947+16 ~x2946+8 ~x2945+4 ~x2944+2 ~x2943+1 ~x2942+536870912 x2881+268435456 x2880+134217728 x2879+67108864 x2878+33554432 x2877+16777216 x2876+8388608 x2875+4194304 x2874+2097152 x2873+1048576 x2872+524288 x2871+262144 x2870+131072 x2869+65536 x2868+32768 x2867+16384 x2866+8192 x2865+4096 x2864+2048 x2863+1024 x2862+512 x2861+256 x2860+128 x2859+64 x2858+32 x2857+16 x2856+8 x2855+4 x2854+2 x2853+1 x2852-0=2147483646
82.47/82.53	c 8589934592 ~x3601284+4294967296 ~x3601283+2147483648 ~x3601282+1073741824 ~x3601281+536870912 ~x3601280+268435456 ~x3601279+134217728 ~x3601278+67108864 ~x3601277+33554432 ~x3601276+16777216 ~x3601275+8388608 ~x3601274+4194304 ~x3601273+2097152 ~x3601272+1048576 ~x3601271+524288 ~x3601270+262144 ~x3601269+131072 ~x3601268+65536 ~x3601267+32768 ~x3601266+16384 ~x3601265+8192 ~x3601264+4096 ~x3601263+2048 ~x3601262+1024 ~x3601261+512 ~x3601260+256 ~x3601259+128 ~x3601258+64 ~x3601257+32 ~x3601256+16 ~x3601255+8 ~x3601254+4 ~x3601253+2 ~x3601252+1 ~x3601251+1610612736 ~x3061+805306368 ~x3060+402653184 ~x3059+201326592 ~x3058+100663296 ~x3057+50331648 ~x3056+25165824 ~x3055+12582912 ~x3054+6291456 ~x3053+3145728 ~x3052+1572864 ~x3051+786432 ~x3050+393216 ~x3049+196608 ~x3048+98304 ~x3047+49152 ~x3046+24576 ~x3045+12288 ~x3044+6144 ~x3043+3072 ~x3042+1536 ~x3041+768 ~x3040+384 ~x3039+192 ~x3038+96 ~x3037+48 ~x3036+24 ~x3035+12 ~x3034+6 ~x3033+3 ~x3032+1073741824 ~x3031+536870912 ~x3030+268435456 ~x3029+134217728 ~x3028+67108864 ~x3027+33554432 ~x3026+16777216 ~x3025+8388608 ~x3024+4194304 ~x3023+2097152 ~x3022+1048576 ~x3021+524288 ~x3020+262144 ~x3019+131072 ~x3018+65536 ~x3017+32768 ~x3016+16384 ~x3015+8192 ~x3014+4096 ~x3013+2048 ~x3012+1024 ~x3011+512 ~x3010+256 ~x3009+128 ~x3008+64 ~x3007+32 ~x3006+16 ~x3005+8 ~x3004+4 ~x3003+2 ~x3002+2147483648 ~x3001+1073741824 ~x3000+536870912 ~x2999+268435456 ~x2998+134217728 ~x2997+67108864 ~x2996+33554432 ~x2995+16777216 ~x2994+8388608 ~x2993+4194304 ~x2992+2097152 ~x2991+1048576 ~x2990+524288 ~x2989+262144 ~x2988+131072 ~x2987+65536 ~x2986+32768 ~x2985+16384 ~x2984+8192 ~x2983+4096 ~x2982+2048 ~x2981+1024 ~x2980+512 ~x2979+256 ~x2978+128 ~x2977+64 ~x2976+32 ~x2975+16 ~x2974+8 ~x2973+4 ~x2972+1073741824 x2911+536870912 x2910+268435456 x2909+134217728 x2908+67108864 x2907+33554432 x2906+16777216 x2905+8388608 x2904+4194304 x2903+2097152 x2902+1048576 x2901+524288 x2900+262144 x2899+131072 x2898+65536 x2897+32768 x2896+16384 x2895+8192 x2894+4096 x2893+2048 x2892+1024 x2891+512 x2890+256 x2889+128 x2888+64 x2887+32 x2886+16 x2885+8 x2884+4 x2883+2 x2882-0=26843135990
83.96/84.08	c 8589934592 ~x3669597+4294967296 ~x3669596+2147483648 ~x3669595+1073741824 ~x3669594+536870912 ~x3669593+268435456 ~x3669592+134217728 ~x3669591+67108864 ~x3669590+33554432 ~x3669589+16777216 ~x3669588+8388608 ~x3669587+4194304 ~x3669586+2097152 ~x3669585+1048576 ~x3669584+524288 ~x3669583+262144 ~x3669582+131072 ~x3669581+65536 ~x3669580+32768 ~x3669579+16384 ~x3669578+8192 ~x3669577+4096 ~x3669576+2048 ~x3669575+1024 ~x3669574+512 ~x3669573+256 ~x3669572+128 ~x3669571+64 ~x3669570+32 ~x3669569+16 ~x3669568+8 ~x3669567+4 ~x3669566+2 ~x3669565+1 ~x3669564+1610612736 ~x3061+805306368 ~x3060+402653184 ~x3059+201326592 ~x3058+100663296 ~x3057+50331648 ~x3056+25165824 ~x3055+12582912 ~x3054+6291456 ~x3053+3145728 ~x3052+1572864 ~x3051+786432 ~x3050+393216 ~x3049+196608 ~x3048+98304 ~x3047+49152 ~x3046+24576 ~x3045+12288 ~x3044+6144 ~x3043+3072 ~x3042+1536 ~x3041+768 ~x3040+384 ~x3039+192 ~x3038+96 ~x3037+48 ~x3036+24 ~x3035+12 ~x3034+6 ~x3033+3 ~x3032+2147483648 ~x3031+1073741824 ~x3030+536870912 ~x3029+268435456 ~x3028+134217728 ~x3027+67108864 ~x3026+33554432 ~x3025+16777216 ~x3024+8388608 ~x3023+4194304 ~x3022+2097152 ~x3021+1048576 ~x3020+524288 ~x3019+262144 ~x3018+131072 ~x3017+65536 ~x3016+32768 ~x3015+16384 ~x3014+8192 ~x3013+4096 ~x3012+2048 ~x3011+1024 ~x3010+512 ~x3009+256 ~x3008+128 ~x3007+64 ~x3006+32 ~x3005+16 ~x3004+8 ~x3003+4 ~x3002+1073741824 ~x3001+536870912 ~x3000+268435456 ~x2999+134217728 ~x2998+67108864 ~x2997+33554432 ~x2996+16777216 ~x2995+8388608 ~x2994+4194304 ~x2993+2097152 ~x2992+1048576 ~x2991+524288 ~x2990+262144 ~x2989+131072 ~x2988+65536 ~x2987+32768 ~x2986+16384 ~x2985+8192 ~x2984+4096 ~x2983+2048 ~x2982+1024 ~x2981+512 ~x2980+256 ~x2979+128 ~x2978+64 ~x2977+32 ~x2976+16 ~x2975+8 ~x2974+4 ~x2973+2 ~x2972+1073741824 x2941+536870912 x2940+268435456 x2939+134217728 x2938+67108864 x2937+33554432 x2936+16777216 x2935+8388608 x2934+4194304 x2933+2097152 x2932+1048576 x2931+524288 x2930+262144 x2929+131072 x2928+65536 x2927+32768 x2926+16384 x2925+8192 x2924+4096 x2923+2048 x2922+1024 x2921+512 x2920+256 x2919+128 x2918+64 x2917+32 x2916+16 x2915+8 x2914+4 x2913+2 x2912-0=26843340790
85.56/85.63	c 536870912 ~x3737906+268435456 ~x3737905+134217728 ~x3737904+67108864 ~x3737903+33554432 ~x3737902+16777216 ~x3737901+8388608 ~x3737900+4194304 ~x3737899+2097152 ~x3737898+1048576 ~x3737897+524288 ~x3737896+262144 ~x3737895+131072 ~x3737894+65536 ~x3737893+32768 ~x3737892+16384 ~x3737891+8192 ~x3737890+4096 ~x3737889+2048 ~x3737888+1024 ~x3737887+512 ~x3737886+256 ~x3737885+128 ~x3737884+64 ~x3737883+32 ~x3737882+16 ~x3737881+8 ~x3737880+4 ~x3737879+2 ~x3737878+1 ~x3737877+536870912 x2971+268435456 x2970+134217728 x2969+67108864 x2968+33554432 x2967+16777216 x2966+8388608 x2965+4194304 x2964+2097152 x2963+1048576 x2962+524288 x2961+262144 x2960+131072 x2959+65536 x2958+32768 x2957+16384 x2956+8192 x2955+4096 x2954+2048 x2953+1024 x2952+512 x2951+256 x2950+128 x2949+64 x2948+32 x2947+16 x2946+8 x2945+4 x2944+2 x2943+1 x2942+536870912 ~x2791+268435456 ~x2790+134217728 ~x2789+67108864 ~x2788+33554432 ~x2787+16777216 ~x2786+8388608 ~x2785+4194304 ~x2784+2097152 ~x2783+1048576 ~x2782+524288 ~x2781+262144 ~x2780+131072 ~x2779+65536 ~x2778+32768 ~x2777+16384 ~x2776+8192 ~x2775+4096 ~x2774+2048 ~x2773+1024 ~x2772+512 ~x2771+256 ~x2770+128 ~x2769+64 ~x2768+32 ~x2767+16 ~x2766+8 ~x2765+4 ~x2764+2 ~x2763+1 ~x2762-0=2147483646
89.66/89.77	c 536870912 ~x3919811+268435456 ~x3919810+134217728 ~x3919809+67108864 ~x3919808+33554432 ~x3919807+16777216 ~x3919806+8388608 ~x3919805+4194304 ~x3919804+2097152 ~x3919803+1048576 ~x3919802+524288 ~x3919801+262144 ~x3919800+131072 ~x3919799+65536 ~x3919798+32768 ~x3919797+16384 ~x3919796+8192 ~x3919795+4096 ~x3919794+2048 ~x3919793+1024 ~x3919792+512 ~x3919791+256 ~x3919790+128 ~x3919789+64 ~x3919788+32 ~x3919787+16 ~x3919786+8 ~x3919785+4 ~x3919784+2 ~x3919783+1 ~x3919782+536870912 ~x3271+268435456 ~x3270+134217728 ~x3269+67108864 ~x3268+33554432 ~x3267+16777216 ~x3266+8388608 ~x3265+4194304 ~x3264+2097152 ~x3263+1048576 ~x3262+524288 ~x3261+262144 ~x3260+131072 ~x3259+65536 ~x3258+32768 ~x3257+16384 ~x3256+8192 ~x3255+4096 ~x3254+2048 ~x3253+1024 ~x3252+512 ~x3251+256 ~x3250+128 ~x3249+64 ~x3248+32 ~x3247+16 ~x3246+8 ~x3245+4 ~x3244+2 ~x3243+1 ~x3242+536870912 x3181+268435456 x3180+134217728 x3179+67108864 x3178+33554432 x3177+16777216 x3176+8388608 x3175+4194304 x3174+2097152 x3173+1048576 x3172+524288 x3171+262144 x3170+131072 x3169+65536 x3168+32768 x3167+16384 x3166+8192 x3165+4096 x3164+2048 x3163+1024 x3162+512 x3161+256 x3160+128 x3159+64 x3158+32 x3157+16 x3156+8 x3155+4 x3154+2 x3153+1 x3152-0=2147483646
90.36/90.48	c 536870912 ~x3951554+268435456 ~x3951553+134217728 ~x3951552+67108864 ~x3951551+33554432 ~x3951550+16777216 ~x3951549+8388608 ~x3951548+4194304 ~x3951547+2097152 ~x3951546+1048576 ~x3951545+524288 ~x3951544+262144 ~x3951543+131072 ~x3951542+65536 ~x3951541+32768 ~x3951540+16384 ~x3951539+8192 ~x3951538+4096 ~x3951537+2048 ~x3951536+1024 ~x3951535+512 ~x3951534+256 ~x3951533+128 ~x3951532+64 ~x3951531+32 ~x3951530+16 ~x3951529+8 ~x3951528+4 ~x3951527+2 ~x3951526+1 ~x3951525+536870912 ~x3301+268435456 ~x3300+134217728 ~x3299+67108864 ~x3298+33554432 ~x3297+16777216 ~x3296+8388608 ~x3295+4194304 ~x3294+2097152 ~x3293+1048576 ~x3292+524288 ~x3291+262144 ~x3290+131072 ~x3289+65536 ~x3288+32768 ~x3287+16384 ~x3286+8192 ~x3285+4096 ~x3284+2048 ~x3283+1024 ~x3282+512 ~x3281+256 ~x3280+128 ~x3279+64 ~x3278+32 ~x3277+16 ~x3276+8 ~x3275+4 ~x3274+2 ~x3273+1 ~x3272+536870912 x3211+268435456 x3210+134217728 x3209+67108864 x3208+33554432 x3207+16777216 x3206+8388608 x3205+4194304 x3204+2097152 x3203+1048576 x3202+524288 x3201+262144 x3200+131072 x3199+65536 x3198+32768 x3197+16384 x3196+8192 x3195+4096 x3194+2048 x3193+1024 x3192+512 x3191+256 x3190+128 x3189+64 x3188+32 x3187+16 x3186+8 x3185+4 x3184+2 x3183+1 x3182-0=2147483646
91.17/91.21	c 536870912 ~x3983297+268435456 ~x3983296+134217728 ~x3983295+67108864 ~x3983294+33554432 ~x3983293+16777216 ~x3983292+8388608 ~x3983291+4194304 ~x3983290+2097152 ~x3983289+1048576 ~x3983288+524288 ~x3983287+262144 ~x3983286+131072 ~x3983285+65536 ~x3983284+32768 ~x3983283+16384 ~x3983282+8192 ~x3983281+4096 ~x3983280+2048 ~x3983279+1024 ~x3983278+512 ~x3983277+256 ~x3983276+128 ~x3983275+64 ~x3983274+32 ~x3983273+16 ~x3983272+8 ~x3983271+4 ~x3983270+2 ~x3983269+1 ~x3983268+536870912 ~x3331+268435456 ~x3330+134217728 ~x3329+67108864 ~x3328+33554432 ~x3327+16777216 ~x3326+8388608 ~x3325+4194304 ~x3324+2097152 ~x3323+1048576 ~x3322+524288 ~x3321+262144 ~x3320+131072 ~x3319+65536 ~x3318+32768 ~x3317+16384 ~x3316+8192 ~x3315+4096 ~x3314+2048 ~x3313+1024 ~x3312+512 ~x3311+256 ~x3310+128 ~x3309+64 ~x3308+32 ~x3307+16 ~x3306+8 ~x3305+4 ~x3304+2 ~x3303+1 ~x3302+536870912 x3241+268435456 x3240+134217728 x3239+67108864 x3238+33554432 x3237+16777216 x3236+8388608 x3235+4194304 x3234+2097152 x3233+1048576 x3232+524288 x3231+262144 x3230+131072 x3229+65536 x3228+32768 x3227+16384 x3226+8192 x3225+4096 x3224+2048 x3223+

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.98 3/106 24542
/proc/meminfo: memFree=1850056/2059040 swapFree=4140368/4192956
[pid=24542] ppid=24540 vsize=8700 CPUtime=0
/proc/24542/stat : 24542 (run) S 24540 24542 24272 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21287873 8908800 251 1992294400 4194304 4922060 140736166573632 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24542/statm: 2175 251 211 178 0 68 0

[startup+0.085113 s]
/proc/loadavg: 0.99 0.97 0.98 3/106 24542
/proc/meminfo: memFree=1850056/2059040 swapFree=4140368/4192956
[pid=24542] ppid=24540 vsize=8700 CPUtime=0
/proc/24542/stat : 24542 (run) S 24540 24542 24272 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21287873 8908800 251 1992294400 4194304 4922060 140736166573632 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24542/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101106 s]
/proc/loadavg: 0.99 0.97 0.98 3/106 24542
/proc/meminfo: memFree=1850056/2059040 swapFree=4140368/4192956
[pid=24542] ppid=24540 vsize=8700 CPUtime=0
/proc/24542/stat : 24542 (run) S 24540 24542 24272 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21287873 8908800 251 1992294400 4194304 4922060 140736166573632 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24542/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301126 s]
/proc/loadavg: 0.99 0.97 0.98 3/106 24542
/proc/meminfo: memFree=1850056/2059040 swapFree=4140368/4192956
[pid=24542] ppid=24540 vsize=8700 CPUtime=0
/proc/24542/stat : 24542 (run) S 24540 24542 24272 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21287873 8908800 251 1992294400 4194304 4922060 140736166573632 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24542/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701167 s]
/proc/loadavg: 0.99 0.97 0.98 3/106 24542
/proc/meminfo: memFree=1850056/2059040 swapFree=4140368/4192956
[pid=24542] ppid=24540 vsize=8700 CPUtime=0
/proc/24542/stat : 24542 (run) S 24540 24542 24272 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21287873 8908800 251 1992294400 4194304 4922060 140736166573632 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24542/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50124 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 24545
/proc/meminfo: memFree=1686608/2059040 swapFree=4140368/4192956
[pid=24542] ppid=24540 vsize=8700 CPUtime=0
/proc/24542/stat : 24542 (run) S 24540 24542 24272 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21287873 8908800 251 1992294400 4194304 4922060 140736166573632 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24542/statm: 2175 251 211 178 0 68 0
[pid=24544] ppid=24542 vsize=182648 CPUtime=1.48
/proc/24544/stat : 24544 (PBPASSolver) R 24542 24542 24272 0 -1 4202496 44953 0 0 0 83 65 0 0 19 0 1 0 21287873 187031552 44890 1992294400 134512640 134902295 4291330048 18446744073709551615 134813682 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24544/statm: 45662 44890 262 96 0 44874 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 191348

[startup+3.1004 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 24545
/proc/meminfo: memFree=1660444/2059040 swapFree=4140368/4192956
[pid=24542] ppid=24540 vsize=8700 CPUtime=0
/proc/24542/stat : 24542 (run) S 24540 24542 24272 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21287873 8908800 251 1992294400 4194304 4922060 140736166573632 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24542/statm: 2175 251 211 178 0 68 0
[pid=24544] ppid=24542 vsize=211632 CPUtime=3.08
/proc/24544/stat : 24544 (PBPASSolver) R 24542 24542 24272 0 -1 4202496 52396 0 0 0 240 68 0 0 24 0 1 0 21287873 216711168 51877 1992294400 134512640 134902295 4291330048 18446744073709551615 4372323 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24544/statm: 52908 51877 262 96 0 52120 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 220332

[startup+6.30071 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 24545
/proc/meminfo: memFree=1605636/2059040 swapFree=4140368/4192956
[pid=24542] ppid=24540 vsize=8700 CPUtime=0
/proc/24542/stat : 24542 (run) S 24540 24542 24272 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21287873 8908800 251 1992294400 4194304 4922060 140736166573632 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24542/statm: 2175 251 211 178 0 68 0
[pid=24544] ppid=24542 vsize=269032 CPUtime=6.28
/proc/24544/stat : 24544 (PBPASSolver) R 24542 24542 24272 0 -1 4202496 67785 0 0 0 554 74 0 0 25 0 1 0 21287873 275488768 65401 1992294400 134512640 134902295 4291330048 18446744073709551615 4379030 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24544/statm: 67258 65401 262 96 0 66470 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 277732

[startup+12.7013 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 24545
/proc/meminfo: memFree=1487464/2059040 swapFree=4140368/4192956
[pid=24542] ppid=24540 vsize=8700 CPUtime=0
/proc/24542/stat : 24542 (run) S 24540 24542 24272 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21287873 8908800 251 1992294400 4194304 4922060 140736166573632 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24542/statm: 2175 251 211 178 0 68 0
[pid=24544] ppid=24542 vsize=388744 CPUtime=12.68
/proc/24544/stat : 24544 (PBPASSolver) R 24542 24542 24272 0 -1 4202496 98941 0 0 0 1181 87 0 0 25 0 1 0 21287873 398073856 94893 1992294400 134512640 134902295 4291330048 18446744073709551615 134635529 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24544/statm: 97186 94893 262 96 0 96398 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 397444

[startup+25.5016 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 24545
/proc/meminfo: memFree=1246532/2059040 swapFree=4140368/4192956
[pid=24542] ppid=24540 vsize=8700 CPUtime=0
/proc/24542/stat : 24542 (run) S 24540 24542 24272 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21287873 8908800 251 1992294400 4194304 4922060 140736166573632 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24542/statm: 2175 251 211 178 0 68 0
[pid=24544] ppid=24542 vsize=628676 CPUtime=25.48
/proc/24544/stat : 24544 (PBPASSolver) R 24542 24542 24272 0 -1 4202496 160073 0 0 0 2437 111 0 0 25 0 1 0 21287873 643764224 151899 1992294400 134512640 134902295 4291330048 18446744073709551615 134897566 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24544/statm: 157169 151899 262 96 0 156381 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 637376

[startup+51.1011 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 24547
/proc/meminfo: memFree=773968/2059040 swapFree=4140368/4192956
[pid=24542] ppid=24540 vsize=8700 CPUtime=0
/proc/24542/stat : 24542 (run) S 24540 24542 24272 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21287873 8908800 251 1992294400 4194304 4922060 140736166573632 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24542/statm: 2175 251 211 178 0 68 0
[pid=24544] ppid=24542 vsize=1108560 CPUtime=51.07
/proc/24544/stat : 24544 (PBPASSolver) R 24542 24542 24272 0 -1 4202496 281446 0 0 0 4940 167 0 0 25 0 1 0 21287873 1135165440 271000 1992294400 134512640 134902295 4291330048 18446744073709551615 4160391527 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24544/statm: 277140 271000 262 96 0 276352 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1117260



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+91.201 s]
/proc/loadavg: 0.99 0.97 0.98 3/108 24547
/proc/meminfo: memFree=58612/2059040 swapFree=4140368/4192956
[pid=24542] ppid=24540 vsize=8700 CPUtime=0
/proc/24542/stat : 24542 (run) S 24540 24542 24272 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21287873 8908800 251 1992294400 4194304 4922060 140736166573632 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24542/statm: 2175 251 211 178 0 68 0
[pid=24544] ppid=24542 vsize=1835536 CPUtime=91.18
/proc/24544/stat : 24544 (PBPASSolver) R 24542 24542 24272 0 -1 4202496 477049 0 0 0 8865 253 0 0 25 0 1 0 21287873 1879588864 446915 1992294400 134512640 134902295 4291330048 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24544/statm: 458884 446915 262 96 0 458096 0
Current children cumulated CPU time (s) 91.18
Current children cumulated vsize (KiB) 1844236

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 24542 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.002998
# while last known CPU time is 91.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 91.2222
CPU time (s): 91.18
CPU user time (s): 88.65
CPU system time (s): 2.53
CPU usage (%): 99.9537
Max. virtual memory (cumulated for all children) (KiB): 1844236

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

runsolver used 0.153976 second user time and 0.45393 second system time

The end

Launcher Data 

Begin job on node056 at 2010-06-17 20:39:29
IDJOB=2674750
IDBENCH=2450
IDSOLVER=1174
FILE ID=node056/2674750-1276799969
PBS_JOBID= 11176672
Free space on /tmp= 98612 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc205.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674750-1276799969/watcher-2674750-1276799969 -o /tmp/evaluation-result-2674750-1276799969/solver-2674750-1276799969 -C 1800 -W 2000 -M 1800  run HOME/instance-2674750-1276799969.opb

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

MD5SUM BENCH= cfa0de6a5c077caf94404f012a430180
RANDOM SEED=1950062165

node056.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.215
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.215
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.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1850576 kB
Buffers:         30408 kB
Cached:          89532 kB
SwapCached:       5948 kB
Active:          41124 kB
Inactive:        91500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1850576 kB
SwapTotal:     4192956 kB
SwapFree:      4140368 kB
Dirty:             880 kB
Writeback:           0 kB
AnonPages:       11228 kB
Mapped:          12784 kB
Slab:            53824 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181672 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= 98612 MiB
End job on node056 at 2010-06-17 20:41:03