Trace number 1736731

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 43.2044 43.2301

General information on the benchmark

NameCRAFTED/parity-games/
instance_n7_i7_pp_ci_ce.cnf
MD5SUM5e0c3f55984f25e5ae39d5acbf3dab6b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.53216
Satisfiable
(Un)Satisfiability was proved
Number of variables13041
Number of clauses134672
Sum of the clauses size442400
Maximum clause length42
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 225102
Number of clauses of size 363007
Number of clauses of size 435077
Number of clauses of size 58820
Number of clauses of size over 52666

Solver Data 

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

[startup+0.096964 s]
/proc/loadavg: 1.99 1.96 1.68 3/67 12958
/proc/meminfo: memFree=1511520/2055920 swapFree=4192812/4192956
[pid=12958] ppid=12956 vsize=7848 CPUtime=0.08
/proc/12958/stat : 12958 (CirCUs) R 12956 12958 12607 0 -1 4194304 1610 0 0 0 8 0 0 0 18 0 1 120000 109333345 8036352 1497 1992294400 134512640 135224549 4294956208 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/12958/statm: 1962 1498 70 173 0 1787 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7848

[startup+0.101963 s]
/proc/loadavg: 1.99 1.96 1.68 3/67 12958
/proc/meminfo: memFree=1511520/2055920 swapFree=4192812/4192956
[pid=12958] ppid=12956 vsize=8112 CPUtime=0.09
/proc/12958/stat : 12958 (CirCUs) R 12956 12958 12607 0 -1 4194304 1672 0 0 0 9 0 0 0 18 0 1 120000 109333345 8306688 1559 1992294400 134512640 135224549 4294956208 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/12958/statm: 2028 1560 70 173 0 1853 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8112

[startup+0.30198 s]
/proc/loadavg: 1.99 1.96 1.68 3/67 12958
/proc/meminfo: memFree=1511520/2055920 swapFree=4192812/4192956
[pid=12958] ppid=12956 vsize=12712 CPUtime=0.29
/proc/12958/stat : 12958 (CirCUs) R 12956 12958 12607 0 -1 4194304 2962 0 0 0 28 1 0 0 19 0 1 120000 109333345 13017088 2719 1992294400 134512640 135224549 4294956208 18446744073709551615 134571684 0 0 4096 8192 0 0 0 17 1 0 0
/proc/12958/statm: 3178 2719 76 173 0 3003 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12712

[startup+0.702016 s]
/proc/loadavg: 1.99 1.96 1.68 3/67 12958
/proc/meminfo: memFree=1511520/2055920 swapFree=4192812/4192956
[pid=12958] ppid=12956 vsize=13792 CPUtime=0.69
/proc/12958/stat : 12958 (CirCUs) R 12956 12958 12607 0 -1 4194304 3356 0 0 0 68 1 0 0 22 0 1 120000 109333345 14123008 3113 1992294400 134512640 135224549 4294956208 18446744073709551615 134560720 0 0 4096 8192 0 0 0 17 1 0 0
/proc/12958/statm: 3448 3113 77 173 0 3273 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13792

[startup+1.50109 s]
/proc/loadavg: 1.99 1.96 1.68 2/68 12959
/proc/meminfo: memFree=1498904/2055920 swapFree=4192812/4192956
[pid=12958] ppid=12956 vsize=14536 CPUtime=1.49
/proc/12958/stat : 12958 (CirCUs) R 12956 12958 12607 0 -1 4194304 3546 0 0 0 147 2 0 0 25 0 1 120000 109333345 14884864 3303 1992294400 134512640 135224549 4294956208 18446744073709551615 134620068 0 0 4096 8192 0 0 0 17 1 0 0
/proc/12958/statm: 3634 3303 93 173 0 3459 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14536

[startup+3.10123 s]
/proc/loadavg: 1.91 1.94 1.68 2/68 12959
/proc/meminfo: memFree=1498008/2055920 swapFree=4192812/4192956
[pid=12958] ppid=12956 vsize=15196 CPUtime=3.09
/proc/12958/stat : 12958 (CirCUs) R 12956 12958 12607 0 -1 4194304 3726 0 0 0 307 2 0 0 25 0 1 120000 109333345 15560704 3483 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/12958/statm: 3799 3483 93 173 0 3624 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15196

[startup+6.30152 s]
/proc/loadavg: 1.91 1.94 1.68 2/68 12959
/proc/meminfo: memFree=1497440/2055920 swapFree=4192812/4192956
[pid=12958] ppid=12956 vsize=15492 CPUtime=6.29
/proc/12958/stat : 12958 (CirCUs) R 12956 12958 12607 0 -1 4194304 3773 0 0 0 627 2 0 0 25 0 1 120000 109333345 15863808 3530 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/12958/statm: 3873 3530 93 173 0 3698 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15492

[startup+12.7021 s]
/proc/loadavg: 1.77 1.91 1.67 2/68 12959
/proc/meminfo: memFree=1496608/2055920 swapFree=4192812/4192956
[pid=12958] ppid=12956 vsize=16284 CPUtime=12.68
/proc/12958/stat : 12958 (CirCUs) R 12956 12958 12607 0 -1 4194304 3988 0 0 0 1266 2 0 0 25 0 1 120000 109333345 16674816 3745 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/12958/statm: 4071 3745 93 173 0 3896 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 16284

[startup+25.5012 s]
/proc/loadavg: 1.65 1.88 1.66 2/68 12959
/proc/meminfo: memFree=1494496/2055920 swapFree=4192812/4192956
[pid=12958] ppid=12956 vsize=18336 CPUtime=25.47
/proc/12958/stat : 12958 (CirCUs) R 12956 12958 12607 0 -1 4194304 4507 0 0 0 2545 2 0 0 25 0 1 120000 109333345 18776064 4264 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/12958/statm: 4584 4264 93 173 0 4409 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 18336

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

[startup+31.9058 s]
/proc/loadavg: 1.55 1.85 1.66 2/68 12959
/proc/meminfo: memFree=1494496/2055920 swapFree=4192812/4192956
[pid=12958] ppid=12956 vsize=18336 CPUtime=31.88
/proc/12958/stat : 12958 (CirCUs) R 12956 12958 12607 0 -1 4194304 4509 0 0 0 3186 2 0 0 25 0 1 120000 109333345 18776064 4266 1992294400 134512640 135224549 4294956208 18446744073709551615 134619845 0 0 4096 8192 0 0 0 17 1 0 0
/proc/12958/statm: 4584 4266 93 173 0 4409 0
Current children cumulated CPU time (s) 31.88
Current children cumulated vsize (KiB) 18336

[startup+38.3014 s]
/proc/loadavg: 1.51 1.84 1.65 2/68 12959
/proc/meminfo: memFree=1493600/2055920 swapFree=4192812/4192956
[pid=12958] ppid=12956 vsize=19260 CPUtime=38.27
/proc/12958/stat : 12958 (CirCUs) R 12956 12958 12607 0 -1 4194304 4726 0 0 0 3825 2 0 0 25 0 1 120000 109333345 19722240 4483 1992294400 134512640 135224549 4294956208 18446744073709551615 134595219 0 0 4096 8192 0 0 0 17 1 0 0
/proc/12958/statm: 4815 4483 93 173 0 4640 0
Current children cumulated CPU time (s) 38.27
Current children cumulated vsize (KiB) 19260

[startup+41.5017 s]
/proc/loadavg: 1.51 1.84 1.65 2/68 12959
/proc/meminfo: memFree=1493280/2055920 swapFree=4192812/4192956
[pid=12958] ppid=12956 vsize=19524 CPUtime=41.47
/proc/12958/stat : 12958 (CirCUs) R 12956 12958 12607 0 -1 4194304 4804 0 0 0 4145 2 0 0 25 0 1 120000 109333345 19992576 4561 1992294400 134512640 135224549 4294956208 18446744073709551615 134618685 0 0 4096 8192 0 0 0 17 1 0 0
/proc/12958/statm: 4881 4561 93 173 0 4706 0
Current children cumulated CPU time (s) 41.47
Current children cumulated vsize (KiB) 19524

[startup+42.3017 s]
/proc/loadavg: 1.47 1.82 1.65 2/68 12959
/proc/meminfo: memFree=1493280/2055920 swapFree=4192812/4192956
[pid=12958] ppid=12956 vsize=19524 CPUtime=42.27
/proc/12958/stat : 12958 (CirCUs) R 12956 12958 12607 0 -1 4194304 4804 0 0 0 4225 2 0 0 25 0 1 120000 109333345 19992576 4561 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/12958/statm: 4881 4561 93 173 0 4706 0
Current children cumulated CPU time (s) 42.27
Current children cumulated vsize (KiB) 19524

[startup+42.7018 s]
/proc/loadavg: 1.47 1.82 1.65 2/68 12959
/proc/meminfo: memFree=1493280/2055920 swapFree=4192812/4192956
[pid=12958] ppid=12956 vsize=19524 CPUtime=42.67
/proc/12958/stat : 12958 (CirCUs) R 12956 12958 12607 0 -1 4194304 4804 0 0 0 4265 2 0 0 25 0 1 120000 109333345 19992576 4561 1992294400 134512640 135224549 4294956208 18446744073709551615 134595201 0 0 4096 8192 0 0 0 17 1 0 0
/proc/12958/statm: 4881 4561 93 173 0 4706 0
Current children cumulated CPU time (s) 42.67
Current children cumulated vsize (KiB) 19524

[startup+43.1018 s]
/proc/loadavg: 1.47 1.82 1.65 2/68 12959
/proc/meminfo: memFree=1493280/2055920 swapFree=4192812/4192956
[pid=12958] ppid=12956 vsize=19524 CPUtime=43.07
/proc/12958/stat : 12958 (CirCUs) R 12956 12958 12607 0 -1 4194304 4804 0 0 0 4305 2 0 0 25 0 1 120000 109333345 19992576 4561 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/12958/statm: 4881 4561 93 173 0 4706 0
Current children cumulated CPU time (s) 43.07
Current children cumulated vsize (KiB) 19524

[startup+43.2018 s]
/proc/loadavg: 1.47 1.82 1.65 2/68 12959
/proc/meminfo: memFree=1493280/2055920 swapFree=4192812/4192956
[pid=12958] ppid=12956 vsize=18496 CPUtime=43.17
/proc/12958/stat : 12958 (CirCUs) R 12956 12958 12607 0 -1 4194304 4807 0 0 0 4314 3 0 0 16 0 1 120000 109333345 18939904 4418 1992294400 134512640 135224549 4294956208 18446744073709551615 134716943 0 0 4096 8192 0 0 0 17 1 0 0
/proc/12958/statm: 4624 4418 95 173 0 4449 0
Current children cumulated CPU time (s) 43.17
Current children cumulated vsize (KiB) 18496

Child status: 0
Real time (s): 43.2301
CPU time (s): 43.2044
CPU user time (s): 43.1704
CPU system time (s): 0.033994
CPU usage (%): 99.9405
Max. virtual memory (cumulated for all children) (KiB): 19524

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

runsolver used 0.041993 second user time and 0.135979 second system time

The end

Launcher Data 

Begin job on node68 at 2009-04-27 08:17:52
IDJOB=1736731
IDBENCH=71631
IDSOLVER=544
FILE ID=node68/1736731-1240813072
PBS_JOBID= 9187417
Free space on /tmp= 66560 MiB

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

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

MD5SUM BENCH= 5e0c3f55984f25e5ae39d5acbf3dab6b
RANDOM SEED=1646846582

node68.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.223
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.223
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1511936 kB
Buffers:         70136 kB
Cached:         380424 kB
SwapCached:        144 kB
Active:         224996 kB
Inactive:       242124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1511936 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3760 kB
Writeback:           0 kB
Mapped:          26440 kB
Slab:            62460 kB
Committed_AS:   343124 kB
PageTables:       1560 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= 66560 MiB
End job on node68 at 2009-04-27 08:18:35