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