17.58/17.65	c 5855 24760 0 0 0 0 0 0
17.58/17.65	c 2 ~x20488+1 ~x20487+1 ~x259+1 ~x258+1 ~x248-0=5
17.58/17.65	c 2 ~x20531+1 ~x20530+1 ~x256+1 ~x253+1 ~x249-0=5
17.58/17.65	c 2 ~x20574+1 ~x20573+1 ~x281+1 ~x278+1 ~x260-0=5
17.58/17.65	c 2 ~x20617+1 ~x20616+1 ~x257+1 ~x254+1 ~x250-0=5
17.58/17.65	c 2 ~x20660+1 ~x20659+1 ~x255+1 ~x252+1 ~x251-0=5
17.87/17.91	c 2 ~x20703+1 ~x20702+1 ~x162+1 ~x161+1 ~x160-0=5
17.87/17.91	c 2 ~x20746+1 ~x20745+1 ~x279+1 ~x277+1 ~x261-0=5
17.87/17.91	c 2 ~x20789+1 ~x20788+1 ~x302+1 ~x301+1 ~x300+1 ~x295-0=6
17.87/17.91	c 2 ~x20855+1 ~x20854+1 ~x316+1 ~x315+1 ~x311-0=5
17.87/17.91	c 2 ~x20898+1 ~x20897+1 ~x324+1 ~x321+1 ~x318+1 ~x317-0=6
17.97/18.05	c 2 ~x20963+1 ~x20962+1 ~x337+1 ~x331+1 ~x326-0=5
17.97/18.05	c 2 ~x21006+1 ~x21005+1 ~x351+1 ~x350+1 ~x341-0=5
17.97/18.05	c 2 ~x21050+1 ~x21049+1 ~x356+1 ~x355+1 ~x352-0=5
17.97/18.05	c 2 ~x21097+1 ~x21096+1 ~x382+1 ~x381+1 ~x380-0=5
17.97/18.05	c 2 ~x21143+1 ~x21142+1 ~x428+1 ~x427+1 ~x424-0=5
18.07/18.13	c 2 ~x21189+1 ~x21188+1 ~x442+1 ~x441+1 ~x440-0=5
18.07/18.13	c 2 ~x21236+1 ~x21235+1 ~x495+1 ~x489+1 ~x486-0=5
18.07/18.13	c 4 ~x21281+2 ~x21280+1 ~x21279+1 ~x562+1 ~x558+1 ~x554+1 ~x553+1 ~x546+1 ~x534-0=12
18.07/18.13	c 4 ~x21419+2 ~x21418+1 ~x21417+1 ~x568+1 ~x567+1 ~x566+1 ~x565+1 ~x564-0=11
18.17/18.23	c 4 ~x21533+2 ~x21532+1 ~x21531+1 ~x574+1 ~x573+1 ~x572+1 ~x571+1 ~x570+1 ~x569-0=12
18.17/18.23	c 2 ~x21670+1 ~x21669+1 ~x545+1 ~x544+1 ~x543-0=5
18.17/18.23	c 4 ~x21714+2 ~x21713+1 ~x21712+1 ~x542+1 ~x541+1 ~x540+1 ~x539+1 ~x538+1 ~x537-0=12
18.17/18.23	c 2 ~x21854+1 ~x21853+1 ~x633+1 ~x631+1 ~x625-0=5
18.37/18.40	c 2 ~x21897+1 ~x21896+1 ~x639+1 ~x638+1 ~x634-0=5
18.37/18.40	c 2 ~x21940+1 ~x21939+1 ~x637+1 ~x636+1 ~x635-0=5
18.37/18.40	c 2 ~x21983+1 ~x21982+1 ~x650+1 ~x649+1 ~x648-0=5
18.37/18.40	c 1 ~x22025+1 ~x656+1 ~x651-0=2
18.37/18.40	c 2 ~x22044+1 ~x22043+1 ~x71+1 ~x65+1 ~x46-0=5
18.47/18.55	c 2 ~x22088+1 ~x22087+1 ~x667+1 ~x664+1 ~x661-0=5
18.47/18.55	c 2 ~x22137+1 ~x22136+1 ~x715+1 ~x710+1 ~x705-0=5
18.47/18.55	c 2 ~x22182+1 ~x22181+1 ~x725+1 ~x724+1 ~x720-0=5
18.47/18.55	c 2 ~x22229+1 ~x22228+1 ~x752+1 ~x751+1 ~x748+1 ~x740-0=6
18.47/18.55	c 2 ~x22294+1 ~x22293+1 ~x90+1 ~x89+1 ~x88-0=5
18.58/18.68	c 2 ~x22340+1 ~x22339+1 ~x781+1 ~x779+1 ~x777+1 ~x775-0=6
18.58/18.68	c 2 ~x22405+1 ~x22404+1 ~x782+1 ~x780+1 ~x778+1 ~x776-0=6
18.58/18.68	c 2 ~x22474+1 ~x22473+1 ~x798+1 ~x797+1 ~x796-0=5
18.58/18.68	c 2 ~x22517+1 ~x22516+1 ~x799+1 ~x614+1 ~x613-0=5
18.58/18.68	c 2 ~x22560+1 ~x22559+1 ~x743+1 ~x742+1 ~x741-0=5
18.68/18.78	c 2 ~x22603+1 ~x22602+1 ~x816+1 ~x815+1 ~x814-0=5
18.68/18.78	c 2 ~x22669+1 ~x22668+1 ~x1876+1 ~x1875+1 ~x1023-0=5
18.68/18.78	c 2 ~x22712+1 ~x22711+1 ~x1037+1 ~x1036+1 ~x1024-0=5
18.68/18.78	c 2 ~x22755+1 ~x22754+1 ~x76+1 ~x66+1 ~x57-0=5
18.68/18.78	c 2 ~x22798+1 ~x22797+1 ~x1043+1 ~x1042+1 ~x1041-0=5
18.77/18.87	c 2 ~x22841+1 ~x22840+1 ~x1047+1 ~x1046+1 ~x1045-0=5
18.77/18.87	c 2 ~x22884+1 ~x22883+1 ~x68+1 ~x54+1 ~x44-0=5
18.77/18.87	c 2 ~x22927+1 ~x22926+1 ~x72+1 ~x64+1 ~x45-0=5
18.77/18.87	c 1 ~x22973+1 ~x1082+1 ~x1065-0=2
18.77/18.87	c 2 ~x22992+1 ~x22991+1 ~x17+1 ~x16+1 ~x15-0=5
18.77/18.87	c 2 ~x23041+1 ~x23040+1 ~x216+1 ~x208+1 ~x192-0=5
18.97/19.07	c 2 ~x23084+1 ~x23083+1 ~x1106+1 ~x1105+1 ~x1104-0=5
18.97/19.07	c 2 ~x23129+1 ~x23128+1 ~x1123+1 ~x1120+1 ~x1117-0=5
18.97/19.07	c 2 ~x23178+1 ~x23177+1 ~x1137+1 ~x1134+1 ~x1132-0=5
18.97/19.07	c 2 ~x23232+1 ~x23231+1 ~x131+1 ~x130+1 ~x104-0=5
19.07/19.14	c 4 ~x23276+2 ~x23275+1 ~x23274+1 ~x1173+1 ~x1035+1 ~x1033+1 ~x1032+1 ~x1031+1 ~x1028-0=12
19.07/19.14	c 4 ~x23414+2 ~x23413+1 ~x23412+1 ~x1187+1 ~x1186+1 ~x1185+1 ~x1184+1 ~x1183+1 ~x1182-0=12
19.07/19.14	c 2 ~x23555+1 ~x23554+1 ~x1263+1 ~x1259+1 ~x1215-0=5
19.07/19.14	c 2 ~x23598+1 ~x23597+1 ~x1266+1 ~x1265+1 ~x1264-0=5
19.27/19.30	c 2 ~x23643+1 ~x23642+1 ~x1271+1 ~x1270+1 ~x1269-0=5
19.27/19.30	c 2 ~x23688+1 ~x23687+1 ~x1283+1 ~x1282+1 ~x1278-0=5
19.27/19.30	c 2 ~x23731+1 ~x23730+1 ~x1309+1 ~x1306+1 ~x1284-0=5
19.27/19.30	c 2 ~x23785+1 ~x23784+1 ~x212+1 ~x202+1 ~x198-0=5
19.27/19.30	c 2 ~x23829+1 ~x23828+1 ~x1246+1 ~x1245+1 ~x1244+1 ~x1241-0=6
19.27/19.31	c 2 ~x23898+1 ~x23897+1 ~x1382+1 ~x1381+1 ~x1375-0=5
19.27/19.31	c 2 ~x23943+1 ~x23942+1 ~x1403+1 ~x1402+1 ~x1401+1 ~x1392-0=6
19.27/19.31	c 2 ~x24014+1 ~x24013+1 ~x225+1 ~x201+1 ~x175-0=5
19.27/19.31	c 2 ~x24059+1 ~x24058+1 ~x1470+1 ~x1461+1 ~x1460+1 ~x1457-0=6
19.27/19.32	c 2 ~x24124+1 ~x24123+1 ~x1453+1 ~x1452+1 ~x1451+1 ~x1450-0=6
19.27/19.32	c 2 ~x24190+1 ~x24189+1 ~x1513+1 ~x1512+1 ~x1511+1 ~x1510-0=6
19.27/19.32	c 2 ~x24255+1 ~x24254+1 ~x1433+1 ~x1432+1 ~x1431+1 ~x1430-0=6
19.27/19.32	c 2 ~x24324+1 ~x24323+1 ~x200+1 ~x195+1 ~x186+1 ~x170-0=6
19.27/19.34	c 2 ~x24389+1 ~x24388+1 ~x1570+1 ~x1567+1 ~x1564-0=5
19.27/19.34	c 2 ~x24433+1 ~x24432+1 ~x1576+1 ~x1575+1 ~x1572-0=5
19.27/19.34	c 2 ~x24481+1 ~x24480+1 ~x1336+1 ~x1335+1 ~x1334-0=5
19.27/19.34	c 2 ~x24525+1 ~x24524+1 ~x1343+1 ~x1342+1 ~x1341-0=5
19.27/19.34	c 2 ~x24574+1 ~x24573+1 ~x1618+1 ~x1617+1 ~x1616+1 ~x1615-0=6
19.27/19.35	c 2 ~x24640+1 ~x24639+1 ~x1629+1 ~x1621+1 ~x1620-0=5
19.27/19.35	c 4 ~x24687+2 ~x24686+1 ~x24685+1 ~x1646+1 ~x1645+1 ~x1644+1 ~x1643+1 ~x1637-0=11
19.27/19.35	c 2 ~x24800+1 ~x24799+1 ~x265+1 ~x264+1 ~x263-0=5
19.27/19.35	c 2 ~x24843+1 ~x24842+1 ~x268+1 ~x267+1 ~x266-0=5
19.27/19.36	c 2 ~x24886+1 ~x24885+1 ~x314+1 ~x313+1 ~x312-0=5
19.27/19.36	c 2 ~x24942+1 ~x24941+1 ~x905+1 ~x904+1 ~x903-0=5
19.27/19.36	c 2 ~x24985+1 ~x24984+1 ~x1688+1 ~x1687+1 ~x1686-0=5
19.27/19.36	c 2 ~x25028+1 ~x25027+1 ~x908+1 ~x907+1 ~x906-0=5
19.27/19.36	c 2 ~x25071+1 ~x25070+1 ~x911+1 ~x910+1 ~x909-0=5
19.27/19.38	c 2 ~x25115+1 ~x25114+1 ~x1520+1 ~x1519+1 ~x1518-0=5
19.27/19.38	c 2 ~x25172+1 ~x25171+1 ~x1734+1 ~x1733+1 ~x1732+1 ~x1731-0=6
19.27/19.38	c 2 ~x25239+1 ~x25238+1 ~x465+1 ~x464+1 ~x463+1 ~x462-0=6
19.27/19.38	c 2 ~x25304+1 ~x25303+1 ~x1751+1 ~x1750+1 ~x1749-0=5
19.27/19.38	c 2 ~x25348+1 ~x25347+1 ~x497+1 ~x491+1 ~x487-0=5
19.47/19.53	c 2 ~x25391+1 ~x25390+1 ~x1755+1 ~x1754+1 ~x1753-0=5
19.47/19.53	c 2 ~x25436+1 ~x25435+1 ~x498+1 ~x492+1 ~x488-0=5
19.47/19.53	c 2 ~x25480+1 ~x25479+1 ~x550+1 ~x549+1 ~x548+1 ~x547-0=6
19.47/19.53	c 2 ~x25545+1 ~x25544+1 ~x557+1 ~x556+1 ~x555-0=5
19.47/19.53	c 2 ~x25592+1 ~x25591+1 ~x1768+1 ~x1767+1 ~x1766-0=5
19.68/19.72	c 2 ~x25655+1 ~x25654+1 ~x1803+1 ~x1802+1 ~x1801-0=5
19.68/19.72	c 2 ~x25700+1 ~x25699+1 ~x1531+1 ~x1530+1 ~x1529+1 ~x1528-0=6
19.68/19.72	c 2 ~x25765+1 ~x25764+1 ~x1523+1 ~x1522+1 ~x1521-0=5
19.68/19.72	c 4 ~x25811+2 ~x25810+1 ~x25809+1 ~x707+1 ~x706+1 ~x528+1 ~x527+1 ~x526-0=11
19.87/19.95	c 4 ~x25925+2 ~x25924+1 ~x25923+1 ~x1175+1 ~x1174+1 ~x713+1 ~x712+1 ~x711-0=11
19.87/19.95	c 2 ~x26039+1 ~x26038+1 ~x1824+1 ~x1823+1 ~x1822-0=5
19.87/19.95	c 2 ~x26089+1 ~x26088+1 ~x723+1 ~x722+1 ~x721-0=5
19.87/19.95	c 2 ~x26147+1 ~x26146+1 ~x921+1 ~x919+1 ~x918-0=5
19.87/19.95	c 2 ~x26193+1 ~x26192+1 ~x1882+1 ~x1881+1 ~x1880-0=5
19.97/20.05	c 2 ~x26236+1 ~x26235+1 ~x1887+1 ~x1886+1 ~x1883-0=5
19.97/20.05	c 2 ~x26286+1 ~x26285+1 ~x589+1 ~x588+1 ~x587-0=5
19.97/20.05	c 2 ~x26333+1 ~x26332+1 ~x143+1 ~x142+1 ~x141-0=5
19.97/20.05	c 2 ~x26376+1 ~x26375+1 ~x853+1 ~x852+1 ~x851-0=5
19.97/20.05	c 2 ~x26419+1 ~x26418+1 ~x578+1 ~x577+1 ~x576-0=5
20.07/20.14	c 2 ~x26472+1 ~x26471+1 ~x1930+1 ~x1929+1 ~x1863+1 ~x1862-0=6
20.07/20.14	c 2 ~x26545+1 ~x26544+1 ~x472+1 ~x471+1 ~x470+1 ~x469-0=6
20.07/20.14	c 2 ~x26614+1 ~x26613+1 ~x933+1 ~x932+1 ~x931-0=5
20.07/20.14	c 2 ~x26657+1 ~x26656+1 ~x1946+1 ~x1945+1 ~x1944-0=5
20.17/20.26	c 4 ~x26712+2 ~x26711+1 ~x26710+1 ~x1830+1 ~x1829+1 ~x1828+1 ~x1827+1 ~x1826-0=11
20.17/20.26	c 2 ~x26826+1 ~x26825+1 ~x1813+1 ~x832+1 ~x831-0=5
20.17/20.26	c 2 ~x26872+1 ~x26871+1 ~x1972+1 ~x1971+1 ~x1970-0=5
20.17/20.26	c 2 ~x26919+1 ~x26918+1 ~x1281+1 ~x1280+1 ~x1279-0=5
20.17/20.26	c 2 ~x26962+1 ~x26961+1 ~x1287+1 ~x1172+1 ~x1171-0=5
20.27/20.38	c 2 ~x27006+1 ~x27005+1 ~x1418+1 ~x1417+1 ~x1416-0=5
20.27/20.38	c 2 ~x27073+1 ~x27072+1 ~x1536+1 ~x1535+1 ~x1534-0=5
20.27/20.38	c 2 ~x27128+1 ~x27127+1 ~x1837+1 ~x1836+1 ~x1835-0=5
20.27/20.38	c 2 ~x27172+1 ~x27171+1 ~x1359+1 ~x1358+1 ~x1357-0=5
20.48/20.52	c 2 ~x27219+1 ~x27218+1 ~x561+1 ~x560+1 ~x559-0=5
20.48/20.52	c 2 ~x27266+1 ~x27265+1 ~x159+1 ~x158+1 ~x157-0=5
20.48/20.52	c 2 ~x27311+1 ~x27310+1 ~x82+1 ~x81+1 ~x80-0=5
20.48/20.52	c 2 ~x27358+1 ~x27357+1 ~x2049+1 ~x2048+1 ~x2047-0=5
20.48/20.52	c 2 ~x27403+1 ~x27402+1 ~x1052+1 ~x1051+1 ~x1050-0=5
20.48/20.52	c 2 ~x27450+1 ~x27449+1 ~x2061+1 ~x2060+1 ~x2059-0=5
20.58/20.67	c 2 ~x27493+1 ~x27492+1 ~x2064+1 ~x2063+1 ~x2062-0=5
20.58/20.67	c 2 ~x27543+1 ~x27542+1 ~x2075+1 ~x2074+1 ~x2073-0=5
20.58/20.67	c 2 ~x27591+1 ~x27590+1 ~x2087+1 ~x2083+1 ~x1871-0=5
20.58/20.67	c 2 ~x27634+1 ~x27633+1 ~x2094+1 ~x2089+1 ~x1874-0=5
20.79/20.81	c 2 ~x27679+1 ~x27678+1 ~x1490+1 ~x1489+1 ~x1488-0=5
20.79/20.81	c 2 ~x27722+1 ~x27721+1 ~x1927+1 ~x1926+1 ~x1925+1 ~x1924-0=6
20.79/20.81	c 4 ~x27789+2 ~x27788+1 ~x27787+1 ~x2109+1 ~x2108+1 ~x2107+1 ~x2106+1 ~x2105-0=11
20.79/20.81	c 2 ~x27907+1 ~x27906+1 ~x481+1 ~x480+1 ~x479-0=5
20.79/20.81	c 2 ~x27950+1 ~x27949+1 ~x2115+1 ~x2114+1 ~x2113+1 ~x2112-0=6
20.79/20.90	c 2 ~x28018+1 ~x28017+1 ~x2086+1 ~x2085+1 ~x2084-0=5
20.79/20.90	c 2 ~x28061+1 ~x28060+1 ~x2092+1 ~x2091+1 ~x2090-0=5
20.79/20.90	c 1 ~x28106+1 ~x232+1 ~x231-0=2
20.79/20.90	c 2 ~x28127+1 ~x28126+1 ~x506+1 ~x505+1 ~x504+1 ~x503-0=6
20.98/21.05	c 2 ~x28202+1 ~x28201+1 ~x1447+1 ~x1446+1 ~x1445-0=5
20.98/21.05	c 2 ~x28248+1 ~x28247+1 ~x2141+1 ~x2140+1 ~x2139-0=5
20.98/21.05	c 2 ~x28293+1 ~x28292+1 ~x1400+1 ~x1399+1 ~x1398+1 ~x1397-0=6
20.98/21.05	c 2 ~x28364+1 ~x28363+1 ~x1413+1 ~x1412+1 ~x1411+1 ~x874-0=6
20.98/21.05	c 2 ~x28430+1 ~x28429+1 ~x1056+1 ~x1055+1 ~x1054+1 ~x1053-0=6
21.08/21.13	c 2 ~x28495+1 ~x28494+1 ~x1484+1 ~x1483+1 ~x1482+1 ~x1481-0=6
21.08/21.13	c 2 ~x28560+1 ~x28559+1 ~x2161+1 ~x2160+1 ~x2159+1 ~x2158-0=6
21.08/21.13	c 2 ~x28632+1 ~x28631+1 ~x630+1 ~x629+1 ~x628-0=5
21.08/21.13	c 2 ~x28676+1 ~x28675+1 ~x1707+1 ~x1706+1 ~x1705-0=5
21.18/21.28	c 2 ~x28726+1 ~x28725+1 ~x1480+1 ~x1479+1 ~x1477-0=5
21.18/21.28	c 2 ~x28769+1 ~x28768+1 ~x2129+1 ~x2128+1 ~x2127-0=5
21.18/21.28	c 2 ~x28812+1 ~x28811+1 ~x2193+1 ~x2192+1 ~x2191-0=5
21.18/21.28	c 2 ~x28862+1 ~x28861+1 ~x2204+1 ~x2203+1 ~x2098-0=5
21.18/21.28	c 4 ~x28906+2 ~x28905+1 ~x28904+1 ~x239+1 ~x238+1 ~x237+1 ~x236+1 ~x235-0=11
21.38/21.41	c 2 ~x29020+1 ~x29019+1 ~x298+1 ~x297+1 ~x296-0=5
21.38/21.41	c 4 ~x29066+2 ~x29065+1 ~x29064+1 ~x1642+1 ~x1641+1 ~x1640+1 ~x1639+1 ~x1638-0=11
21.38/21.41	c 2 ~x29194+1 ~x29193+1 ~x1295+1 ~x1294+1 ~x1293+1 ~x1292-0=6
21.38/21.41	c 2 ~x29259+1 ~x29258+1 ~x884+1 ~x883+1 ~x882-0=5
21.48/21.56	c 2 ~x29313+1 ~x29312+1 ~x1300+1 ~x1299+1 ~x1298-0=5
21.48/21.56	c 2 ~x29356+1 ~x29355+1 ~x1303+1 ~x1302+1 ~x1301-0=5
21.48/21.56	c 2 ~x29399+1 ~x29398+1 ~x1660+1 ~x1659+1 ~x1658-0=5
21.48/21.56	c 1 ~x29441+1 ~x2189+1 ~x2188-0=2
21.48/21.56	c 2 ~x29462+1 ~x29461+1 ~x2039+1 ~x2038+1 ~x2037-0=5
21.68/21.79	c 2 ~x29529+1 ~x29528+1 ~x397+1 ~x396+1 ~x395-0=5
21.68/21.79	c 2 ~x29572+1 ~x29571+1 ~x1509+1 ~x1508+1 ~x1507-0=5
21.68/21.79	c 2 ~x29631+1 ~x29630+1 ~x2264+1 ~x2263+1 ~x2262+1 ~x2261-0=6
21.68/21.79	c 2 ~x29698+1 ~x29697+1 ~x1729+1 ~x1728+1 ~x1727+1 ~x1726-0=6
21.68/21.79	c 2 ~x29766+1 ~x29765+1 ~x2275+1 ~x2274+1 ~x2270+1 ~x78-0=6
21.88/21.99	c 2 ~x29831+1 ~x29830+1 ~x2602+1 ~x2601+1 ~x2277+1 ~x2276-0=6
21.88/21.99	c 2 ~x29898+1 ~x29897+1 ~x2273+1 ~x2272+1 ~x2271+1 ~x2269-0=6
21.88/21.99	c 2 ~x29968+1 ~x29967+1 ~x805+1 ~x804+1 ~x803-0=5
21.88/21.99	c 2 ~x30016+1 ~x30015+1 ~x2313+1 ~x750+1 ~x749-0=5
22.07/22.14	c 2 ~x30059+1 ~x30058+1 ~x2605+1 ~x2604+1 ~x2603-0=5
22.07/22.14	c 2 ~x30107+1 ~x30106+1 ~x1034+1 ~x1030+1 ~x1029+1 ~x1027-0=6
22.07/22.14	c 2 ~x30172+1 ~x30171+1 ~x2318+1 ~x2317+1 ~x2316-0=5
22.07/22.14	c 2 ~x30222+1 ~x30221+1 ~x758+1 ~x757+1 ~x756-0=5
22.07/22.14	c 2 ~x30265+1 ~x30264+1 ~x1720+1 ~x1719+1 ~x1718+1 ~x1717-0=6
22.17/22.27	c 2 ~x30331+1 ~x30330+1 ~x2334+1 ~x2333+1 ~x2332-0=5
22.17/22.27	c 2 ~x30377+1 ~x30376+1 ~x2341+1 ~x2340+1 ~x2337-0=5
22.17/22.27	c 2 ~x30420+1 ~x30419+1 ~x2344+1 ~x2343+1 ~x2342-0=5
22.17/22.27	c 2 ~x30463+1 ~x30462+1 ~x2322+1 ~x2321+1 ~x2320-0=5
22.17/22.27	c 4 ~x30507+2 ~x30506+1 ~x30505+1 ~x2354+1 ~x2351+1 ~x2350+1 ~x2349+1 ~x2345-0=11
22.27/22.32	c 2 ~x30620+1 ~x30619+1 ~x2348+1 ~x2347+1 ~x2346-0=5
22.27/22.32	c 4 ~x30665+2 ~x30664+1 ~x30663+1 ~x2056+1 ~x2055+1 ~x2054+1 ~x2053+1 ~x2052-0=11
22.27/22.32	c 2 ~x30778+1 ~x30777+1 ~x2357+1 ~x2356+1 ~x2355-0=5
22.27/22.36	c 2 ~x30821+1 ~x30820+1 ~x2370+1 ~x2369+1 ~x2358-0=5
22.27/22.36	c 2 ~x30866+1 ~x30865+1 ~x2378+1 ~x2377+1 ~x2376-0=5
22.27/22.36	c 2 ~x30918+1 ~x30917+1 ~x2388+1 ~x2387+1 ~x2386+1 ~x2385-0=6
22.27/22.36	c 2 ~x30984+1 ~x30983+1 ~x2088+1 ~x1815+1 ~x1811-0=5
22.27/22.36	c 2 ~x31027+1 ~x31026+1 ~x1809+1 ~x1808+1 ~x1807-0=5
22.27/22.37	c 2 ~x31070+1 ~x31069+1 ~x2391+1 ~x2390+1 ~x2389-0=5
22.27/22.37	c 2 ~x31113+1 ~x31112+1 ~x2093+1 ~x1820+1 ~x447-0=5
22.27/22.37	c 2 ~x31159+1 ~x31158+1 ~x2396+1 ~x2395+1 ~x2394-0=5
22.27/22.37	c 2 ~x31204+1 ~x31203+1 ~x120+1 ~x119+1 ~x117-0=5
22.27/22.37	c 2 ~x31247+1 ~x31246+1 ~x126+1 ~x115+1 ~x96-0=5
22.27/22.38	c 2 ~x31290+1 ~x31289+1 ~x2400+1 ~x2399+1 ~x2398-0=5
22.27/22.38	c 4 ~x31337+2 ~x31336+1 ~x31335+1 ~x247+1 ~x246+1 ~x245+1 ~x244+1 ~x243-0=11
22.27/22.38	c 2 ~x31456+1 ~x31455+1 ~x39+1 ~x38+1 ~x37-0=5
22.27/22.38	c 2 ~x31499+1 ~x31498+1 ~x5+1 ~x4+1 ~x3-0=5
22.27/22.38	c 2 ~x31544+1 ~x31543+1 ~x1219+1 ~x1218+1 ~x1217-0=5
22.27/22.39	c 2 ~x31587+1 ~x31586+1 ~x2419+1 ~x2418+1 ~x2417-0=5
22.27/22.39	c 2 ~x31630+1 ~x31629+1 ~x1262+1 ~x1261+1 ~x1260-0=5
22.27/22.39	c 2 ~x31673+1 ~x31672+1 ~x1630+1 ~x1624+1 ~x1611-0=5
22.27/22.39	c 2 ~x31716+1 ~x31715+1 ~x1222+1 ~x1221+1 ~x1220-0=5
22.37/22.40	c 2 ~x31760+1 ~x31759+1 ~x1227+1 ~x1226+1 ~x1224-0=5
22.37/22.40	c 2 ~x31803+1 ~x31802+1 ~x1231+1 ~x1229+1 ~x1228-0=5
22.37/22.40	c 2 ~x31846+1 ~x31845+1 ~x2422+1 ~x2421+1 ~x2420-0=5
22.37/22.40	c 2 ~x31889+1 ~x31888+1 ~x1235+1 ~x1234+1 ~x1233-0=5
22.37/22.40	c 2 ~x31932+1 ~x31931+1 ~x1238+1 ~x1237+1 ~x1236-0=5
22.37/22.41	c 2 ~x31975+1 ~x31974+1 ~x1253+1 ~x1252+1 ~x1251-0=5
22.37/22.41	c 2 ~x32018+1 ~x32017+1 ~x2426+1 ~x2425+1 ~x2424+1 ~x2423-0=6
22.37/22.41	c 2 ~x32087+1 ~x32086+1 ~x62+1 ~x58+1 ~x53-0=5
22.37/22.41	c 2 ~x32136+1 ~x32135+1 ~x436+1 ~x435+1 ~x434-0=5
22.37/22.41	c 2 ~x32180+1 ~x32179+1 ~x2437+1 ~x2436+1 ~x2435-0=5
22.47/22.52	c 2 ~x32230+1 ~x32229+1 ~x2455+1 ~x2454+1 ~x2453-0=5
22.47/22.52	c 2 ~x32273+1 ~x32272+1 ~x2459+1 ~x2458+1 ~x2456-0=5
22.47/22.52	c 2 ~x32319+1 ~x32318+1 ~x2466+1 ~x2465+1 ~x2464-0=5
22.47/22.52	c 2 ~x32362+1 ~x32361+1 ~x2469+1 ~x2468+1 ~x2467+1 ~x2457-0=6
22.47/22.52	c 4 ~x32429+2 ~x32428+1 ~x32427+1 ~x2476+1 ~x2475+1 ~x2474+1 ~x2473+1 ~x2472-0=11
22.57/22.65	c 2 ~x32551+1 ~x32550+1 ~x1923+1 ~x1922+1 ~x1921+1 ~x1920-0=6
22.57/22.65	c 2 ~x32622+1 ~x32621+1 ~x1396+1 ~x1395+1 ~x1394+1 ~x1393-0=6
22.57/22.65	c 2 ~x32687+1 ~x32686+1 ~x2492+1 ~x2491+1 ~x2490+1 ~x2489-0=6
22.67/22.74	c 2 ~x32752+1 ~x32751+1 ~x2495+1 ~x2494+1 ~x2493-0=5
22.67/22.74	c 2 ~x32795+1 ~x32794+1 ~x371+1 ~x370+1 ~x369-0=5
22.67/22.74	c 2 ~x32838+1 ~x32837+1 ~x2502+1 ~x2500+1 ~x2499-0=5
22.67/22.74	c 2 ~x32888+1 ~x32887+1 ~x2368+1 ~x2367+1 ~x2366-0=5
22.67/22.74	c 2 ~x32931+1 ~x32930+1 ~x2362+1 ~x2361+1 ~x2360-0=5
22.87/22.92	c 2 ~x32976+1 ~x32975+1 ~x2513+1 ~x2512+1 ~x2511+1 ~x2510-0=6
22.87/22.92	c 2 ~x33041+1 ~x33040+1 ~x2517+1 ~x2516+1 ~x2515+1 ~x2514-0=6
22.87/22.92	c 2 ~x33107+1 ~x33106+1 ~x242+1 ~x241+1 ~x240-0=5
22.87/22.92	c 2 ~x33150+1 ~x33149+1 ~x77+1 ~x61+1 ~x56-0=5
22.87/22.92	c 4 ~x33195+2 ~x33194+1 ~x33193+1 ~x2481+1 ~x2480+1 ~x2479+1 ~x2478+1 ~x2477-0=11
22.87/22.97	c 2 ~x33313+1 ~x33312+1 ~x828+1 ~x826+1 ~x825-0=5
22.87/22.97	c 2 ~x33357+1 ~x33356+1 ~x1387+1 ~x1386+1 ~x1385-0=5
22.87/22.97	c 2 ~x33400+1 ~x33399+1 ~x2331+1 ~x2330+1 ~x2329-0=5
22.87/22.97	c 2 ~x33443+1 ~x33442+1 ~x1380+1 ~x1379+1 ~x1378-0=5
22.98/23.08	c 2 ~x33496+1 ~x33495+1 ~x2547+1 ~x2544+1 ~x2543+1 ~x2542-0=6
22.98/23.08	c 2 ~x33564+1 ~x33563+1 ~x1628+1 ~x1627+1 ~x1626+1 ~x1625-0=6
22.98/23.08	c 2 ~x33632+1 ~x33631+1 ~x2181+1 ~x2180+1 ~x2179+1 ~x2178-0=6
22.98/23.08	c 2 ~x33697+1 ~x33696+1 ~x700+1 ~x699+1 ~x698-0=5
22.98/23.08	c 2 ~x33740+1 ~x33739+1 ~x2554+1 ~x2553+1 ~x2552-0=5
23.08/23.15	c 2 ~x33787+1 ~x33786+1 ~x2566+1 ~x2563+1 ~x2560+1 ~x2557-0=6
23.08/23.15	c 2 ~x33852+1 ~x33851+1 ~x2567+1 ~x2564+1 ~x2561+1 ~x2558-0=6
23.08/23.15	c 2 ~x33917+1 ~x33916+1 ~x2568+1 ~x2565+1 ~x2562+1 ~x2559-0=6
23.08/23.15	c 2 ~x33982+1 ~x33981+1 ~x2572+1 ~x2571+1 ~x2570+1 ~x2569-0=6
23.28/23.35	c 2 ~x34075+1 ~x34074+1 ~x2306+1 ~x2299+1 ~x2296-0=5
23.28/23.35	c 2 ~x34156+1 ~x34155+1 ~x816+1 ~x815+1 ~x814-0=5
23.28/23.35	c 2 ~x34207+1 ~x34206+1 ~x324+1 ~x321+1 ~x318+1 ~x317-0=6
23.28/23.35	c 2 ~x34283+1 ~x34282+1 ~x279+1 ~x277+1 ~x261-0=5
23.28/23.35	c 2 ~x34334+1 ~x34333+1 ~x2437+1 ~x2436+1 ~x2435-0=5
23.48/23.57	c 4 ~x34393+2 ~x34392+1 ~x34391+1 ~x2354+1 ~x2351+1 ~x2350+1 ~x2349+1 ~x2345-0=11
23.48/23.57	c 2 ~x34528+1 ~x34527+1 ~x356+1 ~x355+1 ~x352-0=5
23.48/23.57	c 2 ~x34585+1 ~x34584+1 ~x442+1 ~x441+1 ~x440-0=5
23.48/23.57	c 4 ~x34647+2 ~x34646+1 ~x34645+1 ~x247+1 ~x246+1 ~x245+1 ~x244+1 ~x243-0=11
37.86/38.00	o 567434913740
37.86/38.00	c 549755813888 ~x43304+274877906944 ~x43303+137438953472 ~x43302+68719476736 ~x43301+34359738368 ~x43300+17179869184 ~x43299+8589934592 ~x43298+4294967296 ~x43297+2147483648 ~x43296+1073741824 ~x43295+536870912 ~x43294+268435456 ~x43293+134217728 ~x43292+67108864 ~x43291+33554432 ~x43290+16777216 ~x43289+8388608 ~x43288+4194304 ~x43287+2097152 ~x43286+1048576 ~x43285+524288 ~x43284+262144 ~x43283+131072 ~x43282+65536 ~x43281+32768 ~x43280+16384 ~x43279+8192 ~x43278+4096 ~x43277+2048 ~x43276+1024 ~x43275+512 ~x43274+256 ~x43273+128 ~x43272+64 ~x43271+32 ~x43270+16 ~x43269+8 ~x43268+4 ~x43267+2 ~x43266+1 ~x43265+1 ~x5856+1 ~x5855+1 ~x5854+1 ~x5853+1 ~x5852+1 ~x5851+1 ~x5850+1 ~x5849+1 ~x5848+1 ~x5847+1 ~x5846+1 ~x5845+1 ~x5844+1 ~x5843+1 ~x5842+1 ~x5841+1 ~x5840+1 ~x5839+1 ~x5838+1 ~x5837+1 ~x5836+1 ~x5835+1 ~x5834+1 ~x5833+1 ~x5832+1 ~x5831+1 ~x5830+1 ~x5829+1 ~x5828+1 ~x5827+1 ~x5826+1 ~x5825+1 ~x5824+1 ~x5823+1 ~x5822+1 ~x5821+1 ~x5820+1 ~x5819+1 ~x5818+1 ~x5817+1 ~x5816+1 ~x5815+1 ~x5814+1 ~x5813+1 ~x5812+1 ~x5811+1 ~x5810+1 ~x5809+1 ~x5808+1 ~x5807+1 ~x5806+1 ~x5805+1 ~x5804+1 ~x5803+1 ~x5802+1 ~x5801+1 ~x5800+1 ~x5799+1 ~x5798+1 ~x5797+1 ~x5796+1 ~x5795+1 ~x5794+1 ~x5793+1 ~x5792+1 ~x5791+1 ~x5790+1 ~x5789+1 ~x5788+1 ~x5787+1 ~x5786+1 ~x5785+1 ~x5784+1 ~x5783+1 ~x5782+1 ~x5781+1 ~x5780+1 ~x5779+1 ~x5778+1 ~x5777+1 ~x5776+1 ~x5775+1 ~x5774+1 ~x5773+1 ~x5772+1 ~x5771+1 ~x5770+1 ~x5769+1 ~x5768+1 ~x5767+1 ~x5766+1 ~x5765+1 ~x5764+1 ~x5763+1 ~x5762+1 ~x5761+1 ~x5760+1 ~x5759+1 ~x5758+1 ~x5757+1 ~x5756+1 ~x5755+1 ~x5754+1 ~x5753+1 ~x5752+1 ~x5751+1 ~x5750+1 ~x5749+1 ~x5748+1 ~x5747+1 ~x5746+1 ~x5745+1 ~x5744+1 ~x5743+1 ~x5742+1 ~x5741+1 ~x5740+1 ~x5739+1 ~x5738+1 ~x5737+1 ~x5736+1 ~x5735+1 ~x5734+1 ~x5733+1 ~x5732+1 ~x5731+1 ~x5730+1 ~x5729+1 ~x5728+1 ~x5727+1 ~x5726+1 ~x5725+1 ~x5724+1 ~x5723+1 ~x5722+1 ~x5721+1 ~x5720+1 ~x5719+1 ~x5718+1 ~x5717+1 ~x5716+1 ~x5715+1 ~x5714+1 ~x5713+1 ~x5712+1 ~x5711+1 ~x5710+1 ~x5709+1 ~x5708+1 ~x5707+1 ~x5706+1 ~x5705+1 ~x5704+1 ~x5703+1 ~x5702+1 ~x5701+1 ~x5700+1 ~x5699+1 ~x5698+1 ~x5697+1 ~x5696+1 ~x5695+1 ~x5694+1 ~x5693+1 ~x5692+1 ~x5691+1 ~x5690+1 ~x5689+1 ~x5688+1 ~x5687+1 ~x5686+1 ~x5685+1 ~x5684+1 ~x5683+1 ~x5682+1 ~x5681+1 ~x5680+1 ~x5679+1 ~x5678+1 ~x5677+1 ~x5676+1 ~x5675+1 ~x5674+1 ~x5673+1 ~x5672+1 ~x5671+1 ~x5670+1 ~x5669+1 ~x5668+1 ~x5667+1 ~x5666+1 ~x5665+1 ~x5664+1 ~x5663+1 ~x5662+1 ~x5661+1 ~x5660+1 ~x5659+1 ~x5658+1 ~x5657+1 ~x5656+1 ~x5655+1 ~x5654+1 ~x5653+1 ~x5652+1 ~x5651+1 ~x5650+1 ~x5649+1 ~x5648+1 ~x5647+1 ~x5646+1 ~x5645+1 ~x5644+1 ~x5643+1 ~x5642+1 ~x5641+1 ~x5640+1 ~x5639+1 ~x5638+1 ~x5637+1 ~x5636+1 ~x5635+1 ~x5634+1 ~x5633+1 ~x5632+1 ~x5631+1 ~x5630+1 ~x5629+1 ~x5628+1 ~x5627+1 ~x5626+1 ~x5625+1 ~x5624+1 ~x5623+1 ~x5622+1 ~x5621+1 ~x5620+1 ~x5619+1 ~x5618+1 ~x5617+1 ~x5616+1 ~x5615+1 ~x5614+1 ~x5613+1 ~x5612+1 ~x5611+1 ~x5610+1 ~x5609+1 ~x5608+1 ~x5607+1 ~x5606+1 ~x5605+1 ~x5604+1 ~x5603+1 ~x5602+1 ~x5601+1 ~x5600+1 ~x5599+1 ~x5598+1 ~x5597+1 ~x5596+1 ~x5595+1 ~x5594+1 ~x5593+1 ~x5592+1 ~x5591+1 ~x5590+1 ~x5589+1 ~x5588+1 ~x5587+1 ~x5586+1 ~x5585+1 ~x5584+1 ~x5583+1 ~x5582+1 ~x5581+1 ~x5580+1 ~x5579+1 ~x5578+1 ~x5577+1 ~x5576+1 ~x5575+1 ~x5574+1 ~x5573+1 ~x5572+1 ~x5571+1 ~x5570+1 ~x5569+1 ~x5568+1 ~x5567+1 ~x5566+1 ~x5565+1 ~x5564+1 ~x5563+1 ~x5562+1 ~x5561+1 ~x5560+1 ~x5559+1 ~x5558+1 ~x5557+1 ~x5556+1 ~x5555+1 ~x5554+1 ~x5553+1 ~x5552+1 ~x5551+1 ~x5550+1 ~x5549+1 ~x5548+1 ~x5547+1 ~x5546+1 ~x5545+1 ~x5544+1 ~x5543+1 ~x5542+1 ~x5541+1 ~x5540+1 ~x5539+1 ~x5538+1 ~x5537+1 ~x5536+1 ~x5535+1 ~x5534+1 ~x5533+1 ~x5532+1 ~x5531+1 ~x5530+1 ~x5529+1 ~x5528+1 ~x5527+1 ~x5526+1 ~x5525+1 ~x5524+1 ~x5523+1 ~x5522+1 ~x5521+1 ~x5520+1 ~x5519+1 ~x5518+1 ~x5517+1 ~x5516+1 ~x5515+1 ~x5514+1 ~x5513+1 ~x5512+1 ~x5511+1 ~x5510+1 ~x5509+1 ~x5508+1 ~x5507+1 ~x5506+1 ~x5505+1 ~x5504+1 ~x5503+1 ~x5502+1 ~x5501+1 ~x5500+1 ~x5499+1 ~x5498+1 ~x5497+1 ~x5496+1 ~x5495+1 ~x5494+1 ~x5493+1 ~x5492+1 ~x5491+1 ~x5490+1 ~x5489+1 ~x5488+1 ~x5487+1 ~x5486+1 ~x5485+1 ~x5484+1 ~x5483+1 ~x5482+1 ~x5481+1 ~x5480+1 ~x5479+1 ~x5478+1 ~x5477+1 ~x5476+1 ~x5475+1 ~x5474+1 ~x5473+1 ~x5472+1 ~x5471+1 ~x5470+1 ~x5469+1 ~x5468+1 ~x5467+1 ~x5466+1 ~x5465+1 ~x5464+1 ~x5463+1 ~x5462+1 ~x5461+1 ~x5460+1 ~x5459+1 ~x5458+1 ~x5457+1 ~x5456+1 ~x5455+1 ~x5454+1 ~x5453+1 ~x5452+1 ~x5451+1 ~x5450+1 ~x5449+1 ~x5448+1 ~x5447+1 ~x5446+1 ~x5445+1 ~x5444+1 ~x5443+1 ~x5442+1 ~x5441+1 ~x5440+1 ~x5439+1 ~x5438+1 ~x5437+1 ~x5436+1 ~x5435+1 ~x5434+1 ~x5433+1 ~x5432+1 ~x5431+1 ~x5430+1 ~x5429+1 ~x5428+1 ~x5427+1 ~x5426+1 ~x5425+1 ~x5424+1 ~x5423+1 ~x5422+1 ~x5421+1 ~x5420+1 ~x5419+1 ~x5418+1 ~x5417+1 ~x5416+1 ~x5415+1 ~x5414+1 ~x5413+1 ~x5412+1 ~x5411+1 ~x5410+1 ~x5409+1 ~x5408+1 ~x5407+1 ~x5406+1 ~x5405+1 ~x5404+1 ~x5403+1 ~x5402+1 ~x5401+1 ~x5400+1 ~x5399+1 ~x5398+1 ~x5397+1 ~x5396+1 ~x5395+1 ~x5394+1 ~x5393+1 ~x5392+1 ~x5391+1 ~x5390+1 ~x5389+1 ~x5388+1 ~x5387+1 ~x5386+1 ~x5385+1 ~x5384+1 ~x5383+1 ~x5382+1 ~x5381+1 ~x5380+1 ~x5379+1 ~x5378+1 ~x5377+1 ~x5376+1 ~x5375+1 ~x5374+1 ~x5373+1 ~x5372+1 ~x5371+1 ~x5370+1 ~x5369+1 ~x5368+1 ~x5367+1 ~x5366+1 ~x5365+1 ~x5364+1 ~x5363+1 ~x5362+1 ~x5361+1 ~x5360+1 ~x5359+1 ~x5358+1 ~x5357+1 ~x5356+1 ~x5355+1 ~x5354+1 ~x5353+1 ~x5352+1 ~x5351+1 ~x5350+1 ~x5349+1 ~x5348+1 ~x5347+1 ~x5346+1 ~x5345+1 ~x5344+1 ~x5343+1 ~x5342+1 ~x5341+1 ~x5340+1 ~x5339+1 ~x5338+1 ~x5337+1 ~x5336+1 ~x5335+1 ~x5334+1 ~x5333+1 ~x5332+1 ~x5331+1 ~x5330+1 ~x5329+1 ~x5328+1 ~x5327+1 ~x5326+1 ~x5325+1 ~x5324+1 ~x5323+1 ~x5322+1 ~x5321+1 ~x5320+1 ~x5319+1 ~x5318+1 ~x5317+1 ~x5316+1 ~x5315+1 ~x5314+1 ~x5313+1 ~x5312+1 ~x5311+1 ~x5310+1 ~x5309+1 ~x5308+1 ~x5307+1 ~x5305+1 ~x5304+1 ~x5303+1 ~x5302+1 ~x5301+1 ~x5300+1 ~x5299+1 ~x5298+1 ~x5297+1 ~x5296+1 ~x5295+1 ~x5294+1 ~x5293+1 ~x5292+1 ~x5291+1 ~x5290+1 ~x5289+1 ~x5288+1 ~x5287+1 ~x5286+1 ~x5285+1 ~x5284+1 ~x5283+1 ~x5282+1 ~x5281+1 ~x5280+1 ~x5279+1 ~x5278+1 ~x5277+1 ~x5276+1 ~x5275+1 ~x5274+1 ~x5273+1 ~x5272+1 ~x5271+1 ~x5270+1 ~x5269+1 ~x5268+1 ~x5267+1 ~x5266+1 ~x5265+1 ~x5264+1 ~x5263+1 ~x5262+1 ~x5261+1 ~x5260+1 ~x5259+1 ~x5258+1 ~x5257+1 ~x5256+1 ~x5255+1 ~x5254+1 ~x5253+1 ~x5252+1 ~x5251+1 ~x5250+1 ~x5249+1 ~x5248+1 ~x5247+1 ~x5246+1 ~x5245+1 ~x5244+1 ~x5243+1 ~x5242+1 ~x5241+1 ~x5240+1 ~x5239+1 ~x5238+1 ~x5237+1 ~x5236+1 ~x5235+1 ~x5234+1 ~x5233+1 ~x5232+1 ~x5231+1 ~x5230+1 ~x5229+1 ~x5228+1 ~x5227+1 ~x5226+1 ~x5225+1 ~x5224+1 ~x5223+1 ~x5222+1 ~x5221+1 ~x5220+1 ~x5219+1 ~x5218+1 ~x5217+1 ~x5216+1 ~x5215+1 ~x5214+1 ~x5213+1 ~x5212+1 ~x5211+1 ~x5210+1 ~x5209+1 ~x5208+1 ~x5207+1 ~x5206+1 ~x5205+1 ~x5204+1 ~x5203+1 ~x5202+1 ~x5201+1 ~x5200+1 ~x5199+1 ~x5198+1 ~x5197+1 ~x5196+1 ~x5195+1 ~x5194+1 ~x5193+1 ~x5192+1 ~x5191+1 ~x5190+1 ~x5189+1 ~x5188+1 ~x5187+1 ~x5186+1 ~x5185+1 ~x5184+1 ~x5183+1 ~x5182+1 ~x5181+1 ~x5180+1 ~x5179+1 ~x5178+1 ~x5177+1 ~x5176+1 ~x5175+1 ~x5174+1 ~x5173+1 ~x5172+1 ~x5171+1 ~x5170+1 ~x5169+1 ~x5168+1 ~x5167+1 ~x5166+1 ~x5165+1 ~x5164+1 ~x5163+1 ~x5162+1 ~x5161+1 ~x5160+1 ~x5159+1 ~x5158+1 ~x5157+1 ~x5156+1 ~x5155+1 ~x5154+1 ~x5153+1 ~x5152+1 ~x5151+1 ~x5150+1 ~x5149+1 ~x5148+1 ~x5147+1 ~x5146+1 ~x5145+1 ~x5144+1 ~x5143+1 ~x5142+1 ~x5141+1 ~x5140+1 ~x5139+1 ~x5138+1 ~x5137+1 ~x5136+1 ~x5135+1 ~x5134+1 ~x5133+1 ~x5132+1 ~x5131+1 ~x5130+1 ~x5129+1 ~x5128+1 ~x5127+1 ~x5126+1 ~x5125+1 ~x5124+1 ~x5123+1 ~x5122+1 ~x5121+1 ~x5120+1 ~x5119+1 ~x5118+1 ~x5117+1 ~x5116+1 ~x5115+1 ~x5114+1 ~x5113+1 ~x5112+1 ~x5111+1 ~x5110+1 ~x5109+1 ~x5108+1 ~x5107+1 ~x5106+1 ~x5105+1 ~x5104+1 ~x5103+1 ~x5102+1 ~x5101+1 ~x5100+1 ~x5099+1 ~x5098+1 ~x5097+1 ~x5096+1 ~x5095+1 ~x5094+1 ~x5093+1 ~x5092+1 ~x5091+1 ~x5090+1 ~x5089+1 ~x5088+1 ~x5087+1 ~x5086+1 ~x5085+1 ~x5084+1 ~x5083+1 ~x5082+1 ~x5081+1 ~x5080+1 ~x5079+1 ~x5077+1 ~x5076+1 ~x5075+1 ~x5074+1 ~x5073+1 ~x5072+1 ~x5071+1 ~x5070+1 ~x5069+1 ~x5068+1 ~x5067+1 ~x5066+1 ~x5065+1 ~x5064+1 ~x5063+1 ~x5062+1 ~x5061+1 ~x5060+1 ~x5059+1825201 ~x5058+1825201 ~x5057+1825201 ~x5056+1825201 ~x5055+1825201 ~x5054+1825201 ~x5053+1825201 ~x5050+1825201 ~x5049+1825201 ~x5048+1825201 ~x5047+1825201 ~x5044+1825201 ~x5043+1825201 ~x5042+1825201 ~x5041+1825201 ~x5040+1825201 ~x5039+1825201 ~x5038+1825201 ~x5037+1825201 ~x5033+1825201 ~x5032+1825201 ~x5031+1825201 ~x5030+1825201 ~x5029+1825201 ~x5028+1825201 ~x5021+1825201 ~x5019+1825201 ~x5018+1825201 ~x5017+1825201 ~x5016+1825201 ~x5015+1825201 ~x5013+1825201 ~x5009+1825201 ~x5008+1825201 ~x5007+1825201 ~x5006+1825201 ~x5004+1825201 ~x5003+1825201 ~x5002+1825201 ~x5001+1825201 ~x5000+1825201 ~x4999+1825201 ~x4998+1825201 ~x4997+1825201 ~x4996+1825201 ~x4995+1825201 ~x4994+1825201 ~x4992+1825201 ~x4989+1825201 ~x4986+1825201 ~x4985+1825201 ~x4982+1825201 ~x4981+1825201 ~x4980+1825201 ~x4978+1825201 ~x4977+1825201 ~x4976+1825201 ~x4975+1825201 ~x4974+1825201 ~x4973+1825201 ~x4972+1825201 ~x4971+1825201 ~x4970+1825201 ~x4969+1825201 ~x4968+1825201 ~x4967+1825201 ~x4966+1825201 ~x4963+1825201 ~x4962+1825201 ~x4961+1825201 ~x4956+1825201 ~x4955+1825201 ~x4954+1825201 ~x4953+1825201 ~x4952+1825201 ~x4951+1825201 ~x4950+1825201 ~x4949+1825201 ~x4947+1825201 ~x4946+1825201 ~x4945+1825201 ~x4944+1825201 ~x4943+1825201 ~x4942+1825201 ~x4940+1825201 ~x4937+1825201 ~x4936+1825201 ~x4935+1825201 ~x4934+1825201 ~x4933+1825201 ~x4931+1825201 ~x4929+1825201 ~x4928+1825201 ~x4927+1825201 ~x4926+1825201 ~x4925+1825201 ~x4924+1825201 ~x4923+1825201 ~x4921+1825201 ~x4920+1825201 ~x4919+1825201 ~x4918+1825201 ~x4917+1825201 ~x4916+1825201 ~x4914+1825201 ~x4913+1825201 ~x4912+1825201 ~x4911+1825201 ~x4910+1825201 ~x4909+1825201 ~x4908+1825201 ~x4907+1825201 ~x4906+1825201 ~x4905+1825201 ~x4904+1825201 ~x4903+1825201 ~x4902+1825201 ~x4901+1825201 ~x4900+1825201 ~x4899+1825201 ~x4898+1825201 ~x4897+1825201 ~x4896+1825201 ~x4895+1825201 ~x4894+1825201 ~x4893+1825201 ~x4892+1825201 ~x4891+1825201 ~x4890+1825201 ~x4889+1825201 ~x4888+1825201 ~x4887+1825201 ~x4886+1825201 ~x4885+1825201 ~x4884+1825201 ~x4883+1825201 ~x4882+1825201 ~x4881+1825201 ~x4880+1825201 ~x4877+1825201 ~x4875+1825201 ~x4874+1825201 ~x4873+1825201 ~x4872+1825201 ~x4871+1825201 ~x4870+1825201 ~x4869+1825201 ~x4868+1825201 ~x4867+1825201 ~x4866+1825201 ~x4865+1825201 ~x4864+1825201 ~x4863+1825201 ~x4850+1825201 ~x4845+1825201 ~x4844+1825201 ~x4843+1825201 ~x4842+1825201 ~x4841+1825201 ~x4840+1825201 ~x4838+1825201 ~x4837+1825201 ~x4836+1825201 ~x4835+1825201 ~x4834+1825201 ~x4833+1825201 ~x4832+1825201 ~x4831+1825201 ~x4830+1825201 ~x4829+1825201 ~x4828+1825201 ~x4827+1825201 ~x4826+1825201 ~x4825+1825201 ~x4824+1825201 ~x4821+1825201 ~x4820+1825201 ~x4819+1825201 ~x4818+1825201 ~x4817+1825201 ~x4816+1825201 ~x4815+1825201 ~x4814+1825201 ~x4813+1825201 ~x4807+1825201 ~x4806+1825201 ~x4804+1825201 ~x4803+1825201 ~x4802+1825201 ~x4801+1825201 ~x4800+1825201 ~x4799+1825201 ~x4797+1825201 ~x4796+1825201 ~x4795+1825201 ~x4794+1825201 ~x4792+1825201 ~x4791+1825201 ~x4790+1825201 ~x4789+1825201 ~x4788+1825201 ~x4787+1825201 ~x4786+1825201 ~x4784+1825201 ~x4783+1825201 ~x4782+1825201 ~x4781+1825201 ~x4778+1825201 ~x4777+1825201 ~x4776+1825201 ~x4775+1825201 ~x4774+1825201 ~x4773+1825201 ~x4772+1825201 ~x4771+1825201 ~x4770+1825201 ~x4769+1825201 ~x4768+1825201 ~x4767+1825201 ~x4766+1825201 ~x4765+1825201 ~x4764+1825201 ~x4763+1825201 ~x4762+1825201 ~x4761+1825201 ~x4760+1825201 ~x4759+1825201 ~x4758+1825201 ~x4756+1825201 ~x4755+1825201 ~x4754+1825201 ~x4753+1825201 ~x4752+1825201 ~x4751+1825201 ~x4750+1825201 ~x4749+1825201 ~x4748+1825201 ~x4747+1825201 ~x4746+1825201 ~x4745+1825201 ~x4744+1825201 ~x4743+1825201 ~x4742+1825201 ~x4741+1825201 ~x4740+1825201 ~x4738+1825201 ~x4736+1825201 ~x4735+1825201 ~x4734+1825201 ~x4731+1825201 ~x4730+1825201 ~x4729+1825201 ~x4728+1825201 ~x4727+1825201 ~x4724+1825201 ~x4723+1825201 ~x4722+1825201 ~x4721+1825201 ~x4720+1825201 ~x4719+1825201 ~x4718+1825201 ~x4717+1825201 ~x4716+1825201 ~x4715+1825201 ~x4714+1825201 ~x4713+1825201 ~x4712+1825201 ~x4711+1825201 ~x4710+1825201 ~x4702+1825201 ~x4701+1825201 ~x4700+1825201 ~x4699+1825201 ~x4698+1825201 ~x4697+1825201 ~x4696+1825201 ~x4694+1825201 ~x4693+1825201 ~x4692+1825201 ~x4691+1825201 ~x4690+1825201 ~x4689+1825201 ~x4688+1825201 ~x4683+1825201 ~x4682+1825201 ~x4681+1825201 ~x4680+1825201 ~x4679+1825201 ~x4678+1825201 ~x4677+1825201 ~x4676+1825201 ~x4675+1825201 ~x4674+1825201 ~x4673+1825201 ~x4672+1825201 ~x4670+1825201 ~x4669+1825201 ~x4668+1825201 ~x4667+1825201 ~x4665+1825201 ~x4664+1825201 ~x4662+1825201 ~x4659+1825201 ~x4658+1825201 ~x4657+1825201 ~x4656+1825201 ~x4654+1825201 ~x4652+1825201 ~x4646+1825201 ~x4645+1825201 ~x4644+1825201 ~x4641+1825201 ~x4640+1825201 ~x4638+1825201 ~x4637+1825201 ~x4636+1825201 ~x4635+1825201 ~x4634+1825201 ~x4633+1825201 ~x4632+1825201 ~x4631+1825201 ~x4629+1825201 ~x4628+1825201 ~x4627+1825201 ~x4626+1825201 ~x4625+1825201 ~x4624+1825201 ~x4623+1825201 ~x4622+1825201 ~x4619+1825201 ~x4618+1825201 ~x4616+1825201 ~x4615+1825201 ~x4613+1825201 ~x4612+1825201 ~x4611+1825201 ~x4610+1825201 ~x4609+1825201 ~x4605+1825201 ~x4603+1825201 ~x4602+1825201 ~x4601+1825201 ~x4600+1825201 ~x4599+1825201 ~x4598+1825201 ~x4597+1825201 ~x4596+1825201 ~x4595+1825201 ~x4594+1825201 ~x4593+1825201 ~x4591+1825201 ~x4589+1825201 ~x4588+1825201 ~x4585+1825201 ~x4584+1825201 ~x4583+1825201 ~x4582+1825201 ~x4581+1825201 ~x4580+1825201 ~x4579+1825201 ~x4577+1825201 ~x4576+1825201 ~x4575+1825201 ~x4573+1825201 ~x4569+1825201 ~x4568+1825201 ~x4567+1825201 ~x4566+1825201 ~x4563+1825201 ~x4562+1825201 ~x4560+1825201 ~x4559+1825201 ~x4556+1825201 ~x4555+1825201 ~x4552+1825201 ~x4551+1825201 ~x4539+1825201 ~x4536+1825201 ~x4534+1825201 ~x4533+1825201 ~x4532+1825201 ~x4531+1825201 ~x4530+1825201 ~x4528+1825201 ~x4526+1825201 ~x4525+1825201 ~x4524+1825201 ~x4523+1825201 ~x4522+1825201 ~x4521+1825201 ~x4520+1825201 ~x4518+1825201 ~x4516+1825201 ~x4514+1825201 ~x4513+1825201 ~x4512+1825201 ~x4511+1825201 ~x4510+1825201 ~x4508+1825201 ~x4507+1825201 ~x4506+1825201 ~x4505+1825201 ~x4504+1825201 ~x4503+1825201 ~x4501+1825201 ~x4500+1825201 ~x4499+1825201 ~x4498+1825201 ~x4497+1825201 ~x4495+1825201 ~x4493+1825201 ~x4491+1825201 ~x4487+1825201 ~x4486+1825201 ~x4484+1825201 ~x4483+1825201 ~x4482+1825201 ~x4481+1825201 ~x4479+1825201 ~x4478+1825201 ~x4474+1825201 ~x4471+1825201 ~x4470+1825201 ~x4469+1825201 ~x4468+1825201 ~x4467+1825201 ~x4465+1825201 ~x4464+1825201 ~x4463+1825201 ~x4461+1825201 ~x4460+1825201 ~x4459+1825201 ~x4458+1825201 ~x4457+1825201 ~x4456+1825201 ~x4455+1825201 ~x4453+1825201 ~x4449+1825201 ~x4446+1825201 ~x4443+1825201 ~x4442+1825201 ~x4441+1825201 ~x4438+1825201 ~x4437+1825201 ~x4436+1825201 ~x4435+1825201 ~x4432+1825201 ~x4431+1825201 ~x4427+1825201 ~x4422+1825201 ~x4421+1825201 ~x4419+1825201 ~x4417+1825201 ~x4415+1825201 ~x4414+1825201 ~x4413+1825201 ~x4409+1825201 ~x4407+1825201 ~x4406+1825201 ~x4404+1825201 ~x4403+1825201 ~x4402+1825201 ~x4401+1825201 ~x4399+1825201 ~x4395+1825201 ~x4393+1825201 ~x4391+1825201 ~x4389+1825201 ~x4388+1825201 ~x4387+1825201 ~x4386+1825201 ~x4385+1825201 ~x4372+1825201 ~x4371+1825201 ~x4370+1825201 ~x4369+1825201 ~x4368+1825201 ~x4366+1825201 ~x4365+1825201 ~x4364+1825201 ~x4363+1825201 ~x4362+1825201 ~x4358+1825201 ~x4357+1825201 ~x4354+1825201 ~x4353+1825201 ~x4352+1825201 ~x4351+1825201 ~x4350+1825201 ~x4349+1825201 ~x4348+1825201 ~x4347+1825201 ~x4346+1825201 ~x4345+1825201 ~x4344+1825201 ~x4343+1825201 ~x4342+1825201 ~x4339+1825201 ~x4338+1825201 ~x4337+1825201 ~x4334+1825201 ~x4333+1825201 ~x4332+1825201 ~x4331+1825201 ~x4330+1825201 ~x4326+1825201 ~x4325+1825201 ~x4324+1825201 ~x4323+1825201 ~x4322+1825201 ~x4321+1825201 ~x4318+1825201 ~x4317+1825201 ~x4315+1825201 ~x4314+1825201 ~x4312+1825201 ~x4311+1825201 ~x4310+1825201 ~x4309+1825201 ~x4308+1825201 ~x4307+1825201 ~x4306+1825201 ~x4304+1825201 ~x4303+1825201 ~x4302+1825201 ~x4301+1825201 ~x4298+1825201 ~x4297+1825201 ~x4296+1825201 ~x4295+1825201 ~x4292+1825201 ~x4291+1825201 ~x4290+1825201 ~x4289+1825201 ~x4287+1825201 ~x4285+1825201 ~x4284+1825201 ~x4283+1825201 ~x4282+1825201 ~x4281+1825201 ~x4279+1825201 ~x4278+1825201 ~x4277+1825201 ~x4276+1825201 ~x4275+1825201 ~x4274+1825201 ~x4265+1825201 ~x4264+1825201 ~x4263+1825201 ~x4262+1825201 ~x4261+1825201 ~x4260+1825201 ~x4259+1825201 ~x4256+1825201 ~x4255+1825201 ~x4254+1825201 ~x4253+1825201 ~x4252+1825201 ~x4246+1825201 ~x4241+1825201 ~x4240+1825201 ~x4238+1825201 ~x4237+1825201 ~x4236+1825201 ~x4235+1825201 ~x4233+1825201 ~x4232+1825201 ~x4231+1825201 ~x4230+1825201 ~x4229+1825201 ~x4228+1825201 ~x4227+1825201 ~x4226+1825201 ~x4224+1825201 ~x4223+1825201 ~x4219+1825201 ~x4210+1825201 ~x4209+1825201 ~x4208+1825201 ~x4207+1825201 ~x4204+1825201 ~x4203+1825201 ~x4201+1825201 ~x4199+1825201 ~x4198+1825201 ~x4197+1825201 ~x4196+1825201 ~x4194+1825201 ~x4193+1825201 ~x4189+1825201 ~x4185+1825201 ~x4182+1825201 ~x4181+1825201 ~x4180+1825201 ~x4179+1825201 ~x4178+1825201 ~x4177+1825201 ~x4176+1825201 ~x4175+1825201 ~x4174+1825201 ~x4170+1825201 ~x4169+1825201 ~x4168+1825201 ~x4167+1825201 ~x4166+1825201 ~x4165+1825201 ~x4164+1825201 ~x4163+1825201 ~x4162+1825201 ~x4161+1825201 ~x4160+1825201 ~x4159+1825201 ~x4157+1825201 ~x4156+1825201 ~x4155+1825201 ~x4154+1825201 ~x4153+1825201 ~x4152+1825201 ~x4151+1825201 ~x4150+1825201 ~x4149+1825201 ~x4148+1825201 ~x4147+1825201 ~x4146+1825201 ~x4145+1825201 ~x4144+1825201 ~x4138+1825201 ~x4137+1825201 ~x4136+1825201 ~x4135+1825201 ~x4133+1825201 ~x4131+1825201 ~x4130+1825201 ~x4129+1825201 ~x4128+1825201 ~x4127+1825201 ~x4125+1825201 ~x4122+1825201 ~x4119+1825201 ~x4118+1825201 ~x4117+1825201 ~x4116+1825201 ~x4114+1825201 ~x4113+1825201 ~x4112+1825201 ~x4110+1825201 ~x4107+1825201 ~x4105+1825201 ~x4104+1825201 ~x4103+1825201 ~x4102+1825201 ~x4101+1825201 ~x4100+1825201 ~x4095+1825201 ~x4094+1825201 ~x4093+1825201 ~x4085+1825201 ~x4084+1825201 ~x4083+1825201 ~x4082+1825201 ~x4081+1825201 ~x4080+1825201 ~x4079+1825201 ~x4077+1825201 ~x4076+1825201 ~x4075+1825201 ~x4074+1825201 ~x4073+1825201 ~x4071+1825201 ~x4070+1825201 ~x4069+1825201 ~x4068+1825201 ~x4067+1825201 ~x4065+1825201 ~x4064+1825201 ~x4062+1825201 ~x4055+1825201 ~x4054+1825201 ~x4053+1825201 ~x4052+1825201 ~x4051+1825201 ~x4050+1825201 ~x4049+1825201 ~x4047+1825201 ~x4046+1825201 ~x4045+1825201 ~x4044+1825201 ~x4041+1825201 ~x4039+1825201 ~x4036+1825201 ~x4035+1825201 ~x4034+1825201 ~x4033+1825201 ~x4032+1825201 ~x4031+1825201 ~x4030+1825201 ~x4029+1825201 ~x4028+1825201 ~x4027+1825201 ~x4026+1825201 ~x4025+1825201 ~x4024+1825201 ~x4023+1825201 ~x4022+1825201 ~x4021+1825201 ~x4020+1825201 ~x4019+1825201 ~x4018+1825201 ~x4015+1825201 ~x4014+1825201 ~x4010+1825201 ~x4009+1825201 ~x4008+1825201 ~x4007+1825201 ~x4005+1825201 ~x4004+1825201 ~x3999+1825201 ~x3997+1825201 ~x3996+1825201 ~x3995+1825201 ~x3994+1825201 ~x3993+1825201 ~x3992+1825201 ~x3991+1825201 ~x3990+1825201 ~x3986+1825201 ~x3985+1825201 ~x3984+1825201 ~x3983+1825201 ~x3982+1825201 ~x3980+1825201 ~x3979+1825201 ~x3978+1825201 ~x3977+1825201 ~x3976+1825201 ~x3974+1825201 ~x3973+1825201 ~x3972+1825201 ~x3971+1825201 ~x3969+1825201 ~x3967+1825201 ~x3966+1825201 ~x3965+1825201 ~x3964+1825201 ~x3963+1825201 ~x3962+1825201 ~x3961+1825201 ~x3960+1825201 ~x3959+1825201 ~x3958+1825201 ~x3957+1825201 ~x3956+1825201 ~x3955+1825201 ~x3954+1825201 ~x3953+1825201 ~x3949+1825201 ~x3947+1825201 ~x3946+1825201 ~x3945+1825201 ~x3937+1825201 ~x3936+1825201 ~x3935+1825201 ~x3933+1825201 ~x3932+1825201 ~x3931+1825201 ~x3930+1825201 ~x3929+1825201 ~x3928+1825201 ~x3927+1825201 ~x3926+1825201 ~x3925+1825201 ~x3920+1825201 ~x3919+1825201 ~x3918+1825201 ~x3917+1825201 ~x3916+1825201 ~x3913+1825201 ~x3912+1825201 ~x3907+1825201 ~x3906+1825201 ~x3903+1825201 ~x3902+1825201 ~x3901+1825201 ~x3899+1825201 ~x3898+1825201 ~x3897+1825201 ~x3896+1825201 ~x3895+1825201 ~x3894+1825201 ~x3893+1825201 ~x3892+1825201 ~x3891+1825201 ~x3890+1825201 ~x3889+1825201 ~x3888+1825201 ~x3887+1825201 ~x3886+1825201 ~x3885+1825201 ~x3884+1825201 ~x3883+1825201 ~x3881+1825201 ~x3880+1825201 ~x3879+1825201 ~x3878+1825201 ~x3864+1825201 ~x3854+1825201 ~x3853+1825201 ~x3850+1825201 ~x3849+1825201 ~x3848+1825201 ~x3847+1825201 ~x3846+1825201 ~x3845+1825201 ~x3844+1825201 ~x3843+1825201 ~x3842+1825201 ~x3841+1825201 ~x3840+1825201 ~x3839+1825201 ~x3837+1825201 ~x3836+1825201 ~x3835+1825201 ~x3834+1825201 ~x3827+1825201 ~x3826+1825201 ~x3824+1825201 ~x3823+1825201 ~x3822+1825201 ~x3821+1825201 ~x3820+1825201 ~x3818+1825201 ~x3816+1825201 ~x3815+1825201 ~x3814+1825201 ~x3813+1825201 ~x3812+1825201 ~x3811+1825201 ~x3810+1825201 ~x3806+1825201 ~x3805+1825201 ~x3802+1825201 ~x3801+1825201 ~x3800+1825201 ~x3799+1825201 ~x3798+1825201 ~x3797+1825201 ~x3796+1825201 ~x3794+1825201 ~x3793+1825201 ~x3792+1825201 ~x3791+1825201 ~x3790+1825201 ~x3789+1825201 ~x3788+1825201 ~x3786+1825201 ~x3783+1825201 ~x3782+1825201 ~x3781+1825201 ~x3780+1825201 ~x3779+1825201 ~x3778+1825201 ~x3777+1825201 ~x3776+1825201 ~x3774+1825201 ~x3772+1825201 ~x3771+1825201 ~x3770+1825201 ~x3769+1825201 ~x3768+1825201 ~x3767+1825201 ~x3766+1825201 ~x3762+1825201 ~x3761+1825201 ~x3760+1825201 ~x3759+1825201 ~x3758+1825201 ~x3756+1825201 ~x3754+1825201 ~x3753+1825201 ~x3752+1825201 ~x3751+1825201 ~x3750+1825201 ~x3748+1825201 ~x3747+1825201 ~x3746+1825201 ~x3744+1825201 ~x3741+1825201 ~x3740+1825201 ~x3739+1825201 ~x3738+1825201 ~x3737+1825201 ~x3736+1825201 ~x3735+1825201 ~x3734+1825201 ~x3733+1825201 ~x3732+1825201 ~x3731+1825201 ~x3730+1825201 ~x3728+1825201 ~x3727+1825201 ~x3726+1825201 ~x3724+1825201 ~x3723+1825201 ~x3722+1825201 ~x3717+1825201 ~x3716+1825201 ~x3714+1825201 ~x3713+1825201 ~x3712+1825201 ~x3711+1825201 ~x3710+2465846551 ~x3709+2465846551 ~x3708+2465846551 ~x3707+2465846551 ~x3706+2465846551 ~x3705+2465846551 ~x3704+2465846551 ~x3703+2465846551 ~x3702+2465846551 ~x3701+2465846551 ~x3700+2465846551 ~x3699+2465846551 ~x3698+2465846551 ~x3697+2465846551 ~x3696+2465846551 ~x3695+2465846551 ~x3694+2465846551 ~x3693+2465846551 ~x3692+2465846551 ~x3691+2465846551 ~x3690+2465846551 ~x3689+2465846551 ~x3688+2465846551 ~x3687+2465846551 ~x3686+2465846551 ~x3685+2465846551 ~x3684+2465846551 ~x3683+2465846551 ~x3682+2465846551 ~x3681+2465846551 ~x3680+2465846551 ~x3679+2465846551 ~x3678+2465846551 ~x3677+2465846551 ~x3676+2465846551 ~x3675+2465846551 ~x3674+2465846551 ~x3673+2465846551 ~x3671+2465846551 ~x3667+2465846551 ~x3666+2465846551 ~x3665+2465846551 ~x3664+2465846551 ~x3663+2465846551 ~x3662+2465846551 ~x3661+2465846551 ~x3660+2465846551 ~x3659+2465846551 ~x3658+2465846551 ~x3657+2465846551 ~x3656+2465846551 ~x3654+2465846551 ~x3653+2465846551 ~x3652+2465846551 ~x3651+2465846551 ~x3650+2465846551 ~x3649+2465846551 ~x3648+2465846551 ~x3647+2465846551 ~x3646+2465846551 ~x3645+2465846551 ~x3644+2465846551 ~x3643+2465846551 ~x3642+2465846551 ~x3641+2465846551 ~x3640+2465846551 ~x3639+2465846551 ~x3638+2465846551 ~x3637+2465846551 ~x3636+2465846551 ~x3635+2465846551 ~x3634+2465846551 ~x3633+2465846551 ~x3632+2465846551 ~x3631+2465846551 ~x3630+2465846551 ~x3629+2465846551 ~x3628+2465846551 ~x3627+2465846551 ~x3626+2465846551 ~x3625+2465846551 ~x3624+2465846551 ~x3623+2465846551 ~x3622+2465846551 ~x3621+2465846551 ~x3620+2465846551 ~x3619+2465846551 ~x3618+2465846551 ~x3617+2465846551 ~x3616+2465846551 ~x3615+2465846551 ~x3614+2465846551 ~x3613+2465846551 ~x3612+2465846551 ~x3611+2465846551 ~x3610+2465846551 ~x3609+2465846551 ~x3608+2465846551 ~x3607+2465846551 ~x3606+2465846551 ~x3605+2465846551 ~x3604+2465846551 ~x3603+2465846551 ~x3601+2465846551 ~x3600+2465846551 ~x3599+2465846551 ~x3598+2465846551 ~x3597+2465846551 ~x3596+2465846551 ~x3595+2465846551 ~x3594+2465846551 ~x3593+2465846551 ~x3592+2465846551 ~x3591+2465846551 ~x3590+2465846551 ~x3589+2465846551 ~x3588+2465846551 ~x3587+2465846551 ~x3586+2465846551 ~x3585+2465846551 ~x3584+2465846551 ~x3583+2465846551 ~x3582+2465846551 ~x3581+2465846551 ~x3580+2465846551 ~x3579+2465846551 ~x3578+2465846551 ~x3577+2465846551 ~x3576+2465846551 ~x3575+2465846551 ~x3574+2465846551 ~x3573+2465846551 ~x3572+2465846551 ~x3571+2465846551 ~x3570+2465846551 ~x3569+2465846551 ~x3568+2465846551 ~x3567+2465846551 ~x3566+2465846551 ~x3565+2465846551 ~x3564+2465846551 ~x3563+2465846551 ~x3562+2465846551 ~x3561+2465846551 ~x3560+2465846551 ~x3559+2465846551 ~x3558+2465846551 ~x3557+2465846551 ~x3556+2465846551 ~x3555+2465846551 ~x3554+2465846551 ~x3553+2465846551 ~x3552+2465846551 ~x3551+2465846551 ~x3550+2465846551 ~x3549+2465846551 ~x3548+2465846551 ~x3547+2465846551 ~x3546+2465846551 ~x3545+2465846551 ~x3544+2465846551 ~x3543+2465846551 ~x3542+2465846551 ~x3541+2465846551 ~x3540+2465846551 ~x3539+2465846551 ~x3538+2465846551 ~x3537+2465846551 ~x3536+2465846551 ~x3535+2465846551 ~x3533+2465846551 ~x3532+2465846551 ~x3531+2465846551 ~x3530+2465846551 ~x3529+2465846551 ~x3528+2465846551 ~x3527+2465846551 ~x3526+2465846551 ~x3525+2465846551 ~x3524+2465846551 ~x3523+2465846551 ~x3522+2465846551 ~x3521+2465846551 ~x3520+2465846551 ~x3519+2465846551 ~x3518+2465846551 ~x3517+2465846551 ~x3516+2465846551 ~x3515+2465846551 ~x3514+2465846551 ~x3513+2465846551 ~x3512+2465846551 ~x3511+2465846551 ~x3510+2465846551 ~x3509+2465846551 ~x3508+2465846551 ~x3507+2465846551 ~x3506+2465846551 ~x3505+2465846551 ~x3504+2465846551 ~x3503+2465846551 ~x3502+2465846551 ~x3501+2465846551 ~x3500+2465846551 ~x3499+2465846551 ~x3498+2465846551 ~x3497+2465846551 ~x3496+2465846551 ~x3495+2465846551 ~x3494+2465846551 ~x3493+2465846551 ~x3492+2465846551 ~x3491+2465846551 ~x3490+2465846551 ~x3489+2465846551 ~x3488+2465846551 ~x3487+2465846551 ~x3486+2465846551 ~x3485+2465846551 ~x3484+2465846551 ~x3483+2465846551 ~x3482+2465846551 ~x3481+2465846551 ~x3480+2465846551 ~x3479+2465846551 ~x3478+2465846551 ~x3477+2465846551 ~x3476+2465846551 ~x3475+2465846551 ~x3474+2465846551 ~x3473+2465846551 ~x3472+2465846551 ~x3471+2465846551 ~x3470+2465846551 ~x3469+2465846551 ~x3468+2465846551 ~x3467+2465846551 ~x3466+2465846551 ~x3465+2465846551 ~x3464+2465846551 ~x3463+2465846551 ~x3462+2465846551 ~x3461+2465846551 ~x3460+2465846551 ~x3459+2465846551 ~x3458+2465846551 ~x3457+2465846551 ~x3456+2465846551 ~x3455+2465846551 ~x3454+2465846551 ~x3453+2465846551 ~x3452+2465846551 ~x3451+2465846551 ~x3450+2465846551 ~x3449+2465846551 ~x3448+2465846551 ~x3447+2465846551 ~x3446+2465846551 ~x3445+2465846551 ~x3444+2465846551 ~x3443+2465846551 ~x3442+2465846551 ~x3441+2465846551 ~x3440+2465846551 ~x3439+2465846551 ~x3438+2465846551 ~x3437+2465846551 ~x3436+2465846551 ~x3435+2465846551 ~x3434+2465846551 ~x3433+2465846551 ~x3432+2465846551 ~x3431+2465846551 ~x3430+2465846551 ~x3429+2465846551 ~x3428+2465846551 ~x3427+2465846551 ~x3426+2465846551 ~x3425+2465846551 ~x3424+2465846551 ~x3423+2465846551 ~x3422+2465846551 ~x3421+2465846551 ~x3420+2465846551 ~x3419+2465846551 ~x3418+2465846551 ~x3417+2465846551 ~x3416+2465846551 ~x3415+2465846551 ~x3414+2465846551 ~x3412+2465846551 ~x3411+2465846551 ~x3410+2465846551 ~x3409+2465846551 ~x3408+2465846551 ~x3407+2465846551 ~x3406+2465846551 ~x3405+2465846551 ~x3404+2465846551 ~x3403+2465846551 ~x3402+2465846551 ~x3401+2465846551 ~x3400+2465846551 ~x3399+2465846551 ~x3398+2465846551 ~x3397+2465846551 ~x3396+2465846551 ~x3395+2465846551 ~x3393+2465846551 ~x3392+2465846551 ~x3391+2465846551 ~x3390+2465846551 ~x3389+2465846551 ~x3388+2465846551 ~x3387+2465846551 ~x3386+2465846551 ~x3385+2465846551 ~x3384+2465846551 ~x3383+2465846551 ~x3382+2465846551 ~x3381+2465846551 ~x3380+2465846551 ~x3379+2465846551 ~x3378+2465846551 ~x3377+2465846551 ~x3376+2465846551 ~x3375+2465846551 ~x3374+2465846551 ~x3373+2465846551 ~x3372+2465846551 ~x3371+2465846551 ~x3370+2465846551 ~x3369+2465846551 ~x3368+2465846551 ~x3367+2465846551 ~x3366+2465846551 ~x3365+2465846551 ~x3364+2465846551 ~x3363+2465846551 ~x3362+2465846551 ~x3361+2465846551 ~x3360+2465846551 ~x3359+2465846551 ~x3358+2465846551 ~x3357+2465846551 ~x3356+2465846551 ~x3355+2465846551 ~x3354+2465846551 ~x3353+2465846551 ~x3352+2465846551 ~x3351+2465846551 ~x3350+2465846551 ~x3349+2465846551 ~x3348+2465846551 ~x3347+2465846551 ~x3346+2465846551 ~x3345+2465846551 ~x3344+2465846551 ~x3343+2465846551 ~x3342+2465846551 ~x3341+2465846551 ~x3340+2465846551 ~x3339+2465846551 ~x3338+2465846551 ~x3337+2465846551 ~x3336+2465846551 ~x3335+2465846551 ~x3334+2465846551 ~x3333+2465846551 ~x3332+2465846551 ~x3331+2465846551 ~x3330+2465846551 ~x3329+2465846551 ~x3328+2465846551 ~x3327+2465846551 ~x3326+2465846551 ~x3325+2465846551 ~x3324+2465846551 ~x3323+2465846551 ~x3322+2465846551 ~x3321+2465846551 ~x3320+2465846551 ~x3319+2465846551 ~x3318+2465846551 ~x3317+2465846551 ~x3316+2465846551 ~x3315+2465846551 ~x3314+2465846551 ~x3313+2465846551 ~x3312+2465846551 ~x3311+2465846551 ~x3310+2465846551 ~x3309+2465846551 ~x3308+2465846551 ~x3307+2465846551 ~x3306+2465846551 ~x3305+2465846551 ~x3304+2465846551 ~x3303+2465846551 ~x3302+2465846551 ~x3301+2465846551 ~x3300+2465846551 ~x3299+2465846551 ~x3298+2465846551 ~x3297+2465846551 ~x3296+2465846551 ~x3295+2465846551 ~x3294+2465846551 ~x3293+2465846551 ~x3292+2465846551 ~x3291+2465846551 ~x3290+2465846551 ~x3289+2465846551 ~x3288+2465846551 ~x3287+2465846551 ~x3286+2465846551 ~x3285+2465846551 ~x3284+2465846551 ~x3283+2465846551 ~x3282+2465846551 ~x3281+2465846551 ~x3280+2465846551 ~x3279+2465846551 ~x3278+2465846551 ~x3277+2465846551 ~x3276+2465846551 ~x3275+2465846551 ~x3274+2465846551 ~x3273+2465846551 ~x3272+2465846551 ~x3271+2465846551 ~x3270+2465846551 ~x3269+2465846551 ~x3268+2465846551 ~x3267+2465846551 ~x3266+2465846551 ~x3265+2465846551 ~x3264+2465846551 ~x3263+2465846551 ~x3262+2465846551 ~x3261+2465846551 ~x3260+2465846551 ~x3259+2465846551 ~x3258+2465846551 ~x3257+2465846551 ~x3256+2465846551 ~x3255+2465846551 ~x3254+2465846551 ~x3253+2465846551 ~x3252+2465846551 ~x3251+2465846551 ~x3250+2465846551 ~x3249+2465846551 ~x3248+2465846551 ~x3247+2465846551 ~x3246+2465846551 ~x3245+2465846551 ~x3243+2465846551 ~x3242+2465846551 ~x3241+2465846551 ~x3240+2465846551 ~x3239+2465846551 ~x3238+2465846551 ~x3237+2465846551 ~x3236+2465846551 ~x3235+2465846551 ~x3234+2465846551 ~x3233+2465846551 ~x3232+2465846551 ~x3231+2465846551 ~x3230+2465846551 ~x3229+2465846551 ~x3228+2465846551 ~x3227+2465846551 ~x3226+2465846551 ~x3225+2465846551 ~x3224+2465846551 ~x3223+2465846551 ~x3222+2465846551 ~x3221+2465846551 ~x3220+2465846551 ~x3219+2465846551 ~x3218+2465846551 ~x3217+2465846551 ~x3216+2465846551 ~x3215+2465846551 ~x3214+2465846551 ~x3213+2465846551 ~x3212+2465846551 ~x3211+2465846551 ~x3210+2465846551 ~x3209+2465846551 ~x3208+2465846551 ~x3207+2465846551 ~x3206+2465846551 ~x3205+2465846551 ~x3204+2465846551 ~x3203+2465846551 ~x3202+2465846551 ~x3201+2465846551 ~x3200+2465846551 ~x3199+2465846551 ~x3198+2465846551 ~x3197+2465846551 ~x3196+2465846551 ~x3195+2465846551 ~x3194+2465846551 ~x3193+2465846551 ~x3192+2465846551 ~x3191+2465846551 ~x3190+2465846551 ~x3189+2465846551 ~x3188+2465846551 ~x3187+2465846551 ~x3186+2465846551 ~x3185+2465846551 ~x3184+2465846551 ~x3183+2465846551 ~x3182+2465846551 ~x3181+2465846551 ~x3180+2465846551 ~x3179+2465846551 ~x3178+2465846551 ~x3177+2465846551 ~x3176+2465846551 ~x3175+2465846551 ~x3174+2465846551 ~x3173+2465846551 ~x3172+2465846551 ~x3171+2465846551 ~x3170+2465846551 ~x3169+2465846551 ~x3168+2465846551 ~x3167+2465846551 ~x3166+2465846551 ~x3165+2465846551 ~x3164+2465846551 ~x3163+2465846551 ~x3162+2465846551 ~x3161+2465846551 ~x3160+2465846551 ~x3159-0=215

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.05 3/106 32740
/proc/meminfo: memFree=1845748/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0

[startup+0.0555231 s]
/proc/loadavg: 1.00 1.00 1.05 3/106 32740
/proc/meminfo: memFree=1845748/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100526 s]
/proc/loadavg: 1.00 1.00 1.05 3/106 32740
/proc/meminfo: memFree=1845748/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300559 s]
/proc/loadavg: 1.00 1.00 1.05 3/106 32740
/proc/meminfo: memFree=1845748/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700599 s]
/proc/loadavg: 1.00 1.00 1.05 3/106 32740
/proc/meminfo: memFree=1845748/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50066 s]
/proc/loadavg: 1.00 1.00 1.05 2/108 32743
/proc/meminfo: memFree=1633692/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0
[pid=32742] ppid=32740 vsize=308896 CPUtime=1.48
/proc/32742/stat : 32742 (PBPASSolver) R 32740 32740 31896 0 -1 4202496 76753 0 0 0 63 85 0 0 25 0 1 0 92792386 316309504 76594 1992294400 134512640 134902295 4288985280 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/32742/statm: 77224 76597 256 96 0 76414 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 317596

[startup+3.10082 s]
/proc/loadavg: 1.00 1.00 1.05 2/108 32743
/proc/meminfo: memFree=1430704/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0
[pid=32742] ppid=32740 vsize=586144 CPUtime=3.08
/proc/32742/stat : 32742 (PBPASSolver) R 32740 32740 31896 0 -1 4202496 146108 0 0 0 148 160 0 0 25 0 1 0 92792386 600211456 145949 1992294400 134512640 134902295 4288985280 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/32742/statm: 146536 145949 256 96 0 145726 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 594844

[startup+6.30113 s]
/proc/loadavg: 1.00 1.00 1.05 2/108 32743
/proc/meminfo: memFree=915608/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0
[pid=32742] ppid=32740 vsize=1054720 CPUtime=6.28
/proc/32742/stat : 32742 (PBPASSolver) R 32740 32740 31896 0 -1 4202496 263213 0 0 0 337 291 0 0 25 0 1 0 92792386 1080033280 263054 1992294400 134512640 134902295 4288985280 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/32742/statm: 263680 263059 256 96 0 262870 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1063420

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.05 2/108 32743
/proc/meminfo: memFree=563820/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0
[pid=32742] ppid=32740 vsize=1291880 CPUtime=12.68
/proc/32742/stat : 32742 (PBPASSolver) R 32740 32740 31896 0 -1 4202496 328862 0 0 0 924 344 0 0 25 0 1 0 92792386 1322885120 322279 1992294400 134512640 134902295 4288985280 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/32742/statm: 322970 322279 261 96 0 322160 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1300580

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.05 2/108 32743
/proc/meminfo: memFree=468464/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0
[pid=32742] ppid=32740 vsize=1380904 CPUtime=25.47
/proc/32742/stat : 32742 (PBPASSolver) R 32740 32740 31896 0 -1 4202496 351047 0 0 0 2195 352 0 0 25 0 1 0 92792386 1414045696 344400 1992294400 134512640 134902295 4288985280 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/32742/statm: 345226 344400 262 96 0 344416 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1389604

[startup+51.1005 s]
/proc/loadavg: 1.00 1.00 1.04 2/108 32743
/proc/meminfo: memFree=292944/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0
[pid=32742] ppid=32740 vsize=1556272 CPUtime=51.05
/proc/32742/stat : 32742 (PBPASSolver) R 32740 32740 31896 0 -1 4202496 397633 0 2 0 4735 370 0 0 25 0 1 0 92792386 1593622528 387495 1992294400 134512640 134902295 4288985280 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/32742/statm: 389068 387495 269 96 0 388258 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 1564972

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.04 2/108 32745
/proc/meminfo: memFree=132488/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0
[pid=32742] ppid=32740 vsize=1734332 CPUtime=102.25
/proc/32742/stat : 32742 (PBPASSolver) R 32740 32740 31896 0 -1 4202496 448820 0 2 0 9831 394 0 0 25 0 1 0 92792386 1775955968 427450 1992294400 134512640 134902295 4288985280 18446744073709551615 4160609285 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/32742/statm: 433583 427450 269 96 0 432773 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1743032

[startup+162.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/108 32747
/proc/meminfo: memFree=132364/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0
[pid=32742] ppid=32740 vsize=1734332 CPUtime=162.22
/proc/32742/stat : 32742 (PBPASSolver) R 32740 32740 31896 0 -1 4202496 448830 0 2 0 15828 394 0 0 25 0 1 0 92792386 1775955968 427460 1992294400 134512640 134902295 4288985280 18446744073709551615 4160590629 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/32742/statm: 433583 427460 269 96 0 432773 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 1743032

[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/108 32749
/proc/meminfo: memFree=115872/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0
[pid=32742] ppid=32740 vsize=1751488 CPUtime=222.21
/proc/32742/stat : 32742 (PBPASSolver) R 32740 32740 31896 0 -1 4202496 452998 0 2 0 21825 396 0 0 25 0 1 0 92792386 1793523712 431628 1992294400 134512640 134902295 4288985280 18446744073709551615 4160623598 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/32742/statm: 437872 431628 269 96 0 437062 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 1760188

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/108 32751
/proc/meminfo: memFree=106696/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0
[pid=32742] ppid=32740 vsize=1760612 CPUtime=282.2
/proc/32742/stat : 32742 (PBPASSolver) R 32740 32740 31896 0 -1 4202496 455267 0 2 0 27822 398 0 0 25 0 1 0 92792386 1802866688 433897 1992294400 134512640 134902295 4288985280 18446744073709551615 4160609385 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/32742/statm: 440153 433897 269 96 0 439343 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 1769312

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/108 32751
/proc/meminfo: memFree=100248/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0
[pid=32742] ppid=32740 vsize=1766836 CPUtime=342.18
/proc/32742/stat : 32742 (PBPASSolver) R 32740 32740 31896 0 -1 4202496 456848 0 2 0 33818 400 0 0 25 0 1 0 92792386 1809240064 435478 1992294400 134512640 134902295 4288985280 18446744073709551615 4160623625 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/32742/statm: 441709 435478 269 96 0 440899 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1775536

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/108 32753
/proc/meminfo: memFree=93180/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0
[pid=32742] ppid=32740 vsize=1774148 CPUtime=402.17
/proc/32742/stat : 32742 (PBPASSolver) R 32740 32740 31896 0 -1 4202496 458650 0 2 0 39815 402 0 0 25 0 1 0 92792386 1816727552 437280 1992294400 134512640 134902295 4288985280 18446744073709551615 4160621820 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/32742/statm: 443537 437280 269 96 0 442727 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1782848

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 32755
/proc/meminfo: memFree=82144/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0
[pid=32742] ppid=32740 vsize=1784972 CPUtime=462.15
/proc/32742/stat : 32742 (PBPASSolver) R 32740 32740 31896 0 -1 4202496 461378 0 2 0 45810 405 0 0 25 0 1 0 92792386 1827811328 440008 1992294400 134512640 134902295 4288985280 18446744073709551615 4160590488 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/32742/statm: 446243 440008 269 96 0 445433 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1793672

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 32757
/proc/meminfo: memFree=72968/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0
[pid=32742] ppid=32740 vsize=1794384 CPUtime=522.13
/proc/32742/stat : 32742 (PBPASSolver) R 32740 32740 31896 0 -1 4202496 463691 0 2 0 51806 407 0 0 25 0 1 0 92792386 1837449216 442321 1992294400 134512640 134902295 4288985280 18446744073709551615 4160620856 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/32742/statm: 448596 442321 269 96 0 447786 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1803084

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 32759
/proc/meminfo: memFree=65032/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0
[pid=32742] ppid=32740 vsize=1801940 CPUtime=582.11
/proc/32742/stat : 32742 (PBPASSolver) R 32740 32740 31896 0 -1 4202496 465603 0 2 0 57802 409 0 0 25 0 1 0 92792386 1845186560 444233 1992294400 134512640 134902295 4288985280 18446744073709551615 4160620670 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/32742/statm: 450485 444233 269 96 0 449675 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 1810640

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 32759
/proc/meminfo: memFree=58832/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0
[pid=32742] ppid=32740 vsize=1808052 CPUtime=642.11
/proc/32742/stat : 32742 (PBPASSolver) R 32740 32740 31896 0 -1 4202496 467113 0 2 0 63800 411 0 0 25 0 1 0 92792386 1851445248 445743 1992294400 134512640 134902295 4288985280 18446744073709551615 4160620890 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/32742/statm: 452013 445743 269 96 0 451203 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1816752

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 32761
/proc/meminfo: memFree=50152/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0
[pid=32742] ppid=32740 vsize=1816928 CPUtime=702.09
/proc/32742/stat : 32742 (PBPASSolver) R 32740 32740 31896 0 -1 4202496 469295 0 2 0 69796 413 0 0 25 0 1 0 92792386 1860534272 447925 1992294400 134512640 134902295 4288985280 18446744073709551615 4160609406 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/32742/statm: 454232 447925 269 96 0 453422 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 1825628

[startup+762.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 32763
/proc/meminfo: memFree=43332/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0
[pid=32742] ppid=32740 vsize=1823592 CPUtime=762.08
/proc/32742/stat : 32742 (PBPASSolver) R 32740 32740 31896 0 -1 4202496 470959 0 2 0 75793 415 0 0 25 0 1 0 92792386 1867358208 449588 1992294400 134512640 134902295 4288985280 18446744073709551615 4160620847 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/32742/statm: 455898 449588 269 96 0 455088 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 1832292

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 32765
/proc/meminfo: memFree=33164/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0
[pid=32742] ppid=32740 vsize=1833636 CPUtime=822.06
/proc/32742/stat : 32742 (PBPASSolver) R 32740 32740 31896 0 -1 4202496 473513 0 2 0 81788 418 0 0 25 0 1 0 92792386 1877643264 452142 1992294400 134512640 134902295 4288985280 18446744073709551615 4160620863 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/32742/statm: 458409 452142 269 96 0 457599 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 1842336



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+826.402 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 32765
/proc/meminfo: memFree=32296/2059040 swapFree=4140788/4192956
[pid=32740] ppid=32738 vsize=8700 CPUtime=0
/proc/32740/stat : 32740 (run) S 32738 32740 31896 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 92792385 8908800 251 1992294400 4194304 4922060 140734325053408 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32740/statm: 2175 251 211 178 0 68 0
[pid=32742] ppid=32740 vsize=1834564 CPUtime=826.16
/proc/32742/stat : 32742 (PBPASSolver) R 32740 32740 31896 0 -1 4202496 473715 0 2 0 82198 418 0 0 25 0 1 0 92792386 1878593536 452344 1992294400 134512640 134902295 4288985280 18446744073709551615 4160609113 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/32742/statm: 458641 452344 269 96 0 457831 0
Current children cumulated CPU time (s) 826.16
Current children cumulated vsize (KiB) 1843264

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

Real time (s): 826.415
CPU time (s): 826.16
CPU user time (s): 821.98
CPU system time (s): 4.18
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 1843264

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

runsolver used 1.37879 second user time and 3.90241 second system time

The end

Begin job on node036 at 2010-06-26 03:16:35
IDJOB=2684328
IDBENCH=72349
IDSOLVER=1174
FILE ID=node036/2684328-1277514995
PBS_JOBID= 11190622
Free space on /tmp= 62376 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randaefc7c.cudf.trendy.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684328-1277514995/watcher-2684328-1277514995 -o /tmp/evaluation-result-2684328-1277514995/solver-2684328-1277514995 -C 1800 -W 2000 -M 1800  run HOME/instance-2684328-1277514995.opb

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

MD5SUM BENCH= 750f54149b43e193a04c3af0e8113805
RANDOM SEED=1490526872

node036.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.251
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.50
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.251
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1846268 kB
Buffers:         24088 kB
Cached:          95480 kB
SwapCached:       5120 kB
Active:          89884 kB
Inactive:        43040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1846268 kB
SwapTotal:     4192956 kB
SwapFree:      4140788 kB
Dirty:            1440 kB
Writeback:           0 kB
AnonPages:       12156 kB
Mapped:          11968 kB
Slab:            57836 kB
PageTables:       4160 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182028 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= 62376 MiB
End job on node036 at 2010-06-26 03:30:23