0.00/0.52	c 1996 134 0 0 0 0 0 0
0.00/0.52	c 4096 ~x2010+2048 ~x2009+1024 ~x2008+512 ~x2007+256 ~x2006+128 ~x2005+64 ~x2004+32 ~x2003+16 ~x2002+8 ~x2001+4 ~x2000+2 ~x1999+1 ~x1998+4096 ~x1824+2048 ~x1823+1024 ~x1822+512 ~x1821+256 ~x1820+128 ~x1819+64 ~x1818+32 ~x1817+16 ~x1816+8 ~x1815+4 ~x1814+2 ~x1813+1 ~x1812-0=14574
0.00/0.58	c 4096 ~x4588+2048 ~x4587+1024 ~x4586+512 ~x4585+256 ~x4584+128 ~x4583+64 ~x4582+32 ~x4581+16 ~x4580+8 ~x4579+4 ~x4578+2 ~x4577+1 ~x4576+4096 ~x1898+2048 ~x1897+1024 ~x1896+512 ~x1895+256 ~x1894+128 ~x1893+64 ~x1892+32 ~x1891+16 ~x1890+8 ~x1889+4 ~x1888+2 ~x1887+1 ~x1886-0=14574
0.00/0.65	c 4096 ~x7166+2048 ~x7165+1024 ~x7164+512 ~x7163+256 ~x7162+128 ~x7161+64 ~x7160+32 ~x7159+16 ~x7158+8 ~x7157+4 ~x7156+2 ~x7155+1 ~x7154+4096 ~x1912+2048 ~x1911+1024 ~x1910+512 ~x1909+256 ~x1908+128 ~x1907+64 ~x1906+32 ~x1905+16 ~x1904+8 ~x1903+4 ~x1902+2 ~x1901+1 ~x1900-0=14574
0.00/0.71	c 4096 ~x9744+2048 ~x9743+1024 ~x9742+512 ~x9741+256 ~x9740+128 ~x9739+64 ~x9738+32 ~x9737+16 ~x9736+8 ~x9735+4 ~x9734+2 ~x9733+1 ~x9732+4096 ~x1926+2048 ~x1925+1024 ~x1924+512 ~x1923+256 ~x1922+128 ~x1921+64 ~x1920+32 ~x1919+16 ~x1918+8 ~x1917+4 ~x1916+2 ~x1915+1 ~x1914-0=14574
0.00/0.77	c 4096 ~x12322+2048 ~x12321+1024 ~x12320+512 ~x12319+256 ~x12318+128 ~x12317+64 ~x12316+32 ~x12315+16 ~x12314+8 ~x12313+4 ~x12312+2 ~x12311+1 ~x12310+4096 ~x1940+2048 ~x1939+1024 ~x1938+512 ~x1937+256 ~x1936+128 ~x1935+64 ~x1934+32 ~x1933+16 ~x1932+8 ~x1931+4 ~x1930+2 ~x1929+1 ~x1928-0=14574
0.00/0.83	c 4096 ~x14900+2048 ~x14899+1024 ~x14898+512 ~x14897+256 ~x14896+128 ~x14895+64 ~x14894+32 ~x14893+16 ~x14892+8 ~x14891+4 ~x14890+2 ~x14889+1 ~x14888+4096 ~x1954+2048 ~x1953+1024 ~x1952+512 ~x1951+256 ~x1950+128 ~x1949+64 ~x1948+32 ~x1947+16 ~x1946+8 ~x1945+4 ~x1944+2 ~x1943+1 ~x1942-0=14574
0.00/0.89	c 4096 ~x17478+2048 ~x17477+1024 ~x17476+512 ~x17475+256 ~x17474+128 ~x17473+64 ~x17472+32 ~x17471+16 ~x17470+8 ~x17469+4 ~x17468+2 ~x17467+1 ~x17466+4096 ~x1968+2048 ~x1967+1024 ~x1966+512 ~x1965+256 ~x1964+128 ~x1963+64 ~x1962+32 ~x1961+16 ~x1960+8 ~x1959+4 ~x1958+2 ~x1957+1 ~x1956-0=14574
0.00/0.95	c 4096 ~x20056+2048 ~x20055+1024 ~x20054+512 ~x20053+256 ~x20052+128 ~x20051+64 ~x20050+32 ~x20049+16 ~x20048+8 ~x20047+4 ~x20046+2 ~x20045+1 ~x20044+4096 ~x1982+2048 ~x1981+1024 ~x1980+512 ~x1979+256 ~x1978+128 ~x1977+64 ~x1976+32 ~x1975+16 ~x1974+8 ~x1973+4 ~x1972+2 ~x1971+1 ~x1970-0=14574
0.99/1.01	c 4096 ~x22634+2048 ~x22633+1024 ~x22632+512 ~x22631+256 ~x22630+128 ~x22629+64 ~x22628+32 ~x22627+16 ~x22626+8 ~x22625+4 ~x22624+2 ~x22623+1 ~x22622+4096 ~x1996+2048 ~x1995+1024 ~x1994+512 ~x1993+256 ~x1992+128 ~x1991+64 ~x1990+32 ~x1989+16 ~x1988+8 ~x1987+4 ~x1986+2 ~x1985+1 ~x1984-0=14574
0.99/1.09	c 16 ~x25204+8 ~x25203+4 ~x25202+2 ~x25201+1 ~x25200+16 ~x1830+8 ~x1829+4 ~x1828+2 ~x1827+1 ~x1826-0=54
0.99/1.09	c 16 ~x25493+8 ~x25492+4 ~x25491+2 ~x25490+1 ~x25489+16 ~x1840+8 ~x1839+4 ~x1838+2 ~x1837+1 ~x1836-0=54
1.09/1.11	c 16 ~x25782+8 ~x25781+4 ~x25780+2 ~x25779+1 ~x25778+16 ~x1850+8 ~x1849+4 ~x1848+2 ~x1847+1 ~x1846-0=54
1.09/1.11	c 16 ~x26071+8 ~x26070+4 ~x26069+2 ~x26068+1 ~x26067+16 ~x1860+8 ~x1859+4 ~x1858+2 ~x1857+1 ~x1856-0=54
1.09/1.11	c 16 ~x26360+8 ~x26359+4 ~x26358+2 ~x26357+1 ~x26356+16 ~x1870+8 ~x1869+4 ~x1868+2 ~x1867+1 ~x1866-0=54
1.09/1.13	c 16 ~x26649+8 ~x26648+4 ~x26647+2 ~x26646+1 ~x26645+16 ~x1880+8 ~x1879+4 ~x1878+2 ~x1877+1 ~x1876-0=54
1.09/1.13	c 4096 ~x26946+2048 ~x26945+1024 ~x26944+512 ~x26943+256 ~x26942+128 ~x26941+64 ~x26940+32 ~x26939+16 ~x26938+8 ~x26937+4 ~x26936+2 ~x26935+1 ~x26934+4096 ~x1638+2048 ~x1637+1024 ~x1636+512 ~x1635+256 ~x1634+128 ~x1633+64 ~x1632+32 ~x1631+16 ~x1630+8 ~x1629+4 ~x1628+2 ~x1627+1 ~x1626-0=14574
1.09/1.19	c 4096 ~x29524+2048 ~x29523+1024 ~x29522+512 ~x29521+256 ~x29520+128 ~x29519+64 ~x29518+32 ~x29517+16 ~x29516+8 ~x29515+4 ~x29514+2 ~x29513+1 ~x29512+4096 ~x1712+2048 ~x1711+1024 ~x1710+512 ~x1709+256 ~x1708+128 ~x1707+64 ~x1706+32 ~x1705+16 ~x1704+8 ~x1703+4 ~x1702+2 ~x1701+1 ~x1700-0=14574
1.18/1.26	c 4096 ~x32102+2048 ~x32101+1024 ~x32100+512 ~x32099+256 ~x32098+128 ~x32097+64 ~x32096+32 ~x32095+16 ~x32094+8 ~x32093+4 ~x32092+2 ~x32091+1 ~x32090+4096 ~x1726+2048 ~x1725+1024 ~x1724+512 ~x1723+256 ~x1722+128 ~x1721+64 ~x1720+32 ~x1719+16 ~x1718+8 ~x1717+4 ~x1716+2 ~x1715+1 ~x1714-0=14574
1.28/1.32	c 4096 ~x34680+2048 ~x34679+1024 ~x34678+512 ~x34677+256 ~x34676+128 ~x34675+64 ~x34674+32 ~x34673+16 ~x34672+8 ~x34671+4 ~x34670+2 ~x34669+1 ~x34668+4096 ~x1740+2048 ~x1739+1024 ~x1738+512 ~x1737+256 ~x1736+128 ~x1735+64 ~x1734+32 ~x1733+16 ~x1732+8 ~x1731+4 ~x1730+2 ~x1729+1 ~x1728-0=14574
1.28/1.39	c 4096 ~x37258+2048 ~x37257+1024 ~x37256+512 ~x37255+256 ~x37254+128 ~x37253+64 ~x37252+32 ~x37251+16 ~x37250+8 ~x37249+4 ~x37248+2 ~x37247+1 ~x37246+4096 ~x1754+2048 ~x1753+1024 ~x1752+512 ~x1751+256 ~x1750+128 ~x1749+64 ~x1748+32 ~x1747+16 ~x1746+8 ~x1745+4 ~x1744+2 ~x1743+1 ~x1742-0=14574
1.38/1.45	c 4096 ~x39836+2048 ~x39835+1024 ~x39834+512 ~x39833+256 ~x39832+128 ~x39831+64 ~x39830+32 ~x39829+16 ~x39828+8 ~x39827+4 ~x39826+2 ~x39825+1 ~x39824+4096 ~x1768+2048 ~x1767+1024 ~x1766+512 ~x1765+256 ~x1764+128 ~x1763+64 ~x1762+32 ~x1761+16 ~x1760+8 ~x1759+4 ~x1758+2 ~x1757+1 ~x1756-0=14574
1.48/1.52	c 4096 ~x42414+2048 ~x42413+1024 ~x42412+512 ~x42411+256 ~x42410+128 ~x42409+64 ~x42408+32 ~x42407+16 ~x42406+8 ~x42405+4 ~x42404+2 ~x42403+1 ~x42402+4096 ~x1782+2048 ~x1781+1024 ~x1780+512 ~x1779+256 ~x1778+128 ~x1777+64 ~x1776+32 ~x1775+16 ~x1774+8 ~x1773+4 ~x1772+2 ~x1771+1 ~x1770-0=14574
1.48/1.58	c 4096 ~x44992+2048 ~x44991+1024 ~x44990+512 ~x44989+256 ~x44988+128 ~x44987+64 ~x44986+32 ~x44985+16 ~x44984+8 ~x44983+4 ~x44982+2 ~x44981+1 ~x44980+4096 ~x1796+2048 ~x1795+1024 ~x1794+512 ~x1793+256 ~x1792+128 ~x1791+64 ~x1790+32 ~x1789+16 ~x1788+8 ~x1787+4 ~x1786+2 ~x1785+1 ~x1784-0=14574
1.58/1.64	c 4096 ~x47570+2048 ~x47569+1024 ~x47568+512 ~x47567+256 ~x47566+128 ~x47565+64 ~x47564+32 ~x47563+16 ~x47562+8 ~x47561+4 ~x47560+2 ~x47559+1 ~x47558+4096 ~x1810+2048 ~x1809+1024 ~x1808+512 ~x1807+256 ~x1806+128 ~x1805+64 ~x1804+32 ~x1803+16 ~x1802+8 ~x1801+4 ~x1800+2 ~x1799+1 ~x1798-0=14574
1.68/1.71	c 16 ~x50140+8 ~x50139+4 ~x50138+2 ~x50137+1 ~x50136+16 ~x1644+8 ~x1643+4 ~x1642+2 ~x1641+1 ~x1640-0=54
1.68/1.73	c 16 ~x50429+8 ~x50428+4 ~x50427+2 ~x50426+1 ~x50425+16 ~x1654+8 ~x1653+4 ~x1652+2 ~x1651+1 ~x1650-0=54
1.68/1.73	c 16 ~x50718+8 ~x50717+4 ~x50716+2 ~x50715+1 ~x50714+16 ~x1664+8 ~x1663+4 ~x1662+2 ~x1661+1 ~x1660-0=54
1.68/1.75	c 16 ~x51007+8 ~x51006+4 ~x51005+2 ~x51004+1 ~x51003+16 ~x1674+8 ~x1673+4 ~x1672+2 ~x1671+1 ~x1670-0=54
1.68/1.75	c 16 ~x51296+8 ~x51295+4 ~x51294+2 ~x51293+1 ~x51292+16 ~x1684+8 ~x1683+4 ~x1682+2 ~x1681+1 ~x1680-0=54
1.68/1.75	c 16 ~x51585+8 ~x51584+4 ~x51583+2 ~x51582+1 ~x51581+16 ~x1694+8 ~x1693+4 ~x1692+2 ~x1691+1 ~x1690-0=54
1.68/1.77	c 16384 ~x51902+8192 ~x51901+4096 ~x51900+2048 ~x51899+1024 ~x51898+512 ~x51897+256 ~x51896+128 ~x51895+64 ~x51894+32 ~x51893+16 ~x51892+8 ~x51891+4 ~x51890+2 ~x51889+1 ~x51888+8192 ~x1825+4096 ~x1824+2048 ~x1823+1024 ~x1822+512 ~x1821+256 ~x1820+128 ~x1819+64 ~x1818+32 ~x1817+16 ~x1816+8 ~x1815+4 ~x1814+2 ~x1813+1 ~x1812+1 ~x1161+20 x1142-0=49151
1.78/1.86	c 1024 ~x55586+512 ~x55585+256 ~x55584+128 ~x55583+64 ~x55582+32 ~x55581+16 ~x55580+8 ~x55579+4 ~x55578+2 ~x55577+1 ~x55576+512 ~x1835+256 ~x1834+128 ~x1833+64 ~x1832+32 ~x1831+16 ~x1830+8 ~x1829+4 ~x1828+2 ~x1827+1 ~x1826+1 ~x1162+20 x1143-0=3071
1.88/1.91	c 1024 ~x57448+512 ~x57447+256 ~x57446+128 ~x57445+64 ~x57444+32 ~x57443+16 ~x57442+8 ~x57441+4 ~x57440+2 ~x57439+1 ~x57438+512 ~x1845+256 ~x1844+128 ~x1843+64 ~x1842+32 ~x1841+16 ~x1840+8 ~x1839+4 ~x1838+2 ~x1837+1 ~x1836+1 ~x1163+20 x1144-0=3071
1.88/1.95	c 1024 ~x59310+512 ~x59309+256 ~x59308+128 ~x59307+64 ~x59306+32 ~x59305+16 ~x59304+8 ~x59303+4 ~x59302+2 ~x59301+1 ~x59300+512 ~x1855+256 ~x1854+128 ~x1853+64 ~x1852+32 ~x1851+16 ~x1850+8 ~x1849+4 ~x1848+2 ~x1847+1 ~x1846+1 ~x1164+20 x1145-0=3071
1.98/2.00	c 1024 ~x61172+512 ~x61171+256 ~x61170+128 ~x61169+64 ~x61168+32 ~x61167+16 ~x61166+8 ~x61165+4 ~x61164+2 ~x61163+1 ~x61162+512 ~x1865+256 ~x1864+128 ~x1863+64 ~x1862+32 ~x1861+16 ~x1860+8 ~x1859+4 ~x1858+2 ~x1857+1 ~x1856+1 ~x1165+20 x1146-0=3071
1.98/2.05	c 1024 ~x63034+512 ~x63033+256 ~x63032+128 ~x63031+64 ~x63030+32 ~x63029+16 ~x63028+8 ~x63027+4 ~x63026+2 ~x63025+1 ~x63024+512 ~x1875+256 ~x1874+128 ~x1873+64 ~x1872+32 ~x1871+16 ~x1870+8 ~x1869+4 ~x1868+2 ~x1867+1 ~x1866+1 ~x1166+20 x1148-0=3071
1.98/2.10	c 1024 ~x64896+512 ~x64895+256 ~x64894+128 ~x64893+64 ~x64892+32 ~x64891+16 ~x64890+8 ~x64889+4 ~x64888+2 ~x64887+1 ~x64886+512 ~x1885+256 ~x1884+128 ~x1883+64 ~x1882+32 ~x1881+16 ~x1880+8 ~x1879+4 ~x1878+2 ~x1877+1 ~x1876+1 ~x1167+20 x1152-0=3071
2.08/2.15	c 16384 ~x66762+8192 ~x66761+4096 ~x66760+2048 ~x66759+1024 ~x66758+512 ~x66757+256 ~x66756+128 ~x66755+64 ~x66754+32 ~x66753+16 ~x66752+8 ~x66751+4 ~x66750+2 ~x66749+1 ~x66748+8192 ~x1899+4096 ~x1898+2048 ~x1897+1024 ~x1896+512 ~x1895+256 ~x1894+128 ~x1893+64 ~x1892+32 ~x1891+16 ~x1890+8 ~x1889+4 ~x1888+2 ~x1887+1 ~x1886+1 ~x1168+20 x1153-0=49151
2.18/2.24	c 16384 ~x70450+8192 ~x70449+4096 ~x70448+2048 ~x70447+1024 ~x70446+512 ~x70445+256 ~x70444+128 ~x70443+64 ~x70442+32 ~x70441+16 ~x70440+8 ~x70439+4 ~x70438+2 ~x70437+1 ~x70436+8192 ~x1913+4096 ~x1912+2048 ~x1911+1024 ~x1910+512 ~x1909+256 ~x1908+128 ~x1907+64 ~x1906+32 ~x1905+16 ~x1904+8 ~x1903+4 ~x1902+2 ~x1901+1 ~x1900+1 ~x1169+20 x1154-0=49151
2.28/2.33	c 16384 ~x74138+8192 ~x74137+4096 ~x74136+2048 ~x74135+1024 ~x74134+512 ~x74133+256 ~x74132+128 ~x74131+64 ~x74130+32 ~x74129+16 ~x74128+8 ~x74127+4 ~x74126+2 ~x74125+1 ~x74124+8192 ~x1927+4096 ~x1926+2048 ~x1925+1024 ~x1924+512 ~x1923+256 ~x1922+128 ~x1921+64 ~x1920+32 ~x1919+16 ~x1918+8 ~x1917+4 ~x1916+2 ~x1915+1 ~x1914+1 ~x1170+20 x1155-0=49151
2.38/2.42	c 16384 ~x77826+8192 ~x77825+4096 ~x77824+2048 ~x77823+1024 ~x77822+512 ~x77821+256 ~x77820+128 ~x77819+64 ~x77818+32 ~x77817+16 ~x77816+8 ~x77815+4 ~x77814+2 ~x77813+1 ~x77812+8192 ~x1941+4096 ~x1940+2048 ~x1939+1024 ~x1938+512 ~x1937+256 ~x1936+128 ~x1935+64 ~x1934+32 ~x1933+16 ~x1932+8 ~x1931+4 ~x1930+2 ~x1929+1 ~x1928+1 ~x1171+20 x1156-0=49151
2.48/2.52	c 16384 ~x81514+8192 ~x81513+4096 ~x81512+2048 ~x81511+1024 ~x81510+512 ~x81509+256 ~x81508+128 ~x81507+64 ~x81506+32 ~x81505+16 ~x81504+8 ~x81503+4 ~x81502+2 ~x81501+1 ~x81500+8192 ~x1955+4096 ~x1954+2048 ~x1953+1024 ~x1952+512 ~x1951+256 ~x1950+128 ~x1949+64 ~x1948+32 ~x1947+16 ~x1946+8 ~x1945+4 ~x1944+2 ~x1943+1 ~x1942+1 ~x1172+20 x1157-0=49151
2.58/2.61	c 16384 ~x85202+8192 ~x85201+4096 ~x85200+2048 ~x85199+1024 ~x85198+512 ~x85197+256 ~x85196+128 ~x85195+64 ~x85194+32 ~x85193+16 ~x85192+8 ~x85191+4 ~x85190+2 ~x85189+1 ~x85188+8192 ~x1969+4096 ~x1968+2048 ~x1967+1024 ~x1966+512 ~x1965+256 ~x1964+128 ~x1963+64 ~x1962+32 ~x1961+16 ~x1960+8 ~x1959+4 ~x1958+2 ~x1957+1 ~x1956+1 ~x1173+20 x1158-0=49151
2.68/2.70	c 16384 ~x88890+8192 ~x88889+4096 ~x88888+2048 ~x88887+1024 ~x88886+512 ~x88885+256 ~x88884+128 ~x88883+64 ~x88882+32 ~x88881+16 ~x88880+8 ~x88879+4 ~x88878+2 ~x88877+1 ~x88876+8192 ~x1983+4096 ~x1982+2048 ~x1981+1024 ~x1980+512 ~x1979+256 ~x1978+128 ~x1977+64 ~x1976+32 ~x1975+16 ~x1974+8 ~x1973+4 ~x1972+2 ~x1971+1 ~x1970+1 ~x1174+20 x1159-0=49151
2.68/2.79	c 16384 ~x92578+8192 ~x92577+4096 ~x92576+2048 ~x92575+1024 ~x92574+512 ~x92573+256 ~x92572+128 ~x92571+64 ~x92570+32 ~x92569+16 ~x92568+8 ~x92567+4 ~x92566+2 ~x92565+1 ~x92564+8192 ~x1997+4096 ~x1996+2048 ~x1995+1024 ~x1994+512 ~x1993+256 ~x1992+128 ~x1991+64 ~x1990+32 ~x1989+16 ~x1988+8 ~x1987+4 ~x1986+2 ~x1985+1 ~x1984+1 ~x1175+20 x1160-0=49151
2.78/2.89	c 1073741824 ~x96282+536870912 ~x96281+268435456 ~x96280+134217728 ~x96279+67108864 ~x96278+33554432 ~x96277+16777216 ~x96276+8388608 ~x96275+4194304 ~x96274+2097152 ~x96273+1048576 ~x96272+524288 ~x96271+262144 ~x96270+131072 ~x96269+65536 ~x96268+32768 ~x96267+16384 ~x96266+8192 ~x96265+4096 ~x96264+2048 ~x96263+1024 ~x96262+512 ~x96261+256 ~x96260+128 ~x96259+64 ~x96258+32 ~x96257+16 ~x96256+8 ~x96255+4 ~x96254+2 ~x96253+1 ~x96252+1409286144 x1822+704643072 x1821+352321536 x1820+176160768 x1819+88080384 x1818+44040192 x1817+22020096 x1816+11010048 x1815+5505024 x1814+2752512 x1813+1376256 x1812+536870912 ~x1205+268435456 ~x1204+134217728 ~x1203+67108864 ~x1202+33554432 ~x1201+16777216 ~x1200+8388608 ~x1199+4194304 ~x1198+2097152 ~x1197+1048576 ~x1196+524288 ~x1195+262144 ~x1194+131072 ~x1193+65536 ~x1192+32768 ~x1191+16384 ~x1190+8192 ~x1189+4096 ~x1188+2048 ~x1187+1024 ~x1186+512 ~x1185+256 ~x1184+128 ~x1183+64 ~x1182+32 ~x1181+16 ~x1180+8 ~x1179+4 ~x1178+2 ~x1177+1 ~x1176+688128 x1161+536870912 ~x931+268435456 ~x930+134217728 ~x929+67108864 ~x928+33554432 ~x927+16777216 ~x926+8388608 ~x925+4194304 ~x924+2097152 ~x923+1048576 ~x922+524288 ~x921+262144 ~x920+131072 ~x919+65536 ~x918+32768 ~x917+16384 ~x916+8192 ~x915+4096 ~x914+2048 ~x913+1024 ~x912+512 ~x911+256 ~x910+128 ~x909+64 ~x908+32 ~x907+16 ~x906+8 ~x905+4 ~x904+2 ~x903+1 ~x902+536870912 x601+268435456 x600+134217728 x599+67108864 x598+33554432 x597+16777216 x596+8388608 x595+4194304 x594+2097152 x593+1048576 x592+524288 x591+262144 x590+131072 x589+65536 x588+32768 x587+16384 x586+8192 x585+4096 x584+2048 x583+1024 x582+512 x581+256 x580+128 x579+64 x578+32 x577+16 x576+8 x575+4 x574+2 x573+1 x572-0=4294967293
3.87/3.98	c 536870912 ~x143454+268435456 ~x143453+134217728 ~x143452+67108864 ~x143451+33554432 ~x143450+16777216 ~x143449+8388608 ~x143448+4194304 ~x143447+2097152 ~x143446+1048576 ~x143445+524288 ~x143444+262144 ~x143443+131072 ~x143442+65536 ~x143441+32768 ~x143440+16384 ~x143439+8192 ~x143438+4096 ~x143437+2048 ~x143436+1024 ~x143435+512 ~x143434+256 ~x143433+128 ~x143432+64 ~x143431+32 ~x143430+16 ~x143429+8 ~x143428+4 ~x143427+2 ~x143426+1 ~x143425+704643072 x1835+352321536 x1834+176160768 x1833+88080384 x1832+44040192 x1831+22020096 x1830+11010048 x1829+5505024 x1828+2752512 x1827+1376256 x1826+536870912 ~x1235+268435456 ~x1234+134217728 ~x1233+67108864 ~x1232+33554432 ~x1231+16777216 ~x1230+8388608 ~x1229+4194304 ~x1228+2097152 ~x1227+1048576 ~x1226+524288 ~x1225+262144 ~x1224+131072 ~x1223+65536 ~x1222+32768 ~x1221+16384 ~x1220+8192 ~x1219+4096 ~x1218+2048 ~x1217+1024 ~x1216+512 ~x1215+256 ~x1214+128 ~x1213+64 ~x1212+32 ~x1211+16 ~x1210+8 ~x1209+4 ~x1208+2 ~x1207+1 ~x1206+688128 x1162+536870912 x631+268435456 x630+134217728 x629+67108864 x628+33554432 x627+16777216 x626+8388608 x625+4194304 x624+2097152 x623+1048576 x622+524288 x621+262144 x620+131072 x619+65536 x618+32768 x617+16384 x616+8192 x615+4096 x614+2048 x613+1024 x612+512 x611+256 x610+128 x609+64 x608+32 x607+16 x606+8 x605+4 x604+2 x603+1 x602-0=2147483646
4.68/4.77	c 2147483648 ~x177836+1073741824 ~x177835+536870912 ~x177834+268435456 ~x177833+134217728 ~x177832+67108864 ~x177831+33554432 ~x177830+16777216 ~x177829+8388608 ~x177828+4194304 ~x177827+2097152 ~x177826+1048576 ~x177825+524288 ~x177824+262144 ~x177823+131072 ~x177822+65536 ~x177821+32768 ~x177820+16384 ~x177819+8192 ~x177818+4096 ~x177817+2048 ~x177816+1024 ~x177815+512 ~x177814+256 ~x177813+128 ~x177812+64 ~x177811+32 ~x177810+16 ~x177809+8 ~x177808+4 ~x177807+2 ~x177806+1 ~x177805+704643072 x1845+352321536 x1844+176160768 x1843+88080384 x1842+44040192 x1841+22020096 x1840+11010048 x1839+5505024 x1838+2752512 x1837+1376256 x1836+536870912 ~x1265+268435456 ~x1264+134217728 ~x1263+67108864 ~x1262+33554432 ~x1261+16777216 ~x1260+8388608 ~x1259+4194304 ~x1258+2097152 ~x1257+1048576 ~x1256+524288 ~x1255+262144 ~x1254+131072 ~x1253+65536 ~x1252+32768 ~x1251+16384 ~x1250+8192 ~x1249+4096 ~x1248+2048 ~x1247+1024 ~x1246+512 ~x1245+256 ~x1244+128 ~x1243+64 ~x1242+32 ~x1241+16 ~x1240+8 ~x1239+4 ~x1238+2 ~x1237+1 ~x1236+688128 x1163+536870912 ~x841+268435456 ~x840+134217728 ~x839+67108864 ~x838+33554432 ~x837+16777216 ~x836+8388608 ~x835+4194304 ~x834+2097152 ~x833+1048576 ~x832+524288 ~x831+262144 ~x830+131072 ~x829+65536 ~x828+32768 ~x827+16384 ~x826+8192 ~x825+4096 ~x824+2048 ~x823+1024 ~x822+512 ~x821+256 ~x820+128 ~x819+64 ~x818+32 ~x817+16 ~x816+8 ~x815+4 ~x814+2 ~x813+1 ~x812+536870912 ~x691+268435456 ~x690+134217728 ~x689+67108864 ~x688+33554432 ~x687+16777216 ~x686+8388608 ~x685+4194304 ~x684+2097152 ~x683+1048576 ~x682+524288 ~x681+262144 ~x680+131072 ~x679+65536 ~x678+32768 ~x677+16384 ~x676+8192 ~x675+4096 ~x674+2048 ~x673+1024 ~x672+512 ~x671+256 ~x670+128 ~x669+64 ~x668+32 ~x667+16 ~x666+8 ~x665+4 ~x664+2 ~x663+1 ~x662+536870912 x661+268435456 x660+134217728 x659+67108864 x658+33554432 x657+16777216 x656+8388608 x655+4194304 x654+2097152 x653+1048576 x652+524288 x651+262144 x650+131072 x649+65536 x648+32768 x647+16384 x646+8192 x645+4096 x644+2048 x643+1024 x642+512 x641+256 x640+128 x639+64 x638+32 x637+16 x636+8 x635+4 x634+2 x633+1 x632-0=7516192764
6.07/6.11	c 2147483648 ~x236169+1073741824 ~x236168+536870912 ~x236167+268435456 ~x236166+134217728 ~x236165+67108864 ~x236164+33554432 ~x236163+16777216 ~x236162+8388608 ~x236161+4194304 ~x236160+2097152 ~x236159+1048576 ~x236158+524288 ~x236157+262144 ~x236156+131072 ~x236155+65536 ~x236154+32768 ~x236153+16384 ~x236152+8192 ~x236151+4096 ~x236150+2048 ~x236149+1024 ~x236148+512 ~x236147+256 ~x236146+128 ~x236145+64 ~x236144+32 ~x236143+16 ~x236142+8 ~x236141+4 ~x236140+2 ~x236139+1 ~x236138+704643072 x1855+352321536 x1854+176160768 x1853+88080384 x1852+44040192 x1851+22020096 x1850+11010048 x1849+5505024 x1848+2752512 x1847+1376256 x1846+536870912 ~x1295+268435456 ~x1294+134217728 ~x1293+67108864 ~x1292+33554432 ~x1291+16777216 ~x1290+8388608 ~x1289+4194304 ~x1288+2097152 ~x1287+1048576 ~x1286+524288 ~x1285+262144 ~x1284+131072 ~x1283+65536 ~x1282+32768 ~x1281+16384 ~x1280+8192 ~x1279+4096 ~x1278+2048 ~x1277+1024 ~x1276+512 ~x1275+256 ~x1274+128 ~x1273+64 ~x1272+32 ~x1271+16 ~x1270+8 ~x1269+4 ~x1268+2 ~x1267+1 ~x1266+688128 x1164+536870912 ~x751+268435456 ~x750+134217728 ~x749+67108864 ~x748+33554432 ~x747+16777216 ~x746+8388608 ~x745+4194304 ~x744+2097152 ~x743+1048576 ~x742+524288 ~x741+262144 ~x740+131072 ~x739+65536 ~x738+32768 ~x737+16384 ~x736+8192 ~x735+4096 ~x734+2048 ~x733+1024 ~x732+512 ~x731+256 ~x730+128 ~x729+64 ~x728+32 ~x727+16 ~x726+8 ~x725+4 ~x724+2 ~x723+1 ~x722+536870912 ~x721+268435456 ~x720+134217728 ~x719+67108864 ~x718+33554432 ~x717+16777216 ~x716+8388608 ~x715+4194304 ~x714+2097152 ~x713+1048576 ~x712+524288 ~x711+262144 ~x710+131072 ~x709+65536 ~x708+32768 ~x707+16384 ~x706+8192 ~x705+4096 ~x704+2048 ~x703+1024 ~x702+512 ~x701+256 ~x700+128 ~x699+64 ~x698+32 ~x697+16 ~x696+8 ~x695+4 ~x694+2 ~x693+1 ~x692+536870912 x691+268435456 x690+134217728 x689+67108864 x688+33554432 x687+16777216 x686+8388608 x685+4194304 x684+2097152 x683+1048576 x682+524288 x681+262144 x680+131072 x679+65536 x678+32768 x677+16384 x676+8192 x675+4096 x674+2048 x673+1024 x672+512 x671+256 x670+128 x669+64 x668+32 x667+16 x666+8 x665+4 x664+2 x663+1 x662-0=7516192764
7.37/7.44	c 536870912 ~x294500+268435456 ~x294499+134217728 ~x294498+67108864 ~x294497+33554432 ~x294496+16777216 ~x294495+8388608 ~x294494+4194304 ~x294493+2097152 ~x294492+1048576 ~x294491+524288 ~x294490+262144 ~x294489+131072 ~x294488+65536 ~x294487+32768 ~x294486+16384 ~x294485+8192 ~x294484+4096 ~x294483+2048 ~x294482+1024 ~x294481+512 ~x294480+256 ~x294479+128 ~x294478+64 ~x294477+32 ~x294476+16 ~x294475+8 ~x294474+4 ~x294473+2 ~x294472+1 ~x294471+704643072 x1865+352321536 x1864+176160768 x1863+88080384 x1862+44040192 x1861+22020096 x1860+11010048 x1859+5505024 x1858+2752512 x1857+1376256 x1856+536870912 ~x1325+268435456 ~x1324+134217728 ~x1323+67108864 ~x1322+33554432 ~x1321+16777216 ~x1320+8388608 ~x1319+4194304 ~x1318+2097152 ~x1317+1048576 ~x1316+524288 ~x1315+262144 ~x1314+131072 ~x1313+65536 ~x1312+32768 ~x1311+16384 ~x1310+8192 ~x1309+4096 ~x1308+2048 ~x1307+1024 ~x1306+512 ~x1305+256 ~x1304+128 ~x1303+64 ~x1302+32 ~x1301+16 ~x1300+8 ~x1299+4 ~x1298+2 ~x1297+1 ~x1296+688128 x1165+536870912 x721+268435456 x720+134217728 x719+67108864 x718+33554432 x717+16777216 x716+8388608 x715+4194304 x714+2097152 x713+1048576 x712+524288 x711+262144 x710+131072 x709+65536 x708+32768 x707+16384 x706+8192 x705+4096 x704+2048 x703+1024 x702+512 x701+256 x700+128 x699+64 x698+32 x697+16 x696+8 x695+4 x694+2 x693+1 x692-0=2147483646
8.17/8.24	c 536870912 ~x328880+268435456 ~x328879+134217728 ~x328878+67108864 ~x328877+33554432 ~x328876+16777216 ~x328875+8388608 ~x328874+4194304 ~x328873+2097152 ~x328872+1048576 ~x328871+524288 ~x328870+262144 ~x328869+131072 ~x328868+65536 ~x328867+32768 ~x328866+16384 ~x328865+8192 ~x328864+4096 ~x328863+2048 ~x328862+1024 ~x328861+512 ~x328860+256 ~x328859+128 ~x328858+64 ~x328857+32 ~x328856+16 ~x328855+8 ~x328854+4 ~x328853+2 ~x328852+1 ~x328851+536870912 ~x781+268435456 ~x780+134217728 ~x779+67108864 ~x778+33554432 ~x777+16777216 ~x776+8388608 ~x775+4194304 ~x774+2097152 ~x773+1048576 ~x772+524288 ~x771+262144 ~x770+131072 ~x769+65536 ~x768+32768 ~x767+16384 ~x766+8192 ~x765+4096 ~x764+2048 ~x763+1024 ~x762+512 ~x761+256 ~x760+128 ~x759+64 ~x758+32 ~x757+16 ~x756+8 ~x755+4 ~x754+2 ~x753+1 ~x752+536870912 x751+268435456 x750+134217728 x749+67108864 x748+33554432 x747+16777216 x746+8388608 x745+4194304 x744+2097152 x743+1048576 x742+524288 x741+262144 x740+131072 x739+65536 x738+32768 x737+16384 x736+8192 x735+4096 x734+2048 x733+1024 x732+512 x731+256 x730+128 x729+64 x728+32 x727+16 x726+8 x725+4 x724+2 x723+1 x722-0=2147483646
8.88/8.94	c 1073741824 ~x359268+536870912 ~x359267+268435456 ~x359266+134217728 ~x359265+67108864 ~x359264+33554432 ~x359263+16777216 ~x359262+8388608 ~x359261+4194304 ~x359260+2097152 ~x359259+1048576 ~x359258+524288 ~x359257+262144 ~x359256+131072 ~x359255+65536 ~x359254+32768 ~x359253+16384 ~x359252+8192 ~x359251+4096 ~x359250+2048 ~x359249+1024 ~x359248+512 ~x359247+256 ~x359246+128 ~x359245+64 ~x359244+32 ~x359243+16 ~x359242+8 ~x359241+4 ~x359240+2 ~x359239+1 ~x359238+704643072 x1875+352321536 x1874+176160768 x1873+88080384 x1872+44040192 x1871+22020096 x1870+11010048 x1869+5505024 x1868+2752512 x1867+1376256 x1866+536870912 ~x1355+268435456 ~x1354+134217728 ~x1353+67108864 ~x1352+33554432 ~x1351+16777216 ~x1350+8388608 ~x1349+4194304 ~x1348+2097152 ~x1347+1048576 ~x1346+524288 ~x1345+262144 ~x1344+131072 ~x1343+65536 ~x1342+32768 ~x1341+16384 ~x1340+8192 ~x1339+4096 ~x1338+2048 ~x1337+1024 ~x1336+512 ~x1335+256 ~x1334+128 ~x1333+64 ~x1332+32 ~x1331+16 ~x1330+8 ~x1329+4 ~x1328+2 ~x1327+1 ~x1326+688128 x1166+536870912 ~x811+268435456 ~x810+134217728 ~x809+67108864 ~x808+33554432 ~x807+16777216 ~x806+8388608 ~x805+4194304 ~x804+2097152 ~x803+1048576 ~x802+524288 ~x801+262144 ~x800+131072 ~x799+65536 ~x798+32768 ~x797+16384 ~x796+8192 ~x795+4096 ~x794+2048 ~x793+1024 ~x792+512 ~x791+256 ~x790+128 ~x789+64 ~x788+32 ~x787+16 ~x786+8 ~x785+4 ~x784+2 ~x783+1 ~x782+536870912 x781+268435456 x780+134217728 x779+67108864 x778+33554432 x777+16777216 x776+8388608 x775+4194304 x774+2097152 x773+1048576 x772+524288 x771+262144 x770+131072 x769+65536 x768+32768 x767+16384 x766+8192 x765+4096 x764+2048 x763+1024 x762+512 x761+256 x760+128 x759+64 x758+32 x757+16 x756+8 x755+4 x754+2 x753+1 x752-0=4294967293
9.98/10.01	c 536870912 ~x406067+268435456 ~x406066+134217728 ~x406065+67108864 ~x406064+33554432 ~x406063+16777216 ~x406062+8388608 ~x406061+4194304 ~x406060+2097152 ~x406059+1048576 ~x406058+524288 ~x406057+262144 ~x406056+131072 ~x406055+65536 ~x406054+32768 ~x406053+16384 ~x406052+8192 ~x406051+4096 ~x406050+2048 ~x406049+1024 ~x406048+512 ~x406047+256 ~x406046+128 ~x406045+64 ~x406044+32 ~x406043+16 ~x406042+8 ~x406041+4 ~x406040+2 ~x406039+1 ~x406038+536870912 ~x871+268435456 ~x870+134217728 ~x869+67108864 ~x868+33554432 ~x867+16777216 ~x866+8388608 ~x865+4194304 ~x864+2097152 ~x863+1048576 ~x862+524288 ~x861+262144 ~x860+131072 ~x859+65536 ~x858+32768 ~x857+16384 ~x856+8192 ~x855+4096 ~x854+2048 ~x853+1024 ~x852+512 ~x851+256 ~x850+128 ~x849+64 ~x848+32 ~x847+16 ~x846+8 ~x845+4 ~x844+2 ~x843+1 ~x842+536870912 x841+268435456 x840+134217728 x839+67108864 x838+33554432 x837+16777216 x836+8388608 x835+4194304 x834+2097152 x833+1048576 x832+524288 x831+262144 x830+131072 x829+65536 x828+32768 x827+16384 x826+8192 x825+4096 x824+2048 x823+1024 x822+512 x821+256 x820+128 x819+64 x818+32 x817+16 x816+8 x815+4 x814+2 x813+1 x812-0=2147483646
10.68/10.71	c 536870912 ~x436454+268435456 ~x436453+134217728 ~x436452+67108864 ~x436451+33554432 ~x436450+16777216 ~x436449+8388608 ~x436448+4194304 ~x436447+2097152 ~x436446+1048576 ~x436445+524288 ~x436444+262144 ~x436443+131072 ~x436442+65536 ~x436441+32768 ~x436440+16384 ~x436439+8192 ~x436438+4096 ~x436437+2048 ~x436436+1024 ~x436435+512 ~x436434+256 ~x436433+128 ~x436432+64 ~x436431+32 ~x436430+16 ~x436429+8 ~x436428+4 ~x436427+2 ~x436426+1 ~x436425+536870912 ~x901+268435456 ~x900+134217728 ~x899+67108864 ~x898+33554432 ~x897+16777216 ~x896+8388608 ~x895+4194304 ~x894+2097152 ~x893+1048576 ~x892+524288 ~x891+262144 ~x890+131072 ~x889+65536 ~x888+32768 ~x887+16384 ~x886+8192 ~x885+4096 ~x884+2048 ~x883+1024 ~x882+512 ~x881+256 ~x880+128 ~x879+64 ~x878+32 ~x877+16 ~x876+8 ~x875+4 ~x874+2 ~x873+1 ~x872+536870912 x871+268435456 x870+134217728 x869+67108864 x868+33554432 x867+16777216 x866+8388608 x865+4194304 x864+2097152 x863+1048576 x862+524288 x861+262144 x860+131072 x859+65536 x858+32768 x857+16384 x856+8192 x855+4096 x854+2048 x853+1024 x852+512 x851+256 x850+128 x849+64 x848+32 x847+16 x846+8 x845+4 x844+2 x843+1 x842-0=2147483646
11.37/11.42	c 536870912 ~x466841+268435456 ~x466840+134217728 ~x466839+67108864 ~x466838+33554432 ~x466837+16777216 ~x466836+8388608 ~x466835+4194304 ~x466834+2097152 ~x466833+1048576 ~x466832+524288 ~x466831+262144 ~x466830+131072 ~x466829+65536 ~x466828+32768 ~x466827+16384 ~x466826+8192 ~x466825+4096 ~x466824+2048 ~x466823+1024 ~x466822+512 ~x466821+256 ~x466820+128 ~x466819+64 ~x466818+32 ~x466817+16 ~x466816+8 ~x466815+4 ~x466814+2 ~x466813+1 ~x466812+704643072 x1885+352321536 x1884+176160768 x1883+88080384 x1882+44040192 x1881+22020096 x1880+11010048 x1879+5505024 x1878+2752512 x1877+1376256 x1876+536870912 ~x1385+268435456 ~x1384+134217728 ~x1383+67108864 ~x1382+33554432 ~x1381+16777216 ~x1380+8388608 ~x1379+4194304 ~x1378+2097152 ~x1377+1048576 ~x1376+524288 ~x1375+262144 ~x1374+131072 ~x1373+65536 ~x1372+32768 ~x1371+16384 ~x1370+8192 ~x1369+4096 ~x1368+2048 ~x1367+1024 ~x1366+512 ~x1365+256 ~x1364+128 ~x1363+64 ~x1362+32 ~x1361+16 ~x1360+8 ~x1359+4 ~x1358+2 ~x1357+1 ~x1356+688128 x1167+536870912 x901+268435456 x900+134217728 x899+67108864 x898+33554432 x897+16777216 x896+8388608 x895+4194304 x894+2097152 x893+1048576 x892+524288 x891+262144 x890+131072 x889+65536 x888+32768 x887+16384 x886+8192 x885+4096 x884+2048 x883+1024 x882+512 x881+256 x880+128 x879+64 x878+32 x877+16 x876+8 x875+4 x874+2 x873+1 x872-0=2147483646
12.18/12.21	c 1073741824 ~x501222+536870912 ~x501221+268435456 ~x501220+134217728 ~x501219+67108864 ~x501218+33554432 ~x501217+16777216 ~x501216+8388608 ~x501215+4194304 ~x501214+2097152 ~x501213+1048576 ~x501212+524288 ~x501211+262144 ~x501210+131072 ~x501209+65536 ~x501208+32768 ~x501207+16384 ~x501206+8192 ~x501205+4096 ~x501204+2048 ~x501203+1024 ~x501202+512 ~x501201+256 ~x501200+128 ~x501199+64 ~x501198+32 ~x501197+16 ~x501196+8 ~x501195+4 ~x501194+2 ~x501193+1 ~x501192+1409286144 x1896+704643072 x1895+352321536 x1894+176160768 x1893+88080384 x1892+44040192 x1891+22020096 x1890+11010048 x1889+5505024 x1888+2752512 x1887+1376256 x1886+536870912 ~x1415+268435456 ~x1414+134217728 ~x1413+67108864 ~x1412+33554432 ~x1411+16777216 ~x1410+8388608 ~x1409+4194304 ~x1408+2097152 ~x1407+1048576 ~x1406+524288 ~x1405+262144 ~x1404+131072 ~x1403+65536 ~x1402+32768 ~x1401+16384 ~x1400+8192 ~x1399+4096 ~x1398+2048 ~x1397+1024 ~x1396+512 ~x1395+256 ~x1394+128 ~x1393+64 ~x1392+32 ~x1391+16 ~x1390+8 ~x1389+4 ~x1388+2 ~x1387+1 ~x1386+688128 x1168+536870912 ~x961+268435456 ~x960+134217728 ~x959+67108864 ~x958+33554432 ~x957+16777216 ~x956+8388608 ~x955+4194304 ~x954+2097152 ~x953+1048576 ~x952+524288 ~x951+262144 ~x950+131072 ~x949+65536 ~x948+32768 ~x947+16384 ~x946+8192 ~x945+4096 ~x944+2048 ~x943+1024 ~x942+512 ~x941+256 ~x940+128 ~x939+64 ~x938+32 ~x937+16 ~x936+8 ~x935+4 ~x934+2 ~x933+1 ~x932+536870912 x931+268435456 x930+134217728 x929+67108864 x928+33554432 x927+16777216 x926+8388608 x925+4194304 x924+2097152 x923+1048576 x922+524288 x921+262144 x920+131072 x919+65536 x918+32768 x917+16384 x916+8192 x915+4096 x914+2048 x913+1024 x912+512 x911+256 x910+128 x909+64 x908+32 x907+16 x906+8 x905+4 x904+2 x903+1 x902-0=4294967293
13.27/13.30	c 1073741824 ~x548395+536870912 ~x548394+268435456 ~x548393+134217728 ~x548392+67108864 ~x548391+33554432 ~x548390+16777216 ~x548389+8388608 ~x548388+4194304 ~x548387+2097152 ~x548386+1048576 ~x548385+524288 ~x548384+262144 ~x548383+131072 ~x548382+65536 ~x548381+32768 ~x548380+16384 ~x548379+8192 ~x548378+4096 ~x548377+2048 ~x548376+1024 ~x548375+512 ~x548374+256 ~x548373+128 ~x548372+64 ~x548371+32 ~x548370+16 ~x548369+8 ~x548368+4 ~x548367+2 ~x548366+1 ~x548365+1409286144 x1910+704643072 x1909+352321536 x1908+176160768 x1907+88080384 x1906+44040192 x1905+22020096 x1904+11010048 x1903+5505024 x1902+2752512 x1901+1376256 x1900+536870912 ~x1445+268435456 ~x1444+134217728 ~x1443+67108864 ~x1442+33554432 ~x1441+16777216 ~x1440+8388608 ~x1439+4194304 ~x1438+2097152 ~x1437+1048576 ~x1436+524288 ~x1435+262144 ~x1434+131072 ~x1433+65536 ~x1432+32768 ~x1431+16384 ~x1430+8192 ~x1429+4096 ~x1428+2048 ~x1427+1024 ~x1426+512 ~x1425+256 ~x1424+128 ~x1423+64 ~x1422+32 ~x1421+16 ~x1420+8 ~x1419+4 ~x1418+2 ~x1417+1 ~x1416+688128 x1169+536870912 ~x991+268435456 ~x990+134217728 ~x989+67108864 ~x988+33554432 ~x987+16777216 ~x986+8388608 ~x985+4194304 ~x984+2097152 ~x983+1048576 ~x982+524288 ~x981+262144 ~x980+131072 ~x979+65536 ~x978+32768 ~x977+16384 ~x976+8192 ~x975+4096 ~x974+2048 ~x973+1024 ~x972+512 ~x971+256 ~x970+128 ~x969+64 ~x968+32 ~x967+16 ~x966+8 ~x965+4 ~x964+2 ~x963+1 ~x962+536870912 x961+268435456 x960+134217728 x959+67108864 x958+33554432 x957+16777216 x956+8388608 x955+4194304 x954+2097152 x953+1048576 x952+524288 x951+262144 x950+131072 x949+65536 x948+32768 x947+16384 x946+8192 x945+4096 x944+2048 x943+1024 x942+512 x941+256 x940+128 x939+64 x938+32 x937+16 x936+8 x935+4 x934+2 x933+1 x932-0=4294967293
14.28/14.38	c 1073741824 ~x595568+536870912 ~x595567+268435456 ~x595566+134217728 ~x595565+67108864 ~x595564+33554432 ~x595563+16777216 ~x595562+8388608 ~x595561+4194304 ~x595560+2097152 ~x595559+1048576 ~x595558+524288 ~x595557+262144 ~x595556+131072 ~x595555+65536 ~x595554+32768 ~x595553+16384 ~x595552+8192 ~x595551+4096 ~x595550+2048 ~x595549+1024 ~x595548+512 ~x595547+256 ~x595546+128 ~x595545+64 ~x595544+32 ~x595543+16 ~x595542+8 ~x595541+4 ~x595540+2 ~x595539+1 ~x595538+1409286144 x1924+704643072 x1923+352321536 x1922+176160768 x1921+88080384 x1920+44040192 x1919+22020096 x1918+11010048 x1917+5505024 x1916+2752512 x1915+1376256 x1914+536870912 ~x1475+268435456 ~x1474+134217728 ~x1473+67108864 ~x1472+33554432 ~x1471+16777216 ~x1470+8388608 ~x1469+4194304 ~x1468+2097152 ~x1467+1048576 ~x1466+524288 ~x1465+262144 ~x1464+131072 ~x1463+65536 ~x1462+32768 ~x1461+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+688128 x1170+536870912 ~x1021+268435456 ~x1020+134217728 ~x1019+67108864 ~x1018+33554432 ~x1017+16777216 ~x1016+8388608 ~x1015+4194304 ~x1014+2097152 ~x1013+1048576 ~x1012+524288 ~x1011+262144 ~x1010+131072 ~x1009+65536 ~x1008+32768 ~x1007+16384 ~x1006+8192 ~x1005+4096 ~x1004+2048 ~x1003+1024 ~x1002+512 ~x1001+256 ~x1000+128 ~x999+64 ~x998+32 ~x997+16 ~x996+8 ~x995+4 ~x994+2 ~x993+1 ~x992+536870912 x991+268435456 x990+134217728 x989+67108864 x988+33554432 x987+16777216 x986+8388608 x985+4194304 x984+2097152 x983+1048576 x982+524288 x981+262144 x980+131072 x979+65536 x978+32768 x977+16384 x976+8192 x975+4096 x974+2048 x973+1024 x972+512 x971+256 x970+128 x969+64 x968+32 x967+16 x966+8 x965+4 x964+2 x963+1 x962-0=4294967293
15.38/15.47	c 2147483648 ~x642742+1073741824 ~x642741+536870912 ~x642740+268435456 ~x642739+134217728 ~x642738+67108864 ~x642737+33554432 ~x642736+16777216 ~x642735+8388608 ~x642734+4194304 ~x642733+2097152 ~x642732+1048576 ~x642731+524288 ~x642730+262144 ~x642729+131072 ~x642728+65536 ~x642727+32768 ~x642726+16384 ~x642725+8192 ~x642724+4096 ~x642723+2048 ~x642722+1024 ~x642721+512 ~x642720+256 ~x642719+128 ~x642718+64 ~x642717+32 ~x642716+16 ~x642715+8 ~x642714+4 ~x642713+2 ~x642712+1 ~x642711+2818572288 x1939+1409286144 x1938+704643072 x1937+352321536 x1936+176160768 x1935+88080384 x1934+44040192 x1933+22020096 x1932+11010048 x1931+5505024 x1930+2752512 x1929+1376256 x1928+536870912 ~x1505+268435456 ~x1504+134217728 ~x1503+67108864 ~x1502+33554432 ~x1501+16777216 ~x1500+8388608 ~x1499+4194304 ~x1498+2097152 ~x1497+1048576 ~x1496+524288 ~x1495+262144 ~x1494+131072 ~x1493+65536 ~x1492+32768 ~x1491+16384 ~x1490+8192 ~x1489+4096 ~x1488+2048 ~x1487+1024 ~x1486+512 ~x1485+256 ~x1484+128 ~x1483+64 ~x1482+32 ~x1481+16 ~x1480+8 ~x1479+4 ~x1478+2 ~x1477+1 ~x1476+688128 x1171+536870912 ~x1051+268435456 ~x1050+134217728 ~x1049+67108864 ~x1048+33554432 ~x1047+16777216 ~x1046+8388608 ~x1045+4194304 ~x1044+2097152 ~x1043+1048576 ~x1042+524288 ~x1041+262144 ~x1040+131072 ~x1039+65536 ~x1038+32768 ~x1037+16384 ~x1036+8192 ~x1035+4096 ~x1034+2048 ~x1033+1024 ~x1032+512 ~x1031+256 ~x1030+128 ~x1029+64 ~x1028+32 ~x1027+16 ~x1026+8 ~x1025+4 ~x1024+2 ~x1023+1 ~x1022+536870912 x1021+268435456 x1020+134217728 x1019+67108864 x1018+33554432 x1017+16777216 x1016+8388608 x1015+4194304 x1014+2097152 x1013+1048576 x1012+524288 x1011+262144 x1010+131072 x1009+65536 x1008+32768 x1007+16384 x1006+8192 x1005+4096 x1004+2048 x1003+1024 x1002+512 x1001+256 x1000+128 x999+64 x998+32 x997+16 x996+8 x995+4 x994+2 x993+1 x992+536870912 ~x661+268435456 ~x660+134217728 ~x659+67108864 ~x658+33554432 ~x657+16777216 ~x656+8388608 ~x655+4194304 ~x654+2097152 ~x653+1048576 ~x652+524288 ~x651+262144 ~x650+131072 ~x649+65536 ~x648+32768 ~x647+16384 ~x646+8192 ~x645+4096 ~x644+2048 ~x643+1024 ~x642+512 ~x641+256 ~x640+128 ~x639+64 ~x638+32 ~x637+16 ~x636+8 ~x635+4 ~x634+2 ~x633+1 ~x632-0=7516192764
16.77/16.81	c 2147483648 ~x701820+1073741824 ~x701819+536870912 ~x701818+268435456 ~x701817+134217728 ~x701816+67108864 ~x701815+33554432 ~x701814+16777216 ~x701813+8388608 ~x701812+4194304 ~x701811+2097152 ~x701810+1048576 ~x701809+524288 ~x701808+262144 ~x701807+131072 ~x701806+65536 ~x701805+32768 ~x701804+16384 ~x701803+8192 ~x701802+4096 ~x701801+2048 ~x701800+1024 ~x701799+512 ~x701798+256 ~x701797+128 ~x701796+64 ~x701795+32 ~x701794+16 ~x701793+8 ~x701792+4 ~x701791+2 ~x701790+1 ~x701789+2818572288 x1953+1409286144 x1952+704643072 x1951+352321536 x1950+176160768 x1949+88080384 x1948+44040192 x1947+22020096 x1946+11010048 x1945+5505024 x1944+2752512 x1943+1376256 x1942+536870912 ~x1535+268435456 ~x1534+134217728 ~x1533+67108864 ~x1532+33554432 ~x1531+16777216 ~x1530+8388608 ~x1529+4194304 ~x1528+2097152 ~x1527+1048576 ~x1526+524288 ~x1525+262144 ~x1524+131072 ~x1523+65536 ~x1522+32768 ~x1521+16384 ~x1520+8192 ~x1519+4096 ~x1518+2048 ~x1517+1024 ~x1516+512 ~x1515+256 ~x1514+128 ~x1513+64 ~x1512+32 ~x1511+16 ~x1510+8 ~x1509+4 ~x1508+2 ~x1507+1 ~x1506+688128 x1172+536870912 ~x1081+268435456 ~x1080+134217728 ~x1079+67108864 ~x1078+33554432 ~x1077+16777216 ~x1076+8388608 ~x1075+4194304 ~x1074+2097152 ~x1073+1048576 ~x1072+524288 ~x1071+262144 ~x1070+131072 ~x1069+65536 ~x1068+32768 ~x1067+16384 ~x1066+8192 ~x1065+4096 ~x1064+2048 ~x1063+1024 ~x1062+512 ~x1061+256 ~x1060+128 ~x1059+64 ~x1058+32 ~x1057+16 ~x1056+8 ~x1055+4 ~x1054+2 ~x1053+1 ~x1052+536870912 x1051+268435456 x1050+134217728 x1049+67108864 x1048+33554432 x1047+16777216 x1046+8388608 x1045+4194304 x1044+2097152 x1043+1048576 x1042+524288 x1041+262144 x1040+131072 x1039+65536 x1038+32768 x1037+16384 x1036+8192 x1035+4096 x1034+2048 x1033+1024 x1032+512 x1031+256 x1030+128 x1029+64 x1028+32 x1027+16 x1026+8 x1025+4 x1024+2 x1023+1 x1022+536870912 ~x631+268435456 ~x630+134217728 ~x629+67108864 ~x628+33554432 ~x627+16777216 ~x626+8388608 ~x625+4194304 ~x624+2097152 ~x623+1048576 ~x622+524288 ~x621+262144 ~x620+131072 ~x619+65536 ~x618+32768 ~x617+16384 ~x616+8192 ~x615+4096 ~x614+2048 ~x613+1024 ~x612+512 ~x611+256 ~x610+128 ~x609+64 ~x608+32 ~x607+16 ~x606+8 ~x605+4 ~x604+2 ~x603+1 ~x602-0=7516192764
18.07/18.16	c 1073741824 ~x760897+536870912 ~x760896+268435456 ~x760895+134217728 ~x760894+67108864 ~x760893+33554432 ~x760892+16777216 ~x760891+8388608 ~x760890+4194304 ~x760889+2097152 ~x760888+1048576 ~x760887+524288 ~x760886+262144 ~x760885+131072 ~x760884+65536 ~x760883+32768 ~x760882+16384 ~x760881+8192 ~x760880+4096 ~x760879+2048 ~x760878+1024 ~x760877+512 ~x760876+256 ~x760875+128 ~x760874+64 ~x760873+32 ~x760872+16 ~x760871+8 ~x760870+4 ~x760869+2 ~x760868+1 ~x760867+1409286144 x1966+704643072 x1965+352321536 x1964+176160768 x1963+88080384 x1962+44040192 x1961+22020096 x1960+11010048 x1959+5505024 x1958+2752512 x1957+1376256 x1956+536870912 ~x1565+268435456 ~x1564+134217728 ~x1563+67108864 ~x1562+33554432 ~x1561+16777216 ~x1560+8388608 ~x1559+4194304 ~x1558+2097152 ~x1557+1048576 ~x1556+524288 ~x1555+262144 ~x1554+131072 ~x1553+65536 ~x1552+32768 ~x1551+16384 ~x1550+8192 ~x1549+4096 ~x1548+2048 ~x1547+1024 ~x1546+512 ~x1545+256 ~x1544+128 ~x1543+64 ~x1542+32 ~x1541+16 ~x1540+8 ~x1539+4 ~x1538+2 ~x1537+1 ~x1536+688128 x1173+536870912 ~x1111+268435456 ~x1110+134217728 ~x1109+67108864 ~x1108+33554432 ~x1107+16777216 ~x1106+8388608 ~x1105+4194304 ~x1104+2097152 ~x1103+1048576 ~x1102+524288 ~x1101+262144 ~x1100+131072 ~x1099+65536 ~x1098+32768 ~x1097+16384 ~x1096+8192 ~x1095+4096 ~x1094+2048 ~x1093+1024 ~x1092+512 ~x1091+256 ~x1090+128 ~x1089+64 ~x1088+32 ~x1087+16 ~x1086+8 ~x1085+4 ~x1084+2 ~x1083+1 ~x1082+536870912 x1081+268435456 x1080+134217728 x1079+67108864 x1078+33554432 x1077+16777216 x1076+8388608 x1075+4194304 x1074+2097152 x1073+1048576 x1072+524288 x1071+262144 x1070+131072 x1069+65536 x1068+32768 x1067+16384 x1066+8192 x1065+4096 x1064+2048 x1063+1024 x1062+512 x1061+256 x1060+128 x1059+64 x1058+32 x1057+16 x1056+8 x1055+4 x1054+2 x1053+1 x1052-0=4294967293
19.17/19.25	c 1073741824 ~x808070+536870912 ~x808069+268435456 ~x808068+134217728 ~x808067+67108864 ~x808066+33554432 ~x808065+16777216 ~x808064+8388608 ~x808063+4194304 ~x808062+2097152 ~x808061+1048576 ~x808060+524288 ~x808059+262144 ~x808058+131072 ~x808057+65536 ~x808056+32768 ~x808055+16384 ~x808054+8192 ~x808053+4096 ~x808052+2048 ~x808051+1024 ~x808050+512 ~x808049+256 ~x808048+128 ~x808047+64 ~x808046+32 ~x808045+16 ~x808044+8 ~x808043+4 ~x808042+2 ~x808041+1 ~x808040+1409286144 x1980+704643072 x1979+352321536 x1978+176160768 x1977+88080384 x1976+44040192 x1975+22020096 x1974+11010048 x1973+5505024 x1972+2752512 x1971+1376256 x1970+536870912 ~x1595+268435456 ~x1594+134217728 ~x1593+67108864 ~x1592+33554432 ~x1591+16777216 ~x1590+8388608 ~x1589+4194304 ~x1588+2097152 ~x1587+1048576 ~x1586+524288 ~x1585+262144 ~x1584+131072 ~x1583+65536 ~x1582+32768 ~x1581+16384 ~x1580+8192 ~x1579+4096 ~x1578+2048 ~x1577+1024 ~x1576+512 ~x1575+256 ~x1574+128 ~x1573+64 ~x1572+32 ~x1571+16 ~x1570+8 ~x1569+4 ~x1568+2 ~x1567+1 ~x1566+688128 x1174+536870912 ~x1141+268435456 ~x1140+134217728 ~x1139+67108864 ~x1138+33554432 ~x1137+16777216 ~x1136+8388608 ~x1135+4194304 ~x1134+2097152 ~x1133+1048576 ~x1132+524288 ~x1131+262144 ~x1130+131072 ~x1129+65536 ~x1128+32768 ~x1127+16384 ~x1126+8192 ~x1125+4096 ~x1124+2048 ~x1123+1024 ~x1122+512 ~x1121+256 ~x1120+128 ~x1119+64 ~x1118+32 ~x1117+16 ~x1116+8 ~x1115+4 ~x1114+2 ~x1113+1 ~x1112+536870912 x1111+268435456 x1110+134217728 x1109+67108864 x1108+33554432 x1107+16777216 x1106+8388608 x1105+4194304 x1104+2097152 x1103+1048576 x1102+524288 x1101+262144 x1100+131072 x1099+65536 x1098+32768 x1097+16384 x1096+8192 x1095+4096 x1094+2048 x1093+1024 x1092+512 x1091+256 x1090+128 x1089+64 x1088+32 x1087+16 x1086+8 x1085+4 x1084+2 x1083+1 x1082-0=4294967293
20.27/20.32	c 536870912 ~x855242+268435456 ~x855241+134217728 ~x855240+67108864 ~x855239+33554432 ~x855238+16777216 ~x855237+8388608 ~x855236+4194304 ~x855235+2097152 ~x855234+1048576 ~x855233+524288 ~x855232+262144 ~x855231+131072 ~x855230+65536 ~x855229+32768 ~x855228+16384 ~x855227+8192 ~x855226+4096 ~x855225+2048 ~x855224+1024 ~x855223+512 ~x855222+256 ~x855221+128 ~x855220+64 ~x855219+32 ~x855218+16 ~x855217+8 ~x855216+4 ~x855215+2 ~x855214+1 ~x855213+704643072 x1993+352321536 x1992+176160768 x1991+88080384 x1990+44040192 x1989+22020096 x1988+11010048 x1987+5505024 x1986+2752512 x1985+1376256 x1984+536870912 ~x1625+268435456 ~x1624+134217728 ~x1623+67108864 ~x1622+33554432 ~x1621+16777216 ~x1620+8388608 ~x1619+4194304 ~x1618+2097152 ~x1617+1048576 ~x1616+524288 ~x1615+262144 ~x1614+131072 ~x1613+65536 ~x1612+32768 ~x1611+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+688128 x1175+536870912 x1141+268435456 x1140+134217728 x1139+67108864 x1138+33554432 x1137+16777216 x1136+8388608 x1135+4194304 x1134+2097152 x1133+1048576 x1132+524288 x1131+262144 x1130+131072 x1129+65536 x1128+32768 x1127+16384 x1126+8192 x1125+4096 x1124+2048 x1123+1024 x1122+512 x1121+256 x1120+128 x1119+64 x1118+32 x1117+16 x1116+8 x1115+4 x1114+2 x1113+1 x1112-0=2147483646
21.07/21.11	c 536870912 ~x889623+268435456 ~x889622+134217728 ~x889621+67108864 ~x889620+33554432 ~x889619+16777216 ~x889618+8388608 ~x889617+4194304 ~x889616+2097152 ~x889615+1048576 ~x889614+524288 ~x889613+262144 ~x889612+131072 ~x889611+65536 ~x889610+32768 ~x889609+16384 ~x889608+8192 ~x889607+4096 ~x889606+2048 ~x889605+1024 ~x889604+512 ~x889603+256 ~x889602+128 ~x889601+64 ~x889600+32 ~x889599+16 ~x889598+8 ~x889597+4 ~x889596+2 ~x889595+1 ~x889594+201326592 x1639+100663296 x1638+50331648 x1637+25165824 x1636+12582912 x1635+6291456 x1634+3145728 x1633+1572864 x1632+786432 x1631+393216 x1630+196608 x1629+98304 x1628+49152 x1627+24576 x1626+536870912 ~x1205+268435456 ~x1204+134217728 ~x1203+67108864 ~x1202+33554432 ~x1201+16777216 ~x1200+8388608 ~x1199+4194304 ~x1198+2097152 ~x1197+1048576 ~x1196+524288 ~x1195+262144 ~x1194+131072 ~x1193+65536 ~x1192+32768 ~x1191+16384 ~x1190+8192 ~x1189+4096 ~x1188+2048 ~x1187+1024 ~x1186+512 ~x1185+256 ~x1184+128 ~x1183+64 ~x1182+32 ~x1181+16 ~x1180+8 ~x1179+4 ~x1178+2 ~x1177+1 ~x1176-0=2147483646
21.57/21.69	c 536870912 ~x914202+268435456 ~x914201+134217728 ~x914200+67108864 ~x914199+33554432 ~x914198+16777216 ~x914197+8388608 ~x914196+4194304 ~x914195+2097152 ~x914194+1048576 ~x914193+524288 ~x914192+262144 ~x914191+131072 ~x914190+65536 ~x914189+32768 ~x914188+16384 ~x914187+8192 ~x914186+4096 ~x914185+2048 ~x914184+1024 ~x914183+512 ~x914182+256 ~x914181+128 ~x914180+64 ~x914179+32 ~x914178+16 ~x914177+8 ~x914176+4 ~x914175+2 ~x914174+1 ~x914173+12582912 x1649+6291456 x1648+3145728 x1647+1572864 x1646+786432 x1645+393216 x1644+196608 x1643+98304 x1642+49152 x1641+24576 x1640+536870912 ~x1235+268435456 ~x1234+134217728 ~x1233+67108864 ~x1232+33554432 ~x1231+16777216 ~x1230+8388608 ~x1229+4194304 ~x1228+2097152 ~x1227+1048576 ~x1226+524288 ~x1225+262144 ~x1224+131072 ~x1223+65536 ~x1222+32768 ~x1221+16384 ~x1220+8192 ~x1219+4096 ~x1218+2048 ~x1217+1024 ~x1216+512 ~x1215+256 ~x1214+128 ~x1213+64 ~x1212+32 ~x1211+16 ~x1210+8 ~x1209+4 ~x1208+2 ~x1207+1 ~x1206-0=2147483646
22.17/22.23	c 536870912 ~x937329+268435456 ~x937328+134217728 ~x937327+67108864 ~x937326+33554432 ~x937325+16777216 ~x937324+8388608 ~x937323+4194304 ~x937322+2097152 ~x937321+1048576 ~x937320+524288 ~x937319+262144 ~x937318+131072 ~x937317+65536 ~x937316+32768 ~x937315+16384 ~x937314+8192 ~x937313+4096 ~x937312+2048 ~x937311+1024 ~x937310+512 ~x937309+256 ~x937308+128 ~x937307+64 ~x937306+32 ~x937305+16 ~x937304+8 ~x937303+4 ~x937302+2 ~x937301+1 ~x937300+12582912 x1659+6291456 x1658+3145728 x1657+1572864 x1656+786432 x1655+393216 x1654+196608 x1653+98304 x1652+49152 x1651+24576 x1650+536870912 ~x1265+268435456 ~x1264+134217728 ~x1263+67108864 ~x1262+33554432 ~x1261+16777216 ~x1260+8388608 ~x1259+4194304 ~x1258+2097152 ~x1257+1048576 ~x1256+524288 ~x1255+262144 ~x1254+131072 ~x1253+65536 ~x1252+32768 ~x1251+16384 ~x1250+8192 ~x1249+4096 ~x1248+2048 ~x1247+1024 ~x1246+512 ~x1245+256 ~x1244+128 ~x1243+64 ~x1242+32 ~x1241+16 ~x1240+8 ~x1239+4 ~x1238+2 ~x1237+1 ~x1236-0=2147483646
22.67/22.77	c 536870912 ~x960456+268435456 ~x960455+134217728 ~x960454+67108864 ~x960453+33554432 ~x960452+16777216 ~x960451+8388608 ~x960450+4194304 ~x960449+2097152 ~x960448+1048576 ~x960447+524288 ~x960446+262144 ~x960445+131072 ~x960444+65536 ~x960443+32768 ~x960442+16384 ~x960441+8192 ~x960440+4096 ~x960439+2048 ~x960438+1024 ~x960437+512 ~x960436+256 ~x960435+128 ~x960434+64 ~x960433+32 ~x960432+16 ~x960431+8 ~x960430+4 ~x960429+2 ~x960428+1 ~x960427+12582912 x1669+6291456 x1668+3145728 x1667+1572864 x1666+786432 x1665+393216 x1664+196608 x1663+98304 x1662+49152 x1661+24576 x1660+536870912 ~x1295+268435456 ~x1294+134217728 ~x1293+67108864 ~x1292+33554432 ~x1291+16777216 ~x1290+8388608 ~x1289+4194304 ~x1288+2097152 ~x1287+1048576 ~x1286+524288 ~x1285+262144 ~x1284+131072 ~x1283+65536 ~x1282+32768 ~x1281+16384 ~x1280+8192 ~x1279+4096 ~x1278+2048 ~x1277+1024 ~x1276+512 ~x1275+256 ~x1274+128 ~x1273+64 ~x1272+32 ~x1271+16 ~x1270+8 ~x1269+4 ~x1268+2 ~x1267+1 ~x1266-0=2147483646
23.27/23.31	c 536870912 ~x983583+268435456 ~x983582+134217728 ~x983581+67108864 ~x983580+33554432 ~x983579+16777216 ~x983578+8388608 ~x983577+4194304 ~x983576+2097152 ~x983575+1048576 ~x983574+524288 ~x983573+262144 ~x983572+131072 ~x983571+65536 ~x983570+32768 ~x983569+16384 ~x983568+8192 ~x983567+4096 ~x983566+2048 ~x983565+1024 ~x983564+512 ~x983563+256 ~x983562+128 ~x983561+64 ~x983560+32 ~x983559+16 ~x983558+8 ~x983557+4 ~x983556+2 ~x983555+1 ~x983554+12582912 x1679+6291456 x1678+3145728 x1677+1572864 x1676+786432 x1675+393216 x1674+196608 x1673+98304 x1672+49152 x1671+24576 x1670+536870912 ~x1325+268435456 ~x1324+134217728 ~x1323+67108864 ~x1322+33554432 ~x1321+16777216 ~x1320+8388608 ~x1319+4194304 ~x1318+2097152 ~x1317+1048576 ~x1316+524288 ~x1315+262144 ~x1314+131072 ~x1313+65536 ~x1312+32768 ~x1311+16384 ~x1310+8192 ~x1309+4096 ~x1308+2048 ~x1307+1024 ~x1306+512 ~x1305+256 ~x1304+128 ~x1303+64 ~x1302+32 ~x1301+16 ~x1300+8 ~x1299+4 ~x1298+2 ~x1297+1 ~x1296-0=2147483646
23.76/23.87	c 536870912 ~x1006710+268435456 ~x1006709+134217728 ~x1006708+67108864 ~x1006707+33554432 ~x1006706+16777216 ~x1006705+8388608 ~x1006704+4194304 ~x1006703+2097152 ~x1006702+1048576 ~x1006701+524288 ~x1006700+262144 ~x1006699+131072 ~x1006698+65536 ~x1006697+32768 ~x1006696+16384 ~x1006695+8192 ~x1006694+4096 ~x1006693+2048 ~x1006692+1024 ~x1006691+512 ~x1006690+256 ~x1006689+128 ~x1006688+64 ~x1006687+32 ~x1006686+16 ~x1006685+8 ~x1006684+4 ~x1006683+2 ~x1006682+1 ~x1006681+12582912 x1689+6291456 x1688+3145728 x1687+1572864 x1686+786432 x1685+393216 x1684+196608 x1683+98304 x1682+49152 x1681+24576 x1680+536870912 ~x1355+268435456 ~x1354+134217728 ~x1353+67108864 ~x1352+33554432 ~x1351+16777216 ~x1350+8388608 ~x1349+4194304 ~x1348+2097152 ~x1347+1048576 ~x1346+524288 ~x1345+262144 ~x1344+131072 ~x1343+65536 ~x1342+32768 ~x1341+16384 ~x1340+8192 ~x1339+4096 ~x1338+2048 ~x1337+1024 ~x1336+512 ~x1335+256 ~x1334+128 ~x1333+64 ~x1332+32 ~x1331+16 ~x1330+8 ~x1329+4 ~x1328+2 ~x1327+1 ~x1326-0=2147483646
24.37/24.41	c 536870912 ~x1029837+268435456 ~x1029836+134217728 ~x1029835+67108864 ~x1029834+33554432 ~x1029833+16777216 ~x1029832+8388608 ~x1029831+4194304 ~x1029830+2097152 ~x1029829+1048576 ~x1029828+524288 ~x1029827+262144 ~x1029826+131072 ~x1029825+65536 ~x1029824+32768 ~x1029823+16384 ~x1029822+8192 ~x1029821+4096 ~x1029820+2048 ~x1029819+1024 ~x1029818+512 ~x1029817+256 ~x1029816+128 ~x1029815+64 ~x1029814+32 ~x1029813+16 ~x1029812+8 ~x1029811+4 ~x1029810+2 ~x1029809+1 ~x1029808+12582912 x1699+6291456 x1698+3145728 x1697+1572864 x1696+786432 x1695+393216 x1694+196608 x1693+98304 x1692+49152 x1691+24576 x1690+536870912 ~x1385+268435456 ~x1384+134217728 ~x1383+67108864 ~x1382+33554432 ~x1381+16777216 ~x1380+8388608 ~x1379+4194304 ~x1378+2097152 ~x1377+1048576 ~x1376+524288 ~x1375+262144 ~x1374+131072 ~x1373+65536 ~x1372+32768 ~x1371+16384 ~x1370+8192 ~x1369+4096 ~x1368+2048 ~x1367+1024 ~x1366+512 ~x1365+256 ~x1364+128 ~x1363+64 ~x1362+32 ~x1361+16 ~x1360+8 ~x1359+4 ~x1358+2 ~x1357+1 ~x1356-0=2147483646
24.87/24.95	c 536870912 ~x1052964+268435456 ~x1052963+134217728 ~x1052962+67108864 ~x1052961+33554432 ~x1052960+16777216 ~x1052959+8388608 ~x1052958+4194304 ~x1052957+2097152 ~x1052956+1048576 ~x1052955+524288 ~x1052954+262144 ~x1052953+131072 ~x1052952+65536 ~x1052951+32768 ~x1052950+16384 ~x1052949+8192 ~x1052948+4096 ~x1052947+2048 ~x1052946+1024 ~x1052945+512 ~x1052944+256 ~x1052943+128 ~x1052942+64 ~x1052941+32 ~x1052940+16 ~x1052939+8 ~x1052938+4 ~x1052937+2 ~x1052936+1 ~x1052935+201326592 x1713+100663296 x1712+50331648 x1711+25165824 x1710+12582912 x1709+6291456 x1708+3145728 x1707+1572864 x1706+786432 x1705+393216 x1704+196608 x1703+98304 x1702+49152 x1701+24576 x1700+536870912 ~x1415+268435456 ~x1414+134217728 ~x1413+67108864 ~x1412+33554432 ~x1411+16777216 ~x1410+8388608 ~x1409+4194304 ~x1408+2097152 ~x1407+1048576 ~x1406+524288 ~x1405+262144 ~x1404+131072 ~x1403+65536 ~x1402+32768 ~x1401+16384 ~x1400+8192 ~x1399+4096 ~x1398+2048 ~x1397+1024 ~x1396+512 ~x1395+256 ~x1394+128 ~x1393+64 ~x1392+32 ~x1391+16 ~x1390+8 ~x1389+4 ~x1388+2 ~x1387+1 ~x1386-0=2147483646
25.46/25.52	c 536870912 ~x1077543+268435456 ~x1077542+134217728 ~x1077541+67108864 ~x1077540+33554432 ~x1077539+16777216 ~x1077538+8388608 ~x1077537+4194304 ~x1077536+2097152 ~x1077535+1048576 ~x1077534+524288 ~x1077533+262144 ~x1077532+131072 ~x1077531+65536 ~x1077530+32768 ~x1077529+16384 ~x1077528+8192 ~x1077527+4096 ~x1077526+2048 ~x1077525+1024 ~x1077524+512 ~x1077523+256 ~x1077522+128 ~x1077521+64 ~x1077520+32 ~x1077519+16 ~x1077518+8 ~x1077517+4 ~x1077516+2 ~x1077515+1 ~x1077514+201326592 x1727+100663296 x1726+50331648 x1725+25165824 x1724+12582912 x1723+6291456 x1722+3145728 x1721+1572864 x1720+786432 x1719+393216 x1718+196608 x1717+98304 x1716+49152 x1715+24576 x1714+536870912 ~x1445+268435456 ~x1444+134217728 ~x1443+67108864 ~x1442+33554432 ~x1441+16777216 ~x1440+8388608 ~x1439+4194304 ~x1438+2097152 ~x1437+1048576 ~x1436+524288 ~x1435+262144 ~x1434+131072 ~x1433+65536 ~x1432+32768 ~x1431+16384 ~x1430+8192 ~x1429+4096 ~x1428+2048 ~x1427+1024 ~x1426+512 ~x1425+256 ~x1424+128 ~x1423+64 ~x1422+32 ~x1421+16 ~x1420+8 ~x1419+4 ~x1418+2 ~x1417+1 ~x1416-0=2147483646
25.97/26.09	c 536870912 ~x1102122+268435456 ~x1102121+134217728 ~x1102120+67108864 ~x1102119+33554432 ~x1102118+16777216 ~x1102117+8388608 ~x1102116+4194304 ~x1102115+2097152 ~x1102114+1048576 ~x1102113+524288 ~x1102112+262144 ~x1102111+131072 ~x1102110+65536 ~x1102109+32768 ~x1102108+16384 ~x1102107+8192 ~x1102106+4096 ~x1102105+2048 ~x1102104+1024 ~x1102103+512 ~x1102102+256 ~x1102101+128 ~x1102100+64 ~x1102099+32 ~x1102098+16 ~x1102097+8 ~x1102096+4 ~x1102095+2 ~x1102094+1 ~x1102093+201326592 x1741+100663296 x1740+50331648 x1739+25165824 x1738+12582912 x1737+6291456 x1736+3145728 x1735+1572864 x1734+786432 x1733+393216 x1732+196608 x1731+98304 x1730+49152 x1729+24576 x1728+536870912 ~x1475+268435456 ~x1474+134217728 ~x1473+67108864 ~x1472+33554432 ~x1471+16777216 ~x1470+8388608 ~x1469+4194304 ~x1468+2097152 ~x1467+1048576 ~x1466+524288 ~x1465+262144 ~x1464+131072 ~x1463+65536 ~x1462+32768 ~x1461+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=2147483646
26.56/26.67	c 536870912 ~x1126701+268435456 ~x1126700+134217728 ~x1126699+67108864 ~x1126698+33554432 ~x1126697+16777216 ~x1126696+8388608 ~x1126695+4194304 ~x1126694+2097152 ~x1126693+1048576 ~x1126692+524288 ~x1126691+262144 ~x1126690+131072 ~x1126689+65536 ~x1126688+32768 ~x1126687+16384 ~x1126686+8192 ~x1126685+4096 ~x1126684+2048 ~x1126683+1024 ~x1126682+512 ~x1126681+256 ~x1126680+128 ~x1126679+64 ~x1126678+32 ~x1126677+16 ~x1126676+8 ~x1126675+4 ~x1126674+2 ~x1126673+1 ~x1126672+201326592 x1755+100663296 x1754+50331648 x1753+25165824 x1752+12582912 x1751+6291456 x1750+3145728 x1749+1572864 x1748+786432 x1747+393216 x1746+196608 x1745+98304 x1744+49152 x1743+24576 x1742+536870912 ~x1505+268435456 ~x1504+134217728 ~x1503+67108864 ~x1502+33554432 ~x1501+16777216 ~x1500+8388608 ~x1499+4194304 ~x1498+2097152 ~x1497+1048576 ~x1496+524288 ~x1495+262144 ~x1494+131072 ~x1493+65536 ~x1492+32768 ~x1491+16384 ~x1490+8192 ~x1489+4096 ~x1488+2048 ~x1487+1024 ~x1486+512 ~x1485+256 ~x1484+128 ~x1483+64 ~x1482+32 ~x1481+16 ~x1480+8 ~x1479+4 ~x1478+2 ~x1477+1 ~x1476-0=2147483646
27.16/27.24	c 536870912 ~x1151280+268435456 ~x1151279+134217728 ~x1151278+67108864 ~x1151277+33554432 ~x1151276+16777216 ~x1151275+8388608 ~x1151274+4194304 ~x1151273+2097152 ~x1151272+1048576 ~x1151271+524288 ~x1151270+262144 ~x1151269+131072 ~x1151268+65536 ~x1151267+32768 ~x1151266+16384 ~x1151265+8192 ~x1151264+4096 ~x1151263+2048 ~x1151262+1024 ~x1151261+512 ~x1151260+256 ~x1151259+128 ~x1151258+64 ~x1151257+32 ~x1151256+16 ~x1151255+8 ~x1151254+4 ~x1151253+2 ~x1151252+1 ~x1151251+201326592 x1769+100663296 x1768+50331648 x1767+25165824 x1766+12582912 x1765+6291456 x1764+3145728 x1763+1572864 x1762+786432 x1761+393216 x1760+196608 x1759+98304 x1758+49152 x1757+24576 x1756+536870912 ~x1535+268435456 ~x1534+134217728 ~x1533+67108864 ~x1532+33554432 ~x1531+16777216 ~x1530+8388608 ~x1529+4194304 ~x1528+2097152 ~x1527+1048576 ~x1526+524288 ~x1525+262144 ~x1524+131072 ~x1523+65536 ~x1522+32768 ~x1521+16384 ~x1520+8192 ~x1519+4096 ~x1518+2048 ~x1517+1024 ~x1516+512 ~x1515+256 ~x1514+128 ~x1513+64 ~x1512+32 ~x1511+16 ~x1510+8 ~x1509+4 ~x1508+2 ~x1507+1 ~x1506-0=2147483646
27.76/27.81	c 536870912 ~x1175859+268435456 ~x1175858+134217728 ~x1175857+67108864 ~x1175856+33554432 ~x1175855+16777216 ~x1175854+8388608 ~x1175853+4194304 ~x1175852+2097152 ~x1175851+1048576 ~x1175850+524288 ~x1175849+262144 ~x1175848+131072 ~x1175847+65536 ~x1175846+32768 ~x1175845+16384 ~x1175844+8192 ~x1175843+4096 ~x1175842+2048 ~x1175841+1024 ~x1175840+512 ~x1175839+256 ~x1175838+128 ~x1175837+64 ~x1175836+32 ~x1175835+16 ~x1175834+8 ~x1175833+4 ~x1175832+2 ~x1175831+1 ~x1175830+201326592 x1783+100663296 x1782+50331648 x1781+25165824 x1780+12582912 x1779+6291456 x1778+3145728 x1777+1572864 x1776+786432 x1775+393216 x1774+196608 x1773+98304 x1772+49152 x1771+24576 x1770+536870912 ~x1565+268435456 ~x1564+134217728 ~x1563+67108864 ~x1562+33554432 ~x1561+16777216 ~x1560+8388608 ~x1559+4194304 ~x1558+2097152 ~x1557+1048576 ~x1556+524288 ~x1555+262144 ~x1554+131072 ~x1553+65536 ~x1552+32768 ~x1551+16384 ~x1550+8192 ~x1549+4096 ~x1548+2048 ~x1547+1024 ~x1546+512 ~x1545+256 ~x1544+128 ~x1543+64 ~x1542+32 ~x1541+16 ~x1540+8 ~x1539+4 ~x1538+2 ~x1537+1 ~x1536-0=2147483646
28.27/28.39	c 536870912 ~x1200438+268435456 ~x1200437+134217728 ~x1200436+67108864 ~x1200435+33554432 ~x1200434+16777216 ~x1200433+8388608 ~x1200432+4194304 ~x1200431+2097152 ~x1200430+1048576 ~x1200429+524288 ~x1200428+262144 ~x1200427+131072 ~x1200426+65536 ~x1200425+32768 ~x1200424+16384 ~x1200423+8192 ~x1200422+4096 ~x1200421+2048 ~x1200420+1024 ~x1200419+512 ~x1200418+256 ~x1200417+128 ~x1200416+64 ~x1200415+32 ~x1200414+16 ~x1200413+8 ~x1200412+4 ~x1200411+2 ~x1200410+1 ~x1200409+201326592 x1797+100663296 x1796+50331648 x1795+25165824 x1794+12582912 x1793+6291456 x1792+3145728 x1791+1572864 x1790+786432 x1789+393216 x1788+196608 x1787+98304 x1786+49152 x1785+24576 x1784+536870912 ~x1595+268435456 ~x1594+134217728 ~x1593+67108864 ~x1592+33554432 ~x1591+16777216 ~x1590+8388608 ~x1589+4194304 ~x1588+2097152 ~x1587+1048576 ~x1586+524288 ~x1585+262144 ~x1584+131072 ~x1583+65536 ~x1582+32768 ~x1581+16384 ~x1580+8192 ~x1579+4096 ~x1578+2048 ~x1577+1024 ~x1576+512 ~x1575+256 ~x1574+128 ~x1573+64 ~x1572+32 ~x1571+16 ~x1570+8 ~x1569+4 ~x1568+2 ~x1567+1 ~x1566-0=2147483646
28.87/28.96	c 536870912 ~x1225017+268435456 ~x1225016+134217728 ~x1225015+67108864 ~x1225014+33554432 ~x1225013+16777216 ~x1225012+8388608 ~x1225011+4194304 ~x1225010+2097152 ~x1225009+1048576 ~x1225008+524288 ~x1225007+262144 ~x1225006+131072 ~x1225005+65536 ~x1225004+32768 ~x1225003+16384 ~x1225002+8192 ~x1225001+4096 ~x1225000+2048 ~x1224999+1024 ~x1224998+512 ~x1224997+256 ~x1224996+128 ~x1224995+64 ~x1224994+32 ~x1224993+16 ~x1224992+8 ~x1224991+4 ~x1224990+2 ~x1224989+1 ~x1224988+201326592 x1811+100663296 x1810+50331648 x1809+25165824 x1808+12582912 x1807+6291456 x1806+3145728 x1805+1572864 x1804+786432 x1803+393216 x1802+196608 x1801+98304 x1800+49152 x1799+24576 x1798+536870912 ~x1625+268435456 ~x1624+134217728 ~x1623+67108864 ~x1622+33554432 ~x1621+16777216 ~x1620+8388608 ~x1619+4194304 ~x1618+2097152 ~x1617+1048576 ~x1616+524288 ~x1615+262144 ~x1614+131072 ~x1613+65536 ~x1612+32768 ~x1611+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=2147483646
29.46/29.56	c 1073741824 ~x1249597+536870912 ~x1249596+268435456 ~x1249595+134217728 ~x1249594+67108864 ~x1249593+33554432 ~x1249592+16777216 ~x1249591+8388608 ~x1249590+4194304 ~x1249589+2097152 ~x1249588+1048576 ~x1249587+524288 ~x1249586+262144 ~x1249585+131072 ~x1249584+65536 ~x1249583+32768 ~x1249582+16384 ~x1249581+8192 ~x1249580+4096 ~x1249579+2048 ~x1249578+1024 ~x1249577+512 ~x1249576+256 ~x1249575+128 ~x1249574+64 ~x1249573+32 ~x1249572+16 ~x1249571+8 ~x1249570+4 ~x1249569+2 ~x1249568+1 ~x1249567+536870912 x1205+268435456 x1204+134217728 x1203+67108864 x1202+33554432 x1201+16777216 x1200+8388608 x1199+4194304 x1198+2097152 x1197+1048576 x1196+524288 x1195+262144 x1194+131072 x1193+65536 x1192+32768 x1191+16384 x1190+8192 x1189+4096 x1188+2048 x1187+1024 x1186+512 x1185+256 x1184+128 x1183+64 x1182+32 x1181+16 x1180+8 x1179+4 x1178+2 x1177+1 x1176+536870912 ~x361+268435456 ~x360+134217728 ~x359+67108864 ~x358+33554432 ~x357+16777216 ~x356+8388608 ~x355+4194304 ~x354+2097152 ~x353+1048576 ~x352+524288 ~x351+262144 ~x350+131072 ~x349+65536 ~x348+32768 ~x347+16384 ~x346+8192 ~x345+4096 ~x344+2048 ~x343+1024 ~x342+512 ~x341+256 ~x340+128 ~x339+64 ~x338+32 ~x337+16 ~x336+8 ~x335+4 ~x334+2 ~x333+1 ~x332+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+8192 x15+4096 x14+2048 x13+1024 x12+512 x11+256 x10+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=3222249470
30.46/30.50	c 524288 ~x1291227+262144 ~x1291226+131072 ~x1291225+65536 ~x1291224+32768 ~x1291223+16384 ~x1291222+8192 ~x1291221+4096 ~x1291220+2048 ~x1291219+1024 ~x1291218+512 ~x1291217+256 ~x1291216+128 ~x1291215+64 ~x1291214+32 ~x1291213+16 ~x1291212+8 ~x1291211+4 ~x1291210+2 ~x1291209+1 ~x1291208+524288 x1225+262144 x1224+131072 x1223+65536 x1222+32768 x1221+16384 x1220+8192 x1219+4096 x1218+2048 x1217+1024 x1216+512 x1215+256 x1214+128 x1213+64 x1212+32 x1211+16 x1210+8 x1209+4 x1208+2 x1207+1 x1206+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=1970175
30.67/30.76	c 2147483648 ~x1302193+1073741824 ~x1302192+536870912 ~x1302191+268435456 ~x1302190+134217728 ~x1302189+67108864 ~x1302188+33554432 ~x1302187+16777216 ~x1302186+8388608 ~x1302185+4194304 ~x1302184+2097152 ~x1302183+1048576 ~x1302182+524288 ~x1302181+262144 ~x1302180+131072 ~x1302179+65536 ~x1302178+32768 ~x1302177+16384 ~x1302176+8192 ~x1302175+4096 ~x1302174+2048 ~x1302173+1024 ~x1302172+512 ~x1302171+256 ~x1302170+128 ~x1302169+64 ~x1302168+32 ~x1302167+16 ~x1302166+8 ~x1302165+4 ~x1302164+2 ~x1302163+1 ~x1302162+536870912 x1265+268435456 x1264+134217728 x1263+67108864 x1262+33554432 x1261+16777216 x1260+8388608 x1259+4194304 x1258+2097152 x1257+1048576 x1256+524288 x1255+262144 x1254+131072 x1253+65536 x1252+32768 x1251+16384 x1250+8192 x1249+4096 x1248+2048 x1247+1024 x1246+512 x1245+256 x1244+128 x1243+64 x1242+32 x1241+16 x1240+8 x1239+4 x1238+2 x1237+1 x1236+536870912 ~x271+268435456 ~x270+134217728 ~x269+67108864 ~x268+33554432 ~x267+16777216 ~x266+8388608 ~x265+4194304 ~x264+2097152 ~x263+1048576 ~x262+524288 ~x261+262144 ~x260+131072 ~x259+65536 ~x258+32768 ~x257+16384 ~x256+8192 ~x255+4096 ~x254+2048 ~x253+1024 ~x252+512 ~x251+256 ~x250+128 ~x249+64 ~x248+32 ~x247+16 ~x246+8 ~x245+4 ~x244+2 ~x243+1 ~x242+536870912 ~x121+268435456 ~x120+134217728 ~x119+67108864 ~x118+33554432 ~x117+16777216 ~x116+8388608 ~x115+4194304 ~x114+2097152 ~x113+1048576 ~x112+524288 ~x111+262144 ~x110+131072 ~x109+65536 ~x108+32768 ~x107+16384 ~x106+8192 ~x105+4096 ~x104+2048 ~x103+1024 ~x102+512 ~x101+256 ~x100+128 ~x99+64 ~x98+32 ~x97+16 ~x96+8 ~x95+4 ~x94+2 ~x93+1 ~x92+536870912 x91+268435456 x90+134217728 x89+67108864 x88+33554432 x87+16777216 x86+8388608 x85+4194304 x84+2097152 x83+1048576 x82+524288 x81+262144 x80+131072 x79+65536 x78+32768 x77+16384 x76+8192 x75+4096 x74+2048 x73+1024 x72+512 x71+256 x70+128 x69+64 x68+32 x67+16 x66+8 x65+4 x64+2 x63+1 x62-0=6442491901
31.97/32.00	c 2147483648 ~x1356434+1073741824 ~x1356433+536870912 ~x1356432+268435456 ~x1356431+134217728 ~x1356430+67108864 ~x1356429+33554432 ~x1356428+16777216 ~x1356427+8388608 ~x1356426+4194304 ~x1356425+2097152 ~x1356424+1048576 ~x1356423+524288 ~x1356422+262144 ~x1356421+131072 ~x1356420+65536 ~x1356419+32768 ~x1356418+16384 ~x1356417+8192 ~x1356416+4096 ~x1356415+2048 ~x1356414+1024 ~x1356413+512 ~x1356412+256 ~x1356411+128 ~x1356410+64 ~x1356409+32 ~x1356408+16 ~x1356407+8 ~x1356406+4 ~x1356405+2 ~x1356404+1 ~x1356403+536870912 x1295+268435456 x1294+134217728 x1293+67108864 x1292+33554432 x1291+16777216 x1290+8388608 x1289+4194304 x1288+2097152 x1287+1048576 x1286+524288 x1285+262144 x1284+131072 x1283+65536 x1282+32768 x1281+16384 x1280+8192 x1279+4096 x1278+2048 x1277+1024 x1276+512 x1275+256 x1274+128 x1273+64 x1272+32 x1271+16 x1270+8 x1269+4 x1268+2 x1267+1 x1266+536870912 ~x181+268435456 ~x180+134217728 ~x179+67108864 ~x178+33554432 ~x177+16777216 ~x176+8388608 ~x175+4194304 ~x174+2097152 ~x173+1048576 ~x172+524288 ~x171+262144 ~x170+131072 ~x169+65536 ~x168+32768 ~x167+16384 ~x166+8192 ~x165+4096 ~x164+2048 ~x163+1024 ~x162+512 ~x161+256 ~x160+128 ~x159+64 ~x158+32 ~x157+16 ~x156+8 ~x155+4 ~x154+2 ~x153+1 ~x152+536870912 ~x151+268435456 ~x150+134217728 ~x149+67108864 ~x148+33554432 ~x147+16777216 ~x146+8388608 ~x145+4194304 ~x144+2097152 ~x143+1048576 ~x142+524288 ~x141+262144 ~x140+131072 ~x139+65536 ~x138+32768 ~x137+16384 ~x136+8192 ~x135+4096 ~x134+2048 ~x133+1024 ~x132+512 ~x131+256 ~x130+128 ~x129+64 ~x128+32 ~x127+16 ~x126+8 ~x125+4 ~x124+2 ~x123+1 ~x122+536870912 x121+268435456 x120+134217728 x119+67108864 x118+33554432 x117+16777216 x116+8388608 x115+4194304 x114+2097152 x113+1048576 x112+524288 x111+262144 x110+131072 x109+65536 x108+32768 x107+16384 x106+8192 x105+4096 x104+2048 x103+1024 x102+512 x101+256 x100+128 x99+64 x98+32 x97+16 x96+8 x95+4 x94+2 x93+1 x92-0=6443167741
33.17/33.23	c 65536 ~x1410660+32768 ~x1410659+16384 ~x1410658+8192 ~x1410657+4096 ~x1410656+2048 ~x1410655+1024 ~x1410654+512 ~x1410653+256 ~x1410652+128 ~x1410651+64 ~x1410650+32 ~x1410649+16 ~x1410648+8 ~x1410647+4 ~x1410646+2 ~x1410645+1 ~x1410644+65536 x1312+32768 x1311+16384 x1310+8192 x1309+4096 x1308+2048 x1307+1024 x1306+512 x1305+256 x1304+128 x1303+64 x1302+32 x1301+16 x1300+8 x1299+4 x1298+2 x1297+1 x1296+65536 x138+32768 x137+16384 x136+8192 x135+4096 x134+2048 x133+1024 x132+512 x131+256 x130+128 x129+64 x128+32 x127+16 x126+8 x125+4 x124+2 x123+1 x122-0=253951
33.36/33.43	c 1073741824 ~x1419139+536870912 ~x1419138+268435456 ~x1419137+134217728 ~x1419136+67108864 ~x1419135+33554432 ~x1419134+16777216 ~x1419133+8388608 ~x1419132+4194304 ~x1419131+2097152 ~x1419130+1048576 ~x1419129+524288 ~x1419128+262144 ~x1419127+131072 ~x1419126+65536 ~x1419125+32768 ~x1419124+16384 ~x1419123+8192 ~x1419122+4096 ~x1419121+2048 ~x1419120+1024 ~x1419119+512 ~x1419118+256 ~x1419117+128 ~x1419116+64 ~x1419115+32 ~x1419114+16 ~x1419113+8 ~x1419112+4 ~x1419111+2 ~x1419110+1 ~x1419109+536870912 ~x211+268435456 ~x210+134217728 ~x209+67108864 ~x208+33554432 ~x207+16777216 ~x206+8388608 ~x205+4194304 ~x204+2097152 ~x203+1048576 ~x202+524288 ~x201+262144 ~x200+131072 ~x199+65536 ~x198+32768 ~x197+16384 ~x196+8192 ~x195+4096 ~x194+2048 ~x193+1024 ~x192+512 ~x191+256 ~x190+128 ~x189+64 ~x188+32 ~x187+16 ~x186+8 ~x185+4 ~x184+2 ~x183+1 ~x182+536870912 x181+268435456 x180+134217728 x179+67108864 x178+33554432 x177+16777216 x176+8388608 x175+4194304 x174+2097152 x173+1048576 x172+524288 x171+262144 x170+131072 x169+65536 x168+32768 x167+16384 x166+8192 x165+4096 x164+2048 x163+1024 x162+512 x161+256 x160+128 x159+64 x158+32 x157+16 x156+8 x155+4 x154+2 x153+1 x152-0=3222659070
34.07/34.14	c 1073741824 ~x1449890+536870912 ~x1449889+268435456 ~x1449888+134217728 ~x1449887+67108864 ~x1449886+33554432 ~x1449885+16777216 ~x1449884+8388608 ~x1449883+4194304 ~x1449882+2097152 ~x1449881+1048576 ~x1449880+524288 ~x1449879+262144 ~x1449878+131072 ~x1449877+65536 ~x1449876+32768 ~x1449875+16384 ~x1449874+8192 ~x1449873+4096 ~x1449872+2048 ~x1449871+1024 ~x1449870+512 ~x1449869+256 ~x1449868+128 ~x1449867+64 ~x1449866+32 ~x1449865+16 ~x1449864+8 ~x1449863+4 ~x1449862+2 ~x1449861+1 ~x1449860+536870912 x1355+268435456 x1354+134217728 x1353+67108864 x1352+33554432 x1351+16777216 x1350+8388608 x1349+4194304 x1348+2097152 x1347+1048576 x1346+524288 x1345+262144 x1344+131072 x1343+65536 x1342+32768 x1341+16384 x1340+8192 x1339+4096 x1338+2048 x1337+1024 x1336+512 x1335+256 x1334+128 x1333+64 x1332+32 x1331+16 x1330+8 x1329+4 x1328+2 x1327+1 x1326+536870912 ~x241+268435456 ~x240+134217728 ~x239+67108864 ~x238+33554432 ~x237+16777216 ~x236+8388608 ~x235+4194304 ~x234+2097152 ~x233+1048576 ~x232+524288 ~x231+262144 ~x230+131072 ~x229+65536 ~x228+32768 ~x227+16384 ~x226+8192 ~x225+4096 ~x224+2048 ~x223+1024 ~x222+512 ~x221+256 ~x220+128 ~x219+64 ~x218+32 ~x217+16 ~x216+8 ~x215+4 ~x214+2 ~x213+1 ~x212+536870912 x211+268435456 x210+134217728 x209+67108864 x208+33554432 x207+16777216 x206+8388608 x205+4194304 x204+2097152 x203+1048576 x202+524288 x201+262144 x200+131072 x199+65536 x198+32768 x197+16384 x196+8192 x195+4096 x194+2048 x193+1024 x192+512 x191+256 x190+128 x189+64 x188+32 x187+16 x186+8 x185+4 x184+2 x183+1 x182-0=3230441470
34.97/35.09	c 65536 ~x1491517+32768 ~x1491516+16384 ~x1491515+8192 ~x1491514+4096 ~x1491513+2048 ~x1491512+1024 ~x1491511+512 ~x1491510+256 ~x1491509+128 ~x1491508+64 ~x1491507+32 ~x1491506+16 ~x1491505+8 ~x1491504+4 ~x1491503+2 ~x1491502+1 ~x1491501+65536 x228+32768 x227+16384 x226+8192 x225+4096 x224+2048 x223+1024 x222+512 x221+256 x220+128 x219+64 x218+32 x217+16 x216+8 x215+4 x214+2 x213+1 x212-0=212991
35.17/35.21	c 1073741824 ~x1496175+536870912 ~x1496174+268435456 ~x1496173+134217728 ~x1496172+67108864 ~x1496171+33554432 ~x1496170+16777216 ~x1496169+8388608 ~x1496168+4194304 ~x1496167+2097152 ~x1496166+1048576 ~x1496165+524288 ~x1496164+262144 ~x1496163+131072 ~x1496162+65536 ~x1496161+32768 ~x1496160+16384 ~x1496159+8192 ~x1496158+4096 ~x1496157+2048 ~x1496156+1024 ~x1496155+512 ~x1496154+256 ~x1496153+128 ~x1496152+64 ~x1496151+32 ~x1496150+16 ~x1496149+8 ~x1496148+4 ~x1496147+2 ~x1496146+1 ~x1496145+536870912 ~x301+268435456 ~x300+134217728 ~x299+67108864 ~x298+33554432 ~x297+16777216 ~x296+8388608 ~x295+4194304 ~x294+2097152 ~x293+1048576 ~x292+524288 ~x291+262144 ~x290+131072 ~x289+65536 ~x288+32768 ~x287+16384 ~x286+8192 ~x285+4096 ~x284+2048 ~x283+1024 ~x282+512 ~x281+256 ~x280+128 ~x279+64 ~x278+32 ~x277+16 ~x276+8 ~x275+4 ~x274+2 ~x273+1 ~x272+536870912 x271+268435456 x270+134217728 x269+67108864 x268+33554432 x267+16777216 x266+8388608 x265+4194304 x264+2097152 x263+1048576 x262+524288 x261+262144 x260+131072 x259+65536 x258+32768 x257+16384 x256+8192 x255+4096 x254+2048 x253+1024 x252+512 x251+256 x250+128 x249+64 x248+32 x247+16 x246+8 x245+4 x244+2 x243+1 x242-0=3221430270
35.86/35.92	c 1073741824 ~x1526926+536870912 ~x1526925+268435456 ~x1526924+134217728 ~x1526923+67108864 ~x1526922+33554432 ~x1526921+16777216 ~x1526920+8388608 ~x1526919+4194304 ~x1526918+2097152 ~x1526917+1048576 ~x1526916+524288 ~x1526915+262144 ~x1526914+131072 ~x1526913+65536 ~x1526912+32768 ~x1526911+16384 ~x1526910+8192 ~x1526909+4096 ~x1526908+2048 ~x1526907+1024 ~x1526906+512 ~x1526905+256 ~x1526904+128 ~x1526903+64 ~x1526902+32 ~x1526901+16 ~x1526900+8 ~x1526899+4 ~x1526898+2 ~x1526897+1 ~x1526896+536870912 ~x331+268435456 ~x330+134217728 ~x329+67108864 ~x328+33554432 ~x327+16777216 ~x326+8388608 ~x325+4194304 ~x324+2097152 ~x323+1048576 ~x322+524288 ~x321+262144 ~x320+131072 ~x319+65536 ~x318+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302+536870912 x301+268435456 x300+134217728 x299+67108864 x298+33554432 x297+16777216 x296+8388608 x295+4194304 x294+2097152 x293+1048576 x292+524288 x291+262144 x290+131072 x289+65536 x288+32768 x287+16384 x286+8192 x285+4096 x284+2048 x283+1024 x282+512 x281+256 x280+128 x279+64 x278+32 x277+16 x276+8 x275+4 x274+2 x273+1 x272-0=3221993470
36.57/36.65	c 4194304 ~x1557669+2097152 ~x1557668+1048576 ~x1557667+524288 ~x1557666+262144 ~x1557665+131072 ~x1557664+65536 ~x1557663+32768 ~x1557662+16384 ~x1557661+8192 ~x1557660+4096 ~x1557659+2048 ~x1557658+1024 ~x1557657+512 ~x1557656+256 ~x1557655+128 ~x1557654+64 ~x1557653+32 ~x1557652+16 ~x1557651+8 ~x1557650+4 ~x1557649+2 ~x1557648+1 ~x1557647+4194304 x1378+2097152 x1377+1048576 x1376+524288 x1375+262144 x1374+131072 x1373+65536 x1372+32768 x1371+16384 x1370+8192 x1369+4096 x1368+2048 x1367+1024 x1366+512 x1365+256 x1364+128 x1363+64 x1362+32 x1361+16 x1360+8 x1359+4 x1358+2 x1357+1 x1356+4194304 x324+2097152 x323+1048576 x322+524288 x321+262144 x320+131072 x319+65536 x318+32768 x317+16384 x316+8192 x315+4096 x314+2048 x313+1024 x312+512 x311+256 x310+128 x309+64 x308+32 x307+16 x306+8 x305+4 x304+2 x303+1 x302-0=13508607
36.96/37.02	c 1073741824 ~x1573272+536870912 ~x1573271+268435456 ~x1573270+134217728 ~x1573269+67108864 ~x1573268+33554432 ~x1573267+16777216 ~x1573266+8388608 ~x1573265+4194304 ~x1573264+2097152 ~x1573263+1048576 ~x1573262+524288 ~x1573261+262144 ~x1573260+131072 ~x1573259+65536 ~x1573258+32768 ~x1573257+16384 ~x1573256+8192 ~x1573255+4096 ~x1573254+2048 ~x1573253+1024 ~x1573252+512 ~x1573251+256 ~x1573250+128 ~x1573249+64 ~x1573248+32 ~x1573247+16 ~x1573246+8 ~x1573245+4 ~x1573244+2 ~x1573243+1 ~x1573242+536870912 x1415+268435456 x1414+134217728 x1413+67108864 x1412+33554432 x1411+16777216 x1410+8388608 x1409+4194304 x1408+2097152 x1407+1048576 x1406+524288 x1405+262144 x1404+131072 x1403+65536 x1402+32768 x1401+16384 x1400+8192 x1399+4096 x1398+2048 x1397+1024 x1396+512 x1395+256 x1394+128 x1393+64 x1392+32 x1391+16 x1390+8 x1389+4 x1388+2 x1387+1 x1386+536870912 ~x391+268435456 ~x390+134217728 ~x389+67108864 ~x388+33554432 ~x387+16777216 ~x386+8388608 ~x385+4194304 ~x384+2097152 ~x383+1048576 ~x382+524288 ~x381+262144 ~x380+131072 ~x379+65536 ~x378+32768 ~x377+16384 ~x376+8192 ~x375+4096 ~x374+2048 ~x373+1024 ~x372+512 ~x371+256 ~x370+128 ~x369+64 ~x368+32 ~x367+16 ~x366+8 ~x365+4 ~x364+2 ~x363+1 ~x362+536870912 x361+268435456 x360+134217728 x359+67108864 x358+33554432 x357+16777216 x356+8388608 x355+4194304 x354+2097152 x353+1048576 x352+524288 x351+262144 x350+131072 x349+65536 x348+32768 x347+16384 x346+8192 x345+4096 x344+2048 x343+1024 x342+512 x341+256 x340+128 x339+64 x338+32 x337+16 x336+8 x335+4 x334+2 x333+1 x332-0=3231465470
37.87/37.97	c 1073741824 ~x1614913+536870912 ~x1614912+268435456 ~x1614911+134217728 ~x1614910+67108864 ~x1614909+33554432 ~x1614908+16777216 ~x1614907+8388608 ~x1614906+4194304 ~x1614905+2097152 ~x1614904+1048576 ~x1614903+524288 ~x1614902+262144 ~x1614901+131072 ~x1614900+65536 ~x1614899+32768 ~x1614898+16384 ~x1614897+8192 ~x1614896+4096 ~x1614895+2048 ~x1614894+1024 ~x1614893+512 ~x1614892+256 ~x1614891+128 ~x1614890+64 ~x1614889+32 ~x1614888+16 ~x1614887+8 ~x1614886+4 ~x1614885+2 ~x1614884+1 ~x1614883+536870912 x1445+268435456 x1444+134217728 x1443+67108864 x1442+33554432 x1441+16777216 x1440+8388608 x1439+4194304 x1438+2097152 x1437+1048576 x1436+524288 x1435+262144 x1434+131072 x1433+65536 x1432+32768 x1431+16384 x1430+8192 x1429+4096 x1428+2048 x1427+1024 x1426+512 x1425+256 x1424+128 x1423+64 x1422+32 x1421+16 x1420+8 x1419+4 x1418+2 x1417+1 x1416+536870912 ~x421+268435456 ~x420+134217728 ~x419+67108864 ~x418+33554432 ~x417+16777216 ~x416+8388608 ~x415+4194304 ~x414+2097152 ~x413+1048576 ~x412+524288 ~x411+262144 ~x410+131072 ~x409+65536 ~x408+32768 ~x407+16384 ~x406+8192 ~x405+4096 ~x404+2048 ~x403+1024 ~x402+512 ~x401+256 ~x400+128 ~x399+64 ~x398+32 ~x397+16 ~x396+8 ~x395+4 ~x394+2 ~x393+1 ~x392+536870912 x391+268435456 x390+134217728 x389+67108864 x388+33554432 x387+16777216 x386+8388608 x385+4194304 x384+2097152 x383+1048576 x382+524288 x381+262144 x380+131072 x379+65536 x378+32768 x377+16384 x376+8192 x375+4096 x374+2048 x373+1024 x372+512 x371+256 x370+128 x369+64 x368+32 x367+16 x366+8 x365+4 x364+2 x363+1 x362-0=3226345470
38.87/38.92	c 1073741824 ~x1656554+536870912 ~x1656553+268435456 ~x1656552+134217728 ~x1656551+67108864 ~x1656550+33554432 ~x1656549+16777216 ~x1656548+8388608 ~x1656547+4194304 ~x1656546+2097152 ~x1656545+1048576 ~x1656544+524288 ~x1656543+262144 ~x1656542+131072 ~x1656541+65536 ~x1656540+32768 ~x1656539+16384 ~x1656538+8192 ~x1656537+4096 ~x1656536+2048 ~x1656535+1024 ~x1656534+512 ~x1656533+256 ~x1656532+128 ~x1656531+64 ~x1656530+32 ~x1656529+16 ~x1656528+8 ~x1656527+4 ~x1656526+2 ~x1656525+1 ~x1656524+536870912 x1475+268435456 x1474+134217728 x1473+67108864 x1472+33554432 x1471+16777216 x1470+8388608 x1469+4194304 x1468+2097152 x1467+1048576 x1466+524288 x1465+262144 x1464+131072 x1463+65536 x1462+32768 x1461+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+536870912 ~x451+268435456 ~x450+134217728 ~x449+67108864 ~x448+33554432 ~x447+16777216 ~x446+8388608 ~x445+4194304 ~x444+2097152 ~x443+1048576 ~x442+524288 ~x441+262144 ~x440+131072 ~x439+65536 ~x438+32768 ~x437+16384 ~x436+8192 ~x435+4096 ~x434+2048 ~x433+1024 ~x432+512 ~x431+256 ~x430+128 ~x429+64 ~x428+32 ~x427+16 ~x426+8 ~x425+4 ~x424+2 ~x423+1 ~x422+536870912 x421+268435456 x420+134217728 x419+67108864 x418+33554432 x417+16777216 x416+8388608 x415+4194304 x414+2097152 x413+1048576 x412+524288 x411+262144 x410+131072 x409+65536 x408+32768 x407+16384 x406+8192 x405+4096 x404+2048 x403+1024 x402+512 x401+256 x400+128 x399+64 x398+32 x397+16 x396+8 x395+4 x394+2 x393+1 x392-0=3221635070
39.76/39.88	c 2147483648 ~x1698196+1073741824 ~x1698195+536870912 ~x1698194+268435456 ~x1698193+134217728 ~x1698192+67108864 ~x1698191+33554432 ~x1698190+16777216 ~x1698189+8388608 ~x1698188+4194304 ~x1698187+2097152 ~x1698186+1048576 ~x1698185+524288 ~x1698184+262144 ~x1698183+131072 ~x1698182+65536 ~x1698181+32768 ~x1698180+16384 ~x1698179+8192 ~x1698178+4096 ~x1698177+2048 ~x1698176+1024 ~x1698175+512 ~x1698174+256 ~x1698173+128 ~x1698172+64 ~x1698171+32 ~x1698170+16 ~x1698169+8 ~x1698168+4 ~x1698167+2 ~x1698166+1 ~x1698165+536870912 x1505+268435456 x1504+134217728 x1503+67108864 x1502+33554432 x1501+16777216 x1500+8388608 x1499+4194304 x1498+2097152 x1497+1048576 x1496+524288 x1495+262144 x1494+131072 x1493+65536 x1492+32768 x1491+16384 x1490+8192 x1489+4096 x1488+2048 x1487+1024 x1486+512 x1485+256 x1484+128 x1483+64 x1482+32 x1481+16 x1480+8 x1479+4 x1478+2 x1477+1 x1476+536870912 ~x481+268435456 ~x480+134217728 ~x479+67108864 ~x478+33554432 ~x477+16777216 ~x476+8388608 ~x475+4194304 ~x474+2097152 ~x473+1048576 ~x472+524288 ~x471+262144 ~x470+131072 ~x469+65536 ~x468+32768 ~x467+16384 ~x466+8192 ~x465+4096 ~x464+2048 ~x463+1024 ~x462+512 ~x461+256 ~x460+128 ~x459+64 ~x458+32 ~x457+16 ~x456+8 ~x455+4 ~x454+2 ~x453+1 ~x452+536870912 x451+268435456 x450+134217728 x449+67108864 x448+33554432 x447+16777216 x446+8388608 x445+4194304 x444+2097152 x443+1048576 x442+524288 x441+262144 x440+131072 x439+65536 x438+32768 x437+16384 x436+8192 x435+4096 x434+2048 x433+1024 x432+512 x431+256 x430+128 x429+64 x428+32 x427+16 x426+8 x425+4 x424+2 x423+1 x422+536870912 ~x91+268435456 ~x90+134217728 ~x89+67108864 ~x88+33554432 ~x87+16777216 ~x86+8388608 ~x85+4194304 ~x84+2097152 ~x83+1048576 ~x82+524288 ~x81+262144 ~x80+131072 ~x79+65536 ~x78+32768 ~x77+16384 ~x76+8192 ~x75+4096 ~x74+2048 ~x73+1024 ~x72+512 ~x71+256 ~x70+128 ~x69+64 ~x68+32 ~x67+16 ~x66+8 ~x65+4 ~x64+2 ~x63+1 ~x62-0=6444498941
41.06/41.11	c 2147483648 ~x1752437+1073741824 ~x1752436+536870912 ~x1752435+268435456 ~x1752434+134217728 ~x1752433+67108864 ~x1752432+33554432 ~x1752431+16777216 ~x1752430+8388608 ~x1752429+4194304 ~x1752428+2097152 ~x1752427+1048576 ~x1752426+524288 ~x1752425+262144 ~x1752424+131072 ~x1752423+65536 ~x1752422+32768 ~x1752421+16384 ~x1752420+8192 ~x1752419+4096 ~x1752418+2048 ~x1752417+1024 ~x1752416+512 ~x1752415+256 ~x1752414+128 ~x1752413+64 ~x1752412+32 ~x1752411+16 ~x1752410+8 ~x1752409+4 ~x1752408+2 ~x1752407+1 ~x1752406+536870912 x1535+268435456 x1534+134217728 x1533+67108864 x1532+33554432 x1531+16777216 x1530+8388608 x1529+4194304 x1528+2097152 x1527+1048576 x1526+524288 x1525+262144 x1524+131072 x1523+65536 x1522+32768 x1521+16384 x1520+8192 x1519+4096 x1518+2048 x1517+1024 x1516+512 x1515+256 x1514+128 x1513+64 x1512+32 x1511+16 x1510+8 x1509+4 x1508+2 x1507+1 x1506+536870912 ~x511+268435456 ~x510+134217728 ~x509+67108864 ~x508+33554432 ~x507+16777216 ~x506+8388608 ~x505+4194304 ~x504+2097152 ~x503+1048576 ~x502+524288 ~x501+262144 ~x500+131072 ~x499+65536 ~x498+32768 ~x497+16384 ~x496+8192 ~x495+4096 ~x494+2048 ~x493+1024 ~x492+512 ~x491+256 ~x490+128 ~x489+64 ~x488+32 ~x487+16 ~x486+8 ~x485+4 ~x484+2 ~x483+1 ~x482+536870912 x481+268435456 x480+134217728 x479+67108864 x478+33554432 x477+16777216 x476+8388608 x475+4194304 x474+2097152 x473+1048576 x472+524288 x471+262144 x470+131072 x469+65536 x468+32768 x467+16384 x466+8192 x465+4096 x464+2048 x463+1024 x462+512 x461+256 x460+128 x459+64 x458+32 x457+16 x456+8 x455+4 x454+2 x453+1 x452+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=6442553341
42.26/42.36	c 1073741824 ~x1806677+536870912 ~x1806676+268435456 ~x1806675+134217728 ~x1806674+67108864 ~x1806673+33554432 ~x1806672+16777216 ~x1806671+8388608 ~x1806670+4194304 ~x1806669+2097152 ~x1806668+1048576 ~x1806667+524288 ~x1806666+262144 ~x1806665+131072 ~x1806664+65536 ~x1806663+32768 ~x1806662+16384 ~x1806661+8192 ~x1806660+4096 ~x1806659+2048 ~x1806658+1024 ~x1806657+512 ~x1806656+256 ~x1806655+128 ~x1806654+64 ~x1806653+32 ~x1806652+16 ~x1806651+8 ~x1806650+4 ~x1806649+2 ~x1806648+1 ~x1806647+536870912 x1565+268435456 x1564+134217728 x1563+67108864 x1562+33554432 x1561+16777216 x1560+8388608 x1559+4194304 x1558+2097152 x1557+1048576 x1556+524288 x1555+262144 x1554+131072 x1553+65536 x1552+32768 x1551+16384 x1550+8192 x1549+4096 x1548+2048 x1547+1024 x1546+512 x1545+256 x1544+128 x1543+64 x1542+32 x1541+16 x1540+8 x1539+4 x1538+2 x1537+1 x1536+536870912 ~x541+268435456 ~x540+134217728 ~x539+67108864 ~x538+33554432 ~x537+16777216 ~x536+8388608 ~x535+4194304 ~x534+2097152 ~x533+1048576 ~x532+524288 ~x531+262144 ~x530+131072 ~x529+65536 ~x528+32768 ~x527+16384 ~x526+8192 ~x525+4096 ~x524+2048 ~x523+1024 ~x522+512 ~x521+256 ~x520+128 ~x519+64 ~x518+32 ~x517+16 ~x516+8 ~x515+4 ~x514+2 ~x513+1 ~x512+536870912 x511+268435456 x510+134217728 x509+67108864 x508+33554432 x507+16777216 x506+8388608 x505+4194304 x504+2097152 x503+1048576 x502+524288 x501+262144 x500+131072 x499+65536 x498+32768 x497+16384 x496+8192 x495+4096 x494+2048 x493+1024 x492+512 x491+256 x490+128 x489+64 x488+32 x487+16 x486+8 x485+4 x484+2 x483+1 x482-0=3221942270
43.27/43.31	c 1073741824 ~x1848318+536870912 ~x1848317+268435456 ~x1848316+134217728 ~x1848315+67108864 ~x1848314+33554432 ~x1848313+16777216 ~x1848312+8388608 ~x1848311+4194304 ~x1848310+2097152 ~x1848309+1048576 ~x1848308+524288 ~x1848307+262144 ~x1848306+131072 ~x1848305+65536 ~x1848304+32768 ~x1848303+16384 ~x1848302+8192 ~x1848301+4096 ~x1848300+2048 ~x1848299+1024 ~x1848298+512 ~x1848297+256 ~x1848296+128 ~x1848295+64 ~x1848294+32 ~x1848293+16 ~x1848292+8 ~x1848291+4 ~x1848290+2 ~x1848289+1 ~x1848288+536870912 x1595+268435456 x1594+134217728 x1593+67108864 x1592+33554432 x1591+16777216 x1590+8388608 x1589+4194304 x1588+2097152 x1587+1048576 x1586+524288 x1585+262144 x1584+131072 x1583+65536 x1582+32768 x1581+16384 x1580+8192 x1579+4096 x1578+2048 x1577+1024 x1576+512 x1575+256 x1574+128 x1573+64 x1572+32 x1571+16 x1570+8 x1569+4 x1568+2 x1567+1 x1566+536870912 ~x571+268435456 ~x570+134217728 ~x569+67108864 ~x568+33554432 ~x567+16777216 ~x566+8388608 ~x565+4194304 ~x564+2097152 ~x563+1048576 ~x562+524288 ~x561+262144 ~x560+131072 ~x559+65536 ~x558+32768 ~x557+16384 ~x556+8192 ~x555+4096 ~x554+2048 ~x553+1024 ~x552+512 ~x551+256 ~x550+128 ~x549+64 ~x548+32 ~x547+16 ~x546+8 ~x545+4 ~x544+2 ~x543+1 ~x542+536870912 x541+268435456 x540+134217728 x539+67108864 x538+33554432 x537+16777216 x536+8388608 x535+4194304 x534+2097152 x533+1048576 x532+524288 x531+262144 x530+131072 x529+65536 x528+32768 x527+16384 x526+8192 x525+4096 x524+2048 x523+1024 x522+512 x521+256 x520+128 x519+64 x518+32 x517+16 x516+8 x515+4 x514+2 x513+1 x512-0=3223273470
44.16/44.26	c 1048576 ~x1889949+524288 ~x1889948+262144 ~x1889947+131072 ~x1889946+65536 ~x1889945+32768 ~x1889944+16384 ~x1889943+8192 ~x1889942+4096 ~x1889941+2048 ~x1889940+1024 ~x1889939+512 ~x1889938+256 ~x1889937+128 ~x1889936+64 ~x1889935+32 ~x1889934+16 ~x1889933+8 ~x1889932+4 ~x1889931+2 ~x1889930+1 ~x1889929+1048576 x1616+524288 x1615+262144 x1614+131072 x1613+65536 x1612+32768 x1611+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+1048576 x562+524288 x561+262144 x560+131072 x559+65536 x558+32768 x557+16384 x556+8192 x555+4096 x554+2048 x553+1024 x552+512 x551+256 x550+128 x549+64 x548+32 x547+16 x546+8 x545+4 x544+2 x543+1 x542-0=3530751
44.46/44.59	c 549755813888 ~x1903540+274877906944 ~x1903539+137438953472 ~x1903538+68719476736 ~x1903537+34359738368 ~x1903536+17179869184 ~x1903535+8589934592 ~x1903534+4294967296 ~x1903533+2147483648 ~x1903532+1073741824 ~x1903531+536870912 ~x1903530+268435456 ~x1903529+134217728 ~x1903528+67108864 ~x1903527+33554432 ~x1903526+16777216 ~x1903525+8388608 ~x1903524+4194304 ~x1903523+2097152 ~x1903522+1048576 ~x1903521+524288 ~x1903520+262144 ~x1903519+131072 ~x1903518+65536 ~x1903517+32768 ~x1903516+16384 ~x1903515+8192 ~x1903514+4096 ~x1903513+2048 ~x1903512+1024 ~x1903511+512 ~x1903510+256 ~x1903509+128 ~x1903508+64 ~x1903507+32 ~x1903506+16 ~x1903505+8 ~x1903504+4 ~x1903503+2 ~x1903502+1 ~x1903501+1024000000 ~x1142+44560285696 ~x601+22280142848 ~x600+11140071424 ~x599+5570035712 ~x598+2785017856 ~x597+1392508928 ~x596+696254464 ~x595+348127232 ~x594+174063616 ~x593+87031808 ~x592+43515904 ~x591+21757952 ~x590+10878976 ~x589+5439488 ~x588+2719744 ~x587+1359872 ~x586+679936 ~x585+339968 ~x584+169984 ~x583+84992 ~x582+42496 ~x581+21248 ~x580+10624 ~x579+5312 ~x578+2656 ~x577+1328 ~x576+664 ~x575+332 ~x574+166 ~x573+83 ~x572+447213469696 ~x31+223606734848 ~x30+111803367424 ~x29+55901683712 ~x28+27950841856 ~x27+13975420928 ~x26+6987710464 ~x25+3493855232 ~x24+1746927616 ~x23+873463808 ~x22+436731904 ~x21+218365952 ~x20+109182976 ~x19+54591488 ~x18+27295744 ~x17+13647872 ~x16+6823936 ~x15+3411968 ~x14+1705984 ~x13+852992 ~x12+426496 ~x11+213248 ~x10+106624 ~x9+53312 ~x8+26656 ~x7+13328 ~x6+6664 ~x5+3332 ~x4+1666 ~x3+833 ~x2-0=2082035137643
45.56/45.70	c 549755813888 ~x1950464+274877906944 ~x1950463+137438953472 ~x1950462+68719476736 ~x1950461+34359738368 ~x1950460+17179869184 ~x1950459+8589934592 ~x1950458+4294967296 ~x1950457+2147483648 ~x1950456+1073741824 ~x1950455+536870912 ~x1950454+268435456 ~x1950453+134217728 ~x1950452+67108864 ~x1950451+33554432 ~x1950450+16777216 ~x1950449+8388608 ~x1950448+4194304 ~x1950447+2097152 ~x1950446+1048576 ~x1950445+524288 ~x1950444+262144 ~x1950443+131072 ~x1950442+65536 ~x1950441+32768 ~x1950440+16384 ~x1950439+8192 ~x1950438+4096 ~x1950437+2048 ~x1950436+1024 ~x1950435+512 ~x1950434+256 ~x1950433+128 ~x1950432+64 ~x1950431+32 ~x1950430+16 ~x1950429+8 ~x1950428+4 ~x1950427+2 ~x1950426+1 ~x1950425+1024000000 ~x1153+44560285696 ~x931+22280142848 ~x930+11140071424 ~x929+5570035712 ~x928+2785017856 ~x927+1392508928 ~x926+696254464 ~x925+348127232 ~x924+174063616 ~x923+87031808 ~x922+43515904 ~x921+21757952 ~x920+10878976 ~x919+5439488 ~x918+2719744 ~x917+1359872 ~x916+679936 ~x915+339968 ~x914+169984 ~x913+84992 ~x912+42496 ~x911+21248 ~x910+10624 ~x909+5312 ~x908+2656 ~x907+1328 ~x906+664 ~x905+332 ~x904+166 ~x903+83 ~x902+447213469696 ~x361+223606734848 ~x360+111803367424 ~x359+55901683712 ~x358+27950841856 ~x357+13975420928 ~x356+6987710464 ~x355+3493855232 ~x354+1746927616 ~x353+873463808 ~x352+436731904 ~x351+218365952 ~x350+109182976 ~x349+54591488 ~x348+27295744 ~x347+13647872 ~x346+6823936 ~x345+3411968 ~x344+1705984 ~x343+852992 ~x342+426496 ~x341+213248 ~x340+106624 ~x339+53312 ~x338+26656 ~x337+13328 ~x336+6664 ~x335+3332 ~x334+1666 ~x333+833 ~x332-0=2081011137643
46.66/46.77	c 549755813888 ~x1997388+274877906944 ~x1997387+137438953472 ~x1997386+68719476736 ~x1997385+34359738368 ~x1997384+17179869184 ~x1997383+8589934592 ~x1997382+4294967296 ~x1997381+2147483648 ~x1997380+1073741824 ~x1997379+536870912 ~x1997378+268435456 ~x1997377+134217728 ~x1997376+67108864 ~x1997375+33554432 ~x1997374+16777216 ~x1997373+8388608 ~x1997372+4194304 ~x1997371+2097152 ~x1997370+1048576 ~x1997369+524288 ~x1997368+262144 ~x1997367+131072 ~x1997366+65536 ~x1997365+32768 ~x1997364+16384 ~x1997363+8192 ~x1997362+4096 ~x1997361+2048 ~x1997360+1024 ~x1997359+512 ~x1997358+256 ~x1997357+128 ~x1997356+64 ~x1997355+32 ~x1997354+16 ~x1997353+8 ~x1997352+4 ~x1997351+2 ~x1997350+1 ~x1997349+1024000000 ~x1144+44560285696 ~x661+22280142848 ~x660+11140071424 ~x659+5570035712 ~x658+2785017856 ~x657+1392508928 ~x656+696254464 ~x655+348127232 ~x654+174063616 ~x653+87031808 ~x652+43515904 ~x651+21757952 ~x650+10878976 ~x649+5439488 ~x648+2719744 ~x647+1359872 ~x646+679936 ~x645+339968 ~x644+169984 ~x643+84992 ~x642+42496 ~x641+21248 ~x640+10624 ~x639+5312 ~x638+2656 ~x637+1328 ~x636+664 ~x635+332 ~x634+166 ~x633+83 ~x632+447213469696 ~x91+223606734848 ~x90+111803367424 ~x89+55901683712 ~x88+27950841856 ~x87+13975420928 ~x86+6987710464 ~x85+3493855232 ~x84+1746927616 ~x83+873463808 ~x82+436731904 ~x81+218365952 ~x80+109182976 ~x79+54591488 ~x78+27295744 ~x77+13647872 ~x76+6823936 ~x75+3411968 ~x74+1705984 ~x73+852992 ~x72+426496 ~x71+213248 ~x70+106624 ~x69+53312 ~x68+26656 ~x67+13328 ~x66+6664 ~x65+3332 ~x64+1666 ~x63+833 ~x62-0=2082035137643
47.76/47.85	c 549755813888 ~x2044312+274877906944 ~x2044311+137438953472 ~x2044310+68719476736 ~x2044309+34359738368 ~x2044308+17179869184 ~x2044307+8589934592 ~x2044306+4294967296 ~x2044305+2147483648 ~x2044304+1073741824 ~x2044303+536870912 ~x2044302+268435456 ~x2044301+134217728 ~x2044300+67108864 ~x2044299+33554432 ~x2044298+16777216 ~x2044297+8388608 ~x2044296+4194304 ~x2044295+2097152 ~x2044294+1048576 ~x2044293+524288 ~x2044292+262144 ~x2044291+131072 ~x2044290+65536 ~x2044289+32768 ~x2044288+16384 ~x2044287+8192 ~x2044286+4096 ~x2044285+2048 ~x2044284+1024 ~x2044283+512 ~x2044282+256 ~x2044281+128 ~x2044280+64 ~x2044279+32 ~x2044278+16 ~x2044277+8 ~x2044276+4 ~x2044275+2 ~x2044274+1 ~x2044273+1024000000 ~x1145+44560285696 ~x691+22280142848 ~x690+11140071424 ~x689+5570035712 ~x688+2785017856 ~x687+1392508928 ~x686+696254464 ~x685+348127232 ~x684+174063616 ~x683+87031808 ~x682+43515904 ~x681+21757952 ~x680+10878976 ~x679+5439488 ~x678+2719744 ~x677+1359872 ~x676+679936 ~x675+339968 ~x674+169984 ~x673+84992 ~x672+42496 ~x671+21248 ~x670+10624 ~x669+5312 ~x668+2656 ~x667+1328 ~x666+664 ~x665+332 ~x664+166 ~x663+83 ~x662+447213469696 ~x121+223606734848 ~x120+111803367424 ~x119+55901683712 ~x118+27950841856 ~x117+13975420928 ~x116+6987710464 ~x115+3493855232 ~x114+1746927616 ~x113+873463808 ~x112+436731904 ~x111+218365952 ~x110+109182976 ~x109+54591488 ~x108+27295744 ~x107+13647872 ~x106+6823936 ~x105+3411968 ~x104+1705984 ~x103+852992 ~x102+426496 ~x101+213248 ~x100+106624 ~x99+53312 ~x98+26656 ~x97+13328 ~x96+6664 ~x95+3332 ~x94+1666 ~x93+833 ~x92-0=2081011137643
48.86/48.92	c 549755813888 ~x2091236+274877906944 ~x2091235+137438953472 ~x2091234+68719476736 ~x2091233+34359738368 ~x2091232+17179869184 ~x2091231+8589934592 ~x2091230+4294967296 ~x2091229+2147483648 ~x2091228+1073741824 ~x2091227+536870912 ~x2091226+268435456 ~x2091225+134217728 ~x2091224+67108864 ~x2091223+33554432 ~x2091222+16777216 ~x2091221+8388608 ~x2091220+4194304 ~x2091219+2097152 ~x2091218+1048576 ~x2091217+524288 ~x2091216+262144 ~x2091215+131072 ~x2091214+65536 ~x2091213+32768 ~x2091212+16384 ~x2091211+8192 ~x2091210+4096 ~x2091209+2048 ~x2091208+1024 ~x2091207+512 ~x2091206+256 ~x2091205+128 ~x2091204+64 ~x2091203+32 ~x2091202+16 ~x2091201+8 ~x2091200+4 ~x2091199+2 ~x2091198+1 ~x2091197+1024000000 ~x1146+44560285696 ~x721+22280142848 ~x720+11140071424 ~x719+5570035712 ~x718+2785017856 ~x717+1392508928 ~x716+696254464 ~x715+348127232 ~x714+174063616 ~x713+87031808 ~x712+43515904 ~x711+21757952 ~x710+10878976 ~x709+5439488 ~x708+2719744 ~x707+1359872 ~x706+679936 ~x705+339968 ~x704+169984 ~x703+84992 ~x702+42496 ~x701+21248 ~x700+10624 ~x699+5312 ~x698+2656 ~x697+1328 ~x696+664 ~x695+332 ~x694+166 ~x693+83 ~x692+447213469696 ~x151+223606734848 ~x150+111803367424 ~x149+55901683712 ~x148+27950841856 ~x147+13975420928 ~x146+6987710464 ~x145+3493855232 ~x144+1746927616 ~x143+873463808 ~x142+436731904 ~x141+218365952 ~x140+109182976 ~x139+54591488 ~x138+27295744 ~x137+13647872 ~x136+6823936 ~x135+3411968 ~x134+1705984 ~x133+852992 ~x132+426496 ~x131+213248 ~x130+106624 ~x129+53312 ~x128+26656 ~x127+13328 ~x126+6664 ~x125+3332 ~x124+1666 ~x123+833 ~x122-0=2083059137643
49.96/50.00	c 549755813888 ~x2138160+274877906944 ~x2138159+137438953472 ~x2138158+68719476736 ~x2138157+34359738368 ~x2138156+17179869184 ~x2138155+8589934592 ~x2138154+4294967296 ~x2138153+2147483648 ~x2138152+1073741824 ~x2138151+536870912 ~x2138150+268435456 ~x2138149+134217728 ~x2138148+67108864 ~x2138147+33554432 ~x2138146+16777216 ~x2138145+8388608 ~x2138144+4194304 ~x2138143+2097152 ~x2138142+1048576 ~x2138141+524288 ~x2138140+262144 ~x2138139+131072 ~x2138138+65536 ~x2138137+32768 ~x2138136+16384 ~x2138135+8192 ~x2138134+4096 ~x2138133+2048 ~x2138132+1024 ~x2138131+512 ~x2138130+256 ~x2138129+128 ~x2138128+64 ~x2138127+32 ~x2138126+16 ~x2138125+8 ~x2138124+4 ~x2138123+2 ~x2138122+1 ~x2138121+1024000000 ~x1147+44560285696 ~x751+22280142848 ~x750+11140071424 ~x749+5570035712 ~x748+2785017856 ~x747+1392508928 ~x746+696254464 ~x745+348127232 ~x744+174063616 ~x743+87031808 ~x742+43515904 ~x741+21757952 ~x740+10878976 ~x739+5439488 ~x738+2719744 ~x737+1359872 ~x736+679936 ~x735+339968 ~x734+169984 ~x733+84992 ~x732+42496 ~x731+21248 ~x730+10624 ~x729+5312 ~x728+2656 ~x727+1328 ~x726+664 ~x725+332 ~x724+166 ~x723+83 ~x722+447213469696 ~x181+223606734848 ~x180+111803367424 ~x179+55901683712 ~x178+27950841856 ~x177+13975420928 ~x176+6987710464 ~x175+3493855232 ~x174+1746927616 ~x173+873463808 ~x172+436731904 ~x171+218365952 ~x170+109182976 ~x169+54591488 ~x168+27295744 ~x167+13647872 ~x166+6823936 ~x165+3411968 ~x164+1705984 ~x163+852992 ~x162+426496 ~x161+213248 ~x160+106624 ~x159+53312 ~x158+26656 ~x157+13328 ~x156+6664 ~x155+3332 ~x154+1666 ~x153+833 ~x152-0=2082035137643
50.96/51.08	c 549755813888 ~x2185084+274877906944 ~x2185083+137438953472 ~x2185082+68719476736 ~x2185081+34359738368 ~x2185080+17179869184 ~x2185079+8589934592 ~x2185078+4294967296 ~x2185077+2147483648 ~x2185076+1073741824 ~x2185075+536870912 ~x2185074+268435456 ~x2185073+134217728 ~x2185072+67108864 ~x2185071+33554432 ~x2185070+16777216 ~x2185069+8388608 ~x2185068+4194304 ~x2185067+2097152 ~x2185066+1048576 ~x2185065+524288 ~x2185064+262144 ~x2185063+131072 ~x2185062+65536 ~x2185061+32768 ~x2185060+16384 ~x2185059+8192 ~x2185058+4096 ~x2185057+2048 ~x2185056+1024 ~x2185055+512 ~x2185054+256 ~x2185053+128 ~x2185052+64 ~x2185051+32 ~x2185050+16 ~x2185049+8 ~x2185048+4 ~x2185047+2 ~x2185046+1 ~x2185045+1024000000 ~x1148+44560285696 ~x781+22280142848 ~x780+11140071424 ~x779+5570035712 ~x778+2785017856 ~x777+1392508928 ~x776+696254464 ~x775+348127232 ~x774+174063616 ~x773+87031808 ~x772+43515904 ~x771+21757952 ~x770+10878976 ~x769+5439488 ~x768+2719744 ~x767+1359872 ~x766+679936 ~x765+339968 ~x764+169984 ~x763+84992 ~x762+42496 ~x761+21248 ~x760+10624 ~x759+5312 ~x758+2656 ~x757+1328 ~x756+664 ~x755+332 ~x754+166 ~x753+83 ~x752+447213469696 ~x211+223606734848 ~x210+111803367424 ~x209+55901683712 ~x208+27950841856 ~x207+13975420928 ~x206+6987710464 ~x205+3493855232 ~x204+1746927616 ~x203+873463808 ~x202+436731904 ~x201+218365952 ~x200+109182976 ~x199+54591488 ~x198+27295744 ~x197+13647872 ~x196+6823936 ~x195+3411968 ~x194+1705984 ~x193+852992 ~x192+426496 ~x191+213248 ~x190+106624 ~x189+53312 ~x188+26656 ~x187+13328 ~x186+6664 ~x185+3332 ~x184+1666 ~x183+833 ~x182-0=2082035137643
52.06/52.17	c 549755813888 ~x2232008+274877906944 ~x2232007+137438953472 ~x2232006+68719476736 ~x2232005+34359738368 ~x2232004+17179869184 ~x2232003+8589934592 ~x2232002+4294967296 ~x2232001+2147483648 ~x2232000+1073741824 ~x2231999+536870912 ~x2231998+268435456 ~x2231997+134217728 ~x2231996+67108864 ~x2231995+33554432 ~x2231994+16777216 ~x2231993+8388608 ~x2231992+4194304 ~x2231991+2097152 ~x2231990+1048576 ~x2231989+524288 ~x2231988+262144 ~x2231987+131072 ~x2231986+65536 ~x2231985+32768 ~x2231984+16384 ~x2231983+8192 ~x2231982+4096 ~x2231981+2048 ~x2231980+1024 ~x2231979+512 ~x2231978+256 ~x2231977+128 ~x2231976+64 ~x2231975+32 ~x2231974+16 ~x2231973+8 ~x2231972+4 ~x2231971+2 ~x2231970+1 ~x2231969+1024000000 ~x1149+44560285696 ~x811+22280142848 ~x810+11140071424 ~x809+5570035712 ~x808+2785017856 ~x807+1392508928 ~x806+696254464 ~x805+348127232 ~x804+174063616 ~x803+87031808 ~x802+43515904 ~x801+21757952 ~x800+10878976 ~x799+5439488 ~x798+2719744 ~x797+1359872 ~x796+679936 ~x795+339968 ~x794+169984 ~x793+84992 ~x792+42496 ~x791+21248 ~x790+10624 ~x789+5312 ~x788+2656 ~x787+1328 ~x786+664 ~x785+332 ~x784+166 ~x783+83 ~x782+447213469696 ~x241+223606734848 ~x240+111803367424 ~x239+55901683712 ~x238+27950841856 ~x237+13975420928 ~x236+6987710464 ~x235+3493855232 ~x234+1746927616 ~x233+873463808 ~x232+436731904 ~x231+218365952 ~x230+109182976 ~x229+54591488 ~x228+27295744 ~x227+13647872 ~x226+6823936 ~x225+3411968 ~x224+1705984 ~x223+852992 ~x222+426496 ~x221+213248 ~x220+106624 ~x219+53312 ~x218+26656 ~x217+13328 ~x216+6664 ~x215+3332 ~x214+1666 ~x213+833 ~x212-0=2083059137643
53.16/53.25	c 549755813888 ~x2278932+274877906944 ~x2278931+137438953472 ~x2278930+68719476736 ~x2278929+34359738368 ~x2278928+17179869184 ~x2278927+8589934592 ~x2278926+4294967296 ~x2278925+2147483648 ~x2278924+1073741824 ~x2278923+536870912 ~x2278922+268435456 ~x2278921+134217728 ~x2278920+67108864 ~x2278919+33554432 ~x2278918+16777216 ~x2278917+8388608 ~x2278916+4194304 ~x2278915+2097152 ~x2278914+1048576 ~x2278913+524288 ~x2278912+262144 ~x2278911+131072 ~x2278910+65536 ~x2278909+32768 ~x2278908+16384 ~x2278907+8192 ~x2278906+4096 ~x2278905+2048 ~x2278904+1024 ~x2278903+512 ~x2278902+256 ~x2278901+128 ~x2278900+64 ~x2278899+32 ~x2278898+16 ~x2278897+8 ~x2278896+4 ~x2278895+2 ~x2278894+1 ~x2278893+1024000000 ~x1150+44560285696 ~x841+22280142848 ~x840+11140071424 ~x839+5570035712 ~x838+2785017856 ~x837+1392508928 ~x836+696254464 ~x835+348127232 ~x834+174063616 ~x833+87031808 ~x832+43515904 ~x831+21757952 ~x830+10878976 ~x829+5439488 ~x828+2719744 ~x827+1359872 ~x826+679936 ~x825+339968 ~x824+169984 ~x823+84992 ~x822+42496 ~x821+21248 ~x820+10624 ~x819+5312 ~x818+2656 ~x817+1328 ~x816+664 ~x815+332 ~x814+166 ~x813+83 ~x812+447213469696 ~x271+223606734848 ~x270+111803367424 ~x269+55901683712 ~x268+27950841856 ~x267+13975420928 ~x266+6987710464 ~x265+3493855232 ~x264+1746927616 ~x263+873463808 ~x262+436731904 ~x261+218365952 ~x260+109182976 ~x259+54591488 ~x258+27295744 ~x257+13647872 ~x256+6823936 ~x255+3411968 ~x254+1705984 ~x253+852992 ~x252+426496 ~x251+213248 ~x250+106624 ~x249+53312 ~x248+26656 ~x247+13328 ~x246+6664 ~x245+3332 ~x244+1666 ~x243+833 ~x242-0=1982707137643
54.26/54.33	c 549755813888 ~x2325856+274877906944 ~x2325855+137438953472 ~x2325854+68719476736 ~x2325853+34359738368 ~x2325852+17179869184 ~x2325851+8589934592 ~x2325850+4294967296 ~x2325849+2147483648 ~x2325848+1073741824 ~x2325847+536870912 ~x2325846+268435456 ~x2325845+134217728 ~x2325844+67108864 ~x2325843+33554432 ~x2325842+16777216 ~x2325841+8388608 ~x2325840+4194304 ~x2325839+2097152 ~x2325838+1048576 ~x2325837+524288 ~x2325836+262144 ~x2325835+131072 ~x2325834+65536 ~x2325833+32768 ~x2325832+16384 ~x2325831+8192 ~x2325830+4096 ~x2325829+2048 ~x2325828+1024 ~x2325827+512 ~x2325826+256 ~x2325825+128 ~x2325824+64 ~x2325823+32 ~x2325822+16 ~x2325821+8 ~x2325820+4 ~x2325819+2 ~x2325818+1 ~x2325817+1024000000 ~x1151+44560285696 ~x871+22280142848 ~x870+11140071424 ~x869+5570035712 ~x868+2785017856 ~x867+1392508928 ~x866+696254464 ~x865+348127232 ~x864+174063616 ~x863+87031808 ~x862+43515904 ~x861+21757952 ~x860+10878976 ~x859+5439488 ~x858+2719744 ~x857+1359872 ~x856+679936 ~x855+339968 ~x854+169984 ~x853+84992 ~x852+42496 ~x851+21248 ~x850+10624 ~x849+5312 ~x848+2656 ~x847+1328 ~x846+664 ~x845+332 ~x844+166 ~x843+83 ~x842+447213469696 ~x301+223606734848 ~x300+111803367424 ~x299+55901683712 ~x298+27950841856 ~x297+13975420928 ~x296+6987710464 ~x295+3493855232 ~x294+1746927616 ~x293+873463808 ~x292+436731904 ~x291+218365952 ~x290+109182976 ~x289+54591488 ~x288+27295744 ~x287+13647872 ~x286+6823936 ~x285+3411968 ~x284+1705984 ~x283+852992 ~x282+426496 ~x281+213248 ~x280+106624 ~x279+53312 ~x278+26656 ~x277+13328 ~x276+6664 ~x275+3332 ~x274+1666 ~x273+833 ~x272-0=2082035137643
55.36/55.42	c 549755813888 ~x2372780+274877906944 ~x2372779+137438953472 ~x2372778+68719476736 ~x2372777+34359738368 ~x2372776+17179869184 ~x2372775+8589934592 ~x2372774+4294967296 ~x2372773+2147483648 ~x2372772+1073741824 ~x2372771+536870912 ~x2372770+268435456 ~x2372769+134217728 ~x2372768+67108864 ~x2372767+33554432 ~x2372766+16777216 ~x2372765+8388608 ~x2372764+4194304 ~x2372763+2097152 ~x2372762+1048576 ~x2372761+524288 ~x2372760+262144 ~x2372759+131072 ~x2372758+65536 ~x2372757+32768 ~x2372756+16384 ~x2372755+8192 ~x2372754+4096 ~x2372753+2048 ~x2372752+1024 ~x2372751+512 ~x2372750+256 ~x2372749+128 ~x2372748+64 ~x2372747+32 ~x2372746+16 ~x2372745+8 ~x2372744+4 ~x2372743+2 ~x2372742+1 ~x2372741+1024000000 ~x1152+44560285696 ~x901+22280142848 ~x900+11140071424 ~x899+5570035712 ~x898+2785017856 ~x897+1392508928 ~x896+696254464 ~x895+348127232 ~x894+174063616 ~x893+87031808 ~x892+43515904 ~x891+21757952 ~x890+10878976 ~x889+5439488 ~x888+2719744 ~x887+1359872 ~x886+679936 ~x885+339968 ~x884+169984 ~x883+84992 ~x882+42496 ~x881+21248 ~x880+10624 ~x879+5312 ~x878+2656 ~x877+1328 ~x876+664 ~x875+332 ~x874+166 ~x873+83 ~x872+447213469696 ~x331+223606734848 ~x330+111803367424 ~x329+55901683712 ~x328+27950841856 ~x327+13975420928 ~x326+6987710464 ~x325+3493855232 ~x324+1746927616 ~x323+873463808 ~x322+436731904 ~x321+218365952 ~x320+109182976 ~x319+54591488 ~x318+27295744 ~x317+13647872 ~x316+6823936 ~x315+3411968 ~x314+1705984 ~x313+852992 ~x312+426496 ~x311+213248 ~x310+106624 ~x309+53312 ~x308+26656 ~x307+13328 ~x306+6664 ~x305+3332 ~x304+1666 ~x303+833 ~x302-0=2083059137643
56.46/56.50	c 549755813888 ~x2419704+274877906944 ~x2419703+137438953472 ~x2419702+68719476736 ~x2419701+34359738368 ~x2419700+17179869184 ~x2419699+8589934592 ~x2419698+4294967296 ~x2419697+2147483648 ~x2419696+1073741824 ~x2419695+536870912 ~x2419694+268435456 ~x2419693+134217728 ~x2419692+67108864 ~x2419691+33554432 ~x2419690+16777216 ~x2419689+8388608 ~x2419688+4194304 ~x2419687+2097152 ~x2419686+1048576 ~x2419685+524288 ~x2419684+262144 ~x2419683+131072 ~x2419682+65536 ~x2419681+32768 ~x2419680+16384 ~x2419679+8192 ~x2419678+4096 ~x2419677+2048 ~x2419676+1024 ~x2419675+512 ~x2419674+256 ~x2419673+128 ~x2419672+64 ~x2419671+32 ~x2419670+16 ~x2419669+8 ~x2419668+4 ~x2419667+2 ~x2419666+1 ~x2419665+1024000000 ~x1154+44560285696 ~x961+22280142848 ~x960+11140071424 ~x959+5570035712 ~x958+2785017856 ~x957+1392508928 ~x956+696254464 ~x955+348127232 ~x954+174063616 ~x953+87031808 ~x952+43515904 ~x951+21757952 ~x950+10878976 ~x949+5439488 ~x948+2719744 ~x947+1359872 ~x946+679936 ~x945+339968 ~x944+169984 ~x943+84992 ~x942+42496 ~x941+21248 ~x940+10624 ~x939+5312 ~x938+2656 ~x937+1328 ~x936+664 ~x935+332 ~x934+166 ~x933+83 ~x932+447213469696 ~x391+223606734848 ~x390+111803367424 ~x389+55901683712 ~x388+27950841856 ~x387+13975420928 ~x386+6987710464 ~x385+3493855232 ~x384+1746927616 ~x383+873463808 ~x382+436731904 ~x381+218365952 ~x380+109182976 ~x379+54591488 ~x378+27295744 ~x377+13647872 ~x376+6823936 ~x375+3411968 ~x374+1705984 ~x373+852992 ~x372+426496 ~x371+213248 ~x370+106624 ~x369+53312 ~x368+26656 ~x367+13328 ~x366+6664 ~x365+3332 ~x364+1666 ~x363+833 ~x362-0=2081011137643
57.55/57.62	c 549755813888 ~x2466628+274877906944 ~x2466627+137438953472 ~x2466626+68719476736 ~x2466625+34359738368 ~x2466624+17179869184 ~x2466623+8589934592 ~x2466622+4294967296 ~x2466621+2147483648 ~x2466620+1073741824 ~x2466619+536870912 ~x2466618+268435456 ~x2466617+134217728 ~x2466616+67108864 ~x2466615+33554432 ~x2466614+16777216 ~x2466613+8388608 ~x2466612+4194304 ~x2466611+2097152 ~x2466610+1048576 ~x2466609+524288 ~x2466608+262144 ~x2466607+131072 ~x2466606+65536 ~x2466605+32768 ~x2466604+16384 ~x2466603+8192 ~x2466602+4096 ~x2466601+2048 ~x2466600+1024 ~x2466599+512 ~x2466598+256 ~x2466597+128 ~x2466596+64 ~x2466595+32 ~x2466594+16 ~x2466593+8 ~x2466592+4 ~x2466591+2 ~x2466590+1 ~x2466589+1024000000 ~x1155+44560285696 ~x991+22280142848 ~x990+11140071424 ~x989+5570035712 ~x988+2785017856 ~x987+1392508928 ~x986+696254464 ~x985+348127232 ~x984+174063616 ~x983+87031808 ~x982+43515904 ~x981+21757952 ~x980+10878976 ~x979+5439488 ~x978+2719744 ~x977+1359872 ~x976+679936 ~x975+339968 ~x974+169984 ~x973+84992 ~x972+42496 ~x971+21248 ~x970+10624 ~x969+5312 ~x968+2656 ~x967+1328 ~x966+664 ~x965+332 ~x964+166 ~x963+83 ~x962+447213469696 ~x421+223606734848 ~x420+111803367424 ~x419+55901683712 ~x418+27950841856 ~x417+13975420928 ~x416+6987710464 ~x415+3493855232 ~x414+1746927616 ~x413+873463808 ~x412+436731904 ~x411+218365952 ~x410+109182976 ~x409+54591488 ~x408+27295744 ~x407+13647872 ~x406+6823936 ~x405+3411968 ~x404+1705984 ~x403+852992 ~x402+426496 ~x401+213248 ~x400+106624 ~x399+53312 ~x398+26656 ~x397+13328 ~x396+6664 ~x395+3332 ~x394+1666 ~x393+833 ~x392-0=2081011137643
58.55/58.69	c 549755813888 ~x2513552+274877906944 ~x2513551+137438953472 ~x2513550+68719476736 ~x2513549+34359738368 ~x2513548+17179869184 ~x2513547+8589934592 ~x2513546+4294967296 ~x2513545+2147483648 ~x2513544+1073741824 ~x2513543+536870912 ~x2513542+268435456 ~x2513541+134217728 ~x2513540+67108864 ~x2513539+33554432 ~x2513538+16777216 ~x2513537+8388608 ~x2513536+4194304 ~x2513535+2097152 ~x2513534+1048576 ~x2513533+524288 ~x2513532+262144 ~x2513531+131072 ~x2513530+65536 ~x2513529+32768 ~x2513528+16384 ~x2513527+8192 ~x2513526+4096 ~x2513525+2048 ~x2513524+1024 ~x2513523+512 ~x2513522+256 ~x2513521+128 ~x2513520+64 ~x2513519+32 ~x2513518+16 ~x2513517+8 ~x2513516+4 ~x2513515+2 ~x2513514+1 ~x2513513+1024000000 ~x1156+44560285696 ~x1021+22280142848 ~x1020+11140071424 ~x1019+5570035712 ~x1018+2785017856 ~x1017+1392508928 ~x1016+696254464 ~x1015+348127232 ~x1014+174063616 ~x1013+87031808 ~x1012+43515904 ~x1011+21757952 ~x1010+10878976 ~x1009+5439488 ~x1008+2719744 ~x1007+1359872 ~x1006+679936 ~x1005+339968 ~x1004+169984 ~x1003+84992 ~x1002+42496 ~x1001+21248 ~x1000+10624 ~x999+5312 ~x998+2656 ~x997+1328 ~x996+664 ~x995+332 ~x994+166 ~x993+83 ~x992+447213469696 ~x451+223606734848 ~x450+111803367424 ~x449+55901683712 ~x448+27950841856 ~x447+13975420928 ~x446+6987710464 ~x445+3493855232 ~x444+1746927616 ~x443+873463808 ~x442+436731904 ~x441+218365952 ~x440+109182976 ~x439+54591488 ~x438+27295744 ~x437+13647872 ~x436+6823936 ~x435+3411968 ~x434+1705984 ~x433+852992 ~x432+426496 ~x431+213248 ~x430+106624 ~x429+53312 ~x428+26656 ~x427+13328 ~x426+6664 ~x425+3332 ~x424+1666 ~x423+833 ~x422-0=2081011137643
59.66/59.77	c 549755813888 ~x2560476+274877906944 ~x2560475+137438953472 ~x2560474+68719476736 ~x2560473+34359738368 ~x2560472+17179869184 ~x2560471+8589934592 ~x2560470+4294967296 ~x2560469+2147483648 ~x2560468+1073741824 ~x2560467+536870912 ~x2560466+268435456 ~x2560465+134217728 ~x2560464+67108864 ~x2560463+33554432 ~x2560462+16777216 ~x2560461+8388608 ~x2560460+4194304 ~x2560459+2097152 ~x2560458+1048576 ~x2560457+524288 ~x2560456+262144 ~x2560455+131072 ~x2560454+65536 ~x2560453+32768 ~x2560452+16384 ~x2560451+8192 ~x2560450+4096 ~x2560449+2048 ~x2560448+1024 ~x2560447+512 ~x2560446+256 ~x2560445+128 ~x2560444+64 ~x2560443+32 ~x2560442+16 ~x2560441+8 ~x2560440+4 ~x2560439+2 ~x2560438+1 ~x2560437+1024000000 ~x1157+44560285696 ~x1051+22280142848 ~x1050+11140071424 ~x1049+5570035712 ~x1048+2785017856 ~x1047+1392508928 ~x1046+696254464 ~x1045+348127232 ~x1044+174063616 ~x1043+87031808 ~x1042+43515904 ~x1041+21757952 ~x1040+10878976 ~x1039+5439488 ~x1038+2719744 ~x1037+1359872 ~x1036+679936 ~x1035+339968 ~x1034+169984 ~x1033+84992 ~x1032+42496 ~x1031+21248 ~x1030+10624 ~x1029+5312 ~x1028+2656 ~x1027+1328 ~x1026+664 ~x1025+332 ~x1024+166 ~x1023+83 ~x1022+447213469696 ~x481+223606734848 ~x480+111803367424 ~x479+55901683712 ~x478+27950841856 ~x477+13975420928 ~x476+6987710464 ~x475+3493855232 ~x474+1746927616 ~x473+873463808 ~x472+436731904 ~x471+218365952 ~x470+109182976 ~x469+54591488 ~x468+27295744 ~x467+13647872 ~x466+6823936 ~x465+3411968 ~x464+1705984 ~x463+852992 ~x462+426496 ~x461+213248 ~x460+106624 ~x459+53312 ~x458+26656 ~x457+13328 ~x456+6664 ~x455+3332 ~x454+1666 ~x453+833 ~x452-0=2082035137643
60.75/60.85	c 549755813888 ~x2607400+274877906944 ~x2607399+137438953472 ~x2607398+68719476736 ~x2607397+34359738368 ~x2607396+17179869184 ~x2607395+8589934592 ~x2607394+4294967296 ~x2607393+2147483648 ~x2607392+1073741824 ~x2607391+536870912 ~x2607390+268435456 ~x2607389+134217728 ~x2607388+67108864 ~x2607387+33554432 ~x2607386+16777216 ~x2607385+8388608 ~x2607384+4194304 ~x2607383+2097152 ~x2607382+1048576 ~x2607381+524288 ~x2607380+262144 ~x2607379+131072 ~x2607378+65536 ~x2607377+32768 ~x2607376+16384 ~x2607375+8192 ~x2607374+4096 ~x2607373+2048 ~x2607372+1024 ~x2607371+512 ~x2607370+256 ~x2607369+128 ~x2607368+64 ~x2607367+32 ~x2607366+16 ~x2607365+8 ~x2607364+4 ~x2607363+2 ~x2607362+1 ~x2607361+1024000000 ~x1158+44560285696 ~x1081+22280142848 ~x1080+11140071424 ~x1079+5570035712 ~x1078+2785017856 ~x1077+1392508928 ~x1076+696254464 ~x1075+348127232 ~x1074+174063616 ~x1073+87031808 ~x1072+43515904 ~x1071+21757952 ~x1070+10878976 ~x1069+5439488 ~x1068+2719744 ~x1067+1359872 ~x1066+679936 ~x1065+339968 ~x1064+169984 ~x1063+84992 ~x1062+42496 ~x1061+21248 ~x1060+10624 ~x1059+5312 ~x1058+2656 ~x1057+1328 ~x1056+664 ~x1055+332 ~x1054+166 ~x1053+83 ~x1052+447213469696 ~x511+223606734848 ~x510+111803367424 ~x509+55901683712 ~x508+27950841856 ~x507+13975420928 ~x506+6987710464 ~x505+3493855232 ~x504+1746927616 ~x503+873463808 ~x502+436731904 ~x501+218365952 ~x500+109182976 ~x499+54591488 ~x498+27295744 ~x497+13647872 ~x496+6823936 ~x495+3411968 ~x494+1705984 ~x493+852992 ~x492+426496 ~x491+213248 ~x490+106624 ~x489+53312 ~x488+26656 ~x487+13328 ~x486+6664 ~x485+3332 ~x484+1666 ~x483+833 ~x482-0=2083059137643
61.85/61.93	c 549755813888 ~x2654324+274877906944 ~x2654323+137438953472 ~x2654322+68719476736 ~x2654321+34359738368 ~x2654320+17179869184 ~x2654319+8589934592 ~x2654318+4294967296 ~x2654317+2147483648 ~x2654316+1073741824 ~x2654315+536870912 ~x2654314+268435456 ~x2654313+134217728 ~x2654312+67108864 ~x2654311+33554432 ~x2654310+16777216 ~x2654309+8388608 ~x2654308+4194304 ~x2654307+2097152 ~x2654306+1048576 ~x2654305+524288 ~x2654304+262144 ~x2654303+131072 ~x2654302+65536 ~x2654301+32768 ~x2654300+16384 ~x2654299+8192 ~x2654298+4096 ~x2654297+2048 ~x2654296+1024 ~x2654295+512 ~x2654294+256 ~x2654293+128 ~x2654292+64 ~x2654291+32 ~x2654290+16 ~x2654289+8 ~x2654288+4 ~x2654287+2 ~x2654286+1 ~x2654285+1024000000 ~x1159+44560285696 ~x1111+22280142848 ~x1110+11140071424 ~x1109+5570035712 ~x1108+2785017856 ~x1107+1392508928 ~x1106+696254464 ~x1105+348127232 ~x1104+174063616 ~x1103+87031808 ~x1102+43515904 ~x1101+21757952 ~x1100+10878976 ~x1099+5439488 ~x1098+2719744 ~x1097+1359872 ~x1096+679936 ~x1095+339968 ~x1094+169984 ~x1093+84992 ~x1092+42496 ~x1091+21248 ~x1090+10624 ~x1089+5312 ~x1088+2656 ~x1087+1328 ~x1086+664 ~x1085+332 ~x1084+166 ~x1083+83 ~x1082+447213469696 ~x541+223606734848 ~x540+111803367424 ~x539+55901683712 ~x538+27950841856 ~x537+13975420928 ~x536+6987710464 ~x535+3493855232 ~x534+1746927616 ~x533+873463808 ~x532+436731904 ~x531+218365952 ~x530+109182976 ~x529+54591488 ~x528+27295744 ~x527+13647872 ~x526+6823936 ~x525+3411968 ~x524+1705984 ~x523+852992 ~x522+426496 ~x521+213248 ~x520+106624 ~x519+53312 ~x518+26656 ~x517+13328 ~x516+6664 ~x515+3332 ~x514+1666 ~x513+833 ~x512-0=2081011137643
62.96/63.02	c 549755813888 ~x2701248+274877906944 ~x2701247+137438953472 ~x2701246+68719476736 ~x2701245+34359738368 ~x2701244+17179869184 ~x2701243+8589934592 ~x2701242+4294967296 ~x2701241+2147483648 ~x2701240+1073741824 ~x2701239+536870912 ~x2701238+268435456 ~x2701237+134217728 ~x2701236+67108864 ~x2701235+33554432 ~x2701234+16777216 ~x2701233+8388608 ~x2701232+4194304 ~x2701231+2097152 ~x2701230+1048576 ~x2701229+524288 ~x2701228+262144 ~x2701227+131072 ~x2701226+65536 ~x2701225+32768 ~x2701224+16384 ~x2701223+8192 ~x2701222+4096 ~x2701221+2048 ~x2701220+1024 ~x2701219+512 ~x2701218+256 ~x2701217+128 ~x2701216+64 ~x2701215+32 ~x2701214+16 ~x2701213+8 ~x2701212+4 ~x2701211+2 ~x2701210+1 ~x2701209+1024000000 ~x1160+44560285696 ~x1141+22280142848 ~x1140+11140071424 ~x1139+5570035712 ~x1138+2785017856 ~x1137+1392508928 ~x1136+696254464 ~x1135+348127232 ~x1134+174063616 ~x1133+87031808 ~x1132+43515904 ~x1131+21757952 ~x1130+10878976 ~x1129+5439488 ~x1128+2719744 ~x1127+1359872 ~x1126+679936 ~x1125+339968 ~x1124+169984 ~x1123+84992 ~x1122+42496 ~x1121+21248 ~x1120+10624 ~x1119+5312 ~x1118+2656 ~x1117+1328 ~x1116+664 ~x1115+332 ~x1114+166 ~x1113+83 ~x1112+447213469696 ~x571+223606734848 ~x570+111803367424 ~x569+55901683712 ~x568+27950841856 ~x567+13975420928 ~x566+6987710464 ~x565+3493855232 ~x564+1746927616 ~x563+873463808 ~x562+436731904 ~x561+218365952 ~x560+109182976 ~x559+54591488 ~x558+27295744 ~x557+13647872 ~x556+6823936 ~x555+3411968 ~x554+1705984 ~x553+852992 ~x552+426496 ~x551+213248 ~x550+106624 ~x549+53312 ~x548+26656 ~x547+13328 ~x546+6664 ~x545+3332 ~x544+1666 ~x543+833 ~x542-0=2082035137643
64.05/64.10	c 549755813888 ~x2748172+274877906944 ~x2748171+137438953472 ~x2748170+68719476736 ~x2748169+34359738368 ~x2748168+17179869184 ~x2748167+8589934592 ~x2748166+4294967296 ~x2748165+2147483648 ~x2748164+1073741824 ~x2748163+536870912 ~x2748162+268435456 ~x2748161+134217728 ~x2748160+67108864 ~x2748159+33554432 ~x2748158+16777216 ~x2748157+8388608 ~x2748156+4194304 ~x2748155+2097152 ~x2748154+1048576 ~x2748153+524288 ~x2748152+262144 ~x2748151+131072 ~x2748150+65536 ~x2748149+32768 ~x2748148+16384 ~x2748147+8192 ~x2748146+4096 ~x2748145+2048 ~x2748144+1024 ~x2748143+512 ~x2748142+256 ~x2748141+128 ~x2748140+64 ~x2748139+32 ~x2748138+16 ~x2748137+8 ~x2748136+4 ~x2748135+2 ~x2748134+1 ~x2748133+1024000000 ~x1143+44560285696 ~x631+22280142848 ~x630+11140071424 ~x629+5570035712 ~x628+2785017856 ~x627+1392508928 ~x626+696254464 ~x625+348127232 ~x624+174063616 ~x623+87031808 ~x622+43515904 ~x621+21757952 ~x620+10878976 ~x619+5439488 ~x618+2719744 ~x617+1359872 ~x616+679936 ~x615+339968 ~x614+169984 ~x613+84992 ~x612+42496 ~x611+21248 ~x610+10624 ~x609+5312 ~x608+2656 ~x607+1328 ~x606+664 ~x605+332 ~x604+166 ~x603+83 ~x602+447213469696 ~x61+223606734848 ~x60+111803367424 ~x59+55901683712 ~x58+27950841856 ~x57+13975420928 ~x56+6987710464 ~x55+3493855232 ~x54+1746927616 ~x53+873463808 ~x52+436731904 ~x51+218365952 ~x50+109182976 ~x49+54591488 ~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-2674161-1276800033/watcher-2674161-1276800033 -o /tmp/evaluation-result-2674161-1276800033/solver-2674161-1276800033 -C 1800 -W 2000 -M 1800 run HOME/instance-2674161-1276800033.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.90 0.95 0.98 3/106 17427
/proc/meminfo: memFree=1869088/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0

[startup+0.023208 s]
/proc/loadavg: 0.90 0.95 0.98 3/106 17427
/proc/meminfo: memFree=1869088/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101238 s]
/proc/loadavg: 0.90 0.95 0.98 3/106 17427
/proc/meminfo: memFree=1869088/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301249 s]
/proc/loadavg: 0.90 0.95 0.98 3/106 17427
/proc/meminfo: memFree=1869088/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701286 s]
/proc/loadavg: 0.90 0.95 0.98 3/106 17427
/proc/meminfo: memFree=1869088/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50135 s]
/proc/loadavg: 0.90 0.95 0.98 2/108 17430
/proc/meminfo: memFree=1784876/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
[pid=17429] ppid=17427 vsize=95308 CPUtime=1.48
/proc/17429/stat : 17429 (PBPASSolver) R 17427 17427 17276 0 -1 4202496 29608 0 0 0 115 33 0 0 23 0 1 0 55589687 97595392 23117 1992294400 134512640 134902295 4286962496 18446744073709551615 4160498152 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17429/statm: 23827 23117 262 96 0 23039 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 104008

[startup+3.10151 s]
/proc/loadavg: 0.90 0.95 0.98 2/108 17430
/proc/meminfo: memFree=1766772/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
[pid=17429] ppid=17427 vsize=122672 CPUtime=3.08
/proc/17429/stat : 17429 (PBPASSolver) R 17427 17427 17276 0 -1 4202496 38169 0 0 0 272 36 0 0 25 0 1 0 55589687 125616128 29578 1992294400 134512640 134902295 4286962496 18446744073709551615 4160483406 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17429/statm: 30668 29578 262 96 0 29880 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 131372

[startup+6.30084 s]
/proc/loadavg: 0.91 0.95 0.98 2/108 17430
/proc/meminfo: memFree=1712336/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
[pid=17429] ppid=17427 vsize=181852 CPUtime=6.28
/proc/17429/stat : 17429 (PBPASSolver) R 17427 17427 17276 0 -1 4202496 52992 0 0 0 585 43 0 0 25 0 1 0 55589687 186216448 43482 1992294400 134512640 134902295 4286962496 18446744073709551615 4160488798 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17429/statm: 45463 43482 262 96 0 44675 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 190552

[startup+12.7005 s]
/proc/loadavg: 0.92 0.95 0.98 2/108 17432
/proc/meminfo: memFree=1594412/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
[pid=17429] ppid=17427 vsize=300092 CPUtime=12.67
/proc/17429/stat : 17429 (PBPASSolver) R 17427 17427 17276 0 -1 4202496 83407 0 0 0 1212 55 0 0 25 0 1 0 55589687 307294208 72882 1992294400 134512640 134902295 4286962496 18446744073709551615 4160460245 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17429/statm: 75023 72882 262 96 0 74235 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 308792

[startup+25.5008 s]
/proc/loadavg: 0.93 0.96 0.98 2/108 17432
/proc/meminfo: memFree=1373320/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
[pid=17429] ppid=17427 vsize=521660 CPUtime=25.46
/proc/17429/stat : 17429 (PBPASSolver) R 17427 17427 17276 0 -1 4202496 143029 0 0 0 2463 83 0 0 25 0 1 0 55589687 534179840 125052 1992294400 134512640 134902295 4286962496 18446744073709551615 134634843 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17429/statm: 130415 125052 262 96 0 129627 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 530360

[startup+51.1013 s]
/proc/loadavg: 0.95 0.96 0.98 2/108 17432
/proc/meminfo: memFree=908196/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
[pid=17429] ppid=17427 vsize=995444 CPUtime=51.06
/proc/17429/stat : 17429 (PBPASSolver) R 17427 17427 17276 0 -1 4202496 261202 0 0 0 4972 134 0 0 25 0 1 0 55589687 1019334656 242249 1992294400 134512640 134902295 4286962496 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17429/statm: 248861 242249 262 96 0 248073 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1004144

[startup+102.308 s]
/proc/loadavg: 0.98 0.96 0.98 2/108 17434
/proc/meminfo: memFree=637876/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
[pid=17429] ppid=17427 vsize=1296128 CPUtime=102.24
/proc/17429/stat : 17429 (PBPASSolver) R 17427 17427 17276 0 -1 4202496 326254 0 0 0 10060 164 0 0 25 0 1 0 55589687 1327235072 307186 1992294400 134512640 134902295 4286962496 18446744073709551615 4160478420 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17429/statm: 324032 307186 269 96 0 323244 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 1304828

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 17436
/proc/meminfo: memFree=631428/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
[pid=17429] ppid=17427 vsize=1302808 CPUtime=162.22
/proc/17429/stat : 17429 (PBPASSolver) R 17427 17427 17276 0 -1 4202496 327884 0 0 0 16057 165 0 0 25 0 1 0 55589687 1334075392 308816 1992294400 134512640 134902295 4286962496 18446744073709551615 4160478889 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17429/statm: 325702 308816 269 96 0 324914 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 1311508

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 17436
/proc/meminfo: memFree=621384/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
[pid=17429] ppid=17427 vsize=1312656 CPUtime=222.2
/proc/17429/stat : 17429 (PBPASSolver) R 17427 17427 17276 0 -1 4202496 330375 0 0 0 22051 169 0 0 25 0 1 0 55589687 1344159744 311307 1992294400 134512640 134902295 4286962496 18446744073709551615 4160489954 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17429/statm: 328164 311307 269 96 0 327376 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 1321356

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 17438
/proc/meminfo: memFree=615432/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
[pid=17429] ppid=17427 vsize=1318852 CPUtime=282.18
/proc/17429/stat : 17429 (PBPASSolver) R 17427 17427 17276 0 -1 4202496 331899 0 0 0 28047 171 0 0 25 0 1 0 55589687 1350504448 312831 1992294400 134512640 134902295 4286962496 18446744073709551615 4160478352 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17429/statm: 329713 312831 269 96 0 328925 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 1327552

[startup+342.302 s]
/proc/loadavg: 1.06 0.99 0.99 2/108 17440
/proc/meminfo: memFree=606504/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
[pid=17429] ppid=17427 vsize=1327448 CPUtime=342.15
/proc/17429/stat : 17429 (PBPASSolver) R 17427 17427 17276 0 -1 4202496 334053 0 0 0 34042 173 0 0 25 0 1 0 55589687 1359306752 314985 1992294400 134512640 134902295 4286962496 18446744073709551615 4160489664 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17429/statm: 331862 314985 269 96 0 331074 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 1336148

[startup+402.302 s]
/proc/loadavg: 1.02 0.99 0.99 2/108 17442
/proc/meminfo: memFree=600180/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
[pid=17429] ppid=17427 vsize=1333972 CPUtime=402.14
/proc/17429/stat : 17429 (PBPASSolver) R 17427 17427 17276 0 -1 4202496 335635 0 0 0 40038 176 0 0 25 0 1 0 55589687 1365987328 316567 1992294400 134512640 134902295 4286962496 18446744073709551615 4160492498 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17429/statm: 333493 316567 269 96 0 332705 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 1342672

[startup+462.302 s]

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

/proc/17429/statm: 347005 330006 269 96 0 346217 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 1396720

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 17462
/proc/meminfo: memFree=541156/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
[pid=17429] ppid=17427 vsize=1392528 CPUtime=1181.92
/proc/17429/stat : 17429 (PBPASSolver) R 17427 17427 17276 0 -1 4202496 350191 0 0 0 117998 194 0 0 25 0 1 0 55589687 1425948672 331123 1992294400 134512640 134902295 4286962496 18446744073709551615 4160459486 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17429/statm: 348132 331123 269 96 0 347344 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 1401228

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 3/108 17473
/proc/meminfo: memFree=536444/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
[pid=17429] ppid=17427 vsize=1396648 CPUtime=1241.89
/proc/17429/stat : 17429 (PBPASSolver) R 17427 17427 17276 0 -1 4202496 351234 0 0 0 123995 194 0 0 25 0 1 0 55589687 1430167552 332166 1992294400 134512640 134902295 4286962496 18446744073709551615 4160480522 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17429/statm: 349162 332166 269 96 0 348374 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1405348

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 17475
/proc/meminfo: memFree=533220/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
[pid=17429] ppid=17427 vsize=1399768 CPUtime=1301.88
/proc/17429/stat : 17429 (PBPASSolver) R 17427 17427 17276 0 -1 4202496 352022 0 0 0 129993 195 0 0 25 0 1 0 55589687 1433362432 332954 1992294400 134512640 134902295 4286962496 18446744073709551615 4160478041 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17429/statm: 349942 332954 269 96 0 349154 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1408468

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 17477
/proc/meminfo: memFree=529624/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
[pid=17429] ppid=17427 vsize=1403388 CPUtime=1361.85
/proc/17429/stat : 17429 (PBPASSolver) R 17427 17427 17276 0 -1 4202496 352911 0 0 0 135989 196 0 0 25 0 1 0 55589687 1437069312 333843 1992294400 134512640 134902295 4286962496 18446744073709551615 4160497483 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17429/statm: 350847 333843 269 96 0 350059 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1412088

[startup+1422.31 s]
/proc/loadavg: 1.03 1.00 0.99 2/108 17477
/proc/meminfo: memFree=526400/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
[pid=17429] ppid=17427 vsize=1406556 CPUtime=1421.85
/proc/17429/stat : 17429 (PBPASSolver) R 17427 17427 17276 0 -1 4202496 353717 0 0 0 141988 197 0 0 25 0 1 0 55589687 1440313344 334649 1992294400 134512640 134902295 4286962496 18446744073709551615 4160489760 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17429/statm: 351639 334649 269 96 0 350851 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1415256

[startup+1482.3 s]
/proc/loadavg: 1.01 1.00 0.99 2/108 17479
/proc/meminfo: memFree=523052/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
[pid=17429] ppid=17427 vsize=1409848 CPUtime=1481.82
/proc/17429/stat : 17429 (PBPASSolver) R 17427 17427 17276 0 -1 4202496 354545 0 0 0 147983 199 0 0 25 0 1 0 55589687 1443684352 335477 1992294400 134512640 134902295 4286962496 18446744073709551615 4160489598 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17429/statm: 352462 335477 269 96 0 351674 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1418548

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 17481
/proc/meminfo: memFree=519580/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
[pid=17429] ppid=17427 vsize=1413176 CPUtime=1541.8
/proc/17429/stat : 17429 (PBPASSolver) R 17427 17427 17276 0 -1 4202496 355395 0 0 0 153981 199 0 0 25 0 1 0 55589687 1447092224 336327 1992294400 134512640 134902295 4286962496 18446744073709551615 4160478823 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17429/statm: 353294 336327 269 96 0 352506 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1421876

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 17483
/proc/meminfo: memFree=516356/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
[pid=17429] ppid=17427 vsize=1416476 CPUtime=1601.78
/proc/17429/stat : 17429 (PBPASSolver) R 17427 17427 17276 0 -1 4202496 356209 0 0 0 159978 200 0 0 25 0 1 0 55589687 1450471424 337141 1992294400 134512640 134902295 4286962496 18446744073709551615 4160489665 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17429/statm: 354119 337141 269 96 0 353331 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1425176

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 17485
/proc/meminfo: memFree=513008/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
[pid=17429] ppid=17427 vsize=1419688 CPUtime=1661.76
/proc/17429/stat : 17429 (PBPASSolver) R 17427 17427 17276 0 -1 4202496 357025 0 0 0 165974 202 0 0 25 0 1 0 55589687 1453760512 337957 1992294400 134512640 134902295 4286962496 18446744073709551615 4160489674 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17429/statm: 354922 337957 269 96 0 354134 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1428388

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 17485
/proc/meminfo: memFree=511520/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
[pid=17429] ppid=17427 vsize=1421168 CPUtime=1721.74
/proc/17429/stat : 17429 (PBPASSolver) R 17427 17427 17276 0 -1 4202496 357379 0 0 0 171972 202 0 0 25 0 1 0 55589687 1455276032 338311 1992294400 134512640 134902295 4286962496 18446744073709551615 4160490748 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17429/statm: 355292 338311 269 96 0 354504 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1429868

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 17487
/proc/meminfo: memFree=509288/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
[pid=17429] ppid=17427 vsize=1424020 CPUtime=1781.73
/proc/17429/stat : 17429 (PBPASSolver) R 17427 17427 17276 0 -1 4202496 357944 0 0 0 177970 203 0 0 25 0 1 0 55589687 1458196480 338876 1992294400 134512640 134902295 4286962496 18446744073709551615 4160489948 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17429/statm: 356005 338876 269 96 0 355217 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1432720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 17487
/proc/meminfo: memFree=508420/2059040 swapFree=4134080/4192956
[pid=17427] ppid=17425 vsize=8700 CPUtime=0
/proc/17427/stat : 17427 (run) S 17425 17427 17276 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55589687 8908800 250 1992294400 4194304 4922060 140734617109232 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17427/statm: 2175 250 211 178 0 68 0
[pid=17429] ppid=17427 vsize=1424680 CPUtime=1800.04
/proc/17429/stat : 17429 (PBPASSolver) R 17427 17427 17276 0 -1 4202496 358133 0 0 0 179801 203 0 0 25 0 1 0 55589687 1458872320 339065 1992294400 134512640 134902295 4286962496 18446744073709551615 4160492488 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17429/statm: 356170 339065 269 96 0 355382 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1433380

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

Real time (s): 1800.62
CPU time (s): 1800.04
CPU user time (s): 1798.01
CPU system time (s): 2.03
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 1433380

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

runsolver used 2.85556 second user time and 8.64269 second system time

The end

Begin job on node017 at 2010-06-17 20:40:33
IDJOB=2674161
IDBENCH=2465
IDSOLVER=1174
FILE ID=node017/2674161-1276800033
PBS_JOBID= 11176675
Free space on /tmp= 62520 MiB

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

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

MD5SUM BENCH= 7a334409ec63774b2ae9bf0271f87fd8
RANDOM SEED=959688375

node017.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.201
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.40
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.201
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.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1869732 kB
Buffers:         11152 kB
Cached:          88532 kB
SwapCached:      11336 kB
Active:          56340 kB
Inactive:        57156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1869732 kB
SwapTotal:     4192956 kB
SwapFree:      4134080 kB
Dirty:             760 kB
Writeback:           0 kB
AnonPages:       12392 kB
Mapped:           9236 kB
Slab:            54136 kB
PageTables:       3992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   185136 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= 62520 MiB
End job on node017 at 2010-06-17 21:10:35