Trace number 3365947

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 406.315 406.308

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3365947-1305320688/watcher-3365947-1305320688 -o /tmp/evaluation-result-3365947-1305320688/solver-3365947-1305320688 -C 5000 -W 5100 -M 15500 HOME/precosat HOME/instance-3365947-1305320688.cnf 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.95 2/291 32265
/proc/meminfo: memFree=10292064/32951124 swapFree=52307768/67111528
[pid=32265] ppid=32263 vsize=2720 CPUtime=0 cores=1,3,5,7
/proc/32265/stat : 32265 (precosat) R 32263 32265 31816 0 -1 4202496 592 0 0 0 0 0 0 0 25 0 1 0 643671628 2785280 549 33554432000 134512640 135151029 4289165008 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/32265/statm: 680 549 64 156 0 523 0

[startup+0.081972 s]
/proc/loadavg: 2.00 2.00 1.95 2/291 32265
/proc/meminfo: memFree=10292064/32951124 swapFree=52307768/67111528
[pid=32265] ppid=32263 vsize=11564 CPUtime=0.07 cores=1,3,5,7
/proc/32265/stat : 32265 (precosat) R 32263 32265 31816 0 -1 4202496 2833 0 0 0 7 0 0 0 25 0 1 0 643671628 11841536 2757 33554432000 134512640 135151029 4289165008 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/32265/statm: 2891 2758 65 156 0 2734 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11564

[startup+0.100962 s]
/proc/loadavg: 2.00 2.00 1.95 2/291 32265
/proc/meminfo: memFree=10292064/32951124 swapFree=52307768/67111528
[pid=32265] ppid=32263 vsize=13552 CPUtime=0.09 cores=1,3,5,7
/proc/32265/stat : 32265 (precosat) R 32263 32265 31816 0 -1 4202496 3321 0 0 0 9 0 0 0 25 0 1 0 643671628 13877248 3245 33554432000 134512640 135151029 4289165008 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/32265/statm: 3388 3245 65 156 0 3231 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13552

[startup+0.300934 s]
/proc/loadavg: 2.00 2.00 1.95 2/291 32265
/proc/meminfo: memFree=10292064/32951124 swapFree=52307768/67111528
[pid=32265] ppid=32263 vsize=35004 CPUtime=0.29 cores=1,3,5,7
/proc/32265/stat : 32265 (precosat) R 32263 32265 31816 0 -1 4202496 8532 0 0 0 28 1 0 0 25 0 1 0 643671628 35844096 8455 33554432000 134512640 135151029 4289165008 18446744073709551615 134574638 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/32265/statm: 8751 8455 80 156 0 8594 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35004

[startup+0.700864 s]
/proc/loadavg: 2.00 2.00 1.95 2/291 32265
/proc/meminfo: memFree=10292064/32951124 swapFree=52307768/67111528
[pid=32265] ppid=32263 vsize=52556 CPUtime=0.69 cores=1,3,5,7
/proc/32265/stat : 32265 (precosat) R 32263 32265 31816 0 -1 4202496 12833 0 0 0 68 1 0 0 25 0 1 0 643671628 53817344 12562 33554432000 134512640 135151029 4289165008 18446744073709551615 134548395 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/32265/statm: 13139 12562 80 156 0 12982 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52556

[startup+1.50072 s]
/proc/loadavg: 2.00 2.00 1.95 3/292 32266
/proc/meminfo: memFree=10241596/32951124 swapFree=52307768/67111528
[pid=32265] ppid=32263 vsize=52556 CPUtime=1.49 cores=1,3,5,7
/proc/32265/stat : 32265 (precosat) R 32263 32265 31816 0 -1 4202496 12833 0 0 0 148 1 0 0 25 0 1 0 643671628 53817344 12562 33554432000 134512640 135151029 4289165008 18446744073709551615 134574623 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/32265/statm: 13139 12562 80 156 0 12982 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52556

[startup+3.10044 s]
/proc/loadavg: 2.00 2.00 1.95 3/292 32266
/proc/meminfo: memFree=10240728/32951124 swapFree=52307768/67111528
[pid=32265] ppid=32263 vsize=52556 CPUtime=3.09 cores=1,3,5,7
/proc/32265/stat : 32265 (precosat) R 32263 32265 31816 0 -1 4202496 13008 0 0 0 308 1 0 0 25 0 1 0 643671628 53817344 12737 33554432000 134512640 135151029 4289165008 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/32265/statm: 13139 12737 80 156 0 12982 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52556

[startup+6.30087 s]
/proc/loadavg: 2.08 2.02 1.95 3/292 32266
/proc/meminfo: memFree=10235272/32951124 swapFree=52307768/67111528
[pid=32265] ppid=32263 vsize=56172 CPUtime=6.29 cores=1,3,5,7
/proc/32265/stat : 32265 (precosat) R 32263 32265 31816 0 -1 4202496 15716 0 0 0 627 2 0 0 25 0 1 0 643671628 57520128 13926 33554432000 134512640 135151029 4289165008 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/32265/statm: 14043 13926 80 156 0 13886 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56172

[startup+12.7007 s]
/proc/loadavg: 2.08 2.02 1.95 3/292 32266
/proc/meminfo: memFree=10219108/32951124 swapFree=52307768/67111528
[pid=32265] ppid=32263 vsize=67596 CPUtime=12.69 cores=1,3,5,7
/proc/32265/stat : 32265 (precosat) R 32263 32265 31816 0 -1 4202496 19895 0 0 0 1266 3 0 0 25 0 1 0 643671628 69218304 16782 33554432000 134512640 135151029 4289165008 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/32265/statm: 16899 16782 80 156 0 16742 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67596

[startup+25.5005 s]
/proc/loadavg: 2.06 2.01 1.95 3/292 32267
/proc/meminfo: memFree=10202276/32951124 swapFree=52307768/67111528
[pid=32265] ppid=32263 vsize=90144 CPUtime=25.49 cores=1,3,5,7
/proc/32265/stat : 32265 (precosat) R 32263 32265 31816 0 -1 4202496 26314 0 0 0 2545 4 0 0 25 0 1 0 643671628 92307456 22292 33554432000 134512640 135151029 4289165008 18446744073709551615 134580559 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/32265/statm: 22536 22292 80 156 0 22379 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 90144

[startup+51.1009 s]
/proc/loadavg: 2.04 2.01 1.95 3/292 32268
/proc/meminfo: memFree=10160696/32951124 swapFree=52307768/67111528
[pid=32265] ppid=32263 vsize=132880 CPUtime=51.09 cores=1,3,5,7
/proc/32265/stat : 32265 (precosat) R 32263 32265 31816 0 -1 4202496 38186 0 0 0 5103 6 0 0 25 0 1 0 643671628 136069120 32886 33554432000 134512640 135151029 4289165008 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/32265/statm: 33220 32886 80 156 0 33063 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 132880

[startup+102.311 s]
/proc/loadavg: 2.01 2.01 1.95 3/292 32269
/proc/meminfo: memFree=10101724/32951124 swapFree=52307768/67111528
[pid=32265] ppid=32263 vsize=189876 CPUtime=102.31 cores=1,3,5,7
/proc/32265/stat : 32265 (precosat) R 32263 32265 31816 0 -1 4202496 52985 0 0 0 10220 11 0 0 25 0 1 0 643671628 194433024 47096 33554432000 134512640 135151029 4289165008 18446744073709551615 134521573 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/32265/statm: 47469 47096 80 156 0 47312 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 189876

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/292 32270
/proc/meminfo: memFree=10057692/32951124 swapFree=52307768/67111528
[pid=32265] ppid=32263 vsize=233920 CPUtime=162.3 cores=1,3,5,7
/proc/32265/stat : 32265 (precosat) R 32263 32265 31816 0 -1 4202496 64016 0 0 0 16216 14 0 0 25 0 1 0 643671628 239534080 58127 33554432000 134512640 135151029 4289165008 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/32265/statm: 58480 58127 80 156 0 58323 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 233920

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/292 32272
/proc/meminfo: memFree=10020456/32951124 swapFree=52307768/67111528
[pid=32265] ppid=32263 vsize=263856 CPUtime=222.29 cores=1,3,5,7
/proc/32265/stat : 32265 (precosat) R 32263 32265 31816 0 -1 4202496 71026 0 0 0 22214 15 0 0 25 0 1 0 643671628 270188544 65137 33554432000 134512640 135151029 4289165008 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/32265/statm: 65964 65137 80 156 0 65807 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 263856

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/292 32274
/proc/meminfo: memFree=10008040/32951124 swapFree=52307768/67111528
[pid=32265] ppid=32263 vsize=264504 CPUtime=282.3 cores=1,3,5,7
/proc/32265/stat : 32265 (precosat) R 32263 32265 31816 0 -1 4202496 72130 0 0 0 28214 16 0 0 25 0 1 0 643671628 270852096 65816 33554432000 134512640 135151029 4289165008 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/32265/statm: 66126 65816 80 156 0 65969 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 264504

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/292 32275
/proc/meminfo: memFree=9978740/32951124 swapFree=52307768/67111528
[pid=32265] ppid=32263 vsize=287900 CPUtime=342.3 cores=1,3,5,7
/proc/32265/stat : 32265 (precosat) R 32263 32265 31816 0 -1 4202496 77763 0 0 0 34213 17 0 0 25 0 1 0 643671628 294809600 71449 33554432000 134512640 135151029 4289165008 18446744073709551615 134580473 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/32265/statm: 71975 71449 80 156 0 71818 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 287900

[startup+402.301 s]
/proc/loadavg: 2.08 2.02 1.96 3/292 32277
/proc/meminfo: memFree=9970388/32951124 swapFree=52307768/67111528
[pid=32265] ppid=32263 vsize=297084 CPUtime=402.3 cores=1,3,5,7
/proc/32265/stat : 32265 (precosat) R 32263 32265 31816 0 -1 4202496 80265 0 0 0 40212 18 0 0 25 0 1 0 643671628 304214016 73951 33554432000 134512640 135151029 4289165008 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/32265/statm: 74271 73951 80 156 0 74114 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 297084

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

[startup+403.101 s]
/proc/loadavg: 2.08 2.02 1.96 3/292 32277
/proc/meminfo: memFree=9969892/32951124 swapFree=52307768/67111528
[pid=32265] ppid=32263 vsize=297084 CPUtime=403.1 cores=1,3,5,7
/proc/32265/stat : 32265 (precosat) R 32263 32265 31816 0 -1 4202496 80295 0 0 0 40292 18 0 0 25 0 1 0 643671628 304214016 73981 33554432000 134512640 135151029 4289165008 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/32265/statm: 74271 73981 80 156 0 74114 0
Current children cumulated CPU time (s) 403.1
Current children cumulated vsize (KiB) 297084

[startup+404.7 s]
/proc/loadavg: 2.07 2.02 1.96 3/292 32277
/proc/meminfo: memFree=9968512/32951124 swapFree=52307768/67111528
[pid=32265] ppid=32263 vsize=298516 CPUtime=404.71 cores=1,3,5,7
/proc/32265/stat : 32265 (precosat) R 32263 32265 31816 0 -1 4202496 80655 0 0 0 40453 18 0 0 25 0 1 0 643671628 305680384 74341 33554432000 134512640 135151029 4289165008 18446744073709551615 134555084 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/32265/statm: 74629 74341 80 156 0 74472 0
Current children cumulated CPU time (s) 404.71
Current children cumulated vsize (KiB) 298516

[startup+405.501 s]
/proc/loadavg: 2.07 2.02 1.96 3/292 32277
/proc/meminfo: memFree=9968512/32951124 swapFree=52307768/67111528
[pid=32265] ppid=32263 vsize=299196 CPUtime=405.5 cores=1,3,5,7
/proc/32265/stat : 32265 (precosat) R 32263 32265 31816 0 -1 4202496 80852 0 0 0 40532 18 0 0 25 0 1 0 643671628 306376704 74538 33554432000 134512640 135151029 4289165008 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/32265/statm: 74799 74538 80 156 0 74642 0
Current children cumulated CPU time (s) 405.5
Current children cumulated vsize (KiB) 299196

[startup+405.911 s]
/proc/loadavg: 2.07 2.02 1.96 3/292 32277
/proc/meminfo: memFree=9967644/32951124 swapFree=52307768/67111528
[pid=32265] ppid=32263 vsize=299644 CPUtime=405.91 cores=1,3,5,7
/proc/32265/stat : 32265 (precosat) R 32263 32265 31816 0 -1 4202496 80950 0 0 0 40573 18 0 0 25 0 1 0 643671628 306835456 74636 33554432000 134512640 135151029 4289165008 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/32265/statm: 74911 74636 80 156 0 74754 0
Current children cumulated CPU time (s) 405.91
Current children cumulated vsize (KiB) 299644

[startup+406.301 s]
/proc/loadavg: 2.07 2.02 1.96 3/292 32277
/proc/meminfo: memFree=9967644/32951124 swapFree=52307768/67111528
[pid=32265] ppid=32263 vsize=0 CPUtime=406.3 cores=1,3,5,7
/proc/32265/stat : 32265 (precosat) R 32263 32265 31816 0 -1 4202500 81231 0 0 0 40611 19 0 0 25 0 1 0 643671628 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/32265/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 406.3
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 406.308
CPU time (s): 406.315
CPU user time (s): 406.111
CPU system time (s): 0.203968
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 300768

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

runsolver used 0.98485 second user time and 2.71959 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-13 23:04:49
IDJOB=3365947
IDBENCH=83436
IDSOLVER=1843
FILE ID=node101/3365947-1305320688
RUNJOBID= node101-1305315334-31835
PBS_JOBID= 13324331
Free space on /tmp= 37488 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-3365947-1305320688/watcher-3365947-1305320688 -o /tmp/evaluation-result-3365947-1305320688/solver-3365947-1305320688 -C 5000 -W 5100 -M 15500  HOME/precosat HOME/instance-3365947-1305320688.cnf

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

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=1166574185

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      10292344 kB
Buffers:        270076 kB
Cached:       12065328 kB
SwapCached:      14848 kB
Active:       11891532 kB
Inactive:     10338848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      10292344 kB
SwapTotal:    67111528 kB
SwapFree:     52307768 kB
Dirty:           15940 kB
Writeback:           0 kB
AnonPages:     9892040 kB
Mapped:          15292 kB
Slab:           302268 kB
PageTables:      62660 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 42239572 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= 37488 MiB
End job on node101 at 2011-05-13 23:11:35