0.00/0.64	c 2219 151 0 0 0 0 0 0
0.00/0.64	c 16 ~x2225+8 ~x2224+4 ~x2223+2 ~x2222+1 ~x2221+16 ~x2065+8 ~x2064+4 ~x2063+2 ~x2062+1 ~x2061-0=54
0.00/0.64	c 16 ~x2514+8 ~x2513+4 ~x2512+2 ~x2511+1 ~x2510+16 ~x2135+8 ~x2134+4 ~x2133+2 ~x2132+1 ~x2131-0=54
0.00/0.64	c 16 ~x2803+8 ~x2802+4 ~x2801+2 ~x2800+1 ~x2799+16 ~x2165+8 ~x2164+4 ~x2163+2 ~x2162+1 ~x2161-0=54
0.00/0.66	c 16 ~x3092+8 ~x3091+4 ~x3090+2 ~x3089+1 ~x3088+16 ~x2175+8 ~x2174+4 ~x2173+2 ~x2172+1 ~x2171-0=54
0.00/0.66	c 16 ~x3381+8 ~x3380+4 ~x3379+2 ~x3378+1 ~x3377+16 ~x2185+8 ~x2184+4 ~x2183+2 ~x2182+1 ~x2181-0=54
0.00/0.69	c 16 ~x3670+8 ~x3669+4 ~x3668+2 ~x3667+1 ~x3666+16 ~x2195+8 ~x2194+4 ~x2193+2 ~x2192+1 ~x2191-0=54
0.00/0.69	c 16 ~x3959+8 ~x3958+4 ~x3957+2 ~x3956+1 ~x3955+16 ~x2205+8 ~x2204+4 ~x2203+2 ~x2202+1 ~x2201-0=54
0.00/0.69	c 16 ~x4248+8 ~x4247+4 ~x4246+2 ~x4245+1 ~x4244+16 ~x2215+8 ~x2214+4 ~x2213+2 ~x2212+1 ~x2211-0=54
0.00/0.72	c 16 ~x4537+8 ~x4536+4 ~x4535+2 ~x4534+1 ~x4533+16 ~x2075+8 ~x2074+4 ~x2073+2 ~x2072+1 ~x2071-0=54
0.00/0.72	c 16 ~x4826+8 ~x4825+4 ~x4824+2 ~x4823+1 ~x4822+16 ~x2085+8 ~x2084+4 ~x2083+2 ~x2082+1 ~x2081-0=54
0.00/0.72	c 16 ~x5115+8 ~x5114+4 ~x5113+2 ~x5112+1 ~x5111+16 ~x2095+8 ~x2094+4 ~x2093+2 ~x2092+1 ~x2091-0=54
0.00/0.74	c 16 ~x5404+8 ~x5403+4 ~x5402+2 ~x5401+1 ~x5400+16 ~x2105+8 ~x2104+4 ~x2103+2 ~x2102+1 ~x2101-0=54
0.00/0.74	c 16 ~x5693+8 ~x5692+4 ~x5691+2 ~x5690+1 ~x5689+16 ~x2115+8 ~x2114+4 ~x2113+2 ~x2112+1 ~x2111-0=54
0.00/0.76	c 16 ~x5982+8 ~x5981+4 ~x5980+2 ~x5979+1 ~x5978+16 ~x2125+8 ~x2124+4 ~x2123+2 ~x2122+1 ~x2121-0=54
0.00/0.76	c 16 ~x6271+8 ~x6270+4 ~x6269+2 ~x6268+1 ~x6267+16 ~x2145+8 ~x2144+4 ~x2143+2 ~x2142+1 ~x2141-0=54
0.00/0.76	c 16 ~x6560+8 ~x6559+4 ~x6558+2 ~x6557+1 ~x6556+16 ~x2155+8 ~x2154+4 ~x2153+2 ~x2152+1 ~x2151-0=54
0.00/0.78	c 16 ~x6849+8 ~x6848+4 ~x6847+2 ~x6846+1 ~x6845+16 ~x1905+8 ~x1904+4 ~x1903+2 ~x1902+1 ~x1901-0=54
0.00/0.78	c 16 ~x7138+8 ~x7137+4 ~x7136+2 ~x7135+1 ~x7134+16 ~x1975+8 ~x1974+4 ~x1973+2 ~x1972+1 ~x1971-0=54
0.00/0.81	c 16 ~x7427+8 ~x7426+4 ~x7425+2 ~x7424+1 ~x7423+16 ~x2005+8 ~x2004+4 ~x2003+2 ~x2002+1 ~x2001-0=54
0.00/0.81	c 16 ~x7716+8 ~x7715+4 ~x7714+2 ~x7713+1 ~x7712+16 ~x2015+8 ~x2014+4 ~x2013+2 ~x2012+1 ~x2011-0=54
0.00/0.81	c 16 ~x8005+8 ~x8004+4 ~x8003+2 ~x8002+1 ~x8001+16 ~x2025+8 ~x2024+4 ~x2023+2 ~x2022+1 ~x2021-0=54
0.00/0.83	c 16 ~x8294+8 ~x8293+4 ~x8292+2 ~x8291+1 ~x8290+16 ~x2035+8 ~x2034+4 ~x2033+2 ~x2032+1 ~x2031-0=54
0.00/0.83	c 16 ~x8583+8 ~x8582+4 ~x8581+2 ~x8580+1 ~x8579+16 ~x2045+8 ~x2044+4 ~x2043+2 ~x2042+1 ~x2041-0=54
0.00/0.83	c 16 ~x8872+8 ~x8871+4 ~x8870+2 ~x8869+1 ~x8868+16 ~x2055+8 ~x2054+4 ~x2053+2 ~x2052+1 ~x2051-0=54
0.00/0.85	c 16 ~x9161+8 ~x9160+4 ~x9159+2 ~x9158+1 ~x9157+16 ~x1915+8 ~x1914+4 ~x1913+2 ~x1912+1 ~x1911-0=54
0.00/0.85	c 16 ~x9450+8 ~x9449+4 ~x9448+2 ~x9447+1 ~x9446+16 ~x1925+8 ~x1924+4 ~x1923+2 ~x1922+1 ~x1921-0=54
0.00/0.88	c 16 ~x9739+8 ~x9738+4 ~x9737+2 ~x9736+1 ~x9735+16 ~x1935+8 ~x1934+4 ~x1933+2 ~x1932+1 ~x1931-0=54
0.00/0.88	c 16 ~x10028+8 ~x10027+4 ~x10026+2 ~x10025+1 ~x10024+16 ~x1945+8 ~x1944+4 ~x1943+2 ~x1942+1 ~x1941-0=54
0.00/0.88	c 16 ~x10317+8 ~x10316+4 ~x10315+2 ~x10314+1 ~x10313+16 ~x1955+8 ~x1954+4 ~x1953+2 ~x1952+1 ~x1951-0=54
0.00/0.90	c 16 ~x10606+8 ~x10605+4 ~x10604+2 ~x10603+1 ~x10602+16 ~x1965+8 ~x1964+4 ~x1963+2 ~x1962+1 ~x1961-0=54
0.00/0.90	c 16 ~x10895+8 ~x10894+4 ~x10893+2 ~x10892+1 ~x10891+16 ~x1985+8 ~x1984+4 ~x1983+2 ~x1982+1 ~x1981-0=54
0.00/0.92	c 16 ~x11184+8 ~x11183+4 ~x11182+2 ~x11181+1 ~x11180+16 ~x1995+8 ~x1994+4 ~x1993+2 ~x1992+1 ~x1991-0=54
0.00/0.92	c 1024 ~x11501+512 ~x11500+256 ~x11499+128 ~x11498+64 ~x11497+32 ~x11496+16 ~x11495+8 ~x11494+4 ~x11493+2 ~x11492+1 ~x11491+512 ~x2070+256 ~x2069+128 ~x2068+64 ~x2067+32 ~x2066+16 ~x2065+8 ~x2064+4 ~x2063+2 ~x2062+1 ~x2061+1 ~x1405+20 x1382-0=3071
0.00/0.97	c 1024 ~x13278+512 ~x13277+256 ~x13276+128 ~x13275+64 ~x13274+32 ~x13273+16 ~x13272+8 ~x13271+4 ~x13270+2 ~x13269+1 ~x13268+512 ~x2080+256 ~x2079+128 ~x2078+64 ~x2077+32 ~x2076+16 ~x2075+8 ~x2074+4 ~x2073+2 ~x2072+1 ~x2071+1 ~x1406+20 x1383-0=3071
0.99/1.02	c 1024 ~x15055+512 ~x15054+256 ~x15053+128 ~x15052+64 ~x15051+32 ~x15050+16 ~x15049+8 ~x15048+4 ~x15047+2 ~x15046+1 ~x15045+512 ~x2090+256 ~x2089+128 ~x2088+64 ~x2087+32 ~x2086+16 ~x2085+8 ~x2084+4 ~x2083+2 ~x2082+1 ~x2081+1 ~x1407+20 x1385-0=3071
0.99/1.06	c 1024 ~x16832+512 ~x16831+256 ~x16830+128 ~x16829+64 ~x16828+32 ~x16827+16 ~x16826+8 ~x16825+4 ~x16824+2 ~x16823+1 ~x16822+512 ~x2100+256 ~x2099+128 ~x2098+64 ~x2097+32 ~x2096+16 ~x2095+8 ~x2094+4 ~x2093+2 ~x2092+1 ~x2091+1 ~x1408+20 x1386-0=3071
1.09/1.11	c 1024 ~x18609+512 ~x18608+256 ~x18607+128 ~x18606+64 ~x18605+32 ~x18604+16 ~x18603+8 ~x18602+4 ~x18601+2 ~x18600+1 ~x18599+512 ~x2110+256 ~x2109+128 ~x2108+64 ~x2107+32 ~x2106+16 ~x2105+8 ~x2104+4 ~x2103+2 ~x2102+1 ~x2101+1 ~x1409+20 x1388-0=3071
1.09/1.15	c 1024 ~x20386+512 ~x20385+256 ~x20384+128 ~x20383+64 ~x20382+32 ~x20381+16 ~x20380+8 ~x20379+4 ~x20378+2 ~x20377+1 ~x20376+512 ~x2120+256 ~x2119+128 ~x2118+64 ~x2117+32 ~x2116+16 ~x2115+8 ~x2114+4 ~x2113+2 ~x2112+1 ~x2111+1 ~x1410+20 x1389-0=3071
1.18/1.20	c 1024 ~x22163+512 ~x22162+256 ~x22161+128 ~x22160+64 ~x22159+32 ~x22158+16 ~x22157+8 ~x22156+4 ~x22155+2 ~x22154+1 ~x22153+512 ~x2130+256 ~x2129+128 ~x2128+64 ~x2127+32 ~x2126+16 ~x2125+8 ~x2124+4 ~x2123+2 ~x2122+1 ~x2121+1 ~x1411+20 x1390-0=3071
1.18/1.24	c 1024 ~x23940+512 ~x23939+256 ~x23938+128 ~x23937+64 ~x23936+32 ~x23935+16 ~x23934+8 ~x23933+4 ~x23932+2 ~x23931+1 ~x23930+512 ~x2140+256 ~x2139+128 ~x2138+64 ~x2137+32 ~x2136+16 ~x2135+8 ~x2134+4 ~x2133+2 ~x2132+1 ~x2131+1 ~x1412+20 x1393-0=3071
1.18/1.29	c 1024 ~x25717+512 ~x25716+256 ~x25715+128 ~x25714+64 ~x25713+32 ~x25712+16 ~x25711+8 ~x25710+4 ~x25709+2 ~x25708+1 ~x25707+512 ~x2150+256 ~x2149+128 ~x2148+64 ~x2147+32 ~x2146+16 ~x2145+8 ~x2144+4 ~x2143+2 ~x2142+1 ~x2141+1 ~x1413+20 x1394-0=3071
1.28/1.33	c 1024 ~x27494+512 ~x27493+256 ~x27492+128 ~x27491+64 ~x27490+32 ~x27489+16 ~x27488+8 ~x27487+4 ~x27486+2 ~x27485+1 ~x27484+512 ~x2160+256 ~x2159+128 ~x2158+64 ~x2157+32 ~x2156+16 ~x2155+8 ~x2154+4 ~x2153+2 ~x2152+1 ~x2151+1 ~x1414+20 x1395-0=3071
1.28/1.38	c 1024 ~x29271+512 ~x29270+256 ~x29269+128 ~x29268+64 ~x29267+32 ~x29266+16 ~x29265+8 ~x29264+4 ~x29263+2 ~x29262+1 ~x29261+512 ~x2170+256 ~x2169+128 ~x2168+64 ~x2167+32 ~x2166+16 ~x2165+8 ~x2164+4 ~x2163+2 ~x2162+1 ~x2161+1 ~x1415+20 x1398-0=3071
1.38/1.42	c 1024 ~x31048+512 ~x31047+256 ~x31046+128 ~x31045+64 ~x31044+32 ~x31043+16 ~x31042+8 ~x31041+4 ~x31040+2 ~x31039+1 ~x31038+512 ~x2180+256 ~x2179+128 ~x2178+64 ~x2177+32 ~x2176+16 ~x2175+8 ~x2174+4 ~x2173+2 ~x2172+1 ~x2171+1 ~x1416+20 x1399-0=3071
1.38/1.47	c 1024 ~x32825+512 ~x32824+256 ~x32823+128 ~x32822+64 ~x32821+32 ~x32820+16 ~x32819+8 ~x32818+4 ~x32817+2 ~x32816+1 ~x32815+512 ~x2190+256 ~x2189+128 ~x2188+64 ~x2187+32 ~x2186+16 ~x2185+8 ~x2184+4 ~x2183+2 ~x2182+1 ~x2181+1 ~x1417+20 x1400-0=3071
1.48/1.51	c 1024 ~x34602+512 ~x34601+256 ~x34600+128 ~x34599+64 ~x34598+32 ~x34597+16 ~x34596+8 ~x34595+4 ~x34594+2 ~x34593+1 ~x34592+512 ~x2200+256 ~x2199+128 ~x2198+64 ~x2197+32 ~x2196+16 ~x2195+8 ~x2194+4 ~x2193+2 ~x2192+1 ~x2191+1 ~x1418+20 x1401-0=3071
1.48/1.56	c 1024 ~x36379+512 ~x36378+256 ~x36377+128 ~x36376+64 ~x36375+32 ~x36374+16 ~x36373+8 ~x36372+4 ~x36371+2 ~x36370+1 ~x36369+512 ~x2210+256 ~x2209+128 ~x2208+64 ~x2207+32 ~x2206+16 ~x2205+8 ~x2204+4 ~x2203+2 ~x2202+1 ~x2201+1 ~x1419+20 x1402-0=3071
1.58/1.60	c 1024 ~x38156+512 ~x38155+256 ~x38154+128 ~x38153+64 ~x38152+32 ~x38151+16 ~x38150+8 ~x38149+4 ~x38148+2 ~x38147+1 ~x38146+512 ~x2220+256 ~x2219+128 ~x2218+64 ~x2217+32 ~x2216+16 ~x2215+8 ~x2214+4 ~x2213+2 ~x2212+1 ~x2211+1 ~x1420+20 x1404-0=3071
1.58/1.66	c 1073741824 ~x39953+536870912 ~x39952+268435456 ~x39951+134217728 ~x39950+67108864 ~x39949+33554432 ~x39948+16777216 ~x39947+8388608 ~x39946+4194304 ~x39945+2097152 ~x39944+1048576 ~x39943+524288 ~x39942+262144 ~x39941+131072 ~x39940+65536 ~x39939+32768 ~x39938+16384 ~x39937+8192 ~x39936+4096 ~x39935+2048 ~x39934+1024 ~x39933+512 ~x39932+256 ~x39931+128 ~x39930+64 ~x39929+32 ~x39928+16 ~x39927+8 ~x39926+4 ~x39925+2 ~x39924+1 ~x39923+704643072 x2070+352321536 x2069+176160768 x2068+88080384 x2067+44040192 x2066+22020096 x2065+11010048 x2064+5505024 x2063+2752512 x2062+1376256 x2061+536870912 ~x1450+268435456 ~x1449+134217728 ~x1448+67108864 ~x1447+33554432 ~x1446+16777216 ~x1445+8388608 ~x1444+4194304 ~x1443+2097152 ~x1442+1048576 ~x1441+524288 ~x1440+262144 ~x1439+131072 ~x1438+65536 ~x1437+32768 ~x1436+16384 ~x1435+8192 ~x1434+4096 ~x1433+2048 ~x1432+1024 ~x1431+512 ~x1430+256 ~x1429+128 ~x1428+64 ~x1427+32 ~x1426+16 ~x1425+8 ~x1424+4 ~x1423+2 ~x1422+1 ~x1421+688128 x1405+536870912 ~x1051+268435456 ~x1050+134217728 ~x1049+67108864 ~x1048+33554432 ~x1047+16777216 ~x1046+8388608 ~x1045+4194304 ~x1044+2097152 ~x1043+1048576 ~x1042+524288 ~x1041+262144 ~x1040+131072 ~x1039+65536 ~x1038+32768 ~x1037+16384 ~x1036+8192 ~x1035+4096 ~x1034+2048 ~x1033+1024 ~x1032+512 ~x1031+256 ~x1030+128 ~x1029+64 ~x1028+32 ~x1027+16 ~x1026+8 ~x1025+4 ~x1024+2 ~x1023+1 ~x1022+536870912 x721+268435456 x720+134217728 x719+67108864 x718+33554432 x717+16777216 x716+8388608 x715+4194304 x714+2097152 x713+1048576 x712+524288 x711+262144 x710+131072 x709+65536 x708+32768 x707+16384 x706+8192 x705+4096 x704+2048 x703+1024 x702+512 x701+256 x700+128 x699+64 x698+32 x697+16 x696+8 x695+4 x694+2 x693+1 x692-0=4294967293
2.58/2.66	c 2147483648 ~x83780+1073741824 ~x83779+536870912 ~x83778+268435456 ~x83777+134217728 ~x83776+67108864 ~x83775+33554432 ~x83774+16777216 ~x83773+8388608 ~x83772+4194304 ~x83771+2097152 ~x83770+1048576 ~x83769+524288 ~x83768+262144 ~x83767+131072 ~x83766+65536 ~x83765+32768 ~x83764+16384 ~x83763+8192 ~x83762+4096 ~x83761+2048 ~x83760+1024 ~x83759+512 ~x83758+256 ~x83757+128 ~x83756+64 ~x83755+32 ~x83754+16 ~x83753+8 ~x83752+4 ~x83751+2 ~x83750+1 ~x83749+704643072 x2080+352321536 x2079+176160768 x2078+88080384 x2077+44040192 x2076+22020096 x2075+11010048 x2074+5505024 x2073+2752512 x2072+1376256 x2071+536870912 ~x1480+268435456 ~x1479+134217728 ~x1478+67108864 ~x1477+33554432 ~x1476+16777216 ~x1475+8388608 ~x1474+4194304 ~x1473+2097152 ~x1472+1048576 ~x1471+524288 ~x1470+262144 ~x1469+131072 ~x1468+65536 ~x1467+32768 ~x1466+16384 ~x1465+8192 ~x1464+4096 ~x1463+2048 ~x1462+1024 ~x1461+512 ~x1460+256 ~x1459+128 ~x1458+64 ~x1457+32 ~x1456+16 ~x1455+8 ~x1454+4 ~x1453+2 ~x1452+1 ~x1451+688128 x1406+536870912 ~x871+268435456 ~x870+134217728 ~x869+67108864 ~x868+33554432 ~x867+16777216 ~x866+8388608 ~x865+4194304 ~x864+2097152 ~x863+1048576 ~x862+524288 ~x861+262144 ~x860+131072 ~x859+65536 ~x858+32768 ~x857+16384 ~x856+8192 ~x855+4096 ~x854+2048 ~x853+1024 ~x852+512 ~x851+256 ~x850+128 ~x849+64 ~x848+32 ~x847+16 ~x846+8 ~x845+4 ~x844+2 ~x843+1 ~x842+536870912 ~x781+268435456 ~x780+134217728 ~x779+67108864 ~x778+33554432 ~x777+16777216 ~x776+8388608 ~x775+4194304 ~x774+2097152 ~x773+1048576 ~x772+524288 ~x771+262144 ~x770+131072 ~x769+65536 ~x768+32768 ~x767+16384 ~x766+8192 ~x765+4096 ~x764+2048 ~x763+1024 ~x762+512 ~x761+256 ~x760+128 ~x759+64 ~x758+32 ~x757+16 ~x756+8 ~x755+4 ~x754+2 ~x753+1 ~x752+536870912 x751+268435456 x750+134217728 x749+67108864 x748+33554432 x747+16777216 x746+8388608 x745+4194304 x744+2097152 x743+1048576 x742+524288 x741+262144 x740+131072 x739+65536 x738+32768 x737+16384 x736+8192 x735+4096 x734+2048 x733+1024 x732+512 x731+256 x730+128 x729+64 x728+32 x727+16 x726+8 x725+4 x724+2 x723+1 x722-0=7516192764
3.88/3.93	c 536870912 ~x139269+268435456 ~x139268+134217728 ~x139267+67108864 ~x139266+33554432 ~x139265+16777216 ~x139264+8388608 ~x139263+4194304 ~x139262+2097152 ~x139261+1048576 ~x139260+524288 ~x139259+262144 ~x139258+131072 ~x139257+65536 ~x139256+32768 ~x139255+16384 ~x139254+8192 ~x139253+4096 ~x139252+2048 ~x139251+1024 ~x139250+512 ~x139249+256 ~x139248+128 ~x139247+64 ~x139246+32 ~x139245+16 ~x139244+8 ~x139243+4 ~x139242+2 ~x139241+1 ~x139240+536870912 ~x811+268435456 ~x810+134217728 ~x809+67108864 ~x808+33554432 ~x807+16777216 ~x806+8388608 ~x805+4194304 ~x804+2097152 ~x803+1048576 ~x802+524288 ~x801+262144 ~x800+131072 ~x799+65536 ~x798+32768 ~x797+16384 ~x796+8192 ~x795+4096 ~x794+2048 ~x793+1024 ~x792+512 ~x791+256 ~x790+128 ~x789+64 ~x788+32 ~x787+16 ~x786+8 ~x785+4 ~x784+2 ~x783+1 ~x782+536870912 x781+268435456 x780+134217728 x779+67108864 x778+33554432 x777+16777216 x776+8388608 x775+4194304 x774+2097152 x773+1048576 x772+524288 x771+262144 x770+131072 x769+65536 x768+32768 x767+16384 x766+8192 x765+4096 x764+2048 x763+1024 x762+512 x761+256 x760+128 x759+64 x758+32 x757+16 x756+8 x755+4 x754+2 x753+1 x752-0=2147483646
4.58/4.61	c 1073741824 ~x168479+536870912 ~x168478+268435456 ~x168477+134217728 ~x168476+67108864 ~x168475+33554432 ~x168474+16777216 ~x168473+8388608 ~x168472+4194304 ~x168471+2097152 ~x168470+1048576 ~x168469+524288 ~x168468+262144 ~x168467+131072 ~x168466+65536 ~x168465+32768 ~x168464+16384 ~x168463+8192 ~x168462+4096 ~x168461+2048 ~x168460+1024 ~x168459+512 ~x168458+256 ~x168457+128 ~x168456+64 ~x168455+32 ~x168454+16 ~x168453+8 ~x168452+4 ~x168451+2 ~x168450+1 ~x168449+704643072 x2090+352321536 x2089+176160768 x2088+88080384 x2087+44040192 x2086+22020096 x2085+11010048 x2084+5505024 x2083+2752512 x2082+1376256 x2081+536870912 ~x1510+268435456 ~x1509+134217728 ~x1508+67108864 ~x1507+33554432 ~x1506+16777216 ~x1505+8388608 ~x1504+4194304 ~x1503+2097152 ~x1502+1048576 ~x1501+524288 ~x1500+262144 ~x1499+131072 ~x1498+65536 ~x1497+32768 ~x1496+16384 ~x1495+8192 ~x1494+4096 ~x1493+2048 ~x1492+1024 ~x1491+512 ~x1490+256 ~x1489+128 ~x1488+64 ~x1487+32 ~x1486+16 ~x1485+8 ~x1484+4 ~x1483+2 ~x1482+1 ~x1481+688128 x1407+536870912 ~x841+268435456 ~x840+134217728 ~x839+67108864 ~x838+33554432 ~x837+16777216 ~x836+8388608 ~x835+4194304 ~x834+2097152 ~x833+1048576 ~x832+524288 ~x831+262144 ~x830+131072 ~x829+65536 ~x828+32768 ~x827+16384 ~x826+8192 ~x825+4096 ~x824+2048 ~x823+1024 ~x822+512 ~x821+256 ~x820+128 ~x819+64 ~x818+32 ~x817+16 ~x816+8 ~x815+4 ~x814+2 ~x813+1 ~x812+536870912 x811+268435456 x810+134217728 x809+67108864 x808+33554432 x807+16777216 x806+8388608 x805+4194304 x804+2097152 x803+1048576 x802+524288 x801+262144 x800+131072 x799+65536 x798+32768 x797+16384 x796+8192 x795+4096 x794+2048 x793+1024 x792+512 x791+256 x790+128 x789+64 x788+32 x787+16 x786+8 x785+4 x784+2 x783+1 x782-0=4294967293
5.58/5.62	c 536870912 ~x212304+268435456 ~x212303+134217728 ~x212302+67108864 ~x212301+33554432 ~x212300+16777216 ~x212299+8388608 ~x212298+4194304 ~x212297+2097152 ~x212296+1048576 ~x212295+524288 ~x212294+262144 ~x212293+131072 ~x212292+65536 ~x212291+32768 ~x212290+16384 ~x212289+8192 ~x212288+4096 ~x212287+2048 ~x212286+1024 ~x212285+512 ~x212284+256 ~x212283+128 ~x212282+64 ~x212281+32 ~x212280+16 ~x212279+8 ~x212278+4 ~x212277+2 ~x212276+1 ~x212275+704643072 x2100+352321536 x2099+176160768 x2098+88080384 x2097+44040192 x2096+22020096 x2095+11010048 x2094+5505024 x2093+2752512 x2092+1376256 x2091+536870912 ~x1540+268435456 ~x1539+134217728 ~x1538+67108864 ~x1537+33554432 ~x1536+16777216 ~x1535+8388608 ~x1534+4194304 ~x1533+2097152 ~x1532+1048576 ~x1531+524288 ~x1530+262144 ~x1529+131072 ~x1528+65536 ~x1527+32768 ~x1526+16384 ~x1525+8192 ~x1524+4096 ~x1523+2048 ~x1522+1024 ~x1521+512 ~x1520+256 ~x1519+128 ~x1518+64 ~x1517+32 ~x1516+16 ~x1515+8 ~x1514+4 ~x1513+2 ~x1512+1 ~x1511+688128 x1408+536870912 x841+268435456 x840+134217728 x839+67108864 x838+33554432 x837+16777216 x836+8388608 x835+4194304 x834+2097152 x833+1048576 x832+524288 x831+262144 x830+131072 x829+65536 x828+32768 x827+16384 x826+8192 x825+4096 x824+2048 x823+1024 x822+512 x821+256 x820+128 x819+64 x818+32 x817+16 x816+8 x815+4 x814+2 x813+1 x812-0=2147483646
6.28/6.38	c 1073741824 ~x245342+536870912 ~x245341+268435456 ~x245340+134217728 ~x245339+67108864 ~x245338+33554432 ~x245337+16777216 ~x245336+8388608 ~x245335+4194304 ~x245334+2097152 ~x245333+1048576 ~x245332+524288 ~x245331+262144 ~x245330+131072 ~x245329+65536 ~x245328+32768 ~x245327+16384 ~x245326+8192 ~x245325+4096 ~x245324+2048 ~x245323+1024 ~x245322+512 ~x245321+256 ~x245320+128 ~x245319+64 ~x245318+32 ~x245317+16 ~x245316+8 ~x245315+4 ~x245314+2 ~x245313+1 ~x245312+704643072 x2110+352321536 x2109+176160768 x2108+88080384 x2107+44040192 x2106+22020096 x2105+11010048 x2104+5505024 x2103+2752512 x2102+1376256 x2101+536870912 ~x1570+268435456 ~x1569+134217728 ~x1568+67108864 ~x1567+33554432 ~x1566+16777216 ~x1565+8388608 ~x1564+4194304 ~x1563+2097152 ~x1562+1048576 ~x1561+524288 ~x1560+262144 ~x1559+131072 ~x1558+65536 ~x1557+32768 ~x1556+16384 ~x1555+8192 ~x1554+4096 ~x1553+2048 ~x1552+1024 ~x1551+512 ~x1550+256 ~x1549+128 ~x1548+64 ~x1547+32 ~x1546+16 ~x1545+8 ~x1544+4 ~x1543+2 ~x1542+1 ~x1541+688128 x1409+536870912 ~x931+268435456 ~x930+134217728 ~x929+67108864 ~x928+33554432 ~x927+16777216 ~x926+8388608 ~x925+4194304 ~x924+2097152 ~x923+1048576 ~x922+524288 ~x921+262144 ~x920+131072 ~x919+65536 ~x918+32768 ~x917+16384 ~x916+8192 ~x915+4096 ~x914+2048 ~x913+1024 ~x912+512 ~x911+256 ~x910+128 ~x909+64 ~x908+32 ~x907+16 ~x906+8 ~x905+4 ~x904+2 ~x903+1 ~x902+536870912 x901+268435456 x900+134217728 x899+67108864 x898+33554432 x897+16777216 x896+8388608 x895+4194304 x894+2097152 x893+1048576 x892+524288 x891+262144 x890+131072 x889+65536 x888+32768 x887+16384 x886+8192 x885+4096 x884+2048 x883+1024 x882+512 x881+256 x880+128 x879+64 x878+32 x877+16 x876+8 x875+4 x874+2 x873+1 x872-0=4294967293
7.28/7.39	c 1073741824 ~x289168+536870912 ~x289167+268435456 ~x289166+134217728 ~x289165+67108864 ~x289164+33554432 ~x289163+16777216 ~x289162+8388608 ~x289161+4194304 ~x289160+2097152 ~x289159+1048576 ~x289158+524288 ~x289157+262144 ~x289156+131072 ~x289155+65536 ~x289154+32768 ~x289153+16384 ~x289152+8192 ~x289151+4096 ~x289150+2048 ~x289149+1024 ~x289148+512 ~x289147+256 ~x289146+128 ~x289145+64 ~x289144+32 ~x289143+16 ~x289142+8 ~x289141+4 ~x289140+2 ~x289139+1 ~x289138+704643072 x2120+352321536 x2119+176160768 x2118+88080384 x2117+44040192 x2116+22020096 x2115+11010048 x2114+5505024 x2113+2752512 x2112+1376256 x2111+536870912 ~x1600+268435456 ~x1599+134217728 ~x1598+67108864 ~x1597+33554432 ~x1596+16777216 ~x1595+8388608 ~x1594+4194304 ~x1593+2097152 ~x1592+1048576 ~x1591+524288 ~x1590+262144 ~x1589+131072 ~x1588+65536 ~x1587+32768 ~x1586+16384 ~x1585+8192 ~x1584+4096 ~x1583+2048 ~x1582+1024 ~x1581+512 ~x1580+256 ~x1579+128 ~x1578+64 ~x1577+32 ~x1576+16 ~x1575+8 ~x1574+4 ~x1573+2 ~x1572+1 ~x1571+688128 x1410+536870912 ~x961+268435456 ~x960+134217728 ~x959+67108864 ~x958+33554432 ~x957+16777216 ~x956+8388608 ~x955+4194304 ~x954+2097152 ~x953+1048576 ~x952+524288 ~x951+262144 ~x950+131072 ~x949+65536 ~x948+32768 ~x947+16384 ~x946+8192 ~x945+4096 ~x944+2048 ~x943+1024 ~x942+512 ~x941+256 ~x940+128 ~x939+64 ~x938+32 ~x937+16 ~x936+8 ~x935+4 ~x934+2 ~x933+1 ~x932+536870912 x931+268435456 x930+134217728 x929+67108864 x928+33554432 x927+16777216 x926+8388608 x925+4194304 x924+2097152 x923+1048576 x922+524288 x921+262144 x920+131072 x919+65536 x918+32768 x917+16384 x916+8192 x915+4096 x914+2048 x913+1024 x912+512 x911+256 x910+128 x909+64 x908+32 x907+16 x906+8 x905+4 x904+2 x903+1 x902-0=4294967293
8.27/8.40	c 1073741824 ~x332994+536870912 ~x332993+268435456 ~x332992+134217728 ~x332991+67108864 ~x332990+33554432 ~x332989+16777216 ~x332988+8388608 ~x332987+4194304 ~x332986+2097152 ~x332985+1048576 ~x332984+524288 ~x332983+262144 ~x332982+131072 ~x332981+65536 ~x332980+32768 ~x332979+16384 ~x332978+8192 ~x332977+4096 ~x332976+2048 ~x332975+1024 ~x332974+512 ~x332973+256 ~x332972+128 ~x332971+64 ~x332970+32 ~x332969+16 ~x332968+8 ~x332967+4 ~x332966+2 ~x332965+1 ~x332964+704643072 x2130+352321536 x2129+176160768 x2128+88080384 x2127+44040192 x2126+22020096 x2125+11010048 x2124+5505024 x2123+2752512 x2122+1376256 x2121+536870912 ~x1630+268435456 ~x1629+134217728 ~x1628+67108864 ~x1627+33554432 ~x1626+16777216 ~x1625+8388608 ~x1624+4194304 ~x1623+2097152 ~x1622+1048576 ~x1621+524288 ~x1620+262144 ~x1619+131072 ~x1618+65536 ~x1617+32768 ~x1616+16384 ~x1615+8192 ~x1614+4096 ~x1613+2048 ~x1612+1024 ~x1611+512 ~x1610+256 ~x1609+128 ~x1608+64 ~x1607+32 ~x1606+16 ~x1605+8 ~x1604+4 ~x1603+2 ~x1602+1 ~x1601+688128 x1411+536870912 ~x991+268435456 ~x990+134217728 ~x989+67108864 ~x988+33554432 ~x987+16777216 ~x986+8388608 ~x985+4194304 ~x984+2097152 ~x983+1048576 ~x982+524288 ~x981+262144 ~x980+131072 ~x979+65536 ~x978+32768 ~x977+16384 ~x976+8192 ~x975+4096 ~x974+2048 ~x973+1024 ~x972+512 ~x971+256 ~x970+128 ~x969+64 ~x968+32 ~x967+16 ~x966+8 ~x965+4 ~x964+2 ~x963+1 ~x962+536870912 x961+268435456 x960+134217728 x959+67108864 x958+33554432 x957+16777216 x956+8388608 x955+4194304 x954+2097152 x953+1048576 x952+524288 x951+262144 x950+131072 x949+65536 x948+32768 x947+16384 x946+8192 x945+4096 x944+2048 x943+1024 x942+512 x941+256 x940+128 x939+64 x938+32 x937+16 x936+8 x935+4 x934+2 x933+1 x932-0=4294967293
9.38/9.40	c 536870912 ~x376819+268435456 ~x376818+134217728 ~x376817+67108864 ~x376816+33554432 ~x376815+16777216 ~x376814+8388608 ~x376813+4194304 ~x376812+2097152 ~x376811+1048576 ~x376810+524288 ~x376809+262144 ~x376808+131072 ~x376807+65536 ~x376806+32768 ~x376805+16384 ~x376804+8192 ~x376803+4096 ~x376802+2048 ~x376801+1024 ~x376800+512 ~x376799+256 ~x376798+128 ~x376797+64 ~x376796+32 ~x376795+16 ~x376794+8 ~x376793+4 ~x376792+2 ~x376791+1 ~x376790+536870912 ~x1081+268435456 ~x1080+134217728 ~x1079+67108864 ~x1078+33554432 ~x1077+16777216 ~x1076+8388608 ~x1075+4194304 ~x1074+2097152 ~x1073+1048576 ~x1072+524288 ~x1071+262144 ~x1070+131072 ~x1069+65536 ~x1068+32768 ~x1067+16384 ~x1066+8192 ~x1065+4096 ~x1064+2048 ~x1063+1024 ~x1062+512 ~x1061+256 ~x1060+128 ~x1059+64 ~x1058+32 ~x1057+16 ~x1056+8 ~x1055+4 ~x1054+2 ~x1053+1 ~x1052+536870912 x1021+268435456 x1020+134217728 x1019+67108864 x1018+33554432 x1017+16777216 x1016+8388608 x1015+4194304 x1014+2097152 x1013+1048576 x1012+524288 x1011+262144 x1010+131072 x1009+65536 x1008+32768 x1007+16384 x1006+8192 x1005+4096 x1004+2048 x1003+1024 x1002+512 x1001+256 x1000+128 x999+64 x998+32 x997+16 x996+8 x995+4 x994+2 x993+1 x992-0=2147483646
9.98/10.07	c 1073741824 ~x406029+536870912 ~x406028+268435456 ~x406027+134217728 ~x406026+67108864 ~x406025+33554432 ~x406024+16777216 ~x406023+8388608 ~x406022+4194304 ~x406021+2097152 ~x406020+1048576 ~x406019+524288 ~x406018+262144 ~x406017+131072 ~x406016+65536 ~x406015+32768 ~x406014+16384 ~x406013+8192 ~x406012+4096 ~x406011+2048 ~x406010+1024 ~x406009+512 ~x406008+256 ~x406007+128 ~x406006+64 ~x406005+32 ~x406004+16 ~x406003+8 ~x406002+4 ~x406001+2 ~x406000+1 ~x405999+704643072 x2140+352321536 x2139+176160768 x2138+88080384 x2137+44040192 x2136+22020096 x2135+11010048 x2134+5505024 x2133+2752512 x2132+1376256 x2131+536870912 ~x1660+268435456 ~x1659+134217728 ~x1658+67108864 ~x1657+33554432 ~x1656+16777216 ~x1655+8388608 ~x1654+4194304 ~x1653+2097152 ~x1652+1048576 ~x1651+524288 ~x1650+262144 ~x1649+131072 ~x1648+65536 ~x1647+32768 ~x1646+16384 ~x1645+8192 ~x1644+4096 ~x1643+2048 ~x1642+1024 ~x1641+512 ~x1640+256 ~x1639+128 ~x1638+64 ~x1637+32 ~x1636+16 ~x1635+8 ~x1634+4 ~x1633+2 ~x1632+1 ~x1631+688128 x1412+536870912 ~x1201+268435456 ~x1200+134217728 ~x1199+67108864 ~x1198+33554432 ~x1197+16777216 ~x1196+8388608 ~x1195+4194304 ~x1194+2097152 ~x1193+1048576 ~x1192+524288 ~x1191+262144 ~x1190+131072 ~x1189+65536 ~x1188+32768 ~x1187+16384 ~x1186+8192 ~x1185+4096 ~x1184+2048 ~x1183+1024 ~x1182+512 ~x1181+256 ~x1180+128 ~x1179+64 ~x1178+32 ~x1177+16 ~x1176+8 ~x1175+4 ~x1174+2 ~x1173+1 ~x1172+536870912 x1051+268435456 x1050+134217728 x1049+67108864 x1048+33554432 x1047+16777216 x1046+8388608 x1045+4194304 x1044+2097152 x1043+1048576 x1042+524288 x1041+262144 x1040+131072 x1039+65536 x1038+32768 x1037+16384 x1036+8192 x1035+4096 x1034+2048 x1033+1024 x1032+512 x1031+256 x1030+128 x1029+64 x1028+32 x1027+16 x1026+8 x1025+4 x1024+2 x1023+1 x1022-0=4294967293
10.98/11.08	c 536870912 ~x449854+268435456 ~x449853+134217728 ~x449852+67108864 ~x449851+33554432 ~x449850+16777216 ~x449849+8388608 ~x449848+4194304 ~x449847+2097152 ~x449846+1048576 ~x449845+524288 ~x449844+262144 ~x449843+131072 ~x449842+65536 ~x449841+32768 ~x449840+16384 ~x449839+8192 ~x449838+4096 ~x449837+2048 ~x449836+1024 ~x449835+512 ~x449834+256 ~x449833+128 ~x449832+64 ~x449831+32 ~x449830+16 ~x449829+8 ~x449828+4 ~x449827+2 ~x449826+1 ~x449825+704643072 x2150+352321536 x2149+176160768 x2148+88080384 x2147+44040192 x2146+22020096 x2145+11010048 x2144+5505024 x2143+2752512 x2142+1376256 x2141+536870912 ~x1690+268435456 ~x1689+134217728 ~x1688+67108864 ~x1687+33554432 ~x1686+16777216 ~x1685+8388608 ~x1684+4194304 ~x1683+2097152 ~x1682+1048576 ~x1681+524288 ~x1680+262144 ~x1679+131072 ~x1678+65536 ~x1677+32768 ~x1676+16384 ~x1675+8192 ~x1674+4096 ~x1673+2048 ~x1672+1024 ~x1671+512 ~x1670+256 ~x1669+128 ~x1668+64 ~x1667+32 ~x1666+16 ~x1665+8 ~x1664+4 ~x1663+2 ~x1662+1 ~x1661+688128 x1413+536870912 x1081+268435456 x1080+134217728 x1079+67108864 x1078+33554432 x1077+16777216 x1076+8388608 x1075+4194304 x1074+2097152 x1073+1048576 x1072+524288 x1071+262144 x1070+131072 x1069+65536 x1068+32768 x1067+16384 x1066+8192 x1065+4096 x1064+2048 x1063+1024 x1062+512 x1061+256 x1060+128 x1059+64 x1058+32 x1057+16 x1056+8 x1055+4 x1054+2 x1053+1 x1052-0=2147483646
11.78/11.84	c 536870912 ~x482891+268435456 ~x482890+134217728 ~x482889+67108864 ~x482888+33554432 ~x482887+16777216 ~x482886+8388608 ~x482885+4194304 ~x482884+2097152 ~x482883+1048576 ~x482882+524288 ~x482881+262144 ~x482880+131072 ~x482879+65536 ~x482878+32768 ~x482877+16384 ~x482876+8192 ~x482875+4096 ~x482874+2048 ~x482873+1024 ~x482872+512 ~x482871+256 ~x482870+128 ~x482869+64 ~x482868+32 ~x482867+16 ~x482866+8 ~x482865+4 ~x482864+2 ~x482863+1 ~x482862+704643072 x2160+352321536 x2159+176160768 x2158+88080384 x2157+44040192 x2156+22020096 x2155+11010048 x2154+5505024 x2153+2752512 x2152+1376256 x2151+536870912 ~x1720+268435456 ~x1719+134217728 ~x1718+67108864 ~x1717+33554432 ~x1716+16777216 ~x1715+8388608 ~x1714+4194304 ~x1713+2097152 ~x1712+1048576 ~x1711+524288 ~x1710+262144 ~x1709+131072 ~x1708+65536 ~x1707+32768 ~x1706+16384 ~x1705+8192 ~x1704+4096 ~x1703+2048 ~x1702+1024 ~x1701+512 ~x1700+256 ~x1699+128 ~x1698+64 ~x1697+32 ~x1696+16 ~x1695+8 ~x1694+4 ~x1693+2 ~x1692+1 ~x1691+688128 x1414+536870912 x1111+268435456 x1110+134217728 x1109+67108864 x1108+33554432 x1107+16777216 x1106+8388608 x1105+4194304 x1104+2097152 x1103+1048576 x1102+524288 x1101+262144 x1100+131072 x1099+65536 x1098+32768 x1097+16384 x1096+8192 x1095+4096 x1094+2048 x1093+1024 x1092+512 x1091+256 x1090+128 x1089+64 x1088+32 x1087+16 x1086+8 x1085+4 x1084+2 x1083+1 x1082-0=2147483646
12.58/12.61	c 1073741824 ~x515929+536870912 ~x515928+268435456 ~x515927+134217728 ~x515926+67108864 ~x515925+33554432 ~x515924+16777216 ~x515923+8388608 ~x515922+4194304 ~x515921+2097152 ~x515920+1048576 ~x515919+524288 ~x515918+262144 ~x515917+131072 ~x515916+65536 ~x515915+32768 ~x515914+16384 ~x515913+8192 ~x515912+4096 ~x515911+2048 ~x515910+1024 ~x515909+512 ~x515908+256 ~x515907+128 ~x515906+64 ~x515905+32 ~x515904+16 ~x515903+8 ~x515902+4 ~x515901+2 ~x515900+1 ~x515899+704643072 x2170+352321536 x2169+176160768 x2168+88080384 x2167+44040192 x2166+22020096 x2165+11010048 x2164+5505024 x2163+2752512 x2162+1376256 x2161+536870912 ~x1750+268435456 ~x1749+134217728 ~x1748+67108864 ~x1747+33554432 ~x1746+16777216 ~x1745+8388608 ~x1744+4194304 ~x1743+2097152 ~x1742+1048576 ~x1741+524288 ~x1740+262144 ~x1739+131072 ~x1738+65536 ~x1737+32768 ~x1736+16384 ~x1735+8192 ~x1734+4096 ~x1733+2048 ~x1732+1024 ~x1731+512 ~x1730+256 ~x1729+128 ~x1728+64 ~x1727+32 ~x1726+16 ~x1725+8 ~x1724+4 ~x1723+2 ~x1722+1 ~x1721+688128 x1415+536870912 ~x1231+268435456 ~x1230+134217728 ~x1229+67108864 ~x1228+33554432 ~x1227+16777216 ~x1226+8388608 ~x1225+4194304 ~x1224+2097152 ~x1223+1048576 ~x1222+524288 ~x1221+262144 ~x1220+131072 ~x1219+65536 ~x1218+32768 ~x1217+16384 ~x1216+8192 ~x1215+4096 ~x1214+2048 ~x1213+1024 ~x1212+512 ~x1211+256 ~x1210+128 ~x1209+64 ~x1208+32 ~x1207+16 ~x1206+8 ~x1205+4 ~x1204+2 ~x1203+1 ~x1202+536870912 x1201+268435456 x1200+134217728 x1199+67108864 x1198+33554432 x1197+16777216 x1196+8388608 x1195+4194304 x1194+2097152 x1193+1048576 x1192+524288 x1191+262144 x1190+131072 x1189+65536 x1188+32768 x1187+16384 x1186+8192 x1185+4096 x1184+2048 x1183+1024 x1182+512 x1181+256 x1180+128 x1179+64 x1178+32 x1177+16 x1176+8 x1175+4 x1174+2 x1173+1 x1172-0=4294967293
13.58/13.61	c 1073741824 ~x559755+536870912 ~x559754+268435456 ~x559753+134217728 ~x559752+67108864 ~x559751+33554432 ~x559750+16777216 ~x559749+8388608 ~x559748+4194304 ~x559747+2097152 ~x559746+1048576 ~x559745+524288 ~x559744+262144 ~x559743+131072 ~x559742+65536 ~x559741+32768 ~x559740+16384 ~x559739+8192 ~x559738+4096 ~x559737+2048 ~x559736+1024 ~x559735+512 ~x559734+256 ~x559733+128 ~x559732+64 ~x559731+32 ~x559730+16 ~x559729+8 ~x559728+4 ~x559727+2 ~x559726+1 ~x559725+704643072 x2180+352321536 x2179+176160768 x2178+88080384 x2177+44040192 x2176+22020096 x2175+11010048 x2174+5505024 x2173+2752512 x2172+1376256 x2171+536870912 ~x1780+268435456 ~x1779+134217728 ~x1778+67108864 ~x1777+33554432 ~x1776+16777216 ~x1775+8388608 ~x1774+4194304 ~x1773+2097152 ~x1772+1048576 ~x1771+524288 ~x1770+262144 ~x1769+131072 ~x1768+65536 ~x1767+32768 ~x1766+16384 ~x1765+8192 ~x1764+4096 ~x1763+2048 ~x1762+1024 ~x1761+512 ~x1760+256 ~x1759+128 ~x1758+64 ~x1757+32 ~x1756+16 ~x1755+8 ~x1754+4 ~x1753+2 ~x1752+1 ~x1751+688128 x1416+536870912 ~x1261+268435456 ~x1260+134217728 ~x1259+67108864 ~x1258+33554432 ~x1257+16777216 ~x1256+8388608 ~x1255+4194304 ~x1254+2097152 ~x1253+1048576 ~x1252+524288 ~x1251+262144 ~x1250+131072 ~x1249+65536 ~x1248+32768 ~x1247+16384 ~x1246+8192 ~x1245+4096 ~x1244+2048 ~x1243+1024 ~x1242+512 ~x1241+256 ~x1240+128 ~x1239+64 ~x1238+32 ~x1237+16 ~x1236+8 ~x1235+4 ~x1234+2 ~x1233+1 ~x1232+536870912 x1231+268435456 x1230+134217728 x1229+67108864 x1228+33554432 x1227+16777216 x1226+8388608 x1225+4194304 x1224+2097152 x1223+1048576 x1222+524288 x1221+262144 x1220+131072 x1219+65536 x1218+32768 x1217+16384 x1216+8192 x1215+4096 x1214+2048 x1213+1024 x1212+512 x1211+256 x1210+128 x1209+64 x1208+32 x1207+16 x1206+8 x1205+4 x1204+2 x1203+1 x1202-0=4294967293
14.58/14.62	c 2147483648 ~x603582+1073741824 ~x603581+536870912 ~x603580+268435456 ~x603579+134217728 ~x603578+67108864 ~x603577+33554432 ~x603576+16777216 ~x603575+8388608 ~x603574+4194304 ~x603573+2097152 ~x603572+1048576 ~x603571+524288 ~x603570+262144 ~x603569+131072 ~x603568+65536 ~x603567+32768 ~x603566+16384 ~x603565+8192 ~x603564+4096 ~x603563+2048 ~x603562+1024 ~x603561+512 ~x603560+256 ~x603559+128 ~x603558+64 ~x603557+32 ~x603556+16 ~x603555+8 ~x603554+4 ~x603553+2 ~x603552+1 ~x603551+704643072 x2190+352321536 x2189+176160768 x2188+88080384 x2187+44040192 x2186+22020096 x2185+11010048 x2184+5505024 x2183+2752512 x2182+1376256 x2181+536870912 ~x1810+268435456 ~x1809+134217728 ~x1808+67108864 ~x1807+33554432 ~x1806+16777216 ~x1805+8388608 ~x1804+4194304 ~x1803+2097152 ~x1802+1048576 ~x1801+524288 ~x1800+262144 ~x1799+131072 ~x1798+65536 ~x1797+32768 ~x1796+16384 ~x1795+8192 ~x1794+4096 ~x1793+2048 ~x1792+1024 ~x1791+512 ~x1790+256 ~x1789+128 ~x1788+64 ~x1787+32 ~x1786+16 ~x1785+8 ~x1784+4 ~x1783+2 ~x1782+1 ~x1781+688128 x1417+536870912 ~x1291+268435456 ~x1290+134217728 ~x1289+67108864 ~x1288+33554432 ~x1287+16777216 ~x1286+8388608 ~x1285+4194304 ~x1284+2097152 ~x1283+1048576 ~x1282+524288 ~x1281+262144 ~x1280+131072 ~x1279+65536 ~x1278+32768 ~x1277+16384 ~x1276+8192 ~x1275+4096 ~x1274+2048 ~x1273+1024 ~x1272+512 ~x1271+256 ~x1270+128 ~x1269+64 ~x1268+32 ~x1267+16 ~x1266+8 ~x1265+4 ~x1264+2 ~x1263+1 ~x1262+536870912 x1261+268435456 x1260+134217728 x1259+67108864 x1258+33554432 x1257+16777216 x1256+8388608 x1255+4194304 x1254+2097152 x1253+1048576 x1252+524288 x1251+262144 x1250+131072 x1249+65536 x1248+32768 x1247+16384 x1246+8192 x1245+4096 x1244+2048 x1243+1024 x1242+512 x1241+256 x1240+128 x1239+64 x1238+32 x1237+16 x1236+8 x1235+4 x1234+2 x1233+1 x1232+536870912 ~x901+268435456 ~x900+134217728 ~x899+67108864 ~x898+33554432 ~x897+16777216 ~x896+8388608 ~x895+4194304 ~x894+2097152 ~x893+1048576 ~x892+524288 ~x891+262144 ~x890+131072 ~x889+65536 ~x888+32768 ~x887+16384 ~x886+8192 ~x885+4096 ~x884+2048 ~x883+1024 ~x882+512 ~x881+256 ~x880+128 ~x879+64 ~x878+32 ~x877+16 ~x876+8 ~x875+4 ~x874+2 ~x873+1 ~x872+536870912 ~x751+268435456 ~x750+134217728 ~x749+67108864 ~x748+33554432 ~x747+16777216 ~x746+8388608 ~x745+4194304 ~x744+2097152 ~x743+1048576 ~x742+524288 ~x741+262144 ~x740+131072 ~x739+65536 ~x738+32768 ~x737+16384 ~x736+8192 ~x735+4096 ~x734+2048 ~x733+1024 ~x732+512 ~x731+256 ~x730+128 ~x729+64 ~x728+32 ~x727+16 ~x726+8 ~x725+4 ~x724+2 ~x723+1 ~x722-0=8589934587
16.08/16.13	c 4294967296 ~x669694+2147483648 ~x669693+1073741824 ~x669692+536870912 ~x669691+268435456 ~x669690+134217728 ~x669689+67108864 ~x669688+33554432 ~x669687+16777216 ~x669686+8388608 ~x669685+4194304 ~x669684+2097152 ~x669683+1048576 ~x669682+524288 ~x669681+262144 ~x669680+131072 ~x669679+65536 ~x669678+32768 ~x669677+16384 ~x669676+8192 ~x669675+4096 ~x669674+2048 ~x669673+1024 ~x669672+512 ~x669671+256 ~x669670+128 ~x669669+64 ~x669668+32 ~x669667+16 ~x669666+8 ~x669665+4 ~x669664+2 ~x669663+1 ~x669662+704643072 x2200+352321536 x2199+176160768 x2198+88080384 x2197+44040192 x2196+22020096 x2195+11010048 x2194+5505024 x2193+2752512 x2192+1376256 x2191+536870912 ~x1840+268435456 ~x1839+134217728 ~x1838+67108864 ~x1837+33554432 ~x1836+16777216 ~x1835+8388608 ~x1834+4194304 ~x1833+2097152 ~x1832+1048576 ~x1831+524288 ~x1830+262144 ~x1829+131072 ~x1828+65536 ~x1827+32768 ~x1826+16384 ~x1825+8192 ~x1824+4096 ~x1823+2048 ~x1822+1024 ~x1821+512 ~x1820+256 ~x1819+128 ~x1818+64 ~x1817+32 ~x1816+16 ~x1815+8 ~x1814+4 ~x1813+2 ~x1812+1 ~x1811+688128 x1418+536870912 ~x1321+268435456 ~x1320+134217728 ~x1319+67108864 ~x1318+33554432 ~x1317+16777216 ~x1316+8388608 ~x1315+4194304 ~x1314+2097152 ~x1313+1048576 ~x1312+524288 ~x1311+262144 ~x1310+131072 ~x1309+65536 ~x1308+32768 ~x1307+16384 ~x1306+8192 ~x1305+4096 ~x1304+2048 ~x1303+1024 ~x1302+512 ~x1301+256 ~x1300+128 ~x1299+64 ~x1298+32 ~x1297+16 ~x1296+8 ~x1295+4 ~x1294+2 ~x1293+1 ~x1292+536870912 x1291+268435456 x1290+134217728 x1289+67108864 x1288+33554432 x1287+16777216 x1286+8388608 x1285+4194304 x1284+2097152 x1283+1048576 x1282+524288 x1281+262144 x1280+131072 x1279+65536 x1278+32768 x1277+16384 x1276+8192 x1275+4096 x1274+2048 x1273+1024 x1272+512 x1271+256 x1270+128 x1269+64 x1268+32 x1267+16 x1266+8 x1265+4 x1264+2 x1263+1 x1262+536870912 ~x1171+268435456 ~x1170+134217728 ~x1169+67108864 ~x1168+33554432 ~x1167+16777216 ~x1166+8388608 ~x1165+4194304 ~x1164+2097152 ~x1163+1048576 ~x1162+524288 ~x1161+262144 ~x1160+131072 ~x1159+65536 ~x1158+32768 ~x1157+16384 ~x1156+8192 ~x1155+4096 ~x1154+2048 ~x1153+1024 ~x1152+512 ~x1151+256 ~x1150+128 ~x1149+64 ~x1148+32 ~x1147+16 ~x1146+8 ~x1145+4 ~x1144+2 ~x1143+1 ~x1142+536870912 ~x1141+268435456 ~x1140+134217728 ~x1139+67108864 ~x1138+33554432 ~x1137+16777216 ~x1136+8388608 ~x1135+4194304 ~x1134+2097152 ~x1133+1048576 ~x1132+524288 ~x1131+262144 ~x1130+131072 ~x1129+65536 ~x1128+32768 ~x1127+16384 ~x1126+8192 ~x1125+4096 ~x1124+2048 ~x1123+1024 ~x1122+512 ~x1121+256 ~x1120+128 ~x1119+64 ~x1118+32 ~x1117+16 ~x1116+8 ~x1115+4 ~x1114+2 ~x1113+1 ~x1112+536870912 ~x1021+268435456 ~x1020+134217728 ~x1019+67108864 ~x1018+33554432 ~x1017+16777216 ~x1016+8388608 ~x1015+4194304 ~x1014+2097152 ~x1013+1048576 ~x1012+524288 ~x1011+262144 ~x1010+131072 ~x1009+65536 ~x1008+32768 ~x1007+16384 ~x1006+8192 ~x1005+4096 ~x1004+2048 ~x1003+1024 ~x1002+512 ~x1001+256 ~x1000+128 ~x999+64 ~x998+32 ~x997+16 ~x996+8 ~x995+4 ~x994+2 ~x993+1 ~x992-0=13958643706
17.78/17.89	c 2147483648 ~x746776+1073741824 ~x746775+536870912 ~x746774+268435456 ~x746773+134217728 ~x746772+67108864 ~x746771+33554432 ~x746770+16777216 ~x746769+8388608 ~x746768+4194304 ~x746767+2097152 ~x746766+1048576 ~x746765+524288 ~x746764+262144 ~x746763+131072 ~x746762+65536 ~x746761+32768 ~x746760+16384 ~x746759+8192 ~x746758+4096 ~x746757+2048 ~x746756+1024 ~x746755+512 ~x746754+256 ~x746753+128 ~x746752+64 ~x746751+32 ~x746750+16 ~x746749+8 ~x746748+4 ~x746747+2 ~x746746+1 ~x746745+704643072 x2210+352321536 x2209+176160768 x2208+88080384 x2207+44040192 x2206+22020096 x2205+11010048 x2204+5505024 x2203+2752512 x2202+1376256 x2201+536870912 ~x1870+268435456 ~x1869+134217728 ~x1868+67108864 ~x1867+33554432 ~x1866+16777216 ~x1865+8388608 ~x1864+4194304 ~x1863+2097152 ~x1862+1048576 ~x1861+524288 ~x1860+262144 ~x1859+131072 ~x1858+65536 ~x1857+32768 ~x1856+16384 ~x1855+8192 ~x1854+4096 ~x1853+2048 ~x1852+1024 ~x1851+512 ~x1850+256 ~x1849+128 ~x1848+64 ~x1847+32 ~x1846+16 ~x1845+8 ~x1844+4 ~x1843+2 ~x1842+1 ~x1841+688128 x1419+536870912 ~x1351+268435456 ~x1350+134217728 ~x1349+67108864 ~x1348+33554432 ~x1347+16777216 ~x1346+8388608 ~x1345+4194304 ~x1344+2097152 ~x1343+1048576 ~x1342+524288 ~x1341+262144 ~x1340+131072 ~x1339+65536 ~x1338+32768 ~x1337+16384 ~x1336+8192 ~x1335+4096 ~x1334+2048 ~x1333+1024 ~x1332+512 ~x1331+256 ~x1330+128 ~x1329+64 ~x1328+32 ~x1327+16 ~x1326+8 ~x1325+4 ~x1324+2 ~x1323+1 ~x1322+536870912 x1321+268435456 x1320+134217728 x1319+67108864 x1318+33554432 x1317+16777216 x1316+8388608 x1315+4194304 x1314+2097152 x1313+1048576 x1312+524288 x1311+262144 x1310+131072 x1309+65536 x1308+32768 x1307+16384 x1306+8192 x1305+4096 x1304+2048 x1303+1024 x1302+512 x1301+256 x1300+128 x1299+64 x1298+32 x1297+16 x1296+8 x1295+4 x1294+2 x1293+1 x1292+536870912 ~x1111+268435456 ~x1110+134217728 ~x1109+67108864 ~x1108+33554432 ~x1107+16777216 ~x1106+8388608 ~x1105+4194304 ~x1104+2097152 ~x1103+1048576 ~x1102+524288 ~x1101+262144 ~x1100+131072 ~x1099+65536 ~x1098+32768 ~x1097+16384 ~x1096+8192 ~x1095+4096 ~x1094+2048 ~x1093+1024 ~x1092+512 ~x1091+256 ~x1090+128 ~x1089+64 ~x1088+32 ~x1087+16 ~x1086+8 ~x1085+4 ~x1084+2 ~x1083+1 ~x1082-0=7516192764
19.08/19.16	c 536870912 ~x802265+268435456 ~x802264+134217728 ~x802263+67108864 ~x802262+33554432 ~x802261+16777216 ~x802260+8388608 ~x802259+4194304 ~x802258+2097152 ~x802257+1048576 ~x802256+524288 ~x802255+262144 ~x802254+131072 ~x802253+65536 ~x802252+32768 ~x802251+16384 ~x802250+8192 ~x802249+4096 ~x802248+2048 ~x802247+1024 ~x802246+512 ~x802245+256 ~x802244+128 ~x802243+64 ~x802242+32 ~x802241+16 ~x802240+8 ~x802239+4 ~x802238+2 ~x802237+1 ~x802236+536870912 ~x1381+268435456 ~x1380+134217728 ~x1379+67108864 ~x1378+33554432 ~x1377+16777216 ~x1376+8388608 ~x1375+4194304 ~x1374+2097152 ~x1373+1048576 ~x1372+524288 ~x1371+262144 ~x1370+131072 ~x1369+65536 ~x1368+32768 ~x1367+16384 ~x1366+8192 ~x1365+4096 ~x1364+2048 ~x1363+1024 ~x1362+512 ~x1361+256 ~x1360+128 ~x1359+64 ~x1358+32 ~x1357+16 ~x1356+8 ~x1355+4 ~x1354+2 ~x1353+1 ~x1352+536870912 x1351+268435456 x1350+134217728 x1349+67108864 x1348+33554432 x1347+16777216 x1346+8388608 x1345+4194304 x1344+2097152 x1343+1048576 x1342+524288 x1341+262144 x1340+131072 x1339+65536 x1338+32768 x1337+16384 x1336+8192 x1335+4096 x1334+2048 x1333+1024 x1332+512 x1331+256 x1330+128 x1329+64 x1328+32 x1327+16 x1326+8 x1325+4 x1324+2 x1323+1 x1322-0=2147483646
19.78/19.83	c 536870912 ~x831474+268435456 ~x831473+134217728 ~x831472+67108864 ~x831471+33554432 ~x831470+16777216 ~x831469+8388608 ~x831468+4194304 ~x831467+2097152 ~x831466+1048576 ~x831465+524288 ~x831464+262144 ~x831463+131072 ~x831462+65536 ~x831461+32768 ~x831460+16384 ~x831459+8192 ~x831458+4096 ~x831457+2048 ~x831456+1024 ~x831455+512 ~x831454+256 ~x831453+128 ~x831452+64 ~x831451+32 ~x831450+16 ~x831449+8 ~x831448+4 ~x831447+2 ~x831446+1 ~x831445+704643072 x2220+352321536 x2219+176160768 x2218+88080384 x2217+44040192 x2216+22020096 x2215+11010048 x2214+5505024 x2213+2752512 x2212+1376256 x2211+536870912 ~x1900+268435456 ~x1899+134217728 ~x1898+67108864 ~x1897+33554432 ~x1896+16777216 ~x1895+8388608 ~x1894+4194304 ~x1893+2097152 ~x1892+1048576 ~x1891+524288 ~x1890+262144 ~x1889+131072 ~x1888+65536 ~x1887+32768 ~x1886+16384 ~x1885+8192 ~x1884+4096 ~x1883+2048 ~x1882+1024 ~x1881+512 ~x1880+256 ~x1879+128 ~x1878+64 ~x1877+32 ~x1876+16 ~x1875+8 ~x1874+4 ~x1873+2 ~x1872+1 ~x1871+688128 x1420+536870912 x1381+268435456 x1380+134217728 x1379+67108864 x1378+33554432 x1377+16777216 x1376+8388608 x1375+4194304 x1374+2097152 x1373+1048576 x1372+524288 x1371+262144 x1370+131072 x1369+65536 x1368+32768 x1367+16384 x1366+8192 x1365+4096 x1364+2048 x1363+1024 x1362+512 x1361+256 x1360+128 x1359+64 x1358+32 x1357+16 x1356+8 x1355+4 x1354+2 x1353+1 x1352-0=2147483646
20.48/20.59	c 536870912 ~x864511+268435456 ~x864510+134217728 ~x864509+67108864 ~x864508+33554432 ~x864507+16777216 ~x864506+8388608 ~x864505+4194304 ~x864504+2097152 ~x864503+1048576 ~x864502+524288 ~x864501+262144 ~x864500+131072 ~x864499+65536 ~x864498+32768 ~x864497+16384 ~x864496+8192 ~x864495+4096 ~x864494+2048 ~x864493+1024 ~x864492+512 ~x864491+256 ~x864490+128 ~x864489+64 ~x864488+32 ~x864487+16 ~x864486+8 ~x864485+4 ~x864484+2 ~x864483+1 ~x864482+12582912 x1910+6291456 x1909+3145728 x1908+1572864 x1907+786432 x1906+393216 x1905+196608 x1904+98304 x1903+49152 x1902+24576 x1901+536870912 ~x1450+268435456 ~x1449+134217728 ~x1448+67108864 ~x1447+33554432 ~x1446+16777216 ~x1445+8388608 ~x1444+4194304 ~x1443+2097152 ~x1442+1048576 ~x1441+524288 ~x1440+262144 ~x1439+131072 ~x1438+65536 ~x1437+32768 ~x1436+16384 ~x1435+8192 ~x1434+4096 ~x1433+2048 ~x1432+1024 ~x1431+512 ~x1430+256 ~x1429+128 ~x1428+64 ~x1427+32 ~x1426+16 ~x1425+8 ~x1424+4 ~x1423+2 ~x1422+1 ~x1421-0=2147483646
21.08/21.10	c 536870912 ~x886152+268435456 ~x886151+134217728 ~x886150+67108864 ~x886149+33554432 ~x886148+16777216 ~x886147+8388608 ~x886146+4194304 ~x886145+2097152 ~x886144+1048576 ~x886143+524288 ~x886142+262144 ~x886141+131072 ~x886140+65536 ~x886139+32768 ~x886138+16384 ~x886137+8192 ~x886136+4096 ~x886135+2048 ~x886134+1024 ~x886133+512 ~x886132+256 ~x886131+128 ~x886130+64 ~x886129+32 ~x886128+16 ~x886127+8 ~x886126+4 ~x886125+2 ~x886124+1 ~x886123+12582912 x1920+6291456 x1919+3145728 x1918+1572864 x1917+786432 x1916+393216 x1915+196608 x1914+98304 x1913+49152 x1912+24576 x1911+536870912 ~x1480+268435456 ~x1479+134217728 ~x1478+67108864 ~x1477+33554432 ~x1476+16777216 ~x1475+8388608 ~x1474+4194304 ~x1473+2097152 ~x1472+1048576 ~x1471+524288 ~x1470+262144 ~x1469+131072 ~x1468+65536 ~x1467+32768 ~x1466+16384 ~x1465+8192 ~x1464+4096 ~x1463+2048 ~x1462+1024 ~x1461+512 ~x1460+256 ~x1459+128 ~x1458+64 ~x1457+32 ~x1456+16 ~x1455+8 ~x1454+4 ~x1453+2 ~x1452+1 ~x1451-0=2147483646
21.57/21.60	c 536870912 ~x907793+268435456 ~x907792+134217728 ~x907791+67108864 ~x907790+33554432 ~x907789+16777216 ~x907788+8388608 ~x907787+4194304 ~x907786+2097152 ~x907785+1048576 ~x907784+524288 ~x907783+262144 ~x907782+131072 ~x907781+65536 ~x907780+32768 ~x907779+16384 ~x907778+8192 ~x907777+4096 ~x907776+2048 ~x907775+1024 ~x907774+512 ~x907773+256 ~x907772+128 ~x907771+64 ~x907770+32 ~x907769+16 ~x907768+8 ~x907767+4 ~x907766+2 ~x907765+1 ~x907764+12582912 x1930+6291456 x1929+3145728 x1928+1572864 x1927+786432 x1926+393216 x1925+196608 x1924+98304 x1923+49152 x1922+24576 x1921+536870912 ~x1510+268435456 ~x1509+134217728 ~x1508+67108864 ~x1507+33554432 ~x1506+16777216 ~x1505+8388608 ~x1504+4194304 ~x1503+2097152 ~x1502+1048576 ~x1501+524288 ~x1500+262144 ~x1499+131072 ~x1498+65536 ~x1497+32768 ~x1496+16384 ~x1495+8192 ~x1494+4096 ~x1493+2048 ~x1492+1024 ~x1491+512 ~x1490+256 ~x1489+128 ~x1488+64 ~x1487+32 ~x1486+16 ~x1485+8 ~x1484+4 ~x1483+2 ~x1482+1 ~x1481-0=2147483646
22.07/22.11	c 536870912 ~x929434+268435456 ~x929433+134217728 ~x929432+67108864 ~x929431+33554432 ~x929430+16777216 ~x929429+8388608 ~x929428+4194304 ~x929427+2097152 ~x929426+1048576 ~x929425+524288 ~x929424+262144 ~x929423+131072 ~x929422+65536 ~x929421+32768 ~x929420+16384 ~x929419+8192 ~x929418+4096 ~x929417+2048 ~x929416+1024 ~x929415+512 ~x929414+256 ~x929413+128 ~x929412+64 ~x929411+32 ~x929410+16 ~x929409+8 ~x929408+4 ~x929407+2 ~x929406+1 ~x929405+12582912 x1940+6291456 x1939+3145728 x1938+1572864 x1937+786432 x1936+393216 x1935+196608 x1934+98304 x1933+49152 x1932+24576 x1931+536870912 ~x1540+268435456 ~x1539+134217728 ~x1538+67108864 ~x1537+33554432 ~x1536+16777216 ~x1535+8388608 ~x1534+4194304 ~x1533+2097152 ~x1532+1048576 ~x1531+524288 ~x1530+262144 ~x1529+131072 ~x1528+65536 ~x1527+32768 ~x1526+16384 ~x1525+8192 ~x1524+4096 ~x1523+2048 ~x1522+1024 ~x1521+512 ~x1520+256 ~x1519+128 ~x1518+64 ~x1517+32 ~x1516+16 ~x1515+8 ~x1514+4 ~x1513+2 ~x1512+1 ~x1511-0=2147483646
22.57/22.62	c 536870912 ~x951075+268435456 ~x951074+134217728 ~x951073+67108864 ~x951072+33554432 ~x951071+16777216 ~x951070+8388608 ~x951069+4194304 ~x951068+2097152 ~x951067+1048576 ~x951066+524288 ~x951065+262144 ~x951064+131072 ~x951063+65536 ~x951062+32768 ~x951061+16384 ~x951060+8192 ~x951059+4096 ~x951058+2048 ~x951057+1024 ~x951056+512 ~x951055+256 ~x951054+128 ~x951053+64 ~x951052+32 ~x951051+16 ~x951050+8 ~x951049+4 ~x951048+2 ~x951047+1 ~x951046+12582912 x1950+6291456 x1949+3145728 x1948+1572864 x1947+786432 x1946+393216 x1945+196608 x1944+98304 x1943+49152 x1942+24576 x1941+536870912 ~x1570+268435456 ~x1569+134217728 ~x1568+67108864 ~x1567+33554432 ~x1566+16777216 ~x1565+8388608 ~x1564+4194304 ~x1563+2097152 ~x1562+1048576 ~x1561+524288 ~x1560+262144 ~x1559+131072 ~x1558+65536 ~x1557+32768 ~x1556+16384 ~x1555+8192 ~x1554+4096 ~x1553+2048 ~x1552+1024 ~x1551+512 ~x1550+256 ~x1549+128 ~x1548+64 ~x1547+32 ~x1546+16 ~x1545+8 ~x1544+4 ~x1543+2 ~x1542+1 ~x1541-0=2147483646
23.09/23.12	c 536870912 ~x972716+268435456 ~x972715+134217728 ~x972714+67108864 ~x972713+33554432 ~x972712+16777216 ~x972711+8388608 ~x972710+4194304 ~x972709+2097152 ~x972708+1048576 ~x972707+524288 ~x972706+262144 ~x972705+131072 ~x972704+65536 ~x972703+32768 ~x972702+16384 ~x972701+8192 ~x972700+4096 ~x972699+2048 ~x972698+1024 ~x972697+512 ~x972696+256 ~x972695+128 ~x972694+64 ~x972693+32 ~x972692+16 ~x972691+8 ~x972690+4 ~x972689+2 ~x972688+1 ~x972687+12582912 x1960+6291456 x1959+3145728 x1958+1572864 x1957+786432 x1956+393216 x1955+196608 x1954+98304 x1953+49152 x1952+24576 x1951+536870912 ~x1600+268435456 ~x1599+134217728 ~x1598+67108864 ~x1597+33554432 ~x1596+16777216 ~x1595+8388608 ~x1594+4194304 ~x1593+2097152 ~x1592+1048576 ~x1591+524288 ~x1590+262144 ~x1589+131072 ~x1588+65536 ~x1587+32768 ~x1586+16384 ~x1585+8192 ~x1584+4096 ~x1583+2048 ~x1582+1024 ~x1581+512 ~x1580+256 ~x1579+128 ~x1578+64 ~x1577+32 ~x1576+16 ~x1575+8 ~x1574+4 ~x1573+2 ~x1572+1 ~x1571-0=2147483646
23.58/23.63	c 536870912 ~x994357+268435456 ~x994356+134217728 ~x994355+67108864 ~x994354+33554432 ~x994353+16777216 ~x994352+8388608 ~x994351+4194304 ~x994350+2097152 ~x994349+1048576 ~x994348+524288 ~x994347+262144 ~x994346+131072 ~x994345+65536 ~x994344+32768 ~x994343+16384 ~x994342+8192 ~x994341+4096 ~x994340+2048 ~x994339+1024 ~x994338+512 ~x994337+256 ~x994336+128 ~x994335+64 ~x994334+32 ~x994333+16 ~x994332+8 ~x994331+4 ~x994330+2 ~x994329+1 ~x994328+12582912 x1970+6291456 x1969+3145728 x1968+1572864 x1967+786432 x1966+393216 x1965+196608 x1964+98304 x1963+49152 x1962+24576 x1961+536870912 ~x1630+268435456 ~x1629+134217728 ~x1628+67108864 ~x1627+33554432 ~x1626+16777216 ~x1625+8388608 ~x1624+4194304 ~x1623+2097152 ~x1622+1048576 ~x1621+524288 ~x1620+262144 ~x1619+131072 ~x1618+65536 ~x1617+32768 ~x1616+16384 ~x1615+8192 ~x1614+4096 ~x1613+2048 ~x1612+1024 ~x1611+512 ~x1610+256 ~x1609+128 ~x1608+64 ~x1607+32 ~x1606+16 ~x1605+8 ~x1604+4 ~x1603+2 ~x1602+1 ~x1601-0=2147483646
24.09/24.15	c 536870912 ~x1015998+268435456 ~x1015997+134217728 ~x1015996+67108864 ~x1015995+33554432 ~x1015994+16777216 ~x1015993+8388608 ~x1015992+4194304 ~x1015991+2097152 ~x1015990+1048576 ~x1015989+524288 ~x1015988+262144 ~x1015987+131072 ~x1015986+65536 ~x1015985+32768 ~x1015984+16384 ~x1015983+8192 ~x1015982+4096 ~x1015981+2048 ~x1015980+1024 ~x1015979+512 ~x1015978+256 ~x1015977+128 ~x1015976+64 ~x1015975+32 ~x1015974+16 ~x1015973+8 ~x1015972+4 ~x1015971+2 ~x1015970+1 ~x1015969+12582912 x1980+6291456 x1979+3145728 x1978+1572864 x1977+786432 x1976+393216 x1975+196608 x1974+98304 x1973+49152 x1972+24576 x1971+536870912 ~x1660+268435456 ~x1659+134217728 ~x1658+67108864 ~x1657+33554432 ~x1656+16777216 ~x1655+8388608 ~x1654+4194304 ~x1653+2097152 ~x1652+1048576 ~x1651+524288 ~x1650+262144 ~x1649+131072 ~x1648+65536 ~x1647+32768 ~x1646+16384 ~x1645+8192 ~x1644+4096 ~x1643+2048 ~x1642+1024 ~x1641+512 ~x1640+256 ~x1639+128 ~x1638+64 ~x1637+32 ~x1636+16 ~x1635+8 ~x1634+4 ~x1633+2 ~x1632+1 ~x1631-0=2147483646
24.58/24.66	c 536870912 ~x1037639+268435456 ~x1037638+134217728 ~x1037637+67108864 ~x1037636+33554432 ~x1037635+16777216 ~x1037634+8388608 ~x1037633+4194304 ~x1037632+2097152 ~x1037631+1048576 ~x1037630+524288 ~x1037629+262144 ~x1037628+131072 ~x1037627+65536 ~x1037626+32768 ~x1037625+16384 ~x1037624+8192 ~x1037623+4096 ~x1037622+2048 ~x1037621+1024 ~x1037620+512 ~x1037619+256 ~x1037618+128 ~x1037617+64 ~x1037616+32 ~x1037615+16 ~x1037614+8 ~x1037613+4 ~x1037612+2 ~x1037611+1 ~x1037610+12582912 x1990+6291456 x1989+3145728 x1988+1572864 x1987+786432 x1986+393216 x1985+196608 x1984+98304 x1983+49152 x1982+24576 x1981+536870912 ~x1690+268435456 ~x1689+134217728 ~x1688+67108864 ~x1687+33554432 ~x1686+16777216 ~x1685+8388608 ~x1684+4194304 ~x1683+2097152 ~x1682+1048576 ~x1681+524288 ~x1680+262144 ~x1679+131072 ~x1678+65536 ~x1677+32768 ~x1676+16384 ~x1675+8192 ~x1674+4096 ~x1673+2048 ~x1672+1024 ~x1671+512 ~x1670+256 ~x1669+128 ~x1668+64 ~x1667+32 ~x1666+16 ~x1665+8 ~x1664+4 ~x1663+2 ~x1662+1 ~x1661-0=2147483646
25.08/25.16	c 536870912 ~x1059280+268435456 ~x1059279+134217728 ~x1059278+67108864 ~x1059277+33554432 ~x1059276+16777216 ~x1059275+8388608 ~x1059274+4194304 ~x1059273+2097152 ~x1059272+1048576 ~x1059271+524288 ~x1059270+262144 ~x1059269+131072 ~x1059268+65536 ~x1059267+32768 ~x1059266+16384 ~x1059265+8192 ~x1059264+4096 ~x1059263+2048 ~x1059262+1024 ~x1059261+512 ~x1059260+256 ~x1059259+128 ~x1059258+64 ~x1059257+32 ~x1059256+16 ~x1059255+8 ~x1059254+4 ~x1059253+2 ~x1059252+1 ~x1059251+12582912 x2000+6291456 x1999+3145728 x1998+1572864 x1997+786432 x1996+393216 x1995+196608 x1994+98304 x1993+49152 x1992+24576 x1991+536870912 ~x1720+268435456 ~x1719+134217728 ~x1718+67108864 ~x1717+33554432 ~x1716+16777216 ~x1715+8388608 ~x1714+4194304 ~x1713+2097152 ~x1712+1048576 ~x1711+524288 ~x1710+262144 ~x1709+131072 ~x1708+65536 ~x1707+32768 ~x1706+16384 ~x1705+8192 ~x1704+4096 ~x1703+2048 ~x1702+1024 ~x1701+512 ~x1700+256 ~x1699+128 ~x1698+64 ~x1697+32 ~x1696+16 ~x1695+8 ~x1694+4 ~x1693+2 ~x1692+1 ~x1691-0=2147483646
25.58/25.67	c 536870912 ~x1080921+268435456 ~x1080920+134217728 ~x1080919+67108864 ~x1080918+33554432 ~x1080917+16777216 ~x1080916+8388608 ~x1080915+4194304 ~x1080914+2097152 ~x1080913+1048576 ~x1080912+524288 ~x1080911+262144 ~x1080910+131072 ~x1080909+65536 ~x1080908+32768 ~x1080907+16384 ~x1080906+8192 ~x1080905+4096 ~x1080904+2048 ~x1080903+1024 ~x1080902+512 ~x1080901+256 ~x1080900+128 ~x1080899+64 ~x1080898+32 ~x1080897+16 ~x1080896+8 ~x1080895+4 ~x1080894+2 ~x1080893+1 ~x1080892+12582912 x2010+6291456 x2009+3145728 x2008+1572864 x2007+786432 x2006+393216 x2005+196608 x2004+98304 x2003+49152 x2002+24576 x2001+536870912 ~x1750+268435456 ~x1749+134217728 ~x1748+67108864 ~x1747+33554432 ~x1746+16777216 ~x1745+8388608 ~x1744+4194304 ~x1743+2097152 ~x1742+1048576 ~x1741+524288 ~x1740+262144 ~x1739+131072 ~x1738+65536 ~x1737+32768 ~x1736+16384 ~x1735+8192 ~x1734+4096 ~x1733+2048 ~x1732+1024 ~x1731+512 ~x1730+256 ~x1729+128 ~x1728+64 ~x1727+32 ~x1726+16 ~x1725+8 ~x1724+4 ~x1723+2 ~x1722+1 ~x1721-0=2147483646
26.08/26.17	c 536870912 ~x1102562+268435456 ~x1102561+134217728 ~x1102560+67108864 ~x1102559+33554432 ~x1102558+16777216 ~x1102557+8388608 ~x1102556+4194304 ~x1102555+2097152 ~x1102554+1048576 ~x1102553+524288 ~x1102552+262144 ~x1102551+131072 ~x1102550+65536 ~x1102549+32768 ~x1102548+16384 ~x1102547+8192 ~x1102546+4096 ~x1102545+2048 ~x1102544+1024 ~x1102543+512 ~x1102542+256 ~x1102541+128 ~x1102540+64 ~x1102539+32 ~x1102538+16 ~x1102537+8 ~x1102536+4 ~x1102535+2 ~x1102534+1 ~x1102533+12582912 x2020+6291456 x2019+3145728 x2018+1572864 x2017+786432 x2016+393216 x2015+196608 x2014+98304 x2013+49152 x2012+24576 x2011+536870912 ~x1780+268435456 ~x1779+134217728 ~x1778+67108864 ~x1777+33554432 ~x1776+16777216 ~x1775+8388608 ~x1774+4194304 ~x1773+2097152 ~x1772+1048576 ~x1771+524288 ~x1770+262144 ~x1769+131072 ~x1768+65536 ~x1767+32768 ~x1766+16384 ~x1765+8192 ~x1764+4096 ~x1763+2048 ~x1762+1024 ~x1761+512 ~x1760+256 ~x1759+128 ~x1758+64 ~x1757+32 ~x1756+16 ~x1755+8 ~x1754+4 ~x1753+2 ~x1752+1 ~x1751-0=2147483646
26.58/26.68	c 536870912 ~x1124203+268435456 ~x1124202+134217728 ~x1124201+67108864 ~x1124200+33554432 ~x1124199+16777216 ~x1124198+8388608 ~x1124197+4194304 ~x1124196+2097152 ~x1124195+1048576 ~x1124194+524288 ~x1124193+262144 ~x1124192+131072 ~x1124191+65536 ~x1124190+32768 ~x1124189+16384 ~x1124188+8192 ~x1124187+4096 ~x1124186+2048 ~x1124185+1024 ~x1124184+512 ~x1124183+256 ~x1124182+128 ~x1124181+64 ~x1124180+32 ~x1124179+16 ~x1124178+8 ~x1124177+4 ~x1124176+2 ~x1124175+1 ~x1124174+12582912 x2030+6291456 x2029+3145728 x2028+1572864 x2027+786432 x2026+393216 x2025+196608 x2024+98304 x2023+49152 x2022+24576 x2021+536870912 ~x1810+268435456 ~x1809+134217728 ~x1808+67108864 ~x1807+33554432 ~x1806+16777216 ~x1805+8388608 ~x1804+4194304 ~x1803+2097152 ~x1802+1048576 ~x1801+524288 ~x1800+262144 ~x1799+131072 ~x1798+65536 ~x1797+32768 ~x1796+16384 ~x1795+8192 ~x1794+4096 ~x1793+2048 ~x1792+1024 ~x1791+512 ~x1790+256 ~x1789+128 ~x1788+64 ~x1787+32 ~x1786+16 ~x1785+8 ~x1784+4 ~x1783+2 ~x1782+1 ~x1781-0=2147483646
27.08/27.19	c 536870912 ~x1145844+268435456 ~x1145843+134217728 ~x1145842+67108864 ~x1145841+33554432 ~x1145840+16777216 ~x1145839+8388608 ~x1145838+4194304 ~x1145837+2097152 ~x1145836+1048576 ~x1145835+524288 ~x1145834+262144 ~x1145833+131072 ~x1145832+65536 ~x1145831+32768 ~x1145830+16384 ~x1145829+8192 ~x1145828+4096 ~x1145827+2048 ~x1145826+1024 ~x1145825+512 ~x1145824+256 ~x1145823+128 ~x1145822+64 ~x1145821+32 ~x1145820+16 ~x1145819+8 ~x1145818+4 ~x1145817+2 ~x1145816+1 ~x1145815+12582912 x2040+6291456 x2039+3145728 x2038+1572864 x2037+786432 x2036+393216 x2035+196608 x2034+98304 x2033+49152 x2032+24576 x2031+536870912 ~x1840+268435456 ~x1839+134217728 ~x1838+67108864 ~x1837+33554432 ~x1836+16777216 ~x1835+8388608 ~x1834+4194304 ~x1833+2097152 ~x1832+1048576 ~x1831+524288 ~x1830+262144 ~x1829+131072 ~x1828+65536 ~x1827+32768 ~x1826+16384 ~x1825+8192 ~x1824+4096 ~x1823+2048 ~x1822+1024 ~x1821+512 ~x1820+256 ~x1819+128 ~x1818+64 ~x1817+32 ~x1816+16 ~x1815+8 ~x1814+4 ~x1813+2 ~x1812+1 ~x1811-0=2147483646
27.57/27.69	c 536870912 ~x1167485+268435456 ~x1167484+134217728 ~x1167483+67108864 ~x1167482+33554432 ~x1167481+16777216 ~x1167480+8388608 ~x1167479+4194304 ~x1167478+2097152 ~x1167477+1048576 ~x1167476+524288 ~x1167475+262144 ~x1167474+131072 ~x1167473+65536 ~x1167472+32768 ~x1167471+16384 ~x1167470+8192 ~x1167469+4096 ~x1167468+2048 ~x1167467+1024 ~x1167466+512 ~x1167465+256 ~x1167464+128 ~x1167463+64 ~x1167462+32 ~x1167461+16 ~x1167460+8 ~x1167459+4 ~x1167458+2 ~x1167457+1 ~x1167456+12582912 x2050+6291456 x2049+3145728 x2048+1572864 x2047+786432 x2046+393216 x2045+196608 x2044+98304 x2043+49152 x2042+24576 x2041+536870912 ~x1870+268435456 ~x1869+134217728 ~x1868+67108864 ~x1867+33554432 ~x1866+16777216 ~x1865+8388608 ~x1864+4194304 ~x1863+2097152 ~x1862+1048576 ~x1861+524288 ~x1860+262144 ~x1859+131072 ~x1858+65536 ~x1857+32768 ~x1856+16384 ~x1855+8192 ~x1854+4096 ~x1853+2048 ~x1852+1024 ~x1851+512 ~x1850+256 ~x1849+128 ~x1848+64 ~x1847+32 ~x1846+16 ~x1845+8 ~x1844+4 ~x1843+2 ~x1842+1 ~x1841-0=2147483646
28.17/28.21	c 536870912 ~x1189126+268435456 ~x1189125+134217728 ~x1189124+67108864 ~x1189123+33554432 ~x1189122+16777216 ~x1189121+8388608 ~x1189120+4194304 ~x1189119+2097152 ~x1189118+1048576 ~x1189117+524288 ~x1189116+262144 ~x1189115+131072 ~x1189114+65536 ~x1189113+32768 ~x1189112+16384 ~x1189111+8192 ~x1189110+4096 ~x1189109+2048 ~x1189108+1024 ~x1189107+512 ~x1189106+256 ~x1189105+128 ~x1189104+64 ~x1189103+32 ~x1189102+16 ~x1189101+8 ~x1189100+4 ~x1189099+2 ~x1189098+1 ~x1189097+12582912 x2060+6291456 x2059+3145728 x2058+1572864 x2057+786432 x2056+393216 x2055+196608 x2054+98304 x2053+49152 x2052+24576 x2051+536870912 ~x1900+268435456 ~x1899+134217728 ~x1898+67108864 ~x1897+33554432 ~x1896+16777216 ~x1895+8388608 ~x1894+4194304 ~x1893+2097152 ~x1892+1048576 ~x1891+524288 ~x1890+262144 ~x1889+131072 ~x1888+65536 ~x1887+32768 ~x1886+16384 ~x1885+8192 ~x1884+4096 ~x1883+2048 ~x1882+1024 ~x1881+512 ~x1880+256 ~x1879+128 ~x1878+64 ~x1877+32 ~x1876+16 ~x1875+8 ~x1874+4 ~x1873+2 ~x1872+1 ~x1871-0=2147483646
28.67/28.71	c 1073741824 ~x1210768+536870912 ~x1210767+268435456 ~x1210766+134217728 ~x1210765+67108864 ~x1210764+33554432 ~x1210763+16777216 ~x1210762+8388608 ~x1210761+4194304 ~x1210760+2097152 ~x1210759+1048576 ~x1210758+524288 ~x1210757+262144 ~x1210756+131072 ~x1210755+65536 ~x1210754+32768 ~x1210753+16384 ~x1210752+8192 ~x1210751+4096 ~x1210750+2048 ~x1210749+1024 ~x1210748+512 ~x1210747+256 ~x1210746+128 ~x1210745+64 ~x1210744+32 ~x1210743+16 ~x1210742+8 ~x1210741+4 ~x1210740+2 ~x1210739+1 ~x1210738+536870912 x1450+268435456 x1449+134217728 x1448+67108864 x1447+33554432 x1446+16777216 x1445+8388608 x1444+4194304 x1443+2097152 x1442+1048576 x1441+524288 x1440+262144 x1439+131072 x1438+65536 x1437+32768 x1436+16384 x1435+8192 x1434+4096 x1433+2048 x1432+1024 x1431+512 x1430+256 x1429+128 x1428+64 x1427+32 x1426+16 x1425+8 x1424+4 x1423+2 x1422+1 x1421+536870912 ~x361+268435456 ~x360+134217728 ~x359+67108864 ~x358+33554432 ~x357+16777216 ~x356+8388608 ~x355+4194304 ~x354+2097152 ~x353+1048576 ~x352+524288 ~x351+262144 ~x350+131072 ~x349+65536 ~x348+32768 ~x347+16384 ~x346+8192 ~x345+4096 ~x344+2048 ~x343+1024 ~x342+512 ~x341+256 ~x340+128 ~x339+64 ~x338+32 ~x337+16 ~x336+8 ~x335+4 ~x334+2 ~x333+1 ~x332+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+8192 x15+4096 x14+2048 x13+1024 x12+512 x11+256 x10+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=3221327870
29.58/29.65	c 1073741824 ~x1250766+536870912 ~x1250765+268435456 ~x1250764+134217728 ~x1250763+67108864 ~x1250762+33554432 ~x1250761+16777216 ~x1250760+8388608 ~x1250759+4194304 ~x1250758+2097152 ~x1250757+1048576 ~x1250756+524288 ~x1250755+262144 ~x1250754+131072 ~x1250753+65536 ~x1250752+32768 ~x1250751+16384 ~x1250750+8192 ~x1250749+4096 ~x1250748+2048 ~x1250747+1024 ~x1250746+512 ~x1250745+256 ~x1250744+128 ~x1250743+64 ~x1250742+32 ~x1250741+16 ~x1250740+8 ~x1250739+4 ~x1250738+2 ~x1250737+1 ~x1250736+536870912 x1480+268435456 x1479+134217728 x1478+67108864 x1477+33554432 x1476+16777216 x1475+8388608 x1474+4194304 x1473+2097152 x1472+1048576 x1471+524288 x1470+262144 x1469+131072 x1468+65536 x1467+32768 x1466+16384 x1465+8192 x1464+4096 x1463+2048 x1462+1024 x1461+512 x1460+256 x1459+128 x1458+64 x1457+32 x1456+16 x1455+8 x1454+4 x1453+2 x1452+1 x1451+536870912 ~x181+268435456 ~x180+134217728 ~x179+67108864 ~x178+33554432 ~x177+16777216 ~x176+8388608 ~x175+4194304 ~x174+2097152 ~x173+1048576 ~x172+524288 ~x171+262144 ~x170+131072 ~x169+65536 ~x168+32768 ~x167+16384 ~x166+8192 ~x165+4096 ~x164+2048 ~x163+1024 ~x162+512 ~x161+256 ~x160+128 ~x159+64 ~x158+32 ~x157+16 ~x156+8 ~x155+4 ~x154+2 ~x153+1 ~x152+536870912 ~x91+268435456 ~x90+134217728 ~x89+67108864 ~x88+33554432 ~x87+16777216 ~x86+8388608 ~x85+4194304 ~x84+2097152 ~x83+1048576 ~x82+524288 ~x81+262144 ~x80+131072 ~x79+65536 ~x78+32768 ~x77+16384 ~x76+8192 ~x75+4096 ~x74+2048 ~x73+1024 ~x72+512 ~x71+256 ~x70+128 ~x69+64 ~x68+32 ~x67+16 ~x66+8 ~x65+4 ~x64+2 ~x63+1 ~x62+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=4294967293
30.68/30.80	c 1073741824 ~x1301204+536870912 ~x1301203+268435456 ~x1301202+134217728 ~x1301201+67108864 ~x1301200+33554432 ~x1301199+16777216 ~x1301198+8388608 ~x1301197+4194304 ~x1301196+2097152 ~x1301195+1048576 ~x1301194+524288 ~x1301193+262144 ~x1301192+131072 ~x1301191+65536 ~x1301190+32768 ~x1301189+16384 ~x1301188+8192 ~x1301187+4096 ~x1301186+2048 ~x1301185+1024 ~x1301184+512 ~x1301183+256 ~x1301182+128 ~x1301181+64 ~x1301180+32 ~x1301179+16 ~x1301178+8 ~x1301177+4 ~x1301176+2 ~x1301175+1 ~x1301174+536870912 ~x121+268435456 ~x120+134217728 ~x119+67108864 ~x118+33554432 ~x117+16777216 ~x116+8388608 ~x115+4194304 ~x114+2097152 ~x113+1048576 ~x112+524288 ~x111+262144 ~x110+131072 ~x109+65536 ~x108+32768 ~x107+16384 ~x106+8192 ~x105+4096 ~x104+2048 ~x103+1024 ~x102+512 ~x101+256 ~x100+128 ~x99+64 ~x98+32 ~x97+16 ~x96+8 ~x95+4 ~x94+2 ~x93+1 ~x92+536870912 x91+268435456 x90+134217728 x89+67108864 x88+33554432 x87+16777216 x86+8388608 x85+4194304 x84+2097152 x83+1048576 x82+524288 x81+262144 x80+131072 x79+65536 x78+32768 x77+16384 x76+8192 x75+4096 x74+2048 x73+1024 x72+512 x71+256 x70+128 x69+64 x68+32 x67+16 x66+8 x65+4 x64+2 x63+1 x62-0=3221276670
31.38/31.48	c 1073741824 ~x1330762+536870912 ~x1330761+268435456 ~x1330760+134217728 ~x1330759+67108864 ~x1330758+33554432 ~x1330757+16777216 ~x1330756+8388608 ~x1330755+4194304 ~x1330754+2097152 ~x1330753+1048576 ~x1330752+524288 ~x1330751+262144 ~x1330750+131072 ~x1330749+65536 ~x1330748+32768 ~x1330747+16384 ~x1330746+8192 ~x1330745+4096 ~x1330744+2048 ~x1330743+1024 ~x1330742+512 ~x1330741+256 ~x1330740+128 ~x1330739+64 ~x1330738+32 ~x1330737+16 ~x1330736+8 ~x1330735+4 ~x1330734+2 ~x1330733+1 ~x1330732+536870912 x1510+268435456 x1509+134217728 x1508+67108864 x1507+33554432 x1506+16777216 x1505+8388608 x1504+4194304 x1503+2097152 x1502+1048576 x1501+524288 x1500+262144 x1499+131072 x1498+65536 x1497+32768 x1496+16384 x1495+8192 x1494+4096 x1493+2048 x1492+1024 x1491+512 x1490+256 x1489+128 x1488+64 x1487+32 x1486+16 x1485+8 x1484+4 x1483+2 x1482+1 x1481+536870912 ~x151+268435456 ~x150+134217728 ~x149+67108864 ~x148+33554432 ~x147+16777216 ~x146+8388608 ~x145+4194304 ~x144+2097152 ~x143+1048576 ~x142+524288 ~x141+262144 ~x140+131072 ~x139+65536 ~x138+32768 ~x137+16384 ~x136+8192 ~x135+4096 ~x134+2048 ~x133+1024 ~x132+512 ~x131+256 ~x130+128 ~x129+64 ~x128+32 ~x127+16 ~x126+8 ~x125+4 ~x124+2 ~x123+1 ~x122+536870912 x121+268435456 x120+134217728 x119+67108864 x118+33554432 x117+16777216 x116+8388608 x115+4194304 x114+2097152 x113+1048576 x112+524288 x111+262144 x110+131072 x109+65536 x108+32768 x107+16384 x106+8192 x105+4096 x104+2048 x103+1024 x102+512 x101+256 x100+128 x99+64 x98+32 x97+16 x96+8 x95+4 x94+2 x93+1 x92-0=3221389310
32.28/32.39	c 65536 ~x1370746+32768 ~x1370745+16384 ~x1370744+8192 ~x1370743+4096 ~x1370742+2048 ~x1370741+1024 ~x1370740+512 ~x1370739+256 ~x1370738+128 ~x1370737+64 ~x1370736+32 ~x1370735+16 ~x1370734+8 ~x1370733+4 ~x1370732+2 ~x1370731+1 ~x1370730+65536 x1527+32768 x1526+16384 x1525+8192 x1524+4096 x1523+2048 x1522+1024 x1521+512 x1520+256 x1519+128 x1518+64 x1517+32 x1516+16 x1515+8 x1514+4 x1513+2 x1512+1 x1511+65536 x138+32768 x137+16384 x136+8192 x135+4096 x134+2048 x133+1024 x132+512 x131+256 x130+128 x129+64 x128+32 x127+16 x126+8 x125+4 x124+2 x123+1 x122-0=233471
32.47/32.58	c 262144 ~x1378620+131072 ~x1378619+65536 ~x1378618+32768 ~x1378617+16384 ~x1378616+8192 ~x1378615+4096 ~x1378614+2048 ~x1378613+1024 ~x1378612+512 ~x1378611+256 ~x1378610+128 ~x1378609+64 ~x1378608+32 ~x1378607+16 ~x1378606+8 ~x1378605+4 ~x1378604+2 ~x1378603+1 ~x1378602+262144 x170+131072 x169+65536 x168+32768 x167+16384 x166+8192 x165+4096 x164+2048 x163+1024 x162+512 x161+256 x160+128 x159+64 x158+32 x157+16 x156+8 x155+4 x154+2 x153+1 x152-0=831487
32.68/32.72	c 1073741824 ~x1384283+536870912 ~x1384282+268435456 ~x1384281+134217728 ~x1384280+67108864 ~x1384279+33554432 ~x1384278+16777216 ~x1384277+8388608 ~x1384276+4194304 ~x1384275+2097152 ~x1384274+1048576 ~x1384273+524288 ~x1384272+262144 ~x1384271+131072 ~x1384270+65536 ~x1384269+32768 ~x1384268+16384 ~x1384267+8192 ~x1384266+4096 ~x1384265+2048 ~x1384264+1024 ~x1384263+512 ~x1384262+256 ~x1384261+128 ~x1384260+64 ~x1384259+32 ~x1384258+16 ~x1384257+8 ~x1384256+4 ~x1384255+2 ~x1384254+1 ~x1384253+536870912 x1570+268435456 x1569+134217728 x1568+67108864 x1567+33554432 x1566+16777216 x1565+8388608 x1564+4194304 x1563+2097152 x1562+1048576 x1561+524288 x1560+262144 x1559+131072 x1558+65536 x1557+32768 x1556+16384 x1555+8192 x1554+4096 x1553+2048 x1552+1024 x1551+512 x1550+256 x1549+128 x1548+64 x1547+32 x1546+16 x1545+8 x1544+4 x1543+2 x1542+1 x1541+536870912 ~x241+268435456 ~x240+134217728 ~x239+67108864 ~x238+33554432 ~x237+16777216 ~x236+8388608 ~x235+4194304 ~x234+2097152 ~x233+1048576 ~x232+524288 ~x231+262144 ~x230+131072 ~x229+65536 ~x228+32768 ~x227+16384 ~x226+8192 ~x225+4096 ~x224+2048 ~x223+1024 ~x222+512 ~x221+256 ~x220+128 ~x219+64 ~x218+32 ~x217+16 ~x216+8 ~x215+4 ~x214+2 ~x213+1 ~x212+536870912 x211+268435456 x210+134217728 x209+67108864 x208+33554432 x207+16777216 x206+8388608 x205+4194304 x204+2097152 x203+1048576 x202+524288 x201+262144 x200+131072 x199+65536 x198+32768 x197+16384 x196+8192 x195+4096 x194+2048 x193+1024 x192+512 x191+256 x190+128 x189+64 x188+32 x187+16 x186+8 x185+4 x184+2 x183+1 x182-0=3221327870
33.58/33.64	c 1073741824 ~x1424281+536870912 ~x1424280+268435456 ~x1424279+134217728 ~x1424278+67108864 ~x1424277+33554432 ~x1424276+16777216 ~x1424275+8388608 ~x1424274+4194304 ~x1424273+2097152 ~x1424272+1048576 ~x1424271+524288 ~x1424270+262144 ~x1424269+131072 ~x1424268+65536 ~x1424267+32768 ~x1424266+16384 ~x1424265+8192 ~x1424264+4096 ~x1424263+2048 ~x1424262+1024 ~x1424261+512 ~x1424260+256 ~x1424259+128 ~x1424258+64 ~x1424257+32 ~x1424256+16 ~x1424255+8 ~x1424254+4 ~x1424253+2 ~x1424252+1 ~x1424251+536870912 x1600+268435456 x1599+134217728 x1598+67108864 x1597+33554432 x1596+16777216 x1595+8388608 x1594+4194304 x1593+2097152 x1592+1048576 x1591+524288 x1590+262144 x1589+131072 x1588+65536 x1587+32768 x1586+16384 x1585+8192 x1584+4096 x1583+2048 x1582+1024 x1581+512 x1580+256 x1579+128 x1578+64 x1577+32 x1576+16 x1575+8 x1574+4 x1573+2 x1572+1 x1571+536870912 ~x271+268435456 ~x270+134217728 ~x269+67108864 ~x268+33554432 ~x267+16777216 ~x266+8388608 ~x265+4194304 ~x264+2097152 ~x263+1048576 ~x262+524288 ~x261+262144 ~x260+131072 ~x259+65536 ~x258+32768 ~x257+16384 ~x256+8192 ~x255+4096 ~x254+2048 ~x253+1024 ~x252+512 ~x251+256 ~x250+128 ~x249+64 ~x248+32 ~x247+16 ~x246+8 ~x245+4 ~x244+2 ~x243+1 ~x242+536870912 x241+268435456 x240+134217728 x239+67108864 x238+33554432 x237+16777216 x236+8388608 x235+4194304 x234+2097152 x233+1048576 x232+524288 x231+262144 x230+131072 x229+65536 x228+32768 x227+16384 x226+8192 x225+4096 x224+2048 x223+1024 x222+512 x221+256 x220+128 x219+64 x218+32 x217+16 x216+8 x215+4 x214+2 x213+1 x212-0=3221379070
34.47/34.55	c 1073741824 ~x1464279+536870912 ~x1464278+268435456 ~x1464277+134217728 ~x1464276+67108864 ~x1464275+33554432 ~x1464274+16777216 ~x1464273+8388608 ~x1464272+4194304 ~x1464271+2097152 ~x1464270+1048576 ~x1464269+524288 ~x1464268+262144 ~x1464267+131072 ~x1464266+65536 ~x1464265+32768 ~x1464264+16384 ~x1464263+8192 ~x1464262+4096 ~x1464261+2048 ~x1464260+1024 ~x1464259+512 ~x1464258+256 ~x1464257+128 ~x1464256+64 ~x1464255+32 ~x1464254+16 ~x1464253+8 ~x1464252+4 ~x1464251+2 ~x1464250+1 ~x1464249+536870912 x1630+268435456 x1629+134217728 x1628+67108864 x1627+33554432 x1626+16777216 x1625+8388608 x1624+4194304 x1623+2097152 x1622+1048576 x1621+524288 x1620+262144 x1619+131072 x1618+65536 x1617+32768 x1616+16384 x1615+8192 x1614+4096 x1613+2048 x1612+1024 x1611+512 x1610+256 x1609+128 x1608+64 x1607+32 x1606+16 x1605+8 x1604+4 x1603+2 x1602+1 x1601+536870912 ~x301+268435456 ~x300+134217728 ~x299+67108864 ~x298+33554432 ~x297+16777216 ~x296+8388608 ~x295+4194304 ~x294+2097152 ~x293+1048576 ~x292+524288 ~x291+262144 ~x290+131072 ~x289+65536 ~x288+32768 ~x287+16384 ~x286+8192 ~x285+4096 ~x284+2048 ~x283+1024 ~x282+512 ~x281+256 ~x280+128 ~x279+64 ~x278+32 ~x277+16 ~x276+8 ~x275+4 ~x274+2 ~x273+1 ~x272+536870912 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=3221235710
35.37/35.47	c 16384 ~x1504261+8192 ~x1504260+4096 ~x1504259+2048 ~x1504258+1024 ~x1504257+512 ~x1504256+256 ~x1504255+128 ~x1504254+64 ~x1504253+32 ~x1504252+16 ~x1504251+8 ~x1504250+4 ~x1504249+2 ~x1504248+1 ~x1504247+16384 x286+8192 x285+4096 x284+2048 x283+1024 x282+512 x281+256 x280+128 x279+64 x278+32 x277+16 x276+8 x275+4 x274+2 x273+1 x272-0=53247
35.47/35.55	c 536870912 ~x1507621+268435456 ~x1507620+134217728 ~x1507619+67108864 ~x1507618+33554432 ~x1507617+16777216 ~x1507616+8388608 ~x1507615+4194304 ~x1507614+2097152 ~x1507613+1048576 ~x1507612+524288 ~x1507611+262144 ~x1507610+131072 ~x1507609+65536 ~x1507608+32768 ~x1507607+16384 ~x1507606+8192 ~x1507605+4096 ~x1507604+2048 ~x1507603+1024 ~x1507602+512 ~x1507601+256 ~x1507600+128 ~x1507599+64 ~x1507598+32 ~x1507597+16 ~x1507596+8 ~x1507595+4 ~x1507594+2 ~x1507593+1 ~x1507592+536870912 ~x391+268435456 ~x390+134217728 ~x389+67108864 ~x388+33554432 ~x387+16777216 ~x386+8388608 ~x385+4194304 ~x384+2097152 ~x383+1048576 ~x382+524288 ~x381+262144 ~x380+131072 ~x379+65536 ~x378+32768 ~x377+16384 ~x376+8192 ~x375+4096 ~x374+2048 ~x373+1024 ~x372+512 ~x371+256 ~x370+128 ~x369+64 ~x368+32 ~x367+16 ~x366+8 ~x365+4 ~x364+2 ~x363+1 ~x362+536870912 x331+268435456 x330+134217728 x329+67108864 x328+33554432 x327+16777216 x326+8388608 x325+4194304 x324+2097152 x323+1048576 x322+524288 x321+262144 x320+131072 x319+65536 x318+32768 x317+16384 x316+8192 x315+4096 x314+2048 x313+1024 x312+512 x311+256 x310+128 x309+64 x308+32 x307+16 x306+8 x305+4 x304+2 x303+1 x302-0=2147483646
36.18/36.23	c 1073741824 ~x1536831+536870912 ~x1536830+268435456 ~x1536829+134217728 ~x1536828+67108864 ~x1536827+33554432 ~x1536826+16777216 ~x1536825+8388608 ~x1536824+4194304 ~x1536823+2097152 ~x1536822+1048576 ~x1536821+524288 ~x1536820+262144 ~x1536819+131072 ~x1536818+65536 ~x1536817+32768 ~x1536816+16384 ~x1536815+8192 ~x1536814+4096 ~x1536813+2048 ~x1536812+1024 ~x1536811+512 ~x1536810+256 ~x1536809+128 ~x1536808+64 ~x1536807+32 ~x1536806+16 ~x1536805+8 ~x1536804+4 ~x1536803+2 ~x1536802+1 ~x1536801+536870912 x1660+268435456 x1659+134217728 x1658+67108864 x1657+33554432 x1656+16777216 x1655+8388608 x1654+4194304 x1653+2097152 x1652+1048576 x1651+524288 x1650+262144 x1649+131072 x1648+65536 x1647+32768 x1646+16384 x1645+8192 x1644+4096 x1643+2048 x1642+1024 x1641+512 x1640+256 x1639+128 x1638+64 x1637+32 x1636+16 x1635+8 x1634+4 x1633+2 x1632+1 x1631+536870912 ~x511+268435456 ~x510+134217728 ~x509+67108864 ~x508+33554432 ~x507+16777216 ~x506+8388608 ~x505+4194304 ~x504+2097152 ~x503+1048576 ~x502+524288 ~x501+262144 ~x500+131072 ~x499+65536 ~x498+32768 ~x497+16384 ~x496+8192 ~x495+4096 ~x494+2048 ~x493+1024 ~x492+512 ~x491+256 ~x490+128 ~x489+64 ~x488+32 ~x487+16 ~x486+8 ~x485+4 ~x484+2 ~x483+1 ~x482+536870912 x361+268435456 x360+134217728 x359+67108864 x358+33554432 x357+16777216 x356+8388608 x355+4194304 x354+2097152 x353+1048576 x352+524288 x351+262144 x350+131072 x349+65536 x348+32768 x347+16384 x346+8192 x345+4096 x344+2048 x343+1024 x342+512 x341+256 x340+128 x339+64 x338+32 x337+16 x336+8 x335+4 x334+2 x333+1 x332-0=3221276670
37.07/37.17	c 524288 ~x1576818+262144 ~x1576817+131072 ~x1576816+65536 ~x1576815+32768 ~x1576814+16384 ~x1576813+8192 ~x1576812+4096 ~x1576811+2048 ~x1576810+1024 ~x1576809+512 ~x1576808+256 ~x1576807+128 ~x1576806+64 ~x1576805+32 ~x1576804+16 ~x1576803+8 ~x1576802+4 ~x1576801+2 ~x1576800+1 ~x1576799+524288 x1680+262144 x1679+131072 x1678+65536 x1677+32768 x1676+16384 x1675+8192 x1674+4096 x1673+2048 x1672+1024 x1671+512 x1670+256 x1669+128 x1668+64 x1667+32 x1666+16 x1665+8 x1664+4 x1663+2 x1662+1 x1661+524288 x381+262144 x380+131072 x379+65536 x378+32768 x377+16384 x376+8192 x375+4096 x374+2048 x373+1024 x372+512 x371+256 x370+128 x369+64 x368+32 x367+16 x366+8 x365+4 x364+2 x363+1 x362-0=1662975
37.38/37.44	c 131072 ~x1588430+65536 ~x1588429+32768 ~x1588428+16384 ~x1588427+8192 ~x1588426+4096 ~x1588425+2048 ~x1588424+1024 ~x1588423+512 ~x1588422+256 ~x1588421+128 ~x1588420+64 ~x1588419+32 ~x1588418+16 ~x1588417+8 ~x1588416+4 ~x1588415+2 ~x1588414+1 ~x1588413+131072 x1708+65536 x1707+32768 x1706+16384 x1705+8192 x1704+4096 x1703+2048 x1702+1024 x1701+512 x1700+256 x1699+128 x1698+64 x1697+32 x1696+16 x1695+8 x1694+4 x1693+2 x1692+1 x1691+131072 x409+65536 x408+32768 x407+16384 x406+8192 x405+4096 x404+2048 x403+1024 x402+512 x401+256 x400+128 x399+64 x398+32 x397+16 x396+8 x395+4 x394+2 x393+1 x392-0=466943
37.58/37.64	c 65536 ~x1596815+32768 ~x1596814+16384 ~x1596813+8192 ~x1596812+4096 ~x1596811+2048 ~x1596810+1024 ~x1596809+512 ~x1596808+256 ~x1596807+128 ~x1596806+64 ~x1596805+32 ~x1596804+16 ~x1596803+8 ~x1596802+4 ~x1596801+2 ~x1596800+1 ~x1596799+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-0=233471
37.68/37.75	c 32768 ~x1601495+16384 ~x1601494+8192 ~x1601493+4096 ~x1601492+2048 ~x1601491+1024 ~x1601490+512 ~x1601489+256 ~x1601488+128 ~x1601487+64 ~x1601486+32 ~x1601485+16 ~x1601484+8 ~x1601483+4 ~x1601482+2 ~x1601481+1 ~x1601480+32768 x467+16384 x466+8192 x465+4096 x464+2048 x463+1024 x462+512 x461+256 x460+128 x459+64 x458+32 x457+16 x456+8 x455+4 x454+2 x453+1 x452-0=116735
37.77/37.85	c 1073741824 ~x1605258+536870912 ~x1605257+268435456 ~x1605256+134217728 ~x1605255+67108864 ~x1605254+33554432 ~x1605253+16777216 ~x1605252+8388608 ~x1605251+4194304 ~x1605250+2097152 ~x1605249+1048576 ~x1605248+524288 ~x1605247+262144 ~x1605246+131072 ~x1605245+65536 ~x1605244+32768 ~x1605243+16384 ~x1605242+8192 ~x1605241+4096 ~x1605240+2048 ~x1605239+1024 ~x1605238+512 ~x1605237+256 ~x1605236+128 ~x1605235+64 ~x1605234+32 ~x1605233+16 ~x1605232+8 ~x1605231+4 ~x1605230+2 ~x1605229+1 ~x1605228+536870912 x1750+268435456 x1749+134217728 x1748+67108864 x1747+33554432 x1746+16777216 x1745+8388608 x1744+4194304 x1743+2097152 x1742+1048576 x1741+524288 x1740+262144 x1739+131072 x1738+65536 x1737+32768 x1736+16384 x1735+8192 x1734+4096 x1733+2048 x1732+1024 x1731+512 x1730+256 x1729+128 x1728+64 x1727+32 x1726+16 x1725+8 x1724+4 x1723+2 x1722+1 x1721+536870912 ~x541+268435456 ~x540+134217728 ~x539+67108864 ~x538+33554432 ~x537+16777216 ~x536+8388608 ~x535+4194304 ~x534+2097152 ~x533+1048576 ~x532+524288 ~x531+262144 ~x530+131072 ~x529+65536 ~x528+32768 ~x527+16384 ~x526+8192 ~x525+4096 ~x524+2048 ~x523+1024 ~x522+512 ~x521+256 ~x520+128 ~x519+64 ~x518+32 ~x517+16 ~x516+8 ~x515+4 ~x514+2 ~x513+1 ~x512+536870912 x511+268435456 x510+134217728 x509+67108864 x508+33554432 x507+16777216 x506+8388608 x505+4194304 x504+2097152 x503+1048576 x502+524288 x501+262144 x500+131072 x499+65536 x498+32768 x497+16384 x496+8192 x495+4096 x494+2048 x493+1024 x492+512 x491+256 x490+128 x489+64 x488+32 x487+16 x486+8 x485+4 x484+2 x483+1 x482-0=3221430270
38.67/38.76	c 1073741824 ~x1645256+536870912 ~x1645255+268435456 ~x1645254+134217728 ~x1645253+67108864 ~x1645252+33554432 ~x1645251+16777216 ~x1645250+8388608 ~x1645249+4194304 ~x1645248+2097152 ~x1645247+1048576 ~x1645246+524288 ~x1645245+262144 ~x1645244+131072 ~x1645243+65536 ~x1645242+32768 ~x1645241+16384 ~x1645240+8192 ~x1645239+4096 ~x1645238+2048 ~x1645237+1024 ~x1645236+512 ~x1645235+256 ~x1645234+128 ~x1645233+64 ~x1645232+32 ~x1645231+16 ~x1645230+8 ~x1645229+4 ~x1645228+2 ~x1645227+1 ~x1645226+536870912 x1780+268435456 x1779+134217728 x1778+67108864 x1777+33554432 x1776+16777216 x1775+8388608 x1774+4194304 x1773+2097152 x1772+1048576 x1771+524288 x1770+262144 x1769+131072 x1768+65536 x1767+32768 x1766+16384 x1765+8192 x1764+4096 x1763+2048 x1762+1024 x1761+512 x1760+256 x1759+128 x1758+64 x1757+32 x1756+16 x1755+8 x1754+4 x1753+2 x1752+1 x1751+536870912 ~x571+268435456 ~x570+134217728 ~x569+67108864 ~x568+33554432 ~x567+16777216 ~x566+8388608 ~x565+4194304 ~x564+2097152 ~x563+1048576 ~x562+524288 ~x561+262144 ~x560+131072 ~x559+65536 ~x558+32768 ~x557+16384 ~x556+8192 ~x555+4096 ~x554+2048 ~x553+1024 ~x552+512 ~x551+256 ~x550+128 ~x549+64 ~x548+32 ~x547+16 ~x546+8 ~x545+4 ~x544+2 ~x543+1 ~x542+536870912 x541+268435456 x540+134217728 x539+67108864 x538+33554432 x537+16777216 x536+8388608 x535+4194304 x534+2097152 x533+1048576 x532+524288 x531+262144 x530+131072 x529+65536 x528+32768 x527+16384 x526+8192 x525+4096 x524+2048 x523+1024 x522+512 x521+256 x520+128 x519+64 x518+32 x517+16 x516+8 x515+4 x514+2 x513+1 x512-0=3221235710
39.58/39.68	c 2147483648 ~x1685255+1073741824 ~x1685254+536870912 ~x1685253+268435456 ~x1685252+134217728 ~x1685251+67108864 ~x1685250+33554432 ~x1685249+16777216 ~x1685248+8388608 ~x1685247+4194304 ~x1685246+2097152 ~x1685245+1048576 ~x1685244+524288 ~x1685243+262144 ~x1685242+131072 ~x1685241+65536 ~x1685240+32768 ~x1685239+16384 ~x1685238+8192 ~x1685237+4096 ~x1685236+2048 ~x1685235+1024 ~x1685234+512 ~x1685233+256 ~x1685232+128 ~x1685231+64 ~x1685230+32 ~x1685229+16 ~x1685228+8 ~x1685227+4 ~x1685226+2 ~x1685225+1 ~x1685224+536870912 x1810+268435456 x1809+134217728 x1808+67108864 x1807+33554432 x1806+16777216 x1805+8388608 x1804+4194304 x1803+2097152 x1802+1048576 x1801+524288 x1800+262144 x1799+131072 x1798+65536 x1797+32768 x1796+16384 x1795+8192 x1794+4096 x1793+2048 x1792+1024 x1791+512 x1790+256 x1789+128 x1788+64 x1787+32 x1786+16 x1785+8 x1784+4 x1783+2 x1782+1 x1781+536870912 ~x601+268435456 ~x600+134217728 ~x599+67108864 ~x598+33554432 ~x597+16777216 ~x596+8388608 ~x595+4194304 ~x594+2097152 ~x593+1048576 ~x592+524288 ~x591+262144 ~x590+131072 ~x589+65536 ~x588+32768 ~x587+16384 ~x586+8192 ~x585+4096 ~x584+2048 ~x583+1024 ~x582+512 ~x581+256 ~x580+128 ~x579+64 ~x578+32 ~x577+16 ~x576+8 ~x575+4 ~x574+2 ~x573+1 ~x572+536870912 x571+268435456 x570+134217728 x569+67108864 x568+33554432 x567+16777216 x566+8388608 x565+4194304 x564+2097152 x563+1048576 x562+524288 x561+262144 x560+131072 x559+65536 x558+32768 x557+16384 x556+8192 x555+4096 x554+2048 x553+1024 x552+512 x551+256 x550+128 x549+64 x548+32 x547+16 x546+8 x545+4 x544+2 x543+1 x542+536870912 ~x211+268435456 ~x210+134217728 ~x209+67108864 ~x208+33554432 ~x207+16777216 ~x206+8388608 ~x205+4194304 ~x204+2097152 ~x203+1048576 ~x202+524288 ~x201+262144 ~x200+131072 ~x199+65536 ~x198+32768 ~x197+16384 ~x196+8192 ~x195+4096 ~x194+2048 ~x193+1024 ~x192+512 ~x191+256 ~x190+128 ~x189+64 ~x188+32 ~x187+16 ~x186+8 ~x185+4 ~x184+2 ~x183+1 ~x182+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=7516192764
40.98/41.10	c 2147483648 ~x1747472+1073741824 ~x1747471+536870912 ~x1747470+268435456 ~x1747469+134217728 ~x1747468+67108864 ~x1747467+33554432 ~x1747466+16777216 ~x1747465+8388608 ~x1747464+4194304 ~x1747463+2097152 ~x1747462+1048576 ~x1747461+524288 ~x1747460+262144 ~x1747459+131072 ~x1747458+65536 ~x1747457+32768 ~x1747456+16384 ~x1747455+8192 ~x1747454+4096 ~x1747453+2048 ~x1747452+1024 ~x1747451+512 ~x1747450+256 ~x1747449+128 ~x1747448+64 ~x1747447+32 ~x1747446+16 ~x1747445+8 ~x1747444+4 ~x1747443+2 ~x1747442+1 ~x1747441+536870912 x1840+268435456 x1839+134217728 x1838+67108864 x1837+33554432 x1836+16777216 x1835+8388608 x1834+4194304 x1833+2097152 x1832+1048576 x1831+524288 x1830+262144 x1829+131072 x1828+65536 x1827+32768 x1826+16384 x1825+8192 x1824+4096 x1823+2048 x1822+1024 x1821+512 x1820+256 x1819+128 x1818+64 x1817+32 x1816+16 x1815+8 x1814+4 x1813+2 x1812+1 x1811+536870912 ~x631+268435456 ~x630+134217728 ~x629+67108864 ~x628+33554432 ~x627+16777216 ~x626+8388608 ~x625+4194304 ~x624+2097152 ~x623+1048576 ~x622+524288 ~x621+262144 ~x620+131072 ~x619+65536 ~x618+32768 ~x617+16384 ~x616+8192 ~x615+4096 ~x614+2048 ~x613+1024 ~x612+512 ~x611+256 ~x610+128 ~x609+64 ~x608+32 ~x607+16 ~x606+8 ~x605+4 ~x604+2 ~x603+1 ~x602+536870912 x601+268435456 x600+134217728 x599+67108864 x598+33554432 x597+16777216 x596+8388608 x595+4194304 x594+2097152 x593+1048576 x592+524288 x591+262144 x590+131072 x589+65536 x588+32768 x587+16384 x586+8192 x585+4096 x584+2048 x583+1024 x582+512 x581+256 x580+128 x579+64 x578+32 x577+16 x576+8 x575+4 x574+2 x573+1 x572+536870912 ~x481+268435456 ~x480+134217728 ~x479+67108864 ~x478+33554432 ~x477+16777216 ~x476+8388608 ~x475+4194304 ~x474+2097152 ~x473+1048576 ~x472+524288 ~x471+262144 ~x470+131072 ~x469+65536 ~x468+32768 ~x467+16384 ~x466+8192 ~x465+4096 ~x464+2048 ~x463+1024 ~x462+512 ~x461+256 ~x460+128 ~x459+64 ~x458+32 ~x457+16 ~x456+8 ~x455+4 ~x454+2 ~x453+1 ~x452+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+536870912 ~x331+268435456 ~x330+134217728 ~x329+67108864 ~x328+33554432 ~x327+16777216 ~x326+8388608 ~x325+4194304 ~x324+2097152 ~x323+1048576 ~x322+524288 ~x321+262144 ~x320+131072 ~x319+65536 ~x318+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302-0=8589934587
42.67/42.76	c 2147483648 ~x1820309+1073741824 ~x1820308+536870912 ~x1820307+268435456 ~x1820306+134217728 ~x1820305+67108864 ~x1820304+33554432 ~x1820303+16777216 ~x1820302+8388608 ~x1820301+4194304 ~x1820300+2097152 ~x1820299+1048576 ~x1820298+524288 ~x1820297+262144 ~x1820296+131072 ~x1820295+65536 ~x1820294+32768 ~x1820293+16384 ~x1820292+8192 ~x1820291+4096 ~x1820290+2048 ~x1820289+1024 ~x1820288+512 ~x1820287+256 ~x1820286+128 ~x1820285+64 ~x1820284+32 ~x1820283+16 ~x1820282+8 ~x1820281+4 ~x1820280+2 ~x1820279+1 ~x1820278+536870912 x1870+268435456 x1869+134217728 x1868+67108864 x1867+33554432 x1866+16777216 x1865+8388608 x1864+4194304 x1863+2097152 x1862+1048576 x1861+524288 x1860+262144 x1859+131072 x1858+65536 x1857+32768 x1856+16384 x1855+8192 x1854+4096 x1853+2048 x1852+1024 x1851+512 x1850+256 x1849+128 x1848+64 x1847+32 x1846+16 x1845+8 x1844+4 x1843+2 x1842+1 x1841+536870912 ~x661+268435456 ~x660+134217728 ~x659+67108864 ~x658+33554432 ~x657+16777216 ~x656+8388608 ~x655+4194304 ~x654+2097152 ~x653+1048576 ~x652+524288 ~x651+262144 ~x650+131072 ~x649+65536 ~x648+32768 ~x647+16384 ~x646+8192 ~x645+4096 ~x644+2048 ~x643+1024 ~x642+512 ~x641+256 ~x640+128 ~x639+64 ~x638+32 ~x637+16 ~x636+8 ~x635+4 ~x634+2 ~x633+1 ~x632+536870912 x631+268435456 x630+134217728 x629+67108864 x628+33554432 x627+16777216 x626+8388608 x625+4194304 x624+2097152 x623+1048576 x622+524288 x621+262144 x620+131072 x619+65536 x618+32768 x617+16384 x616+8192 x615+4096 x614+2048 x613+1024 x612+512 x611+256 x610+128 x609+64 x608+32 x607+16 x606+8 x605+4 x604+2 x603+1 x602+536870912 ~x421+268435456 ~x420+134217728 ~x419+67108864 ~x418+33554432 ~x417+16777216 ~x416+8388608 ~x415+4194304 ~x414+2097152 ~x413+1048576 ~x412+524288 ~x411+262144 ~x410+131072 ~x409+65536 ~x408+32768 ~x407+16384 ~x406+8192 ~x405+4096 ~x404+2048 ~x403+1024 ~x402+512 ~x401+256 ~x400+128 ~x399+64 ~x398+32 ~x397+16 ~x396+8 ~x395+4 ~x394+2 ~x393+1 ~x392-0=6442604541
43.88/43.93	c 1073741824 ~x1871905+536870912 ~x1871904+268435456 ~x1871903+134217728 ~x1871902+67108864 ~x1871901+33554432 ~x1871900+16777216 ~x1871899+8388608 ~x1871898+4194304 ~x1871897+2097152 ~x1871896+1048576 ~x1871895+524288 ~x1871894+262144 ~x1871893+131072 ~x1871892+65536 ~x1871891+32768 ~x1871890+16384 ~x1871889+8192 ~x1871888+4096 ~x1871887+2048 ~x1871886+1024 ~x1871885+512 ~x1871884+256 ~x1871883+128 ~x1871882+64 ~x1871881+32 ~x1871880+16 ~x1871879+8 ~x1871878+4 ~x1871877+2 ~x1871876+1 ~x1871875+536870912 ~x691+268435456 ~x690+134217728 ~x689+67108864 ~x688+33554432 ~x687+16777216 ~x686+8388608 ~x685+4194304 ~x684+2097152 ~x683+1048576 ~x682+524288 ~x681+262144 ~x680+131072 ~x679+65536 ~x678+32768 ~x677+16384 ~x676+8192 ~x675+4096 ~x674+2048 ~x673+1024 ~x672+512 ~x671+256 ~x670+128 ~x669+64 ~x668+32 ~x667+16 ~x666+8 ~x665+4 ~x664+2 ~x663+1 ~x662+536870912 x661+268435456 x660+134217728 x659+67108864 x658+33554432 x657+16777216 x656+8388608 x655+4194304 x654+2097152 x653+1048576 x652+524288 x651+262144 x650+131072 x649+65536 x648+32768 x647+16384 x646+8192 x645+4096 x644+2048 x643+1024 x642+512 x641+256 x640+128 x639+64 x638+32 x637+16 x636+8 x635+4 x634+2 x633+1 x632-0=3221235710
44.57/44.61	c 262144 ~x1901451+131072 ~x1901450+65536 ~x1901449+32768 ~x1901448+16384 ~x1901447+8192 ~x1901446+4096 ~x1901445+2048 ~x1901444+1024 ~x1901443+512 ~x1901442+256 ~x1901441+128 ~x1901440+64 ~x1901439+32 ~x1901438+16 ~x1901437+8 ~x1901436+4 ~x1901435+2 ~x1901434+1 ~x1901433+262144 x1889+131072 x1888+65536 x1887+32768 x1886+16384 x1885+8192 x1884+4096 x1883+2048 x1882+1024 x1881+512 x1880+256 x1879+128 x1878+64 x1877+32 x1876+16 x1875+8 x1874+4 x1873+2 x1872+1 x1871+262144 x680+131072 x679+65536 x678+32768 x677+16384 x676+8192 x675+4096 x674+2048 x673+1024 x672+512 x671+256 x670+128 x669+64 x668+32 x667+16 x666+8 x665+4 x664+2 x663+1 x662-0=1036287
44.77/44.83	c 549755813888 ~x1910651+274877906944 ~x1910650+137438953472 ~x1910649+68719476736 ~x1910648+34359738368 ~x1910647+17179869184 ~x1910646+8589934592 ~x1910645+4294967296 ~x1910644+2147483648 ~x1910643+1073741824 ~x1910642+536870912 ~x1910641+268435456 ~x1910640+134217728 ~x1910639+67108864 ~x1910638+33554432 ~x1910637+16777216 ~x1910636+8388608 ~x1910635+4194304 ~x1910634+2097152 ~x1910633+1048576 ~x1910632+524288 ~x1910631+262144 ~x1910630+131072 ~x1910629+65536 ~x1910628+32768 ~x1910627+16384 ~x1910626+8192 ~x1910625+4096 ~x1910624+2048 ~x1910623+1024 ~x1910622+512 ~x1910621+256 ~x1910620+128 ~x1910619+64 ~x1910618+32 ~x1910617+16 ~x1910616+8 ~x1910615+4 ~x1910614+2 ~x1910613+1 ~x1910612+1024000000 ~x1382+44560285696 ~x721+22280142848 ~x720+11140071424 ~x719+5570035712 ~x718+2785017856 ~x717+1392508928 ~x716+696254464 ~x715+348127232 ~x714+174063616 ~x713+87031808 ~x712+43515904 ~x711+21757952 ~x710+10878976 ~x709+5439488 ~x708+2719744 ~x707+1359872 ~x706+679936 ~x705+339968 ~x704+169984 ~x703+84992 ~x702+42496 ~x701+21248 ~x700+10624 ~x699+5312 ~x698+2656 ~x697+1328 ~x696+664 ~x695+332 ~x694+166 ~x693+83 ~x692+447213469696 ~x31+223606734848 ~x30+111803367424 ~x29+55901683712 ~x28+27950841856 ~x27+13975420928 ~x26+6987710464 ~x25+3493855232 ~x24+1746927616 ~x23+873463808 ~x22+436731904 ~x21+218365952 ~x20+109182976 ~x19+54591488 ~x18+27295744 ~x17+13647872 ~x16+6823936 ~x15+3411968 ~x14+1705984 ~x13+852992 ~x12+426496 ~x11+213248 ~x10+106624 ~x9+53312 ~x8+26656 ~x7+13328 ~x6+6664 ~x5+3332 ~x4+1666 ~x3+833 ~x2-0=2082035137643
45.77/45.90	c 549755813888 ~x1955692+274877906944 ~x1955691+137438953472 ~x1955690+68719476736 ~x1955689+34359738368 ~x1955688+17179869184 ~x1955687+8589934592 ~x1955686+4294967296 ~x1955685+2147483648 ~x1955684+1073741824 ~x1955683+536870912 ~x1955682+268435456 ~x1955681+134217728 ~x1955680+67108864 ~x1955679+33554432 ~x1955678+16777216 ~x1955677+8388608 ~x1955676+4194304 ~x1955675+2097152 ~x1955674+1048576 ~x1955673+524288 ~x1955672+262144 ~x1955671+131072 ~x1955670+65536 ~x1955669+32768 ~x1955668+16384 ~x1955667+8192 ~x1955666+4096 ~x1955665+2048 ~x1955664+1024 ~x1955663+512 ~x1955662+256 ~x1955661+128 ~x1955660+64 ~x1955659+32 ~x1955658+16 ~x1955657+8 ~x1955656+4 ~x1955655+2 ~x1955654+1 ~x1955653+1024000000 ~x1393+44560285696 ~x1051+22280142848 ~x1050+11140071424 ~x1049+5570035712 ~x1048+2785017856 ~x1047+1392508928 ~x1046+696254464 ~x1045+348127232 ~x1044+174063616 ~x1043+87031808 ~x1042+43515904 ~x1041+21757952 ~x1040+10878976 ~x1039+5439488 ~x1038+2719744 ~x1037+1359872 ~x1036+679936 ~x1035+339968 ~x1034+169984 ~x1033+84992 ~x1032+42496 ~x1031+21248 ~x1030+10624 ~x1029+5312 ~x1028+2656 ~x1027+1328 ~x1026+664 ~x1025+332 ~x1024+166 ~x1023+83 ~x1022+447213469696 ~x361+223606734848 ~x360+111803367424 ~x359+55901683712 ~x358+27950841856 ~x357+13975420928 ~x356+6987710464 ~x355+3493855232 ~x354+1746927616 ~x353+873463808 ~x352+436731904 ~x351+218365952 ~x350+109182976 ~x349+54591488 ~x348+27295744 ~x347+13647872 ~x346+6823936 ~x345+3411968 ~x344+1705984 ~x343+852992 ~x342+426496 ~x341+213248 ~x340+106624 ~x339+53312 ~x338+26656 ~x337+13328 ~x336+6664 ~x335+3332 ~x334+1666 ~x333+833 ~x332-0=2083059137643
46.87/46.93	c 549755813888 ~x2000733+274877906944 ~x2000732+137438953472 ~x2000731+68719476736 ~x2000730+34359738368 ~x2000729+17179869184 ~x2000728+8589934592 ~x2000727+4294967296 ~x2000726+2147483648 ~x2000725+1073741824 ~x2000724+536870912 ~x2000723+268435456 ~x2000722+134217728 ~x2000721+67108864 ~x2000720+33554432 ~x2000719+16777216 ~x2000718+8388608 ~x2000717+4194304 ~x2000716+2097152 ~x2000715+1048576 ~x2000714+524288 ~x2000713+262144 ~x2000712+131072 ~x2000711+65536 ~x2000710+32768 ~x2000709+16384 ~x2000708+8192 ~x2000707+4096 ~x2000706+2048 ~x2000705+1024 ~x2000704+512 ~x2000703+256 ~x2000702+128 ~x2000701+64 ~x2000700+32 ~x2000699+16 ~x2000698+8 ~x2000697+4 ~x2000696+2 ~x2000695+1 ~x2000694+1024000000 ~x1384+44560285696 ~x781+22280142848 ~x780+11140071424 ~x779+5570035712 ~x778+2785017856 ~x777+1392508928 ~x776+696254464 ~x775+348127232 ~x774+174063616 ~x773+87031808 ~x772+43515904 ~x771+21757952 ~x770+10878976 ~x769+5439488 ~x768+2719744 ~x767+1359872 ~x766+679936 ~x765+339968 ~x764+169984 ~x763+84992 ~x762+42496 ~x761+21248 ~x760+10624 ~x759+5312 ~x758+2656 ~x757+1328 ~x756+664 ~x755+332 ~x754+166 ~x753+83 ~x752+447213469696 ~x91+223606734848 ~x90+111803367424 ~x89+55901683712 ~x88+27950841856 ~x87+13975420928 ~x86+6987710464 ~x85+3493855232 ~x84+1746927616 ~x83+873463808 ~x82+436731904 ~x81+218365952 ~x80+109182976 ~x79+54591488 ~x78+27295744 ~x77+13647872 ~x76+6823936 ~x75+3411968 ~x74+1705984 ~x73+852992 ~x72+426496 ~x71+213248 ~x70+106624 ~x69+53312 ~x68+26656 ~x67+13328 ~x66+6664 ~x65+3332 ~x64+1666 ~x63+833 ~x62-0=2083059137643
47.87/47.95	c 549755813888 ~x2045774+274877906944 ~x2045773+137438953472 ~x2045772+68719476736 ~x2045771+34359738368 ~x2045770+17179869184 ~x2045769+8589934592 ~x2045768+4294967296 ~x2045767+2147483648 ~x2045766+1073741824 ~x2045765+536870912 ~x2045764+268435456 ~x2045763+134217728 ~x2045762+67108864 ~x2045761+33554432 ~x2045760+16777216 ~x2045759+8388608 ~x2045758+4194304 ~x2045757+2097152 ~x2045756+1048576 ~x2045755+524288 ~x2045754+262144 ~x2045753+131072 ~x2045752+65536 ~x2045751+32768 ~x2045750+16384 ~x2045749+8192 ~x2045748+4096 ~x2045747+2048 ~x2045746+1024 ~x2045745+512 ~x2045744+256 ~x2045743+128 ~x2045742+64 ~x2045741+32 ~x2045740+16 ~x2045739+8 ~x2045738+4 ~x2045737+2 ~x2045736+1 ~x2045735+1024000000 ~x1385+44560285696 ~x811+22280142848 ~x810+11140071424 ~x809+5570035712 ~x808+2785017856 ~x807+1392508928 ~x806+696254464 ~x805+348127232 ~x804+174063616 ~x803+87031808 ~x802+43515904 ~x801+21757952 ~x800+10878976 ~x799+5439488 ~x798+2719744 ~x797+1359872 ~x796+679936 ~x795+339968 ~x794+169984 ~x793+84992 ~x792+42496 ~x791+21248 ~x790+10624 ~x789+5312 ~x788+2656 ~x787+1328 ~x786+664 ~x785+332 ~x784+166 ~x783+83 ~x782+447213469696 ~x121+223606734848 ~x120+111803367424 ~x119+55901683712 ~x118+27950841856 ~x117+13975420928 ~x116+6987710464 ~x115+3493855232 ~x114+1746927616 ~x113+873463808 ~x112+436731904 ~x111+218365952 ~x110+109182976 ~x109+54591488 ~x108+27295744 ~x107+13647872 ~x106+6823936 ~x105+3411968 ~x104+1705984 ~x103+852992 ~x102+426496 ~x101+213248 ~x100+106624 ~x99+53312 ~x98+26656 ~x97+13328 ~x96+6664 ~x95+3332 ~x94+1666 ~x93+833 ~x92-0=2081011137643
48.87/48.99	c 549755813888 ~x2090815+274877906944 ~x2090814+137438953472 ~x2090813+68719476736 ~x2090812+34359738368 ~x2090811+17179869184 ~x2090810+8589934592 ~x2090809+4294967296 ~x2090808+2147483648 ~x2090807+1073741824 ~x2090806+536870912 ~x2090805+268435456 ~x2090804+134217728 ~x2090803+67108864 ~x2090802+33554432 ~x2090801+16777216 ~x2090800+8388608 ~x2090799+4194304 ~x2090798+2097152 ~x2090797+1048576 ~x2090796+524288 ~x2090795+262144 ~x2090794+131072 ~x2090793+65536 ~x2090792+32768 ~x2090791+16384 ~x2090790+8192 ~x2090789+4096 ~x2090788+2048 ~x2090787+1024 ~x2090786+512 ~x2090785+256 ~x2090784+128 ~x2090783+64 ~x2090782+32 ~x2090781+16 ~x2090780+8 ~x2090779+4 ~x2090778+2 ~x2090777+1 ~x2090776+1024000000 ~x1386+44560285696 ~x841+22280142848 ~x840+11140071424 ~x839+5570035712 ~x838+2785017856 ~x837+1392508928 ~x836+696254464 ~x835+348127232 ~x834+174063616 ~x833+87031808 ~x832+43515904 ~x831+21757952 ~x830+10878976 ~x829+5439488 ~x828+2719744 ~x827+1359872 ~x826+679936 ~x825+339968 ~x824+169984 ~x823+84992 ~x822+42496 ~x821+21248 ~x820+10624 ~x819+5312 ~x818+2656 ~x817+1328 ~x816+664 ~x815+332 ~x814+166 ~x813+83 ~x812+447213469696 ~x151+223606734848 ~x150+111803367424 ~x149+55901683712 ~x148+27950841856 ~x147+13975420928 ~x146+6987710464 ~x145+3493855232 ~x144+1746927616 ~x143+873463808 ~x142+436731904 ~x141+218365952 ~x140+109182976 ~x139+54591488 ~x138+27295744 ~x137+13647872 ~x136+6823936 ~x135+3411968 ~x134+1705984 ~x133+852992 ~x132+426496 ~x131+213248 ~x130+106624 ~x129+53312 ~x128+26656 ~x127+13328 ~x126+6664 ~x125+3332 ~x124+1666 ~x123+833 ~x122-0=2082035137643
49.97/50.03	c 549755813888 ~x2135856+274877906944 ~x2135855+137438953472 ~x2135854+68719476736 ~x2135853+34359738368 ~x2135852+17179869184 ~x2135851+8589934592 ~x2135850+4294967296 ~x2135849+2147483648 ~x2135848+1073741824 ~x2135847+536870912 ~x2135846+268435456 ~x2135845+134217728 ~x2135844+67108864 ~x2135843+33554432 ~x2135842+16777216 ~x2135841+8388608 ~x2135840+4194304 ~x2135839+2097152 ~x2135838+1048576 ~x2135837+524288 ~x2135836+262144 ~x2135835+131072 ~x2135834+65536 ~x2135833+32768 ~x2135832+16384 ~x2135831+8192 ~x2135830+4096 ~x2135829+2048 ~x2135828+1024 ~x2135827+512 ~x2135826+256 ~x2135825+128 ~x2135824+64 ~x2135823+32 ~x2135822+16 ~x2135821+8 ~x2135820+4 ~x2135819+2 ~x2135818+1 ~x2135817+1024000000 ~x1387+44560285696 ~x871+22280142848 ~x870+11140071424 ~x869+5570035712 ~x868+2785017856 ~x867+1392508928 ~x866+696254464 ~x865+348127232 ~x864+174063616 ~x863+87031808 ~x862+43515904 ~x861+21757952 ~x860+10878976 ~x859+5439488 ~x858+2719744 ~x857+1359872 ~x856+679936 ~x855+339968 ~x854+169984 ~x853+84992 ~x852+42496 ~x851+21248 ~x850+10624 ~x849+5312 ~x848+2656 ~x847+1328 ~x846+664 ~x845+332 ~x844+166 ~x843+83 ~x842+447213469696 ~x181+223606734848 ~x180+111803367424 ~x179+55901683712 ~x178+27950841856 ~x177+13975420928 ~x176+6987710464 ~x175+3493855232 ~x174+1746927616 ~x173+873463808 ~x172+436731904 ~x171+218365952 ~x170+109182976 ~x169+54591488 ~x168+27295744 ~x167+13647872 ~x166+6823936 ~x165+3411968 ~x164+1705984 ~x163+852992 ~x162+426496 ~x161+213248 ~x160+106624 ~x159+53312 ~x158+26656 ~x157+13328 ~x156+6664 ~x155+3332 ~x154+1666 ~x153+833 ~x152-0=2082035137643
50.97/51.07	c 549755813888 ~x2180897+274877906944 ~x2180896+137438953472 ~x2180895+68719476736 ~x2180894+34359738368 ~x2180893+17179869184 ~x2180892+8589934592 ~x2180891+4294967296 ~x2180890+2147483648 ~x2180889+1073741824 ~x2180888+536870912 ~x2180887+268435456 ~x2180886+134217728 ~x2180885+67108864 ~x2180884+33554432 ~x2180883+16777216 ~x2180882+8388608 ~x2180881+4194304 ~x2180880+2097152 ~x2180879+1048576 ~x2180878+524288 ~x2180877+262144 ~x2180876+131072 ~x2180875+65536 ~x2180874+32768 ~x2180873+16384 ~x2180872+8192 ~x2180871+4096 ~x2180870+2048 ~x2180869+1024 ~x2180868+512 ~x2180867+256 ~x2180866+128 ~x2180865+64 ~x2180864+32 ~x2180863+16 ~x2180862+8 ~x2180861+4 ~x2180860+2 ~x2180859+1 ~x2180858+1024000000 ~x1388+44560285696 ~x901+22280142848 ~x900+11140071424 ~x899+5570035712 ~x898+2785017856 ~x897+1392508928 ~x896+696254464 ~x895+348127232 ~x894+174063616 ~x893+87031808 ~x892+43515904 ~x891+21757952 ~x890+10878976 ~x889+5439488 ~x888+2719744 ~x887+1359872 ~x886+679936 ~x885+339968 ~x884+169984 ~x883+84992 ~x882+42496 ~x881+21248 ~x880+10624 ~x879+5312 ~x878+2656 ~x877+1328 ~x876+664 ~x875+332 ~x874+166 ~x873+83 ~x872+447213469696 ~x211+223606734848 ~x210+111803367424 ~x209+55901683712 ~x208+27950841856 ~x207+13975420928 ~x206+6987710464 ~x205+3493855232 ~x204+1746927616 ~x203+873463808 ~x202+436731904 ~x201+218365952 ~x200+109182976 ~x199+54591488 ~x198+27295744 ~x197+13647872 ~x196+6823936 ~x195+3411968 ~x194+1705984 ~x193+852992 ~x192+426496 ~x191+213248 ~x190+106624 ~x189+53312 ~x188+26656 ~x187+13328 ~x186+6664 ~x185+3332 ~x184+1666 ~x183+833 ~x182-0=2082035137643
52.07/52.10	c 549755813888 ~x2225938+274877906944 ~x2225937+137438953472 ~x2225936+68719476736 ~x2225935+34359738368 ~x2225934+17179869184 ~x2225933+8589934592 ~x2225932+4294967296 ~x2225931+2147483648 ~x2225930+1073741824 ~x2225929+536870912 ~x2225928+268435456 ~x2225927+134217728 ~x2225926+67108864 ~x2225925+33554432 ~x2225924+16777216 ~x2225923+8388608 ~x2225922+4194304 ~x2225921+2097152 ~x2225920+1048576 ~x2225919+524288 ~x2225918+262144 ~x2225917+131072 ~x2225916+65536 ~x2225915+32768 ~x2225914+16384 ~x2225913+8192 ~x2225912+4096 ~x2225911+2048 ~x2225910+1024 ~x2225909+512 ~x2225908+256 ~x2225907+128 ~x2225906+64 ~x2225905+32 ~x2225904+16 ~x2225903+8 ~x2225902+4 ~x2225901+2 ~x2225900+1 ~x2225899+1024000000 ~x1389+44560285696 ~x931+22280142848 ~x930+11140071424 ~x929+5570035712 ~x928+2785017856 ~x927+1392508928 ~x926+696254464 ~x925+348127232 ~x924+174063616 ~x923+87031808 ~x922+43515904 ~x921+21757952 ~x920+10878976 ~x919+5439488 ~x918+2719744 ~x917+1359872 ~x916+679936 ~x915+339968 ~x914+169984 ~x913+84992 ~x912+42496 ~x911+21248 ~x910+10624 ~x909+5312 ~x908+2656 ~x907+1328 ~x906+664 ~x905+332 ~x904+166 ~x903+83 ~x902+447213469696 ~x241+223606734848 ~x240+111803367424 ~x239+55901683712 ~x238+27950841856 ~x237+13975420928 ~x236+6987710464 ~x235+3493855232 ~x234+1746927616 ~x233+873463808 ~x232+436731904 ~x231+218365952 ~x230+109182976 ~x229+54591488 ~x228+27295744 ~x227+13647872 ~x226+6823936 ~x225+3411968 ~x224+1705984 ~x223+852992 ~x222+426496 ~x221+213248 ~x220+106624 ~x219+53312 ~x218+26656 ~x217+13328 ~x216+6664 ~x215+3332 ~x214+1666 ~x213+833 ~x212-0=2082035137643
53.07/53.14	c 549755813888 ~x2270979+274877906944 ~x2270978+137438953472 ~x2270977+68719476736 ~x2270976+34359738368 ~x2270975+17179869184 ~x2270974+8589934592 ~x2270973+4294967296 ~x2270972+2147483648 ~x2270971+1073741824 ~x2270970+536870912 ~x2270969+268435456 ~x2270968+134217728 ~x2270967+67108864 ~x2270966+33554432 ~x2270965+16777216 ~x2270964+8388608 ~x2270963+4194304 ~x2270962+2097152 ~x2270961+1048576 ~x2270960+524288 ~x2270959+262144 ~x2270958+131072 ~x2270957+65536 ~x2270956+32768 ~x2270955+16384 ~x2270954+8192 ~x2270953+4096 ~x2270952+2048 ~x2270951+1024 ~x2270950+512 ~x2270949+256 ~x2270948+128 ~x2270947+64 ~x2270946+32 ~x2270945+16 ~x2270944+8 ~x2270943+4 ~x2270942+2 ~x2270941+1 ~x2270940+1024000000 ~x1390+44560285696 ~x961+22280142848 ~x960+11140071424 ~x959+5570035712 ~x958+2785017856 ~x957+1392508928 ~x956+696254464 ~x955+348127232 ~x954+174063616 ~x953+87031808 ~x952+43515904 ~x951+21757952 ~x950+10878976 ~x949+5439488 ~x948+2719744 ~x947+1359872 ~x946+679936 ~x945+339968 ~x944+169984 ~x943+84992 ~x942+42496 ~x941+21248 ~x940+10624 ~x939+5312 ~x938+2656 ~x937+1328 ~x936+664 ~x935+332 ~x934+166 ~x933+83 ~x932+447213469696 ~x271+223606734848 ~x270+111803367424 ~x269+55901683712 ~x268+27950841856 ~x267+13975420928 ~x266+6987710464 ~x265+3493855232 ~x264+1746927616 ~x263+873463808 ~x262+436731904 ~x261+218365952 ~x260+109182976 ~x259+54591488 ~x258+27295744 ~x257+13647872 ~x256+6823936 ~x255+3411968 ~x254+1705984 ~x253+852992 ~x252+426496 ~x251+213248 ~x250+106624 ~x249+53312 ~x248+26656 ~x247+13328 ~x246+6664 ~x245+3332 ~x244+1666 ~x243+833 ~x242-0=2082035137643
54.07/54.18	c 549755813888 ~x2316020+274877906944 ~x2316019+137438953472 ~x2316018+68719476736 ~x2316017+34359738368 ~x2316016+17179869184 ~x2316015+8589934592 ~x2316014+4294967296 ~x2316013+2147483648 ~x2316012+1073741824 ~x2316011+536870912 ~x2316010+268435456 ~x2316009+134217728 ~x2316008+67108864 ~x2316007+33554432 ~x2316006+16777216 ~x2316005+8388608 ~x2316004+4194304 ~x2316003+2097152 ~x2316002+1048576 ~x2316001+524288 ~x2316000+262144 ~x2315999+131072 ~x2315998+65536 ~x2315997+32768 ~x2315996+16384 ~x2315995+8192 ~x2315994+4096 ~x2315993+2048 ~x2315992+1024 ~x2315991+512 ~x2315990+256 ~x2315989+128 ~x2315988+64 ~x2315987+32 ~x2315986+16 ~x2315985+8 ~x2315984+4 ~x2315983+2 ~x2315982+1 ~x2315981+1024000000 ~x1391+44560285696 ~x991+22280142848 ~x990+11140071424 ~x989+5570035712 ~x988+2785017856 ~x987+1392508928 ~x986+696254464 ~x985+348127232 ~x984+174063616 ~x983+87031808 ~x982+43515904 ~x981+21757952 ~x980+10878976 ~x979+5439488 ~x978+2719744 ~x977+1359872 ~x976+679936 ~x975+339968 ~x974+169984 ~x973+84992 ~x972+42496 ~x971+21248 ~x970+10624 ~x969+5312 ~x968+2656 ~x967+1328 ~x966+664 ~x965+332 ~x964+166 ~x963+83 ~x962+447213469696 ~x301+223606734848 ~x300+111803367424 ~x299+55901683712 ~x298+27950841856 ~x297+13975420928 ~x296+6987710464 ~x295+3493855232 ~x294+1746927616 ~x293+873463808 ~x292+436731904 ~x291+218365952 ~x290+109182976 ~x289+54591488 ~x288+27295744 ~x287+13647872 ~x286+6823936 ~x285+3411968 ~x284+1705984 ~x283+852992 ~x282+426496 ~x281+213248 ~x280+106624 ~x279+53312 ~x278+26656 ~x277+13328 ~x276+6664 ~x275+3332 ~x274+1666 ~x273+833 ~x272-0=2082035137643
55.16/55.21	c 549755813888 ~x2361061+274877906944 ~x2361060+137438953472 ~x2361059+68719476736 ~x2361058+34359738368 ~x2361057+17179869184 ~x2361056+8589934592 ~x2361055+4294967296 ~x2361054+2147483648 ~x2361053+1073741824 ~x2361052+536870912 ~x2361051+268435456 ~x2361050+134217728 ~x2361049+67108864 ~x2361048+33554432 ~x2361047+16777216 ~x2361046+8388608 ~x2361045+4194304 ~x2361044+2097152 ~x2361043+1048576 ~x2361042+524288 ~x2361041+262144 ~x2361040+131072 ~x2361039+65536 ~x2361038+32768 ~x2361037+16384 ~x2361036+8192 ~x2361035+4096 ~x2361034+2048 ~x2361033+1024 ~x2361032+512 ~x2361031+256 ~x2361030+128 ~x2361029+64 ~x2361028+32 ~x2361027+16 ~x2361026+8 ~x2361025+4 ~x2361024+2 ~x2361023+1 ~x2361022+1024000000 ~x1392+44560285696 ~x1021+22280142848 ~x1020+11140071424 ~x1019+5570035712 ~x1018+2785017856 ~x1017+1392508928 ~x1016+696254464 ~x1015+348127232 ~x1014+174063616 ~x1013+87031808 ~x1012+43515904 ~x1011+21757952 ~x1010+10878976 ~x1009+5439488 ~x1008+2719744 ~x1007+1359872 ~x1006+679936 ~x1005+339968 ~x1004+169984 ~x1003+84992 ~x1002+42496 ~x1001+21248 ~x1000+10624 ~x999+5312 ~x998+2656 ~x997+1328 ~x996+664 ~x995+332 ~x994+166 ~x993+83 ~x992+447213469696 ~x331+223606734848 ~x330+111803367424 ~x329+55901683712 ~x328+27950841856 ~x327+13975420928 ~x326+6987710464 ~x325+3493855232 ~x324+1746927616 ~x323+873463808 ~x322+436731904 ~x321+218365952 ~x320+109182976 ~x319+54591488 ~x318+27295744 ~x317+13647872 ~x316+6823936 ~x315+3411968 ~x314+1705984 ~x313+852992 ~x312+426496 ~x311+213248 ~x310+106624 ~x309+53312 ~x308+26656 ~x307+13328 ~x306+6664 ~x305+3332 ~x304+1666 ~x303+833 ~x302-0=2083059137643
56.17/56.25	c 549755813888 ~x2406102+274877906944 ~x2406101+137438953472 ~x2406100+68719476736 ~x2406099+34359738368 ~x2406098+17179869184 ~x2406097+8589934592 ~x2406096+4294967296 ~x2406095+2147483648 ~x2406094+1073741824 ~x2406093+536870912 ~x2406092+268435456 ~x2406091+134217728 ~x2406090+67108864 ~x2406089+33554432 ~x2406088+16777216 ~x2406087+8388608 ~x2406086+4194304 ~x2406085+2097152 ~x2406084+1048576 ~x2406083+524288 ~x2406082+262144 ~x2406081+131072 ~x2406080+65536 ~x2406079+32768 ~x2406078+16384 ~x2406077+8192 ~x2406076+4096 ~x2406075+2048 ~x2406074+1024 ~x2406073+512 ~x2406072+256 ~x2406071+128 ~x2406070+64 ~x2406069+32 ~x2406068+16 ~x2406067+8 ~x2406066+4 ~x2406065+2 ~x2406064+1 ~x2406063+1024000000 ~x1394+44560285696 ~x1081+22280142848 ~x1080+11140071424 ~x1079+5570035712 ~x1078+2785017856 ~x1077+1392508928 ~x1076+696254464 ~x1075+348127232 ~x1074+174063616 ~x1073+87031808 ~x1072+43515904 ~x1071+21757952 ~x1070+10878976 ~x1069+5439488 ~x1068+2719744 ~x1067+1359872 ~x1066+679936 ~x1065+339968 ~x1064+169984 ~x1063+84992 ~x1062+42496 ~x1061+21248 ~x1060+10624 ~x1059+5312 ~x1058+2656 ~x1057+1328 ~x1056+664 ~x1055+332 ~x1054+166 ~x1053+83 ~x1052+447213469696 ~x391+223606734848 ~x390+111803367424 ~x389+55901683712 ~x388+27950841856 ~x387+13975420928 ~x386+6987710464 ~x385+3493855232 ~x384+1746927616 ~x383+873463808 ~x382+436731904 ~x381+218365952 ~x380+109182976 ~x379+54591488 ~x378+27295744 ~x377+13647872 ~x376+6823936 ~x375+3411968 ~x374+1705984 ~x373+852992 ~x372+426496 ~x371+213248 ~x370+106624 ~x369+53312 ~x368+26656 ~x367+13328 ~x366+6664 ~x365+3332 ~x364+1666 ~x363+833 ~x362-0=2083059137643
57.27/57.33	c 549755813888 ~x2451143+274877906944 ~x2451142+137438953472 ~x2451141+68719476736 ~x2451140+34359738368 ~x2451139+17179869184 ~x2451138+8589934592 ~x2451137+4294967296 ~x2451136+2147483648 ~x2451135+1073741824 ~x2451134+536870912 ~x2451133+268435456 ~x2451132+134217728 ~x2451131+67108864 ~x2451130+33554432 ~x2451129+16777216 ~x2451128+8388608 ~x2451127+4194304 ~x2451126+2097152 ~x2451125+1048576 ~x2451124+524288 ~x2451123+262144 ~x2451122+131072 ~x2451121+65536 ~x2451120+32768 ~x2451119+16384 ~x2451118+8192 ~x2451117+4096 ~x2451116+2048 ~x2451115+1024 ~x2451114+512 ~x2451113+256 ~x2451112+128 ~x2451111+64 ~x2451110+32 ~x2451109+16 ~x2451108+8 ~x2451107+4 ~x2451106+2 ~x2451105+1 ~x2451104+1024000000 ~x1398+44560285696 ~x1201+22280142848 ~x1200+11140071424 ~x1199+5570035712 ~x1198+2785017856 ~x1197+1392508928 ~x1196+696254464 ~x1195+348127232 ~x1194+174063616 ~x1193+87031808 ~x1192+43515904 ~x1191+21757952 ~x1190+10878976 ~x1189+5439488 ~x1188+2719744 ~x1187+1359872 ~x1186+679936 ~x1185+339968 ~x1184+169984 ~x1183+84992 ~x1182+42496 ~x1181+21248 ~x1180+10624 ~x1179+5312 ~x1178+2656 ~x1177+1328 ~x1176+664 ~x1175+332 ~x1174+166 ~x1173+83 ~x1172+447213469696 ~x511+223606734848 ~x510+111803367424 ~x509+55901683712 ~x508+27950841856 ~x507+13975420928 ~x506+6987710464 ~x505+3493855232 ~x504+1746927616 ~x503+873463808 ~x502+436731904 ~x501+218365952 ~x500+109182976 ~x499+54591488 ~x498+27295744 ~x497+13647872 ~x496+6823936 ~x495+3411968 ~x494+1705984 ~x493+852992 ~x492+426496 ~x491+213248 ~x490+106624 ~x489+53312 ~x488+26656 ~x487+13328 ~x486+6664 ~x485+3332 ~x484+1666 ~x483+833 ~x482-0=2082035137643
58.27/58.36	c 549755813888 ~x2496184+274877906944 ~x2496183+137438953472 ~x2496182+68719476736 ~x2496181+34359738368 ~x2496180+17179869184 ~x2496179+8589934592 ~x2496178+4294967296 ~x2496177+2147483648 ~x2496176+1073741824 ~x2496175+536870912 ~x2496174+268435456 ~x2496173+134217728 ~x2496172+67108864 ~x2496171+33554432 ~x2496170+16777216 ~x2496169+8388608 ~x2496168+4194304 ~x2496167+2097152 ~x2496166+1048576 ~x2496165+524288 ~x2496164+262144 ~x2496163+131072 ~x2496162+65536 ~x2496161+32768 ~x2496160+16384 ~x2496159+8192 ~x2496158+4096 ~x2496157+2048 ~x2496156+1024 ~x2496155+512 ~x2496154+256 ~x2496153+128 ~x2496152+64 ~x2496151+32 ~x2496150+16 ~x2496149+8 ~x2496148+4 ~x2496147+2 ~x2496146+1 ~x2496145+1024000000 ~x1395+44560285696 ~x1111+22280142848 ~x1110+11140071424 ~x1109+5570035712 ~x1108+2785017856 ~x1107+1392508928 ~x1106+696254464 ~x1105+348127232 ~x1104+174063616 ~x1103+87031808 ~x1102+43515904 ~x1101+21757952 ~x1100+10878976 ~x1099+5439488 ~x1098+2719744 ~x1097+1359872 ~x1096+679936 ~x1095+339968 ~x1094+169984 ~x1093+84992 ~x1092+42496 ~x1091+21248 ~x1090+10624 ~x1089+5312 ~x1088+2656 ~x1087+1328 ~x1086+664 ~x1085+332 ~x1084+166 ~x1083+83 ~x1082+447213469696 ~x421+223606734848 ~x420+111803367424 ~x419+55901683712 ~x418+27950841856 ~x417+13975420928 ~x416+6987710464 ~x415+3493855232 ~x414+1746927616 ~x413+873463808 ~x412+436731904 ~x411+218365952 ~x410+109182976 ~x409+54591488 ~x408+27295744 ~x407+13647872 ~x406+6823936 ~x405+3411968 ~x404+1705984 ~x403+852992 ~x402+426496 ~x401+213248 ~x400+106624 ~x399+53312 ~x398+26656 ~x397+13328 ~x396+6664 ~x395+3332 ~x394+1666 ~x393+833 ~x392-0=2082035137643
59.27/59.39	c 549755813888 ~x2541225+274877906944 ~x2541224+137438953472 ~x2541223+68719476736 ~x2541222+34359738368 ~x2541221+17179869184 ~x2541220+8589934592 ~x2541219+4294967296 ~x2541218+2147483648 ~x2541217+1073741824 ~x2541216+536870912 ~x2541215+268435456 ~x2541214+134217728 ~x2541213+67108864 ~x2541212+33554432 ~x2541211+16777216 ~x2541210+8388608 ~x2541209+4194304 ~x2541208+2097152 ~x2541207+1048576 ~x2541206+524288 ~x2541205+262144 ~x2541204+131072 ~x2541203+65536 ~x2541202+32768 ~x2541201+16384 ~x2541200+8192 ~x2541199+4096 ~x2541198+2048 ~x2541197+1024 ~x2541196+512 ~x2541195+256 ~x2541194+128 ~x2541193+64 ~x2541192+32 ~x2541191+16 ~x2541190+8 ~x2541189+4 ~x2541188+2 ~x2541187+1 ~x2541186+1024000000 ~x1396+44560285696 ~x1141+22280142848 ~x1140+11140071424 ~x1139+5570035712 ~x1138+2785017856 ~x1137+1392508928 ~x1136+696254464 ~x1135+348127232 ~x1134+174063616 ~x1133+87031808 ~x1132+43515904 ~x1131+21757952 ~x1130+10878976 ~x1129+5439488 ~x1128+2719744 ~x1127+1359872 ~x1126+679936 ~x1125+339968 ~x1124+169984 ~x1123+84992 ~x1122+42496 ~x1121+21248 ~x1120+10624 ~x1119+5312 ~x1118+2656 ~x1117+1328 ~x1116+664 ~x1115+332 ~x1114+166 ~x1113+83 ~x1112+447213469696 ~x451+223606734848 ~x450+111803367424 ~x449+55901683712 ~x448+27950841856 ~x447+13975420928 ~x446+6987710464 ~x445+3493855232 ~x444+1746927616 ~x443+873463808 ~x442+436731904 ~x441+218365952 ~x440+109182976 ~x439+54591488 ~x438+27295744 ~x437+13647872 ~x436+6823936 ~x435+3411968 ~x434+1705984 ~x433+852992 ~x432+426496 ~x431+213248 ~x430+106624 ~x429+53312 ~x428+26656 ~x427+13328 ~x426+6664 ~x425+3332 ~x424+1666 ~x423+833 ~x422-0=2070771137643
60.37/60.42	c 549755813888 ~x2586266+274877906944 ~x2586265+137438953472 ~x2586264+68719476736 ~x2586263+34359738368 ~x2586262+17179869184 ~x2586261+8589934592 ~x2586260+4294967296 ~x2586259+2147483648 ~x2586258+1073741824 ~x2586257+536870912 ~x2586256+268435456 ~x2586255+134217728 ~x2586254+67108864 ~x2586253+33554432 ~x2586252+16777216 ~x2586251+8388608 ~x2586250+4194304 ~x2586249+2097152 ~x2586248+1048576 ~x2586247+524288 ~x2586246+262144 ~x2586245+131072 ~x2586244+65536 ~x2586243+32768 ~x2586242+16384 ~x2586241+8192 ~x2586240+4096 ~x2586239+2048 ~x2586238+1024 ~x2586237+512 ~x2586236+256 ~x2586235+128 ~x2586234+64 ~x2586233+32 ~x2586232+16 ~x2586231+8 ~x2586230+4 ~x2586229+2 ~x2586228+1 ~x2586227+1024000000 ~x1397+44560285696 ~x1171+22280142848 ~x1170+11140071424 ~x1169+5570035712 ~x1168+2785017856 ~x1167+1392508928 ~x1166+696254464 ~x1165+348127232 ~x1164+174063616 ~x1163+87031808 ~x1162+43515904 ~x1161+21757952 ~x1160+10878976 ~x1159+5439488 ~x1158+2719744 ~x1157+1359872 ~x1156+679936 ~x1155+339968 ~x1154+169984 ~x1153+84992 ~x1152+42496 ~x1151+21248 ~x1150+10624 ~x1149+5312 ~x1148+2656 ~x1147+1328 ~x1146+664 ~x1145+332 ~x1144+166 ~x1143+83 ~x1142+447213469696 ~x481+223606734848 ~x480+111803367424 ~x479+55901683712 ~x478+27950841856 ~x477+13975420928 ~x476+6987710464 ~x475+3493855232 ~x474+1746927616 ~x473+873463808 ~x472+436731904 ~x471+218365952 ~x470+109182976 ~x469+54591488 ~x468+27295744 ~x467+13647872 ~x466+6823936 ~x465+3411968 ~x464+1705984 ~x463+852992 ~x462+426496 ~x461+213248 ~x460+106624 ~x459+53312 ~x458+26656 ~x457+13328 ~x456+6664 ~x455+3332 ~x454+1666 ~x453+833 ~x452-0=1982707137643
61.37/61.45	c 549755813888 ~x2631307+274877906944 ~x2631306+137438953472 ~x2631305+68719476736 ~x2631304+34359738368 ~x2631303+17179869184 ~x2631302+8589934592 ~x2631301+4294967296 ~x2631300+2147483648 ~x2631299+1073741824 ~x2631298+536870912 ~x2631297+268435456 ~x2631296+134217728 ~x2631295+67108864 ~x2631294+33554432 ~x2631293+16777216 ~x2631292+8388608 ~x2631291+4194304 ~x2631290+2097152 ~x2631289+1048576 ~x2631288+524288 ~x2631287+262144 ~x2631286+131072 ~x2631285+65536 ~x2631284+32768 ~x2631283+16384 ~x2631282+8192 ~x2631281+4096 ~x2631280+2048 ~x2631279+1024 ~x2631278+512 ~x2631277+256 ~x2631276+128 ~x2631275+64 ~x2631274+32 ~x2631273+16 ~x2631272+8 ~x2631271+4 ~x2631270+2 ~x2631269+1 ~x2631268+1024000000 ~x1399+44560285696 ~x1231+22280142848 ~x1230+11140071424 ~x1229+5570035712 ~x1228+2785017856 ~x1227+1392508928 ~x1226+696254464 ~x1225+348127232 ~x1224+174063616 ~x1223+87031808 ~x1222+43515904 ~x1221+21757952 ~x1220+10878976 ~x1219+5439488 ~x1218+2719744 ~x1217+1359872 ~x1216+679936 ~x1215+339968 ~x1214+169984 ~x1213+84992 ~x1212+42496 ~x1211+21248 ~x1210+10624 ~x1209+5312 ~x1208+2656 ~x1207+1328 ~x1206+664 ~x1205+332 ~x1204+166 ~x1203+83 ~x1202+447213469696 ~x541+223606734848 ~x540+111803367424 ~x539+55901683712 ~x538+27950841856 ~x537+13975420928 ~x536+6987710464 ~x535+3493855232 ~x534+1746927616 ~x533+873463808 ~x532+436731904 ~x531+218365952 ~x530+109182976 ~x529+54591488 ~x528+27295744 ~x527+13647872 ~x526+6823936 ~x525+3411968 ~x524+1705984 ~x523+852992 ~x522+426496 ~x521+213248 ~x520+106624 ~x519+53312 ~x518+26656 ~x517+13328 ~x516+6664 ~x515+3332 ~x514+1666 ~x513+833 ~x512-0=2083059137643
62.47/62.50	c 549755813888 ~x2676348+274877906944 ~x2676347+137438953472 ~x2676346+68719476736 ~x2676345+34359738368 ~x2676344+17179869184 ~x2676343+8589934592 ~x2676342+4294967296 ~x2676341+2147483648 ~x2676340+1073741824 ~x2676339+536870912 ~x2676338+268435456 ~x2676337+134217728 ~x2676336+67108864 ~x2676335+33554432 ~x2676334+16777216 ~x2676333+8388608 ~x2676332+4194304 ~x2676331+2097152 ~x2676330+1048576 ~x2676329+524288 ~x2676328+262144 ~x2676327+131072 ~x2676326+65536 ~x2676325+32768 ~x2676324+16384 ~x2676323+8192 ~x2676322+4096 ~x2676321+2048 ~x2676320+1024 ~x2676319+512 ~x2676318+256 ~x2676317+128 ~x2676316+64 ~x2676315+32 ~x2676314+16 ~x2676313+8 ~x2676312+4 ~x2676311+2 ~x2676310+1 ~x2676309+1024000000 ~x1400+44560285696 ~x1261+22280142848 ~x1260+11140071424 ~x1259+5570035712 ~x1258+2785017856 ~x1257+1392508928 ~x1256+696254464 ~x1255+348127232 ~x1254+174063616 ~x1253+87031808 ~x1252+43515904 ~x1251+21757952 ~x1250+10878976 ~x1249+5439488 ~x1248+2719744 ~x1247+1359872 ~x1246+679936 ~x1245+339968 ~x1244+169984 ~x1243+84992 ~x1242+42496 ~x1241+21248 ~x1240+10624 ~x1239+5312 ~x1238+2656 ~x1237+1328 ~x1236+664 ~x1235+332 ~x1234+166 ~x1233+83 ~x1232+447213469696 ~x571+223606734848 ~x570+111803367424 ~x569+55901683712 ~x568+27950841856 ~x567+13975420928 ~x566+6987710464 ~x565+3493855232 ~x564+1746927616 ~x563+873463808 ~x562+436731904 ~x561+218365952 ~x560+109182976 ~x559+54591488 ~x558+27295744 ~x557+13647872 ~x556+6823936 ~x555+3411968 ~x554+1705984 ~x553+852992 ~x552+426496 ~x551+213248 ~x550+106624 ~x549+53312 ~x548+26656 ~x547+13328 ~x546+6664 ~x545+3332 ~x544+1666 ~x543+833 ~x542-0=2083059137643
63.47/63.54	c 549755813888 ~x2721389+274877906944 ~x2721388+137438953472 ~x2721387+68719476736 ~x2721386+34359738368 ~x2721385+17179869184 ~x2721384+8589934592 ~x2721383+4294967296 ~x2721382+2147483648 ~x2721381+1073741824 ~x2721380+536870912 ~x2721379+268435456 ~x2721378+134217728 ~x2721377+67108864 ~x2721376+33554432 ~x2721375+16777216 ~x2721374+8388608 ~x2721373+4194304 ~x2721372+2097152 ~x2721371+1048576 ~x2721370+524288 ~x2721369+262144 ~x2721368+131072 ~x2721367+65536 ~x2721366+32768 ~x2721365+16384 ~x2721364+8192 ~x2721363+4096 ~x2721362+2048 ~x2721361+1024 ~x2721360+512 ~x2721359+256 ~x2721358+128 ~x2721357+64 ~x2721356+32 ~x2721355+16 ~x2721354+8 ~x2721353+4 ~x2721352+2 ~x2721351+1 ~x2721350+1024000000 ~x1401+44560285696 ~x1291+22280142848 ~x1290+11140071424 ~x1289+5570035712 ~x1288+2785017856 ~x1287+1392508928 ~x1286+696254464 ~x1285+348127232 ~x1284+174063616 ~x1283+87031808 ~x1282+43515904 ~x1281+21757952 ~x1280+10878976 ~x1279+5439488 ~x1278+2719744 ~x1277+1359872 ~x1276+679936 ~x1275+339968 ~x1274+169984 ~x1273+84992 ~x1272+42496 ~x1271+21248 ~x1270+10624 ~x1269+5312 ~x1268+2656 ~x1267+1328 ~x1266+664 ~x1265+332 ~x1264+166 ~x1263+83 ~x1262+447213469696 ~x601+223606734848 ~x600+111803367424 ~x599+55901683712 ~x598+27950841856 ~x597+13975420928 ~x596+6987710464 ~x595+3493855232 ~x594+1746927616 ~x593+873463808 ~x592+436731904 ~x591+218365952 ~x590+109182976 ~x589+54591488 ~x588+27295744 ~x587+13647872 ~x586+6823936 ~x585+3411968 ~x584+1705984 ~x583+852992 ~x582+426496 ~x581+213248 ~x580+106624 ~x579+53312 ~x578+26656 ~x577+13328 ~x576+6664 ~x575+3332 ~x574+1666 ~x573+833 ~x572-0=2070771137643
64.46/64.57	c 549755813888 ~x2766430+274877906944 ~x2766429+137438953472 ~x2766428+68719476736 ~x2766427+34359738368 ~x2766426+17179869184 ~x2766425+8589934592 ~x2766424+4294967296 ~x2766423+2147483648 ~x2766422+1073741824 ~x2766421+536870912 ~x2766420+268435456 ~x2766419+134217728 ~x2766418+67108864 ~x2766417+33554432 ~x2766416+16777216 ~x2766415+8388608 ~x2766414+4194304 ~x2766413+2097152 ~x2766412+1048576 ~x2766411+524288 ~x2766410+262144 ~x2766409+131072 ~x2766408+65536 ~x2766407+32768 ~x2766406+16384 ~x2766405+8192 ~x2766404+4096 ~x2766403+2048 ~x2766402+1024 ~x2766401+512 ~x2766400+256 ~x2766399+128 ~x2766398+64 ~x2766397+32 ~x2766396+16 ~x2766395+8 ~x2766394+4 ~x2766393+2 ~x2766392+1 ~x2766391+1024000000 ~x1402+44560285696 ~x1321+22280142848 ~x1320+11140071424 ~x1319+5570035712 ~x1318+2785017856 ~x1317+1392508928 ~x1316+696254464 ~x1315+348127232 ~x1314+174063616 ~x1313+87031808 ~x1312+43515904 ~x1311+21757952 ~x1310+10878976 ~x1309+5439488 ~x1308+2719744 ~x1307+1359872 ~x1306+679936 ~x1305+339968 ~x1304+169984 ~x1303+84992 ~x1302+42496 ~x1301+21248 ~x1300+10624 ~x1299+5312 ~x1298+2656 ~x1297+1328 ~x1296+664 ~x1295+332 ~x1294+166 ~x1293+83 ~x1292+447213469696 ~x631+223606734848 ~x630+111803367424 ~x629+55901683712 ~x628+27950841856 ~x627+13975420928 ~x626+6987710464 ~x625+3493855232 ~x624+1746927616 ~x623+873463808 ~x622+436731904 ~x621+218365952 ~x620+109182976 ~x619+54591488 ~x618+27295744 ~x617+13647872 ~x616+6823936 ~x615+3411968 ~x614+1705984 ~x613+852992 ~x612+426496 ~x611+213248 ~x610+106624 ~x609+53312 ~x608+26656 ~x607+13328 ~x606+6664 ~x605+3332 ~x604+1666 ~x603+833 ~x602-0=2082035137643
65.56/65.61	c 549755813888 ~x2811471+274877906944 ~x2811470+137438953472 ~x2811469+68719476736 ~x2811468+34359738368 ~x2811467+17179869184 ~x2811466+8589934592 ~x2811465+4294967296 ~x2811464+2147483648 ~x2811463+1073741824 ~x2811462+536870912 ~x2811461+268435456 ~x2811460+134217728 ~x2811459+67108864 ~x2811458+33554432 ~x2811457+16777216 ~x2811456+8388608 ~x2811455+4194304 ~x2811454+2097152 ~x2811453+1048576 ~x2811452+524288 ~x2811451+262144 ~x2811450+131072 ~x2811449+65536 ~x2811448+32768 ~x2811447+16384 ~x2811446+8192 ~x2811445+4096 ~x2811444+2048 ~x2811443+1024 ~x2811442+512 ~x2811441+256 ~x2811440+128 ~x2811439+64 ~x2811438+32 ~x2811437+16 ~x2811436+8 ~x2811435+4 ~x2811434+2 ~x2811433+1 ~x2811432+1024000000 ~x1403+44560285696 ~x1351+22280142848 ~x1350+11140071424 ~x1349+5570035712 ~x1348+2785017856 ~x1347+1392508928 ~x1346+696254464 ~x1345+348127232 ~x1344+174063616 ~x1343+87031808 ~x1342+43515904 ~x1341+21757952 ~x1340+10878976 ~x1339+5439488 ~x1338+2719744 ~x1337+1359872 ~x1336+679936 ~x1335+339968 ~x1334+169984 ~x1333+84992 ~x1332+42496 ~x1331+21248 ~x1330+10624 ~x1329+5312 ~x1328+2656 ~x1327+1328 ~x1326+664 ~x1325+332 ~x1324+166 ~x1323+83 ~x1322+447213469696 ~x661+223606734848 ~x660+111803367424 ~x659+55901683712 ~x658+27950841856 ~x657+13975420928 ~x656+6987710464 ~x655+3493855232 ~x654+1746927616 ~x653+873463808 ~x652+436731904 ~x651+218365952 ~x650+109182976 ~x649+54591488 ~x648+27295744 ~x647+13647872 ~x646+6823936 ~x645+3411968 ~x644+1705984 ~x643+852992 ~x642+426496 ~x641+213248 ~x640+106624 ~x639+53312 ~x638+26656 ~x637+13328 ~x636+6664 ~x635+3332 ~x634+1666 ~x633+833 ~x632-0=2083059137643
66.57/66.64	c 549755813888 ~x2856512+274877906944 ~x2856511+137438953472 ~x2856510+68719476736 ~x2856509+34359738368 ~x2856508+17179869184 ~x2856507+8589934592 ~x2856506+4294967296 ~x2856505+2147483648 ~x2856504+1073741824 ~x2856503+536870912 ~x2856502+268435456 ~x2856501+134217728 ~x2856500+67108864 ~x2856499+33554432 ~x2856498+16777216 ~x2856497+8388608 ~x2856496+4194304 ~x2856495+2097152 ~x2856494+1048576 ~x2856493+524288 ~x2856492+262144 ~x2856491+131072 ~x2856490+65536 ~x2856489+32768 ~x2856488+16384 ~x2856487+8192 ~x2856486+4096 ~x2856485+2048 ~x2856484+1024 ~x2856483+512 ~x2856482+256 ~x2856481+128 ~x2856480+64 ~x2856479+32 ~x2856478+16 ~x2856477+8 ~x2856476+4 ~x2856475+2 ~x2856474+1 ~x2856473+1024000000 ~x1404+44560285696 ~x1381+22280142848 ~x1380+11140071424 ~x1379+5570035712 ~x1378+2785017856 ~x1377+1392508928 ~x1376+696254464 ~x1375+348127232 ~x1374+174063616 ~x1373+87031808 ~x1372+43515904 ~x1371+21757952 ~x1370+10878976 ~x1369+5439488 ~x1368+2719744 ~x1367+1359872 ~x1366+679936 ~x1365+339968 ~x1364+169984 ~x1363+84992 ~x1362+42496 ~x1361+21248 ~x1360+10624 ~x1359+5312 ~x1358+2656 ~x1357+1328 ~x1356+664 ~x1355+332 ~x1354+166 ~x1353+83 ~x1352+447213469696 ~x691+223606734848 ~x690+111803367424 ~x689+55901683712 ~x688+27950841856 ~x687+13975420928 ~x686+6987710464 ~x685+3493855232 ~x684+1746927616 ~x683+873463808 ~x682+436731904 ~x681+218365952 ~x680+109182976 ~x679+54591488 ~x678+27295744 ~x677+13647872 ~x676+6823936 ~x675+3411968 ~x674+1705984 ~x673+852992 ~x672+426496 ~x671+213248 ~x670+106624 ~x669+53312 ~x668+26656 ~x667+13328 ~x666+6664 ~x665+3332 ~x664+1666 ~x663+833 ~x662-0=2082035137643
67.57/67.68	c 549755813888 ~x2901553+274877906944 ~x2901552+137438953472 ~x2901551+68719476736 ~x2901550+34359738368 ~x2901549+17179869184 ~x2901548+8589934592 ~x2901547+4294967296 ~x2901546+2147483648 ~x2901545+1073741824 ~x2901544+536870912 ~x2901543+268435456 ~x2901542+134217728 ~x2901541+67108864 ~x2901540+33554432 ~x2901539+16777216 ~x2901538+8388608 ~x2901537+4194304 ~x2901536+2097152 ~x2901535+1048576 ~x2901534+524288 ~x2901533+262144 ~x2901532+131072 ~x2901531+65536 ~x2901530+32768 ~x2901529+16384 ~x2901528+8192 ~x2901527+4096 ~x2901526+2048 ~x2901525+1024 ~x2901524+512 ~x2901523+256 ~x2901522+128 ~x2901521+64 ~x2901520+32 ~x2901519+16 ~x2901518+8 ~x2901517+4 ~x2901516+2 ~x2901515+1 ~x2901514+1024000000 ~x1383+44560285696 ~x751+22280142848 ~x750+11140071424 ~x749+5570035712 ~x748+2785017856 ~x747+1392508928 ~x746+696254464 ~x745+348127232 ~x744+174063616 ~x743+87031808 ~x742+43515904 ~x741+21757952 ~x740+10878976 ~x739+5439488 ~x738+2719744 ~x737+1359872 ~x736+679936 ~x735+339968 ~x734+169984 ~x733+84992 ~x732+42496 ~x731+21248 ~x730+10624 ~x729+5312 ~x728+2656 ~x727+1328 ~x726+664 ~x725+332 ~x724+166 ~x723+83 ~x722+447213469696 ~x61+223606734848 ~x60+111803367424 ~x59+55901683712 ~x58+27950841856 ~x57+13975420928 ~x56+6987710464 ~x55+3493855232 ~x54+1746927616 ~x53+873463808 ~x52+436731904 ~x51+

ERROR: no interpretation found !

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2674164-1276800127/watcher-2674164-1276800127 -o /tmp/evaluation-result-2674164-1276800127/solver-2674164-1276800127 -C 1800 -W 2000 -M 1800 run HOME/instance-2674164-1276800127.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.98 1.00 0.99 3/106 26292
/proc/meminfo: memFree=1873816/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0

[startup+0.020492 s]
/proc/loadavg: 0.98 1.00 0.99 3/106 26292
/proc/meminfo: memFree=1873816/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.102062 s]
/proc/loadavg: 0.98 1.00 0.99 3/106 26292
/proc/meminfo: memFree=1873816/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301075 s]
/proc/loadavg: 0.98 1.00 0.99 3/106 26292
/proc/meminfo: memFree=1873816/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701109 s]
/proc/loadavg: 0.98 1.00 0.99 3/106 26292
/proc/meminfo: memFree=1873816/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50118 s]
/proc/loadavg: 0.98 1.00 0.99 2/108 26295
/proc/meminfo: memFree=1784396/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
[pid=26294] ppid=26292 vsize=100892 CPUtime=1.48
/proc/26294/stat : 26294 (PBPASSolver) R 26292 26292 25866 0 -1 4202496 28961 0 0 0 115 33 0 0 20 0 1 0 21307198 103313408 24347 1992294400 134512640 134902295 4290180640 18446744073709551615 4159796480 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/26294/statm: 25223 24347 262 96 0 24435 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 109592

[startup+3.10132 s]
/proc/loadavg: 0.98 1.00 0.99 2/108 26295
/proc/meminfo: memFree=1764680/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
[pid=26294] ppid=26292 vsize=130252 CPUtime=3.08
/proc/26294/stat : 26294 (PBPASSolver) R 26292 26292 25866 0 -1 4202496 36636 0 0 0 271 37 0 0 24 0 1 0 21307198 133378048 31654 1992294400 134512640 134902295 4290180640 18446744073709551615 4159819718 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/26294/statm: 32563 31654 262 96 0 31775 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 138952

[startup+6.30059 s]
/proc/loadavg: 0.98 1.00 0.99 2/108 26295
/proc/meminfo: memFree=1709376/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
[pid=26294] ppid=26292 vsize=186300 CPUtime=6.28
/proc/26294/stat : 26294 (PBPASSolver) R 26292 26292 25866 0 -1 4202496 51789 0 0 0 583 45 0 0 25 0 1 0 21307198 190771200 44508 1992294400 134512640 134902295 4290180640 18446744073709551615 4159835463 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/26294/statm: 46575 44508 262 96 0 45787 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 195000

[startup+12.7011 s]
/proc/loadavg: 0.98 1.00 0.99 2/108 26295
/proc/meminfo: memFree=1600380/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
[pid=26294] ppid=26292 vsize=299152 CPUtime=12.68
/proc/26294/stat : 26294 (PBPASSolver) R 26292 26292 25866 0 -1 4202496 82071 0 0 0 1210 58 0 0 25 0 1 0 21307198 306331648 72559 1992294400 134512640 134902295 4290180640 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/26294/statm: 74788 72559 262 96 0 74000 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 307852

[startup+25.5012 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 26297
/proc/meminfo: memFree=1372220/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
[pid=26294] ppid=26292 vsize=527576 CPUtime=25.48
/proc/26294/stat : 26294 (PBPASSolver) R 26292 26292 25866 0 -1 4202496 141564 0 0 0 2461 87 0 0 25 0 1 0 21307198 540237824 126422 1992294400 134512640 134902295 4290180640 18446744073709551615 134813690 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/26294/statm: 131894 126423 262 96 0 131106 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 536276

[startup+51.1015 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 26297
/proc/meminfo: memFree=907716/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
[pid=26294] ppid=26292 vsize=1000948 CPUtime=51.07
/proc/26294/stat : 26294 (PBPASSolver) R 26292 26292 25866 0 -1 4202496 260301 0 0 0 4970 137 0 0 25 0 1 0 21307198 1024970752 243495 1992294400 134512640 134902295 4290180640 18446744073709551615 134631608 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/26294/statm: 250237 243495 262 96 0 249449 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1009648

[startup+102.309 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 26299
/proc/meminfo: memFree=577876/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
[pid=26294] ppid=26292 vsize=1349580 CPUtime=102.26
/proc/26294/stat : 26294 (PBPASSolver) R 26292 26292 25866 0 -1 4202496 340262 0 0 0 10053 173 0 0 25 0 1 0 21307198 1381969920 323309 1992294400 134512640 134902295 4290180640 18446744073709551615 4159814517 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/26294/statm: 337395 323309 269 96 0 336607 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1358280

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 26299
/proc/meminfo: memFree=569568/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
[pid=26294] ppid=26292 vsize=1357872 CPUtime=162.24
/proc/26294/stat : 26294 (PBPASSolver) R 26292 26292 25866 0 -1 4202496 342339 0 0 0 16049 175 0 0 25 0 1 0 21307198 1390460928 325386 1992294400 134512640 134902295 4290180640 18446744073709551615 4159809617 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/26294/statm: 339468 325386 269 96 0 338680 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1366572

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 26301
/proc/meminfo: memFree=564360/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
[pid=26294] ppid=26292 vsize=1362972 CPUtime=222.22
/proc/26294/stat : 26294 (PBPASSolver) R 26292 26292 25866 0 -1 4202496 343622 0 0 0 22046 176 0 0 25 0 1 0 21307198 1395683328 326669 1992294400 134512640 134902295 4290180640 18446744073709551615 4159828989 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/26294/statm: 340743 326669 269 96 0 339955 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1371672

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 26303
/proc/meminfo: memFree=559276/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
[pid=26294] ppid=26292 vsize=1368128 CPUtime=282.21
/proc/26294/stat : 26294 (PBPASSolver) R 26292 26292 25866 0 -1 4202496 344895 0 0 0 28043 178 0 0 25 0 1 0 21307198 1400963072 327942 1992294400 134512640 134902295 4290180640 18446744073709551615 4159814868 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/26294/statm: 342032 327942 269 96 0 341244 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1376828

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 26305
/proc/meminfo: memFree=552332/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
[pid=26294] ppid=26292 vsize=1375140 CPUtime=342.2
/proc/26294/stat : 26294 (PBPASSolver) R 26292 26292 25866 0 -1 4202496 346636 0 0 0 34040 180 0 0 25 0 1 0 21307198 1408143360 329683 1992294400 134512640 134902295 4290180640 18446744073709551615 4159833931 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/26294/statm: 343785 329683 269 96 0 342997 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1383840

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 26307
/proc/meminfo: memFree=547992/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
[pid=26294] ppid=26292 vsize=1379548 CPUtime=402.19
/proc/26294/stat : 26294 (PBPASSolver) R 26292 26292 25866 0 -1 4202496 347698 0 0 0 40038 181 0 0 25 0 1 0 21307198 1412657152 330745 1992294400 134512640 134902295 4290180640 18446744073709551615 4159827196 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/26294/statm: 344887 330745 269 96 0 344099 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1388248

[startup+462.301 s]

################
# More data... #
################

/proc/26294/statm: 357143 342857 269 96 0 356355 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1437272

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 26338
/proc/meminfo: memFree=493372/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
[pid=26294] ppid=26292 vsize=1433608 CPUtime=1241.97
/proc/26294/stat : 26294 (PBPASSolver) R 26292 26292 25866 0 -1 4202496 361092 0 0 0 123999 198 0 0 25 0 1 0 21307198 1468014592 344139 1992294400 134512640 134902295 4290180640 18446744073709551615 4159814916 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/26294/statm: 358402 344139 269 96 0 357614 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1442308

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 26340
/proc/meminfo: memFree=488040/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
[pid=26294] ppid=26292 vsize=1438916 CPUtime=1301.96
/proc/26294/stat : 26294 (PBPASSolver) R 26292 26292 25866 0 -1 4202496 362421 0 0 0 129996 200 0 0 25 0 1 0 21307198 1473449984 345468 1992294400 134512640 134902295 4290180640 18446744073709551615 4159826144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/26294/statm: 359729 345468 269 96 0 358941 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1447616

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 26340
/proc/meminfo: memFree=483452/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
[pid=26294] ppid=26292 vsize=1443600 CPUtime=1361.94
/proc/26294/stat : 26294 (PBPASSolver) R 26292 26292 25866 0 -1 4202496 363600 0 0 0 135993 201 0 0 25 0 1 0 21307198 1478246400 346647 1992294400 134512640 134902295 4290180640 18446744073709551615 4159833818 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/26294/statm: 360900 346647 269 96 0 360112 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1452300

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 26342
/proc/meminfo: memFree=479608/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
[pid=26294] ppid=26292 vsize=1447496 CPUtime=1421.93
/proc/26294/stat : 26294 (PBPASSolver) R 26292 26292 25866 0 -1 4202496 364562 0 0 0 141991 202 0 0 25 0 1 0 21307198 1482235904 347609 1992294400 134512640 134902295 4290180640 18446744073709551615 4159814868 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/26294/statm: 361874 347609 269 96 0 361086 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1456196

[startup+1482.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/108 26344
/proc/meminfo: memFree=475268/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
[pid=26294] ppid=26292 vsize=1451720 CPUtime=1481.91
/proc/26294/stat : 26294 (PBPASSolver) R 26292 26292 25866 0 -1 4202496 365626 0 0 0 147988 203 0 0 25 0 1 0 21307198 1486561280 348673 1992294400 134512640 134902295 4290180640 18446744073709551615 4159808479 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/26294/statm: 362930 348673 269 96 0 362142 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1460420

[startup+1542.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/108 26346
/proc/meminfo: memFree=472168/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
[pid=26294] ppid=26292 vsize=1454772 CPUtime=1541.9
/proc/26294/stat : 26294 (PBPASSolver) R 26292 26292 25866 0 -1 4202496 366400 0 0 0 153985 205 0 0 25 0 1 0 21307198 1489686528 349447 1992294400 134512640 134902295 4290180640 18446744073709551615 4159808501 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/26294/statm: 363693 349447 269 96 0 362905 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1463472

[startup+1602.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/108 26348
/proc/meminfo: memFree=470680/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
[pid=26294] ppid=26292 vsize=1456116 CPUtime=1601.88
/proc/26294/stat : 26294 (PBPASSolver) R 26292 26292 25866 0 -1 4202496 366753 0 0 0 159983 205 0 0 25 0 1 0 21307198 1491062784 349800 1992294400 134512640 134902295 4290180640 18446744073709551615 4159833818 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/26294/statm: 364029 349800 269 96 0 363241 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1464816

[startup+1662.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/108 26348
/proc/meminfo: memFree=469316/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
[pid=26294] ppid=26292 vsize=1457504 CPUtime=1661.87
/proc/26294/stat : 26294 (PBPASSolver) R 26292 26292 25866 0 -1 4202496 367071 0 0 0 165982 205 0 0 25 0 1 0 21307198 1492484096 350118 1992294400 134512640 134902295 4290180640 18446744073709551615 4159826046 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/26294/statm: 364376 350118 269 96 0 363588 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1466204

[startup+1722.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/108 26350
/proc/meminfo: memFree=468200/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
[pid=26294] ppid=26292 vsize=1458560 CPUtime=1721.85
/proc/26294/stat : 26294 (PBPASSolver) R 26292 26292 25866 0 -1 4202496 367353 0 0 0 171980 205 0 0 25 0 1 0 21307198 1493565440 350400 1992294400 134512640 134902295 4290180640 18446744073709551615 4159826046 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/26294/statm: 364640 350400 269 96 0 363852 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1467260

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 26352
/proc/meminfo: memFree=464976/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
[pid=26294] ppid=26292 vsize=1461596 CPUtime=1781.84
/proc/26294/stat : 26294 (PBPASSolver) R 26292 26292 25866 0 -1 4202496 368120 0 0 0 177978 206 0 0 25 0 1 0 21307198 1496674304 351167 1992294400 134512640 134902295 4290180640 18446744073709551615 4159795942 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/26294/statm: 365399 351167 269 96 0 364611 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1470296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 26352
/proc/meminfo: memFree=464356/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
[pid=26294] ppid=26292 vsize=1462320 CPUtime=1800.04
/proc/26294/stat : 26294 (PBPASSolver) R 26292 26292 25866 0 -1 4202496 368277 0 0 0 179798 206 0 0 25 0 1 0 21307198 1497415680 351324 1992294400 134512640 134902295 4290180640 18446744073709551615 4159826046 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/26294/statm: 365580 351324 269 96 0 364792 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1471020

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 26352
/proc/meminfo: memFree=464356/2059040 swapFree=4139880/4192956
[pid=26292] ppid=26290 vsize=8700 CPUtime=0
/proc/26292/stat : 26292 (run) S 26290 26292 25866 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21307198 8908800 251 1992294400 4194304 4922060 140734784800272 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26292/statm: 2175 251 211 178 0 68 0
[pid=26294] ppid=26292 vsize=1462320 CPUtime=1800.04
/proc/26294/stat : 26294 (PBPASSolver) R 26292 26292 25866 0 -1 4202496 368277 0 0 0 179798 206 0 0 25 0 1 0 21307198 1497415680 351324 1992294400 134512640 134902295 4290180640 18446744073709551615 4159826046 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/26294/statm: 365580 351324 269 96 0 364792 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1471020

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26292 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.002998
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.52
CPU time (s): 1800.04
CPU user time (s): 1797.98
CPU system time (s): 2.06
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 1471020

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

runsolver used 3.2635 second user time and 8.22575 second system time

The end

Begin job on node031 at 2010-06-17 20:42:07
IDJOB=2674164
IDBENCH=2483
IDSOLVER=1174
FILE ID=node031/2674164-1276800127
PBS_JOBID= 11176670
Free space on /tmp= 62576 MiB

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

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

MD5SUM BENCH= efa7fb1a840e9d48ac9b28aadc8f53ba
RANDOM SEED=1560954721

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1874336 kB
Buffers:          9988 kB
Cached:          84580 kB
SwapCached:       5568 kB
Active:           8696 kB
Inactive:        98224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1874336 kB
SwapTotal:     4192956 kB
SwapFree:      4139880 kB
Dirty:             784 kB
Writeback:           8 kB
AnonPages:       10912 kB
Mapped:          12932 kB
Slab:            55660 kB
PageTables:       4120 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181968 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62576 MiB
End job on node031 at 2010-06-17 21:12:10