Trace number 1562045

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
picosat 913SAT 43.9143 43.9412

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

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

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-1562045-1238770167/watcher-1562045-1238770167 -o /tmp/evaluation-result-1562045-1238770167/solver-1562045-1238770167 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1562045-1238770167.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: 0.92 0.98 1.05 3/81 9184
/proc/meminfo: memFree=1810800/2055920 swapFree=4169716/4192956
[pid=9184] ppid=9182 vsize=1472 CPUtime=0
/proc/9184/stat : 9184 (picosat) R 9182 9184 8339 0 -1 4194304 250 0 0 0 0 0 0 0 20 0 1 0 503345578 1507328 235 1992294400 134512640 135137933 4294956224 18446744073709551615 134689438 0 0 4096 0 0 0 0 17 1 0 0
/proc/9184/statm: 368 235 56 152 0 214 0

[startup+0.0999541 s]
/proc/loadavg: 0.92 0.98 1.05 3/81 9184
/proc/meminfo: memFree=1810800/2055920 swapFree=4169716/4192956
[pid=9184] ppid=9182 vsize=4508 CPUtime=0.09
/proc/9184/stat : 9184 (picosat) R 9182 9184 8339 0 -1 4194304 1014 0 0 0 9 0 0 0 20 0 1 0 503345578 4616192 999 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/9184/statm: 1127 999 56 152 0 973 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4508

[startup+0.101953 s]
/proc/loadavg: 0.92 0.98 1.05 3/81 9184
/proc/meminfo: memFree=1810800/2055920 swapFree=4169716/4192956
[pid=9184] ppid=9182 vsize=4508 CPUtime=0.09
/proc/9184/stat : 9184 (picosat) R 9182 9184 8339 0 -1 4194304 1031 0 0 0 9 0 0 0 20 0 1 0 503345578 4616192 1016 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/9184/statm: 1127 1018 56 152 0 973 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4508

[startup+0.301972 s]
/proc/loadavg: 0.92 0.98 1.05 3/81 9184
/proc/meminfo: memFree=1810800/2055920 swapFree=4169716/4192956
[pid=9184] ppid=9182 vsize=8724 CPUtime=0.29
/proc/9184/stat : 9184 (picosat) R 9182 9184 8339 0 -1 4194304 2032 0 0 0 28 1 0 0 22 0 1 0 503345578 8933376 2017 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/9184/statm: 2181 2017 61 152 0 2027 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8724

[startup+0.702012 s]
/proc/loadavg: 0.92 0.98 1.05 3/81 9184
/proc/meminfo: memFree=1810800/2055920 swapFree=4169716/4192956
[pid=9184] ppid=9182 vsize=9120 CPUtime=0.69
/proc/9184/stat : 9184 (picosat) R 9182 9184 8339 0 -1 4194304 2134 0 0 0 68 1 0 0 25 0 1 0 503345578 9338880 2119 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/9184/statm: 2280 2119 69 152 0 2126 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9120

[startup+1.50109 s]
/proc/loadavg: 0.92 0.98 1.05 2/82 9185
/proc/meminfo: memFree=1801960/2055920 swapFree=4169716/4192956
[pid=9184] ppid=9182 vsize=10444 CPUtime=1.48
/proc/9184/stat : 9184 (picosat) R 9182 9184 8339 0 -1 4194304 2486 0 0 0 147 1 0 0 25 0 1 0 503345578 10694656 2471 1992294400 134512640 135137933 4294956224 18446744073709551615 134547502 0 0 4096 0 0 0 0 17 1 0 0
/proc/9184/statm: 2611 2471 69 152 0 2457 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10444

[startup+3.10125 s]
/proc/loadavg: 0.92 0.98 1.05 2/82 9185
/proc/meminfo: memFree=1799976/2055920 swapFree=4169716/4192956
[pid=9184] ppid=9182 vsize=13612 CPUtime=3.09
/proc/9184/stat : 9184 (picosat) R 9182 9184 8339 0 -1 4194304 3260 0 0 0 307 2 0 0 25 0 1 0 503345578 13938688 3245 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/9184/statm: 3403 3245 69 152 0 3249 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13612

[startup+6.30156 s]
/proc/loadavg: 1.01 1.00 1.05 2/82 9185
/proc/meminfo: memFree=1793192/2055920 swapFree=4169716/4192956
[pid=9184] ppid=9182 vsize=19948 CPUtime=6.29
/proc/9184/stat : 9184 (picosat) R 9182 9184 8339 0 -1 4194304 4844 0 0 0 626 3 0 0 25 0 1 0 503345578 20426752 4829 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/9184/statm: 4987 4829 69 152 0 4833 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19948

[startup+12.7012 s]
/proc/loadavg: 1.01 1.00 1.05 2/82 9185
/proc/meminfo: memFree=1781672/2055920 swapFree=4169716/4192956
[pid=9184] ppid=9182 vsize=30640 CPUtime=12.69
/proc/9184/stat : 9184 (picosat) R 9182 9184 8339 0 -1 4194304 7510 0 0 0 1264 5 0 0 25 0 1 0 503345578 31375360 7495 1992294400 134512640 135137933 4294956224 18446744073709551615 134542919 0 0 4096 0 0 0 0 17 1 0 0
/proc/9184/statm: 7660 7495 69 152 0 7506 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30640

[startup+25.5025 s]
/proc/loadavg: 1.00 1.00 1.05 2/82 9185
/proc/meminfo: memFree=1758888/2055920 swapFree=4169716/4192956
[pid=9184] ppid=9182 vsize=52832 CPUtime=25.48
/proc/9184/stat : 9184 (picosat) R 9182 9184 8339 0 -1 4194304 13059 0 0 0 2539 9 0 0 25 0 1 0 503345578 54099968 13044 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/9184/statm: 13208 13044 69 152 0 13054 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52832

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

[startup+31.9061 s]
/proc/loadavg: 1.00 1.00 1.05 2/82 9185
/proc/meminfo: memFree=1749288/2055920 swapFree=4169716/4192956
[pid=9184] ppid=9182 vsize=62336 CPUtime=31.88
/proc/9184/stat : 9184 (picosat) R 9182 9184 8339 0 -1 4194304 15373 0 0 0 3178 10 0 0 25 0 1 0 503345578 63832064 15358 1992294400 134512640 135137933 4294956224 18446744073709551615 134553618 0 0 4096 0 0 0 0 17 1 0 0
/proc/9184/statm: 15584 15358 69 152 0 15430 0
Current children cumulated CPU time (s) 31.88
Current children cumulated vsize (KiB) 62336

[startup+38.3017 s]
/proc/loadavg: 1.00 1.00 1.05 2/82 9185
/proc/meminfo: memFree=1742696/2055920 swapFree=4169716/4192956
[pid=9184] ppid=9182 vsize=70656 CPUtime=38.27
/proc/9184/stat : 9184 (picosat) R 9182 9184 8339 0 -1 4194304 17477 0 0 0 3816 11 0 0 25 0 1 0 503345578 72351744 17462 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/9184/statm: 17664 17462 69 152 0 17510 0
Current children cumulated CPU time (s) 38.27
Current children cumulated vsize (KiB) 70656

[startup+41.501 s]
/proc/loadavg: 1.00 1.00 1.05 2/82 9185
/proc/meminfo: memFree=1736552/2055920 swapFree=4169716/4192956
[pid=9184] ppid=9182 vsize=76332 CPUtime=41.47
/proc/9184/stat : 9184 (picosat) R 9182 9184 8339 0 -1 4194304 18901 0 0 0 4135 12 0 0 25 0 1 0 503345578 78163968 18886 1992294400 134512640 135137933 4294956224 18446744073709551615 134543494 0 0 4096 0 0 0 0 17 1 0 0
/proc/9184/statm: 19083 18886 69 152 0 18929 0
Current children cumulated CPU time (s) 41.47
Current children cumulated vsize (KiB) 76332

[startup+43.1012 s]
/proc/loadavg: 1.00 1.00 1.05 2/82 9185
/proc/meminfo: memFree=1733224/2055920 swapFree=4169716/4192956
[pid=9184] ppid=9182 vsize=78580 CPUtime=43.07
/proc/9184/stat : 9184 (picosat) R 9182 9184 8339 0 -1 4194304 19450 0 0 0 4295 12 0 0 25 0 1 0 503345578 80465920 19435 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/9184/statm: 19645 19435 69 152 0 19491 0
Current children cumulated CPU time (s) 43.07
Current children cumulated vsize (KiB) 78580

[startup+43.5012 s]
/proc/loadavg: 1.00 1.00 1.05 2/82 9185
/proc/meminfo: memFree=1733224/2055920 swapFree=4169716/4192956
[pid=9184] ppid=9182 vsize=79240 CPUtime=43.47
/proc/9184/stat : 9184 (picosat) R 9182 9184 8339 0 -1 4194304 19640 0 0 0 4335 12 0 0 25 0 1 0 503345578 81141760 19625 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/9184/statm: 19810 19625 69 152 0 19656 0
Current children cumulated CPU time (s) 43.47
Current children cumulated vsize (KiB) 79240

[startup+43.9013 s]
/proc/loadavg: 1.00 1.00 1.05 2/82 9185
/proc/meminfo: memFree=1731432/2055920 swapFree=4169716/4192956
[pid=9184] ppid=9182 vsize=79900 CPUtime=43.87
/proc/9184/stat : 9184 (picosat) R 9182 9184 8339 0 -1 4194304 19800 0 0 0 4375 12 0 0 16 0 1 0 503345578 81817600 19785 1992294400 134512640 135137933 4294956224 18446744073709551615 134658792 0 0 4096 0 0 0 0 17 1 0 0
/proc/9184/statm: 19975 19785 69 152 0 19821 0
Current children cumulated CPU time (s) 43.87
Current children cumulated vsize (KiB) 79900

Child status: 10
Real time (s): 43.9412
CPU time (s): 43.9143
CPU user time (s): 43.7723
CPU system time (s): 0.141978
CPU usage (%): 99.9389
Max. virtual memory (cumulated for all children) (KiB): 79900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.7723
system time used= 0.141978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19802
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= 16
involuntary context switches= 74

runsolver used 0.056991 second user time and 0.161975 second system time

The end

Launcher Data

Begin job on node89 at 2009-04-03 16:49:27
IDJOB=1562045
IDBENCH=70927
IDSOLVER=506
FILE ID=node89/1562045-1238770167
PBS_JOBID= 9085500
Free space on /tmp= 66512 MiB

SOLVER NAME= picosat 913
BENCH NAME= SAT09/APPLICATIONS/edgematching/all/em_11_3_4_all.cnf
COMMAND LINE= HOME/picosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1562045-1238770167/watcher-1562045-1238770167 -o /tmp/evaluation-result-1562045-1238770167/solver-1562045-1238770167 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/picosat HOME/instance-1562045-1238770167.cnf

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

MD5SUM BENCH= b5f22052db8fb297f6b37016642b1821
RANDOM SEED=685267886

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1811216 kB
Buffers:         21288 kB
Cached:         138112 kB
SwapCached:      12436 kB
Active:          47144 kB
Inactive:       126208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1811216 kB
SwapTotal:     4192956 kB
SwapFree:      4169716 kB
Dirty:            6932 kB
Writeback:           0 kB
Mapped:          19632 kB
Slab:            55548 kB
Committed_AS:  1667324 kB
PageTables:       2600 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= 66512 MiB
End job on node89 at 2009-04-03 16:50:11