Trace number 1561889

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 56.6204 56.6387

General information on the benchmark

NameCRAFTED/edgematching/
all/em_12_2_4_all.cnf
MD5SUM1f3d58bff37113168b2896e46d348bef
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.16782
Satisfiable
(Un)Satisfiability was proved
Number of variables12584
Number of clauses729136
Sum of the clauses size1670768
Maximum clause length100
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2590828
Number of clauses of size 3103200
Number of clauses of size 417828
Number of clauses of size 517000
Number of clauses of size over 5280

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

[startup+0.0772199 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25405
/proc/meminfo: memFree=1711632/2055920 swapFree=4176732/4192956
[pid=25405] ppid=25403 vsize=3508 CPUtime=0.07
/proc/25405/stat : 25405 (picosat) R 25403 25405 25309 0 -1 4194304 765 0 0 0 7 0 0 0 18 0 1 0 1149610585 3592192 750 1992294400 134512640 135137933 4294956224 18446744073709551615 134689438 0 0 4096 0 0 0 0 17 1 0 0
/proc/25405/statm: 877 750 56 152 0 723 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3508

[startup+0.101221 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25405
/proc/meminfo: memFree=1711632/2055920 swapFree=4176732/4192956
[pid=25405] ppid=25403 vsize=4036 CPUtime=0.09
/proc/25405/stat : 25405 (picosat) R 25403 25405 25309 0 -1 4194304 919 0 0 0 9 0 0 0 18 0 1 0 1149610585 4132864 904 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/25405/statm: 1009 904 56 152 0 855 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4036

[startup+0.301239 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25405
/proc/meminfo: memFree=1711632/2055920 swapFree=4176732/4192956
[pid=25405] ppid=25403 vsize=10888 CPUtime=0.29
/proc/25405/stat : 25405 (picosat) R 25403 25405 25309 0 -1 4194304 2581 0 0 0 28 1 0 0 19 0 1 0 1149610585 11149312 2566 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/25405/statm: 2722 2566 56 152 0 2568 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10888

[startup+0.701274 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25405
/proc/meminfo: memFree=1711632/2055920 swapFree=4176732/4192956
[pid=25405] ppid=25403 vsize=13116 CPUtime=0.69
/proc/25405/stat : 25405 (picosat) R 25403 25405 25309 0 -1 4194304 3050 0 0 0 67 2 0 0 22 0 1 0 1149610585 13430784 3035 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/25405/statm: 3279 3035 61 152 0 3125 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13116

[startup+1.50135 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 25406
/proc/meminfo: memFree=1699592/2055920 swapFree=4176732/4192956
[pid=25405] ppid=25403 vsize=13908 CPUtime=1.49
/proc/25405/stat : 25405 (picosat) R 25403 25405 25309 0 -1 4194304 3265 0 0 0 147 2 0 0 25 0 1 0 1149610585 14241792 3250 1992294400 134512640 135137933 4294956224 18446744073709551615 134553702 0 0 4096 0 0 0 0 17 1 0 0
/proc/25405/statm: 3477 3250 69 152 0 3323 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13908

[startup+3.10149 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 25406
/proc/meminfo: memFree=1697928/2055920 swapFree=4176732/4192956
[pid=25405] ppid=25403 vsize=16424 CPUtime=3.09
/proc/25405/stat : 25405 (picosat) R 25403 25405 25309 0 -1 4194304 3892 0 0 0 306 3 0 0 25 0 1 0 1149610585 16818176 3877 1992294400 134512640 135137933 4294956224 18446744073709551615 134569918 0 0 4096 0 0 0 0 17 1 0 0
/proc/25405/statm: 4106 3877 69 152 0 3952 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16424

[startup+6.30178 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 25406
/proc/meminfo: memFree=1692808/2055920 swapFree=4176732/4192956
[pid=25405] ppid=25403 vsize=21176 CPUtime=6.29
/proc/25405/stat : 25405 (picosat) R 25403 25405 25309 0 -1 4194304 5081 0 0 0 626 3 0 0 25 0 1 0 1149610585 21684224 5066 1992294400 134512640 135137933 4294956224 18446744073709551615 134553584 0 0 4096 0 0 0 0 17 1 0 0
/proc/25405/statm: 5294 5066 69 152 0 5140 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21176

[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 25406
/proc/meminfo: memFree=1681944/2055920 swapFree=4176732/4192956
[pid=25405] ppid=25403 vsize=31476 CPUtime=12.69
/proc/25405/stat : 25405 (picosat) R 25403 25405 25309 0 -1 4194304 7646 0 0 0 1263 6 0 0 25 0 1 0 1149610585 32231424 7631 1992294400 134512640 135137933 4294956224 18446744073709551615 134552026 0 0 4096 0 0 0 0 17 1 0 0
/proc/25405/statm: 7869 7631 69 152 0 7715 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31476

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 25406
/proc/meminfo: memFree=1663704/2055920 swapFree=4176732/4192956
[pid=25405] ppid=25403 vsize=49568 CPUtime=25.48
/proc/25405/stat : 25405 (picosat) R 25403 25405 25309 0 -1 4194304 12147 0 0 0 2540 8 0 0 25 0 1 0 1149610585 50757632 12132 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/25405/statm: 12392 12132 69 152 0 12238 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49568

[startup+51.1018 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 25406
/proc/meminfo: memFree=1631768/2055920 swapFree=4176732/4192956
[pid=25405] ppid=25403 vsize=81664 CPUtime=51.08
/proc/25405/stat : 25405 (picosat) R 25403 25405 25309 0 -1 4194304 20148 0 0 0 5094 14 0 0 25 0 1 0 1149610585 83623936 20133 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/25405/statm: 20416 20133 69 152 0 20262 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 81664

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

[startup+54.3011 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 25406
/proc/meminfo: memFree=1626456/2055920 swapFree=4176732/4192956
[pid=25405] ppid=25403 vsize=87208 CPUtime=54.28
/proc/25405/stat : 25405 (picosat) R 25403 25405 25309 0 -1 4194304 21546 0 0 0 5413 15 0 0 25 0 1 0 1149610585 89300992 21531 1992294400 134512640 135137933 4294956224 18446744073709551615 134553611 0 0 4096 0 0 0 0 17 1 0 0
/proc/25405/statm: 21802 21531 69 152 0 21648 0
Current children cumulated CPU time (s) 54.28
Current children cumulated vsize (KiB) 87208

[startup+55.9012 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 25406
/proc/meminfo: memFree=1624408/2055920 swapFree=4176732/4192956
[pid=25405] ppid=25403 vsize=89848 CPUtime=55.88
/proc/25405/stat : 25405 (picosat) R 25403 25405 25309 0 -1 4194304 22202 0 0 0 5573 15 0 0 25 0 1 0 1149610585 92004352 22187 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/25405/statm: 22462 22187 69 152 0 22308 0
Current children cumulated CPU time (s) 55.88
Current children cumulated vsize (KiB) 89848

[startup+56.3013 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 25406
/proc/meminfo: memFree=1622808/2055920 swapFree=4176732/4192956
[pid=25405] ppid=25403 vsize=90244 CPUtime=56.28
/proc/25405/stat : 25405 (picosat) R 25403 25405 25309 0 -1 4194304 22317 0 0 0 5613 15 0 0 25 0 1 0 1149610585 92409856 22302 1992294400 134512640 135137933 4294956224 18446744073709551615 134552174 0 0 4096 0 0 0 0 17 1 0 0
/proc/25405/statm: 22561 22302 69 152 0 22407 0
Current children cumulated CPU time (s) 56.28
Current children cumulated vsize (KiB) 90244

[startup+56.5013 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 25406
/proc/meminfo: memFree=1622808/2055920 swapFree=4176732/4192956
[pid=25405] ppid=25403 vsize=90508 CPUtime=56.48
/proc/25405/stat : 25405 (picosat) R 25403 25405 25309 0 -1 4194304 22377 0 0 0 5633 15 0 0 25 0 1 0 1149610585 92680192 22362 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/25405/statm: 22627 22362 69 152 0 22473 0
Current children cumulated CPU time (s) 56.48
Current children cumulated vsize (KiB) 90508

[startup+56.6013 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 25406
/proc/meminfo: memFree=1622808/2055920 swapFree=4176732/4192956
[pid=25405] ppid=25403 vsize=90640 CPUtime=56.57
/proc/25405/stat : 25405 (picosat) R 25403 25405 25309 0 -1 4194304 22406 0 0 0 5642 15 0 0 16 0 1 0 1149610585 92815360 22391 1992294400 134512640 135137933 4294956224 18446744073709551615 134658891 0 0 4096 0 0 0 0 17 1 0 0
/proc/25405/statm: 22660 22391 69 152 0 22506 0
Current children cumulated CPU time (s) 56.57
Current children cumulated vsize (KiB) 90640

Child status: 10
Real time (s): 56.6387
CPU time (s): 56.6204
CPU user time (s): 56.4504
CPU system time (s): 0.169974
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 90640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 56.4504
system time used= 0.169974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22408
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= 55
involuntary context switches= 72

runsolver used 0.038994 second user time and 0.149977 second system time

The end

Launcher Data 

Begin job on node51 at 2009-04-03 16:38:05
IDJOB=1561889
IDBENCH=70924
IDSOLVER=506
FILE ID=node51/1561889-1238769485
PBS_JOBID= 9085529
Free space on /tmp= 66532 MiB

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

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

MD5SUM BENCH= 1f3d58bff37113168b2896e46d348bef
RANDOM SEED=1803089281

node51.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:       1712112 kB
Buffers:         43964 kB
Cached:         206716 kB
SwapCached:      10236 kB
Active:          95316 kB
Inactive:       167080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1712112 kB
SwapTotal:     4192956 kB
SwapFree:      4176732 kB
Dirty:           12100 kB
Writeback:           0 kB
Mapped:          17312 kB
Slab:            67460 kB
Committed_AS:  3323164 kB
PageTables:       1400 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= 66532 MiB
End job on node51 at 2009-04-03 16:39:02