Trace number 1736697

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 550.636 550.832

General information on the benchmark

NameCRAFTED/parity-games/
instance_n7_i7_pp_ci_ce.cnf
MD5SUM5e0c3f55984f25e5ae39d5acbf3dab6b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.53216
Satisfiable
(Un)Satisfiability was proved
Number of variables13041
Number of clauses134672
Sum of the clauses size442400
Maximum clause length42
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 225102
Number of clauses of size 363007
Number of clauses of size 435077
Number of clauses of size 58820
Number of clauses of size over 52666

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

Verifier Data 

OK

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1736697-1240812703/watcher-1736697-1240812703 -o /tmp/evaluation-result-1736697-1240812703/solver-1736697-1240812703 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1736697-1240812703.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.89 1.50 1.20 3/64 30791
/proc/meminfo: memFree=1635776/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=1684 CPUtime=0
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 109297103 1724416 294 1992294400 134512640 135137933 4294956224 18446744073709551615 134544898 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 421 295 56 152 0 267 0

[startup+0.0695141 s]
/proc/loadavg: 1.89 1.50 1.20 3/64 30791
/proc/meminfo: memFree=1635776/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=4880 CPUtime=0.06
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 1050 0 0 0 6 0 0 0 18 0 1 0 109297103 4997120 1035 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 1220 1035 56 152 0 1066 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4880

[startup+0.101518 s]
/proc/loadavg: 1.89 1.50 1.20 3/64 30791
/proc/meminfo: memFree=1635776/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=6200 CPUtime=0.09
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 1423 0 0 0 9 0 0 0 18 0 1 0 109297103 6348800 1408 1992294400 134512640 135137933 4294956224 18446744073709551615 134689438 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 1550 1409 56 152 0 1396 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6200

[startup+0.301553 s]
/proc/loadavg: 1.89 1.50 1.20 3/64 30791
/proc/meminfo: memFree=1635776/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=6332 CPUtime=0.29
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 1474 0 0 0 29 0 0 0 19 0 1 0 109297103 6483968 1458 1992294400 134512640 135137933 4294956224 18446744073709551615 134548661 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 1583 1458 61 152 0 1429 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6332

[startup+0.701623 s]
/proc/loadavg: 1.89 1.50 1.20 3/64 30791
/proc/meminfo: memFree=1635776/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=6332 CPUtime=0.69
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 1475 0 0 0 69 0 0 0 22 0 1 0 109297103 6483968 1459 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 1583 1459 61 152 0 1429 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6332

[startup+1.50177 s]
/proc/loadavg: 1.89 1.50 1.20 2/65 30792
/proc/meminfo: memFree=1630072/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=6780 CPUtime=1.49
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 1563 0 0 0 148 1 0 0 25 0 1 0 109297103 6942720 1547 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 1695 1547 69 152 0 1541 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6780

[startup+3.10105 s]
/proc/loadavg: 1.89 1.50 1.20 2/65 30792
/proc/meminfo: memFree=1629304/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=7704 CPUtime=3.09
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 1798 0 0 0 308 1 0 0 25 0 1 0 109297103 7888896 1782 1992294400 134512640 135137933 4294956224 18446744073709551615 134548949 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 1926 1782 69 152 0 1772 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7704

[startup+6.30263 s]
/proc/loadavg: 1.82 1.49 1.19 2/65 30792
/proc/meminfo: memFree=1627320/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=9552 CPUtime=6.29
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 2262 0 0 0 628 1 0 0 25 0 1 0 109297103 9781248 2246 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 2388 2246 69 152 0 2234 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9552

[startup+12.7018 s]
/proc/loadavg: 1.75 1.48 1.19 2/65 30792
/proc/meminfo: memFree=1623672/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=13112 CPUtime=12.68
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 3126 0 0 0 1266 2 0 0 25 0 1 0 109297103 13426688 3110 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 3278 3110 69 152 0 3124 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 13112

[startup+25.5011 s]
/proc/loadavg: 1.59 1.46 1.19 2/65 30792
/proc/meminfo: memFree=1617336/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=19176 CPUtime=25.48
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 4613 0 0 0 2544 4 0 0 25 0 1 0 109297103 19636224 4597 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 4794 4597 69 152 0 4640 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19176

[startup+51.1016 s]
/proc/loadavg: 1.39 1.42 1.18 2/65 30792
/proc/meminfo: memFree=1609592/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=26964 CPUtime=51.08
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 6590 0 0 0 5101 7 0 0 25 0 1 0 109297103 27611136 6574 1992294400 134512640 135137933 4294956224 18446744073709551615 134668231 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 6741 6574 69 152 0 6587 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 26964

[startup+102.306 s]
/proc/loadavg: 1.16 1.35 1.17 2/65 30792
/proc/meminfo: memFree=1596216/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=40412 CPUtime=102.26
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 9887 0 0 0 10216 10 0 0 25 0 1 0 109297103 41381888 9871 1992294400 134512640 135137933 4294956224 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 10103 9871 69 152 0 9949 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 40412

[startup+162.302 s]
/proc/loadavg: 1.06 1.29 1.16 2/65 30792
/proc/meminfo: memFree=1581816/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=54668 CPUtime=162.23
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 13514 0 0 0 16209 14 0 0 25 0 1 0 109297103 55980032 13498 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 13667 13498 69 152 0 13513 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 54668

[startup+222.301 s]
/proc/loadavg: 1.02 1.23 1.15 2/65 30792
/proc/meminfo: memFree=1568760/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=69228 CPUtime=222.21
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 16722 0 0 0 22203 18 0 0 25 0 1 0 109297103 70889472 16695 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 17307 16695 69 152 0 17153 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 69228

[startup+282.302 s]
/proc/loadavg: 1.01 1.19 1.14 2/65 30792
/proc/meminfo: memFree=1568760/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=69228 CPUtime=282.19
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 16722 0 0 0 28201 18 0 0 25 0 1 0 109297103 70889472 16695 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 17307 16695 69 152 0 17153 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 69228

[startup+342.302 s]
/proc/loadavg: 1.00 1.15 1.12 2/65 30792
/proc/meminfo: memFree=1568760/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=69228 CPUtime=342.17
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 16722 0 0 0 34199 18 0 0 25 0 1 0 109297103 70889472 16695 1992294400 134512640 135137933 4294956224 18446744073709551615 134548652 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 17307 16695 69 152 0 17153 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 69228

[startup+402.301 s]
/proc/loadavg: 1.00 1.12 1.11 2/65 30792
/proc/meminfo: memFree=1568696/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=69228 CPUtime=402.15
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 16722 0 0 0 40197 18 0 0 25 0 1 0 109297103 70889472 16695 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 17307 16695 69 152 0 17153 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 69228

[startup+462.301 s]
/proc/loadavg: 1.00 1.10 1.10 2/65 30792
/proc/meminfo: memFree=1561784/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=76224 CPUtime=462.14
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 18463 0 0 0 46193 21 0 0 25 0 1 0 109297103 78053376 18436 1992294400 134512640 135137933 4294956224 18446744073709551615 134554564 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 19056 18436 69 152 0 18902 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 76224

[startup+522.302 s]
/proc/loadavg: 1.00 1.08 1.09 2/65 30792
/proc/meminfo: memFree=1551288/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=86520 CPUtime=522.11
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 21089 0 0 0 52187 24 0 0 25 0 1 0 109297103 88596480 21062 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 21630 21062 69 152 0 21476 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 86520

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

[startup+537.502 s]
/proc/loadavg: 1.00 1.07 1.09 2/65 30792
/proc/meminfo: memFree=1548920/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=88896 CPUtime=537.31
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 21689 0 0 0 53706 25 0 0 25 0 1 0 109297103 91029504 21662 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 22224 21662 69 152 0 22070 0
Current children cumulated CPU time (s) 537.31
Current children cumulated vsize (KiB) 88896

[startup+543.902 s]
/proc/loadavg: 1.00 1.07 1.09 2/65 30792
/proc/meminfo: memFree=1548088/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=89292 CPUtime=543.71
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 21862 0 0 0 54345 26 0 0 25 0 1 0 109297103 91435008 21835 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 22323 21835 69 152 0 22169 0
Current children cumulated CPU time (s) 543.71
Current children cumulated vsize (KiB) 89292

[startup+547.101 s]
/proc/loadavg: 1.00 1.07 1.09 2/65 30792
/proc/meminfo: memFree=1548088/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=89292 CPUtime=546.91
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 21862 0 0 0 54665 26 0 0 25 0 1 0 109297103 91435008 21835 1992294400 134512640 135137933 4294956224 18446744073709551615 134547517 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 22323 21835 69 152 0 22169 0
Current children cumulated CPU time (s) 546.91
Current children cumulated vsize (KiB) 89292

[startup+548.702 s]
/proc/loadavg: 1.00 1.07 1.09 2/65 30792
/proc/meminfo: memFree=1548088/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=89292 CPUtime=548.51
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 21862 0 0 0 54825 26 0 0 25 0 1 0 109297103 91435008 21835 1992294400 134512640 135137933 4294956224 18446744073709551615 134548890 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 22323 21835 69 152 0 22169 0
Current children cumulated CPU time (s) 548.51
Current children cumulated vsize (KiB) 89292

[startup+549.502 s]
/proc/loadavg: 1.00 1.07 1.09 2/65 30792
/proc/meminfo: memFree=1548088/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=89292 CPUtime=549.31
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 21862 0 0 0 54905 26 0 0 25 0 1 0 109297103 91435008 21835 1992294400 134512640 135137933 4294956224 18446744073709551615 134551582 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 22323 21835 69 152 0 22169 0
Current children cumulated CPU time (s) 549.31
Current children cumulated vsize (KiB) 89292

[startup+550.302 s]
/proc/loadavg: 1.00 1.07 1.09 2/65 30792
/proc/meminfo: memFree=1548088/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=89292 CPUtime=550.11
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 21862 0 0 0 54985 26 0 0 25 0 1 0 109297103 91435008 21835 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 22323 21835 69 152 0 22169 0
Current children cumulated CPU time (s) 550.11
Current children cumulated vsize (KiB) 89292

[startup+550.702 s]
/proc/loadavg: 1.00 1.07 1.09 2/65 30792
/proc/meminfo: memFree=1548088/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=89292 CPUtime=550.51
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 21862 0 0 0 55025 26 0 0 25 0 1 0 109297103 91435008 21835 1992294400 134512640 135137933 4294956224 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 1 0 0
/proc/30791/statm: 22323 21835 69 152 0 22169 0
Current children cumulated CPU time (s) 550.51
Current children cumulated vsize (KiB) 89292

[startup+550.802 s]
/proc/loadavg: 1.00 1.07 1.09 2/65 30792
/proc/meminfo: memFree=1548088/2055920 swapFree=4180908/4192956
[pid=30791] ppid=30789 vsize=89292 CPUtime=550.6
/proc/30791/stat : 30791 (picosat) R 30789 30791 30582 0 -1 4194304 21863 0 0 0 55034 26 0 0 17 0 1 0 109297103 91435008 21836 1992294400 134512640 135137933 4294956224 18446744073709551615 134659044 0 0 4096 0 0 0 0 17 0 0 0
/proc/30791/statm: 22323 21836 69 152 0 22169 0
Current children cumulated CPU time (s) 550.6
Current children cumulated vsize (KiB) 89292

Child status: 10
Real time (s): 550.832
CPU time (s): 550.636
CPU user time (s): 550.359
CPU system time (s): 0.276957
CPU usage (%): 99.9646
Max. virtual memory (cumulated for all children) (KiB): 89292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 550.359
system time used= 0.276957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21865
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= 38
involuntary context switches= 997

runsolver used 0.482926 second user time and 1.21381 second system time

The end

Launcher Data 

Begin job on node60 at 2009-04-27 08:11:43
IDJOB=1736697
IDBENCH=71631
IDSOLVER=506
FILE ID=node60/1736697-1240812703
PBS_JOBID= 9187453
Free space on /tmp= 66412 MiB

SOLVER NAME= picosat 913
BENCH NAME= SAT09/CRAFTED/parity-games/instance_n7_i7_pp_ci_ce.cnf
COMMAND LINE= HOME/picosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1736697-1240812703/watcher-1736697-1240812703 -o /tmp/evaluation-result-1736697-1240812703/solver-1736697-1240812703 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/picosat HOME/instance-1736697-1240812703.cnf

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

MD5SUM BENCH= 5e0c3f55984f25e5ae39d5acbf3dab6b
RANDOM SEED=907194695

node60.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.256
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.256
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:       1636192 kB
Buffers:         50420 kB
Cached:         286072 kB
SwapCached:       5956 kB
Active:         101548 kB
Inactive:       243512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1636192 kB
SwapTotal:     4192956 kB
SwapFree:      4180908 kB
Dirty:            3416 kB
Writeback:           0 kB
Mapped:          14140 kB
Slab:            60628 kB
Committed_AS:   469152 kB
PageTables:       1448 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= 66412 MiB
End job on node60 at 2009-04-27 08:20:54