Trace number 2674129

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.38 82.4218

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-glass4.opb
MD5SUM9d32bc57adc83bca41f939562e4ccfd8
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 benchmark24.7712
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1228810444800
Optimality of the best value was proved YES
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.89/1.95	c 780 405 0 0 0 0 0 0
1.89/1.95	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 ~x320+131072 ~x319+65536 ~x318+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302-0=856062
2.10/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 ~x340+131072 ~x339+65536 ~x338+32768 ~x337+16384 ~x336+8192 ~x335+4096 ~x334+2048 ~x333+1024 ~x332+512 ~x331+256 ~x330+128 ~x329+64 ~x328+32 ~x327+16 ~x326+8 ~x325+4 ~x324+2 ~x323+1 ~x322-0=856062
2.19/2.29	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 ~x355+4096 ~x354+2048 ~x353+1024 ~x352+512 ~x351+256 ~x350+128 ~x349+64 ~x348+32 ~x347+16 ~x346+8 ~x345+4 ~x344+2 ~x343+1 ~x342-0=28670
2.28/2.38	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 ~x378+65536 ~x377+32768 ~x376+16384 ~x375+8192 ~x374+4096 ~x373+2048 ~x372+1024 ~x371+512 ~x370+256 ~x369+128 ~x368+64 ~x367+32 ~x366+16 ~x365+8 ~x364+4 ~x363+2 ~x362+1 ~x361-0=491518
2.48/2.56	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 ~x398+65536 ~x397+32768 ~x396+16384 ~x395+8192 ~x394+4096 ~x393+2048 ~x392+1024 ~x391+512 ~x390+256 ~x389+128 ~x388+64 ~x387+32 ~x386+16 ~x385+8 ~x384+4 ~x383+2 ~x382+1 ~x381-0=491518
2.69/2.71	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 ~x419+131072 ~x418+65536 ~x417+32768 ~x416+16384 ~x415+8192 ~x414+4096 ~x413+2048 ~x412+1024 ~x411+512 ~x410+256 ~x409+128 ~x408+64 ~x407+32 ~x406+16 ~x405+8 ~x404+4 ~x403+2 ~x402+1 ~x401-0=958462
2.78/2.88	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 ~x439+131072 ~x438+65536 ~x437+32768 ~x436+16384 ~x435+8192 ~x434+4096 ~x433+2048 ~x432+1024 ~x431+512 ~x430+256 ~x429+128 ~x428+64 ~x427+32 ~x426+16 ~x425+8 ~x424+4 ~x423+2 ~x422+1 ~x421-0=856062
2.99/3.09	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 ~x454+4096 ~x453+2048 ~x452+1024 ~x451+512 ~x450+256 ~x449+128 ~x448+64 ~x447+32 ~x446+16 ~x445+8 ~x444+4 ~x443+2 ~x442+1 ~x441-0=28670
3.08/3.18	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 ~x478+131072 ~x477+65536 ~x476+32768 ~x475+16384 ~x474+8192 ~x473+4096 ~x472+2048 ~x471+1024 ~x470+512 ~x469+256 ~x468+128 ~x467+64 ~x466+32 ~x465+16 ~x464+8 ~x463+4 ~x462+2 ~x461+1 ~x460-0=958462
3.30/3.35	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+21504000 ~x509+536870912 x181+268435456 x180+134217728 x179+67108864 x178+33554432 x177+16777216 x176+8388608 x175+4194304 x174+2097152 x173+1048576 x172+524288 x171+262144 x170+131072 x169+65536 x168+32768 x167+16384 x166+8192 x165+4096 x164+2048 x163+1024 x162+512 x161+256 x160+128 x159+64 x158+32 x157+16 x156+8 x155+4 x154+2 x153+1 x152+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=3221942270
4.19/4.28	c 2147483648 ~x92008+1073741824 ~x92007+536870912 ~x92006+268435456 ~x92005+134217728 ~x92004+67108864 ~x92003+33554432 ~x92002+16777216 ~x92001+8388608 ~x92000+4194304 ~x91999+2097152 ~x91998+1048576 ~x91997+524288 ~x91996+262144 ~x91995+131072 ~x91994+65536 ~x91993+32768 ~x91992+16384 ~x91991+8192 ~x91990+4096 ~x91989+2048 ~x91988+1024 ~x91987+512 ~x91986+256 ~x91985+128 ~x91984+64 ~x91983+32 ~x91982+16 ~x91981+8 ~x91980+4 ~x91979+2 ~x91978+1 ~x91977+86016000 ~x510+524288 x400+262144 x399+131072 x398+65536 x397+32768 x396+16384 x395+8192 x394+4096 x393+2048 x392+1024 x391+512 x390+256 x389+128 x388+64 x387+32 x386+16 x385+8 x384+4 x383+2 x382+1 x381+524288 ~x321+262144 ~x320+131072 ~x319+65536 ~x318+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302+1073741824 x181+536870912 x180+268435456 x179+134217728 x178+67108864 x177+33554432 x176+16777216 x175+8388608 x174+4194304 x173+2097152 x172+1048576 x171+524288 x170+262144 x169+131072 x168+65536 x167+32768 x166+16384 x165+8192 x164+4096 x163+2048 x162+1024 x161+512 x160+256 x159+128 x158+64 x157+32 x156+16 x155+8 x154+4 x153+2 x152+1073741824 ~x61+536870912 ~x60+268435456 ~x59+134217728 ~x58+67108864 ~x57+33554432 ~x56+16777216 ~x55+8388608 ~x54+4194304 ~x53+2097152 ~x52+1048576 ~x51+524288 ~x50+262144 ~x49+131072 ~x48+65536 ~x47+32768 ~x46+16384 ~x45+8192 ~x44+4096 ~x43+2048 ~x42+1024 ~x41+512 ~x40+256 ~x39+128 ~x38+64 ~x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32-0=6445137916
5.50/5.52	c 1073741824 ~x146137+536870912 ~x146136+268435456 ~x146135+134217728 ~x146134+67108864 ~x146133+33554432 ~x146132+16777216 ~x146131+8388608 ~x146130+4194304 ~x146129+2097152 ~x146128+1048576 ~x146127+524288 ~x146126+262144 ~x146125+131072 ~x146124+65536 ~x146123+32768 ~x146122+16384 ~x146121+8192 ~x146120+4096 ~x146119+2048 ~x146118+1024 ~x146117+512 ~x146116+256 ~x146115+128 ~x146114+64 ~x146113+32 ~x146112+16 ~x146111+8 ~x146110+4 ~x146109+2 ~x146108+1 ~x146107+86016000 ~x511+1048576 x400+524288 x399+262144 x398+131072 x397+65536 x396+32768 x395+16384 x394+8192 x393+4096 x392+2048 x391+1024 x390+512 x389+256 x388+128 x387+64 x386+32 x385+16 x384+8 x383+4 x382+2 x381+1048576 ~x321+524288 ~x320+262144 ~x319+131072 ~x318+65536 ~x317+32768 ~x316+16384 ~x315+8192 ~x314+4096 ~x313+2048 ~x312+1024 ~x311+512 ~x310+256 ~x309+128 ~x308+64 ~x307+32 ~x306+16 ~x305+8 ~x304+4 ~x303+2 ~x302+536870912 ~x181+268435456 ~x180+134217728 ~x179+67108864 ~x178+33554432 ~x177+16777216 ~x176+8388608 ~x175+4194304 ~x174+2097152 ~x173+1048576 ~x172+524288 ~x171+262144 ~x170+131072 ~x169+65536 ~x168+32768 ~x167+16384 ~x166+8192 ~x165+4096 ~x164+2048 ~x163+1024 ~x162+512 ~x161+256 ~x160+128 ~x159+64 ~x158+32 ~x157+16 ~x156+8 ~x155+4 ~x154+2 ~x153+1 ~x152+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=3223527420
6.69/6.74	c 1073741824 ~x199837+536870912 ~x199836+268435456 ~x199835+134217728 ~x199834+67108864 ~x199833+33554432 ~x199832+16777216 ~x199831+8388608 ~x199830+4194304 ~x199829+2097152 ~x199828+1048576 ~x199827+524288 ~x199826+262144 ~x199825+131072 ~x199824+65536 ~x199823+32768 ~x199822+16384 ~x199821+8192 ~x199820+4096 ~x199819+2048 ~x199818+1024 ~x199817+512 ~x199816+256 ~x199815+128 ~x199814+64 ~x199813+32 ~x199812+16 ~x199811+8 ~x199810+4 ~x199809+2 ~x199808+1 ~x199807+43008000 ~x511+524288 x400+262144 x399+131072 x398+65536 x397+32768 x396+16384 x395+8192 x394+4096 x393+2048 x392+1024 x391+512 x390+256 x389+128 x388+64 x387+32 x386+16 x385+8 x384+4 x383+2 x382+1 x381+524288 ~x321+262144 ~x320+131072 ~x319+65536 ~x318+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302+536870912 x181+268435456 x180+134217728 x179+67108864 x178+33554432 x177+16777216 x176+8388608 x175+4194304 x174+2097152 x173+1048576 x172+524288 x171+262144 x170+131072 x169+65536 x168+32768 x167+16384 x166+8192 x165+4096 x164+2048 x163+1024 x162+512 x161+256 x160+128 x159+64 x158+32 x157+16 x156+8 x155+4 x154+2 x153+1 x152+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=3222990845
7.89/7.96	c 1073741824 ~x253537+536870912 ~x253536+268435456 ~x253535+134217728 ~x253534+67108864 ~x253533+33554432 ~x253532+16777216 ~x253531+8388608 ~x253530+4194304 ~x253529+2097152 ~x253528+1048576 ~x253527+524288 ~x253526+262144 ~x253525+131072 ~x253524+65536 ~x253523+32768 ~x253522+16384 ~x253521+8192 ~x253520+4096 ~x253519+2048 ~x253518+1024 ~x253517+512 ~x253516+256 ~x253515+128 ~x253514+64 ~x253513+32 ~x253512+16 ~x253511+8 ~x253510+4 ~x253509+2 ~x253508+1 ~x253507+68812800 ~x512+1048576 x400+524288 x399+262144 x398+131072 x397+65536 x396+32768 x395+16384 x394+8192 x393+4096 x392+2048 x391+1024 x390+512 x389+256 x388+128 x387+64 x386+32 x385+16 x384+8 x383+4 x382+2 x381+1048576 ~x321+524288 ~x320+262144 ~x319+131072 ~x318+65536 ~x317+32768 ~x316+16384 ~x315+8192 ~x314+4096 ~x313+2048 ~x312+1024 ~x311+512 ~x310+256 ~x309+128 ~x308+64 ~x307+32 ~x306+16 ~x305+8 ~x304+4 ~x303+2 ~x302+536870912 ~x181+268435456 ~x180+134217728 ~x179+67108864 ~x178+33554432 ~x177+16777216 ~x176+8388608 ~x175+4194304 ~x174+2097152 ~x173+1048576 ~x172+524288 ~x171+262144 ~x170+131072 ~x169+65536 ~x168+32768 ~x167+16384 ~x166+8192 ~x165+4096 ~x164+2048 ~x163+1024 ~x162+512 ~x161+256 ~x160+128 ~x159+64 ~x158+32 ~x157+16 ~x156+8 ~x155+4 ~x154+2 ~x153+1 ~x152+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=3224141820
9.09/9.18	c 1073741824 ~x307237+536870912 ~x307236+268435456 ~x307235+134217728 ~x307234+67108864 ~x307233+33554432 ~x307232+16777216 ~x307231+8388608 ~x307230+4194304 ~x307229+2097152 ~x307228+1048576 ~x307227+524288 ~x307226+262144 ~x307225+131072 ~x307224+65536 ~x307223+32768 ~x307222+16384 ~x307221+8192 ~x307220+4096 ~x307219+2048 ~x307218+1024 ~x307217+512 ~x307216+256 ~x307215+128 ~x307214+64 ~x307213+32 ~x307212+16 ~x307211+8 ~x307210+4 ~x307209+2 ~x307208+1 ~x307207+344064000 ~x512+1048576 x400+524288 x399+262144 x398+131072 x397+65536 x396+32768 x395+16384 x394+8192 x393+4096 x392+2048 x391+1024 x390+512 x389+256 x388+128 x387+64 x386+32 x385+16 x384+8 x383+4 x382+2 x381+1048576 ~x321+524288 ~x320+262144 ~x319+131072 ~x318+65536 ~x317+32768 ~x316+16384 ~x315+8192 ~x314+4096 ~x313+2048 ~x312+1024 ~x311+512 ~x310+256 ~x309+128 ~x308+64 ~x307+32 ~x306+16 ~x305+8 ~x304+4 ~x303+2 ~x302+536870912 x181+268435456 x180+134217728 x179+67108864 x178+33554432 x177+16777216 x176+8388608 x175+4194304 x174+2097152 x173+1048576 x172+524288 x171+262144 x170+131072 x169+65536 x168+32768 x167+16384 x166+8192 x165+4096 x164+2048 x163+1024 x162+512 x161+256 x160+128 x159+64 x158+32 x157+16 x156+8 x155+4 x154+2 x153+1 x152+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=3224039420
10.38/10.41	c 1073741824 ~x360937+536870912 ~x360936+268435456 ~x360935+134217728 ~x360934+67108864 ~x360933+33554432 ~x360932+16777216 ~x360931+8388608 ~x360930+4194304 ~x360929+2097152 ~x360928+1048576 ~x360927+524288 ~x360926+262144 ~x360925+131072 ~x360924+65536 ~x360923+32768 ~x360922+16384 ~x360921+8192 ~x360920+4096 ~x360919+2048 ~x360918+1024 ~x360917+512 ~x360916+256 ~x360915+128 ~x360914+64 ~x360913+32 ~x360912+16 ~x360911+8 ~x360910+4 ~x360909+2 ~x360908+1 ~x360907+43008000 ~x513+1048576 x400+524288 x399+262144 x398+131072 x397+65536 x396+32768 x395+16384 x394+8192 x393+4096 x392+2048 x391+1024 x390+512 x389+256 x388+128 x387+64 x386+32 x385+16 x384+8 x383+4 x382+2 x381+1048576 ~x321+524288 ~x320+262144 ~x319+131072 ~x318+65536 ~x317+32768 ~x316+16384 ~x315+8192 ~x314+4096 ~x313+2048 ~x312+1024 ~x311+512 ~x310+256 ~x309+128 ~x308+64 ~x307+32 ~x306+16 ~x305+8 ~x304+4 ~x303+2 ~x302+536870912 ~x181+268435456 ~x180+134217728 ~x179+67108864 ~x178+33554432 ~x177+16777216 ~x176+8388608 ~x175+4194304 ~x174+2097152 ~x173+1048576 ~x172+524288 ~x171+262144 ~x170+131072 ~x169+65536 ~x168+32768 ~x167+16384 ~x166+8192 ~x165+4096 ~x164+2048 ~x163+1024 ~x162+512 ~x161+256 ~x160+128 ~x159+64 ~x158+32 ~x157+16 ~x156+8 ~x155+4 ~x154+2 ~x153+1 ~x152+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=3224244220
11.59/11.63	c 2147483648 ~x414638+1073741824 ~x414637+536870912 ~x414636+268435456 ~x414635+134217728 ~x414634+67108864 ~x414633+33554432 ~x414632+16777216 ~x414631+8388608 ~x414630+4194304 ~x414629+2097152 ~x414628+1048576 ~x414627+524288 ~x414626+262144 ~x414625+131072 ~x414624+65536 ~x414623+32768 ~x414622+16384 ~x414621+8192 ~x414620+4096 ~x414619+2048 ~x414618+1024 ~x414617+512 ~x414616+256 ~x414615+128 ~x414614+64 ~x414613+32 ~x414612+16 ~x414611+8 ~x414610+4 ~x414609+2 ~x414608+1 ~x414607+86016000 ~x514+524288 x400+262144 x399+131072 x398+65536 x397+32768 x396+16384 x395+8192 x394+4096 x393+2048 x392+1024 x391+512 x390+256 x389+128 x388+64 x387+32 x386+16 x385+8 x384+4 x383+2 x382+1 x381+524288 ~x321+262144 ~x320+131072 ~x319+65536 ~x318+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302+1073741824 ~x181+536870912 ~x180+268435456 ~x179+134217728 ~x178+67108864 ~x177+33554432 ~x176+16777216 ~x175+8388608 ~x174+4194304 ~x173+2097152 ~x172+1048576 ~x171+524288 ~x170+262144 ~x169+131072 ~x168+65536 ~x167+32768 ~x166+16384 ~x165+8192 ~x164+4096 ~x163+2048 ~x162+1024 ~x161+512 ~x160+256 ~x159+128 ~x158+64 ~x157+32 ~x156+16 ~x155+8 ~x154+4 ~x153+2 ~x152+1073741824 x61+536870912 x60+268435456 x59+134217728 x58+67108864 x57+33554432 x56+16777216 x55+8388608 x54+4194304 x53+2097152 x52+1048576 x51+524288 x50+262144 x49+131072 x48+65536 x47+32768 x46+16384 x45+8192 x44+4096 x43+2048 x42+1024 x41+512 x40+256 x39+128 x38+64 x37+32 x36+16 x35+8 x34+4 x33+2 x32-0=6444728316
12.78/12.86	c 1073741824 ~x468767+536870912 ~x468766+268435456 ~x468765+134217728 ~x468764+67108864 ~x468763+33554432 ~x468762+16777216 ~x468761+8388608 ~x468760+4194304 ~x468759+2097152 ~x468758+1048576 ~x468757+524288 ~x468756+262144 ~x468755+131072 ~x468754+65536 ~x468753+32768 ~x468752+16384 ~x468751+8192 ~x468750+4096 ~x468749+2048 ~x468748+1024 ~x468747+512 ~x468746+256 ~x468745+128 ~x468744+64 ~x468743+32 ~x468742+16 ~x468741+8 ~x468740+4 ~x468739+2 ~x468738+1 ~x468737+21504000 ~x515+536870912 ~x181+268435456 ~x180+134217728 ~x179+67108864 ~x178+33554432 ~x177+16777216 ~x176+8388608 ~x175+4194304 ~x174+2097152 ~x173+1048576 ~x172+524288 ~x171+262144 ~x170+131072 ~x169+65536 ~x168+32768 ~x167+16384 ~x166+8192 ~x165+4096 ~x164+2048 ~x163+1024 ~x162+512 ~x161+256 ~x160+128 ~x159+64 ~x158+32 ~x157+16 ~x156+8 ~x155+4 ~x154+2 ~x153+1 ~x152+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=3221839870
13.58/13.69	c 1048576 ~x505426+524288 ~x505425+262144 ~x505424+131072 ~x505423+65536 ~x505422+32768 ~x505421+16384 ~x505420+8192 ~x505419+4096 ~x505418+2048 ~x505417+1024 ~x505416+512 ~x505415+256 ~x505414+128 ~x505413+64 ~x505412+32 ~x505411+16 ~x505410+8 ~x505409+4 ~x505408+2 ~x505407+1 ~x505406+524288 ~x420+262144 ~x419+131072 ~x418+65536 ~x417+32768 ~x416+16384 ~x415+8192 ~x414+4096 ~x413+2048 ~x412+1024 ~x411+512 ~x410+256 ~x409+128 ~x408+64 ~x407+32 ~x406+16 ~x405+8 ~x404+4 ~x403+2 ~x402+1 ~x401+524288 x321+262144 x320+131072 x319+65536 x318+32768 x317+16384 x316+8192 x315+4096 x314+2048 x313+1024 x312+512 x311+256 x310+128 x309+64 x308+32 x307+16 x306+8 x305+4 x304+2 x303+1 x302-0=3760126
13.88/13.99	c 1073741824 ~x517848+536870912 ~x517847+268435456 ~x517846+134217728 ~x517845+67108864 ~x517844+33554432 ~x517843+16777216 ~x517842+8388608 ~x517841+4194304 ~x517840+2097152 ~x517839+1048576 ~x517838+524288 ~x517837+262144 ~x517836+131072 ~x517835+65536 ~x517834+32768 ~x517833+16384 ~x517832+8192 ~x517831+4096 ~x517830+2048 ~x517829+1024 ~x517828+512 ~x517827+256 ~x517826+128 ~x517825+64 ~x517824+32 ~x517823+16 ~x517822+8 ~x517821+4 ~x517820+2 ~x517819+1 ~x517818+10752000 ~x517+536870912 x211+268435456 x210+134217728 x209+67108864 x208+33554432 x207+16777216 x206+8388608 x205+4194304 x204+2097152 x203+1048576 x202+524288 x201+262144 x200+131072 x199+65536 x198+32768 x197+16384 x196+8192 x195+4096 x194+2048 x193+1024 x192+512 x191+256 x190+128 x189+64 x188+32 x187+16 x186+8 x185+4 x184+2 x183+1 x182+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=3221942270
14.78/14.82	c 1073741824 ~x554388+536870912 ~x554387+268435456 ~x554386+134217728 ~x554385+67108864 ~x554384+33554432 ~x554383+16777216 ~x554382+8388608 ~x554381+4194304 ~x554380+2097152 ~x554379+1048576 ~x554378+524288 ~x554377+262144 ~x554376+131072 ~x554375+65536 ~x554374+32768 ~x554373+16384 ~x554372+8192 ~x554371+4096 ~x554370+2048 ~x554369+1024 ~x554368+512 ~x554367+256 ~x554366+128 ~x554365+64 ~x554364+32 ~x554363+16 ~x554362+8 ~x554361+4 ~x554360+2 ~x554359+1 ~x554358+43008000 ~x518+524288 x420+262144 x419+131072 x418+65536 x417+32768 x416+16384 x415+8192 x414+4096 x413+2048 x412+1024 x411+512 x410+256 x409+128 x408+64 x407+32 x406+16 x405+8 x404+4 x403+2 x402+1 x401+524288 ~x321+262144 ~x320+131072 ~x319+65536 ~x318+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302+536870912 x211+268435456 x210+134217728 x209+67108864 x208+33554432 x207+16777216 x206+8388608 x205+4194304 x204+2097152 x203+1048576 x202+524288 x201+262144 x200+131072 x199+65536 x198+32768 x197+16384 x196+8192 x195+4096 x194+2048 x193+1024 x192+512 x191+256 x190+128 x189+64 x188+32 x187+16 x186+8 x185+4 x184+2 x183+1 x182+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=3223195645
15.98/16.03	c 1073741824 ~x608088+536870912 ~x608087+268435456 ~x608086+134217728 ~x608085+67108864 ~x608084+33554432 ~x608083+16777216 ~x608082+8388608 ~x608081+4194304 ~x608080+2097152 ~x608079+1048576 ~x608078+524288 ~x608077+262144 ~x608076+131072 ~x608075+65536 ~x608074+32768 ~x608073+16384 ~x608072+8192 ~x608071+4096 ~x608070+2048 ~x608069+1024 ~x608068+512 ~x608067+256 ~x608066+128 ~x608065+64 ~x608064+32 ~x608063+16 ~x608062+8 ~x608061+4 ~x608060+2 ~x608059+1 ~x608058+86016000 ~x519+1048576 x420+524288 x419+262144 x418+131072 x417+65536 x416+32768 x415+16384 x414+8192 x413+4096 x412+2048 x411+1024 x410+512 x409+256 x408+128 x407+64 x406+32 x405+16 x404+8 x403+4 x402+2 x401+1048576 ~x321+524288 ~x320+262144 ~x319+131072 ~x318+65536 ~x317+32768 ~x316+16384 ~x315+8192 ~x314+4096 ~x313+2048 ~x312+1024 ~x311+512 ~x310+256 ~x309+128 ~x308+64 ~x307+32 ~x306+16 ~x305+8 ~x304+4 ~x303+2 ~x302+536870912 ~x211+268435456 ~x210+134217728 ~x209+67108864 ~x208+33554432 ~x207+16777216 ~x206+8388608 ~x205+4194304 ~x204+2097152 ~x203+1048576 ~x202+524288 ~x201+262144 ~x200+131072 ~x199+65536 ~x198+32768 ~x197+16384 ~x196+8192 ~x195+4096 ~x194+2048 ~x193+1024 ~x192+512 ~x191+256 ~x190+128 ~x189+64 ~x188+32 ~x187+16 ~x186+8 ~x185+4 ~x184+2 ~x183+1 ~x182+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=3223629820
17.18/17.26	c 1073741824 ~x661788+536870912 ~x661787+268435456 ~x661786+134217728 ~x661785+67108864 ~x661784+33554432 ~x661783+16777216 ~x661782+8388608 ~x661781+4194304 ~x661780+2097152 ~x661779+1048576 ~x661778+524288 ~x661777+262144 ~x661776+131072 ~x661775+65536 ~x661774+32768 ~x661773+16384 ~x661772+8192 ~x661771+4096 ~x661770+2048 ~x661769+1024 ~x661768+512 ~x661767+256 ~x661766+128 ~x661765+64 ~x661764+32 ~x661763+16 ~x661762+8 ~x661761+4 ~x661760+2 ~x661759+1 ~x661758+43008000 ~x519+524288 x420+262144 x419+131072 x418+65536 x417+32768 x416+16384 x415+8192 x414+4096 x413+2048 x412+1024 x411+512 x410+256 x409+128 x408+64 x407+32 x406+16 x405+8 x404+4 x403+2 x402+1 x401+524288 ~x321+262144 ~x320+131072 ~x319+65536 ~x318+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302+536870912 x211+268435456 x210+134217728 x209+67108864 x208+33554432 x207+16777216 x206+8388608 x205+4194304 x204+2097152 x203+1048576 x202+524288 x201+262144 x200+131072 x199+65536 x198+32768 x197+16384 x196+8192 x195+4096 x194+2048 x193+1024 x192+512 x191+256 x190+128 x189+64 x188+32 x187+16 x186+8 x185+4 x184+2 x183+1 x182+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=3222888445
18.38/18.48	c 9223372036854775808 ~x715521+4611686018427387904 ~x715520+2305843009213693952 ~x715519+1152921504606846976 ~x715518+576460752303423488 ~x715517+288230376151711744 ~x715516+144115188075855872 ~x715515+72057594037927936 ~x715514+36028797018963968 ~x715513+18014398509481984 ~x715512+9007199254740992 ~x715511+4503599627370496 ~x715510+2251799813685248 ~x715509+1125899906842624 ~x715508+562949953421312 ~x715507+281474976710656 ~x715506+140737488355328 ~x715505+70368744177664 ~x715504+35184372088832 ~x715503+17592186044416 ~x715502+8796093022208 ~x715501+4398046511104 ~x715500+2199023255552 ~x715499+1099511627776 ~x715498+549755813888 ~x715497+274877906944 ~x715496+137438953472 ~x715495+68719476736 ~x715494+34359738368 ~x715493+17179869184 ~x715492+8589934592 ~x715491+4294967296 ~x715490+2147483648 ~x715489+1073741824 ~x715488+536870912 ~x715487+268435456 ~x715486+134217728 ~x715485+67108864 ~x715484+33554432 ~x715483+16777216 ~x715482+8388608 ~x715481+4194304 ~x715480+2097152 ~x715479+1048576 ~x715478+524288 ~x715477+262144 ~x715476+131072 ~x715475+65536 ~x715474+32768 ~x715473+16384 ~x715472+8192 ~x715471+4096 ~x715470+2048 ~x715469+1024 ~x715468+512 ~x715467+256 ~x715466+128 ~x715465+64 ~x715464+32 ~x715463+16 ~x715462+8 ~x715461+4 ~x715460+2 ~x715459+1 ~x715458+860160000000000000 ~x520+8738098400198656 x420+4369049200099328 x419+2184524600049664 x418+1092262300024832 x417+546131150012416 x416+273065575006208 x415+136532787503104 x414+68266393751552 x413+34133196875776 x412+17066598437888 x411+8533299218944 x410+4266649609472 x409+2133324804736 x408+1066662402368 x407+533331201184 x406+266665600592 x405+133332800296 x404+66666400148 x403+33333200074 x402+16666600037 x401+8738098401771520 ~x321+4369049200885760 ~x320+2184524600442880 ~x319+1092262300221440 ~x318+546131150110720 ~x317+273065575055360 ~x316+136532787527680 ~x315+68266393763840 ~x314+34133196881920 ~x313+17066598440960 ~x312+8533299220480 ~x311+4266649610240 ~x310+2133324805120 ~x309+1066662402560 ~x308+533331201280 ~x307+266665600640 ~x306+133332800320 ~x305+66666400160 ~x304+33333200080 ~x303+16666600040 ~x302+8947811942001541120 ~x211+4473905971000770560 ~x210+2236952985500385280 ~x209+1118476492750192640 ~x208+559238246375096320 ~x207+279619123187548160 ~x206+139809561593774080 ~x205+69904780796887040 ~x204+34952390398443520 ~x203+17476195199221760 ~x202+8738097599610880 ~x201+4369048799805440 ~x200+2184524399902720 ~x199+1092262199951360 ~x198+546131099975680 ~x197+273065549987840 ~x196+136532774993920 ~x195+68266387496960 ~x194+34133193748480 ~x193+17066596874240 ~x192+8533298437120 ~x191+4266649218560 ~x190+2133324609280 ~x189+1066662304640 ~x188+533331152320 ~x187+266665576160 ~x186+133332788080 ~x185+66666394040 ~x184+33333197020 ~x183+16666598510 ~x182+8947811942538412032 x61+4473905971269206016 x60+2236952985634603008 x59+1118476492817301504 x58+559238246408650752 x57+279619123204325376 x56+139809561602162688 x55+69904780801081344 x54+34952390400540672 x53+17476195200270336 x52+8738097600135168 x51+4369048800067584 x50+2184524400033792 x49+1092262200016896 x48+546131100008448 x47+273065550004224 x46+136532775002112 x45+68266387501056 x44+34133193750528 x43+17066596875264 x42+8533298437632 x41+4266649218816 x40+2133324609408 x39+1066662304704 x38+533331152352 x37+266665576176 x36+133332788088 x35+66666394044 x34+33333197022 x33+16666598511 x32-0=36366670760749826345
22.38/22.41	c 36893488147419103232 ~x890075+18446744073709551616 ~x890074+9223372036854775808 ~x890073+4611686018427387904 ~x890072+2305843009213693952 ~x890071+1152921504606846976 ~x890070+576460752303423488 ~x890069+288230376151711744 ~x890068+144115188075855872 ~x890067+72057594037927936 ~x890066+36028797018963968 ~x890065+18014398509481984 ~x890064+9007199254740992 ~x890063+4503599627370496 ~x890062+2251799813685248 ~x890061+1125899906842624 ~x890060+562949953421312 ~x890059+281474976710656 ~x890058+140737488355328 ~x890057+70368744177664 ~x890056+35184372088832 ~x890055+17592186044416 ~x890054+8796093022208 ~x890053+4398046511104 ~x890052+2199023255552 ~x890051+1099511627776 ~x890050+549755813888 ~x890049+274877906944 ~x890048+137438953472 ~x890047+68719476736 ~x890046+34359738368 ~x890045+17179869184 ~x890044+8589934592 ~x890043+4294967296 ~x890042+2147483648 ~x890041+1073741824 ~x890040+536870912 ~x890039+268435456 ~x890038+134217728 ~x890037+67108864 ~x890036+33554432 ~x890035+16777216 ~x890034+8388608 ~x890033+4194304 ~x890032+2097152 ~x890031+1048576 ~x890030+524288 ~x890029+262144 ~x890028+131072 ~x890027+65536 ~x890026+32768 ~x890025+16384 ~x890024+8192 ~x890023+4096 ~x890022+2048 ~x890021+1024 ~x890020+512 ~x890019+256 ~x890018+128 ~x890017+64 ~x890016+32 ~x890015+16 ~x890014+8 ~x890013+4 ~x890012+2 ~x890011+1 ~x890010+8601600000000000000 ~x520+69905415998013440 x420+34952707999006720 x419+17476353999503360 x418+8738176999751680 x417+4369088499875840 x416+2184544249937920 x415+1092272124968960 x414+546136062484480 x413+273068031242240 x412+136534015621120 x411+68267007810560 x410+34133503905280 x409+17066751952640 x408+8533375976320 x407+4266687988160 x406+2133343994080 x405+1066671997040 x404+533335998520 x403+266667999260 x402+133333999630 x401+69905415982284800 ~x321+34952707991142400 ~x320+17476353995571200 ~x319+8738176997785600 ~x318+4369088498892800 ~x317+2184544249446400 ~x316+1092272124723200 ~x315+546136062361600 ~x314+273068031180800 ~x313+136534015590400 ~x312+68267007795200 ~x311+34133503897600 ~x310+17066751948800 ~x309+8533375974400 ~x308+4266687987200 ~x307+2133343993600 ~x306+1066671996800 ~x305+533335998400 ~x304+266667999200 ~x303+133333999600 ~x302+35791028223773507584 x211+17895514111886753792 x210+8947757055943376896 x209+4473878527971688448 x208+2236939263985844224 x207+1118469631992922112 x206+559234815996461056 x205+279617407998230528 x204+139808703999115264 x203+69904351999557632 x202+34952175999778816 x201+17476087999889408 x200+8738043999944704 x199+4369021999972352 x198+2184510999986176 x197+1092255499993088 x196+546127749996544 x195+273063874998272 x194+136531937499136 x193+68265968749568 x192+34132984374784 x191+17066492187392 x190+8533246093696 x189+4266623046848 x188+2133311523424 x187+1066655761712 x186+533327880856 x185+266663940428 x184+133331970214 x183+66665985107 x182+35791028225384120320 ~x61+17895514112692060160 ~x60+8947757056346030080 ~x59+4473878528173015040 ~x58+2236939264086507520 ~x57+1118469632043253760 ~x56+559234816021626880 ~x55+279617408010813440 ~x54+139808704005406720 ~x53+69904352002703360 ~x52+34952176001351680 ~x51+17476088000675840 ~x50+8738044000337920 ~x49+4369022000168960 ~x48+2184511000084480 ~x47+1092255500042240 ~x46+546127750021120 ~x45+273063875010560 ~x44+136531937505280 ~x43+68265968752640 ~x42+34132984376320 ~x41+17066492188160 ~x40+8533246094080 ~x39+4266623047040 ~x38+2133311523520 ~x37+1066655761760 ~x36+533327880880 ~x35+266663940440 ~x34+133331970220 ~x33+66665985110 ~x32-0=145549803790221118393
26.29/26.39	c 1073741824 ~x1068649+536870912 ~x1068648+268435456 ~x1068647+134217728 ~x1068646+67108864 ~x1068645+33554432 ~x1068644+16777216 ~x1068643+8388608 ~x1068642+4194304 ~x1068641+2097152 ~x1068640+1048576 ~x1068639+524288 ~x1068638+262144 ~x1068637+131072 ~x1068636+65536 ~x1068635+32768 ~x1068634+16384 ~x1068633+8192 ~x1068632+4096 ~x1068631+2048 ~x1068630+1024 ~x1068629+512 ~x1068628+256 ~x1068627+128 ~x1068626+64 ~x1068625+32 ~x1068624+16 ~x1068623+8 ~x1068622+4 ~x1068621+2 ~x1068620+1 ~x1068619+43008000 ~x521+524288 x420+262144 x419+131072 x418+65536 x417+32768 x416+16384 x415+8192 x414+4096 x413+2048 x412+1024 x411+512 x410+256 x409+128 x408+64 x407+32 x406+16 x405+8 x404+4 x403+2 x402+1 x401+524288 ~x321+262144 ~x320+131072 ~x319+65536 ~x318+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302+536870912 ~x211+268435456 ~x210+134217728 ~x209+67108864 ~x208+33554432 ~x207+16777216 ~x206+8388608 ~x205+4194304 ~x204+2097152 ~x203+1048576 ~x202+524288 ~x201+262144 ~x200+131072 ~x199+65536 ~x198+32768 ~x197+16384 ~x196+8192 ~x195+4096 ~x194+2048 ~x193+1024 ~x192+512 ~x191+256 ~x190+128 ~x189+64 ~x188+32 ~x187+16 ~x186+8 ~x185+4 ~x184+2 ~x183+1 ~x182+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=3222888445
27.58/27.61	c 1073741824 ~x1122349+536870912 ~x1122348+268435456 ~x1122347+134217728 ~x1122346+67108864 ~x1122345+33554432 ~x1122344+16777216 ~x1122343+8388608 ~x1122342+4194304 ~x1122341+2097152 ~x1122340+1048576 ~x1122339+524288 ~x1122338+262144 ~x1122337+131072 ~x1122336+65536 ~x1122335+32768 ~x1122334+16384 ~x1122333+8192 ~x1122332+4096 ~x1122331+2048 ~x1122330+1024 ~x1122329+512 ~x1122328+256 ~x1122327+128 ~x1122326+64 ~x1122325+32 ~x1122324+16 ~x1122323+8 ~x1122322+4 ~x1122321+2 ~x1122320+1 ~x1122319+28672000 ~x522+536870912 ~x211+268435456 ~x210+134217728 ~x209+67108864 ~x208+33554432 ~x207+16777216 ~x206+8388608 ~x205+4194304 ~x204+2097152 ~x203+1048576 ~x202+524288 ~x201+262144 ~x200+131072 ~x199+65536 ~x198+32768 ~x197+16384 ~x196+8192 ~x195+4096 ~x194+2048 ~x193+1024 ~x192+512 ~x191+256 ~x190+128 ~x189+64 ~x188+32 ~x187+16 ~x186+8 ~x185+4 ~x184+2 ~x183+1 ~x182+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=3221635070
28.37/28.44	c 1073741824 ~x1158889+536870912 ~x1158888+268435456 ~x1158887+134217728 ~x1158886+67108864 ~x1158885+33554432 ~x1158884+16777216 ~x1158883+8388608 ~x1158882+4194304 ~x1158881+2097152 ~x1158880+1048576 ~x1158879+524288 ~x1158878+262144 ~x1158877+131072 ~x1158876+65536 ~x1158875+32768 ~x1158874+16384 ~x1158873+8192 ~x1158872+4096 ~x1158871+2048 ~x1158870+1024 ~x1158869+512 ~x1158868+256 ~x1158867+128 ~x1158866+64 ~x1158865+32 ~x1158864+16 ~x1158863+8 ~x1158862+4 ~x1158861+2 ~x1158860+1 ~x1158859+86016000 ~x522+524288 x420+262144 x419+131072 x418+65536 x417+32768 x416+16384 x415+8192 x414+4096 x413+2048 x412+1024 x411+512 x410+256 x409+128 x408+64 x407+32 x406+16 x405+8 x404+4 x403+2 x402+1 x401+524288 ~x321+262144 ~x320+131072 ~x319+65536 ~x318+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302+536870912 ~x211+268435456 ~x210+134217728 ~x209+67108864 ~x208+33554432 ~x207+16777216 ~x206+8388608 ~x205+4194304 ~x204+2097152 ~x203+1048576 ~x202+524288 ~x201+262144 ~x200+131072 ~x199+65536 ~x198+32768 ~x197+16384 ~x196+8192 ~x195+4096 ~x194+2048 ~x193+1024 ~x192+512 ~x191+256 ~x190+128 ~x189+64 ~x188+32 ~x187+16 ~x186+8 ~x185+4 ~x184+2 ~x183+1 ~x182+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=3222581245
29.59/29.66	c 1073741824 ~x1212589+536870912 ~x1212588+268435456 ~x1212587+134217728 ~x1212586+67108864 ~x1212585+33554432 ~x1212584+16777216 ~x1212583+8388608 ~x1212582+4194304 ~x1212581+2097152 ~x1212580+1048576 ~x1212579+524288 ~x1212578+262144 ~x1212577+131072 ~x1212576+65536 ~x1212575+32768 ~x1212574+16384 ~x1212573+8192 ~x1212572+4096 ~x1212571+2048 ~x1212570+1024 ~x1212569+512 ~x1212568+256 ~x1212567+128 ~x1212566+64 ~x1212565+32 ~x1212564+16 ~x1212563+8 ~x1212562+4 ~x1212561+2 ~x1212560+1 ~x1212559+21504000 ~x523+536870912 ~x211+268435456 ~x210+134217728 ~x209+67108864 ~x208+33554432 ~x207+16777216 ~x206+8388608 ~x205+4194304 ~x204+2097152 ~x203+1048576 ~x202+524288 ~x201+262144 ~x200+131072 ~x199+65536 ~x198+32768 ~x197+16384 ~x196+8192 ~x195+4096 ~x194+2048 ~x193+1024 ~x192+512 ~x191+256 ~x190+128 ~x189+64 ~x188+32 ~x187+16 ~x186+8 ~x185+4 ~x184+2 ~x183+1 ~x182+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=3221737470
30.48/30.52	c 1073741824 ~x1249234+536870912 ~x1249233+268435456 ~x1249232+134217728 ~x1249231+67108864 ~x1249230+33554432 ~x1249229+16777216 ~x1249228+8388608 ~x1249227+4194304 ~x1249226+2097152 ~x1249225+1048576 ~x1249224+524288 ~x1249223+262144 ~x1249222+131072 ~x1249221+65536 ~x1249220+32768 ~x1249219+16384 ~x1249218+8192 ~x1249217+4096 ~x1249216+2048 ~x1249215+1024 ~x1249214+512 ~x1249213+256 ~x1249212+128 ~x1249211+64 ~x1249210+32 ~x1249209+16 ~x1249208+8 ~x1249207+4 ~x1249206+2 ~x1249205+1 ~x1249204+28672000 ~x524+524288 ~x440+262144 ~x439+131072 ~x438+65536 ~x437+32768 ~x436+16384 ~x435+8192 ~x434+4096 ~x433+2048 ~x432+1024 ~x431+512 ~x430+256 ~x429+128 ~x428+64 ~x427+32 ~x426+16 ~x425+8 ~x424+4 ~x423+2 ~x422+1 ~x421+524288 x321+262144 x320+131072 x319+65536 x318+32768 x317+16384 x316+8192 x315+4096 x314+2048 x313+1024 x312+512 x311+256 x310+128 x309+64 x308+32 x307+16 x306+8 x305+4 x304+2 x303+1 x302+536870912 ~x241+268435456 ~x240+134217728 ~x239+67108864 ~x238+33554432 ~x237+16777216 ~x236+8388608 ~x235+4194304 ~x234+2097152 ~x233+1048576 ~x232+524288 ~x231+262144 ~x230+131072 ~x229+65536 ~x228+32768 ~x227+16384 ~x226+8192 ~x225+4096 ~x224+2048 ~x223+1024 ~x222+512 ~x221+256 ~x220+128 ~x219+64 ~x218+32 ~x217+16 ~x216+8 ~x215+4 ~x214+2 ~x213+1 ~x212+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=3222786045
31.68/31.72	c 1048576 ~x1302924+524288 ~x1302923+262144 ~x1302922+131072 ~x1302921+65536 ~x1302920+32768 ~x1302919+16384 ~x1302918+8192 ~x1302917+4096 ~x1302916+2048 ~x1302915+1024 ~x1302914+512 ~x1302913+256 ~x1302912+128 ~x1302911+64 ~x1302910+32 ~x1302909+16 ~x1302908+8 ~x1302907+4 ~x1302906+2 ~x1302905+1 ~x1302904+524288 ~x440+262144 ~x439+131072 ~x438+65536 ~x437+32768 ~x436+16384 ~x435+8192 ~x434+4096 ~x433+2048 ~x432+1024 ~x431+512 ~x430+256 ~x429+128 ~x428+64 ~x427+32 ~x426+16 ~x425+8 ~x424+4 ~x423+2 ~x422+1 ~x421+524288 x321+262144 x320+131072 x319+65536 x318+32768 x317+16384 x316+8192 x315+4096 x314+2048 x313+1024 x312+512 x311+256 x310+128 x309+64 x308+32 x307+16 x306+8 x305+4 x304+2 x303+1 x302-0=3657726
31.98/32.01	c 1073741824 ~x1315346+536870912 ~x1315345+268435456 ~x1315344+134217728 ~x1315343+67108864 ~x1315342+33554432 ~x1315341+16777216 ~x1315340+8388608 ~x1315339+4194304 ~x1315338+2097152 ~x1315337+1048576 ~x1315336+524288 ~x1315335+262144 ~x1315334+131072 ~x1315333+65536 ~x1315332+32768 ~x1315331+16384 ~x1315330+8192 ~x1315329+4096 ~x1315328+2048 ~x1315327+1024 ~x1315326+512 ~x1315325+256 ~x1315324+128 ~x1315323+64 ~x1315322+32 ~x1315321+16 ~x1315320+8 ~x1315319+4 ~x1315318+2 ~x1315317+1 ~x1315316+10752000 ~x526+536870912 x241+268435456 x240+134217728 x239+67108864 x238+33554432 x237+16777216 x236+8388608 x235+4194304 x234+2097152 x233+1048576 x232+524288 x231+262144 x230+131072 x229+65536 x228+32768 x227+16384 x226+8192 x225+4096 x224+2048 x223+1024 x222+512 x221+256 x220+128 x219+64 x218+32 x217+16 x216+8 x215+4 x214+2 x213+1 x212+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=3221942270
32.77/32.84	c 1073741824 ~x1351886+536870912 ~x1351885+268435456 ~x1351884+134217728 ~x1351883+67108864 ~x1351882+33554432 ~x1351881+16777216 ~x1351880+8388608 ~x1351879+4194304 ~x1351878+2097152 ~x1351877+1048576 ~x1351876+524288 ~x1351875+262144 ~x1351874+131072 ~x1351873+65536 ~x1351872+32768 ~x1351871+16384 ~x1351870+8192 ~x1351869+4096 ~x1351868+2048 ~x1351867+1024 ~x1351866+512 ~x1351865+256 ~x1351864+128 ~x1351863+64 ~x1351862+32 ~x1351861+16 ~x1351860+8 ~x1351859+4 ~x1351858+2 ~x1351857+1 ~x1351856+86016000 ~x527+1048576 x440+524288 x439+262144 x438+131072 x437+65536 x436+32768 x435+16384 x434+8192 x433+4096 x432+2048 x431+1024 x430+512 x429+256 x428+128 x427+64 x426+32 x425+16 x424+8 x423+4 x422+2 x421+1048576 ~x321+524288 ~x320+262144 ~x319+131072 ~x318+65536 ~x317+32768 ~x316+16384 ~x315+8192 ~x314+4096 ~x313+2048 ~x312+1024 ~x311+512 ~x310+256 ~x309+128 ~x308+64 ~x307+32 ~x306+16 ~x305+8 ~x304+4 ~x303+2 ~x302+536870912 x241+268435456 x240+134217728 x239+67108864 x238+33554432 x237+16777216 x236+8388608 x235+4194304 x234+2097152 x233+1048576 x232+524288 x231+262144 x230+131072 x229+65536 x228+32768 x227+16384 x226+8192 x225+4096 x224+2048 x223+1024 x222+512 x221+256 x220+128 x219+64 x218+32 x217+16 x216+8 x215+4 x214+2 x213+1 x212+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=3224653820
33.98/34.07	c 36893488147419103232 ~x1405621+18446744073709551616 ~x1405620+9223372036854775808 ~x1405619+4611686018427387904 ~x1405618+2305843009213693952 ~x1405617+1152921504606846976 ~x1405616+576460752303423488 ~x1405615+288230376151711744 ~x1405614+144115188075855872 ~x1405613+72057594037927936 ~x1405612+36028797018963968 ~x1405611+18014398509481984 ~x1405610+9007199254740992 ~x1405609+4503599627370496 ~x1405608+2251799813685248 ~x1405607+1125899906842624 ~x1405606+562949953421312 ~x1405605+281474976710656 ~x1405604+140737488355328 ~x1405603+70368744177664 ~x1405602+35184372088832 ~x1405601+17592186044416 ~x1405600+8796093022208 ~x1405599+4398046511104 ~x1405598+2199023255552 ~x1405597+1099511627776 ~x1405596+549755813888 ~x1405595+274877906944 ~x1405594+137438953472 ~x1405593+68719476736 ~x1405592+34359738368 ~x1405591+17179869184 ~x1405590+8589934592 ~x1405589+4294967296 ~x1405588+2147483648 ~x1405587+1073741824 ~x1405586+536870912 ~x1405585+268435456 ~x1405584+134217728 ~x1405583+67108864 ~x1405582+33554432 ~x1405581+16777216 ~x1405580+8388608 ~x1405579+4194304 ~x1405578+2097152 ~x1405577+1048576 ~x1405576+524288 ~x1405575+262144 ~x1405574+131072 ~x1405573+65536 ~x1405572+32768 ~x1405571+16384 ~x1405570+8192 ~x1405569+4096 ~x1405568+2048 ~x1405567+1024 ~x1405566+512 ~x1405565+256 ~x1405564+128 ~x1405563+64 ~x1405562+32 ~x1405561+16 ~x1405560+8 ~x1405559+4 ~x1405558+2 ~x1405557+1 ~x1405556+8601600000000000000 ~x528+69905408002621440 x440+34952704001310720 x439+17476352000655360 x438+8738176000327680 x437+4369088000163840 x436+2184544000081920 x435+1092272000040960 x434+546136000020480 x433+273068000010240 x432+136534000005120 x431+68267000002560 x430+34133500001280 x429+17066750000640 x428+8533375000320 x427+4266687500160 x426+2133343750080 x425+1066671875040 x424+533335937520 x423+266667968760 x422+133333984380 x421+69905408013107200 ~x321+34952704006553600 ~x320+17476352003276800 ~x319+8738176001638400 ~x318+4369088000819200 ~x317+2184544000409600 ~x316+1092272000204800 ~x315+546136000102400 ~x314+273068000051200 ~x313+136534000025600 ~x312+68267000012800 ~x311+34133500006400 ~x310+17066750003200 ~x309+8533375001600 ~x308+4266687500800 ~x307+2133343750400 ~x306+1066671875200 ~x305+533335937600 ~x304+266667968800 ~x303+133333984400 ~x302+35791028225384120320 ~x241+17895514112692060160 ~x240+8947757056346030080 ~x239+4473878528173015040 ~x238+2236939264086507520 ~x237+1118469632043253760 ~x236+559234816021626880 ~x235+279617408010813440 ~x234+139808704005406720 ~x233+69904352002703360 ~x232+34952176001351680 ~x231+17476088000675840 ~x230+8738044000337920 ~x229+4369022000168960 ~x228+2184511000084480 ~x227+1092255500042240 ~x226+546127750021120 ~x225+273063875010560 ~x224+136531937505280 ~x223+68265968752640 ~x222+34132984376320 ~x221+17066492188160 ~x220+8533246094080 ~x219+4266623047040 ~x218+2133311523520 ~x217+1066655761760 ~x216+533327880880 ~x215+266663940440 ~x214+133331970220 ~x213+66665985110 ~x212+35791028223773507584 x61+17895514111886753792 x60+8947757055943376896 x59+4473878527971688448 x58+2236939263985844224 x57+1118469631992922112 x56+559234815996461056 x55+279617407998230528 x54+139808703999115264 x53+69904351999557632 x52+34952175999778816 x51+17476087999889408 x50+8738043999944704 x49+4369021999972352 x48+2184510999986176 x47+1092255499993088 x46+546127749996544 x45+273063874998272 x44+136531937499136 x43+68265968749568 x42+34132984374784 x41+17066492187392 x40+8533246093696 x39+4266623046848 x38+2133311523424 x37+1066655761712 x36+533327880856 x35+266663940428 x34+133331970214 x33+66665985107 x32-0=145529323977079219993
37.98/38.08	c 36893488147419103232 ~x1584680+18446744073709551616 ~x1584679+9223372036854775808 ~x1584678+4611686018427387904 ~x1584677+2305843009213693952 ~x1584676+1152921504606846976 ~x1584675+576460752303423488 ~x1584674+288230376151711744 ~x1584673+144115188075855872 ~x1584672+72057594037927936 ~x1584671+36028797018963968 ~x1584670+18014398509481984 ~x1584669+9007199254740992 ~x1584668+4503599627370496 ~x1584667+2251799813685248 ~x1584666+1125899906842624 ~x1584665+562949953421312 ~x1584664+281474976710656 ~x1584663+140737488355328 ~x1584662+70368744177664 ~x1584661+35184372088832 ~x1584660+17592186044416 ~x1584659+8796093022208 ~x1584658+4398046511104 ~x1584657+2199023255552 ~x1584656+1099511627776 ~x1584655+549755813888 ~x1584654+274877906944 ~x1584653+137438953472 ~x1584652+68719476736 ~x1584651+34359738368 ~x1584650+17179869184 ~x1584649+8589934592 ~x1584648+4294967296 ~x1584647+2147483648 ~x1584646+1073741824 ~x1584645+536870912 ~x1584644+268435456 ~x1584643+134217728 ~x1584642+67108864 ~x1584641+33554432 ~x1584640+16777216 ~x1584639+8388608 ~x1584638+4194304 ~x1584637+2097152 ~x1584636+1048576 ~x1584635+524288 ~x1584634+262144 ~x1584633+131072 ~x1584632+65536 ~x1584631+32768 ~x1584630+16384 ~x1584629+8192 ~x1584628+4096 ~x1584627+2048 ~x1584626+1024 ~x1584625+512 ~x1584624+256 ~x1584623+128 ~x1584622+64 ~x1584621+32 ~x1584620+16 ~x1584619+8 ~x1584618+4 ~x1584617+2 ~x1584616+1 ~x1584615+8601600000000000000 ~x528+34952192000000000 x440+17476096000000000 x439+8738048000000000 x438+4369024000000000 x437+2184512000000000 x436+1092256000000000 x435+546128000000000 x434+273064000000000 x433+136532000000000 x432+68266000000000 x431+34133000000000 x430+17066500000000 x429+8533250000000 x428+4266625000000 x427+2133312500000 x426+1066656250000 x425+533328125000 x424+266664062500 x423+133332031250 x422+66666015625 x421+34952191997378560 ~x321+17476095998689280 ~x320+8738047999344640 ~x319+4369023999672320 ~x318+2184511999836160 ~x317+1092255999918080 ~x316+546127999959040 ~x315+273063999979520 ~x314+136531999989760 ~x313+68265999994880 ~x312+34132999997440 ~x311+17066499998720 ~x310+8533249999360 ~x309+4266624999680 ~x308+2133312499840 ~x307+1066656249920 ~x306+533328124960 ~x305+266664062480 ~x304+133332031240 ~x303+66666015620 ~x302+35791028223773507584 x241+17895514111886753792 x240+8947757055943376896 x239+4473878527971688448 x238+2236939263985844224 x237+1118469631992922112 x236+559234815996461056 x235+279617407998230528 x234+139808703999115264 x233+69904351999557632 x232+34952175999778816 x231+17476087999889408 x230+8738043999944704 x229+4369021999972352 x228+2184510999986176 x227+1092255499993088 x226+546127749996544 x225+273063874998272 x224+136531937499136 x223+68265968749568 x222+34132984374784 x221+17066492187392 x220+8533246093696 x219+4266623046848 x218+2133311523424 x217+1066655761712 x216+533327880856 x215+266663940428 x214+133331970214 x213+66665985107 x212+35791028225384120320 ~x61+17895514112692060160 ~x60+8947757056346030080 ~x59+4473878528173015040 ~x58+2236939264086507520 ~x57+1118469632043253760 ~x56+559234816021626880 ~x55+279617408010813440 ~x54+139808704005406720 ~x53+69904352002703360 ~x52+34952176001351680 ~x51+17476088000675840 ~x50+8738044000337920 ~x49+4369022000168960 ~x48+2184511000084480 ~x47+1092255500042240 ~x46+546127750021120 ~x45+273063875010560 ~x44+136531937505280 ~x43+68265968752640 ~x42+34132984376320 ~x41+17066492188160 ~x40+8533246094080 ~x39+4266623047040 ~x38+2133311523520 ~x37+1066655761760 ~x36+533327880880 ~x35+266663940440 ~x34+133331970220 ~x33+66665985110 ~x32-0=145486723186071289893
41.97/42.05	c 1073741824 ~x1763254+536870912 ~x1763253+268435456 ~x1763252+134217728 ~x1763251+67108864 ~x1763250+33554432 ~x1763249+16777216 ~x1763248+8388608 ~x1763247+4194304 ~x1763246+2097152 ~x1763245+1048576 ~x1763244+524288 ~x1763243+262144 ~x1763242+131072 ~x1763241+65536 ~x1763240+32768 ~x1763239+16384 ~x1763238+8192 ~x1763237+4096 ~x1763236+2048 ~x1763235+1024 ~x1763234+512 ~x1763233+256 ~x1763232+128 ~x1763231+64 ~x1763230+32 ~x1763229+16 ~x1763228+8 ~x1763227+4 ~x1763226+2 ~x1763225+1 ~x1763224+86016000 ~x529+1048576 x440+524288 x439+262144 x438+131072 x437+65536 x436+32768 x435+16384 x434+8192 x433+4096 x432+2048 x431+1024 x430+512 x429+256 x428+128 x427+64 x426+32 x425+16 x424+8 x423+4 x422+2 x421+1048576 ~x321+524288 ~x320+262144 ~x319+131072 ~x318+65536 ~x317+32768 ~x316+16384 ~x315+8192 ~x314+4096 ~x313+2048 ~x312+1024 ~x311+512 ~x310+256 ~x309+128 ~x308+64 ~x307+32 ~x306+16 ~x305+8 ~x304+4 ~x303+2 ~x302+536870912 x241+268435456 x240+134217728 x239+67108864 x238+33554432 x237+16777216 x236+8388608 x235+4194304 x234+2097152 x233+1048576 x232+524288 x231+262144 x230+131072 x229+65536 x228+32768 x227+16384 x226+8192 x225+4096 x224+2048 x223+1024 x222+512 x221+256 x220+128 x219+64 x218+32 x217+16 x216+8 x215+4 x214+2 x213+1 x212+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=3224449020
43.18/43.27	c 2147483648 ~x1816955+1073741824 ~x1816954+536870912 ~x1816953+268435456 ~x1816952+134217728 ~x1816951+67108864 ~x1816950+33554432 ~x1816949+16777216 ~x1816948+8388608 ~x1816947+4194304 ~x1816946+2097152 ~x1816945+1048576 ~x1816944+524288 ~x1816943+262144 ~x1816942+131072 ~x1816941+65536 ~x1816940+32768 ~x1816939+16384 ~x1816938+8192 ~x1816937+4096 ~x1816936+2048 ~x1816935+1024 ~x1816934+512 ~x1816933+256 ~x1816932+128 ~x1816931+64 ~x1816930+32 ~x1816929+16 ~x1816928+8 ~x1816927+4 ~x1816926+2 ~x1816925+1 ~x1816924+86016000 ~x530+524288 x440+262144 x439+131072 x438+65536 x437+32768 x436+16384 x435+8192 x434+4096 x433+2048 x432+1024 x431+512 x430+256 x429+128 x428+64 x427+32 x426+16 x425+8 x424+4 x423+2 x422+1 x421+524288 ~x321+262144 ~x320+131072 ~x319+65536 ~x318+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302+1073741824 ~x241+536870912 ~x240+268435456 ~x239+134217728 ~x238+67108864 ~x237+33554432 ~x236+16777216 ~x235+8388608 ~x234+4194304 ~x233+2097152 ~x232+1048576 ~x231+524288 ~x230+262144 ~x229+131072 ~x228+65536 ~x227+32768 ~x226+16384 ~x225+8192 ~x224+4096 ~x223+2048 ~x222+1024 ~x221+512 ~x220+256 ~x219+128 ~x218+64 ~x217+32 ~x216+16 ~x215+8 ~x214+4 ~x213+2 ~x212+1073741824 x61+536870912 x60+268435456 x59+134217728 x58+67108864 x57+33554432 x56+16777216 x55+8388608 x54+4194304 x53+2097152 x52+1048576 x51+524288 x50+262144 x49+131072 x48+65536 x47+32768 x46+16384 x45+8192 x44+4096 x43+2048 x42+1024 x41+512 x40+256 x39+128 x38+64 x37+32 x36+16 x35+8 x34+4 x33+2 x32-0=6443806716
44.38/44.49	c 1073741824 ~x1871084+536870912 ~x1871083+268435456 ~x1871082+134217728 ~x1871081+67108864 ~x1871080+33554432 ~x1871079+16777216 ~x1871078+8388608 ~x1871077+4194304 ~x1871076+2097152 ~x1871075+1048576 ~x1871074+524288 ~x1871073+262144 ~x1871072+131072 ~x1871071+65536 ~x1871070+32768 ~x1871069+16384 ~x1871068+8192 ~x1871067+4096 ~x1871066+2048 ~x1871065+1024 ~x1871064+512 ~x1871063+256 ~x1871062+128 ~x1871061+64 ~x1871060+32 ~x1871059+16 ~x1871058+8 ~x1871057+4 ~x1871056+2 ~x1871055+1 ~x1871054+86016000 ~x530+1048576 x440+524288 x439+262144 x438+131072 x437+65536 x436+32768 x435+16384 x434+8192 x433+4096 x432+2048 x431+1024 x430+512 x429+256 x428+128 x427+64 x426+32 x425+16 x424+8 x423+4 x422+2 x421+1048576 ~x321+524288 ~x320+262144 ~x319+131072 ~x318+65536 ~x317+32768 ~x316+16384 ~x315+8192 ~x314+4096 ~x313+2048 ~x312+1024 ~x311+512 ~x310+256 ~x309+128 ~x308+64 ~x307+32 ~x306+16 ~x305+8 ~x304+4 ~x303+2 ~x302+536870912 x241+268435456 x240+134217728 x239+67108864 x238+33554432 x237+16777216 x236+8388608 x235+4194304 x234+2097152 x233+1048576 x232+524288 x231+262144 x230+131072 x229+65536 x228+32768 x227+16384 x226+8192 x225+4096 x224+2048 x223+1024 x222+512 x221+256 x220+128 x219+64 x218+32 x217+16 x216+8 x215+4 x214+2 x213+1 x212+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=3223937020
45.68/45.71	c 2147483648 ~x1924785+1073741824 ~x1924784+536870912 ~x1924783+268435456 ~x1924782+134217728 ~x1924781+67108864 ~x1924780+33554432 ~x1924779+16777216 ~x1924778+8388608 ~x1924777+4194304 ~x1924776+2097152 ~x1924775+1048576 ~x1924774+524288 ~x1924773+262144 ~x1924772+131072 ~x1924771+65536 ~x1924770+32768 ~x1924769+16384 ~x1924768+8192 ~x1924767+4096 ~x1924766+2048 ~x1924765+1024 ~x1924764+512 ~x1924763+256 ~x1924762+128 ~x1924761+64 ~x1924760+32 ~x1924759+16 ~x1924758+8 ~x1924757+4 ~x1924756+2 ~x1924755+1 ~x1924754+86016000 ~x531+524288 x440+262144 x439+131072 x438+65536 x437+32768 x436+16384 x435+8192 x434+4096 x433+2048 x432+1024 x431+512 x430+256 x429+128 x428+64 x427+32 x426+16 x425+8 x424+4 x423+2 x422+1 x421+524288 ~x321+262144 ~x320+131072 ~x319+65536 ~x318+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302+1073741824 ~x241+536870912 ~x240+268435456 ~x239+134217728 ~x238+67108864 ~x237+33554432 ~x236+16777216 ~x235+8388608 ~x234+4194304 ~x233+2097152 ~x232+1048576 ~x231+524288 ~x230+262144 ~x229+131072 ~x228+65536 ~x227+32768 ~x226+16384 ~x225+8192 ~x224+4096 ~x223+2048 ~x222+1024 ~x221+512 ~x220+256 ~x219+128 ~x218+64 ~x217+32 ~x216+16 ~x215+8 ~x214+4 ~x213+2 ~x212+1073741824 x61+536870912 x60+268435456 x59+134217728 x58+67108864 x57+33554432 x56+16777216 x55+8388608 x54+4194304 x53+2097152 x52+1048576 x51+524288 x50+262144 x49+131072 x48+65536 x47+32768 x46+16384 x45+8192 x44+4096 x43+2048 x42+1024 x41+512 x40+256 x39+128 x38+64 x37+32 x36+16 x35+8 x34+4 x33+2 x32-0=6444318716
46.88/46.97	c 1073741824 ~x1978914+536870912 ~x1978913+268435456 ~x1978912+134217728 ~x1978911+67108864 ~x1978910+33554432 ~x1978909+16777216 ~x1978908+8388608 ~x1978907+4194304 ~x1978906+2097152 ~x1978905+1048576 ~x1978904+524288 ~x1978903+262144 ~x1978902+131072 ~x1978901+65536 ~x1978900+32768 ~x1978899+16384 ~x1978898+8192 ~x1978897+4096 ~x1978896+2048 ~x1978895+1024 ~x1978894+512 ~x1978893+256 ~x1978892+128 ~x1978891+64 ~x1978890+32 ~x1978889+16 ~x1978888+8 ~x1978887+4 ~x1978886+2 ~x1978885+1 ~x1978884+21504000 ~x532+536870912 ~x241+268435456 ~x240+134217728 ~x239+67108864 ~x238+33554432 ~x237+16777216 ~x236+8388608 ~x235+4194304 ~x234+2097152 ~x233+1048576 ~x232+524288 ~x231+262144 ~x230+131072 ~x229+65536 ~x228+32768 ~x227+16384 ~x226+8192 ~x225+4096 ~x224+2048 ~x223+1024 ~x222+512 ~x221+256 ~x220+128 ~x219+64 ~x218+32 ~x217+16 ~x216+8 ~x215+4 ~x214+2 ~x213+1 ~x212+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=3221532670
47.77/47.80	c 1073741824 ~x2015583+536870912 ~x2015582+268435456 ~x2015581+134217728 ~x2015580+67108864 ~x2015579+33554432 ~x2015578+16777216 ~x2015577+8388608 ~x2015576+4194304 ~x2015575+2097152 ~x2015574+1048576 ~x2015573+524288 ~x2015572+262144 ~x2015571+131072 ~x2015570+65536 ~x2015569+32768 ~x2015568+16384 ~x2015567+8192 ~x2015566+4096 ~x2015565+2048 ~x2015564+1024 ~x2015563+512 ~x2015562+256 ~x2015561+128 ~x2015560+64 ~x2015559+32 ~x2015558+16 ~x2015557+8 ~x2015556+4 ~x2015555+2 ~x2015554+1 ~x2015553+43008000 ~x533+262144 ~x459+131072 ~x458+65536 ~x457+32768 ~x456+16384 ~x455+8192 ~x454+4096 ~x453+2048 ~x452+1024 ~x451+512 ~x450+256 ~x449+128 ~x448+64 ~x447+32 ~x446+16 ~x445+8 ~x444+4 ~x443+2 ~x442+1 ~x441+524288 x321+262144 x320+131072 x319+65536 x318+32768 x317+16384 x316+8192 x315+4096 x314+2048 x313+1024 x312+512 x311+256 x310+128 x309+64 x308+32 x307+16 x306+8 x305+4 x304+2 x303+1 x302+536870912 ~x271+268435456 ~x270+134217728 ~x269+67108864 ~x268+33554432 ~x267+16777216 ~x266+8388608 ~x265+4194304 ~x264+2097152 ~x263+1048576 ~x262+524288 ~x261+262144 ~x260+131072 ~x259+65536 ~x258+32768 ~x257+16384 ~x256+8192 ~x255+4096 ~x254+2048 ~x253+1024 ~x252+512 ~x251+256 ~x250+128 ~x249+64 ~x248+32 ~x247+16 ~x246+8 ~x245+4 ~x244+2 ~x243+1 ~x242+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=3223080957
48.87/48.99	c 1048576 ~x2068844+524288 ~x2068843+262144 ~x2068842+131072 ~x2068841+65536 ~x2068840+32768 ~x2068839+16384 ~x2068838+8192 ~x2068837+4096 ~x2068836+2048 ~x2068835+1024 ~x2068834+512 ~x2068833+256 ~x2068832+128 ~x2068831+64 ~x2068830+32 ~x2068829+16 ~x2068828+8 ~x2068827+4 ~x2068826+2 ~x2068825+1 ~x2068824+262144 ~x459+131072 ~x458+65536 ~x457+32768 ~x456+16384 ~x455+8192 ~x454+4096 ~x453+2048 ~x452+1024 ~x451+512 ~x450+256 ~x449+128 ~x448+64 ~x447+32 ~x446+16 ~x445+8 ~x444+4 ~x443+2 ~x442+1 ~x441+524288 x321+262144 x320+131072 x319+65536 x318+32768 x317+16384 x316+8192 x315+4096 x314+2048 x313+1024 x312+512 x311+256 x310+128 x309+64 x308+32 x307+16 x306+8 x305+4 x304+2 x303+1 x302-0=3338238
49.18/49.28	c 1073741824 ~x2081041+536870912 ~x2081040+268435456 ~x2081039+134217728 ~x2081038+67108864 ~x2081037+33554432 ~x2081036+16777216 ~x2081035+8388608 ~x2081034+4194304 ~x2081033+2097152 ~x2081032+1048576 ~x2081031+524288 ~x2081030+262144 ~x2081029+131072 ~x2081028+65536 ~x2081027+32768 ~x2081026+16384 ~x2081025+8192 ~x2081024+4096 ~x2081023+2048 ~x2081022+1024 ~x2081021+512 ~x2081020+256 ~x2081019+128 ~x2081018+64 ~x2081017+32 ~x2081016+16 ~x2081015+8 ~x2081014+4 ~x2081013+2 ~x2081012+1 ~x2081011+43008000 ~x538+524288 ~x459+262144 ~x458+131072 ~x457+65536 ~x456+32768 ~x455+16384 ~x454+8192 ~x453+4096 ~x452+2048 ~x451+1024 ~x450+512 ~x449+256 ~x448+128 ~x447+64 ~x446+32 ~x445+16 ~x444+8 ~x443+4 ~x442+2 ~x441+1048576 x321+524288 x320+262144 x319+131072 x318+65536 x317+32768 x316+16384 x315+8192 x314+4096 x313+2048 x312+1024 x311+512 x310+256 x309+128 x308+64 x307+32 x306+16 x305+8 x304+4 x303+2 x302+536870912 x271+268435456 x270+134217728 x269+67108864 x268+33554432 x267+16777216 x266+8388608 x265+4194304 x264+2097152 x263+1048576 x262+524288 x261+262144 x260+131072 x259+65536 x258+32768 x257+16384 x256+8192 x255+4096 x254+2048 x253+1024 x252+512 x251+256 x250+128 x249+64 x248+32 x247+16 x246+8 x245+4 x244+2 x243+1 x242+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=3223810044
50.37/50.49	c 1073741824 ~x2134312+536870912 ~x2134311+268435456 ~x2134310+134217728 ~x2134309+67108864 ~x2134308+33554432 ~x2134307+16777216 ~x2134306+8388608 ~x2134305+4194304 ~x2134304+2097152 ~x2134303+1048576 ~x2134302+524288 ~x2134301+262144 ~x2134300+131072 ~x2134299+65536 ~x2134298+32768 ~x2134297+16384 ~x2134296+8192 ~x2134295+4096 ~x2134294+2048 ~x2134293+1024 ~x2134292+512 ~x2134291+256 ~x2134290+128 ~x2134289+64 ~x2134288+32 ~x2134287+16 ~x2134286+8 ~x2134285+4 ~x2134284+2 ~x2134283+1 ~x2134282+43008000 ~x539+262144 ~x459+131072 ~x458+65536 ~x457+32768 ~x456+16384 ~x455+8192 ~x454+4096 ~x453+2048 ~x452+1024 ~x451+512 ~x450+256 ~x449+128 ~x448+64 ~x447+32 ~x446+16 ~x445+8 ~x444+4 ~x443+2 ~x442+1 ~x441+524288 x321+262144 x320+131072 x319+65536 x318+32768 x317+16384 x316+8192 x315+4096 x314+2048 x313+1024 x312+512 x311+256 x310+128 x309+64 x308+32 x307+16 x306+8 x305+4 x304+2 x303+1 x302+536870912 x271+268435456 x270+134217728 x269+67108864 x268+33554432 x267+16777216 x266+8388608 x265+4194304 x264+2097152 x263+1048576 x262+524288 x261+262144 x260+131072 x259+65536 x258+32768 x257+16384 x256+8192 x255+4096 x254+2048 x253+1024 x252+512 x251+256 x250+128 x249+64 x248+32 x247+16 x246+8 x245+4 x244+2 x243+1 x242+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=3222773757
51.58/51.69	c 1073741824 ~x2187583+536870912 ~x2187582+268435456 ~x2187581+134217728 ~x2187580+67108864 ~x2187579+33554432 ~x2187578+16777216 ~x2187577+8388608 ~x2187576+4194304 ~x2187575+2097152 ~x2187574+1048576 ~x2187573+524288 ~x2187572+262144 ~x2187571+131072 ~x2187570+65536 ~x2187569+32768 ~x2187568+16384 ~x2187567+8192 ~x2187566+4096 ~x2187565+2048 ~x2187564+1024 ~x2187563+512 ~x2187562+256 ~x2187561+128 ~x2187560+64 ~x2187559+32 ~x2187558+16 ~x2187557+8 ~x2187556+4 ~x2187555+2 ~x2187554+1 ~x2187553+21504000 ~x540+536870912 x271+268435456 x270+134217728 x269+67108864 x268+33554432 x267+16777216 x266+8388608 x265+4194304 x264+2097152 x263+1048576 x262+524288 x261+262144 x260+131072 x259+65536 x258+32768 x257+16384 x256+8192 x255+4096 x254+2048 x253+1024 x252+512 x251+256 x250+128 x249+64 x248+32 x247+16 x246+8 x245+4 x244+2 x243+1 x242+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=3221942270
52.47/52.52	c 1073741824 ~x2224123+536870912 ~x2224122+268435456 ~x2224121+134217728 ~x2224120+67108864 ~x2224119+33554432 ~x2224118+16777216 ~x2224117+8388608 ~x2224116+4194304 ~x2224115+2097152 ~x2224114+1048576 ~x2224113+524288 ~x2224112+262144 ~x2224111+131072 ~x2224110+65536 ~x2224109+32768 ~x2224108+16384 ~x2224107+8192 ~x2224106+4096 ~x2224105+2048 ~x2224104+1024 ~x2224103+512 ~x2224102+256 ~x2224101+128 ~x2224100+64 ~x2224099+32 ~x2224098+16 ~x2224097+8 ~x2224096+4 ~x2224095+2 ~x2224094+1 ~x2224093+28672000 ~x541+262144 x459+131072 x458+65536 x457+32768 x456+16384 x455+8192 x454+4096 x453+2048 x452+1024 x451+512 x450+256 x449+128 x448+64 x447+32 x446+16 x445+8 x444+4 x443+2 x442+1 x441+524288 ~x321+262144 ~x320+131072 ~x319+65536 ~x318+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302+536870912 x271+268435456 x270+134217728 x269+67108864 x268+33554432 x267+16777216 x266+8388608 x265+4194304 x264+2097152 x263+1048576 x262+524288 x261+262144 x260+131072 x259+65536 x258+32768 x257+16384 x256+8192 x255+4096 x254+2048 x253+1024 x252+512 x251+256 x250+128 x249+64 x248+32 x247+16 x246+8 x245+4 x244+2 x243+1 x242+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=3223093245
53.67/53.73	c 1073741824 ~x2277394+536870912 ~x2277393+268435456 ~x2277392+134217728 ~x2277391+67108864 ~x2277390+33554432 ~x2277389+16777216 ~x2277388+8388608 ~x2277387+4194304 ~x2277386+2097152 ~x2277385+1048576 ~x2277384+524288 ~x2277383+262144 ~x2277382+131072 ~x2277381+65536 ~x2277380+32768 ~x2277379+16384 ~x2277378+8192 ~x2277377+4096 ~x2277376+2048 ~x2277375+1024 ~x2277374+512 ~x2277373+256 ~x2277372+128 ~x2277371+64 ~x2277370+32 ~x2277369+16 ~x2277368+8 ~x2277367+4 ~x2277366+2 ~x2277365+1 ~x2277364+86016000 ~x542+524288 x459+262144 x458+131072 x457+65536 x456+32768 x455+16384 x454+8192 x453+4096 x452+2048 x451+1024 x450+512 x449+256 x448+128 x447+64 x446+32 x445+16 x444+8 x443+4 x442+2 x441+1048576 ~x321+524288 ~x320+262144 ~x319+131072 ~x318+65536 ~x317+32768 ~x316+16384 ~x315+8192 ~x314+4096 ~x313+2048 ~x312+1024 ~x311+512 ~x310+256 ~x309+128 ~x308+64 ~x307+32 ~x306+16 ~x305+8 ~x304+4 ~x303+2 ~x302+536870912 ~x271+268435456 ~x270+134217728 ~x269+67108864 ~x268+33554432 ~x267+16777216 ~x266+8388608 ~x265+4194304 ~x264+2097152 ~x263+1048576 ~x262+524288 ~x261+262144 ~x260+131072 ~x259+65536 ~x258+32768 ~x257+16384 ~x256+8192 ~x255+4096 ~x254+2048 ~x253+1024 ~x252+512 ~x251+256 ~x250+128 ~x249+64 ~x248+32 ~x247+16 ~x246+8 ~x245+4 ~x244+2 ~x243+1 ~x242+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=3223732220
54.88/54.93	c 1073741824 ~x2330665+536870912 ~x2330664+268435456 ~x2330663+134217728 ~x2330662+67108864 ~x2330661+33554432 ~x2330660+16777216 ~x2330659+8388608 ~x2330658+4194304 ~x2330657+2097152 ~x2330656+1048576 ~x2330655+524288 ~x2330654+262144 ~x2330653+131072 ~x2330652+65536 ~x2330651+32768 ~x2330650+16384 ~x2330649+8192 ~x2330648+4096 ~x2330647+2048 ~x2330646+1024 ~x2330645+512 ~x2330644+256 ~x2330643+128 ~x2330642+64 ~x2330641+32 ~x2330640+16 ~x2330639+8 ~x2330638+4 ~x2330637+2 ~x2330636+1 ~x2330635+43008000 ~x542+262144 x459+131072 x458+65536 x457+32768 x456+16384 x455+8192 x454+4096 x453+2048 x452+1024 x451+512 x450+256 x449+128 x448+64 x447+32 x446+16 x445+8 x444+4 x443+2 x442+1 x441+524288 ~x321+262144 ~x320+131072 ~x319+65536 ~x318+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302+536870912 x271+268435456 x270+134217728 x269+67108864 x268+33554432 x267+16777216 x266+8388608 x265+4194304 x264+2097152 x263+1048576 x262+524288 x261+262144 x260+131072 x259+65536 x258+32768 x257+16384 x256+8192 x255+4096 x254+2048 x253+1024 x252+512 x251+256 x250+128 x249+64 x248+32 x247+16 x246+8 x245+4 x244+2 x243+1 x242+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=3222786045
56.07/56.14	c 1073741824 ~x2383936+536870912 ~x2383935+268435456 ~x2383934+134217728 ~x2383933+67108864 ~x2383932+33554432 ~x2383931+16777216 ~x2383930+8388608 ~x2383929+4194304 ~x2383928+2097152 ~x2383927+1048576 ~x2383926+524288 ~x2383925+262144 ~x2383924+131072 ~x2383923+65536 ~x2383922+32768 ~x2383921+16384 ~x2383920+8192 ~x2383919+4096 ~x2383918+2048 ~x2383917+1024 ~x2383916+512 ~x2383915+256 ~x2383914+128 ~x2383913+64 ~x2383912+32 ~x2383911+16 ~x2383910+8 ~x2383909+4 ~x2383908+2 ~x2383907+1 ~x2383906+86016000 ~x543+524288 x459+262144 x458+131072 x457+65536 x456+32768 x455+16384 x454+8192 x453+4096 x452+2048 x451+1024 x450+512 x449+256 x448+128 x447+64 x446+32 x445+16 x444+8 x443+4 x442+2 x441+1048576 ~x321+524288 ~x320+262144 ~x319+131072 ~x318+65536 ~x317+32768 ~x316+16384 ~x315+8192 ~x314+4096 ~x313+2048 ~x312+1024 ~x311+512 ~x310+256 ~x309+128 ~x308+64 ~x307+32 ~x306+16 ~x305+8 ~x304+4 ~x303+2 ~x302+536870912 ~x271+268435456 ~x270+134217728 ~x269+67108864 ~x268+33554432 ~x267+16777216 ~x266+8388608 ~x265+4194304 ~x264+2097152 ~x263+1048576 ~x262+524288 ~x261+262144 ~x260+131072 ~x259+65536 ~x258+32768 ~x257+16384 ~x256+8192 ~x255+4096 ~x254+2048 ~x253+1024 ~x252+512 ~x251+256 ~x250+128 ~x249+64 ~x248+32 ~x247+16 ~x246+8 ~x245+4 ~x244+2 ~x243+1 ~x242+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=3224346620
57.27/57.39	c 2147483648 ~x2437208+1073741824 ~x2437207+536870912 ~x2437206+268435456 ~x2437205+134217728 ~x2437204+67108864 ~x2437203+33554432 ~x2437202+16777216 ~x2437201+8388608 ~x2437200+4194304 ~x2437199+2097152 ~x2437198+1048576 ~x2437197+524288 ~x2437196+262144 ~x2437195+131072 ~x2437194+65536 ~x2437193+32768 ~x2437192+16384 ~x2437191+8192 ~x2437190+4096 ~x2437189+2048 ~x2437188+1024 ~x2437187+512 ~x2437186+256 ~x2437185+128 ~x2437184+64 ~x2437183+32 ~x2437182+16 ~x2437181+8 ~x2437180+4 ~x2437179+2 ~x2437178+1 ~x2437177+430080000 ~x544+262144 x459+131072 x458+65536 x457+32768 x456+16384 x455+8192 x454+4096 x453+2048 x452+1024 x451+512 x450+256 x449+128 x448+64 x447+32 x446+16 x445+8 x444+4 x443+2 x442+1 x441+524288 ~x321+262144 ~x320+131072 ~x319+65536 ~x318+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302+1073741824 ~x271+536870912 ~x270+268435456 ~x269+134217728 ~x268+67108864 ~x267+33554432 ~x266+16777216 ~x265+8388608 ~x264+4194304 ~x263+2097152 ~x262+1048576 ~x261+524288 ~x260+262144 ~x259+131072 ~x258+65536 ~x257+32768 ~x256+16384 ~x255+8192 ~x254+4096 ~x253+2048 ~x252+1024 ~x251+512 ~x250+256 ~x249+128 ~x248+64 ~x247+32 ~x246+16 ~x245+8 ~x244+4 ~x243+2 ~x242+1073741824 x61+536870912 x60+268435456 x59+134217728 x58+67108864 x57+33554432 x56+16777216 x55+8388608 x54+4194304 x53+2097152 x52+1048576 x51+524288 x50+262144 x49+131072 x48+65536 x47+32768 x46+16384 x45+8192 x44+4096 x43+2048 x42+1024 x41+512 x40+256 x39+128 x38+64 x37+32 x36+16 x35+8 x34+4 x33+2 x32-0=6444318716
58.57/58.60	c 1073741824 ~x2490908+536870912 ~x2490907+268435456 ~x2490906+134217728 ~x2490905+67108864 ~x2490904+33554432 ~x2490903+16777216 ~x2490902+8388608 ~x2490901+4194304 ~x2490900+2097152 ~x2490899+1048576 ~x2490898+524288 ~x2490897+262144 ~x2490896+131072 ~x2490895+65536 ~x2490894+32768 ~x2490893+16384 ~x2490892+8192 ~x2490891+4096 ~x2490890+2048 ~x2490889+1024 ~x2490888+512 ~x2490887+256 ~x2490886+128 ~x2490885+64 ~x2490884+32 ~x2490883+16 ~x2490882+8 ~x2490881+4 ~x2490880+2 ~x2490879+1 ~x2490878+215040000 ~x544+524288 x459+262144 x458+131072 x457+65536 x456+32768 x455+16384 x454+8192 x453+4096 x452+2048 x451+1024 x450+512 x449+256 x448+128 x447+64 x446+32 x445+16 x444+8 x443+4 x442+2 x441+1048576 ~x321+524288 ~x320+262144 ~x319+131072 ~x318+65536 ~x317+32768 ~x316+16384 ~x315+8192 ~x314+4096 ~x313+2048 ~x312+1024 ~x311+512 ~x310+256 ~x309+128 ~x308+64 ~x307+32 ~x306+16 ~x305+8 ~x304+4 ~x303+2 ~x302+536870912 x271+268435456 x270+134217728 x269+67108864 x268+33554432 x267+16777216 x266+8388608 x265+4194304 x264+2097152 x263+1048576 x262+524288 x261+262144 x260+131072 x259+65536 x258+32768 x257+16384 x256+8192 x255+4096 x254+2048 x253+1024 x252+512 x251+256 x250+128 x249+64 x248+32 x247+16 x246+8 x245+4 x244+2 x243+1 x242+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=3223834620
59.77/59.80	c 1073741824 ~x2544179+536870912 ~x2544178+268435456 ~x2544177+134217728 ~x2544176+67108864 ~x2544175+33554432 ~x2544174+16777216 ~x2544173+8388608 ~x2544172+4194304 ~x2544171+2097152 ~x2544170+1048576 ~x2544169+524288 ~x2544168+262144 ~x2544167+131072 ~x2544166+65536 ~x2544165+32768 ~x2544164+16384 ~x2544163+8192 ~x2544162+4096 ~x2544161+2048 ~x2544160+1024 ~x2544159+512 ~x2544158+256 ~x2544157+128 ~x2544156+64 ~x2544155+32 ~x2544154+16 ~x2544153+8 ~x2544152+4 ~x2544151+2 ~x2544150+1 ~x2544149+86016000 ~x545+524288 x459+262144 x458+131072 x457+65536 x456+32768 x455+16384 x454+8192 x453+4096 x452+2048 x451+1024 x450+512 x449+256 x448+128 x447+64 x446+32 x445+16 x444+8 x443+4 x442+2 x441+1048576 ~x321+524288 ~x320+262144 ~x319+131072 ~x318+65536 ~x317+32768 ~x316+16384 ~x315+8192 ~x314+4096 ~x313+2048 ~x312+1024 ~x311+512 ~x310+256 ~x309+128 ~x308+64 ~x307+32 ~x306+16 ~x305+8 ~x304+4 ~x303+2 ~x302+536870912 ~x271+268435456 ~x270+134217728 ~x269+67108864 ~x268+33554432 ~x267+16777216 ~x266+8388608 ~x265+4194304 ~x264+2097152 ~x263+1048576 ~x262+524288 ~x261+262144 ~x260+131072 ~x259+65536 ~x258+32768 ~x257+16384 ~x256+8192 ~x255+4096 ~x254+2048 ~x253+1024 ~x252+512 ~x251+256 ~x250+128 ~x249+64 ~x248+32 ~x247+16 ~x246+8 ~x245+4 ~x244+2 ~x243+1 ~x242+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=3224449020
60.97/61.00	c 1073741824 ~x2597450+536870912 ~x2597449+268435456 ~x2597448+134217728 ~x2597447+67108864 ~x2597446+33554432 ~x2597445+16777216 ~x2597444+8388608 ~x2597443+4194304 ~x2597442+2097152 ~x2597441+1048576 ~x2597440+524288 ~x2597439+262144 ~x2597438+131072 ~x2597437+65536 ~x2597436+32768 ~x2597435+16384 ~x2597434+8192 ~x2597433+4096 ~x2597432+2048 ~x2597431+1024 ~x2597430+512 ~x2597429+256 ~x2597428+128 ~x2597427+64 ~x2597426+32 ~x2597425+16 ~x2597424+8 ~x2597423+4 ~x2597422+2 ~x2597421+1 ~x2597420+28672000 ~x535+536870912 ~x271+268435456 ~x270+134217728 ~x269+67108864 ~x268+33554432 ~x267+16777216 ~x266+8388608 ~x265+4194304 ~x264+2097152 ~x263+1048576 ~x262+524288 ~x261+262144 ~x260+131072 ~x259+65536 ~x258+32768 ~x257+16384 ~x256+8192 ~x255+4096 ~x254+2048 ~x253+1024 ~x252+512 ~x251+256 ~x250+128 ~x249+64 ~x248+32 ~x247+16 ~x246+8 ~x245+4 ~x244+2 ~x243+1 ~x242+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=3221737470
61.77/61.83	c 2147483648 ~x2633991+1073741824 ~x2633990+536870912 ~x2633989+268435456 ~x2633988+134217728 ~x2633987+67108864 ~x2633986+33554432 ~x2633985+16777216 ~x2633984+8388608 ~x2633983+4194304 ~x2633982+2097152 ~x2633981+1048576 ~x2633980+524288 ~x2633979+262144 ~x2633978+131072 ~x2633977+65536 ~x2633976+32768 ~x2633975+16384 ~x2633974+8192 ~x2633973+4096 ~x2633972+2048 ~x2633971+1024 ~x2633970+512 ~x2633969+256 ~x2633968+128 ~x2633967+64 ~x2633966+32 ~x2633965+16 ~x2633964+8 ~x2633963+4 ~x2633962+2 ~x2633961+1 ~x2633960+430080000 ~x535+262144 x459+131072 x458+65536 x457+32768 x456+16384 x455+8192 x454+4096 x453+2048 x452+1024 x451+512 x450+256 x449+128 x448+64 x447+32 x446+16 x445+8 x444+4 x443+2 x442+1 x441+524288 ~x321+262144 ~x320+131072 ~x319+65536 ~x318+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302+1073741824 ~x271+536870912 ~x270+268435456 ~x269+134217728 ~x268+67108864 ~x267+33554432 ~x266+16777216 ~x265+8388608 ~x264+4194304 ~x263+2097152 ~x262+1048576 ~x261+524288 ~x260+262144 ~x259+131072 ~x258+65536 ~x257+32768 ~x256+16384 ~x255+8192 ~x254+4096 ~x253+2048 ~x252+1024 ~x251+512 ~x250+256 ~x249+128 ~x248+64 ~x247+32 ~x246+16 ~x245+8 ~x244+4 ~x243+2 ~x242+1073741824 x61+536870912 x60+268435456 x59+134217728 x58+67108864 x57+33554432 x56+16777216 x55+8388608 x54+4194304 x53+2097152 x52+1048576 x51+524288 x50+262144 x49+131072 x48+65536 x47+32768 x46+16384 x45+8192 x44+4096 x43+2048 x42+1024 x41+512 x40+256 x39+128 x38+64 x37+32 x36+16 x35+8 x34+4 x33+2 x32-0=6444523516
62.97/63.06	c 1073741824 ~x2687691+536870912 ~x2687690+268435456 ~x2687689+134217728 ~x2687688+67108864 ~x2687687+33554432 ~x2687686+16777216 ~x2687685+8388608 ~x2687684+4194304 ~x2687683+2097152 ~x2687682+1048576 ~x2687681+524288 ~x2687680+262144 ~x2687679+131072 ~x2687678+65536 ~x2687677+32768 ~x2687676+16384 ~x2687675+8192 ~x2687674+4096 ~x2687673+2048 ~x2687672+1024 ~x2687671+512 ~x2687670+256 ~x2687669+128 ~x2687668+64 ~x2687667+32 ~x2687666+16 ~x2687665+8 ~x2687664+4 ~x2687663+2 ~x2687662+1 ~x2687661+215040000 ~x535+524288 x459+262144 x458+131072 x457+65536 x456+32768 x455+16384 x454+8192 x453+4096 x452+2048 x451+1024 x450+512 x449+256 x448+128 x447+64 x446+32 x445+16 x444+8 x443+4 x442+2 x441+1048576 ~x321+524288 ~x320+262144 ~x319+131072 ~x318+65536 ~x317+32768 ~x316+16384 ~x315+8192 ~x314+4096 ~x313+2048 ~x312+1024 ~x311+512 ~x310+256 ~x309+128 ~x308+64 ~x307+32 ~x306+16 ~x305+8 ~x304+4 ~x303+2 ~x302+536870912 x271+268435456 x270+134217728 x269+67108864 x268+33554432 x267+16777216 x266+8388608 x265+4194304 x264+2097152 x263+1048576 x262+524288 x261+262144 x260+131072 x259+65536 x258+32768 x257+16384 x256+8192 x255+4096 x254+2048 x253+1024 x252+512 x251+256 x250+128 x249+64 x248+32 x247+16 x246+8 x245+4 x244+2 x243+1 x242+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=3222708220
64.17/64.27	c 1073741824 ~x2740962+536870912 ~x2740961+268435456 ~x2740960+134217728 ~x2740959+67108864 ~x2740958+33554432 ~x2740957+16777216 ~x2740956+8388608 ~x2740955+4194304 ~x2740954+2097152 ~x2740953+1048576 ~x2740952+524288 ~x2740951+262144 ~x2740950+131072 ~x2740949+65536 ~x2740948+32768 ~x2740947+16384 ~x2740946+8192 ~x2740945+4096 ~x2740944+2048 ~x2740943+1024 ~x2740942+512 ~x2740941+256 ~x2740940+128 ~x2740939+64 ~x2740938+32 ~x2740937+16 ~x2740936+8 ~x2740935+4 ~x2740934+2 ~x2740933+1 ~x2740932+86016000 ~x536+524288 x459+262144 x458+131072 x457+65536 x456+32768 x455+16384 x454+8192 x453+4096 x452+2048 x451+1024 x450+512 x449+256 x448+128 x447+64 x446+32 x445+16 x444+8 x443+4 x442+2 x441+1048576 ~x321+524288 ~x320+262144 ~x319+131072 ~x318+65536 ~x317+32768 ~x316+16384 ~x315+8192 ~x314+4096 ~x313+2048 ~x312+1024 ~x311+512 ~x310+256 ~x309+128 ~x308+64 ~x307+32 ~x306+16 ~x305+8 ~x304+4 ~x303+2 ~x302+536870912 ~x271+268435456 ~x270+134217728 ~x269+67108864 ~x268+33554432 ~x267+16777216 ~x266+8388608 ~x265+4194304 ~x264+2097152 ~x263+1048576 ~x262+524288 ~x261+262144 ~x260+131072 ~x259+65536 ~x258+32768 ~x257+16384 ~x256+8192 ~x255+4096 ~x254+2048 ~x253+1024 ~x252+512 ~x251+256 ~x250+128 ~x249+64 ~x248+32 ~x247+16 ~x246+8 ~x245+4 ~x244+2 ~x243+1 ~x242+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=3223937020
65.37/65.47	c 1073741824 ~x2794233+536870912 ~x2794232+268435456 ~x2794231+134217728 ~x2794230+67108864 ~x2794229+33554432 ~x2794228+16777216 ~x2794227+8388608 ~x2794226+4194304 ~x2794225+2097152 ~x2794224+1048576 ~x2794223+524288 ~x2794222+262144 ~x2794221+131072 ~x2794220+65536 ~x2794219+32768 ~x2794218+16384 ~x2794217+8192 ~x2794216+4096 ~x2794215+2048 ~x2794214+1024 ~x2794213+512 ~x2794212+256 ~x2794211+128 ~x2794210+64 ~x2794209+32 ~x2794208+16 ~x2794207+8 ~x2794206+4 ~x2794205+2 ~x2794204+1 ~x2794203+21504000 ~x537+536870912 ~x271+268435456 ~x270+134217728 ~x269+67108864 ~x268+33554432 ~x267+16777216 ~x266+8388608 ~x265+4194304 ~x264+2097152 ~x263+1048576 ~x262+524288 ~x261+262144 ~x260+131072 ~x259+65536 ~x258+32768 ~x257+16384 ~x256+8192 ~x255+4096 ~x254+2048 ~x253+1024 ~x252+512 ~x251+256 ~x250+128 ~x249+64 ~x248+32 ~x247+16 ~x246+8 ~x245+4 ~x244+2 ~x243+1 ~x242+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=3222044670
66.27/66.31	c 1073741824 ~x2830998+536870912 ~x2830997+268435456 ~x2830996+134217728 ~x2830995+67108864 ~x2830994+33554432 ~x2830993+16777216 ~x2830992+8388608 ~x2830991+4194304 ~x2830990+2097152 ~x2830989+1048576 ~x2830988+524288 ~x2830987+262144 ~x2830986+131072 ~x2830985+65536 ~x2830984+32768 ~x2830983+16384 ~x2830982+8192 ~x2830981+4096 ~x2830980+2048 ~x2830979+1024 ~x2830978+512 ~x2830977+256 ~x2830976+128 ~x2830975+64 ~x2830974+32 ~x2830973+16 ~x2830972+8 ~x2830971+4 ~x2830970+2 ~x2830969+1 ~x2830968+28672000 ~x546+524288 ~x479+262144 ~x478+131072 ~x477+65536 ~x476+32768 ~x475+16384 ~x474+8192 ~x473+4096 ~x472+2048 ~x471+1024 ~x470+512 ~x469+256 ~x468+128 ~x467+64 ~x466+32 ~x465+16 ~x464+8 ~x463+4 ~x462+2 ~x461+1 ~x460+524288 x321+262144 x320+131072 x319+65536 x318+32768 x317+16384 x316+8192 x315+4096 x314+2048 x313+1024 x312+512 x311+256 x310+128 x309+64 x308+32 x307+16 x306+8 x305+4 x304+2 x303+1 x302+536870912 ~x301+268435456 ~x300+134217728 ~x299+67108864 ~x298+33554432 ~x297+16777216 ~x296+8388608 ~x295+4194304 ~x294+2097152 ~x293+1048576 ~x292+524288 ~x291+262144 ~x290+131072 ~x289+65536 ~x288+32768 ~x287+16384 ~x286+8192 ~x285+4096 ~x284+2048 ~x283+1024 ~x282+512 ~x281+256 ~x280+128 ~x279+64 ~x278+32 ~x277+16 ~x276+8 ~x275+4 ~x274+2 ~x273+1 ~x272+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=3222888445
67.47/67.52	c 1048576 ~x2884688+524288 ~x2884687+262144 ~x2884686+131072 ~x2884685+65536 ~x2884684+32768 ~x2884683+16384 ~x2884682+8192 ~x2884681+4096 ~x2884680+2048 ~x2884679+1024 ~x2884678+512 ~x2884677+256 ~x2884676+128 ~x2884675+64 ~x2884674+32 ~x2884673+16 ~x2884672+8 ~x2884671+4 ~x2884670+2 ~x2884669+1 ~x2884668+524288 ~x479+262144 ~x478+131072 ~x477+65536 ~x476+32768 ~x475+16384 ~x474+8192 ~x473+4096 ~x472+2048 ~x471+1024 ~x470+512 ~x469+256 ~x468+128 ~x467+64 ~x466+32 ~x465+16 ~x464+8 ~x463+4 ~x462+2 ~x461+1 ~x460+524288 x321+262144 x320+131072 x319+65536 x318+32768 x317+16384 x316+8192 x315+4096 x314+2048 x313+1024 x312+512 x311+256 x310+128 x309+64 x308+32 x307+16 x306+8 x305+4 x304+2 x303+1 x302-0=3760126
67.76/67.81	c 1073741824 ~x2897110+536870912 ~x2897109+268435456 ~x2897108+134217728 ~x2897107+67108864 ~x2897106+33554432 ~x2897105+16777216 ~x2897104+8388608 ~x2897103+4194304 ~x2897102+2097152 ~x2897101+1048576 ~x2897100+524288 ~x2897099+262144 ~x2897098+131072 ~x2897097+65536 ~x2897096+32768 ~x2897095+16384 ~x2897094+8192 ~x2897093+4096 ~x2897092+2048 ~x2897091+1024 ~x2897090+512 ~x2897089+256 ~x2897088+128 ~x2897087+64 ~x2897086+32 ~x2897085+16 ~x2897084+8 ~x2897083+4 ~x2897082+2 ~x2897081+1 ~x2897080+8601600 ~x548+536870912 x301+268435456 x300+134217728 x299+67108864 x298+33554432 x297+16777216 x296+8388608 x295+4194304 x294+2097152 x293+1048576 x292+524288 x291+262144 x290+131072 x289+65536 x288+32768 x287+16384 x286+8192 x285+4096 x284+2048 x283+1024 x282+512 x281+256 x280+128 x279+64 x278+32 x277+16 x276+8 x275+4 x274+2 x273+1 x272+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=3221942270
68.56/68.64	c 1073741824 ~x2933650+536870912 ~x2933649+268435456 ~x2933648+134217728 ~x2933647+67108864 ~x2933646+33554432 ~x2933645+16777216 ~x2933644+8388608 ~x2933643+4194304 ~x2933642+2097152 ~x2933641+1048576 ~x2933640+524288 ~x2933639+262144 ~x2933638+131072 ~x2933637+65536 ~x2933636+32768 ~x2933635+16384 ~x2933634+8192 ~x2933633+4096 ~x2933632+2048 ~x2933631+1024 ~x2933630+512 ~x2933629+256 ~x2933628+128 ~x2933627+64 ~x2933626+32 ~x2933625+16 ~x2933624+8 ~x2933623+4 ~x2933622+2 ~x2933621+1 ~x2933620+86016000 ~x549+1048576 x479+524288 x478+262144 x477+131072 x476+65536 x475+32768 x474+16384 x473+8192 x472+4096 x471+2048 x470+1024 x469+512 x468+256 x467+128 x466+64 x465+32 x464+16 x463+8 x462+4 x461+2 x460+1048576 ~x321+524288 ~x320+262144 ~x319+131072 ~x318+65536 ~x317+32768 ~x316+16384 ~x315+8192 ~x314+4096 ~x313+2048 ~x312+1024 ~x311+512 ~x310+256 ~x309+128 ~x308+64 ~x307+32 ~x306+16 ~x305+8 ~x304+4 ~x303+2 ~x302+536870912 ~x301+268435456 ~x300+134217728 ~x299+67108864 ~x298+33554432 ~x297+16777216 ~x296+8388608 ~x295+4194304 ~x294+2097152 ~x293+1048576 ~x292+524288 ~x291+262144 ~x290+131072 ~x289+65536 ~x288+32768 ~x287+16384 ~x286+8192 ~x285+4096 ~x284+2048 ~x283+1024 ~x282+512 ~x281+256 ~x280+128 ~x279+64 ~x278+32 ~x277+16 ~x276+8 ~x275+4 ~x274+2 ~x273+1 ~x272+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=3223425020
69.77/69.85	c 1073741824 ~x2987350+536870912 ~x2987349+268435456 ~x2987348+134217728 ~x2987347+67108864 ~x2987346+33554432 ~x2987345+16777216 ~x2987344+8388608 ~x2987343+4194304 ~x2987342+2097152 ~x2987341+1048576 ~x2987340+524288 ~x2987339+262144 ~x2987338+131072 ~x2987337+65536 ~x2987336+32768 ~x2987335+16384 ~x2987334+8192 ~x2987333+4096 ~x2987332+2048 ~x2987331+1024 ~x2987330+512 ~x2987329+256 ~x2987328+128 ~x2987327+64 ~x2987326+32 ~x2987325+16 ~x2987324+8 ~x2987323+4 ~x2987322+2 ~x2987321+1 ~x2987320+43008000 ~x549+524288 x479+262144 x478+131072 x477+65536 x476+32768 x475+16384 x474+8192 x473+4096 x472+2048 x471+1024 x470+512 x469+256 x468+128 x467+64 x466+32 x465+16 x464+8 x463+4 x462+2 x461+1 x460+524288 ~x321+262144 ~x320+131072 ~x319+65536 ~x318+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302+536870912 x301+268435456 x300+134217728 x299+67108864 x298+33554432 x297+16777216 x296+8388608 x295+4194304 x294+2097152 x293+1048576 x292+524288 x291+262144 x290+131072 x289+65536 x288+32768 x287+16384 x286+8192 x285+4096 x284+2048 x283+1024 x282+512 x281+256 x280+128 x279+64 x278+32 x277+16 x276+8 x275+4 x274+2 x273+1 x272+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=3223093245
71.06/71.12	c 9223372036854775808 ~x3041083+4611686018427387904 ~x3041082+2305843009213693952 ~x3041081+1152921504606846976 ~x3041080+576460752303423488 ~x3041079+288230376151711744 ~x3041078+144115188075855872 ~x3041077+72057594037927936 ~x3041076+36028797018963968 ~x3041075+18014398509481984 ~x3041074+9007199254740992 ~x3041073+4503599627370496 ~x3041072+2251799813685248 ~x3041071+1125899906842624 ~x3041070+562949953421312 ~x3041069+281474976710656 ~x3041068+140737488355328 ~x3041067+70368744177664 ~x3041066+35184372088832 ~x3041065+17592186044416 ~x3041064+8796093022208 ~x3041063+4398046511104 ~x3041062+2199023255552 ~x3041061+1099511627776 ~x3041060+549755813888 ~x3041059+274877906944 ~x3041058+137438953472 ~x3041057+68719476736 ~x3041056+34359738368 ~x3041055+17179869184 ~x3041054+8589934592 ~x3041053+4294967296 ~x3041052+2147483648 ~x3041051+1073741824 ~x3041050+536870912 ~x3041049+268435456 ~x3041048+134217728 ~x3041047+67108864 ~x3041046+33554432 ~x3041045+16777216 ~x3041044+8388608 ~x3041043+4194304 ~x3041042+2097152 ~x3041041+1048576 ~x3041040+524288 ~x3041039+262144 ~x3041038+131072 ~x3041037+65536 ~x3041036+32768 ~x3041035+16384 ~x3041034+8192 ~x3041033+4096 ~x3041032+2048 ~x3041031+1024 ~x3041030+512 ~x3041029+256 ~x3041028+128 ~x3041027+64 ~x3041026+32 ~x3041025+16 ~x3041024+8 ~x3041023+4 ~x3041022+2 ~x3041021+1 ~x3041020+860160000000000000 ~x550+8738098400198656 x479+4369049200099328 x478+2184524600049664 x477+1092262300024832 x476+546131150012416 x475+273065575006208 x474+136532787503104 x473+68266393751552 x472+34133196875776 x471+17066598437888 x470+8533299218944 x469+4266649609472 x468+2133324804736 x467+1066662402368 x466+533331201184 x465+266665600592 x464+133332800296 x463+66666400148 x462+33333200074 x461+16666600037 x460+8738098401771520 ~x321+4369049200885760 ~x320+2184524600442880 ~x319+1092262300221440 ~x318+546131150110720 ~x317+273065575055360 ~x316+136532787527680 ~x315+68266393763840 ~x314+34133196881920 ~x313+17066598440960 ~x312+8533299220480 ~x311+4266649610240 ~x310+2133324805120 ~x309+1066662402560 ~x308+533331201280 ~x307+266665600640 ~x306+133332800320 ~x305+66666400160 ~x304+33333200080 ~x303+16666600040 ~x302+8947811942001541120 ~x301+4473905971000770560 ~x300+2236952985500385280 ~x299+1118476492750192640 ~x298+559238246375096320 ~x297+279619123187548160 ~x296+139809561593774080 ~x295+69904780796887040 ~x294+34952390398443520 ~x293+17476195199221760 ~x292+8738097599610880 ~x291+4369048799805440 ~x290+2184524399902720 ~x289+1092262199951360 ~x288+546131099975680 ~x287+273065549987840 ~x286+136532774993920 ~x285+68266387496960 ~x284+34133193748480 ~x283+17066596874240 ~x282+8533298437120 ~x281+4266649218560 ~x280+2133324609280 ~x279+1066662304640 ~x278+533331152320 ~x277+266665576160 ~x276+133332788080 ~x275+66666394040 ~x274+33333197020 ~x273+16666598510 ~x272+8947811942538412032 x61+4473905971269206016 x60+2236952985634603008 x59+1118476492817301504 x58+559238246408650752 x57+279619123204325376 x56+139809561602162688 x55+69904780801081344 x54+34952390400540672 x53+17476195200270336 x52+8738097600135168 x51+4369048800067584 x50+2184524400033792 x49+1092262200016896 x48+546131100008448 x47+273065550004224 x46+136532775002112 x45+68266387501056 x44+34133193750528 x43+17066596875264 x42+8533298437632 x41+4266649218816 x40+2133324609408 x39+1066662304704 x38+533331152352 x37+266665576176 x36+133332788088 x35+66666394044 x34+33333197022 x33+16666598511 x32-0=36363257441374978345
74.97/75.02	c 36893488147419103232 ~x3215637+18446744073709551616 ~x3215636+9223372036854775808 ~x3215635+4611686018427387904 ~x3215634+2305843009213693952 ~x3215633+1152921504606846976 ~x3215632+576460752303423488 ~x3215631+288230376151711744 ~x3215630+144115188075855872 ~x3215629+72057594037927936 ~x3215628+36028797018963968 ~x3215627+18014398509481984 ~x3215626+9007199254740992 ~x3215625+4503599627370496 ~x3215624+2251799813685248 ~x3215623+1125899906842624 ~x3215622+562949953421312 ~x3215621+281474976710656 ~x3215620+140737488355328 ~x3215619+70368744177664 ~x3215618+35184372088832 ~x3215617+17592186044416 ~x3215616+8796093022208 ~x3215615+4398046511104 ~x3215614+2199023255552 ~x3215613+1099511627776 ~x3215612+549755813888 ~x3215611+274877906944 ~x3215610+137438953472 ~x3215609+68719476736 ~x3215608+34359738368 ~x3215607+17179869184 ~x3215606+8589934592 ~x3215605+4294967296 ~x3215604+2147483648 ~x3215603+1073741824 ~x3215602+536870912 ~x3215601+268435456 ~x3215600+134217728 ~x3215599+67108864 ~x3215598+33554432 ~x3215597+16777216 ~x3215596+8388608 ~x3215595+4194304 ~x3215594+2097152 ~x3215593+1048576 ~x3215592+524288 ~x3215591+262144 ~x3215590+131072 ~x3215589+65536 ~x3215588+32768 ~x3215587+16384 ~x3215586+8192 ~x3215585+4096 ~x3215584+2048 ~x3215583+1024 ~x3215582+512 ~x3215581+256 ~x3215580+128 ~x3215579+64 ~x3215578+32 ~x3215577+16 ~x3215576+8 ~x3215575+4 ~x3215574+2 ~x3215573+1 ~x3215572+8601600000000000000 ~x550+69905415998013440 x479+34952707999006720 x478+17476353999503360 x477+8738176999751680 x476+4369088499875840 x475+2184544249937920 x474+1092272124968960 x473+546136062484480 x472+273068031242240 x471+136534015621120 x470+68267007810560 x469+34133503905280 x468+17066751952640 x467+8533375976320 x466+4266687988160 x465+2133343994080 x464+1066671997040 x463+533335998520 x462+266667999260 x461+133333999630 x460+69905415982284800 ~x321+34952707991142400 ~x320+17476353995571200 ~x319+8738176997785600 ~x318+4369088498892800 ~x317+2184544249446400 ~x316+1092272124723200 ~x315+546136062361600 ~x314+273068031180800 ~x313+136534015590400 ~x312+68267007795200 ~x311+34133503897600 ~x310+17066751948800 ~x309+8533375974400 ~x308+4266687987200 ~x307+2133343993600 ~x306+1066671996800 ~x305+533335998400 ~x304+266667999200 ~x303+133333999600 ~x302+35791028223773507584 x301+17895514111886753792 x300+8947757055943376896 x299+4473878527971688448 x298+2236939263985844224 x297+1118469631992922112 x296+559234815996461056 x295+279617407998230528 x294+139808703999115264 x293+69904351999557632 x292+34952175999778816 x291+17476087999889408 x290+8738043999944704 x289+4369021999972352 x288+2184510999986176 x287+1092255499993088 x286+546127749996544 x285+273063874998272 x284+136531937499136 x283+68265968749568 x282+34132984374784 x281+17066492187392 x280+8533246093696 x279+4266623046848 x278+2133311523424 x277+1066655761712 x276+533327880856 x275+266663940428 x274+133331970214 x273+66665985107 x272+35791028225384120320 ~x61+17895514112692060160 ~x60+8947757056346030080 ~x59+4473878528173015040 ~x58+2236939264086507520 ~x57+1118469632043253760 ~x56+559234816021626880 ~x55+279617408010813440 ~x54+139808704005406720 ~x53+69904352002703360 ~x52+34952176001351680 ~x51+17476088000675840 ~x50+8738044000337920 ~x49+4369022000168960 ~x48+2184511000084480 ~x47+1092255500042240 ~x46+546127750021120 ~x45+273063875010560 ~x44+136531937505280 ~x43+68265968752640 ~x42+34132984376320 ~x41+17066492188160 ~x40+8533246094080 ~x39+4266623047040 ~x38+2133311523520 ~x37+1066655761760 ~x36+533327880880 ~x35+266663940440 ~x34+133331970220 ~x33+66665985110 ~x32-0=145563456983971031993
78.87/79.00	c 1073741824 ~x3394211+536870912 ~x3394210+268435456 ~x3394209+134217728 ~x3394208+67108864 ~x3394207+33554432 ~x3394206+16777216 ~x3394205+8388608 ~x3394204+4194304 ~x3394203+2097152 ~x3394202+1048576 ~x3394201+524288 ~x3394200+262144 ~x3394199+131072 ~x3394198+65536 ~x3394197+32768 ~x3394196+16384 ~x3394195+8192 ~x3394194+4096 ~x3394193+2048 ~x3394192+1024 ~x3394191+512 ~x3394190+256 ~x3394189+128 ~x3394188+64 ~x3394187+32 ~x3394186+16 ~x3394185+8 ~x3394184+4 ~x3394183+2 ~x3394182+1 ~x3394181+28672000 ~x551+524288 x479+262144 x478+131072 x477+65536 x476+32768 x475+16384 x474+8192 x473+4096 x472+2048 x471+1024 x470+512 x469+256 x468+128 x467+64 x466+32 x465+16 x464+8 x463+4 x462+2 x461+1 x460+524288 ~x321+262144 ~x320+131072 ~x319+65536 ~x318+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302+536870912 ~x301+268435456 ~x300+134217728 ~x299+67108864 ~x298+33554432 ~x297+16777216 ~x296+8388608 ~x295+4194304 ~x294+2097152 ~x293+1048576 ~x292+524288 ~x291+262144 ~x290+131072 ~x289+65536 ~x288+32768 ~x287+16384 ~x286+8192 ~x285+4096 ~x284+2048 ~x283+1024 ~x282+512 ~x281+256 ~x280+128 ~x279+64 ~x278+32 ~x277+16 ~x276+8 ~x275+4 ~x274+2 ~x273+1 ~x272+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=3222683645
80.17/80.21	c 1073741824 ~x3447911+536870912 ~x3447910+268435456 ~x3447909+134217728 ~x3447908+67108864 ~x3447907+33554432 ~x3447906+16777216 ~x3447905+8388608 ~x3447904+4194304 ~x3447903+2097152 ~x3447902+1048576 ~x3447901+524288 ~x3447900+262144 ~x3447899+131072 ~x3447898+65536 ~x3447897+32768 ~x3447896+16384 ~x3447895+8192 ~x3447894+4096 ~x3447893+2048 ~x3447892+1024 ~x3447891+512 ~x3447890+256 ~x3447889+128 ~x3447888+64 ~x3447887+32 ~x3447886+16 ~x3447885+8 ~x3447884+4 ~x3447883+2 ~x3447882+1 ~x3447881+21504000 ~x552+536870912 ~x301+268435456 ~x300+134217728 ~x299+67108864 ~x298+33554432 ~x297+16777216 ~x296+8388608 ~x295+4194304 ~x294+2097152 ~x293+1048576 ~x292+524288 ~x291+262144 ~x290+131072 ~x289+65536 ~x288+32768 ~x287+16384 ~x286+8192 ~x285+4096 ~x284+2048 ~x283+1024 ~x282+512 ~x281+256 ~x280+128 ~x279+64 ~x278+32 ~x277+16 ~x276+8 ~x275+4 ~x274+2 ~x273+1 ~x272+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=3221532670
80.97/81.04	c 1048576 ~x3484522+524288 ~x3484521+262144 ~x3484520+131072 ~x3484519+65536 ~x3484518+32768 ~x3484517+16384 ~x3484516+8192 ~x3484515+4096 ~x3484514+2048 ~x3484513+1024 ~x3484512+512 ~x3484511+256 ~x3484510+128 ~x3484509+64 ~x3484508+32 ~x3484507+16 ~x3484506+8 ~x3484505+4 ~x3484504+2 ~x3484503+1 ~x3484502+262144 ~x360+131072 ~x359+65536 ~x358+32768 ~x357+16384 ~x356+8192 ~x355+4096 ~x354+2048 ~x353+1024 ~x352+512 ~x351+256 ~x350+128 ~x349+64 ~x348+32 ~x347+16 ~x346+8 ~x345+4 ~x344+2 ~x343+1 ~x342+524288 x341+262144 x340+131072 x339+65536 x338+32768 x337+16384 x336+8192 x335+4096 x334+2048 x333+1024 x332+512 x331+256 x330+128 x329+64 x328+32 x327+16 x326+8 x325+4 x324+2 x323+1 x322-0=3338238
81.27/81.33	c 1073741824 ~x3496719+536870912 ~x3496718+268435456 ~x3496717+134217728 ~x3496716+67108864 ~x3496715+33554432 ~x3496714+16777216 ~x3496713+8388608 ~x3496712+4194304 ~x3496711+2097152 ~x3496710+1048576 ~x3496709+524288 ~x3496708+262144 ~x3496707+131072 ~x3496706+65536 ~x3496705+32768 ~x3496704+16384 ~x3496703+8192 ~x3496702+4096 ~x3496701+2048 ~x3496700+1024 ~x3496699+512 ~x3496698+256 ~x3496697+128 ~x3496696+64 ~x3496695+32 ~x3496694+16 ~x3496693+8 ~x3496692+4 ~x3496691+2 ~x3496690+1 ~x3496689+43008000 ~x554+524288 ~x360+262144 ~x359+131072 ~x358+65536 ~x357+32768 ~x356+16384 ~x355+8192 ~x354+4096 ~x353+2048 ~x352+1024 ~x351+512 ~x350+256 ~x349+128 ~x348+64 ~x347+32 ~x346+16 ~x345+8 ~x344+4 ~x343+2 ~x342+1048576 x341+524288 x340+262144 x339+131072 x338+65536 x337+32768 x336+16384 x335+8192 x334+4096 x333+2048 x332+1024 x331+512 x330+256 x329+128 x328+64 x327+32 x326+16 x325+8 x324+4 x323+2 x322+536870912 x121+268435456 x120+134217728 x119+67108864 x118+33554432 x117+16777216 x116+8388608 x115+4194304 x114+2097152 x113+1048576 x112+524288 x111+262144 x110+131072 x109+65536 x108+32768 x107+16384 x106+8192 x105+4096 x104+2048 x103+1024 x102+512 x101+256 x100+128 x99+64 x98+32 x97+16 x96+8 x95+4 x94+2 x93+1 x92+536870912 ~x91+268435456 ~x90+134217728 ~x89+67108864 ~x88+33554432 ~x87+16777216 ~x86+8388608 ~x85+4194304 ~x84+2097152 ~x83+1048576 ~x82+524288 ~x81+262144 ~x80+131072 ~x79+65536 ~x78+32768 ~x77+16384 ~x76+8192 ~x75+4096 ~x74+2048 ~x73+1024 ~x72+512 ~x71+256 ~x70+128 ~x69+64 ~x68+32 ~x67+16 ~x66+8 ~x65+4 ~x64+2 ~x63+1 ~x62-0=322381

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-2674129-1276799518/watcher-2674129-1276799518 -o /tmp/evaluation-result-2674129-1276799518/solver-2674129-1276799518 -C 1800 -W 2000 -M 1800 run HOME/instance-2674129-1276799518.opb 

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


[startup+0 s]
/proc/loadavg: 1.08 1.05 1.01 3/106 23005
/proc/meminfo: memFree=1923864/2059040 swapFree=4139956/4192956
[pid=23005] ppid=23003 vsize=8700 CPUtime=0
/proc/23005/stat : 23005 (run) S 23003 23005 22670 0 -1 4202496 391 134 0 0 0 0 0 0 20 0 1 0 21244665 8908800 251 1992294400 4194304 4922060 140734131992208 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23005/statm: 2175 251 211 178 0 68 0

[startup+0.0895499 s]
/proc/loadavg: 1.08 1.05 1.01 3/106 23005
/proc/meminfo: memFree=1923864/2059040 swapFree=4139956/4192956
[pid=23005] ppid=23003 vsize=8700 CPUtime=0
/proc/23005/stat : 23005 (run) S 23003 23005 22670 0 -1 4202496 391 134 0 0 0 0 0 0 20 0 1 0 21244665 8908800 251 1992294400 4194304 4922060 140734131992208 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23005/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.10155 s]
/proc/loadavg: 1.08 1.05 1.01 3/106 23005
/proc/meminfo: memFree=1923864/2059040 swapFree=4139956/4192956
[pid=23005] ppid=23003 vsize=8700 CPUtime=0
/proc/23005/stat : 23005 (run) S 23003 23005 22670 0 -1 4202496 391 134 0 0 0 0 0 0 20 0 1 0 21244665 8908800 251 1992294400 4194304 4922060 140734131992208 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23005/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301571 s]
/proc/loadavg: 1.08 1.05 1.01 3/106 23005
/proc/meminfo: memFree=1923864/2059040 swapFree=4139956/4192956
[pid=23005] ppid=23003 vsize=8700 CPUtime=0
/proc/23005/stat : 23005 (run) S 23003 23005 22670 0 -1 4202496 391 134 0 0 0 0 0 0 20 0 1 0 21244665 8908800 251 1992294400 4194304 4922060 140734131992208 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23005/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701615 s]
/proc/loadavg: 1.08 1.05 1.01 3/106 23005
/proc/meminfo: memFree=1923864/2059040 swapFree=4139956/4192956
[pid=23005] ppid=23003 vsize=8700 CPUtime=0
/proc/23005/stat : 23005 (run) S 23003 23005 22670 0 -1 4202496 391 134 0 0 0 0 0 0 20 0 1 0 21244665 8908800 251 1992294400 4194304 4922060 140734131992208 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23005/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.5007 s]
/proc/loadavg: 1.08 1.05 1.01 2/108 23008
/proc/meminfo: memFree=1753968/2059040 swapFree=4139956/4192956
[pid=23005] ppid=23003 vsize=8700 CPUtime=0
/proc/23005/stat : 23005 (run) S 23003 23005 22670 0 -1 4202496 391 134 0 0 0 0 0 0 20 0 1 0 21244665 8908800 251 1992294400 4194304 4922060 140734131992208 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23005/statm: 2175 251 211 178 0 68 0
[pid=23007] ppid=23005 vsize=249956 CPUtime=1.48
/proc/23007/stat : 23007 (PBPASSolver) R 23005 23005 22670 0 -1 4202496 61978 0 0 0 56 92 0 0 25 0 1 0 21244665 255954944 61915 1992294400 134512640 134902295 4289056400 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23007/statm: 62489 61915 256 96 0 61701 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 258656

[startup+3.10088 s]
/proc/loadavg: 1.08 1.05 1.01 2/108 23008
/proc/meminfo: memFree=1607524/2059040 swapFree=4139956/4192956
[pid=23005] ppid=23003 vsize=8700 CPUtime=0
/proc/23005/stat : 23005 (run) S 23003 23005 22670 0 -1 4202496 391 134 0 0 0 0 0 0 20 0 1 0 21244665 8908800 251 1992294400 4194304 4922060 140734131992208 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23005/statm: 2175 251 211 178 0 68 0
[pid=23007] ppid=23005 vsize=333396 CPUtime=3.08
/proc/23007/stat : 23007 (PBPASSolver) R 23005 23005 22670 0 -1 4202496 84867 0 0 0 190 118 0 0 25 0 1 0 21244665 341397504 82604 1992294400 134512640 134902295 4289056400 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23007/statm: 83349 82604 262 96 0 82561 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 342096

[startup+6.30123 s]
/proc/loadavg: 1.08 1.05 1.01 2/108 23009
/proc/meminfo: memFree=1553460/2059040 swapFree=4139956/4192956
[pid=23005] ppid=23003 vsize=8700 CPUtime=0
/proc/23005/stat : 23005 (run) S 23003 23005 22670 0 -1 4202496 391 134 0 0 0 0 0 0 20 0 1 0 21244665 8908800 251 1992294400 4194304 4922060 140734131992208 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23005/statm: 2175 251 211 178 0 68 0
[pid=23007] ppid=23005 vsize=390044 CPUtime=6.28
/proc/23007/stat : 23007 (PBPASSolver) R 23005 23005 22670 0 -1 4202496 100413 0 0 0 503 125 0 0 25 0 1 0 21244665 399405056 96202 1992294400 134512640 134902295 4289056400 18446744073709551615 134631403 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23007/statm: 97511 96202 262 96 0 96723 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 398744

[startup+12.7009 s]
/proc/loadavg: 1.07 1.04 1.01 2/109 23011
/proc/meminfo: memFree=1407620/2059040 swapFree=4139956/4192956
[pid=23005] ppid=23003 vsize=8700 CPUtime=0
/proc/23005/stat : 23005 (run) S 23003 23005 22670 0 -1 4202496 391 134 0 0 0 0 0 0 20 0 1 0 21244665 8908800 251 1992294400 4194304 4922060 140734131992208 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23005/statm: 2175 251 211 178 0 68 0
[pid=23007] ppid=23005 vsize=503860 CPUtime=12.68
/proc/23007/stat : 23007 (PBPASSolver) R 23005 23005 22670 0 -1 4202496 130166 0 0 0 1131 137 0 0 25 0 1 0 21244665 515952640 124704 1992294400 134512640 134902295 4289056400 18446744073709551615 4160093479 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23007/statm: 125965 124705 262 96 0 125177 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 512560

[startup+25.5013 s]
/proc/loadavg: 1.06 1.04 1.00 2/108 23011
/proc/meminfo: memFree=1180336/2059040 swapFree=4139956/4192956
[pid=23005] ppid=23003 vsize=8700 CPUtime=0
/proc/23005/stat : 23005 (run) S 23003 23005 22670 0 -1 4202496 391 134 0 0 0 0 0 0 20 0 1 0 21244665 8908800 251 1992294400 4194304 4922060 140734131992208 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23005/statm: 2175 251 211 178 0 68 0
[pid=23007] ppid=23005 vsize=729992 CPUtime=25.48
/proc/23007/stat : 23007 (PBPASSolver) R 23005 23005 22670 0 -1 4202496 191647 0 0 0 2385 163 0 0 25 0 1 0 21244665 747511808 179813 1992294400 134512640 134902295 4289056400 18446744073709551615 11019772 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23007/statm: 182498 179813 262 96 0 181710 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 738692

[startup+51.1011 s]
/proc/loadavg: 1.04 1.04 1.00 2/108 23013
/proc/meminfo: memFree=706780/2059040 swapFree=4139956/4192956
[pid=23005] ppid=23003 vsize=8700 CPUtime=0
/proc/23005/stat : 23005 (run) S 23003 23005 22670 0 -1 4202496 391 134 0 0 0 0 0 0 20 0 1 0 21244665 8908800 251 1992294400 4194304 4922060 140734131992208 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23005/statm: 2175 251 211 178 0 68 0
[pid=23007] ppid=23005 vsize=1225112 CPUtime=51.07
/proc/23007/stat : 23007 (PBPASSolver) R 23005 23005 22670 0 -1 4202496 311188 0 0 0 4891 216 0 0 25 0 1 0 21244665 1254514688 299122 1992294400 134512640 134902295 4289056400 18446744073709551615 134630960 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23007/statm: 306278 299122 262 96 0 305490 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1233812



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+82.4015 s]
/proc/loadavg: 1.02 1.03 1.00 2/108 23013
/proc/meminfo: memFree=117656/2059040 swapFree=4139956/4192956
[pid=23005] ppid=23003 vsize=8700 CPUtime=0
/proc/23005/stat : 23005 (run) S 23003 23005 22670 0 -1 4202496 391 134 0 0 0 0 0 0 20 0 1 0 21244665 8908800 251 1992294400 4194304 4922060 140734131992208 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23005/statm: 2175 251 211 178 0 68 0
[pid=23007] ppid=23005 vsize=1844156 CPUtime=82.38
/proc/23007/stat : 23007 (PBPASSolver) R 23005 23005 22670 0 -1 4202496 456138 0 0 0 7964 274 0 0 25 0 1 0 21244665 1888415744 443664 1992294400 134512640 134902295 4289056400 18446744073709551615 4160071339 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23007/statm: 461039 443666 262 96 0 460251 0
Current children cumulated CPU time (s) 82.38
Current children cumulated vsize (KiB) 1852856

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

Real time (s): 82.4218
CPU time (s): 82.38
CPU user time (s): 79.64
CPU system time (s): 2.74
CPU usage (%): 99.9493
Max. virtual memory (cumulated for all children) (KiB): 1852856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 525
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.150977 second user time and 0.401938 second system time

The end

Launcher Data 

Begin job on node037 at 2010-06-17 20:31:58
IDJOB=2674129
IDBENCH=2347
IDSOLVER=1174
FILE ID=node037/2674129-1276799518
PBS_JOBID= 11176661
Free space on /tmp= 62580 MiB

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

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

MD5SUM BENCH= 9d32bc57adc83bca41f939562e4ccfd8
RANDOM SEED=852096043

node037.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.248
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.49
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.248
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.55
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1924384 kB
Buffers:          2388 kB
Cached:          46956 kB
SwapCached:       5688 kB
Active:          24724 kB
Inactive:        36780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1924384 kB
SwapTotal:     4192956 kB
SwapFree:      4139956 kB
Dirty:            1112 kB
Writeback:           0 kB
AnonPages:       10816 kB
Mapped:          12888 kB
Slab:            51208 kB
PageTables:       3920 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180452 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= 62580 MiB
End job on node037 at 2010-06-17 20:33:23