Trace number 1561473

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 17.2254 17.2342

General information on the benchmark

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.10 3/64 20840
/proc/meminfo: memFree=1823504/2055920 swapFree=4176856/4192956
[pid=20840] ppid=20838 vsize=1528 CPUtime=0
/proc/20840/stat : 20840 (picosat) R 20838 20840 20324 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 1149320218 1564672 271 1992294400 134512640 135137933 4294956224 18446744073709551615 134689438 0 0 4096 0 0 0 0 17 1 0 0
/proc/20840/statm: 382 272 56 152 0 228 0

[startup+0.05145 s]
/proc/loadavg: 1.00 1.00 1.10 3/64 20840
/proc/meminfo: memFree=1823504/2055920 swapFree=4176856/4192956
[pid=20840] ppid=20838 vsize=2848 CPUtime=0.04
/proc/20840/stat : 20840 (picosat) R 20838 20840 20324 0 -1 4194304 597 0 0 0 4 0 0 0 18 0 1 0 1149320218 2916352 582 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/20840/statm: 712 582 56 152 0 558 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2848

[startup+0.101453 s]
/proc/loadavg: 1.00 1.00 1.10 3/64 20840
/proc/meminfo: memFree=1823504/2055920 swapFree=4176856/4192956
[pid=20840] ppid=20838 vsize=4036 CPUtime=0.09
/proc/20840/stat : 20840 (picosat) R 20838 20840 20324 0 -1 4194304 919 0 0 0 9 0 0 0 18 0 1 0 1149320218 4132864 904 1992294400 134512640 135137933 4294956224 18446744073709551615 134689438 0 0 4096 0 0 0 0 17 1 0 0
/proc/20840/statm: 1009 905 56 152 0 855 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4036

[startup+0.301472 s]
/proc/loadavg: 1.00 1.00 1.10 3/64 20840
/proc/meminfo: memFree=1823504/2055920 swapFree=4176856/4192956
[pid=20840] ppid=20838 vsize=11284 CPUtime=0.29
/proc/20840/stat : 20840 (picosat) R 20838 20840 20324 0 -1 4194304 2689 0 0 0 27 2 0 0 19 0 1 0 1149320218 11554816 2674 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/20840/statm: 2821 2675 56 152 0 2667 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11284

[startup+0.701509 s]
/proc/loadavg: 1.00 1.00 1.10 3/64 20840
/proc/meminfo: memFree=1823504/2055920 swapFree=4176856/4192956
[pid=20840] ppid=20838 vsize=12984 CPUtime=0.69
/proc/20840/stat : 20840 (picosat) R 20838 20840 20324 0 -1 4194304 3025 0 0 0 67 2 0 0 22 0 1 0 1149320218 13295616 3010 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/20840/statm: 3246 3010 69 152 0 3092 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12984

[startup+1.50158 s]
/proc/loadavg: 1.00 1.00 1.10 2/65 20841
/proc/meminfo: memFree=1811528/2055920 swapFree=4176856/4192956
[pid=20840] ppid=20838 vsize=13512 CPUtime=1.49
/proc/20840/stat : 20840 (picosat) R 20838 20840 20324 0 -1 4194304 3158 0 0 0 147 2 0 0 25 0 1 0 1149320218 13836288 3143 1992294400 134512640 135137933 4294956224 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 1 0 0
/proc/20840/statm: 3378 3143 69 152 0 3224 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13512

[startup+3.10173 s]
/proc/loadavg: 1.00 1.00 1.09 2/65 20841
/proc/meminfo: memFree=1810568/2055920 swapFree=4176856/4192956
[pid=20840] ppid=20838 vsize=14704 CPUtime=3.09
/proc/20840/stat : 20840 (picosat) R 20838 20840 20324 0 -1 4194304 3476 0 0 0 306 3 0 0 25 0 1 0 1149320218 15056896 3461 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/20840/statm: 3676 3461 69 152 0 3522 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14704

[startup+6.30103 s]
/proc/loadavg: 1.00 1.00 1.09 2/65 20841
/proc/meminfo: memFree=1807752/2055920 swapFree=4176856/4192956
[pid=20840] ppid=20838 vsize=17212 CPUtime=6.29
/proc/20840/stat : 20840 (picosat) R 20838 20840 20324 0 -1 4194304 4094 0 0 0 626 3 0 0 25 0 1 0 1149320218 17625088 4079 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/20840/statm: 4303 4079 69 152 0 4149 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17212

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.09 2/65 20841
/proc/meminfo: memFree=1802824/2055920 swapFree=4176856/4192956
[pid=20840] ppid=20838 vsize=22096 CPUtime=12.69
/proc/20840/stat : 20840 (picosat) R 20838 20840 20324 0 -1 4194304 5315 0 0 0 1265 4 0 0 25 0 1 0 1149320218 22626304 5300 1992294400 134512640 135137933 4294956224 18446744073709551615 134548930 0 0 4096 0 0 0 0 17 1 0 0
/proc/20840/statm: 5524 5300 69 152 0 5370 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22096

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

[startup+14.3058 s]
/proc/loadavg: 1.00 1.00 1.09 2/65 20841
/proc/meminfo: memFree=1801352/2055920 swapFree=4176856/4192956
[pid=20840] ppid=20838 vsize=23152 CPUtime=14.29
/proc/20840/stat : 20840 (picosat) R 20838 20840 20324 0 -1 4194304 5564 0 0 0 1424 5 0 0 25 0 1 0 1149320218 23707648 5549 1992294400 134512640 135137933 4294956224 18446744073709551615 134548828 0 0 4096 0 0 0 0 17 1 0 0
/proc/20840/statm: 5788 5549 69 152 0 5634 0
Current children cumulated CPU time (s) 14.29
Current children cumulated vsize (KiB) 23152

[startup+15.9019 s]
/proc/loadavg: 1.00 1.00 1.09 2/65 20841
/proc/meminfo: memFree=1800776/2055920 swapFree=4176856/4192956
[pid=20840] ppid=20838 vsize=23944 CPUtime=15.88
/proc/20840/stat : 20840 (picosat) R 20838 20840 20324 0 -1 4194304 5779 0 0 0 1583 5 0 0 25 0 1 0 1149320218 24518656 5764 1992294400 134512640 135137933 4294956224 18446744073709551615 134522707 0 0 4096 0 0 0 0 17 1 0 0
/proc/20840/statm: 5986 5764 69 152 0 5832 0
Current children cumulated CPU time (s) 15.88
Current children cumulated vsize (KiB) 23944

[startup+16.702 s]
/proc/loadavg: 1.00 1.00 1.09 2/65 20841
/proc/meminfo: memFree=1800200/2055920 swapFree=4176856/4192956
[pid=20840] ppid=20838 vsize=24472 CPUtime=16.68
/proc/20840/stat : 20840 (picosat) R 20838 20840 20324 0 -1 4194304 5891 0 0 0 1663 5 0 0 25 0 1 0 1149320218 25059328 5876 1992294400 134512640 135137933 4294956224 18446744073709551615 134549056 0 0 4096 0 0 0 0 17 1 0 0
/proc/20840/statm: 6118 5876 69 152 0 5964 0
Current children cumulated CPU time (s) 16.68
Current children cumulated vsize (KiB) 24472

[startup+17.101 s]
/proc/loadavg: 1.00 1.00 1.09 2/65 20841
/proc/meminfo: memFree=1800200/2055920 swapFree=4176856/4192956
[pid=20840] ppid=20838 vsize=24864 CPUtime=17.08
/proc/20840/stat : 20840 (picosat) R 20838 20840 20324 0 -1 4194304 5973 0 0 0 1703 5 0 0 25 0 1 0 1149320218 25460736 5958 1992294400 134512640 135137933 4294956224 18446744073709551615 134548825 0 0 4096 0 0 0 0 17 1 0 0
/proc/20840/statm: 6216 5958 69 152 0 6062 0
Current children cumulated CPU time (s) 17.08
Current children cumulated vsize (KiB) 24864

[startup+17.201 s]
/proc/loadavg: 1.00 1.00 1.09 2/65 20841
/proc/meminfo: memFree=1800200/2055920 swapFree=4176856/4192956
[pid=20840] ppid=20838 vsize=24996 CPUtime=17.18
/proc/20840/stat : 20840 (picosat) R 20838 20840 20324 0 -1 4194304 5993 0 0 0 1713 5 0 0 25 0 1 0 1149320218 25595904 5978 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/20840/statm: 6249 5978 69 152 0 6095 0
Current children cumulated CPU time (s) 17.18
Current children cumulated vsize (KiB) 24996

Child status: 10
Real time (s): 17.2342
CPU time (s): 17.2254
CPU user time (s): 17.1614
CPU system time (s): 0.06399
CPU usage (%): 99.9487
Max. virtual memory (cumulated for all children) (KiB): 24996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.1614
system time used= 0.06399
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5995
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= 28

runsolver used 0.019996 second user time and 0.048992 second system time

The end

Launcher Data 

Begin job on node48 at 2009-04-03 15:49:38
IDJOB=1561473
IDBENCH=70916
IDSOLVER=506
FILE ID=node48/1561473-1238766578
PBS_JOBID= 9085476
Free space on /tmp= 66536 MiB

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

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

MD5SUM BENCH= e72d819fa5b57b6476ac56a442ceab9b
RANDOM SEED=1517880962

node48.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.236
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.236
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:       1823920 kB
Buffers:         20736 kB
Cached:         137644 kB
SwapCached:      10124 kB
Active:          75180 kB
Inactive:        94928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1823920 kB
SwapTotal:     4192956 kB
SwapFree:      4176856 kB
Dirty:           11400 kB
Writeback:           0 kB
Mapped:          17524 kB
Slab:            47832 kB
Committed_AS:  2930696 kB
PageTables:       1384 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= 66536 MiB
End job on node48 at 2009-04-03 15:49:56