Trace number 3290818

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 587SAT 63.8923 63.8953

General information on the benchmark

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

Solver Data 

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

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-3290818-1307667676/watcher-3290818-1307667676 -o /tmp/evaluation-result-3290818-1307667676/solver-3290818-1307667676 -C 2400 -W 1300 -M 7680 lingeling HOME/instance-3290818-1307667676.cnf 

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 8.04 7.96 6.74 5/186 11666
/proc/meminfo: memFree=32311780/32950928 swapFree=67053604/67111528
[pid=11666] ppid=11664 vsize=7244 CPUtime=0 cores=4,6
/proc/11666/stat : 11666 (lingeling) R 11664 11666 11600 0 -1 4202496 393 0 0 0 0 0 0 0 22 0 1 0 878364348 7417856 335 33554432000 4194304 4409164 140735191715776 18446744073709551615 254500691712 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/11666/statm: 1811 335 112 53 0 234 0

[startup+0.052244 s]
/proc/loadavg: 8.04 7.96 6.74 5/186 11666
/proc/meminfo: memFree=32311780/32950928 swapFree=67053604/67111528
[pid=11666] ppid=11664 vsize=11856 CPUtime=0.04 cores=4,6
/proc/11666/stat : 11666 (lingeling) R 11664 11666 11600 0 -1 4202496 1546 0 0 0 4 0 0 0 22 0 1 0 878364348 12140544 1488 33554432000 4194304 4409164 140735191715776 18446744073709551615 254500691712 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/11666/statm: 2964 1488 112 53 0 1387 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11856

[startup+0.101233 s]
/proc/loadavg: 8.04 7.96 6.74 5/186 11666
/proc/meminfo: memFree=32311780/32950928 swapFree=67053604/67111528
[pid=11666] ppid=11664 vsize=15964 CPUtime=0.09 cores=4,6
/proc/11666/stat : 11666 (lingeling) R 11664 11666 11600 0 -1 4202496 2574 0 0 0 9 0 0 0 22 0 1 0 878364348 16347136 2516 33554432000 4194304 4409164 140735191715776 18446744073709551615 254500691712 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/11666/statm: 3991 2516 113 53 0 2414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15964

[startup+0.301194 s]
/proc/loadavg: 8.04 7.96 6.74 5/186 11666
/proc/meminfo: memFree=32311780/32950928 swapFree=67053604/67111528
[pid=11666] ppid=11664 vsize=40540 CPUtime=0.29 cores=4,6
/proc/11666/stat : 11666 (lingeling) R 11664 11666 11600 0 -1 4202496 8718 0 0 0 28 1 0 0 23 0 1 0 878364348 41512960 8660 33554432000 4194304 4409164 140735191715776 18446744073709551615 254500691712 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/11666/statm: 10135 8660 113 53 0 8558 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40540

[startup+0.701114 s]
/proc/loadavg: 8.04 7.96 6.74 5/186 11666
/proc/meminfo: memFree=32311780/32950928 swapFree=67053604/67111528
[pid=11666] ppid=11664 vsize=41904 CPUtime=0.69 cores=4,6
/proc/11666/stat : 11666 (lingeling) R 11664 11666 11600 0 -1 4202496 13093 0 0 0 66 3 0 0 25 0 1 0 878364348 42909696 8985 33554432000 4194304 4409164 140735191715776 18446744073709551615 4301957 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/11666/statm: 10476 8985 129 53 0 8899 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41904

[startup+1.50095 s]
/proc/loadavg: 8.04 7.96 6.74 5/185 11667
/proc/meminfo: memFree=32238876/32950928 swapFree=67053604/67111528
[pid=11666] ppid=11664 vsize=41904 CPUtime=1.49 cores=4,6
/proc/11666/stat : 11666 (lingeling) R 11664 11666 11600 0 -1 4202496 13192 0 0 0 146 3 0 0 25 0 1 0 878364348 42909696 8985 33554432000 4194304 4409164 140735191715776 18446744073709551615 4304263 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/11666/statm: 10476 8985 129 53 0 8899 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41904

[startup+3.10064 s]
/proc/loadavg: 8.04 7.96 6.74 5/190 11677
/proc/meminfo: memFree=32140256/32950928 swapFree=67053604/67111528
[pid=11666] ppid=11664 vsize=59088 CPUtime=3.09 cores=4,6
/proc/11666/stat : 11666 (lingeling) R 11664 11666 11600 0 -1 4202496 18528 0 0 0 306 3 0 0 25 0 1 0 878364348 60506112 13285 33554432000 4194304 4409164 140735191715776 18446744073709551615 4228189 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/11666/statm: 14772 13285 133 53 0 13195 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59088

[startup+6.30101 s]
/proc/loadavg: 7.71 7.90 6.73 5/190 11677
/proc/meminfo: memFree=32062368/32950928 swapFree=67053604/67111528
[pid=11666] ppid=11664 vsize=59088 CPUtime=6.29 cores=4,6
/proc/11666/stat : 11666 (lingeling) R 11664 11666 11600 0 -1 4202496 26728 0 0 0 625 4 0 0 25 0 1 0 878364348 60506112 13293 33554432000 4194304 4409164 140735191715776 18446744073709551615 4360176 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/11666/statm: 14772 13293 141 53 0 13195 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59088

[startup+12.7007 s]
/proc/loadavg: 7.41 7.83 6.71 5/190 11715
/proc/meminfo: memFree=32087612/32950928 swapFree=67053604/67111528
[pid=11666] ppid=11664 vsize=62720 CPUtime=12.69 cores=4,6
/proc/11666/stat : 11666 (lingeling) R 11664 11666 11600 0 -1 4202496 27636 0 0 0 1263 6 0 0 25 0 1 0 878364348 64225280 14201 33554432000 4194304 4409164 140735191715776 18446744073709551615 4300086 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/11666/statm: 15680 14201 141 53 0 14103 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62720

[startup+25.5012 s]
/proc/loadavg: 6.66 7.64 6.67 5/190 11753
/proc/meminfo: memFree=31564124/32950928 swapFree=67053604/67111528
[pid=11666] ppid=11664 vsize=67556 CPUtime=25.49 cores=4,6
/proc/11666/stat : 11666 (lingeling) R 11664 11666 11600 0 -1 4202496 37257 0 0 0 2539 10 0 0 25 0 1 0 878364348 69177344 15410 33554432000 4194304 4409164 140735191715776 18446744073709551615 4301378 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/11666/statm: 16889 15410 141 53 0 15312 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 67556

[startup+51.1011 s]
/proc/loadavg: 5.75 7.35 6.60 5/190 11754
/proc/meminfo: memFree=31663244/32950928 swapFree=67053604/67111528
[pid=11666] ppid=11664 vsize=87676 CPUtime=51.09 cores=4,6
/proc/11666/stat : 11666 (lingeling) R 11664 11666 11600 0 -1 4202496 62744 0 0 0 5089 20 0 0 25 0 1 0 878364348 89780224 20442 33554432000 4194304 4409164 140735191715776 18446744073709551615 254500716439 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/11666/statm: 21919 20442 141 53 0 20342 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 87676

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

[startup+57.5008 s]
/proc/loadavg: 5.61 7.29 6.58 5/190 11754
/proc/meminfo: memFree=31732184/32950928 swapFree=67053604/67111528
[pid=11666] ppid=11664 vsize=87452 CPUtime=57.49 cores=4,6
/proc/11666/stat : 11666 (lingeling) R 11664 11666 11600 0 -1 4202496 63615 0 0 0 5728 21 0 0 25 0 1 0 878364348 89550848 20386 33554432000 4194304 4409164 140735191715776 18446744073709551615 254500716439 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/11666/statm: 21863 20386 141 53 0 20286 0
Current children cumulated CPU time (s) 57.49
Current children cumulated vsize (KiB) 87452

[startup+60.7012 s]
/proc/loadavg: 5.48 7.24 6.57 5/190 11754
/proc/meminfo: memFree=31732556/32950928 swapFree=67053604/67111528
[pid=11666] ppid=11664 vsize=86300 CPUtime=60.69 cores=4,6
/proc/11666/stat : 11666 (lingeling) R 11664 11666 11600 0 -1 4202496 64055 0 0 0 6047 22 0 0 25 0 1 0 878364348 88371200 20098 33554432000 4194304 4409164 140735191715776 18446744073709551615 4256901 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/11666/statm: 21575 20098 141 53 0 19998 0
Current children cumulated CPU time (s) 60.69
Current children cumulated vsize (KiB) 86300

[startup+62.3009 s]
/proc/loadavg: 5.48 7.24 6.57 5/190 11754
/proc/meminfo: memFree=31730200/32950928 swapFree=67053604/67111528
[pid=11666] ppid=11664 vsize=86300 CPUtime=62.29 cores=4,6
/proc/11666/stat : 11666 (lingeling) R 11664 11666 11600 0 -1 4202496 64069 0 0 0 6207 22 0 0 25 0 1 0 878364348 88371200 20112 33554432000 4194304 4409164 140735191715776 18446744073709551615 254500716439 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/11666/statm: 21575 20112 141 53 0 19998 0
Current children cumulated CPU time (s) 62.29
Current children cumulated vsize (KiB) 86300

[startup+63.1007 s]
/proc/loadavg: 5.48 7.24 6.57 5/190 11754
/proc/meminfo: memFree=31727588/32950928 swapFree=67053604/67111528
[pid=11666] ppid=11664 vsize=88512 CPUtime=63.09 cores=4,6
/proc/11666/stat : 11666 (lingeling) R 11664 11666 11600 0 -1 4202496 64622 0 0 0 6287 22 0 0 25 0 1 0 878364348 90636288 20665 33554432000 4194304 4409164 140735191715776 18446744073709551615 4360176 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/11666/statm: 22128 20665 141 53 0 20551 0
Current children cumulated CPU time (s) 63.09
Current children cumulated vsize (KiB) 88512

[startup+63.5006 s]
/proc/loadavg: 5.48 7.24 6.57 5/190 11754
/proc/meminfo: memFree=31727588/32950928 swapFree=67053604/67111528
[pid=11666] ppid=11664 vsize=88512 CPUtime=63.49 cores=4,6
/proc/11666/stat : 11666 (lingeling) R 11664 11666 11600 0 -1 4202496 64622 0 0 0 6327 22 0 0 25 0 1 0 878364348 90636288 20665 33554432000 4194304 4409164 140735191715776 18446744073709551615 4360176 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/11666/statm: 22128 20665 141 53 0 20551 0
Current children cumulated CPU time (s) 63.49
Current children cumulated vsize (KiB) 88512

[startup+63.7006 s]
/proc/loadavg: 5.36 7.19 6.55 5/190 11754
/proc/meminfo: memFree=31720396/32950928 swapFree=67053604/67111528
[pid=11666] ppid=11664 vsize=88512 CPUtime=63.69 cores=4,6
/proc/11666/stat : 11666 (lingeling) R 11664 11666 11600 0 -1 4202496 64622 0 0 0 6347 22 0 0 25 0 1 0 878364348 90636288 20665 33554432000 4194304 4409164 140735191715776 18446744073709551615 254500716439 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/11666/statm: 22128 20665 141 53 0 20551 0
Current children cumulated CPU time (s) 63.69
Current children cumulated vsize (KiB) 88512

[startup+63.8066 s]
/proc/loadavg: 5.36 7.19 6.55 5/190 11754
/proc/meminfo: memFree=31720396/32950928 swapFree=67053604/67111528
[pid=11666] ppid=11664 vsize=84584 CPUtime=63.79 cores=4,6
/proc/11666/stat : 11666 (lingeling) R 11664 11666 11600 0 -1 4202496 64622 0 0 0 6357 22 0 0 25 0 1 0 878364348 86614016 19683 33554432000 4194304 4409164 140735191715776 18446744073709551615 4239453 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/11666/statm: 21146 19683 141 53 0 19569 0
Current children cumulated CPU time (s) 63.79
Current children cumulated vsize (KiB) 84584

Child status: 10
Real time (s): 63.8953
CPU time (s): 63.8923
CPU user time (s): 63.6583
CPU system time (s): 0.233964
CPU usage (%): 99.9952
Max. virtual memory (cumulated for all children) (KiB): 118648

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

runsolver used 0.116982 second user time and 0.241963 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-10 03:01:17
IDJOB=3290818
IDBENCH=83450
IDSOLVER=1606
FILE ID=node149/3290818-1307667676
RUNJOBID= node149-1307667676-11619
PBS_JOBID= 13549506
Free space on /tmp= 73952 MiB

SOLVER NAME= Lingeling 587
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F20.cnf
COMMAND LINE= lingeling BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290818-1307667676/watcher-3290818-1307667676 -o /tmp/evaluation-result-3290818-1307667676/solver-3290818-1307667676 -C 2400 -W 1300 -M 7680  lingeling HOME/instance-3290818-1307667676.cnf

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=1126674132

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      32312580 kB
Buffers:         61500 kB
Cached:         398928 kB
SwapCached:      10296 kB
Active:         164776 kB
Inactive:       333684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      32312580 kB
SwapTotal:    67111528 kB
SwapFree:     67053604 kB
Dirty:           52420 kB
Writeback:           0 kB
AnonPages:       35224 kB
Mapped:           9476 kB
Slab:            72656 kB
PageTables:       5300 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   250280 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= 73816 MiB
End job on node149 at 2011-06-10 03:02:21