1.19/1.28	c 3671 159 0 0 0 0 0 0
1.19/1.28	c 32768 ~x3688+16384 ~x3687+8192 ~x3686+4096 ~x3685+2048 ~x3684+1024 ~x3683+512 ~x3682+256 ~x3681+128 ~x3680+64 ~x3679+32 ~x3678+16 ~x3677+8 ~x3676+4 ~x3675+2 ~x3674+1 ~x3673+32768 ~x1508+16384 ~x1507+8192 ~x1506+4096 ~x1505+2048 ~x1504+1024 ~x1503+512 ~x1502+256 ~x1501+128 ~x1500+64 ~x1499+32 ~x1498+16 ~x1497+8 ~x1496+4 ~x1495+2 ~x1494+1 ~x1493-0=102398
1.29/1.39	c 16384 ~x8149+8192 ~x8148+4096 ~x8147+2048 ~x8146+1024 ~x8145+512 ~x8144+256 ~x8143+128 ~x8142+64 ~x8141+32 ~x8140+16 ~x8139+8 ~x8138+4 ~x8137+2 ~x8136+1 ~x8135+16384 ~x1641+8192 ~x1640+4096 ~x1639+2048 ~x1638+1024 ~x1637+512 ~x1636+256 ~x1635+128 ~x1634+64 ~x1633+32 ~x1632+16 ~x1631+8 ~x1630+4 ~x1629+2 ~x1628+1 ~x1627-0=58366
1.39/1.49	c 32768 ~x12027+16384 ~x12026+8192 ~x12025+4096 ~x12024+2048 ~x12023+1024 ~x12022+512 ~x12021+256 ~x12020+128 ~x12019+64 ~x12018+32 ~x12017+16 ~x12016+8 ~x12015+4 ~x12014+2 ~x12013+1 ~x12012+32768 ~x1764+16384 ~x1763+8192 ~x1762+4096 ~x1761+2048 ~x1760+1024 ~x1759+512 ~x1758+256 ~x1757+128 ~x1756+64 ~x1755+32 ~x1754+16 ~x1753+8 ~x1752+4 ~x1751+2 ~x1750+1 ~x1749-0=107518
1.59/1.60	c 2048 ~x16485+1024 ~x16484+512 ~x16483+256 ~x16482+128 ~x16481+64 ~x16480+32 ~x16479+16 ~x16478+8 ~x16477+4 ~x16476+2 ~x16475+1 ~x16474+2048 ~x1889+1024 ~x1888+512 ~x1887+256 ~x1886+128 ~x1885+64 ~x1884+32 ~x1883+16 ~x1882+8 ~x1881+4 ~x1880+2 ~x1879+1 ~x1878-0=7166
1.59/1.65	c 512 ~x18715+256 ~x18714+128 ~x18713+64 ~x18712+32 ~x18711+16 ~x18710+8 ~x18709+4 ~x18708+2 ~x18707+1 ~x18706+512 ~x2007+256 ~x2006+128 ~x2005+64 ~x2004+32 ~x2003+16 ~x2002+8 ~x2001+4 ~x2000+2 ~x1999+1 ~x1998-0=2046
1.59/1.69	c 8192 ~x20020+4096 ~x20019+2048 ~x20018+1024 ~x20017+512 ~x20016+256 ~x20015+128 ~x20014+64 ~x20013+32 ~x20012+16 ~x20011+8 ~x20010+4 ~x20009+2 ~x20008+1 ~x20007+8192 ~x2072+4096 ~x2071+2048 ~x2070+1024 ~x2069+512 ~x2068+256 ~x2067+128 ~x2066+64 ~x2065+32 ~x2064+16 ~x2063+8 ~x2062+4 ~x2061+2 ~x2060+1 ~x2059-0=28670
1.78/1.80	c 512 ~x23574+256 ~x23573+128 ~x23572+64 ~x23571+32 ~x23570+16 ~x23569+8 ~x23568+4 ~x23567+2 ~x23566+1 ~x23565+512 ~x2190+256 ~x2189+128 ~x2188+64 ~x2187+32 ~x2186+16 ~x2185+8 ~x2184+4 ~x2183+2 ~x2182+1 ~x2181-0=2046
1.78/1.83	c 2048 ~x24877+1024 ~x24876+512 ~x24875+256 ~x24874+128 ~x24873+64 ~x24872+32 ~x24871+16 ~x24870+8 ~x24869+4 ~x24868+2 ~x24867+1 ~x24866+2048 ~x2202+1024 ~x2201+512 ~x2200+256 ~x2199+128 ~x2198+64 ~x2197+32 ~x2196+16 ~x2195+8 ~x2194+4 ~x2193+2 ~x2192+1 ~x2191-0=8190
1.78/1.89	c 8192 ~x27111+4096 ~x27110+2048 ~x27109+1024 ~x27108+512 ~x27107+256 ~x27106+128 ~x27105+64 ~x27104+32 ~x27103+16 ~x27102+8 ~x27101+4 ~x27100+2 ~x27099+1 ~x27098+8192 ~x2321+4096 ~x2320+2048 ~x2319+1024 ~x2318+512 ~x2317+256 ~x2316+128 ~x2315+64 ~x2314+32 ~x2313+16 ~x2312+8 ~x2311+4 ~x2310+2 ~x2309+1 ~x2308-0=28670
1.88/1.98	c 32768 ~x30671+16384 ~x30670+8192 ~x30669+4096 ~x30668+2048 ~x30667+1024 ~x30666+512 ~x30665+256 ~x30664+128 ~x30663+64 ~x30662+32 ~x30661+16 ~x30660+8 ~x30659+4 ~x30658+2 ~x30657+1 ~x30656+32768 ~x2444+16384 ~x2443+8192 ~x2442+4096 ~x2441+2048 ~x2440+1024 ~x2439+512 ~x2438+256 ~x2437+128 ~x2436+64 ~x2435+32 ~x2434+16 ~x2433+8 ~x2432+4 ~x2431+2 ~x2430+1 ~x2429-0=123902
1.99/2.09	c 65536 ~x35134+32768 ~x35133+16384 ~x35132+8192 ~x35131+4096 ~x35130+2048 ~x35129+1024 ~x35128+512 ~x35127+256 ~x35126+128 ~x35125+64 ~x35124+32 ~x35123+16 ~x35122+8 ~x35121+4 ~x35120+2 ~x35119+1 ~x35118+65536 ~x1526+32768 ~x1525+16384 ~x1524+8192 ~x1523+4096 ~x1522+2048 ~x1521+1024 ~x1520+512 ~x1519+256 ~x1518+128 ~x1517+64 ~x1516+32 ~x1515+16 ~x1514+8 ~x1513+4 ~x1512+2 ~x1511+1 ~x1510-0=260094
2.09/2.20	c 16384 ~x40078+8192 ~x40077+4096 ~x40076+2048 ~x40075+1024 ~x40074+512 ~x40073+256 ~x40072+128 ~x40071+64 ~x40070+32 ~x40069+16 ~x40068+8 ~x40067+4 ~x40066+2 ~x40065+1 ~x40064+16384 ~x1657+8192 ~x1656+4096 ~x1655+2048 ~x1654+1024 ~x1653+512 ~x1652+256 ~x1651+128 ~x1650+64 ~x1649+32 ~x1648+16 ~x1647+8 ~x1646+4 ~x1645+2 ~x1644+1 ~x1643-0=52222
2.19/2.30	c 8192 ~x43954+4096 ~x43953+2048 ~x43952+1024 ~x43951+512 ~x43950+256 ~x43949+128 ~x43948+64 ~x43947+32 ~x43946+16 ~x43945+8 ~x43944+4 ~x43943+2 ~x43942+1 ~x43941+8192 ~x1779+4096 ~x1778+2048 ~x1777+1024 ~x1776+512 ~x1775+256 ~x1774+128 ~x1773+64 ~x1772+32 ~x1771+16 ~x1770+8 ~x1769+4 ~x1768+2 ~x1767+1 ~x1766-0=27646
2.28/2.38	c 8192 ~x47512+4096 ~x47511+2048 ~x47510+1024 ~x47509+512 ~x47508+256 ~x47507+128 ~x47506+64 ~x47505+32 ~x47504+16 ~x47503+8 ~x47502+4 ~x47501+2 ~x47500+1 ~x47499+8192 ~x1906+4096 ~x1905+2048 ~x1904+1024 ~x1903+512 ~x1902+256 ~x1901+128 ~x1900+64 ~x1899+32 ~x1898+16 ~x1897+8 ~x1896+4 ~x1895+2 ~x1894+1 ~x1893-0=25598
2.39/2.47	c 32768 ~x51072+16384 ~x51071+8192 ~x51070+4096 ~x51069+2048 ~x51068+1024 ~x51067+512 ~x51066+256 ~x51065+128 ~x51064+64 ~x51063+32 ~x51062+16 ~x51061+8 ~x51060+4 ~x51059+2 ~x51058+1 ~x51057+32768 ~x2023+16384 ~x2022+8192 ~x2021+4096 ~x2020+2048 ~x2019+1024 ~x2018+512 ~x2017+256 ~x2016+128 ~x2015+64 ~x2014+32 ~x2013+16 ~x2012+8 ~x2011+4 ~x2010+2 ~x2009+1 ~x2008-0=119806
2.48/2.58	c 8192 ~x55532+4096 ~x55531+2048 ~x55530+1024 ~x55529+512 ~x55528+256 ~x55527+128 ~x55526+64 ~x55525+32 ~x55524+16 ~x55523+8 ~x55522+4 ~x55521+2 ~x55520+1 ~x55519+8192 ~x2087+4096 ~x2086+2048 ~x2085+1024 ~x2084+512 ~x2083+256 ~x2082+128 ~x2081+64 ~x2080+32 ~x2079+16 ~x2078+8 ~x2077+4 ~x2076+2 ~x2075+1 ~x2074-0=32766
2.58/2.67	c 32768 ~x59092+16384 ~x59091+8192 ~x59090+4096 ~x59089+2048 ~x59088+1024 ~x59087+512 ~x59086+256 ~x59085+128 ~x59084+64 ~x59083+32 ~x59082+16 ~x59081+8 ~x59080+4 ~x59079+2 ~x59078+1 ~x59077+32768 ~x2221+16384 ~x2220+8192 ~x2219+4096 ~x2218+2048 ~x2217+1024 ~x2216+512 ~x2215+256 ~x2214+128 ~x2213+64 ~x2212+32 ~x2211+16 ~x2210+8 ~x2209+4 ~x2208+2 ~x2207+1 ~x2206-0=121854
2.68/2.78	c 16384 ~x63553+8192 ~x63552+4096 ~x63551+2048 ~x63550+1024 ~x63549+512 ~x63548+256 ~x63547+128 ~x63546+64 ~x63545+32 ~x63544+16 ~x63543+8 ~x63542+4 ~x63541+2 ~x63540+1 ~x63539+16384 ~x2337+8192 ~x2336+4096 ~x2335+2048 ~x2334+1024 ~x2333+512 ~x2332+256 ~x2331+128 ~x2330+64 ~x2329+32 ~x2328+16 ~x2327+8 ~x2326+4 ~x2325+2 ~x2324+1 ~x2323-0=65534
2.78/2.88	c 65536 ~x67432+32768 ~x67431+16384 ~x67430+8192 ~x67429+4096 ~x67428+2048 ~x67427+1024 ~x67426+512 ~x67425+256 ~x67424+128 ~x67423+64 ~x67422+32 ~x67421+16 ~x67420+8 ~x67419+4 ~x67418+2 ~x67417+1 ~x67416+65536 ~x2462+32768 ~x2461+16384 ~x2460+8192 ~x2459+4096 ~x2458+2048 ~x2457+1024 ~x2456+512 ~x2455+256 ~x2454+128 ~x2453+64 ~x2452+32 ~x2451+16 ~x2450+8 ~x2449+4 ~x2448+2 ~x2447+1 ~x2446-0=235518
2.98/3.00	c 4096 ~x72374+2048 ~x72373+1024 ~x72372+512 ~x72371+256 ~x72370+128 ~x72369+64 ~x72368+32 ~x72367+16 ~x72366+8 ~x72365+4 ~x72364+2 ~x72363+1 ~x72362+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=15358
2.98/3.06	c 16384 ~x74954+8192 ~x74953+4096 ~x74952+2048 ~x74951+1024 ~x74950+512 ~x74949+256 ~x74948+128 ~x74947+64 ~x74946+32 ~x74945+16 ~x74944+8 ~x74943+4 ~x74942+2 ~x74941+1 ~x74940+16384 ~x1542+8192 ~x1541+4096 ~x1540+2048 ~x1539+1024 ~x1538+512 ~x1537+256 ~x1536+128 ~x1535+64 ~x1534+32 ~x1533+16 ~x1532+8 ~x1531+4 ~x1530+2 ~x1529+1 ~x1528-0=57342
3.09/3.16	c 4096 ~x78829+2048 ~x78828+1024 ~x78827+512 ~x78826+256 ~x78825+128 ~x78824+64 ~x78823+32 ~x78822+16 ~x78821+8 ~x78820+4 ~x78819+2 ~x78818+1 ~x78817+4096 ~x1671+2048 ~x1670+1024 ~x1669+512 ~x1668+256 ~x1667+128 ~x1666+64 ~x1665+32 ~x1664+16 ~x1663+8 ~x1662+4 ~x1661+2 ~x1660+1 ~x1659-0=15358
3.19/3.22	c 32768 ~x81410+16384 ~x81409+8192 ~x81408+4096 ~x81407+2048 ~x81406+1024 ~x81405+512 ~x81404+256 ~x81403+128 ~x81402+64 ~x81401+32 ~x81400+16 ~x81399+8 ~x81398+4 ~x81397+2 ~x81396+1 ~x81395+32768 ~x1797+16384 ~x1796+8192 ~x1795+4096 ~x1794+2048 ~x1793+1024 ~x1792+512 ~x1791+256 ~x1790+128 ~x1789+64 ~x1788+32 ~x1787+16 ~x1786+8 ~x1785+4 ~x1784+2 ~x1783+1 ~x1782-0=127998
3.29/3.33	c 512 ~x85866+256 ~x85865+128 ~x85864+64 ~x85863+32 ~x85862+16 ~x85861+8 ~x85860+4 ~x85859+2 ~x85858+1 ~x85857+512 ~x1918+256 ~x1917+128 ~x1916+64 ~x1915+32 ~x1914+16 ~x1913+8 ~x1912+4 ~x1911+2 ~x1910+1 ~x1909-0=2046
3.29/3.37	c 4096 ~x87171+2048 ~x87170+1024 ~x87169+512 ~x87168+256 ~x87167+128 ~x87166+64 ~x87165+32 ~x87164+16 ~x87163+8 ~x87162+4 ~x87161+2 ~x87160+1 ~x87159+4096 ~x2103+2048 ~x2102+1024 ~x2101+512 ~x2100+256 ~x2099+128 ~x2098+64 ~x2097+32 ~x2096+16 ~x2095+8 ~x2094+4 ~x2093+2 ~x2092+1 ~x2091-0=16382
3.38/3.44	c 512 ~x89746+256 ~x89745+128 ~x89744+64 ~x89743+32 ~x89742+16 ~x89741+8 ~x89740+4 ~x89739+2 ~x89738+1 ~x89737+512 ~x2232+256 ~x2231+128 ~x2230+64 ~x2229+32 ~x2228+16 ~x2227+8 ~x2226+4 ~x2225+2 ~x2224+1 ~x2223-0=2046
3.38/3.47	c 8192 ~x91052+4096 ~x91051+2048 ~x91050+1024 ~x91049+512 ~x91048+256 ~x91047+128 ~x91046+64 ~x91045+32 ~x91044+16 ~x91043+8 ~x91042+4 ~x91041+2 ~x91040+1 ~x91039+8192 ~x2355+4096 ~x2354+2048 ~x2353+1024 ~x2352+512 ~x2351+256 ~x2350+128 ~x2349+64 ~x2348+32 ~x2347+16 ~x2346+8 ~x2345+4 ~x2344+2 ~x2343+1 ~x2342-0=28670
3.48/3.56	c 2048 ~x94608+1024 ~x94607+512 ~x94606+256 ~x94605+128 ~x94604+64 ~x94603+32 ~x94602+16 ~x94601+8 ~x94600+4 ~x94599+2 ~x94598+1 ~x94597+2048 ~x2475+1024 ~x2474+512 ~x2473+256 ~x2472+128 ~x2471+64 ~x2470+32 ~x2469+16 ~x2468+8 ~x2467+4 ~x2466+2 ~x2465+1 ~x2464-0=7166
3.59/3.61	c 65536 ~x96845+32768 ~x96844+16384 ~x96843+8192 ~x96842+4096 ~x96841+2048 ~x96840+1024 ~x96839+512 ~x96838+256 ~x96837+128 ~x96836+64 ~x96835+32 ~x96834+16 ~x96833+8 ~x96832+4 ~x96831+2 ~x96830+1 ~x96829+65536 ~x1560+32768 ~x1559+16384 ~x1558+8192 ~x1557+4096 ~x1556+2048 ~x1555+1024 ~x1554+512 ~x1553+256 ~x1552+128 ~x1551+64 ~x1550+32 ~x1549+16 ~x1548+8 ~x1547+4 ~x1546+2 ~x1545+1 ~x1544-0=260094
3.68/3.73	c 8192 ~x101788+4096 ~x101787+2048 ~x101786+1024 ~x101785+512 ~x101784+256 ~x101783+128 ~x101782+64 ~x101781+32 ~x101780+16 ~x101779+8 ~x101778+4 ~x101777+2 ~x101776+1 ~x101775+8192 ~x1687+4096 ~x1686+2048 ~x1685+1024 ~x1684+512 ~x1683+256 ~x1682+128 ~x1681+64 ~x1680+32 ~x1679+16 ~x1678+8 ~x1677+4 ~x1676+2 ~x1675+1 ~x1674-0=25598
3.79/3.82	c 32768 ~x105348+16384 ~x105347+8192 ~x105346+4096 ~x105345+2048 ~x105344+1024 ~x105343+512 ~x105342+256 ~x105341+128 ~x105340+64 ~x105339+32 ~x105338+16 ~x105337+8 ~x105336+4 ~x105335+2 ~x105334+1 ~x105333+32768 ~x1814+16384 ~x1813+8192 ~x1812+4096 ~x1811+2048 ~x1810+1024 ~x1809+512 ~x1808+256 ~x1807+128 ~x1806+64 ~x1805+32 ~x1804+16 ~x1803+8 ~x1802+4 ~x1801+2 ~x1800+1 ~x1799-0=101374
3.88/3.93	c 2048 ~x109806+1024 ~x109805+512 ~x109804+256 ~x109803+128 ~x109802+64 ~x109801+32 ~x109800+16 ~x109799+8 ~x109798+4 ~x109797+2 ~x109796+1 ~x109795+2048 ~x1934+1024 ~x1933+512 ~x1932+256 ~x1931+128 ~x1930+64 ~x1929+32 ~x1928+16 ~x1927+8 ~x1926+4 ~x1925+2 ~x1924+1 ~x1923-0=8190
3.88/3.98	c 32768 ~x112042+16384 ~x112041+8192 ~x112040+4096 ~x112039+2048 ~x112038+1024 ~x112037+512 ~x112036+256 ~x112035+128 ~x112034+64 ~x112033+32 ~x112032+16 ~x112031+8 ~x112030+4 ~x112029+2 ~x112028+1 ~x112027+32768 ~x2040+16384 ~x2039+8192 ~x2038+4096 ~x2037+2048 ~x2036+1024 ~x2035+512 ~x2034+256 ~x2033+128 ~x2032+64 ~x2031+32 ~x2030+16 ~x2029+8 ~x2028+4 ~x2027+2 ~x2026+1 ~x2025-0=119806
3.98/4.09	c 8192 ~x116502+4096 ~x116501+2048 ~x116500+1024 ~x116499+512 ~x116498+256 ~x116497+128 ~x116496+64 ~x116495+32 ~x116494+16 ~x116493+8 ~x116492+4 ~x116491+2 ~x116490+1 ~x116489+8192 ~x2118+4096 ~x2117+2048 ~x2116+1024 ~x2115+512 ~x2114+256 ~x2113+128 ~x2112+64 ~x2111+32 ~x2110+16 ~x2109+8 ~x2108+4 ~x2107+2 ~x2106+1 ~x2105-0=29694
4.09/4.18	c 32768 ~x120062+16384 ~x120061+8192 ~x120060+4096 ~x120059+2048 ~x120058+1024 ~x120057+512 ~x120056+256 ~x120055+128 ~x120054+64 ~x120053+32 ~x120052+16 ~x120051+8 ~x120050+4 ~x120049+2 ~x120048+1 ~x120047+32768 ~x2250+16384 ~x2249+8192 ~x2248+4096 ~x2247+2048 ~x2246+1024 ~x2245+512 ~x2244+256 ~x2243+128 ~x2242+64 ~x2241+32 ~x2240+16 ~x2239+8 ~x2238+4 ~x2237+2 ~x2236+1 ~x2235-0=127998
4.18/4.29	c 16384 ~x124523+8192 ~x124522+4096 ~x124521+2048 ~x124520+1024 ~x124519+512 ~x124518+256 ~x124517+128 ~x124516+64 ~x124515+32 ~x124514+16 ~x124513+8 ~x124512+4 ~x124511+2 ~x124510+1 ~x124509+16384 ~x2371+8192 ~x2370+4096 ~x2369+2048 ~x2368+1024 ~x2367+512 ~x2366+256 ~x2365+128 ~x2364+64 ~x2363+32 ~x2362+16 ~x2361+8 ~x2360+4 ~x2359+2 ~x2358+1 ~x2357-0=65534
4.29/4.38	c 65536 ~x128402+32768 ~x128401+16384 ~x128400+8192 ~x128399+4096 ~x128398+2048 ~x128397+1024 ~x128396+512 ~x128395+256 ~x128394+128 ~x128393+64 ~x128392+32 ~x128391+16 ~x128390+8 ~x128389+4 ~x128388+2 ~x128387+1 ~x128386+65536 ~x2496+32768 ~x2495+16384 ~x2494+8192 ~x2493+4096 ~x2492+2048 ~x2491+1024 ~x2490+512 ~x2489+256 ~x2488+128 ~x2487+64 ~x2486+32 ~x2485+16 ~x2484+8 ~x2483+4 ~x2482+2 ~x2481+1 ~x2480-0=235518
4.49/4.50	c 4096 ~x133344+2048 ~x133343+1024 ~x133342+512 ~x133341+256 ~x133340+128 ~x133339+64 ~x133338+32 ~x133337+16 ~x133336+8 ~x133335+4 ~x133334+2 ~x133333+1 ~x133332+4096 ~x1411+2048 ~x1410+1024 ~x1409+512 ~x1408+256 ~x1407+128 ~x1406+64 ~x1405+32 ~x1404+16 ~x1403+8 ~x1402+4 ~x1401+2 ~x1400+1 ~x1399-0=15358
4.49/4.56	c 16384 ~x135924+8192 ~x135923+4096 ~x135922+2048 ~x135921+1024 ~x135920+512 ~x135919+256 ~x135918+128 ~x135917+64 ~x135916+32 ~x135915+16 ~x135914+8 ~x135913+4 ~x135912+2 ~x135911+1 ~x135910+16384 ~x1576+8192 ~x1575+4096 ~x1574+2048 ~x1573+1024 ~x1572+512 ~x1571+256 ~x1570+128 ~x1569+64 ~x1568+32 ~x1567+16 ~x1566+8 ~x1565+4 ~x1564+2 ~x1563+1 ~x1562-0=57342
4.59/4.69	c 512 ~x139796+256 ~x139795+128 ~x139794+64 ~x139793+32 ~x139792+16 ~x139791+8 ~x139790+4 ~x139789+2 ~x139788+1 ~x139787+512 ~x1699+256 ~x1698+128 ~x1697+64 ~x1696+32 ~x1695+16 ~x1694+8 ~x1693+4 ~x1692+2 ~x1691+1 ~x1690-0=2046
4.59/4.69	c 4096 ~x141101+2048 ~x141100+1024 ~x141099+512 ~x141098+256 ~x141097+128 ~x141096+64 ~x141095+32 ~x141094+16 ~x141093+8 ~x141092+4 ~x141091+2 ~x141090+1 ~x141089+4096 ~x1828+2048 ~x1827+1024 ~x1826+512 ~x1825+256 ~x1824+128 ~x1823+64 ~x1822+32 ~x1821+16 ~x1820+8 ~x1819+4 ~x1818+2 ~x1817+1 ~x1816-0=13310
4.68/4.75	c 4096 ~x143679+2048 ~x143678+1024 ~x143677+512 ~x143676+256 ~x143675+128 ~x143674+64 ~x143673+32 ~x143672+16 ~x143671+8 ~x143670+4 ~x143669+2 ~x143668+1 ~x143667+4096 ~x1951+2048 ~x1950+1024 ~x1949+512 ~x1948+256 ~x1947+128 ~x1946+64 ~x1945+32 ~x1944+16 ~x1943+8 ~x1942+4 ~x1941+2 ~x1940+1 ~x1939-0=14334
4.78/4.81	c 2048 ~x146256+1024 ~x146255+512 ~x146254+256 ~x146253+128 ~x146252+64 ~x146251+32 ~x146250+16 ~x146249+8 ~x146248+4 ~x146247+2 ~x146246+1 ~x146245+2048 ~x2133+1024 ~x2132+512 ~x2131+256 ~x2130+128 ~x2129+64 ~x2128+32 ~x2127+16 ~x2126+8 ~x2125+4 ~x2124+2 ~x2123+1 ~x2122-0=7166
4.78/4.87	c 512 ~x148486+256 ~x148485+128 ~x148484+64 ~x148483+32 ~x148482+16 ~x148481+8 ~x148480+4 ~x148479+2 ~x148478+1 ~x148477+512 ~x2261+256 ~x2260+128 ~x2259+64 ~x2258+32 ~x2257+16 ~x2256+8 ~x2255+4 ~x2254+2 ~x2253+1 ~x2252-0=2046
4.89/4.90	c 8192 ~x149792+4096 ~x149791+2048 ~x149790+1024 ~x149789+512 ~x149788+256 ~x149787+128 ~x149786+64 ~x149785+32 ~x149784+16 ~x149783+8 ~x149782+4 ~x149781+2 ~x149780+1 ~x149779+8192 ~x2389+4096 ~x2388+2048 ~x2387+1024 ~x2386+512 ~x2385+256 ~x2384+128 ~x2383+64 ~x2382+32 ~x2381+16 ~x2380+8 ~x2379+4 ~x2378+2 ~x2377+1 ~x2376-0=28670
4.89/4.99	c 2048 ~x153348+1024 ~x153347+512 ~x153346+256 ~x153345+128 ~x153344+64 ~x153343+32 ~x153342+16 ~x153341+8 ~x153340+4 ~x153339+2 ~x153338+1 ~x153337+2048 ~x2509+1024 ~x2508+512 ~x2507+256 ~x2506+128 ~x2505+64 ~x2504+32 ~x2503+16 ~x2502+8 ~x2501+4 ~x2500+2 ~x2499+1 ~x2498-0=7166
4.98/5.05	c 65536 ~x155585+32768 ~x155584+16384 ~x155583+8192 ~x155582+4096 ~x155581+2048 ~x155580+1024 ~x155579+512 ~x155578+256 ~x155577+128 ~x155576+64 ~x155575+32 ~x155574+16 ~x155573+8 ~x155572+4 ~x155571+2 ~x155570+1 ~x155569+65536 ~x1594+32768 ~x1593+16384 ~x1592+8192 ~x1591+4096 ~x1590+2048 ~x1589+1024 ~x1588+512 ~x1587+256 ~x1586+128 ~x1585+64 ~x1584+32 ~x1583+16 ~x1582+8 ~x1581+4 ~x1580+2 ~x1579+1 ~x1578-0=260094
5.08/5.16	c 8192 ~x160528+4096 ~x160527+2048 ~x160526+1024 ~x160525+512 ~x160524+256 ~x160523+128 ~x160522+64 ~x160521+32 ~x160520+16 ~x160519+8 ~x160518+4 ~x160517+2 ~x160516+1 ~x160515+8192 ~x1717+4096 ~x1716+2048 ~x1715+1024 ~x1714+512 ~x1713+256 ~x1712+128 ~x1711+64 ~x1710+32 ~x1709+16 ~x1708+8 ~x1707+4 ~x1706+2 ~x1705+1 ~x1704-0=25598
5.19/5.25	c 32768 ~x164088+16384 ~x164087+8192 ~x164086+4096 ~x164085+2048 ~x164084+1024 ~x164083+512 ~x164082+256 ~x164081+128 ~x164080+64 ~x164079+32 ~x164078+16 ~x164077+8 ~x164076+4 ~x164075+2 ~x164074+1 ~x164073+32768 ~x1846+16384 ~x1845+8192 ~x1844+4096 ~x1843+2048 ~x1842+1024 ~x1841+512 ~x1840+256 ~x1839+128 ~x1838+64 ~x1837+32 ~x1836+16 ~x1835+8 ~x1834+4 ~x1833+2 ~x1832+1 ~x1831-0=101374
5.29/5.36	c 2048 ~x168546+1024 ~x168545+512 ~x168544+256 ~x168543+128 ~x168542+64 ~x168541+32 ~x168540+16 ~x168539+8 ~x168538+4 ~x168537+2 ~x168536+1 ~x168535+2048 ~x1964+1024 ~x1963+512 ~x1962+256 ~x1961+128 ~x1960+64 ~x1959+32 ~x1958+16 ~x1957+8 ~x1956+4 ~x1955+2 ~x1954+1 ~x1953-0=8190
5.39/5.41	c 32768 ~x170782+16384 ~x170781+8192 ~x170780+4096 ~x170779+2048 ~x170778+1024 ~x170777+512 ~x170776+256 ~x170775+128 ~x170774+64 ~x170773+32 ~x170772+16 ~x170771+8 ~x170770+4 ~x170769+2 ~x170768+1 ~x170767+32768 ~x2057+16384 ~x2056+8192 ~x2055+4096 ~x2054+2048 ~x2053+1024 ~x2052+512 ~x2051+256 ~x2050+128 ~x2049+64 ~x2048+32 ~x2047+16 ~x2046+8 ~x2045+4 ~x2044+2 ~x2043+1 ~x2042-0=119806
5.49/5.52	c 16384 ~x175243+8192 ~x175242+4096 ~x175241+2048 ~x175240+1024 ~x175239+512 ~x175238+256 ~x175237+128 ~x175236+64 ~x175235+32 ~x175234+16 ~x175233+8 ~x175232+4 ~x175231+2 ~x175230+1 ~x175229+16384 ~x2149+8192 ~x2148+4096 ~x2147+2048 ~x2146+1024 ~x2145+512 ~x2144+256 ~x2143+128 ~x2142+64 ~x2141+32 ~x2140+16 ~x2139+8 ~x2138+4 ~x2137+2 ~x2136+1 ~x2135-0=56318
5.58/5.62	c 32768 ~x179121+16384 ~x179120+8192 ~x179119+4096 ~x179118+2048 ~x179117+1024 ~x179116+512 ~x179115+256 ~x179114+128 ~x179113+64 ~x179112+32 ~x179111+16 ~x179110+8 ~x179109+4 ~x179108+2 ~x179107+1 ~x179106+32768 ~x2279+16384 ~x2278+8192 ~x2277+4096 ~x2276+2048 ~x2275+1024 ~x2274+512 ~x2273+256 ~x2272+128 ~x2271+64 ~x2270+32 ~x2269+16 ~x2268+8 ~x2267+4 ~x2266+2 ~x2265+1 ~x2264-0=127998
5.69/5.73	c 2097152 ~x183589+1048576 ~x183588+524288 ~x183587+262144 ~x183586+131072 ~x183585+65536 ~x183584+32768 ~x183583+16384 ~x183582+8192 ~x183581+4096 ~x183580+2048 ~x183579+1024 ~x183578+512 ~x183577+256 ~x183576+128 ~x183575+64 ~x183574+32 ~x183573+16 ~x183572+8 ~x183571+4 ~x183570+2 ~x183569+1 ~x183568+2097152 ~x2412+1048576 ~x2411+524288 ~x2410+262144 ~x2409+131072 ~x2408+65536 ~x2407+32768 ~x2406+16384 ~x2405+8192 ~x2404+4096 ~x2403+2048 ~x2402+1024 ~x2401+512 ~x2400+256 ~x2399+128 ~x2398+64 ~x2397+32 ~x2396+16 ~x2395+8 ~x2394+4 ~x2393+2 ~x2392+1 ~x2391-0=7483390
5.88/5.93	c 65536 ~x192162+32768 ~x192161+16384 ~x192160+8192 ~x192159+4096 ~x192158+2048 ~x192157+1024 ~x192156+512 ~x192155+256 ~x192154+128 ~x192153+64 ~x192152+32 ~x192151+16 ~x192150+8 ~x192149+4 ~x192148+2 ~x192147+1 ~x192146+65536 ~x2530+32768 ~x2529+16384 ~x2528+8192 ~x2527+4096 ~x2526+2048 ~x2525+1024 ~x2524+512 ~x2523+256 ~x2522+128 ~x2521+64 ~x2520+32 ~x2519+16 ~x2518+8 ~x2517+4 ~x2516+2 ~x2515+1 ~x2514-0=235518
5.98/6.04	c 16384 ~x197106+8192 ~x197105+4096 ~x197104+2048 ~x197103+1024 ~x197102+512 ~x197101+256 ~x197100+128 ~x197099+64 ~x197098+32 ~x197097+16 ~x197096+8 ~x197095+4 ~x197094+2 ~x197093+1 ~x197092+16384 ~x1460+8192 ~x1459+4096 ~x1458+2048 ~x1457+1024 ~x1456+512 ~x1455+256 ~x1454+128 ~x1453+64 ~x1452+32 ~x1451+16 ~x1450+8 ~x1449+4 ~x1448+2 ~x1447+1 ~x1446-0=51198
6.08/6.14	c 16384 ~x200983+8192 ~x200982+4096 ~x200981+2048 ~x200980+1024 ~x200979+512 ~x200978+256 ~x200977+128 ~x200976+64 ~x200975+32 ~x200974+16 ~x200973+8 ~x200972+4 ~x200971+2 ~x200970+1 ~x200969+16384 ~x1610+8192 ~x1609+4096 ~x1608+2048 ~x1607+1024 ~x1606+512 ~x1605+256 ~x1604+128 ~x1603+64 ~x1602+32 ~x1601+16 ~x1600+8 ~x1599+4 ~x1598+2 ~x1597+1 ~x1596-0=57342
6.18/6.23	c 512 ~x204855+256 ~x204854+128 ~x204853+64 ~x204852+32 ~x204851+16 ~x204850+8 ~x204849+4 ~x204848+2 ~x204847+1 ~x204846+512 ~x1729+256 ~x1728+128 ~x1727+64 ~x1726+32 ~x1725+16 ~x1724+8 ~x1723+4 ~x1722+2 ~x1721+1 ~x1720-0=2046
6.18/6.27	c 4096 ~x206160+2048 ~x206159+1024 ~x206158+512 ~x206157+256 ~x206156+128 ~x206155+64 ~x206154+32 ~x206153+16 ~x206152+8 ~x206151+4 ~x206150+2 ~x206149+1 ~x206148+4096 ~x1860+2048 ~x1859+1024 ~x1858+512 ~x1857+256 ~x1856+128 ~x1855+64 ~x1854+32 ~x1853+16 ~x1852+8 ~x1851+4 ~x1850+2 ~x1849+1 ~x1848-0=13310
6.29/6.33	c 4096 ~x208738+2048 ~x208737+1024 ~x208736+512 ~x208735+256 ~x208734+128 ~x208733+64 ~x208732+32 ~x208731+16 ~x208730+8 ~x208729+4 ~x208728+2 ~x208727+1 ~x208726+4096 ~x1981+2048 ~x1980+1024 ~x1979+512 ~x1978+256 ~x1977+128 ~x1976+64 ~x1975+32 ~x1974+16 ~x1973+8 ~x1972+4 ~x1971+2 ~x1970+1 ~x1969-0=14334
6.29/6.39	c 512 ~x211313+256 ~x211312+128 ~x211311+64 ~x211310+32 ~x211309+16 ~x211308+8 ~x211307+4 ~x211306+2 ~x211305+1 ~x211304+512 ~x2161+256 ~x2160+128 ~x2159+64 ~x2158+32 ~x2157+16 ~x2156+8 ~x2155+4 ~x2154+2 ~x2153+1 ~x2152-0=2046
6.39/6.42	c 512 ~x212615+256 ~x212614+128 ~x212613+64 ~x212612+32 ~x212611+16 ~x212610+8 ~x212609+4 ~x212608+2 ~x212607+1 ~x212606+512 ~x2290+256 ~x2289+128 ~x2288+64 ~x2287+32 ~x2286+16 ~x2285+8 ~x2284+4 ~x2283+2 ~x2282+1 ~x2281-0=2046
6.39/6.46	c 8192 ~x213921+4096 ~x213920+2048 ~x213919+1024 ~x213918+512 ~x213917+256 ~x213916+128 ~x213915+64 ~x213914+32 ~x213913+16 ~x213912+8 ~x213911+4 ~x213910+2 ~x213909+1 ~x213908+8192 ~x2427+4096 ~x2426+2048 ~x2425+1024 ~x2424+512 ~x2423+256 ~x2422+128 ~x2421+64 ~x2420+32 ~x2419+16 ~x2418+8 ~x2417+4 ~x2416+2 ~x2415+1 ~x2414-0=28670
6.49/6.55	c 2048 ~x217477+1024 ~x217476+512 ~x217475+256 ~x217474+128 ~x217473+64 ~x217472+32 ~x217471+16 ~x217470+8 ~x217469+4 ~x217468+2 ~x217467+1 ~x217466+2048 ~x2543+1024 ~x2542+512 ~x2541+256 ~x2540+128 ~x2539+64 ~x2538+32 ~x2537+16 ~x2536+8 ~x2535+4 ~x2534+2 ~x2533+1 ~x2532-0=7166
6.49/6.60	c 8192 ~x219711+4096 ~x219710+2048 ~x219709+1024 ~x219708+512 ~x219707+256 ~x219706+128 ~x219705+64 ~x219704+32 ~x219703+16 ~x219702+8 ~x219701+4 ~x219700+2 ~x219699+1 ~x219698+8192 ~x1625+4096 ~x1624+2048 ~x1623+1024 ~x1622+512 ~x1621+256 ~x1620+128 ~x1619+64 ~x1618+32 ~x1617+16 ~x1616+8 ~x1615+4 ~x1614+2 ~x1613+1 ~x1612-0=28670
6.59/6.69	c 8192 ~x223269+4096 ~x223268+2048 ~x223267+1024 ~x223266+512 ~x223265+256 ~x223264+128 ~x223263+64 ~x223262+32 ~x223261+16 ~x223260+8 ~x223259+4 ~x223258+2 ~x223257+1 ~x223256+8192 ~x1747+4096 ~x1746+2048 ~x1745+1024 ~x1744+512 ~x1743+256 ~x1742+128 ~x1741+64 ~x1740+32 ~x1739+16 ~x1738+8 ~x1737+4 ~x1736+2 ~x1735+1 ~x1734-0=28670
6.68/6.78	c 8192 ~x226827+4096 ~x226826+2048 ~x226825+1024 ~x226824+512 ~x226823+256 ~x226822+128 ~x226821+64 ~x226820+32 ~x226819+16 ~x226818+8 ~x226817+4 ~x226816+2 ~x226815+1 ~x226814+8192 ~x1876+4096 ~x1875+2048 ~x1874+1024 ~x1873+512 ~x1872+256 ~x1871+128 ~x1870+64 ~x1869+32 ~x1868+16 ~x1867+8 ~x1866+4 ~x1865+2 ~x1864+1 ~x1863-0=28670
6.79/6.86	c 8192 ~x230385+4096 ~x230384+2048 ~x230383+1024 ~x230382+512 ~x230381+256 ~x230380+128 ~x230379+64 ~x230378+32 ~x230377+16 ~x230376+8 ~x230375+4 ~x230374+2 ~x230373+1 ~x230372+8192 ~x1996+4096 ~x1995+2048 ~x1994+1024 ~x1993+512 ~x1992+256 ~x1991+128 ~x1990+64 ~x1989+32 ~x1988+16 ~x1987+8 ~x1986+4 ~x1985+2 ~x1984+1 ~x1983-0=28670
6.88/6.95	c 8192 ~x233943+4096 ~x233942+2048 ~x233941+1024 ~x233940+512 ~x233939+256 ~x233938+128 ~x233937+64 ~x233936+32 ~x233935+16 ~x233934+8 ~x233933+4 ~x233932+2 ~x233931+1 ~x233930+8192 ~x2179+4096 ~x2178+2048 ~x2177+1024 ~x2176+512 ~x2175+256 ~x2174+128 ~x2173+64 ~x2172+32 ~x2171+16 ~x2170+8 ~x2169+4 ~x2168+2 ~x2167+1 ~x2166-0=28670
6.98/7.04	c 8192 ~x237501+4096 ~x237500+2048 ~x237499+1024 ~x237498+512 ~x237497+256 ~x237496+128 ~x237495+64 ~x237494+32 ~x237493+16 ~x237492+8 ~x237491+4 ~x237490+2 ~x237489+1 ~x237488+8192 ~x2306+4096 ~x2305+2048 ~x2304+1024 ~x2303+512 ~x2302+256 ~x2301+128 ~x2300+64 ~x2299+32 ~x2298+16 ~x2297+8 ~x2296+4 ~x2295+2 ~x2294+1 ~x2293-0=28670
7.08/7.13	c 8192 ~x241059+4096 ~x241058+2048 ~x241057+1024 ~x241056+512 ~x241055+256 ~x241054+128 ~x241053+64 ~x241052+32 ~x241051+16 ~x241050+8 ~x241049+4 ~x241048+2 ~x241047+1 ~x241046+8192 ~x2561+4096 ~x2560+2048 ~x2559+1024 ~x2558+512 ~x2557+256 ~x2556+128 ~x2555+64 ~x2554+32 ~x2553+16 ~x2552+8 ~x2551+4 ~x2550+2 ~x2549+1 ~x2548-0=28670
41.68/41.75	c 549755813888 ~x1772944+274877906944 ~x1772943+137438953472 ~x1772942+68719476736 ~x1772941+34359738368 ~x1772940+17179869184 ~x1772939+8589934592 ~x1772938+4294967296 ~x1772937+2147483648 ~x1772936+1073741824 ~x1772935+536870912 ~x1772934+268435456 ~x1772933+134217728 ~x1772932+67108864 ~x1772931+33554432 ~x1772930+16777216 ~x1772929+8388608 ~x1772928+4194304 ~x1772927+2097152 ~x1772926+1048576 ~x1772925+524288 ~x1772924+262144 ~x1772923+131072 ~x1772922+65536 ~x1772921+32768 ~x1772920+16384 ~x1772919+8192 ~x1772918+4096 ~x1772917+2048 ~x1772916+1024 ~x1772915+512 ~x1772914+256 ~x1772913+128 ~x1772912+64 ~x1772911+32 ~x1772910+16 ~x1772909+8 ~x1772908+4 ~x1772907+2 ~x1772906+1 ~x1772905+53687091200 ~x2892+26843545600 ~x2891+13421772800 ~x2890+6710886400 ~x2889+3355443200 ~x2888+1677721600 ~x2887+838860800 ~x2886+419430400 ~x2885+209715200 ~x2884+104857600 ~x2883+52428800 ~x2882+26214400 ~x2881+13107200 ~x2880+6553600 ~x2879+3276800 ~x2878+1638400 ~x2877+819200 ~x2876+409600 ~x2875+204800 ~x2874+102400 ~x2873+51200 ~x2872+25600 ~x2871+12800 ~x2870+6400 ~x2869+3200 ~x2868+1600 ~x2867+800 ~x2866+400 ~x2865+200 ~x2864+100 ~x2863+53687091200 ~x2802+26843545600 ~x2801+13421772800 ~x2800+6710886400 ~x2799+3355443200 ~x2798+1677721600 ~x2797+838860800 ~x2796+419430400 ~x2795+209715200 ~x2794+104857600 ~x2793+52428800 ~x2792+26214400 ~x2791+13107200 ~x2790+6553600 ~x2789+3276800 ~x2788+1638400 ~x2787+819200 ~x2786+409600 ~x2785+204800 ~x2784+102400 ~x2783+51200 ~x2782+25600 ~x2781+12800 ~x2780+6400 ~x2779+3200 ~x2778+1600 ~x2777+800 ~x2776+400 ~x2775+200 ~x2774+100 ~x2773+53687091200 ~x2712+26843545600 ~x2711+13421772800 ~x2710+6710886400 ~x2709+3355443200 ~x2708+1677721600 ~x2707+838860800 ~x2706+419430400 ~x2705+209715200 ~x2704+104857600 ~x2703+52428800 ~x2702+26214400 ~x2701+13107200 ~x2700+6553600 ~x2699+3276800 ~x2698+1638400 ~x2697+819200 ~x2696+409600 ~x2695+204800 ~x2694+102400 ~x2693+51200 ~x2692+25600 ~x2691+12800 ~x2690+6400 ~x2689+3200 ~x2688+1600 ~x2687+800 ~x2686+400 ~x2685+200 ~x2684+100 ~x2683+53687091200 ~x2622+26843545600 ~x2621+13421772800 ~x2620+6710886400 ~x2619+3355443200 ~x2618+1677721600 ~x2617+838860800 ~x2616+419430400 ~x2615+209715200 ~x2614+104857600 ~x2613+52428800 ~x2612+26214400 ~x2611+13107200 ~x2610+6553600 ~x2609+3276800 ~x2608+1638400 ~x2607+819200 ~x2606+409600 ~x2605+204800 ~x2604+102400 ~x2603+51200 ~x2602+25600 ~x2601+12800 ~x2600+6400 ~x2599+3200 ~x2598+1600 ~x2597+800 ~x2596+400 ~x2595+200 ~x2594+100 ~x2593+19327352832 x841+9663676416 x840+4831838208 x839+2415919104 x838+1207959552 x837+603979776 x836+301989888 x835+150994944 x834+75497472 x833+37748736 x832+18874368 x831+9437184 x830+4718592 x829+2359296 x828+1179648 x827+589824 x826+294912 x825+147456 x824+73728 x823+36864 x822+18432 x821+9216 x820+4608 x819+2304 x818+1152 x817+576 x816+288 x815+144 x814+72 x813+36 x812+778462822400 x751+389231411200 x750+194615705600 x749+97307852800 x748+48653926400 x747+24326963200 x746+12163481600 x745+6081740800 x744+3040870400 x743+1520435200 x742+760217600 x741+380108800 x740+190054400 x739+95027200 x738+47513600 x737+23756800 x736+11878400 x735+5939200 x734+2969600 x733+1484800 x732+742400 x731+371200 x730+185600 x729+92800 x728+46400 x727+23200 x726+11600 x725+5800 x724+2900 x723+1450 x722+327491256320 x661+163745628160 x660+81872814080 x659+40936407040 x658+20468203520 x657+10234101760 x656+5117050880 x655+2558525440 x654+1279262720 x653+639631360 x652+319815680 x651+159907840 x650+79953920 x649+39976960 x648+19988480 x647+9994240 x646+4997120 x645+2498560 x644+1249280 x643+624640 x642+312320 x641+156160 x640+78080 x639+39040 x638+19520 x637+9760 x636+4880 x635+2440 x634+1220 x633+610 x632+117574729728 ~x571+58787364864 ~x570+29393682432 ~x569+14696841216 ~x568+7348420608 ~x567+3674210304 ~x566+1837105152 ~x565+918552576 ~x564+459276288 ~x563+229638144 ~x562+114819072 ~x561+57409536 ~x560+28704768 ~x559+14352384 ~x558+7176192 ~x557+3588096 ~x556+1794048 ~x555+897024 ~x554+448512 ~x553+224256 ~x552+112128 ~x551+56064 ~x550+28032 ~x549+14016 ~x548+7008 ~x547+3504 ~x546+1752 ~x545+876 ~x544+438 ~x543+219 ~x542+198642237440 x481+99321118720 x480+49660559360 x479+24830279680 x478+12415139840 x477+6207569920 x476+3103784960 x475+1551892480 x474+775946240 x473+387973120 x472+193986560 x471+96993280 x470+48496640 x469+24248320 x468+12124160 x467+6062080 x466+3031040 x465+1515520 x464+757760 x463+378880 x462+189440 x461+94720 x460+47360 x459+23680 x458+11840 x457+5920 x456+2960 x455+1480 x454+740 x453+370 x452+117574729728 ~x391+58787364864 ~x390+29393682432 ~x389+14696841216 ~x388+7348420608 ~x387+3674210304 ~x386+1837105152 ~x385+918552576 ~x384+459276288 ~x383+229638144 ~x382+114819072 ~x381+57409536 ~x380+28704768 ~x379+14352384 ~x378+7176192 ~x377+3588096 ~x376+1794048 ~x375+897024 ~x374+448512 ~x373+224256 ~x372+112128 ~x371+56064 ~x370+28032 ~x369+14016 ~x368+7008 ~x367+3504 ~x366+1752 ~x365+876 ~x364+438 ~x363+219 ~x362+10737418240 x301+5368709120 x300+2684354560 x299+1342177280 x298+671088640 x297+335544320 x296+167772160 x295+83886080 x294+41943040 x293+20971520 x292+10485760 x291+5242880 x290+2621440 x289+1310720 x288+655360 x287+327680 x286+163840 x285+81920 x284+40960 x283+20480 x282+10240 x281+5120 x280+2560 x279+1280 x278+640 x277+320 x276+160 x275+80 x274+40 x273+20 x272+79456894976 ~x211+39728447488 ~x210+19864223744 ~x209+9932111872 ~x208+4966055936 ~x207+2483027968 ~x206+1241513984 ~x205+620756992 ~x204+310378496 ~x203+155189248 ~x202+77594624 ~x201+38797312 ~x200+19398656 ~x199+9699328 ~x198+4849664 ~x197+2424832 ~x196+1212416 ~x195+606208 ~x194+303104 ~x193+151552 ~x192+75776 ~x191+37888 ~x190+18944 ~x189+9472 ~x188+4736 ~x187+2368 ~x186+1184 ~x185+592 ~x184+296 ~x183+148 ~x182+627065225216 x121+313532612608 x120+156766306304 x119+78383153152 x118+39191576576 x117+19595788288 x116+9797894144 x115+4898947072 x114+2449473536 x113+1224736768 x112+612368384 x111+306184192 x110+153092096 x109+76546048 x108+38273024 x107+19136512 x106+9568256 x105+4784128 x104+2392064 x103+1196032 x102+598016 x101+299008 x100+149504 x99+74752 x98+37376 x97+18688 x96+9344 x95+4672 x94+2336 x93+1168 x92+48318382080 x31+24159191040 x30+12079595520 x29+6039797760 x28+3019898880 x27+1509949440 x26+754974720 x25+377487360 x24+188743680 x23+94371840 x22+47185920 x21+23592960 x20+11796480 x19+5898240 x18+2949120 x17+1474560 x16+737280 x15+368640 x14+184320 x13+92160 x12+46080 x11+23040 x10+11520 x9+5760 x8+2880 x7+1440 x6+720 x5+360 x4+180 x3+90 x2-0=2158221065253
46.98/47.02	c 549755813888 ~x2009085+274877906944 ~x2009084+137438953472 ~x2009083+68719476736 ~x2009082+34359738368 ~x2009081+17179869184 ~x2009080+8589934592 ~x2009079+4294967296 ~x2009078+2147483648 ~x2009077+1073741824 ~x2009076+536870912 ~x2009075+268435456 ~x2009074+134217728 ~x2009073+67108864 ~x2009072+33554432 ~x2009071+16777216 ~x2009070+8388608 ~x2009069+4194304 ~x2009068+2097152 ~x2009067+1048576 ~x2009066+524288 ~x2009065+262144 ~x2009064+131072 ~x2009063+65536 ~x2009062+32768 ~x2009061+16384 ~x2009060+8192 ~x2009059+4096 ~x2009058+2048 ~x2009057+1024 ~x2009056+512 ~x2009055+256 ~x2009054+128 ~x2009053+64 ~x2009052+32 ~x2009051+16 ~x2009050+8 ~x2009049+4 ~x2009048+2 ~x2009047+1 ~x2009046+53687091200 ~x2922+26843545600 ~x2921+13421772800 ~x2920+6710886400 ~x2919+3355443200 ~x2918+1677721600 ~x2917+838860800 ~x2916+419430400 ~x2915+209715200 ~x2914+104857600 ~x2913+52428800 ~x2912+26214400 ~x2911+13107200 ~x2910+6553600 ~x2909+3276800 ~x2908+1638400 ~x2907+819200 ~x2906+409600 ~x2905+204800 ~x2904+102400 ~x2903+51200 ~x2902+25600 ~x2901+12800 ~x2900+6400 ~x2899+3200 ~x2898+1600 ~x2897+800 ~x2896+400 ~x2895+200 ~x2894+100 ~x2893+53687091200 ~x2832+26843545600 ~x2831+13421772800 ~x2830+6710886400 ~x2829+3355443200 ~x2828+1677721600 ~x2827+838860800 ~x2826+419430400 ~x2825+209715200 ~x2824+104857600 ~x2823+52428800 ~x2822+26214400 ~x2821+13107200 ~x2820+6553600 ~x2819+3276800 ~x2818+1638400 ~x2817+819200 ~x2816+409600 ~x2815+204800 ~x2814+102400 ~x2813+51200 ~x2812+25600 ~x2811+12800 ~x2810+6400 ~x2809+3200 ~x2808+1600 ~x2807+800 ~x2806+400 ~x2805+200 ~x2804+100 ~x2803+53687091200 ~x2742+26843545600 ~x2741+13421772800 ~x2740+6710886400 ~x2739+3355443200 ~x2738+1677721600 ~x2737+838860800 ~x2736+419430400 ~x2735+209715200 ~x2734+104857600 ~x2733+52428800 ~x2732+26214400 ~x2731+13107200 ~x2730+6553600 ~x2729+3276800 ~x2728+1638400 ~x2727+819200 ~x2726+409600 ~x2725+204800 ~x2724+102400 ~x2723+51200 ~x2722+25600 ~x2721+12800 ~x2720+6400 ~x2719+3200 ~x2718+1600 ~x2717+800 ~x2716+400 ~x2715+200 ~x2714+100 ~x2713+53687091200 ~x2652+26843545600 ~x2651+13421772800 ~x2650+6710886400 ~x2649+3355443200 ~x2648+1677721600 ~x2647+838860800 ~x2646+419430400 ~x2645+209715200 ~x2644+104857600 ~x2643+52428800 ~x2642+26214400 ~x2641+13107200 ~x2640+6553600 ~x2639+3276800 ~x2638+1638400 ~x2637+819200 ~x2636+409600 ~x2635+204800 ~x2634+102400 ~x2633+51200 ~x2632+25600 ~x2631+12800 ~x2630+6400 ~x2629+3200 ~x2628+1600 ~x2627+800 ~x2626+400 ~x2625+200 ~x2624+100 ~x2623+19327352832 x871+9663676416 x870+4831838208 x869+2415919104 x868+1207959552 x867+603979776 x866+301989888 x865+150994944 x864+75497472 x863+37748736 x862+18874368 x861+9437184 x860+4718592 x859+2359296 x858+1179648 x857+589824 x856+294912 x855+147456 x854+73728 x853+36864 x852+18432 x851+9216 x850+4608 x849+2304 x848+1152 x847+576 x846+288 x845+144 x844+72 x843+36 x842+778462822400 x781+389231411200 x780+194615705600 x779+97307852800 x778+48653926400 x777+24326963200 x776+12163481600 x775+6081740800 x774+3040870400 x773+1520435200 x772+760217600 x771+380108800 x770+190054400 x769+95027200 x768+47513600 x767+23756800 x766+11878400 x765+5939200 x764+2969600 x763+1484800 x762+742400 x761+371200 x760+185600 x759+92800 x758+46400 x757+23200 x756+11600 x755+5800 x754+2900 x753+1450 x752+327491256320 x691+163745628160 x690+81872814080 x689+40936407040 x688+20468203520 x687+10234101760 x686+5117050880 x685+2558525440 x684+1279262720 x683+639631360 x682+319815680 x681+159907840 x680+79953920 x679+39976960 x678+19988480 x677+9994240 x676+4997120 x675+2498560 x674+1249280 x673+624640 x672+312320 x671+156160 x670+78080 x669+39040 x668+19520 x667+9760 x666+4880 x665+2440 x664+1220 x663+610 x662+117574729728 ~x601+58787364864 ~x600+29393682432 ~x599+14696841216 ~x598+7348420608 ~x597+3674210304 ~x596+1837105152 ~x595+918552576 ~x594+459276288 ~x593+229638144 ~x592+114819072 ~x591+57409536 ~x590+28704768 ~x589+14352384 ~x588+7176192 ~x587+3588096 ~x586+1794048 ~x585+897024 ~x584+448512 ~x583+224256 ~x582+112128 ~x581+56064 ~x580+28032 ~x579+14016 ~x578+7008 ~x577+3504 ~x576+1752 ~x575+876 ~x574+438 ~x573+219 ~x572+198642237440 x511+99321118720 x510+49660559360 x509+24830279680 x508+12415139840 x507+6207569920 x506+3103784960 x505+1551892480 x504+775946240 x503+387973120 x502+193986560 x501+96993280 x500+48496640 x499+24248320 x498+12124160 x497+6062080 x496+3031040 x495+1515520 x494+757760 x493+378880 x492+189440 x491+94720 x490+47360 x489+23680 x488+11840 x487+5920 x486+2960 x485+1480 x484+740 x483+370 x482+117574729728 ~x421+58787364864 ~x420+29393682432 ~x419+14696841216 ~x418+7348420608 ~x417+3674210304 ~x416+1837105152 ~x415+918552576 ~x414+459276288 ~x413+229638144 ~x412+114819072 ~x411+57409536 ~x410+28704768 ~x409+14352384 ~x408+7176192 ~x407+3588096 ~x406+1794048 ~x405+897024 ~x404+448512 ~x403+224256 ~x402+112128 ~x401+56064 ~x400+28032 ~x399+14016 ~x398+7008 ~x397+3504 ~x396+1752 ~x395+876 ~x394+438 ~x393+219 ~x392+10737418240 x331+5368709120 x330+2684354560 x329+1342177280 x328+671088640 x327+335544320 x326+167772160 x325+83886080 x324+41943040 x323+20971520 x322+10485760 x321+5242880 x320+2621440 x319+1310720 x318+655360 x317+327680 x316+163840 x315+81920 x314+40960 x313+20480 x312+10240 x311+5120 x310+2560 x309+1280 x308+640 x307+320 x306+160 x305+80 x304+40 x303+20 x302+79456894976 ~x241+39728447488 ~x240+19864223744 ~x239+9932111872 ~x238+4966055936 ~x237+2483027968 ~x236+1241513984 ~x235+620756992 ~x234+310378496 ~x233+155189248 ~x232+77594624 ~x231+38797312 ~x230+19398656 ~x229+9699328 ~x228+4849664 ~x227+2424832 ~x226+1212416 ~x225+606208 ~x224+303104 ~x223+151552 ~x222+75776 ~x221+37888 ~x220+18944 ~x219+9472 ~x218+4736 ~x217+2368 ~x216+1184 ~x215+592 ~x214+296 ~x213+148 ~x212+627065225216 x151+313532612608 x150+156766306304 x149+78383153152 x148+39191576576 x147+19595788288 x146+9797894144 x145+4898947072 x144+2449473536 x143+1224736768 x142+612368384 x141+306184192 x140+153092096 x139+76546048 x138+38273024 x137+19136512 x136+9568256 x135+4784128 x134+2392064 x133+1196032 x132+598016 x131+299008 x130+149504 x129+74752 x128+37376 x127+18688 x126+9344 x125+4672 x124+2336 x123+1168 x122+48318382080 x61+24159191040 x60+12079595520 x59+6039797760 x58+3019898880 x57+1509949440 x56+754974720 x55+377487360 x54+188743680 x53+94371840 x52+47185920 x51+23592960 x50+11796480 x49+5898240 x48+2949120 x47+1474560 x46+737280 x45+368640 x44+184320 x43+92160 x42+46080 x41+23040 x40+11520 x39+5760 x38+2880 x37+1440 x36+720 x35+360 x34+180 x33+90 x32-0=2158221065253
52.18/52.28	c 549755813888 ~x2245226+274877906944 ~x2245225+137438953472 ~x2245224+68719476736 ~x2245223+34359738368 ~x2245222+17179869184 ~x2245221+8589934592 ~x2245220+4294967296 ~x2245219+2147483648 ~x2245218+1073741824 ~x2245217+536870912 ~x2245216+268435456 ~x2245215+134217728 ~x2245214+67108864 ~x2245213+33554432 ~x2245212+16777216 ~x2245211+8388608 ~x2245210+4194304 ~x2245209+2097152 ~x2245208+1048576 ~x2245207+524288 ~x2245206+262144 ~x2245205+131072 ~x2245204+65536 ~x2245203+32768 ~x2245202+16384 ~x2245201+8192 ~x2245200+4096 ~x2245199+2048 ~x2245198+1024 ~x2245197+512 ~x2245196+256 ~x2245195+128 ~x2245194+64 ~x2245193+32 ~x2245192+16 ~x2245191+8 ~x2245190+4 ~x2245189+2 ~x2245188+1 ~x2245187+53687091200 ~x2952+26843545600 ~x2951+13421772800 ~x2950+6710886400 ~x2949+3355443200 ~x2948+1677721600 ~x2947+838860800 ~x2946+419430400 ~x2945+209715200 ~x2944+104857600 ~x2943+52428800 ~x2942+26214400 ~x2941+13107200 ~x2940+6553600 ~x2939+3276800 ~x2938+1638400 ~x2937+819200 ~x2936+409600 ~x2935+204800 ~x2934+102400 ~x2933+51200 ~x2932+25600 ~x2931+12800 ~x2930+6400 ~x2929+3200 ~x2928+1600 ~x2927+800 ~x2926+400 ~x2925+200 ~x2924+100 ~x2923+53687091200 ~x2862+26843545600 ~x2861+13421772800 ~x2860+6710886400 ~x2859+3355443200 ~x2858+1677721600 ~x2857+838860800 ~x2856+419430400 ~x2855+209715200 ~x2854+104857600 ~x2853+52428800 ~x2852+26214400 ~x2851+13107200 ~x2850+6553600 ~x2849+3276800 ~x2848+1638400 ~x2847+819200 ~x2846+409600 ~x2845+204800 ~x2844+102400 ~x2843+51200 ~x2842+25600 ~x2841+12800 ~x2840+6400 ~x2839+3200 ~x2838+1600 ~x2837+800 ~x2836+400 ~x2835+200 ~x2834+100 ~x2833+53687091200 ~x2772+26843545600 ~x2771+13421772800 ~x2770+6710886400 ~x2769+3355443200 ~x2768+1677721600 ~x2767+838860800 ~x2766+419430400 ~x2765+209715200 ~x2764+104857600 ~x2763+52428800 ~x2762+26214400 ~x2761+13107200 ~x2760+6553600 ~x2759+3276800 ~x2758+1638400 ~x2757+819200 ~x2756+409600 ~x2755+204800 ~x2754+102400 ~x2753+51200 ~x2752+25600 ~x2751+12800 ~x2750+6400 ~x2749+3200 ~x2748+1600 ~x2747+800 ~x2746+400 ~x2745+200 ~x2744+100 ~x2743+53687091200 ~x2682+26843545600 ~x2681+13421772800 ~x2680+6710886400 ~x2679+3355443200 ~x2678+1677721600 ~x2677+838860800 ~x2676+419430400 ~x2675+209715200 ~x2674+104857600 ~x2673+52428800 ~x2672+26214400 ~x2671+13107200 ~x2670+6553600 ~x2669+3276800 ~x2668+1638400 ~x2667+819200 ~x2666+409600 ~x2665+204800 ~x2664+102400 ~x2663+51200 ~x2662+25600 ~x2661+12800 ~x2660+6400 ~x2659+3200 ~x2658+1600 ~x2657+800 ~x2656+400 ~x2655+200 ~x2654+100 ~x2653+19327352832 x901+9663676416 x900+4831838208 x899+2415919104 x898+1207959552 x897+603979776 x896+301989888 x895+150994944 x894+75497472 x893+37748736 x892+18874368 x891+9437184 x890+4718592 x889+2359296 x888+1179648 x887+589824 x886+294912 x885+147456 x884+73728 x883+36864 x882+18432 x881+9216 x880+4608 x879+2304 x878+1152 x877+576 x876+288 x875+144 x874+72 x873+36 x872+778462822400 x811+389231411200 x810+194615705600 x809+97307852800 x808+48653926400 x807+24326963200 x806+12163481600 x805+6081740800 x804+3040870400 x803+1520435200 x802+760217600 x801+380108800 x800+190054400 x799+95027200 x798+47513600 x797+23756800 x796+11878400 x795+5939200 x794+2969600 x793+1484800 x792+742400 x791+371200 x790+185600 x789+92800 x788+46400 x787+23200 x786+11600 x785+5800 x784+2900 x783+1450 x782+327491256320 x721+163745628160 x720+81872814080 x719+40936407040 x718+20468203520 x717+10234101760 x716+5117050880 x715+2558525440 x714+1279262720 x713+639631360 x712+319815680 x711+159907840 x710+79953920 x709+39976960 x708+19988480 x707+9994240 x706+4997120 x705+2498560 x704+1249280 x703+624640 x702+312320 x701+156160 x700+78080 x699+39040 x698+19520 x697+9760 x696+4880 x695+2440 x694+1220 x693+610 x692+117574729728 ~x631+58787364864 ~x630+29393682432 ~x629+14696841216 ~x628+7348420608 ~x627+3674210304 ~x626+1837105152 ~x625+918552576 ~x624+459276288 ~x623+229638144 ~x622+114819072 ~x621+57409536 ~x620+28704768 ~x619+14352384 ~x618+7176192 ~x617+3588096 ~x616+1794048 ~x615+897024 ~x614+448512 ~x613+224256 ~x612+112128 ~x611+56064 ~x610+28032 ~x609+14016 ~x608+7008 ~x607+3504 ~x606+1752 ~x605+876 ~x604+438 ~x603+219 ~x602+198642237440 x541+99321118720 x540+49660559360 x539+24830279680 x538+12415139840 x537+6207569920 x536+3103784960 x535+1551892480 x534+775946240 x533+387973120 x532+193986560 x531+96993280 x530+48496640 x529+24248320 x528+12124160 x527+6062080 x526+3031040 x525+1515520 x524+757760 x523+378880 x522+189440 x521+94720 x520+47360 x519+23680 x518+11840 x517+5920 x516+2960 x515+1480 x514+740 x513+370 x512+117574729728 ~x451+58787364864 ~x450+29393682432 ~x449+14696841216 ~x448+7348420608 ~x447+3674210304 ~x446+1837105152 ~x445+918552576 ~x444+459276288 ~x443+229638144 ~x442+114819072 ~x441+57409536 ~x440+28704768 ~x439+14352384 ~x438+7176192 ~x437+3588096 ~x436+1794048 ~x435+897024 ~x434+448512 ~x433+224256 ~x432+112128 ~x431+56064 ~x430+28032 ~x429+14016 ~x428+7008 ~x427+3504 ~x426+1752 ~x425+876 ~x424+438 ~x423+219 ~x422+10737418240 x361+5368709120 x360+2684354560 x359+1342177280 x358+671088640 x357+335544320 x356+167772160 x355+83886080 x354+41943040 x353+20971520 x352+10485760 x351+5242880 x350+2621440 x349+1310720 x348+655360 x347+327680 x346+163840 x345+81920 x344+40960 x343+20480 x342+10240 x341+5120 x340+2560 x339+1280 x338+640 x337+320 x336+160 x335+80 x334+40 x333+20 x332+79456894976 ~x271+39728447488 ~x270+19864223744 ~x269+9932111872 ~x268+4966055936 ~x267+2483027968 ~x266+1241513984 ~x265+620756992 ~x264+310378496 ~x263+155189248 ~x262+77594624 ~x261+38797312 ~x260+19398656 ~x259+9699328 ~x258+4849664 ~x257+2424832 ~x256+1212416 ~x255+606208 ~x254+303104 ~x253+151552 ~x252+75776 ~x251+37888 ~x250+18944 ~x249+9472 ~x248+4736 ~x247+2368 ~x246+1184 ~x245+592 ~x244+296 ~x243+148 ~x242+627065225216 x181+313532612608 x180+156766306304 x179+78383153152 x178+39191576576 x177+19595788288 x176+9797894144 x175+4898947072 x174+2449473536 x173+1224736768 x172+612368384 x171+306184192 x170+153092096 x169+76546048 x168+38273024 x167+19136512 x166+9568256 x165+4784128 x164+2392064 x163+1196032 x162+598016 x161+299008 x160+149504 x159+74752 x158+37376 x157+18688 x156+9344 x155+4672 x154+2336 x153+1168 x152+48318382080 x91+24159191040 x90+12079595520 x89+6039797760 x88+3019898880 x87+1509949440 x86+754974720 x85+377487360 x84+188743680 x83+94371840 x82+47185920 x81+23592960 x80+11796480 x79+5898240 x78+2949120 x77+1474560 x76+737280 x75+368640 x74+184320 x73+92160 x72+46080 x71+23040 x70+11520 x69+5760 x68+2880 x67+1440 x66+720 x65+360 x64+180 x63+90 x62-0=2158221065253
57.47/57.59	c 68719476736 ~x2481364+34359738368 ~x2481363+17179869184 ~x2481362+8589934592 ~x2481361+4294967296 ~x2481360+2147483648 ~x2481359+1073741824 ~x2481358+536870912 ~x2481357+268435456 ~x2481356+134217728 ~x2481355+67108864 ~x2481354+33554432 ~x2481353+16777216 ~x2481352+8388608 ~x2481351+4194304 ~x2481350+2097152 ~x2481349+1048576 ~x2481348+524288 ~x2481347+262144 ~x2481346+131072 ~x2481345+65536 ~x2481344+32768 ~x2481343+16384 ~x2481342+8192 ~x2481341+4096 ~x2481340+2048 ~x2481339+1024 ~x2481338+512 ~x2481337+256 ~x2481336+128 ~x2481335+64 ~x2481334+32 ~x2481333+16 ~x2481332+8 ~x2481331+4 ~x2481330+2 ~x2481329+1 ~x2481328+5368709120 ~x2892+2684354560 ~x2891+1342177280 ~x2890+671088640 ~x2889+335544320 ~x2888+167772160 ~x2887+83886080 ~x2886+41943040 ~x2885+20971520 ~x2884+10485760 ~x2883+5242880 ~x2882+2621440 ~x2881+1310720 ~x2880+655360 ~x2879+327680 ~x2878+163840 ~x2877+81920 ~x2876+40960 ~x2875+20480 ~x2874+10240 ~x2873+5120 ~x2872+2560 ~x2871+1280 ~x2870+640 ~x2869+320 ~x2868+160 ~x2867+80 ~x2866+40 ~x2865+20 ~x2864+10 ~x2863+5368709120 ~x2802+2684354560 ~x2801+1342177280 ~x2800+671088640 ~x2799+335544320 ~x2798+167772160 ~x2797+83886080 ~x2796+41943040 ~x2795+20971520 ~x2794+10485760 ~x2793+5242880 ~x2792+2621440 ~x2791+1310720 ~x2790+655360 ~x2789+327680 ~x2788+163840 ~x2787+81920 ~x2786+40960 ~x2785+20480 ~x2784+10240 ~x2783+5120 ~x2782+2560 ~x2781+1280 ~x2780+640 ~x2779+320 ~x2778+160 ~x2777+80 ~x2776+40 ~x2775+20 ~x2774+10 ~x2773+5368709120 ~x2712+2684354560 ~x2711+1342177280 ~x2710+671088640 ~x2709+335544320 ~x2708+167772160 ~x2707+83886080 ~x2706+41943040 ~x2705+20971520 ~x2704+10485760 ~x2703+5242880 ~x2702+2621440 ~x2701+1310720 ~x2700+655360 ~x2699+327680 ~x2698+163840 ~x2697+81920 ~x2696+40960 ~x2695+20480 ~x2694+10240 ~x2693+5120 ~x2692+2560 ~x2691+1280 ~x2690+640 ~x2689+320 ~x2688+160 ~x2687+80 ~x2686+40 ~x2685+20 ~x2684+10 ~x2683+5368709120 ~x2622+2684354560 ~x2621+1342177280 ~x2620+671088640 ~x2619+335544320 ~x2618+167772160 ~x2617+83886080 ~x2616+41943040 ~x2615+20971520 ~x2614+10485760 ~x2613+5242880 ~x2612+2621440 ~x2611+1310720 ~x2610+655360 ~x2609+327680 ~x2608+163840 ~x2607+81920 ~x2606+40960 ~x2605+20480 ~x2604+10240 ~x2603+5120 ~x2602+2560 ~x2601+1280 ~x2600+640 ~x2599+320 ~x2598+160 ~x2597+80 ~x2596+40 ~x2595+20 ~x2594+10 ~x2593+2147483648 x841+1073741824 x840+536870912 x839+268435456 x838+134217728 x837+67108864 x836+33554432 x835+16777216 x834+8388608 x833+4194304 x832+2097152 x831+1048576 x830+524288 x829+262144 x828+131072 x827+65536 x826+32768 x825+16384 x824+8192 x823+4096 x822+2048 x821+1024 x820+512 x819+256 x818+128 x817+64 x816+32 x815+16 x814+8 x813+4 x812+77846282240 x751+38923141120 x750+19461570560 x749+9730785280 x748+4865392640 x747+2432696320 x746+1216348160 x745+608174080 x744+304087040 x743+152043520 x742+76021760 x741+38010880 x740+19005440 x739+9502720 x738+4751360 x737+2375680 x736+1187840 x735+593920 x734+296960 x733+148480 x732+74240 x731+37120 x730+18560 x729+9280 x728+4640 x727+2320 x726+1160 x725+580 x724+290 x723+145 x722+36507222016 x661+18253611008 x660+9126805504 x659+4563402752 x658+2281701376 x657+1140850688 x656+570425344 x655+285212672 x654+142606336 x653+71303168 x652+35651584 x651+17825792 x650+8912896 x649+4456448 x648+2228224 x647+1114112 x646+557056 x645+278528 x644+139264 x643+69632 x642+34816 x641+17408 x640+8704 x639+4352 x638+2176 x637+1088 x636+544 x635+272 x634+136 x633+68 x632+9663676416 ~x571+4831838208 ~x570+2415919104 ~x569+1207959552 ~x568+603979776 ~x567+301989888 ~x566+150994944 ~x565+75497472 ~x564+37748736 ~x563+18874368 ~x562+9437184 ~x561+4718592 ~x560+2359296 ~x559+1179648 ~x558+589824 ~x557+294912 ~x556+147456 ~x555+73728 ~x554+36864 ~x553+18432 ~x552+9216 ~x551+4608 ~x550+2304 ~x549+1152 ~x548+576 ~x547+288 ~x546+144 ~x545+72 ~x544+36 ~x543+18 ~x542+26306674688 x481+13153337344 x480+6576668672 x479+3288334336 x478+1644167168 x477+822083584 x476+411041792 x475+205520896 x474+102760448 x473+51380224 x472+25690112 x471+12845056 x470+6422528 x469+3211264 x468+1605632 x467+802816 x466+401408 x465+200704 x464+100352 x463+50176 x462+25088 x461+12544 x460+6272 x459+3136 x458+1568 x457+784 x456+392 x455+196 x454+98 x453+49 x452+9663676416 ~x391+4831838208 ~x390+2415919104 ~x389+1207959552 ~x388+603979776 ~x387+301989888 ~x386+150994944 ~x385+75497472 ~x384+37748736 ~x383+18874368 ~x382+9437184 ~x381+4718592 ~x380+2359296 ~x379+1179648 ~x378+589824 ~x377+294912 ~x376+147456 ~x375+73728 ~x374+36864 ~x373+18432 ~x372+9216 ~x371+4608 ~x370+2304 ~x369+1152 ~x368+576 ~x367+288 ~x366+144 ~x365+72 ~x364+36 ~x363+18 ~x362+4831838208 x301+2415919104 x300+1207959552 x299+603979776 x298+301989888 x297+150994944 x296+75497472 x295+37748736 x294+18874368 x293+9437184 x292+4718592 x291+2359296 x290+1179648 x289+589824 x288+294912 x287+147456 x286+73728 x285+36864 x284+18432 x283+9216 x282+4608 x281+2304 x280+1152 x279+576 x278+288 x277+144 x276+72 x275+36 x274+18 x273+9 x272+6442450944 ~x211+3221225472 ~x210+1610612736 ~x209+805306368 ~x208+402653184 ~x207+201326592 ~x206+100663296 ~x205+50331648 ~x204+25165824 ~x203+12582912 ~x202+6291456 ~x201+3145728 ~x200+1572864 ~x199+786432 ~x198+393216 ~x197+196608 ~x196+98304 ~x195+49152 ~x194+24576 ~x193+12288 ~x192+6144 ~x191+3072 ~x190+1536 ~x189+768 ~x188+384 ~x187+192 ~x186+96 ~x185+48 ~x184+24 ~x183+12 ~x182+61203283968 x121+30601641984 x120+15300820992 x119+7650410496 x118+3825205248 x117+1912602624 x116+956301312 x115+478150656 x114+239075328 x113+119537664 x112+59768832 x111+29884416 x110+14942208 x109+7471104 x108+3735552 x107+1867776 x106+933888 x105+466944 x104+233472 x103+116736 x102+58368 x101+29184 x100+14592 x99+7296 x98+3648 x97+1824 x96+912 x95+456 x94+228 x93+114 x92+6442450944 x31+3221225472 x30+1610612736 x29+805306368 x28+402653184 x27+201326592 x26+100663296 x25+50331648 x24+25165824 x23+12582912 x22+6291456 x21+3145728 x20+1572864 x19+786432 x18+393216 x17+196608 x16+98304 x15+49152 x14+24576 x13+12288 x12+6144 x11+3072 x10+1536 x9+768 x8+384 x7+192 x6+96 x5+48 x4+24 x3+12 x2-0=231928233895
62.07/62.17	c 68719476736 ~x2686926+34359738368 ~x2686925+17179869184 ~x2686924+8589934592 ~x2686923+4294967296 ~x2686922+2147483648 ~x2686921+1073741824 ~x2686920+536870912 ~x2686919+268435456 ~x2686918+134217728 ~x2686917+67108864 ~x2686916+33554432 ~x2686915+16777216 ~x2686914+8388608 ~x2686913+4194304 ~x2686912+2097152 ~x2686911+1048576 ~x2686910+524288 ~x2686909+262144 ~x2686908+131072 ~x2686907+65536 ~x2686906+32768 ~x2686905+16384 ~x2686904+8192 ~x2686903+4096 ~x2686902+2048 ~x2686901+1024 ~x2686900+512 ~x2686899+256 ~x2686898+128 ~x2686897+64 ~x2686896+32 ~x2686895+16 ~x2686894+8 ~x2686893+4 ~x2686892+2 ~x2686891+1 ~x2686890+5368709120 ~x2922+2684354560 ~x2921+1342177280 ~x2920+671088640 ~x2919+335544320 ~x2918+167772160 ~x2917+83886080 ~x2916+41943040 ~x2915+20971520 ~x2914+10485760 ~x2913+5242880 ~x2912+2621440 ~x2911+1310720 ~x2910+655360 ~x2909+327680 ~x2908+163840 ~x2907+81920 ~x2906+40960 ~x2905+20480 ~x2904+10240 ~x2903+5120 ~x2902+2560 ~x2901+1280 ~x2900+640 ~x2899+320 ~x2898+160 ~x2897+80 ~x2896+40 ~x2895+20 ~x2894+10 ~x2893+5368709120 ~x2832+2684354560 ~x2831+1342177280 ~x2830+671088640 ~x2829+335544320 ~x2828+167772160 ~x2827+83886080 ~x2826+41943040 ~x2825+20971520 ~x2824+10485760 ~x2823+5242880 ~x2822+2621440 ~x2821+1310720 ~x2820+655360 ~x2819+327680 ~x2818+163840 ~x2817+81920 ~x2816+40960 ~x2815+20480 ~x2814+10240 ~x2813+5120 ~x2812+2560 ~x2811+1280 ~x2810+640 ~x2809+320 ~x2808+160 ~x2807+80 ~x2806+40 ~x2805+20 ~x2804+10 ~x2803+5368709120 ~x2742+2684354560 ~x2741+1342177280 ~x2740+671088640 ~x2739+335544320 ~x2738+167772160 ~x2737+83886080 ~x2736+41943040 ~x2735+20971520 ~x2734+10485760 ~x2733+5242880 ~x2732+2621440 ~x2731+1310720 ~x2730+655360 ~x2729+327680 ~x2728+163840 ~x2727+81920 ~x2726+40960 ~x2725+20480 ~x2724+10240 ~x2723+5120 ~x2722+2560 ~x2721+1280 ~x2720+640 ~x2719+320 ~x2718+160 ~x2717+80 ~x2716+40 ~x2715+20 ~x2714+10 ~x2713+5368709120 ~x2652+2684354560 ~x2651+1342177280 ~x2650+671088640 ~x2649+335544320 ~x2648+167772160 ~x2647+83886080 ~x2646+41943040 ~x2645+20971520 ~x2644+10485760 ~x2643+5242880 ~x2642+2621440 ~x2641+1310720 ~x2640+655360 ~x2639+327680 ~x2638+163840 ~x2637+81920 ~x2636+40960 ~x2635+20480 ~x2634+10240 ~x2633+5120 ~x2632+2560 ~x2631+1280 ~x2630+640 ~x2629+320 ~x2628+160 ~x2627+80 ~x2626+40 ~x2625+20 ~x2624+10 ~x2623+2147483648 x871+1073741824 x870+536870912 x869+268435456 x868+134217728 x867+67108864 x866+33554432 x865+16777216 x864+8388608 x863+4194304 x862+2097152 x861+1048576 x860+524288 x859+262144 x858+131072 x857+65536 x856+32768 x855+16384 x854+8192 x853+4096 x852+2048 x851+1024 x850+512 x849+256 x848+128 x847+64 x846+32 x845+16 x844+8 x843+4 x842+77846282240 x781+38923141120 x780+19461570560 x779+9730785280 x778+4865392640 x777+2432696320 x776+1216348160 x775+608174080 x774+304087040 x773+152043520 x772+76021760 x771+38010880 x770+19005440 x769+9502720 x768+4751360 x767+2375680 x766+1187840 x765+593920 x764+296960 x763+148480 x762+74240 x761+37120 x760+18560 x759+9280 x758+4640 x757+2320 x756+1160 x755+580 x754+290 x753+145 x752+36507222016 x691+18253611008 x690+9126805504 x689+4563402752 x688+2281701376 x687+1140850688 x686+570425344 x685+285212672 x684+142606336 x683+71303168 x682+35651584 x681+17825792 x680+8912896 x679+4456448 x678+2228224 x677+1114112 x676+557056 x675+278528 x674+139264 x673+69632 x672+34816 x671+17408 x670+8704 x669+4352 x668+2176 x667+1088 x666+544 x665+272 x664+136 x663+68 x662+9663676416 ~x601+4831838208 ~x600+2415919104 ~x599+1207959552 ~x598+603979776 ~x597+301989888 ~x596+150994944 ~x595+75497472 ~x594+37748736 ~x593+18874368 ~x592+9437184 ~x591+4718592 ~x590+2359296 ~x589+1179648 ~x588+589824 ~x587+294912 ~x586+147456 ~x585+73728 ~x584+36864 ~x583+18432 ~x582+9216 ~x581+4608 ~x580+2304 ~x579+1152 ~x578+576 ~x577+288 ~x576+144 ~x575+72 ~x574+36 ~x573+18 ~x572+26306674688 x511+13153337344 x510+6576668672 x509+3288334336 x508+1644167168 x507+822083584 x506+411041792 x505+205520896 x504+102760448 x503+51380224 x502+25690112 x501+12845056 x500+6422528 x499+3211264 x498+1605632 x497+802816 x496+401408 x495+200704 x494+100352 x493+50176 x492+25088 x491+12544 x490+6272 x489+3136 x488+1568 x487+784 x486+392 x485+196 x484+98 x483+49 x482+9663676416 ~x421+4831838208 ~x420+2415919104 ~x419+1207959552 ~x418+603979776 ~x417+301989888 ~x416+150994944 ~x415+75497472 ~x414+37748736 ~x413+18874368 ~x412+9437184 ~x411+4718592 ~x410+2359296 ~x409+1179648 ~x408+589824 ~x407+294912 ~x406+147456 ~x405+73728 ~x404+36864 ~x403+18432 ~x402+9216 ~x401+4608 ~x400+2304 ~x399+1152 ~x398+576 ~x397+288 ~x396+144 ~x395+72 ~x394+36 ~x393+18 ~x392+4831838208 x331+2415919104 x330+1207959552 x329+603979776 x328+301989888 x327+150994944 x326+75497472 x325+37748736 x324+18874368 x323+9437184 x322+4718592 x321+2359296 x320+1179648 x319+589824 x318+294912 x317+147456 x316+73728 x315+36864 x314+18432 x313+9216 x312+4608 x311+2304 x310+1152 x309+576 x308+288 x307+144 x306+72 x305+36 x304+18 x303+9 x302+6442450944 ~x241+3221225472 ~x240+1610612736 ~x239+805306368 ~x238+402653184 ~x237+201326592 ~x236+100663296 ~x235+50331648 ~x234+25165824 ~x233+12582912 ~x232+6291456 ~x231+3145728 ~x230+1572864 ~x229+786432 ~x228+393216 ~x227+196608 ~x226+98304 ~x225+49152 ~x224+24576 ~x223+12288 ~x222+6144 ~x221+3072 ~x220+1536 ~x219+768 ~x218+384 ~x217+192 ~x216+96 ~x215+48 ~x214+24 ~x213+12 ~x212+61203283968 x151+30601641984 x150+15300820992 x149+7650410496 x148+3825205248 x147+1912602624 x146+956301312 x145+478150656 x144+239075328 x143+119537664 x142+59768832 x141+29884416 x140+14942208 x139+7471104 x138+3735552 x137+1867776 x136+933888 x135+466944 x134+233472 x133+116736 x132+58368 x131+29184 x130+14592 x129+7296 x128+3648 x127+1824 x126+912 x125+456 x124+228 x123+114 x122+6442450944 x61+3221225472 x60+1610612736 x59+805306368 x58+402653184 x57+201326592 x56+100663296 x55+50331648 x54+25165824 x53+12582912 x52+6291456 x51+3145728 x50+1572864 x49+786432 x48+393216 x47+196608 x46+98304 x45+49152 x44+24576 x43+12288 x42+6144 x41+3072 x40+1536 x39+768 x38+384 x37+192 x36+96 x35+48 x34+24 x33+12 x32-0=231928233895
66.67/66.76	c 68719476736 ~x2892488+34359738368 ~x2892487+17179869184 ~x2892486+8589934592 ~x2892485+4294967296 ~x2892484+2147483648 ~x2892483+1073741824 ~x2892482+536870912 ~x2892481+268435456 ~x2892480+134217728 ~x2892479+67108864 ~x2892478+33554432 ~x2892477+16777216 ~x2892476+8388608 ~x2892475+4194304 ~x2892474+2097152 ~x2892473+1048576 ~x2892472+524288 ~x2892471+262144 ~x2892470+131072 ~x2892469+65536 ~x2892468+32768 ~x2892467+16384 ~x2892466+8192 ~x2892465+4096 ~x2892464+2048 ~x2892463+1024 ~x2892462+512 ~x2892461+256 ~x2892460+128 ~x2892459+64 ~x2892458+32 ~x2892457+16 ~x2892456+8 ~x2892455+4 ~x2892454+2 ~x2892453+1 ~x2892452+5368709120 ~x2952+2684354560 ~x2951+1342177280 ~x2950+671088640 ~x2949+335544320 ~x2948+167772160 ~x2947+83886080 ~x2946+41943040 ~x2945+20971520 ~x2944+10485760 ~x2943+5242880 ~x2942+2621440 ~x2941+1310720 ~x2940+655360 ~x2939+327680 ~x2938+163840 ~x2937+81920 ~x2936+40960 ~x2935+20480 ~x2934+10240 ~x2933+5120 ~x2932+2560 ~x2931+1280 ~x2930+640 ~x2929+320 ~x2928+160 ~x2927+80 ~x2926+40 ~x2925+20 ~x2924+10 ~x2923+5368709120 ~x2862+2684354560 ~x2861+1342177280 ~x2860+671088640 ~x2859+335544320 ~x2858+167772160 ~x2857+83886080 ~x2856+41943040 ~x2855+20971520 ~x2854+10485760 ~x2853+5242880 ~x2852+2621440 ~x2851+1310720 ~x2850+655360 ~x2849+327680 ~x2848+163840 ~x2847+81920 ~x2846+40960 ~x2845+20480 ~x2844+10240 ~x2843+5120 ~x2842+2560 ~x2841+1280 ~x2840+640 ~x2839+320 ~x2838+160 ~x2837+80 ~x2836+40 ~x2835+20 ~x2834+10 ~x2833+5368709120 ~x2772+2684354560 ~x2771+1342177280 ~x2770+671088640 ~x2769+335544320 ~x2768+167772160 ~x2767+83886080 ~x2766+41943040 ~x2765+20971520 ~x2764+10485760 ~x2763+5242880 ~x2762+2621440 ~x2761+1310720 ~x2760+655360 ~x2759+327680 ~x2758+163840 ~x2757+81920 ~x2756+40960 ~x2755+20480 ~x2754+10240 ~x2753+5120 ~x2752+2560 ~x2751+1280 ~x2750+640 ~x2749+320 ~x2748+160 ~x2747+80 ~x2746+40 ~x2745+20 ~x2744+10 ~x2743+5368709120 ~x2682+2684354560 ~x2681+1342177280 ~x2680+671088640 ~x2679+335544320 ~x2678+167772160 ~x2677+83886080 ~x2676+41943040 ~x2675+20971520 ~x2674+10485760 ~x2673+5242880 ~x2672+2621440 ~x2671+1310720 ~x2670+655360 ~x2669+327680 ~x2668+163840 ~x2667+81920 ~x2666+40960 ~x2665+20480 ~x2664+10240 ~x2663+5120 ~x2662+2560 ~x2661+1280 ~x2660+640 ~x2659+320 ~x2658+160 ~x2657+80 ~x2656+40 ~x2655+20 ~x2654+10 ~x2653+2147483648 x901+1073741824 x900+536870912 x899+268435456 x898+134217728 x897+67108864 x896+33554432 x895+16777216 x894+8388608 x893+4194304 x892+2097152 x891+1048576 x890+524288 x889+262144 x888+131072 x887+65536 x886+32768 x885+16384 x884+8192 x883+4096 x882+2048 x881+1024 x880+512 x879+256 x878+128 x877+64 x876+32 x875+16 x874+8 x873+4 x872+77846282240 x811+38923141120 x810+19461570560 x809+9730785280 x808+4865392640 x807+2432696320 x806+1216348160 x805+608174080 x804+304087040 x803+152043520 x802+76021760 x801+38010880 x800+19005440 x799+9502720 x798+4751360 x797+2375680 x796+1187840 x795+593920 x794+296960 x793+148480 x792+74240 x791+37120 x790+18560 x789+9280 x788+4640 x787+2320 x786+1160 x785+580 x784+290 x783+145 x782+36507222016 x721+18253611008 x720+9126805504 x719+4563402752 x718+2281701376 x717+1140850688 x716+570425344 x715+285212672 x714+142606336 x713+71303168 x712+35651584 x711+17825792 x710+8912896 x709+4456448 x708+2228224 x707+1114112 x706+557056 x705+278528 x704+139264 x703+69632 x702+34816 x701+17408 x700+8704 x699+4352 x698+2176 x697+1088 x696+544 x695+272 x694+136 x693+68 x692+9663676416 ~x631+4831838208 ~x630+2415919104 ~x629+1207959552 ~x628+603979776 ~x627+301989888 ~x626+150994944 ~x625+75497472 ~x624+37748736 ~x623+18874368 ~x622+9437184 ~x621+4718592 ~x620+2359296 ~x619+1179648 ~x618+589824 ~x617+294912 ~x616+147456 ~x615+73728 ~x614+36864 ~x613+18432 ~x612+9216 ~x611+4608 ~x610+2304 ~x609+1152 ~x608+576 ~x607+288 ~x606+144 ~x605+72 ~x604+36 ~x603+18 ~x602+26306674688 x541+13153337344 x540+6576668672 x539+3288334336 x538+1644167168 x537+822083584 x536+411041792 x535+205520896 x534+102760448 x533+51380224 x532+25690112 x531+12845056 x530+6422528 x529+3211264 x528+1605632 x527+802816 x526+401408 x525+200704 x524+100352 x523+50176 x522+25088 x521+12544 x520+6272 x519+3136 x518+1568 x517+784 x516+392 x515+196 x514+98 x513+49 x512+9663676416 ~x451+4831838208 ~x450+2415919104 ~x449+1207959552 ~x448+603979776 ~x447+301989888 ~x446+150994944 ~x445+75497472 ~x444+37748736 ~x443+18874368 ~x442+9437184 ~x441+4718592 ~x440+2359296 ~x439+1179648 ~x438+589824 ~x437+294912 ~x436+147456 ~x435+73728 ~x434+36864 ~x433+18432 ~x432+9216 ~x431+4608 ~x430+2304 ~x429+1152 ~x428+576 ~x427+288 ~x426+144 ~x425+72 ~x424+36 ~x423+18 ~x422+4831838208 x361+2415919104 x360+1207959552 x359+603979776 x358+301989888 x357+150994944 x356+75497472 x355+37748736 x354+18874368 x353+9437184 x352+4718592 x351+2359296 x350+1179648 x349+589824 x348+294912 x347+147456 x346+73728 x345+36864 x344+18432 x343+9216 x342+4608 x341+2304 x340+1152 x339+576 x338+288 x337+144 x336+72 x335+36 x334+18 x333+9 x332+6442450944 ~x271+3221225472 ~x270+1610612736 ~x269+805306368 ~x268+402653184 ~x267+201326592 ~x266+100663296 ~x265+50331648 ~x264+25165824 ~x263+12582912 ~x262+6291456 ~x261+3145728 ~x260+1572864 ~x259+786432 ~x258+393216 ~x257+196608 ~x256+98304 ~x255+49152 ~x254+24576 ~x253+12288 ~x252+6144 ~x251+3072 ~x250+1536 ~x249+768 ~x248+384 ~x247+192 ~x246+96 ~x245+48 ~x244+24 ~x243+12 ~x242+61203283968 x181+30601641984 x180+15300820992 x179+7650410496 x178+3825205248 x177+1912602624 x176+956301312 x175+478150656 x174+239075328 x173+119537664 x172+59768832 x171+29884416 x170+14942208 x169+7471104 x168+3735552 x167+1867776 x166+933888 x165+466944 x164+233472 x163+116736 x162+58368 x161+29184 x160+14592 x159+7296 x158+3648 x157+1824 x156+912 x155+456 x154+228 x153+114 x152+6442450944 x91+3221225472 x90+1610612736 x89+805306368 x88+402653184 x87+201326592 x86+100663296 x85+50331648 x84+25165824 x83+12582912 x82+6291456 x81+3145728 x80+1572864 x79+786432 x78+393216 x77+196608 x76+98304 x75+49152 x74+24576 x73+12288 x72+6144 x71+3072 x70+1536 x69+768 x68+384 x67+192 x66+96 x65+48 x64+24 x63+12 x62-0=231928233895
71.27/71.39	c 1099511627776 ~x3098054+549755813888 ~x3098053+274877906944 ~x3098052+137438953472 ~x3098051+68719476736 ~x3098050+34359738368 ~x3098049+17179869184 ~x3098048+8589934592 ~x3098047+4294967296 ~x3098046+2147483648 ~x3098045+1073741824 ~x3098044+536870912 ~x3098043+268435456 ~x3098042+134217728 ~x3098041+67108864 ~x3098040+33554432 ~x3098039+16777216 ~x3098038+8388608 ~x3098037+4194304 ~x3098036+2097152 ~x3098035+1048576 ~x3098034+524288 ~x3098033+262144 ~x3098032+131072 ~x3098031+65536 ~x3098030+32768 ~x3098029+16384 ~x3098028+8192 ~x3098027+4096 ~x3098026+2048 ~x3098025+1024 ~x3098024+512 ~x3098023+256 ~x3098022+128 ~x3098021+64 ~x3098020+32 ~x3098019+16 ~x3098018+8 ~x3098017+4 ~x3098016+2 ~x3098015+1 ~x3098014+268435456000 ~x2892+134217728000 ~x2891+67108864000 ~x2890+33554432000 ~x2889+16777216000 ~x2888+8388608000 ~x2887+4194304000 ~x2886+2097152000 ~x2885+1048576000 ~x2884+524288000 ~x2883+262144000 ~x2882+131072000 ~x2881+65536000 ~x2880+32768000 ~x2879+16384000 ~x2878+8192000 ~x2877+4096000 ~x2876+2048000 ~x2875+1024000 ~x2874+512000 ~x2873+256000 ~x2872+128000 ~x2871+64000 ~x2870+32000 ~x2869+16000 ~x2868+8000 ~x2867+4000 ~x2866+2000 ~x2865+1000 ~x2864+500 ~x2863+268435456000 ~x2802+134217728000 ~x2801+67108864000 ~x2800+33554432000 ~x2799+16777216000 ~x2798+8388608000 ~x2797+4194304000 ~x2796+2097152000 ~x2795+1048576000 ~x2794+524288000 ~x2793+262144000 ~x2792+131072000 ~x2791+65536000 ~x2790+32768000 ~x2789+16384000 ~x2788+8192000 ~x2787+4096000 ~x2786+2048000 ~x2785+1024000 ~x2784+512000 ~x2783+256000 ~x2782+128000 ~x2781+64000 ~x2780+32000 ~x2779+16000 ~x2778+8000 ~x2777+4000 ~x2776+2000 ~x2775+1000 ~x2774+500 ~x2773+268435456000 ~x2712+134217728000 ~x2711+67108864000 ~x2710+33554432000 ~x2709+16777216000 ~x2708+8388608000 ~x2707+4194304000 ~x2706+2097152000 ~x2705+1048576000 ~x2704+524288000 ~x2703+262144000 ~x2702+131072000 ~x2701+65536000 ~x2700+32768000 ~x2699+16384000 ~x2698+8192000 ~x2697+4096000 ~x2696+2048000 ~x2695+1024000 ~x2694+512000 ~x2693+256000 ~x2692+128000 ~x2691+64000 ~x2690+32000 ~x2689+16000 ~x2688+8000 ~x2687+4000 ~x2686+2000 ~x2685+1000 ~x2684+500 ~x2683+268435456000 ~x2622+134217728000 ~x2621+67108864000 ~x2620+33554432000 ~x2619+16777216000 ~x2618+8388608000 ~x2617+4194304000 ~x2616+2097152000 ~x2615+1048576000 ~x2614+524288000 ~x2613+262144000 ~x2612+131072000 ~x2611+65536000 ~x2610+32768000 ~x2609+16384000 ~x2608+8192000 ~x2607+4096000 ~x2606+2048000 ~x2605+1024000 ~x2604+512000 ~x2603+256000 ~x2602+128000 ~x2601+64000 ~x2600+32000 ~x2599+16000 ~x2598+8000 ~x2597+4000 ~x2596+2000 ~x2595+1000 ~x2594+500 ~x2593+153008209920 x841+76504104960 x840+38252052480 x839+19126026240 x838+9563013120 x837+4781506560 x836+2390753280 x835+1195376640 x834+597688320 x833+298844160 x832+149422080 x831+74711040 x830+37355520 x829+18677760 x828+9338880 x827+4669440 x826+2334720 x825+1167360 x824+583680 x823+291840 x822+145920 x821+72960 x820+36480 x819+18240 x818+9120 x817+4560 x816+2280 x815+1140 x814+570 x813+285 x812+536870912000 x751+268435456000 x750+134217728000 x749+67108864000 x748+33554432000 x747+16777216000 x746+8388608000 x745+4194304000 x744+2097152000 x743+1048576000 x742+524288000 x741+262144000 x740+131072000 x739+65536000 x738+32768000 x737+16384000 x736+8192000 x735+4096000 x734+2048000 x733+1024000 x732+512000 x731+256000 x730+128000 x729+64000 x728+32000 x727+16000 x726+8000 x725+4000 x724+2000 x723+1000 x722+510027366400 x661+255013683200 x660+127506841600 x659+63753420800 x658+31876710400 x657+15938355200 x656+7969177600 x655+3984588800 x654+1992294400 x653+996147200 x652+498073600 x651+249036800 x650+124518400 x649+62259200 x648+31129600 x647+15564800 x646+7782400 x645+3891200 x644+1945600 x643+972800 x642+486400 x641+243200 x640+121600 x639+60800 x638+30400 x637+15200 x636+7600 x635+3800 x634+1900 x633+950 x632+21474836480 x571+10737418240 x570+5368709120 x569+2684354560 x568+1342177280 x567+671088640 x566+335544320 x565+167772160 x564+83886080 x563+41943040 x562+20971520 x561+10485760 x560+5242880 x559+2621440 x558+1310720 x557+655360 x556+327680 x555+163840 x554+81920 x553+40960 x552+20480 x551+10240 x550+5120 x549+2560 x548+1280 x547+640 x546+320 x545+160 x544+80 x543+40 x542+526133493760 x481+263066746880 x480+131533373440 x479+65766686720 x478+32883343360 x477+16441671680 x476+8220835840 x475+4110417920 x474+2055208960 x473+1027604480 x472+513802240 x471+256901120 x470+128450560 x469+64225280 x468+32112640 x467+16056320 x466+8028160 x465+4014080 x464+2007040 x463+1003520 x462+501760 x461+250880 x460+125440 x459+62720 x458+31360 x457+15680 x456+7840 x455+3920 x454+1960 x453+980 x452+21474836480 x391+10737418240 x390+5368709120 x389+2684354560 x388+1342177280 x387+671088640 x386+335544320 x385+167772160 x384+83886080 x383+41943040 x382+20971520 x381+10485760 x380+5242880 x379+2621440 x378+1310720 x377+655360 x376+327680 x375+163840 x374+81920 x373+40960 x372+20480 x371+10240 x370+5120 x369+2560 x368+1280 x367+640 x366+320 x365+160 x364+80 x363+40 x362+510027366400 x301+255013683200 x300+127506841600 x299+63753420800 x298+31876710400 x297+15938355200 x296+7969177600 x295+3984588800 x294+1992294400 x293+996147200 x292+498073600 x291+249036800 x290+124518400 x289+62259200 x288+31129600 x287+15564800 x286+7782400 x285+3891200 x284+1945600 x283+972800 x282+486400 x281+243200 x280+121600 x279+60800 x278+30400 x277+15200 x276+7600 x275+3800 x274+1900 x273+950 x272+12884901888 x211+6442450944 x210+3221225472 x209+1610612736 x208+805306368 x207+402653184 x206+201326592 x205+100663296 x204+50331648 x203+25165824 x202+12582912 x201+6291456 x200+3145728 x199+1572864 x198+786432 x197+393216 x196+196608 x195+98304 x194+49152 x193+24576 x192+12288 x191+6144 x190+3072 x189+1536 x188+768 x187+384 x186+192 x185+96 x184+48 x183+24 x182+536870912000 x121+268435456000 x120+134217728000 x119+67108864000 x118+33554432000 x117+16777216000 x116+8388608000 x115+4194304000 x114+2097152000 x113+1048576000 x112+524288000 x111+262144000 x110+131072000 x109+65536000 x108+32768000 x107+16384000 x106+8192000 x105+4096000 x104+2048000 x103+1024000 x102+512000 x101+256000 x100+128000 x99+64000 x98+32000 x97+16000 x96+8000 x95+4000 x94+2000 x93+1000 x92+429496729600 x31+214748364800 x30+107374182400 x29+53687091200 x28+26843545600 x27+13421772800 x26+6710886400 x25+3355443200 x24+1677721600 x23+838860800 x22+419430400 x21+209715200 x20+104857600 x19+52428800 x18+26214400 x17+13107200 x16+6553600 x15+3276800 x14+1638400 x13+819200 x12+409600 x11+204800 x10+102400 x9+51200 x8+25600 x7+12800 x6+6400 x5+3200 x4+1600 x3+800 x2-0=4346506901551
76.57/76.65	c 1099511627776 ~x3334538+549755813888 ~x3334537+274877906944 ~x3334536+137438953472 ~x3334535+68719476736 ~x3334534+34359738368 ~x3334533+17179869184 ~x3334532+8589934592 ~x3334531+4294967296 ~x3334530+2147483648 ~x3334529+1073741824 ~x3334528+536870912 ~x3334527+268435456 ~x3334526+134217728 ~x3334525+67108864 ~x3334524+33554432 ~x3334523+16777216 ~x3334522+8388608 ~x3334521+4194304 ~x3334520+2097152 ~x3334519+1048576 ~x3334518+524288 ~x3334517+262144 ~x3334516+131072 ~x3334515+65536 ~x3334514+32768 ~x3334513+16384 ~x3334512+8192 ~x3334511+4096 ~x3334510+2048 ~x3334509+1024 ~x3334508+512 ~x3334507+256 ~x3334506+128 ~x3334505+64 ~x3334504+32 ~x3334503+16 ~x3334502+8 ~x3334501+4 ~x3334500+2 ~x3334499+1 ~x3334498+268435456000 ~x2922+134217728000 ~x2921+67108864000 ~x2920+33554432000 ~x2919+16777216000 ~x2918+8388608000 ~x2917+4194304000 ~x2916+2097152000 ~x2915+1048576000 ~x2914+524288000 ~x2913+262144000 ~x2912+131072000 ~x2911+65536000 ~x2910+32768000 ~x2909+16384000 ~x2908+8192000 ~x2907+4096000 ~x2906+2048000 ~x2905+1024000 ~x2904+512000 ~x2903+256000 ~x2902+128000 ~x2901+64000 ~x2900+32000 ~x2899+16000 ~x2898+8000 ~x2897+4000 ~x2896+2000 ~x2895+1000 ~x2894+500 ~x2893+268435456000 ~x2832+134217728000 ~x2831+67108864000 ~x2830+33554432000 ~x2829+16777216000 ~x2828+8388608000 ~x2827+4194304000 ~x2826+2097152000 ~x2825+1048576000 ~x2824+524288000 ~x2823+262144000 ~x2822+131072000 ~x2821+65536000 ~x2820+32768000 ~x2819+16384000 ~x2818+8192000 ~x2817+4096000 ~x2816+2048000 ~x2815+1024000 ~x2814+512000 ~x2813+256000 ~x2812+128000 ~x2811+64000 ~x2810+32000 ~x2809+16000 ~x2808+8000 ~x2807+4000 ~x2806+2000 ~x2805+1000 ~x2804+500 ~x2803+268435456000 ~x2742+134217728000 ~x2741+67108864000 ~x2740+33554432000 ~x2739+16777216000 ~x2738+8388608000 ~x2737+4194304000 ~x2736+2097152000 ~x2735+1048576000 ~x2734+524288000 ~x2733+262144000 ~x2732+131072000 ~x2731+65536000 ~x2730+32768000 ~x2729+16384000 ~x2728+8192000 ~x2727+4096000 ~x2726+2048000 ~x2725+1024000 ~x2724+512000 ~x2723+256000 ~x2722+128000 ~x2721+64000 ~x2720+32000 ~x2719+16000 ~x2718+8000 ~x2717+4000 ~x2716+2000 ~x2715+1000 ~x2714+500 ~x2713+268435456000 ~x2652+134217728000 ~x2651+67108864000 ~x2650+33554432000 ~x2649+16777216000 ~x2648+8388608000 ~x2647+4194304000 ~x2646+2097152000 ~x2645+1048576000 ~x2644+524288000 ~x2643+262144000 ~x2642+131072000 ~x2641+65536000 ~x2640+32768000 ~x2639+16384000 ~x2638+8192000 ~x2637+4096000 ~x2636+2048000 ~x2635+1024000 ~x2634+512000 ~x2633+256000 ~x2632+128000 ~x2631+64000 ~x2630+32000 ~x2629+16000 ~x2628+8000 ~x2627+4000 ~x2626+2000 ~x2625+1000 ~x2624+500 ~x2623+153008209920 x871+76504104960 x870+38252052480 x869+19126026240 x868+9563013120 x867+4781506560 x866+2390753280 x865+1195376640 x864+597688320 x863+298844160 x862+149422080 x861+74711040 x860+37355520 x859+18677760 x858+9338880 x857+4669440 x856+2334720 x855+1167360 x854+583680 x853+291840 x852+145920 x851+72960 x850+36480 x849+18240 x848+9120 x847+4560 x846+2280 x845+1140 x844+570 x843+285 x842+536870912000 x781+268435456000 x780+134217728000 x779+67108864000 x778+33554432000 x777+16777216000 x776+8388608000 x775+4194304000 x774+2097152000 x773+1048576000 x772+524288000 x771+262144000 x770+131072000 x769+65536000 x768+32768000 x767+16384000 x766+8192000 x765+4096000 x764+2048000 x763+1024000 x762+512000 x761+256000 x760+128000 x759+64000 x758+32000 x757+16000 x756+8000 x755+4000 x754+2000 x753+1000 x752+510027366400 x691+255013683200 x690+127506841600 x689+63753420800 x688+31876710400 x687+15938355200 x686+7969177600 x685+3984588800 x684+1992294400 x683+996147200 x682+498073600 x681+249036800 x680+124518400 x679+62259200 x678+31129600 x677+15564800 x676+7782400 x675+3891200 x674+1945600 x673+972800 x672+486400 x671+243200 x670+121600 x669+60800 x668+30400 x667+15200 x666+7600 x665+3800 x664+1900 x663+950 x662+21474836480 x601+10737418240 x600+5368709120 x599+2684354560 x598+1342177280 x597+671088640 x596+335544320 x595+167772160 x594+83886080 x593+41943040 x592+20971520 x591+10485760 x590+5242880 x589+2621440 x588+1310720 x587+655360 x586+327680 x585+163840 x584+81920 x583+40960 x582+20480 x581+10240 x580+5120 x579+2560 x578+1280 x577+640 x576+320 x575+160 x574+80 x573+40 x572+526133493760 x511+263066746880 x510+131533373440 x509+65766686720 x508+32883343360 x507+16441671680 x506+8220835840 x505+4110417920 x504+2055208960 x503+1027604480 x502+513802240 x501+256901120 x500+128450560 x499+64225280 x498+32112640 x497+16056320 x496+8028160 x495+4014080 x494+2007040 x493+1003520 x492+501760 x491+250880 x490+125440 x489+62720 x488+31360 x487+15680 x486+7840 x485+3920 x484+1960 x483+980 x482+21474836480 x421+10737418240 x420+5368709120 x419+2684354560 x418+1342177280 x417+671088640 x416+335544320 x415+167772160 x414+83886080 x413+41943040 x412+20971520 x411+10485760 x410+5242880 x409+2621440 x408+1310720 x407+655360 x406+327680 x405+163840 x404+81920 x403+40960 x402+20480 x401+10240 x400+5120 x399+2560 x398+1280 x397+640 x396+320 x395+160 x394+80 x393+40 x392+510027366400 x331+255013683200 x330+127506841600 x329+63753420800 x328+31876710400 x327+15938355200 x326+7969177600 x325+3984588800 x324+1992294400 x323+996147200 x322+498073600 x321+249036800 x320+124518400 x319+62259200 x318+31129600 x317+15564800 x316+7782400 x315+3891200 x314+1945600 x313+972800 x312+486400 x311+243200 x310+121600 x309+60800 x308+30400 x307+15200 x306+7600 x305+3800 x304+1900 x303+950 x302+12884901888 x241+6442450944 x240+3221225472 x239+1610612736 x238+805306368 x237+402653184 x236+201326592 x235+100663296 x234+50331648 x233+25165824 x232+12582912 x231+6291456 x230+3145728 x229+1572864 x228+786432 x227+393216 x226+196608 x225+98304 x224+49152 x223+24576 x222+12288 x221+6144 x220+3072 x219+1536 x218+768 x217+384 x216+192 x215+96 x214+48 x213+24 x212+536870912000 x151+268435456000 x150+134217728000 x149+67108864000 x148+33554432000 x147+16777216000 x146+8388608000 x145+4194304000 x144+2097152000 x143+1048576000 x142+524288000 x141+262144000 x140+131072000 x139+65536000 x138+32768000 x137+16384000 x136+8192000 x135+4096000 x134+2048000 x133+1024000 x132+512000 x131+256000 x130+128000 x129+64000 x128+32000 x127+16000 x126+8000 x125+4000 x124+2000 x123+1000 x122+429496729600 x61+214748364800 x60+107374182400 x59+53687091200 x58+26843545600 x57+13421772800 x56+6710886400 x55+3355443200 x54+1677721600 x53+838860800 x52+419430400 x51+209715200 x50+104857600 x49+52428800 x48+26214400 x47+13107200 x46+6553600 x45+3276800 x44+1638400 x43+819200 x42+409600 x41+204800 x40+102400 x39+51200 x38+25600 x37+12800 x36+6400 x35+3200 x34+1600 x33+800 x32-0=4346506901551
81.86/81.93	c 1099511627776 ~x3571022+549755813888 ~x3571021+274877906944 ~x3571020+137438953472 ~x3571019+68719476736 ~x3571018+34359738368 ~x3571017+17179869184 ~x3571016+8589934592 ~x3571015+4294967296 ~x3571014+2147483648 ~x3571013+1073741824 ~x3571012+536870912 ~x3571011+268435456 ~x3571010+134217728 ~x3571009+67108864 ~x3571008+33554432 ~x3571007+16777216 ~x3571006+8388608 ~x3571005+4194304 ~x3571004+2097152 ~x3571003+1048576 ~x3571002+524288 ~x3571001+262144 ~x3571000+131072 ~x3570999+65536 ~x3570998+32768 ~x3570997+16384 ~x3570996+8192 ~x3570995+4096 ~x3570994+2048 ~x3570993+1024 ~x3570992+512 ~x3570991+256 ~x3570990+128 ~x3570989+64 ~x3570988+32 ~x3570987+16 ~x3570986+8 ~x3570985+4 ~x3570984+2 ~x3570983+1 ~x3570982+268435456000 ~x2952+134217728000 ~x2951+67108864000 ~x2950+33554432000 ~x2949+16777216000 ~x2948+8388608000 ~x2947+4194304000 ~x2946+2097152000 ~x2945+1048576000 ~x2944+524288000 ~x2943+262144000 ~x2942+131072000 ~x2941+65536000 ~x2940+32768000 ~x2939+16384000 ~x2938+8192000 ~x2937+4096000 ~x2936+2048000 ~x2935+1024000 ~x2934+512000 ~x2933+256000 ~x2932+128000 ~x2931+64000 ~x2930+32000 ~x2929+16000 ~x2928+8000 ~x2927+4000 ~x2926+2000 ~x2925+1000 ~x2924+500 ~x2923+268435456000 ~x2862+134217728000 ~x2861+67108864000 ~x2860+33554432000 ~x2859+16777216000 ~x2858+8388608000 ~x2857+4194304000 ~x2856+2097152000 ~x2855+1048576000 ~x2854+524288000 ~x2853+262144000 ~x2852+131072000 ~x2851+65536000 ~x2850+32768000 ~x2849+16384000 ~x2848+8192000 ~x2847+4096000 ~x2846+2048000 ~x2845+1024000 ~x2844+512000 ~x2843+256000 ~x2842+128000 ~x2841+64000 ~x2840+32000 ~x2839+16000 ~x2838+8000 ~x2837+4000 ~x2836+2000 ~x2835+1000 ~x2834+500 ~x2833+268435456000 ~x2772+134217728000 ~x2771+67108864000 ~x2770+33554432000 ~x2769+16777216000 ~x2768+8388608000 ~x2767+4194304000 ~x2766+2097152000 ~x2765+1048576000 ~x2764+524288000 ~x2763+262144000 ~x2762+131072000 ~x2761+65536000 ~x2760+32768000 ~x2759+16384000 ~x2758+8192000 ~x2757+4096000 ~x2756+2048000 ~x2755+1024000 ~x2754+512000 ~x2753+256000 ~x2752+128000 ~x2751+64000 ~x2750+32000 ~x2749+16000 ~x2748+8000 ~x2747+4000 ~x2746+2000 ~x2745+1000 ~x2744+500 ~x2743+268435456000 ~x2682+134217728000 ~x2681+67108864000 ~x2680+33554432000 ~x2679+16777216000 ~x2678+8388608000 ~x2677+4194304000 ~x2676+2097152000 ~x2675+1048576000 ~x2674+524288000 ~x2673+262144000 ~x2672+131072000 ~x2671+65536000 ~x2670+32768000 ~x2669+16384000 ~x2668+8192000 ~x2667+4096000 ~x2666+2048000 ~x2665+1024000 ~x2664+512000 ~x2663+256000 ~x2662+128000 ~x2661+64000 ~x2660+32000 ~x2659+16000 ~x2658+8000 ~x2657+4000 ~x2656+2000 ~x2655+1000 ~x2654+500 ~x2653+153008209920 x901+76504104960 x900+38252052480 x899+19126026240 x898+9563013120 x897+4781506560 x896+2390753280 x895+1195376640 x894+597688320 x893+298844160 x892+149422080 x891+74711040 x890+37355520 x889+18677760 x888+9338880 x887+4669440 x886+2334720 x885+1167360 x884+583680 x883+291840 x882+145920 x881+72960 x880+36480 x879+18240 x878+9120 x877+4560 x876+2280 x875+1140 x874+570 x873+285 x872+536870912000 x811+268435456000 x810+134217728000 x809+67108864000 x808+33554432000 x807+16777216000 x806+8388608000 x805+4194304000 x804+2097152000 x803+1048576000 x802+524288000 x801+262144000 x800+131072000 x799+65536000 x798+32768000 x797+16384000 x796+8192000 x795+4096000 x794+2048000 x793+1024000 x792+512000 x791+256000 x790+128000 x789+64000 x788+32000 x787+16000 x786+8000 x785+4000 x784+2000 x783+1000 x782+510027366400 x721+255013683200 x720+127506841600 x719+63753420800 x718+31876710400 x717+15938355200 x716+7969177600 x715+3984588800 x714+1992294400 x713+996147200 x712+498073600 x711+249036800 x710+124518400 x709+62259200 x708+31129600 x707+15564800 x706+7782400 x705+3891200 x704+1945600 x703+972800 x702+486400 x701+243200 x700+121600 x699+60800 x698+30400 x697+15200 x696+7600 x695+3800 x694+1900 x693+950 x692+21474836480 x631+10737418240 x630+5368709120 x629+2684354560 x628+1342177280 x627+671088640 x626+335544320 x625+167772160 x624+83886080 x623+41943040 x622+20971520 x621+10485760 x620+5242880 x619+2621440 x618+1310720 x617+655360 x616+327680 x615+163840 x614+81920 x613+40960 x612+20480 x611+10240 x610+5120 x609+2560 x608+1280 x607+640 x606+320 x605+160 x604+80 x603+40 x602+526133493760 x541+263066746880 x540+131533373440 x539+65766686720 x538+32883343360 x537+16441671680 x536+8220835840 x535+4110417920 x534+2055208960 x533+1027604480 x532+513802240 x531+256901120 x530+128450560 x529+64225280 x528+32112640 x527+16056320 x526+8028160 x525+4014080 x524+2007040 x523+1003520 x522+501760 x521+250880 x520+125440 x519+62720 x518+31360 x517+15680 x516+7840 x515+3920 x514+1960 x513+980 x512+21474836480 x451+10737418240 x450+5368709120 x449+2684354560 x448+1342177280 x447+671088640 x446+335544320 x445+167772160 x444+83886080 x443+41943040 x442+20971520 x441+10485760 x440+5242880 x439+2621440 x438+1310720 x437+655360 x436+327680 x435+163840 x434+81920 x433+40960 x432+20480 x431+10240 x430+5120 x429+2560 x428+1280 x427+640 x426+320 x425+160 x424+80 x423+40 x422+510027366400 x361+255013683200 x360+127506841600 x359+63753420800 x358+31876710400 x357+15938355200 x356+7969177600 x355+3984588800 x354+1992294400 x353+996147200 x352+498073600 x351+249036800 x350+124518400 x349+62259200 x348+31129600 x347+15564800 x346+7782400 x345+3891200 x344+1945600 x343+972800 x342+486400 x341+243200 x340+121600 x339+60800 x338+30400 x337+15200 x336+7600 x335+3800 x334+1900 x333+950 x332+12884901888 x271+6442450944 x270+3221225472 x269+1610612736 x268+805306368 x267+402653184 x266+201326592 x265+100663296 x264+50331648 x263+25165824 x262+12582912 x261+6291456 x260+3145728 x259+1572864 x258+786432 x257+393216 x256+196608 x255+98304 x254+49152 x253+24576 x252+12288 x251+6144 x250+3072 x249+1536 x248+768 x247+384 x246+192 x245+96 x244+48 x243+24 x242+536870912000 x181+268435456000 x180+134217728000 x179+67108864000 x178+33554432000 x177+16777216000 x176+8388608000 x175+4194304000 x174+2097152000 x173+1048576000 x172+524288000 x171+262144000 x170+131072000 x169+65536000 x168+32768000 x167+16384000 x166+8192000 x165+4096000 x164+2048000 x163+1024000 x162+512000 x161+256000 x160+128000 x159+64000 x158+32000 x157+16000 x156+8000 x155+4000 x154+2000 x153+1000 x152+429496729600 x91+214748364800 x90+107374182400 x89+53687091200 x88+26843545600 x87+13421772800 x86+6710886400 x85+3355443200 x84+1677721600 x83+838860800 x82+419430400 x81+209715200 x80+104857600 x79+52428800 x78+26214400 x77+13107200 x76+6553600 x75+3276800 x74+1638400 x73+819200 x72+409600 x71+204800 x70+102400 x69+51200 x68+25600 x67+12800 x66+6400 x65+3200 x64+1600 x63+800 x62-0=4346506901551
87.17/87.26	c 549755813888 ~x3807505+274877906944 ~x3807504+137438953472 ~x3807503+68719476736 ~x3807502+34359738368 ~x3807501+17179869184 ~x3807500+8589934592 ~x3807499+4294967296 ~x3807498+2147483648 ~x3807497+1073741824 ~x3807496+536870912 ~x3807495+268435456 ~x3807494+134217728 ~x3807493+67108864 ~x3807492+33554432 ~x3807491+16777216 ~x3807490+8388608 ~x3807489+4194304 ~x3807488+2097152 ~x3807487+1048576 ~x3807486+524288 ~x3807485+262144 ~x3807484+131072 ~x3807483+65536 ~x3807482+32768 ~x3807481+16384 ~x3807480+8192 ~x3807479+4096 ~x3807478+2048 ~x3807477+1024 ~x3807476+512 ~x3807475+256 ~x3807474+128 ~x3807473+64 ~x3807472+32 ~x3807471+16 ~x3807470+8 ~x3807469+4 ~x3807468+2 ~x3807467+1 ~x3807466+96636764160 ~x2892+48318382080 ~x2891+24159191040 ~x2890+12079595520 ~x2889+6039797760 ~x2888+3019898880 ~x2887+1509949440 ~x2886+754974720 ~x2885+377487360 ~x2884+188743680 ~x2883+94371840 ~x2882+47185920 ~x2881+23592960 ~x2880+11796480 ~x2879+5898240 ~x2878+2949120 ~x2877+1474560 ~x2876+737280 ~x2875+368640 ~x2874+184320 ~x2873+92160 ~x2872+46080 ~x2871+23040 ~x2870+11520 ~x2869+5760 ~x2868+2880 ~x2867+1440 ~x2866+720 ~x2865+360 ~x2864+180 ~x2863+96636764160 ~x2802+48318382080 ~x2801+24159191040 ~x2800+12079595520 ~x2799+6039797760 ~x2798+3019898880 ~x2797+1509949440 ~x2796+754974720 ~x2795+377487360 ~x2794+188743680 ~x2793+94371840 ~x2792+47185920 ~x2791+23592960 ~x2790+11796480 ~x2789+5898240 ~x2788+2949120 ~x2787+1474560 ~x2786+737280 ~x2785+368640 ~x2784+184320 ~x2783+92160 ~x2782+46080 ~x2781+23040 ~x2780+11520 ~x2779+5760 ~x2778+2880 ~x2777+1440 ~x2776+720 ~x2775+360 ~x2774+180 ~x2773+96636764160 ~x2712+48318382080 ~x2711+24159191040 ~x2710+12079595520 ~x2709+6039797760 ~x2708+3019898880 ~x2707+1509949440 ~x2706+754974720 ~x2705+377487360 ~x2704+188743680 ~x2703+94371840 ~x2702+47185920 ~x2701+23592960 ~x2700+11796480 ~x2699+5898240 ~x2698+2949120 ~x2697+1474560 ~x2696+737280 ~x2695+368640 ~x2694+184320 ~x2693+92160 ~x2692+46080 ~x2691+23040 ~x2690+11520 ~x2689+5760 ~x2688+2880 ~x2687+1440 ~x2686+720 ~x2685+360 ~x2684+180 ~x2683+96636764160 ~x2622+48318382080 ~x2621+24159191040 ~x2620+12079595520 ~x2619+6039797760 ~x2618+3019898880 ~x2617+1509949440 ~x2616+754974720 ~x2615+377487360 ~x2614+188743680 ~x2613+94371840 ~x2612+47185920 ~x2611+23592960 ~x2610+11796480 ~x2609+5898240 ~x2608+2949120 ~x2607+1474560 ~x2606+737280 ~x2605+368640 ~x2604+184320 ~x2603+92160 ~x2602+46080 ~x2601+23040 ~x2600+11520 ~x2599+5760 ~x2598+2880 ~x2597+1440 ~x2596+720 ~x2595+360 ~x2594+180 ~x2593+104152956928 x841+52076478464 x840+26038239232 x839+13019119616 x838+6509559808 x837+3254779904 x836+1627389952 x835+813694976 x834+406847488 x833+203423744 x832+101711872 x831+50855936 x830+25427968 x829+12713984 x828+6356992 x827+3178496 x826+1589248 x825+794624 x824+397312 x823+198656 x822+99328 x821+49664 x820+24832 x819+12416 x818+6208 x817+3104 x816+1552 x815+776 x814+388 x813+194 x812+107374182400 x751+53687091200 x750+26843545600 x749+13421772800 x748+6710886400 x747+3355443200 x746+1677721600 x745+838860800 x744+419430400 x743+209715200 x742+104857600 x741+52428800 x740+26214400 x739+13107200 x738+6553600 x737+3276800 x736+1638400 x735+819200 x734+409600 x733+204800 x732+102400 x731+51200 x730+25600 x729+12800 x728+6400 x727+3200 x726+1600 x725+800 x724+400 x723+200 x722+107374182400 x661+53687091200 x660+26843545600 x659+13421772800 x658+6710886400 x657+3355443200 x656+1677721600 x655+838860800 x654+419430400 x653+209715200 x652+104857600 x651+52428800 x650+26214400 x649+13107200 x648+6553600 x647+3276800 x646+1638400 x645+819200 x644+409600 x643+204800 x642+102400 x641+51200 x640+25600 x639+12800 x638+6400 x637+3200 x636+1600 x635+800 x634+400 x633+200 x632+103616086016 x571+51808043008 x570+25904021504 x569+12952010752 x568+6476005376 x567+3238002688 x566+1619001344 x565+809500672 x564+404750336 x563+202375168 x562+101187584 x561+50593792 x560+25296896 x559+12648448 x558+6324224 x557+3162112 x556+1581056 x555+790528 x554+395264 x553+197632 x552+98816 x551+49408 x550+24704 x549+12352 x548+6176 x547+3088 x546+1544 x545+772 x544+386 x543+193 x542+107374182400 x481+53687091200 x480+26843545600 x479+13421772800 x478+6710886400 x477+3355443200 x476+1677721600 x475+838860800 x474+419430400 x473+209715200 x472+104857600 x471+52428800 x470+26214400 x469+13107200 x468+6553600 x467+3276800 x466+1638400 x465+819200 x464+409600 x463+204800 x462+102400 x461+51200 x460+25600 x459+12800 x458+6400 x457+3200 x456+1600 x455+800 x454+400 x453+200 x452+103616086016 x391+51808043008 x390+25904021504 x389+12952010752 x388+6476005376 x387+3238002688 x386+1619001344 x385+809500672 x384+404750336 x383+202375168 x382+101187584 x381+50593792 x380+25296896 x379+12648448 x378+6324224 x377+3162112 x376+1581056 x375+790528 x374+395264 x373+197632 x372+98816 x371+49408 x370+24704 x369+12352 x368+6176 x367+3088 x366+1544 x365+772 x364+386 x363+193 x362+107374182400 x301+53687091200 x300+26843545600 x299+13421772800 x298+6710886400 x297+3355443200 x296+1677721600 x295+838860800 x294+419430400 x293+209715200 x292+104857600 x291+52428800 x290+26214400 x289+13107200 x288+6553600 x287+3276800 x286+1638400 x285+819200 x284+409600 x283+204800 x282+102400 x281+51200 x280+25600 x279+12800 x278+6400 x277+3200 x276+1600 x275+800 x274+400 x273+200 x272+96636764160 x211+48318382080 x210+24159191040 x209+12079595520 x208+6039797760 x207+3019898880 x206+1509949440 x205+754974720 x204+377487360 x203+188743680 x202+94371840 x201+47185920 x200+23592960 x199+11796480 x198+5898240 x197+2949120 x196+1474560 x195+737280 x194+368640 x193+184320 x192+92160 x191+46080 x190+23040 x189+11520 x188+5760 x187+2880 x186+1440 x185+720 x184+360 x183+180 x182+107374182400 x121+53687091200 x120+26843545600 x119+13421772800 x118+6710886400 x117+3355443200 x116+1677721600 x115+838860800 x114+419430400 x113+209715200 x112+104857600 x111+52428800 x110+26214400 x109+13107200 x108+6553600 x107+3276800 x106+1638400 x105+819200 x104+409600 x103+204800 x102+102400 x101+51200 x100+25600 x99+12800 x98+6400 x97+3200 x96+1600 x95+800 x94+400 x93+200 x92+106300440576 x31+53150220288 x30+26575110144 x29+13287555072 x28+6643777536 x27+3321888768 x26+1660944384 x25+830472192 x24+415236096 x23+207618048 x22+103809024 x21+51904512 x20+25952256 x19+12976128 x18+6488064 x17+3244032 x16+1622016 x15+811008 x14+405504 x13+202752 x12+101376 x11+50688 x10+25344 x9+12672 x

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-2674140-1276799715/watcher-2674140-1276799715 -o /tmp/evaluation-result-2674140-1276799715/solver-2674140-1276799715 -C 1800 -W 2000 -M 1800 run HOME/instance-2674140-1276799715.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.94 0.97 0.99 3/106 24388
/proc/meminfo: memFree=1852004/2059040 swapFree=4140368/4192956
[pid=24388] ppid=24386 vsize=8700 CPUtime=0
/proc/24388/stat : 24388 (run) S 24386 24388 24272 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21262461 8908800 250 1992294400 4194304 4922060 140734563050208 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24388/statm: 2175 250 211 178 0 68 0

[startup+0.0619499 s]
/proc/loadavg: 0.94 0.97 0.99 3/106 24388
/proc/meminfo: memFree=1852004/2059040 swapFree=4140368/4192956
[pid=24388] ppid=24386 vsize=8700 CPUtime=0
/proc/24388/stat : 24388 (run) S 24386 24388 24272 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21262461 8908800 250 1992294400 4194304 4922060 140734563050208 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24388/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100954 s]
/proc/loadavg: 0.94 0.97 0.99 3/106 24388
/proc/meminfo: memFree=1852004/2059040 swapFree=4140368/4192956
[pid=24388] ppid=24386 vsize=8700 CPUtime=0
/proc/24388/stat : 24388 (run) S 24386 24388 24272 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21262461 8908800 250 1992294400 4194304 4922060 140734563050208 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24388/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300973 s]
/proc/loadavg: 0.94 0.97 0.99 3/106 24388
/proc/meminfo: memFree=1852004/2059040 swapFree=4140368/4192956
[pid=24388] ppid=24386 vsize=8700 CPUtime=0
/proc/24388/stat : 24388 (run) S 24386 24388 24272 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21262461 8908800 250 1992294400 4194304 4922060 140734563050208 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24388/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701013 s]
/proc/loadavg: 0.94 0.97 0.99 3/106 24388
/proc/meminfo: memFree=1852004/2059040 swapFree=4140368/4192956
[pid=24388] ppid=24386 vsize=8700 CPUtime=0
/proc/24388/stat : 24388 (run) S 24386 24388 24272 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21262461 8908800 250 1992294400 4194304 4922060 140734563050208 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24388/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50109 s]
/proc/loadavg: 0.94 0.97 0.99 2/108 24391
/proc/meminfo: memFree=1690292/2059040 swapFree=4140368/4192956
[pid=24388] ppid=24386 vsize=8700 CPUtime=0
/proc/24388/stat : 24388 (run) S 24386 24388 24272 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21262461 8908800 250 1992294400 4194304 4922060 140734563050208 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24388/statm: 2175 250 211 178 0 68 0
[pid=24390] ppid=24388 vsize=202444 CPUtime=1.48
/proc/24390/stat : 24390 (PBPASSolver) R 24388 24388 24272 0 -1 4202496 52596 0 0 0 69 79 0 0 25 0 1 0 21262461 207302656 49990 1992294400 134512640 134902295 4291534944 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24390/statm: 50611 49990 262 96 0 49823 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 211144

[startup+3.10124 s]
/proc/loadavg: 0.95 0.97 0.99 2/108 24391
/proc/meminfo: memFree=1642676/2059040 swapFree=4140368/4192956
[pid=24388] ppid=24386 vsize=8700 CPUtime=0
/proc/24388/stat : 24388 (run) S 24386 24388 24272 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21262461 8908800 250 1992294400 4194304 4922060 140734563050208 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24388/statm: 2175 250 211 178 0 68 0
[pid=24390] ppid=24388 vsize=228328 CPUtime=3.09
/proc/24390/stat : 24390 (PBPASSolver) R 24388 24388 24272 0 -1 4202496 60299 0 0 0 225 84 0 0 25 0 1 0 21262461 233807872 56016 1992294400 134512640 134902295 4291534944 18446744073709551615 4160609188 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24390/statm: 57082 56016 262 96 0 56294 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 237028

[startup+6.30155 s]
/proc/loadavg: 0.95 0.97 0.99 2/108 24391
/proc/meminfo: memFree=1589232/2059040 swapFree=4140368/4192956
[pid=24388] ppid=24386 vsize=8700 CPUtime=0
/proc/24388/stat : 24388 (run) S 24386 24388 24272 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21262461 8908800 250 1992294400 4194304 4922060 140734563050208 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24388/statm: 2175 250 211 178 0 68 0
[pid=24390] ppid=24388 vsize=283952 CPUtime=6.29
/proc/24390/stat : 24390 (PBPASSolver) R 24388 24388 24272 0 -1 4202496 74973 0 0 0 537 92 0 0 25 0 1 0 21262461 290766848 69621 1992294400 134512640 134902295 4291534944 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24390/statm: 71013 69621 262 96 0 70225 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 292652

[startup+12.7012 s]
/proc/loadavg: 0.95 0.97 0.99 2/108 24391
/proc/meminfo: memFree=1466472/2059040 swapFree=4140368/4192956
[pid=24388] ppid=24386 vsize=8700 CPUtime=0
/proc/24388/stat : 24388 (run) S 24386 24388 24272 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21262461 8908800 250 1992294400 4194304 4922060 140734563050208 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24388/statm: 2175 250 211 178 0 68 0
[pid=24390] ppid=24388 vsize=406912 CPUtime=12.69
/proc/24390/stat : 24390 (PBPASSolver) R 24388 24388 24272 0 -1 4202496 104796 0 0 0 1164 105 0 0 25 0 1 0 21262461 416677888 99188 1992294400 134512640 134902295 4291534944 18446744073709551615 134791072 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24390/statm: 101728 99188 262 96 0 100940 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 415612

[startup+25.5014 s]
/proc/loadavg: 0.96 0.97 0.99 2/108 24391
/proc/meminfo: memFree=1236700/2059040 swapFree=4140368/4192956
[pid=24388] ppid=24386 vsize=8700 CPUtime=0
/proc/24388/stat : 24388 (run) S 24386 24388 24272 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21262461 8908800 250 1992294400 4194304 4922060 140734563050208 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24388/statm: 2175 250 211 178 0 68 0
[pid=24390] ppid=24388 vsize=642384 CPUtime=25.47
/proc/24390/stat : 24390 (PBPASSolver) R 24388 24388 24272 0 -1 4202496 166660 0 0 0 2417 130 0 0 25 0 1 0 21262461 657801216 154768 1992294400 134512640 134902295 4291534944 18446744073709551615 134520311 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24390/statm: 160596 154768 262 96 0 159808 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 651084

[startup+51.1019 s]
/proc/loadavg: 0.97 0.97 0.99 2/108 24391
/proc/meminfo: memFree=761780/2059040 swapFree=4140368/4192956
[pid=24388] ppid=24386 vsize=8700 CPUtime=0
/proc/24388/stat : 24388 (run) S 24386 24388 24272 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21262461 8908800 250 1992294400 4194304 4922060 140734563050208 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24388/statm: 2175 250 211 178 0 68 0
[pid=24390] ppid=24388 vsize=1124608 CPUtime=51.07
/proc/24390/stat : 24390 (PBPASSolver) R 24388 24388 24272 0 -1 4202496 286688 0 0 0 4926 181 0 0 25 0 1 0 21262461 1151598592 274540 1992294400 134512640 134902295 4291534944 18446744073709551615 4371964 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24390/statm: 281152 274540 262 96 0 280364 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1133308



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+89.6006 s]
/proc/loadavg: 0.98 0.97 0.99 2/108 24393
/proc/meminfo: memFree=66388/2059040 swapFree=4140368/4192956
[pid=24388] ppid=24386 vsize=8700 CPUtime=0
/proc/24388/stat : 24388 (run) S 24386 24388 24272 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21262461 8908800 250 1992294400 4194304 4922060 140734563050208 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24388/statm: 2175 250 211 178 0 68 0
[pid=24390] ppid=24388 vsize=1835236 CPUtime=89.57
/proc/24390/stat : 24390 (PBPASSolver) R 24388 24388 24272 0 -1 4202496 473804 0 0 0 8693 264 0 0 25 0 1 0 21262461 1879281664 445504 1992294400 134512640 134902295 4291534944 18446744073709551615 4371964 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24390/statm: 458809 445504 262 96 0 458021 0
Current children cumulated CPU time (s) 89.57
Current children cumulated vsize (KiB) 1843936

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24388 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 89.57
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 89.6139
CPU time (s): 89.57
CPU user time (s): 86.93
CPU system time (s): 2.64
CPU usage (%): 99.951
Max. virtual memory (cumulated for all children) (KiB): 1843936

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

runsolver used 0.149977 second user time and 0.441932 second system time

The end

Begin job on node056 at 2010-06-17 20:35:15
IDJOB=2674140
IDBENCH=2395
IDSOLVER=1174
FILE ID=node056/2674140-1276799715
PBS_JOBID= 11176672
Free space on /tmp= 98612 MiB

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

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

MD5SUM BENCH= 19c812fe81842f9b63508fc356bab039
RANDOM SEED=466762364

node056.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1852416 kB
Buffers:         29760 kB
Cached:          88392 kB
SwapCached:       5948 kB
Active:          40876 kB
Inactive:        89900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1852416 kB
SwapTotal:     4192956 kB
SwapFree:      4140368 kB
Dirty:             944 kB
Writeback:           0 kB
AnonPages:       11160 kB
Mapped:          12784 kB
Slab:            53788 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181364 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 98612 MiB
End job on node056 at 2010-06-17 20:36:47