Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (MO) | 35.08 | 35.1337 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mzzv11.opb |
MD5SUM | a74bcf40291587dc368e3a23fd278be9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -10859 |
Best CPU time to get the best result obtained on this benchmark | 187.313 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -10639 |
Optimality of the best value was proved | NO |
Number of variables | 11247 |
Total number of constraints | 9744 |
Number of constraints which are clauses | 77 |
Number of constraints which are cardinality constraints (but not clauses) | 5755 |
Number of constraints which are nor clauses,nor cardinality constraints | 3912 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 68 |
Number of terms in the objective function | 773 |
Biggest coefficient in the objective function | 1000 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 76861 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1999 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 76861 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
11.38/11.44 c 11247 9744 0 0 0 0 0 0 11.38/11.44 c 16 ~x11257+8 ~x11256+4 ~x11255+2 ~x11254+1 ~x11253+16 ~x5489+8 ~x5488+4 ~x5487+2 ~x5486+1 ~x5485-0=60 11.38/11.44 c 16 ~x11546+8 ~x11545+4 ~x11544+2 ~x11543+1 ~x11542+16 ~x5605+8 ~x5604+4 ~x5603+2 ~x5602+1 ~x5601-0=60 11.38/11.44 c 16 ~x11835+8 ~x11834+4 ~x11833+2 ~x11832+1 ~x11831+16 ~x5721+8 ~x5720+4 ~x5719+2 ~x5718+1 ~x5717-0=60 11.38/11.46 c 16 ~x12124+8 ~x12123+4 ~x12122+2 ~x12121+1 ~x12120+16 ~x5837+8 ~x5836+4 ~x5835+2 ~x5834+1 ~x5833-0=60 11.38/11.46 c 32 ~x12414+16 ~x12413+8 ~x12412+4 ~x12411+2 ~x12410+1 ~x12409+32 ~x5954+16 ~x5953+8 ~x5952+4 ~x5951+2 ~x5950+1 ~x5949-0=111 11.38/11.49 c 32 ~x12842+16 ~x12841+8 ~x12840+4 ~x12839+2 ~x12838+1 ~x12837+32 ~x6071+16 ~x6070+8 ~x6069+4 ~x6068+2 ~x6067+1 ~x6066-0=111 11.38/11.49 c 32 ~x13270+16 ~x13269+8 ~x13268+4 ~x13267+2 ~x13266+1 ~x13265+32 ~x6188+16 ~x6187+8 ~x6186+4 ~x6185+2 ~x6184+1 ~x6183-0=111 11.48/11.51 c 32 ~x13698+16 ~x13697+8 ~x13696+4 ~x13695+2 ~x13694+1 ~x13693+32 ~x6305+16 ~x6304+8 ~x6303+4 ~x6302+2 ~x6301+1 ~x6300-0=111 11.48/11.51 c 16 ~x14125+8 ~x14124+4 ~x14123+2 ~x14122+1 ~x14121+16 ~x6421+8 ~x6420+4 ~x6419+2 ~x6418+1 ~x6417-0=50 11.48/11.54 c 16 ~x14414+8 ~x14413+4 ~x14412+2 ~x14411+1 ~x14410+16 ~x6537+8 ~x6536+4 ~x6535+2 ~x6534+1 ~x6533-0=50 11.48/11.54 c 16 ~x14703+8 ~x14702+4 ~x14701+2 ~x14700+1 ~x14699+16 ~x6654+8 ~x6653+4 ~x6652+2 ~x6651+1 ~x6650-0=50 11.48/11.54 c 16 ~x14992+8 ~x14991+4 ~x14990+2 ~x14989+1 ~x14988+16 ~x6770+8 ~x6769+4 ~x6768+2 ~x6767+1 ~x6766-0=50 11.48/11.58 c 32 ~x15282+16 ~x15281+8 ~x15280+4 ~x15279+2 ~x15278+1 ~x15277+32 ~x6887+16 ~x6886+8 ~x6885+4 ~x6884+2 ~x6883+1 ~x6882-0=119 11.48/11.58 c 32 ~x15710+16 ~x15709+8 ~x15708+4 ~x15707+2 ~x15706+1 ~x15705+32 ~x7005+16 ~x7004+8 ~x7003+4 ~x7002+2 ~x7001+1 ~x7000-0=119 11.58/11.61 c 32 ~x16138+16 ~x16137+8 ~x16136+4 ~x16135+2 ~x16134+1 ~x16133+32 ~x7123+16 ~x7122+8 ~x7121+4 ~x7120+2 ~x7119+1 ~x7118-0=119 11.58/11.61 c 32 ~x16566+16 ~x16565+8 ~x16564+4 ~x16563+2 ~x16562+1 ~x16561+32 ~x7241+16 ~x7240+8 ~x7239+4 ~x7238+2 ~x7237+1 ~x7236-0=119 11.58/11.62 c 4 ~x16995+2 ~x16994+1 ~x16993+4 ~x7813+2 ~x7812+1 ~x7811-0=12 11.58/11.62 c 4 ~x17068+2 ~x17067+1 ~x17066+4 ~x7928+2 ~x7927+1 ~x7926-0=12 11.58/11.62 c 4 ~x17141+2 ~x17140+1 ~x17139+4 ~x8043+2 ~x8042+1 ~x8041-0=12 11.58/11.65 c 4 ~x17214+2 ~x17213+1 ~x17212+4 ~x8158+2 ~x8157+1 ~x8156-0=12 11.58/11.65 c 4 ~x17295+2 ~x17294+1 ~x17293+4 ~x9190+2 ~x9189+1 ~x9188-0=12 11.58/11.65 c 4 ~x17368+2 ~x17367+1 ~x17366+4 ~x9305+2 ~x9304+1 ~x9303-0=12 11.58/11.65 c 4 ~x17441+2 ~x17440+1 ~x17439+4 ~x9420+2 ~x9419+1 ~x9418-0=12 11.68/11.70 c 4 ~x17514+2 ~x17513+1 ~x17512+4 ~x9535+2 ~x9534+1 ~x9533-0=12 11.68/11.70 c 4 ~x17591+2 ~x17590+1 ~x17589+4 ~x10111+2 ~x10110+1 ~x10109-0=14 11.68/11.70 c 4 ~x17664+2 ~x17663+1 ~x17662+4 ~x10225+2 ~x10224+1 ~x10223-0=14 11.68/11.70 c 4 ~x17737+2 ~x17736+1 ~x17735+4 ~x10339+2 ~x10338+1 ~x10337-0=14 11.68/11.74 c 4 ~x17810+2 ~x17809+1 ~x17808+4 ~x10453+2 ~x10452+1 ~x10451-0=14 11.68/11.74 c 4 ~x17883+2 ~x17882+1 ~x17881+4 ~x10567+2 ~x10566+1 ~x10565-0=14 11.68/11.74 c 4 ~x17956+2 ~x17955+1 ~x17954+4 ~x10681+2 ~x10680+1 ~x10679-0=14 11.68/11.74 c 4 ~x18029+2 ~x18028+1 ~x18027+4 ~x10795+2 ~x10794+1 ~x10793-0=14 11.68/11.79 c 4 ~x18102+2 ~x18101+1 ~x18100+4 ~x10909+2 ~x10908+1 ~x10907-0=14 11.68/11.79 c 4 ~x18175+2 ~x18174+1 ~x18173+4 ~x11023+2 ~x11022+1 ~x11021-0=14 11.68/11.79 c 4 ~x18248+2 ~x18247+1 ~x18246+4 ~x11137+2 ~x11136+1 ~x11135-0=14 11.68/11.79 c 4 ~x18321+2 ~x18320+1 ~x18319+4 ~x6+2 ~x5+1 ~x4-0=14 11.78/11.82 c 4 ~x18394+2 ~x18393+1 ~x18392+4 ~x120+2 ~x119+1 ~x118-0=14 11.78/11.82 c 4 ~x18467+2 ~x18466+1 ~x18465+4 ~x234+2 ~x233+1 ~x232-0=14 11.78/11.82 c 4 ~x18540+2 ~x18539+1 ~x18538+4 ~x366+2 ~x365+1 ~x364-0=14 11.78/11.82 c 4 ~x18613+2 ~x18612+1 ~x18611+4 ~x380+2 ~x379+1 ~x378-0=14 11.78/11.85 c 4 ~x18686+2 ~x18685+1 ~x18684+4 ~x394+2 ~x393+1 ~x392-0=14 11.78/11.85 c 4 ~x18759+2 ~x18758+1 ~x18757+4 ~x408+2 ~x407+1 ~x406-0=14 11.78/11.85 c 4 ~x18832+2 ~x18831+1 ~x18830+4 ~x422+2 ~x421+1 ~x420-0=14 11.78/11.85 c 4 ~x18905+2 ~x18904+1 ~x18903+4 ~x436+2 ~x435+1 ~x434-0=14 11.88/11.94 c 4 ~x18978+2 ~x18977+1 ~x18976+4 ~x450+2 ~x449+1 ~x448-0=14 11.88/11.94 c 4 ~x19051+2 ~x19050+1 ~x19049+4 ~x465+2 ~x464+1 ~x463-0=14 11.88/11.94 c 4 ~x19124+2 ~x19123+1 ~x19122+4 ~x479+2 ~x478+1 ~x477-0=14 11.88/11.94 c 4 ~x19197+2 ~x19196+1 ~x19195+4 ~x493+2 ~x492+1 ~x491-0=14 11.88/11.94 c 4 ~x19270+2 ~x19269+1 ~x19268+4 ~x507+2 ~x506+1 ~x505-0=14 11.88/11.99 c 4 ~x19343+2 ~x19342+1 ~x19341+4 ~x521+2 ~x520+1 ~x519-0=13 11.88/11.99 c 4 ~x19416+2 ~x19415+1 ~x19414+4 ~x535+2 ~x534+1 ~x533-0=13 11.88/11.99 c 4 ~x19489+2 ~x19488+1 ~x19487+4 ~x549+2 ~x548+1 ~x547-0=13 11.88/11.99 c 4 ~x19562+2 ~x19561+1 ~x19560+4 ~x563+2 ~x562+1 ~x561-0=13 11.99/12.02 c 4 ~x19635+2 ~x19634+1 ~x19633+4 ~x577+2 ~x576+1 ~x575-0=13 11.99/12.02 c 4 ~x19708+2 ~x19707+1 ~x19706+4 ~x591+2 ~x590+1 ~x589-0=13 11.99/12.02 c 4 ~x19781+2 ~x19780+1 ~x19779+4 ~x606+2 ~x605+1 ~x604-0=13 11.99/12.02 c 4 ~x19854+2 ~x19853+1 ~x19852+4 ~x620+2 ~x619+1 ~x618-0=13 11.99/12.06 c 16 ~x19929+8 ~x19928+4 ~x19927+2 ~x19926+1 ~x19925+16 ~x636+8 ~x635+4 ~x634+2 ~x633+1 ~x632-0=60 11.99/12.06 c 16 ~x20218+8 ~x20217+4 ~x20216+2 ~x20215+1 ~x20214+16 ~x652+8 ~x651+4 ~x650+2 ~x649+1 ~x648-0=60 11.99/12.06 c 16 ~x20507+8 ~x20506+4 ~x20505+2 ~x20504+1 ~x20503+16 ~x668+8 ~x667+4 ~x666+2 ~x665+1 ~x664-0=60 12.09/12.14 c 16 ~x20796+8 ~x20795+4 ~x20794+2 ~x20793+1 ~x20792+16 ~x684+8 ~x683+4 ~x682+2 ~x681+1 ~x680-0=60 12.09/12.14 c 32 ~x21090+16 ~x21089+8 ~x21088+4 ~x21087+2 ~x21086+1 ~x21085+32 ~x762+16 ~x761+8 ~x760+4 ~x759+2 ~x758+1 ~x757-0=112 12.09/12.16 c 32 ~x21518+16 ~x21517+8 ~x21516+4 ~x21515+2 ~x21514+1 ~x21513+32 ~x779+16 ~x778+8 ~x777+4 ~x776+2 ~x775+1 ~x774-0=112 12.09/12.16 c 32 ~x21946+16 ~x21945+8 ~x21944+4 ~x21943+2 ~x21942+1 ~x21941+32 ~x796+16 ~x795+8 ~x794+4 ~x793+2 ~x792+1 ~x791-0=112 12.18/12.20 c 32 ~x22374+16 ~x22373+8 ~x22372+4 ~x22371+2 ~x22370+1 ~x22369+32 ~x813+16 ~x812+8 ~x811+4 ~x810+2 ~x809+1 ~x808-0=112 12.18/12.20 c 4 ~x22811+2 ~x22810+1 ~x22809+4 ~x984+2 ~x983+1 ~x982-0=13 12.18/12.20 c 4 ~x22884+2 ~x22883+1 ~x22882+4 ~x998+2 ~x997+1 ~x996-0=13 12.18/12.21 c 4 ~x22957+2 ~x22956+1 ~x22955+4 ~x1012+2 ~x1011+1 ~x1010-0=13 12.18/12.21 c 4 ~x23030+2 ~x23029+1 ~x23028+4 ~x1026+2 ~x1025+1 ~x1024-0=13 12.18/12.21 c 2 ~x23102+1 ~x23101+2 ~x1040+1 ~x1039-0=6 12.18/12.21 c 2 ~x23130+1 ~x23129+2 ~x1053+1 ~x1052-0=6 12.18/12.21 c 2 ~x23158+1 ~x23157+2 ~x1066+1 ~x1065-0=6 12.18/12.23 c 2 ~x23186+1 ~x23185+2 ~x1079+1 ~x1078-0=6 12.18/12.23 c 2 ~x23214+1 ~x23213+2 ~x1092+1 ~x1091-0=6 12.18/12.23 c 2 ~x23242+1 ~x23241+2 ~x1105+1 ~x1104-0=6 12.18/12.23 c 2 ~x23270+1 ~x23269+2 ~x1118+1 ~x1117-0=6 12.18/12.23 c 2 ~x23298+1 ~x23297+2 ~x1131+1 ~x1130-0=6 12.18/12.23 c 2 ~x23326+1 ~x23325+2 ~x1144+1 ~x1143-0=6 12.18/12.27 c 2 ~x23354+1 ~x23353+2 ~x1157+1 ~x1156-0=6 12.18/12.27 c 2 ~x23382+1 ~x23381+2 ~x1171+1 ~x1170-0=6 12.18/12.27 c 2 ~x23410+1 ~x23409+2 ~x1184+1 ~x1183-0=6 12.18/12.27 c 2 ~x23438+1 ~x23437+2 ~x1197+1 ~x1196-0=6 12.18/12.27 c 2 ~x23466+1 ~x23465+2 ~x1210+1 ~x1209-0=6 12.18/12.27 c 2 ~x23494+1 ~x23493+2 ~x1223+1 ~x1222-0=6 12.28/12.32 c 2 ~x23522+1 ~x23521+2 ~x1236+1 ~x1235-0=6 12.28/12.32 c 8 ~x23552+4 ~x23551+2 ~x23550+1 ~x23549+8 ~x1251+4 ~x1250+2 ~x1249+1 ~x1248-0=24 12.28/12.32 c 8 ~x23700+4 ~x23699+2 ~x23698+1 ~x23697+8 ~x1266+4 ~x1265+2 ~x1264+1 ~x1263-0=24 12.28/12.32 c 8 ~x23848+4 ~x23847+2 ~x23846+1 ~x23845+8 ~x1281+4 ~x1280+2 ~x1279+1 ~x1278-0=24 12.28/12.36 c 8 ~x23996+4 ~x23995+2 ~x23994+1 ~x23993+8 ~x1296+4 ~x1295+2 ~x1294+1 ~x1293-0=24 12.28/12.36 c 4 ~x24143+2 ~x24142+1 ~x24141+4 ~x1311+2 ~x1310+1 ~x1309-0=13 12.28/12.36 c 4 ~x24216+2 ~x24215+1 ~x24214+4 ~x1325+2 ~x1324+1 ~x1323-0=13 12.38/12.40 c 4 ~x24289+2 ~x24288+1 ~x24287+4 ~x1339+2 ~x1338+1 ~x1337-0=13 12.38/12.40 c 4 ~x24362+2 ~x24361+1 ~x24360+4 ~x1353+2 ~x1352+1 ~x1351-0=13 12.38/12.40 c 4 ~x24435+2 ~x24434+1 ~x24433+4 ~x1367+2 ~x1366+1 ~x1365-0=13 12.38/12.40 c 4 ~x24508+2 ~x24507+1 ~x24506+4 ~x1381+2 ~x1380+1 ~x1379-0=13 12.38/12.45 c 4 ~x24581+2 ~x24580+1 ~x24579+4 ~x1395+2 ~x1394+1 ~x1393-0=13 12.38/12.45 c 4 ~x24654+2 ~x24653+1 ~x24652+4 ~x1409+2 ~x1408+1 ~x1407-0=13 12.38/12.45 c 16 ~x24729+8 ~x24728+4 ~x24727+2 ~x24726+1 ~x24725+16 ~x1425+8 ~x1424+4 ~x1423+2 ~x1422+1 ~x1421-0=59 12.38/12.45 c 16 ~x25018+8 ~x25017+4 ~x25016+2 ~x25015+1 ~x25014+16 ~x1442+8 ~x1441+4 ~x1440+2 ~x1439+1 ~x1438-0=59 12.48/12.53 c 16 ~x25307+8 ~x25306+4 ~x25305+2 ~x25304+1 ~x25303+16 ~x1460+8 ~x1459+4 ~x1458+2 ~x1457+1 ~x1456-0=59 12.48/12.53 c 16 ~x25596+8 ~x25595+4 ~x25594+2 ~x25593+1 ~x25592+16 ~x1477+8 ~x1476+4 ~x1475+2 ~x1474+1 ~x1473-0=59 12.59/12.66 c 8 ~x25884+4 ~x25883+2 ~x25882+1 ~x25881+8 ~x1493+4 ~x1492+2 ~x1491+1 ~x1490-0=29 12.59/12.66 c 8 ~x26032+4 ~x26031+2 ~x26030+1 ~x26029+8 ~x1509+4 ~x1508+2 ~x1507+1 ~x1506-0=29 12.59/12.66 c 8 ~x26180+4 ~x26179+2 ~x26178+1 ~x26177+8 ~x1525+4 ~x1524+2 ~x1523+1 ~x1522-0=29 12.69/12.75 c 8 ~x26328+4 ~x26327+2 ~x26326+1 ~x26325+8 ~x1541+4 ~x1540+2 ~x1539+1 ~x1538-0=29 12.69/12.75 c 2 ~x26478+1 ~x26477+2 ~x1620+1 ~x1619-0=6 12.69/12.75 c 2 ~x26506+1 ~x26505+2 ~x1633+1 ~x1632-0=6 12.69/12.75 c 2 ~x26534+1 ~x26533+2 ~x1646+1 ~x1645-0=6 12.79/12.81 c 2 ~x26562+1 ~x26561+2 ~x1659+1 ~x1658-0=6 12.79/12.81 c 4 ~x26591+2 ~x26590+1 ~x26589+4 ~x1673+2 ~x1672+1 ~x1671-0=14 12.79/12.81 c 4 ~x26664+2 ~x26663+1 ~x26662+4 ~x1687+2 ~x1686+1 ~x1685-0=14 12.79/12.81 c 4 ~x26737+2 ~x26736+1 ~x26735+4 ~x1701+2 ~x1700+1 ~x1699-0=14 12.79/12.81 c 4 ~x26810+2 ~x26809+1 ~x26808+4 ~x1715+2 ~x1714+1 ~x1713-0=14 12.79/12.84 c 4 ~x26887+2 ~x26886+1 ~x26885+4 ~x1787+2 ~x1786+1 ~x1785-0=13 12.79/12.84 c 4 ~x26960+2 ~x26959+1 ~x26958+4 ~x1801+2 ~x1800+1 ~x1799-0=13 12.79/12.84 c 4 ~x27033+2 ~x27032+1 ~x27031+4 ~x1815+2 ~x1814+1 ~x1813-0=13 12.79/12.84 c 4 ~x27106+2 ~x27105+1 ~x27104+4 ~x1829+2 ~x1828+1 ~x1827-0=13 12.79/12.89 c 16 ~x27181+8 ~x27180+4 ~x27179+2 ~x27178+1 ~x27177+16 ~x1845+8 ~x1844+4 ~x1843+2 ~x1842+1 ~x1841-0=50 12.79/12.89 c 32 ~x27471+16 ~x27470+8 ~x27469+4 ~x27468+2 ~x27467+1 ~x27466+32 ~x1862+16 ~x1861+8 ~x1860+4 ~x1859+2 ~x1858+1 ~x1857-0=126 12.98/13.03 c 16 ~x27898+8 ~x27897+4 ~x27896+2 ~x27895+1 ~x27894+16 ~x1878+8 ~x1877+4 ~x1876+2 ~x1875+1 ~x1874-0=59 12.98/13.03 c 4 ~x28185+2 ~x28184+1 ~x28183+4 ~x1893+2 ~x1892+1 ~x1891-0=14 12.98/13.03 c 32 ~x28261+16 ~x28260+8 ~x28259+4 ~x28258+2 ~x28257+1 ~x28256+32 ~x1934+16 ~x1933+8 ~x1932+4 ~x1931+2 ~x1930+1 ~x1929-0=109 12.98/13.05 c 32 ~x28689+16 ~x28688+8 ~x28687+4 ~x28686+2 ~x28685+1 ~x28684+32 ~x1951+16 ~x1950+8 ~x1949+4 ~x1948+2 ~x1947+1 ~x1946-0=98 12.98/13.05 c 32 ~x29117+16 ~x29116+8 ~x29115+4 ~x29114+2 ~x29113+1 ~x29112+32 ~x1968+16 ~x1967+8 ~x1966+4 ~x1965+2 ~x1964+1 ~x1963-0=99 12.98/13.08 c 32 ~x29545+16 ~x29544+8 ~x29543+4 ~x29542+2 ~x29541+1 ~x29540+32 ~x1985+16 ~x1984+8 ~x1983+4 ~x1982+2 ~x1981+1 ~x1980-0=109 12.98/13.08 c 32 ~x29973+16 ~x29972+8 ~x29971+4 ~x29970+2 ~x29969+1 ~x29968+32 ~x2002+16 ~x2001+8 ~x2000+4 ~x1999+2 ~x1998+1 ~x1997-0=98 13.09/13.10 c 32 ~x30401+16 ~x30400+8 ~x30399+4 ~x30398+2 ~x30397+1 ~x30396+32 ~x2019+16 ~x2018+8 ~x2017+4 ~x2016+2 ~x2015+1 ~x2014-0=99 13.09/13.10 c 32 ~x30829+16 ~x30828+8 ~x30827+4 ~x30826+2 ~x30825+1 ~x30824+32 ~x2036+16 ~x2035+8 ~x2034+4 ~x2033+2 ~x2032+1 ~x2031-0=102 13.09/13.13 c 32 ~x31257+16 ~x31256+8 ~x31255+4 ~x31254+2 ~x31253+1 ~x31252+32 ~x2053+16 ~x2052+8 ~x2051+4 ~x2050+2 ~x2049+1 ~x2048-0=107 13.09/13.13 c 32 ~x31685+16 ~x31684+8 ~x31683+4 ~x31682+2 ~x31681+1 ~x31680+32 ~x2071+16 ~x2070+8 ~x2069+4 ~x2068+2 ~x2067+1 ~x2066-0=112 13.09/13.15 c 32 ~x32113+16 ~x32112+8 ~x32111+4 ~x32110+2 ~x32109+1 ~x32108+32 ~x2088+16 ~x2087+8 ~x2086+4 ~x2085+2 ~x2084+1 ~x2083-0=102 13.09/13.15 c 32 ~x32541+16 ~x32540+8 ~x32539+4 ~x32538+2 ~x32537+1 ~x32536+32 ~x2105+16 ~x2104+8 ~x2103+4 ~x2102+2 ~x2101+1 ~x2100-0=107 13.09/13.18 c 32 ~x32969+16 ~x32968+8 ~x32967+4 ~x32966+2 ~x32965+1 ~x32964+32 ~x2122+16 ~x2121+8 ~x2120+4 ~x2119+2 ~x2118+1 ~x2117-0=112 13.09/13.18 c 8 ~x33395+4 ~x33394+2 ~x33393+1 ~x33392+8 ~x2137+4 ~x2136+2 ~x2135+1 ~x2134-0=25 13.09/13.18 c 8 ~x33543+4 ~x33542+2 ~x33541+1 ~x33540+8 ~x2152+4 ~x2151+2 ~x2150+1 ~x2149-0=25 13.09/13.20 c 8 ~x33691+4 ~x33690+2 ~x33689+1 ~x33688+8 ~x2167+4 ~x2166+2 ~x2165+1 ~x2164-0=29 13.09/13.20 c 16 ~x33840+8 ~x33839+4 ~x33838+2 ~x33837+1 ~x33836+16 ~x2184+8 ~x2183+4 ~x2182+2 ~x2181+1 ~x2180-0=50 13.19/13.21 c 16 ~x34129+8 ~x34128+4 ~x34127+2 ~x34126+1 ~x34125+16 ~x2234+8 ~x2233+4 ~x2232+2 ~x2231+1 ~x2230-0=62 13.19/13.21 c 2 ~x34415+1 ~x34414+2 ~x2247+1 ~x2246-0=6 13.19/13.21 c 4 ~x34444+2 ~x34443+1 ~x34442+4 ~x2263+2 ~x2262+1 ~x2261-0=13 13.19/13.21 c 4 ~x34517+2 ~x34516+1 ~x34515+4 ~x2278+2 ~x2277+1 ~x2276-0=13 13.19/13.23 c 16 ~x34592+8 ~x34591+4 ~x34590+2 ~x34589+1 ~x34588+16 ~x2295+8 ~x2294+4 ~x2293+2 ~x2292+1 ~x2291-0=56 13.19/13.23 c 16 ~x34881+8 ~x34880+4 ~x34879+2 ~x34878+1 ~x34877+16 ~x2311+8 ~x2310+4 ~x2309+2 ~x2308+1 ~x2307-0=62 13.19/13.23 c 4 ~x35168+2 ~x35167+1 ~x35166+4 ~x2325+2 ~x2324+1 ~x2323-0=12 13.19/13.25 c 8 ~x35242+4 ~x35241+2 ~x35240+1 ~x35239+8 ~x2341+4 ~x2340+2 ~x2339+1 ~x2338-0=26 13.19/13.25 c 16 ~x35391+8 ~x35390+4 ~x35389+2 ~x35388+1 ~x35387+16 ~x2357+8 ~x2356+4 ~x2355+2 ~x2354+1 ~x2353-0=56 13.19/13.25 c 8 ~x35679+4 ~x35678+2 ~x35677+1 ~x35676+8 ~x2373+4 ~x2372+2 ~x2371+1 ~x2370-0=27 13.19/13.27 c 32 ~x35830+16 ~x35829+8 ~x35828+4 ~x35827+2 ~x35826+1 ~x35825+32 ~x2405+16 ~x2404+8 ~x2403+4 ~x2402+2 ~x2401+1 ~x2400-0=108 13.19/13.27 c 16 ~x36257+8 ~x36256+4 ~x36255+2 ~x36254+1 ~x36253+16 ~x2421+8 ~x2420+4 ~x2419+2 ~x2418+1 ~x2417-0=60 13.19/13.30 c 32 ~x36547+16 ~x36546+8 ~x36545+4 ~x36544+2 ~x36543+1 ~x36542+32 ~x2438+16 ~x2437+8 ~x2436+4 ~x2435+2 ~x2434+1 ~x2433-0=111 13.19/13.30 c 8 ~x36974+4 ~x36973+2 ~x36972+1 ~x36971+8 ~x2467+4 ~x2466+2 ~x2465+1 ~x2464-0=29 13.19/13.30 c 8 ~x37123+4 ~x37122+2 ~x37121+1 ~x37120+8 ~x2497+4 ~x2496+2 ~x2495+1 ~x2494-0=28 13.28/13.31 c 16 ~x37272+8 ~x37271+4 ~x37270+2 ~x37269+1 ~x37268+16 ~x2569+8 ~x2568+4 ~x2567+2 ~x2566+1 ~x2565-0=60 13.28/13.31 c 2 ~x37558+1 ~x37557+2 ~x2582+1 ~x2581-0=6 13.28/13.31 c 16 ~x37590+8 ~x37589+4 ~x37588+2 ~x37587+1 ~x37586+16 ~x2615+8 ~x2614+4 ~x2613+2 ~x2612+1 ~x2611-0=56 13.28/13.33 c 16 ~x37879+8 ~x37878+4 ~x37877+2 ~x37876+1 ~x37875+16 ~x2631+8 ~x2630+4 ~x2629+2 ~x2628+1 ~x2627-0=59 13.28/13.33 c 16 ~x38169+8 ~x38168+4 ~x38167+2 ~x38166+1 ~x38165+16 ~x2663+8 ~x2662+4 ~x2661+2 ~x2660+1 ~x2659-0=61 13.28/13.36 c 16 ~x38458+8 ~x38457+4 ~x38456+2 ~x38455+1 ~x38454+16 ~x2679+8 ~x2678+4 ~x2677+2 ~x2676+1 ~x2675-0=61 13.28/13.36 c 16 ~x38749+8 ~x38748+4 ~x38747+2 ~x38746+1 ~x38745+16 ~x2725+8 ~x2724+4 ~x2723+2 ~x2722+1 ~x2721-0=61 13.28/13.36 c 16 ~x39038+8 ~x39037+4 ~x39036+2 ~x39035+1 ~x39034+16 ~x2820+8 ~x2819+4 ~x2818+2 ~x2817+1 ~x2816-0=54 13.28/13.37 c 16 ~x39327+8 ~x39326+4 ~x39325+2 ~x39324+1 ~x39323+16 ~x2836+8 ~x2835+4 ~x2834+2 ~x2833+1 ~x2832-0=54 13.28/13.37 c 16 ~x39617+8 ~x39616+4 ~x39615+2 ~x39614+1 ~x39613+16 ~x2868+8 ~x2867+4 ~x2866+2 ~x2865+1 ~x2864-0=50 13.38/13.40 c 4 ~x39905+2 ~x39904+1 ~x39903+4 ~x2897+2 ~x2896+1 ~x2895-0=12 13.38/13.40 c 4 ~x39980+2 ~x39979+1 ~x39978+4 ~x2945+2 ~x2944+1 ~x2943-0=13 13.38/13.40 c 16 ~x40060+8 ~x40059+4 ~x40058+2 ~x40057+1 ~x40056+16 ~x3039+8 ~x3038+4 ~x3037+2 ~x3036+1 ~x3035-0=59 13.38/13.40 c 32 ~x40351+16 ~x40350+8 ~x40349+4 ~x40348+2 ~x40347+1 ~x40346+32 ~x3071+16 ~x3070+8 ~x3069+4 ~x3068+2 ~x3067+1 ~x3066-0=120 13.38/13.42 c 2 ~x40775+1 ~x40774+2 ~x3084+1 ~x3083-0=6 13.38/13.42 c 2 ~x40803+1 ~x40802+2 ~x3100+1 ~x3099-0=6 13.38/13.42 c 16 ~x40834+8 ~x40833+4 ~x40832+2 ~x40831+1 ~x40830+16 ~x3120+8 ~x3119+4 ~x3118+2 ~x3117+1 ~x3116-0=50 13.38/13.44 c 8 ~x41122+4 ~x41121+2 ~x41120+1 ~x41119+8 ~x3135+4 ~x3134+2 ~x3133+1 ~x3132-0=30 13.38/13.44 c 16 ~x41272+8 ~x41271+4 ~x41270+2 ~x41269+1 ~x41268+16 ~x3168+8 ~x3167+4 ~x3166+2 ~x3165+1 ~x3164-0=48 13.38/13.44 c 32 ~x41562+16 ~x41561+8 ~x41560+4 ~x41559+2 ~x41558+1 ~x41557+32 ~x272+16 ~x271+8 ~x270+4 ~x269+2 ~x268+1 ~x267-0=121 13.38/13.46 c 16 ~x41989+8 ~x41988+4 ~x41987+2 ~x41986+1 ~x41985+16 ~x278+8 ~x277+4 ~x276+2 ~x275+1 ~x274-0=56 13.38/13.46 c 4 ~x42276+2 ~x42275+1 ~x42274+4 ~x284+2 ~x283+1 ~x282-0=12 13.38/13.48 c 32 ~x42352+16 ~x42351+8 ~x42350+4 ~x42349+2 ~x42348+1 ~x42347+32 ~x293+16 ~x292+8 ~x291+4 ~x290+2 ~x289+1 ~x288-0=102 13.38/13.48 c 16 ~x42779+8 ~x42778+4 ~x42777+2 ~x42776+1 ~x42775+16 ~x299+8 ~x298+4 ~x297+2 ~x296+1 ~x295-0=52 13.38/13.48 c 16 ~x43068+8 ~x43067+4 ~x43066+2 ~x43065+1 ~x43064+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302-0=52 13.48/13.50 c 16 ~x43357+8 ~x43356+4 ~x43355+2 ~x43354+1 ~x43353+16 ~x313+8 ~x312+4 ~x311+2 ~x310+1 ~x309-0=52 13.48/13.50 c 16 ~x43646+8 ~x43645+4 ~x43644+2 ~x43643+1 ~x43642+16 ~x320+8 ~x319+4 ~x318+2 ~x317+1 ~x316-0=52 13.48/13.53 c 16 ~x43935+8 ~x43934+4 ~x43933+2 ~x43932+1 ~x43931+16 ~x327+8 ~x326+4 ~x325+2 ~x324+1 ~x323-0=52 13.48/13.53 c 16 ~x44224+8 ~x44223+4 ~x44222+2 ~x44221+1 ~x44220+16 ~x334+8 ~x333+4 ~x332+2 ~x331+1 ~x330-0=52 13.48/13.53 c 16 ~x44513+8 ~x44512+4 ~x44511+2 ~x44510+1 ~x44509+16 ~x341+8 ~x340+4 ~x339+2 ~x338+1 ~x337-0=52 13.48/13.57 c 16 ~x44802+8 ~x44801+4 ~x44800+2 ~x44799+1 ~x44798+16 ~x348+8 ~x347+4 ~x346+2 ~x345+1 ~x344-0=52 13.48/13.57 c 16 ~x45091+8 ~x45090+4 ~x45089+2 ~x45088+1 ~x45087+16 ~x356+8 ~x355+4 ~x354+2 ~x353+1 ~x352-0=52 13.48/13.57 c 2048 ~x45387+1024 ~x45386+512 ~x45385+256 ~x45384+128 ~x45383+64 ~x45382+32 ~x45381+16 ~x45380+8 ~x45379+4 ~x45378+2 ~x45377+1 ~x45376+480 ~x5373+240 ~x5372+120 ~x5371+60 ~x5370+30 ~x5369+480 ~x5258+240 ~x5257+120 ~x5256+60 ~x5255+30 ~x5254+480 ~x5143+240 ~x5142+120 ~x5141+60 ~x5140+30 ~x5139+480 ~x5028+240 ~x5027+120 ~x5026+60 ~x5025+30 ~x5024+899 x2-0=7815 13.58/13.65 c 2048 ~x48110+1024 ~x48109+512 ~x48108+256 ~x48107+128 ~x48106+64 ~x48105+32 ~x48104+16 ~x48103+8 ~x48102+4 ~x48101+2 ~x48100+1 ~x48099+480 ~x9537+240 ~x9536+120 ~x9535+60 ~x9534+30 ~x9533+480 ~x9422+240 ~x9421+120 ~x9420+60 ~x9419+30 ~x9418+480 ~x9307+240 ~x9306+120 ~x9305+60 ~x9304+30 ~x9303+480 ~x9192+240 ~x9191+120 ~x9190+60 ~x9189+30 ~x9188+799 x756-0=7815 13.68/13.72 c 8 ~x50849+4 ~x50848+2 ~x50847+1 ~x50846+8 x2167+4 x2166+2 x2165+1 x2164+8 x651+4 x650+2 x649+1 x648-0=30 13.79/13.86 c 8 ~x52445+4 ~x52444+2 ~x52443+1 ~x52442+8 x2183+4 x2182+2 x2181+1 x2180+8 x714+4 x713+2 x712+1 x711-0=30 13.79/13.86 c 4 ~x54352+2 ~x54351+1 ~x54350+3 ~x2554+2 ~x2543+1 ~x2532+4 x776+2 x775+1 x774-0=13 13.79/13.86 c 16 ~x55450+8 ~x55449+4 ~x55448+2 ~x55447+1 ~x55446+16 x2234+8 x2233+4 x2232+2 x2231+1 x2230+4 x840+2 x839+1 x838-0=57 13.88/13.95 c 16 ~x56609+8 ~x56608+4 ~x56607+2 ~x56606+1 ~x56605+16 x2250+8 x2249+4 x2248+2 x2247+1 x2246+4 x892+2 x891+1 x890-0=53 13.88/13.95 c 16 ~x58227+8 ~x58226+4 ~x58225+2 ~x58224+1 ~x58223+16 x2265+8 x2264+4 x2263+2 x2262+1 x2261+4 x945+2 x944+1 x943-0=50 13.98/14.02 c 16 ~x59167+8 ~x59166+4 ~x59165+2 ~x59164+1 ~x59163+8 x2279+4 x2278+2 x2277+1 x2276+8 x999+4 x998+2 x997+1 x996-0=47 13.98/14.02 c 32 ~x60343+16 ~x60342+8 ~x60341+4 ~x60340+2 ~x60339+1 ~x60338+32 x2296+16 x2295+8 x2294+4 x2293+2 x2292+1 x2291+4 x1054+2 x1053+1 x1052-0=97 13.98/14.09 c 16 ~x61843+8 ~x61842+4 ~x61841+2 ~x61840+1 ~x61839+16 x2311+8 x2310+4 x2309+2 x2308+1 x2307+4 x1106+2 x1105+1 x1104-0=59 13.98/14.09 c 16 ~x62644+8 ~x62643+4 ~x62642+2 ~x62641+1 ~x62640+16 x2327+8 x2326+4 x2325+2 x2324+1 x2323+4 x1158+2 x1157+1 x1156-0=53 14.08/14.13 c 2048 ~x63631+1024 ~x63630+512 ~x63629+256 ~x63628+128 ~x63627+64 ~x63626+32 ~x63625+16 ~x63624+8 ~x63623+4 ~x63622+2 ~x63621+1 ~x63620+320 ~x9997+160 ~x9996+80 ~x9995+40 ~x9994+20 ~x9993+320 ~x9882+160 ~x9881+80 ~x9880+40 ~x9879+20 ~x9878+320 ~x9767+160 ~x9766+80 ~x9765+40 ~x9764+20 ~x9763+320 ~x9652+160 ~x9651+80 ~x9650+40 ~x9649+20 ~x9648+599 x903-0=6575 14.08/14.20 c 16 ~x66272+8 ~x66271+4 ~x66270+2 ~x66269+1 ~x66268+8 x2341+4 x2340+2 x2339+1 x2338+4 x1211+2 x1210+1 x1209-0=47 14.19/14.26 c 16 ~x67140+8 ~x67139+4 ~x67138+2 ~x67137+1 ~x67136+8 x2356+4 x2355+2 x2354+1 x2353+8 x1266+4 x1265+2 x1264+1 x1263-0=47 14.19/14.26 c 8 ~x67987+4 ~x67986+2 ~x67985+1 ~x67984+8 x2373+4 x2372+2 x2371+1 x2370+8 x1326+4 x1325+2 x1324+1 x1323-0=25 14.29/14.32 c 16 ~x68843+8 ~x68842+4 ~x68841+2 ~x68840+1 ~x68839+16 x2389+8 x2388+4 x2387+2 x2386+1 x2385+8 x1382+4 x1381+2 x1380+1 x1379-0=51 14.29/14.32 c 16 ~x69736+8 ~x69735+4 ~x69734+2 ~x69733+1 ~x69732+4 ~x4246+16 x2404+8 x2403+4 x2402+2 x2401+1 x2400+16 x1442+8 x1441+4 x1440+2 x1439+1 x1438-0=51 14.29/14.38 c 8 ~x70805+4 ~x70804+2 ~x70803+1 ~x70802+2 ~x4358+4 x2419+2 x2418+1 x2417+4 x1508+2 x1507+1 x1506-0=23 14.29/14.38 c 16 ~x71443+8 ~x71442+4 ~x71441+2 ~x71440+1 ~x71439+4 ~x4469+16 x2437+8 x2436+4 x2435+2 x2434+1 x2433+16 x1574+8 x1573+4 x1572+2 x1571+1 x1570-0=51 14.39/14.43 c 4 ~x72435+2 ~x72434+1 ~x72433+3 ~x4580+4 x2452+2 x2451+1 x2450+4 x1634+2 x1633+1 x1632-0=14 14.39/14.43 c 8 ~x73131+4 ~x73130+2 ~x73129+1 ~x73128+1 ~x4691+8 x2467+4 x2466+2 x2465+1 x2464+8 x1688+4 x1687+2 x1686+1 x1685-0=24 14.49/14.52 c 8 ~x74046+4 ~x74045+2 ~x74044+1 ~x74043+1 ~x4802+8 x2482+4 x2481+2 x2480+1 x2479+8 x1744+4 x1743+2 x1742+1 x1741-0=27 14.49/14.52 c 512 ~x74884+256 ~x74883+128 ~x74882+64 ~x74881+32 ~x74880+16 ~x74879+8 ~x74878+4 ~x74877+2 ~x74876+1 ~x74875+80 ~x10454+40 ~x10453+20 ~x10452+10 ~x10451+80 ~x10340+40 ~x10339+20 ~x10338+10 ~x10337+80 ~x10226+40 ~x10225+20 ~x10224+10 ~x10223+80 ~x10112+40 ~x10111+20 ~x10110+10 ~x10109+89 x1038-0=1623 14.58/14.61 c 8 ~x76730+4 ~x76729+2 ~x76728+1 ~x76727+3 ~x4913+8 x2497+4 x2496+2 x2495+1 x2494+8 x1802+4 x1801+2 x1800+1 x1799-0=24 14.68/14.77 c 32 ~x77632+16 ~x77631+8 ~x77630+4 ~x77629+2 ~x77628+1 ~x77627+16 x5258+8 x5257+4 x5256+2 x5255+1 x5254+32 ~x2570+16 ~x2569+8 ~x2568+4 ~x2567+2 ~x2566+1 ~x2565+30 x2-0=126 14.68/14.77 c 16 ~x78865+8 ~x78864+4 ~x78863+2 ~x78862+1 ~x78861+16 x5721+8 x5720+4 x5719+2 x5718+1 x5717+16 ~x2585+8 ~x2584+4 ~x2583+2 ~x2582+1 ~x2581+23 x1755-0=62 14.78/14.87 c 16 ~x80094+8 ~x80093+4 ~x80092+2 ~x80091+1 ~x80090+16 x6187+8 x6186+4 x6185+2 x6184+1 x6183+23 x3246+16 ~x2600+8 ~x2599+4 ~x2598+2 ~x2597+1 ~x2596-0=62 14.88/14.94 c 32 ~x81208+16 ~x81207+8 ~x81206+4 ~x81205+2 ~x81204+1 ~x81203+32 x6655+16 x6654+8 x6653+4 x6652+2 x6651+1 x6650+33 x4357+32 ~x2616+16 ~x2615+8 ~x2614+4 ~x2613+2 ~x2612+1 ~x2611-0=126 14.88/14.94 c 32 ~x82407+16 ~x82406+8 ~x82405+4 ~x82404+2 ~x82403+1 ~x82402+32 x7123+16 x7122+8 x7121+4 x7120+2 x7119+1 x7118+33 x6649+32 ~x2632+16 ~x2631+8 ~x2630+4 ~x2629+2 ~x2628+1 ~x2627-0=126 14.88/14.98 c 16 ~x83442+8 ~x83441+4 ~x83440+2 ~x83439+1 ~x83438+26 x10108+8 x7585+4 x7584+2 x7583+1 x7582+16 ~x2647+8 ~x2646+4 ~x2645+2 ~x2644+1 ~x2643-0=62 14.98/15.04 c 32 ~x84260+16 ~x84259+8 ~x84258+4 ~x84257+2 ~x84256+1 ~x84255+16 x8045+8 x8044+4 x8043+2 x8042+1 x8041+32 ~x2664+16 ~x2663+8 ~x2662+4 ~x2661+2 ~x2660+1 ~x2659+26 x3-0=126 14.98/15.04 c 32 ~x85348+16 ~x85347+8 ~x85346+4 ~x85345+2 ~x85344+1 ~x85343+16 x8505+8 x8504+4 x8503+2 x8502+1 x8501+32 ~x2680+16 ~x2679+8 ~x2678+4 ~x2677+2 ~x2676+1 ~x2675+29 x462-0=126 14.98/15.08 c 16 ~x86329+8 ~x86328+4 ~x86327+2 ~x86326+1 ~x86325+8 x8963+4 x8962+2 x8961+1 x8960+16 ~x2695+8 ~x2694+4 ~x2693+2 ~x2692+1 ~x2691+26 x603-0=62 15.08/15.11 c 512 ~x87261+256 ~x87260+128 ~x87259+64 ~x87258+32 ~x87257+16 ~x87256+8 ~x87255+4 ~x87254+2 ~x87253+1 ~x87252+80 ~x10910+40 ~x10909+20 ~x10908+10 ~x10907+80 ~x10796+40 ~x10795+20 ~x10794+10 ~x10793+80 ~x10682+40 ~x10681+20 ~x10680+10 ~x10679+80 ~x10568+40 ~x10567+20 ~x10566+10 ~x10565+89 x1169-0=1623 15.29/15.30 c 16 ~x89108+8 ~x89107+4 ~x89106+2 ~x89105+1 ~x89104+16 x9422+8 x9421+4 x9420+2 x9419+1 x9418+16 ~x2710+8 ~x2709+4 ~x2708+2 ~x2707+1 ~x2706+26 x756-0=62 15.29/15.30 c 32 ~x90783+16 ~x90782+8 ~x90781+4 ~x90780+2 ~x90779+1 ~x90778+16 x9882+8 x9881+4 x9880+2 x9879+1 x9878+32 ~x2726+16 ~x2725+8 ~x2724+4 ~x2723+2 ~x2722+1 ~x2721+29 x903-0=126 15.38/15.44 c 4 ~x92527+2 ~x92526+1 ~x92525+4 x10339+2 x10338+1 x10337+4 ~x2739+2 ~x2738+1 ~x2737+5 x1038-0=14 15.38/15.44 c 4 ~x93859+2 ~x93858+1 ~x93857+4 x10795+2 x10794+1 x10793+4 ~x2752+2 ~x2751+1 ~x2750+5 x1169-0=14 15.68/15.78 c 4 ~x94979+2 ~x94978+1 ~x94977+4 ~x2765+2 ~x2764+1 ~x2763+5 x1308+4 x6+2 x5+1 x4-0=14 15.68/15.78 c 4 ~x96309+2 ~x96308+1 ~x96307+4 ~x2778+2 ~x2777+1 ~x2776+5 x1455+4 x380+2 x379+1 x378-0=14 15.68/15.78 c 4 ~x98629+2 ~x98628+1 ~x98627+4 ~x2791+2 ~x2790+1 ~x2789+5 x1618+4 x436+2 x435+1 x434-0=14 15.78/15.87 c 4 ~x100164+2 ~x100163+1 ~x100162+4 ~x2805+2 ~x2804+1 ~x2803+5 x1756+4 x493+2 x492+1 x491-0=14 15.78/15.87 c 32 ~x101584+16 ~x101583+8 ~x101582+4 ~x101581+2 ~x101580+1 ~x101579+32 ~x2821+16 ~x2820+8 ~x2819+4 ~x2818+2 ~x2817+1 ~x2816+37 x2065+8 x550+4 x549+2 x548+1 x547-0=126 15.88/15.94 c 32 ~x103780+16 ~x103779+8 ~x103778+4 ~x103777+2 ~x103776+1 ~x103775+32 ~x2837+16 ~x2836+8 ~x2835+4 ~x2834+2 ~x2833+1 ~x2832+37 x2218+8 x607+4 x606+2 x605+1 x604-0=126 15.98/16.01 c 512 ~x106404+256 ~x106403+128 ~x106402+64 ~x106401+32 ~x106400+16 ~x106399+8 ~x106398+4 ~x106397+2 ~x106396+1 ~x106395+80 ~x11138+40 ~x11137+20 ~x11136+10 ~x11135+80 ~x11024+40 ~x11023+20 ~x11022+10 ~x11021+89 x1308+80 ~x121+40 ~x120+20 ~x119+10 ~x118+80 ~x7+40 ~x6+20 ~x5+10 ~x4-0=1623 16.08/16.12 c 32 ~x108246+16 ~x108245+8 ~x108244+4 ~x108243+2 ~x108242+1 ~x108241+32 ~x2853+16 ~x2852+8 ~x2851+4 ~x2850+2 ~x2849+1 ~x2848+50 x2369+32 x669+16 x668+8 x667+4 x666+2 x665+1 x664-0=126 16.08/16.12 c 32 ~x110319+16 ~x110318+8 ~x110317+4 ~x110316+2 ~x110315+1 ~x110314+32 ~x2869+16 ~x2868+8 ~x2867+4 ~x2866+2 ~x2865+1 ~x2864+40 x2520+16 x730+8 x729+4 x728+2 x727+1 x726-0=126 16.08/16.17 c 16 ~x112013+8 ~x112012+4 ~x112011+2 ~x112010+1 ~x112009+16 ~x2884+8 ~x2883+4 ~x2882+2 ~x2881+1 ~x2880+24 x2658+16 x795+8 x794+4 x793+2 x792+1 x791-0=62 16.28/16.31 c 32 ~x114010+16 ~x114009+8 ~x114008+4 ~x114007+2 ~x114006+1 ~x114005+32 ~x2900+16 ~x2899+8 ~x2898+4 ~x2897+2 ~x2896+1 ~x2895+52 x2802+4 x853+2 x852+1 x851-0=126 16.28/16.31 c 32 ~x115909+16 ~x115908+8 ~x115907+4 ~x115906+2 ~x115905+1 ~x115904+52 x2959+32 ~x2916+16 ~x2915+8 ~x2914+4 ~x2913+2 ~x2912+1 ~x2911+4 x906+2 x905+1 x904-0=126 16.28/16.35 c 32 ~x117322+16 ~x117321+8 ~x117320+4 ~x117319+2 ~x117318+1 ~x117317+52 x3115+32 ~x2932+16 ~x2931+8 ~x2930+4 ~x2929+2 ~x2928+1 ~x2927+4 x958+2 x957+1 x956-0=126 16.39/16.44 c 32 ~x118253+16 ~x118252+8 ~x118251+4 ~x118250+2 ~x118249+1 ~x118248+53 x3247+32 ~x2948+16 ~x2947+8 ~x2946+4 ~x2945+2 ~x2944+1 ~x2943+8 x1013+4 x1012+2 x1011+1 x1010-0=126 16.39/16.44 c 16 ~x119208+8 ~x119207+4 ~x119206+2 ~x119205+1 ~x119204+22 x3358+16 ~x2964+8 ~x2963+4 ~x2962+2 ~x2961+1 ~x2960+4 x1067+2 x1066+1 x1065-0=62 16.39/16.49 c 16 ~x119991+8 ~x119990+4 ~x119989+2 ~x119988+1 ~x119987+22 x3469+16 ~x2979+8 ~x2978+4 ~x2977+2 ~x2976+1 ~x2975+4 x1119+2 x1118+1 x1117-0=62 16.39/16.49 c 16 ~x120865+8 ~x120864+4 ~x120863+2 ~x120862+1 ~x120861+22 x3580+16 ~x2994+8 ~x2993+4 ~x2992+2 ~x2991+1 ~x2990+4 x1172+2 x1171+1 x1170-0=62 16.49/16.52 c 512 ~x121684+256 ~x121683+128 ~x121682+64 ~x121681+32 ~x121680+16 ~x121679+8 ~x121678+4 ~x121677+2 ~x121676+1 ~x121675+89 x1455+80 ~x395+40 ~x394+20 ~x393+10 ~x392+80 ~x381+40 ~x380+20 ~x379+10 ~x378+80 ~x367+40 ~x366+20 ~x365+10 ~x364+80 ~x235+40 ~x234+20 ~x233+10 ~x232-0=1623 16.49/16.57 c 16 ~x123501+8 ~x123500+4 ~x123499+2 ~x123498+1 ~x123497+22 x3691+16 ~x3009+8 ~x3008+4 ~x3007+2 ~x3006+1 ~x3005+4 x1224+2 x1223+1 x1222-0=62 16.58/16.62 c 16 ~x124269+8 ~x124268+4 ~x124267+2 ~x124266+1 ~x124265+17 x3802+16 ~x3024+8 ~x3023+4 ~x3022+2 ~x3021+1 ~x3020+16 x1282+8 x1281+4 x1280+2 x1279+1 x1278-0=62 16.58/16.62 c 32 ~x125203+16 ~x125202+8 ~x125201+4 ~x125200+2 ~x125199+1 ~x125198+32 x3913+32 ~x3040+16 ~x3039+8 ~x3038+4 ~x3037+2 ~x3036+1 ~x3035+8 x1340+4 x1339+2 x1338+1 x1337-0=126 16.58/16.69 c 16 ~x126370+8 ~x126369+4 ~x126368+2 ~x126367+1 ~x126366+22 x4135+16 ~x3055+8 ~x3054+4 ~x3053+2 ~x3052+1 ~x3051+8 x1396+4 x1395+2 x1394+1 x1393-0=62 16.58/16.69 c 64 ~x127559+32 ~x127558+16 ~x127557+8 ~x127556+4 ~x127555+2 ~x127554+1 ~x127553+60 x4246+64 ~x3072+32 ~x3071+16 ~x3070+8 ~x3069+4 ~x3068+2 ~x3067+1 ~x3066+64 x1462+32 x1461+16 x1460+8 x1459+4 x1458+2 x1457+1 x1456-0=254 16.68/16.75 c 32 ~x129360+16 ~x129359+8 ~x129358+4 ~x129357+2 ~x129356+1 ~x129355+55 x4358+32 ~x3088+16 ~x3087+8 ~x3086+4 ~x3085+2 ~x3084+1 ~x3083+32 x1527+16 x1526+8 x1525+4 x1524+2 x1523+1 x1522-0=126 16.78/16.81 c 32 ~x131258+16 ~x131257+8 ~x131256+4 ~x131255+2 ~x131254+1 ~x131253+40 x4469+32 ~x3104+16 ~x3103+8 ~x3102+4 ~x3101+2 ~x3100+1 ~x3099+32 x1591+16 x1590+8 x1589+4 x1588+2 x1587+1 x1586-0=126 16.88/16.93 c 32 ~x133243+16 ~x133242+8 ~x133241+4 ~x133240+2 ~x133239+1 ~x133238+40 x4580+32 ~x3121+16 ~x3120+8 ~x3119+4 ~x3118+2 ~x3117+1 ~x3116+4 x1647+2 x1646+1 x1645-0=126 16.88/16.93 c 32 ~x135040+16 ~x135039+8 ~x135038+4 ~x135037+2 ~x135036+1 ~x135035+40 x4691+32 ~x3137+16 ~x3136+8 ~x3135+4 ~x3134+2 ~x3133+1 ~x3132+8 x1702+4 x1701+2 x1700+1 x1699-0=126 16.99/17.00 c 32 ~x136390+16 ~x136389+8 ~x136388+4 ~x136387+2 ~x136386+1 ~x136385+40 x4802+32 ~x3153+16 ~x3152+8 ~x3151+4 ~x3150+2 ~x3149+1 ~x3148+8 x1760+4 x1759+2 x1758+1 x1757-0=126 17.08/17.18 c 512 ~x137745+256 ~x137744+128 ~x137743+64 ~x137742+32 ~x137741+16 ~x137740+8 ~x137739+4 ~x137738+2 ~x137737+1 ~x137736+89 x1618+80 ~x451+40 ~x450+20 ~x449+10 ~x448+80 ~x437+40 ~x436+20 ~x435+10 ~x434+80 ~x423+40 ~x422+20 ~x421+10 ~x420+80 ~x409+40 ~x408+20 ~x407+10 ~x406-0=1623 17.18/17.26 c 32 ~x139563+16 ~x139562+8 ~x139561+4 ~x139560+2 ~x139559+1 ~x139558+40 x4913+32 ~x3169+16 ~x3168+8 ~x3167+4 ~x3166+2 ~x3165+1 ~x3164+8 x1816+4 x1815+2 x1814+1 x1813-0=126 17.28/17.35 c 16 ~x140552+8 ~x140551+4 ~x140550+2 ~x140549+1 ~x140548+16 x5373+8 x5372+4 x5371+2 x5370+1 x5369+16 x2569+8 x2568+4 x2567+2 x2566+1 x2565-0=61 17.28/17.35 c 16 ~x141353+8 ~x141352+4 ~x141351+2 ~x141350+1 ~x141349+16 x5837+8 x5836+4 x5835+2 x5834+1 x5833+16 x2585+8 x2584+4 x2583+2 x2582+1 x2581-0=54 17.49/17.51 c 16 ~x142242+8 ~x142241+4 ~x142240+2 ~x142239+1 ~x142238+16 x6304+8 x6303+4 x6302+2 x6301+1 x6300+16 x2600+8 x2599+4 x2598+2 x2597+1 x2596-0=54 17.49/17.51 c 32 ~x143044+16 ~x143043+8 ~x143042+4 ~x143041+2 ~x143040+1 ~x143039+32 x6771+16 x6770+8 x6769+4 x6768+2 x6767+1 x6766+32 x2616+16 x2615+8 x2614+4 x2613+2 x2612+1 x2611-0=96 17.59/17.64 c 32 ~x144202+16 ~x144201+8 ~x144200+4 ~x144199+2 ~x144198+1 ~x144197+32 x7241+16 x7240+8 x7239+4 x7238+2 x7237+1 x7236+32 x2632+16 x2631+8 x2630+4 x2629+2 x2628+1 x2627-0=96 17.68/17.78 c 16 ~x145491+8 ~x145490+4 ~x145489+2 ~x145488+1 ~x145487+8 x7699+4 x7698+2 x7697+1 x7696+16 x2647+8 x2646+4 x2645+2 x2644+1 x2643-0=57 17.68/17.78 c 16 ~x146970+8 ~x146969+4 ~x146968+2 ~x146967+1 ~x146966+16 x8160+8 x8159+4 x8158+2 x8157+1 x8156+16 x2663+8 x2662+4 x2661+2 x2660+1 x2659-0=57 17.78/17.86 c 16 ~x148087+8 ~x148086+4 ~x148085+2 ~x148084+1 ~x148083+16 x8620+8 x8619+4 x8618+2 x8617+1 x8616+16 x2679+8 x2678+4 x2677+2 x2676+1 x2675-0=60 17.78/17.86 c 16 ~x149296+8 ~x149295+4 ~x149294+2 ~x149293+1 ~x149292+8 x9077+4 x9076+2 x9075+1 x9074+16 x2695+8 x2694+4 x2693+2 x2692+1 x2691-0=57 17.78/17.89 c 512 ~x150193+256 ~x150192+128 ~x150191+64 ~x150190+32 ~x150189+16 ~x150188+8 ~x150187+4 ~x150186+2 ~x150185+1 ~x150184+89 x1756+80 ~x508+40 ~x507+20 ~x506+10 ~x505+80 ~x494+40 ~x493+20 ~x492+10 ~x491+80 ~x480+40 ~x479+20 ~x478+10 ~x477+80 ~x466+40 ~x465+20 ~x464+10 ~x463-0=1623 17.88/17.96 c 16 ~x152010+8 ~x152009+4 ~x152008+2 ~x152007+1 ~x152006+16 x9537+8 x9536+4 x9535+2 x9534+1 x9533+16 x2710+8 x2709+4 x2708+2 x2707+1 x2706-0=57 17.88/17.96 c 16 ~x152929+8 ~x152928+4 ~x152927+2 ~x152926+1 ~x152925+16 x9997+8 x9996+4 x9995+2 x9994+1 x9993+16 x2725+8 x2724+4 x2723+2 x2722+1 x2721-0=60 17.98/18.03 c 4 ~x154267+2 ~x154266+1 ~x154265+4 x10453+2 x10452+1 x10451+4 x2739+2 x2738+1 x2737-0=12 17.98/18.03 c 4 ~x155072+2 ~x155071+1 ~x155070+4 x10909+2 x10908+1 x10907+4 x2752+2 x2751+1 x2750-0=12 18.08/18.11 c 4 ~x155996+2 ~x155995+1 ~x155994+4 x2765+2 x2764+1 x2763+4 x120+2 x119+1 x118-0=12 18.08/18.11 c 4 ~x156728+2 ~x156727+1 ~x156726+4 x2778+2 x2777+1 x2776+4 x394+2 x393+1 x392-0=12 18.08/18.11 c 4 ~x157214+2 ~x157213+1 ~x157212+4 x2791+2 x2790+1 x2789+4 x450+2 x449+1 x448-0=12 18.08/18.15 c 4 ~x157852+2 ~x157851+1 ~x157850+4 x2805+2 x2804+1 x2803+4 x507+2 x506+1 x505-0=12 18.08/18.15 c 32 ~x158235+16 ~x158234+8 ~x158233+4 ~x158232+2 ~x158231+1 ~x158230+32 x2821+16 x2820+8 x2819+4 x2818+2 x2817+1 x2816+8 x564+4 x563+2 x562+1 x561-0=100 18.28/18.31 c 32 ~x159382+16 ~x159381+8 ~x159380+4 ~x159379+2 ~x159378+1 ~x159377+32 x2837+16 x2836+8 x2835+4 x2834+2 x2833+1 x2832+8 x621+4 x620+2 x619+1 x618-0=100 18.28/18.31 c 2048 ~x160512+1024 ~x160511+512 ~x160510+256 ~x160509+128 ~x160508+64 ~x160507+32 ~x160506+16 ~x160505+8 ~x160504+4 ~x160503+2 ~x160502+1 ~x160501+499 x2065+400 ~x564+200 ~x563+100 ~x562+50 ~x561+400 ~x550+200 ~x549+100 ~x548+50 ~x547+400 ~x536+200 ~x535+100 ~x534+50 ~x533+400 ~x522+200 ~x521+100 ~x520+50 ~x519-0=7095 18.38/18.47 c 32 ~x162749+16 ~x162748+8 ~x162747+4 ~x162746+2 ~x162745+1 ~x162744+32 x2853+16 x2852+8 x2851+4 x2850+2 x2849+1 x2848+32 x685+16 x684+8 x683+4 x682+2 x681+1 x680-0=113 18.38/18.47 c 32 ~x163757+16 ~x163756+8 ~x163755+4 ~x163754+2 ~x163753+1 ~x163752+32 x2869+16 x2868+8 x2867+4 x2866+2 x2865+1 x2864+16 x745+8 x744+4 x743+2 x742+1 x741-0=103 18.48/18.59 c 16 ~x164941+8 ~x164940+4 ~x164939+2 ~x164938+1 ~x164937+16 x2884+8 x2883+4 x2882+2 x2881+1 x2880+16 x812+8 x811+4 x810+2 x809+1 x808-0=55 18.48/18.59 c 32 ~x165918+16 ~x165917+8 ~x165916+4 ~x165915+2 ~x165914+1 ~x165913+32 x2900+16 x2899+8 x2898+4 x2897+2 x2896+1 x2895+4 x866+2 x865+1 x864-0=115 18.68/18.71 c 32 ~x166773+16 ~x166772+8 ~x166771+4 ~x166770+2 ~x166769+1 ~x166768+32 x2916+16 x2915+8 x2914+4 x2913+2 x2912+1 x2911+4 x919+2 x918+1 x917-0=115 18.88/18.90 c 32 ~x167634+16 ~x167633+8 ~x167632+4 ~x167631+2 ~x167630+1 ~x167629+32 x2932+16 x2931+8 x2930+4 x2929+2 x2928+1 x2927+4 x971+2 x970+1 x969-0=115 18.88/18.90 c 32 ~x168990+16 ~x168989+8 ~x168988+4 ~x168987+2 ~x168986+1 ~x168985+32 x2948+16 x2947+8 x2946+4 x2945+2 x2944+1 x2943+8 x1027+4 x1026+2 x1025+1 x1024-0=116 18.98/19.02 c 16 ~x170129+8 ~x170128+4 ~x170127+2 ~x170126+1 ~x170125+16 x2964+8 x2963+4 x2962+2 x2961+1 x2960+4 x1080+2 x1079+1 x1078-0=53 18.98/19.02 c 16 ~x171022+8 ~x171021+4 ~x171020+2 ~x171019+1 ~x171018+16 x2979+8 x2978+4 x2977+2 x2976+1 x2975+4 x1132+2 x1131+1 x1130-0=53 19.08/19.17 c 16 ~x171720+8 ~x171719+4 ~x171718+2 ~x171717+1 ~x171716+16 x2994+8 x2993+4 x2992+2 x2991+1 x2990+4 x1185+2 x1184+1 x1183-0=53 19.08/19.17 c 2048 ~x172373+1024 ~x172372+512 ~x172371+256 ~x172370+128 ~x172369+64 ~x172368+32 ~x172367+16 ~x172366+8 ~x172365+4 ~x172364+2 ~x172363+1 ~x172362+499 x2218+400 ~x621+200 ~x620+100 ~x619+50 ~x618+400 ~x607+200 ~x606+100 ~x605+50 ~x604+400 ~x592+200 ~x591+100 ~x590+50 ~x589+400 ~x578+200 ~x577+100 ~x576+50 ~x575-0=7095 19.18/19.23 c 16 ~x174609+8 ~x174608+4 ~x174607+2 ~x174606+1 ~x174605+16 x3009+8 x3008+4 x3007+2 x3006+1 x3005+4 x1237+2 x1236+1 x1235-0=53 19.18/19.28 c 16 ~x175268+8 ~x175267+4 ~x175266+2 ~x175265+1 ~x175264+16 x3024+8 x3023+4 x3022+2 x3021+1 x3020+16 x1297+8 x1296+4 x1295+2 x1294+1 x1293-0=48 19.38/19.43 c 32 ~x176031+16 ~x176030+8 ~x176029+4 ~x176028+2 ~x176027+1 ~x176026+16 x3039+8 x3038+4 x3037+2 x3036+1 x3035+8 x1354+4 x1353+2 x1352+1 x1351-0=95 19.38/19.43 c 16 ~x176992+8 ~x176991+4 ~x176990+2 ~x176989+1 ~x176988+16 x3055+8 x3054+4 x3053+2 x3052+1 x3051+8 x1410+4 x1409+2 x1408+1 x1407-0=53 19.48/19.58 c 32 ~x177928+16 ~x177927+8 ~x177926+4 ~x177925+2 ~x177924+1 ~x177923+32 x3071+16 x3070+8 x3069+4 x3068+2 x3067+1 x3066+32 x1478+16 x1477+8 x1476+4 x1475+2 x1474+1 x1473-0=123 19.48/19.58 c 32 ~x179112+16 ~x179111+8 ~x179110+4 ~x179109+2 ~x179108+1 ~x179107+32 x3088+16 x3087+8 x3086+4 x3085+2 x3084+1 x3083+32 x1543+16 x1542+8 x1541+4 x1540+2 x1539+1 x1538-0=118 19.58/19.62 c 32 ~x180489+16 ~x180488+8 ~x180487+4 ~x180486+2 ~x180485+1 ~x180484+32 x3104+16 x3103+8 x3102+4 x3101+2 x3100+1 x3099+32 x1607+16 x1606+8 x1605+4 x1604+2 x1603+1 x1602-0=103 19.58/19.70 c 32 ~x181863+16 ~x181862+8 ~x181861+4 ~x181860+2 ~x181859+1 ~x181858+32 x3121+16 x3120+8 x3119+4 x3118+2 x3117+1 x3116+4 x1660+2 x1659+1 x1658-0=103 19.58/19.70 c 32 ~x182951+16 ~x182950+8 ~x182949+4 ~x182948+2 ~x182947+1 ~x182946+32 x3137+16 x3136+8 x3135+4 x3134+2 x3133+1 x3132+8 x1716+4 x1715+2 x1714+1 x1713-0=103 19.69/19.73 c 32 ~x184140+16 ~x184139+8 ~x184138+4 ~x184137+2 ~x184136+1 ~x184135+32 x3153+16 x3152+8 x3151+4 x3150+2 x3149+1 x3148+8 x1774+4 x1773+2 x1772+1 x1771-0=103 19.69/19.79 c 4096 ~x185805+2048 ~x185804+1024 ~x185803+512 ~x185802+256 ~x185801+128 ~x185800+64 ~x185799+32 ~x185798+16 ~x185797+8 ~x185796+4 ~x185795+2 ~x185794+1 ~x185793+640 ~x5838+320 ~x5837+160 ~x5836+80 ~x5835+40 ~x5834+20 ~x5833+640 ~x5722+320 ~x5721+160 ~x5720+80 ~x5719+40 ~x5718+20 ~x5717+640 ~x5606+320 ~x5605+160 ~x5604+80 ~x5603+40 ~x5602+20 ~x5601+640 ~x5490+320 ~x5489+160 ~x5488+80 ~x5487+40 ~x5486+20 ~x5485+699 x1755-0=13231 19.79/19.87 c 4096 ~x189072+2048 ~x189071+1024 ~x189070+512 ~x189069+256 ~x189068+128 ~x189067+64 ~x189066+32 ~x189065+16 ~x189064+8 ~x189063+4 ~x189062+2 ~x189061+1 ~x189060+699 x2369+640 ~x685+320 ~x684+160 ~x683+80 ~x682+40 ~x681+20 ~x680+640 ~x669+320 ~x668+160 ~x667+80 ~x666+40 ~x665+20 ~x664+640 ~x653+320 ~x652+160 ~x651+80 ~x650+40 ~x649+20 ~x648+640 ~x637+320 ~x636+160 ~x635+80 ~x634+40 ~x633+20 ~x632-0=13231 20.08/20.16 c 32 ~x192215+16 ~x192214+8 ~x192213+4 ~x192212+2 ~x192211+1 ~x192210+32 x3169+16 x3168+8 x3167+4 x3166+2 x3165+1 x3164+8 x1830+4 x1829+2 x1828+1 x1827-0=103 20.08/20.16 c 2048 ~x198223+1024 ~x198222+512 ~x198221+256 ~x198220+128 ~x198219+64 ~x198218+32 ~x198217+16 ~x198216+8 ~x198215+4 ~x198214+2 ~x198213+1 ~x198212+889 x2520+480 ~x745+240 ~x744+120 ~x743+60 ~x742+30 ~x741+480 ~x730+240 ~x729+120 ~x728+60 ~x727+30 ~x726+480 ~x715+240 ~x714+120 ~x713+60 ~x712+30 ~x711+480 ~x700+240 ~x699+120 ~x698+60 ~x697+30 ~x696-0=7815 20.58/20.67 c 4096 ~x205080+2048 ~x205079+1024 ~x205078+512 ~x205077+256 ~x205076+128 ~x205075+64 ~x205074+32 ~x205073+16 ~x205072+8 ~x205071+4 ~x205070+2 ~x205069+1 ~x205068+789 x2658+640 ~x814+320 ~x813+160 ~x812+80 ~x811+40 ~x810+20 ~x809+10 ~x808+640 ~x797+320 ~x796+160 ~x795+80 ~x794+40 ~x793+20 ~x792+10 ~x791+640 ~x780+320 ~x779+160 ~x778+80 ~x777+40 ~x776+20 ~x775+10 ~x774+640 ~x763+320 ~x762+160 ~x761+80 ~x760+40 ~x759+20 ~x758+10 ~x757-0=13271 21.28/21.39 c 1024 ~x213573+512 ~x213572+256 ~x213571+128 ~x213570+64 ~x213569+32 ~x213568+16 ~x213567+8 ~x213566+4 ~x213565+2 ~x213564+1 ~x213563+429 x2802+280 ~x866+140 ~x865+70 ~x864+280 ~x853+140 ~x852+70 ~x851+280 ~x840+140 ~x839+70 ~x838+280 ~x827+140 ~x826+70 ~x825-0=4007 22.00/22.05 c 1024 ~x219960+512 ~x219959+256 ~x219958+128 ~x219957+64 ~x219956+32 ~x219955+16 ~x219954+8 ~x219953+4 ~x219952+2 ~x219951+1 ~x219950+429 x2959+280 ~x919+140 ~x918+70 ~x917+280 ~x906+140 ~x905+70 ~x904+280 ~x892+140 ~x891+70 ~x890+280 ~x879+140 ~x878+70 ~x877-0=4007 22.28/22.36 c 1024 ~x226916+512 ~x226915+256 ~x226914+128 ~x226913+64 ~x226912+32 ~x226911+16 ~x226910+8 ~x226909+4 ~x226908+2 ~x226907+1 ~x226906+429 x3115+280 ~x971+140 ~x970+70 ~x969+280 ~x958+140 ~x957+70 ~x956+280 ~x945+140 ~x944+70 ~x943+280 ~x932+140 ~x931+70 ~x930-0=4007 22.88/22.96 c 2048 ~x247062+1024 ~x247061+512 ~x247060+256 ~x247059+128 ~x247058+64 ~x247057+32 ~x247056+16 ~x247055+8 ~x247054+4 ~x247053+2 ~x247052+1 ~x247051+399 x3247+320 ~x1027+160 ~x1026+80 ~x1025+40 ~x1024+320 ~x1013+160 ~x1012+80 ~x1011+40 ~x1010+320 ~x999+160 ~x998+80 ~x997+40 ~x996+320 ~x985+160 ~x984+80 ~x983+40 ~x982-0=6495 23.98/24.03 c 2048 ~x264368+1024 ~x264367+512 ~x264366+256 ~x264365+128 ~x264364+64 ~x264363+32 ~x264362+16 ~x264361+8 ~x264360+4 ~x264359+2 ~x264358+1 ~x264357+499 x3358+400 ~x1080+200 ~x1079+100 ~x1078+400 ~x1067+200 ~x1066+100 ~x1065+400 ~x1054+200 ~x1053+100 ~x1052+400 ~x1041+200 ~x1040+100 ~x1039-0=6895 24.88/24.97 c 2048 ~x281124+1024 ~x281123+512 ~x281122+256 ~x281121+128 ~x281120+64 ~x281119+32 ~x281118+16 ~x281117+8 ~x281116+4 ~x281115+2 ~x281114+1 ~x281113+499 x3469+400 ~x1132+200 ~x1131+100 ~x1130+400 ~x1119+200 ~x1118+100 ~x1117+400 ~x1106+200 ~x1105+100 ~x1104+400 ~x1093+200 ~x1092+100 ~x1091-0=6895 25.38/25.41 c 2048 ~x295178+1024 ~x295177+512 ~x295176+256 ~x295175+128 ~x295174+64 ~x295173+32 ~x295172+16 ~x295171+8 ~x295170+4 ~x295169+2 ~x295168+1 ~x295167+499 x3580+400 ~x1185+200 ~x1184+100 ~x1183+400 ~x1172+200 ~x1171+100 ~x1170+400 ~x1158+200 ~x1157+100 ~x1156+400 ~x1145+200 ~x1144+100 ~x1143-0=6895 25.57/25.60 c 4096 ~x300447+2048 ~x300446+1024 ~x300445+512 ~x300444+256 ~x300443+128 ~x300442+64 ~x300441+32 ~x300440+16 ~x300439+8 ~x300438+4 ~x300437+2 ~x300436+1 ~x300435+640 ~x6306+320 ~x6305+160 ~x6304+80 ~x6303+40 ~x6302+20 ~x6301+10 ~x6300+640 ~x6189+320 ~x6188+160 ~x6187+80 ~x6186+40 ~x6185+20 ~x6184+10 ~x6183+640 ~x6072+320 ~x6071+160 ~x6070+80 ~x6069+40 ~x6068+20 ~x6067+10 ~x6066+640 ~x5955+320 ~x5954+160 ~x5953+80 ~x5952+40 ~x5951+20 ~x5950+10 ~x5949+799 x3246-0=13271 25.57/25.69 c 2048 ~x304118+1024 ~x304117+512 ~x304116+256 ~x304115+128 ~x304114+64 ~x304113+32 ~x304112+16 ~x304111+8 ~x304110+4 ~x304109+2 ~x304108+1 ~x304107+499 x3691+400 ~x1237+200 ~x1236+100 ~x1235+400 ~x1224+200 ~x1223+100 ~x1222+400 ~x1211+200 ~x1210+100 ~x1209+400 ~x1198+200 ~x1197+100 ~x1196-0=6895 25.98/26.07 c 1024 ~x310352+512 ~x310351+256 ~x310350+128 ~x310349+64 ~x310348+32 ~x310347+16 ~x310346+8 ~x310345+4 ~x310344+2 ~x310343+1 ~x310342+229 x3802+160 ~x1297+80 ~x1296+40 ~x1295+20 ~x1294+10 ~x1293+160 ~x1282+80 ~x1281+40 ~x1280+20 ~x1279+10 ~x1278+160 ~x1267+80 ~x1266+40 ~x1265+20 ~x1264+10 ~x1263+160 ~x1252+80 ~x1251+40 ~x1250+20 ~x1249+10 ~x1248-0=3287 26.87/26.96 c 2048 ~x318601+1024 ~x318600+512 ~x318599+256 ~x318598+128 ~x318597+64 ~x318596+32 ~x318595+16 ~x318594+8 ~x318593+4 ~x318592+2 ~x318591+1 ~x318590+479 x3913+400 ~x1354+200 ~x1353+100 ~x1352+50 ~x1351+400 ~x1340+200 ~x1339+100 ~x1338+50 ~x1337+400 ~x1326+200 ~x1325+100 ~x1324+50 ~x1323+400 ~x1312+200 ~x1311+100 ~x1310+50 ~x1309-0=7095 27.78/27.87 c 1024 ~x326181+512 ~x326180+256 ~x326179+128 ~x326178+64 ~x326177+32 ~x326176+16 ~x326175+8 ~x326174+4 ~x326173+2 ~x326172+1 ~x326171+199 x4135+160 ~x1410+80 ~x1409+40 ~x1408+20 ~x1407+160 ~x1396+80 ~x1395+40 ~x1394+20 ~x1393+160 ~x1382+80 ~x1381+40 ~x1380+20 ~x1379+160 ~x1368+80 ~x1367+40 ~x1366+20 ~x1365-0=3247 28.68/28.78 c 2048 ~x333547+1024 ~x333546+512 ~x333545+256 ~x333544+128 ~x333543+64 ~x333542+32 ~x333541+16 ~x333540+8 ~x333539+4 ~x333538+2 ~x333537+1 ~x333536+799 x4246+512 ~x1479+256 ~x1478+128 ~x1477+64 ~x1476+32 ~x1475+16 ~x1474+8 ~x1473+512 ~x1462+256 ~x1461+128 ~x1460+64 ~x1459+32 ~x1458+16 ~x1457+8 ~x1456+512 ~x1444+256 ~x1443+128 ~x1442+64 ~x1441+32 ~x1440+16 ~x1439+8 ~x1438+512 ~x1427+256 ~x1426+128 ~x1425+64 ~x1424+32 ~x1423+16 ~x1422+8 ~x1421-0=8159 28.98/29.05 c 4 ~x339824+2 ~x339823+1 ~x339822+1 ~x881+1 ~x875+1 ~x872+1 ~x869+1 ~x863-0=11 28.98/29.06 c 4 ~x339938+2 ~x339937+1 ~x339936+1 ~x884+1 ~x881+1 ~x875+1 ~x872+1 ~x869-0=11 28.98/29.06 c 4 ~x340052+2 ~x340051+1 ~x340050+1 ~x887+1 ~x884+1 ~x881+1 ~x875+1 ~x872-0=11 28.98/29.06 c 4 ~x340166+2 ~x340165+1 ~x340164+1 ~x893+1 ~x887+1 ~x884+1 ~x881+1 ~x875-0=11 28.98/29.06 c 4 ~x340280+2 ~x340279+1 ~x340278+1 ~x896+1 ~x893+1 ~x887+1 ~x884+1 ~x881-0=11 28.98/29.08 c 4 ~x340458+2 ~x340457+1 ~x340456+1 ~x899+1 ~x896+1 ~x893+1 ~x887+1 ~x884-0=11 28.98/29.08 c 4 ~x340572+2 ~x340571+1 ~x340570+1 ~x902+1 ~x899+1 ~x896+1 ~x893+1 ~x887-0=11 28.98/29.08 c 4 ~x340686+2 ~x340685+1 ~x340684+1 ~x909+1 ~x902+1 ~x899+1 ~x896+1 ~x893-0=11 28.98/29.09 c 4 ~x340800+2 ~x340799+1 ~x340798+1 ~x912+1 ~x909+1 ~x902+1 ~x899+1 ~x896-0=11 28.98/29.09 c 4 ~x340914+2 ~x340913+1 ~x340912+1 ~x915+1 ~x912+1 ~x909+1 ~x902+1 ~x899-0=11 28.98/29.09 c 4 ~x341028+2 ~x341027+1 ~x341026+1 ~x921+1 ~x915+1 ~x912+1 ~x909+1 ~x902-0=11 29.07/29.10 c 4 ~x341142+2 ~x341141+1 ~x341140+1 ~x924+1 ~x921+1 ~x915+1 ~x912+1 ~x909-0=11 29.07/29.10 c 4 ~x341256+2 ~x341255+1 ~x341254+1 ~x927+1 ~x924+1 ~x921+1 ~x915+1 ~x912-0=11 29.07/29.10 c 4 ~x341370+2 ~x341369+1 ~x341368+1 ~x933+1 ~x927+1 ~x924+1 ~x921+1 ~x915-0=11 29.07/29.12 c 4 ~x341484+2 ~x341483+1 ~x341482+1 ~x936+1 ~x933+1 ~x927+1 ~x924+1 ~x921-0=11 29.07/29.12 c 4 ~x341628+2 ~x341627+1 ~x341626+1 ~x939+1 ~x936+1 ~x933+1 ~x927+1 ~x924-0=11 29.07/29.12 c 4 ~x341742+2 ~x341741+1 ~x341740+1 ~x942+1 ~x939+1 ~x936+1 ~x933+1 ~x927-0=11 29.07/29.13 c 4 ~x341856+2 ~x341855+1 ~x341854+1 ~x947+1 ~x942+1 ~x939+1 ~x936+1 ~x933-0=11 29.07/29.13 c 8 ~x341971+4 ~x341970+2 ~x341969+1 ~x341968+1 ~x7645+1 ~x7642+1 ~x7639+1 ~x7635+1 ~x7632+1 ~x7629+1 ~x7626+1 ~x7623+1 ~x7621-0=23 29.07/29.13 c 8 ~x342266+4 ~x342265+2 ~x342264+1 ~x342263+1 ~x7654+1 ~x7645+1 ~x7642+1 ~x7639+1 ~x7635+1 ~x7632+1 ~x7629+1 ~x7623+1 ~x7621-0=23 29.07/29.14 c 8 ~x342561+4 ~x342560+2 ~x342559+1 ~x342558+1 ~x7662+1 ~x7659+1 ~x7654+1 ~x7650+1 ~x7645+1 ~x7642+1 ~x7639+1 ~x7629+1 ~x7621+1 ~x5878+1 ~x5876+1 ~x5873+1 ~x5870-0=27 29.07/29.18 c 16 ~x342977+8 ~x342976+4 ~x342975+2 ~x342974+1 ~x342973+1 ~x7681+1 ~x7672+1 ~x7669+1 ~x7662+1 ~x7659+1 ~x7654+1 ~x7639+1 ~x7629+1 ~x7621+1 ~x5889+1 ~x5884+1 ~x5878+1 ~x5876+1 ~x5870+1 ~x3661+1 ~x3659+1 ~x3656-0=47 29.07/29.18 c 16 ~x343778+8 ~x343777+4 ~x343776+2 ~x343775+1 ~x343774+1 ~x7684+1 ~x7672+1 ~x7669+1 ~x7662+1 ~x7659+1 ~x7650+1 ~x7639+1 ~x7629+1 ~x5884+1 ~x5881+1 ~x5878+1 ~x5876+1 ~x5873+1 ~x5870+1 ~x3663+1 ~x3659+1 ~x3656-0=47 29.17/29.20 c 8 ~x344578+4 ~x344577+2 ~x344576+1 ~x344575+1 ~x7650+1 ~x7645+1 ~x7642+1 ~x7639+1 ~x7635+1 ~x7632+1 ~x7629+1 ~x7626+1 ~x7621+1 ~x5873+1 ~x5870-0=25 29.17/29.21 c 16 ~x344934+8 ~x344933+4 ~x344932+2 ~x344931+1 ~x344930+1 ~x7695+1 ~x7684+1 ~x7681+1 ~x7672+1 ~x7669+1 ~x7639+1 ~x5893+1 ~x5889+1 ~x5887+1 ~x5884+1 ~x5881+1 ~x5876+1 ~x5870+1 ~x3667+1 ~x3663+1 ~x3661+1 ~x3659+1 ~x3656-0=48 29.17/29.24 c 8 ~x345824+4 ~x345823+2 ~x345822+1 ~x345821+1 ~x7650+1 ~x7645+1 ~x7642+1 ~x7639+1 ~x7635+1 ~x7629+1 ~x7626+1 ~x7621+1 ~x5876+1 ~x5873+1 ~x5870-0=25 29.17/29.24 c 8 ~x346179+4 ~x346178+2 ~x346177+1 ~x346176+1 ~x7659+1 ~x7654+1 ~x7650+1 ~x7645+1 ~x7639+1 ~x7635+1 ~x7629+1 ~x5881+1 ~x5878+1 ~x5876+1 ~x5873+1 ~x5870-0=26 29.17/29.25 c 8 ~x346564+4 ~x346563+2 ~x346562+1 ~x346561+1 ~x7695+1 ~x7684+1 ~x7681+1 ~x7672+1 ~x7639+1 ~x5897+1 ~x5893+1 ~x5889+1 ~x5887+1 ~x5881+1 ~x5876+1 ~x5870+1 ~x3667+1 ~x3663+1 ~x3661+1 ~x3659-0=30 29.17/29.28 c 8 ~x347116+4 ~x347115+2 ~x347114+1 ~x347113+1 ~x7669+1 ~x7662+1 ~x7659+1 ~x7654+1 ~x7645+1 ~x7639+1 ~x5887+1 ~x5884+1 ~x5881+1 ~x5878+1 ~x5876+1 ~x5870+1 ~x3656-0=27 29.17/29.28 c 16 ~x347532+8 ~x347531+4 ~x347530+2 ~x347529+1 ~x347528+1 ~x7681+1 ~x7672+1 ~x7669+1 ~x7662+1 ~x7659+1 ~x7654+1 ~x7639+1 ~x5889+1 ~x5887+1 ~x5884+1 ~x5881+1 ~x5878+1 ~x5876+1 ~x5870+1 ~x3661+1 ~x3659+1 ~x3656-0=47 29.28/29.30 c 8 ~x348332+4 ~x348331+2 ~x348330+1 ~x348329+1 ~x7695+1 ~x7684+1 ~x5901+1 ~x5897+1 ~x5893+1 ~x5891+1 ~x5887+1 ~x5881+1 ~x5876+1 ~x5870+1 ~x3667+1 ~x3663-0=26 29.28/29.31 c 8 ~x348717+4 ~x348716+2 ~x348715+1 ~x348714+1 ~x7681+1 ~x7672+1 ~x7669+1 ~x7662+1 ~x7654+1 ~x5891+1 ~x5889+1 ~x5887+1 ~x5884+1 ~x5881+1 ~x5876+1 ~x5870+1 ~x3661+1 ~x3659+1 ~x3656-0=29 29.28/29.35 c 16 ~x349234+8 ~x349233+4 ~x349232+2 ~x349231+1 ~x349230+1 ~x7684+1 ~x7681+1 ~x7672+1 ~x7669+1 ~x7662+1 ~x5893+1 ~x5891+1 ~x5889+1 ~x5887+1 ~x5884+1 ~x5881+1 ~x5876+1 ~x5870+1 ~x3663+1 ~x3661+1 ~x3659+1 ~x3656-0=47 29.28/29.35 c 16 ~x350035+8 ~x350034+4 ~x350033+2 ~x350032+1 ~x350031+1 ~x7695+1 ~x7684+1 ~x7681+1 ~x7672+1 ~x7669+1 ~x5893+1 ~x5891+1 ~x5889+1 ~x5887+1 ~x5884+1 ~x5881+1 ~x5876+1 ~x5870+1 ~x3667+1 ~x3663+1 ~x3661+1 ~x3659+1 ~x3656-0=48 29.28/29.37 c 8 ~x350880+4 ~x350879+2 ~x350878+1 ~x350877+1 ~x7695+1 ~x5906+1 ~x5901+1 ~x5897+1 ~x5891+1 ~x5887+1 ~x5881+1 ~x5876+1 ~x3667-0=23 29.28/29.39 c 2048 ~x351183+1024 ~x351182+512 ~x351181+256 ~x351180+128 ~x351179+64 ~x351178+32 ~x351177+16 ~x351176+8 ~x351175+4 ~x351174+2 ~x351173+1 ~x351172+499 x4358+320 ~x1543+160 ~x1542+80 ~x1541+40 ~x1540+20 ~x1539+10 ~x1538+320 ~x1527+160 ~x1526+80 ~x1525+40 ~x1524+20 ~x1523+10 ~x1522+320 ~x1511+160 ~x1510+80 ~x1509+40 ~x1508+20 ~x1507+10 ~x1506+320 ~x1495+160 ~x1494+80 ~x1493+40 ~x1492+20 ~x1491+10 ~x1490-0=6615 29.38/29.46 c 2 ~x354157+1 ~x354156+1 ~x6357+1 ~x6355+1 ~x5910+1 ~x5906-0=6 29.38/29.48 c 4 ~x354223+2 ~x354222+1 ~x354221+1 ~x6361+1 ~x6359+1 ~x6357+1 ~x6355+1 ~x5910-0=11 29.38/29.48 c 4 ~x354337+2 ~x354336+1 ~x354335+1 ~x6375+1 ~x6370+1 ~x6366+1 ~x6364+1 ~x6361+1 ~x6359+1 ~x6357+1 ~x6355-0=14 29.38/29.48 c 4 ~x354574+2 ~x354573+1 ~x354572+1 ~x6379+1 ~x6375+1 ~x6372+1 ~x6370+1 ~x6368+1 ~x6364+1 ~x6359+1 ~x6355-0=14 29.38/29.49 c 4 ~x354811+2 ~x354810+1 ~x354809+1 ~x6375+1 ~x6370+1 ~x6368+1 ~x6366+1 ~x6364+1 ~x6361+1 ~x6359+1 ~x6355-0=14 29.38/29.49 c 4 ~x355048+2 ~x355047+1 ~x355046+1 ~x6385+1 ~x6379+1 ~x6375+1 ~x6372+1 ~x6368+1 ~x6364+1 ~x6359+1 ~x6355-0=14 29.47/29.50 c 4 ~x355285+2 ~x355284+1 ~x355283+1 ~x6375+1 ~x6372+1 ~x6370+1 ~x6368+1 ~x6366+1 ~x6364+1 ~x6359+1 ~x6355-0=14 29.47/29.50 c 4 ~x355522+2 ~x355521+1 ~x355520+1 ~x6388+1 ~x6385+1 ~x6379+1 ~x6377+1 ~x6372+1 ~x6368+1 ~x6364+1 ~x6359-0=14 29.47/29.53 c 4 ~x355759+2 ~x355758+1 ~x355757+1 ~x6379+1 ~x6377+1 ~x6375+1 ~x6372+1 ~x6370+1 ~x6368+1 ~x6364+1 ~x6359-0=14 29.47/29.53 c 4 ~x355996+2 ~x355995+1 ~x355994+1 ~x6391+1 ~x6388+1 ~x6385+1 ~x6382+1 ~x6377+1 ~x6372+1 ~x6368+1 ~x6364-0=14 29.47/29.53 c 4 ~x356250+2 ~x356249+1 ~x356248+1 ~x6385+1 ~x6382+1 ~x6379+1 ~x6377+1 ~x6375+1 ~x6372+1 ~x6368+1 ~x6364-0=14 29.47/29.54 c 4 ~x356487+2 ~x356486+1 ~x356485+1 ~x6394+1 ~x6391+1 ~x6388+1 ~x6382+1 ~x6377+1 ~x6372+1 ~x6368-0=13 29.47/29.54 c 8 ~x356650+4 ~x356649+2 ~x356648+1 ~x356647+1 ~x8579+1 ~x7676+1 ~x7675+1 ~x7665+1 ~x5907+1 ~x5902+1 ~x5898+1 ~x5886+1 ~x5880+1 ~x5875+1 ~x5804+1 ~x5802+1 ~x5798+1 ~x5797+1 ~x3660-0=29 29.47/29.56 c 16 ~x357167+8 ~x357166+4 ~x357165+2 ~x357164+1 ~x357163+1 ~x8579+1 ~x7736+1 ~x7688+1 ~x7687+1 ~x7676+1 ~x7675+1 ~x7665+1 ~x5911+1 ~x5907+1 ~x5902+1 ~x5898+1 ~x5890+1 ~x5886+1 ~x5880+1 ~x5804+1 ~x5802+1 ~x5798+1 ~x5797+1 ~x3682+1 ~x3665+1 ~x3664+1 ~x3660-0=52 29.47/29.58 c 16 ~x358193+8 ~x358192+4 ~x358191+2 ~x358190+1 ~x358189+1 ~x8579+1 ~x7736+1 ~x7703+1 ~x7702+1 ~x7688+1 ~x7687+1 ~x7676+1 ~x7675+1 ~x5911+1 ~x5907+1 ~x5902+1 ~x5898+1 ~x5895+1 ~x5890+1 ~x5886+1 ~x5804+1 ~x5802+1 ~x5798+1 ~x5797+1 ~x3682+1 ~x3670+1 ~x3668+1 ~x3665+1 ~x3664+1 ~x3660-0=55 29.58/29.61 c 16 ~x359354+8 ~x359353+4 ~x359352+2 ~x359351+1 ~x359350+1 ~x8579+1 ~x7745+1 ~x7736+1 ~x7713+1 ~x7712+1 ~x7703+1 ~x7702+1 ~x7688+1 ~x7687+1 ~x6219+1 ~x5911+1 ~x5907+1 ~x5902+1 ~x5899+1 ~x5898+1 ~x5895+1 ~x5890+1 ~x5804+1 ~x5802+1 ~x5798+1 ~x3995+1 ~x3989+1 ~x3683+1 ~x3682+1 ~x3670+1 ~x3668+1 ~x3665+1 ~x3664-0=58 29.58/29.65 c 16 ~x360650+8 ~x360649+4 ~x360648+2 ~x360647+1 ~x360646+1 ~x8614+1 ~x8609+1 ~x8606+1 ~x8599+1 ~x8579+1 ~x7753+1 ~x7745+1 ~x7736+1 ~x7713+1 ~x7712+1 ~x6219+1 ~x5915+1 ~x5911+1 ~x5908+1 ~x5907+1 ~x5903+1 ~x5902+1 ~x5899+1 ~x5815+1 ~x5804+1 ~x5802+1 ~x3995+1 ~x3989+1 ~x3695+1 ~x3683+1 ~x3682+1 ~x3676+1 ~x3675+1 ~x3674+1 ~x3673-0=60 29.58/29.68 c 16 ~x362036+8 ~x362035+4 ~x362034+2 ~x362033+1 ~x362032+1 ~x8579+1 ~x7745+1 ~x7736+1 ~x7688+1 ~x7687+1 ~x7676+1 ~x7675+1 ~x7665+1 ~x6219+1 ~x5911+1 ~x5907+1 ~x5902+1 ~x5898+1 ~x5890+1 ~x5886+1 ~x5804+1 ~x5802+1 ~x5798+1 ~x3683+1 ~x3682+1 ~x3668+1 ~x3665+1 ~x3664+1 ~x3660-0=54 29.68/29.71 c 16 ~x363152+8 ~x363151+4 ~x363150+2 ~x363149+1 ~x363148+1 ~x8579+1 ~x7753+1 ~x7745+1 ~x7702+1 ~x7688+1 ~x7687+1 ~x7676+1 ~x7665+1 ~x6219+1 ~x5915+1 ~x5911+1 ~x5907+1 ~x5902+1 ~x5895+1 ~x5890+1 ~x5815+1 ~x5804+1 ~x5802+1 ~x3695+1 ~x3683+1 ~x3682+1 ~x3668+1 ~x3665+1 ~x3664+1 ~x3660-0=55 29.68/29.75 c 16 ~x364313+8 ~x364312+4 ~x364311+2 ~x364310+1 ~x364309+1 ~x8579+1 ~x7753+1 ~x7736+1 ~x7712+1 ~x7703+1 ~x7702+1 ~x7688+1 ~x7687+1 ~x7676+1 ~x6219+1 ~x5915+1 ~x5911+1 ~x5907+1 ~x5902+1 ~x5899+1 ~x5895+1 ~x5890+1 ~x5815+1 ~x5804+1 ~x5802+1 ~x3989+1 ~x3695+1 ~x3683+1 ~x3682+1 ~x3670+1 ~x3668+1 ~x3665+1 ~x3664+1 ~x3660-0=59 29.68/29.78 c 32 ~x365685+16 ~x365684+8 ~x365683+4 ~x365682+2 ~x365681+1 ~x365680+1 ~x8614+1 ~x8606+1 ~x8579+1 ~x7761+1 ~x7753+1 ~x7747+1 ~x7746+1 ~x7745+1 ~x7738+1 ~x7737+1 ~x7736+1 ~x6358+1 ~x6233+1 ~x6225+1 ~x6219+1 ~x5915+1 ~x5912+1 ~x5911+1 ~x5908+1 ~x5907+1 ~x5816+1 ~x5815+1 ~x5804+1 ~x3993+1 ~x3695+1 ~x3687+1 ~x3686+1 ~x3685+1 ~x3684+1 ~x3683+1 ~x3682+1 ~x3676+1 ~x3674-0=95 29.78/29.82 c 16 ~x367251+8 ~x367250+4 ~x367249+2 ~x367248+1 ~x367247+1 ~x8599+1 ~x7761+1 ~x7753+1 ~x7712+1 ~x7702+1 ~x7688+1 ~x7676+1 ~x7665+1 ~x6225+1 ~x5915+1 ~x5911+1 ~x5903+1 ~x5899+1 ~x5895+1 ~x5816+1 ~x5815+1 ~x3993+1 ~x3989+1 ~x3695+1 ~x3683+1 ~x3682+1 ~x3673+1 ~x3668+1 ~x3665+1 ~x3660-0=55 29.78/29.86 c 16 ~x368412+8 ~x368411+4 ~x368410+2 ~x368409+1 ~x368408+1 ~x8579+1 ~x7761+1 ~x7753+1 ~x7736+1 ~x7712+1 ~x7703+1 ~x7702+1 ~x7688+1 ~x7676+1 ~x6225+1 ~x6219+1 ~x5915+1 ~x5911+1 ~x5907+1 ~x5899+1 ~x5895+1 ~x5816+1 ~x5815+1 ~x5804+1 ~x3993+1 ~x3989+1 ~x3695+1 ~x3683+1 ~x3682+1 ~x3673+1 ~x3670+1 ~x3668+1 ~x3665+1 ~x3660-0=59 29.78/29.89 c 16 ~x369753+8 ~x369752+4 ~x369751+2 ~x369750+1 ~x369749+1 ~x8599+1 ~x8579+1 ~x7761+1 ~x7745+1 ~x7736+1 ~x7713+1 ~x7712+1 ~x7703+1 ~x7702+1 ~x7688+1 ~x6225+1 ~x6219+1 ~x5911+1 ~x5907+1 ~x5903+1 ~x5899+1 ~x5895+1 ~x5816+1 ~x5804+1 ~x3995+1 ~x3993+1 ~x3989+1 ~x3695+1 ~x3683+1 ~x3682+1 ~x3673+1 ~x3670+1 ~x3668+1 ~x3665-0=59 29.88/29.92 c 16 ~x371094+8 ~x371093+4 ~x371092+2 ~x371091+1 ~x371090+1 ~x8609+1 ~x8599+1 ~x8579+1 ~x7761+1 ~x7753+1 ~x7736+1 ~x7712+1 ~x7703+1 ~x7702+1 ~x6225+1 ~x6219+1 ~x5915+1 ~x5911+1 ~x5907+1 ~x5903+1 ~x5899+1 ~x5895+1 ~x5816+1 ~x5815+1 ~x5804+1 ~x3993+1 ~x3989+1 ~x3695+1 ~x3683+1 ~x3682+1 ~x3675+1 ~x3673+1 ~x3670+1 ~x3668-0=59 29.88/29.96 c 32 ~x372436+16 ~x372435+8 ~x372434+4 ~x372433+2 ~x372432+1 ~x372431+1 ~x7761+1 ~x7756+1 ~x7754+1 ~x7753+1 ~x7747+1 ~x7746+1 ~x7745+1 ~x7738+1 ~x7737+1 ~x7736+1 ~x6363+1 ~x6358+1 ~x6233+1 ~x6225+1 ~x6219+1 ~x5921+1 ~x5917+1 ~x5915+1 ~x5912+1 ~x5911+1 ~x5819+1 ~x5816+1 ~x5815+1 ~x3993+1 ~x3704+1 ~x3697+1 ~x3696+1 ~x3695+1 ~x3687+1 ~x3686+1 ~x3685+1 ~x3684+1 ~x3683+1 ~x3682-0=96 29.97/30.01 c 16 ~x374047+8 ~x374046+4 ~x374045+2 ~x374044+1 ~x374043+1 ~x8606+1 ~x8603+1 ~x7753+1 ~x7745+1 ~x7736+1 ~x7712+1 ~x7703+1 ~x7688+1 ~x7676+1 ~x6219+1 ~x5921+1 ~x5915+1 ~x5911+1 ~x5908+1 ~x5899+1 ~x5819+1 ~x5815+1 ~x3989+1 ~x3704+1 ~x3695+1 ~x3683+1 ~x3682+1 ~x3674+1 ~x3670+1 ~x3665+1 ~x3660-0=56 29.97/30.04 c 16 ~x375253+8 ~x375252+4 ~x375251+2 ~x375250+1 ~x375249+1 ~x8603+1 ~x8599+1 ~x7761+1 ~x7745+1 ~x7736+1 ~x7713+1 ~x7712+1 ~x7703+1 ~x7688+1 ~x6225+1 ~x6219+1 ~x5921+1 ~x5911+1 ~x5908+1 ~x5903+1 ~x5899+1 ~x5819+1 ~x5816+1 ~x3995+1 ~x3993+1 ~x3989+1 ~x3704+1 ~x3695+1 ~x3683+1 ~x3682+1 ~x3674+1 ~x3673+1 ~x3670+1 ~x3665-0=59 29.97/30.07 c 16 ~x376594+8 ~x376593+4 ~x376592+2 ~x376591+1 ~x376590+1 ~x8614+1 ~x8609+1 ~x8606+1 ~x8603+1 ~x8599+1 ~x7753+1 ~x7745+1 ~x7736+1 ~x7713+1 ~x7712+1 ~x6219+1 ~x5921+1 ~x5915+1 ~x5911+1 ~x5908+1 ~x5903+1 ~x5899+1 ~x5819+1 ~x5815+1 ~x3995+1 ~x3989+1 ~x3704+1 ~x3695+1 ~x3683+1 ~x3682+1 ~x3676+1 ~x3675+1 ~x3674+1 ~x3673-0=59 30.07/30.11 c 32 ~x377936+16 ~x377935+8 ~x377934+4 ~x377933+2 ~x377932+1 ~x377931+1 ~x8603+1 ~x7761+1 ~x7753+1 ~x7747+1 ~x7746+1 ~x7745+1 ~x7738+1 ~x7737+1 ~x7736+1 ~x6363+1 ~x6358+1 ~x6233+1 ~x6225+1 ~x6219+1 ~x5921+1 ~x5917+1 ~x5915+1 ~x5912+1 ~x5911+1 ~x5819+1 ~x5816+1 ~x5815+1 ~x3993+1 ~x3704+1 ~x3696+1 ~x3695+1 ~x3687+1 ~x3686+1 ~x3685+1 ~x3684+1 ~x3683+1 ~x3682+1 ~x3676-0=95 30.07/30.15 c 32 ~x379548+16 ~x379547+8 ~x379546+4 ~x379545+2 ~x379544+1 ~x379543+1 ~x8603+1 ~x7756+1 ~x7754+1 ~x7753+1 ~x7747+1 ~x7746+1 ~x7745+1 ~x7738+1 ~x7737+1 ~x7736+1 ~x6363+1 ~x6358+1 ~x6233+1 ~x6225+1 ~x6219+1 ~x5921+1 ~x5917+1 ~x5915+1 ~x5912+1 ~x5911+1 ~x5819+1 ~x5816+1 ~x5815+1 ~x3993+1 ~x3704+1 ~x3697+1 ~x3696+1 ~x3695+1 ~x3687+1 ~x3686+1 ~x3685+1 ~x3684+1 ~x3683+1 ~x3682-0=96 30.17/30.20 c 32 ~x381160+16 ~x381159+8 ~x381158+4 ~x381157+2 ~x381156+1 ~x381155+1 ~x8603+1 ~x7763+1 ~x7762+1 ~x7761+1 ~x7756+1 ~x7754+1 ~x7753+1 ~x7747+1 ~x7746+1 ~x7745+1 ~x6367+1 ~x6363+1 ~x6358+1 ~x6239+1 ~x6233+1 ~x6225+1 ~x6219+1 ~x5921+1 ~x5917+1 ~x5915+1 ~x5819+1 ~x5816+1 ~x5815+1 ~x4031+1 ~x4019+1 ~x4001+1 ~x3993+1 ~x3704+1 ~x3697+1 ~x3696+1 ~x3695+1 ~x3687+1 ~x3685+1 ~x3683-0=96 30.17/30.24 c 16 ~x382771+8 ~x382770+4 ~x382769+2 ~x382768+1 ~x382767+1 ~x7779+1 ~x7761+1 ~x7753+1 ~x7745+1 ~x7737+1 ~x7713+1 ~x7703+1 ~x7688+1 ~x6225+1 ~x6219+1 ~x5925+1 ~x5915+1 ~x5912+1 ~x5903+1 ~x5821+1 ~x5816+1 ~x5815+1 ~x4001+1 ~x3995+1 ~x3993+1 ~x3695+1 ~x3684+1 ~x3683+1 ~x3673+1 ~x3670+1 ~x3665-0=56 30.17/30.27 c 16 ~x383977+8 ~x383976+4 ~x383975+2 ~x383974+1 ~x383973+1 ~x8614+1 ~x8609+1 ~x8606+1 ~x8599+1 ~x7779+1 ~x7761+1 ~x7753+1 ~x7745+1 ~x7713+1 ~x6225+1 ~x6219+1 ~x5925+1 ~x5915+1 ~x5908+1 ~x5903+1 ~x5821+1 ~x5819+1 ~x5816+1 ~x5815+1 ~x4001+1 ~x3995+1 ~x3993+1 ~x3704+1 ~x3695+1 ~x3683+1 ~x3676+1 ~x3675+1 ~x3674+1 ~x3673-0=59 30.27/30.31 c 16 ~x385318+8 ~x385317+4 ~x385316+2 ~x385315+1 ~x385314+1 ~x8609+1 ~x8606+1 ~x8599+1 ~x7779+1 ~x7761+1 ~x7753+1 ~x7745+1 ~x7738+1 ~x7737+1 ~x6225+1 ~x6219+1 ~x5925+1 ~x5915+1 ~x5912+1 ~x5908+1 ~x5903+1 ~x5821+1 ~x5816+1 ~x5815+1 ~x4001+1 ~x3993+1 ~x3695+1 ~x3686+1 ~x3684+1 ~x3683+1 ~x3676+1 ~x3675+1 ~x3674+1 ~x3673-0=59 30.27/30.35 c 32 ~x386660+16 ~x386659+8 ~x386658+4 ~x386657+2 ~x386656+1 ~x386655+1 ~x8614+1 ~x8606+1 ~x7779+1 ~x7761+1 ~x7753+1 ~x7747+1 ~x7746+1 ~x7745+1 ~x7738+1 ~x7737+1 ~x6358+1 ~x6233+1 ~x6225+1 ~x6219+1 ~x5925+1 ~x5915+1 ~x5912+1 ~x5908+1 ~x5821+1 ~x5819+1 ~x5816+1 ~x5815+1 ~x4001+1 ~x3993+1 ~x3704+1 ~x3695+1 ~x3687+1 ~x3686+1 ~x3685+1 ~x3684+1 ~x3683+1 ~x3676+1 ~x3674-0=95 30.27/30.39 c 32 ~x388227+16 ~x388226+8 ~x388225+4 ~x388224+2 ~x388223+1 ~x388222+1 ~x7779+1 ~x7761+1 ~x7756+1 ~x7754+1 ~x7753+1 ~x7747+1 ~x7746+1 ~x7745+1 ~x7738+1 ~x7737+1 ~x6363+1 ~x6358+1 ~x6233+1 ~x6225+1 ~x6219+1 ~x5925+1 ~x5917+1 ~x5915+1 ~x5912+1 ~x5821+1 ~x5819+1 ~x5816+1 ~x5815+1 ~x4001+1 ~x3993+1 ~x3704+1 ~x3697+1 ~x3696+1 ~x3695+1 ~x3687+1 ~x3686+1 ~x3685+1 ~x3684+1 ~x3683-0=96 30.37/30.43 c 32 ~x389839+16 ~x389838+8 ~x389837+4 ~x389836+2 ~x389835+1 ~x389834+1 ~x7779+1 ~x7763+1 ~x7762+1 ~x7761+1 ~x7756+1 ~x7754+1 ~x7753+1 ~x7747+1 ~x7746+1 ~x7745+1 ~x6367+1 ~x6363+1 ~x6358+1 ~x6239+1 ~x6233+1 ~x6225+1 ~x6219+1 ~x5925+1 ~x5917+1 ~x5915+1 ~x5821+1 ~x5816+1 ~x5815+1 ~x4031+1 ~x4019+1 ~x4001+1 ~x3993+1 ~x3704+1 ~x3697+1 ~x3696+1 ~x3695+1 ~x3687+1 ~x3685+1 ~x3683-0=96 30.37/30.48 c 32 ~x391451+16 ~x391450+8 ~x391449+4 ~x391448+2 ~x391447+1 ~x391446+1 ~x8667+1 ~x8652+1 ~x8603+1 ~x7779+1 ~x7763+1 ~x7762+1 ~x7761+1 ~x7756+1 ~x7754+1 ~x7753+1 ~x6371+1 ~x6367+1 ~x6363+1 ~x6239+1 ~x6225+1 ~x5925+1 ~x5922+1 ~x5921+1 ~x5917+1 ~x5915+1 ~x5821+1 ~x5819+1 ~x5816+1 ~x5815+1 ~x4031+1 ~x4019+1 ~x4001+1 ~x3993+1 ~x3706+1 ~x3705+1 ~x3704+1 ~x3697+1 ~x3696+1 ~x3695-0=96 30.47/30.52 c 16 ~x393062+8 ~x393061+4 ~x393060+2 ~x393059+1 ~x393058+1 ~x8622+1 ~x8609+1 ~x8603+1 ~x7761+1 ~x7753+1 ~x7746+1 ~x7713+1 ~x7703+1 ~x6380+1 ~x6358+1 ~x6233+1 ~x6225+1 ~x5930+1 ~x5921+1 ~x5915+1 ~x5819+1 ~x5816+1 ~x5815+1 ~x3995+1 ~x3993+1 ~x3713+1 ~x3704+1 ~x3695+1 ~x3685+1 ~x3675+1 ~x3670-0=56 30.47/30.55 c 16 ~x394313+8 ~x394312+4 ~x394311+2 ~x394310+1 ~x394309+1 ~x8622+1 ~x8614+1 ~x8609+1 ~x8606+1 ~x7761+1 ~x7753+1 ~x7746+1 ~x7737+1 ~x7713+1 ~x6380+1 ~x6358+1 ~x6233+1 ~x6225+1 ~x5930+1 ~x5915+1 ~x5912+1 ~x5908+1 ~x5816+1 ~x5815+1 ~x3995+1 ~x3993+1 ~x3713+1 ~x3704+1 ~x3695+1 ~x3685+1 ~x3684+1 ~x3676+1 ~x3675+1 ~x3674-0=59 30.47/30.59 c 16 ~x395654+8 ~x395653+4 ~x395652+2 ~x395651+1 ~x395650+1 ~x8622+1 ~x8606+1 ~x7779+1 ~x7761+1 ~x7753+1 ~x7746+1 ~x7738+1 ~x7737+1 ~x6380+1 ~x6358+1 ~x6225+1 ~x5930+1 ~x5925+1 ~x5915+1 ~x5912+1 ~x5908+1 ~x5821+1 ~x5816+1 ~x5815+1 ~x4001+1 ~x3993+1 ~x3713+1 ~x3695+1 ~x3687+1 ~x3686+1 ~x3685+1 ~x3684+1 ~x3676+1 ~x3674-0=59 30.57/30.62 c 16 ~x396995+8 ~x396994+4 ~x396993+2 ~x396992+1 ~x396991+1 ~x8622+1 ~x8614+1 ~x8606+1 ~x8603+1 ~x7761+1 ~x7753+1 ~x7747+1 ~x7746+1 ~x7737+1 ~x6380+1 ~x6358+1 ~x6233+1 ~x6225+1 ~x5930+1 ~x5921+1 ~x5915+1 ~x5912+1 ~x5908+1 ~x5819+1 ~x5816+1 ~x5815+1 ~x3993+1 ~x3713+1 ~x3704+1 ~x3695+1 ~x3687+1 ~x3685+1 ~x3684+1 ~x3676+1 ~x3674-0=60 30.57/30.66 c 32 ~x398382+16 ~x398381+8 ~x398380+4 ~x398379+2 ~x398378+1 ~x398377+1 ~x8622+1 ~x8603+1 ~x7761+1 ~x7756+1 ~x7754+1 ~x7753+1 ~x7747+1 ~x7746+1 ~x7738+1 ~x7737+1 ~x6380+1 ~x6363+1 ~x6358+1 ~x6233+1 ~x6225+1 ~x5930+1 ~x5921+1 ~x5917+1 ~x5915+1 ~x5912+1 ~x5819+1 ~x5816+1 ~x5815+1 ~x4001+1 ~x3993+1 ~x3713+1 ~x3704+1 ~x3697+1 ~x3696+1 ~x3695+1 ~x3687+1 ~x3686+1 ~x3685+1 ~x3684-0=96 30.67/30.71 c 32 ~x399994+16 ~x399993+8 ~x399992+4 ~x399991+2 ~x399990+1 ~x399989+1 ~x8622+1 ~x8603+1 ~x7763+1 ~x7762+1 ~x7761+1 ~x7756+1 ~x7754+1 ~x7753+1 ~x7747+1 ~x7746+1 ~x6380+1 ~x6367+1 ~x6363+1 ~x6358+1 ~x6239+1 ~x6233+1 ~x6225+1 ~x5930+1 ~x5921+1 ~x5917+1 ~x5915+1 ~x5819+1 ~x5816+1 ~x5815+1 ~x4031+1 ~x4019+1 ~x3993+1 ~x3713+1 ~x3704+1 ~x3697+1 ~x3696+1 ~x3695+1 ~x3687+1 ~x3685-0=96 30.67/30.75 c 32 ~x401606+16 ~x401605+8 ~x401604+4 ~x401603+2 ~x401602+1 ~x401601+1 ~x8667+1 ~x8652+1 ~x8622+1 ~x8603+1 ~x7763+1 ~x7762+1 ~x7761+1 ~x7756+1 ~x7754+1 ~x7753+1 ~x6380+1 ~x6371+1 ~x6367+1 ~x6363+1 ~x6239+1 ~x6225+1 ~x5930+1 ~x5922+1 ~x5921+1 ~x5917+1 ~x5915+1 ~x5819+1 ~x5816+1 ~x5815+1 ~x4031+1 ~x4019+1 ~x3993+1 ~x3713+1 ~x3706+1 ~x3705+1 ~x3704+1 ~x3697+1 ~x3696+1 ~x3695-0=96 30.67/30.80 c 32 ~x403218+16 ~x403217+8 ~x403216+4 ~x403215+2 ~x403214+1 ~x403213+1 ~x8667+1 ~x8652+1 ~x8622+1 ~x8603+1 ~x7781+1 ~x7780+1 ~x7779+1 ~x7763+1 ~x7762+1 ~x7761+1 ~x6380+1 ~x6376+1 ~x6371+1 ~x6367+1 ~x6239+1 ~x6225+1 ~x5930+1 ~x5926+1 ~x5925+1 ~x5922+1 ~x5921+1 ~x5821+1 ~x5819+1 ~x5816+1 ~x4050+1 ~x4038+1 ~x4031+1 ~x4019+1 ~x4001+1 ~x3993+1 ~x3713+1 ~x3706+1 ~x3705+1 ~x3704-0=96 30.78/30.84 c 16 ~x404829+8 ~x404828+4 ~x404827+2 ~x404826+1 ~x404825+1 ~x8629+1 ~x8614+1 ~x8609+1 ~x8603+1 ~x7779+1 ~x7761+1 ~x7754+1 ~x7713+1 ~x6425+1 ~x6363+1 ~x6225+1 ~x5934+1 ~x5925+1 ~x5921+1 ~x5917+1 ~x5821+1 ~x5819+1 ~x5816+1 ~x4010+1 ~x4001+1 ~x3995+1 ~x3993+1 ~x3704+1 ~x3696+1 ~x3676+1 ~x3675-0=56 30.78/30.87 c 16 ~x406035+8 ~x406034+4 ~x406033+2 ~x406032+1 ~x406031+1 ~x8629+1 ~x8622+1 ~x8614+1 ~x7779+1 ~x7761+1 ~x7747+1 ~x7746+1 ~x7738+1 ~x7737+1 ~x6425+1 ~x6380+1 ~x6358+1 ~x6233+1 ~x6225+1 ~x5934+1 ~x5930+1 ~x5925+1 ~x5912+1 ~x5821+1 ~x5816+1 ~x4010+1 ~x4001+1 ~x3993+1 ~x3713+1 ~x3687+1 ~x3686+1 ~x3685+1 ~x3684+1 ~x3676-0=59 30.87/30.90 c 16 ~x407376+8 ~x407375+4 ~x407374+2 ~x407373+1 ~x407372+1 ~x8629+1 ~x8603+1 ~x7779+1 ~x7761+1 ~x7756+1 ~x7754+1 ~x7738+1 ~x7737+1 ~x6425+1 ~x6363+1 ~x6225+1 ~x5934+1 ~x5925+1 ~x5921+1 ~x5917+1 ~x5912+1 ~x5821+1 ~x5819+1 ~x5816+1 ~x4010+1 ~x4001+1 ~x3993+1 ~x3713+1 ~x3704+1 ~x3697+1 ~x3696+1 ~x3687+1 ~x3686+1 ~x3685+1 ~x3684-0=60 30.87/30.94 c 32 ~x408780+16 ~x408779+8 ~x408778+4 ~x408777+2 ~x408776+1 ~x408775+1 ~x8629+1 ~x8603+1 ~x7779+1 ~x7763+1 ~x7762+1 ~x7761+1 ~x7756+1 ~x7754+1 ~x7747+1 ~x7746+1 ~x6425+1 ~x6367+1 ~x6363+1 ~x6358+1 ~x6239+1 ~x6233+1 ~x6225+1 ~x5934+1 ~x5925+1 ~x5921+1 ~x5917+1 ~x5821+1 ~x5819+1 ~x5816+1 ~x4031+1 ~x4019+1 ~x4010+1 ~x4001+1 ~x3993+1 ~x3704+1 ~x3697+1 ~x3696+1 ~x3687+1 ~x3685-0=96 30.87/30.99 c 32 ~x410392+16 ~x410391+8 ~x410390+4 ~x410389+2 ~x410388+1 ~x410387+1 ~x8667+1 ~x8652+1 ~x8629+1 ~x8603+1 ~x7779+1 ~x7763+1 ~x7762+1 ~x7761+1 ~x7756+1 ~x7754+1 ~x6425+1 ~x6371+1 ~x6367+1 ~x6363+1 ~x6239+1 ~x6225+1 ~x5934+1 ~x5925+1 ~x5922+1 ~x5921+1 ~x5917+1 ~x5821+1 ~x5819+1 ~x5816+1 ~x4031+1 ~x4019+1 ~x4010+1 ~x4001+1 ~x3993+1 ~x3706+1 ~x3705+1 ~x3704+1 ~x3697+1 ~x3696-0=96 30.97/31.03 c 32 ~x412004+16 ~x412003+8 ~x412002+4 ~x412001+2 ~x412000+1 ~x411999+1 ~x8667+1 ~x8652+1 ~x8629+1 ~x8603+1 ~x7781+1 ~x7780+1 ~x7779+1 ~x7763+1 ~x7762+1 ~x7761+1 ~x6425+1 ~x6376+1 ~x6371+1 ~x6367+1 ~x6239+1 ~x6225+1 ~x5934+1 ~x5926+1 ~x5925+1 ~x5922+1 ~x5921+1 ~x5821+1 ~x5819+1 ~x5816+1 ~x4050+1 ~x4038+1 ~x4031+1 ~x4019+1 ~x4010+1 ~x4001+1 ~x3993+1 ~x3706+1 ~x3705+1 ~x3704-0=96 30.97/31.07 c 32 ~x413616+16 ~x413615+8 ~x413614+4 ~x413613+2 ~x413612+1 ~x413611+1 ~x8690+1 ~x8674+1 ~x8667+1 ~x8652+1 ~x8629+1 ~x8622+1 ~x8603+1 ~x7781+1 ~x7780+1 ~x7779+1 ~x6425+1 ~x6381+1 ~x6380+1 ~x6376+1 ~x6371+1 ~x5934+1 ~x5931+1 ~x5930+1 ~x5926+1 ~x5925+1 ~x5922+1 ~x5921+1 ~x5821+1 ~x5819+1 ~x4611+1 ~x4050+1 ~x4038+1 ~x4010+1 ~x4001+1 ~x3716+1 ~x3715+1 ~x3713+1 ~x3706+1 ~x3705+1 ~x3704-0=97 31.07/31.12 c 16 ~x415272+8 ~x415271+4 ~x415270+2 ~x415269+1 ~x415268+1 ~x8639+1 ~x8622+1 ~x8614+1 ~x8609+1 ~x8603+1 ~x7779+1 ~x7762+1 ~x7738+1 ~x6428+1 ~x6380+1 ~x6367+1 ~x6239+1 ~x5939+1 ~x5930+1 ~x5925+1 ~x5921+1 ~x5832+1 ~x5821+1 ~x5819+1 ~x4019+1 ~x4001+1 ~x3723+1 ~x3713+1 ~x3704+1 ~x3686+1 ~x3676+1 ~x3675-0=57 31.07/31.15 c 16 ~x416523+8 ~x416522+4 ~x416521+2 ~x416520+1 ~x416519+1 ~x8639+1 ~x8622+1 ~x8614+1 ~x8603+1 ~x7779+1 ~x7754+1 ~x7747+1 ~x7746+1 ~x7738+1 ~x6428+1 ~x6380+1 ~x6363+1 ~x6358+1 ~x6233+1 ~x5939+1 ~x5930+1 ~x5925+1 ~x5921+1 ~x5917+1 ~x5832+1 ~x5821+1 ~x5819+1 ~x4001+1 ~x3723+1 ~x3713+1 ~x3704+1 ~x3696+1 ~x3687+1 ~x3686+1 ~x3685+1 ~x3676-0=61 31.07/31.19 c 16 ~x417954+8 ~x417953+4 ~x417952+2 ~x417951+1 ~x417950+1 ~x8639+1 ~x8622+1 ~x8603+1 ~x7779+1 ~x7756+1 ~x7754+1 ~x7747+1 ~x7746+1 ~x7738+1 ~x6428+1 ~x6380+1 ~x6363+1 ~x6358+1 ~x6233+1 ~x5939+1 ~x5930+1 ~x5925+1 ~x5921+1 ~x5917+1 ~x5832+1 ~x5821+1 ~x5819+1 ~x4001+1 ~x3723+1 ~x3713+1 ~x3704+1 ~x3697+1 ~x3696+1 ~x3687+1 ~x3686+1 ~x3685-0=61 31.17/31.25 c 16 ~x419385+8 ~x419384+4 ~x419383+2 ~x419382+1 ~x419381+1 ~x8639+1 ~x8622+1 ~x8603+1 ~x7779+1 ~x7763+1 ~x7762+1 ~x7747+1 ~x7746+1 ~x6428+1 ~x6380+1 ~x6367+1 ~x6358+1 ~x6239+1 ~x6233+1 ~x5939+1 ~x5930+1 ~x5925+1 ~x5921+1 ~x5917+1 ~x5832+1 ~x5821+1 ~x5819+1 ~x4031+1 ~x4019+1 ~x4001+1 ~x3723+1 ~x3713+1 ~x3704+1 ~x3696+1 ~x3687+1 ~x3685-0=61 31.17/31.29 c 32 ~x420817+16 ~x420816+8 ~x420815+4 ~x420814+2 ~x420813+1 ~x420812+1 ~x8667+1 ~x8652+1 ~x8639+1 ~x8622+1 ~x8603+1 ~x7779+1 ~x7763+1 ~x7762+1 ~x7756+1 ~x7754+1 ~x6428+1 ~x6380+1 ~x6371+1 ~x6367+1 ~x6363+1 ~x6239+1 ~x5939+1 ~x5930+1 ~x5925+1 ~x5922+1 ~x5921+1 ~x5917+1 ~x5832+1 ~x5821+1 ~x5819+1 ~x4031+1 ~x4019+1 ~x4001+1 ~x3723+1 ~x3713+1 ~x3706+1 ~x3705+1 ~x3704+1 ~x3697+1 ~x3696-0=97 31.27/31.33 c 32 ~x422474+16 ~x422473+8 ~x422472+4 ~x422471+2 ~x422470+1 ~x422469+1 ~x8667+1 ~x8652+1 ~x8639+1 ~x8622+1 ~x8603+1 ~x7781+1 ~x7780+1 ~x7779+1 ~x7763+1 ~x7762+1 ~x6428+1 ~x6380+1 ~x6376+1 ~x6371+1 ~x6367+1 ~x6239+1 ~x5939+1 ~x5930+1 ~x5926+1 ~x5925+1 ~x5922+1 ~x5921+1 ~x5832+1 ~x5821+1 ~x5819+1 ~x4050+1 ~x4038+1 ~x4031+1 ~x4019+1 ~x4001+1 ~x3723+1 ~x3713+1 ~x3706+1 ~x3705+1 ~x3704-0=97 31.27/31.38 c 32 ~x424161+16 ~x424160+8 ~x424159+4 ~x424158+2 ~x424157+1 ~x424156+1 ~x8690+1 ~x8674+1 ~x8667+1 ~x8652+1 ~x8639+1 ~x8622+1 ~x8603+1 ~x7781+1 ~x7780+1 ~x7779+1 ~x6428+1 ~x6381+1 ~x6380+1 ~x6376+1 ~x6371+1 ~x5939+1 ~x5931+1 ~x5930+1 ~x5926+1 ~x5925+1 ~x5922+1 ~x5921+1 ~x5832+1 ~x5821+1 ~x5819+1 ~x4611+1 ~x4050+1 ~x4038+1 ~x4001+1 ~x3723+1 ~x3716+1 ~x3715+1 ~x3713+1 ~x3706+1 ~x3705+1 ~x3704-0=98 31.37/31.42 c 32 ~x425863+16 ~x425862+8 ~x425861+4 ~x425860+2 ~x425859+1 ~x425858+1 ~x8702+1 ~x8685+1 ~x8674+1 ~x8639+1 ~x8629+1 ~x8622+1 ~x7781+1 ~x7780+1 ~x7779+1 ~x6447+1 ~x6428+1 ~x6425+1 ~x6381+1 ~x6380+1 ~x6376+1 ~x5939+1 ~x5935+1 ~x5934+1 ~x5931+1 ~x5930+1 ~x5926+1 ~x5925+1 ~x5832+1 ~x5821+1 ~x4743+1 ~x4733+1 ~x4611+1 ~x4067+1 ~x4056+1 ~x4050+1 ~x4038+1 ~x4010+1 ~x4001+1 ~x3723+1 ~x3716+1 ~x3715+1 ~x3713-0=99 31.37/31.47 c 16 ~x427609+8 ~x427608+4 ~x427607+2 ~x427606+1 ~x427605+1 ~x8652+1 ~x8649+1 ~x8622+1 ~x8614+1 ~x7779+1 ~x7747+1 ~x7738+1 ~x6432+1 ~x6380+1 ~x6371+1 ~x6363+1 ~x5943+1 ~x5930+1 ~x5925+1 ~x5922+1 ~x5917+1 ~x5840+1 ~x5821+1 ~x4027+1 ~x4010+1 ~x4001+1 ~x3713+1 ~x3705+1 ~x3696+1 ~x3687+1 ~x3686+1 ~x3676-0=57 31.47/31.50 c 16 ~x428860+8 ~x428859+4 ~x428858+2 ~x428857+1 ~x428856+1 ~x8649+1 ~x8629+1 ~x8622+1 ~x7779+1 ~x7756+1 ~x7754+1 ~x7747+1 ~x7738+1 ~x6432+1 ~x6428+1 ~x6425+1 ~x6380+1 ~x6363+1 ~x5943+1 ~x5939+1 ~x5934+1 ~x5930+1 ~x5925+1 ~x5917+1 ~x5840+1 ~x5832+1 ~x5821+1 ~x4027+1 ~x4010+1 ~x4001+1 ~x3723+1 ~x3713+1 ~x3697+1 ~x3696+1 ~x3687+1 ~x3686-0=61 31.47/31.54 c 16 ~x430291+8 ~x430290+4 ~x430289+2 ~x430288+1 ~x430287+1 ~x8649+1 ~x8629+1 ~x8622+1 ~x7779+1 ~x7763+1 ~x7762+1 ~x7756+1 ~x7754+1 ~x7747+1 ~x6432+1 ~x6425+1 ~x6380+1 ~x6367+1 ~x6363+1 ~x6239+1 ~x5943+1 ~x5934+1 ~x5930+1 ~x5925+1 ~x5917+1 ~x5840+1 ~x5821+1 ~x4031+1 ~x4027+1 ~x4019+1 ~x4010+1 ~x4001+1 ~x3713+1 ~x3697+1 ~x3696+1 ~x3687-0=61 31.47/31.58 c 16 ~x431722+8 ~x431721+4 ~x431720+2 ~x431719+1 ~x431718+1 ~x8667+1 ~x8652+1 ~x8649+1 ~x8629+1 ~x8622+1 ~x7779+1 ~x7756+1 ~x7754+1 ~x6432+1 ~x6425+1 ~x6380+1 ~x6371+1 ~x6363+1 ~x5943+1 ~x5934+1 ~x5930+1 ~x5925+1 ~x5922+1 ~x5917+1 ~x5840+1 ~x5832+1 ~x5821+1 ~x4027+1 ~x4010+1 ~x4001+1 ~x3723+1 ~x3713+1 ~x3706+1 ~x3705+1 ~x3697+1 ~x3696-0=61 31.56/31.62 c 32 ~x433154+16 ~x433153+8 ~x433152+4 ~x433151+2 ~x433150+1 ~x433149+1 ~x8667+1 ~x8652+1 ~x8649+1 ~x8629+1 ~x8622+1 ~x7781+1 ~x7780+1 ~x7779+1 ~x7763+1 ~x7762+1 ~x6432+1 ~x6425+1 ~x6380+1 ~x6376+1 ~x6371+1 ~x6367+1 ~x6239+1 ~x5943+1 ~x5934+1 ~x5930+1 ~x5926+1 ~x5925+1 ~x5922+1 ~x5840+1 ~x5821+1 ~x4050+1 ~x4038+1 ~x4031+1 ~x4027+1 ~x4019+1 ~x4010+1 ~x4001+1 ~x3713+1 ~x3706+1 ~x3705-0=97 31.56/31.66 c 32 ~x434811+16 ~x434810+8 ~x434809+4 ~x434808+2 ~x434807+1 ~x434806+1 ~x8690+1 ~x8674+1 ~x8667+1 ~x8652+1 ~x8649+1 ~x8629+1 ~x8622+1 ~x7781+1 ~x7780+1 ~x7779+1 ~x6432+1 ~x6425+1 ~x6381+1 ~x6380+1 ~x6376+1 ~x6371+1 ~x5943+1 ~x5934+1 ~x5931+1 ~x5930+1 ~x5926+1 ~x5925+1 ~x5922+1 ~x5840+1 ~x5821+1 ~x4611+1 ~x4050+1 ~x4038+1 ~x4027+1 ~x4010+1 ~x4001+1 ~x3716+1 ~x3715+1 ~x3713+1 ~x3706+1 ~x3705-0=98 31.67/31.71 c 32 ~x436513+16 ~x436512+8 ~x436511+4 ~x436510+2 ~x436509+1 ~x436508+1 ~x8702+1 ~x8685+1 ~x8674+1 ~x8649+1 ~x8629+1 ~x8622+1 ~x7781+1 ~x7780+1 ~x7779+1 ~x6447+1 ~x6432+1 ~x6425+1 ~x6381+1 ~x6380+1 ~x6376+1 ~x5943+1 ~x5935+1 ~x5934+1 ~x5931+1 ~x5930+1 ~x5926+1 ~x5925+1 ~x5840+1 ~x5821+1 ~x4743+1 ~x4733+1 ~x4611+1 ~x4067+1 ~x4056+1 ~x4050+1 ~x4038+1 ~x4027+1 ~x4010+1 ~x4001+1 ~x3716+1 ~x3715+1 ~x3713-0=99 31.67/31.76 c 32 ~x438260+16 ~x438259+8 ~x438258+4 ~x438257+2 ~x438256+1 ~x438255+1 ~x8714+1 ~x8697+1 ~x8690+1 ~x8674+1 ~x8649+1 ~x8639+1 ~x8622+1 ~x6450+1 ~x6447+1 ~x6432+1 ~x6428+1 ~x6425+1 ~x6381+1 ~x6380+1 ~x5943+1 ~x5940+1 ~x5939+1 ~x5935+1 ~x5934+1 ~x5931+1 ~x5930+1 ~x5840+1 ~x5832+1 ~x4743+1 ~x4733+1 ~x4613+1 ~x4612+1 ~x4611+1 ~x4067+1 ~x4056+1 ~x4027+1 ~x4010+1 ~x3726+1 ~x3724+1 ~x3723+1 ~x3716+1 ~x3715+1 ~x3713-0=100 31.77/31.81 c 16 ~x440096+8 ~x440095+4 ~x440094+2 ~x440093+1 ~x440092+1 ~x8660+1 ~x8629+1 ~x8622+1 ~x7780+1 ~x7756+1 ~x7747+1 ~x7738+1 ~x6438+1 ~x6428+1 ~x6425+1 ~x6380+1 ~x6376+1 ~x5947+1 ~x5939+1 ~x5934+1 ~x5930+1 ~x5926+1 ~x5843+1 ~x5832+1 ~x4038+1 ~x4010+1 ~x3733+1 ~x3723+1 ~x3713+1 ~x3697+1 ~x3687+1 ~x3686-0=57 31.77/31.84 c 16 ~x441347+8 ~x441346+4 ~x441345+2 ~x441344+1 ~x441343+1 ~x8660+1 ~x8639+1 ~x8629+1 ~x8622+1 ~x7763+1 ~x7762+1 ~x7756+1 ~x7747+1 ~x6438+1 ~x6428+1 ~x6425+1 ~x6380+1 ~x6367+1 ~x6239+1 ~x5947+1 ~x5943+1 ~x5939+1 ~x5934+1 ~x5930+1 ~x5843+1 ~x5840+1 ~x5832+1 ~x4031+1 ~x4027+1 ~x4019+1 ~x4010+1 ~x3733+1 ~x3723+1 ~x3713+1 ~x3697+1 ~x3687-0=61 31.77/31.87 c 16 ~x442778+8 ~x442777+4 ~x442776+2 ~x442775+1 ~x442774+1 ~x8667+1 ~x8660+1 ~x8652+1 ~x8629+1 ~x8622+1 ~x7763+1 ~x7762+1 ~x7756+1 ~x6438+1 ~x6428+1 ~x6425+1 ~x6380+1 ~x6371+1 ~x6367+1 ~x6239+1 ~x5947+1 ~x5939+1 ~x5934+1 ~x5930+1 ~x5922+1 ~x5843+1 ~x5832+1 ~x4031+1 ~x4019+1 ~x4010+1 ~x3733+1 ~x3723+1 ~x3713+1 ~x3706+1 ~x3705+1 ~x3697-0=61 31.87/31.91 c 16 ~x444209+8 ~x444208+4 ~x444207+2 ~x444206+1 ~x444205+1 ~x8660+1 ~x8639+1 ~x8629+1 ~x8622+1 ~x7781+1 ~x7780+1 ~x7763+1 ~x7762+1 ~x6438+1 ~x6428+1 ~x6425+1 ~x6380+1 ~x6376+1 ~x6367+1 ~x6239+1 ~x5947+1 ~x5939+1 ~x5934+1 ~x5930+1 ~x5926+1 ~x5843+1 ~x5832+1 ~x4050+1 ~x4038+1 ~x4031+1 ~x4027+1 ~x4019+1 ~x4010+1 ~x3733+1 ~x3723+1 ~x3713-0=61 31.87/31.95 c 32 ~x445641+16 ~x445640+8 ~x445639+4 ~x445638+2 ~x445637+1 ~x445636+1 ~x8690+1 ~x8674+1 ~x8667+1 ~x8660+1 ~x8652+1 ~x8629+1 ~x8622+1 ~x7781+1 ~x7780+1 ~x6438+1 ~x6428+1 ~x6425+1 ~x6381+1 ~x6380+1 ~x6376+1 ~x6371+1 ~x5947+1 ~x5939+1 ~x5934+1 ~x5931+1 ~x5930+1 ~x5926+1 ~x5922+1 ~x5843+1 ~x5832+1 ~x4611+1 ~x4050+1 ~x4038+1 ~x4010+1 ~x3733+1 ~x3723+1 ~x3716+1 ~x3715+1 ~x3713+1 ~x3706+1 ~x3705-0=98 31.96/32.00 c 32 ~x447343+16 ~x447342+8 ~x447341+4 ~x447340+2 ~x447339+1 ~x447338+1 ~x8702+1 ~x8690+1 ~x8685+1 ~x8674+1 ~x8660+1 ~x8629+1 ~x8622+1 ~x7781+1 ~x7780+1 ~x6447+1 ~x6438+1 ~x6425+1 ~x6381+1 ~x6380+1 ~x6376+1 ~x5947+1 ~x5939+1 ~x5935+1 ~x5934+1 ~x5931+1 ~x5930+1 ~x5926+1 ~x5843+1 ~x5832+1 ~x4743+1 ~x4733+1 ~x4611+1 ~x4067+1 ~x4056+1 ~x4050+1 ~x4038+1 ~x4010+1 ~x3733+1 ~x3723+1 ~x3716+1 ~x3715+1 ~x3713-0=99 31.96/32.05 c 32 ~x449090+16 ~x449089+8 ~x449088+4 ~x449087+2 ~x449086+1 ~x449085+1 ~x8714+1 ~x8697+1 ~x8690+1 ~x8674+1 ~x8660+1 ~x8639+1 ~x8622+1 ~x6450+1 ~x6447+1 ~x6438+1 ~x6428+1 ~x6425+1 ~x6381+1 ~x6380+1 ~x5947+1 ~x5940+1 ~x5939+1 ~x5935+1 ~x5934+1 ~x5931+1 ~x5930+1 ~x5843+1 ~x5832+1 ~x4743+1 ~x4733+1 ~x4613+1 ~x4612+1 ~x4611+1 ~x4067+1 ~x4056+1 ~x4010+1 ~x3733+1 ~x3726+1 ~x3724+1 ~x3723+1 ~x3716+1 ~x3715+1 ~x3713-0=100 31.96/32.10 c 32 ~x450882+16 ~x450881+8 ~x450880+4 ~x450879+2 ~x450878+1 ~x450877+1 ~x8726+1 ~x8710+1 ~x8702+1 ~x8685+1 ~x8660+1 ~x8649+1 ~x8629+1 ~x6453+1 ~x6447+1 ~x6438+1 ~x6432+1 ~x6428+1 ~x6425+1 ~x5947+1 ~x5944+1 ~x5943+1 ~x5939+1 ~x5935+1 ~x5934+1 ~x5843+1 ~x5840+1 ~x5832+1 ~x4759+1 ~x4749+1 ~x4743+1 ~x4733+1 ~x4613+1 ~x4612+1 ~x4083+1 ~x4073+1 ~x4067+1 ~x4056+1 ~x4027+1 ~x4010+1 ~x3733+1 ~x3726+1 ~x3724+1 ~x3723-0=100 32.07/32.14 c 16 ~x452673+8 ~x452672+4 ~x452671+2 ~x452670+1 ~x452669+1 ~x8674+1 ~x8671+1 ~x8639+1 ~x8629+1 ~x7763+1 ~x7756+1 ~x7747+1 ~x6442+1 ~x6428+1 ~x6425+1 ~x6381+1 ~x5959+1 ~x5943+1 ~x5939+1 ~x5934+1 ~x5931+1 ~x5845+1 ~x5840+1 ~x5832+1 ~x4045+1 ~x4031+1 ~x4027+1 ~x4010+1 ~x3723+1 ~x3715+1 ~x3697+1 ~x3687-0=57 32.07/32.18 c 16 ~x453924+8 ~x453923+4 ~x453922+2 ~x453921+1 ~x453920+1 ~x8671+1 ~x8667+1 ~x8652+1 ~x8649+1 ~x8639+1 ~x8629+1 ~x7763+1 ~x7756+1 ~x6442+1 ~x6432+1 ~x6428+1 ~x6425+1 ~x6371+1 ~x5959+1 ~x5943+1 ~x5939+1 ~x5934+1 ~x5922+1 ~x5845+1 ~x5843+1 ~x5840+1 ~x5832+1 ~x4045+1 ~x4031+1 ~x4027+1 ~x4010+1 ~x3733+1 ~x3723+1 ~x3706+1 ~x3705+1 ~x3697-0=61 32.17/32.21 c 16 ~x455400+8 ~x455399+4 ~x455398+2 ~x455397+1 ~x455396+1 ~x8671+1 ~x8667+1 ~x8652+1 ~x8639+1 ~x8629+1 ~x7781+1 ~x7780+1 ~x7763+1 ~x6442+1 ~x6428+1 ~x6425+1 ~x6376+1 ~x6371+1 ~x5959+1 ~x5943+1 ~x5939+1 ~x5934+1 ~x5926+1 ~x5922+1 ~x5845+1 ~x5840+1 ~x5832+1 ~x4050+1 ~x4045+1 ~x4038+1 ~x4031+1 ~x4027+1 ~x4010+1 ~x3723+1 ~x3706+1 ~x3705-0=61 32.17/32.25 c 16 ~x456831+8 ~x456830+4 ~x456829+2 ~x456828+1 ~x456827+1 ~x8690+1 ~x8674+1 ~x8671+1 ~x8667+1 ~x8652+1 ~x8649+1 ~x8639+1 ~x8629+1 ~x6442+1 ~x6432+1 ~x6428+1 ~x6425+1 ~x6381+1 ~x6371+1 ~x5959+1 ~x5943+1 ~x5939+1 ~x5934+1 ~x5931+1 ~x5922+1 ~x5845+1 ~x5840+1 ~x5832+1 ~x4611+1 ~x4045+1 ~x4027+1 ~x4010+1 ~x3723+1 ~x3716+1 ~x3715+1 ~x3706+1 ~x3705-0=62 32.17/32.29 c 32 ~x458308+16 ~x458307+8 ~x458306+4 ~x458305+2 ~x458304+1 ~x458303+1 ~x8702+1 ~x8690+1 ~x8685+1 ~x8674+1 ~x8671+1 ~x8639+1 ~x8629+1 ~x7781+1 ~x7780+1 ~x6447+1 ~x6442+1 ~x6428+1 ~x6425+1 ~x6381+1 ~x6376+1 ~x5959+1 ~x5939+1 ~x5935+1 ~x5934+1 ~x5931+1 ~x5926+1 ~x5845+1 ~x5840+1 ~x5832+1 ~x4743+1 ~x4733+1 ~x4611+1 ~x4067+1 ~x4056+1 ~x4050+1 ~x4045+1 ~x4038+1 ~x4027+1 ~x4010+1 ~x3723+1 ~x3716+1 ~x3715-0=99 32.26/32.34 c 32 ~x460055+16 ~x460054+8 ~x460053+4 ~x460052+2 ~x460051+1 ~x460050+1 ~x8714+1 ~x8702+1 ~x8697+1 ~x8690+1 ~x8685+1 ~x8674+1 ~x8671+1 ~x8639+1 ~x8629+1 ~x6450+1 ~x6447+1 ~x6442+1 ~x6428+1 ~x6425+1 ~x6381+1 ~x5959+1 ~x5940+1 ~x5939+1 ~x5935+1 ~x5934+1 ~x5931+1 ~x5845+1 ~x5832+1 ~x4743+1 ~x4733+1 ~x4613+1 ~x4612+1 ~x4611+1 ~x4067+1 ~x4056+1 ~x4045+1 ~x4027+1 ~x4010+1 ~x3726+1 ~x3724+1 ~x3723+1 ~x3716+1 ~x3715-0=100 32.26/32.39 c 32 ~x461847+16 ~x461846+8 ~x461845+4 ~x461844+2 ~x461843+1 ~x461842+1 ~x8726+1 ~x8710+1 ~x8702+1 ~x8685+1 ~x8671+1 ~x8649+1 ~x8629+1 ~x6453+1 ~x6447+1 ~x6442+1 ~x6432+1 ~x6428+1 ~x6425+1 ~x5959+1 ~x5944+1 ~x5943+1 ~x5939+1 ~x5935+1 ~x5934+1 ~x5845+1 ~x5840+1 ~x5832+1 ~x4759+1 ~x4749+1 ~x4743+1 ~x4733+1 ~x4613+1 ~x4612+1 ~x4083+1 ~x4073+1 ~x4067+1 ~x4056+1 ~x4045+1 ~x4027+1 ~x4010+1 ~x3726+1 ~x3724+1 ~x3723-0=100 32.36/32.44 c 32 ~x463639+16 ~x463638+8 ~x463637+4 ~x463636+2 ~x463635+1 ~x463634+1 ~x8741+1 ~x8722+1 ~x8714+1 ~x8697+1 ~x8671+1 ~x8660+1 ~x8639+1 ~x6457+1 ~x6450+1 ~x6442+1 ~x6438+1 ~x6428+1 ~x5959+1 ~x5948+1 ~x5947+1 ~x5943+1 ~x5940+1 ~x5939+1 ~x5845+1 ~x5843+1 ~x5840+1 ~x5832+1 ~x4759+1 ~x4749+1 ~x4619+1 ~x4617+1 ~x4613+1 ~x4612+1 ~x4083+1 ~x4073+1 ~x4045+1 ~x4027+1 ~x3735+1 ~x3734+1 ~x3733+1 ~x3726+1 ~x3724+1 ~x3723-0=100 32.36/32.48 c 16 ~x465430+8 ~x465429+4 ~x465428+2 ~x465427+1 ~x465426+1 ~x8685+1 ~x8682+1 ~x8667+1 ~x8649+1 ~x8639+1 ~x7763+1 ~x7756+1 ~x6447+1 ~x6432+1 ~x6428+1 ~x5963+1 ~x5943+1 ~x5939+1 ~x5935+1 ~x5840+1 ~x5832+1 ~x4733+1 ~x4626+1 ~x4056+1 ~x4031+1 ~x4027+1 ~x3744+1 ~x3733+1 ~x3723+1 ~x3706+1 ~x3697-0=56 32.47/32.52 c 16 ~x466636+8 ~x466635+4 ~x466634+2 ~x466633+1 ~x466632+1 ~x8682+1 ~x8667+1 ~x8660+1 ~x8649+1 ~x8639+1 ~x7781+1 ~x7780+1 ~x7763+1 ~x6438+1 ~x6432+1 ~x6428+1 ~x6376+1 ~x5963+1 ~x5947+1 ~x5943+1 ~x5939+1 ~x5926+1 ~x5843+1 ~x5840+1 ~x5832+1 ~x4626+1 ~x4050+1 ~x4045+1 ~x4038+1 ~x4031+1 ~x4027+1 ~x3744+1 ~x3733+1 ~x3723+1 ~x3706-0=60 32.47/32.55 c 16 ~x468022+8 ~x468021+4 ~x468020+2 ~x468019+1 ~x468018+1 ~x8690+1 ~x8682+1 ~x8674+1 ~x8667+1 ~x8649+1 ~x8639+1 ~x7781+1 ~x7780+1 ~x6432+1 ~x6428+1 ~x6381+1 ~x6376+1 ~x5963+1 ~x5943+1 ~x5939+1 ~x5931+1 ~x5926+1 ~x5843+1 ~x5840+1 ~x5832+1 ~x4626+1 ~x4611+1 ~x4050+1 ~x4038+1 ~x4027+1 ~x3744+1 ~x3733+1 ~x3723+1 ~x3716+1 ~x3715+1 ~x3706-0=61 32.57/32.60 c 16 ~x469453+8 ~x469452+4 ~x469451+2 ~x469450+1 ~x469449+1 ~x8702+1 ~x8685+1 ~x8682+1 ~x8649+1 ~x8639+1 ~x7781+1 ~x7780+1 ~x6447+1 ~x6438+1 ~x6432+1 ~x6428+1 ~x6376+1 ~x5963+1 ~x5947+1 ~x5943+1 ~x5939+1 ~x5935+1 ~x5926+1 ~x5843+1 ~x5840+1 ~x5832+1 ~x4743+1 ~x4733+1 ~x4626+1 ~x4067+1 ~x4056+1 ~x4050+1 ~x4038+1 ~x4027+1 ~x3744+1 ~x3733+1 ~x3723-0=62 32.57/32.64 c 32 ~x470947+16 ~x470946+8 ~x470945+4 ~x470944+2 ~x470943+1 ~x470942+1 ~x8714+1 ~x8702+1 ~x8697+1 ~x8690+1 ~x8685+1 ~x8682+1 ~x8674+1 ~x8649+1 ~x8639+1 ~x6450+1 ~x6447+1 ~x6432+1 ~x6428+1 ~x6381+1 ~x5963+1 ~x5943+1 ~x5940+1 ~x5939+1 ~x5935+1 ~x5931+1 ~x5840+1 ~x5832+1 ~x4743+1 ~x4733+1 ~x4626+1 ~x4613+1 ~x4612+1 ~x4611+1 ~x4067+1 ~x4056+1 ~x4027+1 ~x3744+1 ~x3726+1 ~x3724+1 ~x3723+1 ~x3716+1 ~x3715-0=99 32.57/32.68 c 32 ~x472694+16 ~x472693+8 ~x472692+4 ~x472691+2 ~x472690+1 ~x472689+1 ~x8726+1 ~x8710+1 ~x8702+1 ~x8697+1 ~x8685+1 ~x8682+1 ~x8649+1 ~x8639+1 ~x6453+1 ~x6450+1 ~x6447+1 ~x6432+1 ~x6428+1 ~x5963+1 ~x5944+1 ~x5943+1 ~x5940+1 ~x5939+1 ~x5935+1 ~x5840+1 ~x5832+1 ~x4759+1 ~x4749+1 ~x4743+1 ~x4733+1 ~x4626+1 ~x4613+1 ~x4612+1 ~x4083+1 ~x4073+1 ~x4067+1 ~x4056+1 ~x4027+1 ~x3744+1 ~x3726+1 ~x3724+1 ~x3723-0=99 32.67/32.74 c 32 ~x474441+16 ~x474440+8 ~x474439+4 ~x474438+2 ~x474437+1 ~x474436+1 ~x8741+1 ~x8722+1 ~x8714+1 ~x8697+1 ~x8682+1 ~x8660+1 ~x8639+1 ~x6457+1 ~x6450+1 ~x6438+1 ~x6428+1 ~x5963+1 ~x5948+1 ~x5947+1 ~x5943+1 ~x5940+1 ~x5939+1 ~x5843+1 ~x5840+1 ~x5832+1 ~x4759+1 ~x4749+1 ~x4626+1 ~x4619+1 ~x4617+1 ~x4613+1 ~x4612+1 ~x4083+1 ~x4073+1 ~x4027+1 ~x3744+1 ~x3735+1 ~x3734+1 ~x3733+1 ~x3726+1 ~x3724+1 ~x3723-0=99 32.67/32.78 c 32 ~x476188+16 ~x476187+8 ~x476186+4 ~x476185+2 ~x476184+1 ~x476183+1 ~x8752+1 ~x8737+1 ~x8726+1 ~x8710+1 ~x8682+1 ~x8671+1 ~x8649+1 ~x6461+1 ~x6453+1 ~x6442+1 ~x6432+1 ~x5963+1 ~x5960+1 ~x5959+1 ~x5947+1 ~x5944+1 ~x5943+1 ~x5845+1 ~x5843+1 ~x5840+1 ~x4759+1 ~x4749+1 ~x4626+1 ~x4620+1 ~x4619+1 ~x4618+1 ~x4617+1 ~x4098+1 ~x4088+1 ~x4083+1 ~x4073+1 ~x4045+1 ~x4027+1 ~x3744+1 ~x3735+1 ~x3734+1 ~x3733-0=99 32.77/32.83 c 16 ~x477934+8 ~x477933+4 ~x477932+2 ~x477931+1 ~x477930+1 ~x8697+1 ~x8694+1 ~x8667+1 ~x8660+1 ~x8649+1 ~x7781+1 ~x7763+1 ~x6450+1 ~x6438+1 ~x6432+1 ~x5968+1 ~x5947+1 ~x5943+1 ~x5940+1 ~x5843+1 ~x5840+1 ~x4739+1 ~x4612+1 ~x4050+1 ~x4045+1 ~x4031+1 ~x4027+1 ~x3751+1 ~x3733+1 ~x3724+1 ~x3706-0=56 32.77/32.86 c 16 ~x479140+8 ~x479139+4 ~x479138+2 ~x479137+1 ~x479136+1 ~x8694+1 ~x8690+1 ~x8674+1 ~x8671+1 ~x8667+1 ~x8660+1 ~x8649+1 ~x7781+1 ~x6442+1 ~x6438+1 ~x6432+1 ~x6381+1 ~x5968+1 ~x5959+1 ~x5947+1 ~x5943+1 ~x5931+1 ~x5845+1 ~x5843+1 ~x5840+1 ~x4739+1 ~x4611+1 ~x4050+1 ~x4045+1 ~x4027+1 ~x3751+1 ~x3744+1 ~x3733+1 ~x3716+1 ~x3715+1 ~x3706-0=61 32.77/32.90 c 16 ~x480571+8 ~x480570+4 ~x480569+2 ~x480568+1 ~x480567+1 ~x8702+1 ~x8694+1 ~x8690+1 ~x8685+1 ~x8674+1 ~x8660+1 ~x8649+1 ~x7781+1 ~x6447+1 ~x6438+1 ~x6432+1 ~x6381+1 ~x5968+1 ~x5947+1 ~x5943+1 ~x5935+1 ~x5931+1 ~x5843+1 ~x5840+1 ~x4743+1 ~x4739+1 ~x4733+1 ~x4611+1 ~x4067+1 ~x4056+1 ~x4050+1 ~x4045+1 ~x4027+1 ~x3751+1 ~x3733+1 ~x3716+1 ~x3715-0=62 32.87/32.94 c 16 ~x482047+8 ~x482046+4 ~x482045+2 ~x482044+1 ~x482043+1 ~x8714+1 ~x8697+1 ~x8694+1 ~x8690+1 ~x8674+1 ~x8660+1 ~x8649+1 ~x6450+1 ~x6438+1 ~x6432+1 ~x6381+1 ~x5968+1 ~x5959+1 ~x5947+1 ~x5943+1 ~x5940+1 ~x5931+1 ~x5845+1 ~x5843+1 ~x5840+1 ~x4739+1 ~x4613+1 ~x4612+1 ~x4611+1 ~x4045+1 ~x4027+1 ~x3751+1 ~x3733+1 ~x3726+1 ~x3724+1 ~x3716+1 ~x3715-0=62 32.87/32.98 c 32 ~x483524+16 ~x483523+8 ~x483522+4 ~x483521+2 ~x483520+1 ~x483519+1 ~x8726+1 ~x8714+1 ~x8710+1 ~x8702+1 ~x8697+1 ~x8694+1 ~x8685+1 ~x8649+1 ~x6453+1 ~x6450+1 ~x6447+1 ~x6438+1 ~x6432+1 ~x5968+1 ~x5947+1 ~x5944+1 ~x5943+1 ~x5940+1 ~x5935+1 ~x5843+1 ~x5840+1 ~x4759+1 ~x4749+1 ~x4743+1 ~x4739+1 ~x4733+1 ~x4613+1 ~x4612+1 ~x4083+1 ~x4073+1 ~x4067+1 ~x4056+1 ~x4027+1 ~x3751+1 ~x3733+1 ~x3726+1 ~x3724-0=99 32.97/33.03 c 32 ~x485271+16 ~x485270+8 ~x485269+4 ~x485268+2 ~x485267+1 ~x485266+1 ~x8741+1 ~x8722+1 ~x8714+1 ~x8710+1 ~x8697+1 ~x8694+1 ~x8660+1 ~x8649+1 ~x6457+1 ~x6453+1 ~x6450+1 ~x6438+1 ~x6432+1 ~x5968+1 ~x5948+1 ~x5947+1 ~x5944+1 ~x5943+1 ~x5940+1 ~x5843+1 ~x5840+1 ~x4759+1 ~x4749+1 ~x4739+1 ~x4619+1 ~x4617+1 ~x4613+1 ~x4612+1 ~x4083+1 ~x4073+1 ~x4027+1 ~x3751+1 ~x3735+1 ~x3734+1 ~x3733+1 ~x3726+1 ~x3724-0=99 32.97/33.08 c 2048 ~x487024+1024 ~x487023+512 ~x487022+256 ~x487021+128 ~x487020+64 ~x487019+32 ~x487018+16 ~x487017+8 ~x487016+4 ~x487015+2 ~x487014+1 ~x487013+599 x4469+320 ~x1607+160 ~x1606+80 ~x1605+40 ~x1604+20 ~x1603+10 ~x1602+320 ~x1591+160 ~x1590+80 ~x1589+40 ~x1588+20 ~x1587+10 ~x1586+320 ~x1575+160 ~x1574+80 ~x1573+40 ~x1572+20 ~x1571+10 ~x1570+320 ~x1559+160 ~x1558+80 ~x1557+40 ~x1556+20 ~x1555+10 ~x1554-0=6615 33.07/33.16 c 32 ~x489987+16 ~x489986+8 ~x489985+4 ~x489984+2 ~x489983+1 ~x489982+1 ~x8752+1 ~x8737+1 ~x8726+1 ~x8710+1 ~x8694+1 ~x8671+1 ~x8649+1 ~x6461+1 ~x6453+1 ~x6442+1 ~x6432+1 ~x5968+1 ~x5960+1 ~x5959+1 ~x5947+1 ~x5944+1 ~x5943+1 ~x5845+1 ~x5843+1 ~x5840+1 ~x4759+1 ~x4749+1 ~x4739+1 ~x4620+1 ~x4619+1 ~x4618+1 ~x4617+1 ~x4098+1 ~x4088+1 ~x4083+1 ~x4073+1 ~x4045+1 ~x4027+1 ~x3751+1 ~x3735+1 ~x3734+1 ~x3733-0=99 33.17/33.21 c 32 ~x491734+16 ~x491733+8 ~x491732+4 ~x491731+2 ~x491730+1 ~x491729+1 ~x8763+1 ~x8748+1 ~x8741+1 ~x8722+1 ~x8694+1 ~x8682+1 ~x8660+1 ~x6457+1 ~x6438+1 ~x5968+1 ~x5964+1 ~x5963+1 ~x5959+1 ~x5948+1 ~x5947+1 ~x5845+1 ~x5843+1 ~x4739+1 ~x4628+1 ~x4627+1 ~x4626+1 ~x4620+1 ~x4619+1 ~x4618+1 ~x4617+1 ~x4098+1 ~x4088+1 ~x4045+1 ~x3751+1 ~x3746+1 ~x3745+1 ~x3744+1 ~x3735+1 ~x3734+1 ~x3733-0=97 33.17/33.25 c 16 ~x493390+8 ~x493389+4 ~x493388+2 ~x493387+1 ~x493386+1 ~x8710+1 ~x8706+1 ~x8690+1 ~x8671+1 ~x8667+1 ~x8660+1 ~x7781+1 ~x6453+1 ~x6442+1 ~x6438+1 ~x5972+1 ~x5959+1 ~x5947+1 ~x5944+1 ~x5856+1 ~x5845+1 ~x5843+1 ~x4749+1 ~x4746+1 ~x4611+1 ~x4073+1 ~x4050+1 ~x4045+1 ~x3757+1 ~x3733+1 ~x3716+1 ~x3706-0=57 33.17/33.29 c 32 ~x494642+16 ~x494641+8 ~x494640+4 ~x494639+2 ~x494638+1 ~x494637+1 ~x8706+1 ~x8702+1 ~x8690+1 ~x8685+1 ~x8682+1 ~x8671+1 ~x8660+1 ~x7781+1 ~x6447+1 ~x6442+1 ~x6438+1 ~x5972+1 ~x5963+1 ~x5959+1 ~x5947+1 ~x5935+1 ~x5856+1 ~x5845+1 ~x5843+1 ~x4746+1 ~x4743+1 ~x4733+1 ~x4626+1 ~x4611+1 ~x4067+1 ~x4056+1 ~x4050+1 ~x4045+1 ~x3757+1 ~x3751+1 ~x3744+1 ~x3733+1 ~x3716-0=95 33.27/33.34 c 32 ~x496209+16 ~x496208+8 ~x496207+4 ~x496206+2 ~x496205+1 ~x496204+1 ~x8714+1 ~x8706+1 ~x8697+1 ~x8690+1 ~x8685+1 ~x8671+1 ~x8660+1 ~x6450+1 ~x6447+1 ~x6442+1 ~x6438+1 ~x5972+1 ~x5959+1 ~x5947+1 ~x5940+1 ~x5935+1 ~x5856+1 ~x5845+1 ~x5843+1 ~x4746+1 ~x4743+1 ~x4733+1 ~x4613+1 ~x4612+1 ~x4611+1 ~x4067+1 ~x4056+1 ~x4045+1 ~x3757+1 ~x3733+1 ~x3726+1 ~x3724+1 ~x3716-0=95 33.27/33.38 c 32 ~x497776+16 ~x497775+8 ~x497774+4 ~x497773+2 ~x497772+1 ~x497771+1 ~x8726+1 ~x8710+1 ~x8706+1 ~x8702+1 ~x8685+1 ~x8671+1 ~x8660+1 ~x6453+1 ~x6447+1 ~x6442+1 ~x6438+1 ~x5972+1 ~x5959+1 ~x5947+1 ~x5944+1 ~x5935+1 ~x5856+1 ~x5845+1 ~x5843+1 ~x4759+1 ~x4749+1 ~x4746+1 ~x4743+1 ~x4733+1 ~x4626+1 ~x4083+1 ~x4073+1 ~x4067+1 ~x4056+1 ~x4045+1 ~x3757+1 ~x3744+1 ~x3733-0=95 33.36/33.42 c 32 ~x499343+16 ~x499342+8 ~x499341+4 ~x499340+2 ~x499339+1 ~x499338+1 ~x8741+1 ~x8726+1 ~x8722+1 ~x8714+1 ~x8710+1 ~x8706+1 ~x8697+1 ~x8660+1 ~x6457+1 ~x6453+1 ~x6450+1 ~x6442+1 ~x6438+1 ~x5972+1 ~x5959+1 ~x5948+1 ~x5947+1 ~x5944+1 ~x5940+1 ~x5856+1 ~x5845+1 ~x5843+1 ~x4759+1 ~x4749+1 ~x4746+1 ~x4619+1 ~x4617+1 ~x4613+1 ~x4612+1 ~x4083+1 ~x4073+1 ~x4045+1 ~x3757+1 ~x3735+1 ~x3734+1 ~x3733+1 ~x3726+1 ~x3724-0=100 33.36/33.47 c 32 ~x501135+16 ~x501134+8 ~x501133+4 ~x501132+2 ~x501131+1 ~x501130+1 ~x8752+1 ~x8737+1 ~x8726+1 ~x8722+1 ~x8710+1 ~x8706+1 ~x8671+1 ~x8660+1 ~x6461+1 ~x6457+1 ~x6453+1 ~x6442+1 ~x6438+1 ~x5972+1 ~x5960+1 ~x5959+1 ~x5948+1 ~x5947+1 ~x5944+1 ~x5856+1 ~x5845+1 ~x5843+1 ~x4759+1 ~x4749+1 ~x4746+1 ~x4620+1 ~x4619+1 ~x4618+1 ~x4617+1 ~x4098+1 ~x4088+1 ~x4083+1 ~x4073+1 ~x4045+1 ~x3757+1 ~x3735+1 ~x3734+1 ~x3733-0=100 33.47/33.52 c 32 ~x502927+16 ~x502926+8 ~x502925+4 ~x502924+2 ~x502923+1 ~x502922+1 ~x8763+1 ~x8748+1 ~x8741+1 ~x8722+1 ~x8706+1 ~x8682+1 ~x8660+1 ~x6457+1 ~x6438+1 ~x5972+1 ~x5964+1 ~x5963+1 ~x5959+1 ~x5948+1 ~x5947+1 ~x5856+1 ~x5845+1 ~x5843+1 ~x4746+1 ~x4628+1 ~x4627+1 ~x4626+1 ~x4620+1 ~x4619+1 ~x4618+1 ~x4617+1 ~x4098+1 ~x4088+1 ~x4045+1 ~x3757+1 ~x3746+1 ~x3745+1 ~x3744+1 ~x3735+1 ~x3734+1 ~x3733-0=98 33.47/33.57 c 32 ~x504629+16 ~x504628+8 ~x504627+4 ~x504626+2 ~x504625+1 ~x504624+1 ~x8774+1 ~x8759+1 ~x8752+1 ~x8737+1 ~x8706+1 ~x8694+1 ~x8671+1 ~x6461+1 ~x6442+1 ~x5972+1 ~x5969+1 ~x5968+1 ~x5963+1 ~x5960+1 ~x5959+1 ~x5856+1 ~x5845+1 ~x4794+1 ~x4781+1 ~x4746+1 ~x4739+1 ~x4628+1 ~x4627+1 ~x4626+1 ~x4620+1 ~x4618+1 ~x4098+1 ~x4088+1 ~x4045+1 ~x3757+1 ~x3753+1 ~x3752+1 ~x3751+1 ~x3746+1 ~x3745+1 ~x3744-0=98 33.57/33.62 c 16 ~x506375+8 ~x506374+4 ~x506373+2 ~x506372+1 ~x506371+1 ~x8722+1 ~x8718+1 ~x8702+1 ~x8690+1 ~x8682+1 ~x8671+1 ~x7781+1 ~x6457+1 ~x6442+1 ~x5976+1 ~x5963+1 ~x5959+1 ~x5948+1 ~x5857+1 ~x5845+1 ~x4754+1 ~x4743+1 ~x4626+1 ~x4617+1 ~x4611+1 ~x4067+1 ~x4050+1 ~x4045+1 ~x3764+1 ~x3744+1 ~x3734+1 ~x3716-0=57 33.57/33.65 c 32 ~x507627+16 ~x507626+8 ~x507625+4 ~x507624+2 ~x507623+1 ~x507622+1 ~x8718+1 ~x8714+1 ~x8702+1 ~x8697+1 ~x8694+1 ~x8690+1 ~x8682+1 ~x8671+1 ~x6450+1 ~x6442+1 ~x5976+1 ~x5968+1 ~x5963+1 ~x5959+1 ~x5940+1 ~x5857+1 ~x5845+1 ~x4754+1 ~x4743+1 ~x4739+1 ~x4626+1 ~x4613+1 ~x4612+1 ~x4611+1 ~x4067+1 ~x4045+1 ~x3764+1 ~x3757+1 ~x3751+1 ~x3744+1 ~x3726+1 ~x3724+1 ~x3716-0=95 33.67/33.70 c 32 ~x509194+16 ~x509193+8 ~x509192+4 ~x509191+2 ~x509190+1 ~x509189+1 ~x8726+1 ~x8718+1 ~x8710+1 ~x8702+1 ~x8697+1 ~x8682+1 ~x8671+1 ~x6453+1 ~x6450+1 ~x6442+1 ~x5976+1 ~x5963+1 ~x5959+1 ~x5944+1 ~x5940+1 ~x5857+1 ~x5845+1 ~x4759+1 ~x4754+1 ~x4749+1 ~x4743+1 ~x4626+1 ~x4613+1 ~x4612+1 ~x4083+1 ~x4073+1 ~x4067+1 ~x4045+1 ~x3764+1 ~x3751+1 ~x3744+1 ~x3726+1 ~x3724-0=95 33.67/33.74 c 32 ~x510761+16 ~x510760+8 ~x510759+4 ~x510758+2 ~x510757+1 ~x510756+1 ~x8741+1 ~x8722+1 ~x8718+1 ~x8714+1 ~x8697+1 ~x8682+1 ~x8671+1 ~x6457+1 ~x6450+1 ~x6442+1 ~x5976+1 ~x5968+1 ~x5963+1 ~x5959+1 ~x5948+1 ~x5940+1 ~x5857+1 ~x5845+1 ~x4754+1 ~x4739+1 ~x4626+1 ~x4619+1 ~x4617+1 ~x4613+1 ~x4612+1 ~x4045+1 ~x3764+1 ~x3751+1 ~x3744+1 ~x3735+1 ~x3734+1 ~x3726+1 ~x3724-0=95 33.67/33.79 c 32 ~x512328+16 ~x512327+8 ~x512326+4 ~x512325+2 ~x512324+1 ~x512323+1 ~x8752+1 ~x8741+1 ~x8737+1 ~x8726+1 ~x8722+1 ~x8718+1 ~x8710+1 ~x8682+1 ~x8671+1 ~x6461+1 ~x6457+1 ~x6453+1 ~x6442+1 ~x5976+1 ~x5963+1 ~x5960+1 ~x5959+1 ~x5948+1 ~x5944+1 ~x5857+1 ~x5845+1 ~x4759+1 ~x4754+1 ~x4749+1 ~x4626+1 ~x4620+1 ~x4619+1 ~x4618+1 ~x4617+1 ~x4098+1 ~x4088+1 ~x4083+1 ~x4073+1 ~x4045+1 ~x3764+1 ~x3744+1 ~x3735+1 ~x3734-0=100 33.76/33.83 c 32 ~x514120+16 ~x514119+8 ~x514118+4 ~x514117+2 ~x514116+1 ~x514115+1 ~x8763+1 ~x8748+1 ~x8741+1 ~x8737+1 ~x8722+1 ~x8718+1 ~x8682+1 ~x8671+1 ~x6461+1 ~x6457+1 ~x6442+1 ~x5976+1 ~x5964+1 ~x5963+1 ~x5960+1 ~x5959+1 ~x5948+1 ~x5857+1 ~x5845+1 ~x4754+1 ~x4628+1 ~x4627+1 ~x4626+1 ~x4620+1 ~x4619+1 ~x4618+1 ~x4617+1 ~x4098+1 ~x4088+1 ~x4045+1 ~x3764+1 ~x3746+1 ~x3745+1 ~x3744+1 ~x3735+1 ~x3734-0=98 33.76/33.88 c 32 ~x515822+16 ~x515821+8 ~x515820+4 ~x515819+2 ~x515818+1 ~x515817+1 ~x8774+1 ~x8759+1 ~x8752+1 ~x8737+1 ~x8718+1 ~x8694+1 ~x8671+1 ~x6461+1 ~x6442+1 ~x5976+1 ~x5969+1 ~x5968+1 ~x5963+1 ~x5960+1 ~x5959+1 ~x5857+1 ~x5845+1 ~x4794+1 ~x4781+1 ~x4754+1 ~x4739+1 ~x4628+1 ~x4627+1 ~x4626+1 ~x4620+1 ~x4618+1 ~x4098+1 ~x4088+1 ~x4045+1 ~x3764+1 ~x3753+1 ~x3752+1 ~x3751+1 ~x3746+1 ~x3745+1 ~x3744-0=98 33.86/33.93 c 32 ~x517524+16 ~x517523+8 ~x517522+4 ~x517521+2 ~x517520+1 ~x517519+1 ~x8785+1 ~x8770+1 ~x8763+1 ~x8748+1 ~x8718+1 ~x8706+1 ~x8694+1 ~x8682+1 ~x5976+1 ~x5973+1 ~x5972+1 ~x5969+1 ~x5968+1 ~x5964+1 ~x5963+1 ~x5857+1 ~x5856+1 ~x4806+1 ~x4794+1 ~x4790+1 ~x4781+1 ~x4754+1 ~x4746+1 ~x4739+1 ~x4628+1 ~x4627+1 ~x4626+1 ~x3764+1 ~x3760+1 ~x3759+1 ~x3757+1 ~x3753+1 ~x3752+1 ~x3751+1 ~x3746+1 ~x3745+1 ~x3744-0=99 33.86/33.97 c 16 ~x519270+8 ~x519269+4 ~x519268+2 ~x519267+1 ~x519266+1 ~x8737+1 ~x8714+1 ~x8702+1 ~x8694+1 ~x8690+1 ~x8682+1 ~x6461+1 ~x5981+1 ~x5968+1 ~x5963+1 ~x5960+1 ~x5860+1 ~x4763+1 ~x4743+1 ~x4739+1 ~x4626+1 ~x4618+1 ~x4613+1 ~x4611+1 ~x4088+1 ~x4067+1 ~x3770+1 ~x3757+1 ~x3751+1 ~x3744+1 ~x3726+1 ~x3716-0=57 33.86/34.01 c 16 ~x520521+8 ~x520520+4 ~x520519+2 ~x520518+1 ~x520517+1 ~x8726+1 ~x8714+1 ~x8710+1 ~x8706+1 ~x8702+1 ~x8694+1 ~x8682+1 ~x6453+1 ~x5981+1 ~x5972+1 ~x5968+1 ~x5963+1 ~x5944+1 ~x5860+1 ~x5856+1 ~x4763+1 ~x4759+1 ~x4749+1 ~x4746+1 ~x4743+1 ~x4739+1 ~x4626+1 ~x4613+1 ~x4083+1 ~x4073+1 ~x4067+1 ~x3770+1 ~x3764+1 ~x3757+1 ~x3751+1 ~x3744+1 ~x3726-0=62 33.98/34.09 c 16 ~x522042+8 ~x522041+4 ~x522040+2 ~x522039+1 ~x522038+1 ~x8741+1 ~x8722+1 ~x8714+1 ~x8710+1 ~x8694+1 ~x8682+1 ~x6457+1 ~x6453+1 ~x5981+1 ~x5968+1 ~x5963+1 ~x5948+1 ~x5944+1 ~x5860+1 ~x4763+1 ~x4759+1 ~x4749+1 ~x4746+1 ~x4739+1 ~x4626+1 ~x4619+1 ~x4617+1 ~x4613+1 ~x4083+1 ~x4073+1 ~x3770+1 ~x3757+1 ~x3751+1 ~x3744+1 ~x3735+1 ~x3734+1 ~x3726-0=62 34.07/34.12 c 16 ~x523518+8 ~x523517+4 ~x523516+2 ~x523515+1 ~x523514+1 ~x8752+1 ~x8737+1 ~x8726+1 ~x8710+1 ~x8694+1 ~x8682+1 ~x6461+1 ~x6453+1 ~x5981+1 ~x5972+1 ~x5968+1 ~x5963+1 ~x5960+1 ~x5944+1 ~x5860+1 ~x5856+1 ~x4763+1 ~x4759+1 ~x4749+1 ~x4746+1 ~x4739+1 ~x4626+1 ~x4620+1 ~x4618+1 ~x4098+1 ~x4088+1 ~x4083+1 ~x4073+1 ~x3770+1 ~x3757+1 ~x3751+1 ~x3744-0=62 34.07/34.17 c 32 ~x524995+16 ~x524994+8 ~x524993+4 ~x524992+2 ~x524991+1 ~x524990+1 ~x8763+1 ~x8752+1 ~x8748+1 ~x8741+1 ~x8737+1 ~x8722+1 ~x8694+1 ~x8682+1 ~x6461+1 ~x6457+1 ~x5981+1 ~x5968+1 ~x5964+1 ~x5963+1 ~x5960+1 ~x5948+1 ~x5860+1 ~x4763+1 ~x4739+1 ~x4628+1 ~x4627+1 ~x4626+1 ~x4620+1 ~x4619+1 ~x4618+1 ~x4617+1 ~x4098+1 ~x4088+1 ~x3770+1 ~x3751+1 ~x3746+1 ~x3745+1 ~x3744+1 ~x3735+1 ~x3734-0=97 34.17/34.22 c 32 ~x526652+16 ~x526651+8 ~x526650+4 ~x526649+2 ~x526648+1 ~x526647+1 ~x8774+1 ~x8763+1 ~x8759+1 ~x8752+1 ~x8748+1 ~x8737+1 ~x8694+1 ~x8682+1 ~x6461+1 ~x5981+1 ~x5969+1 ~x5968+1 ~x5964+1 ~x5963+1 ~x5960+1 ~x5860+1 ~x4794+1 ~x4781+1 ~x4763+1 ~x4739+1 ~x4628+1 ~x4627+1 ~x4626+1 ~x4620+1 ~x4618+1 ~x4098+1 ~x4088+1 ~x3770+1 ~x3757+1 ~x3753+1 ~x3752+1 ~x3751+1 ~x3746+1 ~x3745+1 ~x3744-0=97 34.17/34.26 c 32 ~x528309+16 ~x528308+8 ~x528307+4 ~x528306+2 ~x528305+1 ~x528304+1 ~x8785+1 ~x8770+1 ~x8763+1 ~x8748+1 ~x8706+1 ~x8694+1 ~x8682+1 ~x5981+1 ~x5973+1 ~x5972+1 ~x5969+1 ~x5968+1 ~x5964+1 ~x5963+1 ~x5860+1 ~x5856+1 ~x4806+1 ~x4794+1 ~x4790+1 ~x4781+1 ~x4763+1 ~x4746+1 ~x4739+1 ~x4628+1 ~x4627+1 ~x4626+1 ~x3770+1 ~x3760+1 ~x3759+1 ~x3757+1 ~x3753+1 ~x3752+1 ~x3751+1 ~x3746+1 ~x3745+1 ~x3744-0=98 34.27/34.31 c 32 ~x530011+16 ~x530010+8 ~x530009+4 ~x530008+2 ~x530007+1 ~x530006+1 ~x8795+1 ~x8781+1 ~x8774+1 ~x8759+1 ~x8718+1 ~x8694+1 ~x5981+1 ~x5977+1 ~x5976+1 ~x5973+1 ~x5972+1 ~x5969+1 ~x5968+1 ~x5860+1 ~x5857+1 ~x5856+1 ~x4816+1 ~x4806+1 ~x4801+1 ~x4794+1 ~x4790+1 ~x4781+1 ~x4763+1 ~x4754+1 ~x4746+1 ~x4739+1 ~x3770+1 ~x3766+1 ~x3765+1 ~x3764+1 ~x3760+1 ~x3759+1 ~x3757+1 ~x3753+1 ~x3752+1 ~x3751-0=98 34.27/34.36 c 16 ~x531712+8 ~x531711+4 ~x531710+2 ~x531709+1 ~x531708+1 ~x8748+1 ~x8726+1 ~x8714+1 ~x8706+1 ~x8702+1 ~x8694+1 ~x5985+1 ~x5972+1 ~x5968+1 ~x5964+1 ~x5868+1 ~x5856+1 ~x4771+1 ~x4759+1 ~x4746+1 ~x4743+1 ~x4739+1 ~x4627+1 ~x4613+1 ~x4083+1 ~x4067+1 ~x3779+1 ~x3764+1 ~x3757+1 ~x3751+1 ~x3745+1 ~x3726-0=57 34.27/34.39 c 16 ~x532963+8 ~x532962+4 ~x532961+2 ~x532960+1 ~x532959+1 ~x8741+1 ~x8726+1 ~x8722+1 ~x8718+1 ~x8714+1 ~x8706+1 ~x8694+1 ~x6457+1 ~x5985+1 ~x5976+1 ~x5972+1 ~x5968+1 ~x5948+1 ~x5868+1 ~x5857+1 ~x5856+1 ~x4771+1 ~x4759+1 ~x4754+1 ~x4746+1 ~x4739+1 ~x4619+1 ~x4617+1 ~x4613+1 ~x4083+1 ~x3779+1 ~x3764+1 ~x3757+1 ~x3751+1 ~x3735+1 ~x3734+1 ~x3726-0=62 34.36/34.43 c 16 ~x534439+8 ~x534438+4 ~x534437+2 ~x534436+1 ~x534435+1 ~x8752+1 ~x8737+1 ~x8726+1 ~x8722+1 ~x8706+1 ~x8694+1 ~x6461+1 ~x6457+1 ~x5985+1 ~x5972+1 ~x5968+1 ~x5960+1 ~x5948+1 ~x5868+1 ~x5856+1 ~x4771+1 ~x4759+1 ~x4746+1 ~x4739+1 ~x4620+1 ~x4619+1 ~x4618+1 ~x4617+1 ~x4098+1 ~x4088+1 ~x4083+1 ~x3779+1 ~x3764+1 ~x3757+1 ~x3751+1 ~x3735+1 ~x3734-0=62 34.36/34.47 c 16 ~x535915+8 ~x535914+4 ~x535913+2 ~x535912+1 ~x535911+1 ~x8763+1 ~x8748+1 ~x8741+1 ~x8722+1 ~x8706+1 ~x8694+1 ~x6457+1 ~x5985+1 ~x5972+1 ~x5968+1 ~x5964+1 ~x5948+1 ~x5868+1 ~x5857+1 ~x5856+1 ~x4771+1 ~x4754+1 ~x4746+1 ~x4739+1 ~x4628+1 ~x4627+1 ~x4619+1 ~x4617+1 ~x3779+1 ~x3764+1 ~x3757+1 ~x3751+1 ~x3746+1 ~x3745+1 ~x3735+1 ~x3734-0=61 34.46/34.51 c 32 ~x537392+16 ~x537391+8 ~x537390+4 ~x537389+2 ~x537388+1 ~x537387+1 ~x8774+1 ~x8763+1 ~x8759+1 ~x8752+1 ~x8748+1 ~x8737+1 ~x8706+1 ~x8694+1 ~x6461+1 ~x5985+1 ~x5972+1 ~x5969+1 ~x5968+1 ~x5964+1 ~x5960+1 ~x5868+1 ~x5856+1 ~x4794+1 ~x4781+1 ~x4771+1 ~x4746+1 ~x4739+1 ~x4628+1 ~x4627+1 ~x4620+1 ~x4618+1 ~x4098+1 ~x4088+1 ~x3779+1 ~x3757+1 ~x3753+1 ~x3752+1 ~x3751+1 ~x3746+1 ~x3745-0=97 34.46/34.56 c 32 ~x539049+16 ~x539048+8 ~x539047+4 ~x539046+2 ~x539045+1 ~x539044+1 ~x8785+1 ~x8774+1 ~x8770+1 ~x8763+1 ~x8759+1 ~x8748+1 ~x8706+1 ~x8694+1 ~x5985+1 ~x5973+1 ~x5972+1 ~x5969+1 ~x5968+1 ~x5964+1 ~x5868+1 ~x5856+1 ~x4806+1 ~x4794+1 ~x4790+1 ~x4781+1 ~x4771+1 ~x4754+1 ~x4746+1 ~x4739+1 ~x4628+1 ~x4627+1 ~x3779+1 ~x3764+1 ~x3760+1 ~x3759+1 ~x3757+1 ~x3753+1 ~x3752+1 ~x3751+1 ~x3746+1 ~x3745-0=98 34.56/34.61 c 32 ~x540751+16 ~x540750+8 ~x540749+4 ~x540748+2 ~x540747+1 ~x540746+1 ~x8795+1 ~x8781+1 ~x8774+1 ~x8759+1 ~x8718+1 ~x8694+1 ~x5985+1 ~x5977+1 ~x5976+1 ~x5973+1 ~x5972+1 ~x5969+1 ~x5968+1 ~x5868+1 ~x5857+1 ~x5856+1 ~x4816+1 ~x4806+1 ~x4801+1 ~x4794+1 ~x4790+1 ~x4781+1 ~x4771+1 ~x4754+1 ~x4746+1 ~x4739+1 ~x3779+1 ~x3766+1 ~x3765+1 ~x3764+1 ~x3760+1 ~x3759+1 ~x3757+1 ~x3753+1 ~x3752+1 ~x3751-0=98 34.56/34.66 c 32 ~x542453+16 ~x542452+8 ~x542451+4 ~x542450+2 ~x542449+1 ~x542448+1 ~x8785+1 ~x8770+1 ~x8706+1 ~x5985+1 ~x5982+1 ~x5981+1 ~x5976+1 ~x5973+1 ~x5972+1 ~x5868+1 ~x5860+1 ~x5857+1 ~x5856+1 ~x4822+1 ~x4816+1 ~x4812+1 ~x4806+1 ~x4801+1 ~x4790+1 ~x4771+1 ~x4763+1 ~x4754+1 ~x4746+1 ~x3779+1 ~x3772+1 ~x3771+1 ~x3770+1 ~x3766+1 ~x3765+1 ~x3764+1 ~x3760+1 ~x3759+1 ~x3757-0=95 34.66/34.70 c 16 ~x544019+8 ~x544018+4 ~x544017+2 ~x544016+1 ~x544015+1 ~x8759+1 ~x8741+1 ~x8726+1 ~x8718+1 ~x8714+1 ~x8706+1 ~x5990+1 ~x5976+1 ~x5972+1 ~x5969+1 ~x5857+1 ~x5856+1 ~x4781+1 ~x4778+1 ~x4759+1 ~x4754+1 ~x4746+1 ~x4619+1 ~x4613+1 ~x4083+1 ~x3785+1 ~x3764+1 ~x3757+1 ~x3752+1 ~x3735+1 ~x3726-0=56 34.66/34.73 c 16 ~x545225+8 ~x545224+4 ~x545223+2 ~x545222+1 ~x545221+1 ~x8752+1 ~x8741+1 ~x8737+1 ~x8726+1 ~x8718+1 ~x8706+1 ~x6461+1 ~x5990+1 ~x5981+1 ~x5976+1 ~x5972+1 ~x5960+1 ~x5860+1 ~x5857+1 ~x5856+1 ~x4778+1 ~x4763+1 ~x4759+1 ~x4754+1 ~x4746+1 ~x4620+1 ~x4619+1 ~x4618+1 ~x4098+1 ~x4088+1 ~x4083+1 ~x3785+1 ~x3770+1 ~x3764+1 ~x3757+1 ~x3735-0=61 34.66/34.77 c 16 ~x546656+8 ~x546655+4 ~x546654+2 ~x546653+1 ~x546652+1 ~x8763+1 ~x8748+1 ~x8741+1 ~x8737+1 ~x8718+1 ~x8706+1 ~x6461+1 ~x5990+1 ~x5976+1 ~x5972+1 ~x5964+1 ~x5960+1 ~x5857+1 ~x5856+1 ~x4778+1 ~x4754+1 ~x4746+1 ~x4628+1 ~x4627+1 ~x4620+1 ~x4619+1 ~x4618+1 ~x4098+1 ~x4088+1 ~x3785+1 ~x3764+1 ~x3757+1 ~x3746+1 ~x3745+1 ~x3735-0=60 34.76/34.81 c 16 ~x548042+8 ~x548041+4 ~x548040+2 ~x548039+1 ~x548038+1 ~x8774+1 ~x8759+1 ~x8752+1 ~x8737+1 ~x8718+1 ~x8706+1 ~x6461+1 ~x5990+1 ~x5976+1 ~x5972+1 ~x5969+1 ~x5960+1 ~x5857+1 ~x5856+1 ~x4794+1 ~x4781+1 ~x4778+1 ~x4763+1 ~x4754+1 ~x4746+1 ~x4620+1 ~x4618+1 ~x4098+1 ~x4088+1 ~x3785+1 ~x3770+1 ~x3764+1 ~x3757+1 ~x3753+1 ~x3752-0=60 34.76/34.85 c 32 ~x549429+16 ~x549428+8 ~x549427+4 ~x549426+2 ~x549425+1 ~x549424+1 ~x8785+1 ~x8774+1 ~x8770+1 ~x8763+1 ~x8759+1 ~x8748+1 ~x8718+1 ~x8706+1 ~x5990+1 ~x5976+1 ~x5973+1 ~x5972+1 ~x5969+1 ~x5964+1 ~x5857+1 ~x5856+1 ~x4806+1 ~x4794+1 ~x4790+1 ~x4781+1 ~x4778+1 ~x4754+1 ~x4746+1 ~x4628+1 ~x4627+1 ~x3785+1 ~x3770+1 ~x3764+1 ~x3760+1 ~x3759+1 ~x3757+1 ~x3753+1 ~x3752+1 ~x3746+1 ~x3745-0=97 34.87/34.90 c 32 ~x551086+16 ~x551085+8 ~x551084+4 ~x551083+2 ~x551082+1 ~x551081+1 ~x8795+1 ~x8785+1 ~x8781+1 ~x8774+1 ~x8770+1 ~x8759+1 ~x8718+1 ~x8706+1 ~x5990+1 ~x5977+1 ~x5976+1 ~x5973+1 ~x5972+1 ~x5969+1 ~x5857+1 ~x5856+1 ~x4816+1 ~x4806+1 ~x4801+1 ~x4794+1 ~x4790+1 ~x4781+1 ~x4778+1 ~x4754+1 ~x4746+1 ~x3785+1 ~x3770+1 ~x3766+1 ~x3765+1 ~x3764+1 ~x3760+1 ~x3759+1 ~x3757+1 ~x3753+1 ~x3752-0=97 34.87/34.94 c 16 ~x552823+8 ~x552822+4 ~x552821+2 ~x552820+1 ~x552819+1 ~x8785+1 ~x8770+1 ~x8706+1 ~x5990+1 ~x5982+1 ~x5981+1 ~x5976+1 ~x5973+1 ~x5972+1 ~x5860+1 ~x5857+1 ~x5856+1 ~x4822+1 ~x4816+1 ~x4812+1 ~x4806+1 ~x4801+1 ~x4790+1 ~x4778+1 ~x4763+1 ~x4754+1 ~x4746+1 ~x3785+1 ~x3772+1 ~x3771+1 ~x3770+1 ~x3766+1 ~x3765+1 ~x3764+1 ~x3760+1 ~x3759+1 ~x3757-0=62 34.87/34.98 c 16 ~x554299+8 ~x554298+4 ~x554297+2 ~x554296+1 ~x554295+1 ~x8795+1 ~x8781+1 ~x8718+1 ~x5990+1 ~x5986+1 ~x5985+1 ~x5981+1 ~x5977+1 ~x5976+1 ~x5868+1 ~x5860+1 ~x5857+1 ~x4828+1 ~x4822+1 ~x4820+1 ~x4816+1 ~x4812+1 ~x4801+1 ~x4778+1 ~x4771+1 ~x4763+1 ~x4754+1 ~x3785+1 ~x3782+1 ~x3781+1 ~x3779+1 ~x3772+1 ~x3771+1 ~x3770+1 ~x3766+1 ~x3765+1 ~x3764-0=62 34.97/35.03 c 16 ~x555775+8 ~x555774+4 ~x555773+2 ~x555772+1 ~x555771+1 ~x8770+1 ~x8752+1 ~x8741+1 ~x8726+1 ~x8718+1 ~x5994+1 ~x5981+1 ~x5976+1 ~x5973+1 ~x5860+1 ~x5857+1 ~x4790+1 ~x4788+1 ~x4763+1 ~x4759+1 ~x4754+1 ~x4620+1 ~x4619+1 ~x4098+1 ~x4083+1 ~x3795+1 ~x3779+1 ~x3770+1 ~x3764+1 ~x3759+1 ~x3735-0=56 34.97/35.06 c 16 ~x556981+8 ~x556980+4 ~x556979+2 ~x556978+1 ~x556977+1 ~x8763+1 ~x8752+1 ~x8748+1 ~x8741+1 ~x8718+1 ~x5994+1 ~x5985+1 ~x5981+1 ~x5976+1 ~x5964+1 ~x5868+1 ~x5860+1 ~x5857+1 ~x4788+1 ~x4771+1 ~x4763+1 ~x4754+1 ~x4628+1 ~x4627+1 ~x4620+1 ~x4619+1 ~x4098+1 ~x3795+1 ~x3785+1 ~x3779+1 ~x3770+1 ~x3764+1 ~x3746+1 ~x3745+1 ~x3735-0=60 34.97/35.09 c 16 ~x558367+8 ~x558366+4 ~x558365+2 ~x558364+1 ~x558363+1 ~x8774+1 ~x8763+1 ~x8759+1 ~x8752+1 ~x8748+1 ~x8718+1 ~x5994+1 ~x5981+1 ~x5976+1 ~x5969+1 ~x5964+1 ~x5860+1 ~x5857+1 ~x4794+1 ~x4788+1 ~x4781+1 ~x4763+1 ~x4754+1 ~x4628+1 ~x4627+1 ~x4620+1 ~x4098+1 ~x3795+1 ~x3779+1 ~x3
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-2674049-1276793450/watcher-2674049-1276793450 -o /tmp/evaluation-result-2674049-1276793450/solver-2674049-1276793450 -C 1800 -W 2000 -M 1800 run HOME/instance-2674049-1276793450.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.92 0.98 0.99 3/106 22788 /proc/meminfo: memFree=1668216/2059040 swapFree=4168596/4192956 [pid=22788] ppid=22786 vsize=8700 CPUtime=0 /proc/22788/stat : 22788 (run) S 22786 22788 22346 0 -1 4202496 391 134 0 0 0 0 0 0 20 0 1 0 20635930 8908800 251 1992294400 4194304 4922060 140734200120496 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22788/statm: 2175 251 211 178 0 68 0 [startup+0.0126071 s] /proc/loadavg: 0.92 0.98 0.99 3/106 22788 /proc/meminfo: memFree=1668216/2059040 swapFree=4168596/4192956 [pid=22788] ppid=22786 vsize=8700 CPUtime=0 /proc/22788/stat : 22788 (run) S 22786 22788 22346 0 -1 4202496 391 134 0 0 0 0 0 0 20 0 1 0 20635930 8908800 251 1992294400 4194304 4922060 140734200120496 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22788/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100598 s] /proc/loadavg: 0.92 0.98 0.99 3/106 22788 /proc/meminfo: memFree=1668216/2059040 swapFree=4168596/4192956 [pid=22788] ppid=22786 vsize=8700 CPUtime=0 /proc/22788/stat : 22788 (run) S 22786 22788 22346 0 -1 4202496 391 134 0 0 0 0 0 0 20 0 1 0 20635930 8908800 251 1992294400 4194304 4922060 140734200120496 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22788/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.30063 s] /proc/loadavg: 0.92 0.98 0.99 3/106 22788 /proc/meminfo: memFree=1668216/2059040 swapFree=4168596/4192956 [pid=22788] ppid=22786 vsize=8700 CPUtime=0 /proc/22788/stat : 22788 (run) S 22786 22788 22346 0 -1 4202496 391 134 0 0 0 0 0 0 20 0 1 0 20635930 8908800 251 1992294400 4194304 4922060 140734200120496 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22788/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700697 s] /proc/loadavg: 0.92 0.98 0.99 3/106 22788 /proc/meminfo: memFree=1668216/2059040 swapFree=4168596/4192956 [pid=22788] ppid=22786 vsize=8700 CPUtime=0 /proc/22788/stat : 22788 (run) S 22786 22788 22346 0 -1 4202496 391 134 0 0 0 0 0 0 20 0 1 0 20635930 8908800 251 1992294400 4194304 4922060 140734200120496 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22788/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50083 s] /proc/loadavg: 0.92 0.98 0.99 2/108 22791 /proc/meminfo: memFree=1471288/2059040 swapFree=4168596/4192956 [pid=22788] ppid=22786 vsize=8700 CPUtime=0 /proc/22788/stat : 22788 (run) S 22786 22788 22346 0 -1 4202496 391 134 0 0 0 0 0 0 20 0 1 0 20635930 8908800 251 1992294400 4194304 4922060 140734200120496 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22788/statm: 2175 251 211 178 0 68 0 [pid=22790] ppid=22788 vsize=289188 CPUtime=1.48 /proc/22790/stat : 22790 (PBPASSolver) R 22788 22788 22346 0 -1 4202496 71733 0 0 0 57 91 0 0 25 0 1 0 20635931 296128512 71670 1992294400 134512640 134902295 4290568176 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22790/statm: 72297 71670 256 96 0 71509 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 297888 [startup+3.10109 s] /proc/loadavg: 0.92 0.98 0.99 2/108 22793 /proc/meminfo: memFree=1280452/2059040 swapFree=4168596/4192956 [pid=22788] ppid=22786 vsize=8700 CPUtime=0 /proc/22788/stat : 22788 (run) S 22786 22788 22346 0 -1 4202496 391 134 0 0 0 0 0 0 20 0 1 0 20635930 8908800 251 1992294400 4194304 4922060 140734200120496 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22788/statm: 2175 251 211 178 0 68 0 [pid=22790] ppid=22788 vsize=548260 CPUtime=3.09 /proc/22790/stat : 22790 (PBPASSolver) R 22788 22788 22346 0 -1 4202496 136537 0 0 0 131 178 0 0 25 0 1 0 20635931 561418240 136474 1992294400 134512640 134902295 4290568176 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22790/statm: 137065 136474 256 96 0 136277 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 556960 [startup+6.30063 s] /proc/loadavg: 0.93 0.98 0.99 2/108 22793 /proc/meminfo: memFree=791892/2059040 swapFree=4168596/4192956 [pid=22788] ppid=22786 vsize=8700 CPUtime=0 /proc/22788/stat : 22788 (run) S 22786 22788 22346 0 -1 4202496 391 134 0 0 0 0 0 0 20 0 1 0 20635930 8908800 251 1992294400 4194304 4922060 140734200120496 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22788/statm: 2175 251 211 178 0 68 0 [pid=22790] ppid=22788 vsize=995268 CPUtime=6.28 /proc/22790/stat : 22790 (PBPASSolver) R 22788 22788 22346 0 -1 4202496 248312 0 0 0 304 324 0 0 25 0 1 0 20635931 1019154432 248249 1992294400 134512640 134902295 4290568176 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22790/statm: 248817 248249 256 96 0 248029 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1003968 [startup+12.7007 s] /proc/loadavg: 0.93 0.98 0.99 2/108 22793 /proc/meminfo: memFree=87572/2059040 swapFree=4168596/4192956 [pid=22788] ppid=22786 vsize=8700 CPUtime=0 /proc/22788/stat : 22788 (run) S 22786 22788 22346 0 -1 4202496 391 134 0 0 0 0 0 0 20 0 1 0 20635930 8908800 251 1992294400 4194304 4922060 140734200120496 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22788/statm: 2175 251 211 178 0 68 0 [pid=22790] ppid=22788 vsize=1583236 CPUtime=12.69 /proc/22790/stat : 22790 (PBPASSolver) R 22788 22788 22346 0 -1 4202496 397456 0 0 0 760 509 0 0 25 0 1 0 20635931 1621233664 395225 1992294400 134512640 134902295 4290568176 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22790/statm: 395809 395225 262 96 0 395021 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1591936 [startup+25.5008 s] /proc/loadavg: 0.95 0.98 0.99 2/108 22793 /proc/meminfo: memFree=9864/2059040 swapFree=4140256/4192956 [pid=22788] ppid=22786 vsize=8700 CPUtime=0 /proc/22788/stat : 22788 (run) S 22786 22788 22346 0 -1 4202496 391 134 0 0 0 0 0 0 20 0 1 0 20635930 8908800 251 1992294400 4194304 4922060 140734200120496 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22788/statm: 2175 251 211 178 0 68 0 [pid=22790] ppid=22788 vsize=1709548 CPUtime=25.47 /proc/22790/stat : 22790 (PBPASSolver) R 22788 22788 22346 0 -1 4202496 433818 0 0 0 2022 525 0 0 25 0 1 0 20635931 1750577152 426049 1992294400 134512640 134902295 4290568176 18446744073709551615 134519405 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22790/statm: 427387 426049 262 96 0 426599 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 1718248 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+35.1014 s] /proc/loadavg: 0.95 0.98 0.99 2/108 22793 /proc/meminfo: memFree=9272/2059040 swapFree=4140256/4192956 [pid=22788] ppid=22786 vsize=8700 CPUtime=0 /proc/22788/stat : 22788 (run) S 22786 22788 22346 0 -1 4202496 391 134 0 0 0 0 0 0 20 0 1 0 20635930 8908800 251 1992294400 4194304 4922060 140734200120496 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22788/statm: 2175 251 211 178 0 68 0 [pid=22790] ppid=22788 vsize=1835200 CPUtime=35.08 /proc/22790/stat : 22790 (PBPASSolver) R 22788 22788 22346 0 -1 4202496 467686 0 0 0 2967 541 0 0 25 0 1 0 20635931 1879244800 454903 1992294400 134512640 134902295 4290568176 18446744073709551615 4160616807 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22790/statm: 458800 454903 262 96 0 458012 0 Current children cumulated CPU time (s) 35.08 Current children cumulated vsize (KiB) 1843900 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+35.1014 s] /proc/loadavg: 0.95 0.98 0.99 2/108 22793 /proc/meminfo: memFree=9272/2059040 swapFree=4140256/4192956 [pid=22788] ppid=22786 vsize=8700 CPUtime=0 /proc/22788/stat : 22788 (run) S 22786 22788 22346 0 -1 4202496 391 134 0 0 0 0 0 0 20 0 1 0 20635930 8908800 251 1992294400 4194304 4922060 140734200120496 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22788/statm: 2175 251 211 178 0 68 0 [pid=22790] ppid=22788 vsize=1835200 CPUtime=35.08 /proc/22790/stat : 22790 (PBPASSolver) R 22788 22788 22346 0 -1 4202496 467686 0 0 0 2967 541 0 0 25 0 1 0 20635931 1879244800 454903 1992294400 134512640 134902295 4290568176 18446744073709551615 4160616807 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22790/statm: 458800 454903 262 96 0 458012 0 Current children cumulated CPU time (s) 35.08 Current children cumulated vsize (KiB) 1843900 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 22788 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1999 # CPU time returned by wait4() is 0.002998 # while last known CPU time is 35.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 35.1337 CPU time (s): 35.08 CPU user time (s): 29.67 CPU system time (s): 5.41 CPU usage (%): 99.847 Max. virtual memory (cumulated for all children) (KiB): 1843900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000999 system time used= 0.001999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 525 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 3 runsolver used 0.06499 second user time and 0.200969 second system time The end
Begin job on node055 at 2010-06-17 18:50:50 IDJOB=2674049 IDBENCH=1875 IDSOLVER=1174 FILE ID=node055/2674049-1276793450 PBS_JOBID= 11176594 Free space on /tmp= 62468 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674049-1276793450/watcher-2674049-1276793450 -o /tmp/evaluation-result-2674049-1276793450/solver-2674049-1276793450 -C 1800 -W 2000 -M 1800 run HOME/instance-2674049-1276793450.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9 RANDOM SEED=1224018448 node055.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.258 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.51 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.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1668736 kB Buffers: 136728 kB Cached: 146920 kB SwapCached: 1504 kB Active: 118552 kB Inactive: 201624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1668736 kB SwapTotal: 4192956 kB SwapFree: 4168596 kB Dirty: 2020 kB Writeback: 0 kB AnonPages: 34888 kB Mapped: 15004 kB Slab: 48284 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183204 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= 62468 MiB End job on node055 at 2010-06-17 18:51:27