Trace number 3309037

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 152.002 151.997

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F20.cnf
MD5SUM82462bfc10e506c60d6bdf35a0143bf9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.7966
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses481346
Sum of the clauses size3851671
Maximum clause length78
Minimum clause length1
Number of clauses of size 121
Number of clauses of size 227486
Number of clauses of size 322736
Number of clauses of size 418300
Number of clauses of size 542820
Number of clauses of size over 5369983

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

running on 2 cores: 4,6

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.11 1.80 2.37 4/183 14513
/proc/meminfo: memFree=13538144/32951124 swapFree=67111528/67111528
[pid=14513] ppid=14511 vsize=2456 CPUtime=0 cores=4,6
/proc/14513/stat : 14513 (precosat) R 14511 14513 13993 0 -1 4202496 522 0 0 0 0 0 0 0 21 0 1 0 510189649 2514944 478 33554432000 134512640 135151029 4287273088 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14513/statm: 614 478 64 156 0 457 0

[startup+0.096419 s]
/proc/loadavg: 1.11 1.80 2.37 4/183 14513
/proc/meminfo: memFree=13538144/32951124 swapFree=67111528/67111528
[pid=14513] ppid=14511 vsize=13088 CPUtime=0.08 cores=4,6
/proc/14513/stat : 14513 (precosat) R 14511 14513 13993 0 -1 4202496 3205 0 0 0 8 0 0 0 21 0 1 0 510189649 13402112 3128 33554432000 134512640 135151029 4287273088 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14513/statm: 3272 3129 65 156 0 3115 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13088

[startup+0.1004 s]
/proc/loadavg: 1.11 1.80 2.37 4/183 14513
/proc/meminfo: memFree=13538144/32951124 swapFree=67111528/67111528
[pid=14513] ppid=14511 vsize=13756 CPUtime=0.09 cores=4,6
/proc/14513/stat : 14513 (precosat) R 14511 14513 13993 0 -1 4202496 3368 0 0 0 9 0 0 0 21 0 1 0 510189649 14086144 3291 33554432000 134512640 135151029 4287273088 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14513/statm: 3439 3292 65 156 0 3282 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13756

[startup+0.300379 s]
/proc/loadavg: 1.11 1.80 2.37 4/183 14513
/proc/meminfo: memFree=13538144/32951124 swapFree=67111528/67111528
[pid=14513] ppid=14511 vsize=34376 CPUtime=0.29 cores=4,6
/proc/14513/stat : 14513 (precosat) R 14511 14513 13993 0 -1 4202496 8323 0 0 0 28 1 0 0 22 0 1 0 510189649 35201024 8246 33554432000 134512640 135151029 4287273088 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14513/statm: 8594 8247 65 156 0 8437 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34376

[startup+0.700313 s]
/proc/loadavg: 1.11 1.80 2.37 4/183 14513
/proc/meminfo: memFree=13538144/32951124 swapFree=67111528/67111528
[pid=14513] ppid=14511 vsize=60508 CPUtime=0.69 cores=4,6
/proc/14513/stat : 14513 (precosat) R 14511 14513 13993 0 -1 4202496 14935 0 0 0 67 2 0 0 23 0 1 0 510189649 61960192 14663 33554432000 134512640 135151029 4287273088 18446744073709551615 134578746 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14513/statm: 15127 14665 80 156 0 14970 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 60508

[startup+1.50116 s]
/proc/loadavg: 1.34 1.84 2.38 5/190 14526
/proc/meminfo: memFree=13360412/32951124 swapFree=67111528/67111528
[pid=14513] ppid=14511 vsize=63332 CPUtime=1.49 cores=4,6
/proc/14513/stat : 14513 (precosat) R 14511 14513 13993 0 -1 4202496 15606 0 0 0 147 2 0 0 25 0 1 0 510189649 64851968 15334 33554432000 134512640 135151029 4287273088 18446744073709551615 134526325 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14513/statm: 15833 15334 80 156 0 15676 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63332

[startup+3.10085 s]
/proc/loadavg: 1.34 1.84 2.38 5/190 14526
/proc/meminfo: memFree=13144900/32951124 swapFree=67111528/67111528
[pid=14513] ppid=14511 vsize=63332 CPUtime=3.09 cores=4,6
/proc/14513/stat : 14513 (precosat) R 14511 14513 13993 0 -1 4202496 15662 0 0 0 307 2 0 0 25 0 1 0 510189649 64851968 15390 33554432000 134512640 135151029 4287273088 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14513/statm: 15833 15390 80 156 0 15676 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63332

[startup+6.30029 s]
/proc/loadavg: 1.34 1.84 2.38 5/190 14553
/proc/meminfo: memFree=12892376/32951124 swapFree=67111528/67111528
[pid=14513] ppid=14511 vsize=66140 CPUtime=6.29 cores=4,6
/proc/14513/stat : 14513 (precosat) R 14511 14513 13993 0 -1 4202496 16606 0 0 0 627 2 0 0 25 0 1 0 510189649 67727360 16334 33554432000 134512640 135151029 4287273088 18446744073709551615 134574652 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14513/statm: 16535 16334 80 156 0 16378 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66140

[startup+12.7011 s]
/proc/loadavg: 1.82 1.93 2.40 5/190 14554
/proc/meminfo: memFree=12879640/32951124 swapFree=67111528/67111528
[pid=14513] ppid=14511 vsize=70668 CPUtime=12.69 cores=4,6
/proc/14513/stat : 14513 (precosat) R 14511 14513 13993 0 -1 4202496 19644 0 0 0 1266 3 0 0 25 0 1 0 510189649 72364032 17540 33554432000 134512640 135151029 4287273088 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14513/statm: 17667 17540 80 156 0 17510 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 70668

[startup+25.5008 s]
/proc/loadavg: 2.16 1.99 2.41 5/190 14554
/proc/meminfo: memFree=12845316/32951124 swapFree=67111528/67111528
[pid=14513] ppid=14511 vsize=87000 CPUtime=25.49 cores=4,6
/proc/14513/stat : 14513 (precosat) R 14511 14513 13993 0 -1 4202496 25416 0 0 0 2545 4 0 0 25 0 1 0 510189649 89088000 21525 33554432000 134512640 135151029 4287273088 18446744073709551615 134552618 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14513/statm: 21750 21525 80 156 0 21593 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 87000

[startup+51.1011 s]
/proc/loadavg: 2.88 2.18 2.46 5/187 14576
/proc/meminfo: memFree=12836696/32951124 swapFree=67111528/67111528
[pid=14513] ppid=14511 vsize=118008 CPUtime=51.1 cores=4,6
/proc/14513/stat : 14513 (precosat) R 14511 14513 13993 0 -1 4202496 35457 0 0 0 5104 6 0 0 25 0 1 0 510189649 120840192 29373 33554432000 134512640 135151029 4287273088 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14513/statm: 29502 29373 80 156 0 29345 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 118008

[startup+102.301 s]
/proc/loadavg: 3.51 2.46 2.54 5/190 14583
/proc/meminfo: memFree=12664788/32951124 swapFree=67111528/67111528
[pid=14513] ppid=14511 vsize=147908 CPUtime=102.29 cores=4,6
/proc/14513/stat : 14513 (precosat) R 14511 14513 13993 0 -1 4202496 44622 0 0 0 10221 8 0 0 25 0 1 0 510189649 151457792 36837 33554432000 134512640 135151029 4287273088 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14513/statm: 36977 36837 80 156 0 36820 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 147908

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

[startup+102.707 s]
/proc/loadavg: 3.51 2.46 2.54 5/190 14583
/proc/meminfo: memFree=12660448/32951124 swapFree=67111528/67111528
[pid=14513] ppid=14511 vsize=147908 CPUtime=102.7 cores=4,6
/proc/14513/stat : 14513 (precosat) R 14511 14513 13993 0 -1 4202496 44622 0 0 0 10262 8 0 0 25 0 1 0 510189649 151457792 36837 33554432000 134512640 135151029 4287273088 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14513/statm: 36977 36837 80 156 0 36820 0
Current children cumulated CPU time (s) 102.7
Current children cumulated vsize (KiB) 147908

[startup+128.301 s]
/proc/loadavg: 3.68 2.58 2.58 6/190 14584
/proc/meminfo: memFree=12581692/32951124 swapFree=67111528/67111528
[pid=14513] ppid=14511 vsize=170304 CPUtime=128.3 cores=4,6
/proc/14513/stat : 14513 (precosat) R 14511 14513 13993 0 -1 4202496 50293 0 0 0 12820 10 0 0 25 0 1 0 510189649 174391296 42077 33554432000 134512640 135151029 4287273088 18446744073709551615 134698015 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14513/statm: 42576 42077 80 156 0 42419 0
Current children cumulated CPU time (s) 128.3
Current children cumulated vsize (KiB) 170304

[startup+141.101 s]
/proc/loadavg: 3.75 2.65 2.60 5/190 14584
/proc/meminfo: memFree=12513364/32951124 swapFree=67111528/67111528
[pid=14513] ppid=14511 vsize=173592 CPUtime=141.1 cores=4,6
/proc/14513/stat : 14513 (precosat) R 14511 14513 13993 0 -1 4202496 51957 0 0 0 14100 10 0 0 25 0 1 0 510189649 177758208 43257 33554432000 134512640 135151029 4287273088 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14513/statm: 43398 43257 80 156 0 43241 0
Current children cumulated CPU time (s) 141.1
Current children cumulated vsize (KiB) 173592

[startup+147.501 s]
/proc/loadavg: 3.77 2.67 2.61 5/190 14584
/proc/meminfo: memFree=12536956/32951124 swapFree=67111528/67111528
[pid=14513] ppid=14511 vsize=181600 CPUtime=147.49 cores=4,6
/proc/14513/stat : 14513 (precosat) R 14511 14513 13993 0 -1 4202496 53750 0 0 0 14738 11 0 0 25 0 1 0 510189649 185958400 45050 33554432000 134512640 135151029 4287273088 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14513/statm: 45400 45050 80 156 0 45243 0
Current children cumulated CPU time (s) 147.49
Current children cumulated vsize (KiB) 181600

[startup+149.1 s]
/proc/loadavg: 3.77 2.67 2.61 5/190 14584
/proc/meminfo: memFree=12530512/32951124 swapFree=67111528/67111528
[pid=14513] ppid=14511 vsize=184520 CPUtime=149.09 cores=4,6
/proc/14513/stat : 14513 (precosat) R 14511 14513 13993 0 -1 4202496 54451 0 0 0 14898 11 0 0 25 0 1 0 510189649 188948480 45751 33554432000 134512640 135151029 4287273088 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14513/statm: 46130 45751 80 156 0 45973 0
Current children cumulated CPU time (s) 149.09
Current children cumulated vsize (KiB) 184520

[startup+150.701 s]
/proc/loadavg: 3.77 2.67 2.61 5/190 14584
/proc/meminfo: memFree=12455616/32951124 swapFree=67111528/67111528
[pid=14513] ppid=14511 vsize=188312 CPUtime=150.69 cores=4,6
/proc/14513/stat : 14513 (precosat) R 14511 14513 13993 0 -1 4202496 55351 0 0 0 15058 11 0 0 25 0 1 0 510189649 192831488 46651 33554432000 134512640 135151029 4287273088 18446744073709551615 134555112 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14513/statm: 47078 46651 80 156 0 46921 0
Current children cumulated CPU time (s) 150.69
Current children cumulated vsize (KiB) 188312

[startup+151.501 s]
/proc/loadavg: 3.79 2.70 2.62 5/190 14584
/proc/meminfo: memFree=12519600/32951124 swapFree=67111528/67111528
[pid=14513] ppid=14511 vsize=190076 CPUtime=151.49 cores=4,6
/proc/14513/stat : 14513 (precosat) R 14511 14513 13993 0 -1 4202496 55773 0 0 0 15138 11 0 0 25 0 1 0 510189649 194637824 47073 33554432000 134512640 135151029 4287273088 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14513/statm: 47519 47073 80 156 0 47362 0
Current children cumulated CPU time (s) 151.49
Current children cumulated vsize (KiB) 190076

[startup+151.901 s]
/proc/loadavg: 3.79 2.70 2.62 5/190 14584
/proc/meminfo: memFree=12519600/32951124 swapFree=67111528/67111528
[pid=14513] ppid=14511 vsize=190608 CPUtime=151.89 cores=4,6
/proc/14513/stat : 14513 (precosat) R 14511 14513 13993 0 -1 4202496 55920 0 0 0 15178 11 0 0 25 0 1 0 510189649 195182592 47220 33554432000 134512640 135151029 4287273088 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14513/statm: 47652 47220 80 156 0 47495 0
Current children cumulated CPU time (s) 151.89
Current children cumulated vsize (KiB) 190608

Child status: 10
Real time (s): 151.997
CPU time (s): 152.002
CPU user time (s): 151.871
CPU system time (s): 0.13098
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 190608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 151.871
system time used= 0.13098
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55970
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= 4
involuntary context switches= 119

runsolver used 0.289955 second user time and 0.543917 second system time

The end

Launcher Data 

Begin job on node138 at 2011-04-28 12:18:37
IDJOB=3309037
IDBENCH=83475
IDSOLVER=1690
FILE ID=node138/3309037-1303985916
RUNJOBID= node138-1303985914-14430
PBS_JOBID= 13168688
Free space on /tmp= 71604 MiB

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

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=1239552660

node138.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.854
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.70
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.854
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	: 5332.75
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.854
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.854
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.75
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.854
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.80
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.854
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.854
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.82
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.854
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13538300 kB
Buffers:       2088392 kB
Cached:       16664032 kB
SwapCached:          0 kB
Active:       10737796 kB
Inactive:      8103492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13538300 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          217456 kB
Writeback:           0 kB
AnonPages:       88448 kB
Mapped:          15472 kB
Slab:           508892 kB
PageTables:       5148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   236196 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= 71568 MiB
End job on node138 at 2011-04-28 12:21:09