Trace number 2673982

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) 88.57 88.6137

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-share2b.opb
MD5SUM95fbceaf029492cffa0d3c545b3f551d
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-42278850
Best CPU time to get the best result obtained on this benchmark1800.31
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -36858196
Optimality of the best value was proved NO
Number of variables2370
Total number of constraints96
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints96
Minimum length of a constraint30
Maximum length of a constraint360
Number of terms in the objective function 870
Biggest coefficient in the objective function 204010946560
Number of bits for the biggest coefficient in the objective function 38
Sum of the numbers in the objective function 4534411718529
Number of bits of the sum of numbers in the objective function 43
Biggest number in a constraint 552977039360
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 10976862656529
Number of bits of the biggest sum of numbers44
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.38/1.46	c 2370 96 0 0 0 0 0 0
1.38/1.46	c 549755813888 ~x2411+274877906944 ~x2410+137438953472 ~x2409+68719476736 ~x2408+34359738368 ~x2407+17179869184 ~x2406+8589934592 ~x2405+4294967296 ~x2404+2147483648 ~x2403+1073741824 ~x2402+536870912 ~x2401+268435456 ~x2400+134217728 ~x2399+67108864 ~x2398+33554432 ~x2397+16777216 ~x2396+8388608 ~x2395+4194304 ~x2394+2097152 ~x2393+1048576 ~x2392+524288 ~x2391+262144 ~x2390+131072 ~x2389+65536 ~x2388+32768 ~x2387+16384 ~x2386+8192 ~x2385+4096 ~x2384+2048 ~x2383+1024 ~x2382+512 ~x2381+256 ~x2380+128 ~x2379+64 ~x2378+32 ~x2377+16 ~x2376+8 ~x2375+4 ~x2374+2 ~x2373+1 ~x2372+59055800320 x301+29527900160 x300+14763950080 x299+7381975040 x298+3690987520 x297+1845493760 x296+922746880 x295+461373440 x294+230686720 x293+115343360 x292+57671680 x291+28835840 x290+14417920 x289+7208960 x288+3604480 x287+1802240 x286+901120 x285+450560 x284+225280 x283+112640 x282+56320 x281+28160 x280+14080 x279+7040 x278+3520 x277+1760 x276+880 x275+440 x274+220 x273+110 x272+31138512896 ~x241+15569256448 ~x240+7784628224 ~x239+3892314112 ~x238+1946157056 ~x237+973078528 ~x236+486539264 ~x235+243269632 ~x234+121634816 ~x233+60817408 ~x232+30408704 ~x231+15204352 ~x230+7602176 ~x229+3801088 ~x228+1900544 ~x227+950272 ~x226+475136 ~x225+237568 ~x224+118784 ~x223+59392 ~x222+29696 ~x221+14848 ~x220+7424 ~x219+3712 ~x218+1856 ~x217+928 ~x216+464 ~x215+232 ~x214+116 ~x213+58 ~x212+17716740096 ~x211+8858370048 ~x210+4429185024 ~x209+2214592512 ~x208+1107296256 ~x207+553648128 ~x206+276824064 ~x205+138412032 ~x204+69206016 ~x203+34603008 ~x202+17301504 ~x201+8650752 ~x200+4325376 ~x199+2162688 ~x198+1081344 ~x197+540672 ~x196+270336 ~x195+135168 ~x194+67584 ~x193+33792 ~x192+16896 ~x191+8448 ~x190+4224 ~x189+2112 ~x188+1056 ~x187+528 ~x186+264 ~x185+132 ~x184+66 ~x183+33 ~x182+32212254720 ~x181+16106127360 ~x180+8053063680 ~x179+4026531840 ~x178+2013265920 ~x177+1006632960 ~x176+503316480 ~x175+251658240 ~x174+125829120 ~x173+62914560 ~x172+31457280 ~x171+15728640 ~x170+7864320 ~x169+3932160 ~x168+1966080 ~x167+983040 ~x166+491520 ~x165+245760 ~x164+122880 ~x163+61440 ~x162+30720 ~x161+15360 ~x160+7680 ~x159+3840 ~x158+1920 ~x157+960 ~x156+480 ~x155+240 ~x154+120 ~x153+60 ~x152+8053063680 ~x151+4026531840 ~x150+2013265920 ~x149+1006632960 ~x148+503316480 ~x147+251658240 ~x146+125829120 ~x145+62914560 ~x144+31457280 ~x143+15728640 ~x142+7864320 ~x141+3932160 ~x140+1966080 ~x139+983040 ~x138+491520 ~x137+245760 ~x136+122880 ~x135+61440 ~x134+30720 ~x133+15360 ~x132+7680 ~x131+3840 ~x130+1920 ~x129+960 ~x128+480 ~x127+240 ~x126+120 ~x125+60 ~x124+30 ~x123+15 ~x122+24159191040 ~x121+12079595520 ~x120+6039797760 ~x119+3019898880 ~x118+1509949440 ~x117+754974720 ~x116+377487360 ~x115+188743680 ~x114+94371840 ~x113+47185920 ~x112+23592960 ~x111+11796480 ~x110+5898240 ~x109+2949120 ~x108+1474560 ~x107+737280 ~x106+368640 ~x105+184320 ~x104+92160 ~x103+46080 ~x102+23040 ~x101+11520 ~x100+5760 ~x99+2880 ~x98+1440 ~x97+720 ~x96+360 ~x95+180 ~x94+90 ~x93+45 ~x92+4294967296 ~x91+2147483648 ~x90+1073741824 ~x89+536870912 ~x88+268435456 ~x87+134217728 ~x86+67108864 ~x85+33554432 ~x84+16777216 ~x83+8388608 ~x82+4194304 ~x81+2097152 ~x80+1048576 ~x79+524288 ~x78+262144 ~x77+131072 ~x76+65536 ~x75+32768 ~x74+16384 ~x73+8192 ~x72+4096 ~x71+2048 ~x70+1024 ~x69+512 ~x68+256 ~x67+128 ~x66+64 ~x65+32 ~x64+16 ~x63+8 ~x62+29527900160 ~x61+14763950080 ~x60+7381975040 ~x59+3690987520 ~x58+1845493760 ~x57+922746880 ~x56+461373440 ~x55+230686720 ~x54+115343360 ~x53+57671680 ~x52+28835840 ~x51+14417920 ~x50+7208960 ~x49+3604480 ~x48+1802240 ~x47+901120 ~x46+450560 ~x45+225280 ~x44+112640 ~x43+56320 ~x42+28160 ~x41+14080 ~x40+7040 ~x39+3520 ~x38+1760 ~x37+880 ~x36+440 ~x35+220 ~x34+110 ~x33+55 ~x32+348966092800 ~x31+174483046400 ~x30+87241523200 ~x29+43620761600 ~x28+21810380800 ~x27+10905190400 ~x26+5452595200 ~x25+2726297600 ~x24+1363148800 ~x23+681574400 ~x22+340787200 ~x21+170393600 ~x20+85196800 ~x19+42598400 ~x18+21299200 ~x17+10649600 ~x16+5324800 ~x15+2662400 ~x14+1331200 ~x13+665600 ~x12+332800 ~x11+166400 ~x10+83200 ~x9+41600 ~x8+20800 ~x7+10400 ~x6+5200 ~x5+2600 ~x4+1300 ~x3+650 ~x2-0=2091649072227
5.28/5.36	c 274877906944 ~x177655+137438953472 ~x177654+68719476736 ~x177653+34359738368 ~x177652+17179869184 ~x177651+8589934592 ~x177650+4294967296 ~x177649+2147483648 ~x177648+1073741824 ~x177647+536870912 ~x177646+268435456 ~x177645+134217728 ~x177644+67108864 ~x177643+33554432 ~x177642+16777216 ~x177641+8388608 ~x177640+4194304 ~x177639+2097152 ~x177638+1048576 ~x177637+524288 ~x177636+262144 ~x177635+131072 ~x177634+65536 ~x177633+32768 ~x177632+16384 ~x177631+8192 ~x177630+4096 ~x177629+2048 ~x177628+1024 ~x177627+512 ~x177626+256 ~x177625+128 ~x177624+64 ~x177623+32 ~x177622+16 ~x177621+8 ~x177620+4 ~x177619+2 ~x177618+1 ~x177617+26843545600 x301+13421772800 x300+6710886400 x299+3355443200 x298+1677721600 x297+838860800 x296+419430400 x295+209715200 x294+104857600 x293+52428800 x292+26214400 x291+13107200 x290+6553600 x289+3276800 x288+1638400 x287+819200 x286+409600 x285+204800 x284+102400 x283+51200 x282+25600 x281+12800 x280+6400 x279+3200 x278+1600 x277+800 x276+400 x275+200 x274+100 x273+50 x272+26843545600 ~x241+13421772800 ~x240+6710886400 ~x239+3355443200 ~x238+1677721600 ~x237+838860800 ~x236+419430400 ~x235+209715200 ~x234+104857600 ~x233+52428800 ~x232+26214400 ~x231+13107200 ~x230+6553600 ~x229+3276800 ~x228+1638400 ~x227+819200 ~x226+409600 ~x225+204800 ~x224+102400 ~x223+51200 ~x222+25600 ~x221+12800 ~x220+6400 ~x219+3200 ~x218+1600 ~x217+800 ~x216+400 ~x215+200 ~x214+100 ~x213+50 ~x212+3758096384 ~x211+1879048192 ~x210+939524096 ~x209+469762048 ~x208+234881024 ~x207+117440512 ~x206+58720256 ~x205+29360128 ~x204+14680064 ~x203+7340032 ~x202+3670016 ~x201+1835008 ~x200+917504 ~x199+458752 ~x198+229376 ~x197+114688 ~x196+57344 ~x195+28672 ~x194+14336 ~x193+7168 ~x192+3584 ~x191+1792 ~x190+896 ~x189+448 ~x188+224 ~x187+112 ~x186+56 ~x185+28 ~x184+14 ~x183+7 ~x182+10200547328 ~x181+5100273664 ~x180+2550136832 ~x179+1275068416 ~x178+637534208 ~x177+318767104 ~x176+159383552 ~x175+79691776 ~x174+39845888 ~x173+19922944 ~x172+9961472 ~x171+4980736 ~x170+2490368 ~x169+1245184 ~x168+622592 ~x167+311296 ~x166+155648 ~x165+77824 ~x164+38912 ~x163+19456 ~x162+9728 ~x161+4864 ~x160+2432 ~x159+1216 ~x158+608 ~x157+304 ~x156+152 ~x155+76 ~x154+38 ~x153+19 ~x152+6442450944 ~x151+3221225472 ~x150+1610612736 ~x149+805306368 ~x148+402653184 ~x147+201326592 ~x146+100663296 ~x145+50331648 ~x144+25165824 ~x143+12582912 ~x142+6291456 ~x141+3145728 ~x140+1572864 ~x139+786432 ~x138+393216 ~x137+196608 ~x136+98304 ~x135+49152 ~x134+24576 ~x133+12288 ~x132+6144 ~x131+3072 ~x130+1536 ~x129+768 ~x128+384 ~x127+192 ~x126+96 ~x125+48 ~x124+24 ~x123+12 ~x122+14495514624 ~x121+7247757312 ~x120+3623878656 ~x119+1811939328 ~x118+905969664 ~x117+452984832 ~x116+226492416 ~x115+113246208 ~x114+56623104 ~x113+28311552 ~x112+14155776 ~x111+7077888 ~x110+3538944 ~x109+1769472 ~x108+884736 ~x107+442368 ~x106+221184 ~x105+110592 ~x104+55296 ~x103+27648 ~x102+13824 ~x101+6912 ~x100+3456 ~x99+1728 ~x98+864 ~x97+432 ~x96+216 ~x95+108 ~x94+54 ~x93+27 ~x92+36507222016 ~x61+18253611008 ~x60+9126805504 ~x59+4563402752 ~x58+2281701376 ~x57+1140850688 ~x56+570425344 ~x55+285212672 ~x54+142606336 ~x53+71303168 ~x52+35651584 ~x51+17825792 ~x50+8912896 ~x49+4456448 ~x48+2228224 ~x47+1114112 ~x46+557056 ~x45+278528 ~x44+139264 ~x43+69632 ~x42+34816 ~x41+17408 ~x40+8704 ~x39+4352 ~x38+2176 ~x37+1088 ~x36+544 ~x35+272 ~x34+136 ~x33+68 ~x32+53687091200 ~x31+26843545600 ~x30+13421772800 ~x29+6710886400 ~x28+3355443200 ~x27+1677721600 ~x26+838860800 ~x25+419430400 ~x24+209715200 ~x23+104857600 ~x22+52428800 ~x21+26214400 ~x20+13107200 ~x19+6553600 ~x18+3276800 ~x17+1638400 ~x16+819200 ~x15+409600 ~x14+204800 ~x13+102400 ~x12+51200 ~x11+25600 ~x10+12800 ~x9+6400 ~x8+3200 ~x7+1600 ~x6+800 ~x5+400 ~x4+200 ~x3+100 ~x2-0=853624749796
8.79/8.82	c 34359738368 ~x333712+17179869184 ~x333711+8589934592 ~x333710+4294967296 ~x333709+2147483648 ~x333708+1073741824 ~x333707+536870912 ~x333706+268435456 ~x333705+134217728 ~x333704+67108864 ~x333703+33554432 ~x333702+16777216 ~x333701+8388608 ~x333700+4194304 ~x333699+2097152 ~x333698+1048576 ~x333697+524288 ~x333696+262144 ~x333695+131072 ~x333694+65536 ~x333693+32768 ~x333692+16384 ~x333691+8192 ~x333690+4096 ~x333689+2048 ~x333688+1024 ~x333687+512 ~x333686+256 ~x333685+128 ~x333684+64 ~x333683+32 ~x333682+16 ~x333681+8 ~x333680+4 ~x333679+2 ~x333678+1 ~x333677+26843545600 ~x301+13421772800 ~x300+6710886400 ~x299+3355443200 ~x298+1677721600 ~x297+838860800 ~x296+419430400 ~x295+209715200 ~x294+104857600 ~x293+52428800 ~x292+26214400 ~x291+13107200 ~x290+6553600 ~x289+3276800 ~x288+1638400 ~x287+819200 ~x286+409600 ~x285+204800 ~x284+102400 ~x283+51200 ~x282+25600 ~x281+12800 ~x280+6400 ~x279+3200 ~x278+1600 ~x277+800 ~x276+400 ~x275+200 ~x274+100 ~x273+50 ~x272+33285996544 x241+16642998272 x240+8321499136 x239+4160749568 x238+2080374784 x237+1040187392 x236+520093696 x235+260046848 x234+130023424 x233+65011712 x232+32505856 x231+16252928 x230+8126464 x229+4063232 x228+2031616 x227+1015808 x226+507904 x225+253952 x224+126976 x223+63488 x222+31744 x221+15872 x220+7936 x219+3968 x218+1984 x217+992 x216+496 x215+248 x214+124 x213+62 x212+15569256448 x211+7784628224 x210+3892314112 x209+1946157056 x208+973078528 x207+486539264 x206+243269632 x205+121634816 x204+60817408 x203+30408704 x202+15204352 x201+7602176 x200+3801088 x199+1900544 x198+950272 x197+475136 x196+237568 x195+118784 x194+59392 x193+29696 x192+14848 x191+7424 x190+3712 x189+1856 x188+928 x187+464 x186+232 x185+116 x184+58 x183+29 x182+18790481920 x181+9395240960 x180+4697620480 x179+2348810240 x178+1174405120 x177+587202560 x176+293601280 x175+146800640 x174+73400320 x173+36700160 x172+18350080 x171+9175040 x170+4587520 x169+2293760 x168+1146880 x167+573440 x166+286720 x165+143360 x164+71680 x163+35840 x162+17920 x161+8960 x160+4480 x159+2240 x158+1120 x157+560 x156+280 x155+140 x154+70 x153+35 x152+19327352832 x151+9663676416 x150+4831838208 x149+2415919104 x148+1207959552 x147+603979776 x146+301989888 x145+150994944 x144+75497472 x143+37748736 x142+18874368 x141+9437184 x140+4718592 x139+2359296 x138+1179648 x137+589824 x136+294912 x135+147456 x134+73728 x133+36864 x132+18432 x131+9216 x130+4608 x129+2304 x128+1152 x127+576 x126+288 x125+144 x124+72 x123+36 x122+52076478464 x121+26038239232 x120+13019119616 x119+6509559808 x118+3254779904 x117+1627389952 x116+813694976 x115+406847488 x114+203423744 x113+101711872 x112+50855936 x111+25427968 x110+12713984 x109+6356992 x108+3178496 x107+1589248 x106+794624 x105+397312 x104+198656 x103+99328 x102+49664 x101+24832 x100+12416 x99+6208 x98+3104 x97+1552 x96+776 x95+388 x94+194 x93+97 x92+51539607552 x61+25769803776 x60+12884901888 x59+6442450944 x58+3221225472 x57+1610612736 x56+805306368 x55+402653184 x54+201326592 x53+100663296 x52+50331648 x51+25165824 x50+12582912 x49+6291456 x48+3145728 x47+1572864 x46+786432 x45+393216 x44+196608 x43+98304 x42+49152 x41+24576 x40+12288 x39+6144 x38+3072 x37+1536 x36+768 x35+384 x34+192 x33+96 x32+26843545600 x30+13421772800 x29+6710886400 x28+3355443200 x27+1677721600 x26+838860800 x25+419430400 x24+209715200 x23+104857600 x22+52428800 x21+26214400 x20+13107200 x19+6553600 x18+3276800 x17+1638400 x16+819200 x15+409600 x14+204800 x13+102400 x12+51200 x11+25600 x10+12800 x9+6400 x8+3200 x7+1600 x6+800 x5+400 x4+200 x3+100 x2-0=122406567885
12.18/12.23	c 68719476736 ~x487479+34359738368 ~x487478+17179869184 ~x487477+8589934592 ~x487476+4294967296 ~x487475+2147483648 ~x487474+1073741824 ~x487473+536870912 ~x487472+268435456 ~x487471+134217728 ~x487470+67108864 ~x487469+33554432 ~x487468+16777216 ~x487467+8388608 ~x487466+4194304 ~x487465+2097152 ~x487464+1048576 ~x487463+524288 ~x487462+262144 ~x487461+131072 ~x487460+65536 ~x487459+32768 ~x487458+16384 ~x487457+8192 ~x487456+4096 ~x487455+2048 ~x487454+1024 ~x487453+512 ~x487452+256 ~x487451+128 ~x487450+64 ~x487449+32 ~x487448+16 ~x487447+8 ~x487446+4 ~x487445+2 ~x487444+1 ~x487443+48318382080 ~x301+24159191040 ~x300+12079595520 ~x299+6039797760 ~x298+3019898880 ~x297+1509949440 ~x296+754974720 ~x295+377487360 ~x294+188743680 ~x293+94371840 ~x292+47185920 ~x291+23592960 ~x290+11796480 ~x289+5898240 ~x288+2949120 ~x287+1474560 ~x286+737280 ~x285+368640 ~x284+184320 ~x283+92160 ~x282+46080 ~x281+23040 ~x280+11520 ~x279+5760 ~x278+2880 ~x277+1440 ~x276+720 ~x275+360 ~x274+180 ~x273+90 ~x272+52613349376 x241+26306674688 x240+13153337344 x239+6576668672 x238+3288334336 x237+1644167168 x236+822083584 x235+411041792 x234+205520896 x233+102760448 x232+51380224 x231+25690112 x230+12845056 x229+6422528 x228+3211264 x227+1605632 x226+802816 x225+401408 x224+200704 x223+100352 x222+50176 x221+25088 x220+12544 x219+6272 x218+3136 x217+1568 x216+784 x215+392 x214+196 x213+98 x212+52076478464 x211+26038239232 x210+13019119616 x209+6509559808 x208+3254779904 x207+1627389952 x206+813694976 x205+406847488 x204+203423744 x203+101711872 x202+50855936 x201+25427968 x200+12713984 x199+6356992 x198+3178496 x197+1589248 x196+794624 x195+397312 x194+198656 x193+99328 x192+49664 x191+24832 x190+12416 x189+6208 x188+3104 x187+1552 x186+776 x185+388 x184+194 x183+97 x182+47781511168 x181+23890755584 x180+11945377792 x179+5972688896 x178+2986344448 x177+1493172224 x176+746586112 x175+373293056 x174+186646528 x173+93323264 x172+46661632 x171+23330816 x170+11665408 x169+5832704 x168+2916352 x167+1458176 x166+729088 x165+364544 x164+182272 x163+91136 x162+45568 x161+22784 x160+11392 x159+5696 x158+2848 x157+1424 x156+712 x155+356 x154+178 x153+89 x152+51002736640 x151+25501368320 x150+12750684160 x149+6375342080 x148+3187671040 x147+1593835520 x146+796917760 x145+398458880 x144+199229440 x143+99614720 x142+49807360 x141+24903680 x140+12451840 x139+6225920 x138+3112960 x137+1556480 x136+778240 x135+389120 x134+194560 x133+97280 x132+48640 x131+24320 x130+12160 x129+6080 x128+3040 x127+1520 x126+760 x125+380 x124+190 x123+95 x122+53687091200 x121+26843545600 x120+13421772800 x119+6710886400 x118+3355443200 x117+1677721600 x116+838860800 x115+419430400 x114+209715200 x113+104857600 x112+52428800 x111+26214400 x110+13107200 x109+6553600 x108+3276800 x107+1638400 x106+819200 x105+409600 x104+204800 x103+102400 x102+51200 x101+25600 x100+12800 x99+6400 x98+3200 x97+1600 x96+800 x95+400 x94+200 x93+100 x92+41875931136 x91+20937965568 x90+10468982784 x89+5234491392 x88+2617245696 x87+1308622848 x86+654311424 x85+327155712 x84+163577856 x83+81788928 x82+40894464 x81+20447232 x80+10223616 x79+5111808 x78+2555904 x77+1277952 x76+638976 x75+319488 x74+159744 x73+79872 x72+39936 x71+19968 x70+9984 x69+4992 x68+2496 x67+1248 x66+624 x65+312 x64+156 x63+78 x62+53687091200 x61+26843545600 x60+13421772800 x59+6710886400 x58+3355443200 x57+1677721600 x56+838860800 x55+419430400 x54+209715200 x53+104857600 x52+52428800 x51+26214400 x50+13107200 x49+6553600 x48+3276800 x47+1638400 x46+819200 x45+409600 x44+204800 x43+102400 x42+51200 x41+25600 x40+12800 x39+6400 x38+3200 x37+1600 x36+800 x35+400 x34+200 x33+100 x32+53687091200 x31+26843545600 x30+13421772800 x29+6710886400 x28+3355443200 x27+1677721600 x26+838860800 x25+419430400 x24+209715200 x23+104857600 x22+52428800 x21+26214400 x20+13107200 x19+6553600 x18+3276800 x17+1638400 x16+819200 x15+409600 x14+204800 x13+102400 x12+51200 x11+25600 x10+12800 x9+6400 x8+3200 x7+1600 x6+800 x5+400 x4+200 x3+100 x2-0=234075717541
16.08/16.11	c 549755813888 ~x659308+274877906944 ~x659307+137438953472 ~x659306+68719476736 ~x659305+34359738368 ~x659304+17179869184 ~x659303+8589934592 ~x659302+4294967296 ~x659301+2147483648 ~x659300+1073741824 ~x659299+536870912 ~x659298+268435456 ~x659297+134217728 ~x659296+67108864 ~x659295+33554432 ~x659294+16777216 ~x659293+8388608 ~x659292+4194304 ~x659291+2097152 ~x659290+1048576 ~x659289+524288 ~x659288+262144 ~x659287+131072 ~x659286+65536 ~x659285+32768 ~x659284+16384 ~x659283+8192 ~x659282+4096 ~x659281+2048 ~x659280+1024 ~x659279+512 ~x659278+256 ~x659277+128 ~x659276+64 ~x659275+32 ~x659274+16 ~x659273+8 ~x659272+4 ~x659271+2 ~x659270+1 ~x659269+536870912000 ~x301+268435456000 ~x300+134217728000 ~x299+67108864000 ~x298+33554432000 ~x297+16777216000 ~x296+8388608000 ~x295+4194304000 ~x294+2097152000 ~x293+1048576000 ~x292+524288000 ~x291+262144000 ~x290+131072000 ~x289+65536000 ~x288+32768000 ~x287+16384000 ~x286+8192000 ~x285+4096000 ~x284+2048000 ~x283+1024000 ~x282+512000 ~x281+256000 ~x280+128000 ~x279+64000 ~x278+32000 ~x277+16000 ~x276+8000 ~x275+4000 ~x274+2000 ~x273+1000 ~x272+11274289152 x271+5637144576 x270+2818572288 x269+1409286144 x268+704643072 x267+352321536 x266+176160768 x265+88080384 x264+44040192 x263+22020096 x262+11010048 x261+5505024 x260+2752512 x259+1376256 x258+688128 x257+344064 x256+172032 x255+86016 x254+43008 x253+21504 x252+10752 x251+5376 x250+2688 x249+1344 x248+672 x247+336 x246+168 x245+84 x244+42 x243+21 x242+518080430080 x241+259040215040 x240+129520107520 x239+64760053760 x238+32380026880 x237+16190013440 x236+8095006720 x235+4047503360 x234+2023751680 x233+1011875840 x232+505937920 x231+252968960 x230+126484480 x229+63242240 x228+31621120 x227+15810560 x226+7905280 x225+3952640 x224+1976320 x223+988160 x222+494080 x221+247040 x220+123520 x219+61760 x218+30880 x217+15440 x216+7720 x215+3860 x214+1930 x213+965 x212+525596622848 x211+262798311424 x210+131399155712 x209+65699577856 x208+32849788928 x207+16424894464 x206+8212447232 x205+4106223616 x204+2053111808 x203+1026555904 x202+513277952 x201+256638976 x200+128319488 x199+64159744 x198+32079872 x197+16039936 x196+8019968 x195+4009984 x194+2004992 x193+1002496 x192+501248 x191+250624 x190+125312 x189+62656 x188+31328 x187+15664 x186+7832 x185+3916 x184+1958 x183+979 x182+508953624576 x181+254476812288 x180+127238406144 x179+63619203072 x178+31809601536 x177+15904800768 x176+7952400384 x175+3976200192 x174+1988100096 x173+994050048 x172+497025024 x171+248512512 x170+124256256 x169+62128128 x168+31064064 x167+15532032 x166+7766016 x165+3883008 x164+1941504 x163+970752 x162+485376 x161+242688 x160+121344 x159+60672 x158+30336 x157+15168 x156+7584 x155+3792 x154+1896 x153+948 x152+325343772672 x151+162671886336 x150+81335943168 x149+40667971584 x148+20333985792 x147+10166992896 x146+5083496448 x145+2541748224 x144+1270874112 x143+635437056 x142+317718528 x141+158859264 x140+79429632 x139+39714816 x138+19857408 x137+9928704 x136+4964352 x135+2482176 x134+1241088 x133+620544 x132+310272 x131+155136 x130+77568 x129+38784 x128+19392 x127+9696 x126+4848 x125+2424 x124+1212 x123+606 x122+525596622848 x121+262798311424 x120+131399155712 x119+65699577856 x118+32849788928 x117+16424894464 x116+8212447232 x115+4106223616 x114+2053111808 x113+1026555904 x112+513277952 x111+256638976 x110+128319488 x109+64159744 x108+32079872 x107+16039936 x106+8019968 x105+4009984 x104+2004992 x103+1002496 x102+501248 x101+250624 x100+125312 x99+62656 x98+31328 x97+15664 x96+7832 x95+3916 x94+1958 x93+979 x92+471909531648 x91+235954765824 x90+117977382912 x89+58988691456 x88+29494345728 x87+14747172864 x86+7373586432 x85+3686793216 x84+1843396608 x83+921698304 x82+460849152 x81+230424576 x80+115212288 x79+57606144 x78+28803072 x77+14401536 x76+7200768 x75+3600384 x74+1800192 x73+900096 x72+450048 x71+225024 x70+112512 x69+56256 x68+28128 x67+14064 x66+7032 x65+3516 x64+1758 x63+879 x62+450971566080 x61+225485783040 x60+112742891520 x59+56371445760 x58+28185722880 x57+14092861440 x56+7046430720 x55+3523215360 x54+1761607680 x53+880803840 x52+440401920 x51+220200960 x50+110100480 x49+55050240 x48+27525120 x47+13762560 x46+6881280 x45+3440640 x44+1720320 x43+860160 x42+430080 x41+215040 x40+107520 x39+53760 x38+26880 x37+13440 x36+6720 x35+3360 x34+1680 x33+840 x32+522912268288 x31+261456134144 x30+130728067072 x29+65364033536 x28+32682016768 x27+16341008384 x26+8170504192 x25+4085252096 x24+2042626048 x23+1021313024 x22+510656512 x21+255328256 x20+127664128 x19+63832064 x18+31916032 x17+15958016 x16+7979008 x15+3989504 x14+1994752 x13+997376 x12+498688 x11+249344 x10+124672 x9+62336 x8+31168 x7+15584 x6+7792 x5+3896 x4+1948 x3+974 x2-0=2173253450775
21.08/21.16	c 549755813888 ~x887613+274877906944 ~x887612+137438953472 ~x887611+68719476736 ~x887610+34359738368 ~x887609+17179869184 ~x887608+8589934592 ~x887607+4294967296 ~x887606+2147483648 ~x887605+1073741824 ~x887604+536870912 ~x887603+268435456 ~x887602+134217728 ~x887601+67108864 ~x887600+33554432 ~x887599+16777216 ~x887598+8388608 ~x887597+4194304 ~x887596+2097152 ~x887595+1048576 ~x887594+524288 ~x887593+262144 ~x887592+131072 ~x887591+65536 ~x887590+32768 ~x887589+16384 ~x887588+8192 ~x887587+4096 ~x887586+2048 ~x887585+1024 ~x887584+512 ~x887583+256 ~x887582+128 ~x887581+64 ~x887580+32 ~x887579+16 ~x887578+8 ~x887577+4 ~x887576+2 ~x887575+1 ~x887574+536870912000 ~x301+268435456000 ~x300+134217728000 ~x299+67108864000 ~x298+33554432000 ~x297+16777216000 ~x296+8388608000 ~x295+4194304000 ~x294+2097152000 ~x293+1048576000 ~x292+524288000 ~x291+262144000 ~x290+131072000 ~x289+65536000 ~x288+32768000 ~x287+16384000 ~x286+8192000 ~x285+4096000 ~x284+2048000 ~x283+1024000 ~x282+512000 ~x281+256000 ~x280+128000 ~x279+64000 ~x278+32000 ~x277+16000 ~x276+8000 ~x275+4000 ~x274+2000 ~x273+1000 ~x272+3758096384 x271+1879048192 x270+939524096 x269+469762048 x268+234881024 x267+117440512 x266+58720256 x265+29360128 x264+14680064 x263+7340032 x262+3670016 x261+1835008 x260+917504 x259+458752 x258+229376 x257+114688 x256+57344 x255+28672 x254+14336 x253+7168 x252+3584 x251+1792 x250+896 x249+448 x248+224 x247+112 x246+56 x245+28 x244+14 x243+7 x242+526670364672 x241+263335182336 x240+131667591168 x239+65833795584 x238+32916897792 x237+16458448896 x236+8229224448 x235+4114612224 x234+2057306112 x233+1028653056 x232+514326528 x231+257163264 x230+128581632 x229+64290816 x228+32145408 x227+16072704 x226+8036352 x225+4018176 x224+2009088 x223+1004544 x222+502272 x221+251136 x220+125568 x219+62784 x218+31392 x217+15696 x216+7848 x215+3924 x214+1962 x213+981 x212+538481524736 x211+269240762368 x210+134620381184 x209+67310190592 x208+33655095296 x207+16827547648 x206+8413773824 x205+4206886912 x204+2103443456 x203+1051721728 x202+525860864 x201+262930432 x200+131465216 x199+65732608 x198+32866304 x197+16433152 x196+8216576 x195+4108288 x194+2054144 x193+1027072 x192+513536 x191+256768 x190+128384 x189+64192 x188+32096 x187+16048 x186+8024 x185+4012 x184+2006 x183+1003 x182+518617300992 x181+259308650496 x180+129654325248 x179+64827162624 x178+32413581312 x177+16206790656 x176+8103395328 x175+4051697664 x174+2025848832 x173+1012924416 x172+506462208 x171+253231104 x170+126615552 x169+63307776 x168+31653888 x167+15826944 x166+7913472 x165+3956736 x164+1978368 x163+989184 x162+494592 x161+247296 x160+123648 x159+61824 x158+30912 x157+15456 x156+7728 x155+3864 x154+1932 x153+966 x152+409632505856 x151+204816252928 x150+102408126464 x149+51204063232 x148+25602031616 x147+12801015808 x146+6400507904 x145+3200253952 x144+1600126976 x143+800063488 x142+400031744 x141+200015872 x140+100007936 x139+50003968 x138+25001984 x137+12500992 x136+6250496 x135+3125248 x134+1562624 x133+781312 x132+390656 x131+195328 x130+97664 x129+48832 x128+24416 x127+12208 x126+6104 x125+3052 x124+1526 x123+763 x122+538481524736 x121+269240762368 x120+134620381184 x119+67310190592 x118+33655095296 x117+16827547648 x116+8413773824 x115+4206886912 x114+2103443456 x113+1051721728 x112+525860864 x111+262930432 x110+131465216 x109+65732608 x108+32866304 x107+16433152 x106+8216576 x105+4108288 x104+2054144 x103+1027072 x102+513536 x101+256768 x100+128384 x99+64192 x98+32096 x97+16048 x96+8024 x95+4012 x94+2006 x93+1003 x92+445065986048 x91+222532993024 x90+111266496512 x89+55633248256 x88+27816624128 x87+13908312064 x86+6954156032 x85+3477078016 x84+1738539008 x83+869269504 x82+434634752 x81+217317376 x80+108658688 x79+54329344 x78+27164672 x77+13582336 x76+6791168 x75+3395584 x74+1697792 x73+848896 x72+424448 x71+212224 x70+106112 x69+53056 x68+26528 x67+13264 x66+6632 x65+3316 x64+1658 x63+829 x62+472983273472 x61+236491636736 x60+118245818368 x59+59122909184 x58+29561454592 x57+14780727296 x56+7390363648 x55+3695181824 x54+1847590912 x53+923795456 x52+461897728 x51+230948864 x50+115474432 x49+57737216 x48+28868608 x47+14434304 x46+7217152 x45+3608576 x44+1804288 x43+902144 x42+451072 x41+225536 x40+112768 x39+56384 x38+28192 x37+14096 x36+7048 x35+3524 x34+1762 x33+881 x32+536334041088 x31+268167020544 x30+134083510272 x29+67041755136 x28+33520877568 x27+16760438784 x26+8380219392 x25+4190109696 x24+2095054848 x23+1047527424 x22+523763712 x21+261881856 x20+130940928 x19+65470464 x18+32735232 x17+16367616 x16+8183808 x15+4091904 x14+2045952 x13+1022976 x12+511488 x11+255744 x10+127872 x9+63936 x8+31968 x7+15984 x6+7992 x5+3996 x4+1998 x3+999 x2-0=2173253450775
25.98/26.07	c 549755813888 ~x1109438+274877906944 ~x1109437+137438953472 ~x1109436+68719476736 ~x1109435+34359738368 ~x1109434+17179869184 ~x1109433+8589934592 ~x1109432+4294967296 ~x1109431+2147483648 ~x1109430+1073741824 ~x1109429+536870912 ~x1109428+268435456 ~x1109427+134217728 ~x1109426+67108864 ~x1109425+33554432 ~x1109424+16777216 ~x1109423+8388608 ~x1109422+4194304 ~x1109421+2097152 ~x1109420+1048576 ~x1109419+524288 ~x1109418+262144 ~x1109417+131072 ~x1109416+65536 ~x1109415+32768 ~x1109414+16384 ~x1109413+8192 ~x1109412+4096 ~x1109411+2048 ~x1109410+1024 ~x1109409+512 ~x1109408+256 ~x1109407+128 ~x1109406+64 ~x1109405+32 ~x1109404+16 ~x1109403+8 ~x1109402+4 ~x1109401+2 ~x1109400+1 ~x1109399+483183820800 ~x301+241591910400 ~x300+120795955200 ~x299+60397977600 ~x298+30198988800 ~x297+15099494400 ~x296+7549747200 ~x295+3774873600 ~x294+1887436800 ~x293+943718400 ~x292+471859200 ~x291+235929600 ~x290+117964800 ~x289+58982400 ~x288+29491200 ~x287+14745600 ~x286+7372800 ~x285+3686400 ~x284+1843200 ~x283+921600 ~x282+460800 ~x281+230400 ~x280+115200 ~x279+57600 ~x278+28800 ~x277+14400 ~x276+7200 ~x275+3600 ~x274+1800 ~x273+900 ~x272+12348030976 x271+6174015488 x270+3087007744 x269+1543503872 x268+771751936 x267+385875968 x266+192937984 x265+96468992 x264+48234496 x263+24117248 x262+12058624 x261+6029312 x260+3014656 x259+1507328 x258+753664 x257+376832 x256+188416 x255+94208 x254+47104 x253+23552 x252+11776 x251+5888 x250+2944 x249+1472 x248+736 x247+368 x246+184 x245+92 x244+46 x243+23 x242+433791696896 x241+216895848448 x240+108447924224 x239+54223962112 x238+27111981056 x237+13555990528 x236+6777995264 x235+3388997632 x234+1694498816 x233+847249408 x232+423624704 x231+211812352 x230+105906176 x229+52953088 x228+26476544 x227+13238272 x226+6619136 x225+3309568 x224+1654784 x223+827392 x222+413696 x221+206848 x220+103424 x219+51712 x218+25856 x217+12928 x216+6464 x215+3232 x214+1616 x213+808 x212+510027366400 x211+255013683200 x210+127506841600 x209+63753420800 x208+31876710400 x207+15938355200 x206+7969177600 x205+3984588800 x204+1992294400 x203+996147200 x202+498073600 x201+249036800 x200+124518400 x199+62259200 x198+31129600 x197+15564800 x196+7782400 x195+3891200 x194+1945600 x193+972800 x192+486400 x191+243200 x190+121600 x189+60800 x188+30400 x187+15200 x186+7600 x185+3800 x184+1900 x183+950 x182+449897824256 x181+224948912128 x180+112474456064 x179+56237228032 x178+28118614016 x177+14059307008 x176+7029653504 x175+3514826752 x174+1757413376 x173+878706688 x172+439353344 x171+219676672 x170+109838336 x169+54919168 x168+27459584 x167+13729792 x166+6864896 x165+3432448 x164+1716224 x163+858112 x162+429056 x161+214528 x160+107264 x159+53632 x158+26816 x157+13408 x156+6704 x155+3352 x154+1676 x153+838 x152+368293445632 x151+184146722816 x150+92073361408 x149+46036680704 x148+23018340352 x147+11509170176 x146+5754585088 x145+2877292544 x144+1438646272 x143+719323136 x142+359661568 x141+179830784 x140+89915392 x139+44957696 x138+22478848 x137+11239424 x136+5619712 x135+2809856 x134+1404928 x133+702464 x132+351232 x131+175616 x130+87808 x129+43904 x128+21952 x127+10976 x126+5488 x125+2744 x124+1372 x123+686 x122+510027366400 x121+255013683200 x120+127506841600 x119+63753420800 x118+31876710400 x117+15938355200 x116+7969177600 x115+3984588800 x114+1992294400 x113+996147200 x112+498073600 x111+249036800 x110+124518400 x109+62259200 x108+31129600 x107+15564800 x106+7782400 x105+3891200 x104+1945600 x103+972800 x102+486400 x101+243200 x100+121600 x99+60800 x98+30400 x97+15200 x96+7600 x95+3800 x94+1900 x93+950 x92+400505700352 x91+200252850176 x90+100126425088 x89+50063212544 x88+25031606272 x87+12515803136 x86+6257901568 x85+3128950784 x84+1564475392 x83+782237696 x82+391118848 x81+195559424 x80+97779712 x79+48889856 x78+24444928 x77+12222464 x76+6111232 x75+3055616 x74+1527808 x73+763904 x72+381952 x71+190976 x70+95488 x69+47744 x68+23872 x67+11936 x66+5968 x65+2984 x64+1492 x63+746 x62+426275504128 x61+213137752064 x60+106568876032 x59+53284438016 x58+26642219008 x57+13321109504 x56+6660554752 x55+3330277376 x54+1665138688 x53+832569344 x52+416284672 x51+208142336 x50+104071168 x49+52035584 x48+26017792 x47+13008896 x46+6504448 x45+3252224 x44+1626112 x43+813056 x42+406528 x41+203264 x40+101632 x39+50816 x38+25408 x37+12704 x36+6352 x35+3176 x34+1588 x33+794 x32+449360953344 x31+224680476672 x30+112340238336 x29+56170119168 x28+28085059584 x27+14042529792 x26+7021264896 x25+3510632448 x24+1755316224 x23+877658112 x22+438829056 x21+219414528 x20+109707264 x19+54853632 x18+27426816 x17+13713408 x16+6856704 x15+3428352 x14+1714176 x13+857088 x12+428544 x11+214272 x10+107136 x9+53568 x8+26784 x7+13392 x6+6696 x5+3348 x4+1674 x3+837 x2-0=2065879268475
30.98/31.07	c 549755813888 ~x1335043+274877906944 ~x1335042+137438953472 ~x1335041+68719476736 ~x1335040+34359738368 ~x1335039+17179869184 ~x1335038+8589934592 ~x1335037+4294967296 ~x1335036+2147483648 ~x1335035+1073741824 ~x1335034+536870912 ~x1335033+268435456 ~x1335032+134217728 ~x1335031+67108864 ~x1335030+33554432 ~x1335029+16777216 ~x1335028+8388608 ~x1335027+4194304 ~x1335026+2097152 ~x1335025+1048576 ~x1335024+524288 ~x1335023+262144 ~x1335022+131072 ~x1335021+65536 ~x1335020+32768 ~x1335019+16384 ~x1335018+8192 ~x1335017+4096 ~x1335016+2048 ~x1335015+1024 ~x1335014+512 ~x1335013+256 ~x1335012+128 ~x1335011+64 ~x1335010+32 ~x1335009+16 ~x1335008+8 ~x1335007+4 ~x1335006+2 ~x1335005+1 ~x1335004+483183820800 ~x301+241591910400 ~x300+120795955200 ~x299+60397977600 ~x298+30198988800 ~x297+15099494400 ~x296+7549747200 ~x295+3774873600 ~x294+1887436800 ~x293+943718400 ~x292+471859200 ~x291+235929600 ~x290+117964800 ~x289+58982400 ~x288+29491200 ~x287+14745600 ~x286+7372800 ~x285+3686400 ~x284+1843200 ~x283+921600 ~x282+460800 ~x281+230400 ~x280+115200 ~x279+57600 ~x278+28800 ~x277+14400 ~x276+7200 ~x275+3600 ~x274+1800 ~x273+900 ~x272+5368709120 x271+2684354560 x270+1342177280 x269+671088640 x268+335544320 x267+167772160 x266+83886080 x265+41943040 x264+20971520 x263+10485760 x262+5242880 x261+2621440 x260+1310720 x259+655360 x258+327680 x257+163840 x256+81920 x255+40960 x254+20480 x253+10240 x252+5120 x251+2560 x250+1280 x249+640 x248+320 x247+160 x246+80 x245+40 x244+20 x243+10 x242+437549793280 x241+218774896640 x240+109387448320 x239+54693724160 x238+27346862080 x237+13673431040 x236+6836715520 x235+3418357760 x234+1709178880 x233+854589440 x232+427294720 x231+213647360 x230+106823680 x229+53411840 x228+26705920 x227+13352960 x226+6676480 x225+3338240 x224+1669120 x223+834560 x222+417280 x221+208640 x220+104320 x219+52160 x218+26080 x217+13040 x216+6520 x215+3260 x214+1630 x213+815 x212+526133493760 x211+263066746880 x210+131533373440 x209+65766686720 x208+32883343360 x207+16441671680 x206+8220835840 x205+4110417920 x204+2055208960 x203+1027604480 x202+513802240 x201+256901120 x200+128450560 x199+64225280 x198+32112640 x197+16056320 x196+8028160 x195+4014080 x194+2007040 x193+1003520 x192+501760 x191+250880 x190+125440 x189+62720 x188+31360 x187+15680 x186+7840 x185+3920 x184+1960 x183+980 x182+466003951616 x181+233001975808 x180+116500987904 x179+58250493952 x178+29125246976 x177+14562623488 x176+7281311744 x175+3640655872 x174+1820327936 x173+910163968 x172+455081984 x171+227540992 x170+113770496 x169+56885248 x168+28442624 x167+14221312 x166+7110656 x165+3555328 x164+1777664 x163+888832 x162+444416 x161+222208 x160+111104 x159+55552 x158+27776 x157+13888 x156+6944 x155+3472 x154+1736 x153+868 x152+412316860416 x151+206158430208 x150+103079215104 x149+51539607552 x148+25769803776 x147+12884901888 x146+6442450944 x145+3221225472 x144+1610612736 x143+805306368 x142+402653184 x141+201326592 x140+100663296 x139+50331648 x138+25165824 x137+12582912 x136+6291456 x135+3145728 x134+1572864 x133+786432 x132+393216 x131+196608 x130+98304 x129+49152 x128+24576 x127+12288 x126+6144 x125+3072 x124+1536 x123+768 x122+526133493760 x121+263066746880 x120+131533373440 x119+65766686720 x118+32883343360 x117+16441671680 x116+8220835840 x115+4110417920 x114+2055208960 x113+1027604480 x112+513802240 x111+256901120 x110+128450560 x109+64225280 x108+32112640 x107+16056320 x106+8028160 x105+4014080 x104+2007040 x103+1003520 x102+501760 x101+250880 x100+125440 x99+62720 x98+31360 x97+15680 x96+7840 x95+3920 x94+1960 x93+980 x92+432717955072 x91+216358977536 x90+108179488768 x89+54089744384 x88+27044872192 x87+13522436096 x86+6761218048 x85+3380609024 x84+1690304512 x83+845152256 x82+422576128 x81+211288064 x80+105644032 x79+52822016 x78+26411008 x77+13205504 x76+6602752 x75+3301376 x74+1650688 x73+825344 x72+412672 x71+206336 x70+103168 x69+51584 x68+25792 x67+12896 x66+6448 x65+3224 x64+1612 x63+806 x62+446676598784 x61+223338299392 x60+111669149696 x59+55834574848 x58+27917287424 x57+13958643712 x56+6979321856 x55+3489660928 x54+1744830464 x53+872415232 x52+436207616 x51+218103808 x50+109051904 x49+54525952 x48+27262976 x47+13631488 x46+6815744 x45+3407872 x44+1703936 x43+851968 x42+425984 x41+212992 x40+106496 x39+53248 x38+26624 x37+13312 x36+6656 x35+3328 x34+1664 x33+832 x32+456340275200 x31+228170137600 x30+114085068800 x29+57042534400 x28+28521267200 x27+14260633600 x26+7130316800 x25+3565158400 x24+1782579200 x23+891289600 x22+445644800 x21+222822400 x20+111411200 x19+55705600 x18+27852800 x17+13926400 x16+6963200 x15+3481600 x14+1740800 x13+870400 x12+435200 x11+217600 x10+108800 x9+54400 x8+27200 x7+13600 x6+6800 x5+3400 x4+1700 x3+850 x2-0=2065879268475
35.98/36.08	c 536870912 ~x1561538+268435456 ~x1561537+134217728 ~x1561536+67108864 ~x1561535+33554432 ~x1561534+16777216 ~x1561533+8388608 ~x1561532+4194304 ~x1561531+2097152 ~x1561530+1048576 ~x1561529+524288 ~x1561528+262144 ~x1561527+131072 ~x1561526+65536 ~x1561525+32768 ~x1561524+16384 ~x1561523+8192 ~x1561522+4096 ~x1561521+2048 ~x1561520+1024 ~x1561519+512 ~x1561518+256 ~x1561517+128 ~x1561516+64 ~x1561515+32 ~x1561514+16 ~x1561513+8 ~x1561512+4 ~x1561511+2 ~x1561510+1 ~x1561509+805306368 x300+402653184 x299+201326592 x298+100663296 x297+50331648 x296+25165824 x295+12582912 x294+6291456 x293+3145728 x292+1572864 x291+786432 x290+393216 x289+196608 x288+98304 x287+49152 x286+24576 x285+12288 x284+6144 x283+3072 x282+1536 x281+768 x280+384 x279+192 x278+96 x277+48 x276+24 x275+12 x274+6 x273+3 x272+536870912 ~x271+268435456 ~x270+134217728 ~x269+67108864 ~x268+33554432 ~x267+16777216 ~x266+8388608 ~x265+4194304 ~x264+2097152 ~x263+1048576 ~x262+524288 ~x261+262144 ~x260+131072 ~x259+65536 ~x258+32768 ~x257+16384 ~x256+8192 ~x255+4096 ~x254+2048 ~x253+1024 ~x252+512 ~x251+256 ~x250+128 ~x249+64 ~x248+32 ~x247+16 ~x246+8 ~x245+4 ~x244+2 ~x243+1 ~x242-0=2147483646
39.37/39.48	c 549755813888 ~x1715568+274877906944 ~x1715567+137438953472 ~x1715566+68719476736 ~x1715565+34359738368 ~x1715564+17179869184 ~x1715563+8589934592 ~x1715562+4294967296 ~x1715561+2147483648 ~x1715560+1073741824 ~x1715559+536870912 ~x1715558+268435456 ~x1715557+134217728 ~x1715556+67108864 ~x1715555+33554432 ~x1715554+16777216 ~x1715553+8388608 ~x1715552+4194304 ~x1715551+2097152 ~x1715550+1048576 ~x1715549+524288 ~x1715548+262144 ~x1715547+131072 ~x1715546+65536 ~x1715545+32768 ~x1715544+16384 ~x1715543+8192 ~x1715542+4096 ~x1715541+2048 ~x1715540+1024 ~x1715539+512 ~x1715538+256 ~x1715537+128 ~x1715536+64 ~x1715535+32 ~x1715534+16 ~x1715533+8 ~x1715532+4 ~x1715531+2 ~x1715530+1 ~x1715529+59055800320 x601+29527900160 x600+14763950080 x599+7381975040 x598+3690987520 x597+1845493760 x596+922746880 x595+461373440 x594+230686720 x593+115343360 x592+57671680 x591+28835840 x590+14417920 x589+7208960 x588+3604480 x587+1802240 x586+901120 x585+450560 x584+225280 x583+112640 x582+56320 x581+28160 x580+14080 x579+7040 x578+3520 x577+1760 x576+880 x575+440 x574+220 x573+110 x572+31138512896 ~x541+15569256448 ~x540+7784628224 ~x539+3892314112 ~x538+1946157056 ~x537+973078528 ~x536+486539264 ~x535+243269632 ~x534+121634816 ~x533+60817408 ~x532+30408704 ~x531+15204352 ~x530+7602176 ~x529+3801088 ~x528+1900544 ~x527+950272 ~x526+475136 ~x525+237568 ~x524+118784 ~x523+59392 ~x522+29696 ~x521+14848 ~x520+7424 ~x519+3712 ~x518+1856 ~x517+928 ~x516+464 ~x515+232 ~x514+116 ~x513+58 ~x512+14495514624 ~x511+7247757312 ~x510+3623878656 ~x509+1811939328 ~x508+905969664 ~x507+452984832 ~x506+226492416 ~x505+113246208 ~x504+56623104 ~x503+28311552 ~x502+14155776 ~x501+7077888 ~x500+3538944 ~x499+1769472 ~x498+884736 ~x497+442368 ~x496+221184 ~x495+110592 ~x494+55296 ~x493+27648 ~x492+13824 ~x491+6912 ~x490+3456 ~x489+1728 ~x488+864 ~x487+432 ~x486+216 ~x485+108 ~x484+54 ~x483+27 ~x482+8053063680 ~x481+4026531840 ~x480+2013265920 ~x479+1006632960 ~x478+503316480 ~x477+251658240 ~x476+125829120 ~x475+62914560 ~x474+31457280 ~x473+15728640 ~x472+7864320 ~x471+3932160 ~x470+1966080 ~x469+983040 ~x468+491520 ~x467+245760 ~x466+122880 ~x465+61440 ~x464+30720 ~x463+15360 ~x462+7680 ~x461+3840 ~x460+1920 ~x459+960 ~x458+480 ~x457+240 ~x456+120 ~x455+60 ~x454+30 ~x453+15 ~x452+4294967296 ~x451+2147483648 ~x450+1073741824 ~x449+536870912 ~x448+268435456 ~x447+134217728 ~x446+67108864 ~x445+33554432 ~x444+16777216 ~x443+8388608 ~x442+4194304 ~x441+2097152 ~x440+1048576 ~x439+524288 ~x438+262144 ~x437+131072 ~x436+65536 ~x435+32768 ~x434+16384 ~x433+8192 ~x432+4096 ~x431+2048 ~x430+1024 ~x429+512 ~x428+256 ~x427+128 ~x426+64 ~x425+32 ~x424+16 ~x423+8 ~x422+29527900160 ~x421+14763950080 ~x420+7381975040 ~x419+3690987520 ~x418+1845493760 ~x417+922746880 ~x416+461373440 ~x415+230686720 ~x414+115343360 ~x413+57671680 ~x412+28835840 ~x411+14417920 ~x410+7208960 ~x409+3604480 ~x408+1802240 ~x407+901120 ~x406+450560 ~x405+225280 ~x404+112640 ~x403+56320 ~x402+28160 ~x401+14080 ~x400+7040 ~x399+3520 ~x398+1760 ~x397+880 ~x396+440 ~x395+220 ~x394+110 ~x393+55 ~x392+348966092800 ~x391+174483046400 ~x390+87241523200 ~x389+43620761600 ~x388+21810380800 ~x387+10905190400 ~x386+5452595200 ~x385+2726297600 ~x384+1363148800 ~x383+681574400 ~x382+340787200 ~x381+170393600 ~x380+85196800 ~x379+42598400 ~x378+21299200 ~x377+10649600 ~x376+5324800 ~x375+2662400 ~x374+1331200 ~x373+665600 ~x372+332800 ~x371+166400 ~x370+83200 ~x369+41600 ~x368+20800 ~x367+10400 ~x366+5200 ~x365+2600 ~x364+1300 ~x363+650 ~x362-0=1972463729874
42.57/42.60	c 137438953472 ~x1855711+68719476736 ~x1855710+34359738368 ~x1855709+17179869184 ~x1855708+8589934592 ~x1855707+4294967296 ~x1855706+2147483648 ~x1855705+1073741824 ~x1855704+536870912 ~x1855703+268435456 ~x1855702+134217728 ~x1855701+67108864 ~x1855700+33554432 ~x1855699+16777216 ~x1855698+8388608 ~x1855697+4194304 ~x1855696+2097152 ~x1855695+1048576 ~x1855694+524288 ~x1855693+262144 ~x1855692+131072 ~x1855691+65536 ~x1855690+32768 ~x1855689+16384 ~x1855688+8192 ~x1855687+4096 ~x1855686+2048 ~x1855685+1024 ~x1855684+512 ~x1855683+256 ~x1855682+128 ~x1855681+64 ~x1855680+32 ~x1855679+16 ~x1855678+8 ~x1855677+4 ~x1855676+2 ~x1855675+1 ~x1855674+26843545600 x601+13421772800 x600+6710886400 x599+3355443200 x598+1677721600 x597+838860800 x596+419430400 x595+209715200 x594+104857600 x593+52428800 x592+26214400 x591+13107200 x590+6553600 x589+3276800 x588+1638400 x587+819200 x586+409600 x585+204800 x584+102400 x583+51200 x582+25600 x581+12800 x580+6400 x579+3200 x578+1600 x577+800 x576+400 x575+200 x574+100 x573+50 x572+24696061952 ~x541+12348030976 ~x540+6174015488 ~x539+3087007744 ~x538+1543503872 ~x537+771751936 ~x536+385875968 ~x535+192937984 ~x534+96468992 ~x533+48234496 ~x532+24117248 ~x531+12058624 ~x530+6029312 ~x529+3014656 ~x528+1507328 ~x527+753664 ~x526+376832 ~x525+188416 ~x524+94208 ~x523+47104 ~x522+23552 ~x521+11776 ~x520+5888 ~x519+2944 ~x518+1472 ~x517+736 ~x516+368 ~x515+184 ~x514+92 ~x513+46 ~x512+6979321856 ~x511+3489660928 ~x510+1744830464 ~x509+872415232 ~x508+436207616 ~x507+218103808 ~x506+109051904 ~x505+54525952 ~x504+27262976 ~x503+13631488 ~x502+6815744 ~x501+3407872 ~x500+1703936 ~x499+851968 ~x498+425984 ~x497+212992 ~x496+106496 ~x495+53248 ~x494+26624 ~x493+13312 ~x492+6656 ~x491+3328 ~x490+1664 ~x489+832 ~x488+416 ~x487+208 ~x486+104 ~x485+52 ~x484+26 ~x483+13 ~x482+6442450944 ~x481+3221225472 ~x480+1610612736 ~x479+805306368 ~x478+402653184 ~x477+201326592 ~x476+100663296 ~x475+50331648 ~x474+25165824 ~x473+12582912 ~x472+6291456 ~x471+3145728 ~x470+1572864 ~x469+786432 ~x468+393216 ~x467+196608 ~x466+98304 ~x465+49152 ~x464+24576 ~x463+12288 ~x462+6144 ~x461+3072 ~x460+1536 ~x459+768 ~x458+384 ~x457+192 ~x456+96 ~x455+48 ~x454+24 ~x453+12 ~x452+30601641984 ~x421+15300820992 ~x420+7650410496 ~x419+3825205248 ~x418+1912602624 ~x417+956301312 ~x416+478150656 ~x415+239075328 ~x414+119537664 ~x413+59768832 ~x412+29884416 ~x411+14942208 ~x410+7471104 ~x409+3735552 ~x408+1867776 ~x407+933888 ~x406+466944 ~x405+233472 ~x404+116736 ~x403+58368 ~x402+29184 ~x401+14592 ~x400+7296 ~x399+3648 ~x398+1824 ~x397+912 ~x396+456 ~x395+228 ~x394+114 ~x393+57 ~x392+53687091200 ~x391+26843545600 ~x390+13421772800 ~x389+6710886400 ~x388+3355443200 ~x387+1677721600 ~x386+838860800 ~x385+419430400 ~x384+209715200 ~x383+104857600 ~x382+52428800 ~x381+26214400 ~x380+13107200 ~x379+6553600 ~x378+3276800 ~x377+1638400 ~x376+819200 ~x375+409600 ~x374+204800 ~x373+102400 ~x372+51200 ~x371+25600 ~x370+12800 ~x369+6400 ~x368+3200 ~x367+1600 ~x366+800 ~x365+400 ~x364+200 ~x363+100 ~x362-0=519691042587
45.27/45.31	c 34359738368 ~x1976632+17179869184 ~x1976631+8589934592 ~x1976630+4294967296 ~x1976629+2147483648 ~x1976628+1073741824 ~x1976627+536870912 ~x1976626+268435456 ~x1976625+134217728 ~x1976624+67108864 ~x1976623+33554432 ~x1976622+16777216 ~x1976621+8388608 ~x1976620+4194304 ~x1976619+2097152 ~x1976618+1048576 ~x1976617+524288 ~x1976616+262144 ~x1976615+131072 ~x1976614+65536 ~x1976613+32768 ~x1976612+16384 ~x1976611+8192 ~x1976610+4096 ~x1976609+2048 ~x1976608+1024 ~x1976607+512 ~x1976606+256 ~x1976605+128 ~x1976604+64 ~x1976603+32 ~x1976602+16 ~x1976601+8 ~x1976600+4 ~x1976599+2 ~x1976598+1 ~x1976597+26843545600 ~x601+13421772800 ~x600+6710886400 ~x599+3355443200 ~x598+1677721600 ~x597+838860800 ~x596+419430400 ~x595+209715200 ~x594+104857600 ~x593+52428800 ~x592+26214400 ~x591+13107200 ~x590+6553600 ~x589+3276800 ~x588+1638400 ~x587+819200 ~x586+409600 ~x585+204800 ~x584+102400 ~x583+51200 ~x582+25600 ~x581+12800 ~x580+6400 ~x579+3200 ~x578+1600 ~x577+800 ~x576+400 ~x575+200 ~x574+100 ~x573+50 ~x572+35970351104 x541+17985175552 x540+8992587776 x539+4496293888 x538+2248146944 x537+1124073472 x536+562036736 x535+281018368 x534+140509184 x533+70254592 x532+35127296 x531+17563648 x530+8781824 x529+4390912 x528+2195456 x527+1097728 x526+548864 x525+274432 x524+137216 x523+68608 x522+34304 x521+17152 x520+8576 x519+4288 x518+2144 x517+1072 x516+536 x515+268 x514+134 x513+67 x512+15032385536 x511+7516192768 x510+3758096384 x509+1879048192 x508+939524096 x507+469762048 x506+234881024 x505+117440512 x504+58720256 x503+29360128 x502+14680064 x501+7340032 x500+3670016 x499+1835008 x498+917504 x497+458752 x496+229376 x495+114688 x494+57344 x493+28672 x492+14336 x491+7168 x490+3584 x489+1792 x488+896 x487+448 x486+224 x485+112 x484+56 x483+28 x482+19327352832 x481+9663676416 x480+4831838208 x479+2415919104 x478+1207959552 x477+603979776 x476+301989888 x475+150994944 x474+75497472 x473+37748736 x472+18874368 x471+9437184 x470+4718592 x469+2359296 x468+1179648 x467+589824 x466+294912 x465+147456 x464+73728 x463+36864 x462+18432 x461+9216 x460+4608 x459+2304 x458+1152 x457+576 x456+288 x455+144 x454+72 x453+36 x452+536870912 x451+268435456 x450+134217728 x449+67108864 x448+33554432 x447+16777216 x446+8388608 x445+4194304 x444+2097152 x443+1048576 x442+524288 x441+262144 x440+131072 x439+65536 x438+32768 x437+16384 x436+8192 x435+4096 x434+2048 x433+1024 x432+512 x431+256 x430+128 x429+64 x428+32 x427+16 x426+8 x425+4 x424+2 x423+1 x422+26843545600 x420+13421772800 x419+6710886400 x418+3355443200 x417+1677721600 x416+838860800 x415+419430400 x414+209715200 x413+104857600 x412+52428800 x411+26214400 x410+13107200 x409+6553600 x408+3276800 x407+1638400 x406+819200 x405+409600 x404+204800 x403+102400 x402+51200 x401+25600 x400+12800 x399+6400 x398+3200 x397+1600 x396+800 x395+400 x394+200 x393+100 x392+26843545600 x390+13421772800 x389+6710886400 x388+3355443200 x387+1677721600 x386+838860800 x385+419430400 x384+209715200 x383+104857600 x382+52428800 x381+26214400 x380+13107200 x379+6553600 x378+3276800 x377+1638400 x376+819200 x375+409600 x374+204800 x373+102400 x372+51200 x371+25600 x370+12800 x369+6400 x368+3200 x367+1600 x366+800 x365+400 x364+200 x363+100 x362-0=122406567885
48.28/48.30	c 68719476736 ~x2112195+34359738368 ~x2112194+17179869184 ~x2112193+8589934592 ~x2112192+4294967296 ~x2112191+2147483648 ~x2112190+1073741824 ~x2112189+536870912 ~x2112188+268435456 ~x2112187+134217728 ~x2112186+67108864 ~x2112185+33554432 ~x2112184+16777216 ~x2112183+8388608 ~x2112182+4194304 ~x2112181+2097152 ~x2112180+1048576 ~x2112179+524288 ~x2112178+262144 ~x2112177+131072 ~x2112176+65536 ~x2112175+32768 ~x2112174+16384 ~x2112173+8192 ~x2112172+4096 ~x2112171+2048 ~x2112170+1024 ~x2112169+512 ~x2112168+256 ~x2112167+128 ~x2112166+64 ~x2112165+32 ~x2112164+16 ~x2112163+8 ~x2112162+4 ~x2112161+2 ~x2112160+1 ~x2112159+48318382080 ~x601+24159191040 ~x600+12079595520 ~x599+6039797760 ~x598+3019898880 ~x597+1509949440 ~x596+754974720 ~x595+377487360 ~x594+188743680 ~x593+94371840 ~x592+47185920 ~x591+23592960 ~x590+11796480 ~x589+5898240 ~x588+2949120 ~x587+1474560 ~x586+737280 ~x585+368640 ~x584+184320 ~x583+92160 ~x582+46080 ~x581+23040 ~x580+11520 ~x579+5760 ~x578+2880 ~x577+1440 ~x576+720 ~x575+360 ~x574+180 ~x573+90 ~x572+53687091200 x541+26843545600 x540+13421772800 x539+6710886400 x538+3355443200 x537+1677721600 x536+838860800 x535+419430400 x534+209715200 x533+104857600 x532+52428800 x531+26214400 x530+13107200 x529+6553600 x528+3276800 x527+1638400 x526+819200 x525+409600 x524+204800 x523+102400 x522+51200 x521+25600 x520+12800 x519+6400 x518+3200 x517+1600 x516+800 x515+400 x514+200 x513+100 x512+42412802048 x511+21206401024 x510+10603200512 x509+5301600256 x508+2650800128 x507+1325400064 x506+662700032 x505+331350016 x504+165675008 x503+82837504 x502+41418752 x501+20709376 x500+10354688 x499+5177344 x498+2588672 x497+1294336 x496+647168 x495+323584 x494+161792 x493+80896 x492+40448 x491+20224 x490+10112 x489+5056 x488+2528 x487+1264 x486+632 x485+316 x484+158 x483+79 x482+51002736640 x481+25501368320 x480+12750684160 x479+6375342080 x478+3187671040 x477+1593835520 x476+796917760 x475+398458880 x474+199229440 x473+99614720 x472+49807360 x471+24903680 x470+12451840 x469+6225920 x468+3112960 x467+1556480 x466+778240 x465+389120 x464+194560 x463+97280 x462+48640 x461+24320 x460+12160 x459+6080 x458+3040 x457+1520 x456+760 x455+380 x454+190 x453+95 x452+52613349376 x451+26306674688 x450+13153337344 x449+6576668672 x448+3288334336 x447+1644167168 x446+822083584 x445+411041792 x444+205520896 x443+102760448 x442+51380224 x441+25690112 x440+12845056 x439+6422528 x438+3211264 x437+1605632 x436+802816 x435+401408 x434+200704 x433+100352 x432+50176 x431+25088 x430+12544 x429+6272 x428+3136 x427+1568 x426+784 x425+392 x424+196 x423+98 x422+53687091200 x421+26843545600 x420+13421772800 x419+6710886400 x418+3355443200 x417+1677721600 x416+838860800 x415+419430400 x414+209715200 x413+104857600 x412+52428800 x411+26214400 x410+13107200 x409+6553600 x408+3276800 x407+1638400 x406+819200 x405+409600 x404+204800 x403+102400 x402+51200 x401+25600 x400+12800 x399+6400 x398+3200 x397+1600 x396+800 x395+400 x394+200 x393+100 x392+53687091200 x391+26843545600 x390+13421772800 x389+6710886400 x388+3355443200 x387+1677721600 x386+838860800 x385+419430400 x384+209715200 x383+104857600 x382+52428800 x381+26214400 x380+13107200 x379+6553600 x378+3276800 x377+1638400 x376+819200 x375+409600 x374+204800 x373+102400 x372+51200 x371+25600 x370+12800 x369+6400 x368+3200 x367+1600 x366+800 x365+400 x364+200 x363+100 x362-0=234075717541
51.27/51.35	c 549755813888 ~x2249464+274877906944 ~x2249463+137438953472 ~x2249462+68719476736 ~x2249461+34359738368 ~x2249460+17179869184 ~x2249459+8589934592 ~x2249458+4294967296 ~x2249457+2147483648 ~x2249456+1073741824 ~x2249455+536870912 ~x2249454+268435456 ~x2249453+134217728 ~x2249452+67108864 ~x2249451+33554432 ~x2249450+16777216 ~x2249449+8388608 ~x2249448+4194304 ~x2249447+2097152 ~x2249446+1048576 ~x2249445+524288 ~x2249444+262144 ~x2249443+131072 ~x2249442+65536 ~x2249441+32768 ~x2249440+16384 ~x2249439+8192 ~x2249438+4096 ~x2249437+2048 ~x2249436+1024 ~x2249435+512 ~x2249434+256 ~x2249433+128 ~x2249432+64 ~x2249431+32 ~x2249430+16 ~x2249429+8 ~x2249428+4 ~x2249427+2 ~x2249426+1 ~x2249425+477815111680 ~x601+238907555840 ~x600+119453777920 ~x599+59726888960 ~x598+29863444480 ~x597+14931722240 ~x596+7465861120 ~x595+3732930560 ~x594+1866465280 ~x593+933232640 ~x592+466616320 ~x591+233308160 ~x590+116654080 ~x589+58327040 ~x588+29163520 ~x587+14581760 ~x586+7290880 ~x585+3645440 ~x584+1822720 ~x583+911360 ~x582+455680 ~x581+227840 ~x580+113920 ~x579+56960 ~x578+28480 ~x577+14240 ~x576+7120 ~x575+3560 ~x574+1780 ~x573+890 ~x572+18790481920 x571+9395240960 x570+4697620480 x569+2348810240 x568+1174405120 x567+587202560 x566+293601280 x565+146800640 x564+73400320 x563+36700160 x562+18350080 x561+9175040 x560+4587520 x559+2293760 x558+1146880 x557+573440 x556+286720 x555+143360 x554+71680 x553+35840 x552+17920 x551+8960 x550+4480 x549+2240 x548+1120 x547+560 x546+280 x545+140 x544+70 x543+35 x542+518080430080 x541+259040215040 x540+129520107520 x539+64760053760 x538+32380026880 x537+16190013440 x536+8095006720 x535+4047503360 x534+2023751680 x533+1011875840 x532+505937920 x531+252968960 x530+126484480 x529+63242240 x528+31621120 x527+15810560 x526+7905280 x525+3952640 x524+1976320 x523+988160 x522+494080 x521+247040 x520+123520 x519+61760 x518+30880 x517+15440 x516+7720 x515+3860 x514+1930 x513+965 x512+418222440448 x511+209111220224 x510+104555610112 x509+52277805056 x508+26138902528 x507+13069451264 x506+6534725632 x505+3267362816 x504+1633681408 x503+816840704 x502+408420352 x501+204210176 x500+102105088 x499+51052544 x498+25526272 x497+12763136 x496+6381568 x495+3190784 x494+1595392 x493+797696 x492+398848 x491+199424 x490+99712 x489+49856 x488+24928 x487+12464 x486+6232 x485+3116 x484+1558 x483+779 x482+325343772672 x481+162671886336 x480+81335943168 x479+40667971584 x478+20333985792 x477+10166992896 x476+5083496448 x475+2541748224 x474+1270874112 x473+635437056 x472+317718528 x471+158859264 x470+79429632 x469+39714816 x468+19857408 x467+9928704 x466+4964352 x465+2482176 x464+1241088 x463+620544 x462+310272 x461+155136 x460+77568 x459+38784 x458+19392 x457+9696 x456+4848 x455+2424 x454+1212 x453+606 x452+471909531648 x451+235954765824 x450+117977382912 x449+58988691456 x448+29494345728 x447+14747172864 x446+7373586432 x445+3686793216 x444+1843396608 x443+921698304 x442+460849152 x441+230424576 x440+115212288 x439+57606144 x438+28803072 x437+14401536 x436+7200768 x435+3600384 x434+1800192 x433+900096 x432+450048 x431+225024 x430+112512 x429+56256 x428+28128 x427+14064 x426+7032 x425+3516 x424+1758 x423+879 x422+450971566080 x421+225485783040 x420+112742891520 x419+56371445760 x418+28185722880 x417+14092861440 x416+7046430720 x415+3523215360 x414+1761607680 x413+880803840 x412+440401920 x411+220200960 x410+110100480 x409+55050240 x408+27525120 x407+13762560 x406+6881280 x405+3440640 x404+1720320 x403+860160 x402+430080 x401+215040 x400+107520 x399+53760 x398+26880 x397+13440 x396+6720 x395+3360 x394+1680 x393+840 x392+522912268288 x391+261456134144 x390+130728067072 x389+65364033536 x388+32682016768 x387+16341008384 x386+8170504192 x385+4085252096 x384+2042626048 x383+1021313024 x382+510656512 x381+255328256 x380+127664128 x379+63832064 x378+31916032 x377+15958016 x376+7979008 x375+3989504 x374+1994752 x373+997376 x372+498688 x371+249344 x370+124672 x369+62336 x368+31168 x367+15584 x366+7792 x365+3896 x364+1948 x363+974 x362-0=2055141850245
55.37/55.44	c 549755813888 ~x2432403+274877906944 ~x2432402+137438953472 ~x2432401+68719476736 ~x2432400+34359738368 ~x2432399+17179869184 ~x2432398+8589934592 ~x2432397+4294967296 ~x2432396+2147483648 ~x2432395+1073741824 ~x2432394+536870912 ~x2432393+268435456 ~x2432392+134217728 ~x2432391+67108864 ~x2432390+33554432 ~x2432389+16777216 ~x2432388+8388608 ~x2432387+4194304 ~x2432386+2097152 ~x2432385+1048576 ~x2432384+524288 ~x2432383+262144 ~x2432382+131072 ~x2432381+65536 ~x2432380+32768 ~x2432379+16384 ~x2432378+8192 ~x2432377+4096 ~x2432376+2048 ~x2432375+1024 ~x2432374+512 ~x2432373+256 ~x2432372+128 ~x2432371+64 ~x2432370+32 ~x2432369+16 ~x2432368+8 ~x2432367+4 ~x2432366+2 ~x2432365+1 ~x2432364+477815111680 ~x601+238907555840 ~x600+119453777920 ~x599+59726888960 ~x598+29863444480 ~x597+14931722240 ~x596+7465861120 ~x595+3732930560 ~x594+1866465280 ~x593+933232640 ~x592+466616320 ~x591+233308160 ~x590+116654080 ~x589+58327040 ~x588+29163520 ~x587+14581760 ~x586+7290880 ~x585+3645440 ~x584+1822720 ~x583+911360 ~x582+455680 ~x581+227840 ~x580+113920 ~x579+56960 ~x578+28480 ~x577+14240 ~x576+7120 ~x575+3560 ~x574+1780 ~x573+890 ~x572+10200547328 x571+5100273664 x570+2550136832 x569+1275068416 x568+637534208 x567+318767104 x566+159383552 x565+79691776 x564+39845888 x563+19922944 x562+9961472 x561+4980736 x560+2490368 x559+1245184 x558+622592 x557+311296 x556+155648 x555+77824 x554+38912 x553+19456 x552+9728 x551+4864 x550+2432 x549+1216 x548+608 x547+304 x546+152 x545+76 x544+38 x543+19 x542+526670364672 x541+263335182336 x540+131667591168 x539+65833795584 x538+32916897792 x537+16458448896 x536+8229224448 x535+4114612224 x534+2057306112 x533+1028653056 x532+514326528 x531+257163264 x530+128581632 x529+64290816 x528+32145408 x527+16072704 x526+8036352 x525+4018176 x524+2009088 x523+1004544 x522+502272 x521+251136 x520+125568 x519+62784 x518+31392 x517+15696 x516+7848 x515+3924 x514+1962 x513+981 x512+437012922368 x511+218506461184 x510+109253230592 x509+54626615296 x508+27313307648 x507+13656653824 x506+6828326912 x505+3414163456 x504+1707081728 x503+853540864 x502+426770432 x501+213385216 x500+106692608 x499+53346304 x498+26673152 x497+13336576 x496+6668288 x495+3334144 x494+1667072 x493+833536 x492+416768 x491+208384 x490+104192 x489+52096 x488+26048 x487+13024 x486+6512 x485+3256 x484+1628 x483+814 x482+409632505856 x481+204816252928 x480+102408126464 x479+51204063232 x478+25602031616 x477+12801015808 x476+6400507904 x475+3200253952 x474+1600126976 x473+800063488 x472+400031744 x471+200015872 x470+100007936 x469+50003968 x468+25001984 x467+12500992 x466+6250496 x465+3125248 x464+1562624 x463+781312 x462+390656 x461+195328 x460+97664 x459+48832 x458+24416 x457+12208 x456+6104 x455+3052 x454+1526 x453+763 x452+445065986048 x451+222532993024 x450+111266496512 x449+55633248256 x448+27816624128 x447+13908312064 x446+6954156032 x445+3477078016 x444+1738539008 x443+869269504 x442+434634752 x441+217317376 x440+108658688 x439+54329344 x438+27164672 x437+13582336 x436+6791168 x435+3395584 x434+1697792 x433+848896 x432+424448 x431+212224 x430+106112 x429+53056 x428+26528 x427+13264 x426+6632 x425+3316 x424+1658 x423+829 x422+472983273472 x421+236491636736 x420+118245818368 x419+59122909184 x418+29561454592 x417+14780727296 x416+7390363648 x415+3695181824 x414+1847590912 x413+923795456 x412+461897728 x411+230948864 x410+115474432 x409+57737216 x408+28868608 x407+14434304 x406+7217152 x405+3608576 x404+1804288 x403+902144 x402+451072 x401+225536 x400+112768 x399+56384 x398+28192 x397+14096 x396+7048 x395+3524 x394+1762 x393+881 x392+536334041088 x391+268167020544 x390+134083510272 x389+67041755136 x388+33520877568 x387+16760438784 x386+8380219392 x385+4190109696 x384+2095054848 x383+1047527424 x382+523763712 x381+261881856 x380+130940928 x379+65470464 x378+32735232 x377+16367616 x376+8183808 x375+4091904 x374+2045952 x373+1022976 x372+511488 x371+255744 x370+127872 x369+63936 x368+31968 x367+15984 x366+7992 x365+3996 x364+1998 x363+999 x362-0=2055141850245
59.28/59.33	c 549755813888 ~x2608862+274877906944 ~x2608861+137438953472 ~x2608860+68719476736 ~x2608859+34359738368 ~x2608858+17179869184 ~x2608857+8589934592 ~x2608856+4294967296 ~x2608855+2147483648 ~x2608854+1073741824 ~x2608853+536870912 ~x2608852+268435456 ~x2608851+134217728 ~x2608850+67108864 ~x2608849+33554432 ~x2608848+16777216 ~x2608847+8388608 ~x2608846+4194304 ~x2608845+2097152 ~x2608844+1048576 ~x2608843+524288 ~x2608842+262144 ~x2608841+131072 ~x2608840+65536 ~x2608839+32768 ~x2608838+16384 ~x2608837+8192 ~x2608836+4096 ~x2608835+2048 ~x2608834+1024 ~x2608833+512 ~x2608832+256 ~x2608831+128 ~x2608830+64 ~x2608829+32 ~x2608828+16 ~x2608827+8 ~x2608826+4 ~x2608825+2 ~x2608824+1 ~x2608823+440234147840 ~x601+220117073920 ~x600+110058536960 ~x599+55029268480 ~x598+27514634240 ~x597+13757317120 ~x596+6878658560 ~x595+3439329280 ~x594+1719664640 ~x593+859832320 ~x592+429916160 ~x591+214958080 ~x590+107479040 ~x589+53739520 ~x588+26869760 ~x587+13434880 ~x586+6717440 ~x585+3358720 ~x584+1679360 ~x583+839680 ~x582+419840 ~x581+209920 ~x580+104960 ~x579+52480 ~x578+26240 ~x577+13120 ~x576+6560 ~x575+3280 ~x574+1640 ~x573+820 ~x572+18253611008 x571+9126805504 x570+4563402752 x569+2281701376 x568+1140850688 x567+570425344 x566+285212672 x565+142606336 x564+71303168 x563+35651584 x562+17825792 x561+8912896 x560+4456448 x559+2228224 x558+1114112 x557+557056 x556+278528 x555+139264 x554+69632 x553+34816 x552+17408 x551+8704 x550+4352 x549+2176 x548+1088 x547+544 x546+272 x545+136 x544+68 x543+34 x542+433791696896 x541+216895848448 x540+108447924224 x539+54223962112 x538+27111981056 x537+13555990528 x536+6777995264 x535+3388997632 x534+1694498816 x533+847249408 x532+423624704 x531+211812352 x530+105906176 x529+52953088 x528+26476544 x527+13238272 x526+6619136 x525+3309568 x524+1654784 x523+827392 x522+413696 x521+206848 x520+103424 x519+51712 x518+25856 x517+12928 x516+6464 x515+3232 x514+1616 x513+808 x512+379030863872 x511+189515431936 x510+94757715968 x509+47378857984 x508+23689428992 x507+11844714496 x506+5922357248 x505+2961178624 x504+1480589312 x503+740294656 x502+370147328 x501+185073664 x500+92536832 x499+46268416 x498+23134208 x497+11567104 x496+5783552 x495+2891776 x494+1445888 x493+722944 x492+361472 x491+180736 x490+90368 x489+45184 x488+22592 x487+11296 x486+5648 x485+2824 x484+1412 x483+706 x482+368293445632 x481+184146722816 x480+92073361408 x479+46036680704 x478+23018340352 x477+11509170176 x476+5754585088 x475+2877292544 x474+1438646272 x473+719323136 x472+359661568 x471+179830784 x470+89915392 x469+44957696 x468+22478848 x467+11239424 x466+5619712 x465+2809856 x464+1404928 x463+702464 x462+351232 x461+175616 x460+87808 x459+43904 x458+21952 x457+10976 x456+5488 x455+2744 x454+1372 x453+686 x452+400505700352 x451+200252850176 x450+100126425088 x449+50063212544 x448+25031606272 x447+12515803136 x446+6257901568 x445+3128950784 x444+1564475392 x443+782237696 x442+391118848 x441+195559424 x440+97779712 x439+48889856 x438+24444928 x437+12222464 x436+6111232 x435+3055616 x434+1527808 x433+763904 x432+381952 x431+190976 x430+95488 x429+47744 x428+23872 x427+11936 x426+5968 x425+2984 x424+1492 x423+746 x422+426275504128 x421+213137752064 x420+106568876032 x419+53284438016 x418+26642219008 x417+13321109504 x416+6660554752 x415+3330277376 x414+1665138688 x413+832569344 x412+416284672 x411+208142336 x410+104071168 x409+52035584 x408+26017792 x407+13008896 x406+6504448 x405+3252224 x404+1626112 x403+813056 x402+406528 x401+203264 x400+101632 x399+50816 x398+25408 x397+12704 x396+6352 x395+3176 x394+1588 x393+794 x392+449360953344 x391+224680476672 x390+112340238336 x389+56170119168 x388+28085059584 x387+14042529792 x386+7021264896 x385+3510632448 x384+1755316224 x383+877658112 x382+438829056 x381+219414528 x380+109707264 x379+54853632 x378+27426816 x377+13713408 x376+6856704 x375+3428352 x374+1714176 x373+857088 x372+428544 x371+214272 x370+107136 x369+53568 x368+26784 x367+13392 x366+6696 x365+3348 x364+1674 x363+837 x362-0=1979979922635
62.77/62.84	c 549755813888 ~x2767031+274877906944 ~x2767030+137438953472 ~x2767029+68719476736 ~x2767028+34359738368 ~x2767027+17179869184 ~x2767026+8589934592 ~x2767025+4294967296 ~x2767024+2147483648 ~x2767023+1073741824 ~x2767022+536870912 ~x2767021+268435456 ~x2767020+134217728 ~x2767019+67108864 ~x2767018+33554432 ~x2767017+16777216 ~x2767016+8388608 ~x2767015+4194304 ~x2767014+2097152 ~x2767013+1048576 ~x2767012+524288 ~x2767011+262144 ~x2767010+131072 ~x2767009+65536 ~x2767008+32768 ~x2767007+16384 ~x2767006+8192 ~x2767005+4096 ~x2767004+2048 ~x2767003+1024 ~x2767002+512 ~x2767001+256 ~x2767000+128 ~x2766999+64 ~x2766998+32 ~x2766997+16 ~x2766996+8 ~x2766995+4 ~x2766994+2 ~x2766993+1 ~x2766992+440234147840 ~x601+220117073920 ~x600+110058536960 ~x599+55029268480 ~x598+27514634240 ~x597+13757317120 ~x596+6878658560 ~x595+3439329280 ~x594+1719664640 ~x593+859832320 ~x592+429916160 ~x591+214958080 ~x590+107479040 ~x589+53739520 ~x588+26869760 ~x587+13434880 ~x586+6717440 ~x585+3358720 ~x584+1679360 ~x583+839680 ~x582+419840 ~x581+209920 ~x580+104960 ~x579+52480 ~x578+26240 ~x577+13120 ~x576+6560 ~x575+3280 ~x574+1640 ~x573+820 ~x572+9663676416 x571+4831838208 x570+2415919104 x569+1207959552 x568+603979776 x567+301989888 x566+150994944 x565+75497472 x564+37748736 x563+18874368 x562+9437184 x561+4718592 x560+2359296 x559+1179648 x558+589824 x557+294912 x556+147456 x555+73728 x554+36864 x553+18432 x552+9216 x551+4608 x550+2304 x549+1152 x548+576 x547+288 x546+144 x545+72 x544+36 x543+18 x542+437549793280 x541+218774896640 x540+109387448320 x539+54693724160 x538+27346862080 x537+13673431040 x536+6836715520 x535+3418357760 x534+1709178880 x533+854589440 x532+427294720 x531+213647360 x530+106823680 x529+53411840 x528+26705920 x527+13352960 x526+6676480 x525+3338240 x524+1669120 x523+834560 x522+417280 x521+208640 x520+104320 x519+52160 x518+26080 x517+13040 x516+6520 x515+3260 x514+1630 x513+815 x512+397284474880 x511+198642237440 x510+99321118720 x509+49660559360 x508+24830279680 x507+12415139840 x506+6207569920 x505+3103784960 x504+1551892480 x503+775946240 x502+387973120 x501+193986560 x500+96993280 x499+48496640 x498+24248320 x497+12124160 x496+6062080 x495+3031040 x494+1515520 x493+757760 x492+378880 x491+189440 x490+94720 x489+47360 x488+23680 x487+11840 x486+5920 x485+2960 x484+1480 x483+740 x482+412316860416 x481+206158430208 x480+103079215104 x479+51539607552 x478+25769803776 x477+12884901888 x476+6442450944 x475+3221225472 x474+1610612736 x473+805306368 x472+402653184 x471+201326592 x470+100663296 x469+50331648 x468+25165824 x467+12582912 x466+6291456 x465+3145728 x464+1572864 x463+786432 x462+393216 x461+196608 x460+98304 x459+49152 x458+24576 x457+12288 x456+6144 x455+3072 x454+1536 x453+768 x452+432717955072 x451+216358977536 x450+108179488768 x449+54089744384 x448+27044872192 x447+13522436096 x446+6761218048 x445+3380609024 x444+1690304512 x443+845152256 x442+422576128 x441+211288064 x440+105644032 x439+52822016 x438+26411008 x437+13205504 x436+6602752 x435+3301376 x434+1650688 x433+825344 x432+412672 x431+206336 x430+103168 x429+51584 x428+25792 x427+12896 x426+6448 x425+3224 x424+1612 x423+806 x422+446676598784 x421+223338299392 x420+111669149696 x419+55834574848 x418+27917287424 x417+13958643712 x416+6979321856 x415+3489660928 x414+1744830464 x413+872415232 x412+436207616 x411+218103808 x410+109051904 x409+54525952 x408+27262976 x407+13631488 x406+6815744 x405+3407872 x404+1703936 x403+851968 x402+425984 x401+212992 x400+106496 x399+53248 x398+26624 x397+13312 x396+6656 x395+3328 x394+1664 x393+832 x392+456340275200 x391+228170137600 x390+114085068800 x389+57042534400 x388+28521267200 x387+14260633600 x386+7130316800 x385+3565158400 x384+1782579200 x383+891289600 x382+445644800 x381+222822400 x380+111411200 x379+55705600 x378+27852800 x377+13926400 x376+6963200 x375+3481600 x374+1740800 x373+870400 x372+435200 x371+217600 x370+108800 x369+54400 x368+27200 x367+13600 x366+6800 x365+3400 x364+1700 x363+850 x362-0=1979979922635
66.27/66.33	c 536870912 ~x2925820+268435456 ~x2925819+134217728 ~x2925818+67108864 ~x2925817+33554432 ~x2925816+16777216 ~x2925815+8388608 ~x2925814+4194304 ~x2925813+2097152 ~x2925812+1048576 ~x2925811+524288 ~x2925810+262144 ~x2925809+131072 ~x2925808+65536 ~x2925807+32768 ~x2925806+16384 ~x2925805+8192 ~x2925804+4096 ~x2925803+2048 ~x2925802+1024 ~x2925801+512 ~x2925800+256 ~x2925799+128 ~x2925798+64 ~x2925797+32 ~x2925796+16 ~x2925795+8 ~x2925794+4 ~x2925793+2 ~x2925792+1 ~x2925791+805306368 x600+402653184 x599+201326592 x598+100663296 x597+50331648 x596+25165824 x595+12582912 x594+6291456 x593+3145728 x592+1572864 x591+786432 x590+393216 x589+196608 x588+98304 x587+49152 x586+24576 x585+12288 x584+6144 x583+3072 x582+1536 x581+768 x580+384 x579+192 x578+96 x577+48 x576+24 x575+12 x574+6 x573+3 x572+536870912 ~x571+268435456 ~x570+134217728 ~x569+67108864 ~x568+33554432 ~x567+16777216 ~x566+8388608 ~x565+4194304 ~x564+2097152 ~x563+1048576 ~x562+524288 ~x561+262144 ~x560+131072 ~x559+65536 ~x558+32768 ~x557+16384 ~x556+8192 ~x555+4096 ~x554+2048 ~x553+1024 ~x552+512 ~x551+256 ~x550+128 ~x549+64 ~x548+32 ~x547+16 ~x546+8 ~x545+4 ~x544+2 ~x543+1 ~x542-0=2147483646
69.18/69.20	c 1099511627776 ~x3051951+549755813888 ~x3051950+274877906944 ~x3051949+137438953472 ~x3051948+68719476736 ~x3051947+34359738368 ~x3051946+17179869184 ~x3051945+8589934592 ~x3051944+4294967296 ~x3051943+2147483648 ~x3051942+1073741824 ~x3051941+536870912 ~x3051940+268435456 ~x3051939+134217728 ~x3051938+67108864 ~x3051937+33554432 ~x3051936+16777216 ~x3051935+8388608 ~x3051934+4194304 ~x3051933+2097152 ~x3051932+1048576 ~x3051931+524288 ~x3051930+262144 ~x3051929+131072 ~x3051928+65536 ~x3051927+32768 ~x3051926+16384 ~x3051925+8192 ~x3051924+4096 ~x3051923+2048 ~x3051922+1024 ~x3051921+512 ~x3051920+256 ~x3051919+128 ~x3051918+64 ~x3051917+32 ~x3051916+16 ~x3051915+8 ~x3051914+4 ~x3051913+2 ~x3051912+1 ~x3051911+59055800320 x961+29527900160 x960+14763950080 x959+7381975040 x958+3690987520 x957+1845493760 x956+922746880 x955+461373440 x954+230686720 x953+115343360 x952+57671680 x951+28835840 x950+14417920 x949+7208960 x948+3604480 x947+1802240 x946+901120 x945+450560 x944+225280 x943+112640 x942+56320 x941+28160 x940+14080 x939+7040 x938+3520 x937+1760 x936+880 x935+440 x934+220 x933+110 x932+34896609280 ~x901+17448304640 ~x900+8724152320 ~x899+4362076160 ~x898+2181038080 ~x897+1090519040 ~x896+545259520 ~x895+272629760 ~x894+136314880 ~x893+68157440 ~x892+34078720 ~x891+17039360 ~x890+8519680 ~x889+4259840 ~x888+2129920 ~x887+1064960 ~x886+532480 ~x885+266240 ~x884+133120 ~x883+66560 ~x882+33280 ~x881+16640 ~x880+8320 ~x879+4160 ~x878+2080 ~x877+1040 ~x876+520 ~x875+260 ~x874+130 ~x873+65 ~x872+29527900160 ~x871+14763950080 ~x870+7381975040 ~x869+3690987520 ~x868+1845493760 ~x867+922746880 ~x866+461373440 ~x865+230686720 ~x864+115343360 ~x863+57671680 ~x862+28835840 ~x861+14417920 ~x860+7208960 ~x859+3604480 ~x858+1802240 ~x857+901120 ~x856+450560 ~x855+225280 ~x854+112640 ~x853+56320 ~x852+28160 ~x851+14080 ~x850+7040 ~x849+3520 ~x848+1760 ~x847+880 ~x846+440 ~x845+220 ~x844+110 ~x843+55 ~x842+24159191040 ~x841+12079595520 ~x840+6039797760 ~x839+3019898880 ~x838+1509949440 ~x837+754974720 ~x836+377487360 ~x835+188743680 ~x834+94371840 ~x833+47185920 ~x832+23592960 ~x831+11796480 ~x830+5898240 ~x829+2949120 ~x828+1474560 ~x827+737280 ~x826+368640 ~x825+184320 ~x824+92160 ~x823+46080 ~x822+23040 ~x821+11520 ~x820+5760 ~x819+2880 ~x818+1440 ~x817+720 ~x816+360 ~x815+180 ~x814+90 ~x813+45 ~x812+32212254720 ~x811+16106127360 ~x810+8053063680 ~x809+4026531840 ~x808+2013265920 ~x807+1006632960 ~x806+503316480 ~x805+251658240 ~x804+125829120 ~x803+62914560 ~x802+31457280 ~x801+15728640 ~x800+7864320 ~x799+3932160 ~x798+1966080 ~x797+983040 ~x796+491520 ~x795+245760 ~x794+122880 ~x793+61440 ~x792+30720 ~x791+15360 ~x790+7680 ~x789+3840 ~x788+1920 ~x787+960 ~x786+480 ~x785+240 ~x784+120 ~x783+60 ~x782+33285996544 ~x781+16642998272 ~x780+8321499136 ~x779+4160749568 ~x778+2080374784 ~x777+1040187392 ~x776+520093696 ~x775+260046848 ~x774+130023424 ~x773+65011712 ~x772+32505856 ~x771+16252928 ~x770+8126464 ~x769+4063232 ~x768+2031616 ~x767+1015808 ~x766+507904 ~x765+253952 ~x764+126976 ~x763+63488 ~x762+31744 ~x761+15872 ~x760+7936 ~x759+3968 ~x758+1984 ~x757+992 ~x756+496 ~x755+248 ~x754+124 ~x753+62 ~x752+8053063680 ~x751+4026531840 ~x750+2013265920 ~x749+1006632960 ~x748+503316480 ~x747+251658240 ~x746+125829120 ~x745+62914560 ~x744+31457280 ~x743+15728640 ~x742+7864320 ~x741+3932160 ~x740+1966080 ~x739+983040 ~x738+491520 ~x737+245760 ~x736+122880 ~x735+61440 ~x734+30720 ~x733+15360 ~x732+7680 ~x731+3840 ~x730+1920 ~x729+960 ~x728+480 ~x727+240 ~x726+120 ~x725+60 ~x724+30 ~x723+15 ~x722+57982058496 ~x721+28991029248 ~x720+14495514624 ~x719+7247757312 ~x718+3623878656 ~x717+1811939328 ~x716+905969664 ~x715+452984832 ~x714+226492416 ~x713+113246208 ~x712+56623104 ~x711+28311552 ~x710+14155776 ~x709+7077888 ~x708+3538944 ~x707+1769472 ~x706+884736 ~x705+442368 ~x704+221184 ~x703+110592 ~x702+55296 ~x701+27648 ~x700+13824 ~x699+6912 ~x698+3456 ~x697+1728 ~x696+864 ~x695+432 ~x694+216 ~x693+108 ~x692+14495514624 ~x691+7247757312 ~x690+3623878656 ~x689+1811939328 ~x688+905969664 ~x687+452984832 ~x686+226492416 ~x685+113246208 ~x684+56623104 ~x683+28311552 ~x682+14155776 ~x681+7077888 ~x680+3538944 ~x679+1769472 ~x678+884736 ~x677+442368 ~x676+221184 ~x675+110592 ~x674+55296 ~x673+27648 ~x672+13824 ~x671+6912 ~x670+3456 ~x669+1728 ~x668+864 ~x667+432 ~x666+216 ~x665+108 ~x664+54 ~x663+27 ~x662+51002736640 ~x661+25501368320 ~x660+12750684160 ~x659+6375342080 ~x658+3187671040 ~x657+1593835520 ~x656+796917760 ~x655+398458880 ~x654+199229440 ~x653+99614720 ~x652+49807360 ~x651+24903680 ~x650+12451840 ~x649+6225920 ~x648+3112960 ~x647+1556480 ~x646+778240 ~x645+389120 ~x644+194560 ~x643+97280 ~x642+48640 ~x641+24320 ~x640+12160 ~x639+6080 ~x638+3040 ~x637+1520 ~x636+760 ~x635+380 ~x634+190 ~x633+95 ~x632+375809638400 ~x631+187904819200 ~x630+93952409600 ~x629+46976204800 ~x628+23488102400 ~x627+11744051200 ~x626+5872025600 ~x625+2936012800 ~x624+1468006400 ~x623+734003200 ~x622+367001600 ~x621+183500800 ~x620+91750400 ~x619+45875200 ~x618+22937600 ~x617+11468800 ~x616+5734400 ~x615+2867200 ~x614+1433600 ~x613+716800 ~x612+358400 ~x611+179200 ~x610+89600 ~x609+44800 ~x608+22400 ~x607+11200 ~x606+5600 ~x605+2800 ~x604+1400 ~x603+700 ~x602-0=3521873181487
73.77/73.86	c 274877906944 ~x3263420+137438953472 ~x3263419+68719476736 ~x3263418+34359738368 ~x3263417+17179869184 ~x3263416+8589934592 ~x3263415+4294967296 ~x3263414+2147483648 ~x3263413+1073741824 ~x3263412+536870912 ~x3263411+268435456 ~x3263410+134217728 ~x3263409+67108864 ~x3263408+33554432 ~x3263407+16777216 ~x3263406+8388608 ~x3263405+4194304 ~x3263404+2097152 ~x3263403+1048576 ~x3263402+524288 ~x3263401+262144 ~x3263400+131072 ~x3263399+65536 ~x3263398+32768 ~x3263397+16384 ~x3263396+8192 ~x3263395+4096 ~x3263394+2048 ~x3263393+1024 ~x3263392+512 ~x3263391+256 ~x3263390+128 ~x3263389+64 ~x3263388+32 ~x3263387+16 ~x3263386+8 ~x3263385+4 ~x3263384+2 ~x3263383+1 ~x3263382+26843545600 x961+13421772800 x960+6710886400 x959+3355443200 x958+1677721600 x957+838860800 x956+419430400 x955+209715200 x954+104857600 x953+52428800 x952+26214400 x951+13107200 x950+6553600 x949+3276800 x948+1638400 x947+819200 x946+409600 x945+204800 x944+102400 x943+51200 x942+25600 x941+12800 x940+6400 x939+3200 x938+1600 x937+800 x936+400 x935+200 x934+100 x933+50 x932+25769803776 ~x901+12884901888 ~x900+6442450944 ~x899+3221225472 ~x898+1610612736 ~x897+805306368 ~x896+402653184 ~x895+201326592 ~x894+100663296 ~x893+50331648 ~x892+25165824 ~x891+12582912 ~x890+6291456 ~x889+3145728 ~x888+1572864 ~x887+786432 ~x886+393216 ~x885+196608 ~x884+98304 ~x883+49152 ~x882+24576 ~x881+12288 ~x880+6144 ~x879+3072 ~x878+1536 ~x877+768 ~x876+384 ~x875+192 ~x874+96 ~x873+48 ~x872+36507222016 ~x871+18253611008 ~x870+9126805504 ~x869+4563402752 ~x868+2281701376 ~x867+1140850688 ~x866+570425344 ~x865+285212672 ~x864+142606336 ~x863+71303168 ~x862+35651584 ~x861+17825792 ~x860+8912896 ~x859+4456448 ~x858+2228224 ~x857+1114112 ~x856+557056 ~x855+278528 ~x854+139264 ~x853+69632 ~x852+34816 ~x851+17408 ~x850+8704 ~x849+4352 ~x848+2176 ~x847+1088 ~x846+544 ~x845+272 ~x844+136 ~x843+68 ~x842+14495514624 ~x841+7247757312 ~x840+3623878656 ~x839+1811939328 ~x838+905969664 ~x837+452984832 ~x836+226492416 ~x835+113246208 ~x834+56623104 ~x833+28311552 ~x832+14155776 ~x831+7077888 ~x830+3538944 ~x829+1769472 ~x828+884736 ~x827+442368 ~x826+221184 ~x825+110592 ~x824+55296 ~x823+27648 ~x822+13824 ~x821+6912 ~x820+3456 ~x819+1728 ~x818+864 ~x817+432 ~x816+216 ~x815+108 ~x814+54 ~x813+27 ~x812+10200547328 ~x811+5100273664 ~x810+2550136832 ~x809+1275068416 ~x808+637534208 ~x807+318767104 ~x806+159383552 ~x805+79691776 ~x804+39845888 ~x803+19922944 ~x802+9961472 ~x801+4980736 ~x800+2490368 ~x799+1245184 ~x798+622592 ~x797+311296 ~x796+155648 ~x795+77824 ~x794+38912 ~x793+19456 ~x792+9728 ~x791+4864 ~x790+2432 ~x789+1216 ~x788+608 ~x787+304 ~x786+152 ~x785+76 ~x784+38 ~x783+19 ~x782+10200547328 ~x781+5100273664 ~x780+2550136832 ~x779+1275068416 ~x778+637534208 ~x777+318767104 ~x776+159383552 ~x775+79691776 ~x774+39845888 ~x773+19922944 ~x772+9961472 ~x771+4980736 ~x770+2490368 ~x769+1245184 ~x768+622592 ~x767+311296 ~x766+155648 ~x765+77824 ~x764+38912 ~x763+19456 ~x762+9728 ~x761+4864 ~x760+2432 ~x759+1216 ~x758+608 ~x757+304 ~x756+152 ~x755+76 ~x754+38 ~x753+19 ~x752+6442450944 ~x751+3221225472 ~x750+1610612736 ~x749+805306368 ~x748+402653184 ~x747+201326592 ~x746+100663296 ~x745+50331648 ~x744+25165824 ~x743+12582912 ~x742+6291456 ~x741+3145728 ~x740+1572864 ~x739+786432 ~x738+393216 ~x737+196608 ~x736+98304 ~x735+49152 ~x734+24576 ~x733+12288 ~x732+6144 ~x731+3072 ~x730+1536 ~x729+768 ~x728+384 ~x727+192 ~x726+96 ~x725+48 ~x724+24 ~x723+12 ~x722+52076478464 ~x721+26038239232 ~x720+13019119616 ~x719+6509559808 ~x718+3254779904 ~x717+1627389952 ~x716+813694976 ~x715+406847488 ~x714+203423744 ~x713+101711872 ~x712+50855936 ~x711+25427968 ~x710+12713984 ~x709+6356992 ~x708+3178496 ~x707+1589248 ~x706+794624 ~x705+397312 ~x704+198656 ~x703+99328 ~x702+49664 ~x701+24832 ~x700+12416 ~x699+6208 ~x698+3104 ~x697+1552 ~x696+776 ~x695+388 ~x694+194 ~x693+97 ~x692+6979321856 ~x691+3489660928 ~x690+1744830464 ~x689+872415232 ~x688+436207616 ~x687+218103808 ~x686+109051904 ~x685+54525952 ~x684+27262976 ~x683+13631488 ~x682+6815744 ~x681+3407872 ~x680+1703936 ~x679+851968 ~x678+425984 ~x677+212992 ~x676+106496 ~x675+53248 ~x674+26624 ~x673+13312 ~x672+6656 ~x671+3328 ~x670+1664 ~x669+832 ~x668+416 ~x667+208 ~x666+104 ~x665+52 ~x664+26 ~x663+13 ~x662+37580963840 ~x661+18790481920 ~x660+9395240960 ~x659+4697620480 ~x658+2348810240 ~x657+1174405120 ~x656+587202560 ~x655+293601280 ~x654+146800640 ~x653+73400320 ~x652+36700160 ~x651+18350080 ~x650+9175040 ~x649+4587520 ~x648+2293760 ~x647+1146880 ~x646+573440 ~x645+286720 ~x644+143360 ~x643+71680 ~x642+35840 ~x641+17920 ~x640+8960 ~x639+4480 ~x638+2240 ~x637+1120 ~x636+560 ~x635+280 ~x634+140 ~x633+70 ~x632+53687091200 ~x631+26843545600 ~x630+13421772800 ~x629+6710886400 ~x628+3355443200 ~x627+1677721600 ~x626+838860800 ~x625+419430400 ~x624+209715200 ~x623+104857600 ~x622+52428800 ~x621+26214400 ~x620+13107200 ~x619+6553600 ~x618+3276800 ~x617+1638400 ~x616+819200 ~x615+409600 ~x614+204800 ~x613+102400 ~x612+51200 ~x611+25600 ~x610+12800 ~x609+6400 ~x608+3200 ~x607+1600 ~x606+800 ~x605+400 ~x604+200 ~x603+100 ~x602-0=1057635696166
78.37/78.44	c 34359738368 ~x3470957+17179869184 ~x3470956+8589934592 ~x3470955+4294967296 ~x3470954+2147483648 ~x3470953+1073741824 ~x3470952+536870912 ~x3470951+268435456 ~x3470950+134217728 ~x3470949+67108864 ~x3470948+33554432 ~x3470947+16777216 ~x3470946+8388608 ~x3470945+4194304 ~x3470944+2097152 ~x3470943+1048576 ~x3470942+524288 ~x3470941+262144 ~x3470940+131072 ~x3470939+65536 ~x3470938+32768 ~x3470937+16384 ~x3470936+8192 ~x3470935+4096 ~x3470934+2048 ~x3470933+1024 ~x3470932+512 ~x3470931+256 ~x3470930+128 ~x3470929+64 ~x3470928+32 ~x3470927+16 ~x3470926+8 ~x3470925+4 ~x3470924+2 ~x3470923+1 ~x3470922+26843545600 ~x961+13421772800 ~x960+6710886400 ~x959+3355443200 ~x958+1677721600 ~x957+838860800 ~x956+419430400 ~x955+209715200 ~x954+104857600 ~x953+52428800 ~x952+26214400 ~x951+13107200 ~x950+6553600 ~x949+3276800 ~x948+1638400 ~x947+819200 ~x946+409600 ~x945+204800 ~x944+102400 ~x943+51200 ~x942+25600 ~x941+12800 ~x940+6400 ~x939+3200 ~x938+1600 ~x937+800 ~x936+400 ~x935+200 ~x934+100 ~x933+50 ~x932+30064771072 x901+15032385536 x900+7516192768 x899+3758096384 x898+1879048192 x897+939524096 x896+469762048 x895+234881024 x894+117440512 x893+58720256 x892+29360128 x891+14680064 x890+7340032 x889+3670016 x888+1835008 x887+917504 x886+458752 x885+229376 x884+114688 x883+57344 x882+28672 x881+14336 x880+7168 x879+3584 x878+1792 x877+896 x876+448 x875+224 x874+112 x873+56 x872+51539607552 x871+25769803776 x870+12884901888 x869+6442450944 x868+3221225472 x867+1610612736 x866+805306368 x865+402653184 x864+201326592 x863+100663296 x862+50331648 x861+25165824 x860+12582912 x859+6291456 x858+3145728 x857+1572864 x856+786432 x855+393216 x854+196608 x853+98304 x852+49152 x851+24576 x850+12288 x849+6144 x848+3072 x847+1536 x846+768 x845+384 x844+192 x843+96 x842+52076478464 x841+26038239232 x840+13019119616 x839+6509559808 x838+3254779904 x837+1627389952 x836+813694976 x835+406847488 x834+203423744 x833+101711872 x832+50855936 x831+25427968 x830+12713984 x829+6356992 x828+3178496 x827+1589248 x826+794624 x825+397312 x824+198656 x823+99328 x822+49664 x821+24832 x820+12416 x819+6208 x818+3104 x817+1552 x816+776 x815+388 x814+194 x813+97 x812+18790481920 x811+9395240960 x810+4697620480 x809+2348810240 x808+1174405120 x807+587202560 x806+293601280 x805+146800640 x804+73400320 x803+36700160 x802+18350080 x801+9175040 x800+4587520 x799+2293760 x798+1146880 x797+573440 x796+286720 x795+143360 x794+71680 x793+35840 x792+17920 x791+8960 x790+4480 x789+2240 x788+1120 x787+560 x786+280 x785+140 x784+70 x783+35 x782+18790481920 x781+9395240960 x780+4697620480 x779+2348810240 x778+1174405120 x777+587202560 x776+293601280 x775+146800640 x774+73400320 x773+36700160 x772+18350080 x771+9175040 x770+4587520 x769+2293760 x768+1146880 x767+573440 x766+286720 x765+143360 x764+71680 x763+35840 x762+17920 x761+8960 x760+4480 x759+2240 x758+1120 x757+560 x756+280 x755+140 x754+70 x753+35 x752+19327352832 x751+9663676416 x750+4831838208 x749+2415919104 x748+1207959552 x747+603979776 x746+301989888 x745+150994944 x744+75497472 x743+37748736 x742+18874368 x741+9437184 x740+4718592 x739+2359296 x738+1179648 x737+589824 x736+294912 x735+147456 x734+73728 x733+36864 x732+18432 x731+9216 x730+4608 x729+2304 x728+1152 x727+576 x726+288 x725+144 x724+72 x723+36 x722+26843545600 x720+13421772800 x719+6710886400 x718+3355443200 x717+1677721600 x716+838860800 x715+419430400 x714+209715200 x713+104857600 x712+52428800 x711+26214400 x710+13107200 x709+6553600 x708+3276800 x707+1638400 x706+819200 x705+409600 x704+204800 x703+102400 x702+51200 x701+25600 x700+12800 x699+6400 x698+3200 x697+1600 x696+800 x695+400 x694+200 x693+100 x692+15032385536 x691+7516192768 x690+3758096384 x689+1879048192 x688+939524096 x687+469762048 x686+234881024 x685+117440512 x684+58720256 x683+29360128 x682+14680064 x681+7340032 x680+3670016 x679+1835008 x678+917504 x677+458752 x676+229376 x675+114688 x674+57344 x673+28672 x672+14336 x671+7168 x670+3584 x669+1792 x668+896 x667+448 x666+224 x665+112 x664+56 x663+28 x662+44560285696 x661+22280142848 x660+11140071424 x659+5570035712 x658+2785017856 x657+1392508928 x656+696254464 x655+348127232 x654+174063616 x653+87031808 x652+43515904 x651+21757952 x650+10878976 x649+5439488 x648+2719744 x647+1359872 x646+679936 x645+339968 x644+169984 x643+84992 x642+42496 x641+21248 x640+10624 x639+5312 x638+2656 x637+1328 x636+664 x635+332 x634+166 x633+83 x632+26843545600 x630+13421772800 x629+6710886400 x628+3355443200 x627+1677721600 x626+838860800 x625+419430400 x624+209715200 x623+104857600 x622+52428800 x621+26214400 x620+13107200 x619+6553600 x618+3276800 x617+1638400 x616+819200 x615+409600 x614+204800 x613+102400 x612+51200 x611+25600 x610+12800 x609+6400 x608+3200 x607+1600 x606+800 x605+400 x604+200 x603+100 x602-0=122406567885
82.87/82.97	c 68719476736 ~x3675988+34359738368 ~x3675987+17179869184 ~x3675986+8589934592 ~x3675985+4294967296 ~x3675984+2147483648 ~x3675983+1073741824 ~x3675982+536870912 ~x3675981+268435456 ~x3675980+134217728 ~x3675979+67108864 ~x3675978+33554432 ~x3675977+16777216 ~x3675976+8388608 ~x3675975+4194304 ~x3675974+2097152 ~x3675973+1048576 ~x3675972+524288 ~x3675971+262144 ~x3675970+131072 ~x3675969+65536 ~x3675968+32768 ~x3675967+16384 ~x3675966+8192 ~x3675965+4096 ~x3675964+2048 ~x3675963+1024 ~x3675962+512 ~x3675961+256 ~x3675960+128 ~x3675959+64 ~x3675958+32 ~x3675957+16 ~x3675956+8 ~x3675955+4 ~x3675954+2 ~x3675953+1 ~x3675952+48318382080 ~x961+24159191040 ~x960+12079595520 ~x959+6039797760 ~x958+3019898880 ~x957+1509949440 ~x956+754974720 ~x955+377487360 ~x954+188743680 ~x953+94371840 ~x952+47185920 ~x951+23592960 ~x950+11796480 ~x949+5898240 ~x948+2949120 ~x947+1474560 ~x946+737280 ~x945+368640 ~x944+184320 ~x943+92160 ~x942+46080 ~x941+23040 ~x940+11520 ~x939+5760 ~x938+2880 ~x937+1440 ~x936+720 ~x935+360 ~x934+180 ~x933+90 ~x932+52076478464 x901+26038239232 x900+13019119616 x899+6509559808 x898+3254779904 x897+1627389952 x896+813694976 x895+406847488 x894+203423744 x893+101711872 x892+50855936 x891+25427968 x890+12713984 x889+6356992 x888+3178496 x887+1589248 x886+794624 x885+397312 x884+198656 x883+99328 x882+49664 x881+24832 x880+12416 x879+6208 x878+3104 x877+1552 x876+776 x875+388 x874+194 x873+97 x872+53687091200 x871+26843545600 x870+13421772800 x869+6710886400 x868+3355443200 x867+1677721600 x866+838860800 x865+419430400 x864+209715200 x863+104857600 x862+52428800 x861+26214400 x860+13107200 x859+6553600 x858+3276800 x857+1638400 x856+819200 x855+409600 x854+204800 x853+102400 x852+51200 x851+25600 x850+12800 x849+6400 x848+3200 x847+1600 x846+800 x845+400 x844+200 x843+100 x842+53687091200 x841+26843545600 x840+13421772800 x839+6710886400 x838+3355443200 x837+1677721600 x836+838860800 x835+419430400 x834+209715200 x833+104857600 x832+52428800 x831+26214400 x830+13107200 x829+6553600 x828+3276800 x827+1638400 x826+819200 x825+409600 x824+204800 x823+102400 x822+51200 x821+25600 x820+12800 x819+6400 x818+3200 x817+1600 x816+800 x815+400 x814+200 x813+100 x812+47781511168 x811+23890755584 x810+11945377792 x809+5972688896 x808+2986344448 x807+1493172224 x806+746586112 x805+373293056 x804+186646528 x803+93323264 x802+46661632 x801+23330816 x800+11665408 x799+5832704 x798+2916352 x797+1458176 x796+729088 x795+364544 x794+182272 x793+91136 x792+45568 x791+22784 x790+11392 x789+5696 x788+2848 x787+1424 x786+712 x785+356 x784+178 x783+89 x782+47781511168 x781+23890755584 x780+11945377792 x779+5972688896 x778+2986344448 x777+1493172224 x776+746586112 x775+373293056 x774+186646528 x773+93323264 x772+46661632 x771+23330816 x770+11665408 x769+5832704 x768+2916352 x767+1458176 x766+729088 x765+364544 x764+182272 x763+91136 x762+45568 x761+22784 x760+11392 x759+5696 x758+2848 x757+1424 x756+712 x755+356 x754+178 x753+89 x752+51002736640 x751+25501368320 x750+12750684160 x749+6375342080 x748+3187671040 x747+1593835520 x746+796917760 x745+398458880 x744+199229440 x743+99614720 x742+49807360 x741+24903680 x740+12451840 x739+6225920 x738+3112960 x737+1556480 x736+778240 x735+389120 x734+194560 x733+97280 x732+48640 x731+24320 x730+12160 x729+6080 x728+3040 x727+1520 x726+760 x725+380 x724+190 x723+95 x722+53687091200 x721+26843545600 x720+13421772800 x719+6710886400 x718+3355443200 x717+1677721600 x716+838860800 x715+419430400 x714+209715200 x713+104857600 x712+52428800 x711+26214400 x710+13107200 x709+6553600 x708+3276800 x707+1638400 x706+819200 x705+409600 x704+204800 x703+102400 x702+51200 x701+25600 x700+12800 x699+6400 x698+3200 x697+1600 x696+800 x695+400 x694+200 x693+100 x692+42412802048 x691+21206401024 x690+10603200512 x689+5301600256 x688+2650800128 x687+1325400064 x686+662700032 x685+331350016 x684+165675008 x683+82837504 x682+41418752 x681+20709376 x680+10354688 x679+5177344 x678+2588672 x677+1294336 x676+647168 x675+323584 x674+161792 x673+80896 x672+40448 x671+20224 x670+10112 x669+5056 x668+2528 x667+1264 x666+632 x665+316 x664+158 x663+79 x662+53687091200 x661+26843545600 x660+13421772800 x659+6710886400 x658+3355443200 x657+1677721600 x656+838860800 x655+419430400 x654+209715200 x653+104857600 x652+52428800 x651+26214400 x650+13107200 x649+6553600 x648+3276800 x647+1638400 x646+819200 x645+409600 x644+204800 x643+102400 x642+51200 x641+25600 x640+12800 x639+6400 x638+3200 x637+1600 x636+800 x635+400 x634+200 x633+100 x632+53687091200 x631+26843545600 x630+13421772800 x629+6710886400 x628+3355443200 x627+1677721600 x626+838860800 x625+419430400 x624+209715200 x623+104857600 x622+52428800 x621+26214400 x620+13107200 x619+6553600 x618+3276800 x617+1638400 x616+819200 x615+409600 x614+204800 x613+102400 x612+51200 x611+25600 x610+12800 x609+6400 x608+3200 x607+1600 x606+800 x605+400 x604+200 x603+100 x602-0=234075717541
87.56/87.64	c 549755813888 ~x3885658+274877906944 ~x3885657+137438953472 ~x3885656+68719476736 ~x3885655+34359738368 ~x3885654+17179869184 ~x3885653+8589934592 ~x3885652+4294967296 ~x3885651+2147483648 ~x3885650+1073741824 ~x3885649+536870912 ~x3885648+268435456 ~x3885647+134217728 ~x3885646+67108864 ~x3885645+33554432 ~x3885644+16777216 ~x3885643+8388608 ~x3885642+4194304 ~x3885641+2097152 ~x3885640+1048576 ~x3885639+524288 ~x3885638+262144 ~x3885637+131072 ~x3885636+65536 ~x3885635+32768 ~x3885634+16384 ~x3885633+8192 ~x3885632+4096 ~x3885631+2048 ~x3885630+1024 ~x3885629+512 ~x3885628+256 ~x3885627+128 ~x3885626+64 ~x3885625+32 ~x3885624+16 ~x3885623+8 ~x3885622+4 ~x3885621+2 ~x3885620+1 ~x3885619+536870912000 ~x961+268435456000 ~x960+134217728000 ~x959+67108864000 ~x958+33554432000 ~x957+16777216000 ~x956+8388608000 ~x955+4194304000 ~x954+2097152000 ~x953+1048576000 ~x952+524288000 ~x951+262144000 ~x950+131072000 ~x949+65536000 ~x948+32768000 ~x947+16384000 ~x946+8192000 ~x945+4096000 ~x944+2048000 ~x943+1024000 ~x942+512000 ~x941+256000 ~x940+128000 ~x939+64000 ~x938+32000 ~x937+16000 ~x936+8000 ~x935+4000 ~x934+2000 ~x933+1000 ~x932+10200547328 x931+5100273664 x930+2550136832 x929+1275068416 x928+637534208 x927+318767104 x926+159383552 x925+79691776 x924+39845888 x923+19922944 x922+9961472 x921+4980736 x920+2490368 x919+1245184 x918+622592 x917+311296 x916+155648 x915+77824 x914+38912 x913+19456 x912+9728 x911+4864 x910+2432 x909+1216 x908+608 x907+304 x906+152 x905+76 x904+38 x903+19 x902+518080430080 x901+259040215040 x900+129520107520 x899+64760053760 x898+32380026880 x897+16190013440 x896+8095006720 x895+4047503360 x894+2023751680 x893+1011875840 x892+505937920 x891+252968960 x890+126484480 x889+63242240 x888+31621120 x887+15810560 x886+7905280 x885+3952640 x884+1976320 x883+988160 x882+494080 x881+247040 x880+123520 x879+61760 x878+30880 x877+15440 x876+7720 x875+3860 x874+1930 x873+965 x872+450971566080 x871+225485783040 x870+112742891520 x869+56371445760 x868+28185722880 x867+14092861440 x866+7046430720 x865+3523215360 x864+1761607680 x863+880803840 x862+440401920 x861+220200960 x860+110100480 x859+55050240 x858+27525120 x857+13762560 x856+6881280 x855+3440640 x854+1720320 x853+860160 x852+430080 x851+215040 x850+107520 x849+53760 x848+26880 x847+13440 x846+6720 x845+3360 x844+1680 x843+840 x842+525596622848 x841+262798311424 x840+131399155712 x839+65699577856 x838+32849788928 x837+16424894464 x836+8212447232 x835+4106223616 x834+2053111808 x833+1026555904 x832+513277952 x831+256638976 x830+128319488 x829+64159744 x828+32079872 x827+16039936 x826+8019968 x825+4009984 x824+2004992 x823+1002496 x822+501248 x821+250624 x820+125312 x819+62656 x818+31328 x817+15664 x816+7832 x815+3916 x814+1958 x813+979 x812+508953624576 x811+254476812288 x810+127238406144 x809+63619203072 x808+31809601536 x807+15904800768 x806+7952400384 x805+3976200192 x804+1988100096 x803+994050048 x802+497025024 x801+248512512 x800+124256256 x799+62128128 x798+31064064 x797+15532032 x796+7766016 x795+3883008 x794+1941504 x793+970752 x792+485376 x791+242688 x790+121344 x789+60672 x788+30336 x787+15168 x786+7584 x785+3792 x784+1896 x783+948 x782+514859204608 x781+257429602304 x780+128714801152 x779+64357400576 x778+32178700288 x777+16089350144 x776+8044675072 x775+4022337536 x774+2011168768 x773+1005584384 x772+502792192 x771+251396096 x770+125698048 x769+62849024 x768+31424512 x767+15712256 x766+7856128 x765+3928064 x764+1964032 x763+982016 x762+491008 x761+245504 x760+122752 x759+61376 x758+30688 x757+15344 x756+7672 x755+3836 x754+1918 x753+959 x752+325343772672 x751+162671886336 x750+81335943168 x749+40667971584 x748+20333985792 x747+10166992896 x746+5083496448 x745+2541748224 x744+1270874112 x743+635437056 x742+317718528 x741+158859264 x740+79429632 x739+39714816 x738+19857408 x737+9928704 x736+4964352 x735+2482176 x734+1241088 x733+620544 x732+310272 x731+155136 x730+77568 x729+38784 x728+19392 x727+9696 x726+4848 x725+2424 x724+1212 x723+606 x722+454192791552 x721+227096395776 x720+113548197888 x719+56774098944 x718+28387049472 x717+14193524736 x716+7096762368 x715+3548381184 x714+1774190592 x713+887095296 x712+443547648 x711+221773824 x710+110886912 x709+55443456 x708+27721728 x707+13860864 x706+6930432 x705+3465216 x704+1732608 x703+866304 x702+433152 x701+216576 x700+108288 x699+54144 x698+27072 x697+13536 x696+6768 x695+3384 x694+1692 x693+846 x692+418222440448 x691+209111220224 x690+104555610112 x689+52277805056 x688+26138902528 x687+13069451264 x686+6534725632 x685+3267362816 x684+1633681408 x683+816840704 x682+408420352 x681+204210176 x680+102105088 x679+51052544 x678+25526272 x677+12763136 x676+6381568 x675+3190784 x674+1595392 x673+797696 x672+398848 x671+199424 x670+99712 x669+49856 x668+24928 x667+12464 x666+6232 x665+3116 x664+1558 x663+779 x662+478351982592 x661+239175991296 x660+119587995648 x659+59793997824 x658+29896998912 x657+14948499456 x656+7474249728 x655+3737124864 x654+1868562432 x653+934281216 x652+467140608 x651+233570304 x650+116785152 x649+58392576 x648+29196288 x647+14598144 x646+7299072 x645+3649536 x644+1824768 x643+912384 x642+456192 x641+228096 x640+114048 x639+57024 x638+28512 x637+14256 x636+7128 x635+3564 x634+1782 x633+891 x632+525059751936 x631+262529875968 x630+131264937984 x629+65632468992 x628+32816234496 x627+16408117248 x626+8204058624 x625+4102029312 x624+2051014656 x623+1025507328 x622+512753664 x621+256376832 x620+128188416 x619+64094208 x618+32047104 x617+16023552 x616+8011776 x615+4005888 x614+2002944 x613+1001472 x612+

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

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


[startup+0 s]
/proc/loadavg: 0.91 0.97 0.99 3/106 17831
/proc/meminfo: memFree=1853168/2059040 swapFree=4135436/4192956
[pid=17831] ppid=17829 vsize=8700 CPUtime=0
/proc/17831/stat : 17831 (run) S 17829 17831 17633 0 -1 4202496 392 134 0 0 0 0 0 0 17 0 1 0 55602304 8908800 251 1992294400 4194304 4922060 140735031698320 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17831/statm: 2175 251 211 178 0 68 0

[startup+0.030473 s]
/proc/loadavg: 0.91 0.97 0.99 3/106 17831
/proc/meminfo: memFree=1853168/2059040 swapFree=4135436/4192956
[pid=17831] ppid=17829 vsize=8700 CPUtime=0
/proc/17831/stat : 17831 (run) S 17829 17831 17633 0 -1 4202496 392 134 0 0 0 0 0 0 17 0 1 0 55602304 8908800 251 1992294400 4194304 4922060 140735031698320 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17831/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101479 s]
/proc/loadavg: 0.91 0.97 0.99 3/106 17831
/proc/meminfo: memFree=1853168/2059040 swapFree=4135436/4192956
[pid=17831] ppid=17829 vsize=8700 CPUtime=0
/proc/17831/stat : 17831 (run) S 17829 17831 17633 0 -1 4202496 392 134 0 0 0 0 0 0 17 0 1 0 55602304 8908800 251 1992294400 4194304 4922060 140735031698320 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17831/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301497 s]
/proc/loadavg: 0.91 0.97 0.99 3/106 17831
/proc/meminfo: memFree=1853168/2059040 swapFree=4135436/4192956
[pid=17831] ppid=17829 vsize=8700 CPUtime=0
/proc/17831/stat : 17831 (run) S 17829 17831 17633 0 -1 4202496 392 134 0 0 0 0 0 0 17 0 1 0 55602304 8908800 251 1992294400 4194304 4922060 140735031698320 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17831/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701533 s]
/proc/loadavg: 0.91 0.97 0.99 3/106 17831
/proc/meminfo: memFree=1853168/2059040 swapFree=4135436/4192956
[pid=17831] ppid=17829 vsize=8700 CPUtime=0
/proc/17831/stat : 17831 (run) S 17829 17831 17633 0 -1 4202496 392 134 0 0 0 0 0 0 17 0 1 0 55602304 8908800 251 1992294400 4194304 4922060 140735031698320 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17831/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.5016 s]
/proc/loadavg: 0.91 0.97 0.99 2/108 17834
/proc/meminfo: memFree=1697408/2059040 swapFree=4135436/4192956
[pid=17831] ppid=17829 vsize=8700 CPUtime=0
/proc/17831/stat : 17831 (run) S 17829 17831 17633 0 -1 4202496 392 134 0 0 0 0 0 0 17 0 1 0 55602304 8908800 251 1992294400 4194304 4922060 140735031698320 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17831/statm: 2175 251 211 178 0 68 0
[pid=17833] ppid=17831 vsize=226056 CPUtime=1.48
/proc/17833/stat : 17833 (PBPASSolver) R 17831 17831 17633 0 -1 4202496 57923 0 0 0 65 83 0 0 23 0 1 0 55602304 231481344 55917 1992294400 134512640 134902295 4290147920 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17833/statm: 56514 55917 260 96 0 55726 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 234756

[startup+3.10075 s]
/proc/loadavg: 0.91 0.97 0.99 2/108 17834
/proc/meminfo: memFree=1619288/2059040 swapFree=4135436/4192956
[pid=17831] ppid=17829 vsize=8700 CPUtime=0
/proc/17831/stat : 17831 (run) S 17829 17831 17633 0 -1 4202496 392 134 0 0 0 0 0 0 17 0 1 0 55602304 8908800 251 1992294400 4194304 4922060 140735031698320 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17831/statm: 2175 251 211 178 0 68 0
[pid=17833] ppid=17831 vsize=254612 CPUtime=3.08
/proc/17833/stat : 17833 (PBPASSolver) R 17831 17831 17633 0 -1 4202496 64697 0 0 0 222 86 0 0 25 0 1 0 55602304 260722688 62691 1992294400 134512640 134902295 4290147920 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17833/statm: 63653 62691 262 96 0 62865 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 263312

[startup+6.30103 s]
/proc/loadavg: 0.92 0.97 0.99 2/108 17834
/proc/meminfo: memFree=1564356/2059040 swapFree=4135436/4192956
[pid=17831] ppid=17829 vsize=8700 CPUtime=0
/proc/17831/stat : 17831 (run) S 17829 17831 17633 0 -1 4202496 392 134 0 0 0 0 0 0 17 0 1 0 55602304 8908800 251 1992294400 4194304 4922060 140735031698320 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17831/statm: 2175 251 211 178 0 68 0
[pid=17833] ppid=17831 vsize=312188 CPUtime=6.28
/proc/17833/stat : 17833 (PBPASSolver) R 17831 17831 17633 0 -1 4202496 80984 0 0 0 533 95 0 0 25 0 1 0 55602304 319680512 76602 1992294400 134512640 134902295 4290147920 18446744073709551615 134813557 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17833/statm: 78047 76602 262 96 0 77259 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 320888

[startup+12.7006 s]
/proc/loadavg: 0.93 0.97 0.99 2/108 17834
/proc/meminfo: memFree=1447176/2059040 swapFree=4135436/4192956
[pid=17831] ppid=17829 vsize=8700 CPUtime=0
/proc/17831/stat : 17831 (run) S 17829 17831 17633 0 -1 4202496 392 134 0 0 0 0 0 0 17 0 1 0 55602304 8908800 251 1992294400 4194304 4922060 140735031698320 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17831/statm: 2175 251 211 178 0 68 0
[pid=17833] ppid=17831 vsize=419604 CPUtime=12.69
/proc/17833/stat : 17833 (PBPASSolver) R 17831 17831 17633 0 -1 4202496 112085 0 0 0 1161 108 0 0 25 0 1 0 55602304 429674496 102729 1992294400 134512640 134902295 4290147920 18446744073709551615 134813328 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17833/statm: 104901 102729 262 96 0 104113 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 428304

[startup+25.5017 s]
/proc/loadavg: 0.94 0.97 0.99 2/108 17834
/proc/meminfo: memFree=1206616/2059040 swapFree=4135436/4192956
[pid=17831] ppid=17829 vsize=8700 CPUtime=0
/proc/17831/stat : 17831 (run) S 17829 17831 17633 0 -1 4202496 392 134 0 0 0 0 0 0 17 0 1 0 55602304 8908800 251 1992294400 4194304 4922060 140735031698320 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17831/statm: 2175 251 211 178 0 68 0
[pid=17833] ppid=17831 vsize=672052 CPUtime=25.47
/proc/17833/stat : 17833 (PBPASSolver) R 17831 17831 17633 0 -1 4202496 174606 0 0 0 2411 136 0 0 25 0 1 0 55602304 688181248 162699 1992294400 134512640 134902295 4290147920 18446744073709551615 4160667085 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17833/statm: 168013 162699 262 96 0 167225 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 680752

[startup+51.101 s]
/proc/loadavg: 0.96 0.97 0.99 2/108 17836
/proc/meminfo: memFree=767036/2059040 swapFree=4135436/4192956
[pid=17831] ppid=17829 vsize=8700 CPUtime=0
/proc/17831/stat : 17831 (run) S 17829 17831 17633 0 -1 4202496 392 134 0 0 0 0 0 0 17 0 1 0 55602304 8908800 251 1992294400 4194304 4922060 140735031698320 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17831/statm: 2175 251 211 178 0 68 0
[pid=17833] ppid=17831 vsize=1117588 CPUtime=51.08
/proc/17833/stat : 17833 (PBPASSolver) R 17831 17831 17633 0 -1 4202496 296284 0 0 0 4918 190 0 0 25 0 1 0 55602304 1144410112 273538 1992294400 134512640 134902295 4290147920 18446744073709551615 4160627299 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17833/statm: 279397 273538 262 96 0 278609 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1126288



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+88.6004 s]
/proc/loadavg: 0.98 0.97 0.99 2/108 17836
/proc/meminfo: memFree=66932/2059040 swapFree=4135436/4192956
[pid=17831] ppid=17829 vsize=8700 CPUtime=0
/proc/17831/stat : 17831 (run) S 17829 17831 17633 0 -1 4202496 392 134 0 0 0 0 0 0 17 0 1 0 55602304 8908800 251 1992294400 4194304 4922060 140735031698320 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17831/statm: 2175 251 211 178 0 68 0
[pid=17833] ppid=17831 vsize=1835384 CPUtime=88.57
/proc/17833/stat : 17833 (PBPASSolver) R 17831 17831 17633 0 -1 4202496 480951 0 0 0 8588 269 0 0 25 0 1 0 55602304 1879433216 445661 1992294400 134512640 134902295 4290147920 18446744073709551615 4160665417 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17833/statm: 458846 445661 262 96 0 458058 0
Current children cumulated CPU time (s) 88.57
Current children cumulated vsize (KiB) 1844084

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

Real time (s): 88.6137
CPU time (s): 88.57
CPU user time (s): 85.88
CPU system time (s): 2.69
CPU usage (%): 99.9507
Max. virtual memory (cumulated for all children) (KiB): 1844084

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= 526
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.133979 second user time and 0.448931 second system time

The end

Launcher Data 

Begin job on node015 at 2010-06-17 20:40:10
IDJOB=2673982
IDBENCH=2459
IDSOLVER=1174
FILE ID=node015/2673982-1276800010
PBS_JOBID= 11176629
Free space on /tmp= 62580 MiB

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

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

MD5SUM BENCH= 95fbceaf029492cffa0d3c545b3f551d
RANDOM SEED=1619308736

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1853688 kB
Buffers:         31600 kB
Cached:          81288 kB
SwapCached:      10552 kB
Active:          16132 kB
Inactive:       110316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1853688 kB
SwapTotal:     4192956 kB
SwapFree:      4135436 kB
Dirty:            1024 kB
Writeback:           0 kB
AnonPages:       12012 kB
Mapped:           9112 kB
Slab:            57104 kB
PageTables:       4052 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180996 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 node015 at 2010-06-17 20:41:40