Trace number 1774311

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 23.0855 23.0964

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.98 0.98 0.99 3/64 16977
/proc/meminfo: memFree=1252728/2055920 swapFree=4179760/4192956
[pid=16977] ppid=16975 vsize=1588 CPUtime=0
/proc/16977/stat : 16977 (precosat) R 16975 16977 16832 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 147657050 1626112 288 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16977/statm: 397 289 64 155 0 240 0

[startup+0.038322 s]
/proc/loadavg: 0.98 0.98 0.99 3/64 16977
/proc/meminfo: memFree=1252728/2055920 swapFree=4179760/4192956
[pid=16977] ppid=16975 vsize=3448 CPUtime=0.03
/proc/16977/stat : 16977 (precosat) R 16975 16977 16832 0 -1 4194304 786 0 0 0 3 0 0 0 18 0 1 0 147657050 3530752 770 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16977/statm: 862 771 78 155 0 705 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3448

[startup+0.101327 s]
/proc/loadavg: 0.98 0.98 0.99 3/64 16977
/proc/meminfo: memFree=1252728/2055920 swapFree=4179760/4192956
[pid=16977] ppid=16975 vsize=4104 CPUtime=0.09
/proc/16977/stat : 16977 (precosat) R 16975 16977 16832 0 -1 4194304 980 0 0 0 9 0 0 0 18 0 1 0 147657050 4202496 931 1992294400 134512640 135151029 4294956240 18446744073709551615 134555283 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16977/statm: 1026 931 79 155 0 869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4104

[startup+0.301344 s]
/proc/loadavg: 0.98 0.98 0.99 3/64 16977
/proc/meminfo: memFree=1252728/2055920 swapFree=4179760/4192956
[pid=16977] ppid=16975 vsize=5468 CPUtime=0.3
/proc/16977/stat : 16977 (precosat) R 16975 16977 16832 0 -1 4194304 1397 0 0 0 29 1 0 0 19 0 1 0 147657050 5599232 1249 1992294400 134512640 135151029 4294956240 18446744073709551615 134548198 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16977/statm: 1367 1249 79 155 0 1210 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 5468

[startup+0.701379 s]
/proc/loadavg: 0.98 0.98 0.99 3/64 16977
/proc/meminfo: memFree=1252728/2055920 swapFree=4179760/4192956
[pid=16977] ppid=16975 vsize=5468 CPUtime=0.7
/proc/16977/stat : 16977 (precosat) R 16975 16977 16832 0 -1 4194304 1397 0 0 0 69 1 0 0 23 0 1 0 147657050 5599232 1249 1992294400 134512640 135151029 4294956240 18446744073709551615 134555012 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16977/statm: 1367 1249 79 155 0 1210 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 5468

[startup+1.50145 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 16978
/proc/meminfo: memFree=1248048/2055920 swapFree=4179760/4192956
[pid=16977] ppid=16975 vsize=5468 CPUtime=1.5
/proc/16977/stat : 16977 (precosat) R 16975 16977 16832 0 -1 4194304 1397 0 0 0 149 1 0 0 25 0 1 0 147657050 5599232 1249 1992294400 134512640 135151029 4294956240 18446744073709551615 134580711 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16977/statm: 1367 1249 79 155 0 1210 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 5468

[startup+3.10158 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 16978
/proc/meminfo: memFree=1247920/2055920 swapFree=4179760/4192956
[pid=16977] ppid=16975 vsize=5468 CPUtime=3.1
/proc/16977/stat : 16977 (precosat) R 16975 16977 16832 0 -1 4194304 1397 0 0 0 309 1 0 0 25 0 1 0 147657050 5599232 1249 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16977/statm: 1367 1249 79 155 0 1210 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 5468

[startup+6.30186 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 16978
/proc/meminfo: memFree=1247416/2055920 swapFree=4179760/4192956
[pid=16977] ppid=16975 vsize=6564 CPUtime=6.29
/proc/16977/stat : 16977 (precosat) R 16975 16977 16832 0 -1 4194304 1675 0 0 0 628 1 0 0 25 0 1 0 147657050 6721536 1527 1992294400 134512640 135151029 4294956240 18446744073709551615 134564379 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16977/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.98 0.98 0.99 2/65 16978
/proc/meminfo: memFree=1245496/2055920 swapFree=4179760/4192956
[pid=16977] ppid=16975 vsize=7928 CPUtime=12.69
/proc/16977/stat : 16977 (precosat) R 16975 16977 16832 0 -1 4194304 2029 0 0 0 1268 1 0 0 25 0 1 0 147657050 8118272 1881 1992294400 134512640 135151029 4294956240 18446744073709551615 134555122 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16977/statm: 1982 1881 79 155 0 1825 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7928

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

[startup+19.102 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 16978
/proc/meminfo: memFree=1244984/2055920 swapFree=4179760/4192956
[pid=16977] ppid=16975 vsize=8380 CPUtime=19.09
/proc/16977/stat : 16977 (precosat) R 16975 16977 16832 0 -1 4194304 2129 0 0 0 1908 1 0 0 25 0 1 0 147657050 8581120 1981 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16977/statm: 2095 1981 79 155 0 1938 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 8380

[startup+20.7021 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 16978
/proc/meminfo: memFree=1244984/2055920 swapFree=4179760/4192956
[pid=16977] ppid=16975 vsize=8380 CPUtime=20.69
/proc/16977/stat : 16977 (precosat) R 16975 16977 16832 0 -1 4194304 2129 0 0 0 2068 1 0 0 25 0 1 0 147657050 8581120 1981 1992294400 134512640 135151029 4294956240 18446744073709551615 134551629 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16977/statm: 2095 1981 79 155 0 1938 0
Current children cumulated CPU time (s) 20.69
Current children cumulated vsize (KiB) 8380

[startup+22.3012 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 16978
/proc/meminfo: memFree=1244984/2055920 swapFree=4179760/4192956
[pid=16977] ppid=16975 vsize=8380 CPUtime=22.29
/proc/16977/stat : 16977 (precosat) R 16975 16977 16832 0 -1 4194304 2129 0 0 0 2228 1 0 0 25 0 1 0 147657050 8581120 1981 1992294400 134512640 135151029 4294956240 18446744073709551615 134581535 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16977/statm: 2095 1981 79 155 0 1938 0
Current children cumulated CPU time (s) 22.29
Current children cumulated vsize (KiB) 8380

[startup+22.7013 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 16978
/proc/meminfo: memFree=1244984/2055920 swapFree=4179760/4192956
[pid=16977] ppid=16975 vsize=8380 CPUtime=22.69
/proc/16977/stat : 16977 (precosat) R 16975 16977 16832 0 -1 4194304 2129 0 0 0 2268 1 0 0 25 0 1 0 147657050 8581120 1981 1992294400 134512640 135151029 4294956240 18446744073709551615 134555216 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16977/statm: 2095 1981 79 155 0 1938 0
Current children cumulated CPU time (s) 22.69
Current children cumulated vsize (KiB) 8380

[startup+22.9013 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 16978
/proc/meminfo: memFree=1244984/2055920 swapFree=4179760/4192956
[pid=16977] ppid=16975 vsize=8380 CPUtime=22.89
/proc/16977/stat : 16977 (precosat) R 16975 16977 16832 0 -1 4194304 2134 0 0 0 2288 1 0 0 25 0 1 0 147657050 8581120 1986 1992294400 134512640 135151029 4294956240 18446744073709551615 134521885 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16977/statm: 2095 1986 79 155 0 1938 0
Current children cumulated CPU time (s) 22.89
Current children cumulated vsize (KiB) 8380

[startup+23.0013 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 16978
/proc/meminfo: memFree=1244920/2055920 swapFree=4179760/4192956
[pid=16977] ppid=16975 vsize=8380 CPUtime=22.99
/proc/16977/stat : 16977 (precosat) R 16975 16977 16832 0 -1 4194304 2134 0 0 0 2298 1 0 0 25 0 1 0 147657050 8581120 1986 1992294400 134512640 135151029 4294956240 18446744073709551615 134580559 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16977/statm: 2095 1986 79 155 0 1938 0
Current children cumulated CPU time (s) 22.99
Current children cumulated vsize (KiB) 8380

Child status: 10
Real time (s): 23.0964
CPU time (s): 23.0855
CPU user time (s): 23.0685
CPU system time (s): 0.016997
CPU usage (%): 99.9527
Max. virtual memory (cumulated for all children) (KiB): 8380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.0685
system time used= 0.016997
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= 61

runsolver used 0.027995 second user time and 0.065989 second system time

The end

Launcher Data 

Begin job on node15 at 2009-05-01 18:43:56
IDJOB=1774311
IDBENCH=70901
IDSOLVER=607
FILE ID=node15/1774311-1241196236
PBS_JOBID= 9224653
Free space on /tmp= 66536 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-1774311-1241196236/watcher-1774311-1241196236 -o /tmp/evaluation-result-1774311-1241196236/solver-1774311-1241196236 -C 10000 -W 12000 -M 1800  HOME/precosat HOME/instance-1774311-1241196236.cnf

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

MD5SUM BENCH= fc002583fd176f7c17c597cf2b9ef469
RANDOM SEED=1837871122

node15.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.220
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	: 5931.00
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.220
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:       1253208 kB
Buffers:         75300 kB
Cached:         635120 kB
SwapCached:       7388 kB
Active:         110928 kB
Inactive:       609024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1253208 kB
SwapTotal:     4192956 kB
SwapFree:      4179760 kB
Dirty:            1324 kB
Writeback:           0 kB
Mapped:          14564 kB
Slab:            68664 kB
Committed_AS:   653540 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66536 MiB
End job on node15 at 2009-05-01 18:44:20