Trace number 1560600

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
CSat 2009-03-22SAT 68.3806 68.4103

General information on the benchmark

NameAPPLICATIONS/aprove09/
AProVE09-07.cnf
MD5SUMc5fb730ce517a6a48db8bb4f0db1d85a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.602908
Satisfiable
(Un)Satisfiability was proved
Number of variables8567
Number of clauses28936
Sum of the clauses size74592
Maximum clause length14
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 213207
Number of clauses of size 314832
Number of clauses of size 4883
Number of clauses of size 50
Number of clauses of size over 513

Solver Data 

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

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-1560600-1238757904/watcher-1560600-1238757904 -o /tmp/evaluation-result-1560600-1238757904/solver-1560600-1238757904 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/csat HOME/instance-1560600-1238757904.cnf 

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 0.99 1.00 3/71 3826
/proc/meminfo: memFree=1764864/2055920 swapFree=4170332/4192956
[pid=3826] ppid=3824 vsize=2008 CPUtime=0
/proc/3826/stat : 3826 (csat) R 3824 3826 3590 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 1148453504 2056192 289 1992294400 134512640 135625496 4294956240 18446744073709551615 134529562 0 0 4096 0 0 0 0 17 1 0 0
/proc/3826/statm: 502 289 86 271 0 228 0

[startup+0.0575091 s]
/proc/loadavg: 1.00 0.99 1.00 3/71 3826
/proc/meminfo: memFree=1764864/2055920 swapFree=4170332/4192956
[pid=3826] ppid=3824 vsize=8960 CPUtime=0.04
/proc/3826/stat : 3826 (csat) R 3824 3826 3590 0 -1 4194304 1565 0 0 0 4 0 0 0 18 0 1 0 1148453504 9175040 1320 1992294400 134512640 135625496 4294956240 18446744073709551615 134528884 0 0 4096 0 0 0 0 17 1 0 0
/proc/3826/statm: 2240 1325 89 271 0 1966 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8960

[startup+0.101514 s]
/proc/loadavg: 1.00 0.99 1.00 3/71 3826
/proc/meminfo: memFree=1764864/2055920 swapFree=4170332/4192956
[pid=3826] ppid=3824 vsize=9092 CPUtime=0.09
/proc/3826/stat : 3826 (csat) R 3824 3826 3590 0 -1 4194304 2298 0 0 0 9 0 0 0 18 0 1 0 1148453504 9310208 2052 1992294400 134512640 135625496 4294956240 18446744073709551615 134540593 0 0 4096 0 0 0 0 17 1 0 0
/proc/3826/statm: 2273 2052 91 271 0 1999 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9092

[startup+0.301553 s]
/proc/loadavg: 1.00 0.99 1.00 3/71 3826
/proc/meminfo: memFree=1764864/2055920 swapFree=4170332/4192956
[pid=3826] ppid=3824 vsize=9356 CPUtime=0.29
/proc/3826/stat : 3826 (csat) R 3824 3826 3590 0 -1 4194304 2332 0 0 0 28 1 0 0 19 0 1 0 1148453504 9580544 2086 1992294400 134512640 135625496 4294956240 18446744073709551615 135120254 0 0 4096 0 0 0 0 17 1 0 0
/proc/3826/statm: 2339 2086 91 271 0 2065 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9356

[startup+0.701673 s]
/proc/loadavg: 1.00 0.99 1.00 3/71 3826
/proc/meminfo: memFree=1764864/2055920 swapFree=4170332/4192956
[pid=3826] ppid=3824 vsize=9356 CPUtime=0.69
/proc/3826/stat : 3826 (csat) R 3824 3826 3590 0 -1 4194304 2360 0 0 0 68 1 0 0 22 0 1 0 1148453504 9580544 2114 1992294400 134512640 135625496 4294956240 18446744073709551615 134541271 0 0 4096 0 0 0 0 17 1 0 0
/proc/3826/statm: 2339 2114 91 271 0 2065 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9356

[startup+1.50178 s]
/proc/loadavg: 1.00 0.99 1.00 2/72 3827
/proc/meminfo: memFree=1756600/2055920 swapFree=4170332/4192956
[pid=3826] ppid=3824 vsize=9752 CPUtime=1.49
/proc/3826/stat : 3826 (csat) R 3824 3826 3590 0 -1 4194304 2447 0 0 0 148 1 0 0 25 0 1 0 1148453504 9986048 2201 1992294400 134512640 135625496 4294956240 18446744073709551615 134538320 0 0 4096 0 0 0 0 17 1 0 0
/proc/3826/statm: 2438 2201 91 271 0 2164 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9752

[startup+3.10109 s]
/proc/loadavg: 1.00 0.99 1.00 2/72 3827
/proc/meminfo: memFree=1755960/2055920 swapFree=4170332/4192956
[pid=3826] ppid=3824 vsize=10280 CPUtime=3.09
/proc/3826/stat : 3826 (csat) R 3824 3826 3590 0 -1 4194304 2586 0 0 0 308 1 0 0 25 0 1 0 1148453504 10526720 2340 1992294400 134512640 135625496 4294956240 18446744073709551615 135120254 0 0 4096 0 0 0 0 17 1 0 0
/proc/3826/statm: 2570 2340 91 271 0 2296 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10280

[startup+6.3017 s]
/proc/loadavg: 1.00 0.99 1.00 2/72 3827
/proc/meminfo: memFree=1754872/2055920 swapFree=4170332/4192956
[pid=3826] ppid=3824 vsize=11072 CPUtime=6.29
/proc/3826/stat : 3826 (csat) R 3824 3826 3590 0 -1 4194304 2787 0 0 0 628 1 0 0 25 0 1 0 1148453504 11337728 2541 1992294400 134512640 135625496 4294956240 18446744073709551615 135120254 0 0 4096 0 0 0 0 17 1 0 0
/proc/3826/statm: 2768 2541 91 271 0 2494 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11072

[startup+12.7019 s]
/proc/loadavg: 1.00 0.99 1.00 2/72 3827
/proc/meminfo: memFree=1753464/2055920 swapFree=4170332/4192956
[pid=3826] ppid=3824 vsize=12472 CPUtime=12.69
/proc/3826/stat : 3826 (csat) R 3824 3826 3590 0 -1 4194304 3129 0 0 0 1266 3 0 0 25 0 1 0 1148453504 12771328 2883 1992294400 134512640 135625496 4294956240 18446744073709551615 134538620 0 0 4096 0 0 0 0 17 1 0 0
/proc/3826/statm: 3118 2883 91 271 0 2844 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12472

[startup+25.5014 s]
/proc/loadavg: 1.00 0.99 1.00 2/72 3827
/proc/meminfo: memFree=1751480/2055920 swapFree=4170332/4192956
[pid=3826] ppid=3824 vsize=14396 CPUtime=25.48
/proc/3826/stat : 3826 (csat) R 3824 3826 3590 0 -1 4194304 3617 0 0 0 2544 4 0 0 25 0 1 0 1148453504 14741504 3371 1992294400 134512640 135625496 4294956240 18446744073709551615 135120254 0 0 4096 0 0 0 0 17 1 0 0
/proc/3826/statm: 3599 3371 91 271 0 3325 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14396

[startup+51.1013 s]
/proc/loadavg: 1.00 0.99 1.00 2/72 3827
/proc/meminfo: memFree=1748088/2055920 swapFree=4170332/4192956
[pid=3826] ppid=3824 vsize=17832 CPUtime=51.07
/proc/3826/stat : 3826 (csat) R 3824 3826 3590 0 -1 4194304 4431 0 0 0 5099 8 0 0 25 0 1 0 1148453504 18259968 4185 1992294400 134512640 135625496 4294956240 18446744073709551615 134541434 0 0 4096 0 0 0 0 17 1 0 0
/proc/3826/statm: 4458 4185 91 271 0 4184 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 17832

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

[startup+57.5015 s]
/proc/loadavg: 1.00 0.99 1.00 2/72 3827
/proc/meminfo: memFree=1747704/2055920 swapFree=4170332/4192956
[pid=3826] ppid=3824 vsize=18232 CPUtime=57.47
/proc/3826/stat : 3826 (csat) R 3824 3826 3590 0 -1 4194304 4563 0 0 0 5739 8 0 0 25 0 1 0 1148453504 18669568 4317 1992294400 134512640 135625496 4294956240 18446744073709551615 134541273 0 0 4096 0 0 0 0 17 1 0 0
/proc/3826/statm: 4558 4317 91 271 0 4284 0
Current children cumulated CPU time (s) 57.47
Current children cumulated vsize (KiB) 18232

[startup+63.9017 s]
/proc/loadavg: 1.00 0.99 1.00 2/72 3827
/proc/meminfo: memFree=1746936/2055920 swapFree=4170332/4192956
[pid=3826] ppid=3824 vsize=19032 CPUtime=63.87
/proc/3826/stat : 3826 (csat) R 3824 3826 3590 0 -1 4194304 4751 0 0 0 6378 9 0 0 25 0 1 0 1148453504 19488768 4505 1992294400 134512640 135625496 4294956240 18446744073709551615 134541271 0 0 4096 0 0 0 0 17 1 0 0
/proc/3826/statm: 4758 4505 91 271 0 4484 0
Current children cumulated CPU time (s) 63.87
Current children cumulated vsize (KiB) 19032

[startup+65.502 s]
/proc/loadavg: 1.00 0.99 1.00 2/72 3827
/proc/meminfo: memFree=1746808/2055920 swapFree=4170332/4192956
[pid=3826] ppid=3824 vsize=19164 CPUtime=65.47
/proc/3826/stat : 3826 (csat) R 3824 3826 3590 0 -1 4194304 4794 0 0 0 6538 9 0 0 25 0 1 0 1148453504 19623936 4548 1992294400 134512640 135625496 4294956240 18446744073709551615 134541434 0 0 4096 0 0 0 0 17 1 0 0
/proc/3826/statm: 4791 4548 91 271 0 4517 0
Current children cumulated CPU time (s) 65.47
Current children cumulated vsize (KiB) 19164

[startup+67.1053 s]
/proc/loadavg: 1.00 0.99 1.00 2/72 3827
/proc/meminfo: memFree=1746552/2055920 swapFree=4170332/4192956
[pid=3826] ppid=3824 vsize=19428 CPUtime=67.07
/proc/3826/stat : 3826 (csat) R 3824 3826 3590 0 -1 4194304 4839 0 0 0 6698 9 0 0 25 0 1 0 1148453504 19894272 4593 1992294400 134512640 135625496 4294956240 18446744073709551615 134541273 0 0 4096 0 0 0 0 17 1 0 0
/proc/3826/statm: 4857 4593 91 271 0 4583 0
Current children cumulated CPU time (s) 67.07
Current children cumulated vsize (KiB) 19428

[startup+67.9015 s]
/proc/loadavg: 1.00 0.99 1.00 2/72 3827
/proc/meminfo: memFree=1746552/2055920 swapFree=4170332/4192956
[pid=3826] ppid=3824 vsize=19560 CPUtime=67.87
/proc/3826/stat : 3826 (csat) R 3824 3826 3590 0 -1 4194304 4867 0 0 0 6778 9 0 0 25 0 1 0 1148453504 20029440 4621 1992294400 134512640 135625496 4294956240 18446744073709551615 134541273 0 0 4096 0 0 0 0 17 1 0 0
/proc/3826/statm: 4890 4621 91 271 0 4616 0
Current children cumulated CPU time (s) 67.87
Current children cumulated vsize (KiB) 19560

[startup+68.3016 s]
/proc/loadavg: 1.00 0.99 1.00 2/72 3827
/proc/meminfo: memFree=1746424/2055920 swapFree=4170332/4192956
[pid=3826] ppid=3824 vsize=19560 CPUtime=68.27
/proc/3826/stat : 3826 (csat) R 3824 3826 3590 0 -1 4194304 4876 0 0 0 6818 9 0 0 25 0 1 0 1148453504 20029440 4630 1992294400 134512640 135625496 4294956240 18446744073709551615 134518648 0 0 4096 0 0 0 0 17 1 0 0
/proc/3826/statm: 4890 4630 91 271 0 4616 0
Current children cumulated CPU time (s) 68.27
Current children cumulated vsize (KiB) 19560

[startup+68.4016 s]
/proc/loadavg: 1.00 0.99 1.00 2/72 3827
/proc/meminfo: memFree=1746424/2055920 swapFree=4170332/4192956
[pid=3826] ppid=3824 vsize=19564 CPUtime=68.37
/proc/3826/stat : 3826 (csat) R 3824 3826 3590 0 -1 4194304 4891 0 0 0 6828 9 0 0 16 0 1 0 1148453504 20033536 4645 1992294400 134512640 135625496 4294956240 18446744073709551615 135123614 0 0 4096 0 0 0 0 17 1 0 0
/proc/3826/statm: 4891 4645 99 271 0 4617 0
Current children cumulated CPU time (s) 68.37
Current children cumulated vsize (KiB) 19564

Child status: 10
Real time (s): 68.4103
CPU time (s): 68.3806
CPU user time (s): 68.2816
CPU system time (s): 0.098984
CPU usage (%): 99.9566
Max. virtual memory (cumulated for all children) (KiB): 19564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.2816
system time used= 0.098984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4904
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= 47
involuntary context switches= 51

runsolver used 0.068989 second user time and 0.19697 second system time

The end

Launcher Data 

Begin job on node38 at 2009-04-03 13:25:04
IDJOB=1560600
IDBENCH=70899
IDSOLVER=517
FILE ID=node38/1560600-1238757904
PBS_JOBID= 9085490
Free space on /tmp= 66488 MiB

SOLVER NAME= CSat 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/aprove09/AProVE09-07.cnf
COMMAND LINE= DIR/csat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1560600-1238757904/watcher-1560600-1238757904 -o /tmp/evaluation-result-1560600-1238757904/solver-1560600-1238757904 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/csat HOME/instance-1560600-1238757904.cnf

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

MD5SUM BENCH= c5fb730ce517a6a48db8bb4f0db1d85a
RANDOM SEED=1393734014

node38.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.259
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	: 5931.00
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.259
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:       1765280 kB
Buffers:         26580 kB
Cached:         170896 kB
SwapCached:      11216 kB
Active:          19976 kB
Inactive:       190244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1765280 kB
SwapTotal:     4192956 kB
SwapFree:      4170332 kB
Dirty:            1880 kB
Writeback:           0 kB
Mapped:          18460 kB
Slab:            65592 kB
Committed_AS:  3419100 kB
PageTables:       1988 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= 66484 MiB
End job on node38 at 2009-04-03 13:26:13