Trace number 2674153

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) 82.16 82.2143

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb
MD5SUM34e6501168eba14fba603ee8987209fc
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1228810444800
Best CPU time to get the best result obtained on this benchmark53.9248
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1470471039630
Optimality of the best value was proved NO
Number of variables780
Total number of constraints405
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints369
Minimum length of a constraint6
Maximum length of a constraint101
Number of terms in the objective function 478
Biggest coefficient in the objective function 536870912000000
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 1073761158741413
Number of bits of the sum of numbers in the objective function 50
Biggest number in a constraint 71583145981965762560
Number of bits of the biggest number in a constraint 66
Biggest sum of numbers in a constraint 303620978593259231065
Number of bits of the biggest sum of numbers69
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.88/1.94	c 780 405 0 0 0 0 0 0
1.88/1.94	c 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+262144 ~x90+131072 ~x89+65536 ~x88+32768 ~x87+16384 ~x86+8192 ~x85+4096 ~x84+2048 ~x83+1024 ~x82+512 ~x81+256 ~x80+128 ~x79+64 ~x78+32 ~x77+16 ~x76+8 ~x75+4 ~x74+2 ~x73+1 ~x72-0=856062
2.09/2.11	c 262144 ~x7715+131072 ~x7714+65536 ~x7713+32768 ~x7712+16384 ~x7711+8192 ~x7710+4096 ~x7709+2048 ~x7708+1024 ~x7707+512 ~x7706+256 ~x7705+128 ~x7704+64 ~x7703+32 ~x7702+16 ~x7701+8 ~x7700+4 ~x7699+2 ~x7698+1 ~x7697+262144 ~x120+131072 ~x119+65536 ~x118+32768 ~x117+16384 ~x116+8192 ~x115+4096 ~x114+2048 ~x113+1024 ~x112+512 ~x111+256 ~x110+128 ~x109+64 ~x108+32 ~x107+16 ~x106+8 ~x105+4 ~x104+2 ~x103+1 ~x102-0=856062
2.19/2.28	c 8192 ~x14625+4096 ~x14624+2048 ~x14623+1024 ~x14622+512 ~x14621+256 ~x14620+128 ~x14619+64 ~x14618+32 ~x14617+16 ~x14616+8 ~x14615+4 ~x14614+2 ~x14613+1 ~x14612+8192 ~x145+4096 ~x144+2048 ~x143+1024 ~x142+512 ~x141+256 ~x140+128 ~x139+64 ~x138+32 ~x137+16 ~x136+8 ~x135+4 ~x134+2 ~x133+1 ~x132-0=28670
2.29/2.37	c 131072 ~x18187+65536 ~x18186+32768 ~x18185+16384 ~x18184+8192 ~x18183+4096 ~x18182+2048 ~x18181+1024 ~x18180+512 ~x18179+256 ~x18178+128 ~x18177+64 ~x18176+32 ~x18175+16 ~x18174+8 ~x18173+4 ~x18172+2 ~x18171+1 ~x18170+131072 ~x178+65536 ~x177+32768 ~x176+16384 ~x175+8192 ~x174+4096 ~x173+2048 ~x172+1024 ~x171+512 ~x170+256 ~x169+128 ~x168+64 ~x167+32 ~x166+16 ~x165+8 ~x164+4 ~x163+2 ~x162+1 ~x161-0=491518
2.48/2.55	c 131072 ~x24669+65536 ~x24668+32768 ~x24667+16384 ~x24666+8192 ~x24665+4096 ~x24664+2048 ~x24663+1024 ~x24662+512 ~x24661+256 ~x24660+128 ~x24659+64 ~x24658+32 ~x24657+16 ~x24656+8 ~x24655+4 ~x24654+2 ~x24653+1 ~x24652+131072 ~x208+65536 ~x207+32768 ~x206+16384 ~x205+8192 ~x204+4096 ~x203+2048 ~x202+1024 ~x201+512 ~x200+256 ~x199+128 ~x198+64 ~x197+32 ~x196+16 ~x195+8 ~x194+4 ~x193+2 ~x192+1 ~x191-0=491518
2.69/2.70	c 262144 ~x31152+131072 ~x31151+65536 ~x31150+32768 ~x31149+16384 ~x31148+8192 ~x31147+4096 ~x31146+2048 ~x31145+1024 ~x31144+512 ~x31143+256 ~x31142+128 ~x31141+64 ~x31140+32 ~x31139+16 ~x31138+8 ~x31137+4 ~x31136+2 ~x31135+1 ~x31134+262144 ~x239+131072 ~x238+65536 ~x237+32768 ~x236+16384 ~x235+8192 ~x234+4096 ~x233+2048 ~x232+1024 ~x231+512 ~x230+256 ~x229+128 ~x228+64 ~x227+32 ~x226+16 ~x225+8 ~x224+4 ~x223+2 ~x222+1 ~x221-0=958462
2.78/2.87	c 262144 ~x38067+131072 ~x38066+65536 ~x38065+32768 ~x38064+16384 ~x38063+8192 ~x38062+4096 ~x38061+2048 ~x38060+1024 ~x38059+512 ~x38058+256 ~x38057+128 ~x38056+64 ~x38055+32 ~x38054+16 ~x38053+8 ~x38052+4 ~x38051+2 ~x38050+1 ~x38049+262144 ~x269+131072 ~x268+65536 ~x267+32768 ~x266+16384 ~x265+8192 ~x264+4096 ~x263+2048 ~x262+1024 ~x261+512 ~x260+256 ~x259+128 ~x258+64 ~x257+32 ~x256+16 ~x255+8 ~x254+4 ~x253+2 ~x252+1 ~x251-0=856062
2.98/3.08	c 8192 ~x44977+4096 ~x44976+2048 ~x44975+1024 ~x44974+512 ~x44973+256 ~x44972+128 ~x44971+64 ~x44970+32 ~x44969+16 ~x44968+8 ~x44967+4 ~x44966+2 ~x44965+1 ~x44964+8192 ~x294+4096 ~x293+2048 ~x292+1024 ~x291+512 ~x290+256 ~x289+128 ~x288+64 ~x287+32 ~x286+16 ~x285+8 ~x284+4 ~x283+2 ~x282+1 ~x281-0=28670
3.09/3.17	c 262144 ~x48540+131072 ~x48539+65536 ~x48538+32768 ~x48537+16384 ~x48536+8192 ~x48535+4096 ~x48534+2048 ~x48533+1024 ~x48532+512 ~x48531+256 ~x48530+128 ~x48529+64 ~x48528+32 ~x48527+16 ~x48526+8 ~x48525+4 ~x48524+2 ~x48523+1 ~x48522+262144 ~x328+131072 ~x327+65536 ~x326+32768 ~x325+16384 ~x324+8192 ~x323+4096 ~x322+2048 ~x321+1024 ~x320+512 ~x319+256 ~x318+128 ~x317+64 ~x316+32 ~x315+16 ~x314+8 ~x313+4 ~x312+2 ~x311+1 ~x310-0=958462
3.29/3.34	c 1073741824 ~x55467+536870912 ~x55466+268435456 ~x55465+134217728 ~x55464+67108864 ~x55463+33554432 ~x55462+16777216 ~x55461+8388608 ~x55460+4194304 ~x55459+2097152 ~x55458+1048576 ~x55457+524288 ~x55456+262144 ~x55455+131072 ~x55454+65536 ~x55453+32768 ~x55452+16384 ~x55451+8192 ~x55450+4096 ~x55449+2048 ~x55448+1024 ~x55447+512 ~x55446+256 ~x55445+128 ~x55444+64 ~x55443+32 ~x55442+16 ~x55441+8 ~x55440+4 ~x55439+2 ~x55438+1 ~x55437+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32+536870912 ~x31+268435456 ~x30+134217728 ~x29+67108864 ~x28+33554432 ~x27+16777216 ~x26+8388608 ~x25+4194304 ~x24+2097152 ~x23+1048576 ~x22+524288 ~x21+262144 ~x20+131072 ~x19+65536 ~x18+32768 ~x17+16384 ~x16+8192 ~x15+4096 ~x14+2048 ~x13+1024 ~x12+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=3221942270
4.19/4.22	c 1048576 ~x91568+524288 ~x91567+262144 ~x91566+131072 ~x91565+65536 ~x91564+32768 ~x91563+16384 ~x91562+8192 ~x91561+4096 ~x91560+2048 ~x91559+1024 ~x91558+512 ~x91557+256 ~x91556+128 ~x91555+64 ~x91554+32 ~x91553+16 ~x91552+8 ~x91551+4 ~x91550+2 ~x91549+1 ~x91548+524288 ~x121+262144 ~x120+131072 ~x119+65536 ~x118+32768 ~x117+16384 ~x116+8192 ~x115+4096 ~x114+2048 ~x113+1024 ~x112+512 ~x111+256 ~x110+128 ~x109+64 ~x108+32 ~x107+16 ~x106+8 ~x105+4 ~x104+2 ~x103+1 ~x102+524288 x91+262144 x90+131072 x89+65536 x88+32768 x87+16384 x86+8192 x85+4096 x84+2048 x83+1024 x82+512 x81+256 x80+128 x79+64 x78+32 x77+16 x76+8 x75+4 x74+2 x73+1 x72-0=3350526
4.48/4.51	c 1073741824 ~x103990+536870912 ~x103989+268435456 ~x103988+134217728 ~x103987+67108864 ~x103986+33554432 ~x103985+16777216 ~x103984+8388608 ~x103983+4194304 ~x103982+2097152 ~x103981+1048576 ~x103980+524288 ~x103979+262144 ~x103978+131072 ~x103977+65536 ~x103976+32768 ~x103975+16384 ~x103974+8192 ~x103973+4096 ~x103972+2048 ~x103971+1024 ~x103970+512 ~x103969+256 ~x103968+128 ~x103967+64 ~x103966+32 ~x103965+16 ~x103964+8 ~x103963+4 ~x103962+2 ~x103961+1 ~x103960+21504000 ~x738+536870912 ~x731+268435456 ~x730+134217728 ~x729+67108864 ~x728+33554432 ~x727+16777216 ~x726+8388608 ~x725+4194304 ~x724+2097152 ~x723+1048576 ~x722+524288 ~x721+262144 ~x720+131072 ~x719+65536 ~x718+32768 ~x717+16384 ~x716+8192 ~x715+4096 ~x714+2048 ~x713+1024 ~x712+512 ~x711+256 ~x710+128 ~x709+64 ~x708+32 ~x707+16 ~x706+8 ~x705+4 ~x704+2 ~x703+1 ~x702+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+8192 x15+4096 x14+2048 x13+1024 x12+512 x11+256 x10+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=3222044670
5.28/5.35	c 1073741824 ~x140755+536870912 ~x140754+268435456 ~x140753+134217728 ~x140752+67108864 ~x140751+33554432 ~x140750+16777216 ~x140749+8388608 ~x140748+4194304 ~x140747+2097152 ~x140746+1048576 ~x140745+524288 ~x140744+262144 ~x140743+131072 ~x140742+65536 ~x140741+32768 ~x140740+16384 ~x140739+8192 ~x140738+4096 ~x140737+2048 ~x140736+1024 ~x140735+512 ~x140734+256 ~x140733+128 ~x140732+64 ~x140731+32 ~x140730+16 ~x140729+8 ~x140728+4 ~x140727+2 ~x140726+1 ~x140725+536870912 ~x771+268435456 ~x770+134217728 ~x769+67108864 ~x768+33554432 ~x767+16777216 ~x766+8388608 ~x765+4194304 ~x764+2097152 ~x763+1048576 ~x762+524288 ~x761+262144 ~x760+131072 ~x759+65536 ~x758+32768 ~x757+16384 ~x756+8192 ~x755+4096 ~x754+2048 ~x753+1024 ~x752+512 ~x751+256 ~x750+128 ~x749+64 ~x748+32 ~x747+16 ~x746+8 ~x745+4 ~x744+2 ~x743+1 ~x742+28672000 ~x739+524288 ~x329+262144 ~x328+131072 ~x327+65536 ~x326+32768 ~x325+16384 ~x324+8192 ~x323+4096 ~x322+2048 ~x321+1024 ~x320+512 ~x319+256 ~x318+128 ~x317+64 ~x316+32 ~x315+16 ~x314+8 ~x313+4 ~x312+2 ~x311+1 ~x310+524288 x91+262144 x90+131072 x89+65536 x88+32768 x87+16384 x86+8192 x85+4096 x84+2048 x83+1024 x82+512 x81+256 x80+128 x79+64 x78+32 x77+16 x76+8 x75+4 x74+2 x73+1 x72+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+8192 x15+4096 x14+2048 x13+1024 x12+512 x11+256 x10+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=3222888445
6.49/6.56	c 1048576 ~x194445+524288 ~x194444+262144 ~x194443+131072 ~x194442+65536 ~x194441+32768 ~x194440+16384 ~x194439+8192 ~x194438+4096 ~x194437+2048 ~x194436+1024 ~x194435+512 ~x194434+256 ~x194433+128 ~x194432+64 ~x194431+32 ~x194430+16 ~x194429+8 ~x194428+4 ~x194427+2 ~x194426+1 ~x194425+524288 ~x329+262144 ~x328+131072 ~x327+65536 ~x326+32768 ~x325+16384 ~x324+8192 ~x323+4096 ~x322+2048 ~x321+1024 ~x320+512 ~x319+256 ~x318+128 ~x317+64 ~x316+32 ~x315+16 ~x314+8 ~x313+4 ~x312+2 ~x311+1 ~x310+524288 x91+262144 x90+131072 x89+65536 x88+32768 x87+16384 x86+8192 x85+4096 x84+2048 x83+1024 x82+512 x81+256 x80+128 x79+64 x78+32 x77+16 x76+8 x75+4 x74+2 x73+1 x72-0=3760126
6.79/6.85	c 1073741824 ~x206867+536870912 ~x206866+268435456 ~x206865+134217728 ~x206864+67108864 ~x206863+33554432 ~x206862+16777216 ~x206861+8388608 ~x206860+4194304 ~x206859+2097152 ~x206858+1048576 ~x206857+524288 ~x206856+262144 ~x206855+131072 ~x206854+65536 ~x206853+32768 ~x206852+16384 ~x206851+8192 ~x206850+4096 ~x206849+2048 ~x206848+1024 ~x206847+512 ~x206846+256 ~x206845+128 ~x206844+64 ~x206843+32 ~x206842+16 ~x206841+8 ~x206840+4 ~x206839+2 ~x206838+1 ~x206837+536870912 x771+268435456 x770+134217728 x769+67108864 x768+33554432 x767+16777216 x766+8388608 x765+4194304 x764+2097152 x763+1048576 x762+524288 x761+262144 x760+131072 x759+65536 x758+32768 x757+16384 x756+8192 x755+4096 x754+2048 x753+1024 x752+512 x751+256 x750+128 x749+64 x748+32 x747+16 x746+8 x745+4 x744+2 x743+1 x742+8601600 ~x741+536870912 ~x31+268435456 ~x30+134217728 ~x29+67108864 ~x28+33554432 ~x27+16777216 ~x26+8388608 ~x25+4194304 ~x24+2097152 ~x23+1048576 ~x22+524288 ~x21+262144 ~x20+131072 ~x19+65536 ~x18+32768 ~x17+16384 ~x16+8192 ~x15+4096 ~x14+2048 ~x13+1024 ~x12+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=3221942270
7.59/7.68	c 1073741824 ~x243407+536870912 ~x243406+268435456 ~x243405+134217728 ~x243404+67108864 ~x243403+33554432 ~x243402+16777216 ~x243401+8388608 ~x243400+4194304 ~x243399+2097152 ~x243398+1048576 ~x243397+524288 ~x243396+262144 ~x243395+131072 ~x243394+65536 ~x243393+32768 ~x243392+16384 ~x243391+8192 ~x243390+4096 ~x243389+2048 ~x243388+1024 ~x243387+512 ~x243386+256 ~x243385+128 ~x243384+64 ~x243383+32 ~x243382+16 ~x243381+8 ~x243380+4 ~x243379+2 ~x243378+1 ~x243377+86016000 ~x772+536870912 ~x771+268435456 ~x770+134217728 ~x769+67108864 ~x768+33554432 ~x767+16777216 ~x766+8388608 ~x765+4194304 ~x764+2097152 ~x763+1048576 ~x762+524288 ~x761+262144 ~x760+131072 ~x759+65536 ~x758+32768 ~x757+16384 ~x756+8192 ~x755+4096 ~x754+2048 ~x753+1024 ~x752+512 ~x751+256 ~x750+128 ~x749+64 ~x748+32 ~x747+16 ~x746+8 ~x745+4 ~x744+2 ~x743+1 ~x742+1048576 x329+524288 x328+262144 x327+131072 x326+65536 x325+32768 x324+16384 x323+8192 x322+4096 x321+2048 x320+1024 x319+512 x318+256 x317+128 x316+64 x315+32 x314+16 x313+8 x312+4 x311+2 x310+1048576 ~x91+524288 ~x90+262144 ~x89+131072 ~x88+65536 ~x87+32768 ~x86+16384 ~x85+8192 ~x84+4096 ~x83+2048 ~x82+1024 ~x81+512 ~x80+256 ~x79+128 ~x78+64 ~x77+32 ~x76+16 ~x75+8 ~x74+4 ~x73+2 ~x72+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+8192 x15+4096 x14+2048 x13+1024 x12+512 x11+256 x10+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=3223425020
8.78/8.89	c 1073741824 ~x297107+536870912 ~x297106+268435456 ~x297105+134217728 ~x297104+67108864 ~x297103+33554432 ~x297102+16777216 ~x297101+8388608 ~x297100+4194304 ~x297099+2097152 ~x297098+1048576 ~x297097+524288 ~x297096+262144 ~x297095+131072 ~x297094+65536 ~x297093+32768 ~x297092+16384 ~x297091+8192 ~x297090+4096 ~x297089+2048 ~x297088+1024 ~x297087+512 ~x297086+256 ~x297085+128 ~x297084+64 ~x297083+32 ~x297082+16 ~x297081+8 ~x297080+4 ~x297079+2 ~x297078+1 ~x297077+43008000 ~x772+536870912 x771+268435456 x770+134217728 x769+67108864 x768+33554432 x767+16777216 x766+8388608 x765+4194304 x764+2097152 x763+1048576 x762+524288 x761+262144 x760+131072 x759+65536 x758+32768 x757+16384 x756+8192 x755+4096 x754+2048 x753+1024 x752+512 x751+256 x750+128 x749+64 x748+32 x747+16 x746+8 x745+4 x744+2 x743+1 x742+524288 x329+262144 x328+131072 x327+65536 x326+32768 x325+16384 x324+8192 x323+4096 x322+2048 x321+1024 x320+512 x319+256 x318+128 x317+64 x316+32 x315+16 x314+8 x313+4 x312+2 x311+1 x310+524288 ~x91+262144 ~x90+131072 ~x89+65536 ~x88+32768 ~x87+16384 ~x86+8192 ~x85+4096 ~x84+2048 ~x83+1024 ~x82+512 ~x81+256 ~x80+128 ~x79+64 ~x78+32 ~x77+16 ~x76+8 ~x75+4 ~x74+2 ~x73+1 ~x72+536870912 ~x31+268435456 ~x30+134217728 ~x29+67108864 ~x28+33554432 ~x27+16777216 ~x26+8388608 ~x25+4194304 ~x24+2097152 ~x23+1048576 ~x22+524288 ~x21+262144 ~x20+131072 ~x19+65536 ~x18+32768 ~x17+16384 ~x16+8192 ~x15+4096 ~x14+2048 ~x13+1024 ~x12+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=3223093245
10.08/10.11	c 9223372036854775808 ~x350840+4611686018427387904 ~x350839+2305843009213693952 ~x350838+1152921504606846976 ~x350837+576460752303423488 ~x350836+288230376151711744 ~x350835+144115188075855872 ~x350834+72057594037927936 ~x350833+36028797018963968 ~x350832+18014398509481984 ~x350831+9007199254740992 ~x350830+4503599627370496 ~x350829+2251799813685248 ~x350828+1125899906842624 ~x350827+562949953421312 ~x350826+281474976710656 ~x350825+140737488355328 ~x350824+70368744177664 ~x350823+35184372088832 ~x350822+17592186044416 ~x350821+8796093022208 ~x350820+4398046511104 ~x350819+2199023255552 ~x350818+1099511627776 ~x350817+549755813888 ~x350816+274877906944 ~x350815+137438953472 ~x350814+68719476736 ~x350813+34359738368 ~x350812+17179869184 ~x350811+8589934592 ~x350810+4294967296 ~x350809+2147483648 ~x350808+1073741824 ~x350807+536870912 ~x350806+268435456 ~x350805+134217728 ~x350804+67108864 ~x350803+33554432 ~x350802+16777216 ~x350801+8388608 ~x350800+4194304 ~x350799+2097152 ~x350798+1048576 ~x350797+524288 ~x350796+262144 ~x350795+131072 ~x350794+65536 ~x350793+32768 ~x350792+16384 ~x350791+8192 ~x350790+4096 ~x350789+2048 ~x350788+1024 ~x350787+512 ~x350786+256 ~x350785+128 ~x350784+64 ~x350783+32 ~x350782+16 ~x350781+8 ~x350780+4 ~x350779+2 ~x350778+1 ~x350777+860160000000000000 ~x773+8947811942001541120 ~x771+4473905971000770560 ~x770+2236952985500385280 ~x769+1118476492750192640 ~x768+559238246375096320 ~x767+279619123187548160 ~x766+139809561593774080 ~x765+69904780796887040 ~x764+34952390398443520 ~x763+17476195199221760 ~x762+8738097599610880 ~x761+4369048799805440 ~x760+2184524399902720 ~x759+1092262199951360 ~x758+546131099975680 ~x757+273065549987840 ~x756+136532774993920 ~x755+68266387496960 ~x754+34133193748480 ~x753+17066596874240 ~x752+8533298437120 ~x751+4266649218560 ~x750+2133324609280 ~x749+1066662304640 ~x748+533331152320 ~x747+266665576160 ~x746+133332788080 ~x745+66666394040 ~x744+33333197020 ~x743+16666598510 ~x742+8738098400198656 x329+4369049200099328 x328+2184524600049664 x327+1092262300024832 x326+546131150012416 x325+273065575006208 x324+136532787503104 x323+68266393751552 x322+34133196875776 x321+17066598437888 x320+8533299218944 x319+4266649609472 x318+2133324804736 x317+1066662402368 x316+533331201184 x315+266665600592 x314+133332800296 x313+66666400148 x312+33333200074 x311+16666600037 x310+8738098401771520 ~x91+4369049200885760 ~x90+2184524600442880 ~x89+1092262300221440 ~x88+546131150110720 ~x87+273065575055360 ~x86+136532787527680 ~x85+68266393763840 ~x84+34133196881920 ~x83+17066598440960 ~x82+8533299220480 ~x81+4266649610240 ~x80+2133324805120 ~x79+1066662402560 ~x78+533331201280 ~x77+266665600640 ~x76+133332800320 ~x75+66666400160 ~x74+33333200080 ~x73+16666600040 ~x72+8947811942538412032 x31+4473905971269206016 x30+2236952985634603008 x29+1118476492817301504 x28+559238246408650752 x27+279619123204325376 x26+139809561602162688 x25+69904780801081344 x24+34952390400540672 x23+17476195200270336 x22+8738097600135168 x21+4369048800067584 x20+2184524400033792 x19+1092262200016896 x18+546131100008448 x17+273065550004224 x16+136532775002112 x15+68266387501056 x14+34133193750528 x13+17066596875264 x12+8533298437632 x11+4266649218816 x10+2133324609408 x9+1066662304704 x8+533331152352 x7+266665576176 x6+133332788088 x5+66666394044 x4+33333197022 x3+16666598511 x2-0=36363257441374978345
13.98/14.01	c 36893488147419103232 ~x525394+18446744073709551616 ~x525393+9223372036854775808 ~x525392+4611686018427387904 ~x525391+2305843009213693952 ~x525390+1152921504606846976 ~x525389+576460752303423488 ~x525388+288230376151711744 ~x525387+144115188075855872 ~x525386+72057594037927936 ~x525385+36028797018963968 ~x525384+18014398509481984 ~x525383+9007199254740992 ~x525382+4503599627370496 ~x525381+2251799813685248 ~x525380+1125899906842624 ~x525379+562949953421312 ~x525378+281474976710656 ~x525377+140737488355328 ~x525376+70368744177664 ~x525375+35184372088832 ~x525374+17592186044416 ~x525373+8796093022208 ~x525372+4398046511104 ~x525371+2199023255552 ~x525370+1099511627776 ~x525369+549755813888 ~x525368+274877906944 ~x525367+137438953472 ~x525366+68719476736 ~x525365+34359738368 ~x525364+17179869184 ~x525363+8589934592 ~x525362+4294967296 ~x525361+2147483648 ~x525360+1073741824 ~x525359+536870912 ~x525358+268435456 ~x525357+134217728 ~x525356+67108864 ~x525355+33554432 ~x525354+16777216 ~x525353+8388608 ~x525352+4194304 ~x525351+2097152 ~x525350+1048576 ~x525349+524288 ~x525348+262144 ~x525347+131072 ~x525346+65536 ~x525345+32768 ~x525344+16384 ~x525343+8192 ~x525342+4096 ~x525341+2048 ~x525340+1024 ~x525339+512 ~x525338+256 ~x525337+128 ~x525336+64 ~x525335+32 ~x525334+16 ~x525333+8 ~x525332+4 ~x525331+2 ~x525330+1 ~x525329+8601600000000000000 ~x773+35791028223773507584 x771+17895514111886753792 x770+8947757055943376896 x769+4473878527971688448 x768+2236939263985844224 x767+1118469631992922112 x766+559234815996461056 x765+279617407998230528 x764+139808703999115264 x763+69904351999557632 x762+34952175999778816 x761+17476087999889408 x760+8738043999944704 x759+4369021999972352 x758+2184510999986176 x757+1092255499993088 x756+546127749996544 x755+273063874998272 x754+136531937499136 x753+68265968749568 x752+34132984374784 x751+17066492187392 x750+8533246093696 x749+4266623046848 x748+2133311523424 x747+1066655761712 x746+533327880856 x745+266663940428 x744+133331970214 x743+66665985107 x742+69905415998013440 x329+34952707999006720 x328+17476353999503360 x327+8738176999751680 x326+4369088499875840 x325+2184544249937920 x324+1092272124968960 x323+546136062484480 x322+273068031242240 x321+136534015621120 x320+68267007810560 x319+34133503905280 x318+17066751952640 x317+8533375976320 x316+4266687988160 x315+2133343994080 x314+1066671997040 x313+533335998520 x312+266667999260 x311+133333999630 x310+69905415982284800 ~x91+34952707991142400 ~x90+17476353995571200 ~x89+8738176997785600 ~x88+4369088498892800 ~x87+2184544249446400 ~x86+1092272124723200 ~x85+546136062361600 ~x84+273068031180800 ~x83+136534015590400 ~x82+68267007795200 ~x81+34133503897600 ~x80+17066751948800 ~x79+8533375974400 ~x78+4266687987200 ~x77+2133343993600 ~x76+1066671996800 ~x75+533335998400 ~x74+266667999200 ~x73+133333999600 ~x72+35791028225384120320 ~x31+17895514112692060160 ~x30+8947757056346030080 ~x29+4473878528173015040 ~x28+2236939264086507520 ~x27+1118469632043253760 ~x26+559234816021626880 ~x25+279617408010813440 ~x24+139808704005406720 ~x23+69904352002703360 ~x22+34952176001351680 ~x21+17476088000675840 ~x20+8738044000337920 ~x19+4369022000168960 ~x18+2184511000084480 ~x17+1092255500042240 ~x16+546127750021120 ~x15+273063875010560 ~x14+136531937505280 ~x13+68265968752640 ~x12+34132984376320 ~x11+17066492188160 ~x10+8533246094080 ~x9+4266623047040 ~x8+2133311523520 ~x7+1066655761760 ~x6+533327880880 ~x5+266663940440 ~x4+133331970220 ~x3+66665985110 ~x2-0=145563456983971031993
17.88/17.96	c 1073741824 ~x703368+536870912 ~x703367+268435456 ~x703366+134217728 ~x703365+67108864 ~x703364+33554432 ~x703363+16777216 ~x703362+8388608 ~x703361+4194304 ~x703360+2097152 ~x703359+1048576 ~x703358+524288 ~x703357+262144 ~x703356+131072 ~x703355+65536 ~x703354+32768 ~x703353+16384 ~x703352+8192 ~x703351+4096 ~x703350+2048 ~x703349+1024 ~x703348+512 ~x703347+256 ~x703346+128 ~x703345+64 ~x703344+32 ~x703343+16 ~x703342+8 ~x703341+4 ~x703340+2 ~x703339+1 ~x703338+28672000 ~x774+536870912 ~x771+268435456 ~x770+134217728 ~x769+67108864 ~x768+33554432 ~x767+16777216 ~x766+8388608 ~x765+4194304 ~x764+2097152 ~x763+1048576 ~x762+524288 ~x761+262144 ~x760+131072 ~x759+65536 ~x758+32768 ~x757+16384 ~x756+8192 ~x755+4096 ~x754+2048 ~x753+1024 ~x752+512 ~x751+256 ~x750+128 ~x749+64 ~x748+32 ~x747+16 ~x746+8 ~x745+4 ~x744+2 ~x743+1 ~x742+524288 x329+262144 x328+131072 x327+65536 x326+32768 x325+16384 x324+8192 x323+4096 x322+2048 x321+1024 x320+512 x319+256 x318+128 x317+64 x316+32 x315+16 x314+8 x313+4 x312+2 x311+1 x310+524288 ~x91+262144 ~x90+131072 ~x89+65536 ~x88+32768 ~x87+16384 ~x86+8192 ~x85+4096 ~x84+2048 ~x83+1024 ~x82+512 ~x81+256 ~x80+128 ~x79+64 ~x78+32 ~x77+16 ~x76+8 ~x75+4 ~x74+2 ~x73+1 ~x72+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+8192 x15+4096 x14+2048 x13+1024 x12+512 x11+256 x10+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=3222683645
19.08/19.17	c 1073741824 ~x757068+536870912 ~x757067+268435456 ~x757066+134217728 ~x757065+67108864 ~x757064+33554432 ~x757063+16777216 ~x757062+8388608 ~x757061+4194304 ~x757060+2097152 ~x757059+1048576 ~x757058+524288 ~x757057+262144 ~x757056+131072 ~x757055+65536 ~x757054+32768 ~x757053+16384 ~x757052+8192 ~x757051+4096 ~x757050+2048 ~x757049+1024 ~x757048+512 ~x757047+256 ~x757046+128 ~x757045+64 ~x757044+32 ~x757043+16 ~x757042+8 ~x757041+4 ~x757040+2 ~x757039+1 ~x757038+28672000 ~x380+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+8192 x15+4096 x14+2048 x13+1024 x12+512 x11+256 x10+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=3221532670
19.98/20.00	c 1073741824 ~x793608+536870912 ~x793607+268435456 ~x793606+134217728 ~x793605+67108864 ~x793604+33554432 ~x793603+16777216 ~x793602+8388608 ~x793601+4194304 ~x793600+2097152 ~x793599+1048576 ~x793598+524288 ~x793597+262144 ~x793596+131072 ~x793595+65536 ~x793594+32768 ~x793593+16384 ~x793592+8192 ~x793591+4096 ~x793590+2048 ~x793589+1024 ~x793588+512 ~x793587+256 ~x793586+128 ~x793585+64 ~x793584+32 ~x793583+16 ~x793582+8 ~x793581+4 ~x793580+2 ~x793579+1 ~x793578+21504000 ~x775+536870912 ~x771+268435456 ~x770+134217728 ~x769+67108864 ~x768+33554432 ~x767+16777216 ~x766+8388608 ~x765+4194304 ~x764+2097152 ~x763+1048576 ~x762+524288 ~x761+262144 ~x760+131072 ~x759+65536 ~x758+32768 ~x757+16384 ~x756+8192 ~x755+4096 ~x754+2048 ~x753+1024 ~x752+512 ~x751+256 ~x750+128 ~x749+64 ~x748+32 ~x747+16 ~x746+8 ~x745+4 ~x744+2 ~x743+1 ~x742+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+8192 x15+4096 x14+2048 x13+1024 x12+512 x11+256 x10+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=3221532670
20.79/20.83	c 1048576 ~x830219+524288 ~x830218+262144 ~x830217+131072 ~x830216+65536 ~x830215+32768 ~x830214+16384 ~x830213+8192 ~x830212+4096 ~x830211+2048 ~x830210+1024 ~x830209+512 ~x830208+256 ~x830207+128 ~x830206+64 ~x830205+32 ~x830204+16 ~x830203+8 ~x830202+4 ~x830201+2 ~x830200+1 ~x830199+262144 ~x150+131072 ~x149+65536 ~x148+32768 ~x147+16384 ~x146+8192 ~x145+4096 ~x144+2048 ~x143+1024 ~x142+512 ~x141+256 ~x140+128 ~x139+64 ~x138+32 ~x137+16 ~x136+8 ~x135+4 ~x134+2 ~x133+1 ~x132+524288 x121+262144 x120+131072 x119+65536 x118+32768 x117+16384 x116+8192 x115+4096 x114+2048 x113+1024 x112+512 x111+256 x110+128 x109+64 x108+32 x107+16 x106+8 x105+4 x104+2 x103+1 x102-0=3338238
21.08/21.12	c 1073741824 ~x842416+536870912 ~x842415+268435456 ~x842414+134217728 ~x842413+67108864 ~x842412+33554432 ~x842411+16777216 ~x842410+8388608 ~x842409+4194304 ~x842408+2097152 ~x842407+1048576 ~x842406+524288 ~x842405+262144 ~x842404+131072 ~x842403+65536 ~x842402+32768 ~x842401+16384 ~x842400+8192 ~x842399+4096 ~x842398+2048 ~x842397+1024 ~x842396+512 ~x842395+256 ~x842394+128 ~x842393+64 ~x842392+32 ~x842391+16 ~x842390+8 ~x842389+4 ~x842388+2 ~x842387+1 ~x842386+43008000 ~x777+536870912 x508+268435456 x507+134217728 x506+67108864 x505+33554432 x504+16777216 x503+8388608 x502+4194304 x501+2097152 x500+1048576 x499+524288 x498+262144 x497+131072 x496+65536 x495+32768 x494+16384 x493+8192 x492+4096 x491+2048 x490+1024 x489+512 x488+256 x487+128 x486+64 x485+32 x484+16 x483+8 x482+4 x481+2 x480+1 x479+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340+524288 ~x150+262144 ~x149+131072 ~x148+65536 ~x147+32768 ~x146+16384 ~x145+8192 ~x144+4096 ~x143+2048 ~x142+1024 ~x141+512 ~x140+256 ~x139+128 ~x138+64 ~x137+32 ~x136+16 ~x135+8 ~x134+4 ~x133+2 ~x132+1048576 x121+524288 x120+262144 x119+131072 x118+65536 x117+32768 x116+16384 x115+8192 x114+4096 x113+2048 x112+1024 x111+512 x110+256 x109+128 x108+64 x107+32 x106+16 x105+8 x104+4 x103+2 x102-0=3223810044
22.28/22.32	c 1073741824 ~x895687+536870912 ~x895686+268435456 ~x895685+134217728 ~x895684+67108864 ~x895683+33554432 ~x895682+16777216 ~x895681+8388608 ~x895680+4194304 ~x895679+2097152 ~x895678+1048576 ~x895677+524288 ~x895676+262144 ~x895675+131072 ~x895674+65536 ~x895673+32768 ~x895672+16384 ~x895671+8192 ~x895670+4096 ~x895669+2048 ~x895668+1024 ~x895667+512 ~x895666+256 ~x895665+128 ~x895664+64 ~x895663+32 ~x895662+16 ~x895661+8 ~x895660+4 ~x895659+2 ~x895658+1 ~x895657+43008000 ~x778+536870912 x508+268435456 x507+134217728 x506+67108864 x505+33554432 x504+16777216 x503+8388608 x502+4194304 x501+2097152 x500+1048576 x499+524288 x498+262144 x497+131072 x496+65536 x495+32768 x494+16384 x493+8192 x492+4096 x491+2048 x490+1024 x489+512 x488+256 x487+128 x486+64 x485+32 x484+16 x483+8 x482+4 x481+2 x480+1 x479+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340-0=3221737470
23.08/23.14	c 1073741824 ~x932227+536870912 ~x932226+268435456 ~x932225+134217728 ~x932224+67108864 ~x932223+33554432 ~x932222+16777216 ~x932221+8388608 ~x932220+4194304 ~x932219+2097152 ~x932218+1048576 ~x932217+524288 ~x932216+262144 ~x932215+131072 ~x932214+65536 ~x932213+32768 ~x932212+16384 ~x932211+8192 ~x932210+4096 ~x932209+2048 ~x932208+1024 ~x932207+512 ~x932206+256 ~x932205+128 ~x932204+64 ~x932203+32 ~x932202+16 ~x932201+8 ~x932200+4 ~x932199+2 ~x932198+1 ~x932197+43008000 ~x779+536870912 x508+268435456 x507+134217728 x506+67108864 x505+33554432 x504+16777216 x503+8388608 x502+4194304 x501+2097152 x500+1048576 x499+524288 x498+262144 x497+131072 x496+65536 x495+32768 x494+16384 x493+8192 x492+4096 x491+2048 x490+1024 x489+512 x488+256 x487+128 x486+64 x485+32 x484+16 x483+8 x482+4 x481+2 x480+1 x479+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340+262144 x150+131072 x149+65536 x148+32768 x147+16384 x146+8192 x145+4096 x144+2048 x143+1024 x142+512 x141+256 x140+128 x139+64 x138+32 x137+16 x136+8 x135+4 x134+2 x133+1 x132+524288 ~x121+262144 ~x120+131072 ~x119+65536 ~x118+32768 ~x117+16384 ~x116+8192 ~x115+4096 ~x114+2048 ~x113+1024 ~x112+512 ~x111+256 ~x110+128 ~x109+64 ~x108+32 ~x107+16 ~x106+8 ~x105+4 ~x104+2 ~x103+1 ~x102-0=3222478845
24.28/24.34	c 1073741824 ~x985498+536870912 ~x985497+268435456 ~x985496+134217728 ~x985495+67108864 ~x985494+33554432 ~x985493+16777216 ~x985492+8388608 ~x985491+4194304 ~x985490+2097152 ~x985489+1048576 ~x985488+524288 ~x985487+262144 ~x985486+131072 ~x985485+65536 ~x985484+32768 ~x985483+16384 ~x985482+8192 ~x985481+4096 ~x985480+2048 ~x985479+1024 ~x985478+512 ~x985477+256 ~x985476+128 ~x985475+64 ~x985474+32 ~x985473+16 ~x985472+8 ~x985471+4 ~x985470+2 ~x985469+1 ~x985468+28672000 ~x779+536870912 x508+268435456 x507+134217728 x506+67108864 x505+33554432 x504+16777216 x503+8388608 x502+4194304 x501+2097152 x500+1048576 x499+524288 x498+262144 x497+131072 x496+65536 x495+32768 x494+16384 x493+8192 x492+4096 x491+2048 x490+1024 x489+512 x488+256 x487+128 x486+64 x485+32 x484+16 x483+8 x482+4 x481+2 x480+1 x479+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340-0=3221532670
25.07/25.18	c 1048576 ~x1022028+524288 ~x1022027+262144 ~x1022026+131072 ~x1022025+65536 ~x1022024+32768 ~x1022023+16384 ~x1022022+8192 ~x1022021+4096 ~x1022020+2048 ~x1022019+1024 ~x1022018+512 ~x1022017+256 ~x1022016+128 ~x1022015+64 ~x1022014+32 ~x1022013+16 ~x1022012+8 ~x1022011+4 ~x1022010+2 ~x1022009+1 ~x1022008+262144 x150+131072 x149+65536 x148+32768 x147+16384 x146+8192 x145+4096 x144+2048 x143+1024 x142+512 x141+256 x140+128 x139+64 x138+32 x137+16 x136+8 x135+4 x134+2 x133+1 x132+524288 ~x121+262144 ~x120+131072 ~x119+65536 ~x118+32768 ~x117+16384 ~x116+8192 ~x115+4096 ~x114+2048 ~x113+1024 ~x112+512 ~x111+256 ~x110+128 ~x109+64 ~x108+32 ~x107+16 ~x106+8 ~x105+4 ~x104+2 ~x103+1 ~x102-0=3350526
25.37/25.46	c 1073741824 ~x1034225+536870912 ~x1034224+268435456 ~x1034223+134217728 ~x1034222+67108864 ~x1034221+33554432 ~x1034220+16777216 ~x1034219+8388608 ~x1034218+4194304 ~x1034217+2097152 ~x1034216+1048576 ~x1034215+524288 ~x1034214+262144 ~x1034213+131072 ~x1034212+65536 ~x1034211+32768 ~x1034210+16384 ~x1034209+8192 ~x1034208+4096 ~x1034207+2048 ~x1034206+1024 ~x1034205+512 ~x1034204+256 ~x1034203+128 ~x1034202+64 ~x1034201+32 ~x1034200+16 ~x1034199+8 ~x1034198+4 ~x1034197+2 ~x1034196+1 ~x1034195+28672000 ~x780+536870912 x508+268435456 x507+134217728 x506+67108864 x505+33554432 x504+16777216 x503+8388608 x502+4194304 x501+2097152 x500+1048576 x499+524288 x498+262144 x497+131072 x496+65536 x495+32768 x494+16384 x493+8192 x492+4096 x491+2048 x490+1024 x489+512 x488+256 x487+128 x486+64 x485+32 x484+16 x483+8 x482+4 x481+2 x480+1 x479+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340-0=3221327870
26.18/26.28	c 1048576 ~x1070755+524288 ~x1070754+262144 ~x1070753+131072 ~x1070752+65536 ~x1070751+32768 ~x1070750+16384 ~x1070749+8192 ~x1070748+4096 ~x1070747+2048 ~x1070746+1024 ~x1070745+512 ~x1070744+256 ~x1070743+128 ~x1070742+64 ~x1070741+32 ~x1070740+16 ~x1070739+8 ~x1070738+4 ~x1070737+2 ~x1070736+1 ~x1070735+262144 x150+131072 x149+65536 x148+32768 x147+16384 x146+8192 x145+4096 x144+2048 x143+1024 x142+512 x141+256 x140+128 x139+64 x138+32 x137+16 x136+8 x135+4 x134+2 x133+1 x132+524288 ~x121+262144 ~x120+131072 ~x119+65536 ~x118+32768 ~x117+16384 ~x116+8192 ~x115+4096 ~x114+2048 ~x113+1024 ~x112+512 ~x111+256 ~x110+128 ~x109+64 ~x108+32 ~x107+16 ~x106+8 ~x105+4 ~x104+2 ~x103+1 ~x102-0=3657726
26.47/26.56	c 1048576 ~x1082942+524288 ~x1082941+262144 ~x1082940+131072 ~x1082939+65536 ~x1082938+32768 ~x1082937+16384 ~x1082936+8192 ~x1082935+4096 ~x1082934+2048 ~x1082933+1024 ~x1082932+512 ~x1082931+256 ~x1082930+128 ~x1082929+64 ~x1082928+32 ~x1082927+16 ~x1082926+8 ~x1082925+4 ~x1082924+2 ~x1082923+1 ~x1082922+524288 ~x121+262144 ~x120+131072 ~x119+65536 ~x118+32768 ~x117+16384 ~x116+8192 ~x115+4096 ~x114+2048 ~x113+1024 ~x112+512 ~x111+256 ~x110+128 ~x109+64 ~x108+32 ~x107+16 ~x106+8 ~x105+4 ~x104+2 ~x103+1 ~x102+524288 x91+262144 x90+131072 x89+65536 x88+32768 x87+16384 x86+8192 x85+4096 x84+2048 x83+1024 x82+512 x81+256 x80+128 x79+64 x78+32 x77+16 x76+8 x75+4 x74+2 x73+1 x72-0=3657726
26.78/26.85	c 1073741824 ~x1095364+536870912 ~x1095363+268435456 ~x1095362+134217728 ~x1095361+67108864 ~x1095360+33554432 ~x1095359+16777216 ~x1095358+8388608 ~x1095357+4194304 ~x1095356+2097152 ~x1095355+1048576 ~x1095354+524288 ~x1095353+262144 ~x1095352+131072 ~x1095351+65536 ~x1095350+32768 ~x1095349+16384 ~x1095348+8192 ~x1095347+4096 ~x1095346+2048 ~x1095345+1024 ~x1095344+512 ~x1095343+256 ~x1095342+128 ~x1095341+64 ~x1095340+32 ~x1095339+16 ~x1095338+8 ~x1095337+4 ~x1095336+2 ~x1095335+1 ~x1095334+536870912 ~x508+268435456 ~x507+134217728 ~x506+67108864 ~x505+33554432 ~x504+16777216 ~x503+8388608 ~x502+4194304 ~x501+2097152 ~x500+1048576 ~x499+524288 ~x498+262144 ~x497+131072 ~x496+65536 ~x495+32768 ~x494+16384 ~x493+8192 ~x492+4096 ~x491+2048 ~x490+1024 ~x489+512 ~x488+256 ~x487+128 ~x486+64 ~x485+32 ~x484+16 ~x483+8 ~x482+4 ~x481+2 ~x480+1 ~x479+536870912 x369+268435456 x368+134217728 x367+67108864 x366+33554432 x365+16777216 x364+8388608 x363+4194304 x362+2097152 x361+1048576 x360+524288 x359+262144 x358+131072 x357+65536 x356+32768 x355+16384 x354+8192 x353+4096 x352+2048 x351+1024 x350+512 x349+256 x348+128 x347+64 x346+32 x345+16 x344+8 x343+4 x342+2 x341+1 x340+262144 x150+131072 x149+65536 x148+32768 x147+16384 x146+8192 x145+4096 x144+2048 x143+1024 x142+512 x141+256 x140+128 x139+64 x138+32 x137+16 x136+8 x135+4 x134+2 x133+1 x132+524288 ~x121+262144 ~x120+131072 ~x119+65536 ~x118+32768 ~x117+16384 ~x116+8192 ~x115+4096 ~x114+2048 ~x113+1024 ~x112+512 ~x111+256 ~x110+128 ~x109+64 ~x108+32 ~x107+16 ~x106+8 ~x105+4 ~x104+2 ~x103+1 ~x102+28672000 ~x62-0=3222888445
27.98/28.05	c 2147483648 ~x1148576+1073741824 ~x1148575+536870912 ~x1148574+268435456 ~x1148573+134217728 ~x1148572+67108864 ~x1148571+33554432 ~x1148570+16777216 ~x1148569+8388608 ~x1148568+4194304 ~x1148567+2097152 ~x1148566+1048576 ~x1148565+524288 ~x1148564+262144 ~x1148563+131072 ~x1148562+65536 ~x1148561+32768 ~x1148560+16384 ~x1148559+8192 ~x1148558+4096 ~x1148557+2048 ~x1148556+1024 ~x1148555+512 ~x1148554+256 ~x1148553+128 ~x1148552+64 ~x1148551+32 ~x1148550+16 ~x1148549+8 ~x1148548+4 ~x1148547+2 ~x1148546+1 ~x1148545+1610612736 ~x508+805306368 ~x507+402653184 ~x506+201326592 ~x505+100663296 ~x504+50331648 ~x503+25165824 ~x502+12582912 ~x501+6291456 ~x500+3145728 ~x499+1572864 ~x498+786432 ~x497+393216 ~x496+196608 ~x495+98304 ~x494+49152 ~x493+24576 ~x492+12288 ~x491+6144 ~x490+3072 ~x489+1536 ~x488+768 ~x487+384 ~x486+192 ~x485+96 ~x484+48 ~x483+24 ~x482+12 ~x481+6 ~x480+3 ~x479+1610612736 x369+805306368 x368+402653184 x367+201326592 x366+100663296 x365+50331648 x364+25165824 x363+12582912 x362+6291456 x361+3145728 x360+1572864 x359+786432 x358+393216 x357+196608 x356+98304 x355+49152 x354+24576 x353+12288 x352+6144 x351+3072 x350+1536 x349+768 x348+384 x347+192 x346+96 x345+48 x344+24 x343+12 x342+6 x341+3 x340+28672000 ~x63-0=7517421564
28.78/28.89	c 1048576 ~x1185559+524288 ~x1185558+262144 ~x1185557+131072 ~x1185556+65536 ~x1185555+32768 ~x1185554+16384 ~x1185553+8192 ~x1185552+4096 ~x1185551+2048 ~x1185550+1024 ~x1185549+512 ~x1185548+256 ~x1185547+128 ~x1185546+64 ~x1185545+32 ~x1185544+16 ~x1185543+8 ~x1185542+4 ~x1185541+2 ~x1185540+1 ~x1185539+524288 ~x180+262144 ~x179+131072 ~x178+65536 ~x177+32768 ~x176+16384 ~x175+8192 ~x174+4096 ~x173+2048 ~x172+1024 ~x171+512 ~x170+256 ~x169+128 ~x168+64 ~x167+32 ~x166+16 ~x165+8 ~x164+4 ~x163+2 ~x162+1 ~x161+524288 x121+262144 x120+131072 x119+65536 x118+32768 x117+16384 x116+8192 x115+4096 x114+2048 x113+1024 x112+512 x111+256 x110+128 x109+64 x108+32 x107+16 x106+8 x105+4 x104+2 x103+1 x102-0=3555326
29.08/29.18	c 2147483648 ~x1197982+1073741824 ~x1197981+536870912 ~x1197980+268435456 ~x1197979+134217728 ~x1197978+67108864 ~x1197977+33554432 ~x1197976+16777216 ~x1197975+8388608 ~x1197974+4194304 ~x1197973+2097152 ~x1197972+1048576 ~x1197971+524288 ~x1197970+262144 ~x1197969+131072 ~x1197968+65536 ~x1197967+32768 ~x1197966+16384 ~x1197965+8192 ~x1197964+4096 ~x1197963+2048 ~x1197962+1024 ~x1197961+512 ~x1197960+256 ~x1197959+128 ~x1197958+64 ~x1197957+32 ~x1197956+16 ~x1197955+8 ~x1197954+4 ~x1197953+2 ~x1197952+1 ~x1197951+1073741824 x571+536870912 x570+268435456 x569+134217728 x568+67108864 x567+33554432 x566+16777216 x565+8388608 x564+4194304 x563+2097152 x562+1048576 x561+524288 x560+262144 x559+131072 x558+65536 x557+32768 x556+16384 x555+8192 x554+4096 x553+2048 x552+1024 x551+512 x550+256 x549+128 x548+64 x547+32 x546+16 x545+8 x544+4 x543+2 x542+1073741824 ~x369+536870912 ~x368+268435456 ~x367+134217728 ~x366+67108864 ~x365+33554432 ~x364+16777216 ~x363+8388608 ~x362+4194304 ~x361+2097152 ~x360+1048576 ~x359+524288 ~x358+262144 ~x357+131072 ~x356+65536 ~x355+32768 ~x354+16384 ~x353+8192 ~x352+4096 ~x351+2048 ~x350+1024 ~x349+512 ~x348+256 ~x347+128 ~x346+64 ~x345+32 ~x344+16 ~x343+8 ~x342+4 ~x341+2 ~x340+524288 ~x180+262144 ~x179+131072 ~x178+65536 ~x177+32768 ~x176+16384 ~x175+8192 ~x174+4096 ~x173+2048 ~x172+1024 ~x171+512 ~x170+256 ~x169+128 ~x168+64 ~x167+32 ~x166+16 ~x165+8 ~x164+4 ~x163+2 ~x162+1 ~x161+524288 x121+262144 x120+131072 x119+65536 x118+32768 x117+16384 x116+8192 x115+4096 x114+2048 x113+1024 x112+512 x111+256 x110+128 x109+64 x108+32 x107+16 x106+8 x105+4 x104+2 x103+1 x102+86016000 ~x65-0=6444728316
30.37/30.41	c 1073741824 ~x1251910+536870912 ~x1251909+268435456 ~x1251908+134217728 ~x1251907+67108864 ~x1251906+33554432 ~x1251905+16777216 ~x1251904+8388608 ~x1251903+4194304 ~x1251902+2097152 ~x1251901+1048576 ~x1251900+524288 ~x1251899+262144 ~x1251898+131072 ~x1251897+65536 ~x1251896+32768 ~x1251895+16384 ~x1251894+8192 ~x1251893+4096 ~x1251892+2048 ~x1251891+1024 ~x1251890+512 ~x1251889+256 ~x1251888+128 ~x1251887+64 ~x1251886+32 ~x1251885+16 ~x1251884+8 ~x1251883+4 ~x1251882+2 ~x1251881+1 ~x1251880+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+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340+43008000 ~x66-0=3221737470
31.17/31.23	c 1073741824 ~x1288273+536870912 ~x1288272+268435456 ~x1288271+134217728 ~x1288270+67108864 ~x1288269+33554432 ~x1288268+16777216 ~x1288267+8388608 ~x1288266+4194304 ~x1288265+2097152 ~x1288264+1048576 ~x1288263+524288 ~x1288262+262144 ~x1288261+131072 ~x1288260+65536 ~x1288259+32768 ~x1288258+16384 ~x1288257+8192 ~x1288256+4096 ~x1288255+2048 ~x1288254+1024 ~x1288253+512 ~x1288252+256 ~x1288251+128 ~x1288250+64 ~x1288249+32 ~x1288248+16 ~x1288247+8 ~x1288246+4 ~x1288245+2 ~x1288244+1 ~x1288243+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+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340+524288 x180+262144 x179+131072 x178+65536 x177+32768 x176+16384 x175+8192 x174+4096 x173+2048 x172+1024 x171+512 x170+256 x169+128 x168+64 x167+32 x166+16 x165+8 x164+4 x163+2 x162+1 x161+524288 ~x121+262144 ~x120+131072 ~x119+65536 ~x118+32768 ~x117+16384 ~x116+8192 ~x115+4096 ~x114+2048 ~x113+1024 ~x112+512 ~x111+256 ~x110+128 ~x109+64 ~x108+32 ~x107+16 ~x106+8 ~x105+4 ~x104+2 ~x103+1 ~x102+43008000 ~x67-0=3222786045
32.37/32.43	c 1073741824 ~x1341796+536870912 ~x1341795+268435456 ~x1341794+134217728 ~x1341793+67108864 ~x1341792+33554432 ~x1341791+16777216 ~x1341790+8388608 ~x1341789+4194304 ~x1341788+2097152 ~x1341787+1048576 ~x1341786+524288 ~x1341785+262144 ~x1341784+131072 ~x1341783+65536 ~x1341782+32768 ~x1341781+16384 ~x1341780+8192 ~x1341779+4096 ~x1341778+2048 ~x1341777+1024 ~x1341776+512 ~x1341775+256 ~x1341774+128 ~x1341773+64 ~x1341772+32 ~x1341771+16 ~x1341770+8 ~x1341769+4 ~x1341768+2 ~x1341767+1 ~x1341766+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+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340+86016000 ~x67-0=3221532670
33.17/33.25	c 1073741824 ~x1378135+536870912 ~x1378134+268435456 ~x1378133+134217728 ~x1378132+67108864 ~x1378131+33554432 ~x1378130+16777216 ~x1378129+8388608 ~x1378128+4194304 ~x1378127+2097152 ~x1378126+1048576 ~x1378125+524288 ~x1378124+262144 ~x1378123+131072 ~x1378122+65536 ~x1378121+32768 ~x1378120+16384 ~x1378119+8192 ~x1378118+4096 ~x1378117+2048 ~x1378116+1024 ~x1378115+512 ~x1378114+256 ~x1378113+128 ~x1378112+64 ~x1378111+32 ~x1378110+16 ~x1378109+8 ~x1378108+4 ~x1378107+2 ~x1378106+1 ~x1378105+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+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340+524288 x180+262144 x179+131072 x178+65536 x177+32768 x176+16384 x175+8192 x174+4096 x173+2048 x172+1024 x171+512 x170+256 x169+128 x168+64 x167+32 x166+16 x165+8 x164+4 x163+2 x162+1 x161+524288 ~x121+262144 ~x120+131072 ~x119+65536 ~x118+32768 ~x117+16384 ~x116+8192 ~x115+4096 ~x114+2048 ~x113+1024 ~x112+512 ~x111+256 ~x110+128 ~x109+64 ~x108+32 ~x107+16 ~x106+8 ~x105+4 ~x104+2 ~x103+1 ~x102+43008000 ~x68-0=3222888445
34.37/34.45	c 1073741824 ~x1431658+536870912 ~x1431657+268435456 ~x1431656+134217728 ~x1431655+67108864 ~x1431654+33554432 ~x1431653+16777216 ~x1431652+8388608 ~x1431651+4194304 ~x1431650+2097152 ~x1431649+1048576 ~x1431648+524288 ~x1431647+262144 ~x1431646+131072 ~x1431645+65536 ~x1431644+32768 ~x1431643+16384 ~x1431642+8192 ~x1431641+4096 ~x1431640+2048 ~x1431639+1024 ~x1431638+512 ~x1431637+256 ~x1431636+128 ~x1431635+64 ~x1431634+32 ~x1431633+16 ~x1431632+8 ~x1431631+4 ~x1431630+2 ~x1431629+1 ~x1431628+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+536870912 x369+268435456 x368+134217728 x367+67108864 x366+33554432 x365+16777216 x364+8388608 x363+4194304 x362+2097152 x361+1048576 x360+524288 x359+262144 x358+131072 x357+65536 x356+32768 x355+16384 x354+8192 x353+4096 x352+2048 x351+1024 x350+512 x349+256 x348+128 x347+64 x346+32 x345+16 x344+8 x343+4 x342+2 x341+1 x340+1048576 x180+524288 x179+262144 x178+131072 x177+65536 x176+32768 x175+16384 x174+8192 x173+4096 x172+2048 x171+1024 x170+512 x169+256 x168+128 x167+64 x166+32 x165+16 x164+8 x163+4 x162+2 x161+1048576 ~x121+524288 ~x120+262144 ~x119+131072 ~x118+65536 ~x117+32768 ~x116+16384 ~x115+8192 ~x114+4096 ~x113+2048 ~x112+1024 ~x111+512 ~x110+256 ~x109+128 ~x108+64 ~x107+32 ~x106+16 ~x105+8 ~x104+4 ~x103+2 ~x102+86016000 ~x69-0=3224244220
35.58/35.66	c 1073741824 ~x1485181+536870912 ~x1485180+268435456 ~x1485179+134217728 ~x1485178+67108864 ~x1485177+33554432 ~x1485176+16777216 ~x1485175+8388608 ~x1485174+4194304 ~x1485173+2097152 ~x1485172+1048576 ~x1485171+524288 ~x1485170+262144 ~x1485169+131072 ~x1485168+65536 ~x1485167+32768 ~x1485166+16384 ~x1485165+8192 ~x1485164+4096 ~x1485163+2048 ~x1485162+1024 ~x1485161+512 ~x1485160+256 ~x1485159+128 ~x1485158+64 ~x1485157+32 ~x1485156+16 ~x1485155+8 ~x1485154+4 ~x1485153+2 ~x1485152+1 ~x1485151+28672000 ~x402+536870912 x369+268435456 x368+134217728 x367+67108864 x366+33554432 x365+16777216 x364+8388608 x363+4194304 x362+2097152 x361+1048576 x360+524288 x359+262144 x358+131072 x357+65536 x356+32768 x355+16384 x354+8192 x353+4096 x352+2048 x351+1024 x350+512 x349+256 x348+128 x347+64 x346+32 x345+16 x344+8 x343+4 x342+2 x341+1 x340+524288 ~x121+262144 ~x120+131072 ~x119+65536 ~x118+32768 ~x117+16384 ~x116+8192 ~x115+4096 ~x114+2048 ~x113+1024 ~x112+512 ~x111+256 ~x110+128 ~x109+64 ~x108+32 ~x107+16 ~x106+8 ~x105+4 ~x104+2 ~x103+1 ~x102+524288 x91+262144 x90+131072 x89+65536 x88+32768 x87+16384 x86+8192 x85+4096 x84+2048 x83+1024 x82+512 x81+256 x80+128 x79+64 x78+32 x77+16 x76+8 x75+4 x74+2 x73+1 x72+536870912 ~x31+268435456 ~x30+134217728 ~x29+67108864 ~x28+33554432 ~x27+16777216 ~x26+8388608 ~x25+4194304 ~x24+2097152 ~x23+1048576 ~x22+524288 ~x21+262144 ~x20+131072 ~x19+65536 ~x18+32768 ~x17+16384 ~x16+8192 ~x15+4096 ~x14+2048 ~x13+1024 ~x12+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=3223195645
36.77/36.87	c 1073741824 ~x1538881+536870912 ~x1538880+268435456 ~x1538879+134217728 ~x1538878+67108864 ~x1538877+33554432 ~x1538876+16777216 ~x1538875+8388608 ~x1538874+4194304 ~x1538873+2097152 ~x1538872+1048576 ~x1538871+524288 ~x1538870+262144 ~x1538869+131072 ~x1538868+65536 ~x1538867+32768 ~x1538866+16384 ~x1538865+8192 ~x1538864+4096 ~x1538863+2048 ~x1538862+1024 ~x1538861+512 ~x1538860+256 ~x1538859+128 ~x1538858+64 ~x1538857+32 ~x1538856+16 ~x1538855+8 ~x1538854+4 ~x1538853+2 ~x1538852+1 ~x1538851+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+536870912 x369+268435456 x368+134217728 x367+67108864 x366+33554432 x365+16777216 x364+8388608 x363+4194304 x362+2097152 x361+1048576 x360+524288 x359+262144 x358+131072 x357+65536 x356+32768 x355+16384 x354+8192 x353+4096 x352+2048 x351+1024 x350+512 x349+256 x348+128 x347+64 x346+32 x345+16 x344+8 x343+4 x342+2 x341+1 x340+524288 x180+262144 x179+131072 x178+65536 x177+32768 x176+16384 x175+8192 x174+4096 x173+2048 x172+1024 x171+512 x170+256 x169+128 x168+64 x167+32 x166+16 x165+8 x164+4 x163+2 x162+1 x161+524288 ~x121+262144 ~x120+131072 ~x119+65536 ~x118+32768 ~x117+16384 ~x116+8192 ~x115+4096 ~x114+2048 ~x113+1024 ~x112+512 ~x111+256 ~x110+128 ~x109+64 ~x108+32 ~x107+16 ~x106+8 ~x105+4 ~x104+2 ~x103+1 ~x102+28672000 ~x70-0=3222786045
38.07/38.10	c 1073741824 ~x1592521+536870912 ~x1592520+268435456 ~x1592519+134217728 ~x1592518+67108864 ~x1592517+33554432 ~x1592516+16777216 ~x1592515+8388608 ~x1592514+4194304 ~x1592513+2097152 ~x1592512+1048576 ~x1592511+524288 ~x1592510+262144 ~x1592509+131072 ~x1592508+65536 ~x1592507+32768 ~x1592506+16384 ~x1592505+8192 ~x1592504+4096 ~x1592503+2048 ~x1592502+1024 ~x1592501+512 ~x1592500+256 ~x1592499+128 ~x1592498+64 ~x1592497+32 ~x1592496+16 ~x1592495+8 ~x1592494+4 ~x1592493+2 ~x1592492+1 ~x1592491+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+536870912 x369+268435456 x368+134217728 x367+67108864 x366+33554432 x365+16777216 x364+8388608 x363+4194304 x362+2097152 x361+1048576 x360+524288 x359+262144 x358+131072 x357+65536 x356+32768 x355+16384 x354+8192 x353+4096 x352+2048 x351+1024 x350+512 x349+256 x348+128 x347+64 x346+32 x345+16 x344+8 x343+4 x342+2 x341+1 x340+17203200 ~x71-0=3221635070
38.87/38.92	c 4194304 ~x1629026+2097152 ~x1629025+1048576 ~x1629024+524288 ~x1629023+262144 ~x1629022+131072 ~x1629021+65536 ~x1629020+32768 ~x1629019+16384 ~x1629018+8192 ~x1629017+4096 ~x1629016+2048 ~x1629015+1024 ~x1629014+512 ~x1629013+256 ~x1629012+128 ~x1629011+64 ~x1629010+32 ~x1629009+16 ~x1629008+8 ~x1629007+4 ~x1629006+2 ~x1629005+1 ~x1629004+1572864 ~x210+786432 ~x209+393216 ~x208+196608 ~x207+98304 ~x206+49152 ~x205+24576 ~x204+12288 ~x203+6144 ~x202+3072 ~x201+1536 ~x200+768 ~x199+384 ~x198+192 ~x197+96 ~x196+48 ~x195+24 ~x194+12 ~x193+6 ~x192+3 ~x191+1572864 x121+786432 x120+393216 x119+196608 x118+98304 x117+49152 x116+24576 x115+12288 x114+6144 x113+3072 x112+1536 x111+768 x110+384 x109+192 x108+96 x107+48 x106+24 x105+12 x104+6 x103+3 x102-0=12763132
39.17/39.28	c 1073741824 ~x1644540+536870912 ~x1644539+268435456 ~x1644538+134217728 ~x1644537+67108864 ~x1644536+33554432 ~x1644535+16777216 ~x1644534+8388608 ~x1644533+4194304 ~x1644532+2097152 ~x1644531+1048576 ~x1644530+524288 ~x1644529+262144 ~x1644528+131072 ~x1644527+65536 ~x1644526+32768 ~x1644525+16384 ~x1644524+8192 ~x1644523+4096 ~x1644522+2048 ~x1644521+1024 ~x1644520+512 ~x1644519+256 ~x1644518+128 ~x1644517+64 ~x1644516+32 ~x1644515+16 ~x1644514+8 ~x1644513+4 ~x1644512+2 ~x1644511+1 ~x1644510+536870912 x611+268435456 x610+134217728 x609+67108864 x608+33554432 x607+16777216 x606+8388608 x605+4194304 x604+2097152 x603+1048576 x602+524288 x601+262144 x600+131072 x599+65536 x598+32768 x597+16384 x596+8192 x595+4096 x594+2048 x593+1024 x592+512 x591+256 x590+128 x589+64 x588+32 x587+16 x586+8 x585+4 x584+2 x583+1 x582+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340+524288 ~x210+262144 ~x209+131072 ~x208+65536 ~x207+32768 ~x206+16384 ~x205+8192 ~x204+4096 ~x203+2048 ~x202+1024 ~x201+512 ~x200+256 ~x199+128 ~x198+64 ~x197+32 ~x196+16 ~x195+8 ~x194+4 ~x193+2 ~x192+1 ~x191+524288 x121+262144 x120+131072 x119+65536 x118+32768 x117+16384 x116+8192 x115+4096 x114+2048 x113+1024 x112+512 x111+256 x110+128 x109+64 x108+32 x107+16 x106+8 x105+4 x104+2 x103+1 x102+43008000 ~x93-0=3222990845
40.37/40.49	c 1073741824 ~x1698063+536870912 ~x1698062+268435456 ~x1698061+134217728 ~x1698060+67108864 ~x1698059+33554432 ~x1698058+16777216 ~x1698057+8388608 ~x1698056+4194304 ~x1698055+2097152 ~x1698054+1048576 ~x1698053+524288 ~x1698052+262144 ~x1698051+131072 ~x1698050+65536 ~x1698049+32768 ~x1698048+16384 ~x1698047+8192 ~x1698046+4096 ~x1698045+2048 ~x1698044+1024 ~x1698043+512 ~x1698042+256 ~x1698041+128 ~x1698040+64 ~x1698039+32 ~x1698038+16 ~x1698037+8 ~x1698036+4 ~x1698035+2 ~x1698034+1 ~x1698033+536870912 x611+268435456 x610+134217728 x609+67108864 x608+33554432 x607+16777216 x606+8388608 x605+4194304 x604+2097152 x603+1048576 x602+524288 x601+262144 x600+131072 x599+65536 x598+32768 x597+16384 x596+8192 x595+4096 x594+2048 x593+1024 x592+512 x591+256 x590+128 x589+64 x588+32 x587+16 x586+8 x585+4 x584+2 x583+1 x582+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340+43008000 ~x94-0=3221737470
41.27/41.31	c 2147483648 ~x1734427+1073741824 ~x1734426+536870912 ~x1734425+268435456 ~x1734424+134217728 ~x1734423+67108864 ~x1734422+33554432 ~x1734421+16777216 ~x1734420+8388608 ~x1734419+4194304 ~x1734418+2097152 ~x1734417+1048576 ~x1734416+524288 ~x1734415+262144 ~x1734414+131072 ~x1734413+65536 ~x1734412+32768 ~x1734411+16384 ~x1734410+8192 ~x1734409+4096 ~x1734408+2048 ~x1734407+1024 ~x1734406+512 ~x1734405+256 ~x1734404+128 ~x1734403+64 ~x1734402+32 ~x1734401+16 ~x1734400+8 ~x1734399+4 ~x1734398+2 ~x1734397+1 ~x1734396+1073741824 x611+536870912 x610+268435456 x609+134217728 x608+67108864 x607+33554432 x606+16777216 x605+8388608 x604+4194304 x603+2097152 x602+1048576 x601+524288 x600+262144 x599+131072 x598+65536 x597+32768 x596+16384 x595+8192 x594+4096 x593+2048 x592+1024 x591+512 x590+256 x589+128 x588+64 x587+32 x586+16 x585+8 x584+4 x583+2 x582+1073741824 ~x369+536870912 ~x368+268435456 ~x367+134217728 ~x366+67108864 ~x365+33554432 ~x364+16777216 ~x363+8388608 ~x362+4194304 ~x361+2097152 ~x360+1048576 ~x359+524288 ~x358+262144 ~x357+131072 ~x356+65536 ~x355+32768 ~x354+16384 ~x353+8192 ~x352+4096 ~x351+2048 ~x350+1024 ~x349+512 ~x348+256 ~x347+128 ~x346+64 ~x345+32 ~x344+16 ~x343+8 ~x342+4 ~x341+2 ~x340+524288 x210+262144 x209+131072 x208+65536 x207+32768 x206+16384 x205+8192 x204+4096 x203+2048 x202+1024 x201+512 x200+256 x199+128 x198+64 x197+32 x196+16 x195+8 x194+4 x193+2 x192+1 x191+524288 ~x121+262144 ~x120+131072 ~x119+65536 ~x118+32768 ~x117+16384 ~x116+8192 ~x115+4096 ~x114+2048 ~x113+1024 ~x112+512 ~x111+256 ~x110+128 ~x109+64 ~x108+32 ~x107+16 ~x106+8 ~x105+4 ~x104+2 ~x103+1 ~x102+86016000 ~x95-0=6444523516
42.47/42.53	c 1048576 ~x1788345+524288 ~x1788344+262144 ~x1788343+131072 ~x1788342+65536 ~x1788341+32768 ~x1788340+16384 ~x1788339+8192 ~x1788338+4096 ~x1788337+2048 ~x1788336+1024 ~x1788335+512 ~x1788334+256 ~x1788333+128 ~x1788332+64 ~x1788331+32 ~x1788330+16 ~x1788329+8 ~x1788328+4 ~x1788327+2 ~x1788326+1 ~x1788325+524288 x210+262144 x209+131072 x208+65536 x207+32768 x206+16384 x205+8192 x204+4096 x203+2048 x202+1024 x201+512 x200+256 x199+128 x198+64 x197+32 x196+16 x195+8 x194+4 x193+2 x192+1 x191+524288 ~x121+262144 ~x120+131072 ~x119+65536 ~x118+32768 ~x117+16384 ~x116+8192 ~x115+4096 ~x114+2048 ~x113+1024 ~x112+512 ~x111+256 ~x110+128 ~x109+64 ~x108+32 ~x107+16 ~x106+8 ~x105+4 ~x104+2 ~x103+1 ~x102-0=3350526
42.78/42.81	c 1073741824 ~x1800767+536870912 ~x1800766+268435456 ~x1800765+134217728 ~x1800764+67108864 ~x1800763+33554432 ~x1800762+16777216 ~x1800761+8388608 ~x1800760+4194304 ~x1800759+2097152 ~x1800758+1048576 ~x1800757+524288 ~x1800756+262144 ~x1800755+131072 ~x1800754+65536 ~x1800753+32768 ~x1800752+16384 ~x1800751+8192 ~x1800750+4096 ~x1800749+2048 ~x1800748+1024 ~x1800747+512 ~x1800746+256 ~x1800745+128 ~x1800744+64 ~x1800743+32 ~x1800742+16 ~x1800741+8 ~x1800740+4 ~x1800739+2 ~x1800738+1 ~x1800737+536870912 x611+268435456 x610+134217728 x609+67108864 x608+33554432 x607+16777216 x606+8388608 x605+4194304 x604+2097152 x603+1048576 x602+524288 x601+262144 x600+131072 x599+65536 x598+32768 x597+16384 x596+8192 x595+4096 x594+2048 x593+1024 x592+512 x591+256 x590+128 x589+64 x588+32 x587+16 x586+8 x585+4 x584+2 x583+1 x582+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340+86016000 ~x96-0=3221532670
43.57/43.64	c 2147483648 ~x1837107+1073741824 ~x1837106+536870912 ~x1837105+268435456 ~x1837104+134217728 ~x1837103+67108864 ~x1837102+33554432 ~x1837101+16777216 ~x1837100+8388608 ~x1837099+4194304 ~x1837098+2097152 ~x1837097+1048576 ~x1837096+524288 ~x1837095+262144 ~x1837094+131072 ~x1837093+65536 ~x1837092+32768 ~x1837091+16384 ~x1837090+8192 ~x1837089+4096 ~x1837088+2048 ~x1837087+1024 ~x1837086+512 ~x1837085+256 ~x1837084+128 ~x1837083+64 ~x1837082+32 ~x1837081+16 ~x1837080+8 ~x1837079+4 ~x1837078+2 ~x1837077+1 ~x1837076+1073741824 x611+536870912 x610+268435456 x609+134217728 x608+67108864 x607+33554432 x606+16777216 x605+8388608 x604+4194304 x603+2097152 x602+1048576 x601+524288 x600+262144 x599+131072 x598+65536 x597+32768 x596+16384 x595+8192 x594+4096 x593+2048 x592+1024 x591+512 x590+256 x589+128 x588+64 x587+32 x586+16 x585+8 x584+4 x583+2 x582+1073741824 ~x369+536870912 ~x368+268435456 ~x367+134217728 ~x366+67108864 ~x365+33554432 ~x364+16777216 ~x363+8388608 ~x362+4194304 ~x361+2097152 ~x360+1048576 ~x359+524288 ~x358+262144 ~x357+131072 ~x356+65536 ~x355+32768 ~x354+16384 ~x353+8192 ~x352+4096 ~x351+2048 ~x350+1024 ~x349+512 ~x348+256 ~x347+128 ~x346+64 ~x345+32 ~x344+16 ~x343+8 ~x342+4 ~x341+2 ~x340+524288 x210+262144 x209+131072 x208+65536 x207+32768 x206+16384 x205+8192 x204+4096 x203+2048 x202+1024 x201+512 x200+256 x199+128 x198+64 x197+32 x196+16 x195+8 x194+4 x193+2 x192+1 x191+524288 ~x121+262144 ~x120+131072 ~x119+65536 ~x118+32768 ~x117+16384 ~x116+8192 ~x115+4096 ~x114+2048 ~x113+1024 ~x112+512 ~x111+256 ~x110+128 ~x109+64 ~x108+32 ~x107+16 ~x106+8 ~x105+4 ~x104+2 ~x103+1 ~x102+86016000 ~x97-0=6444421116
44.77/44.85	c 1073741824 ~x1891035+536870912 ~x1891034+268435456 ~x1891033+134217728 ~x1891032+67108864 ~x1891031+33554432 ~x1891030+16777216 ~x1891029+8388608 ~x1891028+4194304 ~x1891027+2097152 ~x1891026+1048576 ~x1891025+524288 ~x1891024+262144 ~x1891023+131072 ~x1891022+65536 ~x1891021+32768 ~x1891020+16384 ~x1891019+8192 ~x1891018+4096 ~x1891017+2048 ~x1891016+1024 ~x1891015+512 ~x1891014+256 ~x1891013+128 ~x1891012+64 ~x1891011+32 ~x1891010+16 ~x1891009+8 ~x1891008+4 ~x1891007+2 ~x1891006+1 ~x1891005+14336000 ~x413+536870912 x369+268435456 x368+134217728 x367+67108864 x366+33554432 x365+16777216 x364+8388608 x363+4194304 x362+2097152 x361+1048576 x360+524288 x359+262144 x358+131072 x357+65536 x356+32768 x355+16384 x354+8192 x353+4096 x352+2048 x351+1024 x350+512 x349+256 x348+128 x347+64 x346+32 x345+16 x344+8 x343+4 x342+2 x341+1 x340+536870912 ~x31+268435456 ~x30+134217728 ~x29+67108864 ~x28+33554432 ~x27+16777216 ~x26+8388608 ~x25+4194304 ~x24+2097152 ~x23+1048576 ~x22+524288 ~x21+262144 ~x20+131072 ~x19+65536 ~x18+32768 ~x17+16384 ~x16+8192 ~x15+4096 ~x14+2048 ~x13+1024 ~x12+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=3221942270
45.57/45.68	c 1073741824 ~x1927575+536870912 ~x1927574+268435456 ~x1927573+134217728 ~x1927572+67108864 ~x1927571+33554432 ~x1927570+16777216 ~x1927569+8388608 ~x1927568+4194304 ~x1927567+2097152 ~x1927566+1048576 ~x1927565+524288 ~x1927564+262144 ~x1927563+131072 ~x1927562+65536 ~x1927561+32768 ~x1927560+16384 ~x1927559+8192 ~x1927558+4096 ~x1927557+2048 ~x1927556+1024 ~x1927555+512 ~x1927554+256 ~x1927553+128 ~x1927552+64 ~x1927551+32 ~x1927550+16 ~x1927549+8 ~x1927548+4 ~x1927547+2 ~x1927546+1 ~x1927545+536870912 ~x611+268435456 ~x610+134217728 ~x609+67108864 ~x608+33554432 ~x607+16777216 ~x606+8388608 ~x605+4194304 ~x604+2097152 ~x603+1048576 ~x602+524288 ~x601+262144 ~x600+131072 ~x599+65536 ~x598+32768 ~x597+16384 ~x596+8192 ~x595+4096 ~x594+2048 ~x593+1024 ~x592+512 ~x591+256 ~x590+128 ~x589+64 ~x588+32 ~x587+16 ~x586+8 ~x585+4 ~x584+2 ~x583+1 ~x582+536870912 x369+268435456 x368+134217728 x367+67108864 x366+33554432 x365+16777216 x364+8388608 x363+4194304 x362+2097152 x361+1048576 x360+524288 x359+262144 x358+131072 x357+65536 x356+32768 x355+16384 x354+8192 x353+4096 x352+2048 x351+1024 x350+512 x349+256 x348+128 x347+64 x346+32 x345+16 x344+8 x343+4 x342+2 x341+1 x340+1048576 x210+524288 x209+262144 x208+131072 x207+65536 x206+32768 x205+16384 x204+8192 x203+4096 x202+2048 x201+1024 x200+512 x199+256 x198+128 x197+64 x196+32 x195+16 x194+8 x193+4 x192+2 x191+1048576 ~x121+524288 ~x120+262144 ~x119+131072 ~x118+65536 ~x117+32768 ~x116+16384 ~x115+8192 ~x114+4096 ~x113+2048 ~x112+1024 ~x111+512 ~x110+256 ~x109+128 ~x108+64 ~x107+32 ~x106+16 ~x105+8 ~x104+4 ~x103+2 ~x102+43008000 ~x98-0=3224141820
46.86/46.91	c 1073741824 ~x1981173+536870912 ~x1981172+268435456 ~x1981171+134217728 ~x1981170+67108864 ~x1981169+33554432 ~x1981168+16777216 ~x1981167+8388608 ~x1981166+4194304 ~x1981165+2097152 ~x1981164+1048576 ~x1981163+524288 ~x1981162+262144 ~x1981161+131072 ~x1981160+65536 ~x1981159+32768 ~x1981158+16384 ~x1981157+8192 ~x1981156+4096 ~x1981155+2048 ~x1981154+1024 ~x1981153+512 ~x1981152+256 ~x1981151+128 ~x1981150+64 ~x1981149+32 ~x1981148+16 ~x1981147+8 ~x1981146+4 ~x1981145+2 ~x1981144+1 ~x1981143+536870912 ~x611+268435456 ~x610+134217728 ~x609+67108864 ~x608+33554432 ~x607+16777216 ~x606+8388608 ~x605+4194304 ~x604+2097152 ~x603+1048576 ~x602+524288 ~x601+262144 ~x600+131072 ~x599+65536 ~x598+32768 ~x597+16384 ~x596+8192 ~x595+4096 ~x594+2048 ~x593+1024 ~x592+512 ~x591+256 ~x590+128 ~x589+64 ~x588+32 ~x587+16 ~x586+8 ~x585+4 ~x584+2 ~x583+1 ~x582+536870912 x369+268435456 x368+134217728 x367+67108864 x366+33554432 x365+16777216 x364+8388608 x363+4194304 x362+2097152 x361+1048576 x360+524288 x359+262144 x358+131072 x357+65536 x356+32768 x355+16384 x354+8192 x353+4096 x352+2048 x351+1024 x350+512 x349+256 x348+128 x347+64 x346+32 x345+16 x344+8 x343+4 x342+2 x341+1 x340+524288 x210+262144 x209+131072 x208+65536 x207+32768 x206+16384 x205+8192 x204+4096 x203+2048 x202+1024 x201+512 x200+256 x199+128 x198+64 x197+32 x196+16 x195+8 x194+4 x193+2 x192+1 x191+524288 ~x121+262144 ~x120+131072 ~x119+65536 ~x118+32768 ~x117+16384 ~x116+8192 ~x115+4096 ~x114+2048 ~x113+1024 ~x112+512 ~x111+256 ~x110+128 ~x109+64 ~x108+32 ~x107+16 ~x106+8 ~x105+4 ~x104+2 ~x103+1 ~x102+28672000 ~x99-0=3222786045
48.07/48.12	c 2147483648 ~x2034814+1073741824 ~x2034813+536870912 ~x2034812+268435456 ~x2034811+134217728 ~x2034810+67108864 ~x2034809+33554432 ~x2034808+16777216 ~x2034807+8388608 ~x2034806+4194304 ~x2034805+2097152 ~x2034804+1048576 ~x2034803+524288 ~x2034802+262144 ~x2034801+131072 ~x2034800+65536 ~x2034799+32768 ~x2034798+16384 ~x2034797+8192 ~x2034796+4096 ~x2034795+2048 ~x2034794+1024 ~x2034793+512 ~x2034792+256 ~x2034791+128 ~x2034790+64 ~x2034789+32 ~x2034788+16 ~x2034787+8 ~x2034786+4 ~x2034785+2 ~x2034784+1 ~x2034783+1073741824 ~x611+536870912 ~x610+268435456 ~x609+134217728 ~x608+67108864 ~x607+33554432 ~x606+16777216 ~x605+8388608 ~x604+4194304 ~x603+2097152 ~x602+1048576 ~x601+524288 ~x600+262144 ~x599+131072 ~x598+65536 ~x597+32768 ~x596+16384 ~x595+8192 ~x594+4096 ~x593+2048 ~x592+1024 ~x591+512 ~x590+256 ~x589+128 ~x588+64 ~x587+32 ~x586+16 ~x585+8 ~x584+4 ~x583+2 ~x582+1073741824 x369+536870912 x368+268435456 x367+134217728 x366+67108864 x365+33554432 x364+16777216 x363+8388608 x362+4194304 x361+2097152 x360+1048576 x359+524288 x358+262144 x357+131072 x356+65536 x355+32768 x354+16384 x353+8192 x352+4096 x351+2048 x350+1024 x349+512 x348+256 x347+128 x346+64 x345+32 x344+16 x343+8 x342+4 x341+2 x340+524288 x210+262144 x209+131072 x208+65536 x207+32768 x206+16384 x205+8192 x204+4096 x203+2048 x202+1024 x201+512 x200+256 x199+128 x198+64 x197+32 x196+16 x195+8 x194+4 x193+2 x192+1 x191+524288 ~x121+262144 ~x120+131072 ~x119+65536 ~x118+32768 ~x117+16384 ~x116+8192 ~x115+4096 ~x114+2048 ~x113+1024 ~x112+512 ~x111+256 ~x110+128 ~x109+64 ~x108+32 ~x107+16 ~x106+8 ~x105+4 ~x104+2 ~x103+1 ~x102+86016000 ~x100-0=6444523516
49.27/49.33	c 1073741824 ~x2088742+536870912 ~x2088741+268435456 ~x2088740+134217728 ~x2088739+67108864 ~x2088738+33554432 ~x2088737+16777216 ~x2088736+8388608 ~x2088735+4194304 ~x2088734+2097152 ~x2088733+1048576 ~x2088732+524288 ~x2088731+262144 ~x2088730+131072 ~x2088729+65536 ~x2088728+32768 ~x2088727+16384 ~x2088726+8192 ~x2088725+4096 ~x2088724+2048 ~x2088723+1024 ~x2088722+512 ~x2088721+256 ~x2088720+128 ~x2088719+64 ~x2088718+32 ~x2088717+16 ~x2088716+8 ~x2088715+4 ~x2088714+2 ~x2088713+1 ~x2088712+536870912 ~x611+268435456 ~x610+134217728 ~x609+67108864 ~x608+33554432 ~x607+16777216 ~x606+8388608 ~x605+4194304 ~x604+2097152 ~x603+1048576 ~x602+524288 ~x601+262144 ~x600+131072 ~x599+65536 ~x598+32768 ~x597+16384 ~x596+8192 ~x595+4096 ~x594+2048 ~x593+1024 ~x592+512 ~x591+256 ~x590+128 ~x589+64 ~x588+32 ~x587+16 ~x586+8 ~x585+4 ~x584+2 ~x583+1 ~x582+536870912 x369+268435456 x368+134217728 x367+67108864 x366+33554432 x365+16777216 x364+8388608 x363+4194304 x362+2097152 x361+1048576 x360+524288 x359+262144 x358+131072 x357+65536 x356+32768 x355+16384 x354+8192 x353+4096 x352+2048 x351+1024 x350+512 x349+256 x348+128 x347+64 x346+32 x345+16 x344+8 x343+4 x342+2 x341+1 x340+43008000 ~x101-0=3221839870
50.07/50.15	c 1048576 ~x2125248+524288 ~x2125247+262144 ~x2125246+131072 ~x2125245+65536 ~x2125244+32768 ~x2125243+16384 ~x2125242+8192 ~x2125241+4096 ~x2125240+2048 ~x2125239+1024 ~x2125238+512 ~x2125237+256 ~x2125236+128 ~x2125235+64 ~x2125234+32 ~x2125233+16 ~x2125232+8 ~x2125231+4 ~x2125230+2 ~x2125229+1 ~x2125228+524288 ~x240+262144 ~x239+131072 ~x238+65536 ~x237+32768 ~x236+16384 ~x235+8192 ~x234+4096 ~x233+2048 ~x232+1024 ~x231+512 ~x230+256 ~x229+128 ~x228+64 ~x227+32 ~x226+16 ~x225+8 ~x224+4 ~x223+2 ~x222+1 ~x221+524288 x121+262144 x120+131072 x119+65536 x118+32768 x117+16384 x116+8192 x115+4096 x114+2048 x113+1024 x112+512 x111+256 x110+128 x109+64 x108+32 x107+16 x106+8 x105+4 x104+2 x103+1 x102-0=3760126
50.37/50.44	c 1073741824 ~x2137670+536870912 ~x2137669+268435456 ~x2137668+134217728 ~x2137667+67108864 ~x2137666+33554432 ~x2137665+16777216 ~x2137664+8388608 ~x2137663+4194304 ~x2137662+2097152 ~x2137661+1048576 ~x2137660+524288 ~x2137659+262144 ~x2137658+131072 ~x2137657+65536 ~x2137656+32768 ~x2137655+16384 ~x2137654+8192 ~x2137653+4096 ~x2137652+2048 ~x2137651+1024 ~x2137650+512 ~x2137649+256 ~x2137648+128 ~x2137647+64 ~x2137646+32 ~x2137645+16 ~x2137644+8 ~x2137643+4 ~x2137642+2 ~x2137641+1 ~x2137640+536870912 x651+268435456 x650+134217728 x649+67108864 x648+33554432 x647+16777216 x646+8388608 x645+4194304 x644+2097152 x643+1048576 x642+524288 x641+262144 x640+131072 x639+65536 x638+32768 x637+16384 x636+8192 x635+4096 x634+2048 x633+1024 x632+512 x631+256 x630+128 x629+64 x628+32 x627+16 x626+8 x625+4 x624+2 x623+1 x622+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340+14336000 ~x123-0=3221737470
51.17/51.26	c 1073741824 ~x2174099+536870912 ~x2174098+268435456 ~x2174097+134217728 ~x2174096+67108864 ~x2174095+33554432 ~x2174094+16777216 ~x2174093+8388608 ~x2174092+4194304 ~x2174091+2097152 ~x2174090+1048576 ~x2174089+524288 ~x2174088+262144 ~x2174087+131072 ~x2174086+65536 ~x2174085+32768 ~x2174084+16384 ~x2174083+8192 ~x2174082+4096 ~x2174081+2048 ~x2174080+1024 ~x2174079+512 ~x2174078+256 ~x2174077+128 ~x2174076+64 ~x2174075+32 ~x2174074+16 ~x2174073+8 ~x2174072+4 ~x2174071+2 ~x2174070+1 ~x2174069+536870912 x651+268435456 x650+134217728 x649+67108864 x648+33554432 x647+16777216 x646+8388608 x645+4194304 x644+2097152 x643+1048576 x642+524288 x641+262144 x640+131072 x639+65536 x638+32768 x637+16384 x636+8192 x635+4096 x634+2048 x633+1024 x632+512 x631+256 x630+128 x629+64 x628+32 x627+16 x626+8 x625+4 x624+2 x623+1 x622+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340+524288 x240+262144 x239+131072 x238+65536 x237+32768 x236+16384 x235+8192 x234+4096 x233+2048 x232+1024 x231+512 x230+256 x229+128 x228+64 x227+32 x226+16 x225+8 x224+4 x223+2 x222+1 x221+43008000 ~x124+524288 ~x121+262144 ~x120+131072 ~x119+65536 ~x118+32768 ~x117+16384 ~x116+8192 ~x115+4096 ~x114+2048 ~x113+1024 ~x112+512 ~x111+256 ~x110+128 ~x109+64 ~x108+32 ~x107+16 ~x106+8 ~x105+4 ~x104+2 ~x103+1 ~x102-0=3222786045
52.36/52.47	c 1073741824 ~x2227799+536870912 ~x2227798+268435456 ~x2227797+134217728 ~x2227796+67108864 ~x2227795+33554432 ~x2227794+16777216 ~x2227793+8388608 ~x2227792+4194304 ~x2227791+2097152 ~x2227790+1048576 ~x2227789+524288 ~x2227788+262144 ~x2227787+131072 ~x2227786+65536 ~x2227785+32768 ~x2227784+16384 ~x2227783+8192 ~x2227782+4096 ~x2227781+2048 ~x2227780+1024 ~x2227779+512 ~x2227778+256 ~x2227777+128 ~x2227776+64 ~x2227775+32 ~x2227774+16 ~x2227773+8 ~x2227772+4 ~x2227771+2 ~x2227770+1 ~x2227769+536870912 x651+268435456 x650+134217728 x649+67108864 x648+33554432 x647+16777216 x646+8388608 x645+4194304 x644+2097152 x643+1048576 x642+524288 x641+262144 x640+131072 x639+65536 x638+32768 x637+16384 x636+8192 x635+4096 x634+2048 x633+1024 x632+512 x631+256 x630+128 x629+64 x628+32 x627+16 x626+8 x625+4 x624+2 x623+1 x622+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340+86016000 ~x124-0=3221532670
53.17/53.29	c 1073741824 ~x2264138+536870912 ~x2264137+268435456 ~x2264136+134217728 ~x2264135+67108864 ~x2264134+33554432 ~x2264133+16777216 ~x2264132+8388608 ~x2264131+4194304 ~x2264130+2097152 ~x2264129+1048576 ~x2264128+524288 ~x2264127+262144 ~x2264126+131072 ~x2264125+65536 ~x2264124+32768 ~x2264123+16384 ~x2264122+8192 ~x2264121+4096 ~x2264120+2048 ~x2264119+1024 ~x2264118+512 ~x2264117+256 ~x2264116+128 ~x2264115+64 ~x2264114+32 ~x2264113+16 ~x2264112+8 ~x2264111+4 ~x2264110+2 ~x2264109+1 ~x2264108+536870912 x651+268435456 x650+134217728 x649+67108864 x648+33554432 x647+16777216 x646+8388608 x645+4194304 x644+2097152 x643+1048576 x642+524288 x641+262144 x640+131072 x639+65536 x638+32768 x637+16384 x636+8192 x635+4096 x634+2048 x633+1024 x632+512 x631+256 x630+128 x629+64 x628+32 x627+16 x626+8 x625+4 x624+2 x623+1 x622+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340+524288 x240+262144 x239+131072 x238+65536 x237+32768 x236+16384 x235+8192 x234+4096 x233+2048 x232+1024 x231+512 x230+256 x229+128 x228+64 x227+32 x226+16 x225+8 x224+4 x223+2 x222+1 x221+43008000 ~x125+524288 ~x121+262144 ~x120+131072 ~x119+65536 ~x118+32768 ~x117+16384 ~x116+8192 ~x115+4096 ~x114+2048 ~x113+1024 ~x112+512 ~x111+256 ~x110+128 ~x109+64 ~x108+32 ~x107+16 ~x106+8 ~x105+4 ~x104+2 ~x103+1 ~x102-0=3222888445
54.37/54.49	c 1048576 ~x2317828+524288 ~x2317827+262144 ~x2317826+131072 ~x2317825+65536 ~x2317824+32768 ~x2317823+16384 ~x2317822+8192 ~x2317821+4096 ~x2317820+2048 ~x2317819+1024 ~x2317818+512 ~x2317817+256 ~x2317816+128 ~x2317815+64 ~x2317814+32 ~x2317813+16 ~x2317812+8 ~x2317811+4 ~x2317810+2 ~x2317809+1 ~x2317808+524288 x121+262144 x120+131072 x119+65536 x118+32768 x117+16384 x116+8192 x115+4096 x114+2048 x113+1024 x112+512 x111+256 x110+128 x109+64 x108+32 x107+16 x106+8 x105+4 x104+2 x103+1 x102+524288 ~x91+262144 ~x90+131072 ~x89+65536 ~x88+32768 ~x87+16384 ~x86+8192 ~x85+4096 ~x84+2048 ~x83+1024 ~x82+512 ~x81+256 ~x80+128 ~x79+64 ~x78+32 ~x77+16 ~x76+8 ~x75+4 ~x74+2 ~x73+1 ~x72-0=3555326
54.67/54.78	c 1073741824 ~x2330250+536870912 ~x2330249+268435456 ~x2330248+134217728 ~x2330247+67108864 ~x2330246+33554432 ~x2330245+16777216 ~x2330244+8388608 ~x2330243+4194304 ~x2330242+2097152 ~x2330241+1048576 ~x2330240+524288 ~x2330239+262144 ~x2330238+131072 ~x2330237+65536 ~x2330236+32768 ~x2330235+16384 ~x2330234+8192 ~x2330233+4096 ~x2330232+2048 ~x2330231+1024 ~x2330230+512 ~x2330229+256 ~x2330228+128 ~x2330227+64 ~x2330226+32 ~x2330225+16 ~x2330224+8 ~x2330223+4 ~x2330222+2 ~x2330221+1 ~x2330220+536870912 ~x651+268435456 ~x650+134217728 ~x649+67108864 ~x648+33554432 ~x647+16777216 ~x646+8388608 ~x645+4194304 ~x644+2097152 ~x643+1048576 ~x642+524288 ~x641+262144 ~x640+131072 ~x639+65536 ~x638+32768 ~x637+16384 ~x636+8192 ~x635+4096 ~x634+2048 ~x633+1024 ~x632+512 ~x631+256 ~x630+128 ~x629+64 ~x628+32 ~x627+16 ~x626+8 ~x625+4 ~x624+2 ~x623+1 ~x622+536870912 x369+268435456 x368+134217728 x367+67108864 x366+33554432 x365+16777216 x364+8388608 x363+4194304 x362+2097152 x361+1048576 x360+524288 x359+262144 x358+131072 x357+65536 x356+32768 x355+16384 x354+8192 x353+4096 x352+2048 x351+1024 x350+512 x349+256 x348+128 x347+64 x346+32 x345+16 x344+8 x343+4 x342+2 x341+1 x340+524288 x240+262144 x239+131072 x238+65536 x237+32768 x236+16384 x235+8192 x234+4096 x233+2048 x232+1024 x231+512 x230+256 x229+128 x228+64 x227+32 x226+16 x225+8 x224+4 x223+2 x222+1 x221+17203200 ~x126+524288 ~x121+262144 ~x120+131072 ~x119+65536 ~x118+32768 ~x117+16384 ~x116+8192 ~x115+4096 ~x114+2048 ~x113+1024 ~x112+512 ~x111+256 ~x110+128 ~x109+64 ~x108+32 ~x107+16 ~x106+8 ~x105+4 ~x104+2 ~x103+1 ~x102-0=3222683645
55.87/55.99	c 1073741824 ~x2383950+536870912 ~x2383949+268435456 ~x2383948+134217728 ~x2383947+67108864 ~x2383946+33554432 ~x2383945+16777216 ~x2383944+8388608 ~x2383943+4194304 ~x2383942+2097152 ~x2383941+1048576 ~x2383940+524288 ~x2383939+262144 ~x2383938+131072 ~x2383937+65536 ~x2383936+32768 ~x2383935+16384 ~x2383934+8192 ~x2383933+4096 ~x2383932+2048 ~x2383931+1024 ~x2383930+512 ~x2383929+256 ~x2383928+128 ~x2383927+64 ~x2383926+32 ~x2383925+16 ~x2383924+8 ~x2383923+4 ~x2383922+2 ~x2383921+1 ~x2383920+536870912 ~x651+268435456 ~x650+134217728 ~x649+67108864 ~x648+33554432 ~x647+16777216 ~x646+8388608 ~x645+4194304 ~x644+2097152 ~x643+1048576 ~x642+524288 ~x641+262144 ~x640+131072 ~x639+65536 ~x638+32768 ~x637+16384 ~x636+8192 ~x635+4096 ~x634+2048 ~x633+1024 ~x632+512 ~x631+256 ~x630+128 ~x629+64 ~x628+32 ~x627+16 ~x626+8 ~x625+4 ~x624+2 ~x623+1 ~x622+536870912 x369+268435456 x368+134217728 x367+67108864 x366+33554432 x365+16777216 x364+8388608 x363+4194304 x362+2097152 x361+1048576 x360+524288 x359+262144 x358+131072 x357+65536 x356+32768 x355+16384 x354+8192 x353+4096 x352+2048 x351+1024 x350+512 x349+256 x348+128 x347+64 x346+32 x345+16 x344+8 x343+4 x342+2 x341+1 x340+43008000 ~x127-0=3221635070
56.77/56.83	c 36893488147419103232 ~x2420348+18446744073709551616 ~x2420347+9223372036854775808 ~x2420346+4611686018427387904 ~x2420345+2305843009213693952 ~x2420344+1152921504606846976 ~x2420343+576460752303423488 ~x2420342+288230376151711744 ~x2420341+144115188075855872 ~x2420340+72057594037927936 ~x2420339+36028797018963968 ~x2420338+18014398509481984 ~x2420337+9007199254740992 ~x2420336+4503599627370496 ~x2420335+2251799813685248 ~x2420334+1125899906842624 ~x2420333+562949953421312 ~x2420332+281474976710656 ~x2420331+140737488355328 ~x2420330+70368744177664 ~x2420329+35184372088832 ~x2420328+17592186044416 ~x2420327+8796093022208 ~x2420326+4398046511104 ~x2420325+2199023255552 ~x2420324+1099511627776 ~x2420323+549755813888 ~x2420322+274877906944 ~x2420321+137438953472 ~x2420320+68719476736 ~x2420319+34359738368 ~x2420318+17179869184 ~x2420317+8589934592 ~x2420316+4294967296 ~x2420315+2147483648 ~x2420314+1073741824 ~x2420313+536870912 ~x2420312+268435456 ~x2420311+134217728 ~x2420310+67108864 ~x2420309+33554432 ~x2420308+16777216 ~x2420307+8388608 ~x2420306+4194304 ~x2420305+2097152 ~x2420304+1048576 ~x2420303+524288 ~x2420302+262144 ~x2420301+131072 ~x2420300+65536 ~x2420299+32768 ~x2420298+16384 ~x2420297+8192 ~x2420296+4096 ~x2420295+2048 ~x2420294+1024 ~x2420293+512 ~x2420292+256 ~x2420291+128 ~x2420290+64 ~x2420289+32 ~x2420288+16 ~x2420287+8 ~x2420286+4 ~x2420285+2 ~x2420284+1 ~x2420283+35791028225384120320 ~x651+17895514112692060160 ~x650+8947757056346030080 ~x649+4473878528173015040 ~x648+2236939264086507520 ~x647+1118469632043253760 ~x646+559234816021626880 ~x645+279617408010813440 ~x644+139808704005406720 ~x643+69904352002703360 ~x642+34952176001351680 ~x641+17476088000675840 ~x640+8738044000337920 ~x639+4369022000168960 ~x638+2184511000084480 ~x637+1092255500042240 ~x636+546127750021120 ~x635+273063875010560 ~x634+136531937505280 ~x633+68265968752640 ~x632+34132984376320 ~x631+17066492188160 ~x630+8533246094080 ~x629+4266623047040 ~x628+2133311523520 ~x627+1066655761760 ~x626+533327880880 ~x625+266663940440 ~x624+133331970220 ~x623+66665985110 ~x622+35791028223773507584 x369+17895514111886753792 x368+8947757055943376896 x367+4473878527971688448 x366+2236939263985844224 x365+1118469631992922112 x364+559234815996461056 x363+279617407998230528 x362+139808703999115264 x361+69904351999557632 x360+34952175999778816 x359+17476087999889408 x358+8738043999944704 x357+4369021999972352 x356+2184510999986176 x355+1092255499993088 x354+546127749996544 x353+273063874998272 x352+136531937499136 x351+68265968749568 x350+34132984374784 x349+17066492187392 x348+8533246093696 x347+4266623046848 x346+2133311523424 x345+1066655761712 x344+533327880856 x343+266663940428 x342+133331970214 x341+66665985107 x340+17476615998013440 ~x240+8738307999006720 ~x239+4369153999503360 ~x238+2184576999751680 ~x237+1092288499875840 ~x236+546144249937920 ~x235+273072124968960 ~x234+136536062484480 ~x233+68268031242240 ~x232+34134015621120 ~x231+17067007810560 ~x230+8533503905280 ~x229+4266751952640 ~x228+2133375976320 ~x227+1066687988160 ~x226+533343994080 ~x225+266671997040 ~x224+133335998520 ~x223+66667999260 ~x222+33333999630 ~x221+8601600000000000000 ~x128+17476616000110592 x121+8738308000055296 x120+4369154000027648 x119+2184577000013824 x118+1092288500006912 x117+546144250003456 x116+273072125001728 x115+136536062500864 x114+68268031250432 x113+34134015625216 x112+17067007812608 x111+8533503906304 x110+4266751953152 x109+2133375976576 x108+1066687988288 x107+533343994144 x106+266671997072 x105+133335998536 x104+66667999268 x103+33333999634 x102-0=145438119067257017243
60.77/60.80	c 9223372036854775808 ~x2598562+4611686018427387904 ~x2598561+2305843009213693952 ~x2598560+1152921504606846976 ~x2598559+576460752303423488 ~x2598558+288230376151711744 ~x2598557+144115188075855872 ~x2598556+72057594037927936 ~x2598555+36028797018963968 ~x2598554+18014398509481984 ~x2598553+9007199254740992 ~x2598552+4503599627370496 ~x2598551+2251799813685248 ~x2598550+1125899906842624 ~x2598549+562949953421312 ~x2598548+281474976710656 ~x2598547+140737488355328 ~x2598546+70368744177664 ~x2598545+35184372088832 ~x2598544+17592186044416 ~x2598543+8796093022208 ~x2598542+4398046511104 ~x2598541+2199023255552 ~x2598540+1099511627776 ~x2598539+549755813888 ~x2598538+274877906944 ~x2598537+137438953472 ~x2598536+68719476736 ~x2598535+34359738368 ~x2598534+17179869184 ~x2598533+8589934592 ~x2598532+4294967296 ~x2598531+2147483648 ~x2598530+1073741824 ~x2598529+536870912 ~x2598528+268435456 ~x2598527+134217728 ~x2598526+67108864 ~x2598525+33554432 ~x2598524+16777216 ~x2598523+8388608 ~x2598522+4194304 ~x2598521+2097152 ~x2598520+1048576 ~x2598519+524288 ~x2598518+262144 ~x2598517+131072 ~x2598516+65536 ~x2598515+32768 ~x2598514+16384 ~x2598513+8192 ~x2598512+4096 ~x2598511+2048 ~x2598510+1024 ~x2598509+512 ~x2598508+256 ~x2598507+128 ~x2598506+64 ~x2598505+32 ~x2598504+16 ~x2598503+8 ~x2598502+4 ~x2598501+2 ~x2598500+1 ~x2598499+7158315417998458880 ~x651+3579157708999229440 ~x650+1789578854499614720 ~x649+894789427249807360 ~x648+447394713624903680 ~x647+223697356812451840 ~x646+111848678406225920 ~x645+55924339203112960 ~x644+27962169601556480 ~x643+13981084800778240 ~x642+6990542400389120 ~x641+3495271200194560 ~x640+1747635600097280 ~x639+873817800048640 ~x638+436908900024320 ~x637+218454450012160 ~x636+109227225006080 ~x635+54613612503040 ~x634+27306806251520 ~x633+13653403125760 ~x632+6826701562880 ~x631+3413350781440 ~x630+1706675390720 ~x629+853337695360 ~x628+426668847680 ~x627+213334423840 ~x626+106667211920 ~x625+53333605960 ~x624+26666802980 ~x623+13333401490 ~x622+7158315417461587968 x369+3579157708730793984 x368+1789578854365396992 x367+894789427182698496 x366+447394713591349248 x365+223697356795674624 x364+111848678397837312 x363+55924339198918656 x362+27962169599459328 x361+13981084799729664 x360+6990542399864832 x359+3495271199932416 x358+1747635599966208 x357+873817799983104 x356+436908899991552 x355+218454449995776 x354+109227224997888 x353+54613612498944 x352+27306806249472 x351+13653403124736 x350+6826701562368 x349+3413350781184 x348+1706675390592 x347+853337695296 x346+426668847648 x345+213334423824 x344+106667211912 x343+53333605956 x342+26666802978 x341+13333401489 x340+6990541599801344 x240+3495270799900672 x239+1747635399950336 x238+873817699975168 x237+436908849987584 x236+218454424993792 x235+109227212496896 x234+54613606248448 x233+27306803124224 x232+13653401562112 x231+6826700781056 x230+3413350390528 x229+1706675195264 x228+853337597632 x227+426668798816 x226+213334399408 x225+106667199704 x224+53333599852 x223+26666799926 x222+13333399963 x221+860160000000000000 ~x128+6990541598228480 ~x121+3495270799114240 ~x120+1747635399557120 ~x119+873817699778560 ~x118+436908849889280 ~x117+218454424944640 ~x116+109227212472320 ~x115+54613606236160 ~x114+27306803118080 ~x113+13653401559040 ~x112+6826700779520 ~x111+3413350389760 ~x110+1706675194880 ~x109+853337597440 ~x108+426668798720 ~x107+213334399360 ~x106+106667199680 ~x105+53333599840 ~x104+26666799920 ~x103+13333399960 ~x102-0=32778721307213276885
64.56/64.69	c 1073741824 ~x2772829+536870912 ~x2772828+268435456 ~x2772827+134217728 ~x2772826+67108864 ~x2772825+33554432 ~x2772824+16777216 ~x2772823+8388608 ~x2772822+4194304 ~x2772821+2097152 ~x2772820+1048576 ~x2772819+524288 ~x2772818+262144 ~x2772817+131072 ~x2772816+65536 ~x2772815+32768 ~x2772814+16384 ~x2772813+8192 ~x2772812+4096 ~x2772811+2048 ~x2772810+1024 ~x2772809+512 ~x2772808+256 ~x2772807+128 ~x2772806+64 ~x2772805+32 ~x2772804+16 ~x2772803+8 ~x2772802+4 ~x2772801+2 ~x2772800+1 ~x2772799+536870912 ~x651+268435456 ~x650+134217728 ~x649+67108864 ~x648+33554432 ~x647+16777216 ~x646+8388608 ~x645+4194304 ~x644+2097152 ~x643+1048576 ~x642+524288 ~x641+262144 ~x640+131072 ~x639+65536 ~x638+32768 ~x637+16384 ~x636+8192 ~x635+4096 ~x634+2048 ~x633+1024 ~x632+512 ~x631+256 ~x630+128 ~x629+64 ~x628+32 ~x627+16 ~x626+8 ~x625+4 ~x624+2 ~x623+1 ~x622+536870912 x369+268435456 x368+134217728 x367+67108864 x366+33554432 x365+16777216 x364+8388608 x363+4194304 x362+2097152 x361+1048576 x360+524288 x359+262144 x358+131072 x357+65536 x356+32768 x355+16384 x354+8192 x353+4096 x352+2048 x351+1024 x350+512 x349+256 x348+128 x347+64 x346+32 x345+16 x344+8 x343+4 x342+2 x341+1 x340+43008000 ~x129-0=3221737470
65.47/65.52	c 1073741824 ~x2809297+536870912 ~x2809296+268435456 ~x2809295+134217728 ~x2809294+67108864 ~x2809293+33554432 ~x2809292+16777216 ~x2809291+8388608 ~x2809290+4194304 ~x2809289+2097152 ~x2809288+1048576 ~x2809287+524288 ~x2809286+262144 ~x2809285+131072 ~x2809284+65536 ~x2809283+32768 ~x2809282+16384 ~x2809281+8192 ~x2809280+4096 ~x2809279+2048 ~x2809278+1024 ~x2809277+512 ~x2809276+256 ~x2809275+128 ~x2809274+64 ~x2809273+32 ~x2809272+16 ~x2809271+8 ~x2809270+4 ~x2809269+2 ~x2809268+1 ~x2809267+536870912 ~x691+268435456 ~x690+134217728 ~x689+67108864 ~x688+33554432 ~x687+16777216 ~x686+8388608 ~x685+4194304 ~x684+2097152 ~x683+1048576 ~x682+524288 ~x681+262144 ~x680+131072 ~x679+65536 ~x678+32768 ~x677+16384 ~x676+8192 ~x675+4096 ~x674+2048 ~x673+1024 ~x672+512 ~x671+256 ~x670+128 ~x669+64 ~x668+32 ~x667+16 ~x666+8 ~x665+4 ~x664+2 ~x663+1 ~x662+536870912 x369+268435456 x368+134217728 x367+67108864 x366+33554432 x365+16777216 x364+8388608 x363+4194304 x362+2097152 x361+1048576 x360+524288 x359+262144 x358+131072 x357+65536 x356+32768 x355+16384 x354+8192 x353+4096 x352+2048 x351+1024 x350+512 x349+256 x348+128 x347+64 x346+32 x345+16 x344+8 x343+4 x342+2 x341+1 x340+524288 ~x270+262144 ~x269+131072 ~x268+65536 ~x267+32768 ~x266+16384 ~x265+8192 ~x264+4096 ~x263+2048 ~x262+1024 ~x261+512 ~x260+256 ~x259+128 ~x258+64 ~x257+32 ~x256+16 ~x255+8 ~x254+4 ~x253+2 ~x252+1 ~x251+28672000 ~x130+524288 x121+262144 x120+131072 x119+65536 x118+32768 x117+16384 x116+8192 x115+4096 x114+2048 x113+1024 x112+512 x111+256 x110+128 x109+64 x108+32 x107+16 x106+8 x105+4 x104+2 x103+1 x102-0=3222786045
66.67/66.72	c 1048576 ~x2862987+524288 ~x2862986+262144 ~x2862985+131072 ~x2862984+65536 ~x2862983+32768 ~x2862982+16384 ~x2862981+8192 ~x2862980+4096 ~x2862979+2048 ~x2862978+1024 ~x2862977+512 ~x2862976+256 ~x2862975+128 ~x2862974+64 ~x2862973+32 ~x2862972+16 ~x2862971+8 ~x2862970+4 ~x2862969+2 ~x2862968+1 ~x2862967+524288 ~x270+262144 ~x269+131072 ~x268+65536 ~x267+32768 ~x266+16384 ~x265+8192 ~x264+4096 ~x263+2048 ~x262+1024 ~x261+512 ~x260+256 ~x259+128 ~x258+64 ~x257+32 ~x256+16 ~x255+8 ~x254+4 ~x253+2 ~x252+1 ~x251+524288 x121+262144 x120+131072 x119+65536 x118+32768 x117+16384 x116+8192 x115+4096 x114+2048 x113+1024 x112+512 x111+256 x110+128 x109+64 x108+32 x107+16 x106+8 x105+4 x104+2 x103+1 x102-0=3657726
66.97/67.01	c 1073741824 ~x2875409+536870912 ~x2875408+268435456 ~x2875407+134217728 ~x2875406+67108864 ~x2875405+33554432 ~x2875404+16777216 ~x2875403+8388608 ~x2875402+4194304 ~x2875401+2097152 ~x2875400+1048576 ~x2875399+524288 ~x2875398+262144 ~x2875397+131072 ~x2875396+65536 ~x2875395+32768 ~x2875394+16384 ~x2875393+8192 ~x2875392+4096 ~x2875391+2048 ~x2875390+1024 ~x2875389+512 ~x2875388+256 ~x2875387+128 ~x2875386+64 ~x2875385+32 ~x2875384+16 ~x2875383+8 ~x2875382+4 ~x2875381+2 ~x2875380+1 ~x2875379+536870912 x691+268435456 x690+134217728 x689+67108864 x688+33554432 x687+16777216 x686+8388608 x685+4194304 x684+2097152 x683+1048576 x682+524288 x681+262144 x680+131072 x679+65536 x678+32768 x677+16384 x676+8192 x675+4096 x674+2048 x673+1024 x672+512 x671+256 x670+128 x669+64 x668+32 x667+16 x666+8 x665+4 x664+2 x663+1 x662+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340+14336000 ~x151-0=3221737470
67.76/67.84	c 1073741824 ~x2911838+536870912 ~x2911837+268435456 ~x2911836+134217728 ~x2911835+67108864 ~x2911834+33554432 ~x2911833+16777216 ~x2911832+8388608 ~x2911831+4194304 ~x2911830+2097152 ~x2911829+1048576 ~x2911828+524288 ~x2911827+262144 ~x2911826+131072 ~x2911825+65536 ~x2911824+32768 ~x2911823+16384 ~x2911822+8192 ~x2911821+4096 ~x2911820+2048 ~x2911819+1024 ~x2911818+512 ~x2911817+256 ~x2911816+128 ~x2911815+64 ~x2911814+32 ~x2911813+16 ~x2911812+8 ~x2911811+4 ~x2911810+2 ~x2911809+1 ~x2911808+536870912 x691+268435456 x690+134217728 x689+67108864 x688+33554432 x687+16777216 x686+8388608 x685+4194304 x684+2097152 x683+1048576 x682+524288 x681+262144 x680+131072 x679+65536 x678+32768 x677+16384 x676+8192 x675+4096 x674+2048 x673+1024 x672+512 x671+256 x670+128 x669+64 x668+32 x667+16 x666+8 x665+4 x664+2 x663+1 x662+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340+1048576 x270+524288 x269+262144 x268+131072 x267+65536 x266+32768 x265+16384 x264+8192 x263+4096 x262+2048 x261+1024 x260+512 x259+256 x258+128 x257+64 x256+32 x255+16 x254+8 x253+4 x252+2 x251+86016000 ~x152+1048576 ~x121+524288 ~x120+262144 ~x119+131072 ~x118+65536 ~x117+32768 ~x116+16384 ~x115+8192 ~x114+4096 ~x113+2048 ~x112+1024 ~x111+512 ~x110+256 ~x109+128 ~x108+64 ~x107+32 ~x106+16 ~x105+8 ~x104+4 ~x103+2 ~x102-0=3224039420
68.96/69.05	c 1073741824 ~x2965538+536870912 ~x2965537+268435456 ~x2965536+134217728 ~x2965535+67108864 ~x2965534+33554432 ~x2965533+16777216 ~x2965532+8388608 ~x2965531+4194304 ~x2965530+2097152 ~x2965529+1048576 ~x2965528+524288 ~x2965527+262144 ~x2965526+131072 ~x2965525+65536 ~x2965524+32768 ~x2965523+16384 ~x2965522+8192 ~x2965521+4096 ~x2965520+2048 ~x2965519+1024 ~x2965518+512 ~x2965517+256 ~x2965516+128 ~x2965515+64 ~x2965514+32 ~x2965513+16 ~x2965512+8 ~x2965511+4 ~x2965510+2 ~x2965509+1 ~x2965508+86016000 ~x424+536870912 x369+268435456 x368+134217728 x367+67108864 x366+33554432 x365+16777216 x364+8388608 x363+4194304 x362+2097152 x361+1048576 x360+524288 x359+262144 x358+131072 x357+65536 x356+32768 x355+16384 x354+8192 x353+4096 x352+2048 x351+1024 x350+512 x349+256 x348+128 x347+64 x346+32 x345+16 x344+8 x343+4 x342+2 x341+1 x340+524288 x121+262144 x120+131072 x119+65536 x118+32768 x117+16384 x116+8192 x115+4096 x114+2048 x113+1024 x112+512 x111+256 x110+128 x109+64 x108+32 x107+16 x106+8 x105+4 x104+2 x103+1 x102+524288 ~x91+262144 ~x90+131072 ~x89+65536 ~x88+32768 ~x87+16384 ~x86+8192 ~x85+4096 ~x84+2048 ~x83+1024 ~x82+512 ~x81+256 ~x80+128 ~x79+64 ~x78+32 ~x77+16 ~x76+8 ~x75+4 ~x74+2 ~x73+1 ~x72+536870912 ~x31+268435456 ~x30+134217728 ~x29+67108864 ~x28+33554432 ~x27+16777216 ~x26+8388608 ~x25+4194304 ~x24+2097152 ~x23+1048576 ~x22+524288 ~x21+262144 ~x20+131072 ~x19+65536 ~x18+32768 ~x17+16384 ~x16+8192 ~x15+4096 ~x14+2048 ~x13+1024 ~x12+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=3223093245
70.16/70.26	c 1073741824 ~x3019238+536870912 ~x3019237+268435456 ~x3019236+134217728 ~x3019235+67108864 ~x3019234+33554432 ~x3019233+16777216 ~x3019232+8388608 ~x3019231+4194304 ~x3019230+2097152 ~x3019229+1048576 ~x3019228+524288 ~x3019227+262144 ~x3019226+131072 ~x3019225+65536 ~x3019224+32768 ~x3019223+16384 ~x3019222+8192 ~x3019221+4096 ~x3019220+2048 ~x3019219+1024 ~x3019218+512 ~x3019217+256 ~x3019216+128 ~x3019215+64 ~x3019214+32 ~x3019213+16 ~x3019212+8 ~x3019211+4 ~x3019210+2 ~x3019209+1 ~x3019208+536870912 x691+268435456 x690+134217728 x689+67108864 x688+33554432 x687+16777216 x686+8388608 x685+4194304 x684+2097152 x683+1048576 x682+524288 x681+262144 x680+131072 x679+65536 x678+32768 x677+16384 x676+8192 x675+4096 x674+2048 x673+1024 x672+512 x671+256 x670+128 x669+64 x668+32 x667+16 x666+8 x665+4 x664+2 x663+1 x662+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340+43008000 ~x152-0=3221532670
71.06/71.13	c 1073741824 ~x3055601+536870912 ~x3055600+268435456 ~x3055599+134217728 ~x3055598+67108864 ~x3055597+33554432 ~x3055596+16777216 ~x3055595+8388608 ~x3055594+4194304 ~x3055593+2097152 ~x3055592+1048576 ~x3055591+524288 ~x3055590+262144 ~x3055589+131072 ~x3055588+65536 ~x3055587+32768 ~x3055586+16384 ~x3055585+8192 ~x3055584+4096 ~x3055583+2048 ~x3055582+1024 ~x3055581+512 ~x3055580+256 ~x3055579+128 ~x3055578+64 ~x3055577+32 ~x3055576+16 ~x3055575+8 ~x3055574+4 ~x3055573+2 ~x3055572+1 ~x3055571+536870912 x691+268435456 x690+134217728 x689+67108864 x688+33554432 x687+16777216 x686+8388608 x685+4194304 x684+2097152 x683+1048576 x682+524288 x681+262144 x680+131072 x679+65536 x678+32768 x677+16384 x676+8192 x675+4096 x674+2048 x673+1024 x672+512 x671+256 x670+128 x669+64 x668+32 x667+16 x666+8 x665+4 x664+2 x663+1 x662+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340+1048576 x270+524288 x269+262144 x268+131072 x267+65536 x266+32768 x265+16384 x264+8192 x263+4096 x262+2048 x261+1024 x260+512 x259+256 x258+128 x257+64 x256+32 x255+16 x254+8 x253+4 x252+2 x251+86016000 ~x153+1048576 ~x121+524288 ~x120+262144 ~x119+131072 ~x118+65536 ~x117+32768 ~x116+16384 ~x115+8192 ~x114+4096 ~x113+2048 ~x112+1024 ~x111+512 ~x110+256 ~x109+128 ~x108+64 ~x107+32 ~x106+16 ~x105+8 ~x104+4 ~x103+2 ~x102-0=3224449020
72.26/72.33	c 1073741824 ~x3109301+536870912 ~x3109300+268435456 ~x3109299+134217728 ~x3109298+67108864 ~x3109297+33554432 ~x3109296+16777216 ~x3109295+8388608 ~x3109294+4194304 ~x3109293+2097152 ~x3109292+1048576 ~x3109291+524288 ~x3109290+262144 ~x3109289+131072 ~x3109288+65536 ~x3109287+32768 ~x3109286+16384 ~x3109285+8192 ~x3109284+4096 ~x3109283+2048 ~x3109282+1024 ~x3109281+512 ~x3109280+256 ~x3109279+128 ~x3109278+64 ~x3109277+32 ~x3109276+16 ~x3109275+8 ~x3109274+4 ~x3109273+2 ~x3109272+1 ~x3109271+536870912 ~x691+268435456 ~x690+134217728 ~x689+67108864 ~x688+33554432 ~x687+16777216 ~x686+8388608 ~x685+4194304 ~x684+2097152 ~x683+1048576 ~x682+524288 ~x681+262144 ~x680+131072 ~x679+65536 ~x678+32768 ~x677+16384 ~x676+8192 ~x675+4096 ~x674+2048 ~x673+1024 ~x672+512 ~x671+256 ~x670+128 ~x669+64 ~x668+32 ~x667+16 ~x666+8 ~x665+4 ~x664+2 ~x663+1 ~x662+536870912 x369+268435456 x368+134217728 x367+67108864 x366+33554432 x365+16777216 x364+8388608 x363+4194304 x362+2097152 x361+1048576 x360+524288 x359+262144 x358+131072 x357+65536 x356+32768 x355+16384 x354+8192 x353+4096 x352+2048 x351+1024 x350+512 x349+256 x348+128 x347+64 x346+32 x345+16 x344+8 x343+4 x342+2 x341+1 x340+524288 x270+262144 x269+131072 x268+65536 x267+32768 x266+16384 x265+8192 x264+4096 x263+2048 x262+1024 x261+512 x260+256 x259+128 x258+64 x257+32 x256+16 x255+8 x254+4 x253+2 x252+1 x251+28672000 ~x154+524288 ~x121+262144 ~x120+131072 ~x119+65536 ~x118+32768 ~x117+16384 ~x116+8192 ~x115+4096 ~x114+2048 ~x113+1024 ~x112+512 ~x111+256 ~x110+128 ~x109+64 ~x108+32 ~x107+16 ~x106+8 ~x105+4 ~x104+2 ~x103+1 ~x102-0=3222683645
73.46/73.53	c 2147483648 ~x3163002+1073741824 ~x3163001+536870912 ~x3163000+268435456 ~x3162999+134217728 ~x3162998+67108864 ~x3162997+33554432 ~x3162996+16777216 ~x3162995+8388608 ~x3162994+4194304 ~x3162993+2097152 ~x3162992+1048576 ~x3162991+524288 ~x3162990+262144 ~x3162989+131072 ~x3162988+65536 ~x3162987+32768 ~x3162986+16384 ~x3162985+8192 ~x3162984+4096 ~x3162983+2048 ~x3162982+1024 ~x3162981+512 ~x3162980+256 ~x3162979+128 ~x3162978+64 ~x3162977+32 ~x3162976+16 ~x3162975+8 ~x3162974+4 ~x3162973+2 ~x3162972+1 ~x3162971+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 x369+536870912 x368+268435456 x367+134217728 x366+67108864 x365+33554432 x364+16777216 x363+8388608 x362+4194304 x361+2097152 x360+1048576 x359+524288 x358+262144 x357+131072 x356+65536 x355+32768 x354+16384 x353+8192 x352+4096 x351+2048 x350+1024 x349+512 x348+256 x347+128 x346+64 x345+32 x344+16 x343+8 x342+4 x341+2 x340+524288 x270+262144 x269+131072 x268+65536 x267+32768 x266+16384 x265+8192 x264+4096 x263+2048 x262+1024 x261+512 x260+256 x259+128 x258+64 x257+32 x256+16 x255+8 x254+4 x253+2 x252+1 x251+86016000 ~x155+524288 ~x121+262144 ~x120+131072 ~x119+65536 ~x118+32768 ~x117+16384 ~x116+8192 ~x115+4096 ~x114+2048 ~x113+1024 ~x112+512 ~x111+256 ~x110+128 ~x109+64 ~x108+32 ~x107+16 ~x106+8 ~x105+4 ~x104+2 ~x103+1 ~x102-0=6444113916
74.67/74.75	c 1073741824 ~x3217131+536870912 ~x3217130+268435456 ~x3217129+134217728 ~x3217128+67108864 ~x3217127+33554432 ~x3217126+16777216 ~x3217125+8388608 ~x3217124+4194304 ~x3217123+2097152 ~x3217122+1048576 ~x3217121+524288 ~x3217120+262144 ~x3217119+131072 ~x3217118+65536 ~x3217117+32768 ~x3217116+16384 ~x3217115+8192 ~x3217114+4096 ~x3217113+2048 ~x3217112+1024 ~x3217111+512 ~x3217110+256 ~x3217109+128 ~x3217108+64 ~x3217107+32 ~x3217106+16 ~x3217105+8 ~x3217104+4 ~x3217103+2 ~x3217102+1 ~x3217101+536870912 ~x691+268435456 ~x690+134217728 ~x689+67108864 ~x688+33554432 ~x687+16777216 ~x686+8388608 ~x685+4194304 ~x684+2097152 ~x683+1048576 ~x682+524288 ~x681+262144 ~x680+131072 ~x679+65536 ~x678+32768 ~x677+16384 ~x676+8192 ~x675+4096 ~x674+2048 ~x673+1024 ~x672+512 ~x671+256 ~x670+128 ~x669+64 ~x668+32 ~x667+16 ~x666+8 ~x665+4 ~x664+2 ~x663+1 ~x662+536870912 x369+268435456 x368+134217728 x367+67108864 x366+33554432 x365+16777216 x364+8388608 x363+4194304 x362+2097152 x361+1048576 x360+524288 x359+262144 x358+131072 x357+65536 x356+32768 x355+16384 x354+8192 x353+4096 x352+2048 x351+1024 x350+512 x349+256 x348+128 x347+64 x346+32 x345+16 x344+8 x343+4 x342+2 x341+1 x340+43008000 ~x156-0=3221532670
75.46/75.57	c 1073741824 ~x3253599+536870912 ~x3253598+268435456 ~x3253597+134217728 ~x3253596+67108864 ~x3253595+33554432 ~x3253594+16777216 ~x3253593+8388608 ~x3253592+4194304 ~x3253591+2097152 ~x3253590+1048576 ~x3253589+524288 ~x3253588+262144 ~x3253587+131072 ~x3253586+65536 ~x3253585+32768 ~x3253584+16384 ~x3253583+8192 ~x3253582+4096 ~x3253581+2048 ~x3253580+1024 ~x3253579+512 ~x3253578+256 ~x3253577+128 ~x3253576+64 ~x3253575+32 ~x3253574+16 ~x3253573+8 ~x3253572+4 ~x3253571+2 ~x3253570+1 ~x3253569+536870912 ~x731+268435456 ~x730+134217728 ~x729+67108864 ~x728+33554432 ~x727+16777216 ~x726+8388608 ~x725+4194304 ~x724+2097152 ~x723+1048576 ~x722+524288 ~x721+262144 ~x720+131072 ~x719+65536 ~x718+32768 ~x717+16384 ~x716+8192 ~x715+4096 ~x714+2048 ~x713+1024 ~x712+512 ~x711+256 ~x710+128 ~x709+64 ~x708+32 ~x707+16 ~x706+8 ~x705+4 ~x704+2 ~x703+1 ~x702+536870912 x369+268435456 x368+134217728 x367+67108864 x366+33554432 x365+16777216 x364+8388608 x363+4194304 x362+2097152 x361+1048576 x360+524288 x359+262144 x358+131072 x357+65536 x356+32768 x355+16384 x354+8192 x353+4096 x352+2048 x351+1024 x350+512 x349+256 x348+128 x347+64 x346+32 x345+16 x344+8 x343+4 x342+2 x341+1 x340+262144 ~x299+131072 ~x298+65536 ~x297+32768 ~x296+16384 ~x295+8192 ~x294+4096 ~x293+2048 ~x292+1024 ~x291+512 ~x290+256 ~x289+128 ~x288+64 ~x287+32 ~x286+16 ~x285+8 ~x284+4 ~x283+2 ~x282+1 ~x281+43008000 ~x157+524288 x121+262144 x120+131072 x119+65536 x118+32768 x117+16384 x116+8192 x115+4096 x114+2048 x113+1024 x112+512 x111+256 x110+128 x109+64 x108+32 x107+16 x106+8 x105+4 x104+2 x103+1 x102-0=3223080957
76.66/76.77	c 1048576 ~x3306860+524288 ~x3306859+262144 ~x3306858+131072 ~x3306857+65536 ~x3306856+32768 ~x3306855+16384 ~x3306854+8192 ~x3306853+4096 ~x3306852+2048 ~x3306851+1024 ~x3306850+512 ~x3306849+256 ~x3306848+128 ~x3306847+64 ~x3306846+32 ~x3306845+16 ~x3306844+8 ~x3306843+4 ~x3306842+2 ~x3306841+1 ~x3306840+262144 ~x299+131072 ~x298+65536 ~x297+32768 ~x296+16384 ~x295+8192 ~x294+4096 ~x293+2048 ~x292+1024 ~x291+512 ~x290+256 ~x289+128 ~x288+64 ~x287+32 ~x286+16 ~x285+8 ~x284+4 ~x283+2 ~x282+1 ~x281+524288 x121+262144 x120+131072 x119+65536 x118+32768 x117+16384 x116+8192 x115+4096 x114+2048 x113+1024 x112+512 x111+256 x110+128 x109+64 x108+32 x107+16 x106+8 x105+4 x104+2 x103+1 x102-0=3338238
76.97/77.05	c 1073741824 ~x3319057+536870912 ~x3319056+268435456 ~x3319055+134217728 ~x3319054+67108864 ~x3319053+33554432 ~x3319052+16777216 ~x3319051+8388608 ~x3319050+4194304 ~x3319049+2097152 ~x3319048+1048576 ~x3319047+524288 ~x3319046+262144 ~x3319045+131072 ~x3319044+65536 ~x3319043+32768 ~x3319042+16384 ~x3319041+8192 ~x3319040+4096 ~x3319039+2048 ~x3319038+1024 ~x3319037+512 ~x3319036+256 ~x3319035+128 ~x3319034+64 ~x3319033+32 ~x3319032+16 ~x3319031+8 ~x3319030+4 ~x3319029+2 ~x3319028+1 ~x3319027+536870912 x731+268435456 x730+134217728 x729+67108864 x728+33554432 x727+16777216 x726+8388608 x725+4194304 x724+2097152 x723+1048576 x722+524288 x721+262144 x720+131072 x719+65536 x718+32768 x717+16384 x716+8192 x715+4096 x714+2048 x713+1024 x712+512 x711+256 x710+128 x709+64 x708+32 x707+16 x706+8 x705+4 x704+2 x703+1 x702+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340+524288 ~x299+262144 ~x298+131072 ~x297+65536 ~x296+32768 ~x295+16384 ~x294+8192 ~x293+4096 ~x292+2048 ~x291+1024 ~x290+512 ~x289+256 ~x288+128 ~x287+64 ~x286+32 ~x285+16 ~x284+8 ~x283+4 ~x282+2 ~x281+43008000 ~x159+1048576 x121+524288 x120+262144 x119+131072 x118+65536 x117+32768 x116+16384 x115+8192 x114+4096 x113+2048 x112+1024 x111+512 x110+256 x109+128 x108+64 x107+32 x106+16 x105+8 x104+4 x103+2 x102-0=3223605244
78.16/78.25	c 1073741824 ~x3372328+536870912 ~x3372327+268435456 ~x3372326+134217728 ~x3372325+67108864 ~x3372324+33554432 ~x3372323+16777216 ~x3372322+8388608 ~x3372321+4194304 ~x3372320+2097152 ~x3372319+1048576 ~x3372318+524288 ~x3372317+262144 ~x3372316+131072 ~x3372315+65536 ~x3372314+32768 ~x3372313+16384 ~x3372312+8192 ~x3372311+4096 ~x3372310+2048 ~x3372309+1024 ~x3372308+512 ~x3372307+256 ~x3372306+128 ~x3372305+64 ~x3372304+32 ~x3372303+16 ~x3372302+8 ~x3372301+4 ~x3372300+2 ~x3372299+1 ~x3372298+536870912 x731+268435456 x730+134217728 x729+67108864 x728+33554432 x727+16777216 x726+8388608 x725+4194304 x724+2097152 x723+1048576 x722+524288 x721+262144 x720+131072 x719+65536 x718+32768 x717+16384 x716+8192 x715+4096 x714+2048 x713+1024 x712+512 x711+256 x710+128 x709+64 x708+32 x707+16 x706+8 x705+4 x704+2 x703+1 x702+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340+262144 ~x299+131072 ~x298+65536 ~x297+32768 ~x296+16384 ~x295+8192 ~x294+4096 ~x293+2048 ~x292+1024 ~x291+512 ~x290+256 ~x289+128 ~x288+64 ~x287+32 ~x286+16 ~x285+8 ~x284+4 ~x283+2 ~x282+1 ~x281+43008000 ~x160+524288 x121+262144 x120+131072 x119+65536 x118+32768 x117+16384 x116+8192 x115+4096 x114+2048 x113+1024 x112+512 x111+256 x110+128 x109+64 x108+32 x107+16 x106+8 x105+4 x104+2 x103+1 x102-0=3222568957
79.36/79.44	c 1048576 ~x3425589+524288 ~x3425588+262144 ~x3425587+131072 ~x3425586+65536 ~x3425585+32768 ~x3425584+16384 ~x3425583+8192 ~x3425582+4096 ~x3425581+2048 ~x3425580+1024 ~x3425579+512 ~x3425578+256 ~x3425577+128 ~x3425576+64 ~x3425575+32 ~x3425574+16 ~x3425573+8 ~x3425572+4 ~x3425571+2 ~x3425570+1 ~x3425569+524288 x121+262144 x120+131072 x119+65536 x118+32768 x117+16384 x116+8192 x115+4096 x114+2048 x113+1024 x112+512 x111+256 x110+128 x109+64 x108+32 x107+16 x106+8 x105+4 x104+2 x103+1 x102+524288 ~x91+262144 ~x90+131072 ~x89+65536 ~x88+32768 ~x87+16384 ~x86+8192 ~x85+4096 ~x84+2048 ~x83+1024 ~x82+512 ~x81+256 ~x80+128 ~x79+64 ~x78+32 ~x77+16 ~x76+8 ~x75+4 ~x74+2 ~x73+1 ~x72-0=3657726
79.66/79.73	c 1073741824 ~x3438011+536870912 ~x3438010+268435456 ~x3438009+134217728 ~x3438008+67108864 ~x3438007+33554432 ~x3438006+16777216 ~x3438005+8388608 ~x3438004+4194304 ~x3438003+2097152 ~x3438002+1048576 ~x3438001+524288 ~x3438000+262144 ~x3437999+131072 ~x3437998+65536 ~x3437997+32768 ~x3437996+16384 ~x3437995+8192 ~x3437994+4096 ~x3437993+2048 ~x3437992+1024 ~x3437991+512 ~x3437990+256 ~x3437989+128 ~x3437988+64 ~x3437987+32 ~x3437986+16 ~x3437985+8 ~x3437984+4 ~x3437983+2 ~x3437982+1 ~x3437981+536870912 x731+268435456 x730+134217728 x729+67108864 x728+33554432 x727+16777216 x726+8388608 x725+4194304 x724+2097152 x723+1048576 x722+524288 x721+262144 x720+131072 x719+65536 x718+32768 x717+16384 x716+8192 x715+4096 x714+2048 x713+1024 x712+512 x711+256 x710+128 x709+64 x708+32 x707+16 x706+8 x705+4 x704+2 x703+1 x702+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340+43008000 ~x181-0=3221737470
80.46/80.55	c 1073741824 ~x3474374+536870912 ~x3474373+268435456 ~x3474372+134217728 ~x3474371+67108864 ~x3474370+33554432 ~x3474369+16777216 ~x3474368+8388608 ~x3474367+4194304 ~x3474366+2097152 ~x3474365+1048576 ~x3474364+524288 ~x3474363+262144 ~x3474362+131072 ~x3474361+65536 ~x3474360+32768 ~x3474359+16384 ~x3474358+8192 ~x3474357+4096 ~x3474356+2048 ~x3474355+1024 ~x3474354+512 ~x3474353+256 ~x3474352+128 ~x3474351+64 ~x3474350+32 ~x3474349+16 ~x3474348+8 ~x3474347+4 ~x3474346+2 ~x3474345+1 ~x3474344+536870912 x731+268435456 x730+134217728 x729+67108864 x728+33554432 x727+16777216 x726+8388608 x725+4194304 x724+2097152 x723+1048576 x722+524288 x721+262144 x720+131072 x719+65536 x718+32768 x717+16384 x716+8192 x715+4096 x714+2048 x713+1024 x712+512 x711+256 x710+128 x709+64 x708+32 x707+16 x706+8 x705+4 x704+2 x703+1 x702+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~x360+524288 ~x359+262144 ~x358+131072 ~x357+65536 ~x356+32768 ~x355+16384 ~x354+8192 ~x353+4096 ~x352+2048 ~x351+1024 ~x350+512 ~x349+256 ~x348+128 ~x347+64 ~x346+32 ~x345+16 ~x344+8 ~x343+4 ~x342+2 ~x341+1 ~x340+262144 x299+131072 x298+65536 x297+32768 x296+16384 x295+8192 x294+4096 x293+2048 x292+1024 x291+512 x290+256 x289+128 x288+64 x287+32 x286+16 x285+8 x284+4 x283+2 x282+1 x281+43008000 ~x182+524288 ~x121+262144 ~x120+131072 ~x119+65536 ~x118+32768 ~x117+16384 ~x116+8192 ~x115+4096 ~x114+2048 ~x113+1024 ~x112+512 ~x111+256 ~x110+128 ~x109+64 ~x108+32 ~x107+16 ~x106+8 ~x105+4 ~x104+2 ~x103+1 ~x102-0=3222683645
81.66/81.75	c 1073741824 ~x3527645+536870912 ~x3527644+268435456 ~x3527643+134217728 ~x3527642+67108864 ~x3527641+33554432 ~x3527640+16777216 ~x3527639+8388608 ~x3527638+4194304 ~x3527637+2097152 ~x3527636+1048576 ~x3527635+524288 ~x3527634+262144 ~x3527633+131072 ~x3527632+65536 ~x3527631+32768 ~x3527630+16384 ~x3527629+8192 ~x3527628+4096 ~x3527627+2048 ~x3527626+1024 ~x3527625+512 ~x3527624+256 ~x3527623+128 ~x3527622+64 ~x3527621+32 ~x3527620+16 ~x3527619+8 ~x3527618+4 ~x3527617+2 ~x3527616+1 ~x3527615+536870912 x731+268435456 x730+134217728 x729+67108864 x728+33554432 x727+16777216 x726+8388608 x725+4194304 x724+2097152 x723+1048576 x722+524288 x721+262144 x720+131072 x719+65536 x718+32768 x717+16384 x716+8192 x715+4096 x714+2048 x713+1024 x712+512 x711+256 x710+128 x709+64 x708+32 x707+16 x706+8 x705+4 x704+2 x703+1 x702+536870912 ~x369+268435456 ~x368+134217728 ~x367+67108864 ~x366+33554432 ~x365+16777216 ~x364+8388608 ~x363+4194304 ~x362+2097152 ~x361+1048576 ~

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-2674153-1276800440/watcher-2674153-1276800440 -o /tmp/evaluation-result-2674153-1276800440/solver-2674153-1276800440 -C 1800 -W 2000 -M 1800 run HOME/instance-2674153-1276800440.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.85 0.95 0.98 3/106 23616
/proc/meminfo: memFree=1925720/2059040 swapFree=4140416/4192956
[pid=23616] ppid=23614 vsize=8700 CPUtime=0
/proc/23616/stat : 23616 (run) S 23614 23616 23497 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21335020 8908800 250 1992294400 4194304 4922060 140733984624080 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23616/statm: 2175 250 211 178 0 68 0

[startup+0.023009 s]
/proc/loadavg: 0.85 0.95 0.98 3/106 23616
/proc/meminfo: memFree=1925720/2059040 swapFree=4140416/4192956
[pid=23616] ppid=23614 vsize=8700 CPUtime=0
/proc/23616/stat : 23616 (run) S 23614 23616 23497 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21335020 8908800 250 1992294400 4194304 4922060 140733984624080 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23616/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101021 s]
/proc/loadavg: 0.85 0.95 0.98 3/106 23616
/proc/meminfo: memFree=1925720/2059040 swapFree=4140416/4192956
[pid=23616] ppid=23614 vsize=8700 CPUtime=0
/proc/23616/stat : 23616 (run) S 23614 23616 23497 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21335020 8908800 250 1992294400 4194304 4922060 140733984624080 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23616/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.30105 s]
/proc/loadavg: 0.85 0.95 0.98 3/106 23616
/proc/meminfo: memFree=1925720/2059040 swapFree=4140416/4192956
[pid=23616] ppid=23614 vsize=8700 CPUtime=0
/proc/23616/stat : 23616 (run) S 23614 23616 23497 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21335020 8908800 250 1992294400 4194304 4922060 140733984624080 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23616/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701108 s]
/proc/loadavg: 0.85 0.95 0.98 3/106 23616
/proc/meminfo: memFree=1925720/2059040 swapFree=4140416/4192956
[pid=23616] ppid=23614 vsize=8700 CPUtime=0
/proc/23616/stat : 23616 (run) S 23614 23616 23497 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21335020 8908800 250 1992294400 4194304 4922060 140733984624080 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23616/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50122 s]
/proc/loadavg: 0.85 0.95 0.98 2/108 23619
/proc/meminfo: memFree=1756320/2059040 swapFree=4140416/4192956
[pid=23616] ppid=23614 vsize=8700 CPUtime=0
/proc/23616/stat : 23616 (run) S 23614 23616 23497 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21335020 8908800 250 1992294400 4194304 4922060 140733984624080 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23616/statm: 2175 250 211 178 0 68 0
[pid=23618] ppid=23616 vsize=250468 CPUtime=1.48
/proc/23618/stat : 23618 (PBPASSolver) R 23616 23616 23497 0 -1 4202496 62059 0 0 0 61 87 0 0 25 0 1 0 21335020 256479232 61997 1992294400 134512640 134902295 4286982048 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23618/statm: 62617 61997 256 96 0 61829 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 259168

[startup+3.10146 s]
/proc/loadavg: 0.85 0.95 0.98 2/108 23619
/proc/meminfo: memFree=1609132/2059040 swapFree=4140416/4192956
[pid=23616] ppid=23614 vsize=8700 CPUtime=0
/proc/23616/stat : 23616 (run) S 23614 23616 23497 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21335020 8908800 250 1992294400 4194304 4922060 140733984624080 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23616/statm: 2175 250 211 178 0 68 0
[pid=23618] ppid=23616 vsize=333492 CPUtime=3.09
/proc/23618/stat : 23618 (PBPASSolver) R 23616 23616 23497 0 -1 4202496 84864 0 0 0 196 113 0 0 25 0 1 0 21335020 341495808 82650 1992294400 134512640 134902295 4286982048 18446744073709551615 134631155 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23618/statm: 83373 82650 262 96 0 82585 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 342192

[startup+6.30092 s]
/proc/loadavg: 0.86 0.95 0.98 2/108 23619
/proc/meminfo: memFree=1556928/2059040 swapFree=4140416/4192956
[pid=23616] ppid=23614 vsize=8700 CPUtime=0
/proc/23616/stat : 23616 (run) S 23614 23616 23497 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21335020 8908800 250 1992294400 4194304 4922060 140733984624080 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23616/statm: 2175 250 211 178 0 68 0
[pid=23618] ppid=23616 vsize=390788 CPUtime=6.28
/proc/23618/stat : 23618 (PBPASSolver) R 23616 23616 23497 0 -1 4202496 100345 0 0 0 509 119 0 0 25 0 1 0 21335020 400166912 96429 1992294400 134512640 134902295 4286982048 18446744073709551615 134588300 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23618/statm: 97697 96429 262 96 0 96909 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 399488

[startup+12.7009 s]
/proc/loadavg: 0.87 0.95 0.98 2/108 23619
/proc/meminfo: memFree=1436532/2059040 swapFree=4140416/4192956
[pid=23616] ppid=23614 vsize=8700 CPUtime=0
/proc/23616/stat : 23616 (run) S 23614 23616 23497 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21335020 8908800 250 1992294400 4194304 4922060 140733984624080 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23616/statm: 2175 250 211 178 0 68 0
[pid=23618] ppid=23616 vsize=505392 CPUtime=12.68
/proc/23618/stat : 23618 (PBPASSolver) R 23616 23616 23497 0 -1 4202496 130338 0 0 0 1137 131 0 0 22 0 1 0 21335020 517521408 125158 1992294400 134512640 134902295 4286982048 18446744073709551615 4160189654 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23618/statm: 126348 125159 262 96 0 125560 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 514092

[startup+25.5007 s]
/proc/loadavg: 0.90 0.95 0.98 2/108 23619
/proc/meminfo: memFree=1207504/2059040 swapFree=4140416/4192956
[pid=23616] ppid=23614 vsize=8700 CPUtime=0
/proc/23616/stat : 23616 (run) S 23614 23616 23497 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21335020 8908800 250 1992294400 4194304 4922060 140733984624080 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23616/statm: 2175 250 211 178 0 68 0
[pid=23618] ppid=23616 vsize=731992 CPUtime=25.47
/proc/23618/stat : 23618 (PBPASSolver) R 23616 23616 23497 0 -1 4202496 192071 0 0 0 2393 154 0 0 25 0 1 0 21335020 749559808 180451 1992294400 134512640 134902295 4286982048 18446744073709551615 134814552 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23618/statm: 182998 180451 262 96 0 182210 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 740692

[startup+51.1005 s]
/proc/loadavg: 0.93 0.96 0.98 2/108 23621
/proc/meminfo: memFree=735560/2059040 swapFree=4140416/4192956
[pid=23616] ppid=23614 vsize=8700 CPUtime=0
/proc/23616/stat : 23616 (run) S 23614 23616 23497 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21335020 8908800 250 1992294400 4194304 4922060 140733984624080 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23616/statm: 2175 250 211 178 0 68 0
[pid=23618] ppid=23616 vsize=1226044 CPUtime=51.07
/proc/23618/stat : 23618 (PBPASSolver) R 23616 23616 23497 0 -1 4202496 311534 0 0 0 4903 204 0 0 25 0 1 0 21335020 1255469056 299522 1992294400 134512640 134902295 4286982048 18446744073709551615 134630994 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23618/statm: 306511 299523 262 96 0 305723 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1234744



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+82.201 s]
/proc/loadavg: 0.96 0.96 0.98 2/108 23621
/proc/meminfo: memFree=146684/2059040 swapFree=4140416/4192956
[pid=23616] ppid=23614 vsize=8700 CPUtime=0
/proc/23616/stat : 23616 (run) S 23614 23616 23497 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21335020 8908800 250 1992294400 4194304 4922060 140733984624080 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23616/statm: 2175 250 211 178 0 68 0
[pid=23618] ppid=23616 vsize=1844704 CPUtime=82.16
/proc/23618/stat : 23618 (PBPASSolver) R 23616 23616 23497 0 -1 4202496 456282 0 0 0 7946 270 0 0 25 0 1 0 21335020 1888976896 443894 1992294400 134512640 134902295 4286982048 18446744073709551615 11470332 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23618/statm: 461176 443894 262 96 0 460388 0
Current children cumulated CPU time (s) 82.16
Current children cumulated vsize (KiB) 1853404

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 23616 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 82.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 82.2143
CPU time (s): 82.16
CPU user time (s): 79.46
CPU system time (s): 2.7
CPU usage (%): 99.934
Max. virtual memory (cumulated for all children) (KiB): 1853404

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

runsolver used 0.141978 second user time and 0.403938 second system time

The end

Launcher Data 

Begin job on node052 at 2010-06-17 20:47:20
IDJOB=2674153
IDBENCH=2505
IDSOLVER=1174
FILE ID=node052/2674153-1276800440
PBS_JOBID= 11176681
Free space on /tmp= 62488 MiB

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

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

MD5SUM BENCH= 34e6501168eba14fba603ee8987209fc
RANDOM SEED=1492123786

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1926116 kB
Buffers:          5656 kB
Cached:          39120 kB
SwapCached:       5520 kB
Active:          10260 kB
Inactive:        46752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1926116 kB
SwapTotal:     4192956 kB
SwapFree:      4140416 kB
Dirty:             972 kB
Writeback:           0 kB
AnonPages:       10916 kB
Mapped:          13012 kB
Slab:            53984 kB
PageTables:       4012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179564 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= 62488 MiB
End job on node052 at 2010-06-17 20:48:45