7.19/7.28	c 3115 671 0 0 0 0 0 0
7.19/7.28	c 512 ~x3126+256 ~x3125+128 ~x3124+64 ~x3123+32 ~x3122+16 ~x3121+8 ~x3120+4 ~x3119+2 ~x3118+1 ~x3117+512 ~x1091+256 ~x1090+128 ~x1089+64 ~x1088+32 ~x1087+16 ~x1086+8 ~x1085+4 ~x1084+2 ~x1083+1 ~x1082-0=2046
7.19/7.28	c 512 ~x4428+256 ~x4427+128 ~x4426+64 ~x4425+32 ~x4424+16 ~x4423+8 ~x4422+4 ~x4421+2 ~x4420+1 ~x4419+512 ~x1102+256 ~x1101+128 ~x1100+64 ~x1099+32 ~x1098+16 ~x1097+8 ~x1096+4 ~x1095+2 ~x1094+1 ~x1093-0=2046
7.28/7.31	c 512 ~x5730+256 ~x5729+128 ~x5728+64 ~x5727+32 ~x5726+16 ~x5725+8 ~x5724+4 ~x5723+2 ~x5722+1 ~x5721+512 ~x1113+256 ~x1112+128 ~x1111+64 ~x1110+32 ~x1109+16 ~x1108+8 ~x1107+4 ~x1106+2 ~x1105+1 ~x1104-0=2046
7.28/7.34	c 512 ~x7032+256 ~x7031+128 ~x7030+64 ~x7029+32 ~x7028+16 ~x7027+8 ~x7026+4 ~x7025+2 ~x7024+1 ~x7023+512 ~x1124+256 ~x1123+128 ~x1122+64 ~x1121+32 ~x1120+16 ~x1119+8 ~x1118+4 ~x1117+2 ~x1116+1 ~x1115-0=2046
7.28/7.37	c 512 ~x8334+256 ~x8333+128 ~x8332+64 ~x8331+32 ~x8330+16 ~x8329+8 ~x8328+4 ~x8327+2 ~x8326+1 ~x8325+512 ~x1135+256 ~x1134+128 ~x1133+64 ~x1132+32 ~x1131+16 ~x1130+8 ~x1129+4 ~x1128+2 ~x1127+1 ~x1126-0=2046
7.38/7.43	c 512 ~x9636+256 ~x9635+128 ~x9634+64 ~x9633+32 ~x9632+16 ~x9631+8 ~x9630+4 ~x9629+2 ~x9628+1 ~x9627+512 ~x1146+256 ~x1145+128 ~x1144+64 ~x1143+32 ~x1142+16 ~x1141+8 ~x1140+4 ~x1139+2 ~x1138+1 ~x1137-0=2046
7.38/7.43	c 512 ~x10938+256 ~x10937+128 ~x10936+64 ~x10935+32 ~x10934+16 ~x10933+8 ~x10932+4 ~x10931+2 ~x10930+1 ~x10929+512 ~x1157+256 ~x1156+128 ~x1155+64 ~x1154+32 ~x1153+16 ~x1152+8 ~x1151+4 ~x1150+2 ~x1149+1 ~x1148-0=2046
7.38/7.46	c 512 ~x12240+256 ~x12239+128 ~x12238+64 ~x12237+32 ~x12236+16 ~x12235+8 ~x12234+4 ~x12233+2 ~x12232+1 ~x12231+512 ~x1168+256 ~x1167+128 ~x1166+64 ~x1165+32 ~x1164+16 ~x1163+8 ~x1162+4 ~x1161+2 ~x1160+1 ~x1159-0=2046
7.48/7.50	c 512 ~x13542+256 ~x13541+128 ~x13540+64 ~x13539+32 ~x13538+16 ~x13537+8 ~x13536+4 ~x13535+2 ~x13534+1 ~x13533+512 ~x1179+256 ~x1178+128 ~x1177+64 ~x1176+32 ~x1175+16 ~x1174+8 ~x1173+4 ~x1172+2 ~x1171+1 ~x1170-0=2046
7.48/7.53	c 512 ~x14844+256 ~x14843+128 ~x14842+64 ~x14841+32 ~x14840+16 ~x14839+8 ~x14838+4 ~x14837+2 ~x14836+1 ~x14835+512 ~x1190+256 ~x1189+128 ~x1188+64 ~x1187+32 ~x1186+16 ~x1185+8 ~x1184+4 ~x1183+2 ~x1182+1 ~x1181-0=2046
7.48/7.57	c 512 ~x16146+256 ~x16145+128 ~x16144+64 ~x16143+32 ~x16142+16 ~x16141+8 ~x16140+4 ~x16139+2 ~x16138+1 ~x16137+512 ~x1201+256 ~x1200+128 ~x1199+64 ~x1198+32 ~x1197+16 ~x1196+8 ~x1195+4 ~x1194+2 ~x1193+1 ~x1192-0=2046
7.59/7.61	c 512 ~x17448+256 ~x17447+128 ~x17446+64 ~x17445+32 ~x17444+16 ~x17443+8 ~x17442+4 ~x17441+2 ~x17440+1 ~x17439+512 ~x1212+256 ~x1211+128 ~x1210+64 ~x1209+32 ~x1208+16 ~x1207+8 ~x1206+4 ~x1205+2 ~x1204+1 ~x1203-0=2046
7.59/7.68	c 512 ~x18750+256 ~x18749+128 ~x18748+64 ~x18747+32 ~x18746+16 ~x18745+8 ~x18744+4 ~x18743+2 ~x18742+1 ~x18741+512 ~x1223+256 ~x1222+128 ~x1221+64 ~x1220+32 ~x1219+16 ~x1218+8 ~x1217+4 ~x1216+2 ~x1215+1 ~x1214-0=2046
7.59/7.68	c 512 ~x20052+256 ~x20051+128 ~x20050+64 ~x20049+32 ~x20048+16 ~x20047+8 ~x20046+4 ~x20045+2 ~x20044+1 ~x20043+512 ~x1234+256 ~x1233+128 ~x1232+64 ~x1231+32 ~x1230+16 ~x1229+8 ~x1228+4 ~x1227+2 ~x1226+1 ~x1225-0=2046
7.69/7.71	c 512 ~x21354+256 ~x21353+128 ~x21352+64 ~x21351+32 ~x21350+16 ~x21349+8 ~x21348+4 ~x21347+2 ~x21346+1 ~x21345+512 ~x1245+256 ~x1244+128 ~x1243+64 ~x1242+32 ~x1241+16 ~x1240+8 ~x1239+4 ~x1238+2 ~x1237+1 ~x1236-0=2046
7.69/7.74	c 512 ~x22656+256 ~x22655+128 ~x22654+64 ~x22653+32 ~x22652+16 ~x22651+8 ~x22650+4 ~x22649+2 ~x22648+1 ~x22647+512 ~x1256+256 ~x1255+128 ~x1254+64 ~x1253+32 ~x1252+16 ~x1251+8 ~x1250+4 ~x1249+2 ~x1248+1 ~x1247-0=2046
7.69/7.77	c 512 ~x23958+256 ~x23957+128 ~x23956+64 ~x23955+32 ~x23954+16 ~x23953+8 ~x23952+4 ~x23951+2 ~x23950+1 ~x23949+512 ~x1267+256 ~x1266+128 ~x1265+64 ~x1264+32 ~x1263+16 ~x1262+8 ~x1261+4 ~x1260+2 ~x1259+1 ~x1258-0=2046
7.78/7.80	c 512 ~x25260+256 ~x25259+128 ~x25258+64 ~x25257+32 ~x25256+16 ~x25255+8 ~x25254+4 ~x25253+2 ~x25252+1 ~x25251+512 ~x1278+256 ~x1277+128 ~x1276+64 ~x1275+32 ~x1274+16 ~x1273+8 ~x1272+4 ~x1271+2 ~x1270+1 ~x1269-0=2046
7.78/7.86	c 512 ~x26562+256 ~x26561+128 ~x26560+64 ~x26559+32 ~x26558+16 ~x26557+8 ~x26556+4 ~x26555+2 ~x26554+1 ~x26553+512 ~x1289+256 ~x1288+128 ~x1287+64 ~x1286+32 ~x1285+16 ~x1284+8 ~x1283+4 ~x1282+2 ~x1281+1 ~x1280-0=2046
7.78/7.86	c 512 ~x27864+256 ~x27863+128 ~x27862+64 ~x27861+32 ~x27860+16 ~x27859+8 ~x27858+4 ~x27857+2 ~x27856+1 ~x27855+512 ~x1300+256 ~x1299+128 ~x1298+64 ~x1297+32 ~x1296+16 ~x1295+8 ~x1294+4 ~x1293+2 ~x1292+1 ~x1291-0=2046
7.78/7.89	c 512 ~x29166+256 ~x29165+128 ~x29164+64 ~x29163+32 ~x29162+16 ~x29161+8 ~x29160+4 ~x29159+2 ~x29158+1 ~x29157+512 ~x1311+256 ~x1310+128 ~x1309+64 ~x1308+32 ~x1307+16 ~x1306+8 ~x1305+4 ~x1304+2 ~x1303+1 ~x1302-0=2046
7.88/7.92	c 512 ~x30468+256 ~x30467+128 ~x30466+64 ~x30465+32 ~x30464+16 ~x30463+8 ~x30462+4 ~x30461+2 ~x30460+1 ~x30459+512 ~x1322+256 ~x1321+128 ~x1320+64 ~x1319+32 ~x1318+16 ~x1317+8 ~x1316+4 ~x1315+2 ~x1314+1 ~x1313-0=2046
7.88/7.95	c 512 ~x31770+256 ~x31769+128 ~x31768+64 ~x31767+32 ~x31766+16 ~x31765+8 ~x31764+4 ~x31763+2 ~x31762+1 ~x31761+512 ~x1333+256 ~x1332+128 ~x1331+64 ~x1330+32 ~x1329+16 ~x1328+8 ~x1327+4 ~x1326+2 ~x1325+1 ~x1324-0=2046
7.88/7.99	c 512 ~x33072+256 ~x33071+128 ~x33070+64 ~x33069+32 ~x33068+16 ~x33067+8 ~x33066+4 ~x33065+2 ~x33064+1 ~x33063+512 ~x1344+256 ~x1343+128 ~x1342+64 ~x1341+32 ~x1340+16 ~x1339+8 ~x1338+4 ~x1337+2 ~x1336+1 ~x1335-0=2046
7.98/8.02	c 512 ~x34374+256 ~x34373+128 ~x34372+64 ~x34371+32 ~x34370+16 ~x34369+8 ~x34368+4 ~x34367+2 ~x34366+1 ~x34365+512 ~x1355+256 ~x1354+128 ~x1353+64 ~x1352+32 ~x1351+16 ~x1350+8 ~x1349+4 ~x1348+2 ~x1347+1 ~x1346-0=2046
7.98/8.08	c 512 ~x35676+256 ~x35675+128 ~x35674+64 ~x35673+32 ~x35672+16 ~x35671+8 ~x35670+4 ~x35669+2 ~x35668+1 ~x35667+512 ~x1366+256 ~x1365+128 ~x1364+64 ~x1363+32 ~x1362+16 ~x1361+8 ~x1360+4 ~x1359+2 ~x1358+1 ~x1357-0=2046
7.98/8.08	c 512 ~x36978+256 ~x36977+128 ~x36976+64 ~x36975+32 ~x36974+16 ~x36973+8 ~x36972+4 ~x36971+2 ~x36970+1 ~x36969+512 ~x1377+256 ~x1376+128 ~x1375+64 ~x1374+32 ~x1373+16 ~x1372+8 ~x1371+4 ~x1370+2 ~x1369+1 ~x1368-0=2046
8.08/8.11	c 512 ~x38280+256 ~x38279+128 ~x38278+64 ~x38277+32 ~x38276+16 ~x38275+8 ~x38274+4 ~x38273+2 ~x38272+1 ~x38271+512 ~x1388+256 ~x1387+128 ~x1386+64 ~x1385+32 ~x1384+16 ~x1383+8 ~x1382+4 ~x1381+2 ~x1380+1 ~x1379-0=2046
8.08/8.14	c 512 ~x39582+256 ~x39581+128 ~x39580+64 ~x39579+32 ~x39578+16 ~x39577+8 ~x39576+4 ~x39575+2 ~x39574+1 ~x39573+512 ~x1399+256 ~x1398+128 ~x1397+64 ~x1396+32 ~x1395+16 ~x1394+8 ~x1393+4 ~x1392+2 ~x1391+1 ~x1390-0=2046
8.08/8.17	c 512 ~x40884+256 ~x40883+128 ~x40882+64 ~x40881+32 ~x40880+16 ~x40879+8 ~x40878+4 ~x40877+2 ~x40876+1 ~x40875+512 ~x1410+256 ~x1409+128 ~x1408+64 ~x1407+32 ~x1406+16 ~x1405+8 ~x1404+4 ~x1403+2 ~x1402+1 ~x1401-0=2046
8.18/8.20	c 512 ~x42186+256 ~x42185+128 ~x42184+64 ~x42183+32 ~x42182+16 ~x42181+8 ~x42180+4 ~x42179+2 ~x42178+1 ~x42177+512 ~x1421+256 ~x1420+128 ~x1419+64 ~x1418+32 ~x1417+16 ~x1416+8 ~x1415+4 ~x1414+2 ~x1413+1 ~x1412-0=2046
8.18/8.26	c 512 ~x43488+256 ~x43487+128 ~x43486+64 ~x43485+32 ~x43484+16 ~x43483+8 ~x43482+4 ~x43481+2 ~x43480+1 ~x43479+512 ~x1432+256 ~x1431+128 ~x1430+64 ~x1429+32 ~x1428+16 ~x1427+8 ~x1426+4 ~x1425+2 ~x1424+1 ~x1423-0=2046
8.18/8.26	c 512 ~x44790+256 ~x44789+128 ~x44788+64 ~x44787+32 ~x44786+16 ~x44785+8 ~x44784+4 ~x44783+2 ~x44782+1 ~x44781+512 ~x1443+256 ~x1442+128 ~x1441+64 ~x1440+32 ~x1439+16 ~x1438+8 ~x1437+4 ~x1436+2 ~x1435+1 ~x1434-0=2046
8.18/8.29	c 512 ~x46092+256 ~x46091+128 ~x46090+64 ~x46089+32 ~x46088+16 ~x46087+8 ~x46086+4 ~x46085+2 ~x46084+1 ~x46083+512 ~x1454+256 ~x1453+128 ~x1452+64 ~x1451+32 ~x1450+16 ~x1449+8 ~x1448+4 ~x1447+2 ~x1446+1 ~x1445-0=2046
8.29/8.32	c 512 ~x47394+256 ~x47393+128 ~x47392+64 ~x47391+32 ~x47390+16 ~x47389+8 ~x47388+4 ~x47387+2 ~x47386+1 ~x47385+512 ~x1465+256 ~x1464+128 ~x1463+64 ~x1462+32 ~x1461+16 ~x1460+8 ~x1459+4 ~x1458+2 ~x1457+1 ~x1456-0=2046
8.29/8.35	c 512 ~x48696+256 ~x48695+128 ~x48694+64 ~x48693+32 ~x48692+16 ~x48691+8 ~x48690+4 ~x48689+2 ~x48688+1 ~x48687+512 ~x1476+256 ~x1475+128 ~x1474+64 ~x1473+32 ~x1472+16 ~x1471+8 ~x1470+4 ~x1469+2 ~x1468+1 ~x1467-0=2046
8.29/8.38	c 512 ~x49998+256 ~x49997+128 ~x49996+64 ~x49995+32 ~x49994+16 ~x49993+8 ~x49992+4 ~x49991+2 ~x49990+1 ~x49989+512 ~x1487+256 ~x1486+128 ~x1485+64 ~x1484+32 ~x1483+16 ~x1482+8 ~x1481+4 ~x1480+2 ~x1479+1 ~x1478-0=2046
8.38/8.41	c 512 ~x51300+256 ~x51299+128 ~x51298+64 ~x51297+32 ~x51296+16 ~x51295+8 ~x51294+4 ~x51293+2 ~x51292+1 ~x51291+512 ~x1498+256 ~x1497+128 ~x1496+64 ~x1495+32 ~x1494+16 ~x1493+8 ~x1492+4 ~x1491+2 ~x1490+1 ~x1489-0=2046
8.38/8.47	c 512 ~x52602+256 ~x52601+128 ~x52600+64 ~x52599+32 ~x52598+16 ~x52597+8 ~x52596+4 ~x52595+2 ~x52594+1 ~x52593+512 ~x1509+256 ~x1508+128 ~x1507+64 ~x1506+32 ~x1505+16 ~x1504+8 ~x1503+4 ~x1502+2 ~x1501+1 ~x1500-0=2046
8.38/8.47	c 512 ~x53904+256 ~x53903+128 ~x53902+64 ~x53901+32 ~x53900+16 ~x53899+8 ~x53898+4 ~x53897+2 ~x53896+1 ~x53895+512 ~x1520+256 ~x1519+128 ~x1518+64 ~x1517+32 ~x1516+16 ~x1515+8 ~x1514+4 ~x1513+2 ~x1512+1 ~x1511-0=2046
8.48/8.50	c 512 ~x55206+256 ~x55205+128 ~x55204+64 ~x55203+32 ~x55202+16 ~x55201+8 ~x55200+4 ~x55199+2 ~x55198+1 ~x55197+512 ~x1531+256 ~x1530+128 ~x1529+64 ~x1528+32 ~x1527+16 ~x1526+8 ~x1525+4 ~x1524+2 ~x1523+1 ~x1522-0=2046
8.48/8.53	c 512 ~x56508+256 ~x56507+128 ~x56506+64 ~x56505+32 ~x56504+16 ~x56503+8 ~x56502+4 ~x56501+2 ~x56500+1 ~x56499+512 ~x1542+256 ~x1541+128 ~x1540+64 ~x1539+32 ~x1538+16 ~x1537+8 ~x1536+4 ~x1535+2 ~x1534+1 ~x1533-0=2046
8.48/8.56	c 512 ~x57810+256 ~x57809+128 ~x57808+64 ~x57807+32 ~x57806+16 ~x57805+8 ~x57804+4 ~x57803+2 ~x57802+1 ~x57801+512 ~x1553+256 ~x1552+128 ~x1551+64 ~x1550+32 ~x1549+16 ~x1548+8 ~x1547+4 ~x1546+2 ~x1545+1 ~x1544-0=2046
8.58/8.60	c 512 ~x59112+256 ~x59111+128 ~x59110+64 ~x59109+32 ~x59108+16 ~x59107+8 ~x59106+4 ~x59105+2 ~x59104+1 ~x59103+512 ~x1564+256 ~x1563+128 ~x1562+64 ~x1561+32 ~x1560+16 ~x1559+8 ~x1558+4 ~x1557+2 ~x1556+1 ~x1555-0=2046
8.58/8.66	c 512 ~x60414+256 ~x60413+128 ~x60412+64 ~x60411+32 ~x60410+16 ~x60409+8 ~x60408+4 ~x60407+2 ~x60406+1 ~x60405+512 ~x1575+256 ~x1574+128 ~x1573+64 ~x1572+32 ~x1571+16 ~x1570+8 ~x1569+4 ~x1568+2 ~x1567+1 ~x1566-0=2046
8.58/8.69	c 512 ~x61716+256 ~x61715+128 ~x61714+64 ~x61713+32 ~x61712+16 ~x61711+8 ~x61710+4 ~x61709+2 ~x61708+1 ~x61707+512 ~x1586+256 ~x1585+128 ~x1584+64 ~x1583+32 ~x1582+16 ~x1581+8 ~x1580+4 ~x1579+2 ~x1578+1 ~x1577-0=2046
8.58/8.69	c 512 ~x63018+256 ~x63017+128 ~x63016+64 ~x63015+32 ~x63014+16 ~x63013+8 ~x63012+4 ~x63011+2 ~x63010+1 ~x63009+512 ~x1597+256 ~x1596+128 ~x1595+64 ~x1594+32 ~x1593+16 ~x1592+8 ~x1591+4 ~x1590+2 ~x1589+1 ~x1588-0=2046
8.69/8.72	c 512 ~x64320+256 ~x64319+128 ~x64318+64 ~x64317+32 ~x64316+16 ~x64315+8 ~x64314+4 ~x64313+2 ~x64312+1 ~x64311+512 ~x1608+256 ~x1607+128 ~x1606+64 ~x1605+32 ~x1604+16 ~x1603+8 ~x1602+4 ~x1601+2 ~x1600+1 ~x1599-0=2046
8.69/8.75	c 512 ~x65622+256 ~x65621+128 ~x65620+64 ~x65619+32 ~x65618+16 ~x65617+8 ~x65616+4 ~x65615+2 ~x65614+1 ~x65613+512 ~x1619+256 ~x1618+128 ~x1617+64 ~x1616+32 ~x1615+16 ~x1614+8 ~x1613+4 ~x1612+2 ~x1611+1 ~x1610-0=2046
8.69/8.78	c 512 ~x66924+256 ~x66923+128 ~x66922+64 ~x66921+32 ~x66920+16 ~x66919+8 ~x66918+4 ~x66917+2 ~x66916+1 ~x66915+512 ~x1630+256 ~x1629+128 ~x1628+64 ~x1627+32 ~x1626+16 ~x1625+8 ~x1624+4 ~x1623+2 ~x1622+1 ~x1621-0=2046
8.79/8.81	c 512 ~x68226+256 ~x68225+128 ~x68224+64 ~x68223+32 ~x68222+16 ~x68221+8 ~x68220+4 ~x68219+2 ~x68218+1 ~x68217+512 ~x1641+256 ~x1640+128 ~x1639+64 ~x1638+32 ~x1637+16 ~x1636+8 ~x1635+4 ~x1634+2 ~x1633+1 ~x1632-0=2046
8.79/8.87	c 512 ~x69528+256 ~x69527+128 ~x69526+64 ~x69525+32 ~x69524+16 ~x69523+8 ~x69522+4 ~x69521+2 ~x69520+1 ~x69519+512 ~x1652+256 ~x1651+128 ~x1650+64 ~x1649+32 ~x1648+16 ~x1647+8 ~x1646+4 ~x1645+2 ~x1644+1 ~x1643-0=2046
8.79/8.87	c 512 ~x70830+256 ~x70829+128 ~x70828+64 ~x70827+32 ~x70826+16 ~x70825+8 ~x70824+4 ~x70823+2 ~x70822+1 ~x70821+512 ~x1663+256 ~x1662+128 ~x1661+64 ~x1660+32 ~x1659+16 ~x1658+8 ~x1657+4 ~x1656+2 ~x1655+1 ~x1654-0=2046
8.89/8.90	c 512 ~x72132+256 ~x72131+128 ~x72130+64 ~x72129+32 ~x72128+16 ~x72127+8 ~x72126+4 ~x72125+2 ~x72124+1 ~x72123+512 ~x1674+256 ~x1673+128 ~x1672+64 ~x1671+32 ~x1670+16 ~x1669+8 ~x1668+4 ~x1667+2 ~x1666+1 ~x1665-0=2046
8.89/8.95	c 512 ~x73434+256 ~x73433+128 ~x73432+64 ~x73431+32 ~x73430+16 ~x73429+8 ~x73428+4 ~x73427+2 ~x73426+1 ~x73425+512 ~x1685+256 ~x1684+128 ~x1683+64 ~x1682+32 ~x1681+16 ~x1680+8 ~x1679+4 ~x1678+2 ~x1677+1 ~x1676-0=2046
8.89/8.98	c 512 ~x74736+256 ~x74735+128 ~x74734+64 ~x74733+32 ~x74732+16 ~x74731+8 ~x74730+4 ~x74729+2 ~x74728+1 ~x74727+512 ~x1696+256 ~x1695+128 ~x1694+64 ~x1693+32 ~x1692+16 ~x1691+8 ~x1690+4 ~x1689+2 ~x1688+1 ~x1687-0=2046
8.99/9.02	c 512 ~x76038+256 ~x76037+128 ~x76036+64 ~x76035+32 ~x76034+16 ~x76033+8 ~x76032+4 ~x76031+2 ~x76030+1 ~x76029+512 ~x1707+256 ~x1706+128 ~x1705+64 ~x1704+32 ~x1703+16 ~x1702+8 ~x1701+4 ~x1700+2 ~x1699+1 ~x1698-0=2046
9.08/9.11	c 512 ~x77340+256 ~x77339+128 ~x77338+64 ~x77337+32 ~x77336+16 ~x77335+8 ~x77334+4 ~x77333+2 ~x77332+1 ~x77331+512 ~x1718+256 ~x1717+128 ~x1716+64 ~x1715+32 ~x1714+16 ~x1713+8 ~x1712+4 ~x1711+2 ~x1710+1 ~x1709-0=2046
9.08/9.17	c 512 ~x78642+256 ~x78641+128 ~x78640+64 ~x78639+32 ~x78638+16 ~x78637+8 ~x78636+4 ~x78635+2 ~x78634+1 ~x78633+512 ~x1729+256 ~x1728+128 ~x1727+64 ~x1726+32 ~x1725+16 ~x1724+8 ~x1723+4 ~x1722+2 ~x1721+1 ~x1720-0=2046
9.08/9.17	c 512 ~x79944+256 ~x79943+128 ~x79942+64 ~x79941+32 ~x79940+16 ~x79939+8 ~x79938+4 ~x79937+2 ~x79936+1 ~x79935+512 ~x1740+256 ~x1739+128 ~x1738+64 ~x1737+32 ~x1736+16 ~x1735+8 ~x1734+4 ~x1733+2 ~x1732+1 ~x1731-0=2046
9.18/9.20	c 512 ~x81246+256 ~x81245+128 ~x81244+64 ~x81243+32 ~x81242+16 ~x81241+8 ~x81240+4 ~x81239+2 ~x81238+1 ~x81237+512 ~x1751+256 ~x1750+128 ~x1749+64 ~x1748+32 ~x1747+16 ~x1746+8 ~x1745+4 ~x1744+2 ~x1743+1 ~x1742-0=2046
9.18/9.23	c 512 ~x82548+256 ~x82547+128 ~x82546+64 ~x82545+32 ~x82544+16 ~x82543+8 ~x82542+4 ~x82541+2 ~x82540+1 ~x82539+512 ~x1762+256 ~x1761+128 ~x1760+64 ~x1759+32 ~x1758+16 ~x1757+8 ~x1756+4 ~x1755+2 ~x1754+1 ~x1753-0=2046
9.18/9.27	c 512 ~x83850+256 ~x83849+128 ~x83848+64 ~x83847+32 ~x83846+16 ~x83845+8 ~x83844+4 ~x83843+2 ~x83842+1 ~x83841+512 ~x1773+256 ~x1772+128 ~x1771+64 ~x1770+32 ~x1769+16 ~x1768+8 ~x1767+4 ~x1766+2 ~x1765+1 ~x1764-0=2046
9.28/9.30	c 512 ~x85152+256 ~x85151+128 ~x85150+64 ~x85149+32 ~x85148+16 ~x85147+8 ~x85146+4 ~x85145+2 ~x85144+1 ~x85143+512 ~x1784+256 ~x1783+128 ~x1782+64 ~x1781+32 ~x1780+16 ~x1779+8 ~x1778+4 ~x1777+2 ~x1776+1 ~x1775-0=2046
9.28/9.36	c 512 ~x86454+256 ~x86453+128 ~x86452+64 ~x86451+32 ~x86450+16 ~x86449+8 ~x86448+4 ~x86447+2 ~x86446+1 ~x86445+512 ~x1795+256 ~x1794+128 ~x1793+64 ~x1792+32 ~x1791+16 ~x1790+8 ~x1789+4 ~x1788+2 ~x1787+1 ~x1786-0=2046
9.28/9.36	c 512 ~x87756+256 ~x87755+128 ~x87754+64 ~x87753+32 ~x87752+16 ~x87751+8 ~x87750+4 ~x87749+2 ~x87748+1 ~x87747+512 ~x1806+256 ~x1805+128 ~x1804+64 ~x1803+32 ~x1802+16 ~x1801+8 ~x1800+4 ~x1799+2 ~x1798+1 ~x1797-0=2046
9.28/9.39	c 512 ~x89058+256 ~x89057+128 ~x89056+64 ~x89055+32 ~x89054+16 ~x89053+8 ~x89052+4 ~x89051+2 ~x89050+1 ~x89049+512 ~x1817+256 ~x1816+128 ~x1815+64 ~x1814+32 ~x1813+16 ~x1812+8 ~x1811+4 ~x1810+2 ~x1809+1 ~x1808-0=2046
9.38/9.42	c 512 ~x90360+256 ~x90359+128 ~x90358+64 ~x90357+32 ~x90356+16 ~x90355+8 ~x90354+4 ~x90353+2 ~x90352+1 ~x90351+512 ~x1828+256 ~x1827+128 ~x1826+64 ~x1825+32 ~x1824+16 ~x1823+8 ~x1822+4 ~x1821+2 ~x1820+1 ~x1819-0=2046
9.38/9.46	c 512 ~x91662+256 ~x91661+128 ~x91660+64 ~x91659+32 ~x91658+16 ~x91657+8 ~x91656+4 ~x91655+2 ~x91654+1 ~x91653+512 ~x1839+256 ~x1838+128 ~x1837+64 ~x1836+32 ~x1835+16 ~x1834+8 ~x1833+4 ~x1832+2 ~x1831+1 ~x1830-0=2046
9.38/9.49	c 512 ~x92964+256 ~x92963+128 ~x92962+64 ~x92961+32 ~x92960+16 ~x92959+8 ~x92958+4 ~x92957+2 ~x92956+1 ~x92955+512 ~x1850+256 ~x1849+128 ~x1848+64 ~x1847+32 ~x1846+16 ~x1845+8 ~x1844+4 ~x1843+2 ~x1842+1 ~x1841-0=2046
9.48/9.52	c 512 ~x94266+256 ~x94265+128 ~x94264+64 ~x94263+32 ~x94262+16 ~x94261+8 ~x94260+4 ~x94259+2 ~x94258+1 ~x94257+512 ~x1861+256 ~x1860+128 ~x1859+64 ~x1858+32 ~x1857+16 ~x1856+8 ~x1855+4 ~x1854+2 ~x1853+1 ~x1852-0=2046
9.48/9.58	c 512 ~x95568+256 ~x95567+128 ~x95566+64 ~x95565+32 ~x95564+16 ~x95563+8 ~x95562+4 ~x95561+2 ~x95560+1 ~x95559+512 ~x1872+256 ~x1871+128 ~x1870+64 ~x1869+32 ~x1868+16 ~x1867+8 ~x1866+4 ~x1865+2 ~x1864+1 ~x1863-0=2046
9.48/9.58	c 512 ~x96870+256 ~x96869+128 ~x96868+64 ~x96867+32 ~x96866+16 ~x96865+8 ~x96864+4 ~x96863+2 ~x96862+1 ~x96861+512 ~x1883+256 ~x1882+128 ~x1881+64 ~x1880+32 ~x1879+16 ~x1878+8 ~x1877+4 ~x1876+2 ~x1875+1 ~x1874-0=2046
9.58/9.61	c 512 ~x98172+256 ~x98171+128 ~x98170+64 ~x98169+32 ~x98168+16 ~x98167+8 ~x98166+4 ~x98165+2 ~x98164+1 ~x98163+512 ~x1894+256 ~x1893+128 ~x1892+64 ~x1891+32 ~x1890+16 ~x1889+8 ~x1888+4 ~x1887+2 ~x1886+1 ~x1885-0=2046
9.58/9.64	c 512 ~x99474+256 ~x99473+128 ~x99472+64 ~x99471+32 ~x99470+16 ~x99469+8 ~x99468+4 ~x99467+2 ~x99466+1 ~x99465+512 ~x1905+256 ~x1904+128 ~x1903+64 ~x1902+32 ~x1901+16 ~x1900+8 ~x1899+4 ~x1898+2 ~x1897+1 ~x1896-0=2046
9.58/9.67	c 512 ~x100776+256 ~x100775+128 ~x100774+64 ~x100773+32 ~x100772+16 ~x100771+8 ~x100770+4 ~x100769+2 ~x100768+1 ~x100767+512 ~x1916+256 ~x1915+128 ~x1914+64 ~x1913+32 ~x1912+16 ~x1911+8 ~x1910+4 ~x1909+2 ~x1908+1 ~x1907-0=2046
9.68/9.70	c 512 ~x102078+256 ~x102077+128 ~x102076+64 ~x102075+32 ~x102074+16 ~x102073+8 ~x102072+4 ~x102071+2 ~x102070+1 ~x102069+512 ~x1927+256 ~x1926+128 ~x1925+64 ~x1924+32 ~x1923+16 ~x1922+8 ~x1921+4 ~x1920+2 ~x1919+1 ~x1918-0=2046
9.68/9.73	c 512 ~x103380+256 ~x103379+128 ~x103378+64 ~x103377+32 ~x103376+16 ~x103375+8 ~x103374+4 ~x103373+2 ~x103372+1 ~x103371+512 ~x1938+256 ~x1937+128 ~x1936+64 ~x1935+32 ~x1934+16 ~x1933+8 ~x1932+4 ~x1931+2 ~x1930+1 ~x1929-0=2046
9.68/9.79	c 512 ~x104682+256 ~x104681+128 ~x104680+64 ~x104679+32 ~x104678+16 ~x104677+8 ~x104676+4 ~x104675+2 ~x104674+1 ~x104673+512 ~x1949+256 ~x1948+128 ~x1947+64 ~x1946+32 ~x1945+16 ~x1944+8 ~x1943+4 ~x1942+2 ~x1941+1 ~x1940-0=2046
9.68/9.79	c 512 ~x105984+256 ~x105983+128 ~x105982+64 ~x105981+32 ~x105980+16 ~x105979+8 ~x105978+4 ~x105977+2 ~x105976+1 ~x105975+512 ~x1960+256 ~x1959+128 ~x1958+64 ~x1957+32 ~x1956+16 ~x1955+8 ~x1954+4 ~x1953+2 ~x1952+1 ~x1951-0=2046
9.79/9.82	c 512 ~x107286+256 ~x107285+128 ~x107284+64 ~x107283+32 ~x107282+16 ~x107281+8 ~x107280+4 ~x107279+2 ~x107278+1 ~x107277+512 ~x1971+256 ~x1970+128 ~x1969+64 ~x1968+32 ~x1967+16 ~x1966+8 ~x1965+4 ~x1964+2 ~x1963+1 ~x1962-0=2046
9.79/9.85	c 512 ~x108588+256 ~x108587+128 ~x108586+64 ~x108585+32 ~x108584+16 ~x108583+8 ~x108582+4 ~x108581+2 ~x108580+1 ~x108579+512 ~x1982+256 ~x1981+128 ~x1980+64 ~x1979+32 ~x1978+16 ~x1977+8 ~x1976+4 ~x1975+2 ~x1974+1 ~x1973-0=2046
9.79/9.88	c 512 ~x109890+256 ~x109889+128 ~x109888+64 ~x109887+32 ~x109886+16 ~x109885+8 ~x109884+4 ~x109883+2 ~x109882+1 ~x109881+512 ~x1993+256 ~x1992+128 ~x1991+64 ~x1990+32 ~x1989+16 ~x1988+8 ~x1987+4 ~x1986+2 ~x1985+1 ~x1984-0=2046
9.89/9.92	c 512 ~x111192+256 ~x111191+128 ~x111190+64 ~x111189+32 ~x111188+16 ~x111187+8 ~x111186+4 ~x111185+2 ~x111184+1 ~x111183+512 ~x2004+256 ~x2003+128 ~x2002+64 ~x2001+32 ~x2000+16 ~x1999+8 ~x1998+4 ~x1997+2 ~x1996+1 ~x1995-0=2046
9.89/9.95	c 512 ~x112494+256 ~x112493+128 ~x112492+64 ~x112491+32 ~x112490+16 ~x112489+8 ~x112488+4 ~x112487+2 ~x112486+1 ~x112485+512 ~x2015+256 ~x2014+128 ~x2013+64 ~x2012+32 ~x2011+16 ~x2010+8 ~x2009+4 ~x2008+2 ~x2007+1 ~x2006-0=2046
9.89/9.98	c 512 ~x113796+256 ~x113795+128 ~x113794+64 ~x113793+32 ~x113792+16 ~x113791+8 ~x113790+4 ~x113789+2 ~x113788+1 ~x113787+512 ~x2026+256 ~x2025+128 ~x2024+64 ~x2023+32 ~x2022+16 ~x2021+8 ~x2020+4 ~x2019+2 ~x2018+1 ~x2017-0=2046
9.98/10.01	c 512 ~x115098+256 ~x115097+128 ~x115096+64 ~x115095+32 ~x115094+16 ~x115093+8 ~x115092+4 ~x115091+2 ~x115090+1 ~x115089+512 ~x2037+256 ~x2036+128 ~x2035+64 ~x2034+32 ~x2033+16 ~x2032+8 ~x2031+4 ~x2030+2 ~x2029+1 ~x2028-0=2046
9.98/10.07	c 512 ~x116400+256 ~x116399+128 ~x116398+64 ~x116397+32 ~x116396+16 ~x116395+8 ~x116394+4 ~x116393+2 ~x116392+1 ~x116391+512 ~x2048+256 ~x2047+128 ~x2046+64 ~x2045+32 ~x2044+16 ~x2043+8 ~x2042+4 ~x2041+2 ~x2040+1 ~x2039-0=2046
9.98/10.07	c 512 ~x117702+256 ~x117701+128 ~x117700+64 ~x117699+32 ~x117698+16 ~x117697+8 ~x117696+4 ~x117695+2 ~x117694+1 ~x117693+512 ~x2059+256 ~x2058+128 ~x2057+64 ~x2056+32 ~x2055+16 ~x2054+8 ~x2053+4 ~x2052+2 ~x2051+1 ~x2050-0=2046
10.08/10.10	c 512 ~x119004+256 ~x119003+128 ~x119002+64 ~x119001+32 ~x119000+16 ~x118999+8 ~x118998+4 ~x118997+2 ~x118996+1 ~x118995+512 ~x2070+256 ~x2069+128 ~x2068+64 ~x2067+32 ~x2066+16 ~x2065+8 ~x2064+4 ~x2063+2 ~x2062+1 ~x2061-0=2046
10.08/10.13	c 512 ~x120306+256 ~x120305+128 ~x120304+64 ~x120303+32 ~x120302+16 ~x120301+8 ~x120300+4 ~x120299+2 ~x120298+1 ~x120297+512 ~x2081+256 ~x2080+128 ~x2079+64 ~x2078+32 ~x2077+16 ~x2076+8 ~x2075+4 ~x2074+2 ~x2073+1 ~x2072-0=2046
10.08/10.16	c 512 ~x121608+256 ~x121607+128 ~x121606+64 ~x121605+32 ~x121604+16 ~x121603+8 ~x121602+4 ~x121601+2 ~x121600+1 ~x121599+512 ~x2092+256 ~x2091+128 ~x2090+64 ~x2089+32 ~x2088+16 ~x2087+8 ~x2086+4 ~x2085+2 ~x2084+1 ~x2083-0=2046
10.08/10.19	c 512 ~x122910+256 ~x122909+128 ~x122908+64 ~x122907+32 ~x122906+16 ~x122905+8 ~x122904+4 ~x122903+2 ~x122902+1 ~x122901+512 ~x2103+256 ~x2102+128 ~x2101+64 ~x2100+32 ~x2099+16 ~x2098+8 ~x2097+4 ~x2096+2 ~x2095+1 ~x2094-0=2046
10.18/10.22	c 512 ~x124212+256 ~x124211+128 ~x124210+64 ~x124209+32 ~x124208+16 ~x124207+8 ~x124206+4 ~x124205+2 ~x124204+1 ~x124203+512 ~x2114+256 ~x2113+128 ~x2112+64 ~x2111+32 ~x2110+16 ~x2109+8 ~x2108+4 ~x2107+2 ~x2106+1 ~x2105-0=2046
10.18/10.25	c 512 ~x125514+256 ~x125513+128 ~x125512+64 ~x125511+32 ~x125510+16 ~x125509+8 ~x125508+4 ~x125507+2 ~x125506+1 ~x125505+512 ~x2125+256 ~x2124+128 ~x2123+64 ~x2122+32 ~x2121+16 ~x2120+8 ~x2119+4 ~x2118+2 ~x2117+1 ~x2116-0=2046
10.18/10.28	c 512 ~x126816+256 ~x126815+128 ~x126814+64 ~x126813+32 ~x126812+16 ~x126811+8 ~x126810+4 ~x126809+2 ~x126808+1 ~x126807+512 ~x2136+256 ~x2135+128 ~x2134+64 ~x2133+32 ~x2132+16 ~x2131+8 ~x2130+4 ~x2129+2 ~x2128+1 ~x2127-0=2046
10.28/10.34	c 512 ~x128118+256 ~x128117+128 ~x128116+64 ~x128115+32 ~x128114+16 ~x128113+8 ~x128112+4 ~x128111+2 ~x128110+1 ~x128109+512 ~x2147+256 ~x2146+128 ~x2145+64 ~x2144+32 ~x2143+16 ~x2142+8 ~x2141+4 ~x2140+2 ~x2139+1 ~x2138-0=2046
10.28/10.34	c 512 ~x129420+256 ~x129419+128 ~x129418+64 ~x129417+32 ~x129416+16 ~x129415+8 ~x129414+4 ~x129413+2 ~x129412+1 ~x129411+512 ~x2158+256 ~x2157+128 ~x2156+64 ~x2155+32 ~x2154+16 ~x2153+8 ~x2152+4 ~x2151+2 ~x2150+1 ~x2149-0=2046
10.28/10.37	c 512 ~x130722+256 ~x130721+128 ~x130720+64 ~x130719+32 ~x130718+16 ~x130717+8 ~x130716+4 ~x130715+2 ~x130714+1 ~x130713+512 ~x2169+256 ~x2168+128 ~x2167+64 ~x2166+32 ~x2165+16 ~x2164+8 ~x2163+4 ~x2162+2 ~x2161+1 ~x2160-0=2046
10.38/10.40	c 512 ~x132024+256 ~x132023+128 ~x132022+64 ~x132021+32 ~x132020+16 ~x132019+8 ~x132018+4 ~x132017+2 ~x132016+1 ~x132015+512 ~x2180+256 ~x2179+128 ~x2178+64 ~x2177+32 ~x2176+16 ~x2175+8 ~x2174+4 ~x2173+2 ~x2172+1 ~x2171-0=2046
10.38/10.44	c 512 ~x133326+256 ~x133325+128 ~x133324+64 ~x133323+32 ~x133322+16 ~x133321+8 ~x133320+4 ~x133319+2 ~x133318+1 ~x133317+512 ~x2191+256 ~x2190+128 ~x2189+64 ~x2188+32 ~x2187+16 ~x2186+8 ~x2185+4 ~x2184+2 ~x2183+1 ~x2182-0=2046
10.38/10.47	c 512 ~x134628+256 ~x134627+128 ~x134626+64 ~x134625+32 ~x134624+16 ~x134623+8 ~x134622+4 ~x134621+2 ~x134620+1 ~x134619+512 ~x2202+256 ~x2201+128 ~x2200+64 ~x2199+32 ~x2198+16 ~x2197+8 ~x2196+4 ~x2195+2 ~x2194+1 ~x2193-0=2046
10.38/10.50	c 512 ~x135930+256 ~x135929+128 ~x135928+64 ~x135927+32 ~x135926+16 ~x135925+8 ~x135924+4 ~x135923+2 ~x135922+1 ~x135921+512 ~x2213+256 ~x2212+128 ~x2211+64 ~x2210+32 ~x2209+16 ~x2208+8 ~x2207+4 ~x2206+2 ~x2205+1 ~x2204-0=2046
10.48/10.53	c 512 ~x137232+256 ~x137231+128 ~x137230+64 ~x137229+32 ~x137228+16 ~x137227+8 ~x137226+4 ~x137225+2 ~x137224+1 ~x137223+512 ~x2224+256 ~x2223+128 ~x2222+64 ~x2221+32 ~x2220+16 ~x2219+8 ~x2218+4 ~x2217+2 ~x2216+1 ~x2215-0=2046
10.48/10.56	c 512 ~x138534+256 ~x138533+128 ~x138532+64 ~x138531+32 ~x138530+16 ~x138529+8 ~x138528+4 ~x138527+2 ~x138526+1 ~x138525+512 ~x2235+256 ~x2234+128 ~x2233+64 ~x2232+32 ~x2231+16 ~x2230+8 ~x2229+4 ~x2228+2 ~x2227+1 ~x2226-0=2046
10.58/10.62	c 512 ~x139836+256 ~x139835+128 ~x139834+64 ~x139833+32 ~x139832+16 ~x139831+8 ~x139830+4 ~x139829+2 ~x139828+1 ~x139827+512 ~x2246+256 ~x2245+128 ~x2244+64 ~x2243+32 ~x2242+16 ~x2241+8 ~x2240+4 ~x2239+2 ~x2238+1 ~x2237-0=2046
10.58/10.62	c 512 ~x141138+256 ~x141137+128 ~x141136+64 ~x141135+32 ~x141134+16 ~x141133+8 ~x141132+4 ~x141131+2 ~x141130+1 ~x141129+512 ~x2257+256 ~x2256+128 ~x2255+64 ~x2254+32 ~x2253+16 ~x2252+8 ~x2251+4 ~x2250+2 ~x2249+1 ~x2248-0=2046
10.58/10.65	c 512 ~x142440+256 ~x142439+128 ~x142438+64 ~x142437+32 ~x142436+16 ~x142435+8 ~x142434+4 ~x142433+2 ~x142432+1 ~x142431+512 ~x2268+256 ~x2267+128 ~x2266+64 ~x2265+32 ~x2264+16 ~x2263+8 ~x2262+4 ~x2261+2 ~x2260+1 ~x2259-0=2046
10.58/10.68	c 512 ~x143742+256 ~x143741+128 ~x143740+64 ~x143739+32 ~x143738+16 ~x143737+8 ~x143736+4 ~x143735+2 ~x143734+1 ~x143733+512 ~x2279+256 ~x2278+128 ~x2277+64 ~x2276+32 ~x2275+16 ~x2274+8 ~x2273+4 ~x2272+2 ~x2271+1 ~x2270-0=2046
10.68/10.71	c 512 ~x145044+256 ~x145043+128 ~x145042+64 ~x145041+32 ~x145040+16 ~x145039+8 ~x145038+4 ~x145037+2 ~x145036+1 ~x145035+512 ~x2290+256 ~x2289+128 ~x2288+64 ~x2287+32 ~x2286+16 ~x2285+8 ~x2284+4 ~x2283+2 ~x2282+1 ~x2281-0=2046
10.68/10.74	c 512 ~x146346+256 ~x146345+128 ~x146344+64 ~x146343+32 ~x146342+16 ~x146341+8 ~x146340+4 ~x146339+2 ~x146338+1 ~x146337+512 ~x2301+256 ~x2300+128 ~x2299+64 ~x2298+32 ~x2297+16 ~x2296+8 ~x2295+4 ~x2294+2 ~x2293+1 ~x2292-0=2046
10.68/10.77	c 512 ~x147648+256 ~x147647+128 ~x147646+64 ~x147645+32 ~x147644+16 ~x147643+8 ~x147642+4 ~x147641+2 ~x147640+1 ~x147639+512 ~x2312+256 ~x2311+128 ~x2310+64 ~x2309+32 ~x2308+16 ~x2307+8 ~x2306+4 ~x2305+2 ~x2304+1 ~x2303-0=2046
10.78/10.81	c 512 ~x148950+256 ~x148949+128 ~x148948+64 ~x148947+32 ~x148946+16 ~x148945+8 ~x148944+4 ~x148943+2 ~x148942+1 ~x148941+512 ~x2323+256 ~x2322+128 ~x2321+64 ~x2320+32 ~x2319+16 ~x2318+8 ~x2317+4 ~x2316+2 ~x2315+1 ~x2314-0=2046
10.78/10.84	c 512 ~x150252+256 ~x150251+128 ~x150250+64 ~x150249+32 ~x150248+16 ~x150247+8 ~x150246+4 ~x150245+2 ~x150244+1 ~x150243+512 ~x2334+256 ~x2333+128 ~x2332+64 ~x2331+32 ~x2330+16 ~x2329+8 ~x2328+4 ~x2327+2 ~x2326+1 ~x2325-0=2046
10.78/10.90	c 512 ~x151554+256 ~x151553+128 ~x151552+64 ~x151551+32 ~x151550+16 ~x151549+8 ~x151548+4 ~x151547+2 ~x151546+1 ~x151545+512 ~x2345+256 ~x2344+128 ~x2343+64 ~x2342+32 ~x2341+16 ~x2340+8 ~x2339+4 ~x2338+2 ~x2337+1 ~x2336-0=2046
10.78/10.90	c 512 ~x152856+256 ~x152855+128 ~x152854+64 ~x152853+32 ~x152852+16 ~x152851+8 ~x152850+4 ~x152849+2 ~x152848+1 ~x152847+512 ~x2356+256 ~x2355+128 ~x2354+64 ~x2353+32 ~x2352+16 ~x2351+8 ~x2350+4 ~x2349+2 ~x2348+1 ~x2347-0=2046
10.89/10.93	c 512 ~x154158+256 ~x154157+128 ~x154156+64 ~x154155+32 ~x154154+16 ~x154153+8 ~x154152+4 ~x154151+2 ~x154150+1 ~x154149+512 ~x2367+256 ~x2366+128 ~x2365+64 ~x2364+32 ~x2363+16 ~x2362+8 ~x2361+4 ~x2360+2 ~x2359+1 ~x2358-0=2046
10.89/10.96	c 512 ~x155460+256 ~x155459+128 ~x155458+64 ~x155457+32 ~x155456+16 ~x155455+8 ~x155454+4 ~x155453+2 ~x155452+1 ~x155451+512 ~x2378+256 ~x2377+128 ~x2376+64 ~x2375+32 ~x2374+16 ~x2373+8 ~x2372+4 ~x2371+2 ~x2370+1 ~x2369-0=2046
10.89/10.99	c 512 ~x156762+256 ~x156761+128 ~x156760+64 ~x156759+32 ~x156758+16 ~x156757+8 ~x156756+4 ~x156755+2 ~x156754+1 ~x156753+512 ~x2389+256 ~x2388+128 ~x2387+64 ~x2386+32 ~x2385+16 ~x2384+8 ~x2383+4 ~x2382+2 ~x2381+1 ~x2380-0=2046
10.99/11.02	c 512 ~x158064+256 ~x158063+128 ~x158062+64 ~x158061+32 ~x158060+16 ~x158059+8 ~x158058+4 ~x158057+2 ~x158056+1 ~x158055+512 ~x2400+256 ~x2399+128 ~x2398+64 ~x2397+32 ~x2396+16 ~x2395+8 ~x2394+4 ~x2393+2 ~x2392+1 ~x2391-0=2046
10.99/11.05	c 512 ~x159366+256 ~x159365+128 ~x159364+64 ~x159363+32 ~x159362+16 ~x159361+8 ~x159360+4 ~x159359+2 ~x159358+1 ~x159357+512 ~x2411+256 ~x2410+128 ~x2409+64 ~x2408+32 ~x2407+16 ~x2406+8 ~x2405+4 ~x2404+2 ~x2403+1 ~x2402-0=2046
10.99/11.08	c 512 ~x160668+256 ~x160667+128 ~x160666+64 ~x160665+32 ~x160664+16 ~x160663+8 ~x160662+4 ~x160661+2 ~x160660+1 ~x160659+512 ~x2422+256 ~x2421+128 ~x2420+64 ~x2419+32 ~x2418+16 ~x2417+8 ~x2416+4 ~x2415+2 ~x2414+1 ~x2413-0=2046
11.08/11.14	c 512 ~x161970+256 ~x161969+128 ~x161968+64 ~x161967+32 ~x161966+16 ~x161965+8 ~x161964+4 ~x161963+2 ~x161962+1 ~x161961+512 ~x2433+256 ~x2432+128 ~x2431+64 ~x2430+32 ~x2429+16 ~x2428+8 ~x2427+4 ~x2426+2 ~x2425+1 ~x2424-0=2046
11.08/11.14	c 512 ~x163272+256 ~x163271+128 ~x163270+64 ~x163269+32 ~x163268+16 ~x163267+8 ~x163266+4 ~x163265+2 ~x163264+1 ~x163263+512 ~x2444+256 ~x2443+128 ~x2442+64 ~x2441+32 ~x2440+16 ~x2439+8 ~x2438+4 ~x2437+2 ~x2436+1 ~x2435-0=2046
11.08/11.17	c 512 ~x164574+256 ~x164573+128 ~x164572+64 ~x164571+32 ~x164570+16 ~x164569+8 ~x164568+4 ~x164567+2 ~x164566+1 ~x164565+512 ~x2455+256 ~x2454+128 ~x2453+64 ~x2452+32 ~x2451+16 ~x2450+8 ~x2449+4 ~x2448+2 ~x2447+1 ~x2446-0=2046
11.18/11.20	c 512 ~x165876+256 ~x165875+128 ~x165874+64 ~x165873+32 ~x165872+16 ~x165871+8 ~x165870+4 ~x165869+2 ~x165868+1 ~x165867+512 ~x2466+256 ~x2465+128 ~x2464+64 ~x2463+32 ~x2462+16 ~x2461+8 ~x2460+4 ~x2459+2 ~x2458+1 ~x2457-0=2046
11.18/11.23	c 512 ~x167178+256 ~x167177+128 ~x167176+64 ~x167175+32 ~x167174+16 ~x167173+8 ~x167172+4 ~x167171+2 ~x167170+1 ~x167169+512 ~x2477+256 ~x2476+128 ~x2475+64 ~x2474+32 ~x2473+16 ~x2472+8 ~x2471+4 ~x2470+2 ~x2469+1 ~x2468-0=2046
11.18/11.26	c 512 ~x168480+256 ~x168479+128 ~x168478+64 ~x168477+32 ~x168476+16 ~x168475+8 ~x168474+4 ~x168473+2 ~x168472+1 ~x168471+512 ~x2488+256 ~x2487+128 ~x2486+64 ~x2485+32 ~x2484+16 ~x2483+8 ~x2482+4 ~x2481+2 ~x2480+1 ~x2479-0=2046
11.18/11.29	c 512 ~x169782+256 ~x169781+128 ~x169780+64 ~x169779+32 ~x169778+16 ~x169777+8 ~x169776+4 ~x169775+2 ~x169774+1 ~x169773+512 ~x2499+256 ~x2498+128 ~x2497+64 ~x2496+32 ~x2495+16 ~x2494+8 ~x2493+4 ~x2492+2 ~x2491+1 ~x2490-0=2046
11.28/11.33	c 512 ~x171084+256 ~x171083+128 ~x171082+64 ~x171081+32 ~x171080+16 ~x171079+8 ~x171078+4 ~x171077+2 ~x171076+1 ~x171075+512 ~x2510+256 ~x2509+128 ~x2508+64 ~x2507+32 ~x2506+16 ~x2505+8 ~x2504+4 ~x2503+2 ~x2502+1 ~x2501-0=2046
11.28/11.36	c 512 ~x172386+256 ~x172385+128 ~x172384+64 ~x172383+32 ~x172382+16 ~x172381+8 ~x172380+4 ~x172379+2 ~x172378+1 ~x172377+512 ~x2521+256 ~x2520+128 ~x2519+64 ~x2518+32 ~x2517+16 ~x2516+8 ~x2515+4 ~x2514+2 ~x2513+1 ~x2512-0=2046
11.38/11.42	c 512 ~x173688+256 ~x173687+128 ~x173686+64 ~x173685+32 ~x173684+16 ~x173683+8 ~x173682+4 ~x173681+2 ~x173680+1 ~x173679+512 ~x2532+256 ~x2531+128 ~x2530+64 ~x2529+32 ~x2528+16 ~x2527+8 ~x2526+4 ~x2525+2 ~x2524+1 ~x2523-0=2046
11.38/11.42	c 512 ~x174990+256 ~x174989+128 ~x174988+64 ~x174987+32 ~x174986+16 ~x174985+8 ~x174984+4 ~x174983+2 ~x174982+1 ~x174981+512 ~x2543+256 ~x2542+128 ~x2541+64 ~x2540+32 ~x2539+16 ~x2538+8 ~x2537+4 ~x2536+2 ~x2535+1 ~x2534-0=2046
11.38/11.45	c 512 ~x176292+256 ~x176291+128 ~x176290+64 ~x176289+32 ~x176288+16 ~x176287+8 ~x176286+4 ~x176285+2 ~x176284+1 ~x176283+512 ~x2554+256 ~x2553+128 ~x2552+64 ~x2551+32 ~x2550+16 ~x2549+8 ~x2548+4 ~x2547+2 ~x2546+1 ~x2545-0=2046
11.38/11.48	c 512 ~x177594+256 ~x177593+128 ~x177592+64 ~x177591+32 ~x177590+16 ~x177589+8 ~x177588+4 ~x177587+2 ~x177586+1 ~x177585+512 ~x2565+256 ~x2564+128 ~x2563+64 ~x2562+32 ~x2561+16 ~x2560+8 ~x2559+4 ~x2558+2 ~x2557+1 ~x2556-0=2046
11.48/11.51	c 512 ~x178896+256 ~x178895+128 ~x178894+64 ~x178893+32 ~x178892+16 ~x178891+8 ~x178890+4 ~x178889+2 ~x178888+1 ~x178887+512 ~x2576+256 ~x2575+128 ~x2574+64 ~x2573+32 ~x2572+16 ~x2571+8 ~x2570+4 ~x2569+2 ~x2568+1 ~x2567-0=2046
11.48/11.54	c 512 ~x180198+256 ~x180197+128 ~x180196+64 ~x180195+32 ~x180194+16 ~x180193+8 ~x180192+4 ~x180191+2 ~x180190+1 ~x180189+512 ~x2587+256 ~x2586+128 ~x2585+64 ~x2584+32 ~x2583+16 ~x2582+8 ~x2581+4 ~x2580+2 ~x2579+1 ~x2578-0=2046
11.48/11.57	c 512 ~x181500+256 ~x181499+128 ~x181498+64 ~x181497+32 ~x181496+16 ~x181495+8 ~x181494+4 ~x181493+2 ~x181492+1 ~x181491+512 ~x2598+256 ~x2597+128 ~x2596+64 ~x2595+32 ~x2594+16 ~x2593+8 ~x2592+4 ~x2591+2 ~x2590+1 ~x2589-0=2046
11.58/11.60	c 512 ~x182802+256 ~x182801+128 ~x182800+64 ~x182799+32 ~x182798+16 ~x182797+8 ~x182796+4 ~x182795+2 ~x182794+1 ~x182793+512 ~x2609+256 ~x2608+128 ~x2607+64 ~x2606+32 ~x2605+16 ~x2604+8 ~x2603+4 ~x2602+2 ~x2601+1 ~x2600-0=2046
11.58/11.63	c 512 ~x184104+256 ~x184103+128 ~x184102+64 ~x184101+32 ~x184100+16 ~x184099+8 ~x184098+4 ~x184097+2 ~x184096+1 ~x184095+512 ~x2620+256 ~x2619+128 ~x2618+64 ~x2617+32 ~x2616+16 ~x2615+8 ~x2614+4 ~x2613+2 ~x2612+1 ~x2611-0=2046
11.58/11.70	c 512 ~x185406+256 ~x185405+128 ~x185404+64 ~x185403+32 ~x185402+16 ~x185401+8 ~x185400+4 ~x185399+2 ~x185398+1 ~x185397+512 ~x2631+256 ~x2630+128 ~x2629+64 ~x2628+32 ~x2627+16 ~x2626+8 ~x2625+4 ~x2624+2 ~x2623+1 ~x2622-0=2046
11.58/11.70	c 512 ~x186708+256 ~x186707+128 ~x186706+64 ~x186705+32 ~x186704+16 ~x186703+8 ~x186702+4 ~x186701+2 ~x186700+1 ~x186699+512 ~x2642+256 ~x2641+128 ~x2640+64 ~x2639+32 ~x2638+16 ~x2637+8 ~x2636+4 ~x2635+2 ~x2634+1 ~x2633-0=2046
11.68/11.73	c 512 ~x188010+256 ~x188009+128 ~x188008+64 ~x188007+32 ~x188006+16 ~x188005+8 ~x188004+4 ~x188003+2 ~x188002+1 ~x188001+512 ~x2653+256 ~x2652+128 ~x2651+64 ~x2650+32 ~x2649+16 ~x2648+8 ~x2647+4 ~x2646+2 ~x2645+1 ~x2644-0=2046
11.68/11.76	c 512 ~x189312+256 ~x189311+128 ~x189310+64 ~x189309+32 ~x189308+16 ~x189307+8 ~x189306+4 ~x189305+2 ~x189304+1 ~x189303+512 ~x2664+256 ~x2663+128 ~x2662+64 ~x2661+32 ~x2660+16 ~x2659+8 ~x2658+4 ~x2657+2 ~x2656+1 ~x2655-0=2046
11.68/11.79	c 512 ~x190614+256 ~x190613+128 ~x190612+64 ~x190611+32 ~x190610+16 ~x190609+8 ~x190608+4 ~x190607+2 ~x190606+1 ~x190605+512 ~x2675+256 ~x2674+128 ~x2673+64 ~x2672+32 ~x2671+16 ~x2670+8 ~x2669+4 ~x2668+2 ~x2667+1 ~x2666-0=2046
11.78/11.82	c 512 ~x191916+256 ~x191915+128 ~x191914+64 ~x191913+32 ~x191912+16 ~x191911+8 ~x191910+4 ~x191909+2 ~x191908+1 ~x191907+512 ~x2686+256 ~x2685+128 ~x2684+64 ~x2683+32 ~x2682+16 ~x2681+8 ~x2680+4 ~x2679+2 ~x2678+1 ~x2677-0=2046
11.78/11.85	c 512 ~x193218+256 ~x193217+128 ~x193216+64 ~x193215+32 ~x193214+16 ~x193213+8 ~x193212+4 ~x193211+2 ~x193210+1 ~x193209+512 ~x2697+256 ~x2696+128 ~x2695+64 ~x2694+32 ~x2693+16 ~x2692+8 ~x2691+4 ~x2690+2 ~x2689+1 ~x2688-0=2046
11.78/11.88	c 512 ~x194520+256 ~x194519+128 ~x194518+64 ~x194517+32 ~x194516+16 ~x194515+8 ~x194514+4 ~x194513+2 ~x194512+1 ~x194511+512 ~x2708+256 ~x2707+128 ~x2706+64 ~x2705+32 ~x2704+16 ~x2703+8 ~x2702+4 ~x2701+2 ~x2700+1 ~x2699-0=2046
11.88/11.91	c 512 ~x195822+256 ~x195821+128 ~x195820+64 ~x195819+32 ~x195818+16 ~x195817+8 ~x195816+4 ~x195815+2 ~x195814+1 ~x195813+512 ~x2719+256 ~x2718+128 ~x2717+64 ~x2716+32 ~x2715+16 ~x2714+8 ~x2713+4 ~x2712+2 ~x2711+1 ~x2710-0=2046
11.88/11.97	c 512 ~x197124+256 ~x197123+128 ~x197122+64 ~x197121+32 ~x197120+16 ~x197119+8 ~x197118+4 ~x197117+2 ~x197116+1 ~x197115+512 ~x2730+256 ~x2729+128 ~x2728+64 ~x2727+32 ~x2726+16 ~x2725+8 ~x2724+4 ~x2723+2 ~x2722+1 ~x2721-0=2046
11.88/11.97	c 512 ~x198426+256 ~x198425+128 ~x198424+64 ~x198423+32 ~x198422+16 ~x198421+8 ~x198420+4 ~x198419+2 ~x198418+1 ~x198417+512 ~x2741+256 ~x2740+128 ~x2739+64 ~x2738+32 ~x2737+16 ~x2736+8 ~x2735+4 ~x2734+2 ~x2733+1 ~x2732-0=2046
11.99/12.00	c 512 ~x199728+256 ~x199727+128 ~x199726+64 ~x199725+32 ~x199724+16 ~x199723+8 ~x199722+4 ~x199721+2 ~x199720+1 ~x199719+512 ~x2752+256 ~x2751+128 ~x2750+64 ~x2749+32 ~x2748+16 ~x2747+8 ~x2746+4 ~x2745+2 ~x2744+1 ~x2743-0=2046
11.99/12.03	c 512 ~x201030+256 ~x201029+128 ~x201028+64 ~x201027+32 ~x201026+16 ~x201025+8 ~x201024+4 ~x201023+2 ~x201022+1 ~x201021+512 ~x2763+256 ~x2762+128 ~x2761+64 ~x2760+32 ~x2759+16 ~x2758+8 ~x2757+4 ~x2756+2 ~x2755+1 ~x2754-0=2046
11.99/12.06	c 512 ~x202332+256 ~x202331+128 ~x202330+64 ~x202329+32 ~x202328+16 ~x202327+8 ~x202326+4 ~x202325+2 ~x202324+1 ~x202323+512 ~x2774+256 ~x2773+128 ~x2772+64 ~x2771+32 ~x2770+16 ~x2769+8 ~x2768+4 ~x2767+2 ~x2766+1 ~x2765-0=2046
11.99/12.09	c 512 ~x203634+256 ~x203633+128 ~x203632+64 ~x203631+32 ~x203630+16 ~x203629+8 ~x203628+4 ~x203627+2 ~x203626+1 ~x203625+512 ~x2785+256 ~x2784+128 ~x2783+64 ~x2782+32 ~x2781+16 ~x2780+8 ~x2779+4 ~x2778+2 ~x2777+1 ~x2776-0=2046
12.09/12.12	c 512 ~x204936+256 ~x204935+128 ~x204934+64 ~x204933+32 ~x204932+16 ~x204931+8 ~x204930+4 ~x204929+2 ~x204928+1 ~x204927+512 ~x2796+256 ~x2795+128 ~x2794+64 ~x2793+32 ~x2792+16 ~x2791+8 ~x2790+4 ~x2789+2 ~x2788+1 ~x2787-0=2046
12.09/12.15	c 512 ~x206238+256 ~x206237+128 ~x206236+64 ~x206235+32 ~x206234+16 ~x206233+8 ~x206232+4 ~x206231+2 ~x206230+1 ~x206229+512 ~x2807+256 ~x2806+128 ~x2805+64 ~x2804+32 ~x2803+16 ~x2802+8 ~x2801+4 ~x2800+2 ~x2799+1 ~x2798-0=2046
12.09/12.18	c 512 ~x207540+256 ~x207539+128 ~x207538+64 ~x207537+32 ~x207536+16 ~x207535+8 ~x207534+4 ~x207533+2 ~x207532+1 ~x207531+512 ~x2818+256 ~x2817+128 ~x2816+64 ~x2815+32 ~x2814+16 ~x2813+8 ~x2812+4 ~x2811+2 ~x2810+1 ~x2809-0=2046
12.18/12.25	c 512 ~x208842+256 ~x208841+128 ~x208840+64 ~x208839+32 ~x208838+16 ~x208837+8 ~x208836+4 ~x208835+2 ~x208834+1 ~x208833+512 ~x2829+256 ~x2828+128 ~x2827+64 ~x2826+32 ~x2825+16 ~x2824+8 ~x2823+4 ~x2822+2 ~x2821+1 ~x2820-0=2046
12.18/12.25	c 512 ~x210144+256 ~x210143+128 ~x210142+64 ~x210141+32 ~x210140+16 ~x210139+8 ~x210138+4 ~x210137+2 ~x210136+1 ~x210135+512 ~x2840+256 ~x2839+128 ~x2838+64 ~x2837+32 ~x2836+16 ~x2835+8 ~x2834+4 ~x2833+2 ~x2832+1 ~x2831-0=2046
12.18/12.28	c 512 ~x211446+256 ~x211445+128 ~x211444+64 ~x211443+32 ~x211442+16 ~x211441+8 ~x211440+4 ~x211439+2 ~x211438+1 ~x211437+512 ~x2851+256 ~x2850+128 ~x2849+64 ~x2848+32 ~x2847+16 ~x2846+8 ~x2845+4 ~x2844+2 ~x2843+1 ~x2842-0=2046
12.28/12.31	c 512 ~x212748+256 ~x212747+128 ~x212746+64 ~x212745+32 ~x212744+16 ~x212743+8 ~x212742+4 ~x212741+2 ~x212740+1 ~x212739+512 ~x2862+256 ~x2861+128 ~x2860+64 ~x2859+32 ~x2858+16 ~x2857+8 ~x2856+4 ~x2855+2 ~x2854+1 ~x2853-0=2046
12.28/12.34	c 512 ~x214050+256 ~x214049+128 ~x214048+64 ~x214047+32 ~x214046+16 ~x214045+8 ~x214044+4 ~x214043+2 ~x214042+1 ~x214041+512 ~x2873+256 ~x2872+128 ~x2871+64 ~x2870+32 ~x2869+16 ~x2868+8 ~x2867+4 ~x2866+2 ~x2865+1 ~x2864-0=2046
12.28/12.37	c 512 ~x215352+256 ~x215351+128 ~x215350+64 ~x215349+32 ~x215348+16 ~x215347+8 ~x215346+4 ~x215345+2 ~x215344+1 ~x215343+512 ~x2884+256 ~x2883+128 ~x2882+64 ~x2881+32 ~x2880+16 ~x2879+8 ~x2878+4 ~x2877+2 ~x2876+1 ~x2875-0=2046
12.38/12.40	c 512 ~x216654+256 ~x216653+128 ~x216652+64 ~x216651+32 ~x216650+16 ~x216649+8 ~x216648+4 ~x216647+2 ~x216646+1 ~x216645+512 ~x2895+256 ~x2894+128 ~x2893+64 ~x2892+32 ~x2891+16 ~x2890+8 ~x2889+4 ~x2888+2 ~x2887+1 ~x2886-0=2046
12.38/12.43	c 512 ~x217956+256 ~x217955+128 ~x217954+64 ~x217953+32 ~x217952+16 ~x217951+8 ~x217950+4 ~x217949+2 ~x217948+1 ~x217947+512 ~x2906+256 ~x2905+128 ~x2904+64 ~x2903+32 ~x2902+16 ~x2901+8 ~x2900+4 ~x2899+2 ~x2898+1 ~x2897-0=2046
12.38/12.46	c 512 ~x219258+256 ~x219257+128 ~x219256+64 ~x219255+32 ~x219254+16 ~x219253+8 ~x219252+4 ~x219251+2 ~x219250+1 ~x219249+512 ~x2917+256 ~x2916+128 ~x2915+64 ~x2914+32 ~x2913+16 ~x2912+8 ~x2911+4 ~x2910+2 ~x2909+1 ~x2908-0=2046
12.48/12.53	c 512 ~x220560+256 ~x220559+128 ~x220558+64 ~x220557+32 ~x220556+16 ~x220555+8 ~x220554+4 ~x220553+2 ~x220552+1 ~x220551+512 ~x2928+256 ~x2927+128 ~x2926+64 ~x2925+32 ~x2924+16 ~x2923+8 ~x2922+4 ~x2921+2 ~x2920+1 ~x2919-0=2046
12.48/12.53	c 512 ~x221862+256 ~x221861+128 ~x221860+64 ~x221859+32 ~x221858+16 ~x221857+8 ~x221856+4 ~x221855+2 ~x221854+1 ~x221853+512 ~x2939+256 ~x2938+128 ~x2937+64 ~x2936+32 ~x2935+16 ~x2934+8 ~x2933+4 ~x2932+2 ~x2931+1 ~x2930-0=2046
12.48/12.56	c 512 ~x223164+256 ~x223163+128 ~x223162+64 ~x223161+32 ~x223160+16 ~x223159+8 ~x223158+4 ~x223157+2 ~x223156+1 ~x223155+512 ~x2950+256 ~x2949+128 ~x2948+64 ~x2947+32 ~x2946+16 ~x2945+8 ~x2944+4 ~x2943+2 ~x2942+1 ~x2941-0=2046
12.48/12.59	c 512 ~x224466+256 ~x224465+128 ~x224464+64 ~x224463+32 ~x224462+16 ~x224461+8 ~x224460+4 ~x224459+2 ~x224458+1 ~x224457+512 ~x2961+256 ~x2960+128 ~x2959+64 ~x2958+32 ~x2957+16 ~x2956+8 ~x2955+4 ~x2954+2 ~x2953+1 ~x2952-0=2046
12.58/12.62	c 512 ~x225768+256 ~x225767+128 ~x225766+64 ~x225765+32 ~x225764+16 ~x225763+8 ~x225762+4 ~x225761+2 ~x225760+1 ~x225759+512 ~x2972+256 ~x2971+128 ~x2970+64 ~x2969+32 ~x2968+16 ~x2967+8 ~x2966+4 ~x2965+2 ~x2964+1 ~x2963-0=2046
12.58/12.65	c 512 ~x227070+256 ~x227069+128 ~x227068+64 ~x227067+32 ~x227066+16 ~x227065+8 ~x227064+4 ~x227063+2 ~x227062+1 ~x227061+512 ~x2983+256 ~x2982+128 ~x2981+64 ~x2980+32 ~x2979+16 ~x2978+8 ~x2977+4 ~x2976+2 ~x2975+1 ~x2974-0=2046
12.58/12.68	c 512 ~x228372+256 ~x228371+128 ~x228370+64 ~x228369+32 ~x228368+16 ~x228367+8 ~x228366+4 ~x228365+2 ~x228364+1 ~x228363+512 ~x2994+256 ~x2993+128 ~x2992+64 ~x2991+32 ~x2990+16 ~x2989+8 ~x2988+4 ~x2987+2 ~x2986+1 ~x2985-0=2046
12.68/12.71	c 512 ~x229674+256 ~x229673+128 ~x229672+64 ~x229671+32 ~x229670+16 ~x229669+8 ~x229668+4 ~x229667+2 ~x229666+1 ~x229665+512 ~x3005+256 ~x3004+128 ~x3003+64 ~x3002+32 ~x3001+16 ~x3000+8 ~x2999+4 ~x2998+2 ~x2997+1 ~x2996-0=2046
12.68/12.77	c 512 ~x230976+256 ~x230975+128 ~x230974+64 ~x230973+32 ~x230972+16 ~x230971+8 ~x230970+4 ~x230969+2 ~x230968+1 ~x230967+512 ~x3016+256 ~x3015+128 ~x3014+64 ~x3013+32 ~x3012+16 ~x3011+8 ~x3010+4 ~x3009+2 ~x3008+1 ~x3007-0=2046
12.68/12.77	c 512 ~x232278+256 ~x232277+128 ~x232276+64 ~x232275+32 ~x232274+16 ~x232273+8 ~x232272+4 ~x232271+2 ~x232270+1 ~x232269+512 ~x3027+256 ~x3026+128 ~x3025+64 ~x3024+32 ~x3023+16 ~x3022+8 ~x3021+4 ~x3020+2 ~x3019+1 ~x3018-0=2046
12.78/12.80	c 512 ~x233580+256 ~x233579+128 ~x233578+64 ~x233577+32 ~x233576+16 ~x233575+8 ~x233574+4 ~x233573+2 ~x233572+1 ~x233571+512 ~x3038+256 ~x3037+128 ~x3036+64 ~x3035+32 ~x3034+16 ~x3033+8 ~x3032+4 ~x3031+2 ~x3030+1 ~x3029-0=2046
12.78/12.83	c 512 ~x234882+256 ~x234881+128 ~x234880+64 ~x234879+32 ~x234878+16 ~x234877+8 ~x234876+4 ~x234875+2 ~x234874+1 ~x234873+512 ~x3049+256 ~x3048+128 ~x3047+64 ~x3046+32 ~x3045+16 ~x3044+8 ~x3043+4 ~x3042+2 ~x3041+1 ~x3040-0=2046
12.78/12.86	c 512 ~x236184+256 ~x236183+128 ~x236182+64 ~x236181+32 ~x236180+16 ~x236179+8 ~x236178+4 ~x236177+2 ~x236176+1 ~x236175+512 ~x3060+256 ~x3059+128 ~x3058+64 ~x3057+32 ~x3056+16 ~x3055+8 ~x3054+4 ~x3053+2 ~x3052+1 ~x3051-0=2046
12.78/12.89	c 512 ~x237486+256 ~x237485+128 ~x237484+64 ~x237483+32 ~x237482+16 ~x237481+8 ~x237480+4 ~x237479+2 ~x237478+1 ~x237477+512 ~x3071+256 ~x3070+128 ~x3069+64 ~x3068+32 ~x3067+16 ~x3066+8 ~x3065+4 ~x3064+2 ~x3063+1 ~x3062-0=2046
12.88/12.92	c 512 ~x238788+256 ~x238787+128 ~x238786+64 ~x238785+32 ~x238784+16 ~x238783+8 ~x238782+4 ~x238781+2 ~x238780+1 ~x238779+512 ~x3082+256 ~x3081+128 ~x3080+64 ~x3079+32 ~x3078+16 ~x3077+8 ~x3076+4 ~x3075+2 ~x3074+1 ~x3073-0=2046
12.88/12.95	c 512 ~x240090+256 ~x240089+128 ~x240088+64 ~x240087+32 ~x240086+16 ~x240085+8 ~x240084+4 ~x240083+2 ~x240082+1 ~x240081+512 ~x3093+256 ~x3092+128 ~x3091+64 ~x3090+32 ~x3089+16 ~x3088+8 ~x3087+4 ~x3086+2 ~x3085+1 ~x3084-0=2046
12.88/12.98	c 512 ~x241392+256 ~x241391+128 ~x241390+64 ~x241389+32 ~x241388+16 ~x241387+8 ~x241386+4 ~x241385+2 ~x241384+1 ~x241383+512 ~x3104+256 ~x3103+128 ~x3102+64 ~x3101+32 ~x3100+16 ~x3099+8 ~x3098+4 ~x3097+2 ~x3096+1 ~x3095-0=2046
13.88/13.93	c 512 ~x242694+256 ~x242693+128 ~x242692+64 ~x242691+32 ~x242690+16 ~x242689+8 ~x242688+4 ~x242687+2 ~x242686+1 ~x242685+512 ~x3115+256 ~x3114+128 ~x3113+64 ~x3112+32 ~x3111+16 ~x3110+8 ~x3109+4 ~x3108+2 ~x3107+1 ~x3106-0=2046
13.88/13.93	c 4294967296 ~x283593+2147483648 ~x283592+1073741824 ~x283591+536870912 ~x283590+268435456 ~x283589+134217728 ~x283588+67108864 ~x283587+33554432 ~x283586+16777216 ~x283585+8388608 ~x283584+4194304 ~x283583+2097152 ~x283582+1048576 ~x283581+524288 ~x283580+262144 ~x283579+131072 ~x283578+65536 ~x283577+32768 ~x283576+16384 ~x283575+8192 ~x283574+4096 ~x283573+2048 ~x283572+1024 ~x283571+512 ~x283570+256 ~x283569+128 ~x283568+64 ~x283567+32 ~x283566+16 ~x283565+8 ~x283564+4 ~x283563+2 ~x283562+1 ~x283561+400400000 x782+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x672+200000000 ~x671+100000000 ~x670+50000000 ~x669+25000000 ~x668+12500000 ~x667+6250000 ~x666+3125000 ~x665+1562500 ~x664+781250 ~x663+390625 ~x662+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x522+200000000 ~x521+100000000 ~x520+50000000 ~x519+25000000 ~x518+12500000 ~x517+6250000 ~x516+3125000 ~x515+1562500 ~x514+781250 ~x513+390625 ~x512+400000000 ~x462+200000000 ~x461+100000000 ~x460+50000000 ~x459+25000000 ~x458+12500000 ~x457+6250000 ~x456+3125000 ~x455+1562500 ~x454+781250 ~x453+390625 ~x452+400000000 ~x252+200000000 ~x251+100000000 ~x250+50000000 ~x249+25000000 ~x248+12500000 ~x247+6250000 ~x246+3125000 ~x245+1562500 ~x244+781250 ~x243+390625 ~x242-0=13387721913
14.68/14.74	c 4294967296 ~x321031+2147483648 ~x321030+1073741824 ~x321029+536870912 ~x321028+268435456 ~x321027+134217728 ~x321026+67108864 ~x321025+33554432 ~x321024+16777216 ~x321023+8388608 ~x321022+4194304 ~x321021+2097152 ~x321020+1048576 ~x321019+524288 ~x321018+262144 ~x321017+131072 ~x321016+65536 ~x321015+32768 ~x321014+16384 ~x321013+8192 ~x321012+4096 ~x321011+2048 ~x321010+1024 ~x321009+512 ~x321008+256 ~x321007+128 ~x321006+64 ~x321005+32 ~x321004+16 ~x321003+8 ~x321002+4 ~x321001+2 ~x321000+1 ~x320999+400400000 x783+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x552+200000000 ~x551+100000000 ~x550+50000000 ~x549+25000000 ~x548+12500000 ~x547+6250000 ~x546+3125000 ~x545+1562500 ~x544+781250 ~x543+390625 ~x542+400000000 ~x522+200000000 ~x521+100000000 ~x520+50000000 ~x519+25000000 ~x518+12500000 ~x517+6250000 ~x516+3125000 ~x515+1562500 ~x514+781250 ~x513+390625 ~x512+400000000 ~x462+200000000 ~x461+100000000 ~x460+50000000 ~x459+25000000 ~x458+12500000 ~x457+6250000 ~x456+3125000 ~x455+1562500 ~x454+781250 ~x453+390625 ~x452+400000000 ~x312+200000000 ~x311+100000000 ~x310+50000000 ~x309+25000000 ~x308+12500000 ~x307+6250000 ~x306+3125000 ~x305+1562500 ~x304+781250 ~x303+390625 ~x302+400000000 ~x282+200000000 ~x281+100000000 ~x280+50000000 ~x279+25000000 ~x278+12500000 ~x277+6250000 ~x276+3125000 ~x275+1562500 ~x274+781250 ~x273+390625 ~x272-0=14187331288
15.58/15.62	c 2147483648 ~x362362+1073741824 ~x362361+536870912 ~x362360+268435456 ~x362359+134217728 ~x362358+67108864 ~x362357+33554432 ~x362356+16777216 ~x362355+8388608 ~x362354+4194304 ~x362353+2097152 ~x362352+1048576 ~x362351+524288 ~x362350+262144 ~x362349+131072 ~x362348+65536 ~x362347+32768 ~x362346+16384 ~x362345+8192 ~x362344+4096 ~x362343+2048 ~x362342+1024 ~x362341+512 ~x362340+256 ~x362339+128 ~x362338+64 ~x362337+32 ~x362336+16 ~x362335+8 ~x362334+4 ~x362333+2 ~x362332+1 ~x362331+400400000 x784+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x252+200000000 ~x251+100000000 ~x250+50000000 ~x249+25000000 ~x248+12500000 ~x247+6250000 ~x246+3125000 ~x245+1562500 ~x244+781250 ~x243+390625 ~x242+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32-0=6693926492
16.08/16.17	c 2147483648 ~x387751+1073741824 ~x387750+536870912 ~x387749+268435456 ~x387748+134217728 ~x387747+67108864 ~x387746+33554432 ~x387745+16777216 ~x387744+8388608 ~x387743+4194304 ~x387742+2097152 ~x387741+1048576 ~x387740+524288 ~x387739+262144 ~x387738+131072 ~x387737+65536 ~x387736+32768 ~x387735+16384 ~x387734+8192 ~x387733+4096 ~x387732+2048 ~x387731+1024 ~x387730+512 ~x387729+256 ~x387728+128 ~x387727+64 ~x387726+32 ~x387725+16 ~x387724+8 ~x387723+4 ~x387722+2 ~x387721+1 ~x387720+400400000 x785+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x702+200000000 ~x701+100000000 ~x700+50000000 ~x699+25000000 ~x698+12500000 ~x697+6250000 ~x696+3125000 ~x695+1562500 ~x694+781250 ~x693+390625 ~x692+400000000 ~x522+200000000 ~x521+100000000 ~x520+50000000 ~x519+25000000 ~x518+12500000 ~x517+6250000 ~x516+3125000 ~x515+1562500 ~x514+781250 ~x513+390625 ~x512+400000000 ~x372+200000000 ~x371+100000000 ~x370+50000000 ~x369+25000000 ~x368+12500000 ~x367+6250000 ~x366+3125000 ~x365+1562500 ~x364+781250 ~x363+390625 ~x362+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32-0=8293145242
16.88/16.90	c 4294967296 ~x420929+2147483648 ~x420928+1073741824 ~x420927+536870912 ~x420926+268435456 ~x420925+134217728 ~x420924+67108864 ~x420923+33554432 ~x420922+16777216 ~x420921+8388608 ~x420920+4194304 ~x420919+2097152 ~x420918+1048576 ~x420917+524288 ~x420916+262144 ~x420915+131072 ~x420914+65536 ~x420913+32768 ~x420912+16384 ~x420911+8192 ~x420910+4096 ~x420909+2048 ~x420908+1024 ~x420907+512 ~x420906+256 ~x420905+128 ~x420904+64 ~x420903+32 ~x420902+16 ~x420901+8 ~x420900+4 ~x420899+2 ~x420898+1 ~x420897+400400000 x786+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x702+200000000 ~x701+100000000 ~x700+50000000 ~x699+25000000 ~x698+12500000 ~x697+6250000 ~x696+3125000 ~x695+1562500 ~x694+781250 ~x693+390625 ~x692+400000000 ~x642+200000000 ~x641+100000000 ~x640+50000000 ~x639+25000000 ~x638+12500000 ~x637+6250000 ~x636+3125000 ~x635+1562500 ~x634+781250 ~x633+390625 ~x632+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x552+200000000 ~x551+100000000 ~x550+50000000 ~x549+25000000 ~x548+12500000 ~x547+6250000 ~x546+3125000 ~x545+1562500 ~x544+781250 ~x543+390625 ~x542+400000000 ~x372+200000000 ~x371+100000000 ~x370+50000000 ~x369+25000000 ~x368+12500000 ~x367+6250000 ~x366+3125000 ~x365+1562500 ~x364+781250 ~x363+390625 ~x362+400000000 ~x72+200000000 ~x71+100000000 ~x70+50000000 ~x69+25000000 ~x68+12500000 ~x67+6250000 ~x66+3125000 ~x65+1562500 ~x64+781250 ~x63+390625 ~x62+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32-0=14986940663
17.78/17.89	c 4294967296 ~x466848+2147483648 ~x466847+1073741824 ~x466846+536870912 ~x466845+268435456 ~x466844+134217728 ~x466843+67108864 ~x466842+33554432 ~x466841+16777216 ~x466840+8388608 ~x466839+4194304 ~x466838+2097152 ~x466837+1048576 ~x466836+524288 ~x466835+262144 ~x466834+131072 ~x466833+65536 ~x466832+32768 ~x466831+16384 ~x466830+8192 ~x466829+4096 ~x466828+2048 ~x466827+1024 ~x466826+512 ~x466825+256 ~x466824+128 ~x466823+64 ~x466822+32 ~x466821+16 ~x466820+8 ~x466819+4 ~x466818+2 ~x466817+1 ~x466816+400400000 x787+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x672+200000000 ~x671+100000000 ~x670+50000000 ~x669+25000000 ~x668+12500000 ~x667+6250000 ~x666+3125000 ~x665+1562500 ~x664+781250 ~x663+390625 ~x662+400000000 ~x642+200000000 ~x641+100000000 ~x640+50000000 ~x639+25000000 ~x638+12500000 ~x637+6250000 ~x636+3125000 ~x635+1562500 ~x634+781250 ~x633+390625 ~x632+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x552+200000000 ~x551+100000000 ~x550+50000000 ~x549+25000000 ~x548+12500000 ~x547+6250000 ~x546+3125000 ~x545+1562500 ~x544+781250 ~x543+390625 ~x542+400000000 ~x282+200000000 ~x281+100000000 ~x280+50000000 ~x279+25000000 ~x278+12500000 ~x277+6250000 ~x276+3125000 ~x275+1562500 ~x274+781250 ~x273+390625 ~x272-0=13387721913
18.59/18.69	c 2147483648 ~x504285+1073741824 ~x504284+536870912 ~x504283+268435456 ~x504282+134217728 ~x504281+67108864 ~x504280+33554432 ~x504279+16777216 ~x504278+8388608 ~x504277+4194304 ~x504276+2097152 ~x504275+1048576 ~x504274+524288 ~x504273+262144 ~x504272+131072 ~x504271+65536 ~x504270+32768 ~x504269+16384 ~x504268+8192 ~x504267+4096 ~x504266+2048 ~x504265+1024 ~x504264+512 ~x504263+256 ~x504262+128 ~x504261+64 ~x504260+32 ~x504259+16 ~x504258+8 ~x504257+4 ~x504256+2 ~x504255+1 ~x504254+400400000 x788+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x642+200000000 ~x641+100000000 ~x640+50000000 ~x639+25000000 ~x638+12500000 ~x637+6250000 ~x636+3125000 ~x635+1562500 ~x634+781250 ~x633+390625 ~x632+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32-0=6693926492
19.18/19.25	c 2147483648 ~x529674+1073741824 ~x529673+536870912 ~x529672+268435456 ~x529671+134217728 ~x529670+67108864 ~x529669+33554432 ~x529668+16777216 ~x529667+8388608 ~x529666+4194304 ~x529665+2097152 ~x529664+1048576 ~x529663+524288 ~x529662+262144 ~x529661+131072 ~x529660+65536 ~x529659+32768 ~x529658+16384 ~x529657+8192 ~x529656+4096 ~x529655+2048 ~x529654+1024 ~x529653+512 ~x529652+256 ~x529651+128 ~x529650+64 ~x529649+32 ~x529648+16 ~x529647+8 ~x529646+4 ~x529645+2 ~x529644+1 ~x529643+400400000 x789+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x702+200000000 ~x701+100000000 ~x700+50000000 ~x699+25000000 ~x698+12500000 ~x697+6250000 ~x696+3125000 ~x695+1562500 ~x694+781250 ~x693+390625 ~x692+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x552+200000000 ~x551+100000000 ~x550+50000000 ~x549+25000000 ~x548+12500000 ~x547+6250000 ~x546+3125000 ~x545+1562500 ~x544+781250 ~x543+390625 ~x542+400000000 ~x252+200000000 ~x251+100000000 ~x250+50000000 ~x249+25000000 ~x248+12500000 ~x247+6250000 ~x246+3125000 ~x245+1562500 ~x244+781250 ~x243+390625 ~x242-0=8293145242
19.88/19.96	c 2147483648 ~x562851+1073741824 ~x562850+536870912 ~x562849+268435456 ~x562848+134217728 ~x562847+67108864 ~x562846+33554432 ~x562845+16777216 ~x562844+8388608 ~x562843+4194304 ~x562842+2097152 ~x562841+1048576 ~x562840+524288 ~x562839+262144 ~x562838+131072 ~x562837+65536 ~x562836+32768 ~x562835+16384 ~x562834+8192 ~x562833+4096 ~x562832+2048 ~x562831+1024 ~x562830+512 ~x562829+256 ~x562828+128 ~x562827+64 ~x562826+32 ~x562825+16 ~x562824+8 ~x562823+4 ~x562822+2 ~x562821+1 ~x562820+400400000 x790+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x552+200000000 ~x551+100000000 ~x550+50000000 ~x549+25000000 ~x548+12500000 ~x547+6250000 ~x546+3125000 ~x545+1562500 ~x544+781250 ~x543+390625 ~x542-0=6693926492
20.48/20.51	c 1073741824 ~x588239+536870912 ~x588238+268435456 ~x588237+134217728 ~x588236+67108864 ~x588235+33554432 ~x588234+16777216 ~x588233+8388608 ~x588232+4194304 ~x588231+2097152 ~x588230+1048576 ~x588229+524288 ~x588228+262144 ~x588227+131072 ~x588226+65536 ~x588225+32768 ~x588224+16384 ~x588223+8192 ~x588222+4096 ~x588221+2048 ~x588220+1024 ~x588219+512 ~x588218+256 ~x588217+128 ~x588216+64 ~x588215+32 ~x588214+16 ~x588213+8 ~x588212+4 ~x588211+2 ~x588210+1 ~x588209+400400000 x791+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x222+200000000 ~x221+100000000 ~x220+50000000 ~x219+25000000 ~x218+12500000 ~x217+6250000 ~x216+3125000 ~x215+1562500 ~x214+781250 ~x213+390625 ~x212-0=3746833469
20.89/20.97	c 2147483648 ~x608805+1073741824 ~x608804+536870912 ~x608803+268435456 ~x608802+134217728 ~x608801+67108864 ~x608800+33554432 ~x608799+16777216 ~x608798+8388608 ~x608797+4194304 ~x608796+2097152 ~x608795+1048576 ~x608794+524288 ~x608793+262144 ~x608792+131072 ~x608791+65536 ~x608790+32768 ~x608789+16384 ~x608788+8192 ~x608787+4096 ~x608786+2048 ~x608785+1024 ~x608784+512 ~x608783+256 ~x608782+128 ~x608781+64 ~x608780+32 ~x608779+16 ~x608778+8 ~x608777+4 ~x608776+2 ~x608775+1 ~x608774+400400000 x792+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x552+200000000 ~x551+100000000 ~x550+50000000 ~x549+25000000 ~x548+12500000 ~x547+6250000 ~x546+3125000 ~x545+1562500 ~x544+781250 ~x543+390625 ~x542+400000000 ~x372+200000000 ~x371+100000000 ~x370+50000000 ~x369+25000000 ~x368+12500000 ~x367+6250000 ~x366+3125000 ~x365+1562500 ~x364+781250 ~x363+390625 ~x362+400000000 ~x222+200000000 ~x221+100000000 ~x220+50000000 ~x219+25000000 ~x218+12500000 ~x217+6250000 ~x216+3125000 ~x215+1562500 ~x214+781250 ~x213+390625 ~x212+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32-0=8293145242
21.58/21.69	c 4294967296 ~x641983+2147483648 ~x641982+1073741824 ~x641981+536870912 ~x641980+268435456 ~x641979+134217728 ~x641978+67108864 ~x641977+33554432 ~x641976+16777216 ~x641975+8388608 ~x641974+4194304 ~x641973+2097152 ~x641972+1048576 ~x641971+524288 ~x641970+262144 ~x641969+131072 ~x641968+65536 ~x641967+32768 ~x641966+16384 ~x641965+8192 ~x641964+4096 ~x641963+2048 ~x641962+1024 ~x641961+512 ~x641960+256 ~x641959+128 ~x641958+64 ~x641957+32 ~x641956+16 ~x641955+8 ~x641954+4 ~x641953+2 ~x641952+1 ~x641951+400400000 x793+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x522+200000000 ~x521+100000000 ~x520+50000000 ~x519+25000000 ~x518+12500000 ~x517+6250000 ~x516+3125000 ~x515+1562500 ~x514+781250 ~x513+390625 ~x512+400000000 ~x432+200000000 ~x431+100000000 ~x430+50000000 ~x429+25000000 ~x428+12500000 ~x427+6250000 ~x426+3125000 ~x425+1562500 ~x424+781250 ~x423+390625 ~x422+400000000 ~x372+200000000 ~x371+100000000 ~x370+50000000 ~x369+25000000 ~x368+12500000 ~x367+6250000 ~x366+3125000 ~x365+1562500 ~x364+781250 ~x363+390625 ~x362+400000000 ~x312+200000000 ~x311+100000000 ~x310+50000000 ~x309+25000000 ~x308+12500000 ~x307+6250000 ~x306+3125000 ~x305+1562500 ~x304+781250 ~x303+390625 ~x302+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32-0=14187331288
22.47/22.57	c 2147483648 ~x683314+1073741824 ~x683313+536870912 ~x683312+268435456 ~x683311+134217728 ~x683310+67108864 ~x683309+33554432 ~x683308+16777216 ~x683307+8388608 ~x683306+4194304 ~x683305+2097152 ~x683304+1048576 ~x683303+524288 ~x683302+262144 ~x683301+131072 ~x683300+65536 ~x683299+32768 ~x683298+16384 ~x683297+8192 ~x683296+4096 ~x683295+2048 ~x683294+1024 ~x683293+512 ~x683292+256 ~x683291+128 ~x683290+64 ~x683289+32 ~x683288+16 ~x683287+8 ~x683286+4 ~x683285+2 ~x683284+1 ~x683283+400400000 x794+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x552+200000000 ~x551+100000000 ~x550+50000000 ~x549+25000000 ~x548+12500000 ~x547+6250000 ~x546+3125000 ~x545+1562500 ~x544+781250 ~x543+390625 ~x542+400000000 ~x162+200000000 ~x161+100000000 ~x160+50000000 ~x159+25000000 ~x158+12500000 ~x157+6250000 ~x156+3125000 ~x155+1562500 ~x154+781250 ~x153+390625 ~x152-0=6693926492
23.08/23.13	c 2147483648 ~x708703+1073741824 ~x708702+536870912 ~x708701+268435456 ~x708700+134217728 ~x708699+67108864 ~x708698+33554432 ~x708697+16777216 ~x708696+8388608 ~x708695+4194304 ~x708694+2097152 ~x708693+1048576 ~x708692+524288 ~x708691+262144 ~x708690+131072 ~x708689+65536 ~x708688+32768 ~x708687+16384 ~x708686+8192 ~x708685+4096 ~x708684+2048 ~x708683+1024 ~x708682+512 ~x708681+256 ~x708680+128 ~x708679+64 ~x708678+32 ~x708677+16 ~x708676+8 ~x708675+4 ~x708674+2 ~x708673+1 ~x708672+400400000 x795+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x702+200000000 ~x701+100000000 ~x700+50000000 ~x699+25000000 ~x698+12500000 ~x697+6250000 ~x696+3125000 ~x695+1562500 ~x694+781250 ~x693+390625 ~x692+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x552+200000000 ~x551+100000000 ~x550+50000000 ~x549+25000000 ~x548+12500000 ~x547+6250000 ~x546+3125000 ~x545+1562500 ~x544+781250 ~x543+390625 ~x542+400000000 ~x462+200000000 ~x461+100000000 ~x460+50000000 ~x459+25000000 ~x458+12500000 ~x457+6250000 ~x456+3125000 ~x455+1562500 ~x454+781250 ~x453+390625 ~x452-0=8293145242
23.77/23.84	c 2147483648 ~x741880+1073741824 ~x741879+536870912 ~x741878+268435456 ~x741877+134217728 ~x741876+67108864 ~x741875+33554432 ~x741874+16777216 ~x741873+8388608 ~x741872+4194304 ~x741871+2097152 ~x741870+1048576 ~x741869+524288 ~x741868+262144 ~x741867+131072 ~x741866+65536 ~x741865+32768 ~x741864+16384 ~x741863+8192 ~x741862+4096 ~x741861+2048 ~x741860+1024 ~x741859+512 ~x741858+256 ~x741857+128 ~x741856+64 ~x741855+32 ~x741854+16 ~x741853+8 ~x741852+4 ~x741851+2 ~x741850+1 ~x741849+400400000 x796+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32-0=6693926492
24.28/24.38	c 536870912 ~x767267+268435456 ~x767266+134217728 ~x767265+67108864 ~x767264+33554432 ~x767263+16777216 ~x767262+8388608 ~x767261+4194304 ~x767260+2097152 ~x767259+1048576 ~x767258+524288 ~x767257+262144 ~x767256+131072 ~x767255+65536 ~x767254+32768 ~x767253+16384 ~x767252+8192 ~x767251+4096 ~x767250+2048 ~x767249+1024 ~x767248+512 ~x767247+256 ~x767246+128 ~x767245+64 ~x767244+32 ~x767243+16 ~x767242+8 ~x767241+4 ~x767240+2 ~x767239+1 ~x767238+400400000 x797+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722-0=1873482270
24.68/24.75	c 2147483648 ~x783681+1073741824 ~x783680+536870912 ~x783679+268435456 ~x783678+134217728 ~x783677+67108864 ~x783676+33554432 ~x783675+16777216 ~x783674+8388608 ~x783673+4194304 ~x783672+2097152 ~x783671+1048576 ~x783670+524288 ~x783669+262144 ~x783668+131072 ~x783667+65536 ~x783666+32768 ~x783665+16384 ~x783664+8192 ~x783663+4096 ~x783662+2048 ~x783661+1024 ~x783660+512 ~x783659+256 ~x783658+128 ~x783657+64 ~x783656+32 ~x783655+16 ~x783654+8 ~x783653+4 ~x783652+2 ~x783651+1 ~x783650+400400000 x798+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x432+200000000 ~x431+100000000 ~x430+50000000 ~x429+25000000 ~x428+12500000 ~x427+6250000 ~x426+3125000 ~x425+1562500 ~x424+781250 ~x423+390625 ~x422+400000000 ~x402+200000000 ~x401+100000000 ~x400+50000000 ~x399+25000000 ~x398+12500000 ~x397+6250000 ~x396+3125000 ~x395+1562500 ~x394+781250 ~x393+390625 ~x392+400000000 ~x132+200000000 ~x131+100000000 ~x130+50000000 ~x129+25000000 ~x128+12500000 ~x127+6250000 ~x126+3125000 ~x125+1562500 ~x124+781250 ~x123+390625 ~x122-0=7493535867
25.38/25.41	c 4294967296 ~x812965+2147483648 ~x812964+1073741824 ~x812963+536870912 ~x812962+268435456 ~x812961+134217728 ~x812960+67108864 ~x812959+33554432 ~x812958+16777216 ~x812957+8388608 ~x812956+4194304 ~x812955+2097152 ~x812954+1048576 ~x812953+524288 ~x812952+262144 ~x812951+131072 ~x812950+65536 ~x812949+32768 ~x812948+16384 ~x812947+8192 ~x812946+4096 ~x812945+2048 ~x812944+1024 ~x812943+512 ~x812942+256 ~x812941+128 ~x812940+64 ~x812939+32 ~x812938+16 ~x812937+8 ~x812936+4 ~x812935+2 ~x812934+1 ~x812933+400400000 x799+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x642+200000000 ~x641+100000000 ~x640+50000000 ~x639+25000000 ~x638+12500000 ~x637+6250000 ~x636+3125000 ~x635+1562500 ~x634+781250 ~x633+390625 ~x632+400000000 ~x552+200000000 ~x551+100000000 ~x550+50000000 ~x549+25000000 ~x548+12500000 ~x547+6250000 ~x546+3125000 ~x545+1562500 ~x544+781250 ~x543+390625 ~x542+400000000 ~x522+200000000 ~x521+100000000 ~x520+50000000 ~x519+25000000 ~x518+12500000 ~x517+6250000 ~x516+3125000 ~x515+1562500 ~x514+781250 ~x513+390625 ~x512+400000000 ~x462+200000000 ~x461+100000000 ~x460+50000000 ~x459+25000000 ~x458+12500000 ~x457+6250000 ~x456+3125000 ~x455+1562500 ~x454+781250 ~x453+390625 ~x452+400000000 ~x432+200000000 ~x431+100000000 ~x430+50000000 ~x429+25000000 ~x428+12500000 ~x427+6250000 ~x426+3125000 ~x425+1562500 ~x424+781250 ~x423+390625 ~x422+400000000 ~x372+200000000 ~x371+100000000 ~x370+50000000 ~x369+25000000 ~x368+12500000 ~x367+6250000 ~x366+3125000 ~x365+1562500 ~x364+781250 ~x363+390625 ~x362+400000000 ~x192+200000000 ~x191+100000000 ~x190+50000000 ~x189+25000000 ~x188+12500000 ~x187+6250000 ~x186+3125000 ~x185+1562500 ~x184+781250 ~x183+390625 ~x182+400000000 ~x162+200000000 ~x161+100000000 ~x160+50000000 ~x159+25000000 ~x158+12500000 ~x157+6250000 ~x156+3125000 ~x155+1562500 ~x154+781250 ~x153+390625 ~x152+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32-0=16586159413
26.47/26.55	c 2147483648 ~x866803+1073741824 ~x866802+536870912 ~x866801+268435456 ~x866800+134217728 ~x866799+67108864 ~x866798+33554432 ~x866797+16777216 ~x866796+8388608 ~x866795+4194304 ~x866794+2097152 ~x866793+1048576 ~x866792+524288 ~x866791+262144 ~x866790+131072 ~x866789+65536 ~x866788+32768 ~x866787+16384 ~x866786+8192 ~x866785+4096 ~x866784+2048 ~x866783+1024 ~x866782+512 ~x866781+256 ~x866780+128 ~x866779+64 ~x866778+32 ~x866777+16 ~x866776+8 ~x866775+4 ~x866774+2 ~x866773+1 ~x866772+400400000 x800+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x312+200000000 ~x311+100000000 ~x310+50000000 ~x309+25000000 ~x308+12500000 ~x307+6250000 ~x306+3125000 ~x305+1562500 ~x304+781250 ~x303+390625 ~x302-0=6693926492
27.07/27.10	c 2147483648 ~x892192+1073741824 ~x892191+536870912 ~x892190+268435456 ~x892189+134217728 ~x892188+67108864 ~x892187+33554432 ~x892186+16777216 ~x892185+8388608 ~x892184+4194304 ~x892183+2097152 ~x892182+1048576 ~x892181+524288 ~x892180+262144 ~x892179+131072 ~x892178+65536 ~x892177+32768 ~x892176+16384 ~x892175+8192 ~x892174+4096 ~x892173+2048 ~x892172+1024 ~x892171+512 ~x892170+256 ~x892169+128 ~x892168+64 ~x892167+32 ~x892166+16 ~x892165+8 ~x892164+4 ~x892163+2 ~x892162+1 ~x892161+400400000 x801+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x582+200000000 ~x581+100000000 ~x580+50000000 ~x579+25000000 ~x578+12500000 ~x577+6250000 ~x576+3125000 ~x575+1562500 ~x574+781250 ~x573+390625 ~x572+400000000 ~x402+200000000 ~x401+100000000 ~x400+50000000 ~x399+25000000 ~x398+12500000 ~x397+6250000 ~x396+3125000 ~x395+1562500 ~x394+781250 ~x393+390625 ~x392+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32-0=7493535867
27.67/27.74	c 2147483648 ~x921475+1073741824 ~x921474+536870912 ~x921473+268435456 ~x921472+134217728 ~x921471+67108864 ~x921470+33554432 ~x921469+16777216 ~x921468+8388608 ~x921467+4194304 ~x921466+2097152 ~x921465+1048576 ~x921464+524288 ~x921463+262144 ~x921462+131072 ~x921461+65536 ~x921460+32768 ~x921459+16384 ~x921458+8192 ~x921457+4096 ~x921456+2048 ~x921455+1024 ~x921454+512 ~x921453+256 ~x921452+128 ~x921451+64 ~x921450+32 ~x921449+16 ~x921448+8 ~x921447+4 ~x921446+2 ~x921445+1 ~x921444+400400000 x802+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x702+200000000 ~x701+100000000 ~x700+50000000 ~x699+25000000 ~x698+12500000 ~x697+6250000 ~x696+3125000 ~x695+1562500 ~x694+781250 ~x693+390625 ~x692+400000000 ~x462+200000000 ~x461+100000000 ~x460+50000000 ~x459+25000000 ~x458+12500000 ~x457+6250000 ~x456+3125000 ~x455+1562500 ~x454+781250 ~x453+390625 ~x452+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32+400000000 ~x12+200000000 ~x11+100000000 ~x10+50000000 ~x9+25000000 ~x8+12500000 ~x7+6250000 ~x6+3125000 ~x5+1562500 ~x4+781250 ~x3+390625 ~x2-0=8293145242
28.38/28.45	c 536870912 ~x954650+268435456 ~x954649+134217728 ~x954648+67108864 ~x954647+33554432 ~x954646+16777216 ~x954645+8388608 ~x954644+4194304 ~x954643+2097152 ~x954642+1048576 ~x954641+524288 ~x954640+262144 ~x954639+131072 ~x954638+65536 ~x954637+32768 ~x954636+16384 ~x954635+8192 ~x954634+4096 ~x954633+2048 ~x954632+1024 ~x954631+512 ~x954630+256 ~x954629+128 ~x954628+64 ~x954627+32 ~x954626+16 ~x954625+8 ~x954624+4 ~x954623+2 ~x954622+1 ~x954621+400400000 x803+400000000 ~x762+200000000 ~x761+100000000 ~x760+50000000 ~x759+25000000 ~x758+12500000 ~x757+6250000 ~x756+3125000 ~x755+1562500 ~x754+781250 ~x753+390625 ~x752+400000000 x732+200000000 x731+100000000 x730+50000000 x729+25000000 x728+12500000 x727+6250000 x726+3125000 x725+1562500 x724+781250 x723+390625 x722+400000000 x612+200000000 x611+100000000 x610+50000000 x609+25000000 x608+12500000 x607+6250000 x606+3125000 x605+1562500 x604+781250 x603+390625 x602-0=1873482270
28.77/28.89	c 1073741824 ~x974858+536870912 ~x974857+268435456 ~x974856+134217728 ~x974855+67108864 ~x974854+33554432 ~x974853+16777216 ~x974852+8388608 ~x974851+4194304 ~x974850+2097152 ~x974849+1048576 ~x974848+524288 ~x974847+262144 ~x974846+131072 ~x974845+65536 ~x974844+32768 ~x974843+16384 ~x974842+8192 ~x974841+4096 ~x974840+2048 ~x974839+1024 ~x974838+512 ~x974837+256 ~x974836+128 ~x974835+64 ~x974834+32 ~x974833+16 ~x974832+8 ~x974831+4 ~x974830+2 ~x974829+1 ~x974828+400400000 x804+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32-0=3746833469
29.27/29.35	c 1073741824 ~x995423+536870912 ~x995422+268435456 ~x995421+134217728 ~x995420+67108864 ~x995419+33554432 ~x995418+16777216 ~x995417+8388608 ~x995416+4194304 ~x995415+2097152 ~x995414+1048576 ~x995413+524288 ~x995412+262144 ~x995411+131072 ~x995410+65536 ~x995409+32768 ~x995408+16384 ~x995407+8192 ~x995406+4096 ~x995405+2048 ~x995404+1024 ~x995403+512 ~x995402+256 ~x995401+128 ~x995400+64 ~x995399+32 ~x995398+16 ~x995397+8 ~x995396+4 ~x995395+2 ~x995394+1 ~x995393+400400000 x805+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x372+200000000 ~x371+100000000 ~x370+50000000 ~x369+25000000 ~x368+12500000 ~x367+6250000 ~x366+3125000 ~x365+1562500 ~x364+781250 ~x363+390625 ~x362-0=3746833469
29.77/29.82	c 4294967296 ~x1015990+2147483648 ~x1015989+1073741824 ~x1015988+536870912 ~x1015987+268435456 ~x1015986+134217728 ~x1015985+67108864 ~x1015984+33554432 ~x1015983+16777216 ~x1015982+8388608 ~x1015981+4194304 ~x1015980+2097152 ~x1015979+1048576 ~x1015978+524288 ~x1015977+262144 ~x1015976+131072 ~x1015975+65536 ~x1015974+32768 ~x1015973+16384 ~x1015972+8192 ~x1015971+4096 ~x1015970+2048 ~x1015969+1024 ~x1015968+512 ~x1015967+256 ~x1015966+128 ~x1015965+64 ~x1015964+32 ~x1015963+16 ~x1015962+8 ~x1015961+4 ~x1015960+2 ~x1015959+1 ~x1015958+400400000 x806+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x702+200000000 ~x701+100000000 ~x700+50000000 ~x699+25000000 ~x698+12500000 ~x697+6250000 ~x696+3125000 ~x695+1562500 ~x694+781250 ~x693+390625 ~x692+400000000 ~x642+200000000 ~x641+100000000 ~x640+50000000 ~x639+25000000 ~x638+12500000 ~x637+6250000 ~x636+3125000 ~x635+1562500 ~x634+781250 ~x633+390625 ~x632+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x552+200000000 ~x551+100000000 ~x550+50000000 ~x549+25000000 ~x548+12500000 ~x547+6250000 ~x546+3125000 ~x545+1562500 ~x544+781250 ~x543+390625 ~x542+400000000 ~x372+200000000 ~x371+100000000 ~x370+50000000 ~x369+25000000 ~x368+12500000 ~x367+6250000 ~x366+3125000 ~x365+1562500 ~x364+781250 ~x363+390625 ~x362+400000000 ~x282+200000000 ~x281+100000000 ~x280+50000000 ~x279+25000000 ~x278+12500000 ~x277+6250000 ~x276+3125000 ~x275+1562500 ~x274+781250 ~x273+390625 ~x272+400000000 ~x192+200000000 ~x191+100000000 ~x190+50000000 ~x189+25000000 ~x188+12500000 ~x187+6250000 ~x186+3125000 ~x185+1562500 ~x184+781250 ~x183+390625 ~x182-0=14986940663
30.78/30.81	c 2147483648 ~x1061908+1073741824 ~x1061907+536870912 ~x1061906+268435456 ~x1061905+134217728 ~x1061904+67108864 ~x1061903+33554432 ~x1061902+16777216 ~x1061901+8388608 ~x1061900+4194304 ~x1061899+2097152 ~x1061898+1048576 ~x1061897+524288 ~x1061896+262144 ~x1061895+131072 ~x1061894+65536 ~x1061893+32768 ~x1061892+16384 ~x1061891+8192 ~x1061890+4096 ~x1061889+2048 ~x1061888+1024 ~x1061887+512 ~x1061886+256 ~x1061885+128 ~x1061884+64 ~x1061883+32 ~x1061882+16 ~x1061881+8 ~x1061880+4 ~x1061879+2 ~x1061878+1 ~x1061877+400400000 x807+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x582+200000000 ~x581+100000000 ~x580+50000000 ~x579+25000000 ~x578+12500000 ~x577+6250000 ~x576+3125000 ~x575+1562500 ~x574+781250 ~x573+390625 ~x572+400000000 ~x372+200000000 ~x371+100000000 ~x370+50000000 ~x369+25000000 ~x368+12500000 ~x367+6250000 ~x366+3125000 ~x365+1562500 ~x364+781250 ~x363+390625 ~x362+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32-0=7493535867
31.38/31.44	c 2147483648 ~x1091191+1073741824 ~x1091190+536870912 ~x1091189+268435456 ~x1091188+134217728 ~x1091187+67108864 ~x1091186+33554432 ~x1091185+16777216 ~x1091184+8388608 ~x1091183+4194304 ~x1091182+2097152 ~x1091181+1048576 ~x1091180+524288 ~x1091179+262144 ~x1091178+131072 ~x1091177+65536 ~x1091176+32768 ~x1091175+16384 ~x1091174+8192 ~x1091173+4096 ~x1091172+2048 ~x1091171+1024 ~x1091170+512 ~x1091169+256 ~x1091168+128 ~x1091167+64 ~x1091166+32 ~x1091165+16 ~x1091164+8 ~x1091163+4 ~x1091162+2 ~x1091161+1 ~x1091160+400400000 x808+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x552+200000000 ~x551+100000000 ~x550+50000000 ~x549+25000000 ~x548+12500000 ~x547+6250000 ~x546+3125000 ~x545+1562500 ~x544+781250 ~x543+390625 ~x542+400000000 ~x252+200000000 ~x251+100000000 ~x250+50000000 ~x249+25000000 ~x248+12500000 ~x247+6250000 ~x246+3125000 ~x245+1562500 ~x244+781250 ~x243+390625 ~x242+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32-0=7493535867
31.97/32.07	c 536870912 ~x1120472+268435456 ~x1120471+134217728 ~x1120470+67108864 ~x1120469+33554432 ~x1120468+16777216 ~x1120467+8388608 ~x1120466+4194304 ~x1120465+2097152 ~x1120464+1048576 ~x1120463+524288 ~x1120462+262144 ~x1120461+131072 ~x1120460+65536 ~x1120459+32768 ~x1120458+16384 ~x1120457+8192 ~x1120456+4096 ~x1120455+2048 ~x1120454+1024 ~x1120453+512 ~x1120452+256 ~x1120451+128 ~x1120450+64 ~x1120449+32 ~x1120448+16 ~x1120447+8 ~x1120446+4 ~x1120445+2 ~x1120444+1 ~x1120443+400400000 x809+400000000 ~x762+200000000 ~x761+100000000 ~x760+50000000 ~x759+25000000 ~x758+12500000 ~x757+6250000 ~x756+3125000 ~x755+1562500 ~x754+781250 ~x753+390625 ~x752+400000000 x732+200000000 x731+100000000 x730+50000000 x729+25000000 x728+12500000 x727+6250000 x726+3125000 x725+1562500 x724+781250 x723+390625 x722+400000000 x702+200000000 x701+100000000 x700+50000000 x699+25000000 x698+12500000 x697+6250000 x696+3125000 x695+1562500 x694+781250 x693+390625 x692+400000000 x42+200000000 x41+100000000 x40+50000000 x39+25000000 x38+12500000 x37+6250000 x36+3125000 x35+1562500 x34+781250 x33+390625 x32-0=1873482270
32.47/32.59	c 1073741824 ~x1144475+536870912 ~x1144474+268435456 ~x1144473+134217728 ~x1144472+67108864 ~x1144471+33554432 ~x1144470+16777216 ~x1144469+8388608 ~x1144468+4194304 ~x1144467+2097152 ~x1144466+1048576 ~x1144465+524288 ~x1144464+262144 ~x1144463+131072 ~x1144462+65536 ~x1144461+32768 ~x1144460+16384 ~x1144459+8192 ~x1144458+4096 ~x1144457+2048 ~x1144456+1024 ~x1144455+512 ~x1144454+256 ~x1144453+128 ~x1144452+64 ~x1144451+32 ~x1144450+16 ~x1144449+8 ~x1144448+4 ~x1144447+2 ~x1144446+1 ~x1144445+400400000 x810+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x702+200000000 ~x701+100000000 ~x700+50000000 ~x699+25000000 ~x698+12500000 ~x697+6250000 ~x696+3125000 ~x695+1562500 ~x694+781250 ~x693+390625 ~x692-0=3746833469
32.99/33.05	c 2147483648 ~x1165041+1073741824 ~x1165040+536870912 ~x1165039+268435456 ~x1165038+134217728 ~x1165037+67108864 ~x1165036+33554432 ~x1165035+16777216 ~x1165034+8388608 ~x1165033+4194304 ~x1165032+2097152 ~x1165031+1048576 ~x1165030+524288 ~x1165029+262144 ~x1165028+131072 ~x1165027+65536 ~x1165026+32768 ~x1165025+16384 ~x1165024+8192 ~x1165023+4096 ~x1165022+2048 ~x1165021+1024 ~x1165020+512 ~x1165019+256 ~x1165018+128 ~x1165017+64 ~x1165016+32 ~x1165015+16 ~x1165014+8 ~x1165013+4 ~x1165012+2 ~x1165011+1 ~x1165010+400400000 x811+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x672+200000000 ~x671+100000000 ~x670+50000000 ~x669+25000000 ~x668+12500000 ~x667+6250000 ~x666+3125000 ~x665+1562500 ~x664+781250 ~x663+390625 ~x662+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32-0=6693926492
33.57/33.60	c 2147483648 ~x1190430+1073741824 ~x1190429+536870912 ~x1190428+268435456 ~x1190427+134217728 ~x1190426+67108864 ~x1190425+33554432 ~x1190424+16777216 ~x1190423+8388608 ~x1190422+4194304 ~x1190421+2097152 ~x1190420+1048576 ~x1190419+524288 ~x1190418+262144 ~x1190417+131072 ~x1190416+65536 ~x1190415+32768 ~x1190414+16384 ~x1190413+8192 ~x1190412+4096 ~x1190411+2048 ~x1190410+1024 ~x1190409+512 ~x1190408+256 ~x1190407+128 ~x1190406+64 ~x1190405+32 ~x1190404+16 ~x1190403+8 ~x1190402+4 ~x1190401+2 ~x1190400+1 ~x1190399+400400000 x812+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x432+200000000 ~x431+100000000 ~x430+50000000 ~x429+25000000 ~x428+12500000 ~x427+6250000 ~x426+3125000 ~x425+1562500 ~x424+781250 ~x423+390625 ~x422+400000000 ~x372+200000000 ~x371+100000000 ~x370+50000000 ~x369+25000000 ~x368+12500000 ~x367+6250000 ~x366+3125000 ~x365+1562500 ~x364+781250 ~x363+390625 ~x362-0=7493535867
34.17/34.23	c 2147483648 ~x1219713+1073741824 ~x1219712+536870912 ~x1219711+268435456 ~x1219710+134217728 ~x1219709+67108864 ~x1219708+33554432 ~x1219707+16777216 ~x1219706+8388608 ~x1219705+4194304 ~x1219704+2097152 ~x1219703+1048576 ~x1219702+524288 ~x1219701+262144 ~x1219700+131072 ~x1219699+65536 ~x1219698+32768 ~x1219697+16384 ~x1219696+8192 ~x1219695+4096 ~x1219694+2048 ~x1219693+1024 ~x1219692+512 ~x1219691+256 ~x1219690+128 ~x1219689+64 ~x1219688+32 ~x1219687+16 ~x1219686+8 ~x1219685+4 ~x1219684+2 ~x1219683+1 ~x1219682+400400000 x813+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x522+200000000 ~x521+100000000 ~x520+50000000 ~x519+25000000 ~x518+12500000 ~x517+6250000 ~x516+3125000 ~x515+1562500 ~x514+781250 ~x513+390625 ~x512-0=6693926492
34.68/34.78	c 2147483648 ~x1245102+1073741824 ~x1245101+536870912 ~x1245100+268435456 ~x1245099+134217728 ~x1245098+67108864 ~x1245097+33554432 ~x1245096+16777216 ~x1245095+8388608 ~x1245094+4194304 ~x1245093+2097152 ~x1245092+1048576 ~x1245091+524288 ~x1245090+262144 ~x1245089+131072 ~x1245088+65536 ~x1245087+32768 ~x1245086+16384 ~x1245085+8192 ~x1245084+4096 ~x1245083+2048 ~x1245082+1024 ~x1245081+512 ~x1245080+256 ~x1245079+128 ~x1245078+64 ~x1245077+32 ~x1245076+16 ~x1245075+8 ~x1245074+4 ~x1245073+2 ~x1245072+1 ~x1245071+400400000 x814+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x552+200000000 ~x551+100000000 ~x550+50000000 ~x549+25000000 ~x548+12500000 ~x547+6250000 ~x546+3125000 ~x545+1562500 ~x544+781250 ~x543+390625 ~x542+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32-0=7493535867
35.38/35.43	c 2147483648 ~x1274385+1073741824 ~x1274384+536870912 ~x1274383+268435456 ~x1274382+134217728 ~x1274381+67108864 ~x1274380+33554432 ~x1274379+16777216 ~x1274378+8388608 ~x1274377+4194304 ~x1274376+2097152 ~x1274375+1048576 ~x1274374+524288 ~x1274373+262144 ~x1274372+131072 ~x1274371+65536 ~x1274370+32768 ~x1274369+16384 ~x1274368+8192 ~x1274367+4096 ~x1274366+2048 ~x1274365+1024 ~x1274364+512 ~x1274363+256 ~x1274362+128 ~x1274361+64 ~x1274360+32 ~x1274359+16 ~x1274358+8 ~x1274357+4 ~x1274356+2 ~x1274355+1 ~x1274354+400400000 x815+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x642+200000000 ~x641+100000000 ~x640+50000000 ~x639+25000000 ~x638+12500000 ~x637+6250000 ~x636+3125000 ~x635+1562500 ~x634+781250 ~x633+390625 ~x632+400000000 ~x522+200000000 ~x521+100000000 ~x520+50000000 ~x519+25000000 ~x518+12500000 ~x517+6250000 ~x516+3125000 ~x515+1562500 ~x514+781250 ~x513+390625 ~x512+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32-0=7493535867
35.98/36.06	c 2147483648 ~x1303668+1073741824 ~x1303667+536870912 ~x1303666+268435456 ~x1303665+134217728 ~x1303664+67108864 ~x1303663+33554432 ~x1303662+16777216 ~x1303661+8388608 ~x1303660+4194304 ~x1303659+2097152 ~x1303658+1048576 ~x1303657+524288 ~x1303656+262144 ~x1303655+131072 ~x1303654+65536 ~x1303653+32768 ~x1303652+16384 ~x1303651+8192 ~x1303650+4096 ~x1303649+2048 ~x1303648+1024 ~x1303647+512 ~x1303646+256 ~x1303645+128 ~x1303644+64 ~x1303643+32 ~x1303642+16 ~x1303641+8 ~x1303640+4 ~x1303639+2 ~x1303638+1 ~x1303637+400400000 x816+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x462+200000000 ~x461+100000000 ~x460+50000000 ~x459+25000000 ~x458+12500000 ~x457+6250000 ~x456+3125000 ~x455+1562500 ~x454+781250 ~x453+390625 ~x452+400000000 ~x12+200000000 ~x11+100000000 ~x10+50000000 ~x9+25000000 ~x8+12500000 ~x7+6250000 ~x6+3125000 ~x5+1562500 ~x4+781250 ~x3+390625 ~x2-0=6693926492
36.58/36.61	c 1073741824 ~x1329056+536870912 ~x1329055+268435456 ~x1329054+134217728 ~x1329053+67108864 ~x1329052+33554432 ~x1329051+16777216 ~x1329050+8388608 ~x1329049+4194304 ~x1329048+2097152 ~x1329047+1048576 ~x1329046+524288 ~x1329045+262144 ~x1329044+131072 ~x1329043+65536 ~x1329042+32768 ~x1329041+16384 ~x1329040+8192 ~x1329039+4096 ~x1329038+2048 ~x1329037+1024 ~x1329036+512 ~x1329035+256 ~x1329034+128 ~x1329033+64 ~x1329032+32 ~x1329031+16 ~x1329030+8 ~x1329029+4 ~x1329028+2 ~x1329027+1 ~x1329026+400400000 x817+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x522+200000000 ~x521+100000000 ~x520+50000000 ~x519+25000000 ~x518+12500000 ~x517+6250000 ~x516+3125000 ~x515+1562500 ~x514+781250 ~x513+390625 ~x512-0=3746833469
36.97/37.06	c 2147483648 ~x1349622+1073741824 ~x1349621+536870912 ~x1349620+268435456 ~x1349619+134217728 ~x1349618+67108864 ~x1349617+33554432 ~x1349616+16777216 ~x1349615+8388608 ~x1349614+4194304 ~x1349613+2097152 ~x1349612+1048576 ~x1349611+524288 ~x1349610+262144 ~x1349609+131072 ~x1349608+65536 ~x1349607+32768 ~x1349606+16384 ~x1349605+8192 ~x1349604+4096 ~x1349603+2048 ~x1349602+1024 ~x1349601+512 ~x1349600+256 ~x1349599+128 ~x1349598+64 ~x1349597+32 ~x1349596+16 ~x1349595+8 ~x1349594+4 ~x1349593+2 ~x1349592+1 ~x1349591+400400000 x818+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x672+200000000 ~x671+100000000 ~x670+50000000 ~x669+25000000 ~x668+12500000 ~x667+6250000 ~x666+3125000 ~x665+1562500 ~x664+781250 ~x663+390625 ~x662+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x552+200000000 ~x551+100000000 ~x550+50000000 ~x549+25000000 ~x548+12500000 ~x547+6250000 ~x546+3125000 ~x545+1562500 ~x544+781250 ~x543+390625 ~x542-0=7493535867
37.57/37.69	c 2147483648 ~x1378905+1073741824 ~x1378904+536870912 ~x1378903+268435456 ~x1378902+134217728 ~x1378901+67108864 ~x1378900+33554432 ~x1378899+16777216 ~x1378898+8388608 ~x1378897+4194304 ~x1378896+2097152 ~x1378895+1048576 ~x1378894+524288 ~x1378893+262144 ~x1378892+131072 ~x1378891+65536 ~x1378890+32768 ~x1378889+16384 ~x1378888+8192 ~x1378887+4096 ~x1378886+2048 ~x1378885+1024 ~x1378884+512 ~x1378883+256 ~x1378882+128 ~x1378881+64 ~x1378880+32 ~x1378879+16 ~x1378878+8 ~x1378877+4 ~x1378876+2 ~x1378875+1 ~x1378874+400400000 x819+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x282+200000000 ~x281+100000000 ~x280+50000000 ~x279+25000000 ~x278+12500000 ~x277+6250000 ~x276+3125000 ~x275+1562500 ~x274+781250 ~x273+390625 ~x272+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32-0=7493535867
38.27/38.33	c 4294967296 ~x1408189+2147483648 ~x1408188+1073741824 ~x1408187+536870912 ~x1408186+268435456 ~x1408185+134217728 ~x1408184+67108864 ~x1408183+33554432 ~x1408182+16777216 ~x1408181+8388608 ~x1408180+4194304 ~x1408179+2097152 ~x1408178+1048576 ~x1408177+524288 ~x1408176+262144 ~x1408175+131072 ~x1408174+65536 ~x1408173+32768 ~x1408172+16384 ~x1408171+8192 ~x1408170+4096 ~x1408169+2048 ~x1408168+1024 ~x1408167+512 ~x1408166+256 ~x1408165+128 ~x1408164+64 ~x1408163+32 ~x1408162+16 ~x1408161+8 ~x1408160+4 ~x1408159+2 ~x1408158+1 ~x1408157+400400000 x820+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x702+200000000 ~x701+100000000 ~x700+50000000 ~x699+25000000 ~x698+12500000 ~x697+6250000 ~x696+3125000 ~x695+1562500 ~x694+781250 ~x693+390625 ~x692+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x552+200000000 ~x551+100000000 ~x550+50000000 ~x549+25000000 ~x548+12500000 ~x547+6250000 ~x546+3125000 ~x545+1562500 ~x544+781250 ~x543+390625 ~x542+400000000 ~x522+200000000 ~x521+100000000 ~x520+50000000 ~x519+25000000 ~x518+12500000 ~x517+6250000 ~x516+3125000 ~x515+1562500 ~x514+781250 ~x513+390625 ~x512+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32-0=13387721913
39.07/39.13	c 2147483648 ~x1445626+1073741824 ~x1445625+536870912 ~x1445624+268435456 ~x1445623+134217728 ~x1445622+67108864 ~x1445621+33554432 ~x1445620+16777216 ~x1445619+8388608 ~x1445618+4194304 ~x1445617+2097152 ~x1445616+1048576 ~x1445615+524288 ~x1445614+262144 ~x1445613+131072 ~x1445612+65536 ~x1445611+32768 ~x1445610+16384 ~x1445609+8192 ~x1445608+4096 ~x1445607+2048 ~x1445606+1024 ~x1445605+512 ~x1445604+256 ~x1445603+128 ~x1445602+64 ~x1445601+32 ~x1445600+16 ~x1445599+8 ~x1445598+4 ~x1445597+2 ~x1445596+1 ~x1445595+400400000 x821+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x552+200000000 ~x551+100000000 ~x550+50000000 ~x549+25000000 ~x548+12500000 ~x547+6250000 ~x546+3125000 ~x545+1562500 ~x544+781250 ~x543+390625 ~x542+400000000 ~x402+200000000 ~x401+100000000 ~x400+50000000 ~x399+25000000 ~x398+12500000 ~x397+6250000 ~x396+3125000 ~x395+1562500 ~x394+781250 ~x393+390625 ~x392-0=7493535867
39.67/39.76	c 4294967296 ~x1474910+2147483648 ~x1474909+1073741824 ~x1474908+536870912 ~x1474907+268435456 ~x1474906+134217728 ~x1474905+67108864 ~x1474904+33554432 ~x1474903+16777216 ~x1474902+8388608 ~x1474901+4194304 ~x1474900+2097152 ~x1474899+1048576 ~x1474898+524288 ~x1474897+262144 ~x1474896+131072 ~x1474895+65536 ~x1474894+32768 ~x1474893+16384 ~x1474892+8192 ~x1474891+4096 ~x1474890+2048 ~x1474889+1024 ~x1474888+512 ~x1474887+256 ~x1474886+128 ~x1474885+64 ~x1474884+32 ~x1474883+16 ~x1474882+8 ~x1474881+4 ~x1474880+2 ~x1474879+1 ~x1474878+400400000 x822+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x702+200000000 ~x701+100000000 ~x700+50000000 ~x699+25000000 ~x698+12500000 ~x697+6250000 ~x696+3125000 ~x695+1562500 ~x694+781250 ~x693+390625 ~x692+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x552+200000000 ~x551+100000000 ~x550+50000000 ~x549+25000000 ~x548+12500000 ~x547+6250000 ~x546+3125000 ~x545+1562500 ~x544+781250 ~x543+390625 ~x542+400000000 ~x462+200000000 ~x461+100000000 ~x460+50000000 ~x459+25000000 ~x458+12500000 ~x457+6250000 ~x456+3125000 ~x455+1562500 ~x454+781250 ~x453+390625 ~x452+400000000 ~x282+200000000 ~x281+100000000 ~x280+50000000 ~x279+25000000 ~x278+12500000 ~x277+6250000 ~x276+3125000 ~x275+1562500 ~x274+781250 ~x273+390625 ~x272+400000000 ~x72+200000000 ~x71+100000000 ~x70+50000000 ~x69+25000000 ~x68+12500000 ~x67+6250000 ~x66+3125000 ~x65+1562500 ~x64+781250 ~x63+390625 ~x62+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32-0=14986940663
40.68/40.75	c 1073741824 ~x1520827+536870912 ~x1520826+268435456 ~x1520825+134217728 ~x1520824+67108864 ~x1520823+33554432 ~x1520822+16777216 ~x1520821+8388608 ~x1520820+4194304 ~x1520819+2097152 ~x1520818+1048576 ~x1520817+524288 ~x1520816+262144 ~x1520815+131072 ~x1520814+65536 ~x1520813+32768 ~x1520812+16384 ~x1520811+8192 ~x1520810+4096 ~x1520809+2048 ~x1520808+1024 ~x1520807+512 ~x1520806+256 ~x1520805+128 ~x1520804+64 ~x1520803+32 ~x1520802+16 ~x1520801+8 ~x1520800+4 ~x1520799+2 ~x1520798+1 ~x1520797+400400000 x823+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x462+200000000 ~x461+100000000 ~x460+50000000 ~x459+25000000 ~x458+12500000 ~x457+6250000 ~x456+3125000 ~x455+1562500 ~x454+781250 ~x453+390625 ~x452-0=3746833469
41.17/41.20	c 1073741824 ~x1541392+536870912 ~x1541391+268435456 ~x1541390+134217728 ~x1541389+67108864 ~x1541388+33554432 ~x1541387+16777216 ~x1541386+8388608 ~x1541385+4194304 ~x1541384+2097152 ~x1541383+1048576 ~x1541382+524288 ~x1541381+262144 ~x1541380+131072 ~x1541379+65536 ~x1541378+32768 ~x1541377+16384 ~x1541376+8192 ~x1541375+4096 ~x1541374+2048 ~x1541373+1024 ~x1541372+512 ~x1541371+256 ~x1541370+128 ~x1541369+64 ~x1541368+32 ~x1541367+16 ~x1541366+8 ~x1541365+4 ~x1541364+2 ~x1541363+1 ~x1541362+400400000 x824+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x582+200000000 ~x581+100000000 ~x580+50000000 ~x579+25000000 ~x578+12500000 ~x577+6250000 ~x576+3125000 ~x575+1562500 ~x574+781250 ~x573+390625 ~x572-0=3746833469
41.57/41.68	c 536870912 ~x1561956+268435456 ~x1561955+134217728 ~x1561954+67108864 ~x1561953+33554432 ~x1561952+16777216 ~x1561951+8388608 ~x1561950+4194304 ~x1561949+2097152 ~x1561948+1048576 ~x1561947+524288 ~x1561946+262144 ~x1561945+131072 ~x1561944+65536 ~x1561943+32768 ~x1561942+16384 ~x1561941+8192 ~x1561940+4096 ~x1561939+2048 ~x1561938+1024 ~x1561937+512 ~x1561936+256 ~x1561935+128 ~x1561934+64 ~x1561933+32 ~x1561932+16 ~x1561931+8 ~x1561930+4 ~x1561929+2 ~x1561928+1 ~x1561927+400400000 x825+400000000 ~x762+200000000 ~x761+100000000 ~x760+50000000 ~x759+25000000 ~x758+12500000 ~x757+6250000 ~x756+3125000 ~x755+1562500 ~x754+781250 ~x753+390625 ~x752+400000000 x732+200000000 x731+100000000 x730+50000000 x729+25000000 x728+12500000 x727+6250000 x726+3125000 x725+1562500 x724+781250 x723+390625 x722+400000000 x312+200000000 x311+100000000 x310+50000000 x309+25000000 x308+12500000 x307+6250000 x306+3125000 x305+1562500 x304+781250 x303+390625 x302-0=1873482270
42.07/42.13	c 2147483648 ~x1582165+1073741824 ~x1582164+536870912 ~x1582163+268435456 ~x1582162+134217728 ~x1582161+67108864 ~x1582160+33554432 ~x1582159+16777216 ~x1582158+8388608 ~x1582157+4194304 ~x1582156+2097152 ~x1582155+1048576 ~x1582154+524288 ~x1582153+262144 ~x1582152+131072 ~x1582151+65536 ~x1582150+32768 ~x1582149+16384 ~x1582148+8192 ~x1582147+4096 ~x1582146+2048 ~x1582145+1024 ~x1582144+512 ~x1582143+256 ~x1582142+128 ~x1582141+64 ~x1582140+32 ~x1582139+16 ~x1582138+8 ~x1582137+4 ~x1582136+2 ~x1582135+1 ~x1582134+400400000 x826+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x432+200000000 ~x431+100000000 ~x430+50000000 ~x429+25000000 ~x428+12500000 ~x427+6250000 ~x426+3125000 ~x425+1562500 ~x424+781250 ~x423+390625 ~x422+400000000 ~x222+200000000 ~x221+100000000 ~x220+50000000 ~x219+25000000 ~x218+12500000 ~x217+6250000 ~x216+3125000 ~x215+1562500 ~x214+781250 ~x213+390625 ~x212-0=6693926492
42.57/42.67	c 1073741824 ~x1607553+536870912 ~x1607552+268435456 ~x1607551+134217728 ~x1607550+67108864 ~x1607549+33554432 ~x1607548+16777216 ~x1607547+8388608 ~x1607546+4194304 ~x1607545+2097152 ~x1607544+1048576 ~x1607543+524288 ~x1607542+262144 ~x1607541+131072 ~x1607540+65536 ~x1607539+32768 ~x1607538+16384 ~x1607537+8192 ~x1607536+4096 ~x1607535+2048 ~x1607534+1024 ~x1607533+512 ~x1607532+256 ~x1607531+128 ~x1607530+64 ~x1607529+32 ~x1607528+16 ~x1607527+8 ~x1607526+4 ~x1607525+2 ~x1607524+1 ~x1607523+400400000 x827+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x132+200000000 ~x131+100000000 ~x130+50000000 ~x129+25000000 ~x128+12500000 ~x127+6250000 ~x126+3125000 ~x125+1562500 ~x124+781250 ~x123+390625 ~x122-0=3746833469
43.07/43.12	c 536870912 ~x1628117+268435456 ~x1628116+134217728 ~x1628115+67108864 ~x1628114+33554432 ~x1628113+16777216 ~x1628112+8388608 ~x1628111+4194304 ~x1628110+2097152 ~x1628109+1048576 ~x1628108+524288 ~x1628107+262144 ~x1628106+131072 ~x1628105+65536 ~x1628104+32768 ~x1628103+16384 ~x1628102+8192 ~x1628101+4096 ~x1628100+2048 ~x1628099+1024 ~x1628098+512 ~x1628097+256 ~x1628096+128 ~x1628095+64 ~x1628094+32 ~x1628093+16 ~x1628092+8 ~x1628091+4 ~x1628090+2 ~x1628089+1 ~x1628088+400400000 x828+400000000 ~x762+200000000 ~x761+100000000 ~x760+50000000 ~x759+25000000 ~x758+12500000 ~x757+6250000 ~x756+3125000 ~x755+1562500 ~x754+781250 ~x753+390625 ~x752+400000000 x732+200000000 x731+100000000 x730+50000000 x729+25000000 x728+12500000 x727+6250000 x726+3125000 x725+1562500 x724+781250 x723+390625 x722+400000000 x582+200000000 x581+100000000 x580+50000000 x579+25000000 x578+12500000 x577+6250000 x576+3125000 x575+1562500 x574+781250 x573+390625 x572+400000000 x162+200000000 x161+100000000 x160+50000000 x159+25000000 x158+12500000 x157+6250000 x156+3125000 x155+1562500 x154+781250 x153+390625 x152-0=1873482270
43.58/43.65	c 2147483648 ~x1652121+1073741824 ~x1652120+536870912 ~x1652119+268435456 ~x1652118+134217728 ~x1652117+67108864 ~x1652116+33554432 ~x1652115+16777216 ~x1652114+8388608 ~x1652113+4194304 ~x1652112+2097152 ~x1652111+1048576 ~x1652110+524288 ~x1652109+262144 ~x1652108+131072 ~x1652107+65536 ~x1652106+32768 ~x1652105+16384 ~x1652104+8192 ~x1652103+4096 ~x1652102+2048 ~x1652101+1024 ~x1652100+512 ~x1652099+256 ~x1652098+128 ~x1652097+64 ~x1652096+32 ~x1652095+16 ~x1652094+8 ~x1652093+4 ~x1652092+2 ~x1652091+1 ~x1652090+400400000 x829+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x432+200000000 ~x431+100000000 ~x430+50000000 ~x429+25000000 ~x428+12500000 ~x427+6250000 ~x426+3125000 ~x425+1562500 ~x424+781250 ~x423+390625 ~x422+400000000 ~x102+200000000 ~x101+100000000 ~x100+50000000 ~x99+25000000 ~x98+12500000 ~x97+6250000 ~x96+3125000 ~x95+1562500 ~x94+781250 ~x93+390625 ~x92+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32+400000000 ~x12+200000000 ~x11+100000000 ~x10+50000000 ~x9+25000000 ~x8+12500000 ~x7+6250000 ~x6+3125000 ~x5+1562500 ~x4+781250 ~x3+390625 ~x2-0=8293145242
44.27/44.36	c 2147483648 ~x1685298+1073741824 ~x1685297+536870912 ~x1685296+268435456 ~x1685295+134217728 ~x1685294+67108864 ~x1685293+33554432 ~x1685292+16777216 ~x1685291+8388608 ~x1685290+4194304 ~x1685289+2097152 ~x1685288+1048576 ~x1685287+524288 ~x1685286+262144 ~x1685285+131072 ~x1685284+65536 ~x1685283+32768 ~x1685282+16384 ~x1685281+8192 ~x1685280+4096 ~x1685279+2048 ~x1685278+1024 ~x1685277+512 ~x1685276+256 ~x1685275+128 ~x1685274+64 ~x1685273+32 ~x1685272+16 ~x1685271+8 ~x1685270+4 ~x1685269+2 ~x1685268+1 ~x1685267+400400000 x830+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x552+200000000 ~x551+100000000 ~x550+50000000 ~x549+25000000 ~x548+12500000 ~x547+6250000 ~x546+3125000 ~x545+1562500 ~x544+781250 ~x543+390625 ~x542+400000000 ~x522+200000000 ~x521+100000000 ~x520+50000000 ~x519+25000000 ~x518+12500000 ~x517+6250000 ~x516+3125000 ~x515+1562500 ~x514+781250 ~x513+390625 ~x512+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32-0=7493535867
44.87/44.99	c 2147483648 ~x1714581+1073741824 ~x1714580+536870912 ~x1714579+268435456 ~x1714578+134217728 ~x1714577+67108864 ~x1714576+33554432 ~x1714575+16777216 ~x1714574+8388608 ~x1714573+4194304 ~x1714572+2097152 ~x1714571+1048576 ~x1714570+524288 ~x1714569+262144 ~x1714568+131072 ~x1714567+65536 ~x1714566+32768 ~x1714565+16384 ~x1714564+8192 ~x1714563+4096 ~x1714562+2048 ~x1714561+1024 ~x1714560+512 ~x1714559+256 ~x1714558+128 ~x1714557+64 ~x1714556+32 ~x1714555+16 ~x1714554+8 ~x1714553+4 ~x1714552+2 ~x1714551+1 ~x1714550+400400000 x831+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x702+200000000 ~x701+100000000 ~x700+50000000 ~x699+25000000 ~x698+12500000 ~x697+6250000 ~x696+3125000 ~x695+1562500 ~x694+781250 ~x693+390625 ~x692+400000000 ~x372+200000000 ~x371+100000000 ~x370+50000000 ~x369+25000000 ~x368+12500000 ~x367+6250000 ~x366+3125000 ~x365+1562500 ~x364+781250 ~x363+390625 ~x362-0=6693926492
45.47/45.55	c 2147483648 ~x1739970+1073741824 ~x1739969+536870912 ~x1739968+268435456 ~x1739967+134217728 ~x1739966+67108864 ~x1739965+33554432 ~x1739964+16777216 ~x1739963+8388608 ~x1739962+4194304 ~x1739961+2097152 ~x1739960+1048576 ~x1739959+524288 ~x1739958+262144 ~x1739957+131072 ~x1739956+65536 ~x1739955+32768 ~x1739954+16384 ~x1739953+8192 ~x1739952+4096 ~x1739951+2048 ~x1739950+1024 ~x1739949+512 ~x1739948+256 ~x1739947+128 ~x1739946+64 ~x1739945+32 ~x1739944+16 ~x1739943+8 ~x1739942+4 ~x1739941+2 ~x1739940+1 ~x1739939+400400000 x832+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x552+200000000 ~x551+100000000 ~x550+50000000 ~x549+25000000 ~x548+12500000 ~x547+6250000 ~x546+3125000 ~x545+1562500 ~x544+781250 ~x543+390625 ~x542+400000000 ~x72+200000000 ~x71+100000000 ~x70+50000000 ~x69+25000000 ~x68+12500000 ~x67+6250000 ~x66+3125000 ~x65+1562500 ~x64+781250 ~x63+390625 ~x62-0=7493535867
46.08/46.18	c 4294967296 ~x1769254+2147483648 ~x1769253+1073741824 ~x1769252+536870912 ~x1769251+268435456 ~x1769250+134217728 ~x1769249+67108864 ~x1769248+33554432 ~x1769247+16777216 ~x1769246+8388608 ~x1769245+4194304 ~x1769244+2097152 ~x1769243+1048576 ~x1769242+524288 ~x1769241+262144 ~x1769240+131072 ~x1769239+65536 ~x1769238+32768 ~x1769237+16384 ~x1769236+8192 ~x1769235+4096 ~x1769234+2048 ~x1769233+1024 ~x1769232+512 ~x1769231+256 ~x1769230+128 ~x1769229+64 ~x1769228+32 ~x1769227+16 ~x1769226+8 ~x1769225+4 ~x1769224+2 ~x1769223+1 ~x1769222+400400000 x833+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x552+200000000 ~x551+100000000 ~x550+50000000 ~x549+25000000 ~x548+12500000 ~x547+6250000 ~x546+3125000 ~x545+1562500 ~x544+781250 ~x543+390625 ~x542+400000000 ~x522+200000000 ~x521+100000000 ~x520+50000000 ~x519+25000000 ~x518+12500000 ~x517+6250000 ~x516+3125000 ~x515+1562500 ~x514+781250 ~x513+390625 ~x512+400000000 ~x462+200000000 ~x461+100000000 ~x460+50000000 ~x459+25000000 ~x458+12500000 ~x457+6250000 ~x456+3125000 ~x455+1562500 ~x454+781250 ~x453+390625 ~x452+400000000 ~x312+200000000 ~x311+100000000 ~x310+50000000 ~x309+25000000 ~x308+12500000 ~x307+6250000 ~x306+3125000 ~x305+1562500 ~x304+781250 ~x303+390625 ~x302+400000000 ~x12+200000000 ~x11+100000000 ~x10+50000000 ~x9+25000000 ~x8+12500000 ~x7+6250000 ~x6+3125000 ~x5+1562500 ~x4+781250 ~x3+390625 ~x2-0=14187331288
46.97/47.07	c 2147483648 ~x1810585+1073741824 ~x1810584+536870912 ~x1810583+268435456 ~x1810582+134217728 ~x1810581+67108864 ~x1810580+33554432 ~x1810579+16777216 ~x1810578+8388608 ~x1810577+4194304 ~x1810576+2097152 ~x1810575+1048576 ~x1810574+524288 ~x1810573+262144 ~x1810572+131072 ~x1810571+65536 ~x1810570+32768 ~x1810569+16384 ~x1810568+8192 ~x1810567+4096 ~x1810566+2048 ~x1810565+1024 ~x1810564+512 ~x1810563+256 ~x1810562+128 ~x1810561+64 ~x1810560+32 ~x1810559+16 ~x1810558+8 ~x1810557+4 ~x1810556+2 ~x1810555+1 ~x1810554+400400000 x834+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x702+200000000 ~x701+100000000 ~x700+50000000 ~x699+25000000 ~x698+12500000 ~x697+6250000 ~x696+3125000 ~x695+1562500 ~x694+781250 ~x693+390625 ~x692+400000000 ~x402+200000000 ~x401+100000000 ~x400+50000000 ~x399+25000000 ~x398+12500000 ~x397+6250000 ~x396+3125000 ~x395+1562500 ~x394+781250 ~x393+390625 ~x392+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32-0=7493535867
47.67/47.70	c 2147483648 ~x1839868+1073741824 ~x1839867+536870912 ~x1839866+268435456 ~x1839865+134217728 ~x1839864+67108864 ~x1839863+33554432 ~x1839862+16777216 ~x1839861+8388608 ~x1839860+4194304 ~x1839859+2097152 ~x1839858+1048576 ~x1839857+524288 ~x1839856+262144 ~x1839855+131072 ~x1839854+65536 ~x1839853+32768 ~x1839852+16384 ~x1839851+8192 ~x1839850+4096 ~x1839849+2048 ~x1839848+1024 ~x1839847+512 ~x1839846+256 ~x1839845+128 ~x1839844+64 ~x1839843+32 ~x1839842+16 ~x1839841+8 ~x1839840+4 ~x1839839+2 ~x1839838+1 ~x1839837+400400000 x835+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x552+200000000 ~x551+100000000 ~x550+50000000 ~x549+25000000 ~x548+12500000 ~x547+6250000 ~x546+3125000 ~x545+1562500 ~x544+781250 ~x543+390625 ~x542+400000000 ~x432+200000000 ~x431+100000000 ~x430+50000000 ~x429+25000000 ~x428+12500000 ~x427+6250000 ~x426+3125000 ~x425+1562500 ~x424+781250 ~x423+390625 ~x422+400000000 ~x252+200000000 ~x251+100000000 ~x250+50000000 ~x249+25000000 ~x248+12500000 ~x247+6250000 ~x246+3125000 ~x245+1562500 ~x244+781250 ~x243+390625 ~x242-0=7493535867
48.28/48.33	c 4294967296 ~x1869152+2147483648 ~x1869151+1073741824 ~x1869150+536870912 ~x1869149+268435456 ~x1869148+134217728 ~x1869147+67108864 ~x1869146+33554432 ~x1869145+16777216 ~x1869144+8388608 ~x1869143+4194304 ~x1869142+2097152 ~x1869141+1048576 ~x1869140+524288 ~x1869139+262144 ~x1869138+131072 ~x1869137+65536 ~x1869136+32768 ~x1869135+16384 ~x1869134+8192 ~x1869133+4096 ~x1869132+2048 ~x1869131+1024 ~x1869130+512 ~x1869129+256 ~x1869128+128 ~x1869127+64 ~x1869126+32 ~x1869125+16 ~x1869124+8 ~x1869123+4 ~x1869122+2 ~x1869121+1 ~x1869120+400400000 x836+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x492+200000000 ~x491+100000000 ~x490+50000000 ~x489+25000000 ~x488+12500000 ~x487+6250000 ~x486+3125000 ~x485+1562500 ~x484+781250 ~x483+390625 ~x482+400000000 ~x462+200000000 ~x461+100000000 ~x460+50000000 ~x459+25000000 ~x458+12500000 ~x457+6250000 ~x456+3125000 ~x455+1562500 ~x454+781250 ~x453+390625 ~x452+400000000 ~x432+200000000 ~x431+100000000 ~x430+50000000 ~x429+25000000 ~x428+12500000 ~x427+6250000 ~x426+3125000 ~x425+1562500 ~x424+781250 ~x423+390625 ~x422+400000000 ~x102+200000000 ~x101+100000000 ~x100+50000000 ~x99+25000000 ~x98+12500000 ~x97+6250000 ~x96+3125000 ~x95+1562500 ~x94+781250 ~x93+390625 ~x92+400000000 ~x12+200000000 ~x11+100000000 ~x10+50000000 ~x9+25000000 ~x8+12500000 ~x7+6250000 ~x6+3125000 ~x5+1562500 ~x4+781250 ~x3+390625 ~x2-0=14187331288
49.17/49.21	c 2147483648 ~x1910483+1073741824 ~x1910482+536870912 ~x1910481+268435456 ~x1910480+134217728 ~x1910479+67108864 ~x1910478+33554432 ~x1910477+16777216 ~x1910476+8388608 ~x1910475+4194304 ~x1910474+2097152 ~x1910473+1048576 ~x1910472+524288 ~x1910471+262144 ~x1910470+131072 ~x1910469+65536 ~x1910468+32768 ~x1910467+16384 ~x1910466+8192 ~x1910465+4096 ~x1910464+2048 ~x1910463+1024 ~x1910462+512 ~x1910461+256 ~x1910460+128 ~x1910459+64 ~x1910458+32 ~x1910457+16 ~x1910456+8 ~x1910455+4 ~x1910454+2 ~x1910453+1 ~x1910452+400400000 x837+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x462+200000000 ~x461+100000000 ~x460+50000000 ~x459+25000000 ~x458+12500000 ~x457+6250000 ~x456+3125000 ~x455+1562500 ~x454+781250 ~x453+390625 ~x452+400000000 ~x162+200000000 ~x161+100000000 ~x160+50000000 ~x159+25000000 ~x158+12500000 ~x157+6250000 ~x156+3125000 ~x155+1562500 ~x154+781250 ~x153+390625 ~x152-0=6693926492
49.67/49.76	c 4294967296 ~x1935873+2147483648 ~x1935872+1073741824 ~x1935871+536870912 ~x1935870+268435456 ~x1935869+134217728 ~x1935868+67108864 ~x1935867+33554432 ~x1935866+16777216 ~x1935865+8388608 ~x1935864+4194304 ~x1935863+2097152 ~x1935862+1048576 ~x1935861+524288 ~x1935860+262144 ~x1935859+131072 ~x1935858+65536 ~x1935857+32768 ~x1935856+16384 ~x1935855+8192 ~x1935854+4096 ~x1935853+2048 ~x1935852+1024 ~x1935851+512 ~x1935850+256 ~x1935849+128 ~x1935848+64 ~x1935847+32 ~x1935846+16 ~x1935845+8 ~x1935844+4 ~x1935843+2 ~x1935842+1 ~x1935841+400400000 x838+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x702+200000000 ~x701+100000000 ~x700+50000000 ~x699+25000000 ~x698+12500000 ~x697+6250000 ~x696+3125000 ~x695+1562500 ~x694+781250 ~x693+390625 ~x692+400000000 ~x642+200000000 ~x641+100000000 ~x640+50000000 ~x639+25000000 ~x638+12500000 ~x637+6250000 ~x636+3125000 ~x635+1562500 ~x634+781250 ~x633+390625 ~x632+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x552+200000000 ~x551+100000000 ~x550+50000000 ~x549+25000000 ~x548+12500000 ~x547+6250000 ~x546+3125000 ~x545+1562500 ~x544+781250 ~x543+390625 ~x542+400000000 ~x222+200000000 ~x221+100000000 ~x220+50000000 ~x219+25000000 ~x218+12500000 ~x217+6250000 ~x216+3125000 ~x215+1562500 ~x214+781250 ~x213+390625 ~x212+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32-0=14187331288
50.58/50.67	c 536870912 ~x1977202+268435456 ~x1977201+134217728 ~x1977200+67108864 ~x1977199+33554432 ~x1977198+16777216 ~x1977197+8388608 ~x1977196+4194304 ~x1977195+2097152 ~x1977194+1048576 ~x1977193+524288 ~x1977192+262144 ~x1977191+131072 ~x1977190+65536 ~x1977189+32768 ~x1977188+16384 ~x1977187+8192 ~x1977186+4096 ~x1977185+2048 ~x1977184+1024 ~x1977183+512 ~x1977182+256 ~x1977181+128 ~x1977180+64 ~x1977179+32 ~x1977178+16 ~x1977177+8 ~x1977176+4 ~x1977175+2 ~x1977174+1 ~x1977173+400400000 x839+400000000 ~x762+200000000 ~x761+100000000 ~x760+50000000 ~x759+25000000 ~x758+12500000 ~x757+6250000 ~x756+3125000 ~x755+1562500 ~x754+781250 ~x753+390625 ~x752+400000000 x732+200000000 x731+100000000 x730+50000000 x729+25000000 x728+12500000 x727+6250000 x726+3125000 x725+1562500 x724+781250 x723+390625 x722+400000000 x672+200000000 x671+100000000 x670+50000000 x669+25000000 x668+12500000 x667+6250000 x666+3125000 x665+1562500 x664+781250 x663+390625 x662+400000000 x612+200000000 x611+100000000 x610+50000000 x609+25000000 x608+12500000 x607+6250000 x606+3125000 x605+1562500 x604+781250 x603+390625 x602-0=1873482270
51.07/51.19	c 2147483648 ~x2001206+1073741824 ~x2001205+536870912 ~x2001204+268435456 ~x2001203+134217728 ~x2001202+67108864 ~x2001201+33554432 ~x2001200+16777216 ~x2001199+8388608 ~x2001198+4194304 ~x2001197+2097152 ~x2001196+1048576 ~x2001195+524288 ~x2001194+262144 ~x2001193+131072 ~x2001192+65536 ~x2001191+32768 ~x2001190+16384 ~x2001189+8192 ~x2001188+4096 ~x2001187+2048 ~x2001186+1024 ~x2001185+512 ~x2001184+256 ~x2001183+128 ~x2001182+64 ~x2001181+32 ~x2001180+16 ~x2001179+8 ~x2001178+4 ~x2001177+2 ~x2001176+1 ~x2001175+400400000 x840+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x432+200000000 ~x431+100000000 ~x430+50000000 ~x429+25000000 ~x428+12500000 ~x427+6250000 ~x426+3125000 ~x425+1562500 ~x424+781250 ~x423+390625 ~x422+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32-0=6693926492
51.68/51.75	c 4294967296 ~x2026596+2147483648 ~x2026595+1073741824 ~x2026594+536870912 ~x2026593+268435456 ~x2026592+134217728 ~x2026591+67108864 ~x2026590+33554432 ~x2026589+16777216 ~x2026588+8388608 ~x2026587+4194304 ~x2026586+2097152 ~x2026585+1048576 ~x2026584+524288 ~x2026583+262144 ~x2026582+131072 ~x2026581+65536 ~x2026580+32768 ~x2026579+16384 ~x2026578+8192 ~x2026577+4096 ~x2026576+2048 ~x2026575+1024 ~x2026574+512 ~x2026573+256 ~x2026572+128 ~x2026571+64 ~x2026570+32 ~x2026569+16 ~x2026568+8 ~x2026567+4 ~x2026566+2 ~x2026565+1 ~x2026564+400400000 x841+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x672+200000000 ~x671+100000000 ~x670+50000000 ~x669+25000000 ~x668+12500000 ~x667+6250000 ~x666+3125000 ~x665+1562500 ~x664+781250 ~x663+390625 ~x662+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x552+200000000 ~x551+100000000 ~x550+50000000 ~x549+25000000 ~x548+12500000 ~x547+6250000 ~x546+3125000 ~x545+1562500 ~x544+781250 ~x543+390625 ~x542+400000000 ~x282+200000000 ~x281+100000000 ~x280+50000000 ~x279+25000000 ~x278+12500000 ~x277+6250000 ~x276+3125000 ~x275+1562500 ~x274+781250 ~x273+390625 ~x272+400000000 ~x252+200000000 ~x251+100000000 ~x250+50000000 ~x249+25000000 ~x248+12500000 ~x247+6250000 ~x246+3125000 ~x245+1562500 ~x244+781250 ~x243+390625 ~x242+400000000 ~x192+200000000 ~x191+100000000 ~x190+50000000 ~x189+25000000 ~x188+12500000 ~x187+6250000 ~x186+3125000 ~x185+1562500 ~x184+781250 ~x183+390625 ~x182+400000000 ~x162+200000000 ~x161+100000000 ~x160+50000000 ~x159+25000000 ~x158+12500000 ~x157+6250000 ~x156+3125000 ~x155+1562500 ~x154+781250 ~x153+390625 ~x152-0=14986940663
52.67/52.73	c 2147483648 ~x2072514+1073741824 ~x2072513+536870912 ~x2072512+268435456 ~x2072511+134217728 ~x2072510+67108864 ~x2072509+33554432 ~x2072508+16777216 ~x2072507+8388608 ~x2072506+4194304 ~x2072505+2097152 ~x2072504+1048576 ~x2072503+524288 ~x2072502+262144 ~x2072501+131072 ~x2072500+65536 ~x2072499+32768 ~x2072498+16384 ~x2072497+8192 ~x2072496+4096 ~x2072495+2048 ~x2072494+1024 ~x2072493+512 ~x2072492+256 ~x2072491+128 ~x2072490+64 ~x2072489+32 ~x2072488+16 ~x2072487+8 ~x2072486+4 ~x2072485+2 ~x2072484+1 ~x2072483+400400000 x842+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x462+200000000 ~x461+100000000 ~x460+50000000 ~x459+25000000 ~x458+12500000 ~x457+6250000 ~x456+3125000 ~x455+1562500 ~x454+781250 ~x453+390625 ~x452+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32-0=7493535867
53.26/53.36	c 2147483648 ~x2101797+1073741824 ~x2101796+536870912 ~x2101795+268435456 ~x2101794+134217728 ~x2101793+67108864 ~x2101792+33554432 ~x2101791+16777216 ~x2101790+8388608 ~x2101789+4194304 ~x2101788+2097152 ~x2101787+1048576 ~x2101786+524288 ~x2101785+262144 ~x2101784+131072 ~x2101783+65536 ~x2101782+32768 ~x2101781+16384 ~x2101780+8192 ~x2101779+4096 ~x2101778+2048 ~x2101777+1024 ~x2101776+512 ~x2101775+256 ~x2101774+128 ~x2101773+64 ~x2101772+32 ~x2101771+16 ~x2101770+8 ~x2101769+4 ~x2101768+2 ~x2101767+1 ~x2101766+400400000 x843+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x432+200000000 ~x431+100000000 ~x430+50000000 ~x429+25000000 ~x428+12500000 ~x427+6250000 ~x426+3125000 ~x425+1562500 ~x424+781250 ~x423+390625 ~x422+400000000 ~x402+200000000 ~x401+100000000 ~x400+50000000 ~x399+25000000 ~x398+12500000 ~x397+6250000 ~x396+3125000 ~x395+1562500 ~x394+781250 ~x393+390625 ~x392-0=7493535867
53.87/54.00	c 2147483648 ~x2131080+1073741824 ~x2131079+536870912 ~x2131078+268435456 ~x2131077+134217728 ~x2131076+67108864 ~x2131075+33554432 ~x2131074+16777216 ~x2131073+8388608 ~x2131072+4194304 ~x2131071+2097152 ~x2131070+1048576 ~x2131069+524288 ~x2131068+262144 ~x2131067+131072 ~x2131066+65536 ~x2131065+32768 ~x2131064+16384 ~x2131063+8192 ~x2131062+4096 ~x2131061+2048 ~x2131060+1024 ~x2131059+512 ~x2131058+256 ~x2131057+128 ~x2131056+64 ~x2131055+32 ~x2131054+16 ~x2131053+8 ~x2131052+4 ~x2131051+2 ~x2131050+1 ~x2131049+400400000 x844+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x432+200000000 ~x431+100000000 ~x430+50000000 ~x429+25000000 ~x428+12500000 ~x427+6250000 ~x426+3125000 ~x425+1562500 ~x424+781250 ~x423+390625 ~x422+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32-0=7493535867
54.57/54.63	c 2147483648 ~x2160363+1073741824 ~x2160362+536870912 ~x2160361+268435456 ~x2160360+134217728 ~x2160359+67108864 ~x2160358+33554432 ~x2160357+16777216 ~x2160356+8388608 ~x2160355+4194304 ~x2160354+2097152 ~x2160353+1048576 ~x2160352+524288 ~x2160351+262144 ~x2160350+131072 ~x2160349+65536 ~x2160348+32768 ~x2160347+16384 ~x2160346+8192 ~x2160345+4096 ~x2160344+2048 ~x2160343+1024 ~x2160342+512 ~x2160341+256 ~x2160340+128 ~x2160339+64 ~x2160338+32 ~x2160337+16 ~x2160336+8 ~x2160335+4 ~x2160334+2 ~x2160333+1 ~x2160332+400400000 x845+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x612+200000000 ~x611+100000000 ~x610+50000000 ~x609+25000000 ~x608+12500000 ~x607+6250000 ~x606+3125000 ~x605+1562500 ~x604+781250 ~x603+390625 ~x602+400000000 ~x462+200000000 ~x461+100000000 ~x460+50000000 ~x459+25000000 ~x458+12500000 ~x457+6250000 ~x456+3125000 ~x455+1562500 ~x454+781250 ~x453+390625 ~x452+400000000 ~x72+200000000 ~x71+100000000 ~x70+50000000 ~x69+25000000 ~x68+12500000 ~x67+6250000 ~x66+3125000 ~x65+1562500 ~x64+781250 ~x63+390625 ~x62-0=7493535867
55.17/55.27	c 4294967296 ~x2189647+2147483648 ~x2189646+1073741824 ~x2189645+536870912 ~x2189644+268435456 ~x2189643+134217728 ~x2189642+67108864 ~x2189641+33554432 ~x2189640+16777216 ~x2189639+8388608 ~x2189638+4194304 ~x2189637+2097152 ~x2189636+1048576 ~x2189635+524288 ~x2189634+262144 ~x2189633+131072 ~x2189632+65536 ~x2189631+32768 ~x2189630+16384 ~x2189629+8192 ~x2189628+4096 ~x2189627+2048 ~x2189626+1024 ~x2189625+512 ~x2189624+256 ~x2189623+128 ~x2189622+64 ~x2189621+32 ~x2189620+16 ~x2189619+8 ~x2189618+4 ~x2189617+2 ~x2189616+1 ~x2189615+400400000 x846+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x522+200000000 ~x521+100000000 ~x520+50000000 ~x519+25000000 ~x518+12500000 ~x517+6250000 ~x516+3125000 ~x515+1562500 ~x514+781250 ~x513+390625 ~x512+400000000 ~x462+200000000 ~x461+100000000 ~x460+50000000 ~x459+25000000 ~x458+12500000 ~x457+6250000 ~x456+3125000 ~x455+1562500 ~x454+781250 ~x453+390625 ~x452+400000000 ~x372+200000000 ~x371+100000000 ~x370+50000000 ~x369+25000000 ~x368+12500000 ~x367+6250000 ~x366+3125000 ~x365+1562500 ~x364+781250 ~x363+390625 ~x362+400000000 ~x42+200000000 ~x41+100000000 ~x40+50000000 ~x39+25000000 ~x38+12500000 ~x37+6250000 ~x36+3125000 ~x35+1562500 ~x34+781250 ~x33+390625 ~x32+400000000 ~x12+200000000 ~x11+100000000 ~x10+50000000 ~x9+25000000 ~x8+12500000 ~x7+6250000 ~x6+3125000 ~x5+1562500 ~x4+781250 ~x3+390625 ~x2-0=13387721913
55.97/56.07	c 2147483648 ~x2227084+1073741824 ~x2227083+536870912 ~x2227082+268435456 ~x2227081+134217728 ~x2227080+67108864 ~x2227079+33554432 ~x2227078+16777216 ~x2227077+8388608 ~x2227076+4194304 ~x2227075+2097152 ~x2227074+1048576 ~x2227073+524288 ~x2227072+262144 ~x2227071+131072 ~x2227070+65536 ~x2227069+32768 ~x2227068+16384 ~x2227067+8192 ~x2227066+4096 ~x2227065+2048 ~x2227064+1024 ~x2227063+512 ~x2227062+256 ~x2227061+128 ~x2227060+64 ~x2227059+32 ~x2227058+16 ~x2227057+8 ~x2227056+4 ~x2227055+2 ~x2227054+1 ~x2227053+400400000 x847+400000000 x762+200000000 x761+100000000 x760+50000000 x759+25000000 x758+12500000 x757+6250000 x756+3125000 x755+1562500 x754+781250 x753+390625 x752+400000000 ~x732+200000000 ~x731+100000000 ~x730+50000000 ~x729+25000000 ~x728+12500000 ~x727+6250000 ~x726+3125000 ~x725+1562500 ~x724+781250 ~x723+390625 ~x722+400000000 ~x552+200000000 ~x551+100000000 ~x550+50000000 ~x549+25000000 ~x548+12500000 ~x547+6250000 ~x546+3125000 ~x545+1562500 ~x544+781250 ~x543+390625 ~x542+400000000 ~x432+200000000 ~x431+100000000 ~x430+50000000 ~x429+25000000 ~x428+12500000 ~x427+6250000 ~x426+3125000 ~x425+1562500 ~x424+781250 ~x423+390625 ~x422+400000000 ~x312+200000000 ~x311+100000000 ~x310+50000000 ~x309+25000000 ~x308+12500000 ~x307+6250000 ~x306+3125000 ~x305+1562500 ~x304+781250 ~x303+3

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-2674136-1276799365/watcher-2674136-1276799365 -o /tmp/evaluation-result-2674136-1276799365/solver-2674136-1276799365 -C 1800 -W 2000 -M 1800 run HOME/instance-2674136-1276799365.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.81 0.93 0.97 3/105 23468
/proc/meminfo: memFree=1865632/2059040 swapFree=4139720/4192956
[pid=23468] ppid=23466 vsize=8700 CPUtime=0
/proc/23468/stat : 23468 (run) S 23466 23468 23411 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21230041 8908800 251 1992294400 4194304 4922060 140734828533456 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23468/statm: 2175 251 211 178 0 68 0

[startup+0.045541 s]
/proc/loadavg: 0.81 0.93 0.97 3/105 23468
/proc/meminfo: memFree=1865632/2059040 swapFree=4139720/4192956
[pid=23468] ppid=23466 vsize=8700 CPUtime=0
/proc/23468/stat : 23468 (run) S 23466 23468 23411 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21230041 8908800 251 1992294400 4194304 4922060 140734828533456 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23468/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101547 s]
/proc/loadavg: 0.81 0.93 0.97 3/105 23468
/proc/meminfo: memFree=1865632/2059040 swapFree=4139720/4192956
[pid=23468] ppid=23466 vsize=8700 CPUtime=0
/proc/23468/stat : 23468 (run) S 23466 23468 23411 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21230041 8908800 251 1992294400 4194304 4922060 140734828533456 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23468/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301569 s]
/proc/loadavg: 0.81 0.93 0.97 3/105 23468
/proc/meminfo: memFree=1865632/2059040 swapFree=4139720/4192956
[pid=23468] ppid=23466 vsize=8700 CPUtime=0
/proc/23468/stat : 23468 (run) S 23466 23468 23411 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21230041 8908800 251 1992294400 4194304 4922060 140734828533456 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23468/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701614 s]
/proc/loadavg: 0.81 0.93 0.97 3/105 23468
/proc/meminfo: memFree=1865632/2059040 swapFree=4139720/4192956
[pid=23468] ppid=23466 vsize=8700 CPUtime=0
/proc/23468/stat : 23468 (run) S 23466 23468 23411 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21230041 8908800 251 1992294400 4194304 4922060 140734828533456 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23468/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.5017 s]
/proc/loadavg: 0.81 0.93 0.97 2/107 23471
/proc/meminfo: memFree=1705780/2059040 swapFree=4139720/4192956
[pid=23468] ppid=23466 vsize=8700 CPUtime=0
/proc/23468/stat : 23468 (run) S 23466 23468 23411 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21230041 8908800 251 1992294400 4194304 4922060 140734828533456 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23468/statm: 2175 251 211 178 0 68 0
[pid=23470] ppid=23468 vsize=232772 CPUtime=1.48
/proc/23470/stat : 23470 (PBPASSolver) R 23468 23468 23411 0 -1 4202496 57774 0 0 0 60 88 0 0 25 0 1 0 21230041 238358528 57631 1992294400 134512640 134902295 4294079856 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23470/statm: 58193 57631 256 96 0 57405 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 241472

[startup+3.10089 s]
/proc/loadavg: 0.81 0.93 0.97 2/107 23471
/proc/meminfo: memFree=1554624/2059040 swapFree=4139720/4192956
[pid=23468] ppid=23466 vsize=8700 CPUtime=0
/proc/23468/stat : 23468 (run) S 23466 23468 23411 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21230041 8908800 251 1992294400 4194304 4922060 140734828533456 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23468/statm: 2175 251 211 178 0 68 0
[pid=23470] ppid=23468 vsize=440996 CPUtime=3.08
/proc/23470/stat : 23470 (PBPASSolver) R 23468 23468 23411 0 -1 4202496 109778 0 0 0 135 173 0 0 25 0 1 0 21230041 451579904 109635 1992294400 134512640 134902295 4294079856 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23470/statm: 110249 109643 256 96 0 109461 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 449696

[startup+6.30125 s]
/proc/loadavg: 0.82 0.93 0.97 2/107 23471
/proc/meminfo: memFree=1158444/2059040 swapFree=4139720/4192956
[pid=23468] ppid=23466 vsize=8700 CPUtime=0
/proc/23468/stat : 23468 (run) S 23466 23468 23411 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21230041 8908800 251 1992294400 4194304 4922060 140734828533456 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23468/statm: 2175 251 211 178 0 68 0
[pid=23470] ppid=23468 vsize=805348 CPUtime=6.28
/proc/23470/stat : 23470 (PBPASSolver) R 23468 23468 23411 0 -1 4202496 200881 0 0 0 304 324 0 0 25 0 1 0 21230041 824676352 200738 1992294400 134512640 134902295 4294079856 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23470/statm: 201337 200738 256 96 0 200549 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 814048

[startup+12.701 s]
/proc/loadavg: 0.83 0.93 0.97 2/107 23471
/proc/meminfo: memFree=902880/2059040 swapFree=4139720/4192956
[pid=23468] ppid=23466 vsize=8700 CPUtime=0
/proc/23468/stat : 23468 (run) S 23466 23468 23411 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21230041 8908800 251 1992294400 4194304 4922060 140734828533456 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23468/statm: 2175 251 211 178 0 68 0
[pid=23470] ppid=23468 vsize=979548 CPUtime=12.68
/proc/23470/stat : 23470 (PBPASSolver) R 23468 23468 23411 0 -1 4202496 251078 0 0 0 899 369 0 0 25 0 1 0 21230041 1003057152 243625 1992294400 134512640 134902295 4294079856 18446744073709551615 134634839 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23470/statm: 244887 243625 262 96 0 244099 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 988248

[startup+25.5014 s]
/proc/loadavg: 0.87 0.93 0.97 2/107 23471
/proc/meminfo: memFree=640372/2059040 swapFree=4139720/4192956
[pid=23468] ppid=23466 vsize=8700 CPUtime=0
/proc/23468/stat : 23468 (run) S 23466 23468 23411 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21230041 8908800 251 1992294400 4194304 4922060 140734828533456 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23468/statm: 2175 251 211 178 0 68 0
[pid=23470] ppid=23468 vsize=1251448 CPUtime=25.48
/proc/23470/stat : 23470 (PBPASSolver) R 23468 23468 23411 0 -1 4202496 315456 0 0 0 2154 394 0 0 25 0 1 0 21230041 1281482752 306947 1992294400 134512640 134902295 4294079856 18446744073709551615 134897484 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23470/statm: 312862 306947 262 96 0 312074 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1260148

[startup+51.1013 s]
/proc/loadavg: 0.91 0.93 0.97 2/107 23471
/proc/meminfo: memFree=149704/2059040 swapFree=4139720/4192956
[pid=23468] ppid=23466 vsize=8700 CPUtime=0
/proc/23468/stat : 23468 (run) S 23466 23468 23411 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21230041 8908800 251 1992294400 4194304 4922060 140734828533456 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23468/statm: 2175 251 211 178 0 68 0
[pid=23470] ppid=23468 vsize=1764196 CPUtime=51.07
/proc/23470/stat : 23470 (PBPASSolver) R 23468 23468 23411 0 -1 4202496 443391 0 0 0 4661 446 0 0 25 0 1 0 21230041 1806536704 430772 1992294400 134512640 134902295 4294079856 18446744073709551615 4159970212 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23470/statm: 441049 430772 262 96 0 440261 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1772896



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+56.3009 s]
/proc/loadavg: 0.92 0.94 0.97 2/107 23471
/proc/meminfo: memFree=50008/2059040 swapFree=4139720/4192956
[pid=23468] ppid=23466 vsize=8700 CPUtime=0
/proc/23468/stat : 23468 (run) S 23466 23468 23411 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21230041 8908800 251 1992294400 4194304 4922060 140734828533456 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23468/statm: 2175 251 211 178 0 68 0
[pid=23470] ppid=23468 vsize=1835344 CPUtime=56.27
/proc/23470/stat : 23470 (PBPASSolver) R 23468 23468 23411 0 -1 4202496 465878 0 0 0 5173 454 0 0 25 0 1 0 21230041 1879392256 453083 1992294400 134512640 134902295 4294079856 18446744073709551615 134631605 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23470/statm: 458836 453083 262 96 0 458048 0
Current children cumulated CPU time (s) 56.27
Current children cumulated vsize (KiB) 1844044

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

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

[startup+56.3009 s]
/proc/loadavg: 0.92 0.94 0.97 2/107 23471
/proc/meminfo: memFree=50008/2059040 swapFree=4139720/4192956
[pid=23468] ppid=23466 vsize=8700 CPUtime=0
/proc/23468/stat : 23468 (run) S 23466 23468 23411 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21230041 8908800 251 1992294400 4194304 4922060 140734828533456 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23468/statm: 2175 251 211 178 0 68 0
[pid=23470] ppid=23468 vsize=1835344 CPUtime=56.27
/proc/23470/stat : 23470 (PBPASSolver) R 23468 23468 23411 0 -1 4202496 465878 0 0 0 5173 454 0 0 25 0 1 0 21230041 1879392256 453083 1992294400 134512640 134902295 4294079856 18446744073709551615 134631605 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23470/statm: 458836 453083 262 96 0 458048 0
Current children cumulated CPU time (s) 56.27
Current children cumulated vsize (KiB) 1844044

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 56.3142
CPU time (s): 56.27
CPU user time (s): 51.73
CPU system time (s): 4.54
CPU usage (%): 99.9216
Max. virtual memory (cumulated for all children) (KiB): 1844044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 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= 4
involuntary context switches= 4

runsolver used 0.086986 second user time and 0.303953 second system time

The end

Begin job on node088 at 2010-06-17 20:29:25
IDJOB=2674136
IDBENCH=2327
IDSOLVER=1174
FILE ID=node088/2674136-1276799365
PBS_JOBID= 11176666
Free space on /tmp= 62556 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos17.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674136-1276799365/watcher-2674136-1276799365 -o /tmp/evaluation-result-2674136-1276799365/solver-2674136-1276799365 -C 1800 -W 2000 -M 1800  run HOME/instance-2674136-1276799365.opb

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

MD5SUM BENCH= 6ec9fbaf74a275630384576eed2d57d7
RANDOM SEED=2129243490

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1866152 kB
Buffers:         21120 kB
Cached:          82144 kB
SwapCached:       6472 kB
Active:          25124 kB
Inactive:        91240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1866152 kB
SwapTotal:     4192956 kB
SwapFree:      4139720 kB
Dirty:            2452 kB
Writeback:           0 kB
AnonPages:       10920 kB
Mapped:          13028 kB
Slab:            54756 kB
PageTables:       3972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182196 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= 62556 MiB
End job on node088 at 2010-06-17 20:30:23