Trace number 1560467

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 0.289955 0.296767

General information on the benchmark

NameAPPLICATIONS/aprove09/
AProVE09-22.cnf
MD5SUMf83b70dc0ecb0b7df1f39f8d066a5804
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.083986
Satisfiable
(Un)Satisfiability was proved
Number of variables11557
Number of clauses38505
Sum of the clauses size100479
Maximum clause length289
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 216316
Number of clauses of size 321332
Number of clauses of size 4788
Number of clauses of size 517
Number of clauses of size over 551

Solver Data 

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

[startup+0.00777405 s]
/proc/loadavg: 1.66 1.74 1.40 3/70 25428
/proc/meminfo: memFree=1658192/2055920 swapFree=4170592/4192956
[pid=25428] ppid=25426 vsize=2512 CPUtime=0
/proc/25428/stat : 25428 (CirCUs) R 25426 25428 25184 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 120000 1148382448 2572288 350 1992294400 134512640 135224549 4294956208 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25428/statm: 628 351 70 173 0 453 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2512

[startup+0.101791 s]
/proc/loadavg: 1.66 1.74 1.40 3/70 25428
/proc/meminfo: memFree=1658192/2055920 swapFree=4170592/4192956
[pid=25428] ppid=25426 vsize=6068 CPUtime=0.09
/proc/25428/stat : 25428 (CirCUs) R 25426 25428 25184 0 -1 4194304 1347 0 0 0 9 0 0 0 18 0 1 120000 1148382448 6213632 1298 1992294400 134512640 135224549 4294956208 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25428/statm: 1517 1298 77 173 0 1342 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6068

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

[startup+0.201808 s]
/proc/loadavg: 1.66 1.74 1.40 3/70 25428
/proc/meminfo: memFree=1658192/2055920 swapFree=4170592/4192956
[pid=25428] ppid=25426 vsize=6464 CPUtime=0.19
/proc/25428/stat : 25428 (CirCUs) R 25426 25428 25184 0 -1 4194304 1445 0 0 0 19 0 0 0 18 0 1 120000 1148382448 6619136 1396 1992294400 134512640 135224549 4294956208 18446744073709551615 134580271 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25428/statm: 1616 1396 77 173 0 1441 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6464

Child status: 0
Real time (s): 0.296767
CPU time (s): 0.289955
CPU user time (s): 0.280957
CPU system time (s): 0.008998
CPU usage (%): 97.7046
Max. virtual memory (cumulated for all children) (KiB): 6464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.280957
system time used= 0.008998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1571
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= 53
involuntary context switches= 2

runsolver used 0.004999 second user time and 0.013997 second system time

The end

Launcher Data 

Begin job on node45 at 2009-04-03 13:13:18
IDJOB=1560467
IDBENCH=70896
IDSOLVER=544
FILE ID=node45/1560467-1238757198
PBS_JOBID= 9085451
Free space on /tmp= 66460 MiB

SOLVER NAME= CircUs 2009-03-23
BENCH NAME= SAT09/APPLICATIONS/aprove09/AProVE09-22.cnf
COMMAND LINE= HOME/CirCUs BENCHNAME -t TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1560467-1238757198/watcher-1560467-1238757198 -o /tmp/evaluation-result-1560467-1238757198/solver-1560467-1238757198 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/CirCUs HOME/instance-1560467-1238757198.cnf -t 1200

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

MD5SUM BENCH= f83b70dc0ecb0b7df1f39f8d066a5804
RANDOM SEED=1501330057

node45.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.285
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.285
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:       1658608 kB
Buffers:         75772 kB
Cached:         226752 kB
SwapCached:      11568 kB
Active:         108336 kB
Inactive:       207284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1658608 kB
SwapTotal:     4192956 kB
SwapFree:      4170592 kB
Dirty:            1680 kB
Writeback:           0 kB
Mapped:          18752 kB
Slab:            66992 kB
Committed_AS:  2919320 kB
PageTables:       1908 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66460 MiB
End job on node45 at 2009-04-03 13:13:19