Trace number 3365977

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 140.529 140.524

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

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-3365977-1305321821/watcher-3365977-1305321821 -o /tmp/evaluation-result-3365977-1305321821/solver-3365977-1305321821 -C 5000 -W 5100 -M 15500 HOME/precosat HOME/instance-3365977-1305321821.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 2/316 12516
/proc/meminfo: memFree=8547812/32950928 swapFree=67085488/67111528
[pid=12516] ppid=12514 vsize=2324 CPUtime=0 cores=1,3,5,7
/proc/12516/stat : 12516 (precosat) R 12514 12516 11765 0 -1 4202496 496 0 0 0 0 0 0 0 25 0 1 0 722412852 2379776 453 33554432000 134512640 135151029 4294690624 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/12516/statm: 581 453 64 156 0 424 0

[startup+0.0607351 s]
/proc/loadavg: 1.92 1.98 1.99 2/316 12516
/proc/meminfo: memFree=8547812/32950928 swapFree=67085488/67111528
[pid=12516] ppid=12514 vsize=8180 CPUtime=0.05 cores=1,3,5,7
/proc/12516/stat : 12516 (precosat) R 12514 12516 11765 0 -1 4202496 1983 0 0 0 5 0 0 0 25 0 1 0 722412852 8376320 1907 33554432000 134512640 135151029 4294690624 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/12516/statm: 2045 1908 65 156 0 1888 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8180

[startup+0.100736 s]
/proc/loadavg: 1.92 1.98 1.99 2/316 12516
/proc/meminfo: memFree=8547812/32950928 swapFree=67085488/67111528
[pid=12516] ppid=12514 vsize=13888 CPUtime=0.09 cores=1,3,5,7
/proc/12516/stat : 12516 (precosat) R 12514 12516 11765 0 -1 4202496 3404 0 0 0 9 0 0 0 25 0 1 0 722412852 14221312 3328 33554432000 134512640 135151029 4294690624 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/12516/statm: 3472 3329 65 156 0 3315 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13888

[startup+0.30069 s]
/proc/loadavg: 1.92 1.98 1.99 2/316 12516
/proc/meminfo: memFree=8547812/32950928 swapFree=67085488/67111528
[pid=12516] ppid=12514 vsize=34508 CPUtime=0.29 cores=1,3,5,7
/proc/12516/stat : 12516 (precosat) R 12514 12516 11765 0 -1 4202496 8349 0 0 0 27 2 0 0 25 0 1 0 722412852 35336192 8273 33554432000 134512640 135151029 4294690624 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/12516/statm: 8627 8274 65 156 0 8470 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34508

[startup+0.70062 s]
/proc/loadavg: 1.92 1.98 1.99 2/316 12516
/proc/meminfo: memFree=8547812/32950928 swapFree=67085488/67111528
[pid=12516] ppid=12514 vsize=63332 CPUtime=0.69 cores=1,3,5,7
/proc/12516/stat : 12516 (precosat) R 12514 12516 11765 0 -1 4202496 15601 0 0 0 66 3 0 0 25 0 1 0 722412852 64851968 15330 33554432000 134512640 135151029 4294690624 18446744073709551615 134519627 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/12516/statm: 15833 15330 80 156 0 15676 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63332

[startup+1.50046 s]
/proc/loadavg: 1.92 1.98 1.99 3/317 12517
/proc/meminfo: memFree=8486308/32950928 swapFree=67085488/67111528
[pid=12516] ppid=12514 vsize=63332 CPUtime=1.49 cores=1,3,5,7
/proc/12516/stat : 12516 (precosat) R 12514 12516 11765 0 -1 4202496 15605 0 0 0 146 3 0 0 25 0 1 0 722412852 64851968 15334 33554432000 134512640 135151029 4294690624 18446744073709551615 134526366 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/12516/statm: 15833 15334 80 156 0 15676 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63332

[startup+3.10117 s]
/proc/loadavg: 1.92 1.98 1.99 3/317 12517
/proc/meminfo: memFree=8485796/32950928 swapFree=67085488/67111528
[pid=12516] ppid=12514 vsize=63332 CPUtime=3.09 cores=1,3,5,7
/proc/12516/stat : 12516 (precosat) R 12514 12516 11765 0 -1 4202496 15661 0 0 0 306 3 0 0 25 0 1 0 722412852 64851968 15390 33554432000 134512640 135151029 4294690624 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/12516/statm: 15833 15390 80 156 0 15676 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63332

[startup+6.30056 s]
/proc/loadavg: 1.93 1.98 1.99 3/317 12518
/proc/meminfo: memFree=8483320/32950928 swapFree=67085488/67111528
[pid=12516] ppid=12514 vsize=66408 CPUtime=6.29 cores=1,3,5,7
/proc/12516/stat : 12516 (precosat) R 12514 12516 11765 0 -1 4202496 16664 0 0 0 626 3 0 0 25 0 1 0 722412852 68001792 16393 33554432000 134512640 135151029 4294690624 18446744073709551615 134554805 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/12516/statm: 16602 16393 80 156 0 16445 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66408

[startup+12.7004 s]
/proc/loadavg: 1.93 1.98 1.99 3/317 12518
/proc/meminfo: memFree=8475900/32950928 swapFree=67085488/67111528
[pid=12516] ppid=12514 vsize=70668 CPUtime=12.69 cores=1,3,5,7
/proc/12516/stat : 12516 (precosat) R 12514 12516 11765 0 -1 4202496 19654 0 0 0 1266 3 0 0 25 0 1 0 722412852 72364032 17551 33554432000 134512640 135151029 4294690624 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/12516/statm: 17667 17551 80 156 0 17510 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 70668

[startup+25.501 s]
/proc/loadavg: 1.95 1.98 1.99 3/317 12518
/proc/meminfo: memFree=8459352/32950928 swapFree=67085488/67111528
[pid=12516] ppid=12514 vsize=89004 CPUtime=25.49 cores=1,3,5,7
/proc/12516/stat : 12516 (precosat) R 12514 12516 11765 0 -1 4202496 25899 0 0 0 2545 4 0 0 25 0 1 0 722412852 91140096 22009 33554432000 134512640 135151029 4294690624 18446744073709551615 134551358 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/12516/statm: 22251 22009 80 156 0 22094 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 89004

[startup+51.1011 s]
/proc/loadavg: 1.96 1.98 1.99 3/317 12519
/proc/meminfo: memFree=8427812/32950928 swapFree=67085488/67111528
[pid=12516] ppid=12514 vsize=118008 CPUtime=51.09 cores=1,3,5,7
/proc/12516/stat : 12516 (precosat) R 12514 12516 11765 0 -1 4202496 35456 0 0 0 5103 6 0 0 25 0 1 0 722412852 120840192 29373 33554432000 134512640 135151029 4294690624 18446744073709551615 134554785 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/12516/statm: 29502 29373 80 156 0 29345 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 118008

[startup+102.311 s]
/proc/loadavg: 2.02 2.00 1.99 3/317 12520
/proc/meminfo: memFree=8395876/32950928 swapFree=67085488/67111528
[pid=12516] ppid=12514 vsize=149636 CPUtime=102.31 cores=1,3,5,7
/proc/12516/stat : 12516 (precosat) R 12514 12516 11765 0 -1 4202496 45486 0 0 0 10222 9 0 0 25 0 1 0 722412852 153227264 37271 33554432000 134512640 135151029 4294690624 18446744073709551615 134574544 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/12516/statm: 37409 37271 80 156 0 37252 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 149636

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

[startup+127.901 s]
/proc/loadavg: 2.01 2.00 1.99 3/317 12521
/proc/meminfo: memFree=8371920/32950928 swapFree=67085488/67111528
[pid=12516] ppid=12514 vsize=173592 CPUtime=127.89 cores=1,3,5,7
/proc/12516/stat : 12516 (precosat) R 12514 12516 11765 0 -1 4202496 51935 0 0 0 12779 10 0 0 25 0 1 0 722412852 177758208 43236 33554432000 134512640 135151029 4294690624 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/12516/statm: 43398 43236 80 156 0 43241 0
Current children cumulated CPU time (s) 127.89
Current children cumulated vsize (KiB) 173592

[startup+134.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/317 12521
/proc/meminfo: memFree=8367704/32950928 swapFree=67085488/67111528
[pid=12516] ppid=12514 vsize=178924 CPUtime=134.29 cores=1,3,5,7
/proc/12516/stat : 12516 (precosat) R 12514 12516 11765 0 -1 4202496 53137 0 0 0 13419 10 0 0 25 0 1 0 722412852 183218176 44438 33554432000 134512640 135151029 4294690624 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/12516/statm: 44731 44438 80 156 0 44574 0
Current children cumulated CPU time (s) 134.29
Current children cumulated vsize (KiB) 178924

[startup+137.512 s]
/proc/loadavg: 2.01 2.00 1.99 3/317 12521
/proc/meminfo: memFree=8363612/32950928 swapFree=67085488/67111528
[pid=12516] ppid=12514 vsize=182932 CPUtime=137.51 cores=1,3,5,7
/proc/12516/stat : 12516 (precosat) R 12514 12516 11765 0 -1 4202496 54067 0 0 0 13740 11 0 0 25 0 1 0 722412852 187322368 45368 33554432000 134512640 135151029 4294690624 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/12516/statm: 45733 45368 80 156 0 45576 0
Current children cumulated CPU time (s) 137.51
Current children cumulated vsize (KiB) 182932

[startup+139.101 s]
/proc/loadavg: 2.01 2.00 1.99 3/317 12521
/proc/meminfo: memFree=8360388/32950928 swapFree=67085488/67111528
[pid=12516] ppid=12514 vsize=187256 CPUtime=139.1 cores=1,3,5,7
/proc/12516/stat : 12516 (precosat) R 12514 12516 11765 0 -1 4202496 55116 0 0 0 13899 11 0 0 25 0 1 0 722412852 191750144 46417 33554432000 134512640 135151029 4294690624 18446744073709551615 134555084 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/12516/statm: 46814 46417 80 156 0 46657 0
Current children cumulated CPU time (s) 139.1
Current children cumulated vsize (KiB) 187256

[startup+139.9 s]
/proc/loadavg: 2.01 2.00 1.99 3/317 12521
/proc/meminfo: memFree=8357568/32950928 swapFree=67085488/67111528
[pid=12516] ppid=12514 vsize=189652 CPUtime=139.9 cores=1,3,5,7
/proc/12516/stat : 12516 (precosat) R 12514 12516 11765 0 -1 4202496 55665 0 0 0 13979 11 0 0 25 0 1 0 722412852 194203648 46966 33554432000 134512640 135151029 4294690624 18446744073709551615 134574623 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/12516/statm: 47413 46966 80 156 0 47256 0
Current children cumulated CPU time (s) 139.9
Current children cumulated vsize (KiB) 189652

[startup+140.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/317 12521
/proc/meminfo: memFree=8357568/32950928 swapFree=67085488/67111528
[pid=12516] ppid=12514 vsize=190476 CPUtime=140.3 cores=1,3,5,7
/proc/12516/stat : 12516 (precosat) R 12514 12516 11765 0 -1 4202496 55881 0 0 0 14019 11 0 0 25 0 1 0 722412852 195047424 47182 33554432000 134512640 135151029 4294690624 18446744073709551615 134555150 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/12516/statm: 47619 47182 80 156 0 47462 0
Current children cumulated CPU time (s) 140.3
Current children cumulated vsize (KiB) 190476

[startup+140.5 s]
/proc/loadavg: 2.01 2.00 1.99 3/317 12521
/proc/meminfo: memFree=8357568/32950928 swapFree=67085488/67111528
[pid=12516] ppid=12514 vsize=190872 CPUtime=140.5 cores=1,3,5,7
/proc/12516/stat : 12516 (precosat) R 12514 12516 11765 0 -1 4202496 55965 0 0 0 14039 11 0 0 25 0 1 0 722412852 195452928 47266 33554432000 134512640 135151029 4294690624 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/12516/statm: 47718 47266 80 156 0 47561 0
Current children cumulated CPU time (s) 140.5
Current children cumulated vsize (KiB) 190872

Child status: 10
Real time (s): 140.524
CPU time (s): 140.529
CPU user time (s): 140.406
CPU system time (s): 0.122981
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 190872

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

runsolver used 0.405938 second user time and 1.00885 second system time

The end

Launcher Data 

Begin job on node114 at 2011-05-13 23:23:42
IDJOB=3365977
IDBENCH=83475
IDSOLVER=1843
FILE ID=node114/3365977-1305321821
RUNJOBID= node114-1305315246-11784
PBS_JOBID= 13324318
Free space on /tmp= 39208 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-3365977-1305321821/watcher-3365977-1305321821 -o /tmp/evaluation-result-3365977-1305321821/solver-3365977-1305321821 -C 5000 -W 5100 -M 15500  HOME/precosat HOME/instance-3365977-1305321821.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=972420767

node114.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.848
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.69
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.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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.74
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.848
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.73
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.848
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.75
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.848
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.848
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.74
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.848
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:     32950928 kB
MemFree:       8547968 kB
Buffers:        258944 kB
Cached:       13008092 kB
SwapCached:         96 kB
Active:       12402228 kB
Inactive:     11475020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       8547968 kB
SwapTotal:    67111528 kB
SwapFree:     67085488 kB
Dirty:           20564 kB
Writeback:           0 kB
AnonPages:    10609992 kB
Mapped:          27284 kB
Slab:           425512 kB
PageTables:      37456 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52728360 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= 39208 MiB
End job on node114 at 2011-05-13 23:26:02