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