Trace number 3372817

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
Lingeling 587f (fixed)SAT 131.021 131.018

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F20.cnf
MD5SUM82462bfc10e506c60d6bdf35a0143bf9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark13.7429
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses481346
Sum of the clauses size3851671
Maximum clause length78
Minimum clause length1
Number of clauses of size 121
Number of clauses of size 227486
Number of clauses of size 322736
Number of clauses of size 418300
Number of clauses of size 542820
Number of clauses of size over 5369983

Solver Data 

130.99/131.01	s SATISFIABLE
130.99/131.01	v 1 -2 -3 -4 5 6 -7 -8 -9 -10 -11 12 -13 -14 15 16 -17 18 19 -20 -21 -22 23 24
130.99/131.01	v -25 -26 27 -28 29 30 31 32 33 34 35 36 37 -38 -39 40 41 -42 -43 -44 -45 -46
130.99/131.01	v -47 -48 -49 -50 -51 -52 -53 -54 55 56 57 -58 -59 -60 -61 -62 -63 -64 -65 -66
130.99/131.01	v -67 -68 -69 -70 71 72 73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 86
130.99/131.01	v -87 -88 -89 -90 -91 92 93 -94 95 96 -97 98 99 100 101 -102 103 104 105 106 107
130.99/131.01	v 108 109 110 111 112 113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124
130.99/131.01	v -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 140
130.99/131.01	v -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155
130.99/131.01	v -156 -157 -158 -159 160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171
130.99/131.01	v -172 -173 174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 187
130.99/131.01	v -188 -189 -190 -191 192 193 -194 -195 -196 197 -198 -199 200 -201 -202 -203
130.99/131.01	v 204 -205 -206 207 -208 -209 210 211 212 -213 -214 215 216 -217 218 -219 -220
130.99/131.01	v -221 -222 -223 -224 -225 -226 -227 228 229 -230 -231 232 233 234 235 236 237
130.99/131.01	v 238 239 240 241 242 243 244 -245 -246 -247 248 -249 -250 251 -252 -253 -254
130.99/131.01	v 255 -256 -257 258 -259 -260 -261 -262 -263 264 265 266 267 268 269 -270 271
130.99/131.01	v 272 -273 274 275 -276 277 -278 -279 280 -281 -282 -283 284 -285 -286 287 -288
130.99/131.01	v -289 -290 -291 292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304
130.99/131.01	v 305 -306 -307 -308 309 -310 -311 312 -313 -314 315 316 317 318 319 -320 321
130.99/131.01	v 322 -323 324 325 326 327 328 329 -330 331 332 -333 334 335 336 337 338 339 340
130.99/131.01	v 341 342 343 344 345 -346 -347 348 -349 -350 351 352 353 -354 355 356 -357 358
130.99/131.01	v 359 -360 361 362 -363 -364 -365 -366 -367 368 -369 -370 371 -372 373 374 -375
130.99/131.01	v -376 -377 -378 -379 380 -381 -382 -383 -384 385 386 387 388 -389 -390 -391
130.99/131.01	v -392 -393 -394 -395 -396 -397 -398 -399 -400 401 402 403 404 405 406 407 408
130.99/131.01	v -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423
130.99/131.01	v -424 -425 -426 -427 -428 429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439
130.99/131.01	v -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 450 -451 -452 -453 -454 -455
130.99/131.01	v -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 470 471
130.99/131.01	v -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 484 485 486 487
130.99/131.01	v 488 489 490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 502 503 504
130.99/131.01	v 505 506 507 508 509 510 511 512 513 -514 -515 -516 -517 -518 -519 -520 -521
130.99/131.01	v -522 -523 -524 -525 -526 -527 -528 -529 -530 531 532 -533 -534 -535 -536 -537
130.99/131.01	v -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 552 -553
130.99/131.01	v -554 -555 -556 -557 -558 -559 -560 561 -562 -563 -564 -565 -566 -567 -568 -569
130.99/131.01	v -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584
130.99/131.01	v -585 -586 -587 -588 -589 -590 -591 -592 593 -594 -595 -596 -597 -598 -599 -600
130.99/131.01	v -601 -602 603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616
130.99/131.01	v -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 627 -628 -629 -630 -631 -632
130.99/131.01	v -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 644 -645 -646 -647 -648
130.99/131.01	v -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 661 662 -663 -664
130.99/131.01	v -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679
130.99/131.01	v -680 -681 -682 -683 -684 -685 -686 -687 688 -689 -690 -691 -692 -693 -694 -695
130.99/131.01	v -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 706 -707 -708 -709 -710 -711
130.99/131.01	v -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 723 -724 -725 -726 -727
130.99/131.01	v -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742
130.99/131.01	v -743 744 745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758
130.99/131.01	v -759 -760 -761 -762 -763 -764 -765 766 -767 -768 -769 -770 -771 -772 -773 -774
130.99/131.01	v -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 -785 786 -787 -788 -789 -790
130.99/131.01	v -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 804 805 -806
130.99/131.01	v -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 822
130.99/131.01	v 823 824 825 826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 -838
130.99/131.01	v -839 -840 -841 -842 -843 -844 845 846 -847 -848 -849 -850 -851 -852 -853 -854
130.99/131.01	v -855 -856 -857 -858 -859 -860 -861 862 863 864 -865 -866 -867 -868 -869 -870
130.99/131.01	v -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885
130.99/131.01	v -886 887 -888 -889 -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 901
130.99/131.01	v -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916
130.99/131.01	v -917 -918 -919 -920 -921 -922 -923 -924 925 926 927 -928 -929 -930 -931 -932
130.99/131.01	v -933 -934 -935 -936 -937 -938 -939 -940 -941 942 943 944 -945 -946 -947 -948
130.99/131.01	v -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 961 962 963 -964
130.99/131.01	v -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979
130.99/131.01	v -980 -981 982 983 984 985 986 987 -988 -989 -990 -991 -992 -993 -994 -995 -996
130.99/131.01	v -997 -998 -999 -1000 -1001 1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009
130.99/131.01	v -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 1022
130.99/131.01	v 1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035
130.99/131.01	v -1036 -1037 -1038 -1039 -1040 -1041 -1042 1043 -1044 -1045 -1046 -1047 -1048
130.99/131.01	v -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061
130.99/131.01	v -1062 -1063 -1064 -1065 1066 1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074
130.99/131.01	v -1075 -1076 -1077 -1078 -1079 -1080 -1081 1082 1083 -1084 -1085 -1086 -1087
130.99/131.01	v -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100
130.99/131.01	v -1101 -1102 1103 -1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111 -1112 -1113
130.99/131.01	v -1114 -1115 -1116 -1117 -1118 -1119 -1120 -1121 -1122 -1123 -1124 -1125 1126
130.99/131.01	v 1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139
130.99/131.01	v -1140 -1141 1142 -1143 -1144 -1145 -1146 -1147 -1148 -1149 -1150 -1151 -1152
130.99/131.01	v -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160 -1161 1162 -1163 -1164 -1165
130.99/131.01	v -1166 -1167 -1168 -1169 -1170 -1171 -1172 -1173 -1174 -1175 -1176 -1177 -1178
130.99/131.01	v -1179 -1180 -1181 -1182 -1183 -1184 1185 1186 1187 1188 -1189 -1190 -1191
130.99/131.01	v -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 -1200 -1201 -1202 -1203 -1204
130.99/131.01	v -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 -1217
130.99/131.01	v -1218 -1219 -1220 -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230
130.99/131.01	v -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240 -1241 -1242 -1243
130.99/131.01	v -1244 -1245 -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256
130.99/131.01	v -1257 -1258 -1259 -1260 -1261 -1262 -1263 -1264 1265 1266 1267 1268 -1269
130.99/131.01	v -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280 -1281 -1282
130.99/131.01	v -1283 -1284 1285 1286 1287 1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295
130.99/131.01	v -1296 -1297 -1298 -1299 -1300 -1301 -1302 -1303 -1304 -1305 -1306 -1307 -1308
130.99/131.01	v -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320 -1321
130.99/131.01	v -1322 -1323 -1324 -1325 -1326 -1327 -1328 -1329 -1330 -1331 -1332 -1333 -1334
130.99/131.01	v -1335 -1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343 -1344 -1345 -1346 -1347
130.99/131.01	v -1348 -1349 -1350 -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360
130.99/131.01	v -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373
130.99/131.01	v -1374 -1375 -1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383 -1384 -1385 -1386
130.99/131.01	v -1387 -1388 -1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399
130.99/131.01	v -1400 -1401 -1402 -1403 -1404 -1405 -1406 1407 -1408 -1409 -1410 -1411 -1412
130.99/131.01	v -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423 -1424 -1425
130.99/131.01	v -1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438
130.99/131.01	v -1439 -1440 -1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451
130.99/131.01	v -1452 -1453 -1454 -1455 -1456 -1457 -1458 -1459 -1460 -1461 -1462 -1463 -1464
130.99/131.01	v -1465 -1466 -1467 1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 -1476 -1477
130.99/131.01	v -1478 -1479 -1480 -1481 -1482 -1483 -1484 -1485 1486 -1487 -1488 -1489 -1490
130.99/131.01	v -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500 -1501 -1502 -1503
130.99/131.01	v -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516
130.99/131.01	v -1517 -1518 -1519 -1520 -1521 -1522 -1523 -1524 1525 -1526 -1527 -1528 -1529
130.99/131.01	v -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 -1541 -1542
130.99/131.01	v -1543 -1544 -1545 1546 -1547 -1548 -1549 -1550 -1551 -1552 -1553 -1554 -1555
130.99/131.01	v -1556 -1557 -1558 -1559 -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568
130.99/131.01	v -1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580 -1581
130.99/131.01	v -1582 -1583 -1584 -1585 -1586 -1587 -1588 -1589 -1590 -1591 -1592 -1593 -1594
130.99/131.01	v -1595 -1596 -1597 -1598 -1599 -1600 -1601 -1602 -1603 -1604 -1605 -1606 -1607
130.99/131.01	v -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620
130.99/131.01	v -1621 -1622 -1623 1624 1625 1626 1627 1628 -1629 -1630 -1631 -1632 -1633 -1634
130.99/131.01	v -1635 -1636 -1637 -1638 -1639 -1640 -1641 1642 1643 1644 1645 1646 1647 1648
130.99/131.01	v -1649 -1650 -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660 -1661
130.99/131.01	v -1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671 -1672 -1673 -1674
130.99/131.01	v -1675 -1676 -1677 -1678 -1679 -1680 -1681 -1682 -1683 -1684 -1685 -1686 -1687
130.99/131.01	v -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700
130.99/131.01	v 1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713
130.99/131.01	v -1714 -1715 -1716 -1717 -1718 -1719 -1720 -1721 -1722 -1723 -1724 -1725 -1726
130.99/131.01	v -1727 -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739
130.99/131.01	v -1740 -1741 -1742 1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751 -1752
130.99/131.01	v -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760 -1761 -1762 -1763 -1764 -1765
130.99/131.01	v -1766 1767 -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778
130.99/131.01	v -1779 -1780 -1781 -1782 -1783 1784 -1785 -1786 -1787 -1788 -1789 -1790 -1791
130.99/131.01	v -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800 1801 1802 -1803 -1804
130.99/131.01	v -1805 -1806 -1807 -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815 -1816 -1817
130.99/131.01	v -1818 -1819 -1820 -1821 -1822 -1823 -1824 -1825 -1826 -1827 1828 -1829 -1830
130.99/131.01	v -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840 -1841 -1842 -1843
130.99/131.01	v -1844 -1845 1846 -1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855 -1856
130.99/131.01	v -1857 -1858 -1859 -1860 -1861 -1862 1863 -1864 -1865 -1866 -1867 -1868 -1869
130.99/131.01	v -1870 -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880 -1881 -1882
130.99/131.01	v -1883 1884 1885 -1886 -1887 -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895
130.99/131.01	v -1896 -1897 -1898 -1899 -1900 -1901 -1902 -1903 -1904 -1905 1906 -1907 -1908
130.99/131.01	v -1909 -1910 -1911 -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920 -1921
130.99/131.01	v -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934
130.99/131.01	v -1935 -1936 -1937 -1938 -1939 -1940 -1941 -1942 -1943 -1944 -1945 -1946 -1947
130.99/131.01	v -1948 -1949 -1950 -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960
130.99/131.01	v -1961 -1962 -1963 -1964 -1965 -1966 -1967 -1968 1969 -1970 -1971 -1972 -1973
130.99/131.01	v -1974 -1975 -1976 -1977 -1978 -1979 -1980 -1981 -1982 -1983 -1984 -1985 -1986
130.99/131.01	v -1987 -1988 1989 -1990 -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999
130.99/131.01	v -2000 -2001 -2002 -2003 -2004 -2005 -2006 -2007 -2008 -2009 -2010 -2011 -2012
130.99/131.01	v -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023 -2024 -2025
130.99/131.01	v -2026 -2027 -2028 -2029 -2030 -2031 -2032 -2033 -2034 -2035 -2036 -2037 -2038
130.99/131.01	v -2039 -2040 -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 -2051
130.99/131.01	v -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060 -2061 -2062 -2063 -2064
130.99/131.01	v -2065 -2066 -2067 -2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 -2077
130.99/131.01	v -2078 -2079 -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090
130.99/131.01	v -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100 -2101 -2102 -2103
130.99/131.01	v -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116
130.99/131.01	v -2117 -2118 -2119 -2120 -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129
130.99/131.01	v -2130 -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140 -2141 -2142
130.99/131.01	v -2143 -2144 -2145 -2146 -2147 -2148 -2149 -2150 -2151 -2152 -2153 -2154 -2155
130.99/131.01	v -2156 -2157 -2158 -2159 -2160 -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168
130.99/131.01	v -2169 -2170 -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180 -2181
130.99/131.01	v -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194
130.99/131.01	v -2195 -2196 -2197 -2198 -2199 -2200 -2201 -2202 -2203 -2204 -2205 -2206 -2207
130.99/131.01	v -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220
130.99/131.01	v -2221 -2222 -2223 -2224 -2225 -2226 -2227 -2228 -2229 -2230 -2231 -2232 -2233
130.99/131.01	v -2234 -2235 -2236 -2237 -2238 -2239 -2240 -2241 -2242 -2243 -2244 -2245 -2246
130.99/131.01	v -2247 -2248 -2249 -2250 -2251 -2252 -2253 -2254 -2255 -2256 -2257 -2258 -2259
130.99/131.01	v -2260 -2261 -2262 -2263 -2264 -2265 -2266 -2267 -2268 -2269 2270 -2271 -2272
130.99/131.01	v -2273 -2274 -2275 -2276 -2277 -2278 -2279 -2280 -2281 -2282 -2283 -2284 -2285
130.99/131.01	v -2286 -2287 -2288 -2289 2290 -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298
130.99/131.01	v -2299 -2300 -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 2310 -2311
130.99/131.01	v -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 -2320 -2321 -2322 -2323 -2324
130.99/131.01	v -2325 -2326 -2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335 -2336 -2337
130.99/131.01	v -2338 -2339 -2340 -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350
130.99/131.01	v -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360 -2361 -2362 -2363
130.99/131.01	v -2364 -2365 -2366 -2367 -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375 -2376
130.99/131.01	v -2377 -2378 -2379 -2380 -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389
130.99/131.01	v -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400 -2401 -2402
130.99/131.01	v -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415
130.99/131.01	v -2416 -2417 -2418 -2419 -2420 -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428
130.99/131.01	v -2429 -2430 -2431 -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440 -2441
130.99/131.01	v -2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450 -2451 -2452 -2453 -2454
130.99/131.01	v -2455 -2456 -2457 -2458 -2459 -2460 -2461 -2462 -2463 -2464 -2465 -2466 -2467
130.99/131.01	v -2468 -2469 -2470 -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480
130.99/131.01	v -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490 -2491 -2492 -2493
130.99/131.01	v -2494 -2495 -2496 -2497 -2498 -2499 -2500 -2501 -2502 -2503 -2504 -2505 -2506
130.99/131.01	v -2507 -2508 -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519
130.99/131.01	v -2520 -2521 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532
130.99/131.01	v -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540 -2541 -2542 -2543 -2544 -2545
130.99/131.01	v -2546 -2547 -2548 -2549 -2550 -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558
130.99/131.01	v -2559 -2560 -2561 -2562 -2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570 -2571
130.99/131.01	v -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580 -2581 -2582 -2583 -2584
130.99/131.01	v -2585 -2586 -2587 -2588 -2589 2590 -2591 -2592 -2593 -2594 -2595 -2596 -2597
130.99/131.01	v -2598 -2599 -2600 -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 2610
130.99/131.01	v 2611 -2612 -2613 -2614 -2615 -2616 -2617 -2618 -2619 -2620 -2621 -2622 -2623
130.99/131.01	v -2624 -2625 -2626 -2627 -2628 -2629 -2630 2631 -2632 -2633 -2634 -2635 -2636
130.99/131.01	v -2637 -2638 -2639 -2640 -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649
130.99/131.01	v -2650 -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660 -2661 -2662
130.99/131.01	v -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675
130.99/131.01	v -2676 -2677 -2678 -2679 -2680 -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688
130.99/131.01	v -2689 -2690 -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700 -2701
130.99/131.01	v -2702 -2703 -2704 -2705 -2706 -2707 -2708 -2709 -2710 -2711 -2712 -2713 -2714
130.99/131.01	v -2715 -2716 -2717 -2718 -2719 -2720 -2721 -2722 -2723 -2724 -2725 -2726 -2727
130.99/131.01	v -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740
130.99/131.01	v -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751 -2752 -2753
130.99/131.01	v -2754 -2755 -2756 -2757 -2758 -2759 -2760 -2761 -2762 -2763 -2764 -2765 -2766
130.99/131.01	v -2767 -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779
130.99/131.01	v -2780 -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791 -2792
130.99/131.01	v -2793 -2794 -2795 -2796 -2797 -2798 -2799 -2800 -2801 -2802 -2803 -2804 -2805
130.99/131.01	v -2806 -2807 -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818
130.99/131.01	v -2819 -2820 -2821 -2822 -2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831
130.99/131.01	v -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839 -2840 -2841 -2842 -2843 -2844
130.99/131.01	v -2845 -2846 -2847 -2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855 -2856 -2857
130.99/131.01	v -2858 -2859 -2860 -2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 -2870
130.99/131.01	v -2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880 -2881 -2882 -2883
130.99/131.01	v 2884 2885 2886 2887 2888 2889 2890 -2891 -2892 -2893 -2894 -2895 -2896 -2897
130.99/131.01	v -2898 -2899 -2900 -2901 -2902 -2903 -2904 -2905 -2906 -2907 -2908 -2909 -2910
130.99/131.01	v -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920 -2921 -2922 -2923
130.99/131.01	v -2924 -2925 -2926 -2927 -2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935 -2936
130.99/131.01	v -2937 -2938 -2939 -2940 -2941 -2942 -2943 -2944 -2945 -2946 -2947 -2948 -2949
130.99/131.01	v -2950 -2951 -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960 -2961 -2962
130.99/131.01	v -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975
130.99/131.01	v -2976 -2977 -2978 -2979 -2980 -2981 -2982 -2983 -2984 -2985 -2986 -2987 -2988
130.99/131.01	v -2989 -2990 -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000 -3001
130.99/131.01	v -3002 -3003 -3004 -3005 -3006 3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014
130.99/131.01	v -3015 -3016 -3017 -3018 -3019 -3020 -3021 -3022 -3023 3024 -3025 -3026 -3027
130.99/131.01	v -3028 -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040
130.99/131.01	v -3041 -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050 -3051 -3052 -3053
130.99/131.01	v -3054 -3055 -3056 -3057 -3058 -3059 -3060 -3061 -3062 -3063 -3064 -3065 -3066
130.99/131.01	v -3067 3068 -3069 -3070 -3071 -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079
130.99/131.01	v -3080 -3081 -3082 -3083 -3084 -3085 3086 -3087 -3088 -3089 -3090 -3091 -3092
130.99/131.01	v -3093 -3094 -3095 -3096 -3097 -3098 -3099 -3100 -3101 -3102 -3103 -3104 -3105
130.99/131.01	v -3106 -3107 -3108 -3109 -3110 -3111 -3112 -3113 -3114 -3115 -3116 -3117 -3118
130.99/131.01	v -3119 -3120 -3121 -3122 -3123 3124 3125 -3126 -3127 -3128 -3129 -3130 -3131
130.99/131.01	v -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140 -3141 -3142 -3143 -3144
130.99/131.01	v -3145 3146 -3147 -3148 -3149 -3150 -3151 -3152 -3153 -3154 -3155 -3156 -3157
130.99/131.01	v -3158 -3159 -3160 -3161 -3162 -3163 -3164 -3165 -3166 -3167 -3168 -3169 -3170
130.99/131.01	v 3171 3172 -3173 -3174 -3175 -3176 -3177 -3178 -3179 -3180 -3181 -3182 -3183
130.99/131.01	v -3184 -3185 -3186 -3187 -3188 -3189 -3190 -3191 3192 -3193 -3194 -3195 -3196
130.99/131.01	v -3197 -3198 -3199 -3200 -3201 -3202 -3203 -3204 -3205 -3206 -3207 -3208 -3209
130.99/131.01	v -3210 -3211 -3212 -3213 -3214 -3215 -3216 -3217 -3218 -3219 -3220 -3221 -3222
130.99/131.01	v -3223 -3224 -3225 -3226 -3227 -3228 -3229 -3230 -3231 -3232 3233 -3234 -3235
130.99/131.01	v -3236 -3237 -3238 -3239 -3240 -3241 -3242 3243 -3244 -3245 -3246 -3247 -3248
130.99/131.01	v -3249 -3250 -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259 -3260 -3261
130.99/131.01	v -3262 -3263 -3264 -3265 -3266 3267 -3268 -3269 -3270 -3271 -3272 -3273 -3274
130.99/131.01	v -3275 -3276 -3277 -3278 -3279 -3280 -3281 -3282 -3283 3284 -3285 -3286 -3287
130.99/131.01	v -3288 -3289 -3290 -3291 -3292 -3293 -3294 -3295 -3296 -3297 -3298 -3299 -3300
130.99/131.01	v -3301 3302 -3303 -3304 -3305 -3306 -3307 -3308 -3309 -3310 -3311 -3312 -3313
130.99/131.01	v -3314 -3315 -3316 -3317 -3318 -3319 -3320 -3321 -3322 -3323 -3324 -3325 -3326
130.99/131.01	v -3327 3328 -3329 -3330 -3331 -3332 -3333 -3334 -3335 -3336 -3337 -3338 -3339
130.99/131.01	v -3340 -3341 -3342 -3343 -3344 -3345 3346 -3347 -3348 -3349 -3350 -3351 -3352
130.99/131.01	v -3353 -3354 -3355 -3356 -3357 -3358 -3359 -3360 -3361 -3362 3363 -3364 -3365
130.99/131.01	v -3366 -3367 -3368 -3369 -3370 -3371 -3372 -3373 -3374 -3375 -3376 -3377 -3378
130.99/131.01	v -3379 -3380 -3381 -3382 -3383 3384 3385 -3386 -3387 -3388 -3389 -3390 -3391
130.99/131.01	v -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399 -3400 -3401 -3402 -3403 -3404
130.99/131.01	v -3405 3406 -3407 -3408 -3409 -3410 -3411 -3412 -3413 -3414 -3415 -3416 -3417
130.99/131.01	v -3418 -3419 -3420 -3421 -3422 -3423 -3424 -3425 -3426 -3427 -3428 -3429 -3430
130.99/131.01	v -3431 3432 -3433 -3434 -3435 -3436 -3437 -3438 -3439 -3440 -3441 -3442 -3443
130.99/131.01	v -3444 -3445 -3446 -3447 -3448 -3449 -3450 -3451 -3452 -3453 -3454 -3455 -3456
130.99/131.01	v -3457 -3458 -3459 -3460 -3461 -3462 -3463 -3464 -3465 -3466 -3467 -3468 -3469
130.99/131.01	v -3470 -3471 -3472 -3473 -3474 -3475 -3476 -3477 -3478 -3479 -3480 -3481 -3482
130.99/131.01	v -3483 -3484 -3485 -3486 -3487 -3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495
130.99/131.01	v -3496 -3497 -3498 -3499 -3500 -3501 -3502 -3503 -3504 -3505 -3506 -3507 -3508
130.99/131.01	v -3509 -3510 -3511 -3512 -3513 -3514 -3515 -3516 -3517 -3518 -3519 -3520 -3521
130.99/131.01	v -3522 -3523 -3524 -3525 -3526 -3527 -3528 -3529 -3530 -3531 -3532 -3533 -3534
130.99/131.01	v -3535 -3536 -3537 -3538 -3539 -3540 -3541 -3542 -3543 -3544 -3545 -3546 -3547
130.99/131.01	v -3548 -3549 -3550 -3551 -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560
130.99/131.01	v -3561 -3562 -3563 -3564 -3565 -3566 -3567 -3568 -3569 -3570 -3571 -3572 -3573
130.99/131.01	v -3574 -3575 -3576 -3577 -3578 -3579 -3580 -3581 -3582 -3583 -3584 -3585 -3586
130.99/131.01	v -3587 -3588 -3589 -3590 -3591 -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599
130.99/131.01	v -3600 -3601 -3602 -3603 -3604 -3605 -3606 -3607 -3608 -3609 -3610 -3611 -3612
130.99/131.01	v -3613 -3614 -3615 -3616 -3617 -3618 -3619 -3620 -3621 -3622 -3623 -3624 -3625
130.99/131.01	v -3626 -3627 -3628 -3629 -3630 -3631 -3632 -3633 -3634 -3635 -3636 -3637 -3638
130.99/131.01	v -3639 -3640 -3641 -3642 -3643 -3644 -3645 -3646 -3647 -3648 -3649 -3650 -3651
130.99/131.01	v -3652 -3653 -3654 -3655 -3656 -3657 -3658 -3659 -3660 -3661 -3662 -3663 -3664
130.99/131.01	v -3665 -3666 -3667 -3668 -3669 -3670 -3671 -3672 -3673 -3674 -3675 -3676 -3677
130.99/131.01	v -3678 -3679 -3680 -3681 -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690
130.99/131.01	v -3691 -3692 -3693 -3694 -3695 -3696 -3697 -3698 -3699 -3700 -3701 -3702 -3703
130.99/131.01	v -3704 -3705 -3706 -3707 -3708 -3709 -3710 -3711 -3712 -3713 -3714 -3715 -3716
130.99/131.01	v -3717 -3718 -3719 -3720 -3721 -3722 -3723 -3724 -3725 -3726 -3727 -3728 -3729
130.99/131.01	v -3730 -3731 -3732 -3733 -3734 -3735 -3736 -3737 -3738 -3739 -3740 -3741 -3742
130.99/131.01	v -3743 -3744 -3745 -3746 -3747 -3748 -3749 -3750 -3751 -3752 -3753 -3754 -3755
130.99/131.01	v -3756 -3757 -3758 -3759 -3760 -3761 -3762 -3763 -3764 -3765 -3766 -3767 -3768
130.99/131.01	v -3769 -3770 -3771 -3772 -3773 -3774 -3775 -3776 -3777 -3778 -3779 -3780 -3781
130.99/131.01	v -3782 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791 -3792 -3793 -3794
130.99/131.01	v -3795 -3796 -3797 -3798 -3799 -3800 -3801 -3802 -3803 -3804 -3805 -3806 -3807
130.99/131.01	v -3808 -3809 -3810 -3811 -3812 -3813 -3814 -3815 -3816 -3817 -3818 -3819 -3820
130.99/131.01	v -3821 -3822 -3823 -3824 -3825 -3826 -3827 -3828 -3829 -3830 -3831 -3832 -3833
130.99/131.01	v -3834 -3835 -3836 -3837 -3838 -3839 -3840 -3841 -3842 -3843 -3844 -3845 -3846
130.99/131.01	v -3847 -3848 -3849 -3850 -3851 -3852 -3853 -3854 -3855 -3856 -3857 -3858 -3859
130.99/131.01	v -3860 -3861 -3862 -3863 -3864 -3865 -3866 -3867 -3868 -3869 -3870 -3871 -3872
130.99/131.01	v -3873 -3874 -3875 -3876 -3877 -3878 -3879 -3880 -3881 -3882 -3883 -3884 -3885
130.99/131.01	v -3886 -3887 -3888 -3889 -3890 -3891 -3892 -3893 -3894 -3895 -3896 -3897 -3898
130.99/131.01	v -3899 -3900 -3901 -3902 -3903 -3904 -3905 -3906 -3907 -3908 -3909 -3910 -3911
130.99/131.01	v -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919 -3920 -3921 -3922 -3923 -3924
130.99/131.01	v -3925 -3926 -3927 -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935 -3936 -3937
130.99/131.01	v -3938 -3939 -3940 -3941 -3942 -3943 -3944 -3945 -3946 -3947 -3948 -3949 -3950
130.99/131.01	v -3951 -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960 3961 -3962 -3963
130.99/131.01	v -3964 -3965 -3966 -3967 -3968 -3969 -3970 -3971 -3972 -3973 -3974 -3975 -3976
130.99/131.01	v -3977 -3978 -3979 -3980 -3981 -3982 -3983 -3984 -3985 -3986 -3987 -3988 -3989
130.99/131.01	v -3990 -3991 -3992 -3993 -3994 -3995 -3996 -3997 -3998 -3999 -4000 -4001 -4002
130.99/131.01	v -4003 -4004 -4005 -4006 -4007 -4008 -4009 -4010 -4011 -4012 -4013 -4014 -4015
130.99/131.01	v -4016 -4017 -4018 -4019 -4020 -4021 -4022 -4023 -4024 -4025 -4026 -4027 -4028
130.99/131.01	v -4029 -4030 -4031 -4032 -4033 -4034 -4035 -4036 -4037 -4038 -4039 -4040 -4041
130.99/131.01	v -4042 -4043 -4044 -4045 -4046 -4047 -4048 -4049 -4050 -4051 -4052 -4053 -4054
130.99/131.01	v -4055 -4056 -4057 -4058 -4059 -4060 -4061 -4062 -4063 -4064 -4065 -4066 -4067
130.99/131.01	v -4068 -4069 -4070 -4071 -4072 -4073 -4074 -4075 -4076 -4077 -4078 -4079 -4080
130.99/131.01	v -4081 -4082 -4083 -4084 -4085 -4086 -4087 -4088 -4089 -4090 -4091 -4092 -4093
130.99/131.01	v -4094 -4095 -4096 -4097 -4098 -4099 -4100 -4101 -4102 -4103 -4104 -4105 -4106
130.99/131.01	v -4107 -4108 -4109 -4110 -4111 -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119
130.99/131.01	v -4120 -4121 -4122 -4123 -4124 -4125 -4126 -4127 -4128 -4129 -4130 -4131 -4132
130.99/131.01	v -4133 -4134 -4135 -4136 -4137 -4138 -4139 -4140 -4141 -4142 -4143 -4144 -4145
130.99/131.01	v -4146 -4147 -4148 -4149 -4150 -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158
130.99/131.01	v -4159 -4160 -4161 -4162 -4163 -4164 -4165 -4166 -4167 -4168 -4169 -4170 -4171
130.99/131.01	v -4172 -4173 -4174 -4175 -4176 -4177 -4178 -4179 -4180 -4181 -4182 -4183 -4184
130.99/131.01	v -4185 -4186 -4187 -4188 -4189 -4190 -4191 -4192 -4193 -4194 -4195 -4196 -4197
130.99/131.01	v -4198 -4199 -4200 -4201 -4202 -4203 -4204 -4205 -4206 -4207 -4208 -4209 -4210
130.99/131.01	v -4211 -4212 -4213 -4214 -4215 -4216 -4217 -4218 -4219 -4220 -4221 -4222 -4223
130.99/131.01	v -4224 -4225 -4226 -4227 -4228 -4229 -4230 -4231 -4232 -4233 -4234 -4235 -4236
130.99/131.01	v -4237 -4238 -4239 -4240 -4241 -4242 -4243 -4244 -4245 -4246 -4247 -4248 -4249
130.99/131.01	v -4250 -4251 -4252 -4253 -4254 -4255 -4256 -4257 -4258 -4259 -4260 -4261 -4262
130.99/131.01	v -4263 -4264 -4265 -4266 -4267 -4268 -4269 -4270 -4271 -4272 -4273 -4274 -4275
130.99/131.01	v -4276 -4277 -4278 -4279 -4280 -4281 -4282 -4283 -4284 -4285 -4286 -4287 -4288
130.99/131.01	v -4289 -4290 -4291 -4292 -4293 -4294 -4295 -4296 -4297 -4298 -4299 -4300 -4301
130.99/131.01	v -4302 -4303 -4304 -4305 -4306 -4307 -4308 -4309 -4310 -4311 -4312 -4313 -4314
130.99/131.01	v -4315 -4316 -4317 -4318 -4319 -4320 -4321 -4322 -4323 -4324 -4325 -4326 -4327
130.99/131.01	v -4328 -4329 -4330 -4331 -4332 -4333 -4334 -4335 -4336 -4337 -4338 -4339 -4340
130.99/131.01	v -4341 -4342 -4343 -4344 -4345 -4346 -4347 -4348 -4349 -4350 -4351 -4352 -4353
130.99/131.01	v -4354 -4355 -4356 -4357 -4358 -4359 -4360 -4361 -4362 4363 -4364 -4365 -4366
130.99/131.01	v -4367 -4368 -4369 -4370 -4371 -4372 -4373 -4374 -4375 -4376 -4377 -4378 -4379
130.99/131.01	v -4380 -4381 -4382 -4383 -4384 -4385 -4386 -4387 -4388 -4389 -4390 -4391 -4392
130.99/131.01	v -4393 -4394 -4395 -4396 -4397 -4398 -4399 -4400 -4401 -4402 -4403 -4404 -4405
130.99/131.01	v -4406 -4407 -4408 -4409 -4410 -4411 -4412 -4413 -4414 -4415 -4416 -4417 -4418
130.99/131.01	v -4419 -4420 -4421 -4422 -4423 -4424 -4425 -4426 -4427 -4428 -4429 -4430 -4431
130.99/131.01	v -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439 -4440 -4441 -4442 -4443 -4444
130.99/131.01	v -4445 -4446 -4447 -4448 -4449 -4450 -4451 -4452 -4453 -4454 -4455 -4456 -4457
130.99/131.01	v -4458 -4459 -4460 -4461 -4462 -4463 -4464 -4465 -4466 -4467 -4468 -4469 -4470
130.99/131.01	v -4471 -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479 -4480 -4481 -4482 -4483
130.99/131.01	v -4484 -4485 -4486 -4487 -4488 -4489 -4490 -4491 -4492 -4493 -4494 -4495 -4496
130.99/131.01	v -4497 -4498 -4499 -4500 -4501 -4502 -4503 -4504 -4505 -4506 -4507 -4508 -4509
130.99/131.01	v -4510 -4511 -4512 -4513 -4514 -4515 -4516 -4517 -4518 -4519 -4520 -4521 -4522
130.99/131.01	v -4523 -4524 -4525 -4526 -4527 -4528 -4529 -4530 -4531 -4532 -4533 -4534 -4535
130.99/131.01	v -4536 -4537 -4538 -4539 -4540 -4541 -4542 -4543 -4544 -4545 -4546 -4547 -4548
130.99/131.01	v -4549 -4550 -4551 -4552 -4553 -4554 -4555 -4556 -4557 -4558 -4559 -4560 -4561
130.99/131.01	v -4562 -4563 -4564 -4565 -4566 -4567 -4568 -4569 -4570 -4571 -4572 -4573 -4574
130.99/131.01	v -4575 -4576 -4577 -4578 -4579 -4580 -4581 -4582 -4583 -4584 -4585 -4586 -4587
130.99/131.01	v -4588 -4589 -4590 -4591 -4592 -4593 -4594 -4595 -4596 -4597 -4598 -4599 -4600
130.99/131.01	v -4601 -4602 -4603 -4604 -4605 -4606 -4607 -4608 -4609 -4610 -4611 -4612 -4613
130.99/131.01	v -4614 -4615 -4616 -4617 -4618 -4619 -4620 -4621 -4622 -4623 -4624 -4625 -4626
130.99/131.01	v -4627 -4628 -4629 -4630 -4631 -4632 -4633 -4634 -4635 -4636 -4637 -4638 -4639
130.99/131.01	v -4640 -4641 -4642 -4643 4644 -4645 -4646 -4647 -4648 -4649 -4650 -4651 -4652
130.99/131.01	v -4653 -4654 -4655 -4656 -4657 -4658 -4659 -4660 -4661 -4662 -4663 -4664 -4665
130.99/131.01	v -4666 -4667 -4668 -4669 -4670 -4671 -4672 -4673 -4674 -4675 -4676 -4677 -4678
130.99/131.01	v -4679 -4680 -4681 -4682 -4683 -4684 -4685 -4686 -4687 -4688 -4689 -4690 -4691
130.99/131.01	v -4692 -4693 -4694 -4695 -4696 -4697 -4698 -4699 -4700 -4701 -4702 -4703 -4704
130.99/131.01	v -4705 -4706 -4707 -4708 -4709 -4710 -4711 -4712 -4713 -4714 -4715 -4716 -4717
130.99/131.01	v -4718 -4719 -4720 -4721 -4722 -4723 -4724 -4725 -4726 -4727 -4728 -4729 -4730
130.99/131.01	v -4731 -4732 -4733 -4734 -4735 -4736 -4737 -4738 -4739 -4740 -4741 -4742 -4743
130.99/131.01	v -4744 -4745 -4746 -4747 -4748 -4749 -4750 -4751 -4752 -4753 -4754 -4755 -4756
130.99/131.01	v -4757 -4758 -4759 -4760 -4761 -4762 -4763 -4764 -4765 -4766 -4767 -4768 -4769
130.99/131.01	v -4770 -4771 -4772 -4773 -4774 -4775 -4776 -4777 -4778 -4779 -4780 -4781 -4782
130.99/131.01	v -4783 -4784 -4785 -4786 -4787 -4788 -4789 -4790 -4791 -4792 -4793 -4794 -4795
130.99/131.01	v -4796 -4797 -4798 -4799 -4800 -4801 -4802 -4803 -4804 -4805 -4806 -4807 -4808
130.99/131.01	v -4809 -4810 -4811 -4812 -4813 -4814 -4815 -4816 -4817 -4818 -4819 -4820 -4821
130.99/131.01	v -4822 -4823 -4824 -4825 -4826 -4827 -4828 -4829 -4830 -4831 -4832 -4833 -4834
130.99/131.01	v -4835 -4836 -4837 -4838 -4839 -4840 -4841 -4842 -4843 -4844 -4845 -4846 -4847
130.99/131.01	v -4848 -4849 -4850 -4851 -4852 -4853 -4854 -4855 -4856 -4857 -4858 -4859 -4860
130.99/131.01	v -4861 -4862 -4863 -4864 -4865 -4866 -4867 -4868 -4869 -4870 -4871 -4872 -4873
130.99/131.01	v -4874 -4875 -4876 -4877 -4878 -4879 -4880 -4881 -4882 -4883 -4884 -4885 -4886
130.99/131.01	v -4887 -4888 -4889 -4890 -4891 -4892 -4893 -4894 -4895 -4896 -4897 -4898 -4899
130.99/131.01	v -4900 -4901 -4902 -4903 -4904 -4905 4906 -4907 -4908 -4909 -4910 -4911 -4912
130.99/131.01	v -4913 -4914 -4915 -4916 -4917 -4918 -4919 -4920 -4921 -4922 -4923 -4924 -4925
130.99/131.01	v -4926 -4927 -4928 -4929 -4930 -4931 -4932 -4933 -4934 -4935 -4936 -4937 -4938
130.99/131.01	v -4939 -4940 -4941 -4942 -4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950 -4951
130.99/131.01	v -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959 -4960 -4961 -4962 -4963 -4964
130.99/131.01	v -4965 -4966 -4967 -4968 -4969 -4970 -4971 -4972 -4973 -4974 -4975 -4976 -4977
130.99/131.01	v -4978 -4979 -4980 -4981 -4982 -4983 -4984 -4985 -4986 -4987 -4988 -4989 -4990
130.99/131.01	v -4991 -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999 -5000 -5001 -5002 -5003
130.99/131.01	v -5004 -5005 5006 -5007 -5008 -5009 -5010 -5011 -5012 -5013 -5014 -5015 -5016
130.99/131.01	v -5017 -5018 -5019 -5020 -5021 -5022 -5023 -5024 -5025 5026 -5027 -5028 -5029
130.99/131.01	v -5030 -5031 -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039 -5040 -5041 -5042
130.99/131.01	v -5043 -5044 -5045 -5046 -5047 -5048 -5049 -5050 -5051 -5052 -5053 -5054 -5055
130.99/131.01	v -5056 -5057 -5058 -5059 -5060 -5061 -5062 -5063 -5064 -5065 -5066 -5067 -5068
130.99/131.01	v -5069 -5070 -5071 -5072 -5073 -5074 -5075 -5076 -5077 -5078 -5079 -5080 -5081
130.99/131.01	v -5082 -5083 -5084 -5085 -5086 -5087 -5088 -5089 -5090 -5091 -5092 -5093 -5094
130.99/131.01	v -5095 -5096 -5097 -5098 -5099 -5100 -5101 -5102 -5103 -5104 -5105 5106 -5107
130.99/131.01	v -5108 -5109 -5110 -5111 -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119 -5120
130.99/131.01	v -5121 -5122 -5123 -5124 -5125 -5126 -5127 -5128 -5129 -5130 -5131 -5132 -5133
130.99/131.01	v -5134 -5135 -5136 -5137 -5138 -5139 -5140 -5141 -5142 -5143 -5144 -5145 -5146
130.99/131.01	v -5147 -5148 -5149 -5150 -5151 -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159
130.99/131.01	v -5160 -5161 -5162 -5163 -5164 -5165 5166 -5167 -5168 -5169 -5170 -5171 -5172
130.99/131.01	v -5173 -5174 -5175 -5176 -5177 -5178 -5179 -5180 -5181 -5182 -5183 -5184 -5185
130.99/131.01	v -5186 -5187 -5188 -5189 -5190 -5191 -5192 -5193 -5194 -5195 -5196 -5197 -5198
130.99/131.01	v -5199 -5200 -5201 -5202 -5203 -5204 -5205 -5206 -5207 -5208 -5209 -5210 -5211
130.99/131.01	v -5212 -5213 -5214 -5215 -5216 -5217 -5218 -5219 -5220 -5221 -5222 -5223 -5224
130.99/131.01	v -5225 -5226 -5227 -5228 -5229 -5230 -5231 -5232 -5233 -5234 -5235 -5236 -5237
130.99/131.01	v -5238 -5239 -5240 -5241 -5242 -5243 -5244 -5245 5246 -5247 -5248 -5249 -5250
130.99/131.01	v -5251 -5252 -5253 -5254 -5255 -5256 -5257 -5258 -5259 -5260 -5261 -5262 -5263
130.99/131.01	v -5264 -5265 -5266 -5267 -5268 -5269 -5270 -5271 -5272 -5273 -5274 -5275 -5276
130.99/131.01	v -5277 -5278 -5279 -5280 -5281 -5282 -5283 -5284 -5285 -5286 -5287 -5288 -5289
130.99/131.01	v -5290 -5291 -5292 -5293 -5294 -5295 -5296 -5297 -5298 -5299 -5300 -5301 -5302
130.99/131.01	v -5303 -5304 -5305 5306 -5307 -5308 -5309 -5310 -5311 -5312 -5313 -5314 -5315
130.99/131.01	v -5316 -5317 -5318 -5319 -5320 -5321 -5322 -5323 -5324 -5325 -5326 -5327 -5328
130.99/131.01	v -5329 -5330 -5331 -5332 -5333 -5334 -5335 -5336 -5337 -5338 -5339 -5340 -5341
130.99/131.01	v -5342 -5343 -5344 -5345 -5346 -5347 -5348 -5349 -5350 -5351 -5352 -5353 -5354
130.99/131.01	v -5355 -5356 -5357 -5358 -5359 -5360 -5361 -5362 -5363 5364 5365 -5366 -5367
130.99/131.01	v -5368 -5369 -5370 -5371 -5372 -5373 -5374 -5375 -5376 -5377 -5378 -5379 -5380
130.99/131.01	v -5381 -5382 -5383 -5384 5385 -5386 -5387 -5388 -5389 -5390 -5391 -5392 -5393
130.99/131.01	v -5394 -5395 -5396 -5397 -5398 -5399 -5400 -5401 -5402 -5403 5404 -5405 -5406
130.99/131.01	v -5407 -5408 -5409 -5410 -5411 -5412 -5413 -5414 -5415 -5416 -5417 -5418 -5419
130.99/131.01	v -5420 -5421 -5422 -5423 -5424 -5425 -5426 -5427 -5428 -5429 -5430 -5431 -5432
130.99/131.01	v -5433 -5434 -5435 -5436 -5437 -5438 -5439 -5440 -5441 -5442 -5443 -5444 -5445
130.99/131.01	v -5446 -5447 -5448 -5449 -5450 -5451 -5452 -5453 -5454 -5455 -5456 -5457 -5458
130.99/131.01	v -5459 -5460 -5461 -5462 -5463 -5464 5465 -5466 -5467 -5468 -5469 -5470 -5471
130.99/131.01	v -5472 -5473 -5474 -5475 -5476 -5477 -5478 -5479 -5480 -5481 -5482 -5483 5484
130.99/131.01	v -5485 -5486 -5487 -5488 -5489 -5490 -5491 -5492 -5493 -5494 -5495 -5496 -5497
130.99/131.01	v -5498 -5499 -5500 -5501 -5502 -5503 -5504 -5505 -5506 -5507 -5508 -5509 -5510
130.99/131.01	v -5511 -5512 -5513 -5514 -5515 -5516 -5517 -5518 -5519 -5520 -5521 -5522 -5523
130.99/131.01	v 5524 5525 -5526 -5527 -5528 -5529 -5530 -5531 -5532 -5533 -5534 -5535 -5536
130.99/131.01	v -5537 -5538 -5539 -5540 -5541 -5542 -5543 -5544 -5545 -5546 -5547 -5548 -5549
130.99/131.01	v -5550 -5551 -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559 -5560 -5561 -5562
130.99/131.01	v -5563 -5564 -5565 -5566 -5567 -5568 -5569 -5570 -5571 -5572 -5573 -5574 -5575
130.99/131.01	v -5576 -5577 -5578 -5579 -5580 -5581 -5582 -5583 -5584 -5585 -5586 -5587 -5588
130.99/131.01	v -5589 -5590 -5591 -5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599 -5600 -5601
130.99/131.01	v -5602 -5603 -5604 -5605 -5606 -5607 -5608 -5609 -5610 -5611 -5612 -5613 -5614
130.99/131.01	v -5615 -5616 -5617 -5618 -5619 -5620 -5621 -5622 -5623 -5624 -5625 -5626 -5627
130.99/131.01	v -5628 -5629 -5630 -5631 -5632 -5633 -5634 -5635 -5636 -5637 -5638 -5639 -5640
130.99/131.01	v -5641 -5642 -5643 -5644 -5645 -5646 -5647 -5648 -5649 -5650 -5651 -5652 -5653
130.99/131.01	v -5654 -5655 -5656 -5657 -5658 -5659 -5660 -5661 -5662 -5663 -5664 -5665 -5666
130.99/131.01	v -5667 -5668 -5669 -5670 -5671 -5672 -5673 -5674 -5675 -5676 -5677 -5678 -5679
130.99/131.01	v -5680 -5681 -5682 -5683 -5684 -5685 -5686 -5687 -5688 -5689 -5690 -5691 -5692
130.99/131.01	v -5693 -5694 -5695 -5696 -5697 -5698 -5699 -5700 -5701 -5702 -5703 -5704 -5705
130.99/131.01	v -5706 -5707 -5708 -5709 -5710 -5711 -5712 -5713 -5714 -5715 -5716 -5717 -5718
130.99/131.01	v -5719 -5720 -5721 -5722 -5723 -5724 5725 5726 -5727 -5728 -5729 -5730 -5731
130.99/131.01	v -5732 -5733 -5734 -5735 -5736 -5737 -5738 -5739 -5740 -5741 5742 5743 5744
130.99/131.01	v -5745 -5746 -5747 -5748 -5749 -5750 -5751 -5752 -5753 -5754 -5755 -5756 -5757
130.99/131.01	v -5758 -5759 -5760 -5761 -5762 -5763 -5764 -5765 -5766 -5767 -5768 -5769 -5770
130.99/131.01	v -5771 -5772 -5773 -5774 -5775 -5776 -5777 -5778 -5779 -5780 -5781 -5782 -5783
130.99/131.01	v -5784 -5785 -5786 -5787 -5788 -5789 -5790 -5791 -5792 -5793 -5794 -5795 -5796
130.99/131.01	v -5797 -5798 -5799 -5800 -5801 -5802 -5803 -5804 5805 5806 -5807 -5808 -5809
130.99/131.01	v -5810 -5811 -5812 -5813 -5814 -5815 -5816 -5817 -5818 -5819 -5820 -5821 5822
130.99/131.01	v 5823 5824 -5825 -5826 -5827 -5828 -5829 -5830 -5831 -5832 -5833 -5834 -5835
130.99/131.01	v -5836 -5837 -5838 -5839 -5840 -5841 5842 5843 -5844 -5845 -5846 -5847 -5848
130.99/131.01	v -5849 -5850 -5851 -5852 -5853 -5854 -5855 -5856 -5857 -5858 -5859 -5860 -5861
130.99/131.01	v 5862 5863 5864 5865 5866 -5867 -5868 -5869 -5870 -5871 -5872 -5873 -5874 -5875
130.99/131.01	v -5876 -5877 -5878 -5879 -5880 -5881 5882 -5883 -5884 -5885 -5886 -5887 -5888
130.99/131.01	v -5889 -5890 -5891 -5892 -5893 -5894 -5895 -5896 -5897 -5898 -5899 -5900 -5901
130.99/131.01	v 5902 5903 -5904 -5905 -5906 -5907 -5908 -5909 -5910 -5911 -5912 -5913 -5914
130.99/131.01	v -5915 -5916 -5917 -5918 -5919 -5920 -5921 -5922 5923 -5924 -5925 -5926 -5927
130.99/131.01	v -5928 -5929 -5930 -5931 -5932 -5933 -5934 -5935 -5936 -5937 -5938 -5939 -5940
130.99/131.01	v -5941 -5942 -5943 -5944 -5945 5946 -5947 -5948 -5949 -5950 -5951 -5952 -5953
130.99/131.01	v -5954 -5955 -5956 -5957 -5958 -5959 -5960 -5961 5962 5963 -5964 -5965 -5966
130.99/131.01	v -5967 -5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975 -5976 -5977 -5978 -5979
130.99/131.01	v -5980 -5981 -5982 5983 -5984 -5985 -5986 -5987 -5988 -5989 -5990 -5991 -5992
130.99/131.01	v -5993 -5994 -5995 -5996 -5997 -5998 -5999 -6000 -6001 -6002 -6003 -6004 -6005
130.99/131.01	v 6006 -6007 -6008 -6009 -6010 -6011 -6012 -6013 -6014 -6015 -6016 -6017 -6018
130.99/131.01	v -6019 -6020 -6021 6022 -6023 -6024 -6025 -6026 -6027 -6028 -6029 -6030 -6031
130.99/131.01	v -6032 -6033 -6034 -6035 -6036 -6037 -6038 -6039 -6040 -6041 6042 -6043 -6044
130.99/131.01	v -6045 -6046 -6047 -6048 -6049 -6050 -6051 -6052 -6053 -6054 -6055 -6056 -6057
130.99/131.01	v -6058 -6059 -6060 -6061 -6062 -6063 -6064 -6065 -6066 -6067 -6068 -6069 -6070
130.99/131.01	v -6071 -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079 -6080 -6081 -6082 -6083
130.99/131.01	v -6084 -6085 -6086 -6087 -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095 -6096
130.99/131.01	v -6097 -6098 -6099 -6100 -6101 -6102 -6103 -6104 -6105 -6106 -6107 -6108 -6109
130.99/131.01	v -6110 -6111 -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120 -6121 -6122
130.99/131.01	v -6123 -6124 6125 6126 -6127 -6128 -6129 -6130 -6131 -6132 -6133 -6134 -6135
130.99/131.01	v -6136 -6137 -6138 -6139 -6140 -6141 -6142 -6143 -6144 -6145 -6146 -6147 -6148
130.99/131.01	v -6149 -6150 -6151 -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159 -6160 -6161
130.99/131.01	v -6162 -6163 -6164 -6165 -6166 -6167 -6168 -6169 -6170 -6171 -6172 -6173 -6174
130.99/131.01	v -6175 -6176 -6177 -6178 -6179 -6180 -6181 -6182 -6183 -6184 6185 6186 -6187
130.99/131.01	v -6188 -6189 -6190 -6191 -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199 -6200
130.99/131.01	v -6201 -6202 -6203 -6204 -6205 -6206 -6207 -6208 -6209 -6210 -6211 -6212 -6213
130.99/131.01	v -6214 -6215 -6216 -6217 -6218 -6219 -6220 -6221 -6222 -6223 -6224 -6225 -6226
130.99/131.01	v -6227 -6228 -6229 -6230 -6231 -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239
130.99/131.01	v -6240 -6241 -6242 -6243 -6244 -6245 -6246 -6247 -6248 -6249 -6250 -6251 -6252
130.99/131.01	v -6253 -6254 -6255 -6256 -6257 -6258 -6259 -6260 -6261 -6262 -6263 -6264 -6265
130.99/131.01	v 6266 -6267 -6268 -6269 -6270 -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278
130.99/131.01	v -6279 -6280 -6281 -6282 -6283 -6284 -6285 -6286 -6287 -6288 -6289 -6290 -6291
130.99/131.01	v -6292 -6293 -6294 -6295 -6296 -6297 -6298 -6299 -6300 -6301 -6302 -6303 -6304
130.99/131.01	v -6305 -6306 -6307 -6308 -6309 -6310 -6311 -6312 -6313 -6314 -6315 -6316 -6317
130.99/131.01	v -6318 -6319 -6320 -6321 -6322 -6323 -6324 -6325 6326 -6327 -6328 -6329 -6330
130.99/131.01	v -6331 -6332 -6333 -6334 -6335 -6336 -6337 -6338 -6339 -6340 -6341 -6342 -6343
130.99/131.01	v -6344 -6345 -6346 -6347 -6348 -6349 -6350 -6351 -6352 -6353 -6354 -6355 -6356
130.99/131.01	v -6357 -6358 -6359 -6360 -6361 -6362 -6363 -6364 -6365 -6366 -6367 -6368 -6369
130.99/131.01	v -6370 -6371 -6372 -6373 -6374 -6375 -6376 -6377 -6378 -6379 -6380 -6381 -6382
130.99/131.01	v -6383 -6384 -6385 -6386 -6387 -6388 -6389 -6390 -6391 -6392 -6393 -6394 -6395
130.99/131.01	v -6396 -6397 -6398 -6399 -6400 -6401 -6402 -6403 -6404 -6405 -6406 -6407 -6408
130.99/131.01	v -6409 -6410 -6411 -6412 -6413 -6414 -6415 -6416 -6417 -6418 -6419 -6420 -6421
130.99/131.01	v -6422 -6423 -6424 -6425 -6426 -6427 -6428 -6429 -6430 -6431 -6432 -6433 -6434
130.99/131.01	v -6435 -6436 -6437 -6438 -6439 -6440 -6441 6442 6443 6444 -6445 -6446 -6447
130.99/131.01	v -6448 -6449 -6450 -6451 -6452 -6453 -6454 -6455 -6456 -6457 -6458 -6459 -6460
130.99/131.01	v -6461 6462 6463 -6464 -6465 -6466 -6467 -6468 -6469 -6470 -6471 -6472 -6473
130.99/131.01	v -6474 -6475 -6476 -6477 -6478 -6479 -6480 -6481 6482 6483 6484 -6485 -6486
130.99/131.01	v -6487 -6488 -6489 -6490 -6491 -6492 -6493 -6494 -6495 -6496 -6497 -6498 -6499
130.99/131.01	v -6500 -6501 6502 -6503 -6504 -6505 -6506 -6507 -6508 -6509 -6510 -6511 -6512
130.99/131.01	v -6513 -6514 -6515 -6516 -6517 -6518 -6519 -6520 -6521 6522 6523 -6524 -6525
130.99/131.01	v -6526 -6527 -6528 -6529 -6530 -6531 -6532 -6533 -6534 -6535 -6536 -6537 -6538
130.99/131.01	v -6539 -6540 -6541 -6542 6543 -6544 -6545 -6546 -6547 -6548 -6549 -6550 -6551
130.99/131.01	v -6552 -6553 -6554 -6555 -6556 -6557 -6558 -6559 -6560 -6561 -6562 -6563 -6564
130.99/131.01	v -6565 -6566 -6567 -6568 -6569 -6570 -6571 -6572 -6573 -6574 -6575 -6576 -6577
130.99/131.01	v -6578 -6579 -6580 -6581 6582 6583 -6584 -6585 -6586 -6587 -6588 -6589 -6590
130.99/131.01	v -6591 -6592 -6593 -6594 -6595 -6596 -6597 -6598 -6599 -6600 -6601 -6602 6603
130.99/131.01	v -6604 -6605 -6606 -6607 -6608 -6609 -6610 -6611 -6612 -6613 -6614 -6615 -6616
130.99/131.01	v -6617 -6618 -6619 -6620 -6621 -6622 -6623 -6624 -6625 -6626 -6627 -6628 -6629
130.99/131.01	v -6630 -6631 -6632 -6633 -6634 -6635 -6636 -6637 -6638 -6639 -6640 -6641 6642
130.99/131.01	v -6643 -6644 -6645 -6646 -6647 -6648 -6649 -6650 -6651 -6652 -6653 -6654 -6655
130.99/131.01	v -6656 -6657 -6658 -6659 -6660 -6661 6662 -6663 -6664 -6665 -6666 -6667 -6668
130.99/131.01	v -6669 -6670 -6671 -6672 -6673 -6674 -6675 -6676 -6677 -6678 -6679 -6680 -6681
130.99/131.01	v -6682 -6683 -6684 -6685 -6686 -6687 -6688 -6689 -6690 -6691 -6692 -6693 -6694
130.99/131.01	v -6695 -6696 -6697 -6698 -6699 -6700 -6701 -6702 -6703 -6704 -6705 -6706 6707
130.99/131.01	v -6708 -6709 -6710 -6711 -6712 -6713 -6714 -6715 -6716 -6717 -6718 -6719 -6720
130.99/131.01	v -6721 -6722 -6723 -6724 -6725 -6726 -6727 -6728 -6729 -6730 -6731 -6732 -6733
130.99/131.01	v -6734 -6735 -6736 -6737 -6738 -6739 -6740 -6741 -6742 -6743 -6744 -6745 -6746
130.99/131.01	v -6747 -6748 -6749 -6750 -6751 -6752 -6753 -6754 -6755 -6756 -6757 -6758 -6759
130.99/131.01	v -6760 -6761 -6762 -6763 -6764 -6765 -6766 6767 -6768 -6769 -6770 -6771 -6772
130.99/131.01	v -6773 -6774 -6775 -6776 -6777 -6778 -6779 -6780 -6781 -6782 -6783 -6784 -6785
130.99/131.01	v -6786 -6787 -6788 -6789 -6790 -6791 -6792 -6793 -6794 -6795 -6796 -6797 -6798
130.99/131.01	v -6799 -6800 -6801 -6802 -6803 -6804 -6805 -6806 -6807 -6808 -6809 -6810 -6811
130.99/131.01	v -6812 -6813 -6814 -6815 -6816 -6817 -6818 -6819 -6820 -6821 -6822 -6823 -6824
130.99/131.01	v -6825 -6826 -6827 -6828 -6829 -6830 -6831 -6832 -6833 -6834 -6835 -6836 -6837
130.99/131.01	v -6838 -6839 -6840 -6841 -6842 -6843 -6844 -6845 -6846 6847 -6848 -6849 -6850
130.99/131.01	v -6851 -6852 -6853 -6854 -6855 -6856 -6857 -6858 -6859 -6860 -6861 -6862 -6863
130.99/131.01	v -6864 -6865 -6866 -6867 -6868 -6869 -6870 -6871 -6872 -6873 -6874 -6875 -6876
130.99/131.01	v -6877 -6878 -6879 -6880 -6881 -6882 -6883 -6884 -6885 -6886 -6887 -6888 -6889
130.99/131.01	v -6890 -6891 -6892 -6893 -6894 -6895 -6896 -6897 -6898 -6899 -6900 -6901 -6902
130.99/131.01	v -6903 -6904 -6905 -6906 6907 -6908 -6909 -6910 -6911 -6912 -6913 -6914 -6915
130.99/131.01	v -6916 -6917 -6918 -6919 -6920 -6921 -6922 -6923 -6924 -6925 -6926 -6927 -6928
130.99/131.01	v -6929 -6930 -6931 -6932 -6933 -6934 -6935 -6936 -6937 -6938 -6939 -6940 -6941
130.99/131.01	v -6942 -6943 -6944 -6945 -6946 -6947 -6948 -6949 -6950 -6951 -6952 -6953 -6954
130.99/131.01	v -6955 -6956 -6957 -6958 -6959 -6960 -6961 -6962 -6963 -6964 -6965 -6966 -6967
130.99/131.01	v -6968 -6969 -6970 -6971 -6972 -6973 -6974 -6975 -6976 -6977 -6978 -6979 -6980
130.99/131.01	v -6981 -6982 -6983 -6984 -6985 -6986 -6987 -6988 -6989 -6990 -6991 -6992 -6993
130.99/131.01	v -6994 -6995 -6996 -6997 -6998 -6999 -7000 7001 -7002 -7003 -7004 -7005 -7006
130.99/131.01	v -7007 -7008 -7009 -7010 -7011 -7012 -7013 -7014 -7015 -7016 -7017 -7018 -7019
130.99/131.01	v -7020 -7021 -7022 -7023 -7024 -7025 -7026 -7027 -7028 -7029 -7030 -7031 -7032
130.99/131.01	v -7033 -7034 -7035 -7036 -7037 -7038 -7039 -7040 -7041 -7042 -7043 -7044 -7045
130.99/131.01	v -7046 -7047 -7048 -7049 -7050 -7051 -7052 -7053 -7054 -7055 -7056 -7057 -7058
130.99/131.01	v -7059 -7060 -7061 -7062 -7063 -7064 -7065 -7066 -7067 -7068 -7069 -7070 -7071
130.99/131.01	v -7072 -7073 -7074 -7075 -7076 -7077 -7078 -7079 -7080 -7081 -7082 -7083 -7084
130.99/131.01	v -7085 -7086 -7087 -7088 -7089 -7090 -7091 -7092 -7093 -7094 -7095 -7096 -7097
130.99/131.01	v -7098 -7099 -7100 -7101 -7102 -7103 -7104 -7105 -7106 -7107 -7108 -7109 -7110
130.99/131.01	v -7111 -7112 -7113 -7114 -7115 -7116 -7117 -7118 -7119 -7120 -7121 -7122 -7123
130.99/131.01	v -7124 -7125 -7126 -7127 -7128 -7129 -7130 -7131 -7132 -7133 -7134 -7135 -7136
130.99/131.01	v -7137 -7138 -7139 -7140 -7141 -7142 -7143 -7144 -7145 -7146 -7147 -7148 -7149
130.99/131.01	v -7150 -7151 -7152 -7153 -7154 -7155 -7156 -7157 -7158 -7159 -7160 -7161 -7162
130.99/131.01	v -7163 -7164 -7165 -7166 -7167 -7168 -7169 -7170 -7171 -7172 -7173 -7174 -7175
130.99/131.01	v -7176 -7177 -7178 -7179 -7180 -7181 -7182 -7183 -7184 -7185 -7186 -7187 -7188
130.99/131.01	v -7189 -7190 -7191 -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199 -7200 -7201
130.99/131.01	v -7202 -7203 -7204 -7205 -7206 -7207 -7208 -7209 -7210 -7211 -7212 -7213 -7214
130.99/131.01	v -7215 -7216 -7217 -7218 -7219 -7220 -7221 -7222 -7223 -7224 -7225 -7226 -7227
130.99/131.01	v -7228 -7229 -7230 -7231 -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239 -7240
130.99/131.01	v -7241 -7242 -7243 -7244 -7245 -7246 -7247 -7248 -7249 -7250 -7251 -7252 -7253
130.99/131.01	v -7254 -7255 -7256 -7257 -7258 -7259 -7260 -7261 -7262 -7263 -7264 7265 7266
130.99/131.01	v 7267 -7268 -7269 -7270 -7271 -7272 -7273 -7274 -7275 -7276 -7277 -7278 -7279
130.99/131.01	v -7280 -7281 -7282 -7283 -7284 -7285 -7286 -7287 -7288 -7289 -7290 -7291 -7292
130.99/131.01	v -7293 -7294 -7295 -7296 -7297 -7298 -7299 -7300 -7301 -7302 -7303 -7304 -7305
130.99/131.01	v -7306 -7307 -7308 -7309 -7310 -7311 -7312 -7313 -7314 -7315 -7316 -7317 -7318
130.99/131.01	v -7319 -7320 -7321 -7322 -7323 -7324 -7325 -7326 -7327 -7328 -7329 -7330 -7331
130.99/131.01	v -7332 -7333 -7334 -7335 -7336 -7337 -7338 -7339 -7340 -7341 -7342 -7343 -7344
130.99/131.01	v -7345 7346 7347 -7348 -7349 -7350 -7351 -7352 -7353 -7354 -7355 -7356 -7357
130.99/131.01	v -7358 -7359 -7360 -7361 -7362 -7363 -7364 -7365 -7366 -7367 -7368 -7369 -7370
130.99/131.01	v -7371 -7372 -7373 -7374 -7375 -7376 -7377 -7378 -7379 -7380 -7381 -7382 -7383
130.99/131.01	v -7384 -7385 -7386 -7387 -7388 -7389 -7390 -7391 -7392 -7393 -7394 -7395 -7396
130.99/131.01	v -7397 -7398 -7399 -7400 -7401 -7402 -7403 -7404 -7405 7406 7407 -7408 -7409
130.99/131.01	v -7410 -7411 -7412 -7413 -7414 -7415 -7416 -7417 -7418 -7419 -7420 -7421 -7422
130.99/131.01	v -7423 -7424 -7425 -7426 -7427 -7428 -7429 -7430 -7431 -7432 -7433 -7434 -7435
130.99/131.01	v -7436 -7437 -7438 -7439 -7440 -7441 -7442 -7443 -7444 -7445 -7446 -7447 -7448
130.99/131.01	v -7449 -7450 -7451 -7452 -7453 -7454 -7455 -7456 -7457 -7458 -7459 -7460 -7461
130.99/131.01	v 7462 7463 -7464 -7465 -7466 -7467 -7468 -7469 -7470 -7471 -7472 -7473 -7474
130.99/131.01	v -7475 -7476 -7477 -7478 -7479 -7480 -7481 7482 7483 7484 -7485 -7486 -7487
130.99/131.01	v -7488 -7489 -7490 -7491 -7492 -7493 -7494 -7495 -7496 -7497 -7498 -7499 -7500
130.99/131.01	v -7501 7502 -7503 -7504 -7505 -7506 -7507 -7508 -7509 -7510 -7511 -7512 -7513
130.99/131.01	v -7514 -7515 -7516 -7517 -7518 -7519 -7520 -7521 7522 7523 -7524 -7525 -7526
130.99/131.01	v -7527 -7528 -7529 -7530 -7531 -7532 -7533 -7534 -7535 -7536 -7537 -7538 -7539
130.99/131.01	v -7540 -7541 -7542 7543 -7544 -7545 -7546 -7547 -7548 -7549 -7550 -7551 -7552
130.99/131.01	v -7553 -7554 -7555 -7556 -7557 -7558 -7559 -7560 -7561 -7562 -7563 -7564 -7565
130.99/131.01	v -7566 -7567 -7568 -7569 -7570 -7571 -7572 -7573 -7574 -7575 -7576 -7577 -7578
130.99/131.01	v -7579 -7580 -7581 7582 7583 -7584 -7585 -7586 -7587 -7588 -7589 -7590 -7591
130.99/131.01	v -7592 -7593 -7594 -7595 -7596 -7597 -7598 -7599 -7600 -7601 -7602 7603 -7604
130.99/131.01	v -7605 -7606 -7607 -7608 -7609 -7610 -7611 -7612 -7613 -7614 -7615 -7616 -7617
130.99/131.01	v -7618 -7619 -7620 -7621 -7622 -7623 -7624 -7625 -7626 -7627 -7628 -7629 -7630
130.99/131.01	v -7631 -7632 -7633 -7634 -7635 -7636 -7637 -7638 -7639 -7640 -7641 7642 -7643
130.99/131.01	v -7644 -7645 -7646 -7647 -7648 -7649 -7650 -7651 -7652 -7653 -7654 -7655 -7656
130.99/131.01	v -7657 -7658 -7659 -7660 -7661 7662 -7663 -7664 -7665 -7666 -7667 -7668 -7669
130.99/131.01	v -7670 -7671 -7672 -7673 -7674 -7675 -7676 -7677 -7678 -7679 -7680 -7681 7682
130.99/131.01	v 7683 -7684 -7685 -7686 -7687 -7688 -7689 -7690 -7691 -7692 -7693 -7694 -7695
130.99/131.01	v -7696 -7697 -7698 -7699 -7700 -7701 7702 -7703 -7704 -7705 -7706 -7707 -7708
130.99/131.01	v -7709 -7710 -7711 -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719 -7720 -7721
130.99/131.01	v 7722 7723 -7724 -7725 -7726 -7727 -7728 -7729 -7730 -7731 -7732 -7733 -7734
130.99/131.01	v -7735 -7736 -7737 -7738 -7739 -7740 -7741 -7742 7743 -7744 -7745 -7746 -7747
130.99/131.01	v -7748 -7749 -7750 -7751 -7752 -7753 -7754 -7755 -7756 -7757 -7758 -7759 -7760
130.99/131.01	v -7761 -7762 -7763 -7764 -7765 -7766 -7767 -7768 -7769 -7770 -7771 -7772 -7773
130.99/131.01	v -7774 -7775 -7776 -7777 -7778 -7779 -7780 -7781 7782 7783 -7784 -7785 -7786
130.99/131.01	v -7787 -7788 -7789 -7790 -7791 -7792 -7793 -7794 -7795 -7796 -7797 -7798 -7799
130.99/131.01	v -7800 -7801 -7802 7803 -7804 -7805 -7806 -7807 -7808 -7809 -7810 -7811 -7812
130.99/131.01	v -7813 -7814 -7815 -7816 -7817 -7818 -7819 -7820 -7821 -7822 -7823 -7824 -7825
130.99/131.01	v -7826 -7827 -7828 -7829 -7830 -7831 -7832 -7833 -7834 -7835 -7836 -7837 -7838
130.99/131.01	v -7839 -7840 -7841 7842 -7843 -7844 -7845 -7846 -7847 -7848 -7849 -7850 -7851
130.99/131.01	v -7852 -7853 -7854 -7855 -7856 -7857 -7858 -7859 -7860 -7861 7862 -7863 -7864
130.99/131.01	v -7865 -7866 -7867 -7868 -7869 -7870 -7871 -7872 -7873 -7874 -7875 -7876 -7877
130.99/131.01	v -7878 -7879 -7880 -7881 7882 -7883 -7884 -7885 -7886 -7887 -7888 -7889 -7890
130.99/131.01	v -7891 -7892 -7893 -7894 -7895 -7896 -7897 -7898 -7899 -7900 -7901 7902 7903
130.99/131.01	v -7904 -7905 -7906 -7907 -7908 -7909 -7910 -7911 -7912 -7913 -7914 -7915 -7916
130.99/131.01	v -7917 -7918 -7919 -7920 -7921 -7922 7923 -7924 -7925 -7926 -7927 -7928 -7929
130.99/131.01	v -7930 -7931 -7932 -7933 -7934 -7935 -7936 -7937 -7938 -7939 -7940 -7941 -7942
130.99/131.01	v -7943 -7944 -7945 7946 7947 -7948 -7949 -7950 -7951 -7952 -7953 -7954 -7955
130.99/131.01	v -7956 -7957 -7958 -7959 -7960 -7961 7962 7963 -7964 -7965 -7966 -7967 -7968
130.99/131.01	v -7969 -7970 -7971 -7972 -7973 -7974 -7975 -7976 -7977 -7978 -7979 -7980 -7981
130.99/131.01	v -7982 7983 -7984 -7985 -7986 -7987 -7988 -7989 -7990 -7991 -7992 -7993 -7994
130.99/131.01	v -7995 -7996 -7997 -7998 -7999 -8000 -8001 -8002 -8003 -8004 -8005 8006 8007
130.99/131.01	v -8008 -8009 -8010 -8011 -8012 -8013 -8014 -8015 -8016 -8017 -8018 -8019 -8020
130.99/131.01	v -8021 8022 -8023 -8024 -8025 -8026 -8027 -8028 -8029 -8030 -8031 -8032 -8033
130.99/131.01	v -8034 -8035 -8036 -8037 -8038 -8039 -8040 -8041 8042 -8043 -8044 -8045 -8046
130.99/131.01	v -8047 -8048 -8049 -8050 -8051 -8052 -8053 -8054 -8055 -8056 -8057 -8058 -8059
130.99/131.01	v -8060 -8061 8062 -8063 -8064 -8065 -8066 -8067 -8068 -8069 -8070 -8071 -8072
130.99/131.01	v -8073 -8074 -8075 -8076 -8077 -8078 -8079 -8080 -8081 -8082 -8083 -8084 -8085
130.99/131.01	v -8086 -8087 -8088 -8089 -8090 -8091 -8092 -8093 -8094 -8095 -8096 -8097 -8098
130.99/131.01	v -8099 -8100 -8101 -8102 -8103 -8104 -8105 -8106 -8107 -8108 -8109 -8110 -8111
130.99/131.01	v -8112 -8113 -8114 -8115 -8116 -8117 -8118 -8119 -8120 -8121 8122 -8123 -8124
130.99/131.01	v -8125 -8126 -8127 -8128 -8129 -8130 -8131 -8132 -8133 -8134 -8135 -8136 -8137
130.99/131.01	v -8138 -8139 -8140 -8141 -8142 -8143 -8144 -8145 -8146 -8147 -8148 -8149 -8150
130.99/131.01	v -8151 -8152 -8153 -8154 -8155 -8156 -8157 -8158 -8159 -8160 -8161 -8162 -8163
130.99/131.01	v -8164 -8165 -8166 -8167 -8168 -8169 -8170 -8171 -8172 -8173 -8174 -8175 -8176
130.99/131.01	v -8177 -8178 -8179 -8180 -8181 8182 -8183 -8184 -8185 -8186 -8187 -8188 -8189
130.99/131.01	v -8190 -8191 -8192 -8193 -8194 -8195 -8196 -8197 -8198 -8199 -8200 -8201 8202
130.99/131.01	v -8203 -8204 -8205 -8206 -8207 -8208 -8209 -8210 -8211 -8212 -8213 -8214 -8215
130.99/131.01	v -8216 -8217 -8218 -8219 -8220 -8221 -8222 8223 -8224 -8225 -8226 -8227 -8228
130.99/131.01	v -8229 -8230 -8231 -8232 -8233 -8234 -8235 -8236 -8237 -8238 -8239 -8240 -8241
130.99/131.01	v -8242 -8243 -8244 -8245 -8246 -8247 -8248 -8249 -8250 -8251 -8252 -8253 -8254
130.99/131.01	v -8255 -8256 -8257 -8258 -8259 -8260 -8261 8262 8263 -8264 -8265 -8266 -8267
130.99/131.01	v -8268 -8269 -8270 -8271 -8272 -8273 -8274 -8275 -8276 -8277 -8278 -8279 -8280
130.99/131.01	v -8281 -8282 8283 -8284 -8285 -8286 -8287 -8288 -8289 -8290 -8291 -8292 -8293
130.99/131.01	v -8294 -8295 -8296 -8297 -8298 -8299 -8300 -8301 -8302 -8303 -8304 -8305 -8306
130.99/131.01	v -8307 -8308 -8309 -8310 -8311 -8312 -8313 -8314 -8315 -8316 -8317 -8318 -8319
130.99/131.01	v -8320 -8321 8322 -8323 -8324 -8325 -8326 -8327 -8328 -8329 -8330 -8331 -8332
130.99/131.01	v -8333 -8334 -8335 -8336 -8337 -8338 -8339 -8340 -8341 8342 -8343 -8344 -8345
130.99/131.01	v -8346 -8347 -8348 -8349 -8350 -8351 -8352 -8353 -8354 -8355 -8356 -8357 -8358
130.99/131.01	v -8359 -8360 -8361 -8362 -8363 -8364 -8365 -8366 -8367 -8368 -8369 -8370 -8371
130.99/131.01	v -8372 -8373 -8374 -8375 -8376 -8377 -8378 -8379 -8380 -8381 -8382 8383 -8384
130.99/131.01	v -8385 -8386 -8387 -8388 -8389 -8390 -8391 -8392 -8393 -8394 -8395 -8396 -8397
130.99/131.01	v -8398 -8399 -8400 -8401 -8402 8403 -8404 -8405 -8406 -8407 -8408 -8409 -8410
130.99/131.01	v -8411 -8412 -8413 -8414 -8415 -8416 -8417 -8418 -8419 -8420 -8421 -8422 -8423
130.99/131.01	v -8424 -8425 -8426 -8427 -8428 -8429 -8430 -8431 -8432 -8433 -8434 -8435 -8436
130.99/131.01	v -8437 -8438 -8439 -8440 -8441 -8442 -8443 -8444 -8445 -8446 -8447 -8448 -8449
130.99/131.01	v -8450 -8451 -8452 -8453 -8454 -8455 -8456 -8457 -8458 -8459 -8460 -8461 -8462
130.99/131.01	v -8463 -8464 -8465 -8466 -8467 -8468 -8469 -8470 -8471 -8472 -8473 -8474 -8475
130.99/131.01	v -8476 -8477 -8478 -8479 -8480 -8481 -8482 -8483 -8484 -8485 -8486 -8487 -8488
130.99/131.01	v -8489 -8490 -8491 -8492 -8493 -8494 -8495 -8496 -8497 -8498 -8499 -8500 -8501
130.99/131.01	v -8502 -8503 -8504 -8505 -8506 -8507 -8508 -8509 -8510 -8511 -8512 -8513 -8514
130.99/131.01	v -8515 -8516 -8517 -8518 -8519 -8520 -8521 -8522 -8523 -8524 -8525 8526 8527
130.99/131.01	v -8528 -8529 -8530 -8531 -8532 -8533 -8534 -8535 -8536 -8537 -8538 -8539 -8540
130.99/131.01	v -8541 -8542 -8543 -8544 -8545 -8546 -8547 -8548 -8549 -8550 -8551 -8552 -8553
130.99/131.01	v -8554 -8555 -8556 -8557 -8558 -8559 -8560 -8561 -8562 -8563 -8564 -8565 -8566
130.99/131.01	v -8567 -8568 -8569 -8570 -8571 -8572 -8573 -8574 -8575 -8576 -8577 -8578 -8579
130.99/131.01	v -8580 -8581 -8582 8583 -8584 -8585 -8586 -8587 -8588 -8589 -8590 -8591 -8592
130.99/131.01	v -8593 -8594 -8595 -8596 -8597 -8598 -8599 -8600 -8601 -8602 -8603 -8604 -8605
130.99/131.01	v -8606 -8607 -8608 -8609 -8610 -8611 -8612 -8613 -8614 -8615 -8616 -8617 -8618
130.99/131.01	v -8619 -8620 -8621 8622 -8623 -8624 -8625 -8626 -8627 -8628 -8629 -8630 -8631
130.99/131.01	v -8632 -8633 -8634 -8635 -8636 -8637 -8638 -8639 -8640 -8641 8642 -8643 -8644
130.99/131.01	v -8645 -8646 -8647 -8648 -8649 -8650 -8651 -8652 -8653 -8654 -8655 -8656 -8657
130.99/131.01	v -8658 -8659 -8660 -8661 -8662 -8663 -8664 -8665 -8666 -8667 -8668 -8669 -8670
130.99/131.01	v -8671 -8672 -8673 -8674 -8675 -8676 -8677 -8678 -8679 -8680 -8681 -8682 -8683
130.99/131.01	v -8684 -8685 -8686 -8687 -8688 -8689 -8690 -8691 -8692 -8693 -8694 -8695 -8696
130.99/131.01	v -8697 -8698 -8699 -8700 -8701 -8702 -8703 -8704 -8705 -8706 -8707 -8708 -8709
130.99/131.01	v -8710 -8711 -8712 -8713 -8714 -8715 -8716 -8717 -8718 -8719 -8720 -8721 -8722
130.99/131.01	v -8723 -8724 -8725 -8726 -8727 -8728 -8729 -8730 -8731 -8732 -8733 -8734 -8735
130.99/131.01	v -8736 -8737 -8738 -8739 -8740 -8741 -8742 -8743 -8744 -8745 -8746 -8747 -8748
130.99/131.01	v -8749 -8750 -8751 -8752 -8753 -8754 -8755 -8756 -8757 -8758 -8759 -8760 -8761
130.99/131.01	v 8762 -8763 -8764 -8765 -8766 -8767 -8768 -8769 -8770 -8771 -8772 -8773 -8774
130.99/131.01	v -8775 -8776 -8777 -8778 -8779 -8780 -8781 -8782 -8783 -8784 8785 -8786 -8787
130.99/131.01	v -8788 -8789 -8790 -8791 -8792 -8793 -8794 -8795 -8796 -8797 -8798 -8799 -8800
130.99/131.01	v 8801 -8802 -8803 -8804 -8805 -8806 -8807 -8808 -8809 -8810 -8811 -8812 -8813
130.99/131.01	v -8814 -8815 -8816 -8817 -8818 -8819 -8820 -8821 -8822 -8823 -8824 -8825 -8826
130.99/131.01	v -8827 -8828 8829 -8830 -8831 -8832 -8833 -8834 -8835 -8836 -8837 -8838 -8839
130.99/131.01	v -8840 -8841 -8842 -8843 -8844 -8845 -8846 -8847 -8848 -8849 8850 -8851 -8852
130.99/131.01	v -8853 -8854 -8855 -8856 -8857 -8858 -8859 -8860 -8861 -8862 -8863 -8864 -8865
130.99/131.01	v -8866 -8867 -8868 -8869 8870 -8871 -8872 -8873 -8874 -8875 -8876 -8877 -8878
130.99/131.01	v -8879 -8880 -8881 -8882 -8883 8884 -8885 -8886 -8887 -8888 -8889 -8890 -8891
130.99/131.01	v -8892 -8893 -8894 -8895 -8896 -8897 -8898 -8899 -8900 -8901 8902 -8903 -8904
130.99/131.01	v -8905 -8906 -8907 -8908 -8909 -8910 -8911 -8912 -8913 -8914 -8915 -8916 -8917
130.99/131.01	v -8918 -8919 -8920 -8921 -8922 -8923 -8924 -8925 -8926 -8927 -8928 -8929 -8930
130.99/131.01	v 8931 -8932 -8933 -8934 -8935 -8936 -8937 -8938 -8939 -8940 -8941 -8942 -8943
130.99/131.01	v -8944 -8945 -8946 -8947 -8948 -8949 -8950 -8951 8952 -8953 -8954 -8955 -8956
130.99/131.01	v -8957 -8958 -8959 -8960 8961 -8962 -8963 -8964 -8965 -8966 -8967 -8968 -8969
130.99/131.01	v -8970 -8971 -8972 -8973 -8974 -8975 -8976 -8977 -8978 -8979 -8980 -8981 -8982
130.99/131.01	v -8983 -8984 -8985 -8986 -8987 -8988 -8989 -8990 -8991 -8992 8993 -8994 -8995
130.99/131.01	v -8996 -8997 -8998 -8999 -9000 -9001 -9002 9003 -9004 -9005 -9006 -9007 -9008
130.99/131.01	v -9009 -9010 -9011 -9012 -9013 -9014 -9015 -9016 -9017 -9018 -9019 -9020 -9021
130.99/131.01	v -9022 -9023 -9024 -9025 -9026 9027 -9028 -9029 -9030 -9031 -9032 -9033 -9034
130.99/131.01	v -9035 -9036 -9037 -9038 -9039 -9040 -9041 -9042 -9043 9044 -9045 -9046 -9047
130.99/131.01	v -9048 -9049 -9050 -9051 -9052 -9053 -9054 -9055 -9056 -9057 -9058 -9059 -9060
130.99/131.01	v 9061 -9062 -9063 -9064 -9065 -9066 -9067 -9068 -9069 -9070 -9071 -9072 -9073
130.99/131.01	v -9074 -9075 -9076 -9077 -9078 -9079 -9080 -9081 -9082 -9083 -9084 -9085 -9086
130.99/131.01	v -9087 9088 -9089 -9090 -9091 -9092 -9093 -9094 -9095 -9096 -9097 -9098 -9099
130.99/131.01	v -9100 -9101 -9102 -9103 -9104 -9105 9106 -9107 -9108 -9109 -9110 -9111 -9112
130.99/131.01	v -9113 -9114 -9115 -9116 -9117 -9118 -9119 -9120 -9121 -9122 9123 -9124 -9125
130.99/131.01	v -9126 -9127 -9128 -9129 -9130 -9131 -9132 -9133 -9134 -9135 -9136 -9137 -9138
130.99/131.01	v -9139 -9140 -9141 -9142 -9143 9144 -9145 -9146 -9147 -9148 -9149 -9150 -9151
130.99/131.01	v -9152 -9153 -9154 -9155 -9156 -9157 -9158 -9159 -9160 -9161 -9162 -9163 -9164
130.99/131.01	v -9165 9166 -9167 -9168 -9169 -9170 -9171 -9172 -9173 -9174 -9175 -9176 -9177
130.99/131.01	v -9178 -9179 -9180 -9181 -9182 -9183 -9184 -9185 9186 -9187 -9188 -9189 -9190
130.99/131.01	v -9191 -9192 -9193 -9194 -9195 -9196 -9197 -9198 -9199 -9200 -9201 -9202 -9203
130.99/131.01	v 9204 -9205 -9206 -9207 -9208 -9209 -9210 -9211 -9212 -9213 -9214 -9215 -9216
130.99/131.01	v -9217 -9218 -9219 -9220 -9221 9222 -9223 -9224 -9225 -9226 -9227 -9228 -9229
130.99/131.01	v -9230 -9231 -9232 -9233 -9234 -9235 -9236 -9237 -9238 -9239 -9240 -9241 -9242
130.99/131.01	v -9243 -9244 9245 -9246 -9247 -9248 -9249 -9250 -9251 -9252 -9253 -9254 -9255
130.99/131.01	v -9256 -9257 -9258 -9259 -9260 -9261 9262 -9263 -9264 -9265 -9266 -9267 -9268
130.99/131.01	v -9269 -9270 -9271 -9272 -9273 -9274 -9275 -9276 -9277 -9278 -9279 -9280 -9281
130.99/131.01	v -9282 -9283 -9284 -9285 -9286 9287 -9288 -9289 -9290 -9291 -9292 -9293 -9294
130.99/131.01	v -9295 -9296 -9297 -9298 -9299 -9300 9301 -9302 -9303 -9304 -9305 -9306 -9307
130.99/131.01	v -9308 -9309 -9310 -9311 -9312 -9313 -9314 -9315 -9316 -9317 -9318 -9319 -9320
130.99/131.01	v -9321 -9322 -9323 -9324 9325 -9326 -9327 -9328 -9329 -9330 -9331 -9332 -9333
130.99/131.01	v -9334 -9335 -9336 -9337 -9338 -9339 -9340 -9341 9342 -9343 -9344 -9345 -9346
130.99/131.01	v -9347 -9348 -9349 -9350 -9351 -9352 -9353 -9354 -9355 -9356 -9357 -9358 -9359
130.99/131.01	v -9360 9361 -9362 -9363 -9364 -9365 -9366 -9367 -9368 -9369 -9370 -9371 -9372
130.99/131.01	v -9373 -9374 -9375 -9376 -9377 -9378 -9379 -9380 -9381 9382 -9383 -9384 -9385
130.99/131.01	v -9386 -9387 -9388 -9389 -9390 -9391 -9392 -9393 -9394 -9395 -9396 -9397 -9398
130.99/131.01	v -9399 -9400 -9401 9402 -9403 -9404 -9405 -9406 -9407 -9408 -9409 -9410 -9411
130.99/131.01	v -9412 -9413 -9414 -9415 -9416 -9417 -9418 -9419 -9420 -9421 9422 -9423 -9424
130.99/131.01	v -9425 -9426 -9427 -9428 -9429 -9430 -9431 -9432 -9433 -9434 -9435 -9436 -9437
130.99/131.01	v -9438 -9439 -9440 -9441 -9442 9443 -9444 -9445 -9446 -9447 -9448 -9449 -9450
130.99/131.01	v -9451 -9452 -9453 -9454 -9455 -9456 -9457 -9458 -9459 -9460 -9461 -9462 -9463
130.99/131.01	v -9464 -9465 9466 -9467 -9468 -9469 -9470 -9471 -9472 -9473 -9474 -9475 -9476
130.99/131.01	v -9477 -9478 -9479 -9480 -9481 9482 -9483 -9484 -9485 -9486 -9487 -9488 -9489
130.99/131.01	v -9490 -9491 -9492 -9493 -9494 -9495 -9496 -9497 -9498 -9499 -9500 -9501 -9502
130.99/131.01	v 9503 -9504 -9505 -9506 -9507 -9508 -9509 -9510 -9511 -9512 -9513 -9514 -9515
130.99/131.01	v -9516 -9517 -9518 -9519 -9520 -9521 -9522 -9523 -9524 -9525 9526 -9527 -9528
130.99/131.01	v -9529 -9530 -9531 -9532 -9533 -9534 -9535 -9536 -9537 -9538 -9539 -9540 -9541
130.99/131.01	v 9542 -9543 -9544 -9545 -9546 -9547 -9548 -9549 -9550 -9551 -9552 -9553 -9554
130.99/131.01	v -9555 -9556 -9557 -9558 -9559 -9560 -9561 9562 -9563 -9564 -9565 -9566 -9567
130.99/131.01	v -9568 -9569 -9570 -9571 -9572 -9573 -9574 -9575 -9576 -9577 -9578 -9579 -9580
130.99/131.01	v -9581 -9582 -9583 -9584 -9585 -9586 -9587 9588 -9589 -9590 -9591 -9592 -9593
130.99/131.01	v -9594 -9595 -9596 -9597 -9598 -9599 -9600 -9601 -9602 -9603 -9604 -9605 -9606
130.99/131.01	v -9607 9608 -9609 -9610 -9611 -9612 -9613 -9614 -9615 -9616 -9617 -9618 -9619
130.99/131.01	v -9620 -9621 -9622 -9623 -9624 -9625 -9626 -9627 -9628 9629 -9630 -9631 -9632
130.99/131.01	v -9633 -9634 -9635 -9636 -9637 -9638 -9639 -9640 -9641 -9642 -9643 -9644 -9645
130.99/131.01	v -9646 -9647 -9648 -9649 9650 -9651 -9652 -9653 -9654 -9655 -9656 -9657 -9658
130.99/131.01	v -9659 -9660 -9661 -9662 -9663 -9664 -9665 -9666 -9667 -9668 -9669 -9670 9671
130.99/131.01	v -9672 -9673 -9674 -9675 -9676 -9677 -9678 -9679 -9680 -9681 -9682 -9683 -9684
130.99/131.01	v -9685 -9686 -9687 -9688 -9689 9690 -9691 -9692 -9693 -9694 -9695 -9696 -9697
130.99/131.01	v -9698 -9699 -9700 -9701 -9702 -9703 -9704 -9705 -9706 -9707 -9708 -9709 -9710
130.99/131.01	v -9711 -9712 9713 -9714 -9715 -9716 -9717 -9718 -9719 -9720 -9721 -9722 -9723
130.99/131.01	v -9724 -9725 -9726 -9727 -9728 -9729 -9730 -9731 9732 -9733 -9734 -9735 -9736
130.99/131.01	v -9737 -9738 -9739 -9740 -9741 -9742 -9743 -9744 -9745 -9746 -9747 -9748 -9749
130.99/131.01	v -9750 -9751 9752 -9753 -9754 -9755 -9756 -9757 -9758 -9759 -9760 9761 -9762
130.99/131.01	v -9763 -9764 -9765 -9766 -9767 -9768 -9769 -9770 -9771 -9772 -9773 -9774 -9775
130.99/131.01	v -9776 -9777 -9778 -9779 -9780 -9781 -9782 -9783 -9784 -9785 -9786 -9787 -9788
130.99/131.01	v -9789 -9790 -9791 -9792 9793 -9794 -9795 -9796 -9797 -9798 -9799 -9800 -9801
130.99/131.01	v -9802 9803 -9804 -9805 -9806 -9807 -9808 -9809 -9810 -9811 -9812 -9813 -9814
130.99/131.01	v -9815 -9816 -9817 -9818 -9819 -9820 -9821 -9822 -9823 -9824 -9825 -9826 9827
130.99/131.01	v -9828 -9829 -9830 -9831 -9832 -9833 -9834 -9835 -9836 -9837 -9838 -9839 -9840
130.99/131.01	v -9841 -9842 -9843 9844 -9845 -9846 -9847 -9848 -9849 -9850 -9851 -9852 -9853
130.99/131.01	v -9854 -9855 -9856 -9857 -9858 -9859 -9860 -9861 9862 -9863 -9864 -9865 -9866
130.99/131.01	v -9867 -9868 -9869 -9870 -9871 -9872 -9873 -9874 -9875 -9876 -9877 -9878 -9879
130.99/131.01	v -9880 -9881 -9882 -9883 -9884 -9885 -9886 -9887 9888 -9889 -9890 -9891 -9892
130.99/131.01	v -9893 -9894 -9895 -9896 -9897 -9898 -9899 -9900 -9901 -9902 -9903 -9904 -9905
130.99/131.01	v 9906 -9907 -9908 -9909 -9910 -9911 -9912 -9913 -9914 -9915 -9916 -9917 -9918
130.99/131.01	v -9919 -9920 -9921 -9922 9923 -9924 -9925 -9926 -9927 -9928 -9929 -9930 -9931
130.99/131.01	v -9932 -9933 -9934 -9935 -9936 -9937 -9938 -9939 -9940 -9941 -9942 -9943 -9944
130.99/131.01	v 9945 -9946 -9947 -9948 -9949 -9950 -9951 -9952 -9953 -9954 -9955 -9956 -9957
130.99/131.01	v -9958 -9959 -9960 -9961 -9962 -9963 -9964 -9965 9966 -9967 -9968 -9969 -9970
130.99/131.01	v -9971 -9972 -9973 -9974 -9975 -9976 -9977 -9978 -9979 -9980 -9981 -9982 -9983
130.99/131.01	v -9984 -9985 9986 -9987 -9988 -9989 -9990 -9991 -9992 -9993 -9994 -9995 -9996
130.99/131.01	v -9997 -9998 -9999 -10000 -10001 -10002 -10003 -10004 10005 -10006 -10007
130.99/131.01	v -10008 -10009 -10010 -10011 -10012 -10013 -10014 -10015 -10016 -10017 -10018
130.99/131.01	v -10019 -10020 -10021 -10022 -10023 -10024 -10025 10026 -10027 -10028 -10029
130.99/131.01	v -10030 -10031 -10032 -10033 -10034 -10035 -10036 -10037 -10038 -10039 -10040
130.99/131.01	v -10041 -10042 -10043 -10044 -10045 10046 -10047 -10048 -10049 -10050 -10051
130.99/131.01	v -10052 -10053 -10054 -10055 -10056 -10057 -10058 -10059 -10060 -10061 -10062
130.99/131.01	v -10063 10064 -10065 -10066 -10067 -10068 -10069 -10070 -10071 -10072 -10073
130.99/131.01	v -10074 -10075 -10076 -10077 -10078 -10079 -10080 -10081 -10082 -10083 -10084
130.99/131.01	v -10085 -10086 10087 -10088 -10089 -10090 -10091 -10092 -10093 -10094 -10095
130.99/131.01	v -10096 -10097 -10098 -10099 -10100 10101 -10102 -10103 -10104 -10105 -10106
130.99/131.01	v -10107 -10108 -10109 -10110 -10111 -10112 -10113 -10114 -10115 -10116 -10117
130.99/131.01	v -10118 -10119 -10120 -10121 -10122 -10123 -10124 -10125 -10126 10127 -10128
130.99/131.01	v -10129 -10130 -10131 -10132 -10133 -10134 -10135 -10136 -10137 -10138 -10139
130.99/131.01	v -10140 -10141 -10142 -10143 10144 -10145 -10146 -10147 -10148 -10149 -10150
130.99/131.01	v -10151 -10152 -10153 -10154 -10155 -10156 -10157 -10158 -10159 -10160 -10161
130.99/131.01	v -10162 10163 -10164 -10165 -10166 -10167 -10168 -10169 -10170 -10171 -10172
130.99/131.01	v -10173 -10174 -10175 -10176 -10177 -10178 -10179 -10180 -10181 -10182 -10183
130.99/131.01	v -10184 -10185 -10186 10187 -10188 -10189 -10190 -10191 -10192 -10193 -10194
130.99/131.01	v -10195 -10196 -10197 -10198 -10199 -10200 -10201 10202 -10203 -10204 -10205
130.99/131.01	v -10206 -10207 -10208 -10209 -10210 -10211 -10212 -10213 -10214 -10215 -10216
130.99/131.01	v -10217 -10218 -10219 -10220 -10221 -10222 10223 -10224 -10225 -10226 -10227
130.99/131.01	v -10228 -10229 -10230 -10231 -10232 -10233 -10234 -10235 -10236 -10237 -10238
130.99/131.01	v -10239 -10240 -10241 -10242 10243 -10244 -10245 -10246 -10247 -10248 -10249
130.99/131.01	v -10250 -10251 -10252 -10253 -10254 -10255 -10256 -10257 -10258 -10259 -10260
130.99/131.01	v -10261 -10262 -10263 -10264 -10265 -10266 10267 -10268 -10269 -10270 -10271
130.99/131.01	v -10272 -10273 -10274 -10275 -10276 -10277 -10278 -10279 -10280 -10281 -10282
130.99/131.01	v 10283 -10284 -10285 -10286 -10287 -10288 -10289 -10290 -10291 -10292 -10293
130.99/131.01	v -10294 -10295 -10296 -10297 -10298 -10299 -10300 -10301 -10302 10303 -10304
130.99/131.01	v -10305 -10306 -10307 -10308 -10309 -10310 -10311 -10312 -10313 -10314 -10315
130.99/131.01	v -10316 -10317 -10318 -10319 -10320 -10321 -10322 -10323 -10324 -10325 -10326
130.99/131.01	v 10327 -10328 -10329 -10330 -10331 -10332 -10333 -10334 -10335 -10336 -10337
130.99/131.01	v -10338 -10339 -10340 -10341 10342 -10343 -10344 -10345 -10346 -10347 -10348
130.99/131.01	v -10349 -10350 -10351 -10352 -10353 -10354 -10355 -10356 -10357 -10358 -10359
130.99/131.01	v -10360 -10361 10362 -10363 -10364 -10365 -10366 -10367 -10368 -10369 -10370
130.99/131.01	v -10371 -10372 -10373 -10374 -10375 -10376 -10377 -10378 -10379 -10380 -10381
130.99/131.01	v -10382 -10383 -10384 -10385 -10386 -10387 -10388 -10389 -10390 -10391 -10392
130.99/131.01	v -10393 10394 10395 10396 10397 10398 10399 10400 -10401 -10402 -10403 -10404
130.99/131.01	v -10405 -10406 -10407 10408 10409 10410 10411 10412 10413 10414 10415 10416
130.99/131.01	v 10417 10418 10419 10420 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3372817-1305426299/watcher-3372817-1305426299 -o /tmp/evaluation-result-3372817-1305426299/solver-3372817-1305426299 -C 5000 -W 5100 -M 15500 lingeling HOME/instance-3372817-1305426299.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.05 2.39 4.23 2/291 5600
/proc/meminfo: memFree=24189368/32951124 swapFree=63485424/67111528
[pid=5600] ppid=5598 vsize=7376 CPUtime=0 cores=0,2,4,6
/proc/5600/stat : 5600 (lingeling) R 5598 5600 28842 0 -1 4202496 424 0 0 0 0 0 0 0 25 0 1 0 635045818 7553024 367 33554432000 4194304 4409284 140734273675552 18446744073709551615 220816236288 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/5600/statm: 1844 367 112 53 0 267 0

[startup+0.070143 s]
/proc/loadavg: 2.05 2.39 4.23 2/291 5600
/proc/meminfo: memFree=24189368/32951124 swapFree=63485424/67111528
[pid=5600] ppid=5598 vsize=13916 CPUtime=0.06 cores=0,2,4,6
/proc/5600/stat : 5600 (lingeling) R 5598 5600 28842 0 -1 4202496 2060 0 0 0 6 0 0 0 25 0 1 0 635045818 14249984 2003 33554432000 4194304 4409284 140734273675552 18446744073709551615 220816236288 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/5600/statm: 3479 2003 113 53 0 1902 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13916

[startup+0.101107 s]
/proc/loadavg: 2.05 2.39 4.23 2/291 5600
/proc/meminfo: memFree=24189368/32951124 swapFree=63485424/67111528
[pid=5600] ppid=5598 vsize=15964 CPUtime=0.09 cores=0,2,4,6
/proc/5600/stat : 5600 (lingeling) R 5598 5600 28842 0 -1 4202496 2572 0 0 0 9 0 0 0 25 0 1 0 635045818 16347136 2515 33554432000 4194304 4409284 140734273675552 18446744073709551615 220816236288 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/5600/statm: 3991 2515 113 53 0 2414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15964

[startup+0.301092 s]
/proc/loadavg: 2.05 2.39 4.23 2/291 5600
/proc/meminfo: memFree=24189368/32951124 swapFree=63485424/67111528
[pid=5600] ppid=5598 vsize=40540 CPUtime=0.29 cores=0,2,4,6
/proc/5600/stat : 5600 (lingeling) R 5598 5600 28842 0 -1 4202496 8716 0 0 0 29 0 0 0 25 0 1 0 635045818 41512960 8659 33554432000 4194304 4409284 140734273675552 18446744073709551615 220816236288 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/5600/statm: 10135 8659 113 53 0 8558 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40540

[startup+0.701 s]
/proc/loadavg: 2.05 2.39 4.23 2/291 5600
/proc/meminfo: memFree=24189368/32951124 swapFree=63485424/67111528
[pid=5600] ppid=5598 vsize=40824 CPUtime=0.69 cores=0,2,4,6
/proc/5600/stat : 5600 (lingeling) R 5598 5600 28842 0 -1 4202496 9000 0 0 0 69 0 0 0 25 0 1 0 635045818 41803776 8714 33554432000 4194304 4409284 140734273675552 18446744073709551615 4302131 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/5600/statm: 10206 8714 129 53 0 8629 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40824

[startup+1.50088 s]
/proc/loadavg: 2.20 2.42 4.23 3/292 5601
/proc/meminfo: memFree=24154400/32951124 swapFree=63485424/67111528
[pid=5600] ppid=5598 vsize=40824 CPUtime=1.49 cores=0,2,4,6
/proc/5600/stat : 5600 (lingeling) R 5598 5600 28842 0 -1 4202496 9102 0 0 0 149 0 0 0 25 0 1 0 635045818 41803776 8714 33554432000 4194304 4409284 140734273675552 18446744073709551615 4304275 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/5600/statm: 10206 8714 129 53 0 8629 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40824

[startup+3.10059 s]
/proc/loadavg: 2.20 2.42 4.23 3/292 5601
/proc/meminfo: memFree=24135148/32951124 swapFree=63485424/67111528
[pid=5600] ppid=5598 vsize=58352 CPUtime=3.09 cores=0,2,4,6
/proc/5600/stat : 5600 (lingeling) R 5598 5600 28842 0 -1 4202496 14457 0 0 0 308 1 0 0 25 0 1 0 635045818 59752448 13103 33554432000 4194304 4409284 140734273675552 18446744073709551615 4324307 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/5600/statm: 14588 13103 136 53 0 13011 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58352

[startup+6.30097 s]
/proc/loadavg: 2.20 2.42 4.23 3/292 5601
/proc/meminfo: memFree=24121384/32951124 swapFree=63485424/67111528
[pid=5600] ppid=5598 vsize=76420 CPUtime=6.29 cores=0,2,4,6
/proc/5600/stat : 5600 (lingeling) R 5598 5600 28842 0 -1 4202496 18979 0 0 0 626 3 0 0 25 0 1 0 635045818 78254080 17625 33554432000 4194304 4409284 140734273675552 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/5600/statm: 19105 17625 141 53 0 17528 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 76420

[startup+12.7008 s]
/proc/loadavg: 2.17 2.41 4.20 3/292 5602
/proc/meminfo: memFree=24114956/32951124 swapFree=63485424/67111528
[pid=5600] ppid=5598 vsize=64472 CPUtime=12.69 cores=0,2,4,6
/proc/5600/stat : 5600 (lingeling) R 5598 5600 28842 0 -1 4202496 20844 0 0 0 1263 6 0 0 25 0 1 0 635045818 66019328 14638 33554432000 4194304 4409284 140734273675552 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/5600/statm: 16118 14638 141 53 0 14541 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64472

[startup+25.5004 s]
/proc/loadavg: 2.14 2.39 4.18 3/292 5603
/proc/meminfo: memFree=24137636/32951124 swapFree=63485424/67111528
[pid=5600] ppid=5598 vsize=67932 CPUtime=25.49 cores=0,2,4,6
/proc/5600/stat : 5600 (lingeling) R 5598 5600 28842 0 -1 4202496 23173 0 0 0 2538 11 0 0 25 0 1 0 635045818 69562368 15503 33554432000 4194304 4409284 140734273675552 18446744073709551615 4358445 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/5600/statm: 16983 15503 141 53 0 15406 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 67932

[startup+51.1007 s]
/proc/loadavg: 2.09 2.36 4.12 3/292 5603
/proc/meminfo: memFree=24106308/32951124 swapFree=63485424/67111528
[pid=5600] ppid=5598 vsize=83960 CPUtime=51.09 cores=0,2,4,6
/proc/5600/stat : 5600 (lingeling) R 5598 5600 28842 0 -1 4202496 34794 0 0 0 5090 19 0 0 25 0 1 0 635045818 85975040 19510 33554432000 4194304 4409284 140734273675552 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/5600/statm: 20990 19510 141 53 0 19413 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 83960

[startup+102.311 s]
/proc/loadavg: 2.04 2.30 3.99 3/292 5605
/proc/meminfo: memFree=24132500/32951124 swapFree=63485424/67111528
[pid=5600] ppid=5598 vsize=74780 CPUtime=102.3 cores=0,2,4,6
/proc/5600/stat : 5600 (lingeling) R 5598 5600 28842 0 -1 4202496 57578 0 0 0 10196 34 0 0 25 0 1 0 635045818 76574720 17215 33554432000 4194304 4409284 140734273675552 18446744073709551615 4358399 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/5600/statm: 18695 17215 141 53 0 17118 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 74780

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

[startup+115.101 s]
/proc/loadavg: 2.03 2.29 3.97 3/292 5605
/proc/meminfo: memFree=24120100/32951124 swapFree=63485424/67111528
[pid=5600] ppid=5598 vsize=77068 CPUtime=115.09 cores=0,2,4,6
/proc/5600/stat : 5600 (lingeling) R 5598 5600 28842 0 -1 4202496 61021 0 0 0 11472 37 0 0 25 0 1 0 635045818 78917632 17787 33554432000 4194304 4409284 140734273675552 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/5600/statm: 19267 17787 141 53 0 17690 0
Current children cumulated CPU time (s) 115.09
Current children cumulated vsize (KiB) 77068

[startup+121.501 s]
/proc/loadavg: 2.02 2.28 3.95 3/292 5605
/proc/meminfo: memFree=24121588/32951124 swapFree=63485424/67111528
[pid=5600] ppid=5598 vsize=72512 CPUtime=121.5 cores=0,2,4,6
/proc/5600/stat : 5600 (lingeling) R 5598 5600 28842 0 -1 4202496 63215 0 0 0 12111 39 0 0 25 0 1 0 635045818 74252288 16648 33554432000 4194304 4409284 140734273675552 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/5600/statm: 18128 16648 141 53 0 16551 0
Current children cumulated CPU time (s) 121.5
Current children cumulated vsize (KiB) 72512

[startup+127.901 s]
/proc/loadavg: 2.02 2.27 3.94 3/292 5605
/proc/meminfo: memFree=24114020/32951124 swapFree=63485424/67111528
[pid=5600] ppid=5598 vsize=71912 CPUtime=127.9 cores=0,2,4,6
/proc/5600/stat : 5600 (lingeling) R 5598 5600 28842 0 -1 4202496 65540 0 0 0 12749 41 0 0 25 0 1 0 635045818 73637888 16498 33554432000 4194304 4409284 140734273675552 18446744073709551615 4360264 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/5600/statm: 17978 16498 141 53 0 16401 0
Current children cumulated CPU time (s) 127.9
Current children cumulated vsize (KiB) 71912

[startup+129.5 s]
/proc/loadavg: 2.02 2.27 3.94 3/292 5605
/proc/meminfo: memFree=24121336/32951124 swapFree=63485424/67111528
[pid=5600] ppid=5598 vsize=73000 CPUtime=129.49 cores=0,2,4,6
/proc/5600/stat : 5600 (lingeling) R 5598 5600 28842 0 -1 4202496 65812 0 0 0 12908 41 0 0 25 0 1 0 635045818 74752000 16770 33554432000 4194304 4409284 140734273675552 18446744073709551615 4360264 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/5600/statm: 18250 16770 141 53 0 16673 0
Current children cumulated CPU time (s) 129.49
Current children cumulated vsize (KiB) 73000

[startup+130.301 s]
/proc/loadavg: 2.02 2.27 3.94 3/292 5605
/proc/meminfo: memFree=24120468/32951124 swapFree=63485424/67111528
[pid=5600] ppid=5598 vsize=73292 CPUtime=130.3 cores=0,2,4,6
/proc/5600/stat : 5600 (lingeling) R 5598 5600 28842 0 -1 4202496 65885 0 0 0 12988 42 0 0 25 0 1 0 635045818 75051008 16843 33554432000 4194304 4409284 140734273675552 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/5600/statm: 18323 16843 141 53 0 16746 0
Current children cumulated CPU time (s) 130.3
Current children cumulated vsize (KiB) 73292

[startup+130.701 s]
/proc/loadavg: 2.02 2.27 3.94 3/292 5605
/proc/meminfo: memFree=24120468/32951124 swapFree=63485424/67111528
[pid=5600] ppid=5598 vsize=73292 CPUtime=130.69 cores=0,2,4,6
/proc/5600/stat : 5600 (lingeling) R 5598 5600 28842 0 -1 4202496 65885 0 0 0 13027 42 0 0 25 0 1 0 635045818 75051008 16843 33554432000 4194304 4409284 140734273675552 18446744073709551615 4358548 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/5600/statm: 18323 16843 141 53 0 16746 0
Current children cumulated CPU time (s) 130.69
Current children cumulated vsize (KiB) 73292

[startup+130.911 s]
/proc/loadavg: 2.02 2.27 3.93 3/292 5606
/proc/meminfo: memFree=24120220/32951124 swapFree=63485424/67111528
[pid=5600] ppid=5598 vsize=73756 CPUtime=130.9 cores=0,2,4,6
/proc/5600/stat : 5600 (lingeling) R 5598 5600 28842 0 -1 4202496 66001 0 0 0 13048 42 0 0 25 0 1 0 635045818 75526144 16959 33554432000 4194304 4409284 140734273675552 18446744073709551615 4358560 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/5600/statm: 18439 16959 141 53 0 16862 0
Current children cumulated CPU time (s) 130.9
Current children cumulated vsize (KiB) 73756

[startup+131.001 s]
/proc/loadavg: 2.02 2.27 3.93 3/292 5606
/proc/meminfo: memFree=24120220/32951124 swapFree=63485424/67111528
[pid=5600] ppid=5598 vsize=73756 CPUtime=130.99 cores=0,2,4,6
/proc/5600/stat : 5600 (lingeling) R 5598 5600 28842 0 -1 4202496 66001 0 0 0 13057 42 0 0 25 0 1 0 635045818 75526144 16959 33554432000 4194304 4409284 140734273675552 18446744073709551615 4252932 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/5600/statm: 18439 16959 141 53 0 16862 0
Current children cumulated CPU time (s) 130.99
Current children cumulated vsize (KiB) 73756

Child status: 10
Real time (s): 131.018
CPU time (s): 131.021
CPU user time (s): 130.592
CPU system time (s): 0.428934
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 94608

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

runsolver used 0.370943 second user time and 0.833873 second system time

The end

Launcher Data 

Begin job on node147 at 2011-05-15 04:24:59
IDJOB=3372817
IDBENCH=83475
IDSOLVER=1850
FILE ID=node147/3372817-1305426299
RUNJOBID= node147-1305425625-31802
PBS_JOBID= 13324574
Free space on /tmp= 73136 MiB

SOLVER NAME= Lingeling 587f (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf
COMMAND LINE= lingeling BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372817-1305426299/watcher-3372817-1305426299 -o /tmp/evaluation-result-3372817-1305426299/solver-3372817-1305426299 -C 5000 -W 5100 -M 15500  lingeling HOME/instance-3372817-1305426299.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=1204087234

node147.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24189524 kB
Buffers:        298324 kB
Cached:        5124568 kB
SwapCached:      13132 kB
Active:        1771928 kB
Inactive:      6755212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24189524 kB
SwapTotal:    67111528 kB
SwapFree:     63485424 kB
Dirty:           20504 kB
Writeback:           0 kB
AnonPages:     3099528 kB
Mapped:          15300 kB
Slab:           141700 kB
PageTables:      29040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 44924600 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73136 MiB
End job on node147 at 2011-05-15 04:27:10