Trace number 3309013

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
SAT09 reference solver:precosat 236SAT 55.2396 55.2382

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F20.cnf
MD5SUM2ee3aaaabe8a89270b338ea6a7bf3762
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark20.1839
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses484053
Sum of the clauses size4133728
Maximum clause length91
Minimum clause length1
Number of clauses of size 134
Number of clauses of size 227746
Number of clauses of size 323112
Number of clauses of size 411940
Number of clauses of size 522180
Number of clauses of size over 5399041

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3309013-1303985844/watcher-3309013-1303985844 -o /tmp/evaluation-result-3309013-1303985844/solver-3309013-1303985844 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3309013-1303985844.cnf 

running on 2 cores: 1,3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.72 2.58 2.94 4/186 16723
/proc/meminfo: memFree=13854168/32951124 swapFree=67111528/67111528
[pid=16723] ppid=16721 vsize=2456 CPUtime=0 cores=1,3
/proc/16723/stat : 16723 (precosat) R 16721 16723 16199 0 -1 4202496 519 0 0 0 0 0 0 0 21 0 1 0 510185444 2514944 476 33554432000 134512640 135151029 4286669232 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16723/statm: 614 476 64 156 0 457 0

[startup+0.06737 s]
/proc/loadavg: 1.72 2.58 2.94 4/186 16723
/proc/meminfo: memFree=13854168/32951124 swapFree=67111528/67111528
[pid=16723] ppid=16721 vsize=8988 CPUtime=0.06 cores=1,3
/proc/16723/stat : 16723 (precosat) R 16721 16723 16199 0 -1 4202496 2166 0 0 0 6 0 0 0 21 0 1 0 510185444 9203712 2090 33554432000 134512640 135151029 4286669232 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16723/statm: 2247 2091 65 156 0 2090 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8988

[startup+0.100363 s]
/proc/loadavg: 1.72 2.58 2.94 4/186 16723
/proc/meminfo: memFree=13854168/32951124 swapFree=67111528/67111528
[pid=16723] ppid=16721 vsize=12836 CPUtime=0.09 cores=1,3
/proc/16723/stat : 16723 (precosat) R 16721 16723 16199 0 -1 4202496 3124 0 0 0 9 0 0 0 21 0 1 0 510185444 13144064 3048 33554432000 134512640 135151029 4286669232 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16723/statm: 3209 3048 65 156 0 3052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12836

[startup+0.300332 s]
/proc/loadavg: 1.72 2.58 2.94 4/186 16723
/proc/meminfo: memFree=13854168/32951124 swapFree=67111528/67111528
[pid=16723] ppid=16721 vsize=33668 CPUtime=0.29 cores=1,3
/proc/16723/stat : 16723 (precosat) R 16721 16723 16199 0 -1 4202496 8117 0 0 0 28 1 0 0 22 0 1 0 510185444 34476032 8041 33554432000 134512640 135151029 4286669232 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16723/statm: 8417 8042 65 156 0 8260 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33668

[startup+0.700263 s]
/proc/loadavg: 1.72 2.58 2.94 4/186 16723
/proc/meminfo: memFree=13854168/32951124 swapFree=67111528/67111528
[pid=16723] ppid=16721 vsize=75980 CPUtime=0.69 cores=1,3
/proc/16723/stat : 16723 (precosat) R 16721 16723 16199 0 -1 4202496 18112 0 0 0 67 2 0 0 24 0 1 0 510185444 77803520 17302 33554432000 134512640 135151029 4286669232 18446744073709551615 134575448 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16723/statm: 18995 17302 80 156 0 18838 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75980

[startup+1.50112 s]
/proc/loadavg: 1.72 2.58 2.94 5/187 16724
/proc/meminfo: memFree=13743288/32951124 swapFree=67111528/67111528
[pid=16723] ppid=16721 vsize=75980 CPUtime=1.49 cores=1,3
/proc/16723/stat : 16723 (precosat) R 16721 16723 16199 0 -1 4202496 18112 0 0 0 147 2 0 0 25 0 1 0 510185444 77803520 17302 33554432000 134512640 135151029 4286669232 18446744073709551615 134548393 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16723/statm: 18995 17302 80 156 0 18838 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 75980

[startup+3.10085 s]
/proc/loadavg: 1.90 2.60 2.95 5/190 16730
/proc/meminfo: memFree=13662788/32951124 swapFree=67111528/67111528
[pid=16723] ppid=16721 vsize=60860 CPUtime=3.09 cores=1,3
/proc/16723/stat : 16723 (precosat) R 16721 16723 16199 0 -1 4202496 18113 0 0 0 307 2 0 0 25 0 1 0 510185444 62320640 15018 33554432000 134512640 135151029 4286669232 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16723/statm: 15215 15018 80 156 0 15058 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60860

[startup+6.30027 s]
/proc/loadavg: 1.90 2.60 2.95 5/190 16730
/proc/meminfo: memFree=13575788/32951124 swapFree=67111528/67111528
[pid=16723] ppid=16721 vsize=69272 CPUtime=6.29 cores=1,3
/proc/16723/stat : 16723 (precosat) R 16721 16723 16199 0 -1 4202496 20070 0 0 0 627 2 0 0 25 0 1 0 510185444 70934528 16975 33554432000 134512640 135151029 4286669232 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16723/statm: 17318 16975 80 156 0 17161 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 69272

[startup+12.7011 s]
/proc/loadavg: 2.23 2.65 2.96 5/190 16731
/proc/meminfo: memFree=13531180/32951124 swapFree=67111528/67111528
[pid=16723] ppid=16721 vsize=75032 CPUtime=12.69 cores=1,3
/proc/16723/stat : 16723 (precosat) R 16721 16723 16199 0 -1 4202496 24502 0 0 0 1266 3 0 0 25 0 1 0 510185444 76832768 18641 33554432000 134512640 135151029 4286669232 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16723/statm: 18758 18641 80 156 0 18601 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 75032

[startup+25.5009 s]
/proc/loadavg: 2.50 2.69 2.97 5/190 16758
/proc/meminfo: memFree=13509288/32951124 swapFree=67111528/67111528
[pid=16723] ppid=16721 vsize=89360 CPUtime=25.49 cores=1,3
/proc/16723/stat : 16723 (precosat) R 16721 16723 16199 0 -1 4202496 31221 0 0 0 2545 4 0 0 25 0 1 0 510185444 91504640 22206 33554432000 134512640 135151029 4286669232 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16723/statm: 22340 22206 80 156 0 22183 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 89360

[startup+51.1003 s]
/proc/loadavg: 3.01 2.79 3.00 5/190 16759
/proc/meminfo: memFree=13407212/32951124 swapFree=67111528/67111528
[pid=16723] ppid=16721 vsize=140048 CPUtime=51.09 cores=1,3
/proc/16723/stat : 16723 (precosat) R 16721 16723 16199 0 -1 4202496 45679 0 0 0 5102 7 0 0 25 0 1 0 510185444 143409152 33439 33554432000 134512640 135151029 4286669232 18446744073709551615 134575488 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16723/statm: 35012 33439 80 156 0 34855 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 140048

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

[startup+52.7011 s]
/proc/loadavg: 3.09 2.81 3.00 5/190 16759
/proc/meminfo: memFree=13408700/32951124 swapFree=67111528/67111528
[pid=16723] ppid=16721 vsize=124752 CPUtime=52.69 cores=1,3
/proc/16723/stat : 16723 (precosat) R 16721 16723 16199 0 -1 4202496 45696 0 0 0 5262 7 0 0 25 0 1 0 510185444 127746048 31029 33554432000 134512640 135151029 4286669232 18446744073709551615 134554859 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16723/statm: 31188 31029 80 156 0 31031 0
Current children cumulated CPU time (s) 52.69
Current children cumulated vsize (KiB) 124752

[startup+54.3008 s]
/proc/loadavg: 3.09 2.81 3.00 5/190 16759
/proc/meminfo: memFree=13405848/32951124 swapFree=67111528/67111528
[pid=16723] ppid=16721 vsize=124752 CPUtime=54.29 cores=1,3
/proc/16723/stat : 16723 (precosat) R 16721 16723 16199 0 -1 4202496 45700 0 0 0 5422 7 0 0 25 0 1 0 510185444 127746048 31033 33554432000 134512640 135151029 4286669232 18446744073709551615 134520124 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16723/statm: 31188 31033 80 156 0 31031 0
Current children cumulated CPU time (s) 54.29
Current children cumulated vsize (KiB) 124752

[startup+54.7007 s]
/proc/loadavg: 3.09 2.81 3.00 5/190 16759
/proc/meminfo: memFree=13405848/32951124 swapFree=67111528/67111528
[pid=16723] ppid=16721 vsize=124752 CPUtime=54.69 cores=1,3
/proc/16723/stat : 16723 (precosat) R 16721 16723 16199 0 -1 4202496 45700 0 0 0 5462 7 0 0 25 0 1 0 510185444 127746048 31033 33554432000 134512640 135151029 4286669232 18446744073709551615 134578208 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16723/statm: 31188 31033 80 156 0 31031 0
Current children cumulated CPU time (s) 54.69
Current children cumulated vsize (KiB) 124752

[startup+55.1006 s]
/proc/loadavg: 3.09 2.81 3.00 5/190 16759
/proc/meminfo: memFree=13403688/32951124 swapFree=67111528/67111528
[pid=16723] ppid=16721 vsize=124752 CPUtime=55.09 cores=1,3
/proc/16723/stat : 16723 (precosat) R 16721 16723 16199 0 -1 4202496 45701 0 0 0 5502 7 0 0 25 0 1 0 510185444 127746048 31034 33554432000 134512640 135151029 4286669232 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16723/statm: 31188 31034 80 156 0 31031 0
Current children cumulated CPU time (s) 55.09
Current children cumulated vsize (KiB) 124752

[startup+55.2006 s]
/proc/loadavg: 3.09 2.81 3.00 5/190 16759
/proc/meminfo: memFree=13403688/32951124 swapFree=67111528/67111528
[pid=16723] ppid=16721 vsize=124752 CPUtime=55.19 cores=1,3
/proc/16723/stat : 16723 (precosat) R 16721 16723 16199 0 -1 4202496 45701 0 0 0 5512 7 0 0 25 0 1 0 510185444 127746048 31034 33554432000 134512640 135151029 4286669232 18446744073709551615 134574646 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16723/statm: 31188 31034 80 156 0 31031 0
Current children cumulated CPU time (s) 55.19
Current children cumulated vsize (KiB) 124752

Child status: 10
Real time (s): 55.2382
CPU time (s): 55.2396
CPU user time (s): 55.1556
CPU system time (s): 0.083987
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 140048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.1556
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45703
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= 3
involuntary context switches= 49

runsolver used 0.086986 second user time and 0.224965 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-28 12:17:25
IDJOB=3309013
IDBENCH=83450
IDSOLVER=1690
FILE ID=node108/3309013-1303985844
RUNJOBID= node108-1303985844-16689
PBS_JOBID= 13168718
Free space on /tmp= 72068 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F20.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3309013-1303985844/watcher-3309013-1303985844 -o /tmp/evaluation-result-3309013-1303985844/solver-3309013-1303985844 -C 2400 -W 1300 -M 7680  HOME/precosat HOME/instance-3309013-1303985844.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=1354110574

node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13854572 kB
Buffers:       2290864 kB
Cached:       16114624 kB
SwapCached:          0 kB
Active:       10261876 kB
Inactive:      8252692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13854572 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           55608 kB
Writeback:           0 kB
AnonPages:      108548 kB
Mapped:          15656 kB
Slab:           519756 kB
PageTables:       5520 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   271924 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72028 MiB
End job on node108 at 2011-04-28 12:18:20