Trace number 3308992

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 437.106 437.093

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F20.cnf
MD5SUM3e5703cd522988fbb05dcac3c4dbbe9d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark27.9038
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses395383
Sum of the clauses size2821910
Maximum clause length66
Minimum clause length1
Number of clauses of size 122
Number of clauses of size 227506
Number of clauses of size 320815
Number of clauses of size 412840
Number of clauses of size 536380
Number of clauses of size over 5297820

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

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 4.02 3.98 3.25 5/189 23441
/proc/meminfo: memFree=16301732/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=2324 CPUtime=0 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 503 0 0 0 0 0 0 0 25 0 1 0 588711855 2379776 459 33554432000 134512640 135151029 4287824656 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 581 459 64 156 0 424 0

[startup+0.0863721 s]
/proc/loadavg: 4.02 3.98 3.25 5/189 23441
/proc/meminfo: memFree=16301732/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=11960 CPUtime=0.08 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 2939 0 0 0 8 0 0 0 25 0 1 0 588711855 12247040 2862 33554432000 134512640 135151029 4287824656 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 2990 2863 65 156 0 2833 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11960

[startup+0.100366 s]
/proc/loadavg: 4.02 3.98 3.25 5/189 23441
/proc/meminfo: memFree=16301732/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=13420 CPUtime=0.09 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 3312 0 0 0 9 0 0 0 25 0 1 0 588711855 13742080 3235 33554432000 134512640 135151029 4287824656 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 3355 3235 65 156 0 3198 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13420

[startup+0.30033 s]
/proc/loadavg: 4.02 3.98 3.25 5/189 23441
/proc/meminfo: memFree=16301732/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=34812 CPUtime=0.29 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 8480 0 0 0 28 1 0 0 25 0 1 0 588711855 35647488 8402 33554432000 134512640 135151029 4287824656 18446744073709551615 134574657 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 8703 8402 80 156 0 8546 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34812

[startup+0.700252 s]
/proc/loadavg: 4.02 3.98 3.25 5/189 23441
/proc/meminfo: memFree=16301732/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=52556 CPUtime=0.69 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 12834 0 0 0 67 2 0 0 25 0 1 0 588711855 53817344 12562 33554432000 134512640 135151029 4287824656 18446744073709551615 134547915 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 13139 12562 80 156 0 12982 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52556

[startup+1.50111 s]
/proc/loadavg: 4.02 3.98 3.25 5/190 23442
/proc/meminfo: memFree=16249900/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=52556 CPUtime=1.49 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 12834 0 0 0 147 2 0 0 25 0 1 0 588711855 53817344 12562 33554432000 134512640 135151029 4287824656 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 13139 12562 80 156 0 12982 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52556

[startup+3.1008 s]
/proc/loadavg: 4.02 3.98 3.25 5/190 23442
/proc/meminfo: memFree=16248288/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=52556 CPUtime=3.09 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 12979 0 0 0 307 2 0 0 25 0 1 0 588711855 53817344 12707 33554432000 134512640 135151029 4287824656 18446744073709551615 134520181 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 13139 12707 80 156 0 12982 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52556

[startup+6.30119 s]
/proc/loadavg: 4.02 3.98 3.25 5/190 23442
/proc/meminfo: memFree=16241584/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=56172 CPUtime=6.29 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 15717 0 0 0 627 2 0 0 25 0 1 0 588711855 57520128 13926 33554432000 134512640 135151029 4287824656 18446744073709551615 134679968 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 14043 13926 80 156 0 13886 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56172

[startup+12.701 s]
/proc/loadavg: 4.02 3.98 3.26 5/190 23442
/proc/meminfo: memFree=16226300/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=74352 CPUtime=12.69 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 19894 0 0 0 1266 3 0 0 25 0 1 0 588711855 76136448 18103 33554432000 134512640 135151029 4287824656 18446744073709551615 134573909 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 18588 18103 80 156 0 18431 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 74352

[startup+25.5006 s]
/proc/loadavg: 4.02 3.98 3.27 5/190 23442
/proc/meminfo: memFree=16198896/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=87796 CPUtime=25.49 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 25787 0 0 0 2544 5 0 0 25 0 1 0 588711855 89903104 21764 33554432000 134512640 135151029 4287824656 18446744073709551615 134574592 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 21949 21764 80 156 0 21792 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 87796

[startup+51.1007 s]
/proc/loadavg: 4.01 3.98 3.29 5/190 23452
/proc/meminfo: memFree=16146656/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=127052 CPUtime=51.09 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 36901 0 0 0 5102 7 0 0 25 0 1 0 588711855 130101248 31600 33554432000 134512640 135151029 4287824656 18446744073709551615 134578168 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 31763 31600 80 156 0 31606 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 127052

[startup+102.307 s]
/proc/loadavg: 4.00 3.98 3.32 5/190 23453
/proc/meminfo: memFree=16071148/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=184236 CPUtime=102.3 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 51429 0 0 0 10218 12 0 0 25 0 1 0 588711855 188657664 45539 33554432000 134512640 135151029 4287824656 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 46059 45539 80 156 0 45902 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 184236

[startup+162.301 s]
/proc/loadavg: 4.00 3.98 3.36 5/190 23455
/proc/meminfo: memFree=15986304/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=232624 CPUtime=162.29 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 63453 0 0 0 16214 15 0 0 25 0 1 0 588711855 238206976 57563 33554432000 134512640 135151029 4287824656 18446744073709551615 134553868 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 58156 57563 80 156 0 57999 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 232624

[startup+222.301 s]
/proc/loadavg: 4.00 3.98 3.40 5/190 23457
/proc/meminfo: memFree=15963600/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=246732 CPUtime=222.3 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 67179 0 0 0 22214 16 0 0 25 0 1 0 588711855 252653568 61289 33554432000 134512640 135151029 4287824656 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 61683 61289 80 156 0 61526 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 246732

[startup+282.301 s]
/proc/loadavg: 4.00 3.98 3.43 5/190 23458
/proc/meminfo: memFree=15940760/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=265384 CPUtime=282.3 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 71950 0 0 0 28213 17 0 0 25 0 1 0 588711855 271753216 65835 33554432000 134512640 135151029 4287824656 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 66346 65835 80 156 0 66189 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 265384

[startup+342.3 s]
/proc/loadavg: 4.04 3.99 3.47 5/190 23460
/proc/meminfo: memFree=15904788/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=285356 CPUtime=342.3 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 77186 0 0 0 34211 19 0 0 25 0 1 0 588711855 292204544 70871 33554432000 134512640 135151029 4287824656 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 71339 70871 80 156 0 71182 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 285356

[startup+402.301 s]
/proc/loadavg: 4.01 3.99 3.50 5/190 23461
/proc/meminfo: memFree=15897084/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=291252 CPUtime=402.3 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 78753 0 0 0 40211 19 0 0 25 0 1 0 588711855 298242048 72438 33554432000 134512640 135151029 4287824656 18446744073709551615 134554575 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 72813 72438 80 156 0 72656 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 291252

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

[startup+409.501 s]
/proc/loadavg: 4.01 3.99 3.50 5/190 23462
/proc/meminfo: memFree=15896464/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=292220 CPUtime=409.5 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 78899 0 0 0 40931 19 0 0 25 0 1 0 588711855 299233280 72584 33554432000 134512640 135151029 4287824656 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 73055 72584 80 156 0 72898 0
Current children cumulated CPU time (s) 409.5
Current children cumulated vsize (KiB) 292220

[startup+422.3 s]
/proc/loadavg: 4.01 3.99 3.51 5/190 23462
/proc/meminfo: memFree=15891876/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=297084 CPUtime=422.31 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 80051 0 0 0 42212 19 0 0 25 0 1 0 588711855 304214016 73736 33554432000 134512640 135151029 4287824656 18446744073709551615 134521933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 74271 73736 80 156 0 74114 0
Current children cumulated CPU time (s) 422.31
Current children cumulated vsize (KiB) 297084

[startup+428.701 s]
/proc/loadavg: 4.01 3.99 3.51 5/190 23462
/proc/meminfo: memFree=15892608/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=297084 CPUtime=428.7 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 80109 0 0 0 42851 19 0 0 25 0 1 0 588711855 304214016 73794 33554432000 134512640 135151029 4287824656 18446744073709551615 134567992 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 74271 73794 80 156 0 74114 0
Current children cumulated CPU time (s) 428.7
Current children cumulated vsize (KiB) 297084

[startup+431.9 s]
/proc/loadavg: 4.01 3.99 3.51 5/190 23462
/proc/meminfo: memFree=15891492/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=297084 CPUtime=431.9 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 80178 0 0 0 43171 19 0 0 25 0 1 0 588711855 304214016 73863 33554432000 134512640 135151029 4287824656 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 74271 73863 80 156 0 74114 0
Current children cumulated CPU time (s) 431.9
Current children cumulated vsize (KiB) 297084

[startup+435.101 s]
/proc/loadavg: 4.09 4.01 3.52 5/190 23462
/proc/meminfo: memFree=15890500/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=298516 CPUtime=435.11 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 80655 0 0 0 43491 20 0 0 25 0 1 0 588711855 305680384 74340 33554432000 134512640 135151029 4287824656 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 74629 74340 80 156 0 74472 0
Current children cumulated CPU time (s) 435.11
Current children cumulated vsize (KiB) 298516

[startup+435.901 s]
/proc/loadavg: 4.09 4.01 3.52 5/190 23462
/proc/meminfo: memFree=15889384/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=298932 CPUtime=435.91 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 80770 0 0 0 43571 20 0 0 25 0 1 0 588711855 306106368 74455 33554432000 134512640 135151029 4287824656 18446744073709551615 134554803 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 74733 74455 80 156 0 74576 0
Current children cumulated CPU time (s) 435.91
Current children cumulated vsize (KiB) 298932

[startup+436.707 s]
/proc/loadavg: 4.09 4.01 3.52 5/190 23462
/proc/meminfo: memFree=15888516/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=299776 CPUtime=436.71 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 80982 0 0 0 43651 20 0 0 25 0 1 0 588711855 306970624 74667 33554432000 134512640 135151029 4287824656 18446744073709551615 134555112 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 74944 74667 80 156 0 74787 0
Current children cumulated CPU time (s) 436.71
Current children cumulated vsize (KiB) 299776

[startup+436.9 s]
/proc/loadavg: 4.09 4.01 3.52 5/190 23462
/proc/meminfo: memFree=15888516/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=300624 CPUtime=436.9 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 81141 0 0 0 43670 20 0 0 25 0 1 0 588711855 307838976 74826 33554432000 134512640 135151029 4287824656 18446744073709551615 134530672 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 75156 74826 80 156 0 74999 0
Current children cumulated CPU time (s) 436.9
Current children cumulated vsize (KiB) 300624

[startup+437 s]
/proc/loadavg: 4.09 4.01 3.52 5/190 23462
/proc/meminfo: memFree=15888516/32950928 swapFree=67111528/67111528
[pid=23441] ppid=23439 vsize=300768 CPUtime=437 cores=4,6
/proc/23441/stat : 23441 (precosat) R 23439 23441 23061 0 -1 4202496 81182 0 0 0 43680 20 0 0 25 0 1 0 588711855 307986432 74867 33554432000 134512640 135151029 4287824656 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23441/statm: 75192 74867 80 156 0 75035 0
Current children cumulated CPU time (s) 437
Current children cumulated vsize (KiB) 300768

Child status: 10
Real time (s): 437.093
CPU time (s): 437.106
CPU user time (s): 436.886
CPU system time (s): 0.219966
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 300768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 436.886
system time used= 0.219966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81232
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= 5
involuntary context switches= 474

runsolver used 0.772882 second user time and 1.62175 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-28 12:00:12
IDJOB=3308992
IDBENCH=83436
IDSOLVER=1690
FILE ID=node114/3308992-1303984811
RUNJOBID= node114-1303983220-23080
PBS_JOBID= 13168712
Free space on /tmp= 71780 MiB

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

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

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=339982781

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      16301764 kB
Buffers:       2319980 kB
Cached:       13398808 kB
SwapCached:          0 kB
Active:        7382384 kB
Inactive:      8677504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      16301764 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           15776 kB
Writeback:           0 kB
AnonPages:      340544 kB
Mapped:          16116 kB
Slab:           524696 kB
PageTables:       5748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   524340 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= 71780 MiB
End job on node114 at 2011-04-28 12:07:29