Trace number 3372793

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Lingeling 587f (fixed)SAT 59.9189 59.9188

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 benchmark18.9041
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

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

Verifier Data

OK

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.16 2/385 31061
/proc/meminfo: memFree=26700904/32950928 swapFree=44388876/67111528
[pid=31061] ppid=31059 vsize=7760 CPUtime=0.01 cores=1,3,5,7
/proc/31061/stat : 31061 (lingeling) R 31059 31061 29676 0 -1 4202496 521 0 0 0 1 0 0 0 23 0 1 0 654189190 7946240 464 33554432000 4194304 4409284 140735058440640 18446744073709551615 251814240000 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/31061/statm: 1940 464 112 53 0 363 0

[startup+0.0512591 s]
/proc/loadavg: 2.00 2.01 2.16 2/385 31061
/proc/meminfo: memFree=26700904/32950928 swapFree=44388876/67111528
[pid=31061] ppid=31059 vsize=11856 CPUtime=0.04 cores=1,3,5,7
/proc/31061/stat : 31061 (lingeling) R 31059 31061 29676 0 -1 4202496 1545 0 0 0 4 0 0 0 23 0 1 0 654189190 12140544 1488 33554432000 4194304 4409284 140735058440640 18446744073709551615 251814240000 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/31061/statm: 2964 1488 112 53 0 1387 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11856

[startup+0.10025 s]
/proc/loadavg: 2.00 2.01 2.16 2/385 31061
/proc/meminfo: memFree=26700904/32950928 swapFree=44388876/67111528
[pid=31061] ppid=31059 vsize=15964 CPUtime=0.09 cores=1,3,5,7
/proc/31061/stat : 31061 (lingeling) R 31059 31061 29676 0 -1 4202496 2573 0 0 0 9 0 0 0 23 0 1 0 654189190 16347136 2516 33554432000 4194304 4409284 140735058440640 18446744073709551615 251814240000 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/31061/statm: 3991 2516 113 53 0 2414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15964

[startup+0.300222 s]
/proc/loadavg: 2.00 2.01 2.16 2/385 31061
/proc/meminfo: memFree=26700904/32950928 swapFree=44388876/67111528
[pid=31061] ppid=31059 vsize=40540 CPUtime=0.29 cores=1,3,5,7
/proc/31061/stat : 31061 (lingeling) R 31059 31061 29676 0 -1 4202496 8717 0 0 0 28 1 0 0 25 0 1 0 654189190 41512960 8660 33554432000 4194304 4409284 140735058440640 18446744073709551615 251814240000 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/31061/statm: 10135 8660 113 53 0 8558 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40540

[startup+0.701148 s]
/proc/loadavg: 2.00 2.01 2.16 2/385 31061
/proc/meminfo: memFree=26700904/32950928 swapFree=44388876/67111528
[pid=31061] ppid=31059 vsize=41904 CPUtime=0.69 cores=1,3,5,7
/proc/31061/stat : 31061 (lingeling) R 31059 31061 29676 0 -1 4202496 13092 0 0 0 67 2 0 0 25 0 1 0 654189190 42909696 8985 33554432000 4194304 4409284 140735058440640 18446744073709551615 4301401 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/31061/statm: 10476 8985 129 53 0 8899 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41904

[startup+1.50096 s]
/proc/loadavg: 2.00 2.01 2.16 3/386 31062
/proc/meminfo: memFree=26664696/32950928 swapFree=44388876/67111528
[pid=31061] ppid=31059 vsize=41904 CPUtime=1.49 cores=1,3,5,7
/proc/31061/stat : 31061 (lingeling) R 31059 31061 29676 0 -1 4202496 13191 0 0 0 147 2 0 0 25 0 1 0 654189190 42909696 8985 33554432000 4194304 4409284 140735058440640 18446744073709551615 4304396 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/31061/statm: 10476 8985 129 53 0 8899 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41904

[startup+3.10069 s]
/proc/loadavg: 2.00 2.01 2.16 3/386 31062
/proc/meminfo: memFree=26663852/32950928 swapFree=44388876/67111528
[pid=31061] ppid=31059 vsize=59088 CPUtime=3.09 cores=1,3,5,7
/proc/31061/stat : 31061 (lingeling) R 31059 31061 29676 0 -1 4202496 18528 0 0 0 306 3 0 0 25 0 1 0 654189190 60506112 13286 33554432000 4194304 4409284 140735058440640 18446744073709551615 4340280 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/31061/statm: 14772 13286 134 53 0 13195 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59088

[startup+6.30021 s]
/proc/loadavg: 2.00 2.01 2.16 3/386 31062
/proc/meminfo: memFree=26644880/32950928 swapFree=44388876/67111528
[pid=31061] ppid=31059 vsize=59088 CPUtime=6.29 cores=1,3,5,7
/proc/31061/stat : 31061 (lingeling) R 31059 31061 29676 0 -1 4202496 26727 0 0 0 625 4 0 0 25 0 1 0 654189190 60506112 13293 33554432000 4194304 4409284 140735058440640 18446744073709551615 4226129 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/31061/statm: 14772 13293 141 53 0 13195 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59088

[startup+12.7001 s]
/proc/loadavg: 2.00 2.01 2.16 3/386 31063
/proc/meminfo: memFree=26662884/32950928 swapFree=44388876/67111528
[pid=31061] ppid=31059 vsize=95488 CPUtime=12.69 cores=1,3,5,7
/proc/31061/stat : 31061 (lingeling) R 31059 31061 29676 0 -1 4202496 35827 0 0 0 1261 8 0 0 25 0 1 0 654189190 97779712 22393 33554432000 4194304 4409284 140735058440640 18446744073709551615 4324276 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/31061/statm: 23872 22393 141 53 0 22295 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 95488

[startup+25.501 s]
/proc/loadavg: 2.00 2.00 2.16 3/386 31063
/proc/meminfo: memFree=26567976/32950928 swapFree=44388876/67111528
[pid=31061] ppid=31059 vsize=100324 CPUtime=25.49 cores=1,3,5,7
/proc/31061/stat : 31061 (lingeling) R 31059 31061 29676 0 -1 4202496 45448 0 0 0 2533 16 0 0 25 0 1 0 654189190 102731776 23602 33554432000 4194304 4409284 140735058440640 18446744073709551615 4244173 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/31061/statm: 25081 23602 141 53 0 23504 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 100324

[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 2.15 3/386 31064
/proc/meminfo: memFree=26580608/32950928 swapFree=44388876/67111528
[pid=31061] ppid=31059 vsize=86356 CPUtime=51.09 cores=1,3,5,7
/proc/31061/stat : 31061 (lingeling) R 31059 31061 29676 0 -1 4202496 63193 0 0 0 5078 31 0 0 25 0 1 0 654189190 88428544 20112 33554432000 4194304 4409284 140735058440640 18446744073709551615 4272207 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/31061/statm: 21589 20112 141 53 0 20012 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 86356

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

[startup+54.3012 s]
/proc/loadavg: 2.00 2.00 2.15 3/386 31064
/proc/meminfo: memFree=26659348/32950928 swapFree=44388876/67111528
[pid=31061] ppid=31059 vsize=87452 CPUtime=54.29 cores=1,3,5,7
/proc/31061/stat : 31061 (lingeling) R 31059 31061 29676 0 -1 4202496 63614 0 0 0 5397 32 0 0 25 0 1 0 654189190 89550848 20386 33554432000 4194304 4409284 140735058440640 18446744073709551615 4358613 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/31061/statm: 21863 20386 141 53 0 20286 0
Current children cumulated CPU time (s) 54.29
Current children cumulated vsize (KiB) 87452

[startup+57.5006 s]
/proc/loadavg: 2.00 2.00 2.15 3/386 31064
/proc/meminfo: memFree=26660216/32950928 swapFree=44388876/67111528
[pid=31061] ppid=31059 vsize=86300 CPUtime=57.49 cores=1,3,5,7
/proc/31061/stat : 31061 (lingeling) R 31059 31061 29676 0 -1 4202496 64054 0 0 0 5714 35 0 0 25 0 1 0 654189190 88371200 20098 33554432000 4194304 4409284 140735058440640 18446744073709551615 251814264727 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/31061/statm: 21575 20098 141 53 0 19998 0
Current children cumulated CPU time (s) 57.49
Current children cumulated vsize (KiB) 86300

[startup+59.1003 s]
/proc/loadavg: 2.00 2.00 2.15 3/386 31064
/proc/meminfo: memFree=26660512/32950928 swapFree=44388876/67111528
[pid=31061] ppid=31059 vsize=88512 CPUtime=59.1 cores=1,3,5,7
/proc/31061/stat : 31061 (lingeling) R 31059 31061 29676 0 -1 4202496 64621 0 0 0 5873 37 0 0 25 0 1 0 654189190 90636288 20665 33554432000 4194304 4409284 140735058440640 18446744073709551615 4256947 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/31061/statm: 22128 20665 141 53 0 20551 0
Current children cumulated CPU time (s) 59.1
Current children cumulated vsize (KiB) 88512

[startup+59.5003 s]
/proc/loadavg: 2.00 2.00 2.15 3/386 31064
/proc/meminfo: memFree=26657536/32950928 swapFree=44388876/67111528
[pid=31061] ppid=31059 vsize=88512 CPUtime=59.49 cores=1,3,5,7
/proc/31061/stat : 31061 (lingeling) R 31059 31061 29676 0 -1 4202496 64621 0 0 0 5912 37 0 0 25 0 1 0 654189190 90636288 20665 33554432000 4194304 4409284 140735058440640 18446744073709551615 4358519 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/31061/statm: 22128 20665 141 53 0 20551 0
Current children cumulated CPU time (s) 59.49
Current children cumulated vsize (KiB) 88512

[startup+59.9002 s]
/proc/loadavg: 2.00 2.00 2.15 3/386 31064
/proc/meminfo: memFree=26657536/32950928 swapFree=44388876/67111528
[pid=31061] ppid=31059 vsize=85088 CPUtime=59.89 cores=1,3,5,7
/proc/31061/stat : 31061 (lingeling) R 31059 31061 29676 0 -1 4202496 64747 0 0 0 5952 37 0 0 25 0 1 0 654189190 87130112 19809 33554432000 4194304 4409284 140735058440640 18446744073709551615 4360108 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/31061/statm: 21272 19809 141 53 0 19695 0
Current children cumulated CPU time (s) 59.89
Current children cumulated vsize (KiB) 85088

Child status: 10
Real time (s): 59.9188
CPU time (s): 59.9189
CPU user time (s): 59.5359
CPU system time (s): 0.382941
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 118648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.5359
system time used= 0.382941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64762
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 72

runsolver used 0.217966 second user time and 0.52492 second system time

The end

Launcher Data

Begin job on node126 at 2011-05-15 04:18:25
IDJOB=3372793
IDBENCH=83450
IDSOLVER=1850
FILE ID=node126/3372793-1305425904
RUNJOBID= node126-1305422651-30174
PBS_JOBID= 13324566
Free space on /tmp= 73340 MiB

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

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=447097754

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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.74
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.783
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.74
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.783
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.80
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.783
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.783
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.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26701060 kB
Buffers:        268136 kB
Cached:        2536444 kB
SwapCached:      92524 kB
Active:        1052096 kB
Inactive:      4944748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26701060 kB
SwapTotal:    67111528 kB
SwapFree:     44388876 kB
Dirty:           21516 kB
Writeback:           0 kB
AnonPages:     3112036 kB
Mapped:          15744 kB
Slab:           111316 kB
PageTables:      76008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 88345324 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= 73340 MiB
End job on node126 at 2011-05-15 04:19:25