Trace number 1560694

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 21.5527 21.5683

General information on the benchmark

NameAPPLICATIONS/aprove09/
AProVE09-08.cnf
MD5SUMfc002583fd176f7c17c597cf2b9ef469
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.201969
Satisfiable
(Un)Satisfiability was proved
Number of variables8564
Number of clauses28927
Sum of the clauses size74571
Maximum clause length14
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 213201
Number of clauses of size 314829
Number of clauses of size 4883
Number of clauses of size 50
Number of clauses of size over 513

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

[startup+0.0810161 s]
/proc/loadavg: 0.99 0.98 0.99 3/76 12314
/proc/meminfo: memFree=1317304/2055920 swapFree=4127460/4192956
[pid=12314] ppid=12312 vsize=4104 CPUtime=0.07
/proc/12314/stat : 12314 (precosat) R 12312 12314 11355 0 -1 4194304 978 0 0 0 7 0 0 0 20 0 1 0 1148495647 4202496 929 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12314/statm: 1026 929 79 155 0 869 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4104

[startup+0.101011 s]
/proc/loadavg: 0.99 0.98 0.99 3/76 12314
/proc/meminfo: memFree=1317304/2055920 swapFree=4127460/4192956
[pid=12314] ppid=12312 vsize=4104 CPUtime=0.09
/proc/12314/stat : 12314 (precosat) R 12312 12314 11355 0 -1 4194304 980 0 0 0 9 0 0 0 20 0 1 0 1148495647 4202496 931 1992294400 134512640 135151029 4294956224 18446744073709551615 134542700 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12314/statm: 1026 931 79 155 0 869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4104

[startup+0.301048 s]
/proc/loadavg: 0.99 0.98 0.99 3/76 12314
/proc/meminfo: memFree=1317304/2055920 swapFree=4127460/4192956
[pid=12314] ppid=12312 vsize=5468 CPUtime=0.29
/proc/12314/stat : 12314 (precosat) R 12312 12314 11355 0 -1 4194304 1397 0 0 0 29 0 0 0 22 0 1 0 1148495647 5599232 1249 1992294400 134512640 135151029 4294956224 18446744073709551615 134573925 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12314/statm: 1367 1249 79 155 0 1210 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5468

[startup+0.701126 s]
/proc/loadavg: 0.99 0.98 0.99 3/76 12314
/proc/meminfo: memFree=1317304/2055920 swapFree=4127460/4192956
[pid=12314] ppid=12312 vsize=5468 CPUtime=0.69
/proc/12314/stat : 12314 (precosat) R 12312 12314 11355 0 -1 4194304 1397 0 0 0 69 0 0 0 25 0 1 0 1148495647 5599232 1249 1992294400 134512640 135151029 4294956224 18446744073709551615 134555130 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12314/statm: 1367 1249 79 155 0 1210 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5468

[startup+1.50128 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 12315
/proc/meminfo: memFree=1312624/2055920 swapFree=4127460/4192956
[pid=12314] ppid=12312 vsize=5468 CPUtime=1.49
/proc/12314/stat : 12314 (precosat) R 12312 12314 11355 0 -1 4194304 1397 0 0 0 149 0 0 0 25 0 1 0 1148495647 5599232 1249 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12314/statm: 1367 1249 79 155 0 1210 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5468

[startup+3.10159 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 12315
/proc/meminfo: memFree=1312432/2055920 swapFree=4127460/4192956
[pid=12314] ppid=12312 vsize=5468 CPUtime=3.09
/proc/12314/stat : 12314 (precosat) R 12312 12314 11355 0 -1 4194304 1397 0 0 0 309 0 0 0 25 0 1 0 1148495647 5599232 1249 1992294400 134512640 135151029 4294956224 18446744073709551615 134574580 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12314/statm: 1367 1249 79 155 0 1210 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5468

[startup+6.30121 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 12315
/proc/meminfo: memFree=1311792/2055920 swapFree=4127460/4192956
[pid=12314] ppid=12312 vsize=6564 CPUtime=6.29
/proc/12314/stat : 12314 (precosat) R 12312 12314 11355 0 -1 4194304 1675 0 0 0 628 1 0 0 25 0 1 0 1148495647 6721536 1527 1992294400 134512640 135151029 4294956224 18446744073709551615 134555021 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12314/statm: 1641 1527 79 155 0 1484 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6564

[startup+12.7014 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 12315
/proc/meminfo: memFree=1309744/2055920 swapFree=4127460/4192956
[pid=12314] ppid=12312 vsize=7928 CPUtime=12.68
/proc/12314/stat : 12314 (precosat) R 12312 12314 11355 0 -1 4194304 2029 0 0 0 1267 1 0 0 25 0 1 0 1148495647 8118272 1881 1992294400 134512640 135151029 4294956224 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12314/statm: 1982 1881 79 155 0 1825 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 7928

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

[startup+15.9011 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 12315
/proc/meminfo: memFree=1309296/2055920 swapFree=4127460/4192956
[pid=12314] ppid=12312 vsize=8380 CPUtime=15.89
/proc/12314/stat : 12314 (precosat) R 12312 12314 11355 0 -1 4194304 2129 0 0 0 1587 2 0 0 25 0 1 0 1148495647 8581120 1981 1992294400 134512640 135151029 4294956224 18446744073709551615 134554803 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12314/statm: 2095 1981 79 155 0 1938 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 8380

[startup+19.1017 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 12315
/proc/meminfo: memFree=1309296/2055920 swapFree=4127460/4192956
[pid=12314] ppid=12312 vsize=8380 CPUtime=19.09
/proc/12314/stat : 12314 (precosat) R 12312 12314 11355 0 -1 4194304 2129 0 0 0 1907 2 0 0 25 0 1 0 1148495647 8581120 1981 1992294400 134512640 135151029 4294956224 18446744073709551615 134551924 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12314/statm: 2095 1981 79 155 0 1938 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 8380

[startup+20.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 12315
/proc/meminfo: memFree=1309296/2055920 swapFree=4127460/4192956
[pid=12314] ppid=12312 vsize=8380 CPUtime=20.69
/proc/12314/stat : 12314 (precosat) R 12312 12314 11355 0 -1 4194304 2129 0 0 0 2067 2 0 0 25 0 1 0 1148495647 8581120 1981 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12314/statm: 2095 1981 79 155 0 1938 0
Current children cumulated CPU time (s) 20.69
Current children cumulated vsize (KiB) 8380

[startup+21.1011 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 12315
/proc/meminfo: memFree=1309296/2055920 swapFree=4127460/4192956
[pid=12314] ppid=12312 vsize=8380 CPUtime=21.09
/proc/12314/stat : 12314 (precosat) R 12312 12314 11355 0 -1 4194304 2129 0 0 0 2107 2 0 0 25 0 1 0 1148495647 8581120 1981 1992294400 134512640 135151029 4294956224 18446744073709551615 134574170 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12314/statm: 2095 1981 79 155 0 1938 0
Current children cumulated CPU time (s) 21.09
Current children cumulated vsize (KiB) 8380

[startup+21.5011 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 12315
/proc/meminfo: memFree=1309296/2055920 swapFree=4127460/4192956
[pid=12314] ppid=12312 vsize=8380 CPUtime=21.49
/proc/12314/stat : 12314 (precosat) R 12312 12314 11355 0 -1 4194304 2134 0 0 0 2147 2 0 0 25 0 1 0 1148495647 8581120 1986 1992294400 134512640 135151029 4294956224 18446744073709551615 134553861 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12314/statm: 2095 1986 79 155 0 1938 0
Current children cumulated CPU time (s) 21.49
Current children cumulated vsize (KiB) 8380

Child status: 10
Real time (s): 21.5683
CPU time (s): 21.5527
CPU user time (s): 21.5307
CPU system time (s): 0.021996
CPU usage (%): 99.9278
Max. virtual memory (cumulated for all children) (KiB): 8380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.5307
system time used= 0.021996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2135
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= 49
involuntary context switches= 42

runsolver used 0.028995 second user time and 0.069989 second system time

The end

Launcher Data 

Begin job on node63 at 2009-04-03 13:32:27
IDJOB=1560694
IDBENCH=70901
IDSOLVER=507
FILE ID=node63/1560694-1238758347
PBS_JOBID= 9085447
Free space on /tmp= 66560 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT09/APPLICATIONS/aprove09/AProVE09-08.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1560694-1238758347/watcher-1560694-1238758347 -o /tmp/evaluation-result-1560694-1238758347/solver-1560694-1238758347 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/precosat HOME/instance-1560694-1238758347.cnf

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

MD5SUM BENCH= fc002583fd176f7c17c597cf2b9ef469
RANDOM SEED=118877861

node63.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.285
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.285
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1317720 kB
Buffers:        100352 kB
Cached:         495164 kB
SwapCached:      55448 kB
Active:         264060 kB
Inactive:       388460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1317720 kB
SwapTotal:     4192956 kB
SwapFree:      4127460 kB
Dirty:            1256 kB
Writeback:           0 kB
Mapped:          14696 kB
Slab:            70176 kB
Committed_AS:  3493472 kB
PageTables:       2320 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= 66560 MiB
End job on node63 at 2009-04-03 13:32:49