Trace number 3300117

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
clasp 2.0-R4092-industSAT 159.801 159.801

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 benchmark15.7966
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 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3300117-1303828290/watcher-3300117-1303828290 -o /tmp/evaluation-result-3300117-1303828290/solver-3300117-1303828290 -C 2400 -W 1300 -M 7680 HOME/clasp --berk-max=512 --berk-once --restarts=256 --reverse-arcs=2 --recursive-str --dinit=800,10000 --dsched=10000,1.1 --dscore=2 --update-lbd --dalgo=2 HOME/instance-3300117-1303828290.cnf 

running on 2 cores: 1,3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.94 3.93 3.60 4/189 704
/proc/meminfo: memFree=17675280/32951124 swapFree=67111528/67111528
[pid=704] ppid=702 vsize=13608 CPUtime=0 cores=1,3
/proc/704/stat : 704 (clasp) R 702 704 32347 0 -1 4202496 689 0 0 0 0 0 0 0 25 0 1 0 494431697 13934592 629 33554432000 4194304 4929204 140734961769024 18446744073709551615 4664652 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/704/statm: 3402 638 319 180 0 412 0

[startup+0.025173 s]
/proc/loadavg: 3.94 3.93 3.60 4/189 704
/proc/meminfo: memFree=17675280/32951124 swapFree=67111528/67111528
[pid=704] ppid=702 vsize=16880 CPUtime=0.02 cores=1,3
/proc/704/stat : 704 (clasp) R 702 704 32347 0 -1 4202496 1665 0 0 0 2 0 0 0 25 0 1 0 494431697 17285120 1488 33554432000 4194304 4929204 140734961769024 18446744073709551615 216634176197 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/704/statm: 4220 1489 327 180 0 1230 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16880

[startup+0.100175 s]
/proc/loadavg: 3.94 3.93 3.60 4/189 704
/proc/meminfo: memFree=17675280/32951124 swapFree=67111528/67111528
[pid=704] ppid=702 vsize=27792 CPUtime=0.09 cores=1,3
/proc/704/stat : 704 (clasp) R 702 704 32347 0 -1 4202496 5093 0 0 0 9 0 0 0 25 0 1 0 494431697 28459008 4208 33554432000 4194304 4929204 140734961769024 18446744073709551615 216634176197 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/704/statm: 6948 4209 330 180 0 3958 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27792

[startup+0.301135 s]
/proc/loadavg: 3.94 3.93 3.60 4/189 704
/proc/meminfo: memFree=17675280/32951124 swapFree=67111528/67111528
[pid=704] ppid=702 vsize=59924 CPUtime=0.29 cores=1,3
/proc/704/stat : 704 (clasp) R 702 704 32347 0 -1 4202496 14739 0 0 0 27 2 0 0 25 0 1 0 494431697 61362176 11827 33554432000 4194304 4929204 140734961769024 18446744073709551615 4593011 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/704/statm: 14981 11827 340 180 0 11991 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59924

[startup+0.701057 s]
/proc/loadavg: 3.94 3.93 3.60 4/189 704
/proc/meminfo: memFree=17675280/32951124 swapFree=67111528/67111528
[pid=704] ppid=702 vsize=75888 CPUtime=0.69 cores=1,3
/proc/704/stat : 704 (clasp) R 702 704 32347 0 -1 4202496 18351 0 0 0 66 3 0 0 25 0 1 0 494431697 77709312 15439 33554432000 4194304 4929204 140734961769024 18446744073709551615 4582134 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/704/statm: 18972 15439 341 180 0 15982 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75888

[startup+1.50092 s]
/proc/loadavg: 3.94 3.93 3.60 5/190 705
/proc/meminfo: memFree=17613776/32951124 swapFree=67111528/67111528
[pid=704] ppid=702 vsize=75888 CPUtime=1.49 cores=1,3
/proc/704/stat : 704 (clasp) R 702 704 32347 0 -1 4202496 18352 0 0 0 146 3 0 0 25 0 1 0 494431697 77709312 15440 33554432000 4194304 4929204 140734961769024 18446744073709551615 4582134 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/704/statm: 18972 15440 342 180 0 15982 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 75888

[startup+3.10064 s]
/proc/loadavg: 3.94 3.93 3.60 5/190 705
/proc/meminfo: memFree=17613280/32951124 swapFree=67111528/67111528
[pid=704] ppid=702 vsize=75888 CPUtime=3.09 cores=1,3
/proc/704/stat : 704 (clasp) R 702 704 32347 0 -1 4202496 18352 0 0 0 306 3 0 0 25 0 1 0 494431697 77709312 15440 33554432000 4194304 4929204 140734961769024 18446744073709551615 4582134 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/704/statm: 18972 15440 342 180 0 15982 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 75888

[startup+6.30107 s]
/proc/loadavg: 3.94 3.93 3.60 5/190 705
/proc/meminfo: memFree=17611336/32951124 swapFree=67111528/67111528
[pid=704] ppid=702 vsize=75888 CPUtime=6.29 cores=1,3
/proc/704/stat : 704 (clasp) R 702 704 32347 0 -1 4202496 18352 0 0 0 626 3 0 0 25 0 1 0 494431697 77709312 15440 33554432000 4194304 4929204 140734961769024 18446744073709551615 4582166 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/704/statm: 18972 15440 342 180 0 15982 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 75888

[startup+12.701 s]
/proc/loadavg: 3.95 3.94 3.60 5/190 705
/proc/meminfo: memFree=17608620/32951124 swapFree=67111528/67111528
[pid=704] ppid=702 vsize=75888 CPUtime=12.69 cores=1,3
/proc/704/stat : 704 (clasp) R 702 704 32347 0 -1 4202496 18352 0 0 0 1266 3 0 0 25 0 1 0 494431697 77709312 15440 33554432000 4194304 4929204 140734961769024 18446744073709551615 4582188 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/704/statm: 18972 15440 342 180 0 15982 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 75888

[startup+25.5007 s]
/proc/loadavg: 3.96 3.94 3.61 5/190 706
/proc/meminfo: memFree=17607036/32951124 swapFree=67111528/67111528
[pid=704] ppid=702 vsize=75888 CPUtime=25.49 cores=1,3
/proc/704/stat : 704 (clasp) R 702 704 32347 0 -1 4202496 18352 0 0 0 2546 3 0 0 25 0 1 0 494431697 77709312 15440 33554432000 4194304 4929204 140734961769024 18446744073709551615 4582080 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/704/statm: 18972 15440 342 180 0 15982 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 75888

[startup+51.1012 s]
/proc/loadavg: 3.97 3.94 3.62 5/190 733
/proc/meminfo: memFree=17617680/32951124 swapFree=67111528/67111528
[pid=704] ppid=702 vsize=82344 CPUtime=51.09 cores=1,3
/proc/704/stat : 704 (clasp) R 702 704 32347 0 -1 4202496 21376 0 0 0 5106 3 0 0 25 0 1 0 494431697 84320256 17524 33554432000 4194304 4929204 140734961769024 18446744073709551615 4633732 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/704/statm: 20586 17524 372 180 0 17596 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 82344

[startup+102.307 s]
/proc/loadavg: 3.99 3.95 3.64 5/190 763
/proc/meminfo: memFree=17606156/32951124 swapFree=67111528/67111528
[pid=704] ppid=702 vsize=86228 CPUtime=102.3 cores=1,3
/proc/704/stat : 704 (clasp) R 702 704 32347 0 -1 4202496 22640 0 0 0 10226 4 0 0 25 0 1 0 494431697 88297472 18788 33554432000 4194304 4929204 140734961769024 18446744073709551615 4633861 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/704/statm: 21557 18788 373 180 0 18567 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 86228

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

[startup+127.901 s]
/proc/loadavg: 3.99 3.95 3.65 5/190 763
/proc/meminfo: memFree=17591128/32951124 swapFree=67111528/67111528
[pid=704] ppid=702 vsize=93464 CPUtime=127.9 cores=1,3
/proc/704/stat : 704 (clasp) R 702 704 32347 0 -1 4202496 24384 0 0 0 12785 5 0 0 25 0 1 0 494431697 95707136 20532 33554432000 4194304 4929204 140734961769024 18446744073709551615 4633836 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/704/statm: 23366 20532 373 180 0 20376 0
Current children cumulated CPU time (s) 127.9
Current children cumulated vsize (KiB) 93464

[startup+140.7 s]
/proc/loadavg: 3.99 3.95 3.65 5/190 764
/proc/meminfo: memFree=17579968/32951124 swapFree=67111528/67111528
[pid=704] ppid=702 vsize=98060 CPUtime=140.69 cores=1,3
/proc/704/stat : 704 (clasp) R 702 704 32347 0 -1 4202496 25542 0 0 0 14064 5 0 0 25 0 1 0 494431697 100413440 21690 33554432000 4194304 4929204 140734961769024 18446744073709551615 4633001 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/704/statm: 24515 21690 373 180 0 21525 0
Current children cumulated CPU time (s) 140.69
Current children cumulated vsize (KiB) 98060

[startup+153.501 s]
/proc/loadavg: 3.99 3.95 3.65 5/190 764
/proc/meminfo: memFree=17577480/32951124 swapFree=67111528/67111528
[pid=704] ppid=702 vsize=98580 CPUtime=153.49 cores=1,3
/proc/704/stat : 704 (clasp) R 702 704 32347 0 -1 4202496 25675 0 0 0 15344 5 0 0 25 0 1 0 494431697 100945920 21823 33554432000 4194304 4929204 140734961769024 18446744073709551615 4638682 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/704/statm: 24645 21823 373 180 0 21655 0
Current children cumulated CPU time (s) 153.49
Current children cumulated vsize (KiB) 98580

[startup+156.701 s]
/proc/loadavg: 3.99 3.95 3.66 5/190 764
/proc/meminfo: memFree=17576736/32951124 swapFree=67111528/67111528
[pid=704] ppid=702 vsize=98580 CPUtime=156.69 cores=1,3
/proc/704/stat : 704 (clasp) R 702 704 32347 0 -1 4202496 25675 0 0 0 15664 5 0 0 25 0 1 0 494431697 100945920 21823 33554432000 4194304 4929204 140734961769024 18446744073709551615 4633732 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/704/statm: 24645 21823 373 180 0 21655 0
Current children cumulated CPU time (s) 156.69
Current children cumulated vsize (KiB) 98580

[startup+158.3 s]
/proc/loadavg: 3.99 3.95 3.66 5/190 764
/proc/meminfo: memFree=17576488/32951124 swapFree=67111528/67111528
[pid=704] ppid=702 vsize=98580 CPUtime=158.29 cores=1,3
/proc/704/stat : 704 (clasp) R 702 704 32347 0 -1 4202496 25675 0 0 0 15824 5 0 0 25 0 1 0 494431697 100945920 21823 33554432000 4194304 4929204 140734961769024 18446744073709551615 4633732 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/704/statm: 24645 21823 373 180 0 21655 0
Current children cumulated CPU time (s) 158.29
Current children cumulated vsize (KiB) 98580

[startup+159.101 s]
/proc/loadavg: 3.99 3.95 3.66 5/190 764
/proc/meminfo: memFree=17576488/32951124 swapFree=67111528/67111528
[pid=704] ppid=702 vsize=98580 CPUtime=159.09 cores=1,3
/proc/704/stat : 704 (clasp) R 702 704 32347 0 -1 4202496 25675 0 0 0 15904 5 0 0 25 0 1 0 494431697 100945920 21823 33554432000 4194304 4929204 140734961769024 18446744073709551615 4633732 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/704/statm: 24645 21823 373 180 0 21655 0
Current children cumulated CPU time (s) 159.09
Current children cumulated vsize (KiB) 98580

[startup+159.507 s]
/proc/loadavg: 3.99 3.95 3.66 5/190 764
/proc/meminfo: memFree=17576488/32951124 swapFree=67111528/67111528
[pid=704] ppid=702 vsize=98580 CPUtime=159.5 cores=1,3
/proc/704/stat : 704 (clasp) R 702 704 32347 0 -1 4202496 25675 0 0 0 15945 5 0 0 25 0 1 0 494431697 100945920 21823 33554432000 4194304 4929204 140734961769024 18446744073709551615 4633732 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/704/statm: 24645 21823 373 180 0 21655 0
Current children cumulated CPU time (s) 159.5
Current children cumulated vsize (KiB) 98580

[startup+159.701 s]
/proc/loadavg: 3.99 3.95 3.66 5/190 764
/proc/meminfo: memFree=17576488/32951124 swapFree=67111528/67111528
[pid=704] ppid=702 vsize=98580 CPUtime=159.69 cores=1,3
/proc/704/stat : 704 (clasp) R 702 704 32347 0 -1 4202496 25675 0 0 0 15964 5 0 0 25 0 1 0 494431697 100945920 21823 33554432000 4194304 4929204 140734961769024 18446744073709551615 4633732 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/704/statm: 24645 21823 373 180 0 21655 0
Current children cumulated CPU time (s) 159.69
Current children cumulated vsize (KiB) 98580

Child status: 10
Real time (s): 159.801
CPU time (s): 159.801
CPU user time (s): 159.738
CPU system time (s): 0.06299
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 98580

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

runsolver used 0.244962 second user time and 0.634903 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-26 16:31:31
IDJOB=3300117
IDBENCH=83475
IDSOLVER=1684
FILE ID=node103/3300117-1303828290
RUNJOBID= node103-1303828194-452
PBS_JOBID= 13160793
Free space on /tmp= 71400 MiB

SOLVER NAME= clasp 2.0-R4092-indust
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf
COMMAND LINE= HOME/clasp --berk-max=512 --berk-once --restarts=256 --reverse-arcs=2 --recursive-str --dinit=800,10000 --dsched=10000,1.1 --dscore=2 --update-lbd --dalgo=2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3300117-1303828290/watcher-3300117-1303828290 -o /tmp/evaluation-result-3300117-1303828290/solver-3300117-1303828290 -C 2400 -W 1300 -M 7680  HOME/clasp --berk-max=512 --berk-once --restarts=256 --reverse-arcs=2 --recursive-str --dinit=800,10000 --dsched=10000,1.1 --dscore=2 --update-lbd --dalgo=2 HOME/instance-3300117-1303828290.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=1981879066

node103.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.858
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.71
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.858
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.858
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.75
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.858
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.77
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.858
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.75
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.858
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.75
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.858
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.83
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.858
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:      17675560 kB
Buffers:       2139976 kB
Cached:       12111840 kB
SwapCached:          0 kB
Active:        5745792 kB
Inactive:      8947060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17675560 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          131376 kB
Writeback:           0 kB
AnonPages:      440464 kB
Mapped:          16220 kB
Slab:           517888 kB
PageTables:       6036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   629392 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= 71408 MiB
End job on node103 at 2011-04-26 16:34:11