Trace number 1562065

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
SATzilla2009_I 2009-03-22SAT 51.6411 52.0006

General information on the benchmark

NameCRAFTED/edgematching/
all/em_11_3_4_all.cnf
MD5SUMb5f22052db8fb297f6b37016642b1821
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.66875
Satisfiable
(Un)Satisfiability was proved
Number of variables8713
Number of clauses414651
Sum of the clauses size965249
Maximum clause length81
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2325818
Number of clauses of size 367270
Number of clauses of size 410556
Number of clauses of size 510773
Number of clauses of size over 5234

Solver Data

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

Verifier Data

OK

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1562065-1238770301/watcher-1562065-1238770301 -o /tmp/evaluation-result-1562065-1238770301/solver-1562065-1238770301 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_I HOME/instance-1562065-1238770301.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.99 1.98 1.99 4/85 12630
/proc/meminfo: memFree=1764104/2055920 swapFree=4170404/4192956
[pid=12630] ppid=12628 vsize=2056 CPUtime=0
/proc/12630/stat : 12630 (SATzilla2009_I) S 12628 12630 12274 0 -1 4194304 132 0 0 0 0 0 0 0 20 0 1 0 1149691174 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12630/statm: 514 112 96 399 0 111 0
[pid=12631] ppid=12630 vsize=6956 CPUtime=0
/proc/12631/stat : 12631 (mxc-sr08) R 12630 12630 12274 0 -1 4194304 218 0 0 0 0 0 0 0 22 0 1 0 1149691174 7122944 214 1992294400 134512640 135078026 4294956192 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12631/statm: 1739 214 44 138 0 1598 0

[startup+0.0817879 s]
/proc/loadavg: 1.99 1.98 1.99 4/85 12630
/proc/meminfo: memFree=1764104/2055920 swapFree=4170404/4192956
[pid=12630] ppid=12628 vsize=2056 CPUtime=0
/proc/12630/stat : 12630 (SATzilla2009_I) S 12628 12630 12274 0 -1 4194304 132 0 0 0 0 0 0 0 20 0 1 0 1149691174 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12630/statm: 514 112 96 399 0 111 0
[pid=12631] ppid=12630 vsize=14356 CPUtime=0.06
/proc/12631/stat : 12631 (mxc-sr08) R 12630 12630 12274 0 -1 4194304 3323 0 0 0 5 1 0 0 22 0 1 0 1149691174 14700544 3318 1992294400 134512640 135078026 4294956192 18446744073709551615 134544010 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12631/statm: 3589 3318 54 138 0 3448 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16412

[startup+0.102787 s]
/proc/loadavg: 1.99 1.98 1.99 4/85 12630
/proc/meminfo: memFree=1764104/2055920 swapFree=4170404/4192956
[pid=12630] ppid=12628 vsize=2056 CPUtime=0
/proc/12630/stat : 12630 (SATzilla2009_I) S 12628 12630 12274 0 -1 4194304 132 0 0 0 0 0 0 0 20 0 1 0 1149691174 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12630/statm: 514 112 96 399 0 111 0
[pid=12631] ppid=12630 vsize=15808 CPUtime=0.08
/proc/12631/stat : 12631 (mxc-sr08) R 12630 12630 12274 0 -1 4194304 3777 0 0 0 7 1 0 0 22 0 1 0 1149691174 16187392 3772 1992294400 134512640 135078026 4294956192 18446744073709551615 134565275 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12631/statm: 3952 3772 54 138 0 3811 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17864

[startup+0.302808 s]
/proc/loadavg: 1.99 1.98 1.99 4/85 12630
/proc/meminfo: memFree=1764104/2055920 swapFree=4170404/4192956
[pid=12630] ppid=12628 vsize=2056 CPUtime=0
/proc/12630/stat : 12630 (SATzilla2009_I) S 12628 12630 12274 0 -1 4194304 132 0 0 0 0 0 0 0 20 0 1 0 1149691174 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12630/statm: 514 112 96 399 0 111 0
[pid=12631] ppid=12630 vsize=26004 CPUtime=0.29
/proc/12631/stat : 12631 (mxc-sr08) R 12630 12630 12274 0 -1 4194304 7776 0 0 0 26 3 0 0 23 0 1 0 1149691174 26628096 6215 1992294400 134512640 135078026 4294956192 18446744073709551615 134560895 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12631/statm: 6501 6215 55 138 0 6360 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28060

[startup+0.702845 s]
/proc/loadavg: 1.99 1.98 1.99 4/85 12630
/proc/meminfo: memFree=1764104/2055920 swapFree=4170404/4192956
[pid=12630] ppid=12628 vsize=2056 CPUtime=0
/proc/12630/stat : 12630 (SATzilla2009_I) S 12628 12630 12274 0 -1 4194304 132 0 0 0 0 0 0 0 20 0 1 0 1149691174 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12630/statm: 514 112 96 399 0 111 0
[pid=12631] ppid=12630 vsize=26004 CPUtime=0.69
/proc/12631/stat : 12631 (mxc-sr08) R 12630 12630 12274 0 -1 4194304 7776 0 0 0 66 3 0 0 25 0 1 0 1149691174 26628096 6215 1992294400 134512640 135078026 4294956192 18446744073709551615 134561080 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12631/statm: 6501 6215 55 138 0 6360 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28060

[startup+1.50293 s]
/proc/loadavg: 1.99 1.98 1.99 3/87 12632
/proc/meminfo: memFree=1739000/2055920 swapFree=4170404/4192956
[pid=12630] ppid=12628 vsize=2056 CPUtime=0
/proc/12630/stat : 12630 (SATzilla2009_I) S 12628 12630 12274 0 -1 4194304 132 0 0 0 0 0 0 0 20 0 1 0 1149691174 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12630/statm: 514 112 96 399 0 111 0
[pid=12631] ppid=12630 vsize=28284 CPUtime=1.48
/proc/12631/stat : 12631 (mxc-sr08) R 12630 12630 12274 0 -1 4194304 8177 0 0 0 145 3 0 0 25 0 1 0 1149691174 28962816 6616 1992294400 134512640 135078026 4294956192 18446744073709551615 134560893 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12631/statm: 7071 6616 55 138 0 6930 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 30340

[startup+3.10109 s]
/proc/loadavg: 1.99 1.98 1.99 3/87 12632
/proc/meminfo: memFree=1738552/2055920 swapFree=4170404/4192956
[pid=12630] ppid=12628 vsize=2056 CPUtime=0
/proc/12630/stat : 12630 (SATzilla2009_I) S 12628 12630 12274 0 -1 4194304 132 0 0 0 0 0 0 0 20 0 1 0 1149691174 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12630/statm: 514 112 96 399 0 111 0
[pid=12631] ppid=12630 vsize=27060 CPUtime=3.07
/proc/12631/stat : 12631 (mxc-sr08) R 12630 12630 12274 0 -1 4194304 8937 0 0 0 304 3 0 0 25 0 1 0 1149691174 27709440 6545 1992294400 134512640 135078026 4294956192 18446744073709551615 134735920 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12631/statm: 6765 6545 71 138 0 6624 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 29116

[startup+6.30141 s]
/proc/loadavg: 1.99 1.98 1.99 3/87 12632
/proc/meminfo: memFree=1736440/2055920 swapFree=4170404/4192956
[pid=12630] ppid=12628 vsize=2056 CPUtime=0
/proc/12630/stat : 12630 (SATzilla2009_I) S 12628 12630 12274 0 -1 4194304 132 0 0 0 0 0 0 0 20 0 1 0 1149691174 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12630/statm: 514 112 96 399 0 111 0
[pid=12631] ppid=12630 vsize=30372 CPUtime=6.24
/proc/12631/stat : 12631 (mxc-sr08) R 12630 12630 12274 0 -1 4194304 9738 0 0 0 620 4 0 0 25 0 1 0 1149691174 31100928 7346 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12631/statm: 7593 7346 71 138 0 7452 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 32428

[startup+12.701 s]
/proc/loadavg: 1.99 1.98 1.99 3/87 12633
/proc/meminfo: memFree=1747256/2055920 swapFree=4170404/4192956
[pid=12630] ppid=12628 vsize=2056 CPUtime=9.99
/proc/12630/stat : 12630 (SATzilla2009_I) S 12628 12630 12274 0 -1 4194304 152 10589 0 0 0 0 994 5 19 0 1 0 1149691174 2105344 121 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12630/statm: 514 121 104 399 0 111 0
[pid=12633] ppid=12630 vsize=19676 CPUtime=2.6
/proc/12633/stat : 12633 (picosat846) R 12630 12630 12274 0 -1 4194304 4535 0 0 0 257 3 0 0 25 0 1 0 1149692182 20148224 4514 1992294400 134512640 134570484 4294956192 18446744073709551615 134563637 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12633/statm: 4919 4514 85 14 0 4585 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 21732

[startup+25.5013 s]
/proc/loadavg: 1.99 1.98 1.99 3/86 12635
/proc/meminfo: memFree=1716608/2055920 swapFree=4170404/4192956
[pid=12630] ppid=12628 vsize=43528 CPUtime=25.31
/proc/12630/stat : 12630 (SATzilla2009_I) R 12628 12630 12274 0 -1 4194304 14310 30335 0 0 349 8 2149 25 25 0 1 0 1149691174 44572672 10479 1992294400 134512640 136149169 4294956224 18446744073709551615 134846603 0 0 4096 3 0 0 0 17 1 0 0
/proc/12630/statm: 10882 10479 152 399 0 10479 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 43528

[startup+51.1029 s]
/proc/loadavg: 2.06 2.00 2.00 3/87 12636
/proc/meminfo: memFree=1698488/2055920 swapFree=4170404/4192956
[pid=12630] ppid=12628 vsize=20980 CPUtime=28.41
/proc/12630/stat : 12630 (SATzilla2009_I) S 12628 12630 12274 0 -1 4194304 18105 30335 0 0 653 14 2149 25 25 0 1 0 1149691174 21483520 5015 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/12630/statm: 5245 5015 217 399 0 4842 0
[pid=12636] ppid=12630 vsize=43040 CPUtime=22.32
/proc/12636/stat : 12636 (picosat846) R 12630 12630 12274 0 -1 4194304 10345 0 0 0 2226 6 0 0 25 0 1 0 1149694036 44072960 10324 1992294400 134512640 134570484 4294956192 18446744073709551615 134526654 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12636/statm: 10760 10324 85 14 0 10426 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 64020

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

[startup+51.5029 s]
/proc/loadavg: 2.06 2.00 2.00 3/87 12636
/proc/meminfo: memFree=1698488/2055920 swapFree=4170404/4192956
[pid=12630] ppid=12628 vsize=20980 CPUtime=28.41
/proc/12630/stat : 12630 (SATzilla2009_I) S 12628 12630 12274 0 -1 4194304 18105 30335 0 0 653 14 2149 25 25 0 1 0 1149691174 21483520 5015 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/12630/statm: 5245 5015 217 399 0 4842 0
[pid=12636] ppid=12630 vsize=43568 CPUtime=22.72
/proc/12636/stat : 12636 (picosat846) R 12630 12630 12274 0 -1 4194304 10480 0 0 0 2266 6 0 0 25 0 1 0 1149694036 44613632 10459 1992294400 134512640 134570484 4294956192 18446744073709551615 134553070 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12636/statm: 10892 10459 85 14 0 10558 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 64548

[startup+51.9029 s]
/proc/loadavg: 2.06 2.00 2.00 3/87 12636
/proc/meminfo: memFree=1697208/2055920 swapFree=4170404/4192956
[pid=12630] ppid=12628 vsize=20980 CPUtime=28.41
/proc/12630/stat : 12630 (SATzilla2009_I) S 12628 12630 12274 0 -1 4194304 18105 30335 0 0 653 14 2149 25 25 0 1 0 1149691174 21483520 5015 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/12630/statm: 5245 5015 217 399 0 4842 0
[pid=12636] ppid=12630 vsize=43964 CPUtime=23.11
/proc/12636/stat : 12636 (picosat846) R 12630 12630 12274 0 -1 4194304 10587 0 0 0 2305 6 0 0 25 0 1 0 1149694036 45019136 10566 1992294400 134512640 134570484 4294956192 18446744073709551615 134551721 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12636/statm: 10991 10566 85 14 0 10657 0
Current children cumulated CPU time (s) 51.52
Current children cumulated vsize (KiB) 64944

Child status: 10
Real time (s): 52.0006
CPU time (s): 51.6411
CPU user time (s): 51.1502
CPU system time (s): 0.490925
CPU usage (%): 99.3087
Max. virtual memory (cumulated for all children) (KiB): 64944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.1502
system time used= 0.490925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59064
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= 18
involuntary context switches= 1255

runsolver used 0.081987 second user time and 0.225965 second system time

The end

Launcher Data

Begin job on node70 at 2009-04-03 16:51:42
IDJOB=1562065
IDBENCH=70927
IDSOLVER=528
FILE ID=node70/1562065-1238770301
PBS_JOBID= 9085506
Free space on /tmp= 66476 MiB

SOLVER NAME= SATzilla2009_I 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/edgematching/all/em_11_3_4_all.cnf
COMMAND LINE= HOME/SATzilla2009_I BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1562065-1238770301/watcher-1562065-1238770301 -o /tmp/evaluation-result-1562065-1238770301/solver-1562065-1238770301 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/SATzilla2009_I HOME/instance-1562065-1238770301.cnf

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

MD5SUM BENCH= b5f22052db8fb297f6b37016642b1821
RANDOM SEED=1900953879

node70.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1764584 kB
Buffers:         37088 kB
Cached:         174632 kB
SwapCached:       8328 kB
Active:         111008 kB
Inactive:       110568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1764584 kB
SwapTotal:     4192956 kB
SwapFree:      4170404 kB
Dirty:           37728 kB
Writeback:           0 kB
Mapped:          15440 kB
Slab:            54004 kB
Committed_AS:  2266120 kB
PageTables:       2556 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66444 MiB
End job on node70 at 2009-04-03 16:52:34