Trace number 3309001

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 42.0946 42.0954

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F19.cnf
MD5SUM724ced5489ef7e836f9b05218003acd5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark10.0565
Satisfiable
(Un)Satisfiability was proved
Number of variables9044
Number of clauses295685
Sum of the clauses size2135252
Maximum clause length66
Minimum clause length1
Number of clauses of size 16
Number of clauses of size 223461
Number of clauses of size 319584
Number of clauses of size 413813
Number of clauses of size 522420
Number of clauses of size over 5216401

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

running on 2 cores: 1,3

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


[startup+0 s]
/proc/loadavg: 4.00 3.97 3.31 5/189 16587
/proc/meminfo: memFree=12652532/32951124 swapFree=67111528/67111528
[pid=16587] ppid=16585 vsize=2100 CPUtime=0 cores=1,3
/proc/16587/stat : 16587 (precosat) R 16585 16587 16199 0 -1 4202496 442 0 0 0 0 0 0 0 25 0 1 0 510090106 2150400 399 33554432000 134512640 135151029 4292075232 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16587/statm: 525 399 64 156 0 368 0

[startup+0.0916749 s]
/proc/loadavg: 4.00 3.97 3.31 5/189 16587
/proc/meminfo: memFree=12652532/32951124 swapFree=67111528/67111528
[pid=16587] ppid=16585 vsize=12444 CPUtime=0.08 cores=1,3
/proc/16587/stat : 16587 (precosat) R 16585 16587 16199 0 -1 4202496 3039 0 0 0 8 0 0 0 25 0 1 0 510090106 12742656 2963 33554432000 134512640 135151029 4292075232 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16587/statm: 3111 2963 65 156 0 2954 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12444

[startup+0.100689 s]
/proc/loadavg: 4.00 3.97 3.31 5/189 16587
/proc/meminfo: memFree=12652532/32951124 swapFree=67111528/67111528
[pid=16587] ppid=16585 vsize=13248 CPUtime=0.09 cores=1,3
/proc/16587/stat : 16587 (precosat) R 16585 16587 16199 0 -1 4202496 3262 0 0 0 9 0 0 0 25 0 1 0 510090106 13565952 3186 33554432000 134512640 135151029 4292075232 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16587/statm: 3312 3186 65 156 0 3155 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13248

[startup+0.300641 s]
/proc/loadavg: 4.00 3.97 3.31 5/189 16587
/proc/meminfo: memFree=12652532/32951124 swapFree=67111528/67111528
[pid=16587] ppid=16585 vsize=29712 CPUtime=0.29 cores=1,3
/proc/16587/stat : 16587 (precosat) R 16585 16587 16199 0 -1 4202496 7176 0 0 0 28 1 0 0 25 0 1 0 510090106 30425088 7034 33554432000 134512640 135151029 4292075232 18446744073709551615 134574657 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16587/statm: 7428 7034 80 156 0 7271 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29712

[startup+0.70057 s]
/proc/loadavg: 4.00 3.97 3.31 5/189 16587
/proc/meminfo: memFree=12652532/32951124 swapFree=67111528/67111528
[pid=16587] ppid=16585 vsize=41792 CPUtime=0.69 cores=1,3
/proc/16587/stat : 16587 (precosat) R 16585 16587 16199 0 -1 4202496 10139 0 0 0 68 1 0 0 25 0 1 0 510090106 42795008 9868 33554432000 134512640 135151029 4292075232 18446744073709551615 134548564 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16587/statm: 10448 9868 80 156 0 10291 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41792

[startup+1.50043 s]
/proc/loadavg: 4.00 3.97 3.31 5/190 16588
/proc/meminfo: memFree=12612252/32951124 swapFree=67111528/67111528
[pid=16587] ppid=16585 vsize=41792 CPUtime=1.49 cores=1,3
/proc/16587/stat : 16587 (precosat) R 16585 16587 16199 0 -1 4202496 10139 0 0 0 148 1 0 0 25 0 1 0 510090106 42795008 9868 33554432000 134512640 135151029 4292075232 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16587/statm: 10448 9868 80 156 0 10291 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41792

[startup+3.10115 s]
/proc/loadavg: 4.00 3.97 3.31 5/190 16588
/proc/meminfo: memFree=12611512/32951124 swapFree=67111528/67111528
[pid=16587] ppid=16585 vsize=41792 CPUtime=3.09 cores=1,3
/proc/16587/stat : 16587 (precosat) R 16585 16587 16199 0 -1 4202496 10396 0 0 0 308 1 0 0 25 0 1 0 510090106 42795008 10125 33554432000 134512640 135151029 4292075232 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16587/statm: 10448 10125 80 156 0 10291 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41792

[startup+6.30058 s]
/proc/loadavg: 4.00 3.97 3.31 5/190 16588
/proc/meminfo: memFree=12605644/32951124 swapFree=67111528/67111528
[pid=16587] ppid=16585 vsize=45724 CPUtime=6.29 cores=1,3
/proc/16587/stat : 16587 (precosat) R 16585 16587 16199 0 -1 4202496 12567 0 0 0 627 2 0 0 25 0 1 0 510090106 46821376 11316 33554432000 134512640 135151029 4292075232 18446744073709551615 134546271 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16587/statm: 11431 11316 80 156 0 11274 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45724

[startup+12.7004 s]
/proc/loadavg: 4.00 3.97 3.32 5/190 16588
/proc/meminfo: memFree=12590256/32951124 swapFree=67111528/67111528
[pid=16587] ppid=16585 vsize=63280 CPUtime=12.69 cores=1,3
/proc/16587/stat : 16587 (precosat) R 16585 16587 16199 0 -1 4202496 16551 0 0 0 1267 2 0 0 25 0 1 0 510090106 64798720 15300 33554432000 134512640 135151029 4292075232 18446744073709551615 134578118 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16587/statm: 15820 15300 80 156 0 15663 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63280

[startup+25.5002 s]
/proc/loadavg: 4.00 3.97 3.32 5/190 16588
/proc/meminfo: memFree=12569616/32951124 swapFree=67111528/67111528
[pid=16587] ppid=16585 vsize=82564 CPUtime=25.49 cores=1,3
/proc/16587/stat : 16587 (precosat) R 16585 16587 16199 0 -1 4202496 22549 0 0 0 2546 3 0 0 25 0 1 0 510090106 84545536 20230 33554432000 134512640 135151029 4292075232 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16587/statm: 20641 20230 80 156 0 20484 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 82564

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

[startup+31.907 s]
/proc/loadavg: 4.00 3.97 3.33 5/190 16589
/proc/meminfo: memFree=12554860/32951124 swapFree=67111528/67111528
[pid=16587] ppid=16585 vsize=93400 CPUtime=31.9 cores=1,3
/proc/16587/stat : 16587 (precosat) R 16585 16587 16199 0 -1 4202496 25799 0 0 0 3186 4 0 0 25 0 1 0 510090106 95641600 22934 33554432000 134512640 135151029 4292075232 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16587/statm: 23350 22934 80 156 0 23193 0
Current children cumulated CPU time (s) 31.9
Current children cumulated vsize (KiB) 93400

[startup+38.3009 s]
/proc/loadavg: 4.00 3.97 3.33 5/190 16589
/proc/meminfo: memFree=12541876/32951124 swapFree=67111528/67111528
[pid=16587] ppid=16585 vsize=105876 CPUtime=38.29 cores=1,3
/proc/16587/stat : 16587 (precosat) R 16585 16587 16199 0 -1 4202496 28822 0 0 0 3825 4 0 0 25 0 1 0 510090106 108417024 25957 33554432000 134512640 135151029 4292075232 18446744073709551615 134554513 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16587/statm: 26469 25957 80 156 0 26312 0
Current children cumulated CPU time (s) 38.29
Current children cumulated vsize (KiB) 105876

[startup+39.9006 s]
/proc/loadavg: 4.00 3.97 3.33 5/190 16589
/proc/meminfo: memFree=12540196/32951124 swapFree=67111528/67111528
[pid=16587] ppid=16585 vsize=105876 CPUtime=39.89 cores=1,3
/proc/16587/stat : 16587 (precosat) R 16585 16587 16199 0 -1 4202496 29072 0 0 0 3985 4 0 0 25 0 1 0 510090106 108417024 26207 33554432000 134512640 135151029 4292075232 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16587/statm: 26469 26207 80 156 0 26312 0
Current children cumulated CPU time (s) 39.89
Current children cumulated vsize (KiB) 105876

[startup+40.7065 s]
/proc/loadavg: 4.00 3.97 3.34 5/190 16589
/proc/meminfo: memFree=12538336/32951124 swapFree=67111528/67111528
[pid=16587] ppid=16585 vsize=107820 CPUtime=40.69 cores=1,3
/proc/16587/stat : 16587 (precosat) R 16585 16587 16199 0 -1 4202496 29463 0 0 0 4065 4 0 0 25 0 1 0 510090106 110407680 26598 33554432000 134512640 135151029 4292075232 18446744073709551615 134554770 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16587/statm: 26955 26598 80 156 0 26798 0
Current children cumulated CPU time (s) 40.69
Current children cumulated vsize (KiB) 107820

[startup+41.5003 s]
/proc/loadavg: 4.00 3.97 3.34 5/190 16589
/proc/meminfo: memFree=12538336/32951124 swapFree=67111528/67111528
[pid=16587] ppid=16585 vsize=109152 CPUtime=41.49 cores=1,3
/proc/16587/stat : 16587 (precosat) R 16585 16587 16199 0 -1 4202496 29782 0 0 0 4144 5 0 0 25 0 1 0 510090106 111771648 26917 33554432000 134512640 135151029 4292075232 18446744073709551615 134554575 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16587/statm: 27288 26917 80 156 0 27131 0
Current children cumulated CPU time (s) 41.49
Current children cumulated vsize (KiB) 109152

[startup+41.9003 s]
/proc/loadavg: 4.00 3.97 3.34 5/190 16589
/proc/meminfo: memFree=12536352/32951124 swapFree=67111528/67111528
[pid=16587] ppid=16585 vsize=110520 CPUtime=41.89 cores=1,3
/proc/16587/stat : 16587 (precosat) R 16585 16587 16199 0 -1 4202496 30117 0 0 0 4184 5 0 0 25 0 1 0 510090106 113172480 27252 33554432000 134512640 135151029 4292075232 18446744073709551615 134581476 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16587/statm: 27630 27252 80 156 0 27473 0
Current children cumulated CPU time (s) 41.89
Current children cumulated vsize (KiB) 110520

[startup+42.0003 s]
/proc/loadavg: 4.00 3.97 3.34 5/190 16589
/proc/meminfo: memFree=12536352/32951124 swapFree=67111528/67111528
[pid=16587] ppid=16585 vsize=110916 CPUtime=41.99 cores=1,3
/proc/16587/stat : 16587 (precosat) R 16585 16587 16199 0 -1 4202496 30220 0 0 0 4194 5 0 0 25 0 1 0 510090106 113577984 27355 33554432000 134512640 135151029 4292075232 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16587/statm: 27729 27355 80 156 0 27572 0
Current children cumulated CPU time (s) 41.99
Current children cumulated vsize (KiB) 110916

Child status: 10
Real time (s): 42.0954
CPU time (s): 42.0946
CPU user time (s): 42.0386
CPU system time (s): 0.055991
CPU usage (%): 99.9981
Max. virtual memory (cumulated for all children) (KiB): 110916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.0386
system time used= 0.055991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30249
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 28

runsolver used 0.071989 second user time and 0.168974 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-28 12:01:32
IDJOB=3309001
IDBENCH=83443
IDSOLVER=1690
FILE ID=node108/3309001-1303984891
RUNJOBID= node108-1303983222-16219
PBS_JOBID= 13168718
Free space on /tmp= 72088 MiB

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

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

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=436929836

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12652688 kB
Buffers:       2290756 kB
Cached:       16088096 kB
SwapCached:          0 kB
Active:       11484616 kB
Inactive:      8228688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12652688 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           11524 kB
Writeback:          32 kB
AnonPages:     1334188 kB
Mapped:          16120 kB
Slab:           518336 kB
PageTables:       7728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1530036 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= 72088 MiB
End job on node108 at 2011-04-28 12:02:14