Trace number 1774291

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 5.78912 5.79835

General information on the benchmark

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

[startup+0.0581159 s]
/proc/loadavg: 0.98 0.98 0.99 3/64 16923
/proc/meminfo: memFree=1254264/2055920 swapFree=4179760/4192956
[pid=16923] ppid=16921 vsize=3844 CPUtime=0.04
/proc/16923/stat : 16923 (precosat) R 16921 16923 16832 0 -1 4194304 869 0 0 0 4 0 0 0 18 0 1 0 147656152 3936256 853 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16923/statm: 961 854 79 155 0 804 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3844

[startup+0.10112 s]
/proc/loadavg: 0.98 0.98 0.99 3/64 16923
/proc/meminfo: memFree=1254264/2055920 swapFree=4179760/4192956
[pid=16923] ppid=16921 vsize=4104 CPUtime=0.09
/proc/16923/stat : 16923 (precosat) R 16921 16923 16832 0 -1 4194304 981 0 0 0 9 0 0 0 18 0 1 0 147656152 4202496 932 1992294400 134512640 135151029 4294956240 18446744073709551615 134582020 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16923/statm: 1026 932 79 155 0 869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4104

[startup+0.301136 s]
/proc/loadavg: 0.98 0.98 0.99 3/64 16923
/proc/meminfo: memFree=1254264/2055920 swapFree=4179760/4192956
[pid=16923] ppid=16921 vsize=5492 CPUtime=0.29
/proc/16923/stat : 16923 (precosat) R 16921 16923 16832 0 -1 4194304 1482 0 0 0 28 1 0 0 19 0 1 0 147656152 5623808 1254 1992294400 134512640 135151029 4294956240 18446744073709551615 134519652 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16923/statm: 1373 1254 79 155 0 1216 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5492

[startup+0.701172 s]
/proc/loadavg: 0.98 0.98 0.99 3/64 16923
/proc/meminfo: memFree=1254264/2055920 swapFree=4179760/4192956
[pid=16923] ppid=16921 vsize=5492 CPUtime=0.69
/proc/16923/stat : 16923 (precosat) R 16921 16923 16832 0 -1 4194304 1482 0 0 0 68 1 0 0 22 0 1 0 147656152 5623808 1254 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16923/statm: 1373 1254 79 155 0 1216 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5492

[startup+1.50124 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 16924
/proc/meminfo: memFree=1249584/2055920 swapFree=4179760/4192956
[pid=16923] ppid=16921 vsize=5492 CPUtime=1.49
/proc/16923/stat : 16923 (precosat) R 16921 16923 16832 0 -1 4194304 1482 0 0 0 148 1 0 0 25 0 1 0 147656152 5623808 1254 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16923/statm: 1373 1254 79 155 0 1216 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5492

[startup+3.10138 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 16924
/proc/meminfo: memFree=1249456/2055920 swapFree=4179760/4192956
[pid=16923] ppid=16921 vsize=5492 CPUtime=3.09
/proc/16923/stat : 16923 (precosat) R 16921 16923 16832 0 -1 4194304 1482 0 0 0 308 1 0 0 25 0 1 0 147656152 5623808 1254 1992294400 134512640 135151029 4294956240 18446744073709551615 134555112 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16923/statm: 1373 1254 79 155 0 1216 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5492

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

[startup+4.70151 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 16924
/proc/meminfo: memFree=1249328/2055920 swapFree=4179760/4192956
[pid=16923] ppid=16921 vsize=5756 CPUtime=4.69
/proc/16923/stat : 16923 (precosat) R 16921 16923 16832 0 -1 4194304 1545 0 0 0 468 1 0 0 25 0 1 0 147656152 5894144 1317 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16923/statm: 1439 1317 79 155 0 1282 0
Current children cumulated CPU time (s) 4.69
Current children cumulated vsize (KiB) 5756

[startup+5.50559 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 16924
/proc/meminfo: memFree=1248944/2055920 swapFree=4179760/4192956
[pid=16923] ppid=16921 vsize=5920 CPUtime=5.49
/proc/16923/stat : 16923 (precosat) R 16921 16923 16832 0 -1 4194304 1604 0 0 0 548 1 0 0 25 0 1 0 147656152 6062080 1376 1992294400 134512640 135151029 4294956240 18446744073709551615 134698015 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16923/statm: 1480 1376 79 155 0 1323 0
Current children cumulated CPU time (s) 5.49
Current children cumulated vsize (KiB) 5920

[startup+5.7016 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 16924
/proc/meminfo: memFree=1248944/2055920 swapFree=4179760/4192956
[pid=16923] ppid=16921 vsize=6224 CPUtime=5.69
/proc/16923/stat : 16923 (precosat) R 16921 16923 16832 0 -1 4194304 1654 0 0 0 568 1 0 0 25 0 1 0 147656152 6373376 1426 1992294400 134512640 135151029 4294956240 18446744073709551615 134580043 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16923/statm: 1556 1426 79 155 0 1399 0
Current children cumulated CPU time (s) 5.69
Current children cumulated vsize (KiB) 6224

Child status: 10
Real time (s): 5.79835
CPU time (s): 5.78912
CPU user time (s): 5.77312
CPU system time (s): 0.015997
CPU usage (%): 99.8409
Max. virtual memory (cumulated for all children) (KiB): 6224

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

runsolver used 0.006998 second user time and 0.030995 second system time

The end

Launcher Data

Begin job on node15 at 2009-05-01 18:43:47
IDJOB=1774291
IDBENCH=70899
IDSOLVER=607
FILE ID=node15/1774291-1241196227
PBS_JOBID= 9224653
Free space on /tmp= 66536 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT09/APPLICATIONS/aprove09/AProVE09-07.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1774291-1241196227/watcher-1774291-1241196227 -o /tmp/evaluation-result-1774291-1241196227/solver-1774291-1241196227 -C 10000 -W 12000 -M 1800  HOME/precosat HOME/instance-1774291-1241196227.cnf

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

MD5SUM BENCH= c5fb730ce517a6a48db8bb4f0db1d85a
RANDOM SEED=1736178370

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:       1254744 kB
Buffers:         75236 kB
Cached:         633892 kB
SwapCached:       7388 kB
Active:         110856 kB
Inactive:       607784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1254744 kB
SwapTotal:     4192956 kB
SwapFree:      4179760 kB
Dirty:            1156 kB
Writeback:           0 kB
Mapped:          14564 kB
Slab:            68472 kB
Committed_AS:   653508 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:43:53