Trace number 1737199

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
clasp 1.2.0-SAT09-32SAT 31.9451 31.9629

General information on the benchmark

NameCRAFTED/parity-games/
instance_n7_i8_pp.cnf
MD5SUMabf8d0463043ed2f39efb68926cd304b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark8.64368
Satisfiable
(Un)Satisfiability was proved
Number of variables14896
Number of clauses152722
Sum of the clauses size503314
Maximum clause length42
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 227440
Number of clauses of size 372038
Number of clauses of size 440118
Number of clauses of size 510080
Number of clauses of size over 53046

Solver Data

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

Verifier Data

OK

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1737199-1240814840/watcher-1737199-1240814840 -o /tmp/evaluation-result-1737199-1240814840/solver-1737199-1240814840 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/clasp --file=HOME/instance-1737199-1240814840.cnf --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 28661
/proc/meminfo: memFree=1083592/2055920 swapFree=4181432/4192956
[pid=28661] ppid=28659 vsize=3060 CPUtime=0
/proc/28661/stat : 28661 (clasp) R 28659 28661 28313 0 -1 4194304 527 0 0 0 0 0 0 0 18 0 1 0 109510244 3133440 503 1992294400 134512640 136057169 4294956160 18446744073709551615 134640838 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28661/statm: 765 512 141 377 0 385 0

[startup+0.0194081 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 28661
/proc/meminfo: memFree=1083592/2055920 swapFree=4181432/4192956
[pid=28661] ppid=28659 vsize=3740 CPUtime=0.01
/proc/28661/stat : 28661 (clasp) R 28659 28661 28313 0 -1 4194304 710 0 0 0 1 0 0 0 18 0 1 0 109510244 3829760 686 1992294400 134512640 136057169 4294956160 18446744073709551615 135502702 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28661/statm: 935 687 144 377 0 555 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3740

[startup+0.101422 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 28661
/proc/meminfo: memFree=1083592/2055920 swapFree=4181432/4192956
[pid=28661] ppid=28659 vsize=8248 CPUtime=0.09
/proc/28661/stat : 28661 (clasp) R 28659 28661 28313 0 -1 4194304 2096 0 0 0 8 1 0 0 18 0 1 0 109510244 8445952 1743 1992294400 134512640 136057169 4294956160 18446744073709551615 135502702 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28661/statm: 2062 1744 144 377 0 1682 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8248

[startup+0.301457 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 28661
/proc/meminfo: memFree=1083592/2055920 swapFree=4181432/4192956
[pid=28661] ppid=28659 vsize=13412 CPUtime=0.29
/proc/28661/stat : 28661 (clasp) R 28659 28661 28313 0 -1 4194304 3594 0 0 0 28 1 0 0 19 0 1 0 109510244 13733888 2989 1992294400 134512640 136057169 4294956160 18446744073709551615 134774144 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28661/statm: 3353 2989 169 377 0 2973 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13412

[startup+0.701529 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 28661
/proc/meminfo: memFree=1083592/2055920 swapFree=4181432/4192956
[pid=28661] ppid=28659 vsize=14476 CPUtime=0.69
/proc/28661/stat : 28661 (clasp) R 28659 28661 28313 0 -1 4194304 3887 0 0 0 68 1 0 0 22 0 1 0 109510244 14823424 3282 1992294400 134512640 136057169 4294956160 18446744073709551615 134765697 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28661/statm: 3619 3282 171 377 0 3239 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14476

[startup+1.50168 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28662
/proc/meminfo: memFree=1070208/2055920 swapFree=4181432/4192956
[pid=28661] ppid=28659 vsize=14828 CPUtime=1.49
/proc/28661/stat : 28661 (clasp) R 28659 28661 28313 0 -1 4194304 4490 0 0 0 147 2 0 0 25 0 1 0 109510244 15183872 3467 1992294400 134512640 136057169 4294956160 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28661/statm: 3707 3467 183 377 0 3327 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14828

[startup+3.10196 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28662
/proc/meminfo: memFree=1070080/2055920 swapFree=4181432/4192956
[pid=28661] ppid=28659 vsize=14828 CPUtime=3.09
/proc/28661/stat : 28661 (clasp) R 28659 28661 28313 0 -1 4194304 4490 0 0 0 307 2 0 0 25 0 1 0 109510244 15183872 3467 1992294400 134512640 136057169 4294956160 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28661/statm: 3707 3467 183 377 0 3327 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14828

[startup+6.30155 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28662
/proc/meminfo: memFree=1069824/2055920 swapFree=4181432/4192956
[pid=28661] ppid=28659 vsize=15824 CPUtime=6.29
/proc/28661/stat : 28661 (clasp) R 28659 28661 28313 0 -1 4194304 4723 0 0 0 626 3 0 0 25 0 1 0 109510244 16203776 3700 1992294400 134512640 136057169 4294956160 18446744073709551615 134823846 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28661/statm: 3956 3700 183 377 0 3576 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15824

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28662
/proc/meminfo: memFree=1065024/2055920 swapFree=4181432/4192956
[pid=28661] ppid=28659 vsize=20460 CPUtime=12.68
/proc/28661/stat : 28661 (clasp) R 28659 28661 28313 0 -1 4194304 5887 0 0 0 1265 3 0 0 25 0 1 0 109510244 20951040 4864 1992294400 134512640 136057169 4294956160 18446744073709551615 135443142 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28661/statm: 5115 4864 183 377 0 4735 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20460

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28662
/proc/meminfo: memFree=1060416/2055920 swapFree=4181432/4192956
[pid=28661] ppid=28659 vsize=24820 CPUtime=25.48
/proc/28661/stat : 28661 (clasp) R 28659 28661 28313 0 -1 4194304 6976 0 0 0 2544 4 0 0 25 0 1 0 109510244 25415680 5953 1992294400 134512640 136057169 4294956160 18446744073709551615 134823325 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28661/statm: 6205 5953 183 377 0 5825 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24820

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

[startup+28.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28662
/proc/meminfo: memFree=1058752/2055920 swapFree=4181432/4192956
[pid=28661] ppid=28659 vsize=26272 CPUtime=28.68
/proc/28661/stat : 28661 (clasp) R 28659 28661 28313 0 -1 4194304 7333 0 0 0 2863 5 0 0 25 0 1 0 109510244 26902528 6310 1992294400 134512640 136057169 4294956160 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28661/statm: 6568 6310 183 377 0 6188 0
Current children cumulated CPU time (s) 28.68
Current children cumulated vsize (KiB) 26272

[startup+30.3019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28662
/proc/meminfo: memFree=1058752/2055920 swapFree=4181432/4192956
[pid=28661] ppid=28659 vsize=26272 CPUtime=30.28
/proc/28661/stat : 28661 (clasp) R 28659 28661 28313 0 -1 4194304 7333 0 0 0 3023 5 0 0 25 0 1 0 109510244 26902528 6310 1992294400 134512640 136057169 4294956160 18446744073709551615 134618430 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28661/statm: 6568 6310 183 377 0 6188 0
Current children cumulated CPU time (s) 30.28
Current children cumulated vsize (KiB) 26272

[startup+31.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28662
/proc/meminfo: memFree=1058752/2055920 swapFree=4181432/4192956
[pid=28661] ppid=28659 vsize=26272 CPUtime=31.08
/proc/28661/stat : 28661 (clasp) R 28659 28661 28313 0 -1 4194304 7333 0 0 0 3103 5 0 0 25 0 1 0 109510244 26902528 6310 1992294400 134512640 136057169 4294956160 18446744073709551615 134811736 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28661/statm: 6568 6310 183 377 0 6188 0
Current children cumulated CPU time (s) 31.08
Current children cumulated vsize (KiB) 26272

[startup+31.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28662
/proc/meminfo: memFree=1058752/2055920 swapFree=4181432/4192956
[pid=28661] ppid=28659 vsize=26272 CPUtime=31.48
/proc/28661/stat : 28661 (clasp) R 28659 28661 28313 0 -1 4194304 7333 0 0 0 3143 5 0 0 25 0 1 0 109510244 26902528 6310 1992294400 134512640 136057169 4294956160 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28661/statm: 6568 6310 183 377 0 6188 0
Current children cumulated CPU time (s) 31.48
Current children cumulated vsize (KiB) 26272

[startup+31.9052 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28662
/proc/meminfo: memFree=1058752/2055920 swapFree=4181432/4192956
[pid=28661] ppid=28659 vsize=26272 CPUtime=31.88
/proc/28661/stat : 28661 (clasp) R 28659 28661 28313 0 -1 4194304 7336 0 0 0 3183 5 0 0 16 0 1 0 109510244 26902528 6313 1992294400 134512640 136057169 4294956160 18446744073709551615 135437996 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28661/statm: 6568 6313 186 377 0 6188 0
Current children cumulated CPU time (s) 31.88
Current children cumulated vsize (KiB) 26272

Child status: 10
Real time (s): 31.9629
CPU time (s): 31.9451
CPU user time (s): 31.8862
CPU system time (s): 0.058991
CPU usage (%): 99.9445
Max. virtual memory (cumulated for all children) (KiB): 26272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.8862
system time used= 0.058991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7337
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= 67
involuntary context switches= 91

runsolver used 0.027995 second user time and 0.085986 second system time

The end

Launcher Data

Begin job on node67 at 2009-04-27 08:47:20
IDJOB=1737199
IDBENCH=71644
IDSOLVER=508
FILE ID=node67/1737199-1240814840
PBS_JOBID= 9187439
Free space on /tmp= 66140 MiB

SOLVER NAME= clasp 1.2.0-SAT09-32
BENCH NAME= SAT09/CRAFTED/parity-games/instance_n7_i8_pp.cnf
COMMAND LINE= HOME/clasp --file=BENCHNAME --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1737199-1240814840/watcher-1737199-1240814840 -o /tmp/evaluation-result-1737199-1240814840/solver-1737199-1240814840 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/clasp --file=HOME/instance-1737199-1240814840.cnf --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= abf8d0463043ed2f39efb68926cd304b
RANDOM SEED=62833404

node67.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.277
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.277
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1084072 kB
Buffers:         78816 kB
Cached:         807232 kB
SwapCached:       5432 kB
Active:         453216 kB
Inactive:       441344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1084072 kB
SwapTotal:     4192956 kB
SwapFree:      4181432 kB
Dirty:            4964 kB
Writeback:           0 kB
Mapped:          14172 kB
Slab:            63240 kB
Committed_AS:   446684 kB
PageTables:       1436 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66140 MiB
End job on node67 at 2009-04-27 08:47:52