Trace number 3310367

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
ppfolio parSAT 4.80027 0.733762

General information on the benchmark

NameSAT04/industrial/vangelder/cnf-color/
abb313GPIA-9-tr.used-as.sat04-321.cnf
MD5SUM6c3ea795f258ba82c81e44969c0c5fb4
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.40479
Satisfiable
(Un)Satisfiability was proved
Number of variables14013
Number of clauses481761
Sum of the clauses size974385
Maximum clause length9
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2480205
Number of clauses of size 31
Number of clauses of size 41
Number of clauses of size 51
Number of clauses of size over 51552

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3310367-1304018994/watcher-3310367-1304018994 -o /tmp/evaluation-result-3310367-1304018994/solver-3310367-1304018994 -C 40000 -W 5100 -M 31000 ppfolio HOME/instance-3310367-1304018994.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.36 7.87 7.96 1/170 11419
/proc/meminfo: memFree=17979872/32951124 swapFree=67111528/67111528
[pid=11419] ppid=11417 vsize=18324 CPUtime=0 cores=0-7
/proc/11419/stat : 11419 (ppfolio) S 11417 11419 11004 0 -1 4202496 520 0 0 0 0 0 0 0 25 0 1 0 513502033 18763776 389 33554432000 4194304 4287625 140735019840544 18446744073709551615 216634535439 0 0 4096 65536 7113127340154028031 0 0 17 6 0 0 0
/proc/11419/statm: 4581 389 341 23 0 91 0

[startup+0.0890191 s]
/proc/loadavg: 7.36 7.87 7.96 1/170 11419
/proc/meminfo: memFree=17979872/32951124 swapFree=67111528/67111528
[pid=11419] ppid=11417 vsize=18324 CPUtime=0 cores=0-7
/proc/11419/stat : 11419 (ppfolio) S 11417 11419 11004 0 -1 4202496 520 0 0 0 0 0 0 0 25 0 1 0 513502033 18763776 389 33554432000 4194304 4287625 140735019840544 18446744073709551615 216634535439 0 0 4096 65536 7113127340154028031 0 0 17 6 0 0 0
/proc/11419/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.101011 s]
/proc/loadavg: 7.36 7.87 7.96 1/170 11419
/proc/meminfo: memFree=17979872/32951124 swapFree=67111528/67111528
[pid=11419] ppid=11417 vsize=18324 CPUtime=0 cores=0-7
/proc/11419/stat : 11419 (ppfolio) S 11417 11419 11004 0 -1 4202496 520 0 0 0 0 0 0 0 25 0 1 0 513502033 18763776 389 33554432000 4194304 4287625 140735019840544 18446744073709551615 216634535439 0 0 4096 65536 7113127340154028031 0 0 17 6 0 0 0
/proc/11419/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.30098 s]
/proc/loadavg: 7.36 7.87 7.96 1/170 11419
/proc/meminfo: memFree=17979872/32951124 swapFree=67111528/67111528
[pid=11419] ppid=11417 vsize=18324 CPUtime=0 cores=0-7
/proc/11419/stat : 11419 (ppfolio) S 11417 11419 11004 0 -1 4202496 520 0 0 0 0 0 0 0 23 0 1 0 513502033 18763776 389 33554432000 4194304 4287625 140735019840544 18446744073709551615 216634535439 0 0 4096 65536 7113127340154028031 0 0 17 4 0 0 0
/proc/11419/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700878 s]
/proc/loadavg: 7.36 7.87 7.96 1/170 11419
/proc/meminfo: memFree=17979872/32951124 swapFree=67111528/67111528
[pid=11419] ppid=11417 vsize=18324 CPUtime=0 cores=0-7
/proc/11419/stat : 11419 (ppfolio) S 11417 11419 11004 0 -1 4202496 520 0 0 0 0 0 0 0 20 0 1 0 513502033 18763776 389 33554432000 4194304 4287625 140735019840544 18446744073709551615 216634535439 0 0 4096 65536 7113127340154028031 0 0 17 4 0 0 0
/proc/11419/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

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

Child status: 0
Real time (s): 0.733762
CPU time (s): 4.80027
CPU user time (s): 4.65729
CPU system time (s): 0.142978
CPU usage (%): 654.2
Max. virtual memory (cumulated for all children) (KiB): 18324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.65729
system time used= 0.142978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88791
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= 259
involuntary context switches= 57

runsolver used 0.003999 second user time and 0.007998 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-28 21:29:54
IDJOB=3310367
IDBENCH=84802
IDSOLVER=1638
FILE ID=node103/3310367-1304018994
RUNJOBID= node103-1304008886-11018
PBS_JOBID= 13168844
Free space on /tmp= 71512 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-tr.used-as.sat04-321.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3310367-1304018994/watcher-3310367-1304018994 -o /tmp/evaluation-result-3310367-1304018994/solver-3310367-1304018994 -C 40000 -W 5100 -M 31000  ppfolio HOME/instance-3310367-1304018994.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 6c3ea795f258ba82c81e44969c0c5fb4
RANDOM SEED=2947105

node103.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17980152 kB
Buffers:       2143512 kB
Cached:       12179688 kB
SwapCached:          0 kB
Active:        5504724 kB
Inactive:      8881888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17980152 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           16676 kB
Writeback:           0 kB
AnonPages:       63312 kB
Mapped:          14696 kB
Slab:           517664 kB
PageTables:       4664 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   184692 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71500 MiB
End job on node103 at 2011-04-28 21:29:55