Trace number 1561474

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 1126.23 1127.01

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.68 1.19 1.08 3/64 32189
/proc/meminfo: memFree=1742248/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=1876 CPUtime=0
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 1149323602 1921024 348 1992294400 134512640 135151029 4294956224 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32189/statm: 469 348 63 155 0 312 0

[startup+0.06064 s]
/proc/loadavg: 1.68 1.19 1.08 3/64 32189
/proc/meminfo: memFree=1742248/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=5184 CPUtime=0.05
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 1314 0 0 0 5 0 0 0 18 0 1 0 1149323602 5308416 1201 1992294400 134512640 135151029 4294956224 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32189/statm: 1329 1201 63 155 0 1172 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5184

[startup+0.101644 s]
/proc/loadavg: 1.68 1.19 1.08 3/64 32189
/proc/meminfo: memFree=1742248/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=7148 CPUtime=0.09
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 1908 0 0 0 9 0 0 0 18 0 1 0 1149323602 7319552 1666 1992294400 134512640 135151029 4294956224 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32189/statm: 1787 1666 63 155 0 1630 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7148

[startup+0.301667 s]
/proc/loadavg: 1.68 1.19 1.08 3/64 32189
/proc/meminfo: memFree=1742248/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=17280 CPUtime=0.29
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 4692 0 0 0 27 2 0 0 19 0 1 0 1149323602 17694720 4193 1992294400 134512640 135151029 4294956224 18446744073709551615 134682423 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32189/statm: 4320 4193 63 155 0 4163 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17280

[startup+0.701715 s]
/proc/loadavg: 1.68 1.19 1.08 3/64 32189
/proc/meminfo: memFree=1742248/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=35432 CPUtime=0.69
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 9759 0 0 0 66 3 0 0 22 0 1 0 1149323602 36282368 8747 1992294400 134512640 135151029 4294956224 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32189/statm: 8858 8747 63 155 0 8701 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35432

[startup+1.50181 s]
/proc/loadavg: 1.68 1.19 1.08 2/65 32190
/proc/meminfo: memFree=1696224/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=47852 CPUtime=1.49
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 16783 0 0 0 142 7 0 0 25 0 1 0 1149323602 49000448 11881 1992294400 134512640 135151029 4294956224 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32189/statm: 11963 11881 79 155 0 11806 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47852

[startup+3.10201 s]
/proc/loadavg: 1.63 1.19 1.08 2/65 32190
/proc/meminfo: memFree=1694432/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=71528 CPUtime=3.09
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 28473 0 0 0 296 13 0 0 25 0 1 0 1149323602 73244672 17783 1992294400 134512640 135151029 4294956224 18446744073709551615 134575323 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32189/statm: 17882 17783 79 155 0 17725 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 71528

[startup+6.30157 s]
/proc/loadavg: 1.63 1.19 1.08 3/65 32190
/proc/meminfo: memFree=1668192/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=74036 CPUtime=5.92
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 32153 0 0 0 576 16 0 0 25 0 1 0 1149323602 75812864 18389 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 18509 18389 79 155 0 18352 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 74036

[startup+12.7013 s]
/proc/loadavg: 1.60 1.20 1.09 2/65 32190
/proc/meminfo: memFree=1668448/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=74036 CPUtime=12.28
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 32154 0 0 0 1212 16 0 0 25 0 1 0 1149323602 75812864 18390 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 18509 18390 79 155 0 18352 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 74036

[startup+25.5019 s]
/proc/loadavg: 1.51 1.19 1.08 2/65 32190
/proc/meminfo: memFree=1661856/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=80900 CPUtime=25.08
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 33887 0 0 0 2490 18 0 0 25 0 1 0 1149323602 82841600 20123 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 20225 20123 79 155 0 20068 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 80900

[startup+51.1019 s]
/proc/loadavg: 1.34 1.18 1.08 2/65 32190
/proc/meminfo: memFree=1648096/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=94936 CPUtime=50.65
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 49931 0 0 0 5038 27 0 0 25 0 1 0 1149323602 97214464 23635 1992294400 134512640 135151029 4294956224 18446744073709551615 134567701 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 23734 23635 79 155 0 23577 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 94936

[startup+102.301 s]
/proc/loadavg: 1.13 1.14 1.08 2/65 32190
/proc/meminfo: memFree=1608608/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=134512 CPUtime=101.84
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 71745 0 0 0 10144 40 0 0 25 0 1 0 1149323602 137740288 33530 1992294400 134512640 135151029 4294956224 18446744073709551615 134554770 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 33628 33530 79 155 0 33471 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 134512

[startup+162.301 s]
/proc/loadavg: 1.05 1.12 1.07 2/65 32190
/proc/meminfo: memFree=1572192/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=170456 CPUtime=161.82
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 92643 0 0 0 16129 53 0 0 25 0 1 0 1149323602 174546944 42509 1992294400 134512640 135151029 4294956224 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 42614 42509 79 155 0 42457 0
Current children cumulated CPU time (s) 161.82
Current children cumulated vsize (KiB) 170456

[startup+222.301 s]
/proc/loadavg: 1.02 1.09 1.07 2/65 32190
/proc/meminfo: memFree=1543840/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=198460 CPUtime=221.8
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 107533 0 0 0 22118 62 0 0 25 0 1 0 1149323602 203223040 49453 1992294400 134512640 135151029 4294956224 18446744073709551615 134548564 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 49615 49453 79 155 0 49458 0
Current children cumulated CPU time (s) 221.8
Current children cumulated vsize (KiB) 198460

[startup+282.302 s]
/proc/loadavg: 1.00 1.07 1.06 2/65 32190
/proc/meminfo: memFree=1535712/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=206764 CPUtime=281.78
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 113706 0 0 0 28112 66 0 0 25 0 1 0 1149323602 211726336 51572 1992294400 134512640 135151029 4294956224 18446744073709551615 134520251 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 51691 51572 79 155 0 51534 0
Current children cumulated CPU time (s) 281.78
Current children cumulated vsize (KiB) 206764

[startup+342.302 s]
/proc/loadavg: 1.00 1.06 1.05 2/65 32190
/proc/meminfo: memFree=1516064/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=226204 CPUtime=341.77
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 130582 0 0 0 34102 75 0 0 25 0 1 0 1149323602 231632896 56399 1992294400 134512640 135151029 4294956224 18446744073709551615 134554799 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 56551 56399 79 155 0 56394 0
Current children cumulated CPU time (s) 341.77
Current children cumulated vsize (KiB) 226204

[startup+402.302 s]
/proc/loadavg: 1.00 1.04 1.05 2/65 32190
/proc/meminfo: memFree=1501792/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=240516 CPUtime=401.75
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 134187 0 0 0 40097 78 0 0 25 0 1 0 1149323602 246288384 60004 1992294400 134512640 135151029 4294956224 18446744073709551615 134578153 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 60129 60004 79 155 0 59972 0
Current children cumulated CPU time (s) 401.75
Current children cumulated vsize (KiB) 240516

[startup+462.307 s]
/proc/loadavg: 1.00 1.03 1.04 2/65 32190
/proc/meminfo: memFree=1491872/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=250112 CPUtime=461.74
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 148585 0 0 0 46088 86 0 0 25 0 1 0 1149323602 256114688 62402 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 62528 62402 79 155 0 62371 0
Current children cumulated CPU time (s) 461.74
Current children cumulated vsize (KiB) 250112

[startup+522.301 s]
/proc/loadavg: 1.00 1.03 1.04 2/65 32190
/proc/meminfo: memFree=1476256/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=266152 CPUtime=521.71
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 152534 0 0 0 52082 89 0 0 25 0 1 0 1149323602 272539648 66351 1992294400 134512640 135151029 4294956224 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 66538 66351 79 155 0 66381 0
Current children cumulated CPU time (s) 521.71
Current children cumulated vsize (KiB) 266152

[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.03 2/65 32190
/proc/meminfo: memFree=1465760/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=276876 CPUtime=581.7
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 155136 0 0 0 58079 91 0 0 25 0 1 0 1149323602 283521024 68953 1992294400 134512640 135151029 4294956224 18446744073709551615 134555146 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 69219 68953 79 155 0 69062 0
Current children cumulated CPU time (s) 581.7
Current children cumulated vsize (KiB) 276876

[startup+642.301 s]
/proc/loadavg: 1.00 1.01 1.02 2/65 32190
/proc/meminfo: memFree=1449568/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=292748 CPUtime=641.67
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 171032 0 0 0 64068 99 0 0 25 0 1 0 1149323602 299773952 72930 1992294400 134512640 135151029 4294956224 18446744073709551615 134555112 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 73187 72930 79 155 0 73030 0
Current children cumulated CPU time (s) 641.67
Current children cumulated vsize (KiB) 292748

[startup+702.301 s]
/proc/loadavg: 1.00 1.01 1.02 2/65 32196
/proc/meminfo: memFree=1445664/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=296056 CPUtime=701.65
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 171995 0 0 0 70065 100 0 0 25 0 1 0 1149323602 303161344 73893 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 74014 73893 79 155 0 73857 0
Current children cumulated CPU time (s) 701.65
Current children cumulated vsize (KiB) 296056

[startup+762.302 s]
/proc/loadavg: 1.00 1.00 1.01 2/65 32196
/proc/meminfo: memFree=1441120/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=300760 CPUtime=761.63
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 173140 0 0 0 76062 101 0 0 25 0 1 0 1149323602 307978240 75038 1992294400 134512640 135151029 4294956224 18446744073709551615 134520387 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 75190 75038 79 155 0 75033 0
Current children cumulated CPU time (s) 761.63
Current children cumulated vsize (KiB) 300760

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.01 2/65 32196
/proc/meminfo: memFree=1408416/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=325260 CPUtime=821.62
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 188943 0 0 0 82052 110 0 0 25 0 1 0 1149323602 333066240 81104 1992294400 134512640 135151029 4294956224 18446744073709551615 134521749 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 81315 81104 79 155 0 81158 0
Current children cumulated CPU time (s) 821.62
Current children cumulated vsize (KiB) 325260

[startup+882.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32196
/proc/meminfo: memFree=1408416/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=333456 CPUtime=881.6
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 192856 0 0 0 88048 112 0 0 25 0 1 0 1149323602 341458944 83222 1992294400 134512640 135151029 4294956224 18446744073709551615 134567933 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 83364 83222 79 155 0 83207 0
Current children cumulated CPU time (s) 881.6
Current children cumulated vsize (KiB) 333456

[startup+942.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32196
/proc/meminfo: memFree=1400160/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=341756 CPUtime=941.58
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 194912 0 0 0 94045 113 0 0 25 0 1 0 1149323602 349958144 85278 1992294400 134512640 135151029 4294956224 18446744073709551615 134554875 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 85439 85278 79 155 0 85282 0
Current children cumulated CPU time (s) 941.58
Current children cumulated vsize (KiB) 341756

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32196
/proc/meminfo: memFree=1375520/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=366288 CPUtime=1001.57
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 201015 0 0 0 100039 118 0 0 25 0 1 0 1149323602 375078912 91381 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 91572 91381 79 155 0 91415 0
Current children cumulated CPU time (s) 1001.57
Current children cumulated vsize (KiB) 366288

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32196
/proc/meminfo: memFree=1366048/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=375612 CPUtime=1061.55
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 215336 0 0 0 106029 126 0 0 25 0 1 0 1149323602 384626688 93702 1992294400 134512640 135151029 4294956224 18446744073709551615 134530816 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 93903 93702 79 155 0 93746 0
Current children cumulated CPU time (s) 1061.55
Current children cumulated vsize (KiB) 375612

[startup+1122.31 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 32196
/proc/meminfo: memFree=1361632/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=380032 CPUtime=1121.53
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 216468 0 0 0 112026 127 0 0 25 0 1 0 1149323602 389152768 94834 1992294400 134512640 135151029 4294956224 18446744073709551615 134520405 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 95008 94834 79 155 0 94851 0
Current children cumulated CPU time (s) 1121.53
Current children cumulated vsize (KiB) 380032

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

[startup+1123.41 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 32196
/proc/meminfo: memFree=1361120/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=380564 CPUtime=1122.63
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 216594 0 0 0 112136 127 0 0 25 0 1 0 1149323602 389697536 94960 1992294400 134512640 135151029 4294956224 18446744073709551615 134555080 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 95141 94960 79 155 0 94984 0
Current children cumulated CPU time (s) 1122.63
Current children cumulated vsize (KiB) 380564

[startup+1125 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 32196
/proc/meminfo: memFree=1357088/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=384816 CPUtime=1124.23
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 217654 0 0 0 112295 128 0 0 25 0 1 0 1149323602 394051584 96020 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 96204 96020 79 155 0 96047 0
Current children cumulated CPU time (s) 1124.23
Current children cumulated vsize (KiB) 384816

[startup+1125.8 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 32196
/proc/meminfo: memFree=1356768/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=384948 CPUtime=1125.03
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 217679 0 0 0 112375 128 0 0 25 0 1 0 1149323602 394186752 96045 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 96237 96045 79 155 0 96080 0
Current children cumulated CPU time (s) 1125.03
Current children cumulated vsize (KiB) 384948

[startup+1126.6 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 32196
/proc/meminfo: memFree=1356256/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=385352 CPUtime=1125.83
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194304 217799 0 0 0 112455 128 0 0 25 0 1 0 1149323602 394600448 96165 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/32189/statm: 96338 96165 79 155 0 96181 0
Current children cumulated CPU time (s) 1125.83
Current children cumulated vsize (KiB) 385352

[startup+1127 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 32196
/proc/meminfo: memFree=1356256/2055920 swapFree=4175700/4192956
[pid=32189] ppid=32187 vsize=0 CPUtime=1126.21
/proc/32189/stat : 32189 (precosat) R 32187 32189 31525 0 -1 4194308 217869 0 0 0 112488 133 0 0 17 0 1 0 1149323602 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/32189/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1126.21
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1127.01
CPU time (s): 1126.23
CPU user time (s): 1124.89
CPU system time (s): 1.3448
CPU usage (%): 99.9309
Max. virtual memory (cumulated for all children) (KiB): 385628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1124.89
system time used= 1.34479
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= 2984

runsolver used 1.01885 second user time and 3.2745 second system time

The end

Launcher Data 

Begin job on node28 at 2009-04-03 15:49:39
IDJOB=1561474
IDBENCH=70916
IDSOLVER=507
FILE ID=node28/1561474-1238766578
PBS_JOBID= 9085483
Free space on /tmp= 66344 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT09/APPLICATIONS/edgematching/explicit/em_12_2_4_exp.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1561474-1238766578/watcher-1561474-1238766578 -o /tmp/evaluation-result-1561474-1238766578/solver-1561474-1238766578 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/precosat HOME/instance-1561474-1238766578.cnf

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

MD5SUM BENCH= e72d819fa5b57b6476ac56a442ceab9b
RANDOM SEED=1227308263

node28.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.212
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.212
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:      2055920 kB
MemFree:       1742664 kB
Buffers:         23472 kB
Cached:         147204 kB
SwapCached:      10476 kB
Active:          88120 kB
Inactive:       164428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1742664 kB
SwapTotal:     4192956 kB
SwapFree:      4175700 kB
Dirty:           11424 kB
Writeback:           0 kB
Mapped:          17940 kB
Slab:            46480 kB
Committed_AS:  3156088 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= 66344 MiB
End job on node28 at 2009-04-03 16:08:26