Trace number 3372790

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Lingeling 587f (fixed)SAT 508.444 508.43

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F22.cnf
MD5SUM0b29cb9f2e17f3e05b66912497d8cb84
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark44.5842
Satisfiable
(Un)Satisfiability was proved
Number of variables13574
Number of clauses1301188
Sum of the clauses size11462079
Maximum clause length78
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 236373
Number of clauses of size 329573
Number of clauses of size 422594
Number of clauses of size 573414
Number of clauses of size over 51139201

Solver Data

508.41/508.41	s SATISFIABLE
508.41/508.42	v 1 -2 3 4 -5 -6 -7 8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 23
508.41/508.42	v 24 -25 26 27 28 29 -30 31 -32 33 -34 -35 -36 -37 38 39 40 41 -42 -43 -44 -45
508.41/508.42	v -46 47 -48 -49 -50 51 -52 53 54 55 56 -57 -58 -59 -60 61 -62 -63 -64 65 -66
508.41/508.42	v -67 -68 -69 70 -71 -72 -73 -74 -75 -76 -77 78 -79 -80 81 82 83 -84 85 -86 87
508.41/508.42	v -88 -89 -90 -91 92 93 -94 95 -96 -97 -98 -99 -100 101 -102 -103 -104 -105 -106
508.41/508.42	v -107 -108 -109 -110 -111 -112 113 -114 -115 -116 -117 -118 -119 -120 -121 -122
508.41/508.42	v -123 -124 125 126 127 -128 -129 130 -131 -132 -133 -134 -135 -136 -137 -138
508.41/508.42	v -139 -140 141 142 143 144 145 146 147 148 149 150 151 152 153 -154 -155 -156
508.41/508.42	v -157 -158 -159 -160 -161 -162 -163 -164 165 -166 -167 -168 -169 -170 -171 -172
508.41/508.42	v -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 183 184 -185 -186 -187 -188
508.41/508.42	v 189 -190 191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 203 -204
508.41/508.42	v 205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 217 -218 -219 -220
508.41/508.42	v -221 -222 -223 -224 -225 226 -227 -228 -229 -230 -231 -232 233 -234 -235 -236
508.41/508.42	v 237 -238 -239 240 241 242 243 244 -245 -246 247 -248 -249 -250 251 252 -253
508.41/508.42	v -254 -255 256 -257 -258 -259 -260 261 -262 -263 -264 265 266 -267 268 -269
508.41/508.42	v -270 -271 -272 273 274 275 276 277 -278 279 280 281 -282 283 -284 -285 -286
508.41/508.42	v -287 288 289 290 291 -292 293 294 295 -296 297 298 299 -300 -301 -302 -303
508.41/508.42	v -304 -305 306 307 -308 -309 310 311 -312 -313 -314 315 -316 -317 -318 319 320
508.41/508.42	v -321 322 -323 -324 -325 -326 327 328 329 330 331 -332 -333 -334 335 336 -337
508.41/508.42	v 338 339 340 -341 -342 343 -344 345 346 347 -348 349 350 351 -352 353 354 355
508.41/508.42	v -356 -357 -358 359 360 -361 -362 -363 -364 -365 -366 -367 368 369 -370 -371
508.41/508.42	v -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 385 386 -387
508.41/508.42	v 388 -389 -390 -391 -392 393 394 -395 -396 397 398 399 400 401 402 403 404 405
508.41/508.42	v 406 407 408 409 -410 -411 412 -413 -414 -415 416 417 -418 -419 -420 421 -422
508.41/508.42	v -423 -424 425 426 -427 -428 -429 -430 -431 -432 433 -434 435 -436 437 -438
508.41/508.42	v -439 -440 -441 -442 443 -444 -445 -446 -447 -448 -449 -450 451 452 -453 -454
508.41/508.42	v -455 -456 -457 -458 -459 -460 -461 462 -463 -464 -465 -466 -467 -468 -469 -470
508.41/508.42	v -471 472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486
508.41/508.42	v -487 -488 -489 490 491 492 493 494 495 496 -497 -498 -499 -500 -501 -502 -503
508.41/508.42	v -504 -505 -506 507 508 509 510 -511 -512 -513 -514 -515 -516 -517 -518 -519
508.41/508.42	v -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534
508.41/508.42	v -535 -536 537 538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550
508.41/508.42	v -551 -552 -553 -554 -555 -556 -557 558 559 560 561 562 -563 -564 -565 -566
508.41/508.42	v -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581
508.41/508.42	v -582 -583 -584 585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597
508.41/508.42	v -598 -599 600 601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613
508.41/508.42	v -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 627 -628 -629
508.41/508.42	v -630 -631 -632 -633 -634 -635 -636 -637 -638 639 640 641 642 643 644 645 646
508.41/508.42	v 647 648 649 650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662
508.41/508.42	v -663 -664 -665 -666 -667 668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678
508.41/508.42	v -679 -680 -681 -682 -683 -684 -685 -686 687 -688 -689 -690 -691 -692 -693 -694
508.41/508.42	v -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709
508.41/508.42	v -710 -711 -712 -713 -714 715 716 717 -718 -719 -720 -721 -722 -723 -724 -725
508.41/508.42	v -726 -727 -728 729 730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741
508.41/508.42	v -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 757
508.41/508.42	v -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 771 -772 -773
508.41/508.42	v -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788
508.41/508.42	v -789 -790 -791 -792 -793 -794 -795 796 -797 -798 -799 -800 -801 -802 -803 -804
508.41/508.42	v -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 815 816 -817 -818 -819 -820
508.41/508.42	v -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835
508.41/508.42	v -836 -837 838 839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851
508.41/508.42	v -852 -853 -854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866
508.41/508.42	v -867 -868 -869 870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882
508.41/508.42	v -883 -884 -885 -886 -887 -888 -889 -890 -891 892 -893 -894 -895 -896 -897 -898
508.41/508.42	v -899 -900 -901 -902 -903 -904 -905 -906 -907 908 -909 -910 -911 -912 -913 -914
508.41/508.42	v -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 -925 -926 -927 -928 -929
508.41/508.42	v -930 931 932 933 -934 -935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945
508.41/508.42	v -946 947 948 949 950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 -961
508.41/508.42	v -962 -963 -964 -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976
508.41/508.42	v -977 978 -979 -980 -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 992
508.41/508.42	v 993 994 995 996 997 998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007
508.41/508.42	v -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 1017 1018 1019 -1020
508.41/508.42	v -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033
508.41/508.42	v -1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 1042 1043 -1044 -1045 -1046
508.41/508.42	v -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059
508.41/508.42	v -1060 -1061 1062 1063 1064 1065 1066 1067 -1068 -1069 -1070 -1071 -1072 -1073
508.41/508.42	v -1074 -1075 -1076 -1077 -1078 -1079 -1080 -1081 1082 1083 1084 1085 1086 1087
508.41/508.42	v -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100
508.41/508.42	v -1101 -1102 -1103 -1104 -1105 1106 1107 -1108 -1109 -1110 -1111 -1112 -1113
508.41/508.42	v -1114 -1115 -1116 -1117 -1118 -1119 -1120 -1121 -1122 -1123 -1124 -1125 -1126
508.41/508.42	v -1127 -1128 -1129 -1130 -1131 -1132 1133 -1134 -1135 -1136 -1137 -1138 -1139
508.41/508.42	v -1140 -1141 -1142 -1143 -1144 -1145 -1146 -1147 1148 1149 1150 1151 -1152
508.41/508.42	v -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160 -1161 -1162 -1163 -1164 -1165
508.41/508.42	v -1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 -1177 -1178 -1179
508.41/508.42	v -1180 -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 1189 1190 1191 1192 1193
508.41/508.42	v -1194 -1195 -1196 -1197 -1198 -1199 -1200 -1201 -1202 -1203 -1204 -1205 -1206
508.41/508.42	v -1207 -1208 -1209 -1210 1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219
508.41/508.42	v -1220 -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232
508.41/508.42	v -1233 -1234 1235 1236 -1237 -1238 -1239 -1240 -1241 -1242 -1243 -1244 -1245
508.41/508.42	v -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258
508.41/508.42	v -1259 -1260 -1261 -1262 1263 1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271
508.41/508.42	v -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280 -1281 -1282 -1283 -1284
508.41/508.42	v 1285 1286 -1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297
508.41/508.42	v -1298 1299 -1300 -1301 -1302 -1303 -1304 -1305 -1306 -1307 -1308 -1309 -1310
508.41/508.42	v -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320 -1321 -1322 -1323
508.41/508.42	v -1324 -1325 -1326 -1327 -1328 1329 1330 -1331 -1332 -1333 -1334 -1335 -1336
508.41/508.42	v -1337 -1338 -1339 -1340 -1341 -1342 -1343 -1344 -1345 -1346 -1347 1348 -1349
508.41/508.42	v -1350 -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360 -1361 -1362
508.41/508.42	v -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 1371 -1372 -1373 -1374 -1375
508.41/508.42	v -1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383 -1384 -1385 -1386 1387 1388
508.41/508.42	v 1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400 -1401
508.41/508.42	v -1402 -1403 -1404 -1405 -1406 -1407 -1408 1409 1410 -1411 -1412 -1413 -1414
508.41/508.42	v -1415 -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423 -1424 -1425 -1426 -1427
508.41/508.42	v -1428 -1429 -1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 1440
508.41/508.42	v -1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 -1452 -1453
508.41/508.42	v -1454 -1455 -1456 -1457 -1458 -1459 -1460 -1461 -1462 -1463 -1464 -1465 -1466
508.41/508.42	v -1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479
508.41/508.42	v -1480 -1481 -1482 -1483 1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492
508.41/508.42	v -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500 -1501 -1502 -1503 -1504 -1505
508.41/508.42	v 1506 -1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518
508.41/508.42	v -1519 -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531
508.41/508.42	v -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543 -1544
508.41/508.42	v -1545 -1546 -1547 -1548 -1549 -1550 -1551 -1552 -1553 -1554 -1555 -1556 -1557
508.41/508.42	v -1558 -1559 -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570
508.41/508.42	v -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580 -1581 -1582 -1583
508.41/508.42	v -1584 -1585 -1586 -1587 -1588 -1589 -1590 -1591 -1592 -1593 1594 -1595 -1596
508.41/508.42	v -1597 -1598 -1599 -1600 -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609
508.41/508.42	v -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620 -1621 -1622
508.41/508.42	v -1623 -1624 -1625 -1626 -1627 -1628 -1629 -1630 -1631 -1632 -1633 -1634 -1635
508.41/508.42	v -1636 -1637 -1638 -1639 -1640 -1641 -1642 -1643 -1644 -1645 -1646 -1647 -1648
508.41/508.42	v -1649 -1650 -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660 -1661
508.41/508.42	v -1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671 -1672 -1673 -1674
508.41/508.42	v -1675 -1676 -1677 -1678 -1679 -1680 -1681 -1682 -1683 -1684 -1685 -1686 -1687
508.41/508.42	v -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700
508.41/508.42	v -1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713
508.41/508.42	v -1714 -1715 -1716 -1717 -1718 -1719 -1720 -1721 -1722 -1723 -1724 -1725 -1726
508.41/508.42	v -1727 -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739
508.41/508.42	v -1740 -1741 -1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751 -1752
508.41/508.42	v -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760 -1761 -1762 -1763 -1764 -1765
508.41/508.42	v -1766 -1767 -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778
508.41/508.42	v -1779 -1780 -1781 -1782 -1783 -1784 -1785 -1786 -1787 -1788 -1789 -1790 -1791
508.41/508.42	v -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800 -1801 -1802 -1803 -1804
508.41/508.42	v -1805 -1806 -1807 -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815 -1816 -1817
508.41/508.42	v -1818 -1819 -1820 -1821 -1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830
508.41/508.42	v -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840 -1841 -1842 -1843
508.41/508.42	v -1844 -1845 -1846 -1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855 -1856
508.41/508.42	v -1857 -1858 -1859 -1860 -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869
508.41/508.42	v -1870 -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880 -1881 -1882
508.41/508.42	v -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895
508.41/508.42	v -1896 -1897 -1898 -1899 -1900 -1901 -1902 -1903 -1904 -1905 -1906 -1907 -1908
508.41/508.42	v -1909 -1910 -1911 -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920 -1921
508.41/508.42	v -1922 1923 1924 -1925 -1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934
508.41/508.42	v -1935 -1936 -1937 -1938 -1939 -1940 -1941 -1942 -1943 1944 1945 1946 1947 1948
508.41/508.42	v -1949 -1950 -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960 -1961
508.41/508.42	v -1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 -1974
508.41/508.42	v -1975 -1976 -1977 -1978 -1979 -1980 -1981 -1982 -1983 -1984 -1985 1986 1987
508.41/508.42	v -1988 -1989 -1990 -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000
508.41/508.42	v -2001 -2002 -2003 -2004 -2005 -2006 -2007 -2008 -2009 -2010 -2011 -2012 2013
508.41/508.42	v -2014 -2015 -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023 -2024 -2025 -2026
508.41/508.42	v -2027 -2028 -2029 2030 2031 2032 2033 2034 2035 2036 -2037 -2038 -2039 -2040
508.41/508.42	v -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 -2051 -2052 -2053
508.41/508.42	v 2054 -2055 -2056 -2057 -2058 -2059 -2060 -2061 -2062 -2063 -2064 -2065 -2066
508.41/508.42	v -2067 -2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079
508.41/508.42	v -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090 -2091 -2092
508.41/508.42	v -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100 2101 2102 -2103 -2104 -2105
508.41/508.42	v -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118
508.41/508.42	v -2119 -2120 -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130 -2131
508.41/508.42	v -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140 -2141 -2142 2143 -2144
508.41/508.42	v -2145 -2146 -2147 -2148 -2149 -2150 -2151 -2152 -2153 -2154 -2155 -2156 -2157
508.41/508.42	v -2158 -2159 -2160 -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170
508.41/508.42	v -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180 -2181 -2182 -2183
508.41/508.42	v -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194 -2195 -2196
508.41/508.42	v -2197 -2198 -2199 -2200 -2201 -2202 -2203 -2204 -2205 -2206 -2207 -2208 -2209
508.41/508.42	v -2210 -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220 -2221 -2222
508.41/508.42	v -2223 -2224 -2225 -2226 -2227 -2228 -2229 -2230 -2231 -2232 -2233 -2234 -2235
508.41/508.42	v -2236 -2237 -2238 -2239 -2240 -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248
508.41/508.42	v -2249 -2250 -2251 -2252 -2253 -2254 -2255 2256 -2257 -2258 -2259 -2260 -2261
508.41/508.42	v -2262 -2263 -2264 -2265 -2266 -2267 -2268 -2269 -2270 -2271 -2272 -2273 -2274
508.41/508.42	v -2275 -2276 -2277 2278 -2279 -2280 -2281 -2282 -2283 -2284 -2285 -2286 -2287
508.41/508.42	v -2288 -2289 -2290 -2291 -2292 -2293 2294 -2295 -2296 -2297 -2298 -2299 -2300
508.41/508.42	v -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 -2310 -2311 -2312 -2313
508.41/508.42	v -2314 -2315 -2316 2317 2318 2319 -2320 -2321 -2322 -2323 -2324 -2325 -2326
508.41/508.42	v -2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339
508.41/508.42	v -2340 -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350 -2351 -2352
508.41/508.42	v -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360 -2361 -2362 -2363 -2364 -2365
508.41/508.42	v -2366 -2367 -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378
508.41/508.42	v -2379 -2380 -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391
508.41/508.42	v -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400 -2401 -2402 -2403 -2404
508.41/508.42	v -2405 -2406 -2407 -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415 -2416 -2417
508.41/508.42	v -2418 -2419 -2420 -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430
508.41/508.42	v -2431 -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440 -2441 -2442 2443
508.41/508.42	v 2444 2445 2446 -2447 -2448 -2449 -2450 -2451 -2452 -2453 -2454 -2455 -2456
508.41/508.42	v -2457 -2458 -2459 -2460 -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469
508.41/508.42	v -2470 -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480 -2481 -2482
508.41/508.42	v -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490 -2491 -2492 -2493 -2494 -2495
508.41/508.42	v -2496 -2497 -2498 -2499 -2500 -2501 -2502 -2503 -2504 -2505 -2506 -2507 -2508
508.41/508.42	v -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520 -2521
508.41/508.42	v -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532 2533 2534
508.41/508.42	v -2535 -2536 -2537 -2538 -2539 -2540 -2541 -2542 -2543 -2544 -2545 -2546 -2547
508.41/508.42	v -2548 -2549 -2550 -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559 -2560
508.41/508.42	v -2561 -2562 -2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570 -2571 -2572 -2573
508.41/508.42	v -2574 2575 -2576 -2577 -2578 -2579 -2580 -2581 -2582 -2583 -2584 -2585 -2586
508.41/508.42	v -2587 -2588 -2589 -2590 -2591 -2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599
508.41/508.42	v 2600 -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 -2610 -2611 -2612
508.41/508.42	v -2613 -2614 -2615 -2616 -2617 -2618 2619 2620 -2621 -2622 -2623 -2624 -2625
508.41/508.42	v -2626 -2627 -2628 -2629 -2630 -2631 -2632 -2633 -2634 -2635 -2636 -2637 -2638
508.41/508.42	v -2639 -2640 -2641 2642 2643 -2644 -2645 -2646 -2647 -2648 -2649 -2650 -2651
508.41/508.42	v -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660 -2661 -2662 -2663 -2664
508.41/508.42	v -2665 -2666 -2667 -2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675 -2676 -2677
508.41/508.42	v -2678 -2679 -2680 -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 -2689 -2690
508.41/508.42	v -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700 -2701 -2702 -2703
508.41/508.42	v -2704 -2705 -2706 -2707 -2708 -2709 -2710 -2711 -2712 -2713 -2714 -2715 -2716
508.41/508.42	v -2717 -2718 -2719 -2720 -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729
508.41/508.42	v -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740 -2741 -2742
508.41/508.42	v -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751 -2752 -2753 -2754 -2755
508.41/508.42	v -2756 -2757 -2758 2759 2760 -2761 -2762 -2763 -2764 -2765 -2766 -2767 -2768
508.41/508.42	v -2769 -2770 -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780 -2781
508.41/508.42	v -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791 -2792 -2793 -2794
508.41/508.42	v -2795 -2796 -2797 -2798 -2799 -2800 -2801 -2802 -2803 -2804 -2805 -2806 -2807
508.41/508.42	v -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820
508.41/508.42	v -2821 -2822 -2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831 -2832 -2833
508.41/508.42	v -2834 -2835 -2836 -2837 -2838 -2839 -2840 -2841 -2842 -2843 -2844 -2845 -2846
508.41/508.42	v 2847 2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855 -2856 -2857 -2858 -2859
508.41/508.42	v -2860 -2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 -2870 -2871 -2872
508.41/508.42	v -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880 -2881 -2882 -2883 -2884 -2885
508.41/508.42	v -2886 -2887 -2888 -2889 -2890 -2891 -2892 -2893 -2894 -2895 -2896 -2897 -2898
508.41/508.42	v -2899 -2900 -2901 -2902 -2903 -2904 -2905 -2906 -2907 -2908 -2909 -2910 -2911
508.41/508.42	v -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920 -2921 -2922 -2923 -2924
508.41/508.42	v -2925 -2926 -2927 -2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935 -2936 -2937
508.41/508.42	v -2938 -2939 -2940 -2941 -2942 -2943 -2944 -2945 -2946 -2947 -2948 -2949 -2950
508.41/508.42	v -2951 -2952 -2953 -2954 -2955 -2956 2957 -2958 -2959 -2960 -2961 -2962 -2963
508.41/508.42	v -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975 -2976
508.41/508.42	v -2977 -2978 -2979 -2980 -2981 -2982 -2983 -2984 -2985 -2986 -2987 -2988 -2989
508.41/508.42	v -2990 -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000 -3001 -3002
508.41/508.42	v -3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015
508.41/508.42	v -3016 -3017 -3018 -3019 -3020 -3021 -3022 -3023 -3024 -3025 -3026 -3027 -3028
508.41/508.42	v -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040 -3041
508.41/508.42	v -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050 -3051 -3052 -3053 -3054
508.41/508.42	v -3055 -3056 -3057 -3058 -3059 -3060 -3061 -3062 -3063 -3064 -3065 -3066 -3067
508.41/508.42	v -3068 -3069 -3070 -3071 -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079 -3080
508.41/508.42	v -3081 -3082 -3083 -3084 -3085 -3086 -3087 -3088 -3089 -3090 -3091 -3092 -3093
508.41/508.42	v -3094 -3095 -3096 -3097 -3098 -3099 -3100 -3101 -3102 -3103 -3104 -3105 -3106
508.41/508.42	v -3107 -3108 -3109 -3110 -3111 -3112 -3113 -3114 -3115 -3116 -3117 -3118 -3119
508.41/508.42	v -3120 -3121 -3122 -3123 -3124 -3125 -3126 -3127 -3128 -3129 -3130 -3131 -3132
508.41/508.42	v 3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140 -3141 -3142 -3143 -3144 -3145
508.41/508.42	v -3146 -3147 -3148 -3149 -3150 -3151 -3152 -3153 -3154 -3155 -3156 -3157 -3158
508.41/508.42	v -3159 -3160 -3161 -3162 -3163 -3164 -3165 -3166 -3167 -3168 -3169 -3170 -3171
508.41/508.42	v -3172 -3173 -3174 -3175 -3176 -3177 -3178 -3179 -3180 -3181 -3182 -3183 -3184
508.41/508.42	v -3185 -3186 -3187 -3188 -3189 -3190 -3191 -3192 -3193 -3194 -3195 -3196 -3197
508.41/508.42	v -3198 -3199 -3200 3201 -3202 -3203 -3204 -3205 -3206 -3207 -3208 -3209 -3210
508.41/508.42	v -3211 -3212 -3213 -3214 -3215 -3216 -3217 -3218 -3219 3220 3221 3222 3223 3224
508.41/508.42	v -3225 -3226 -3227 -3228 -3229 -3230 -3231 -3232 -3233 -3234 -3235 -3236 -3237
508.41/508.42	v -3238 -3239 -3240 -3241 3242 -3243 -3244 -3245 -3246 -3247 -3248 -3249 -3250
508.41/508.42	v -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259 -3260 -3261 -3262 -3263
508.41/508.42	v -3264 -3265 -3266 -3267 -3268 -3269 -3270 -3271 -3272 -3273 -3274 -3275 -3276
508.41/508.42	v -3277 -3278 -3279 -3280 -3281 -3282 -3283 -3284 -3285 -3286 -3287 -3288 3289
508.41/508.42	v 3290 -3291 -3292 -3293 -3294 -3295 -3296 -3297 -3298 -3299 -3300 -3301 -3302
508.41/508.42	v -3303 -3304 -3305 -3306 -3307 -3308 -3309 -3310 -3311 -3312 -3313 -3314 -3315
508.41/508.42	v -3316 -3317 -3318 -3319 -3320 -3321 -3322 -3323 -3324 -3325 -3326 -3327 -3328
508.41/508.42	v -3329 -3330 3331 -3332 -3333 -3334 -3335 -3336 -3337 -3338 -3339 -3340 -3341
508.41/508.42	v -3342 -3343 -3344 -3345 -3346 -3347 -3348 -3349 -3350 -3351 -3352 -3353 -3354
508.41/508.42	v -3355 -3356 -3357 -3358 -3359 -3360 -3361 -3362 -3363 -3364 -3365 -3366 -3367
508.41/508.42	v -3368 -3369 -3370 -3371 -3372 -3373 -3374 -3375 -3376 -3377 -3378 -3379 -3380
508.41/508.42	v -3381 -3382 -3383 -3384 -3385 -3386 -3387 -3388 -3389 -3390 -3391 -3392 -3393
508.41/508.42	v -3394 -3395 -3396 -3397 -3398 -3399 -3400 -3401 -3402 -3403 -3404 -3405 -3406
508.41/508.42	v -3407 -3408 -3409 -3410 -3411 -3412 -3413 -3414 -3415 -3416 -3417 -3418 -3419
508.41/508.42	v -3420 -3421 -3422 -3423 -3424 -3425 -3426 -3427 -3428 -3429 -3430 -3431 -3432
508.41/508.42	v -3433 -3434 -3435 -3436 -3437 -3438 -3439 -3440 -3441 -3442 -3443 3444 -3445
508.41/508.42	v -3446 -3447 -3448 -3449 -3450 -3451 -3452 -3453 -3454 -3455 -3456 -3457 -3458
508.41/508.42	v -3459 -3460 -3461 -3462 -3463 -3464 -3465 3466 -3467 -3468 -3469 -3470 -3471
508.41/508.42	v -3472 -3473 -3474 -3475 -3476 -3477 -3478 -3479 -3480 -3481 -3482 -3483 -3484
508.41/508.42	v -3485 -3486 -3487 -3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495 -3496 -3497
508.41/508.42	v -3498 -3499 -3500 -3501 -3502 -3503 -3504 -3505 3506 3507 -3508 -3509 -3510
508.41/508.42	v -3511 -3512 -3513 -3514 -3515 -3516 -3517 -3518 -3519 -3520 -3521 -3522 -3523
508.41/508.42	v -3524 -3525 -3526 -3527 -3528 -3529 -3530 -3531 -3532 -3533 -3534 -3535 -3536
508.41/508.42	v -3537 -3538 -3539 -3540 -3541 -3542 -3543 -3544 -3545 -3546 -3547 -3548 -3549
508.41/508.42	v -3550 -3551 -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560 -3561 -3562
508.41/508.42	v -3563 -3564 -3565 -3566 -3567 -3568 -3569 -3570 -3571 -3572 -3573 -3574 -3575
508.41/508.42	v -3576 -3577 -3578 -3579 -3580 -3581 -3582 -3583 -3584 -3585 -3586 -3587 -3588
508.41/508.42	v -3589 -3590 -3591 -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599 -3600 -3601
508.41/508.42	v -3602 -3603 -3604 -3605 -3606 -3607 -3608 -3609 -3610 -3611 -3612 -3613 -3614
508.41/508.42	v -3615 -3616 -3617 -3618 -3619 -3620 -3621 -3622 -3623 -3624 -3625 -3626 -3627
508.41/508.42	v -3628 -3629 -3630 -3631 -3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639 -3640
508.41/508.42	v -3641 -3642 3643 -3644 -3645 -3646 -3647 -3648 -3649 -3650 -3651 -3652 -3653
508.41/508.42	v -3654 -3655 -3656 -3657 -3658 -3659 -3660 -3661 -3662 -3663 -3664 -3665 -3666
508.41/508.42	v -3667 -3668 -3669 -3670 -3671 -3672 -3673 -3674 -3675 -3676 -3677 -3678 -3679
508.41/508.42	v -3680 -3681 -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690 -3691 -3692
508.41/508.42	v -3693 -3694 -3695 -3696 -3697 -3698 -3699 -3700 -3701 -3702 -3703 -3704 -3705
508.41/508.42	v -3706 -3707 -3708 -3709 -3710 -3711 -3712 -3713 -3714 -3715 -3716 -3717 -3718
508.41/508.42	v -3719 -3720 -3721 -3722 -3723 -3724 -3725 -3726 -3727 -3728 -3729 -3730 -3731
508.41/508.42	v -3732 -3733 -3734 -3735 -3736 -3737 -3738 -3739 -3740 -3741 -3742 -3743 -3744
508.41/508.42	v -3745 -3746 -3747 -3748 -3749 -3750 -3751 -3752 -3753 -3754 -3755 -3756 -3757
508.41/508.42	v -3758 -3759 -3760 -3761 -3762 -3763 -3764 -3765 -3766 -3767 -3768 -3769 -3770
508.41/508.42	v -3771 -3772 -3773 -3774 -3775 -3776 -3777 -3778 -3779 -3780 -3781 -3782 -3783
508.41/508.42	v -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791 -3792 -3793 -3794 -3795 -3796
508.41/508.42	v -3797 -3798 -3799 -3800 -3801 -3802 -3803 -3804 -3805 -3806 -3807 -3808 -3809
508.41/508.42	v -3810 -3811 -3812 -3813 -3814 -3815 -3816 -3817 -3818 -3819 -3820 -3821 -3822
508.41/508.42	v -3823 -3824 -3825 -3826 -3827 -3828 -3829 -3830 -3831 -3832 -3833 -3834 -3835
508.41/508.42	v -3836 -3837 -3838 -3839 -3840 -3841 -3842 -3843 -3844 -3845 -3846 -3847 -3848
508.41/508.42	v -3849 -3850 -3851 -3852 -3853 -3854 -3855 -3856 -3857 -3858 -3859 -3860 -3861
508.41/508.42	v -3862 -3863 -3864 -3865 -3866 -3867 -3868 -3869 -3870 -3871 -3872 -3873 -3874
508.41/508.42	v -3875 -3876 -3877 -3878 -3879 -3880 -3881 -3882 -3883 -3884 -3885 -3886 -3887
508.41/508.42	v -3888 -3889 -3890 -3891 -3892 -3893 -3894 -3895 -3896 -3897 -3898 -3899 3900
508.41/508.42	v 3901 -3902 -3903 -3904 -3905 -3906 -3907 -3908 -3909 -3910 -3911 -3912 -3913
508.41/508.42	v -3914 -3915 -3916 -3917 -3918 -3919 -3920 -3921 -3922 -3923 -3924 -3925 -3926
508.41/508.42	v -3927 -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938 -3939
508.41/508.42	v -3940 -3941 -3942 -3943 -3944 -3945 -3946 -3947 -3948 -3949 -3950 -3951 -3952
508.41/508.42	v -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960 -3961 -3962 -3963 -3964 -3965
508.41/508.42	v -3966 -3967 -3968 -3969 -3970 -3971 -3972 -3973 -3974 -3975 -3976 -3977 -3978
508.41/508.42	v -3979 -3980 -3981 -3982 -3983 -3984 -3985 -3986 -3987 -3988 -3989 -3990 -3991
508.41/508.42	v -3992 -3993 -3994 -3995 -3996 -3997 -3998 -3999 -4000 -4001 -4002 -4003 -4004
508.41/508.42	v -4005 -4006 -4007 -4008 -4009 -4010 -4011 -4012 -4013 -4014 -4015 -4016 -4017
508.41/508.42	v -4018 -4019 -4020 -4021 -4022 -4023 -4024 -4025 -4026 -4027 -4028 -4029 -4030
508.41/508.42	v -4031 -4032 -4033 -4034 -4035 -4036 -4037 -4038 -4039 -4040 -4041 -4042 -4043
508.41/508.42	v -4044 -4045 -4046 -4047 -4048 -4049 -4050 -4051 -4052 -4053 -4054 -4055 -4056
508.41/508.42	v -4057 -4058 -4059 -4060 -4061 -4062 -4063 -4064 -4065 -4066 -4067 -4068 -4069
508.41/508.42	v -4070 -4071 -4072 -4073 -4074 -4075 -4076 -4077 -4078 -4079 -4080 -4081 -4082
508.41/508.42	v -4083 -4084 -4085 -4086 -4087 -4088 -4089 -4090 -4091 -4092 -4093 -4094 -4095
508.41/508.42	v -4096 -4097 -4098 -4099 -4100 -4101 -4102 -4103 -4104 -4105 -4106 -4107 -4108
508.41/508.42	v -4109 -4110 -4111 -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119 -4120 -4121
508.41/508.42	v -4122 -4123 -4124 -4125 -4126 -4127 -4128 -4129 -4130 -4131 -4132 -4133 -4134
508.41/508.42	v -4135 -4136 -4137 -4138 -4139 -4140 -4141 -4142 -4143 -4144 -4145 -4146 -4147
508.41/508.42	v -4148 -4149 -4150 -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160
508.41/508.42	v -4161 -4162 -4163 4164 -4165 -4166 -4167 -4168 -4169 -4170 -4171 -4172 -4173
508.41/508.42	v -4174 -4175 -4176 -4177 -4178 -4179 -4180 -4181 -4182 -4183 -4184 -4185 -4186
508.41/508.42	v 4187 -4188 -4189 -4190 -4191 -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199
508.41/508.42	v -4200 -4201 -4202 -4203 -4204 -4205 -4206 -4207 -4208 -4209 -4210 -4211 -4212
508.41/508.42	v 4213 -4214 -4215 -4216 -4217 -4218 -4219 -4220 -4221 -4222 -4223 -4224 -4225
508.41/508.42	v -4226 -4227 -4228 -4229 -4230 -4231 -4232 -4233 -4234 -4235 -4236 -4237 -4238
508.41/508.42	v -4239 -4240 -4241 -4242 -4243 -4244 -4245 -4246 -4247 -4248 -4249 -4250 -4251
508.41/508.42	v -4252 -4253 -4254 -4255 -4256 -4257 -4258 -4259 -4260 -4261 -4262 -4263 -4264
508.41/508.42	v -4265 -4266 -4267 -4268 -4269 -4270 -4271 -4272 -4273 -4274 -4275 -4276 -4277
508.41/508.42	v -4278 4279 -4280 -4281 -4282 -4283 -4284 -4285 -4286 -4287 -4288 -4289 -4290
508.41/508.42	v -4291 -4292 -4293 -4294 -4295 -4296 -4297 -4298 -4299 -4300 -4301 -4302 -4303
508.41/508.42	v -4304 -4305 -4306 -4307 -4308 -4309 -4310 -4311 -4312 -4313 -4314 -4315 -4316
508.41/508.42	v -4317 -4318 -4319 -4320 -4321 -4322 -4323 -4324 -4325 -4326 -4327 -4328 -4329
508.41/508.42	v -4330 -4331 -4332 -4333 -4334 -4335 -4336 -4337 -4338 -4339 -4340 -4341 -4342
508.41/508.42	v -4343 -4344 -4345 -4346 -4347 -4348 -4349 -4350 -4351 -4352 -4353 -4354 -4355
508.41/508.42	v -4356 -4357 -4358 -4359 -4360 -4361 -4362 -4363 -4364 -4365 -4366 -4367 -4368
508.41/508.42	v -4369 -4370 -4371 -4372 -4373 -4374 -4375 -4376 -4377 -4378 -4379 -4380 -4381
508.41/508.42	v -4382 -4383 -4384 -4385 -4386 -4387 -4388 -4389 -4390 -4391 -4392 -4393 -4394
508.41/508.42	v -4395 -4396 -4397 -4398 -4399 -4400 -4401 -4402 -4403 -4404 -4405 -4406 -4407
508.41/508.42	v -4408 -4409 -4410 -4411 -4412 -4413 -4414 -4415 -4416 -4417 -4418 -4419 -4420
508.41/508.42	v -4421 -4422 -4423 -4424 -4425 -4426 -4427 -4428 -4429 -4430 -4431 -4432 -4433
508.41/508.42	v -4434 -4435 -4436 -4437 -4438 -4439 -4440 -4441 -4442 -4443 -4444 -4445 -4446
508.41/508.42	v -4447 -4448 -4449 -4450 -4451 -4452 -4453 -4454 -4455 -4456 -4457 -4458 -4459
508.41/508.42	v -4460 -4461 -4462 -4463 -4464 -4465 -4466 -4467 -4468 -4469 -4470 -4471 -4472
508.41/508.42	v -4473 -4474 -4475 -4476 -4477 -4478 -4479 -4480 -4481 -4482 -4483 -4484 -4485
508.41/508.42	v -4486 -4487 -4488 -4489 -4490 -4491 -4492 -4493 -4494 -4495 -4496 -4497 -4498
508.41/508.42	v -4499 -4500 -4501 -4502 -4503 -4504 -4505 -4506 -4507 -4508 -4509 -4510 -4511
508.41/508.42	v -4512 -4513 -4514 -4515 -4516 -4517 4518 -4519 -4520 -4521 -4522 -4523 -4524
508.41/508.42	v -4525 -4526 -4527 -4528 -4529 -4530 -4531 -4532 -4533 -4534 -4535 -4536 4537
508.41/508.42	v -4538 -4539 -4540 -4541 -4542 -4543 -4544 -4545 -4546 -4547 -4548 -4549 -4550
508.41/508.42	v -4551 -4552 -4553 -4554 -4555 -4556 -4557 -4558 -4559 -4560 -4561 -4562 -4563
508.41/508.42	v -4564 4565 4566 -4567 -4568 -4569 -4570 -4571 -4572 -4573 -4574 -4575 -4576
508.41/508.42	v -4577 -4578 4579 4580 -4581 -4582 -4583 -4584 -4585 -4586 -4587 -4588 -4589
508.41/508.42	v -4590 -4591 -4592 -4593 -4594 -4595 -4596 -4597 -4598 -4599 -4600 -4601 -4602
508.41/508.42	v -4603 -4604 -4605 -4606 4607 -4608 -4609 -4610 -4611 -4612 -4613 -4614 -4615
508.41/508.42	v -4616 -4617 -4618 -4619 -4620 4621 -4622 -4623 -4624 -4625 -4626 -4627 -4628
508.41/508.42	v -4629 -4630 -4631 -4632 -4633 -4634 -4635 -4636 -4637 -4638 -4639 -4640 -4641
508.41/508.42	v -4642 -4643 -4644 -4645 4646 -4647 -4648 -4649 -4650 -4651 -4652 -4653 -4654
508.41/508.42	v -4655 -4656 -4657 -4658 -4659 -4660 -4661 -4662 -4663 -4664 4665 4666 -4667
508.41/508.42	v -4668 -4669 -4670 -4671 -4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679 -4680
508.41/508.42	v -4681 -4682 -4683 -4684 -4685 -4686 -4687 4688 4689 -4690 -4691 -4692 -4693
508.41/508.42	v -4694 -4695 -4696 -4697 -4698 -4699 -4700 -4701 -4702 -4703 -4704 -4705 -4706
508.41/508.42	v -4707 -4708 -4709 -4710 -4711 -4712 -4713 -4714 -4715 -4716 -4717 -4718 -4719
508.41/508.42	v 4720 -4721 -4722 -4723 -4724 -4725 -4726 -4727 -4728 -4729 -4730 -4731 -4732
508.41/508.42	v -4733 -4734 -4735 -4736 -4737 -4738 -4739 -4740 -4741 4742 -4743 -4744 -4745
508.41/508.42	v -4746 -4747 -4748 -4749 -4750 -4751 -4752 -4753 -4754 -4755 -4756 -4757 4758
508.41/508.42	v -4759 -4760 -4761 -4762 -4763 -4764 -4765 -4766 -4767 -4768 -4769 -4770 -4771
508.41/508.42	v -4772 -4773 -4774 -4775 -4776 -4777 -4778 -4779 -4780 4781 4782 4783 -4784
508.41/508.42	v -4785 -4786 -4787 -4788 -4789 -4790 -4791 -4792 -4793 -4794 -4795 -4796 -4797
508.41/508.42	v -4798 -4799 -4800 -4801 -4802 -4803 -4804 -4805 -4806 -4807 -4808 -4809 -4810
508.41/508.42	v -4811 -4812 -4813 -4814 -4815 -4816 -4817 -4818 -4819 -4820 -4821 -4822 -4823
508.41/508.42	v -4824 -4825 -4826 -4827 -4828 -4829 -4830 -4831 -4832 -4833 -4834 -4835 -4836
508.41/508.42	v -4837 -4838 -4839 -4840 -4841 -4842 -4843 -4844 -4845 -4846 -4847 -4848 -4849
508.41/508.42	v -4850 -4851 -4852 -4853 -4854 -4855 -4856 -4857 -4858 -4859 -4860 -4861 -4862
508.41/508.42	v -4863 -4864 -4865 -4866 -4867 -4868 -4869 -4870 -4871 -4872 -4873 -4874 -4875
508.41/508.42	v -4876 -4877 -4878 -4879 -4880 -4881 -4882 -4883 -4884 -4885 -4886 -4887 -4888
508.41/508.42	v -4889 -4890 -4891 -4892 -4893 -4894 -4895 -4896 -4897 -4898 -4899 -4900 -4901
508.41/508.42	v -4902 -4903 -4904 -4905 -4906 -4907 -4908 -4909 -4910 -4911 -4912 -4913 -4914
508.41/508.42	v -4915 -4916 -4917 -4918 -4919 -4920 -4921 -4922 -4923 -4924 -4925 -4926 -4927
508.41/508.42	v -4928 -4929 -4930 -4931 -4932 -4933 -4934 -4935 -4936 -4937 -4938 -4939 -4940
508.41/508.42	v -4941 -4942 -4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950 -4951 -4952 -4953
508.41/508.42	v -4954 -4955 -4956 -4957 -4958 -4959 -4960 -4961 -4962 -4963 -4964 -4965 -4966
508.41/508.42	v -4967 -4968 -4969 -4970 -4971 -4972 -4973 -4974 -4975 -4976 -4977 -4978 -4979
508.41/508.42	v -4980 -4981 -4982 -4983 -4984 -4985 -4986 -4987 -4988 -4989 -4990 -4991 -4992
508.41/508.42	v -4993 -4994 -4995 -4996 -4997 -4998 -4999 -5000 -5001 -5002 -5003 -5004 -5005
508.41/508.42	v -5006 -5007 -5008 -5009 -5010 -5011 -5012 -5013 -5014 -5015 -5016 -5017 -5018
508.41/508.42	v -5019 -5020 -5021 -5022 -5023 -5024 -5025 -5026 -5027 -5028 -5029 -5030 -5031
508.41/508.42	v -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039 -5040 -5041 -5042 -5043 -5044
508.41/508.42	v -5045 5046 -5047 -5048 -5049 -5050 -5051 -5052 -5053 -5054 -5055 -5056 -5057
508.41/508.42	v -5058 -5059 -5060 -5061 -5062 -5063 -5064 -5065 -5066 -5067 -5068 -5069 -5070
508.41/508.42	v -5071 -5072 -5073 -5074 -5075 -5076 -5077 -5078 -5079 -5080 -5081 -5082 -5083
508.41/508.42	v -5084 -5085 -5086 -5087 -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095 -5096
508.41/508.42	v -5097 -5098 -5099 -5100 -5101 -5102 -5103 -5104 -5105 -5106 -5107 -5108 -5109
508.41/508.42	v -5110 -5111 -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119 -5120 -5121 -5122
508.41/508.42	v -5123 -5124 -5125 -5126 -5127 -5128 -5129 -5130 -5131 -5132 -5133 -5134 -5135
508.41/508.42	v -5136 -5137 -5138 -5139 -5140 -5141 -5142 -5143 -5144 -5145 -5146 -5147 -5148
508.41/508.42	v -5149 -5150 -5151 -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159 -5160 -5161
508.41/508.42	v -5162 -5163 -5164 -5165 -5166 -5167 -5168 -5169 -5170 -5171 -5172 -5173 -5174
508.41/508.42	v -5175 -5176 -5177 -5178 -5179 -5180 -5181 -5182 -5183 -5184 -5185 -5186 -5187
508.41/508.42	v -5188 -5189 -5190 -5191 -5192 -5193 -5194 -5195 -5196 -5197 -5198 -5199 -5200
508.41/508.42	v -5201 -5202 -5203 -5204 -5205 -5206 -5207 -5208 -5209 -5210 -5211 -5212 -5213
508.41/508.42	v -5214 -5215 -5216 -5217 -5218 -5219 -5220 -5221 -5222 -5223 -5224 -5225 -5226
508.41/508.42	v -5227 -5228 -5229 -5230 -5231 -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239
508.41/508.42	v -5240 -5241 -5242 -5243 -5244 -5245 -5246 -5247 -5248 -5249 -5250 -5251 -5252
508.41/508.42	v -5253 -5254 -5255 -5256 -5257 -5258 -5259 -5260 -5261 -5262 -5263 -5264 -5265
508.41/508.42	v -5266 -5267 -5268 -5269 -5270 -5271 -5272 -5273 -5274 -5275 -5276 -5277 -5278
508.41/508.42	v -5279 -5280 -5281 -5282 -5283 -5284 -5285 -5286 -5287 -5288 -5289 -5290 -5291
508.41/508.42	v -5292 -5293 -5294 -5295 -5296 -5297 -5298 -5299 -5300 -5301 -5302 -5303 -5304
508.41/508.42	v -5305 -5306 -5307 -5308 -5309 -5310 -5311 -5312 -5313 -5314 -5315 -5316 -5317
508.41/508.42	v -5318 -5319 -5320 -5321 -5322 -5323 -5324 -5325 -5326 -5327 -5328 -5329 -5330
508.41/508.42	v -5331 -5332 -5333 -5334 -5335 -5336 -5337 -5338 -5339 -5340 -5341 -5342 -5343
508.41/508.42	v -5344 -5345 -5346 -5347 -5348 -5349 -5350 -5351 -5352 -5353 -5354 -5355 -5356
508.41/508.42	v -5357 -5358 -5359 -5360 -5361 -5362 -5363 -5364 -5365 -5366 -5367 -5368 -5369
508.41/508.42	v -5370 -5371 -5372 -5373 -5374 -5375 -5376 -5377 -5378 -5379 -5380 -5381 -5382
508.41/508.42	v -5383 -5384 -5385 -5386 -5387 -5388 -5389 -5390 -5391 -5392 -5393 -5394 -5395
508.41/508.42	v -5396 -5397 -5398 -5399 -5400 -5401 -5402 -5403 -5404 -5405 -5406 -5407 -5408
508.41/508.42	v -5409 -5410 -5411 -5412 -5413 -5414 -5415 -5416 -5417 -5418 -5419 -5420 -5421
508.41/508.42	v -5422 -5423 -5424 -5425 -5426 -5427 -5428 -5429 -5430 -5431 -5432 -5433 -5434
508.41/508.42	v -5435 -5436 -5437 -5438 -5439 -5440 -5441 -5442 -5443 -5444 -5445 5446 -5447
508.41/508.42	v -5448 -5449 -5450 -5451 -5452 -5453 -5454 -5455 -5456 -5457 -5458 -5459 -5460
508.41/508.42	v -5461 -5462 -5463 -5464 -5465 -5466 -5467 5468 -5469 -5470 -5471 -5472 -5473
508.41/508.42	v -5474 -5475 -5476 -5477 -5478 -5479 -5480 -5481 -5482 -5483 -5484 -5485 -5486
508.41/508.42	v -5487 -5488 -5489 -5490 -5491 -5492 -5493 -5494 -5495 -5496 -5497 -5498 -5499
508.41/508.42	v -5500 -5501 -5502 -5503 -5504 -5505 -5506 -5507 -5508 -5509 -5510 -5511 -5512
508.41/508.42	v -5513 -5514 -5515 -5516 -5517 -5518 -5519 -5520 -5521 -5522 -5523 -5524 -5525
508.41/508.42	v -5526 -5527 -5528 -5529 -5530 -5531 -5532 -5533 -5534 -5535 -5536 -5537 -5538
508.41/508.42	v -5539 -5540 -5541 -5542 -5543 -5544 -5545 -5546 -5547 -5548 -5549 -5550 -5551
508.41/508.42	v -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559 -5560 -5561 -5562 -5563 -5564
508.41/508.42	v -5565 -5566 -5567 -5568 -5569 5570 -5571 -5572 -5573 -5574 -5575 -5576 -5577
508.41/508.42	v -5578 -5579 -5580 -5581 -5582 -5583 -5584 -5585 -5586 -5587 -5588 -5589 -5590
508.41/508.42	v -5591 -5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599 -5600 -5601 -5602 -5603
508.41/508.42	v -5604 -5605 -5606 -5607 -5608 -5609 -5610 -5611 -5612 5613 -5614 -5615 -5616
508.41/508.42	v -5617 -5618 -5619 -5620 -5621 -5622 -5623 -5624 -5625 -5626 -5627 -5628 -5629
508.41/508.42	v -5630 -5631 -5632 -5633 -5634 -5635 -5636 -5637 -5638 -5639 -5640 -5641 -5642
508.41/508.42	v -5643 -5644 -5645 -5646 -5647 -5648 -5649 -5650 -5651 -5652 -5653 -5654 -5655
508.41/508.42	v -5656 -5657 -5658 -5659 -5660 -5661 -5662 -5663 -5664 -5665 -5666 -5667 -5668
508.41/508.42	v -5669 -5670 -5671 -5672 -5673 -5674 -5675 -5676 -5677 -5678 -5679 -5680 -5681
508.41/508.42	v -5682 -5683 -5684 -5685 -5686 -5687 -5688 -5689 -5690 -5691 -5692 -5693 -5694
508.41/508.42	v -5695 -5696 -5697 -5698 -5699 -5700 -5701 -5702 -5703 -5704 -5705 -5706 -5707
508.41/508.42	v -5708 -5709 -5710 -5711 -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719 -5720
508.41/508.42	v -5721 -5722 -5723 -5724 -5725 -5726 -5727 -5728 -5729 -5730 -5731 -5732 -5733
508.41/508.42	v -5734 -5735 -5736 -5737 -5738 -5739 -5740 -5741 -5742 -5743 -5744 -5745 -5746
508.41/508.42	v -5747 -5748 -5749 -5750 -5751 -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759
508.41/508.42	v -5760 -5761 -5762 -5763 -5764 -5765 -5766 -5767 -5768 -5769 -5770 -5771 -5772
508.41/508.42	v -5773 -5774 -5775 -5776 -5777 -5778 -5779 -5780 -5781 -5782 -5783 -5784 -5785
508.41/508.42	v -5786 -5787 -5788 -5789 -5790 -5791 -5792 -5793 -5794 -5795 -5796 -5797 -5798
508.41/508.42	v -5799 -5800 -5801 -5802 -5803 -5804 -5805 -5806 -5807 -5808 -5809 -5810 -5811
508.41/508.42	v -5812 -5813 -5814 -5815 -5816 -5817 -5818 -5819 -5820 -5821 -5822 -5823 -5824
508.41/508.42	v -5825 -5826 -5827 -5828 -5829 -5830 -5831 -5832 -5833 -5834 -5835 -5836 -5837
508.41/508.42	v -5838 -5839 -5840 -5841 -5842 -5843 -5844 -5845 -5846 -5847 -5848 -5849 -5850
508.41/508.42	v -5851 -5852 -5853 -5854 -5855 -5856 -5857 -5858 -5859 -5860 -5861 -5862 -5863
508.41/508.42	v -5864 -5865 -5866 -5867 -5868 -5869 -5870 -5871 -5872 -5873 -5874 -5875 -5876
508.41/508.42	v -5877 -5878 -5879 -5880 -5881 -5882 5883 -5884 -5885 -5886 -5887 -5888 -5889
508.41/508.42	v -5890 -5891 -5892 -5893 -5894 -5895 -5896 -5897 -5898 -5899 -5900 -5901 -5902
508.41/508.42	v -5903 -5904 -5905 -5906 -5907 -5908 -5909 -5910 -5911 -5912 -5913 -5914 -5915
508.41/508.42	v -5916 -5917 -5918 5919 -5920 -5921 -5922 -5923 -5924 -5925 -5926 -5927 -5928
508.41/508.42	v -5929 -5930 -5931 -5932 -5933 -5934 -5935 -5936 -5937 -5938 -5939 -5940 -5941
508.41/508.42	v -5942 -5943 -5944 -5945 -5946 -5947 -5948 -5949 -5950 -5951 -5952 -5953 -5954
508.41/508.42	v -5955 -5956 -5957 -5958 -5959 -5960 -5961 -5962 -5963 -5964 -5965 -5966 -5967
508.41/508.42	v -5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975 -5976 -5977 -5978 -5979 -5980
508.41/508.42	v -5981 -5982 -5983 -5984 -5985 -5986 -5987 -5988 -5989 -5990 -5991 -5992 -5993
508.41/508.42	v -5994 -5995 -5996 -5997 -5998 -5999 -6000 -6001 -6002 -6003 -6004 -6005 -6006
508.41/508.42	v -6007 -6008 -6009 -6010 -6011 -6012 -6013 -6014 -6015 -6016 -6017 -6018 -6019
508.41/508.42	v -6020 -6021 -6022 -6023 -6024 -6025 -6026 -6027 -6028 -6029 -6030 -6031 -6032
508.41/508.42	v -6033 -6034 -6035 -6036 -6037 -6038 -6039 -6040 -6041 -6042 -6043 -6044 -6045
508.41/508.42	v -6046 -6047 -6048 -6049 -6050 -6051 -6052 -6053 -6054 -6055 -6056 -6057 -6058
508.41/508.42	v -6059 -6060 -6061 -6062 -6063 -6064 -6065 -6066 -6067 -6068 -6069 -6070 -6071
508.41/508.42	v -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079 -6080 -6081 -6082 -6083 -6084
508.41/508.42	v -6085 -6086 -6087 -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095 -6096 -6097
508.41/508.42	v -6098 -6099 -6100 -6101 -6102 -6103 -6104 -6105 -6106 -6107 -6108 -6109 -6110
508.41/508.42	v -6111 -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120 -6121 -6122 -6123
508.41/508.42	v -6124 -6125 -6126 -6127 -6128 -6129 -6130 -6131 -6132 -6133 -6134 -6135 -6136
508.41/508.42	v -6137 -6138 -6139 -6140 -6141 -6142 -6143 -6144 -6145 -6146 -6147 -6148 -6149
508.41/508.42	v -6150 -6151 -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159 -6160 -6161 -6162
508.41/508.42	v -6163 -6164 -6165 -6166 -6167 -6168 -6169 -6170 -6171 -6172 -6173 -6174 -6175
508.41/508.42	v -6176 -6177 -6178 -6179 -6180 -6181 -6182 -6183 6184 -6185 -6186 -6187 -6188
508.41/508.42	v -6189 -6190 -6191 -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199 -6200 -6201
508.41/508.42	v -6202 -6203 -6204 -6205 -6206 -6207 -6208 -6209 -6210 -6211 -6212 -6213 -6214
508.41/508.42	v -6215 -6216 -6217 -6218 -6219 -6220 -6221 -6222 -6223 -6224 -6225 -6226 -6227
508.41/508.42	v -6228 -6229 -6230 -6231 -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239 -6240
508.41/508.42	v -6241 -6242 -6243 -6244 -6245 -6246 -6247 -6248 -6249 -6250 -6251 -6252 -6253
508.41/508.42	v -6254 -6255 -6256 -6257 -6258 -6259 -6260 -6261 -6262 -6263 -6264 -6265 -6266
508.41/508.42	v -6267 -6268 -6269 -6270 -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279
508.41/508.42	v -6280 -6281 -6282 -6283 -6284 -6285 -6286 -6287 -6288 -6289 -6290 -6291 -6292
508.41/508.42	v -6293 -6294 -6295 -6296 -6297 -6298 -6299 -6300 -6301 -6302 -6303 -6304 -6305
508.41/508.42	v -6306 -6307 -6308 -6309 -6310 -6311 -6312 -6313 -6314 -6315 -6316 -6317 -6318
508.41/508.42	v -6319 -6320 -6321 -6322 -6323 -6324 -6325 -6326 -6327 -6328 -6329 -6330 -6331
508.41/508.42	v -6332 -6333 -6334 -6335 -6336 -6337 -6338 -6339 -6340 -6341 -6342 -6343 -6344
508.41/508.42	v -6345 -6346 -6347 -6348 -6349 -6350 -6351 -6352 -6353 -6354 -6355 -6356 -6357
508.41/508.42	v -6358 -6359 -6360 -6361 -6362 -6363 -6364 -6365 -6366 -6367 -6368 -6369 -6370
508.41/508.42	v -6371 -6372 -6373 -6374 -6375 -6376 -6377 -6378 -6379 -6380 -6381 -6382 -6383
508.41/508.42	v -6384 -6385 -6386 -6387 -6388 -6389 -6390 -6391 6392 -6393 -6394 -6395 -6396
508.41/508.42	v -6397 -6398 -6399 -6400 -6401 -6402 -6403 -6404 -6405 -6406 -6407 -6408 -6409
508.41/508.42	v -6410 -6411 -6412 -6413 -6414 -6415 -6416 -6417 -6418 -6419 -6420 -6421 -6422
508.41/508.42	v -6423 -6424 -6425 -6426 -6427 -6428 -6429 -6430 -6431 -6432 -6433 -6434 -6435
508.41/508.42	v -6436 -6437 -6438 -6439 -6440 -6441 -6442 -6443 -6444 -6445 -6446 -6447 -6448
508.41/508.42	v -6449 -6450 -6451 -6452 -6453 -6454 -6455 -6456 -6457 -6458 -6459 -6460 -6461
508.41/508.42	v -6462 -6463 -6464 -6465 -6466 -6467 -6468 -6469 -6470 -6471 -6472 -6473 -6474
508.41/508.42	v -6475 -6476 -6477 -6478 -6479 -6480 -6481 -6482 -6483 -6484 -6485 -6486 -6487
508.41/508.42	v -6488 -6489 -6490 -6491 -6492 -6493 -6494 -6495 -6496 -6497 -6498 -6499 -6500
508.41/508.42	v -6501 -6502 -6503 -6504 -6505 -6506 -6507 -6508 -6509 -6510 -6511 -6512 -6513
508.41/508.42	v -6514 -6515 -6516 -6517 -6518 -6519 -6520 -6521 -6522 -6523 -6524 -6525 -6526
508.41/508.42	v -6527 -6528 -6529 -6530 -6531 -6532 -6533 -6534 -6535 6536 6537 6538 -6539
508.41/508.42	v -6540 -6541 -6542 -6543 -6544 -6545 -6546 -6547 -6548 -6549 -6550 -6551 -6552
508.41/508.42	v -6553 -6554 -6555 -6556 -6557 -6558 -6559 -6560 -6561 -6562 -6563 -6564 -6565
508.41/508.42	v -6566 -6567 -6568 -6569 -6570 -6571 -6572 -6573 -6574 -6575 -6576 -6577 -6578
508.41/508.42	v -6579 -6580 -6581 -6582 -6583 -6584 -6585 -6586 -6587 -6588 -6589 -6590 -6591
508.41/508.42	v -6592 -6593 -6594 -6595 -6596 -6597 -6598 -6599 -6600 -6601 -6602 -6603 -6604
508.41/508.42	v -6605 -6606 -6607 -6608 -6609 -6610 -6611 -6612 -6613 -6614 -6615 -6616 -6617
508.41/508.42	v -6618 -6619 -6620 -6621 -6622 -6623 -6624 -6625 6626 -6627 -6628 -6629 -6630
508.41/508.42	v -6631 -6632 -6633 -6634 -6635 -6636 -6637 -6638 -6639 -6640 -6641 -6642 -6643
508.41/508.42	v -6644 -6645 -6646 -6647 -6648 -6649 -6650 -6651 -6652 -6653 -6654 -6655 -6656
508.41/508.42	v -6657 -6658 -6659 -6660 -6661 -6662 -6663 -6664 -6665 -6666 -6667 -6668 -6669
508.41/508.42	v -6670 -6671 -6672 -6673 -6674 -6675 -6676 -6677 -6678 -6679 -6680 -6681 -6682
508.41/508.42	v -6683 -6684 -6685 -6686 -6687 -6688 -6689 -6690 -6691 6692 -6693 -6694 -6695
508.41/508.42	v -6696 -6697 -6698 -6699 -6700 -6701 -6702 -6703 -6704 -6705 -6706 -6707 -6708
508.41/508.42	v -6709 -6710 6711 6712 6713 6714 -6715 -6716 -6717 -6718 -6719 -6720 -6721
508.41/508.42	v -6722 -6723 -6724 -6725 -6726 -6727 -6728 -6729 -6730 -6731 -6732 6733 6734
508.41/508.42	v 6735 6736 -6737 -6738 -6739 -6740 -6741 -6742 -6743 -6744 -6745 -6746 -6747
508.41/508.42	v -6748 -6749 -6750 -6751 -6752 -6753 -6754 6755 -6756 -6757 -6758 -6759 -6760
508.41/508.42	v -6761 -6762 -6763 -6764 -6765 -6766 -6767 -6768 -6769 -6770 -6771 -6772 -6773
508.41/508.42	v -6774 -6775 -6776 -6777 -6778 6779 6780 -6781 -6782 -6783 -6784 -6785 -6786
508.41/508.42	v -6787 -6788 -6789 -6790 -6791 -6792 -6793 -6794 -6795 -6796 -6797 -6798 -6799
508.41/508.42	v -6800 -6801 -6802 -6803 -6804 -6805 -6806 -6807 -6808 -6809 -6810 -6811 -6812
508.41/508.42	v -6813 -6814 -6815 -6816 -6817 -6818 -6819 -6820 -6821 -6822 -6823 -6824 -6825
508.41/508.42	v -6826 -6827 -6828 -6829 -6830 -6831 -6832 -6833 -6834 -6835 -6836 -6837 -6838
508.41/508.42	v -6839 -6840 -6841 -6842 6843 -6844 -6845 -6846 -6847 -6848 -6849 -6850 -6851
508.41/508.42	v -6852 -6853 -6854 -6855 -6856 -6857 -6858 -6859 -6860 -6861 -6862 -6863 -6864
508.41/508.42	v -6865 -6866 -6867 -6868 -6869 -6870 -6871 -6872 -6873 -6874 -6875 -6876 -6877
508.41/508.42	v -6878 -6879 -6880 -6881 -6882 -6883 -6884 -6885 -6886 -6887 -6888 -6889 -6890
508.41/508.42	v -6891 -6892 -6893 -6894 -6895 -6896 -6897 -6898 -6899 -6900 -6901 -6902 -6903
508.41/508.42	v -6904 -6905 -6906 -6907 -6908 -6909 -6910 -6911 -6912 -6913 -6914 -6915 -6916
508.41/508.42	v -6917 -6918 -6919 -6920 -6921 -6922 -6923 -6924 -6925 -6926 -6927 -6928 -6929
508.41/508.42	v -6930 6931 6932 6933 -6934 -6935 -6936 -6937 -6938 -6939 -6940 -6941 -6942
508.41/508.42	v -6943 -6944 -6945 -6946 -6947 -6948 -6949 -6950 -6951 -6952 6953 6954 -6955
508.41/508.42	v -6956 -6957 -6958 -6959 -6960 -6961 -6962 -6963 -6964 -6965 -6966 -6967 -6968
508.41/508.42	v -6969 -6970 -6971 -6972 -6973 -6974 -6975 -6976 -6977 -6978 -6979 -6980 -6981
508.41/508.42	v -6982 -6983 -6984 -6985 -6986 -6987 -6988 -6989 -6990 -6991 -6992 -6993 -6994
508.41/508.42	v -6995 -6996 -6997 -6998 -6999 -7000 -7001 -7002 -7003 -7004 -7005 -7006 -7007
508.41/508.42	v -7008 -7009 -7010 -7011 -7012 -7013 -7014 -7015 -7016 -7017 -7018 -7019 -7020
508.41/508.42	v -7021 -7022 -7023 -7024 -7025 -7026 -7027 -7028 -7029 -7030 -7031 -7032 -7033
508.41/508.42	v -7034 -7035 -7036 -7037 -7038 -7039 -7040 -7041 -7042 -7043 -7044 -7045 -7046
508.41/508.42	v -7047 -7048 -7049 7050 -7051 -7052 -7053 -7054 -7055 -7056 -7057 -7058 -7059
508.41/508.42	v -7060 -7061 -7062 -7063 -7064 -7065 -7066 -7067 -7068 -7069 -7070 -7071 -7072
508.41/508.42	v -7073 -7074 -7075 -7076 -7077 -7078 -7079 -7080 -7081 -7082 -7083 -7084 -7085
508.41/508.42	v -7086 -7087 -7088 -7089 -7090 -7091 -7092 -7093 -7094 -7095 -7096 -7097 -7098
508.41/508.42	v -7099 -7100 -7101 -7102 -7103 -7104 -7105 -7106 -7107 -7108 -7109 -7110 -7111
508.41/508.42	v -7112 -7113 -7114 -7115 -7116 -7117 -7118 -7119 -7120 -7121 -7122 -7123 -7124
508.41/508.42	v -7125 -7126 -7127 -7128 -7129 -7130 -7131 -7132 -7133 -7134 -7135 -7136 -7137
508.41/508.42	v -7138 -7139 -7140 -7141 -7142 -7143 -7144 -7145 -7146 -7147 -7148 -7149 -7150
508.41/508.42	v -7151 -7152 -7153 -7154 -7155 -7156 -7157 -7158 -7159 7160 -7161 -7162 -7163
508.41/508.42	v -7164 -7165 -7166 -7167 -7168 -7169 -7170 -7171 -7172 -7173 -7174 -7175 -7176
508.41/508.42	v -7177 -7178 -7179 -7180 -7181 -7182 -7183 -7184 -7185 -7186 -7187 -7188 -7189
508.41/508.42	v -7190 -7191 -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199 -7200 -7201 -7202
508.41/508.42	v -7203 -7204 -7205 -7206 -7207 -7208 -7209 -7210 -7211 -7212 -7213 -7214 -7215
508.41/508.42	v -7216 -7217 -7218 -7219 -7220 -7221 -7222 -7223 -7224 -7225 -7226 -7227 -7228
508.41/508.42	v -7229 -7230 -7231 -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239 -7240 -7241
508.41/508.42	v -7242 -7243 -7244 -7245 -7246 -7247 7248 -7249 -7250 -7251 -7252 -7253 -7254
508.41/508.42	v -7255 -7256 -7257 -7258 -7259 -7260 -7261 -7262 -7263 -7264 -7265 -7266 -7267
508.41/508.42	v -7268 -7269 7270 -7271 -7272 -7273 -7274 -7275 -7276 -7277 -7278 -7279 -7280
508.41/508.42	v -7281 -7282 -7283 -7284 -7285 -7286 -7287 -7288 -7289 -7290 -7291 -7292 -7293
508.41/508.42	v -7294 -7295 -7296 -7297 -7298 -7299 -7300 -7301 -7302 -7303 -7304 -7305 -7306
508.41/508.42	v -7307 -7308 -7309 -7310 -7311 -7312 -7313 7314 -7315 -7316 -7317 -7318 -7319
508.41/508.42	v -7320 -7321 -7322 -7323 -7324 -7325 -7326 -7327 -7328 -7329 -7330 -7331 -7332
508.41/508.42	v -7333 -7334 -7335 -7336 -7337 -7338 -7339 -7340 -7341 -7342 -7343 -7344 -7345
508.41/508.42	v -7346 -7347 -7348 -7349 -7350 -7351 -7352 -7353 -7354 -7355 -7356 -7357 -7358
508.41/508.42	v -7359 -7360 -7361 -7362 -7363 -7364 -7365 -7366 -7367 -7368 -7369 -7370 -7371
508.41/508.42	v -7372 -7373 -7374 -7375 -7376 -7377 -7378 -7379 -7380 -7381 -7382 -7383 -7384
508.41/508.42	v -7385 -7386 -7387 -7388 -7389 -7390 -7391 -7392 -7393 -7394 -7395 -7396 -7397
508.41/508.42	v -7398 -7399 -7400 -7401 -7402 -7403 -7404 -7405 -7406 -7407 -7408 -7409 -7410
508.41/508.42	v -7411 -7412 -7413 -7414 -7415 -7416 -7417 -7418 7419 7420 7421 -7422 -7423
508.41/508.42	v -7424 -7425 -7426 -7427 -7428 -7429 -7430 -7431 -7432 -7433 -7434 -7435 -7436
508.41/508.42	v -7437 -7438 -7439 -7440 -7441 -7442 -7443 7444 -7445 -7446 -7447 -7448 -7449
508.41/508.42	v -7450 -7451 -7452 -7453 -7454 -7455 -7456 -7457 -7458 -7459 -7460 -7461 -7462
508.41/508.42	v -7463 7464 7465 7466 -7467 -7468 -7469 -7470 -7471 -7472 -7473 -7474 -7475
508.41/508.42	v -7476 -7477 -7478 -7479 -7480 -7481 -7482 -7483 7484 7485 7486 7487 7488 -7489
508.41/508.42	v -7490 -7491 -7492 -7493 -7494 -7495 -7496 -7497 -7498 -7499 -7500 -7501 -7502
508.41/508.42	v -7503 -7504 -7505 -7506 -7507 7508 7509 -7510 -7511 -7512 -7513 -7514 -7515
508.41/508.42	v -7516 -7517 -7518 -7519 -7520 -7521 -7522 -7523 -7524 -7525 -7526 -7527 -7528
508.41/508.42	v -7529 -7530 -7531 -7532 -7533 -7534 -7535 -7536 -7537 -7538 -7539 -7540 -7541
508.41/508.42	v -7542 -7543 -7544 -7545 -7546 -7547 -7548 -7549 7550 7551 7552 7553 -7554
508.41/508.42	v -7555 -7556 -7557 -7558 -7559 -7560 -7561 -7562 -7563 -7564 -7565 -7566 -7567
508.41/508.42	v -7568 -7569 7570 7571 7572 7573 7574 7575 7576 -7577 -7578 -7579 -7580 -7581
508.41/508.42	v -7582 -7583 -7584 -7585 -7586 -7587 -7588 -7589 -7590 -7591 7592 7593 7594
508.41/508.42	v 7595 -7596 -7597 -7598 -7599 -7600 -7601 -7602 -7603 -7604 -7605 -7606 -7607
508.41/508.42	v -7608 -7609 -7610 -7611 -7612 -7613 -7614 -7615 -7616 -7617 -7618 -7619 -7620
508.41/508.42	v -7621 -7622 -7623 -7624 -7625 -7626 -7627 -7628 -7629 -7630 -7631 -7632 -7633
508.41/508.42	v -7634 -7635 -7636 7637 7638 -7639 -7640 -7641 -7642 -7643 -7644 -7645 -7646
508.41/508.42	v -7647 -7648 -7649 -7650 -7651 -7652 -7653 -7654 -7655 -7656 -7657 -7658 -7659
508.41/508.42	v -7660 -7661 -7662 -7663 -7664 -7665 -7666 -7667 -7668 -7669 -7670 -7671 -7672
508.41/508.42	v -7673 -7674 -7675 -7676 -7677 -7678 -7679 -7680 -7681 -7682 -7683 -7684 -7685
508.41/508.42	v -7686 -7687 -7688 -7689 -7690 -7691 -7692 -7693 -7694 -7695 -7696 -7697 -7698
508.41/508.42	v -7699 -7700 -7701 -7702 -7703 -7704 -7705 -7706 -7707 -7708 -7709 -7710 -7711
508.41/508.42	v -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719 -7720 -7721 -7722 -7723 -7724
508.41/508.42	v -7725 -7726 -7727 -7728 -7729 -7730 -7731 -7732 -7733 -7734 -7735 -7736 -7737
508.41/508.42	v -7738 -7739 -7740 -7741 -7742 -7743 -7744 -7745 -7746 -7747 -7748 -7749 7750
508.41/508.42	v -7751 -7752 -7753 -7754 -7755 -7756 -7757 -7758 -7759 -7760 -7761 -7762 -7763
508.41/508.42	v -7764 -7765 -7766 -7767 -7768 -7769 -7770 -7771 -7772 7773 -7774 -7775 -7776
508.41/508.42	v -7777 -7778 -7779 -7780 -7781 -7782 -7783 -7784 -7785 -7786 -7787 -7788 -7789
508.41/508.42	v 7790 7791 -7792 -7793 -7794 -7795 -7796 -7797 -7798 -7799 -7800 -7801 -7802
508.41/508.42	v -7803 -7804 -7805 -7806 -7807 -7808 -7809 -7810 -7811 7812 -7813 -7814 -7815
508.41/508.42	v -7816 -7817 -7818 -7819 -7820 -7821 -7822 -7823 -7824 -7825 -7826 -7827 -7828
508.41/508.42	v -7829 -7830 -7831 -7832 -7833 -7834 -7835 -7836 -7837 -7838 -7839 -7840 -7841
508.41/508.42	v -7842 -7843 -7844 -7845 -7846 -7847 -7848 -7849 -7850 -7851 -7852 -7853 -7854
508.41/508.42	v -7855 -7856 -7857 -7858 -7859 7860 7861 -7862 -7863 -7864 -7865 -7866 -7867
508.41/508.42	v -7868 -7869 -7870 -7871 -7872 -7873 -7874 -7875 -7876 -7877 -7878 -7879 -7880
508.41/508.42	v 7881 7882 7883 -7884 -7885 -7886 -7887 -7888 -7889 -7890 -7891 -7892 -7893
508.41/508.42	v -7894 -7895 -7896 -7897 -7898 -7899 -7900 -7901 -7902 -7903 7904 7905 -7906
508.41/508.42	v -7907 -7908 -7909 -7910 -7911 -7912 -7913 -7914 -7915 -7916 -7917 -7918 -7919
508.41/508.42	v -7920 -7921 -7922 -7923 -7924 -7925 -7926 -7927 -7928 -7929 -7930 -7931 -7932
508.41/508.42	v -7933 -7934 -7935 -7936 -7937 -7938 -7939 -7940 -7941 -7942 -7943 -7944 -7945
508.41/508.42	v -7946 7947 7948 7949 -7950 -7951 -7952 -7953 -7954 -7955 -7956 -7957 -7958
508.41/508.42	v -7959 -7960 -7961 -7962 -7963 -7964 -7965 -7966 -7967 -7968 7969 7970 7971
508.41/508.42	v -7972 -7973 -7974 -7975 -7976 -7977 -7978 -7979 -7980 -7981 -7982 -7983 -7984
508.41/508.42	v -7985 -7986 -7987 -7988 -7989 -7990 7991 -7992 -7993 -7994 -7995 -7996 -7997
508.41/508.42	v -7998 -7999 -8000 -8001 -8002 -8003 -8004 -8005 -8006 -8007 -8008 -8009 -8010
508.41/508.42	v -8011 -8012 -8013 -8014 -8015 -8016 -8017 -8018 -8019 -8020 -8021 -8022 -8023
508.41/508.42	v -8024 -8025 -8026 -8027 -8028 -8029 -8030 -8031 -8032 -8033 -8034 -8035 -8036
508.41/508.42	v -8037 -8038 -8039 -8040 -8041 -8042 -8043 -8044 -8045 -8046 -8047 -8048 -8049
508.41/508.42	v -8050 -8051 -8052 -8053 -8054 -8055 -8056 -8057 -8058 -8059 -8060 -8061 -8062
508.41/508.42	v -8063 -8064 -8065 -8066 -8067 -8068 -8069 -8070 -8071 -8072 -8073 -8074 -8075
508.41/508.42	v -8076 -8077 -8078 -8079 -8080 -8081 -8082 -8083 -8084 -8085 -8086 -8087 -8088
508.41/508.42	v -8089 -8090 -8091 -8092 -8093 -8094 -8095 -8096 -8097 -8098 -8099 -8100 -8101
508.41/508.42	v -8102 -8103 -8104 -8105 -8106 -8107 -8108 -8109 -8110 -8111 -8112 -8113 -8114
508.41/508.42	v -8115 -8116 -8117 -8118 -8119 -8120 -8121 -8122 -8123 -8124 -8125 -8126 -8127
508.41/508.42	v -8128 -8129 -8130 -8131 -8132 -8133 -8134 -8135 -8136 -8137 -8138 -8139 -8140
508.41/508.42	v -8141 -8142 -8143 -8144 -8145 8146 -8147 -8148 -8149 -8150 -8151 -8152 -8153
508.41/508.42	v -8154 -8155 -8156 -8157 -8158 -8159 -8160 -8161 -8162 -8163 -8164 -8165 -8166
508.41/508.42	v -8167 -8168 8169 -8170 -8171 -8172 -8173 -8174 -8175 -8176 -8177 -8178 -8179
508.41/508.42	v -8180 -8181 -8182 -8183 -8184 -8185 -8186 -8187 -8188 -8189 -8190 -8191 -8192
508.41/508.42	v -8193 -8194 -8195 -8196 -8197 -8198 -8199 -8200 -8201 -8202 -8203 -8204 -8205
508.41/508.42	v -8206 -8207 -8208 -8209 -8210 -8211 -8212 -8213 -8214 -8215 -8216 -8217 -8218
508.41/508.42	v -8219 -8220 -8221 -8222 -8223 -8224 -8225 -8226 -8227 -8228 -8229 -8230 -8231
508.41/508.42	v -8232 -8233 -8234 -8235 8236 8237 -8238 -8239 -8240 -8241 -8242 -8243 -8244
508.41/508.42	v -8245 -8246 -8247 -8248 -8249 -8250 -8251 -8252 -8253 -8254 -8255 -8256 -8257
508.41/508.42	v 8258 8259 -8260 -8261 -8262 -8263 -8264 -8265 -8266 -8267 -8268 -8269 -8270
508.41/508.42	v -8271 -8272 -8273 -8274 -8275 -8276 -8277 -8278 -8279 -8280 -8281 -8282 -8283
508.41/508.42	v -8284 -8285 -8286 -8287 -8288 -8289 -8290 -8291 -8292 -8293 -8294 -8295 -8296
508.41/508.42	v -8297 -8298 -8299 -8300 -8301 -8302 -8303 -8304 -8305 -8306 -8307 -8308 -8309
508.41/508.42	v -8310 -8311 -8312 -8313 -8314 -8315 -8316 -8317 -8318 -8319 -8320 -8321 -8322
508.41/508.42	v -8323 -8324 -8325 -8326 -8327 -8328 -8329 -8330 -8331 -8332 -8333 -8334 -8335
508.41/508.42	v -8336 -8337 -8338 -8339 -8340 -8341 -8342 -8343 -8344 -8345 8346 8347 -8348
508.41/508.42	v -8349 -8350 -8351 -8352 -8353 -8354 -8355 -8356 -8357 -8358 -8359 -8360 -8361
508.41/508.42	v -8362 -8363 -8364 -8365 -8366 -8367 -8368 -8369 -8370 -8371 -8372 -8373 -8374
508.41/508.42	v -8375 -8376 -8377 -8378 -8379 -8380 -8381 -8382 -8383 -8384 -8385 -8386 -8387
508.41/508.42	v -8388 -8389 -8390 -8391 -8392 -8393 -8394 -8395 -8396 -8397 -8398 -8399 -8400
508.41/508.42	v -8401 -8402 -8403 -8404 -8405 -8406 -8407 -8408 -8409 -8410 -8411 -8412 -8413
508.41/508.42	v -8414 -8415 -8416 -8417 -8418 -8419 -8420 -8421 -8422 -8423 -8424 -8425 -8426
508.41/508.42	v -8427 -8428 -8429 -8430 -8431 -8432 -8433 -8434 8435 -8436 -8437 -8438 -8439
508.41/508.42	v -8440 -8441 -8442 -8443 -8444 -8445 -8446 -8447 -8448 -8449 -8450 -8451 -8452
508.41/508.42	v -8453 -8454 -8455 -8456 8457 -8458 -8459 -8460 -8461 -8462 -8463 -8464 -8465
508.41/508.42	v -8466 -8467 -8468 -8469 -8470 -8471 -8472 -8473 -8474 -8475 -8476 -8477 -8478
508.41/508.42	v -8479 -8480 -8481 -8482 -8483 -8484 -8485 -8486 -8487 -8488 -8489 -8490 -8491
508.41/508.42	v -8492 -8493 -8494 -8495 -8496 -8497 -8498 -8499 -8500 8501 -8502 -8503 -8504
508.41/508.42	v -8505 -8506 -8507 -8508 -8509 -8510 -8511 -8512 -8513 -8514 -8515 -8516 -8517
508.41/508.42	v -8518 -8519 -8520 -8521 -8522 -8523 -8524 -8525 -8526 -8527 -8528 -8529 -8530
508.41/508.42	v -8531 -8532 -8533 -8534 -8535 -8536 -8537 -8538 -8539 -8540 -8541 -8542 -8543
508.41/508.42	v -8544 -8545 -8546 -8547 -8548 -8549 -8550 -8551 -8552 -8553 -8554 -8555 -8556
508.41/508.42	v -8557 -8558 -8559 -8560 -8561 -8562 -8563 -8564 -8565 -8566 -8567 -8568 -8569
508.41/508.42	v -8570 -8571 -8572 -8573 -8574 -8575 -8576 -8577 -8578 -8579 -8580 -8581 -8582
508.41/508.42	v -8583 -8584 -8585 -8586 -8587 -8588 -8589 -8590 -8591 -8592 -8593 -8594 -8595
508.41/508.42	v -8596 -8597 -8598 -8599 -8600 -8601 -8602 -8603 -8604 -8605 -8606 -8607 8608
508.41/508.42	v 8609 8610 8611 -8612 -8613 -8614 -8615 -8616 -8617 -8618 -8619 -8620 -8621
508.41/508.42	v -8622 -8623 -8624 -8625 -8626 -8627 -8628 -8629 8630 8631 -8632 -8633 -8634
508.41/508.42	v -8635 -8636 -8637 -8638 -8639 -8640 -8641 -8642 -8643 -8644 -8645 -8646 -8647
508.41/508.42	v -8648 -8649 -8650 -8651 -8652 -8653 -8654 -8655 -8656 8657 -8658 -8659 -8660
508.41/508.42	v -8661 -8662 -8663 -8664 -8665 -8666 -8667 -8668 -8669 -8670 -8671 -8672 -8673
508.41/508.42	v 8674 8675 -8676 -8677 -8678 -8679 -8680 -8681 -8682 -8683 -8684 -8685 -8686
508.41/508.42	v -8687 -8688 -8689 -8690 -8691 -8692 -8693 -8694 -8695 8696 8697 8698 8699 8700
508.41/508.42	v -8701 -8702 -8703 -8704 -8705 -8706 -8707 -8708 -8709 -8710 -8711 -8712 -8713
508.41/508.42	v -8714 -8715 -8716 -8717 -8718 -8719 -8720 -8721 -8722 -8723 -8724 -8725 -8726
508.41/508.42	v -8727 -8728 -8729 -8730 -8731 -8732 -8733 -8734 -8735 -8736 -8737 -8738 -8739
508.41/508.42	v -8740 -8741 -8742 -8743 -8744 -8745 -8746 -8747 -8748 -8749 -8750 -8751 -8752
508.41/508.42	v -8753 -8754 -8755 -8756 -8757 -8758 -8759 -8760 -8761 -8762 -8763 -8764 -8765
508.41/508.42	v -8766 -8767 -8768 -8769 -8770 -8771 -8772 -8773 -8774 -8775 -8776 -8777 -8778
508.41/508.42	v -8779 -8780 -8781 -8782 -8783 -8784 -8785 -8786 8787 8788 -8789 -8790 -8791
508.41/508.42	v -8792 -8793 -8794 -8795 -8796 -8797 -8798 -8799 -8800 -8801 -8802 -8803 -8804
508.41/508.42	v -8805 -8806 -8807 -8808 8809 8810 -8811 -8812 -8813 -8814 -8815 -8816 -8817
508.41/508.42	v -8818 -8819 -8820 -8821 -8822 -8823 -8824 -8825 -8826 -8827 -8828 -8829 -8830
508.41/508.42	v -8831 -8832 -8833 -8834 -8835 -8836 -8837 -8838 -8839 -8840 -8841 -8842 -8843
508.41/508.42	v -8844 -8845 -8846 -8847 -8848 -8849 -8850 -8851 -8852 8853 8854 -8855 -8856
508.41/508.42	v -8857 -8858 -8859 -8860 -8861 -8862 -8863 -8864 -8865 -8866 -8867 -8868 -8869
508.41/508.42	v -8870 -8871 8872 -8873 -8874 -8875 -8876 -8877 -8878 -8879 -8880 -8881 -8882
508.41/508.42	v -8883 -8884 -8885 -8886 -8887 -8888 -8889 -8890 -8891 -8892 -8893 -8894 8895
508.41/508.42	v -8896 -8897 -8898 -8899 -8900 -8901 -8902 -8903 -8904 -8905 -8906 -8907 -8908
508.41/508.42	v -8909 -8910 -8911 -8912 -8913 -8914 -8915 -8916 -8917 -8918 -8919 -8920 -8921
508.41/508.42	v -8922 -8923 -8924 -8925 -8926 -8927 -8928 -8929 -8930 -8931 -8932 -8933 -8934
508.41/508.42	v -8935 -8936 -8937 -8938 -8939 -8940 -8941 -8942 -8943 -8944 -8945 -8946 -8947
508.41/508.42	v -8948 -8949 -8950 -8951 -8952 -8953 -8954 -8955 -8956 -8957 -8958 -8959 8960
508.41/508.42	v 8961 -8962 -8963 -8964 -8965 -8966 -8967 -8968 -8969 -8970 -8971 -8972 -8973
508.41/508.42	v -8974 -8975 -8976 -8977 -8978 -8979 -8980 -8981 -8982 -8983 -8984 -8985 -8986
508.41/508.42	v -8987 -8988 -8989 -8990 -8991 -8992 -8993 -8994 -8995 -8996 -8997 -8998 -8999
508.41/508.42	v -9000 -9001 9002 9003 9004 9005 -9006 -9007 -9008 -9009 -9010 -9011 -9012
508.41/508.42	v -9013 -9014 -9015 -9016 -9017 -9018 -9019 -9020 -9021 -9022 -9023 9024 9025
508.41/508.42	v 9026 9027 9028 9029 -9030 -9031 -9032 -9033 -9034 -9035 -9036 -9037 -9038
508.41/508.42	v -9039 -9040 -9041 -9042 -9043 -9044 -9045 9046 9047 -9048 -9049 -9050 -9051
508.41/508.42	v -9052 -9053 -9054 -9055 -9056 -9057 -9058 -9059 -9060 -9061 -9062 -9063 -9064
508.41/508.42	v -9065 -9066 -9067 -9068 -9069 -9070 -9071 -9072 -9073 -9074 -9075 -9076 -9077
508.41/508.42	v -9078 -9079 -9080 -9081 -9082 -9083 -9084 -9085 -9086 -9087 -9088 -9089 9090
508.41/508.42	v -9091 -9092 -9093 -9094 -9095 -9096 -9097 -9098 -9099 -9100 -9101 -9102 -9103
508.41/508.42	v -9104 -9105 -9106 -9107 -9108 -9109 -9110 -9111 -9112 -9113 -9114 -9115 -9116
508.41/508.42	v 9117 -9118 -9119 -9120 -9121 -9122 -9123 -9124 -9125 -9126 -9127 -9128 -9129
508.41/508.42	v -9130 -9131 -9132 -9133 -9134 -9135 -9136 -9137 -9138 9139 -9140 -9141 -9142
508.41/508.42	v -9143 -9144 -9145 -9146 -9147 -9148 -9149 -9150 -9151 -9152 -9153 -9154 -9155
508.41/508.42	v -9156 -9157 -9158 -9159 -9160 -9161 -9162 -9163 -9164 -9165 -9166 -9167 -9168
508.41/508.42	v -9169 -9170 -9171 -9172 -9173 -9174 -9175 -9176 -9177 -9178 -9179 -9180 -9181
508.41/508.42	v -9182 9183 -9184 -9185 -9186 -9187 -9188 -9189 -9190 -9191 -9192 -9193 -9194
508.41/508.42	v -9195 -9196 -9197 -9198 -9199 -9200 -9201 9202 -9203 -9204 -9205 -9206 -9207
508.41/508.42	v -9208 -9209 -9210 -9211 -9212 -9213 -9214 -9215 -9216 -9217 -9218 -9219 -9220
508.41/508.42	v -9221 -9222 -9223 -9224 9225 -9226 -9227 -9228 -9229 -9230 -9231 -9232 -9233
508.41/508.42	v -9234 -9235 -9236 -9237 -9238 -9239 -9240 -9241 -9242 -9243 -9244 -9245 -9246
508.41/508.42	v -9247 -9248 -9249 -9250 -9251 -9252 -9253 -9254 -9255 -9256 -9257 -9258 -9259
508.41/508.42	v -9260 -9261 -9262 -9263 -9264 -9265 -9266 -9267 -9268 -9269 -9270 -9271 -9272
508.41/508.42	v -9273 -9274 -9275 -9276 -9277 -9278 -9279 -9280 -9281 -9282 -9283 -9284 -9285
508.41/508.42	v -9286 -9287 -9288 -9289 -9290 -9291 -9292 -9293 -9294 -9295 -9296 -9297 -9298
508.41/508.42	v -9299 -9300 -9301 -9302 -9303 -9304 -9305 -9306 -9307 -9308 -9309 -9310 -9311
508.41/508.42	v 9312 9313 -9314 -9315 -9316 -9317 -9318 -9319 -9320 -9321 -9322 -9323 -9324
508.41/508.42	v -9325 -9326 -9327 -9328 -9329 -9330 -9331 -9332 -9333 9334 9335 -9336 -9337
508.41/508.42	v -9338 -9339 -9340 -9341 -9342 -9343 -9344 -9345 -9346 -9347 -9348 -9349 -9350
508.41/508.42	v -9351 -9352 -9353 -9354 -9355 -9356 -9357 -9358 -9359 -9360 -9361 -9362 -9363
508.41/508.42	v -9364 -9365 -9366 -9367 -9368 -9369 -9370 -9371 -9372 -9373 -9374 -9375 -9376
508.41/508.42	v -9377 -9378 -9379 -9380 -9381 -9382 -9383 -9384 -9385 -9386 -9387 -9388 -9389
508.41/508.42	v -9390 -9391 -9392 -9393 -9394 -9395 -9396 -9397 -9398 -9399 -9400 -9401 -9402
508.41/508.42	v -9403 -9404 -9405 -9406 -9407 -9408 -9409 -9410 -9411 -9412 -9413 -9414 -9415
508.41/508.42	v -9416 -9417 -9418 -9419 -9420 -9421 -9422 -9423 -9424 -9425 -9426 -9427 -9428
508.41/508.42	v -9429 -9430 -9431 -9432 -9433 -9434 -9435 -9436 -9437 -9438 -9439 -9440 -9441
508.41/508.42	v -9442 -9443 -9444 -9445 -9446 -9447 -9448 -9449 -9450 -9451 -9452 -9453 -9454
508.41/508.42	v -9455 -9456 -9457 -9458 -9459 -9460 -9461 -9462 -9463 -9464 -9465 -9466 -9467
508.41/508.42	v -9468 -9469 -9470 -9471 -9472 -9473 -9474 -9475 -9476 -9477 -9478 -9479 -9480
508.41/508.42	v -9481 -9482 -9483 -9484 -9485 -9486 -9487 -9488 -9489 -9490 -9491 -9492 -9493
508.41/508.42	v -9494 -9495 -9496 -9497 -9498 -9499 -9500 -9501 -9502 -9503 -9504 -9505 -9506
508.41/508.42	v -9507 -9508 -9509 9510 -9511 -9512 -9513 -9514 -9515 -9516 -9517 -9518 -9519
508.41/508.42	v -9520 -9521 -9522 -9523 -9524 -9525 -9526 -9527 -9528 -9529 -9530 -9531 -9532
508.41/508.42	v 9533 -9534 -9535 -9536 -9537 -9538 -9539 -9540 -9541 -9542 -9543 -9544 -9545
508.41/508.42	v -9546 -9547 -9548 -9549 -9550 -9551 -9552 -9553 -9554 -9555 -9556 -9557 -9558
508.41/508.42	v -9559 -9560 -9561 -9562 -9563 -9564 -9565 -9566 -9567 -9568 -9569 -9570 -9571
508.41/508.42	v -9572 -9573 -9574 -9575 -9576 -9577 -9578 -9579 -9580 -9581 -9582 -9583 -9584
508.41/508.42	v -9585 -9586 -9587 -9588 -9589 -9590 -9591 -9592 -9593 -9594 -9595 -9596 -9597
508.41/508.42	v -9598 -9599 -9600 -9601 -9602 -9603 -9604 -9605 -9606 -9607 -9608 -9609 -9610
508.41/508.42	v -9611 -9612 -9613 -9614 -9615 -9616 -9617 -9618 -9619 -9620 -9621 -9622 -9623
508.41/508.42	v -9624 -9625 -9626 -9627 -9628 -9629 -9630 -9631 -9632 -9633 -9634 -9635 -9636
508.41/508.42	v -9637 -9638 -9639 -9640 -9641 -9642 -9643 -9644 -9645 -9646 -9647 -9648 -9649
508.41/508.42	v -9650 -9651 -9652 -9653 -9654 -9655 -9656 -9657 -9658 -9659 -9660 -9661 -9662
508.41/508.42	v -9663 -9664 -9665 -9666 -9667 -9668 -9669 -9670 -9671 -9672 -9673 -9674 -9675
508.41/508.42	v -9676 -9677 -9678 -9679 -9680 -9681 -9682 -9683 -9684 -9685 -9686 -9687 -9688
508.41/508.42	v -9689 -9690 -9691 -9692 -9693 -9694 -9695 -9696 -9697 -9698 -9699 -9700 -9701
508.41/508.42	v -9702 -9703 -9704 -9705 -9706 -9707 -9708 -9709 -9710 -9711 -9712 -9713 -9714
508.41/508.42	v -9715 -9716 -9717 -9718 -9719 -9720 -9721 -9722 -9723 -9724 -9725 -9726 -9727
508.41/508.42	v -9728 -9729 -9730 -9731 -9732 -9733 -9734 -9735 -9736 -9737 -9738 -9739 -9740
508.41/508.42	v -9741 -9742 -9743 -9744 -9745 -9746 -9747 -9748 -9749 -9750 -9751 -9752 -9753
508.41/508.42	v -9754 -9755 -9756 -9757 -9758 -9759 -9760 -9761 -9762 -9763 -9764 -9765 -9766
508.41/508.42	v -9767 -9768 -9769 -9770 -9771 -9772 -9773 -9774 -9775 -9776 -9777 -9778 -9779
508.41/508.42	v -9780 -9781 -9782 -9783 -9784 -9785 -9786 -9787 -9788 -9789 -9790 -9791 -9792
508.41/508.42	v -9793 -9794 -9795 -9796 -9797 -9798 -9799 -9800 -9801 -9802 -9803 -9804 -9805
508.41/508.42	v -9806 -9807 -9808 -9809 -9810 -9811 -9812 -9813 -9814 -9815 -9816 -9817 -9818
508.41/508.42	v -9819 -9820 -9821 -9822 -9823 -9824 -9825 -9826 -9827 -9828 -9829 -9830 -9831
508.41/508.42	v -9832 -9833 -9834 -9835 -9836 -9837 -9838 -9839 -9840 -9841 -9842 -9843 -9844
508.41/508.42	v -9845 -9846 -9847 -9848 -9849 -9850 -9851 -9852 -9853 -9854 -9855 -9856 -9857
508.41/508.42	v -9858 -9859 -9860 -9861 -9862 -9863 -9864 -9865 -9866 -9867 -9868 -9869 -9870
508.41/508.42	v -9871 -9872 -9873 -9874 -9875 -9876 -9877 -9878 -9879 -9880 -9881 9882 9883
508.41/508.42	v 9884 9885 -9886 -9887 -9888 -9889 -9890 -9891 -9892 -9893 -9894 -9895 -9896
508.41/508.42	v -9897 -9898 -9899 -9900 -9901 -9902 -9903 9904 9905 -9906 -9907 -9908 -9909
508.41/508.42	v -9910 -9911 -9912 -9913 -9914 -9915 -9916 -9917 -9918 -9919 -9920 -9921 -9922
508.41/508.42	v -9923 -9924 -9925 -9926 -9927 -9928 -9929 -9930 -9931 -9932 -9933 -9934 -9935
508.41/508.42	v -9936 -9937 -9938 -9939 -9940 -9941 -9942 -9943 -9944 -9945 -9946 -9947 9948
508.41/508.42	v -9949 -9950 -9951 -9952 -9953 -9954 -9955 -9956 -9957 -9958 -9959 -9960 -9961
508.41/508.42	v -9962 -9963 -9964 -9965 -9966 -9967 -9968 -9969 -9970 -9971 -9972 -9973 -9974
508.41/508.42	v -9975 -9976 -9977 -9978 -9979 -9980 -9981 -9982 -9983 -9984 -9985 -9986 -9987
508.41/508.42	v -9988 -9989 -9990 -9991 -9992 -9993 -9994 -9995 -9996 -9997 -9998 -9999 -10000
508.41/508.42	v -10001 -10002 -10003 -10004 -10005 -10006 -10007 -10008 -10009 -10010 -10011
508.41/508.42	v -10012 -10013 -10014 -10015 -10016 -10017 -10018 -10019 -10020 -10021 -10022
508.41/508.42	v -10023 -10024 -10025 -10026 -10027 -10028 -10029 -10030 -10031 -10032 -10033
508.41/508.42	v -10034 -10035 -10036 -10037 -10038 -10039 -10040 -10041 -10042 -10043 -10044
508.41/508.42	v -10045 -10046 -10047 -10048 -10049 -10050 -10051 -10052 -10053 -10054 -10055
508.41/508.42	v -10056 -10057 -10058 -10059 10060 -10061 -10062 -10063 -10064 -10065 -10066
508.41/508.42	v -10067 -10068 -10069 -10070 -10071 -10072 -10073 -10074 -10075 -10076 -10077
508.41/508.42	v -10078 -10079 -10080 -10081 -10082 10083 -10084 -10085 -10086 -10087 -10088
508.41/508.42	v -10089 -10090 -10091 -10092 -10093 -10094 -10095 -10096 -10097 -10098 -10099
508.41/508.42	v -10100 -10101 -10102 -10103 -10104 -10105 -10106 -10107 -10108 -10109 -10110
508.41/508.42	v -10111 -10112 -10113 -10114 -10115 -10116 -10117 -10118 -10119 -10120 -10121
508.41/508.42	v -10122 -10123 -10124 -10125 -10126 -10127 -10128 -10129 -10130 -10131 -10132
508.41/508.42	v -10133 -10134 -10135 -10136 -10137 -10138 -10139 -10140 -10141 -10142 10143
508.41/508.42	v 10144 10145 10146 10147 -10148 -10149 -10150 -10151 -10152 -10153 -10154
508.41/508.42	v -10155 -10156 -10157 -10158 -10159 -10160 -10161 -10162 -10163 -10164 10165
508.41/508.42	v -10166 -10167 -10168 -10169 -10170 -10171 -10172 -10173 -10174 -10175 -10176
508.41/508.42	v -10177 -10178 -10179 -10180 -10181 -10182 -10183 -10184 -10185 -10186 -10187
508.41/508.42	v -10188 10189 10190 -10191 -10192 -10193 -10194 -10195 -10196 -10197 -10198
508.41/508.42	v -10199 -10200 -10201 -10202 -10203 -10204 -10205 -10206 -10207 -10208 -10209
508.41/508.42	v -10210 -10211 -10212 -10213 -10214 -10215 -10216 10217 10218 -10219 -10220
508.41/508.42	v -10221 -10222 -10223 -10224 -10225 -10226 -10227 -10228 -10229 -10230 -10231
508.41/508.42	v -10232 -10233 -10234 -10235 -10236 -10237 -10238 10239 10240 -10241 -10242
508.41/508.42	v -10243 -10244 -10245 -10246 -10247 -10248 -10249 -10250 -10251 -10252 10253
508.41/508.42	v -10254 -10255 -10256 -10257 -10258 -10259 -10260 -10261 -10262 -10263 -10264
508.41/508.42	v -10265 -10266 -10267 -10268 -10269 -10270 -10271 -10272 -10273 -10274 -10275
508.41/508.42	v -10276 -10277 -10278 -10279 -10280 -10281 -10282 10283 10284 -10285 -10286
508.41/508.42	v -10287 -10288 -10289 -10290 -10291 -10292 -10293 -10294 -10295 -10296 -10297
508.41/508.42	v -10298 -10299 -10300 -10301 10302 -10303 -10304 -10305 -10306 -10307 -10308
508.41/508.42	v -10309 -10310 -10311 -10312 -10313 -10314 -10315 -10316 -10317 -10318 -10319
508.41/508.42	v -10320 -10321 -10322 -10323 -10324 10325 -10326 -10327 -10328 -10329 -10330
508.41/508.42	v -10331 -10332 -10333 -10334 -10335 -10336 -10337 -10338 -10339 -10340 10341
508.41/508.42	v 10342 10343 -10344 -10345 -10346 -10347 -10348 -10349 -10350 -10351 -10352
508.41/508.42	v -10353 -10354 -10355 -10356 -10357 -10358 -10359 -10360 -10361 -10362 10363
508.41/508.42	v 10364 -10365 -10366 -10367 -10368 -10369 -10370 -10371 -10372 -10373 -10374
508.41/508.42	v -10375 -10376 -10377 -10378 -10379 -10380 -10381 -10382 -10383 -10384 10385
508.41/508.42	v -10386 -10387 -10388 -10389 -10390 -10391 -10392 -10393 -10394 -10395 -10396
508.41/508.42	v -10397 -10398 -10399 -10400 -10401 -10402 -10403 -10404 -10405 -10406 -10407
508.41/508.42	v -10408 10409 10410 -10411 -10412 -10413 -10414 -10415 -10416 -10417 -10418
508.41/508.42	v -10419 -10420 -10421 -10422 -10423 -10424 -10425 -10426 -10427 -10428 -10429
508.41/508.42	v -10430 -10431 -10432 -10433 -10434 -10435 -10436 -10437 -10438 -10439 -10440
508.41/508.42	v -10441 -10442 -10443 -10444 -10445 -10446 -10447 -10448 -10449 -10450 -10451
508.41/508.42	v -10452 -10453 -10454 -10455 -10456 -10457 -10458 -10459 -10460 -10461 -10462
508.41/508.42	v -10463 -10464 -10465 -10466 -10467 -10468 -10469 -10470 -10471 -10472 10473
508.41/508.42	v -10474 -10475 -10476 -10477 -10478 -10479 -10480 -10481 -10482 -10483 -10484
508.41/508.42	v -10485 -10486 -10487 -10488 -10489 -10490 -10491 -10492 -10493 -10494 -10495
508.41/508.42	v -10496 -10497 -10498 -10499 -10500 -10501 -10502 -10503 -10504 -10505 -10506
508.41/508.42	v -10507 -10508 -10509 -10510 -10511 -10512 -10513 -10514 -10515 -10516 -10517
508.41/508.42	v -10518 -10519 -10520 -10521 -10522 -10523 -10524 -10525 -10526 -10527 -10528
508.41/508.42	v -10529 -10530 -10531 -10532 -10533 -10534 -10535 -10536 -10537 -10538 -10539
508.41/508.42	v -10540 -10541 -10542 -10543 -10544 -10545 -10546 -10547 -10548 -10549 -10550
508.41/508.42	v -10551 -10552 -10553 -10554 -10555 -10556 -10557 -10558 -10559 -10560 10561
508.41/508.42	v 10562 10563 -10564 -10565 -10566 -10567 -10568 -10569 -10570 -10571 -10572
508.41/508.42	v -10573 -10574 -10575 -10576 -10577 -10578 -10579 -10580 -10581 -10582 10583
508.41/508.42	v 10584 -10585 -10586 -10587 -10588 -10589 -10590 -10591 -10592 -10593 -10594
508.41/508.42	v -10595 -10596 -10597 -10598 -10599 -10600 -10601 -10602 -10603 -10604 -10605
508.41/508.42	v -10606 -10607 -10608 -10609 -10610 -10611 -10612 -10613 -10614 -10615 -10616
508.41/508.42	v -10617 -10618 -10619 -10620 -10621 -10622 -10623 -10624 -10625 -10626 -10627
508.41/508.42	v -10628 -10629 -10630 -10631 -10632 -10633 -10634 -10635 -10636 -10637 -10638
508.41/508.42	v -10639 -10640 -10641 -10642 -10643 -10644 -10645 -10646 -10647 -10648 -10649
508.41/508.42	v -10650 -10651 -10652 -10653 -10654 -10655 -10656 -10657 -10658 -10659 -10660
508.41/508.42	v -10661 -10662 -10663 -10664 -10665 -10666 -10667 -10668 -10669 -10670 10671
508.41/508.42	v -10672 -10673 -10674 -10675 -10676 -10677 -10678 -10679 -10680 -10681 -10682
508.41/508.42	v -10683 -10684 -10685 -10686 -10687 -10688 -10689 -10690 -10691 -10692 -10693
508.41/508.42	v -10694 -10695 -10696 -10697 -10698 -10699 -10700 -10701 -10702 -10703 -10704
508.41/508.42	v -10705 -10706 -10707 -10708 -10709 -10710 -10711 -10712 -10713 -10714 -10715
508.41/508.42	v -10716 -10717 -10718 -10719 -10720 -10721 -10722 -10723 -10724 -10725 -10726
508.41/508.42	v -10727 -10728 -10729 -10730 -10731 -10732 -10733 -10734 -10735 -10736 -10737
508.41/508.42	v -10738 -10739 -10740 -10741 -10742 -10743 -10744 -10745 -10746 -10747 -10748
508.41/508.42	v -10749 -10750 -10751 -10752 -10753 -10754 -10755 -10756 -10757 -10758 10759
508.41/508.42	v -10760 -10761 -10762 -10763 -10764 -10765 -10766 -10767 -10768 -10769 -10770
508.41/508.42	v -10771 -10772 -10773 -10774 -10775 -10776 -10777 -10778 -10779 -10780 10781
508.41/508.42	v -10782 -10783 -10784 -10785 -10786 -10787 -10788 -10789 -10790 -10791 -10792
508.41/508.42	v -10793 -10794 -10795 -10796 -10797 -10798 -10799 -10800 -10801 -10802 -10803
508.41/508.42	v -10804 -10805 -10806 -10807 -10808 -10809 -10810 -10811 -10812 -10813 -10814
508.41/508.42	v -10815 -10816 -10817 -10818 -10819 -10820 -10821 -10822 -10823 -10824 -10825
508.41/508.42	v -10826 -10827 -10828 -10829 -10830 -10831 -10832 -10833 -10834 -10835 -10836
508.41/508.42	v -10837 -10838 -10839 -10840 -10841 -10842 -10843 -10844 -10845 -10846 -10847
508.41/508.42	v -10848 -10849 -10850 -10851 -10852 -10853 -10854 -10855 -10856 -10857 -10858
508.41/508.42	v -10859 -10860 -10861 -10862 -10863 -10864 -10865 -10866 -10867 -10868 -10869
508.41/508.42	v -10870 -10871 -10872 -10873 -10874 -10875 -10876 -10877 -10878 -10879 -10880
508.41/508.42	v -10881 -10882 -10883 -10884 -10885 -10886 -10887 -10888 -10889 -10890 -10891
508.41/508.42	v -10892 -10893 -10894 -10895 -10896 -10897 -10898 -10899 -10900 -10901 -10902
508.41/508.42	v -10903 -10904 -10905 -10906 -10907 -10908 -10909 -10910 -10911 -10912 -10913
508.41/508.42	v -10914 -10915 -10916 -10917 -10918 -10919 -10920 -10921 -10922 -10923 -10924
508.41/508.42	v -10925 -10926 -10927 -10928 -10929 -10930 -10931 -10932 -10933 -10934 -10935
508.41/508.42	v -10936 10937 -10938 -10939 -10940 -10941 -10942 -10943 -10944 -10945 -10946
508.41/508.42	v -10947 -10948 -10949 -10950 -10951 -10952 -10953 -10954 -10955 -10956 -10957
508.41/508.42	v -10958 -10959 -10960 -10961 -10962 -10963 -10964 -10965 -10966 -10967 -10968
508.41/508.42	v -10969 -10970 -10971 -10972 -10973 -10974 -10975 -10976 -10977 -10978 -10979
508.41/508.42	v -10980 -10981 -10982 -10983 -10984 -10985 -10986 10987 10988 -10989 -10990
508.41/508.42	v -10991 -10992 -10993 -10994 -10995 -10996 -10997 -10998 -10999 -11000 -11001
508.41/508.42	v -11002 -11003 -11004 -11005 -11006 -11007 -11008 -11009 -11010 -11011 -11012
508.41/508.42	v -11013 -11014 -11015 -11016 -11017 -11018 -11019 -11020 -11021 -11022 -11023
508.41/508.42	v -11024 -11025 -11026 -11027 -11028 -11029 -11030 11031 11032 -11033 -11034
508.41/508.42	v -11035 -11036 -11037 -11038 -11039 -11040 -11041 -11042 -11043 -11044 -11045
508.41/508.42	v -11046 -11047 -11048 -11049 -11050 -11051 -11052 -11053 -11054 -11055 -11056
508.41/508.42	v -11057 -11058 -11059 -11060 -11061 -11062 -11063 -11064 -11065 -11066 -11067
508.41/508.42	v -11068 -11069 -11070 -11071 -11072 -11073 -11074 -11075 -11076 -11077 -11078
508.41/508.42	v -11079 -11080 -11081 -11082 -11083 -11084 -11085 -11086 -11087 -11088 -11089
508.41/508.42	v -11090 -11091 -11092 -11093 -11094 -11095 -11096 -11097 -11098 -11099 -11100
508.41/508.42	v -11101 -11102 -11103 -11104 -11105 -11106 -11107 -11108 -11109 -11110 -11111
508.41/508.42	v -11112 -11113 -11114 -11115 -11116 -11117 -11118 -11119 -11120 -11121 -11122
508.41/508.42	v -11123 -11124 -11125 -11126 -11127 -11128 -11129 -11130 -11131 -11132 -11133
508.41/508.42	v -11134 -11135 -11136 -11137 -11138 -11139 -11140 -11141 -11142 -11143 -11144
508.41/508.42	v -11145 -11146 -11147 -11148 -11149 -11150 -11151 -11152 -11153 -11154 -11155
508.41/508.42	v -11156 -11157 -11158 -11159 -11160 -11161 -11162 11163 11164 -11165 -11166
508.41/508.42	v -11167 -11168 -11169 -11170 -11171 -11172 -11173 -11174 -11175 -11176 -11177
508.41/508.42	v -11178 -11179 -11180 -11181 -11182 -11183 -11184 -11185 -11186 -11187 -11188
508.41/508.42	v -11189 -11190 -11191 -11192 -11193 -11194 -11195 -11196 -11197 -11198 -11199
508.41/508.42	v -11200 -11201 -11202 -11203 -11204 -11205 -11206 -11207 -11208 -11209 -11210
508.41/508.42	v -11211 -11212 -11213 -11214 -11215 -11216 -11217 -11218 -11219 -11220 -11221
508.41/508.42	v -11222 -11223 -11224 -11225 -11226 -11227 -11228 -11229 -11230 -11231 -11232
508.41/508.42	v -11233 -11234 -11235 -11236 -11237 -11238 -11239 -11240 -11241 -11242 -11243
508.41/508.42	v -11244 -11245 -11246 -11247 -11248 -11249 -11250 -11251 -11252 -11253 -11254
508.41/508.42	v -11255 -11256 -11257 -11258 -11259 -11260 -11261 -11262 -11263 -11264 -11265
508.41/508.42	v -11266 -11267 -11268 -11269 -11270 -11271 -11272 -11273 -11274 -11275 -11276
508.41/508.42	v -11277 -11278 -11279 -11280 -11281 -11282 -11283 -11284 -11285 -11286 -11287
508.41/508.42	v -11288 -11289 -11290 -11291 -11292 -11293 -11294 -11295 -11296 -11297 -11298
508.41/508.42	v -11299 -11300 -11301 -11302 -11303 -11304 -11305 -11306 -11307 -11308 -11309
508.41/508.42	v -11310 -11311 -11312 -11313 -11314 -11315 -11316 -11317 -11318 -11319 -11320
508.41/508.42	v -11321 -11322 -11323 -11324 -11325 -11326 -11327 -11328 -11329 -11330 11331
508.41/508.42	v -11332 -11333 -11334 -11335 -11336 -11337 -11338 -11339 -11340 -11341 -11342
508.41/508.42	v -11343 -11344 -11345 -11346 -11347 -11348 -11349 -11350 -11351 -11352 11353
508.41/508.42	v -11354 -11355 -11356 -11357 -11358 -11359 -11360 -11361 -11362 -11363 -11364
508.41/508.42	v -11365 -11366 -11367 -11368 -11369 -11370 -11371 -11372 -11373 -11374 -11375
508.41/508.42	v -11376 -11377 -11378 -11379 -11380 -11381 -11382 -11383 -11384 -11385 -11386
508.41/508.42	v -11387 -11388 -11389 -11390 -11391 -11392 -11393 -11394 -11395 -11396 -11397
508.41/508.42	v -11398 -11399 -11400 -11401 -11402 -11403 -11404 -11405 -11406 -11407 -11408
508.41/508.42	v -11409 -11410 -11411 -11412 -11413 -11414 -11415 -11416 -11417 -11418 -11419
508.41/508.42	v -11420 -11421 -11422 -11423 -11424 -11425 -11426 -11427 -11428 -11429 -11430
508.41/508.42	v -11431 -11432 -11433 -11434 -11435 -11436 -11437 -11438 -11439 -11440 -11441
508.41/508.42	v -11442 -11443 -11444 -11445 -11446 -11447 -11448 -11449 -11450 -11451 -11452
508.41/508.42	v -11453 -11454 -11455 -11456 -11457 -11458 -11459 -11460 -11461 -11462 -11463
508.41/508.42	v -11464 -11465 -11466 -11467 -11468 -11469 -11470 -11471 -11472 -11473 -11474
508.41/508.42	v -11475 -11476 -11477 -11478 -11479 -11480 -11481 -11482 -11483 -11484 -11485
508.41/508.42	v -11486 -11487 -11488 -11489 -11490 -11491 -11492 -11493 -11494 -11495 -11496
508.41/508.42	v -11497 -11498 -11499 -11500 -11501 -11502 -11503 -11504 -11505 -11506 -11507
508.41/508.42	v -11508 -11509 -11510 -11511 -11512 -11513 -11514 -11515 -11516 -11517 -11518
508.41/508.42	v -11519 -11520 -11521 -11522 -11523 -11524 -11525 -11526 -11527 -11528 -11529
508.41/508.42	v -11530 -11531 -11532 -11533 -11534 -11535 -11536 -11537 -11538 -11539 -11540
508.41/508.42	v -11541 -11542 -11543 -11544 -11545 -11546 -11547 -11548 -11549 -11550 -11551
508.41/508.42	v -11552 -11553 -11554 -11555 -11556 -11557 -11558 -11559 -11560 -11561 -11562
508.41/508.42	v -11563 -11564 -11565 -11566 -11567 -11568 -11569 -11570 -11571 -11572 11573
508.41/508.42	v 11574 -11575 -11576 -11577 -11578 -11579 -11580 -11581 -11582 -11583 -11584
508.41/508.42	v -11585 -11586 -11587 -11588 -11589 -11590 -11591 -11592 -11593 -11594 -11595
508.41/508.42	v -11596 -11597 -11598 -11599 -11600 -11601 -11602 -11603 11604 -11605 -11606
508.41/508.42	v -11607 -11608 -11609 -11610 -11611 -11612 -11613 -11614 -11615 -11616 -11617
508.41/508.42	v -11618 -11619 -11620 -11621 11622 -11623 -11624 -11625 -11626 -11627 -11628
508.41/508.42	v -11629 -11630 -11631 -11632 -11633 -11634 -11635 -11636 -11637 -11638 11639
508.41/508.42	v -11640 -11641 -11642 -11643 -11644 -11645 -11646 -11647 -11648 -11649 -11650
508.41/508.42	v -11651 -11652 -11653 -11654 -11655 -11656 -11657 -11658 -11659 -11660 -11661
508.41/508.42	v -11662 -11663 -11664 -11665 -11666 -11667 -11668 11669 -11670 -11671 -11672
508.41/508.42	v -11673 -11674 -11675 -11676 -11677 -11678 -11679 -11680 -11681 -11682 -11683
508.41/508.42	v -11684 -11685 -11686 -11687 -11688 -11689 11690 -11691 -11692 -11693 -11694
508.41/508.42	v -11695 -11696 -11697 -11698 -11699 -11700 -11701 -11702 -11703 -11704 -11705
508.41/508.42	v -11706 -11707 -11708 -11709 -11710 -11711 -11712 -11713 -11714 -11715 -11716
508.41/508.42	v 11717 -11718 -11719 -11720 -11721 -11722 -11723 -11724 -11725 -11726 -11727
508.41/508.42	v -11728 -11729 -11730 -11731 11732 -11733 -11734 -11735 -11736 -11737 -11738
508.41/508.42	v -11739 -11740 -11741 -11742 -11743 -11744 -11745 -11746 -11747 -11748 -11749
508.41/508.42	v -11750 -11751 -11752 -11753 -11754 -11755 -11756 -11757 -11758 11759 -11760
508.41/508.42	v -11761 -11762 -11763 -11764 -11765 -11766 -11767 -11768 -11769 -11770 11771
508.41/508.42	v -11772 -11773 -11774 -11775 -11776 -11777 -11778 -11779 -11780 -11781 -11782
508.41/508.42	v -11783 -11784 -11785 -11786 -11787 -11788 -11789 -11790 -11791 -11792 -11793
508.41/508.42	v -11794 -11795 -11796 -11797 -11798 -11799 11800 -11801 -11802 -11803 -11804
508.41/508.42	v -11805 -11806 -11807 -11808 -11809 -11810 -11811 -11812 -11813 -11814 -11815
508.41/508.42	v -11816 -11817 -11818 11819 -11820 -11821 -11822 -11823 -11824 -11825 -11826
508.41/508.42	v -11827 -11828 -11829 -11830 -11831 -11832 -11833 -11834 -11835 -11836 -11837
508.41/508.42	v -11838 -11839 -11840 -11841 -11842 -11843 -11844 -11845 -11846 11847 -11848
508.41/508.42	v -11849 -11850 -11851 -11852 -11853 -11854 -11855 -11856 -11857 -11858 -11859
508.41/508.42	v -11860 11861 -11862 -11863 -11864 -11865 -11866 -11867 -11868 -11869 -11870
508.41/508.42	v -11871 -11872 -11873 -11874 -11875 -11876 -11877 -11878 -11879 -11880 -11881
508.41/508.42	v -11882 -11883 -11884 -11885 -11886 -11887 -11888 11889 -11890 -11891 -11892
508.41/508.42	v -11893 -11894 -11895 -11896 -11897 -11898 -11899 -11900 -11901 -11902 11903
508.41/508.42	v -11904 -11905 -11906 -11907 -11908 -11909 -11910 -11911 -11912 -11913 -11914
508.41/508.42	v -11915 -11916 -11917 -11918 -11919 -11920 -11921 -11922 -11923 -11924 -11925
508.41/508.42	v -11926 -11927 11928 -11929 -11930 -11931 -11932 -11933 -11934 -11935 -11936
508.41/508.42	v -11937 -11938 -11939 -11940 -11941 -11942 -11943 -11944 -11945 -11946 11947
508.41/508.42	v -11948 -11949 -11950 -11951 -11952 -11953 -11954 -11955 -11956 -11957 -11958
508.41/508.42	v -11959 -11960 -11961 -11962 -11963 -11964 -11965 -11966 -11967 -11968 -11969
508.41/508.42	v 11970 -11971 -11972 -11973 -11974 -11975 -11976 -11977 -11978 -11979 -11980
508.41/508.42	v -11981 -11982 -11983 -11984 -11985 -11986 -11987 -11988 -11989 -11990 -11991
508.41/508.42	v -11992 -11993 -11994 -11995 -11996 -11997 -11998 -11999 -12000 -12001 12002
508.41/508.42	v -12003 -12004 -12005 -12006 -12007 -12008 -12009 -12010 -12011 -12012 -12013
508.41/508.42	v -12014 -12015 -12016 -12017 -12018 -12019 -12020 -12021 -12022 -12023 12024
508.41/508.42	v -12025 -12026 -12027 -12028 -12029 -12030 -12031 -12032 -12033 -12034 -12035
508.41/508.42	v -12036 -12037 -12038 -12039 12040 -12041 -12042 -12043 -12044 -12045 -12046
508.41/508.42	v -12047 -12048 -12049 -12050 -12051 -12052 -12053 -12054 -12055 -12056 -12057
508.41/508.42	v -12058 -12059 -12060 -12061 -12062 12063 -12064 -12065 -12066 -12067 -12068
508.41/508.42	v -12069 -12070 -12071 -12072 -12073 -12074 -12075 -12076 -12077 -12078 12079
508.41/508.42	v -12080 -12081 -12082 -12083 -12084 -12085 -12086 -12087 -12088 -12089 -12090
508.41/508.42	v -12091 -12092 -12093 -12094 -12095 -12096 -12097 -12098 -12099 -12100 -12101
508.41/508.42	v -12102 -12103 -12104 -12105 -12106 -12107 -12108 -12109 12110 -12111 -12112
508.41/508.42	v -12113 -12114 -12115 -12116 -12117 -12118 -12119 -12120 -12121 -12122 -12123
508.41/508.42	v 12124 -12125 -12126 -12127 -12128 -12129 -12130 -12131 -12132 -12133 -12134
508.41/508.42	v -12135 -12136 -12137 -12138 -12139 -12140 -12141 -12142 -12143 -12144 -12145
508.41/508.42	v -12146 -12147 -12148 12149 -12150 -12151 -12152 -12153 -12154 -12155 -12156
508.41/508.42	v -12157 -12158 -12159 -12160 -12161 -12162 -12163 -12164 -12165 -12166 -12167
508.41/508.42	v -12168 -12169 -12170 -12171 -12172 -12173 12174 -12175 -12176 -12177 -12178
508.41/508.42	v -12179 -12180 -12181 -12182 -12183 -12184 -12185 -12186 -12187 -12188 -12189
508.41/508.42	v -12190 -12191 -12192 -12193 12194 -12195 -12196 -12197 -12198 -12199 -12200
508.41/508.42	v -12201 -12202 -12203 -12204 -12205 -12206 -12207 -12208 -12209 -12210 -12211
508.41/508.42	v -12212 -12213 12214 -12215 -12216 -12217 -12218 -12219 -12220 -12221 -12222
508.41/508.42	v -12223 -12224 -12225 -12226 -12227 -12228 -12229 -12230 -12231 -12232 -12233
508.41/508.42	v -12234 -12235 -12236 -12237 12238 -12239 -12240 -12241 -12242 -12243 -12244
508.41/508.42	v -12245 -12246 -12247 -12248 -12249 -12250 -12251 -12252 -12253 -12254 -12255
508.41/508.42	v -12256 -12257 -12258 -12259 -12260 -12261 -12262 -12263 -12264 12265 -12266
508.41/508.42	v -12267 -12268 -12269 -12270 -12271 -12272 -12273 -12274 -12275 -12276 -12277
508.41/508.42	v -12278 -12279 12280 -12281 -12282 -12283 -12284 -12285 -12286 -12287 -12288
508.41/508.42	v -12289 -12290 -12291 -12292 -12293 -12294 -12295 -12296 -12297 -12298 12299
508.41/508.42	v -12300 -12301 -12302 -12303 -12304 -12305 -12306 -12307 -12308 -12309 -12310
508.41/508.42	v -12311 -12312 -12313 -12314 -12315 -12316 -12317 -12318 -12319 -12320 12321
508.41/508.42	v -12322 -12323 -12324 -12325 -12326 -12327 -12328 -12329 -12330 -12331 -12332
508.41/508.42	v -12333 -12334 -12335 -12336 -12337 -12338 -12339 -12340 -12341 -12342 12343
508.41/508.42	v -12344 -12345 -12346 -12347 -12348 -12349 -12350 -12351 -12352 -12353 -12354
508.41/508.42	v -12355 -12356 -12357 -12358 -12359 -12360 -12361 -12362 -12363 -12364 -12365
508.41/508.42	v -12366 12367 -12368 -12369 -12370 -12371 -12372 -12373 -12374 -12375 -12376
508.41/508.42	v -12377 -12378 -12379 -12380 -12381 -12382 -12383 -12384 -12385 -12386 -12387
508.41/508.42	v -12388 -12389 -12390 -12391 -12392 -12393 -12394 12395 -12396 -12397 -12398
508.41/508.42	v -12399 -12400 -12401 -12402 -12403 -12404 -12405 -12406 -12407 -12408 -12409
508.41/508.42	v -12410 -12411 -12412 -12413 -12414 -12415 -12416 12417 -12418 -12419 -12420
508.41/508.42	v -12421 -12422 -12423 -12424 -12425 -12426 -12427 -12428 -12429 -12430 12431
508.41/508.42	v -12432 -12433 -12434 -12435 -12436 -12437 -12438 -12439 -12440 -12441 -12442
508.41/508.42	v -12443 -12444 -12445 -12446 -12447 -12448 -12449 -12450 -12451 -12452 -12453
508.41/508.42	v -12454 -12455 -12456 -12457 -12458 -12459 -12460 12461 -12462 -12463 -12464
508.41/508.42	v -12465 -12466 -12467 -12468 -12469 -12470 -12471 -12472 -12473 -12474 -12475
508.41/508.42	v -12476 -12477 -12478 -12479 12480 -12481 -12482 -12483 -12484 -12485 -12486
508.41/508.42	v -12487 -12488 -12489 -12490 -12491 -12492 -12493 -12494 -12495 -12496 -12497
508.41/508.42	v -12498 -12499 -12500 -12501 -12502 12503 -12504 -12505 -12506 -12507 -12508
508.41/508.42	v -12509 -12510 -12511 -12512 -12513 -12514 -12515 -12516 -12517 -12518 12519
508.41/508.42	v -12520 -12521 -12522 -12523 -12524 -12525 -12526 -12527 -12528 -12529 -12530
508.41/508.42	v -12531 -12532 -12533 -12534 -12535 -12536 -12537 -12538 -12539 -12540 12541
508.41/508.42	v -12542 -12543 -12544 -12545 -12546 -12547 -12548 -12549 -12550 -12551 -12552
508.41/508.42	v -12553 -12554 -12555 -12556 -12557 -12558 -12559 -12560 -12561 -12562 -12563
508.41/508.42	v -12564 -12565 -12566 -12567 -12568 -12569 -12570 -12571 12572 -12573 -12574
508.41/508.42	v -12575 -12576 -12577 -12578 -12579 -12580 -12581 -12582 -12583 -12584 -12585
508.41/508.42	v -12586 -12587 -12588 -12589 -12590 -12591 -12592 -12593 -12594 -12595 12596
508.41/508.42	v -12597 -12598 -12599 -12600 -12601 -12602 -12603 -12604 -12605 -12606 -12607
508.41/508.42	v -12608 -12609 12610 -12611 -12612 -12613 -12614 -12615 -12616 -12617 -12618
508.41/508.42	v -12619 -12620 -12621 -12622 -12623 -12624 -12625 -12626 -12627 -12628 -12629
508.41/508.42	v -12630 -12631 -12632 -12633 -12634 -12635 -12636 -12637 12638 -12639 -12640
508.41/508.42	v -12641 -12642 -12643 -12644 -12645 -12646 -12647 -12648 -12649 -12650 -12651
508.41/508.42	v -12652 -12653 -12654 -12655 -12656 -12657 -12658 -12659 -12660 -12661 12662
508.41/508.42	v -12663 -12664 -12665 -12666 -12667 -12668 -12669 -12670 -12671 -12672 -12673
508.41/508.42	v -12674 -12675 -12676 -12677 -12678 -12679 -12680 -12681 -12682 -12683 -12684
508.41/508.42	v 12685 -12686 -12687 -12688 -12689 -12690 -12691 -12692 -12693 -12694 -12695
508.41/508.42	v -12696 -12697 -12698 -12699 -12700 12701 -12702 -12703 -12704 -12705 -12706
508.41/508.42	v -12707 -12708 -12709 -12710 -12711 -12712 -12713 -12714 -12715 -12716 -12717
508.41/508.42	v -12718 -12719 -12720 -12721 -12722 -12723 -12724 -12725 -12726 12727 -12728
508.41/508.42	v -12729 -12730 -12731 -12732 -12733 -12734 -12735 -12736 -12737 -12738 -12739
508.41/508.42	v -12740 -12741 -12742 -12743 -12744 -12745 -12746 -12747 -12748 -12749 12750
508.41/508.42	v -12751 -12752 -12753 -12754 -12755 -12756 -12757 -12758 -12759 -12760 -12761
508.41/508.42	v -12762 -12763 -12764 -12765 -12766 -12767 12768 -12769 -12770 -12771 -12772
508.41/508.42	v -12773 -12774 -12775 -12776 -12777 -12778 -12779 -12780 -12781 -12782 -12783
508.41/508.42	v -12784 -12785 -12786 12787 -12788 -12789 -12790 -12791 -12792 -12793 -12794
508.41/508.42	v -12795 -12796 -12797 -12798 -12799 -12800 -12801 -12802 -12803 -12804 -12805
508.41/508.42	v -12806 -12807 -12808 -12809 -12810 -12811 -12812 -12813 -12814 -12815 -12816
508.41/508.42	v 12817 -12818 -12819 -12820 -12821 -12822 -12823 -12824 -12825 -12826 -12827
508.41/508.42	v -12828 -12829 12830 -12831 -12832 -12833 -12834 -12835 -12836 -12837 -12838
508.41/508.42	v -12839 -12840 -12841 -12842 -12843 -12844 -12845 -12846 -12847 -12848 -12849
508.41/508.42	v -12850 -12851 -12852 -12853 -12854 -12855 -12856 12857 -12858 -12859 -12860
508.41/508.42	v -12861 -12862 -12863 -12864 -12865 -12866 -12867 -12868 -12869 -12870 12871
508.41/508.42	v -12872 -12873 -12874 -12875 -12876 -12877 -12878 -12879 -12880 -12881 -12882
508.41/508.42	v -12883 -12884 -12885 -12886 -12887 -12888 -12889 -12890 -12891 -12892 -12893
508.41/508.42	v -12894 -12895 12896 -12897 -12898 -12899 -12900 -12901 -12902 -12903 -12904
508.41/508.42	v -12905 -12906 -12907 -12908 -12909 -12910 -12911 -12912 -12913 -12914 -12915
508.41/508.42	v 12916 -12917 -12918 -12919 -12920 -12921 -12922 -12923 -12924 -12925 -12926
508.41/508.42	v -12927 -12928 -12929 -12930 -12931 -12932 -12933 -12934 -12935 -12936 -12937
508.41/508.42	v -12938 12939 -12940 -12941 -12942 -12943 -12944 -12945 -12946 -12947 -12948
508.41/508.42	v -12949 -12950 -12951 -12952 -12953 -12954 -12955 -12956 -12957 -12958 -12959
508.41/508.42	v -12960 -12961 -12962 -12963 -12964 -12965 -12966 -12967 -12968 -12969 12970
508.41/508.42	v -12971 -12972 -12973 -12974 -12975 -12976 -12977 -12978 -12979 -12980 -12981
508.41/508.42	v -12982 -12983 -12984 -12985 -12986 -12987 -12988 -12989 -12990 -12991 12992
508.41/508.42	v -12993 -12994 -12995 -12996 -12997 -12998 -12999 -13000 -13001 -13002 -13003
508.41/508.42	v -13004 -13005 -13006 -13007 13008 -13009 -13010 -13011 -13012 -13013 -13014
508.41/508.42	v -13015 -13016 -13017 -13018 -13019 -13020 -13021 -13022 -13023 -13024 -13025
508.41/508.42	v -13026 -13027 -13028 -13029 -13030 -13031 -13032 13033 -13034 -13035 -13036
508.41/508.42	v -13037 -13038 -13039 -13040 -13041 -13042 -13043 -13044 -13045 -13046 -13047
508.41/508.42	v -13048 -13049 13050 -13051 -13052 -13053 -13054 -13055 -13056 -13057 -13058
508.41/508.42	v -13059 -13060 -13061 -13062 -13063 -13064 -13065 -13066 -13067 -13068 -13069
508.41/508.42	v -13070 -13071 -13072 -13073 -13074 -13075 -13076 -13077 13078 -13079 -13080
508.41/508.42	v -13081 -13082 -13083 -13084 -13085 -13086 -13087 -13088 -13089 -13090 -13091
508.41/508.42	v -13092 -13093 -13094 -13095 -13096 -13097 13098 -13099 -13100 -13101 -13102
508.41/508.42	v -13103 -13104 -13105 -13106 -13107 -13108 -13109 -13110 -13111 -13112 -13113
508.41/508.42	v -13114 -13115 -13116 -13117 -13118 13119 -13120 -13121 -13122 -13123 -13124
508.41/508.42	v -13125 -13126 -13127 -13128 -13129 -13130 -13131 -13132 -13133 -13134 -13135
508.41/508.42	v -13136 -13137 -13138 -13139 -13140 -13141 -13142 13143 -13144 -13145 -13146
508.41/508.42	v -13147 -13148 -13149 -13150 -13151 -13152 -13153 -13154 -13155 -13156 -13157
508.41/508.42	v -13158 -13159 -13160 -13161 -13162 -13163 -13164 -13165 -13166 13167 -13168
508.41/508.42	v -13169 -13170 -13171 -13172 -13173 -13174 -13175 -13176 -13177 -13178 -13179
508.41/508.42	v -13180 -13181 -13182 -13183 -13184 -13185 -13186 13187 -13188 -13189 -13190
508.41/508.42	v -13191 -13192 -13193 -13194 -13195 -13196 -13197 -13198 -13199 -13200 -13201
508.41/508.42	v -13202 -13203 -13204 -13205 -13206 13207 -13208 -13209 -13210 -13211 -13212
508.41/508.42	v -13213 -13214 -13215 -13216 -13217 -13218 -13219 -13220 -13221 -13222 -13223
508.41/508.42	v -13224 -13225 -13226 -13227 -13228 -13229 -13230 -13231 -13232 13233 -13234
508.41/508.42	v -13235 -13236 -13237 -13238 -13239 -13240 -13241 -13242 -13243 -13244 -13245
508.41/508.42	v -13246 -13247 -13248 -13249 -13250 13251 -13252 -13253 -13254 -13255 -13256
508.41/508.42	v -13257 -13258 -13259 -13260 -13261 -13262 -13263 -13264 -13265 -13266 -13267
508.41/508.42	v -13268 -13269 -13270 -13271 -13272 -13273 -13274 -13275 13276 -13277 -13278
508.41/508.42	v -13279 -13280 -13281 -13282 -13283 -13284 -13285 -13286 -13287 -13288 -13289
508.41/508.42	v -13290 -13291 -13292 13293 -13294 -13295 -13296 -13297 -13298 -13299 -13300
508.41/508.42	v -13301 -13302 -13303 -13304 -13305 -13306 -13307 -13308 -13309 -13310 13311
508.41/508.42	v -13312 -13313 -13314 -13315 -13316 -13317 -13318 -13319 -13320 -13321 -13322
508.41/508.42	v -13323 -13324 -13325 -13326 -13327 -13328 -13329 -13330 -13331 -13332 -13333
508.41/508.42	v -13334 -13335 13336 -13337 -13338 -13339 -13340 -13341 -13342 -13343 -13344
508.41/508.42	v -13345 -13346 -13347 -13348 -13349 -13350 -13351 -13352 -13353 -13354 -13355
508.41/508.42	v -13356 -13357 -13358 -13359 -13360 -13361 -13362 -13363 13364 -13365 -13366
508.41/508.42	v -13367 -13368 -13369 -13370 -13371 -13372 -13373 -13374 -13375 -13376 -13377
508.41/508.42	v -13378 -13379 -13380 -13381 -13382 -13383 -13384 -13385 13386 -13387 -13388
508.41/508.42	v -13389 -13390 -13391 -13392 -13393 -13394 -13395 -13396 -13397 -13398 13399
508.41/508.42	v -13400 -13401 -13402 -13403 -13404 -13405 -13406 -13407 -13408 -13409 -13410
508.41/508.42	v -13411 -13412 -13413 -13414 -13415 -13416 -13417 -13418 -13419 -13420 -13421
508.41/508.42	v -13422 -13423 -13424 -13425 -13426 -13427 -13428 -13429 13430 -13431 -13432
508.41/508.42	v -13433 -13434 -13435 -13436 -13437 -13438 -13439 -13440 -13441 -13442 -13443
508.41/508.42	v -13444 -13445 -13446 -13447 13448 -13449 -13450 -13451 -13452 -13453 -13454
508.41/508.42	v -13455 -13456 -13457 -13458 -13459 -13460 -13461 -13462 -13463 -13464 -13465
508.41/508.42	v -13466 -13467 -13468 -13469 -13470 13471 -13472 -13473 -13474 -13475 -13476
508.41/508.42	v -13477 -13478 -13479 -13480 -13481 -13482 -13483 -13484 -13485 -13486 -13487
508.41/508.42	v -13488 13489 -13490 -13491 -13492 -13493 -13494 -13495 -13496 -13497 -13498
508.41/508.42	v -13499 -13500 -13501 -13502 -13503 -13504 -13505 -13506 -13507 -13508 -13509
508.41/508.42	v 13510 -13511 -13512 -13513 -13514 -13515 -13516 -13517 -13518 -13519 -13520
508.41/508.42	v -13521 -13522 -13523 -13524 -13525 -13526 -13527 -13528 -13529 -13530 -13531
508.41/508.42	v -13532 -13533 -13534 -13535 -13536 -13537 -13538 -13539 -13540 -13541 -13542
508.41/508.42	v -13543 13544 13545 13546 13547 13548 13549 13550 13551 13552 -13553 -13554
508.41/508.42	v -13555 -13556 -13557 -13558 -13559 -13560 -13561 -13562 -13563 13564 13565
508.41/508.42	v 13566 13567 13568 13569 13570 13571 13572 13573 13574 0

Verifier Data

OK

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.11 3.74 5.82 3/291 31988
/proc/meminfo: memFree=24187960/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=7504 CPUtime=0 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 457 0 0 0 0 0 0 0 23 0 1 0 634994540 7684096 400 33554432000 4194304 4409284 140734361222368 18446744073709551615 220816236288 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 1876 400 112 53 0 299 0

[startup+0.0906089 s]
/proc/loadavg: 2.11 3.74 5.82 3/291 31988
/proc/meminfo: memFree=24187960/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=15952 CPUtime=0.08 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 2569 0 0 0 8 0 0 0 23 0 1 0 634994540 16334848 2512 33554432000 4194304 4409284 140734361222368 18446744073709551615 220816236288 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 3988 2512 112 53 0 2411 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15952

[startup+0.10059 s]
/proc/loadavg: 2.11 3.74 5.82 3/291 31988
/proc/meminfo: memFree=24187960/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=16976 CPUtime=0.09 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 2825 0 0 0 9 0 0 0 23 0 1 0 634994540 17383424 2768 33554432000 4194304 4409284 140734361222368 18446744073709551615 220815855156 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 4244 2768 112 53 0 2667 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16976

[startup+0.300556 s]
/proc/loadavg: 2.11 3.74 5.82 3/291 31988
/proc/meminfo: memFree=24187960/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=40540 CPUtime=0.29 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 8717 0 0 0 28 1 0 0 25 0 1 0 634994540 41512960 8660 33554432000 4194304 4409284 140734361222368 18446744073709551615 220816236288 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 10135 8660 113 53 0 8558 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40540

[startup+0.700489 s]
/proc/loadavg: 2.11 3.74 5.82 3/291 31988
/proc/meminfo: memFree=24187960/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=73308 CPUtime=0.68 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 16909 0 0 0 66 2 0 0 25 0 1 0 634994540 75067392 16852 33554432000 4194304 4409284 140734361222368 18446744073709551615 220816236288 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 18327 16852 113 53 0 16750 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 73308

[startup+1.50037 s]
/proc/loadavg: 2.11 3.74 5.82 3/292 31989
/proc/meminfo: memFree=24087768/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=123028 CPUtime=1.49 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 33661 0 0 0 144 5 0 0 25 0 1 0 634994540 125980672 29266 33554432000 4194304 4409284 140734361222368 18446744073709551615 4303676 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 30757 29266 129 53 0 29180 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 123028

[startup+3.10107 s]
/proc/loadavg: 2.11 3.74 5.82 3/292 31989
/proc/meminfo: memFree=24070284/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=123028 CPUtime=3.09 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 33661 0 0 0 304 5 0 0 25 0 1 0 634994540 125980672 29266 33554432000 4194304 4409284 140734361222368 18446744073709551615 4241292 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 30757 29266 129 53 0 29180 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 123028

[startup+6.30046 s]
/proc/loadavg: 2.10 3.71 5.80 3/292 31989
/proc/meminfo: memFree=24064888/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=188908 CPUtime=6.29 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 52046 0 0 0 623 6 0 0 25 0 1 0 634994540 193441792 45743 33554432000 4194304 4409284 140734361222368 18446744073709551615 4325507 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 47227 45743 136 53 0 45650 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 188908

[startup+12.7003 s]
/proc/loadavg: 2.09 3.68 5.78 3/292 31990
/proc/meminfo: memFree=24068312/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=125032 CPUtime=12.69 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 52466 0 0 0 1261 8 0 0 25 0 1 0 634994540 128032768 29779 33554432000 4194304 4409284 140734361222368 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 31258 29779 141 53 0 29681 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 125032

[startup+25.5009 s]
/proc/loadavg: 2.07 3.60 5.71 3/292 31990
/proc/meminfo: memFree=24044128/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=133220 CPUtime=25.49 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 70965 0 0 0 2537 12 0 0 25 0 1 0 634994540 136417280 31826 33554432000 4194304 4409284 140734361222368 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 33305 31826 141 53 0 31728 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 133220

[startup+51.1002 s]
/proc/loadavg: 2.05 3.47 5.61 3/292 31991
/proc/meminfo: memFree=24049180/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=137012 CPUtime=51.09 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 88058 0 0 0 5089 20 0 0 25 0 1 0 634994540 140300288 32535 33554432000 4194304 4409284 140734361222368 18446744073709551615 4358560 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 34253 32535 141 53 0 32676 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 137012

[startup+102.311 s]
/proc/loadavg: 2.02 3.24 5.42 3/292 31992
/proc/meminfo: memFree=23967144/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=217036 CPUtime=102.3 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 140545 0 0 0 10195 35 0 0 25 0 1 0 634994540 222244864 52196 33554432000 4194304 4409284 140734361222368 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 54259 52196 141 53 0 52682 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 217036

[startup+162.301 s]
/proc/loadavg: 2.00 3.01 5.20 3/292 31994
/proc/meminfo: memFree=24017336/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=157168 CPUtime=162.29 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 174803 0 0 0 16182 47 0 0 25 0 1 0 634994540 160940032 37298 33554432000 4194304 4409284 140734361222368 18446744073709551615 4271656 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 39292 37298 141 53 0 37715 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 157168

[startup+222.301 s]
/proc/loadavg: 2.00 2.82 5.00 3/292 31995
/proc/meminfo: memFree=23989412/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=168068 CPUtime=222.3 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 209675 0 0 0 22169 61 0 0 25 0 1 0 634994540 172101632 40449 33554432000 4194304 4409284 140734361222368 18446744073709551615 4271656 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 42017 40449 141 53 0 40440 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 168068

[startup+282.301 s]
/proc/loadavg: 2.08 2.70 4.82 3/292 31997
/proc/meminfo: memFree=23978092/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=212196 CPUtime=282.3 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 264561 0 0 0 28156 74 0 0 25 0 1 0 634994540 217288704 51481 33554432000 4194304 4409284 140734361222368 18446744073709551615 4230803 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 53049 51481 141 53 0 51472 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 212196

[startup+342.301 s]
/proc/loadavg: 2.17 2.60 4.65 4/299 7130
/proc/meminfo: memFree=23942336/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=211480 CPUtime=342.3 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 277768 0 0 0 34145 85 0 0 25 0 1 0 634994540 216555520 51310 33554432000 4194304 4409284 140734361222368 18446744073709551615 4230441 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 52870 51310 141 53 0 51293 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 211480

[startup+402.301 s]
/proc/loadavg: 2.30 2.58 4.51 3/292 5515
/proc/meminfo: memFree=24019340/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=160172 CPUtime=402.3 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 300327 0 0 0 40131 99 0 0 25 0 1 0 634994540 164016128 38483 33554432000 4194304 4409284 140734361222368 18446744073709551615 4358418 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 40043 38483 141 53 0 38466 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 160172

[startup+462.3 s]
/proc/loadavg: 2.11 2.47 4.35 3/292 5517
/proc/meminfo: memFree=23995752/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=170600 CPUtime=462.31 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 306363 0 0 0 46120 111 0 0 25 0 1 0 634994540 174694400 41171 33554432000 4194304 4409284 140734361222368 18446744073709551615 4225803 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 42650 41171 141 53 0 41073 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 170600

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

[startup+486.301 s]
/proc/loadavg: 2.07 2.43 4.29 3/292 5517
/proc/meminfo: memFree=23979504/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=172348 CPUtime=486.31 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 326864 0 0 0 48515 116 0 0 25 0 1 0 634994540 176484352 41608 33554432000 4194304 4409284 140734361222368 18446744073709551615 4358418 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 43087 41608 141 53 0 41510 0
Current children cumulated CPU time (s) 486.31
Current children cumulated vsize (KiB) 172348

[startup+499.101 s]
/proc/loadavg: 2.06 2.42 4.26 3/292 5518
/proc/meminfo: memFree=23912904/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=254844 CPUtime=499.1 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 346570 0 0 0 49791 119 0 0 25 0 1 0 634994540 260960256 61314 33554432000 4194304 4409284 140734361222368 18446744073709551615 4269719 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 63711 61314 141 53 0 62134 0
Current children cumulated CPU time (s) 499.1
Current children cumulated vsize (KiB) 254844

[startup+502.301 s]
/proc/loadavg: 2.05 2.41 4.25 3/292 5518
/proc/meminfo: memFree=23970688/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=204168 CPUtime=502.3 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 350323 0 0 0 50110 120 0 0 25 0 1 0 634994540 209068032 48645 33554432000 4194304 4409284 140734361222368 18446744073709551615 4360264 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 51042 48645 141 53 0 49465 0
Current children cumulated CPU time (s) 502.3
Current children cumulated vsize (KiB) 204168

[startup+505.5 s]
/proc/loadavg: 2.05 2.40 4.24 3/292 5518
/proc/meminfo: memFree=23985568/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=174020 CPUtime=505.5 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 350618 0 0 0 50429 121 0 0 25 0 1 0 634994540 178196480 41108 33554432000 4194304 4409284 140734361222368 18446744073709551615 4360264 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 43505 41108 141 53 0 41928 0
Current children cumulated CPU time (s) 505.5
Current children cumulated vsize (KiB) 174020

[startup+507.111 s]
/proc/loadavg: 2.05 2.40 4.24 3/292 5518
/proc/meminfo: memFree=23982344/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=174020 CPUtime=507.12 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 350618 0 0 0 50590 122 0 0 25 0 1 0 634994540 178196480 41108 33554432000 4194304 4409284 140734361222368 18446744073709551615 4360264 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 43505 41108 141 53 0 41928 0
Current children cumulated CPU time (s) 507.12
Current children cumulated vsize (KiB) 174020

[startup+507.901 s]
/proc/loadavg: 2.05 2.40 4.24 3/292 5518
/proc/meminfo: memFree=23982344/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=174020 CPUtime=507.91 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 350618 0 0 0 50669 122 0 0 25 0 1 0 634994540 178196480 41108 33554432000 4194304 4409284 140734361222368 18446744073709551615 4358386 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 43505 41108 141 53 0 41928 0
Current children cumulated CPU time (s) 507.91
Current children cumulated vsize (KiB) 174020

[startup+508.301 s]
/proc/loadavg: 2.05 2.40 4.24 3/292 5518
/proc/meminfo: memFree=23982344/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=174020 CPUtime=508.31 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 350618 0 0 0 50709 122 0 0 25 0 1 0 634994540 178196480 41108 33554432000 4194304 4409284 140734361222368 18446744073709551615 4230778 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 43505 41108 141 53 0 41928 0
Current children cumulated CPU time (s) 508.31
Current children cumulated vsize (KiB) 174020

[startup+508.401 s]
/proc/loadavg: 2.05 2.40 4.24 3/292 5518
/proc/meminfo: memFree=23982344/32951124 swapFree=63485424/67111528
[pid=31988] ppid=31986 vsize=174020 CPUtime=508.41 cores=0,2,4,6
/proc/31988/stat : 31988 (lingeling) R 31986 31988 28842 0 -1 4202496 350618 0 0 0 50719 122 0 0 25 0 1 0 634994540 178196480 41108 33554432000 4194304 4409284 140734361222368 18446744073709551615 4358371 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31988/statm: 43505 41108 141 53 0 41928 0
Current children cumulated CPU time (s) 508.41
Current children cumulated vsize (KiB) 174020

Child status: 10
Real time (s): 508.43
CPU time (s): 508.444
CPU user time (s): 507.212
CPU system time (s): 1.23181
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 285572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 507.212
system time used= 1.23181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 350633
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= 5
involuntary context switches= 694

runsolver used 1.46278 second user time and 3.17252 second system time

The end

Launcher Data

Begin job on node147 at 2011-05-15 04:16:26
IDJOB=3372790
IDBENCH=83447
IDSOLVER=1850
FILE ID=node147/3372790-1305425785
RUNJOBID= node147-1305425625-31802
PBS_JOBID= 13324574
Free space on /tmp= 73092 MiB

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

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

MD5SUM BENCH= 0b29cb9f2e17f3e05b66912497d8cb84
RANDOM SEED=1266014265

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24188240 kB
Buffers:        298060 kB
Cached:        5168228 kB
SwapCached:      13132 kB
Active:        1763960 kB
Inactive:      6764352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24188240 kB
SwapTotal:    67111528 kB
SwapFree:     63485424 kB
Dirty:           64436 kB
Writeback:           0 kB
AnonPages:     3057496 kB
Mapped:          15300 kB
Slab:           143672 kB
PageTables:      28936 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 44881676 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= 73092 MiB
End job on node147 at 2011-05-15 04:24:55