Trace number 458447

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
PBS4_v2 2007-03-23SAT (TO)35 1800.13 1800.53

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran17x17.opb
MD5SUMeacfeaf84791543db8ee3be1e77f11f6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark35
Best CPU time to get the best result obtained on this benchmark1012.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 35
Optimality of the best value was proved YES
Number of variables8959
Total number of constraints323
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints323
Minimum length of a constraint31
Maximum length of a constraint510
Number of terms in the objective function 8959
Biggest coefficient in the objective function 1746
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 531501
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 531501
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/458447-1178623789/instance-458447-1178623789.opb ......
0.68/0.75	c done parsing opb.
0.68/0.75	o 183
0.79/0.82	o 160
0.79/0.88	o 159
0.89/0.95	o 158
0.99/1.02	o 157
0.99/1.08	o 156
1.09/1.15	o 155
1.19/1.21	o 154
1.19/1.28	o 153
1.29/1.35	o 152
1.38/1.41	o 151
1.38/1.48	o 150
1.48/1.54	o 149
1.59/1.61	o 148
1.59/1.67	o 147
1.69/1.74	o 146
1.79/1.80	o 145
1.79/1.87	o 144
1.88/1.93	o 143
1.88/1.99	o 142
1.98/2.06	o 141
2.10/2.12	o 140
2.10/2.19	o 139
2.19/2.25	o 138
2.29/2.32	o 137
2.29/2.38	o 136
2.39/2.44	o 135
2.48/2.51	o 134
2.48/2.57	o 133
2.58/2.63	o 132
2.58/2.70	o 131
2.69/2.76	o 130
2.79/2.82	o 129
2.79/2.88	o 128
2.89/2.95	o 127
2.99/3.01	o 126
2.99/3.07	o 125
3.08/3.13	o 124
3.08/3.20	o 123
3.08/3.26	o 122
3.29/3.32	o 121
3.29/3.38	o 120
3.39/3.45	o 119
3.48/3.51	o 118
3.48/3.57	o 117
3.59/3.63	o 116
3.59/3.69	o 115
3.69/3.75	o 114
3.78/3.81	o 113
3.78/3.88	o 112
3.88/3.94	o 111
3.99/4.00	o 110
3.99/4.06	o 109
4.09/4.12	o 108
4.09/4.18	o 107
4.18/4.24	o 106
4.29/4.30	o 105
4.29/4.36	o 104
4.40/4.42	o 103
4.40/4.48	o 102
4.49/4.53	o 101
4.49/4.59	o 100
4.59/4.65	o 99
4.69/4.71	o 98
4.69/4.77	o 97
4.78/4.83	o 96
4.78/4.89	o 95
4.89/4.95	o 94
4.99/5.00	o 93
4.99/5.06	o 92
5.09/5.12	o 91
5.09/5.18	o 90
5.19/5.24	o 89
5.19/5.29	o 88
5.29/5.35	o 87
5.39/5.41	o 86
5.39/5.47	o 85
5.49/5.52	o 84
5.49/5.58	o 83
5.59/5.64	o 82
5.59/5.69	o 81
5.68/5.75	o 80
5.79/5.81	o 79
5.79/5.86	o 78
5.89/5.92	o 77
5.89/5.98	o 76
5.98/6.03	o 75
5.98/6.09	o 74
6.09/6.15	o 73
6.19/6.20	o 72
6.19/6.26	o 71
6.29/6.31	o 70
6.29/6.37	o 69
6.38/6.42	o 68
6.38/6.48	o 67
6.49/6.53	o 66
6.49/6.59	o 65
6.59/6.64	o 64
6.69/6.70	o 63
6.69/6.75	o 62
6.79/6.81	o 61
6.79/6.86	o 60
6.89/6.92	o 59
6.89/6.97	o 58
6.99/7.03	o 57
6.99/7.08	o 56
7.08/7.13	o 55
7.08/7.19	o 54
7.18/7.24	o 53
7.18/7.29	o 52
7.28/7.34	o 51
7.28/7.39	o 50
7.38/7.45	o 49
7.38/7.50	o 48
7.48/7.55	o 47
7.48/7.60	o 46
7.59/7.65	o 45
7.59/7.70	o 44
7.69/7.75	o 43
7.79/7.80	o 42
7.79/7.85	o 41
7.89/7.90	o 40
7.89/7.95	o 39
7.99/8.00	o 38
7.99/8.05	o 37
8.09/8.10	o 36
610.95/611.12	o 35
1800.10/1800.50	s SATISFIABLE
1800.10/1800.50	v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013
1800.10/1800.50	v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029
1800.10/1800.50	v -x103 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045
1800.10/1800.50	v -x1046 -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061
1800.10/1800.50	v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077
1800.10/1800.50	v -x1078 -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093
1800.10/1800.50	v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109
1800.10/1800.50	v -x111 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125
1800.10/1800.50	v -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141
1800.10/1800.50	v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157
1800.10/1800.50	v -x1158 -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173
1800.10/1800.50	v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189
1800.10/1800.50	v -x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204
1800.10/1800.50	v -x1205 -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220
1800.10/1800.50	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236
1800.10/1800.50	v -x1237 -x1238 -x1239 -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252
1800.10/1800.50	v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268
1800.10/1800.50	v -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284
1800.10/1800.50	v -x1285 -x1286 -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130
1800.10/1800.50	v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315
1800.10/1800.50	v -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331
1800.10/1800.50	v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347
1800.10/1800.50	v -x1348 -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363
1800.10/1800.50	v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379
1800.10/1800.50	v -x138 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395
1800.10/1800.50	v -x1396 -x1397 -x1398 -x1399 -x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410
1800.10/1800.50	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426
1800.10/1800.50	v -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442
1800.10/1800.50	v -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458
1800.10/1800.50	v -x1459 -x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474
1800.10/1800.50	v -x1475 -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490
1800.10/1800.50	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506
1800.10/1800.50	v -x1507 -x1508 -x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522
1800.10/1800.50	v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538
1800.10/1800.50	v -x1539 -x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554
1800.10/1800.50	v -x1555 -x1556 -x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570
1800.10/1800.50	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586
1800.10/1800.50	v -x1587 -x1588 -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x1601
1800.10/1800.50	v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617
1800.10/1800.50	v -x1618 -x1619 -x162 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633
1800.10/1800.50	v -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649
1800.10/1800.50	v -x165 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665
1800.10/1800.50	v -x1666 -x1667 -x1668 -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681
1800.10/1800.50	v -x1682 -x1683 x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698
1800.10/1800.50	v -x1699 -x17 -x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713
1800.10/1800.50	v -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729
1800.10/1800.50	v -x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745
1800.10/1800.50	v -x1746 -x1747 -x1748 -x1749 -x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761
1800.10/1800.50	v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777
1800.10/1800.50	v -x1778 -x1779 -x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793
1800.10/1800.50	v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x18 -x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809
1800.10/1800.50	v -x181 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825
1800.10/1800.50	v -x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 -x1841
1800.10/1800.50	v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857
1800.10/1800.50	v -x1858 -x1859 -x186 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873
1800.10/1800.50	v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889
1800.10/1800.50	v -x189 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904
1800.10/1800.50	v -x1905 -x1906 -x1907 -x1908 -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920
1800.10/1800.50	v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936
1800.10/1800.50	v -x1937 -x1938 -x1939 -x194 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 -x1951 -x1952
1800.10/1800.50	v -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968
1800.10/1800.50	v -x1969 -x197 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984
1800.10/1800.50	v -x1985 -x1986 -x1987 -x1988 -x1989 -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 -x20
1800.10/1800.50	v -x200 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015
1800.10/1800.50	v -x2016 -x2017 -x2018 -x2019 -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031
1800.10/1800.50	v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047
1800.10/1800.50	v -x2048 -x2049 -x205 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063
1800.10/1800.50	v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079
1800.10/1800.50	v -x208 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095
1800.10/1800.50	v -x2096 -x2097 -x2098 -x2099 -x21 -x210 -x2100 x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110
1800.10/1800.50	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126
1800.10/1800.50	v -x2127 -x2128 -x2129 -x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142
1800.10/1800.50	v -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x215 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158
1800.10/1800.50	v -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174
1800.10/1800.50	v -x2175 -x2176 -x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190
1800.10/1800.50	v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206
1800.10/1800.50	v -x2207 -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222
1800.10/1800.50	v -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x223 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238
1800.10/1800.50	v -x2239 -x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254
1800.10/1800.50	v -x2255 -x2256 -x2257 -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270
1800.10/1800.50	v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286
1800.10/1800.50	v -x2287 -x2288 -x2289 -x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301
1800.10/1800.50	v -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317
1800.10/1800.50	v -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333
1800.10/1800.50	v -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349
1800.10/1800.50	v -x235 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365
1800.10/1800.50	v -x2366 -x2367 -x2368 -x2369 -x237 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381
1800.10/1800.50	v -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397
1800.10/1800.50	v -x2398 -x2399 -x24 -x240 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x241 -x2410 -x2411 -x2412
1800.10/1800.50	v -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428
1800.10/1800.50	v -x2429 -x243 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441 -x2442 -x2443 -x2444
1800.10/1800.50	v -x2445 -x2446 -x2447 -x2448 -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x246 -x2460
1800.10/1800.50	v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476
1800.10/1800.50	v -x2477 -x2478 -x2479 -x248 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x249 -x2490 -x2491 -x2492
1800.10/1800.50	v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x25 -x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508
1800.10/1800.50	v -x2509 -x251 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524
1800.10/1800.50	v -x2525 -x2526 -x2527 -x2528 -x2529 -x253 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x254 -x2540
1800.10/1800.50	v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556
1800.10/1800.50	v -x2557 -x2558 -x2559 -x256 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x257 -x2570 -x2571 -x2572
1800.10/1800.50	v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588
1800.10/1800.50	v -x2589 -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603
1800.10/1800.50	v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619
1800.10/1800.50	v -x262 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635
1800.10/1800.50	v -x2636 -x2637 -x2638 -x2639 -x264 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x265 -x2650 -x2651
1800.10/1800.50	v -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x266 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667
1800.10/1800.50	v -x2668 -x2669 -x267 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683
1800.10/1800.50	v -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x269 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699
1800.10/1800.50	v -x27 -x270 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714
1800.10/1800.50	v -x2715 -x2716 -x2717 -x2718 -x2719 -x272 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x273 -x2730
1800.10/1800.50	v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746
1800.10/1800.50	v -x2747 -x2748 -x2749 -x275 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x276 -x2760 -x2761 -x2762
1800.10/1800.50	v -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x277 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778
1800.10/1800.50	v -x2779 -x278 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x279 -x2790 -x2791 -x2792 -x2793 -x2794
1800.10/1800.50	v -x2795 -x2796 -x2797 -x2798 -x2799 -x28 -x280 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x281
1800.10/1800.50	v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825
1800.10/1800.50	v -x2826 -x2827 -x2828 -x2829 -x283 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x284 -x2840 -x2841
1800.10/1800.50	v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x285 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857
1800.10/1800.50	v -x2858 -x2859 -x286 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x287 -x2870 -x2871 -x2872 -x2873
1800.10/1800.50	v -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x288 -x2880 -x2881 -x2882 x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x289
1800.10/1800.50	v -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x29 -x290 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905
1800.10/1800.50	v -x2906 -x2907 -x2908 -x2909 -x291 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x292 -x2920 -x2921
1800.10/1800.50	v -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x293 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937
1800.10/1800.50	v -x2938 -x2939 -x294 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x295 -x2950 -x2951 -x2952 -x2953
1800.10/1800.50	v -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x296 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969
1800.10/1800.50	v -x297 -x2970 -x2971 -x2972 x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x298 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985
1800.10/1800.50	v -x2986 -x2987 -x2988 -x2989 -x299 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3 -x30 -x300
1800.10/1800.50	v -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x301 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016
1800.10/1800.50	v -x3017 -x3018 -x3019 -x302 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x303 -x3030 -x3031 -x3032
1800.10/1800.50	v -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x304 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048
1800.10/1800.50	v -x3049 -x305 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x306 -x3060 -x3061 -x3062 -x3063 -x3064
1800.10/1800.50	v -x3065 -x3066 -x3067 -x3068 -x3069 -x307 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x308 -x3080
1800.10/1800.50	v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x309 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096
1800.10/1800.50	v -x3097 -x3098 -x3099 -x31 -x310 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x311 -x3110 -x3111
1800.10/1800.50	v -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x312 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127
1800.10/1800.50	v -x3128 -x3129 -x313 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x314 -x3140 -x3141 -x3142 -x3143
1800.10/1800.50	v -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x315 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159
1800.10/1800.50	v -x316 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x317 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175
1800.10/1800.50	v -x3176 -x3177 -x3178 -x3179 -x318 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x319 -x3190 -x3191
1800.10/1800.50	v -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x32 -x320 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207
1800.10/1800.50	v -x3208 -x3209 -x321 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x322 -x3220 -x3221 -x3222 -x3223
1800.10/1800.50	v -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x323 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239
1800.10/1800.50	v -x324 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x325 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255
1800.10/1800.50	v -x3256 -x3257 -x3258 -x3259 -x326 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x327 -x3270 -x3271
1800.10/1800.50	v -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x328 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287
1800.10/1800.50	v -x3288 -x3289 -x329 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x33 -x330 -x3300 -x3301 -x3302
1800.10/1800.50	v -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x331 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318
1800.10/1800.50	v -x3319 -x332 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x333 -x3330 -x3331 -x3332 -x3333 -x3334
1800.10/1800.50	v -x3335 -x3336 -x3337 -x3338 -x3339 -x334 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x335 -x3350
1800.10/1800.50	v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x336 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366
1800.10/1800.50	v -x3367 -x3368 -x3369 -x337 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x338 -x3380 -x3381 -x3382
1800.10/1800.50	v -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x339 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398
1800.10/1800.50	v -x3399 -x34 -x340 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x341 -x3410 -x3411 -x3412 -x3413
1800.10/1800.50	v -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x342 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429
1800.10/1800.50	v -x343 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x344 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445
1800.10/1800.50	v -x3446 -x3447 -x3448 -x3449 -x345 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x346 -x3460 -x3461
1800.10/1800.50	v -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x347 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477
1800.10/1800.50	v -x3478 -x3479 -x348 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x349 -x3490 -x3491 -x3492 -x3493
1800.10/1800.50	v -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x35 -x350 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509
1800.10/1800.50	v -x351 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x352 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525
1800.10/1800.50	v -x3526 -x3527 -x3528 -x3529 -x353 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x354 -x3540 -x3541
1800.10/1800.50	v -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x355 -x3550 -x3551 -x3552 -x3553 -x3554 x3555 -x3556 -x3557 -x3558
1800.10/1800.50	v -x3559 -x356 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x357 -x3570 -x3571 -x3572 -x3573 -x3574
1800.10/1800.50	v -x3575 -x3576 -x3577 -x3578 -x3579 -x358 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x359 -x3590
1800.10/1800.50	v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x36 -x360 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606
1800.10/1800.50	v -x3607 -x3608 -x3609 -x361 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x362 -x3620 -x3621 -x3622
1800.10/1800.50	v -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x363 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638
1800.10/1800.50	v -x3639 -x364 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x365 -x3650 -x3651 -x3652 -x3653 -x3654
1800.10/1800.50	v -x3655 -x3656 -x3657 -x3658 -x3659 -x366 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x367 -x3670
1800.10/1800.50	v -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x368 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686
1800.10/1800.50	v -x3687 -x3688 -x3689 -x369 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x37 -x370 -x3700 -x3701
1800.10/1800.50	v -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x371 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717
1800.10/1800.50	v -x3718 -x3719 -x372 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x373 -x3730 -x3731 -x3732 -x3733
1800.10/1800.50	v -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x374 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749
1800.10/1800.50	v -x375 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x376 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765
1800.10/1800.50	v -x3766 -x3767 -x3768 -x3769 -x377 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x378 -x3780 -x3781
1800.10/1800.50	v -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x379 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797
1800.10/1800.50	v -x3798 -x3799 -x38 -x380 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x381 -x3810 -x3811 -x3812
1800.10/1800.50	v -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x382 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828
1800.10/1800.50	v -x3829 -x383 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x384 -x3840 -x3841 -x3842 -x3843 -x3844
1800.10/1800.50	v -x3845 -x3846 -x3847 -x3848 -x3849 -x385 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x386 -x3860
1800.10/1800.50	v -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x387 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876
1800.10/1800.50	v -x3877 -x3878 -x3879 -x388 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x389 -x3890 -x3891 -x3892
1800.10/1800.50	v -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x39 -x390 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908
1800.10/1800.50	v -x3909 -x391 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x392 -x3920 -x3921 -x3922 -x3923 -x3924
1800.10/1800.50	v -x3925 -x3926 -x3927 -x3928 -x3929 -x393 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x394 -x3940
1800.10/1800.50	v -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x395 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956
1800.10/1800.50	v -x3957 -x3958 -x3959 -x396 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x397 -x3970 -x3971 -x3972
1800.10/1800.50	v -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x398 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988
1800.10/1800.50	v -x3989 -x399 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4 -x40 -x400 -x4000 -x4001 -x4002
1800.10/1800.50	v -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x401 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018
1800.10/1800.50	v -x4019 -x402 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x403 -x4030 -x4031 -x4032 -x4033 -x4034
1800.10/1800.50	v -x4035 -x4036 -x4037 -x4038 -x4039 -x404 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x405 -x4050
1800.10/1800.50	v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x406 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066
1800.10/1800.50	v -x4067 -x4068 -x4069 -x407 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x408 -x4080 -x4081 -x4082
1800.10/1800.50	v -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x409 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098
1800.10/1800.50	v -x4099 -x41 -x410 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x411 -x4110 -x4111 -x4112 -x4113
1800.10/1800.50	v -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x412 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129
1800.10/1800.50	v -x413 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x414 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145
1800.10/1800.50	v -x4146 -x4147 -x4148 -x4149 -x415 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x416 -x4160 -x4161
1800.10/1800.50	v -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x417 -x4170 -x4171 -x4172 -x4173 x4174 -x4175 -x4176 -x4177 -x4178
1800.10/1800.50	v -x4179 -x418 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x419 -x4190 -x4191 -x4192 -x4193 -x4194
1800.10/1800.50	v -x4195 -x4196 -x4197 -x4198 -x4199 -x42 -x420 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x421
1800.10/1800.50	v -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x422 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225
1800.10/1800.50	v -x4226 -x4227 -x4228 -x4229 -x423 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x424 -x4240 -x4241
1800.10/1800.50	v -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x425 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257
1800.10/1800.50	v -x4258 -x4259 -x426 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x427 -x4270 -x4271 -x4272 -x4273
1800.10/1800.50	v -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x428 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289
1800.10/1800.50	v -x429 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x43 -x430 -x4300 -x4301 -x4302 -x4303 -x4304
1800.10/1800.50	v -x4305 -x4306 -x4307 -x4308 -x4309 -x431 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x432 -x4320
1800.10/1800.50	v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x433 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336
1800.10/1800.50	v -x4337 -x4338 -x4339 -x434 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x435 -x4350 -x4351 -x4352
1800.10/1800.50	v -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x436 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368
1800.10/1800.50	v -x4369 -x437 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x438 -x4380 -x4381 -x4382 -x4383 -x4384
1800.10/1800.50	v -x4385 -x4386 -x4387 -x4388 -x4389 -x439 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x44 -x440
1800.10/1800.50	v -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x441 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415
1800.10/1800.50	v -x4416 -x4417 -x4418 -x4419 -x442 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x443 -x4430 -x4431
1800.10/1800.50	v -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x444 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447
1800.10/1800.50	v -x4448 -x4449 -x445 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x446 -x4460 -x4461 -x4462 -x4463
1800.10/1800.50	v -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x447 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479
1800.10/1800.50	v -x448 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x449 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495
1800.10/1800.50	v -x4496 -x4497 -x4498 -x4499 -x45 -x450 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x451 -x4510
1800.10/1800.50	v -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x452 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526
1800.10/1800.50	v -x4527 -x4528 -x4529 -x453 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x454 -x4540 -x4541 -x4542
1800.10/1800.50	v -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x455 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558
1800.10/1800.50	v -x4559 -x456 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x457 -x4570 -x4571 -x4572 -x4573 -x4574
1800.10/1800.50	v -x4575 -x4576 -x4577 -x4578 -x4579 -x458 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x459 -x4590
1800.10/1800.50	v -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x46 -x460 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606
1800.10/1800.50	v -x4607 -x4608 -x4609 -x461 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x462 -x4620 -x4621 -x4622
1800.10/1800.50	v -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x463 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638
1800.10/1800.50	v -x4639 -x464 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x465 -x4650 -x4651 -x4652 -x4653 -x4654
1800.10/1800.50	v -x4655 -x4656 -x4657 -x4658 -x4659 -x466 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x467 -x4670
1800.10/1800.50	v -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x468 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686
1800.10/1800.50	v -x4687 -x4688 -x4689 -x469 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x47 -x470 -x4700 -x4701
1800.10/1800.50	v -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x471 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717
1800.10/1800.50	v -x4718 -x4719 -x472 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x473 -x4730 -x4731 -x4732 -x4733
1800.10/1800.50	v -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x474 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749
1800.10/1800.50	v -x475 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x476 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765
1800.10/1800.50	v -x4766 -x4767 -x4768 -x4769 -x477 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x478 -x4780 -x4781
1800.10/1800.50	v -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x479 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797
1800.10/1800.50	v -x4798 -x4799 -x48 -x480 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x481 -x4810 -x4811 -x4812
1800.10/1800.50	v -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x482 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828
1800.10/1800.50	v -x4829 -x483 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x484 -x4840 -x4841 -x4842 -x4843 -x4844
1800.10/1800.50	v -x4845 -x4846 -x4847 -x4848 -x4849 -x485 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x486 -x4860
1800.10/1800.50	v -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x487 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876
1800.10/1800.50	v -x4877 -x4878 -x4879 -x488 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x489 -x4890 -x4891 -x4892
1800.10/1800.50	v -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x49 -x490 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908
1800.10/1800.50	v -x4909 -x491 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x492 -x4920 -x4921 -x4922 -x4923 -x4924
1800.10/1800.50	v -x4925 -x4926 -x4927 -x4928 -x4929 -x493 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x494 -x4940
1800.10/1800.50	v -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x495 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956
1800.10/1800.50	v -x4957 -x4958 -x4959 -x496 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x497 -x4970 -x4971 -x4972
1800.10/1800.50	v -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x498 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988
1800.10/1800.50	v -x4989 -x499 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5 -x50 -x500 -x5000 -x5001 -x5002
1800.10/1800.50	v -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x501 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018
1800.10/1800.50	v -x5019 -x502 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x503 -x5030 -x5031 -x5032 -x5033 -x5034
1800.10/1800.50	v -x5035 -x5036 -x5037 -x5038 -x5039 -x504 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x505 -x5050
1800.10/1800.50	v -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x506 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066
1800.10/1800.50	v -x5067 -x5068 -x5069 -x507 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x508 -x5080 -x5081 -x5082
1800.10/1800.50	v -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x509 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098
1800.10/1800.50	v -x5099 -x51 -x510 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x511 -x5110 -x5111 -x5112 -x5113
1800.10/1800.50	v -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x512 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129
1800.10/1800.50	v -x513 -x5130 x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x514 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145
1800.10/1800.50	v -x5146 -x5147 -x5148 -x5149 -x515 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x516 -x5160 -x5161
1800.10/1800.50	v -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x517 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177
1800.10/1800.50	v -x5178 -x5179 -x518 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x519 -x5190 -x5191 -x5192 -x5193
1800.10/1800.50	v -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x52 -x520 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209
1800.10/1800.50	v -x521 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x522 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225
1800.10/1800.50	v -x5226 -x5227 -x5228 -x5229 -x523 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x524 -x5240 -x5241
1800.10/1800.50	v -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x525 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257
1800.10/1800.50	v -x5258 -x5259 -x526 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x527 -x5270 -x5271 -x5272 -x5273
1800.10/1800.50	v -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x528 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289
1800.10/1800.50	v -x529 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x53 -x530 -x5300 -x5301 -x5302 -x5303 -x5304
1800.10/1800.50	v -x5305 -x5306 -x5307 -x5308 -x5309 -x531 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x532 -x5320
1800.10/1800.50	v -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x533 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336
1800.10/1800.50	v -x5337 -x5338 -x5339 -x534 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x535 -x5350 -x5351 -x5352
1800.10/1800.50	v -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x536 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368
1800.10/1800.50	v -x5369 -x537 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x538 -x5380 -x5381 -x5382 -x5383 -x5384
1800.10/1800.50	v -x5385 -x5386 -x5387 -x5388 -x5389 -x539 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x54 -x540
1800.10/1800.50	v -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x541 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415
1800.10/1800.50	v -x5416 -x5417 -x5418 -x5419 -x542 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x543 -x5430 -x5431
1800.10/1800.50	v -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x544 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447
1800.10/1800.50	v -x5448 -x5449 -x545 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x546 -x5460 -x5461 -x5462 -x5463
1800.10/1800.50	v -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x547 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479
1800.10/1800.50	v -x548 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x549 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495
1800.10/1800.50	v -x5496 -x5497 -x5498 -x5499 -x55 -x550 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x551 -x5510
1800.10/1800.50	v -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x552 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526
1800.10/1800.50	v -x5527 -x5528 -x5529 -x553 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x554 -x5540 -x5541 -x5542
1800.10/1800.50	v -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x555 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558
1800.10/1800.50	v -x5559 -x556 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x557 -x5570 -x5571 -x5572 -x5573 -x5574
1800.10/1800.50	v -x5575 -x5576 -x5577 -x5578 -x5579 -x558 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 x5586 -x5587 -x5588 -x5589 -x559 -x5590
1800.10/1800.50	v -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x56 -x560 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606
1800.10/1800.50	v -x5607 -x5608 -x5609 -x561 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x562 -x5620 -x5621 -x5622
1800.10/1800.50	v -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x563 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638
1800.10/1800.50	v -x5639 -x564 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x565 -x5650 -x5651 -x5652 -x5653 -x5654
1800.10/1800.50	v -x5655 -x5656 -x5657 -x5658 -x5659 -x566 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x567 -x5670
1800.10/1800.50	v -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x568 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686
1800.10/1800.50	v -x5687 -x5688 -x5689 -x569 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x57 -x570 -x5700 -x5701
1800.10/1800.50	v -x5702 -x5703 -x5704 x5705 -x5706 -x5707 -x5708 -x5709 -x571 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718
1800.10/1800.50	v -x5719 -x572 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x573 -x5730 -x5731 -x5732 -x5733 -x5734
1800.10/1800.50	v -x5735 -x5736 -x5737 -x5738 -x5739 -x574 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x575 -x5750
1800.10/1800.50	v -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x576 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766
1800.10/1800.50	v -x5767 -x5768 -x5769 -x577 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x578 -x5780 -x5781 -x5782
1800.10/1800.50	v -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x579 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798
1800.10/1800.50	v -x5799 -x58 -x580 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x581 -x5810 -x5811 -x5812 -x5813
1800.10/1800.50	v -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x582 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829
1800.10/1800.50	v -x583 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x584 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845
1800.10/1800.50	v -x5846 -x5847 -x5848 -x5849 -x585 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x586 -x5860 -x5861
1800.10/1800.50	v -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x587 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877
1800.10/1800.50	v -x5878 -x5879 -x588 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x589 -x5890 -x5891 -x5892 -x5893
1800.10/1800.50	v -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x59 -x590 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909
1800.10/1800.50	v -x591 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x592 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925
1800.10/1800.50	v -x5926 -x5927 -x5928 -x5929 -x593 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x594 -x5940 -x5941
1800.10/1800.50	v -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x595 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957
1800.10/1800.50	v -x5958 -x5959 -x596 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x597 -x5970 -x5971 -x5972 -x5973
1800.10/1800.50	v -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x598 x5980 -x5981 -x5982 -x5983 -x5984 x5985 -x5986 -x5987 -x5988 -x5989 -x599
1800.10/1800.50	v -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6 -x60 -x600 -x6000 -x6001 -x6002 -x6003 -x6004
1800.10/1800.50	v -x6005 -x6006 -x6007 -x6008 -x6009 -x601 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x602 -x6020
1800.10/1800.50	v -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x603 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036
1800.10/1800.50	v -x6037 -x6038 -x6039 -x604 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x605 -x6050 -x6051 -x6052
1800.10/1800.50	v -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x606 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068
1800.10/1800.50	v -x6069 -x607 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x608 -x6080 -x6081 -x6082 -x6083 -x6084
1800.10/1800.50	v -x6085 -x6086 -x6087 -x6088 -x6089 -x609 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x61 -x610
1800.10/1800.50	v -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x611 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115
1800.10/1800.50	v -x6116 -x6117 -x6118 -x6119 -x612 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x613 -x6130 -x6131
1800.10/1800.50	v -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x614 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147
1800.10/1800.50	v -x6148 -x6149 -x615 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x616 -x6160 -x6161 -x6162 -x6163
1800.10/1800.50	v -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x617 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179
1800.10/1800.50	v -x618 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x619 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195
1800.10/1800.50	v -x6196 -x6197 -x6198 -x6199 -x62 -x620 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x621 -x6210
1800.10/1800.50	v -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x622 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226
1800.10/1800.50	v -x6227 -x6228 -x6229 -x623 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x624 -x6240 -x6241 -x6242
1800.10/1800.50	v -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x625 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258
1800.10/1800.50	v -x6259 -x626 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x627 -x6270 -x6271 -x6272 -x6273 -x6274
1800.10/1800.50	v -x6275 -x6276 -x6277 -x6278 -x6279 -x628 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x629 -x6290
1800.10/1800.50	v -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x63 -x630 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306
1800.10/1800.50	v -x6307 -x6308 -x6309 -x631 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x632 -x6320 -x6321 -x6322
1800.10/1800.50	v -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x633 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338
1800.10/1800.50	v -x6339 -x634 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x635 -x6350 -x6351 -x6352 -x6353 -x6354
1800.10/1800.50	v -x6355 -x6356 -x6357 -x6358 -x6359 -x636 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x637 -x6370
1800.10/1800.50	v -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x638 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386
1800.10/1800.50	v -x6387 -x6388 -x6389 -x639 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x64 -x640 -x6400 -x6401
1800.10/1800.50	v -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x641 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417
1800.10/1800.50	v -x6418 -x6419 -x642 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x643 -x6430 -x6431 -x6432 -x6433
1800.10/1800.50	v -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x644 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449
1800.10/1800.50	v -x645 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x646 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465
1800.10/1800.50	v -x6466 -x6467 -x6468 -x6469 -x647 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x648 -x6480 -x6481
1800.10/1800.50	v -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x649 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497
1800.10/1800.50	v -x6498 -x6499 -x65 -x650 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x651 -x6510 -x6511 -x6512
1800.10/1800.50	v -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x652 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528
1800.10/1800.50	v -x6529 -x653 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x654 -x6540 -x6541 -x6542 -x6543 -x6544
1800.10/1800.50	v -x6545 -x6546 -x6547 -x6548 -x6549 -x655 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x656 -x6560
1800.10/1800.50	v -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x657 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576
1800.10/1800.50	v -x6577 -x6578 -x6579 -x658 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x659 -x6590 -x6591 -x6592
1800.10/1800.50	v -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x66 -x660 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608
1800.10/1800.50	v -x6609 -x661 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x662 -x6620 -x6621 -x6622 -x6623 -x6624
1800.10/1800.50	v -x6625 -x6626 -x6627 -x6628 -x6629 -x663 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x664 -x6640
1800.10/1800.50	v -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x665 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656
1800.10/1800.50	v -x6657 -x6658 -x6659 -x666 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x667 -x6670 -x6671 -x6672
1800.10/1800.50	v -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x668 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688
1800.10/1800.50	v -x6689 -x669 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x67 -x670 -x6700 -x6701 -x6702 -x6703
1800.10/1800.50	v -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x671 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719
1800.10/1800.50	v -x672 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x673 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735
1800.10/1800.50	v -x6736 -x6737 -x6738 -x6739 -x674 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x675 -x6750 -x6751
1800.10/1800.50	v -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x676 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767
1800.10/1800.50	v -x6768 -x6769 -x677 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x678 -x6780 -x6781 -x6782 -x6783
1800.10/1800.50	v -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x679 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799
1800.10/1800.50	v -x68 -x680 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x681 -x6810 -x6811 -x6812 -x6813 -x6814
1800.10/1800.50	v -x6815 -x6816 -x6817 -x6818 -x6819 -x682 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x683 -x6830
1800.10/1800.50	v -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x684 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846
1800.10/1800.50	v -x6847 -x6848 -x6849 -x685 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x686 -x6860 -x6861 -x6862
1800.10/1800.50	v -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x687 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878
1800.10/1800.50	v -x6879 -x688 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x689 -x6890 -x6891 -x6892 -x6893 -x6894
1800.10/1800.50	v -x6895 -x6896 -x6897 -x6898 -x6899 -x69 -x690 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x691
1800.10/1800.50	v x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x692 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926
1800.10/1800.50	v -x6927 -x6928 -x6929 -x693 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x694 -x6940 -x6941 -x6942
1800.10/1800.50	v -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x695 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958
1800.10/1800.50	v -x6959 -x696 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x697 -x6970 -x6971 -x6972 -x6973 -x6974
1800.10/1800.50	v -x6975 -x6976 -x6977 -x6978 -x6979 -x698 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x699 -x6990
1800.10/1800.50	v -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7 -x70 -x700 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005
1800.10/1800.50	v -x7006 -x7007 -x7008 -x7009 -x701 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x702 -x7020 -x7021
1800.10/1800.50	v -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x703 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037
1800.10/1800.50	v -x7038 -x7039 -x704 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x705 -x7050 -x7051 -x7052 -x7053
1800.10/1800.50	v -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x706 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069
1800.10/1800.50	v -x707 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x708 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085
1800.10/1800.50	v -x7086 -x7087 -x7088 -x7089 -x709 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x71 -x710 -x7100
1800.10/1800.50	v -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x711 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116
1800.10/1800.50	v -x7117 -x7118 -x7119 -x712 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x713 -x7130 -x7131 -x7132
1800.10/1800.50	v -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x714 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148
1800.10/1800.50	v -x7149 -x715 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x716 -x7160 -x7161 -x7162 -x7163 -x7164
1800.10/1800.50	v -x7165 -x7166 -x7167 -x7168 -x7169 -x717 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x718 -x7180
1800.10/1800.50	v -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x719 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196
1800.10/1800.50	v -x7197 -x7198 -x7199 -x72 -x720 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x721 -x7210 -x7211
1800.10/1800.50	v -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x722 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227
1800.10/1800.50	v -x7228 -x7229 -x723 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x724 -x7240 -x7241 -x7242 -x7243
1800.10/1800.50	v -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x725 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259
1800.10/1800.50	v -x726 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x727 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275
1800.10/1800.50	v -x7276 -x7277 -x7278 -x7279 -x728 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x729 -x7290 -x7291
1800.10/1800.50	v -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x73 -x730 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307
1800.10/1800.50	v -x7308 -x7309 -x731 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x732 -x7320 -x7321 -x7322 -x7323
1800.10/1800.50	v -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x733 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339
1800.10/1800.50	v -x734 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x735 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355
1800.10/1800.50	v -x7356 -x7357 -x7358 -x7359 -x736 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x737 -x7370 -x7371
1800.10/1800.50	v -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x738 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387
1800.10/1800.50	v -x7388 -x7389 -x739 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x74 -x740 -x7400 -x7401 -x7402
1800.10/1800.50	v -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x741 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418
1800.10/1800.50	v -x7419 -x742 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x743 -x7430 -x7431 -x7432 -x7433 -x7434
1800.10/1800.50	v -x7435 -x7436 -x7437 -x7438 -x7439 -x744 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x745 -x7450
1800.10/1800.50	v -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x746 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466
1800.10/1800.50	v -x7467 -x7468 -x7469 -x747 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x748 -x7480 -x7481 -x7482
1800.10/1800.50	v -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x749 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498
1800.10/1800.50	v -x7499 -x75 -x750 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x751 -x7510 -x7511 -x7512 -x7513
1800.10/1800.50	v -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x752 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529
1800.10/1800.50	v -x753 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x754 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545
1800.10/1800.50	v -x7546 -x7547 -x7548 -x7549 -x755 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x756 -x7560 -x7561
1800.10/1800.50	v -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x757 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577
1800.10/1800.50	v -x7578 -x7579 -x758 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x759 -x7590 x7591 -x7592 -x7593
1800.10/1800.50	v -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x76 -x760 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609
1800.10/1800.50	v -x761 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x762 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625
1800.10/1800.50	v -x7626 -x7627 -x7628 -x7629 -x763 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x764 -x7640 -x7641
1800.10/1800.50	v -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x765 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657
1800.10/1800.50	v -x7658 -x7659 -x766 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x767 -x7670 -x7671 -x7672 -x7673
1800.10/1800.50	v -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x768 -x7680 x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x769
1800.10/1800.50	v -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x77 -x770 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705
1800.10/1800.50	v -x7706 -x7707 -x7708 -x7709 -x771 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x772 -x7720 -x7721
1800.10/1800.50	v -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x773 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737
1800.10/1800.50	v -x7738 -x7739 -x774 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x775 -x7750 -x7751 -x7752 -x7753
1800.10/1800.50	v -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x776 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769
1800.10/1800.50	v -x777 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x778 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785
1800.10/1800.50	v -x7786 -x7787 -x7788 -x7789 -x779 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x78 -x780 -x7800
1800.10/1800.50	v -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x781 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816
1800.10/1800.50	v -x7817 -x7818 -x7819 -x782 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x783 -x7830 -x7831 -x7832
1800.10/1800.50	v -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x784 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848
1800.10/1800.50	v -x7849 -x785 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x786 -x7860 -x7861 -x7862 -x7863 -x7864
1800.10/1800.50	v -x7865 -x7866 -x7867 -x7868 -x7869 -x787 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x788 -x7880
1800.10/1800.50	v -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x789 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896
1800.10/1800.50	v -x7897 -x7898 -x7899 -x79 -x790 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x791 -x7910 -x7911
1800.10/1800.50	v -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x792 -x7920 x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928
1800.10/1800.50	v -x7929 -x793 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x794 -x7940 -x7941 -x7942 -x7943 -x7944
1800.10/1800.50	v -x7945 -x7946 -x7947 -x7948 -x7949 -x795 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x796 -x7960
1800.10/1800.50	v -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x797 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976
1800.10/1800.50	v -x7977 -x7978 -x7979 -x798 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x799 -x7990 -x7991 -x7992
1800.10/1800.50	v -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8 -x80 -x800 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007
1800.10/1800.50	v -x8008 -x8009 -x801 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x802 -x8020 -x8021 -x8022 -x8023
1800.10/1800.50	v -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x803 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039
1800.10/1800.50	v -x804 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x805 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055
1800.10/1800.50	v -x8056 -x8057 -x8058 -x8059 -x806 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x807 -x8070 -x8071
1800.10/1800.50	v -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x808 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087
1800.10/1800.50	v -x8088 -x8089 -x809 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x81 -x810 -x8100 -x8101 -x8102
1800.10/1800.50	v -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 x811 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119
1800.10/1800.50	v -x812 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x813 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135
1800.10/1800.50	v -x8136 -x8137 -x8138 -x8139 -x814 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x815 -x8150 -x8151
1800.10/1800.50	v -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x816 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167
1800.10/1800.50	v -x8168 -x8169 -x817 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x818 -x8180 -x8181 -x8182 -x8183
1800.10/1800.50	v -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x819 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199
1800.10/1800.50	v -x82 -x820 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x821 -x8210 -x8211 -x8212 -x8213 -x8214
1800.10/1800.50	v -x8215 -x8216 -x8217 -x8218 -x8219 -x822 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x823 -x8230
1800.10/1800.50	v -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x824 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246
1800.10/1800.50	v -x8247 -x8248 -x8249 -x825 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x826 -x8260 -x8261 -x8262
1800.10/1800.50	v -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x827 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278
1800.10/1800.50	v -x8279 -x828 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x829 -x8290 -x8291 -x8292 -x8293 -x8294
1800.10/1800.50	v -x8295 -x8296 -x8297 -x8298 -x8299 -x83 -x830 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x831
1800.10/1800.50	v -x8310 x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x832 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326
1800.10/1800.50	v -x8327 -x8328 -x8329 -x833 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x834 -x8340 -x8341 -x8342
1800.10/1800.50	v -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x835 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358
1800.10/1800.50	v -x8359 -x836 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x837 -x8370 -x8371 -x8372 -x8373 -x8374
1800.10/1800.50	v -x8375 -x8376 -x8377 -x8378 -x8379 -x838 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x839 -x8390
1800.10/1800.50	v -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x84 -x840 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406
1800.10/1800.50	v -x8407 -x8408 -x8409 -x841 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x842 -x8420 -x8421 -x8422
1800.10/1800.50	v -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x843 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438
1800.10/1800.50	v -x8439 -x844 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x845 -x8450 -x8451 -x8452 -x8453 -x8454
1800.10/1800.50	v -x8455 -x8456 -x8457 -x8458 -x8459 -x846 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x847 -x8470
1800.10/1800.50	v -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x848 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486
1800.10/1800.50	v -x8487 -x8488 -x8489 -x849 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x85 -x850 -x8500 -x8501
1800.10/1800.50	v -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x851 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517
1800.10/1800.50	v -x8518 -x8519 -x852 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x853 -x8530 -x8531 -x8532 -x8533
1800.10/1800.50	v -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x854 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549
1800.10/1800.50	v -x855 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x856 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565
1800.10/1800.50	v -x8566 -x8567 -x8568 -x8569 -x857 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x858 -x8580 -x8581
1800.10/1800.50	v -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x859 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597
1800.10/1800.50	v -x8598 -x8599 -x86 -x860 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x861 -x8610 -x8611 -x8612
1800.10/1800.50	v -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x862 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628
1800.10/1800.50	v -x8629 -x863 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x864 -x8640 -x8641 -x8642 -x8643 -x8644
1800.10/1800.50	v -x8645 -x8646 -x8647 -x8648 -x8649 -x865 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x866 -x8660
1800.10/1800.50	v -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x867 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676
1800.10/1800.50	v -x8677 -x8678 -x8679 -x868 -x8680 x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x869 -x8690 -x8691 -x8692
1800.10/1800.50	v -x8693 -x8694 -x8695 -x8696 -x8697 x8698 -x8699 -x87 -x870 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708
1800.10/1800.50	v -x8709 -x871 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x872 -x8720 -x8721 -x8722 -x8723 -x8724
1800.10/1800.50	v -x8725 -x8726 x8727 -x8728 -x8729 -x873 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x874 -x8740
1800.10/1800.50	v x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x875 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757
1800.10/1800.50	v -x8758 -x8759 -x876 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 x8767 -x8768 -x8769 -x877 x8770 -x8771 -x8772 -x8773
1800.10/1800.50	v -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x878 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 x8789 -x879
1800.10/1800.50	v -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x88 -x880 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805
1800.10/1800.50	v -x8806 -x8807 -x8808 -x8809 -x881 x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x882 -x8820 -x8821
1800.10/1800.50	v -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x883 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837
1800.10/1800.50	v -x8838 -x8839 -x884 -x8840 -x8841 x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x885 -x8850 -x8851 -x8852 -x8853
1800.10/1800.50	v -x8854 -x8855 -x8856 x8857 -x8858 -x8859 -x886 -x8860 x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x887
1800.10/1800.50	v x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x888 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886
1800.10/1800.50	v -x8887 -x8888 -x8889 -x889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x89 -x890 -x8900 x8901
1800.10/1800.50	v -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x891 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917
1800.10/1800.50	v -x8918 -x8919 -x892 -x8920 -x8921 -x8922 -x8923 x8924 -x8925 -x8926 x8927 -x8928 -x8929 -x893 -x8930 -x8931 -x8932 -x8933
1800.10/1800.50	v -x8934 x8935 -x8936 -x8937 -x8938 -x8939 -x894 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 x8948 -x8949 -x895
1800.10/1800.50	v -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902
1800.10/1800.50	v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921
1800.10/1800.50	v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940
1800.10/1800.50	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96
1800.10/1800.50	v -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979
1800.10/1800.50	v -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998
1800.10/1800.50	v -x999

Verifier Data (download as text)

OK	35

Conversion Script Data (download as text)

/tmp/evaluation/458447-1178623789/instance-458447-1178623789.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node30/watcher-458447-1178623789 -o ROOT/results/node30/solver-458447-1178623789 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458447-1178623789/instance-458447-1178623789.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28570
/proc/meminfo: memFree=1587824/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=2168 CPUtime=0
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 159 0 0 0 0 0 0 0 19 0 1 0 310294650 2220032 141 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134570608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 542 144 79 219 0 319 0

[startup+0.0663381 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28570
/proc/meminfo: memFree=1587824/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=3152 CPUtime=0.05
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 563 0 0 0 5 0 0 0 19 0 1 0 310294650 3227648 545 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586483 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 788 545 86 219 0 565 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3152

[startup+0.101339 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28570
/proc/meminfo: memFree=1587824/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=3152 CPUtime=0.09
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 563 0 0 0 9 0 0 0 19 0 1 0 310294650 3227648 545 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 788 545 86 219 0 565 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3152

[startup+0.301352 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28570
/proc/meminfo: memFree=1587824/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=3296 CPUtime=0.29
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 598 0 0 0 29 0 0 0 21 0 1 0 310294650 3375104 580 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134587091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 824 580 86 219 0 601 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3296

[startup+0.701377 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28570
/proc/meminfo: memFree=1587824/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=5744 CPUtime=0.68
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 1577 0 0 0 68 0 0 0 25 0 1 0 310294650 5881856 1015 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 1436 1015 90 219 0 1213 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 5744

[startup+1.50143 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 28571
/proc/meminfo: memFree=1583912/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=5744 CPUtime=1.48
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 1590 0 0 0 147 1 0 0 25 0 1 0 310294650 5881856 1028 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 1436 1028 102 219 0 1213 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 5744

[startup+3.10153 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 28571
/proc/meminfo: memFree=1583784/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=5744 CPUtime=3.08
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 1590 0 0 0 304 4 0 0 25 0 1 0 310294650 5881856 1028 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545678 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 1436 1028 102 219 0 1213 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 5744

[startup+6.30173 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 28571
/proc/meminfo: memFree=1583656/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=5744 CPUtime=6.29
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 1590 0 0 0 616 13 0 0 25 0 1 0 310294650 5881856 1028 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 1436 1028 102 219 0 1213 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5744

[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 28571
/proc/meminfo: memFree=1581480/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=9584 CPUtime=12.68
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 2216 0 0 0 1252 16 0 0 25 0 1 0 310294650 9814016 1654 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 2396 1654 102 219 0 2173 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 9584

[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 28571
/proc/meminfo: memFree=1577256/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=13828 CPUtime=25.48
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 3284 0 0 0 2531 17 0 0 25 0 1 0 310294650 14159872 2722 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 3457 2722 102 219 0 3234 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 13828

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 28571
/proc/meminfo: memFree=1572328/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=22216 CPUtime=51.08
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 4512 0 0 0 5088 20 0 0 25 0 1 0 310294650 22749184 3950 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 5554 3950 102 219 0 5331 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 22216

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 28571
/proc/meminfo: memFree=1563240/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=39608 CPUtime=102.27
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 6795 0 0 0 10199 28 0 0 25 0 1 0 310294650 40558592 6184 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 9902 6184 102 219 0 9679 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 39608

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28571
/proc/meminfo: memFree=1560936/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=41420 CPUtime=162.25
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 7474 0 0 0 16183 42 0 0 25 0 1 0 310294650 42414080 6766 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 10355 6766 102 219 0 10132 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 41420

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28571
/proc/meminfo: memFree=1557800/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=43036 CPUtime=222.24
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 8440 0 0 0 22166 58 0 0 25 0 1 0 310294650 44068864 7539 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 10759 7539 102 219 0 10536 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 43036

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28571
/proc/meminfo: memFree=1556456/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=43776 CPUtime=282.23
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 8757 0 0 0 28156 67 0 0 25 0 1 0 310294650 44826624 7856 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 10944 7856 102 219 0 10721 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 43776

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28571
/proc/meminfo: memFree=1554088/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=46004 CPUtime=342.22
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 9722 0 0 0 34142 80 0 0 25 0 1 0 310294650 47108096 8436 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 11501 8436 102 219 0 11278 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 46004

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28571
/proc/meminfo: memFree=1553192/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=46512 CPUtime=402.19
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 9949 0 0 0 40129 90 0 0 25 0 1 0 310294650 47628288 8663 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 11628 8663 102 219 0 11405 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 46512

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28571
/proc/meminfo: memFree=1552360/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=47356 CPUtime=462.18
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 10188 0 0 0 46114 104 0 0 25 0 1 0 310294650 48492544 8902 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 11839 8902 102 219 0 11616 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 47356

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28571
/proc/meminfo: memFree=1551208/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=48120 CPUtime=522.17
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 10463 0 0 0 52097 120 0 0 25 0 1 0 310294650 49274880 9177 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 12030 9177 102 219 0 11807 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 48120

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28571
/proc/meminfo: memFree=1549928/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=48780 CPUtime=582.16
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 10810 0 0 0 58084 132 0 0 25 0 1 0 310294650 49950720 9524 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545615 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 12195 9524 102 219 0 11972 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 48780

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28573
/proc/meminfo: memFree=1547880/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=52224 CPUtime=642.15
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 12055 0 0 0 64073 142 0 0 25 0 1 0 310294650 53477376 10000 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 13056 10000 102 219 0 12833 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 52224


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28573
/proc/meminfo: memFree=1529128/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=86024 CPUtime=882.09
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 16750 0 0 0 88028 181 0 0 25 0 1 0 310294650 88088576 14695 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 21506 14695 102 219 0 21283 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 86024

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28573
/proc/meminfo: memFree=1521320/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=86240 CPUtime=942.08
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 18780 0 0 0 94018 190 0 0 25 0 1 0 310294650 88309760 16725 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 21560 16725 102 219 0 21337 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 86240

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28573
/proc/meminfo: memFree=1514664/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=86668 CPUtime=1002.06
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 20361 0 0 0 100002 204 0 0 25 0 1 0 310294650 88748032 18306 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 21667 18306 102 219 0 21444 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 86668

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28573
/proc/meminfo: memFree=1514344/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=87084 CPUtime=1062.06
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 20427 0 0 0 105994 212 0 0 25 0 1 0 310294650 89174016 18372 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 21771 18372 102 219 0 21548 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 87084

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28573
/proc/meminfo: memFree=1514024/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=87156 CPUtime=1122.04
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 20508 0 0 0 111988 216 0 0 25 0 1 0 310294650 89247744 18453 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 21789 18453 102 219 0 21566 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 87156

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28573
/proc/meminfo: memFree=1513512/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=87404 CPUtime=1182.03
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 20638 0 0 0 117982 221 0 0 25 0 1 0 310294650 89501696 18583 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 21851 18583 102 219 0 21628 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 87404

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28573
/proc/meminfo: memFree=1512360/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=88120 CPUtime=1242.02
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 20921 0 0 0 123974 228 0 0 25 0 1 0 310294650 90234880 18866 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 22030 18866 102 219 0 21807 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 88120

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28573
/proc/meminfo: memFree=1511976/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=88232 CPUtime=1302.01
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 21010 0 0 0 129968 233 0 0 25 0 1 0 310294650 90349568 18955 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 22058 18955 102 219 0 21835 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 88232

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28573
/proc/meminfo: memFree=1509864/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=88656 CPUtime=1361.99
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 21585 0 0 0 135961 238 0 0 25 0 1 0 310294650 90783744 19530 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 22164 19530 102 219 0 21941 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 88656

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28573
/proc/meminfo: memFree=1507048/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=88748 CPUtime=1421.98
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 22244 0 0 0 141955 243 0 0 25 0 1 0 310294650 90877952 20189 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 22187 20189 102 219 0 21964 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 88748

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28573
/proc/meminfo: memFree=1506536/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=88816 CPUtime=1481.97
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 22365 0 0 0 147949 248 0 0 25 0 1 0 310294650 90947584 20310 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545652 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 22204 20310 102 219 0 21981 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 88816

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28573
/proc/meminfo: memFree=1506088/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=89276 CPUtime=1541.96
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 22496 0 0 0 153941 255 0 0 25 0 1 0 310294650 91418624 20441 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 22319 20441 102 219 0 22096 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 89276

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28573
/proc/meminfo: memFree=1505640/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=89408 CPUtime=1601.94
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 22612 0 0 0 159934 260 0 0 25 0 1 0 310294650 91553792 20557 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557351 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 22352 20557 102 219 0 22129 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 89408

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28573
/proc/meminfo: memFree=1505256/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=89636 CPUtime=1661.93
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 22729 0 0 0 165927 266 0 0 25 0 1 0 310294650 91787264 20674 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 22409 20674 102 219 0 22186 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 89636

[startup+1722.3 s]
/proc/loadavg: 1.06 1.00 1.00 2/78 28573
/proc/meminfo: memFree=1504872/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=90112 CPUtime=1721.91
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 22812 0 0 0 171920 271 0 0 25 0 1 0 310294650 92274688 20757 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 22528 20757 102 219 0 22305 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 90112

[startup+1782.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 28573
/proc/meminfo: memFree=1504552/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=90112 CPUtime=1781.9
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 22873 0 0 0 177912 278 0 0 25 0 1 0 310294650 92274688 20818 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546122 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 22528 20818 102 219 0 22305 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 90112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 28573
/proc/meminfo: memFree=1504424/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=90112 CPUtime=1800.1
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 22901 0 0 0 179729 281 0 0 25 0 1 0 310294650 92274688 20846 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 22528 20846 102 219 0 22305 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 90112

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

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

[startup+1800.5 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 28573
/proc/meminfo: memFree=1504424/2055920 swapFree=4157176/4192956
[pid=28570] ppid=28568 vsize=90112 CPUtime=1800.1
/proc/28570/stat : 28570 (PBS4_SAT07v2) R 28568 28570 27868 0 -1 4194304 22901 0 0 0 179729 281 0 0 25 0 1 0 310294650 92274688 20846 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28570/statm: 22528 20846 102 219 0 22305 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 90112

Child status: 0
Real time (s): 1800.53
CPU time (s): 1800.13
CPU user time (s): 1797.3
CPU system time (s): 2.83357
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 90112

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

runsolver used 1.45778 second user time and 3.99539 second system time

The end

Launcher Data (download as text)

Begin job on node30 on Tue May  8 11:29:50 UTC 2007

IDJOB= 458447
IDBENCH= 1559
IDSOLVER= 200
FILE ID= node30/458447-1178623789

PBS_JOBID= 5218272

Free space on /tmp= 66562 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran17x17.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458447-1178623789/instance-458447-1178623789.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node30/convwatcher-458447-1178623789 -o ROOT/results/node30/conversion-458447-1178623789 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458447-1178623789/instance-458447-1178623789.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node30/watcher-458447-1178623789 -o ROOT/results/node30/solver-458447-1178623789 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/458447-1178623789/instance-458447-1178623789.opb

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  eacfeaf84791543db8ee3be1e77f11f6

RANDOM SEED= 846819124

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node30.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.218
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.218
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1588232 kB
Buffers:         43560 kB
Cached:         294944 kB
SwapCached:      15300 kB
Active:         104184 kB
Inactive:       257888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1588232 kB
SwapTotal:     4192956 kB
SwapFree:      4157176 kB
Dirty:            2628 kB
Writeback:           0 kB
Mapped:          30524 kB
Slab:            91180 kB
Committed_AS:  9163392 kB
PageTables:       1776 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB

End job on node30 on Tue May  8 11:59:52 UTC 2007