Trace number 1737231

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
CircUs 2009-03-23SAT 57.8992 57.9285

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

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

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

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/65 28407
/proc/meminfo: memFree=1721712/2055920 swapFree=4180748/4192956
[pid=28407] ppid=28405 vsize=3480 CPUtime=0
/proc/28407/stat : 28407 (CirCUs) R 28405 28407 28157 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 120000 109531431 3563520 336 1992294400 134512640 135224549 4294956224 18446744073709551615 134549159 0 0 4096 8192 0 0 0 17 1 0 0
/proc/28407/statm: 870 339 70 173 0 695 0

[startup+0.0973491 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 28407
/proc/meminfo: memFree=1721712/2055920 swapFree=4180748/4192956
[pid=28407] ppid=28405 vsize=8356 CPUtime=0.09
/proc/28407/stat : 28407 (CirCUs) R 28405 28407 28157 0 -1 4194304 1693 0 0 0 8 1 0 0 18 0 1 120000 109531431 8556544 1580 1992294400 134512640 135224549 4294956224 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/28407/statm: 2089 1580 70 173 0 1914 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8356

[startup+0.101349 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 28407
/proc/meminfo: memFree=1721712/2055920 swapFree=4180748/4192956
[pid=28407] ppid=28405 vsize=8488 CPUtime=0.09
/proc/28407/stat : 28407 (CirCUs) R 28405 28407 28157 0 -1 4194304 1743 0 0 0 8 1 0 0 18 0 1 120000 109531431 8691712 1630 1992294400 134512640 135224549 4294956224 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/28407/statm: 2122 1631 70 173 0 1947 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8488

[startup+0.30137 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 28407
/proc/meminfo: memFree=1721712/2055920 swapFree=4180748/4192956
[pid=28407] ppid=28405 vsize=14012 CPUtime=0.3
/proc/28407/stat : 28407 (CirCUs) R 28405 28407 28157 0 -1 4194304 3293 0 0 0 28 2 0 0 19 0 1 120000 109531431 14348288 3050 1992294400 134512640 135224549 4294956224 18446744073709551615 134570636 0 0 4096 8192 0 0 0 17 1 0 0
/proc/28407/statm: 3503 3050 76 173 0 3328 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 14012

[startup+0.701411 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 28407
/proc/meminfo: memFree=1721712/2055920 swapFree=4180748/4192956
[pid=28407] ppid=28405 vsize=16828 CPUtime=0.69
/proc/28407/stat : 28407 (CirCUs) R 28405 28407 28157 0 -1 4194304 4146 0 0 0 67 2 0 0 23 0 1 120000 109531431 17231872 3903 1992294400 134512640 135224549 4294956224 18446744073709551615 134570301 0 0 4096 8192 0 0 0 17 1 0 0
/proc/28407/statm: 4207 3903 77 173 0 4032 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16828

[startup+1.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28408
/proc/meminfo: memFree=1706024/2055920 swapFree=4180748/4192956
[pid=28407] ppid=28405 vsize=17700 CPUtime=1.49
/proc/28407/stat : 28407 (CirCUs) R 28405 28407 28157 0 -1 4194304 4388 0 0 0 147 2 0 0 25 0 1 120000 109531431 18124800 4145 1992294400 134512640 135224549 4294956224 18446744073709551615 134595219 0 0 4096 8192 0 0 0 17 1 0 0
/proc/28407/statm: 4425 4145 93 173 0 4250 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17700

[startup+3.10167 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28408
/proc/meminfo: memFree=1705000/2055920 swapFree=4180748/4192956
[pid=28407] ppid=28405 vsize=18228 CPUtime=3.09
/proc/28407/stat : 28407 (CirCUs) R 28405 28407 28157 0 -1 4194304 4531 0 0 0 307 2 0 0 25 0 1 120000 109531431 18665472 4288 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/28407/statm: 4557 4288 93 173 0 4382 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18228

[startup+6.30201 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28408
/proc/meminfo: memFree=1704296/2055920 swapFree=4180748/4192956
[pid=28407] ppid=28405 vsize=18760 CPUtime=6.29
/proc/28407/stat : 28407 (CirCUs) R 28405 28407 28157 0 -1 4194304 4676 0 0 0 627 2 0 0 25 0 1 120000 109531431 19210240 4433 1992294400 134512640 135224549 4294956224 18446744073709551615 134587956 0 0 4096 8192 0 0 0 17 1 0 0
/proc/28407/statm: 4690 4433 93 173 0 4515 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18760

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28408
/proc/meminfo: memFree=1703400/2055920 swapFree=4180748/4192956
[pid=28407] ppid=28405 vsize=19816 CPUtime=12.69
/proc/28407/stat : 28407 (CirCUs) R 28405 28407 28157 0 -1 4194304 4922 0 0 0 1267 2 0 0 25 0 1 120000 109531431 20291584 4679 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/28407/statm: 4954 4679 93 173 0 4779 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19816

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28408
/proc/meminfo: memFree=1701672/2055920 swapFree=4180748/4192956
[pid=28407] ppid=28405 vsize=21140 CPUtime=25.49
/proc/28407/stat : 28407 (CirCUs) R 28405 28407 28157 0 -1 4194304 5251 0 0 0 2546 3 0 0 25 0 1 120000 109531431 21647360 5008 1992294400 134512640 135224549 4294956224 18446744073709551615 134587956 0 0 4096 8192 0 0 0 17 1 0 0
/proc/28407/statm: 5285 5008 93 173 0 5110 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21140

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28408
/proc/meminfo: memFree=1700264/2055920 swapFree=4180748/4192956
[pid=28407] ppid=28405 vsize=22856 CPUtime=51.07
/proc/28407/stat : 28407 (CirCUs) R 28405 28407 28157 0 -1 4194304 5676 0 0 0 5104 3 0 0 25 0 1 120000 109531431 23404544 5433 1992294400 134512640 135224549 4294956224 18446744073709551615 134632717 0 0 4096 8192 0 0 0 17 1 0 0
/proc/28407/statm: 5714 5433 93 173 0 5539 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22856

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

[startup+54.3011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28408
/proc/meminfo: memFree=1699048/2055920 swapFree=4180748/4192956
[pid=28407] ppid=28405 vsize=23780 CPUtime=54.28
/proc/28407/stat : 28407 (CirCUs) R 28405 28407 28157 0 -1 4194304 5925 0 0 0 5424 4 0 0 25 0 1 120000 109531431 24350720 5682 1992294400 134512640 135224549 4294956224 18446744073709551615 134595391 0 0 4096 8192 0 0 0 17 1 0 0
/proc/28407/statm: 5945 5682 93 173 0 5770 0
Current children cumulated CPU time (s) 54.28
Current children cumulated vsize (KiB) 23780

[startup+55.9013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28408
/proc/meminfo: memFree=1699048/2055920 swapFree=4180748/4192956
[pid=28407] ppid=28405 vsize=23780 CPUtime=55.88
/proc/28407/stat : 28407 (CirCUs) R 28405 28407 28157 0 -1 4194304 5925 0 0 0 5584 4 0 0 25 0 1 120000 109531431 24350720 5682 1992294400 134512640 135224549 4294956224 18446744073709551615 134595201 0 0 4096 8192 0 0 0 17 1 0 0
/proc/28407/statm: 5945 5682 93 173 0 5770 0
Current children cumulated CPU time (s) 55.88
Current children cumulated vsize (KiB) 23780

[startup+56.7024 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28408
/proc/meminfo: memFree=1698984/2055920 swapFree=4180748/4192956
[pid=28407] ppid=28405 vsize=23780 CPUtime=56.68
/proc/28407/stat : 28407 (CirCUs) R 28405 28407 28157 0 -1 4194304 5925 0 0 0 5664 4 0 0 25 0 1 120000 109531431 24350720 5682 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/28407/statm: 5945 5682 93 173 0 5770 0
Current children cumulated CPU time (s) 56.68
Current children cumulated vsize (KiB) 23780

[startup+57.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28408
/proc/meminfo: memFree=1698984/2055920 swapFree=4180748/4192956
[pid=28407] ppid=28405 vsize=23780 CPUtime=57.48
/proc/28407/stat : 28407 (CirCUs) R 28405 28407 28157 0 -1 4194304 5925 0 0 0 5744 4 0 0 25 0 1 120000 109531431 24350720 5682 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/28407/statm: 5945 5682 93 173 0 5770 0
Current children cumulated CPU time (s) 57.48
Current children cumulated vsize (KiB) 23780

[startup+57.9015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28408
/proc/meminfo: memFree=1698984/2055920 swapFree=4180748/4192956
[pid=28407] ppid=28405 vsize=22752 CPUtime=57.87
/proc/28407/stat : 28407 (CirCUs) R 28405 28407 28157 0 -1 4194304 5928 0 0 0 5783 4 0 0 17 0 1 120000 109531431 23298048 5500 1992294400 134512640 135224549 4294956224 18446744073709551615 134717036 0 0 4096 8192 0 0 0 17 1 0 0
/proc/28407/statm: 5688 5500 95 173 0 5513 0
Current children cumulated CPU time (s) 57.87
Current children cumulated vsize (KiB) 22752

Child status: 0
Real time (s): 57.9285
CPU time (s): 57.8992
CPU user time (s): 57.8552
CPU system time (s): 0.043993
CPU usage (%): 99.9493
Max. virtual memory (cumulated for all children) (KiB): 23780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 57.8552
system time used= 0.043993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5929
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= 72
involuntary context switches= 131

runsolver used 0.066989 second user time and 0.163975 second system time

The end

Launcher Data

Begin job on node81 at 2009-04-27 08:50:16
IDJOB=1737231
IDBENCH=71644
IDSOLVER=544
FILE ID=node81/1737231-1240815016
PBS_JOBID= 9187461
Free space on /tmp= 126412 MiB

SOLVER NAME= CircUs 2009-03-23
BENCH NAME= SAT09/CRAFTED/parity-games/instance_n7_i8_pp.cnf
COMMAND LINE= HOME/CirCUs BENCHNAME -t TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1737231-1240815016/watcher-1737231-1240815016 -o /tmp/evaluation-result-1737231-1240815016/solver-1737231-1240815016 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/CirCUs HOME/instance-1737231-1240815016.cnf -t 1200

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

MD5SUM BENCH= abf8d0463043ed2f39efb68926cd304b
RANDOM SEED=360784784

node81.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.234
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.234
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1722192 kB
Buffers:         47836 kB
Cached:         223752 kB
SwapCached:       5920 kB
Active:          94792 kB
Inactive:       185460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1722192 kB
SwapTotal:     4192956 kB
SwapFree:      4180748 kB
Dirty:            4176 kB
Writeback:           0 kB
Mapped:          13824 kB
Slab:            39216 kB
Committed_AS:   419872 kB
PageTables:       1452 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126412 MiB
End job on node81 at 2009-04-27 08:51:14