Trace number 1784050

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
precosat 236SAT 1166.57 1166.9

General information on the benchmark

NameCRAFTED/edgematching/
explicit/em_12_2_4_exp.cnf
MD5SUMe72d819fa5b57b6476ac56a442ceab9b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark138.534
Satisfiable
(Un)Satisfiability was proved
Number of variables12584
Number of clauses681936
Sum of the clauses size1576368
Maximum clause length100
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2543628
Number of clauses of size 3103200
Number of clauses of size 417828
Number of clauses of size 517000
Number of clauses of size over 5280

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

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1784050-1241914071/watcher-1784050-1241914071 -o /tmp/evaluation-result-1784050-1241914071/solver-1784050-1241914071 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1784050-1241914071.cnf 

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): 6000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 8994
/proc/meminfo: memFree=1808328/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=1876 CPUtime=0
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 219436213 1921024 348 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 469 348 63 155 0 312 0

[startup+0.0459889 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 8994
/proc/meminfo: memFree=1808328/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=4652 CPUtime=0.03
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 1106 0 0 0 3 0 0 0 18 0 1 0 219436213 4763648 1058 1992294400 134512640 135151029 4294956240 18446744073709551615 134572595 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 1163 1058 63 155 0 1006 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4652

[startup+0.101995 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 8994
/proc/meminfo: memFree=1808328/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=7016 CPUtime=0.09
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 1887 0 0 0 9 0 0 0 18 0 1 0 219436213 7184384 1645 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 1754 1646 63 155 0 1597 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7016

[startup+0.302014 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 8994
/proc/meminfo: memFree=1808328/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=17016 CPUtime=0.29
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 4626 0 0 0 27 2 0 0 19 0 1 0 219436213 17424384 4127 1992294400 134512640 135151029 4294956240 18446744073709551615 134682423 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 4254 4128 63 155 0 4097 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17016

[startup+0.701056 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 8994
/proc/meminfo: memFree=1808328/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=34772 CPUtime=0.69
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 9603 0 0 0 65 4 0 0 22 0 1 0 219436213 35606528 8591 1992294400 134512640 135151029 4294956240 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 8693 8591 63 155 0 8536 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34772

[startup+1.50114 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 8995
/proc/meminfo: memFree=1763520/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=43752 CPUtime=1.49
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 15758 0 0 0 141 8 0 0 25 0 1 0 219436213 44802048 10856 1992294400 134512640 135151029 4294956240 18446744073709551615 134578541 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 10938 10856 79 155 0 10781 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43752

[startup+3.10231 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 8995
/proc/meminfo: memFree=1764416/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=70736 CPUtime=3.09
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 28270 0 0 0 296 13 0 0 25 0 1 0 219436213 72433664 17580 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 17684 17580 79 155 0 17527 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 70736

[startup+6.30164 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 8995
/proc/meminfo: memFree=1730496/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=74036 CPUtime=6.29
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 32154 0 0 0 614 15 0 0 25 0 1 0 219436213 75812864 18390 1992294400 134512640 135151029 4294956240 18446744073709551615 134567962 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 18509 18390 79 155 0 18352 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 74036

[startup+12.7013 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 8995
/proc/meminfo: memFree=1734400/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=74036 CPUtime=12.68
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 32154 0 0 0 1253 15 0 0 25 0 1 0 219436213 75812864 18390 1992294400 134512640 135151029 4294956240 18446744073709551615 134580493 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 18509 18390 79 155 0 18352 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 74036

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8995
/proc/meminfo: memFree=1727936/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=80900 CPUtime=25.49
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 33897 0 0 0 2532 17 0 0 25 0 1 0 219436213 82841600 20133 1992294400 134512640 135151029 4294956240 18446744073709551615 134551374 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 20225 20133 79 155 0 20068 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 80900

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8995
/proc/meminfo: memFree=1715264/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=93876 CPUtime=51.08
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 49663 0 0 0 5081 27 0 0 25 0 1 0 219436213 96129024 23367 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 23469 23367 79 155 0 23312 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 93876

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8995
/proc/meminfo: memFree=1676608/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=132000 CPUtime=102.26
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 71101 0 0 0 10185 41 0 0 25 0 1 0 219436213 135168000 32886 1992294400 134512640 135151029 4294956240 18446744073709551615 134520456 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 33000 32886 79 155 0 32843 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 132000

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8995
/proc/meminfo: memFree=1642624/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=166620 CPUtime=162.25
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 91673 0 0 0 16169 56 0 0 25 0 1 0 219436213 170618880 41539 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 41655 41539 79 155 0 41498 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 166620

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8995
/proc/meminfo: memFree=1611328/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=197308 CPUtime=222.23
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 99307 0 0 0 22161 62 0 0 25 0 1 0 219436213 202043392 49173 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 49327 49173 79 155 0 49170 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 197308

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8995
/proc/meminfo: memFree=1603264/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=205168 CPUtime=282.21
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 113317 0 0 0 28152 69 0 0 25 0 1 0 219436213 210092032 51183 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 51292 51183 79 155 0 51135 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 205168

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8995
/proc/meminfo: memFree=1589184/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=230244 CPUtime=342.19
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 122502 0 0 0 34142 77 0 0 25 0 1 0 219436213 235769856 57420 1992294400 134512640 135151029 4294956240 18446744073709551615 134572727 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 57561 57420 79 155 0 57404 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 230244

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8995
/proc/meminfo: memFree=1577152/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=231892 CPUtime=402.18
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 132030 0 0 0 40136 82 0 0 25 0 1 0 219436213 237457408 57847 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 57973 57847 79 155 0 57816 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 231892

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8995
/proc/meminfo: memFree=1559744/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=248592 CPUtime=462.16
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 136196 0 0 0 46131 85 0 0 25 0 1 0 219436213 254558208 62013 1992294400 134512640 135151029 4294956240 18446744073709551615 134555084 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 62148 62013 79 155 0 61991 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 248592

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8995
/proc/meminfo: memFree=1547840/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=260916 CPUtime=522.14
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 151240 0 0 0 52119 95 0 0 25 0 1 0 219436213 267177984 65057 1992294400 134512640 135151029 4294956240 18446744073709551615 134520387 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 65229 65057 79 155 0 65072 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 260916

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8995
/proc/meminfo: memFree=1534976/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=273684 CPUtime=582.13
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 154354 0 0 0 58115 98 0 0 25 0 1 0 219436213 280252416 68171 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 68421 68171 79 155 0 68264 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 273684

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8995
/proc/meminfo: memFree=1515840/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=292748 CPUtime=642.12
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 159085 0 0 0 64110 102 0 0 25 0 1 0 219436213 299773952 72902 1992294400 134512640 135151029 4294956240 18446744073709551615 134550570 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 73187 72902 79 155 0 73030 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 292748

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8995
/proc/meminfo: memFree=1515136/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=292748 CPUtime=702.09
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 171161 0 0 0 70102 107 0 0 25 0 1 0 219436213 299773952 73059 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 73187 73059 79 155 0 73030 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 292748

[startup+762.305 s]
/proc/loadavg: 1.06 1.01 1.00 2/66 8995
/proc/meminfo: memFree=1507200/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=300760 CPUtime=762.08
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 173140 0 0 0 76099 109 0 0 25 0 1 0 219436213 307978240 75038 1992294400 134512640 135151029 4294956240 18446744073709551615 134554825 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 75190 75038 79 155 0 75033 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 300760

[startup+822.302 s]
/proc/loadavg: 1.07 1.03 1.00 2/66 8995
/proc/meminfo: memFree=1479680/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=328880 CPUtime=822.06
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 180140 0 0 0 82092 114 0 0 25 0 1 0 219436213 336773120 82038 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 82220 82038 79 155 0 82063 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 328880

[startup+882.302 s]
/proc/loadavg: 1.07 1.03 1.00 2/66 8995
/proc/meminfo: memFree=1474368/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=333456 CPUtime=882.05
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 192799 0 0 0 88084 121 0 0 25 0 1 0 219436213 341458944 83165 1992294400 134512640 135151029 4294956240 18446744073709551615 134520453 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 83364 83165 79 155 0 83207 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 333456

[startup+942.301 s]
/proc/loadavg: 1.07 1.04 1.00 2/66 8995
/proc/meminfo: memFree=1472960/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=335056 CPUtime=942.02
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 193259 0 0 0 94081 121 0 0 25 0 1 0 219436213 343097344 83625 1992294400 134512640 135151029 4294956240 18446744073709551615 134542871 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 83764 83625 79 155 0 83607 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 335056

[startup+1002.3 s]
/proc/loadavg: 1.10 1.06 1.01 2/66 8995
/proc/meminfo: memFree=1461952/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=345892 CPUtime=1002.01
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 195931 0 0 0 100077 124 0 0 25 0 1 0 219436213 354193408 86297 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 86473 86297 79 155 0 86316 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 345892

[startup+1062.3 s]
/proc/loadavg: 1.03 1.04 1.00 2/66 8995
/proc/meminfo: memFree=1432768/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=375304 CPUtime=1061.99
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 203235 0 0 0 106070 129 0 0 25 0 1 0 219436213 384311296 93601 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 93826 93601 79 155 0 93669 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 375304

[startup+1122.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/66 8995
/proc/meminfo: memFree=1432000/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=375612 CPUtime=1121.98
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 215379 0 0 0 112062 136 0 0 25 0 1 0 219436213 384626688 93745 1992294400 134512640 135151029 4294956240 18446744073709551615 134681359 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 93903 93745 79 155 0 93746 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 375612

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

[startup+1126.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/66 8995
/proc/meminfo: memFree=1432000/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=375612 CPUtime=1125.98
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 215381 0 0 0 112462 136 0 0 25 0 1 0 219436213 384626688 93747 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 93903 93747 79 155 0 93746 0
Current children cumulated CPU time (s) 1125.98
Current children cumulated vsize (KiB) 375612

[startup+1151.9 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 8995
/proc/meminfo: memFree=1431296/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=376396 CPUtime=1151.57
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 215568 0 0 0 115021 136 0 0 25 0 1 0 219436213 385429504 93934 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 94099 93934 79 155 0 93942 0
Current children cumulated CPU time (s) 1151.57
Current children cumulated vsize (KiB) 376396

[startup+1158.31 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 8995
/proc/meminfo: memFree=1429248/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=378396 CPUtime=1157.97
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 216063 0 0 0 115660 137 0 0 25 0 1 0 219436213 387477504 94429 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 94599 94429 79 155 0 94442 0
Current children cumulated CPU time (s) 1157.97
Current children cumulated vsize (KiB) 378396

[startup+1161.5 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 8995
/proc/meminfo: memFree=1427712/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=379896 CPUtime=1161.17
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 216435 0 0 0 115980 137 0 0 25 0 1 0 219436213 389013504 94801 1992294400 134512640 135151029 4294956240 18446744073709551615 134567927 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 94974 94801 79 155 0 94817 0
Current children cumulated CPU time (s) 1161.17
Current children cumulated vsize (KiB) 379896

[startup+1164.7 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 8995
/proc/meminfo: memFree=1424320/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=384816 CPUtime=1164.36
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 217649 0 0 0 116298 138 0 0 25 0 1 0 219436213 394051584 96015 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 96204 96015 79 155 0 96047 0
Current children cumulated CPU time (s) 1164.36
Current children cumulated vsize (KiB) 384816

[startup+1166.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 8995
/proc/meminfo: memFree=1422528/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=385352 CPUtime=1165.96
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 217788 0 0 0 116458 138 0 0 25 0 1 0 219436213 394600448 96154 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 96338 96154 79 155 0 96181 0
Current children cumulated CPU time (s) 1165.96
Current children cumulated vsize (KiB) 385352

[startup+1166.7 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 8995
/proc/meminfo: memFree=1422528/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=385628 CPUtime=1166.36
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194304 217841 0 0 0 116498 138 0 0 25 0 1 0 219436213 394883072 96207 1992294400 134512640 135151029 4294956240 18446744073709551615 134554575 0 0 4096 17442 0 0 0 17 1 0 0
/proc/8994/statm: 96407 96207 79 155 0 96250 0
Current children cumulated CPU time (s) 1166.36
Current children cumulated vsize (KiB) 385628

[startup+1166.9 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 8995
/proc/meminfo: memFree=1422528/2055912 swapFree=4126760/4192956
[pid=8994] ppid=8992 vsize=0 CPUtime=1166.55
/proc/8994/stat : 8994 (precosat) R 8992 8994 8845 0 -1 4194308 217869 0 0 0 116511 144 0 0 17 0 1 0 219436213 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/8994/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1166.55
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1166.9
CPU time (s): 1166.57
CPU user time (s): 1165.12
CPU system time (s): 1.44878
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 385628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1165.12
system time used= 1.44878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217869
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= 76
involuntary context switches= 1667

runsolver used 1.35379 second user time and 2.89556 second system time

The end

Launcher Data 

Begin job on node78 at 2009-05-10 02:07:52
IDJOB=1784050
IDBENCH=70916
IDSOLVER=607
FILE ID=node78/1784050-1241914071
PBS_JOBID= 9264811
Free space on /tmp= 126676 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT09/CRAFTED/edgematching/explicit/em_12_2_4_exp.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1784050-1241914071/watcher-1784050-1241914071 -o /tmp/evaluation-result-1784050-1241914071/solver-1784050-1241914071 -C 5000 -W 6000 -M 1800  HOME/precosat HOME/instance-1784050-1241914071.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= e72d819fa5b57b6476ac56a442ceab9b
RANDOM SEED=125911380

node78.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.243
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.243
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055912 kB
MemFree:       1808744 kB
Buffers:         43324 kB
Cached:         101188 kB
SwapCached:      59692 kB
Active:          70252 kB
Inactive:       135276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055912 kB
LowFree:       1808744 kB
SwapTotal:     4192956 kB
SwapFree:      4126760 kB
Dirty:           11412 kB
Writeback:           0 kB
Mapped:          14180 kB
Slab:            27416 kB
Committed_AS:   553824 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126676 MiB
End job on node78 at 2009-05-10 02:27:19