Trace number 3300118

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 135.561 135.562

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F20.cnf
MD5SUM2ee3aaaabe8a89270b338ea6a7bf3762
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark20.1839
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses484053
Sum of the clauses size4133728
Maximum clause length91
Minimum clause length1
Number of clauses of size 134
Number of clauses of size 227746
Number of clauses of size 323112
Number of clauses of size 411940
Number of clauses of size 522180
Number of clauses of size over 5399041

Solver Data 

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

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-3300118-1303828208/watcher-3300118-1303828208 -o /tmp/evaluation-result-3300118-1303828208/solver-3300118-1303828208 -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-3300118-1303828208.cnf 

running on 2 cores: 4,6

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.79 3.92 3.66 4/186 606
/proc/meminfo: memFree=21638360/32951124 swapFree=67111524/67111528
[pid=606] ppid=594 vsize=14260 CPUtime=0 cores=4,6
/proc/606/stat : 606 (clasp) R 594 606 32365 0 -1 4202496 830 0 0 0 0 0 0 0 21 0 1 0 494423188 14602240 751 33554432000 4194304 4929204 140733407844848 18446744073709551615 4653014 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/606/statm: 3565 755 320 180 0 575 0

[startup+0.085927 s]
/proc/loadavg: 3.79 3.92 3.66 4/186 606
/proc/meminfo: memFree=21638360/32951124 swapFree=67111524/67111528
[pid=606] ppid=594 vsize=25556 CPUtime=0.07 cores=4,6
/proc/606/stat : 606 (clasp) R 594 606 32365 0 -1 4202496 4443 0 0 0 7 0 0 0 21 0 1 0 494423188 26169344 3558 33554432000 4194304 4929204 140733407844848 18446744073709551615 212435677893 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/606/statm: 6389 3560 330 180 0 3399 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25556

[startup+0.100923 s]
/proc/loadavg: 3.79 3.92 3.66 4/186 606
/proc/meminfo: memFree=21638360/32951124 swapFree=67111524/67111528
[pid=606] ppid=594 vsize=27272 CPUtime=0.09 cores=4,6
/proc/606/stat : 606 (clasp) R 594 606 32365 0 -1 4202496 4916 0 0 0 8 1 0 0 21 0 1 0 494423188 27926528 4031 33554432000 4194304 4929204 140733407844848 18446744073709551615 212435677893 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/606/statm: 6818 4032 330 180 0 3828 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27272

[startup+0.30089 s]
/proc/loadavg: 3.79 3.92 3.66 4/186 606
/proc/meminfo: memFree=21638360/32951124 swapFree=67111524/67111528
[pid=606] ppid=594 vsize=56964 CPUtime=0.29 cores=4,6
/proc/606/stat : 606 (clasp) R 594 606 32365 0 -1 4202496 14002 0 0 0 27 2 0 0 22 0 1 0 494423188 58331136 11090 33554432000 4194304 4929204 140733407844848 18446744073709551615 4589969 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/606/statm: 14241 11090 340 180 0 11251 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56964

[startup+0.700838 s]
/proc/loadavg: 3.79 3.92 3.66 4/186 606
/proc/meminfo: memFree=21638360/32951124 swapFree=67111524/67111528
[pid=606] ppid=594 vsize=78984 CPUtime=0.69 cores=4,6
/proc/606/stat : 606 (clasp) R 594 606 32365 0 -1 4202496 19075 0 0 0 66 3 0 0 23 0 1 0 494423188 80879616 16163 33554432000 4194304 4929204 140733407844848 18446744073709551615 4582148 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/606/statm: 19746 16163 341 180 0 16756 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78984

[startup+1.50071 s]
/proc/loadavg: 3.79 3.92 3.66 5/187 607
/proc/meminfo: memFree=21537424/32951124 swapFree=67111524/67111528
[pid=606] ppid=594 vsize=78984 CPUtime=1.49 cores=4,6
/proc/606/stat : 606 (clasp) R 594 606 32365 0 -1 4202496 19076 0 0 0 146 3 0 0 25 0 1 0 494423188 80879616 16164 33554432000 4194304 4929204 140733407844848 18446744073709551615 4582134 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/606/statm: 19746 16164 342 180 0 16756 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 78984

[startup+3.10038 s]
/proc/loadavg: 3.79 3.92 3.66 6/190 613
/proc/meminfo: memFree=21434984/32951124 swapFree=67111524/67111528
[pid=606] ppid=594 vsize=78984 CPUtime=3.09 cores=4,6
/proc/606/stat : 606 (clasp) R 594 606 32365 0 -1 4202496 19076 0 0 0 306 3 0 0 25 0 1 0 494423188 80879616 16164 33554432000 4194304 4929204 140733407844848 18446744073709551615 4582134 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/606/statm: 19746 16164 342 180 0 16756 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 78984

[startup+6.30075 s]
/proc/loadavg: 3.97 3.96 3.67 5/190 613
/proc/meminfo: memFree=21364416/32951124 swapFree=67111524/67111528
[pid=606] ppid=594 vsize=78984 CPUtime=6.29 cores=4,6
/proc/606/stat : 606 (clasp) R 594 606 32365 0 -1 4202496 19076 0 0 0 626 3 0 0 25 0 1 0 494423188 80879616 16164 33554432000 4194304 4929204 140733407844848 18446744073709551615 4582119 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/606/statm: 19746 16164 342 180 0 16756 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78984

[startup+12.7006 s]
/proc/loadavg: 3.97 3.96 3.67 5/190 613
/proc/meminfo: memFree=21358792/32951124 swapFree=67111524/67111528
[pid=606] ppid=594 vsize=78984 CPUtime=12.69 cores=4,6
/proc/606/stat : 606 (clasp) R 594 606 32365 0 -1 4202496 19076 0 0 0 1266 3 0 0 25 0 1 0 494423188 80879616 16164 33554432000 4194304 4929204 140733407844848 18446744073709551615 4582134 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/606/statm: 19746 16164 342 180 0 16756 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 78984

[startup+25.5011 s]
/proc/loadavg: 3.98 3.96 3.68 5/190 641
/proc/meminfo: memFree=21363644/32951124 swapFree=67111524/67111528
[pid=606] ppid=594 vsize=78984 CPUtime=25.49 cores=4,6
/proc/606/stat : 606 (clasp) R 594 606 32365 0 -1 4202496 19076 0 0 0 2546 3 0 0 25 0 1 0 494423188 80879616 16164 33554432000 4194304 4929204 140733407844848 18446744073709551615 4582134 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/606/statm: 19746 16164 342 180 0 16756 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 78984

[startup+51.1002 s]
/proc/loadavg: 4.11 3.99 3.70 6/190 668
/proc/meminfo: memFree=21015652/32951124 swapFree=67111524/67111528
[pid=606] ppid=594 vsize=83460 CPUtime=51.08 cores=4,6
/proc/606/stat : 606 (clasp) R 594 606 32365 0 -1 4202496 21590 0 0 0 5105 3 0 0 25 0 1 0 494423188 85463040 17733 33554432000 4194304 4929204 140733407844848 18446744073709551615 4316263 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/606/statm: 20865 17733 367 180 0 17875 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83460

[startup+102.306 s]
/proc/loadavg: 4.05 3.99 3.71 5/190 670
/proc/meminfo: memFree=21003292/32951124 swapFree=67111524/67111528
[pid=606] ppid=594 vsize=84036 CPUtime=102.29 cores=4,6
/proc/606/stat : 606 (clasp) R 594 606 32365 0 -1 4202496 22121 0 0 0 10226 3 0 0 25 0 1 0 494423188 86052864 18264 33554432000 4194304 4929204 140733407844848 18446744073709551615 4359771 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/606/statm: 21009 18264 373 180 0 18019 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 84036

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

[startup+115.101 s]
/proc/loadavg: 4.04 3.99 3.71 6/190 670
/proc/meminfo: memFree=20997328/32951124 swapFree=67111524/67111528
[pid=606] ppid=594 vsize=87296 CPUtime=115.09 cores=4,6
/proc/606/stat : 606 (clasp) R 594 606 32365 0 -1 4202496 22826 0 0 0 11505 4 0 0 25 0 1 0 494423188 89391104 18969 33554432000 4194304 4929204 140733407844848 18446744073709551615 4633732 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/606/statm: 21824 18969 373 180 0 18834 0
Current children cumulated CPU time (s) 115.09
Current children cumulated vsize (KiB) 87296

[startup+127.901 s]
/proc/loadavg: 4.03 3.99 3.72 5/190 670
/proc/meminfo: memFree=20968496/32951124 swapFree=67111524/67111528
[pid=606] ppid=594 vsize=90264 CPUtime=127.89 cores=4,6
/proc/606/stat : 606 (clasp) R 594 606 32365 0 -1 4202496 23571 0 0 0 12785 4 0 0 25 0 1 0 494423188 92430336 19714 33554432000 4194304 4929204 140733407844848 18446744073709551615 4633723 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/606/statm: 22566 19714 373 180 0 19576 0
Current children cumulated CPU time (s) 127.89
Current children cumulated vsize (KiB) 90264

[startup+131.101 s]
/proc/loadavg: 4.03 3.99 3.72 5/190 670
/proc/meminfo: memFree=20965520/32951124 swapFree=67111524/67111528
[pid=606] ppid=594 vsize=93408 CPUtime=131.09 cores=4,6
/proc/606/stat : 606 (clasp) R 594 606 32365 0 -1 4202496 24281 0 0 0 13104 5 0 0 25 0 1 0 494423188 95649792 20424 33554432000 4194304 4929204 140733407844848 18446744073709551615 4320593 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/606/statm: 23352 20424 373 180 0 20362 0
Current children cumulated CPU time (s) 131.09
Current children cumulated vsize (KiB) 93408

[startup+132.701 s]
/proc/loadavg: 4.03 3.99 3.72 5/190 670
/proc/meminfo: memFree=20965396/32951124 swapFree=67111524/67111528
[pid=606] ppid=594 vsize=93408 CPUtime=132.69 cores=4,6
/proc/606/stat : 606 (clasp) R 594 606 32365 0 -1 4202496 24281 0 0 0 13264 5 0 0 25 0 1 0 494423188 95649792 20424 33554432000 4194304 4929204 140733407844848 18446744073709551615 4633732 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/606/statm: 23352 20424 373 180 0 20362 0
Current children cumulated CPU time (s) 132.69
Current children cumulated vsize (KiB) 93408

[startup+134.3 s]
/proc/loadavg: 4.03 3.99 3.72 5/190 671
/proc/meminfo: memFree=20965516/32951124 swapFree=67111524/67111528
[pid=606] ppid=594 vsize=93408 CPUtime=134.29 cores=4,6
/proc/606/stat : 606 (clasp) R 594 606 32365 0 -1 4202496 24281 0 0 0 13424 5 0 0 25 0 1 0 494423188 95649792 20424 33554432000 4194304 4929204 140733407844848 18446744073709551615 4633688 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/606/statm: 23352 20424 373 180 0 20362 0
Current children cumulated CPU time (s) 134.29
Current children cumulated vsize (KiB) 93408

[startup+135.1 s]
/proc/loadavg: 4.03 3.99 3.72 5/190 671
/proc/meminfo: memFree=20965516/32951124 swapFree=67111524/67111528
[pid=606] ppid=594 vsize=93408 CPUtime=135.09 cores=4,6
/proc/606/stat : 606 (clasp) R 594 606 32365 0 -1 4202496 24281 0 0 0 13504 5 0 0 25 0 1 0 494423188 95649792 20424 33554432000 4194304 4929204 140733407844848 18446744073709551615 4633732 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/606/statm: 23352 20424 373 180 0 20362 0
Current children cumulated CPU time (s) 135.09
Current children cumulated vsize (KiB) 93408

[startup+135.501 s]
/proc/loadavg: 4.02 3.99 3.72 6/190 671
/proc/meminfo: memFree=20965268/32951124 swapFree=67111524/67111528
[pid=606] ppid=594 vsize=93408 CPUtime=135.49 cores=4,6
/proc/606/stat : 606 (clasp) R 594 606 32365 0 -1 4202496 24281 0 0 0 13544 5 0 0 25 0 1 0 494423188 95649792 20424 33554432000 4194304 4929204 140733407844848 18446744073709551615 4633752 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/606/statm: 23352 20424 373 180 0 20362 0
Current children cumulated CPU time (s) 135.49
Current children cumulated vsize (KiB) 93408

Child status: 10
Real time (s): 135.562
CPU time (s): 135.561
CPU user time (s): 135.505
CPU system time (s): 0.055991
CPU usage (%): 99.9993
Max. virtual memory (cumulated for all children) (KiB): 93408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 135.505
system time used= 0.055991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24297
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= 222

runsolver used 0.273958 second user time and 0.473927 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-26 16:30:08
IDJOB=3300118
IDBENCH=83450
IDSOLVER=1684
FILE ID=node102/3300118-1303828208
RUNJOBID= node102-1303828208-561
PBS_JOBID= 13160794
Free space on /tmp= 71612 MiB

SOLVER NAME= clasp 2.0-R4092-indust
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F20.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-3300118-1303828208/watcher-3300118-1303828208 -o /tmp/evaluation-result-3300118-1303828208/solver-3300118-1303828208 -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-3300118-1303828208.cnf

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=187028791

node102.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.828
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.65
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.828
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	: 5226.15
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.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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:      21638516 kB
Buffers:       1619764 kB
Cached:        9032872 kB
SwapCached:          4 kB
Active:        2584508 kB
Inactive:      8174948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21638516 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           57276 kB
Writeback:           0 kB
AnonPages:      106660 kB
Mapped:          15952 kB
Slab:           488668 kB
PageTables:       4672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   272796 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= 71476 MiB
End job on node102 at 2011-04-26 16:32:24