Trace number 1785438

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
clasp 1.2.0-SAT09-32SAT 4672.5 4674.4

General information on the benchmark

NameCRAFTED/edgematching/
explicit/em_12_2_4_exp.cnf
MD5SUMe72d819fa5b57b6476ac56a442ceab9b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark138.534
Satisfiable
(Un)Satisfiability was proved
Number of variables12584
Number of clauses681936
Sum of the clauses size1576368
Maximum clause length100
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2543628
Number of clauses of size 3103200
Number of clauses of size 417828
Number of clauses of size 517000
Number of clauses of size over 5280

Solver Data 

4672.09/4674.09	c clasp version 1.2.0-SAT09 
4672.09/4674.09	c Reading from ...914103/instance-1785438-1241914103.cnf
4672.09/4674.09	c Reading      : Done(0.330s)
4672.09/4674.09	c Preprocessing: |-\Done(2.020s)
4672.09/4674.09	c Solving...
4672.09/4674.09	c Model: 1
4672.09/4674.09	v -1 -2 -3 4 -5 -6 -7 -8 -9 -10
4672.09/4674.09	v -11 -12 -13 -14 -15 -16 17 -18 -19 -20
4672.09/4674.09	v -21 -22 -23 -24 -25 -26 -27 -28 -29 -30
4672.09/4674.09	v -31 -32 -33 -34 -35 -36 -37 -38 -39 -40
4672.09/4674.09	v -41 -42 -43 -44 -45 -46 -47 -48 -49 -50
4672.09/4674.09	v -51 -52 -53 -54 -55 -56 -57 -58 -59 -60
4672.09/4674.09	v -61 -62 -63 -64 -65 -66 -67 -68 69 -70
4672.09/4674.09	v -71 -72 -73 -74 -75 -76 -77 -78 -79 -80
4672.09/4674.09	v -81 -82 -83 -84 -85 -86 -87 -88 -89 -90
4672.09/4674.09	v -91 -92 -93 -94 -95 -96 -97 -98 -99 -100
4672.09/4674.09	v -101 -102 -103 -104 -105 -106 -107 -108 -109 -110
4672.09/4674.09	v -111 112 -113 -114 -115 -116 -117 -118 -119 -120
4672.09/4674.09	v -121 -122 -123 -124 -125 -126 -127 -128 -129 -130
4672.09/4674.09	v -131 -132 -133 -134 -135 -136 -137 -138 -139 -140
4672.09/4674.09	v -141 -142 -143 -144 -145 -146 -147 -148 -149 -150
4672.09/4674.09	v -151 -152 -153 -154 -155 -156 -157 158 -159 -160
4672.09/4674.09	v -161 -162 -163 -164 -165 -166 -167 -168 -169 170
4672.09/4674.09	v -171 -172 -173 -174 -175 -176 -177 -178 -179 -180
4672.09/4674.09	v -181 -182 -183 -184 -185 -186 -187 -188 -189 -190
4672.09/4674.09	v -191 -192 -193 -194 -195 -196 -197 -198 -199 -200
4672.09/4674.09	v -201 -202 -203 -204 -205 -206 -207 -208 -209 -210
4672.09/4674.09	v -211 -212 -213 -214 -215 -216 -217 -218 -219 -220
4672.09/4674.09	v -221 -222 -223 -224 -225 -226 -227 -228 -229 -230
4672.09/4674.09	v -231 -232 -233 -234 -235 -236 -237 -238 -239 -240
4672.09/4674.09	v -241 -242 -243 244 -245 -246 -247 -248 -249 -250
4672.09/4674.09	v -251 -252 -253 -254 -255 -256 -257 -258 -259 -260
4672.09/4674.09	v -261 -262 -263 -264 -265 -266 -267 -268 -269 -270
4672.09/4674.09	v -271 -272 273 -274 -275 -276 -277 -278 -279 -280
4672.09/4674.09	v -281 -282 -283 -284 -285 286 -287 -288 -289 -290
4672.09/4674.09	v -291 -292 -293 -294 -295 -296 -297 -298 -299 -300
4672.09/4674.09	v -301 -302 -303 -304 -305 -306 -307 -308 -309 -310
4672.09/4674.09	v -311 -312 -313 -314 -315 -316 -317 -318 -319 -320
4672.09/4674.09	v -321 -322 -323 -324 -325 -326 -327 -328 -329 -330
4672.09/4674.09	v -331 -332 -333 -334 -335 -336 -337 -338 -339 -340
4672.09/4674.09	v -341 -342 -343 -344 -345 -346 -347 -348 -349 -350
4672.09/4674.09	v -351 -352 -353 -354 -355 -356 -357 -358 -359 -360
4672.09/4674.09	v -361 -362 363 -364 -365 -366 -367 -368 -369 -370
4672.09/4674.09	v -371 -372 -373 -374 -375 -376 -377 -378 -379 -380
4672.09/4674.09	v -381 -382 -383 -384 -385 -386 -387 388 -389 -390
4672.09/4674.09	v -391 -392 -393 -394 -395 -396 -397 -398 -399 -400
4672.09/4674.09	v -401 -402 -403 -404 405 -406 -407 -408 -409 -410
4672.09/4674.09	v -411 -412 413 -414 -415 -416 -417 -418 -419 -420
4672.09/4674.09	v -421 -422 -423 -424 -425 -426 -427 -428 -429 -430
4672.09/4674.09	v -431 -432 -433 -434 -435 -436 -437 -438 -439 -440
4672.09/4674.09	v -441 -442 -443 -444 -445 -446 -447 -448 -449 -450
4672.09/4674.09	v -451 -452 -453 -454 455 -456 -457 -458 -459 -460
4672.09/4674.09	v -461 -462 -463 -464 -465 -466 -467 -468 -469 -470
4672.09/4674.09	v -471 -472 -473 -474 -475 -476 -477 -478 -479 -480
4672.09/4674.09	v -481 -482 -483 -484 -485 -486 -487 -488 -489 -490
4672.09/4674.09	v -491 -492 -493 -494 -495 -496 -497 -498 -499 -500
4672.09/4674.09	v -501 -502 -503 -504 -505 -506 -507 -508 -509 -510
4672.09/4674.09	v -511 -512 -513 -514 -515 -516 -517 -518 -519 -520
4672.09/4674.09	v -521 -522 -523 -524 -525 -526 -527 -528 -529 -530
4672.09/4674.09	v -531 -532 -533 -534 -535 -536 -537 -538 -539 -540
4672.09/4674.09	v -541 -542 -543 -544 -545 -546 -547 -548 -549 -550
4672.09/4674.09	v -551 -552 -553 -554 -555 -556 -557 -558 -559 -560
4672.09/4674.09	v -561 -562 -563 -564 -565 -566 -567 -568 -569 -570
4672.09/4674.09	v -571 -572 -573 -574 -575 -576 -577 -578 -579 -580
4672.09/4674.09	v -581 -582 -583 -584 -585 -586 -587 -588 -589 -590
4672.09/4674.09	v -591 592 -593 -594 -595 -596 -597 -598 -599 -600
4672.09/4674.09	v -601 -602 -603 -604 -605 -606 -607 -608 -609 -610
4672.09/4674.09	v -611 -612 -613 -614 -615 -616 -617 -618 -619 -620
4672.09/4674.09	v -621 -622 -623 -624 -625 -626 -627 -628 -629 -630
4672.09/4674.09	v -631 -632 -633 -634 -635 -636 -637 -638 -639 -640
4672.09/4674.09	v -641 -642 -643 -644 -645 -646 -647 -648 -649 -650
4672.09/4674.09	v -651 -652 -653 -654 -655 -656 -657 -658 -659 -660
4672.09/4674.09	v -661 -662 -663 -664 -665 -666 -667 -668 -669 -670
4672.09/4674.09	v -671 -672 -673 -674 -675 -676 -677 -678 -679 -680
4672.09/4674.09	v -681 -682 -683 -684 -685 -686 -687 -688 -689 -690
4672.09/4674.09	v 691 -692 -693 -694 -695 -696 -697 -698 -699 -700
4672.09/4674.09	v -701 -702 -703 -704 -705 -706 -707 -708 -709 -710
4672.09/4674.09	v -711 -712 -713 -714 -715 -716 -717 -718 -719 -720
4672.09/4674.09	v -721 -722 -723 -724 -725 -726 -727 -728 -729 -730
4672.09/4674.09	v -731 -732 -733 -734 -735 -736 -737 -738 -739 -740
4672.09/4674.09	v -741 -742 -743 -744 -745 -746 -747 -748 -749 -750
4672.09/4674.09	v -751 -752 753 -754 -755 -756 -757 -758 -759 -760
4672.09/4674.09	v -761 -762 -763 -764 -765 -766 -767 -768 -769 -770
4672.09/4674.09	v -771 -772 -773 -774 -775 -776 -777 -778 -779 -780
4672.09/4674.09	v -781 -782 -783 -784 -785 -786 -787 -788 -789 -790
4672.09/4674.09	v -791 -792 -793 -794 -795 -796 -797 -798 -799 -800
4672.09/4674.09	v -801 -802 -803 -804 -805 -806 -807 -808 -809 -810
4672.09/4674.09	v -811 -812 -813 -814 -815 -816 -817 -818 -819 -820
4672.09/4674.09	v -821 -822 -823 -824 -825 -826 -827 -828 -829 -830
4672.09/4674.09	v -831 -832 -833 -834 -835 -836 -837 -838 -839 -840
4672.09/4674.09	v -841 -842 -843 -844 -845 -846 -847 -848 -849 -850
4672.09/4674.09	v -851 -852 -853 -854 -855 -856 -857 -858 -859 -860
4672.09/4674.09	v -861 -862 -863 -864 -865 -866 -867 -868 -869 -870
4672.09/4674.09	v -871 -872 -873 -874 -875 -876 -877 -878 -879 -880
4672.09/4674.09	v -881 -882 -883 -884 -885 -886 -887 888 -889 -890
4672.09/4674.09	v -891 -892 -893 -894 -895 -896 -897 -898 -899 -900
4672.09/4674.09	v -901 -902 -903 -904 -905 -906 -907 -908 -909 -910
4672.09/4674.09	v -911 -912 -913 -914 -915 -916 -917 -918 -919 -920
4672.09/4674.09	v -921 -922 -923 -924 -925 -926 -927 -928 -929 -930
4672.09/4674.09	v -931 -932 -933 -934 -935 -936 -937 -938 -939 -940
4672.09/4674.09	v -941 -942 -943 -944 -945 -946 -947 -948 -949 -950
4672.09/4674.09	v -951 -952 -953 -954 -955 -956 -957 -958 -959 -960
4672.09/4674.09	v -961 -962 -963 -964 -965 -966 -967 -968 -969 -970
4672.09/4674.09	v -971 -972 -973 -974 -975 -976 -977 -978 -979 -980
4672.09/4674.09	v -981 -982 -983 -984 -985 -986 -987 -988 -989 -990
4672.09/4674.09	v -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000
4672.09/4674.09	v -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010
4672.09/4674.09	v -1011 -1012 -1013 -1014 -1015 1016 -1017 -1018 -1019 -1020
4672.09/4674.09	v -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030
4672.09/4674.09	v -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040
4672.09/4674.09	v -1041 -1042 -1043 -1044 -1045 -1046 -1047 -1048 1049 -1050
4672.09/4674.09	v -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060
4672.09/4674.09	v -1061 -1062 -1063 -1064 -1065 -1066 -1067 -1068 -1069 -1070
4672.09/4674.09	v -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080
4672.09/4674.09	v -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 -1090
4672.09/4674.09	v -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100
4672.09/4674.09	v -1101 -1102 -1103 -1104 -1105 -1106 -1107 -1108 -1109 -1110
4672.09/4674.09	v -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120
4672.09/4674.09	v -1121 -1122 -1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130
4672.09/4674.09	v -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140
4672.09/4674.09	v -1141 -1142 -1143 -1144 -1145 -1146 -1147 -1148 -1149 -1150
4672.09/4674.09	v -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160
4672.09/4674.09	v 1161 -1162 -1163 -1164 -1165 -1166 -1167 -1168 -1169 -1170
4672.09/4674.09	v -1171 -1172 -1173 -1174 -1175 -1176 -1177 -1178 -1179 -1180
4672.09/4674.09	v -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190
4672.09/4674.09	v -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 -1200
4672.09/4674.09	v -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210
4672.09/4674.09	v -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220
4672.09/4674.09	v -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230
4672.09/4674.09	v -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240
4672.09/4674.09	v -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250
4672.09/4674.09	v -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 -1260
4672.09/4674.09	v -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270
4672.09/4674.09	v -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280
4672.09/4674.09	v -1281 -1282 -1283 -1284 -1285 -1286 -1287 -1288 -1289 -1290
4672.09/4674.09	v -1291 -1292 1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300
4672.09/4674.09	v -1301 -1302 -1303 -1304 -1305 -1306 -1307 -1308 -1309 -1310
4672.09/4674.09	v -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320
4672.09/4674.09	v -1321 -1322 -1323 -1324 -1325 -1326 -1327 -1328 -1329 -1330
4672.09/4674.09	v -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340
4672.09/4674.09	v -1341 -1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 -1350
4672.09/4674.09	v -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360
4672.09/4674.09	v -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370
4672.09/4674.09	v -1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378 -1379 -1380
4672.09/4674.09	v -1381 -1382 -1383 -1384 -1385 -1386 -1387 -1388 -1389 -1390
4672.09/4674.09	v -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400
4672.09/4674.09	v -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410
4672.09/4674.09	v -1411 -1412 -1413 -1414 -1415 -1416 -1417 1418 -1419 -1420
4672.09/4674.09	v -1421 -1422 -1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430
4672.09/4674.09	v -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 -1440
4672.09/4674.09	v -1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450
4672.09/4674.09	v -1451 -1452 -1453 -1454 -1455 -1456 -1457 -1458 -1459 -1460
4672.09/4674.09	v -1461 1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470
4672.09/4674.09	v -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480
4672.09/4674.09	v -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490
4672.09/4674.09	v -1491 -1492 -1493 -1494 1495 -1496 -1497 -1498 -1499 -1500
4672.09/4674.09	v -1501 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510
4672.09/4674.09	v -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520
4672.09/4674.09	v -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530
4672.09/4674.09	v -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540
4672.09/4674.09	v -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548 -1549 -1550
4672.09/4674.09	v -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560
4672.09/4674.09	v -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570
4672.09/4674.09	v -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580
4672.09/4674.09	v -1581 -1582 -1583 -1584 -1585 1586 -1587 -1588 -1589 -1590
4672.09/4674.09	v -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600
4672.09/4674.09	v -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610
4672.09/4674.09	v -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620
4672.09/4674.09	v -1621 -1622 -1623 -1624 -1625 -1626 -1627 -1628 -1629 -1630
4672.09/4674.09	v -1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640
4672.09/4674.09	v -1641 -1642 -1643 -1644 -1645 -1646 -1647 -1648 1649 -1650
4672.09/4674.09	v -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660
4672.09/4674.09	v -1661 -1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670
4672.09/4674.09	v -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680
4672.09/4674.09	v -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690
4672.09/4674.09	v -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700
4672.09/4674.09	v -1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710
4672.09/4674.09	v -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720
4672.09/4674.09	v -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730
4672.09/4674.09	v -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740
4672.09/4674.09	v -1741 -1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750
4672.09/4674.09	v -1751 -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760
4672.09/4674.09	v -1761 -1762 -1763 -1764 -1765 -1766 -1767 -1768 -1769 -1770
4672.09/4674.09	v -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780
4672.09/4674.09	v -1781 -1782 -1783 -1784 -1785 -1786 -1787 -1788 -1789 -1790
4672.09/4674.09	v -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800
4672.09/4674.09	v -1801 -1802 -1803 -1804 -1805 -1806 -1807 1808 -1809 -1810
4672.09/4674.09	v -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820
4672.09/4674.09	v -1821 -1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830
4672.09/4674.09	v -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840
4672.09/4674.09	v -1841 -1842 -1843 -1844 1845 -1846 -1847 -1848 -1849 -1850
4672.09/4674.09	v -1851 -1852 -1853 -1854 -1855 -1856 -1857 -1858 -1859 -1860
4672.09/4674.09	v -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870
4672.09/4674.09	v -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880
4672.09/4674.09	v -1881 -1882 -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890
4672.09/4674.09	v -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900
4672.09/4674.09	v -1901 -1902 -1903 -1904 -1905 -1906 -1907 -1908 -1909 -1910
4672.09/4674.09	v -1911 -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920
4672.09/4674.09	v -1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930
4672.09/4674.09	v -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 -1940
4672.09/4674.09	v -1941 -1942 -1943 -1944 -1945 -1946 -1947 -1948 -1949 -1950
4672.09/4674.09	v -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960
4672.09/4674.09	v -1961 -1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970
4672.09/4674.09	v -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980
4672.09/4674.09	v -1981 -1982 -1983 -1984 -1985 -1986 -1987 -1988 -1989 -1990
4672.09/4674.09	v -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000
4672.09/4674.09	v -2001 -2002 -2003 -2004 -2005 -2006 -2007 -2008 -2009 -2010
4672.09/4674.09	v -2011 2012 -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020
4672.09/4674.09	v -2021 -2022 -2023 -2024 -2025 -2026 -2027 -2028 -2029 -2030
4672.09/4674.09	v -2031 -2032 -2033 -2034 -2035 -2036 -2037 -2038 -2039 -2040
4672.09/4674.09	v -2041 -2042 -2043 2044 -2045 -2046 -2047 -2048 -2049 -2050
4672.09/4674.09	v -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060
4672.09/4674.09	v -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070
4672.09/4674.09	v -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079 -2080
4672.09/4674.09	v -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090
4672.09/4674.09	v -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100
4672.09/4674.09	v -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110
4672.09/4674.09	v -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 -2120
4672.09/4674.09	v -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130
4672.09/4674.09	v -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140
4672.09/4674.09	v -2141 -2142 -2143 -2144 -2145 -2146 -2147 -2148 -2149 -2150
4672.09/4674.09	v -2151 -2152 -2153 -2154 -2155 -2156 -2157 2158 -2159 -2160
4672.09/4674.09	v -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170
4672.09/4674.09	v -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180
4672.09/4674.09	v -2181 -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190
4672.09/4674.09	v -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200
4672.09/4674.09	v -2201 -2202 -2203 -2204 -2205 -2206 -2207 -2208 -2209 -2210
4672.09/4674.09	v -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220
4672.09/4674.09	v -2221 -2222 -2223 -2224 -2225 -2226 -2227 -2228 -2229 -2230
4672.09/4674.09	v -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 -2240
4672.09/4674.09	v -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250
4672.09/4674.09	v -2251 -2252 -2253 2254 -2255 -2256 -2257 -2258 -2259 -2260
4672.09/4674.09	v -2261 -2262 -2263 -2264 -2265 -2266 -2267 -2268 -2269 -2270
4672.09/4674.09	v -2271 -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279 -2280
4672.09/4674.09	v -2281 -2282 -2283 -2284 -2285 -2286 -2287 -2288 -2289 -2290
4672.09/4674.09	v -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300
4672.09/4674.09	v -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 -2310
4672.09/4674.09	v -2311 -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 -2320
4672.09/4674.09	v -2321 -2322 -2323 -2324 -2325 -2326 -2327 -2328 -2329 -2330
4672.09/4674.09	v -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340
4672.09/4674.09	v -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350
4672.09/4674.09	v -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360
4672.09/4674.09	v -2361 -2362 -2363 -2364 -2365 -2366 -2367 -2368 -2369 -2370
4672.09/4674.09	v -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378 -2379 -2380
4672.09/4674.09	v -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390
4672.09/4674.09	v 2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400
4672.09/4674.09	v -2401 -2402 -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410
4672.09/4674.09	v -2411 -2412 -2413 -2414 -2415 -2416 -2417 -2418 -2419 -2420
4672.09/4674.09	v -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430
4672.09/4674.09	v -2431 -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440
4672.09/4674.09	v -2441 -2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450
4672.09/4674.09	v -2451 -2452 -2453 -2454 -2455 -2456 -2457 -2458 -2459 -2460
4672.09/4674.09	v -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470
4672.09/4674.09	v -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480
4672.09/4674.09	v 2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490
4672.09/4674.09	v -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500
4672.09/4674.09	v -2501 -2502 -2503 -2504 -2505 -2506 -2507 -2508 -2509 -2510
4672.09/4674.09	v -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520
4672.09/4674.09	v -2521 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530
4672.09/4674.09	v -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540
4672.09/4674.09	v -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550
4672.09/4674.09	v -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559 -2560
4672.09/4674.09	v -2561 -2562 -2563 -2564 -2565 2566 -2567 -2568 -2569 -2570
4672.09/4674.09	v -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580
4672.09/4674.09	v -2581 -2582 -2583 -2584 -2585 -2586 -2587 -2588 -2589 -2590
4672.09/4674.09	v 2591 -2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599 -2600
4672.09/4674.09	v -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 -2610
4672.09/4674.09	v -2611 -2612 -2613 -2614 -2615 -2616 -2617 -2618 -2619 -2620
4672.09/4674.09	v -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630
4672.09/4674.09	v -2631 -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639 -2640
4672.09/4674.09	v -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649 -2650
4672.09/4674.09	v -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660
4672.09/4674.09	v -2661 -2662 -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670
4672.09/4674.09	v -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680
4672.09/4674.09	v -2681 -2682 -2683 2684 -2685 -2686 -2687 -2688 -2689 -2690
4672.09/4674.09	v -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700
4672.09/4674.09	v -2701 -2702 -2703 -2704 -2705 -2706 -2707 -2708 -2709 -2710
4672.09/4674.09	v -2711 -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719 -2720
4672.09/4674.09	v -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730
4672.09/4674.09	v -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740
4672.09/4674.09	v -2741 -2742 -2743 -2744 -2745 2746 -2747 -2748 -2749 -2750
4672.09/4674.09	v -2751 -2752 -2753 -2754 -2755 -2756 -2757 -2758 -2759 -2760
4672.09/4674.09	v -2761 -2762 -2763 -2764 -2765 -2766 -2767 -2768 -2769 -2770
4672.09/4674.09	v -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780
4672.09/4674.09	v -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790
4672.09/4674.09	v -2791 -2792 -2793 -2794 -2795 -2796 -2797 -2798 -2799 -2800
4672.09/4674.09	v -2801 -2802 -2803 -2804 -2805 -2806 -2807 -2808 -2809 -2810
4672.09/4674.09	v -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820
4672.09/4674.09	v -2821 -2822 -2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830
4672.09/4674.09	v -2831 -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839 -2840
4672.09/4674.09	v -2841 -2842 -2843 -2844 -2845 -2846 -2847 -2848 -2849 -2850
4672.09/4674.09	v -2851 -2852 -2853 -2854 -2855 -2856 -2857 2858 -2859 -2860
4672.09/4674.09	v -2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 -2870
4672.09/4674.09	v -2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880
4672.09/4674.09	v -2881 -2882 -2883 -2884 -2885 -2886 -2887 -2888 -2889 -2890
4672.09/4674.09	v -2891 -2892 -2893 -2894 -2895 -2896 -2897 -2898 -2899 -2900
4672.09/4674.09	v -2901 -2902 -2903 -2904 -2905 -2906 -2907 -2908 -2909 -2910
4672.09/4674.09	v -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920
4672.09/4674.09	v -2921 -2922 -2923 -2924 -2925 -2926 -2927 -2928 -2929 -2930
4672.09/4674.09	v -2931 -2932 -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940
4672.09/4674.09	v -2941 -2942 -2943 -2944 -2945 -2946 -2947 -2948 -2949 -2950
4672.09/4674.09	v -2951 -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960
4672.09/4674.09	v -2961 -2962 -2963 2964 -2965 -2966 -2967 -2968 -2969 -2970
4672.09/4674.09	v -2971 -2972 -2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980
4672.09/4674.09	v -2981 -2982 -2983 -2984 -2985 -2986 -2987 -2988 -2989 -2990
4672.09/4674.09	v -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000
4672.09/4674.09	v -3001 -3002 -3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010
4672.09/4674.09	v -3011 -3012 -3013 -3014 -3015 -3016 -3017 -3018 -3019 -3020
4672.09/4674.09	v -3021 -3022 -3023 -3024 -3025 -3026 -3027 -3028 -3029 -3030
4672.09/4674.09	v -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040
4672.09/4674.09	v -3041 -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050
4672.09/4674.09	v -3051 -3052 -3053 -3054 -3055 3056 -3057 -3058 -3059 -3060
4672.09/4674.09	v -3061 -3062 -3063 -3064 -3065 -3066 -3067 -3068 -3069 -3070
4672.09/4674.09	v -3071 -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079 -3080
4672.09/4674.09	v -3081 -3082 -3083 -3084 -3085 -3086 -3087 -3088 -3089 -3090
4672.09/4674.09	v -3091 -3092 -3093 -3094 -3095 -3096 -3097 -3098 -3099 -3100
4672.09/4674.09	v -3101 -3102 -3103 -3104 -3105 -3106 -3107 -3108 -3109 -3110
4672.09/4674.09	v -3111 -3112 -3113 -3114 -3115 -3116 -3117 -3118 -3119 -3120
4672.09/4674.09	v -3121 -3122 -3123 -3124 -3125 -3126 -3127 -3128 -3129 -3130
4672.09/4674.09	v -3131 -3132 -3133 -3134 -3135 -3136 3137 -3138 -3139 -3140
4672.09/4674.09	v -3141 -3142 -3143 -3144 -3145 -3146 -3147 -3148 -3149 -3150
4672.09/4674.09	v -3151 -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159 -3160
4672.09/4674.09	v -3161 -3162 -3163 -3164 -3165 -3166 -3167 -3168 -3169 -3170
4672.09/4674.09	v -3171 -3172 -3173 -3174 -3175 -3176 -3177 -3178 -3179 -3180
4672.09/4674.09	v -3181 -3182 -3183 -3184 -3185 -3186 -3187 -3188 -3189 -3190
4672.09/4674.09	v -3191 -3192 -3193 -3194 -3195 -3196 -3197 -3198 -3199 -3200
4672.09/4674.09	v -3201 -3202 -3203 -3204 -3205 -3206 -3207 -3208 -3209 -3210
4672.09/4674.09	v -3211 -3212 -3213 -3214 -3215 -3216 -3217 -3218 -3219 -3220
4672.09/4674.09	v -3221 -3222 -3223 -3224 -3225 -3226 -3227 -3228 -3229 -3230
4672.09/4674.09	v -3231 -3232 -3233 -3234 -3235 -3236 -3237 -3238 -3239 -3240
4672.09/4674.09	v -3241 -3242 3243 -3244 -3245 -3246 -3247 -3248 -3249 -3250
4672.09/4674.09	v -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259 -3260
4672.09/4674.09	v -3261 -3262 -3263 -3264 -3265 -3266 -3267 -3268 -3269 -3270
4672.09/4674.09	v -3271 -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279 -3280
4672.09/4674.09	v -3281 -3282 -3283 -3284 -3285 -3286 -3287 -3288 -3289 -3290
4672.09/4674.09	v -3291 -3292 -3293 -3294 -3295 -3296 -3297 -3298 -3299 -3300
4672.09/4674.09	v -3301 -3302 -3303 -3304 -3305 -3306 -3307 -3308 -3309 -3310
4672.09/4674.09	v -3311 -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319 -3320
4672.09/4674.09	v -3321 -3322 3323 -3324 -3325 -3326 -3327 -3328 -3329 -3330
4672.09/4674.09	v -3331 -3332 -3333 -3334 -3335 -3336 -3337 -3338 -3339 -3340
4672.09/4674.09	v -3341 -3342 -3343 -3344 -3345 -3346 -3347 -3348 -3349 -3350
4672.09/4674.09	v -3351 -3352 -3353 -3354 -3355 -3356 -3357 -3358 -3359 -3360
4672.09/4674.09	v -3361 -3362 -3363 -3364 -3365 -3366 -3367 -3368 -3369 -3370
4672.09/4674.09	v -3371 -3372 -3373 -3374 -3375 -3376 -3377 -3378 -3379 -3380
4672.09/4674.09	v -3381 -3382 -3383 -3384 -3385 -3386 -3387 -3388 -3389 -3390
4672.09/4674.09	v -3391 -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399 -3400
4672.09/4674.09	v -3401 -3402 -3403 -3404 -3405 -3406 -3407 -3408 -3409 -3410
4672.09/4674.09	v -3411 -3412 -3413 -3414 -3415 -3416 -3417 -3418 -3419 -3420
4672.09/4674.09	v -3421 -3422 -3423 -3424 -3425 -3426 -3427 -3428 -3429 -3430
4672.09/4674.09	v -3431 -3432 -3433 -3434 -3435 -3436 -3437 -3438 -3439 -3440
4672.09/4674.09	v -3441 -3442 -3443 -3444 -3445 -3446 -3447 -3448 -3449 -3450
4672.09/4674.09	v -3451 -3452 -3453 -3454 -3455 -3456 -3457 -3458 -3459 -3460
4672.09/4674.09	v -3461 -3462 -3463 -3464 -3465 -3466 -3467 -3468 -3469 -3470
4672.09/4674.09	v -3471 -3472 -3473 -3474 3475 -3476 -3477 -3478 -3479 -3480
4672.09/4674.09	v -3481 -3482 -3483 -3484 -3485 -3486 -3487 -3488 -3489 -3490
4672.09/4674.09	v -3491 -3492 -3493 -3494 -3495 -3496 -3497 -3498 -3499 -3500
4672.09/4674.09	v -3501 -3502 -3503 -3504 -3505 -3506 -3507 -3508 -3509 -3510
4672.09/4674.09	v -3511 -3512 -3513 -3514 -3515 -3516 -3517 -3518 -3519 -3520
4672.09/4674.09	v -3521 -3522 -3523 -3524 -3525 -3526 -3527 -3528 -3529 -3530
4672.09/4674.09	v -3531 -3532 -3533 -3534 -3535 -3536 -3537 -3538 -3539 -3540
4672.09/4674.09	v -3541 -3542 -3543 -3544 -3545 -3546 -3547 -3548 -3549 -3550
4672.09/4674.09	v -3551 -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560
4672.09/4674.09	v -3561 -3562 -3563 -3564 -3565 -3566 -3567 -3568 -3569 -3570
4672.09/4674.09	v -3571 -3572 -3573 -3574 -3575 -3576 -3577 -3578 -3579 -3580
4672.09/4674.09	v -3581 -3582 -3583 -3584 -3585 3586 -3587 -3588 -3589 -3590
4672.09/4674.09	v -3591 -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599 -3600
4672.09/4674.09	v -3601 -3602 -3603 -3604 -3605 -3606 -3607 -3608 -3609 -3610
4672.09/4674.09	v -3611 -3612 -3613 -3614 -3615 -3616 -3617 -3618 -3619 -3620
4672.09/4674.09	v -3621 -3622 3623 -3624 -3625 -3626 -3627 -3628 -3629 -3630
4672.09/4674.09	v -3631 -3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639 -3640
4672.09/4674.09	v -3641 -3642 -3643 -3644 -3645 -3646 -3647 -3648 -3649 -3650
4672.09/4674.09	v -3651 -3652 -3653 -3654 -3655 -3656 -3657 -3658 -3659 -3660
4672.09/4674.09	v -3661 -3662 -3663 -3664 -3665 -3666 -3667 -3668 -3669 -3670
4672.09/4674.09	v -3671 -3672 -3673 -3674 -3675 -3676 -3677 -3678 3679 -3680
4672.09/4674.09	v -3681 -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690
4672.09/4674.09	v -3691 -3692 -3693 -3694 -3695 -3696 -3697 -3698 -3699 3700
4672.09/4674.09	v -3701 -3702 -3703 -3704 -3705 -3706 -3707 -3708 -3709 -3710
4672.09/4674.09	v -3711 -3712 -3713 -3714 -3715 -3716 -3717 -3718 -3719 -3720
4672.09/4674.09	v -3721 -3722 -3723 -3724 -3725 -3726 -3727 -3728 -3729 -3730
4672.09/4674.09	v -3731 -3732 -3733 -3734 -3735 -3736 -3737 -3738 -3739 -3740
4672.09/4674.09	v -3741 -3742 -3743 -3744 -3745 -3746 -3747 -3748 -3749 -3750
4672.09/4674.09	v -3751 -3752 -3753 -3754 -3755 -3756 -3757 -3758 -3759 -3760
4672.09/4674.09	v -3761 -3762 -3763 -3764 -3765 -3766 -3767 -3768 -3769 -3770
4672.09/4674.09	v -3771 -3772 -3773 -3774 -3775 -3776 -3777 -3778 -3779 -3780
4672.09/4674.09	v -3781 -3782 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790
4672.09/4674.09	v -3791 -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799 -3800
4672.09/4674.09	v -3801 -3802 -3803 -3804 -3805 -3806 -3807 -3808 -3809 -3810
4672.09/4674.09	v -3811 -3812 -3813 -3814 -3815 -3816 -3817 -3818 -3819 -3820
4672.09/4674.09	v -3821 -3822 -3823 -3824 -3825 -3826 3827 -3828 -3829 -3830
4672.09/4674.09	v -3831 -3832 -3833 -3834 -3835 -3836 -3837 -3838 -3839 -3840
4672.09/4674.09	v -3841 -3842 -3843 -3844 -3845 -3846 -3847 -3848 -3849 -3850
4672.09/4674.09	v -3851 -3852 -3853 -3854 -3855 -3856 -3857 -3858 -3859 -3860
4672.09/4674.09	v -3861 -3862 -3863 -3864 -3865 -3866 -3867 -3868 -3869 -3870
4672.09/4674.09	v -3871 -3872 -3873 -3874 -3875 -3876 -3877 -3878 -3879 -3880
4672.09/4674.09	v -3881 -3882 -3883 -3884 -3885 -3886 -3887 -3888 -3889 -3890
4672.09/4674.09	v -3891 -3892 -3893 -3894 -3895 -3896 -3897 -3898 -3899 -3900
4672.09/4674.09	v -3901 -3902 -3903 -3904 -3905 -3906 -3907 -3908 -3909 -3910
4672.09/4674.09	v -3911 -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919 -3920
4672.09/4674.09	v -3921 -3922 -3923 -3924 -3925 -3926 -3927 -3928 -3929 -3930
4672.09/4674.09	v -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938 -3939 -3940
4672.09/4674.09	v -3941 -3942 -3943 -3944 -3945 -3946 -3947 -3948 -3949 -3950
4672.09/4674.09	v -3951 -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960
4672.09/4674.09	v -3961 -3962 -3963 -3964 -3965 -3966 -3967 -3968 -3969 -3970
4672.09/4674.09	v -3971 -3972 -3973 3974 -3975 -3976 -3977 -3978 -3979 -3980
4672.09/4674.09	v -3981 -3982 -3983 -3984 -3985 -3986 -3987 -3988 -3989 -3990
4672.09/4674.09	v -3991 -3992 -3993 -3994 -3995 -3996 -3997 -3998 -3999 -4000
4672.09/4674.09	v -4001 -4002 -4003 -4004 -4005 -4006 -4007 -4008 -4009 -4010
4672.09/4674.09	v -4011 -4012 -4013 -4014 -4015 -4016 -4017 -4018 -4019 -4020
4672.09/4674.09	v -4021 -4022 -4023 -4024 -4025 -4026 -4027 -4028 -4029 -4030
4672.09/4674.09	v -4031 -4032 -4033 -4034 -4035 -4036 -4037 -4038 -4039 -4040
4672.09/4674.09	v -4041 -4042 -4043 -4044 -4045 -4046 -4047 -4048 -4049 -4050
4672.09/4674.09	v -4051 -4052 -4053 -4054 -4055 -4056 -4057 -4058 -4059 -4060
4672.09/4674.09	v -4061 -4062 -4063 -4064 -4065 -4066 -4067 -4068 -4069 -4070
4672.09/4674.09	v -4071 -4072 -4073 -4074 -4075 -4076 -4077 4078 -4079 -4080
4672.09/4674.09	v -4081 -4082 -4083 -4084 -4085 -4086 -4087 -4088 -4089 -4090
4672.09/4674.09	v -4091 -4092 -4093 -4094 -4095 -4096 -4097 -4098 -4099 -4100
4672.09/4674.09	v -4101 -4102 -4103 -4104 -4105 -4106 -4107 -4108 -4109 -4110
4672.09/4674.09	v -4111 -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119 -4120
4672.09/4674.09	v -4121 -4122 -4123 -4124 -4125 -4126 -4127 -4128 -4129 -4130
4672.09/4674.09	v -4131 -4132 -4133 -4134 -4135 -4136 -4137 -4138 -4139 -4140
4672.09/4674.09	v -4141 -4142 -4143 -4144 -4145 -4146 -4147 -4148 -4149 -4150
4672.09/4674.09	v -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160
4672.09/4674.09	v -4161 -4162 -4163 -4164 -4165 -4166 -4167 -4168 4169 -4170
4672.09/4674.09	v -4171 -4172 -4173 -4174 -4175 -4176 -4177 -4178 -4179 -4180
4672.09/4674.09	v -4181 -4182 -4183 -4184 -4185 -4186 -4187 -4188 -4189 -4190
4672.09/4674.09	v -4191 -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199 -4200
4672.09/4674.09	v -4201 -4202 -4203 -4204 -4205 -4206 -4207 -4208 -4209 -4210
4672.09/4674.09	v -4211 -4212 -4213 -4214 -4215 -4216 -4217 -4218 -4219 -4220
4672.09/4674.09	v -4221 -4222 -4223 4224 -4225 -4226 -4227 -4228 -4229 -4230
4672.09/4674.09	v -4231 -4232 -4233 -4234 -4235 -4236 -4237 -4238 -4239 -4240
4672.09/4674.09	v -4241 -4242 -4243 -4244 -4245 -4246 -4247 -4248 -4249 -4250
4672.09/4674.09	v -4251 -4252 -4253 -4254 -4255 -4256 -4257 -4258 -4259 -4260
4672.09/4674.09	v -4261 -4262 -4263 -4264 -4265 -4266 -4267 -4268 -4269 -4270
4672.09/4674.09	v -4271 -4272 -4273 -4274 -4275 -4276 -4277 -4278 -4279 -4280
4672.09/4674.09	v -4281 -4282 -4283 -4284 -4285 -4286 -4287 -4288 -4289 -4290
4672.09/4674.09	v -4291 -4292 -4293 -4294 -4295 -4296 -4297 -4298 -4299 -4300
4672.09/4674.09	v -4301 -4302 -4303 -4304 -4305 -4306 -4307 -4308 -4309 -4310
4672.09/4674.09	v -4311 -4312 -4313 -4314 -4315 -4316 -4317 -4318 -4319 -4320
4672.09/4674.09	v -4321 -4322 -4323 -4324 -4325 -4326 -4327 -4328 -4329 -4330
4672.09/4674.09	v -4331 -4332 -4333 -4334 -4335 -4336 -4337 -4338 -4339 -4340
4672.09/4674.09	v -4341 -4342 -4343 -4344 -4345 -4346 -4347 -4348 -4349 -4350
4672.09/4674.09	v -4351 -4352 -4353 -4354 -4355 -4356 -4357 -4358 -4359 -4360
4672.09/4674.09	v -4361 -4362 -4363 -4364 -4365 -4366 -4367 -4368 -4369 4370
4672.09/4674.09	v -4371 -4372 -4373 -4374 -4375 -4376 -4377 -4378 -4379 -4380
4672.09/4674.09	v -4381 -4382 -4383 -4384 -4385 -4386 -4387 -4388 -4389 -4390
4672.09/4674.09	v -4391 -4392 -4393 -4394 -4395 -4396 -4397 -4398 -4399 -4400
4672.09/4674.09	v -4401 -4402 -4403 -4404 -4405 -4406 -4407 -4408 -4409 -4410
4672.09/4674.09	v -4411 -4412 4413 -4414 -4415 -4416 -4417 -4418 -4419 -4420
4672.09/4674.09	v -4421 -4422 -4423 -4424 -4425 -4426 -4427 -4428 -4429 -4430
4672.09/4674.09	v -4431 -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439 -4440
4672.09/4674.09	v -4441 -4442 -4443 -4444 -4445 -4446 -4447 -4448 -4449 -4450
4672.09/4674.09	v -4451 -4452 -4453 -4454 -4455 -4456 -4457 -4458 -4459 -4460
4672.09/4674.09	v -4461 -4462 -4463 -4464 -4465 -4466 -4467 -4468 -4469 -4470
4672.09/4674.09	v -4471 -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479 -4480
4672.09/4674.09	v -4481 -4482 -4483 -4484 -4485 -4486 -4487 -4488 -4489 -4490
4672.09/4674.09	v -4491 -4492 -4493 -4494 -4495 -4496 4497 -4498 -4499 -4500
4672.09/4674.09	v -4501 -4502 -4503 -4504 -4505 -4506 -4507 -4508 -4509 -4510
4672.09/4674.09	v -4511 -4512 -4513 -4514 -4515 -4516 -4517 -4518 -4519 -4520
4672.09/4674.09	v -4521 -4522 -4523 -4524 -4525 -4526 -4527 -4528 -4529 -4530
4672.09/4674.09	v -4531 -4532 -4533 -4534 -4535 -4536 -4537 -4538 -4539 -4540
4672.09/4674.09	v -4541 -4542 -4543 -4544 -4545 -4546 -4547 -4548 -4549 -4550
4672.09/4674.09	v -4551 -4552 -4553 -4554 -4555 -4556 -4557 -4558 -4559 -4560
4672.09/4674.09	v -4561 -4562 -4563 -4564 -4565 -4566 -4567 -4568 -4569 -4570
4672.09/4674.09	v -4571 -4572 -4573 -4574 -4575 -4576 -4577 -4578 -4579 -4580
4672.09/4674.09	v -4581 -4582 -4583 -4584 -4585 -4586 -4587 -4588 -4589 -4590
4672.09/4674.09	v -4591 -4592 -4593 -4594 -4595 4596 -4597 -4598 -4599 -4600
4672.09/4674.09	v -4601 -4602 -4603 -4604 -4605 -4606 -4607 -4608 -4609 -4610
4672.09/4674.09	v -4611 -4612 -4613 -4614 -4615 -4616 -4617 -4618 -4619 -4620
4672.09/4674.09	v -4621 -4622 -4623 -4624 -4625 -4626 -4627 -4628 -4629 -4630
4672.09/4674.09	v -4631 -4632 -4633 -4634 -4635 -4636 -4637 -4638 -4639 -4640
4672.09/4674.09	v -4641 -4642 -4643 -4644 -4645 -4646 -4647 -4648 -4649 -4650
4672.09/4674.09	v -4651 -4652 -4653 -4654 -4655 -4656 -4657 -4658 -4659 -4660
4672.09/4674.09	v -4661 -4662 -4663 -4664 -4665 -4666 -4667 -4668 -4669 -4670
4672.09/4674.09	v -4671 -4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679 -4680
4672.09/4674.09	v -4681 -4682 -4683 -4684 -4685 -4686 -4687 -4688 -4689 -4690
4672.09/4674.09	v -4691 -4692 -4693 -4694 -4695 -4696 -4697 -4698 4699 -4700
4672.09/4674.09	v -4701 -4702 -4703 -4704 -4705 -4706 -4707 -4708 -4709 -4710
4672.09/4674.09	v -4711 -4712 -4713 -4714 -4715 -4716 -4717 -4718 -4719 -4720
4672.09/4674.09	v -4721 -4722 -4723 -4724 -4725 -4726 -4727 -4728 -4729 -4730
4672.09/4674.09	v -4731 -4732 -4733 -4734 -4735 -4736 -4737 -4738 -4739 -4740
4672.09/4674.09	v -4741 -4742 -4743 -4744 -4745 -4746 -4747 -4748 -4749 -4750
4672.09/4674.09	v -4751 -4752 -4753 -4754 -4755 -4756 -4757 4758 -4759 -4760
4672.09/4674.09	v -4761 -4762 -4763 -4764 -4765 -4766 -4767 -4768 -4769 -4770
4672.09/4674.09	v -4771 -4772 -4773 -4774 -4775 -4776 -4777 -4778 -4779 -4780
4672.09/4674.09	v -4781 -4782 -4783 -4784 -4785 -4786 -4787 -4788 -4789 -4790
4672.09/4674.09	v -4791 -4792 -4793 -4794 -4795 -4796 -4797 -4798 -4799 -4800
4672.09/4674.09	v -4801 -4802 -4803 -4804 -4805 -4806 -4807 -4808 -4809 -4810
4672.09/4674.09	v -4811 -4812 -4813 -4814 -4815 -4816 -4817 -4818 -4819 -4820
4672.09/4674.09	v -4821 -4822 -4823 -4824 -4825 -4826 -4827 -4828 -4829 -4830
4672.09/4674.09	v -4831 -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839 4840
4672.09/4674.09	v -4841 -4842 -4843 -4844 -4845 -4846 -4847 -4848 -4849 -4850
4672.09/4674.09	v -4851 -4852 -4853 -4854 -4855 -4856 -4857 -4858 -4859 -4860
4672.09/4674.09	v -4861 -4862 -4863 -4864 -4865 -4866 -4867 -4868 -4869 -4870
4672.09/4674.09	v -4871 -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879 -4880
4672.09/4674.09	v -4881 -4882 -4883 -4884 -4885 4886 -4887 -4888 -4889 -4890
4672.09/4674.09	v -4891 -4892 -4893 -4894 -4895 -4896 -4897 -4898 -4899 -4900
4672.09/4674.09	v -4901 -4902 -4903 -4904 -4905 -4906 -4907 -4908 -4909 -4910
4672.09/4674.09	v -4911 -4912 -4913 -4914 -4915 -4916 -4917 -4918 -4919 -4920
4672.09/4674.09	v -4921 -4922 -4923 -4924 -4925 -4926 -4927 -4928 -4929 -4930
4672.09/4674.09	v -4931 -4932 -4933 -4934 -4935 -4936 -4937 -4938 -4939 -4940
4672.09/4674.09	v -4941 -4942 -4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950
4672.09/4674.09	v -4951 -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959 -4960
4672.09/4674.09	v -4961 -4962 -4963 -4964 -4965 -4966 -4967 -4968 -4969 -4970
4672.09/4674.09	v -4971 -4972 -4973 -4974 -4975 -4976 -4977 -4978 -4979 -4980
4672.09/4674.09	v -4981 -4982 -4983 -4984 -4985 -4986 -4987 -4988 -4989 -4990
4672.09/4674.09	v -4991 -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999 -5000
4672.09/4674.09	v -5001 -5002 -5003 -5004 -5005 -5006 -5007 -5008 -5009 -5010
4672.09/4674.09	v -5011 -5012 -5013 -5014 -5015 -5016 -5017 -5018 -5019 -5020
4672.09/4674.09	v -5021 -5022 -5023 -5024 -5025 -5026 -5027 -5028 -5029 -5030
4672.09/4674.09	v -5031 -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039 -5040
4672.09/4674.09	v -5041 -5042 5043 -5044 -5045 -5046 -5047 -5048 -5049 -5050
4672.09/4674.09	v -5051 -5052 -5053 -5054 -5055 -5056 -5057 -5058 -5059 -5060
4672.09/4674.09	v -5061 -5062 -5063 -5064 -5065 -5066 -5067 -5068 -5069 -5070
4672.09/4674.09	v -5071 -5072 -5073 -5074 -5075 -5076 -5077 -5078 -5079 -5080
4672.09/4674.09	v -5081 -5082 -5083 -5084 -5085 -5086 -5087 -5088 -5089 -5090
4672.09/4674.09	v -5091 -5092 -5093 -5094 -5095 -5096 -5097 -5098 -5099 -5100
4672.09/4674.09	v -5101 -5102 -5103 -5104 -5105 -5106 -5107 -5108 -5109 -5110
4672.09/4674.09	v -5111 -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119 -5120
4672.09/4674.09	v -5121 -5122 -5123 -5124 -5125 -5126 -5127 -5128 -5129 -5130
4672.09/4674.09	v -5131 -5132 -5133 -5134 -5135 -5136 5137 -5138 -5139 -5140
4672.09/4674.09	v -5141 -5142 -5143 -5144 -5145 -5146 -5147 -5148 -5149 -5150
4672.09/4674.09	v -5151 -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159 -5160
4672.09/4674.09	v -5161 -5162 -5163 -5164 -5165 -5166 -5167 -5168 -5169 -5170
4672.09/4674.09	v -5171 -5172 -5173 -5174 -5175 -5176 -5177 -5178 -5179 -5180
4672.09/4674.09	v -5181 -5182 -5183 -5184 -5185 -5186 -5187 -5188 -5189 -5190
4672.09/4674.09	v -5191 -5192 -5193 -5194 -5195 -5196 -5197 -5198 -5199 -5200
4672.09/4674.09	v -5201 -5202 -5203 -5204 -5205 -5206 -5207 -5208 -5209 -5210
4672.09/4674.09	v -5211 -5212 -5213 -5214 -5215 -5216 -5217 -5218 -5219 -5220
4672.09/4674.09	v -5221 -5222 -5223 -5224 -5225 -5226 -5227 -5228 -5229 -5230
4672.09/4674.09	v -5231 -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239 -5240
4672.09/4674.09	v -5241 -5242 -5243 -5244 -5245 -5246 -5247 -5248 -5249 -5250
4672.09/4674.09	v -5251 -5252 -5253 -5254 -5255 -5256 -5257 -5258 -5259 -5260
4672.09/4674.09	v -5261 -5262 5263 -5264 -5265 -5266 -5267 -5268 -5269 -5270
4672.09/4674.09	v -5271 -5272 -5273 -5274 -5275 -5276 -5277 -5278 -5279 -5280
4672.09/4674.09	v -5281 -5282 -5283 -5284 -5285 -5286 -5287 -5288 -5289 -5290
4672.09/4674.09	v -5291 -5292 -5293 -5294 -5295 -5296 -5297 -5298 -5299 -5300
4672.09/4674.09	v -5301 -5302 -5303 -5304 -5305 -5306 -5307 -5308 -5309 -5310
4672.09/4674.09	v -5311 -5312 -5313 -5314 -5315 -5316 -5317 -5318 -5319 -5320
4672.09/4674.09	v -5321 -5322 -5323 -5324 -5325 -5326 -5327 -5328 -5329 -5330
4672.09/4674.09	v -5331 -5332 -5333 -5334 -5335 -5336 -5337 -5338 -5339 -5340
4672.09/4674.09	v -5341 -5342 -5343 -5344 -5345 -5346 -5347 -5348 -5349 -5350
4672.09/4674.09	v -5351 -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359 -5360
4672.09/4674.09	v 5361 -5362 -5363 -5364 -5365 -5366 -5367 -5368 -5369 -5370
4672.09/4674.09	v -5371 -5372 -5373 -5374 -5375 -5376 -5377 -5378 -5379 -5380
4672.09/4674.09	v -5381 -5382 -5383 -5384 -5385 -5386 -5387 -5388 -5389 -5390
4672.09/4674.09	v -5391 -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399 -5400
4672.09/4674.09	v -5401 -5402 -5403 -5404 -5405 -5406 -5407 -5408 -5409 -5410
4672.09/4674.09	v -5411 -5412 -5413 -5414 -5415 -5416 -5417 -5418 -5419 -5420
4672.09/4674.09	v -5421 -5422 -5423 -5424 -5425 -5426 -5427 -5428 -5429 -5430
4672.09/4674.09	v -5431 -5432 -5433 -5434 -5435 -5436 -5437 -5438 -5439 -5440
4672.09/4674.09	v -5441 -5442 -5443 -5444 -5445 -5446 -5447 -5448 -5449 -5450
4672.09/4674.09	v -5451 -5452 -5453 -5454 5455 -5456 -5457 -5458 -5459 -5460
4672.09/4674.09	v -5461 -5462 -5463 -5464 -5465 -5466 -5467 -5468 -5469 -5470
4672.09/4674.09	v -5471 -5472 -5473 -5474 -5475 -5476 -5477 -5478 -5479 -5480
4672.09/4674.09	v -5481 -5482 -5483 -5484 -5485 -5486 -5487 -5488 -5489 -5490
4672.09/4674.09	v -5491 -5492 -5493 -5494 5495 -5496 -5497 -5498 -5499 -5500
4672.09/4674.09	v -5501 -5502 -5503 -5504 -5505 -5506 -5507 -5508 -5509 -5510
4672.09/4674.09	v -5511 -5512 -5513 -5514 -5515 -5516 -5517 -5518 -5519 -5520
4672.09/4674.09	v -5521 -5522 -5523 -5524 -5525 -5526 -5527 -5528 -5529 -5530
4672.09/4674.09	v -5531 -5532 -5533 -5534 -5535 -5536 -5537 -5538 -5539 -5540
4672.09/4674.09	v -5541 -5542 -5543 -5544 -5545 -5546 -5547 -5548 -5549 -5550
4672.09/4674.09	v -5551 -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559 -5560
4672.09/4674.09	v -5561 -5562 -5563 -5564 -5565 -5566 -5567 -5568 -5569 -5570
4672.09/4674.09	v -5571 -5572 -5573 -5574 -5575 -5576 -5577 -5578 -5579 -5580
4672.09/4674.09	v -5581 -5582 -5583 -5584 -5585 -5586 -5587 -5588 -5589 -5590
4672.09/4674.09	v -5591 -5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599 -5600
4672.09/4674.09	v -5601 -5602 -5603 -5604 -5605 -5606 -5607 -5608 -5609 -5610
4672.09/4674.09	v -5611 -5612 -5613 -5614 -5615 -5616 -5617 -5618 -5619 -5620
4672.09/4674.09	v -5621 -5622 -5623 -5624 -5625 -5626 -5627 -5628 -5629 -5630
4672.09/4674.09	v -5631 -5632 -5633 -5634 -5635 -5636 -5637 -5638 -5639 -5640
4672.09/4674.09	v -5641 -5642 -5643 -5644 5645 -5646 -5647 -5648 -5649 -5650
4672.09/4674.09	v -5651 -5652 -5653 -5654 -5655 -5656 -5657 -5658 -5659 -5660
4672.09/4674.09	v -5661 -5662 -5663 -5664 -5665 -5666 -5667 -5668 -5669 -5670
4672.09/4674.09	v -5671 -5672 -5673 -5674 -5675 -5676 -5677 -5678 5679 -5680
4672.09/4674.09	v -5681 -5682 -5683 -5684 -5685 -5686 -5687 -5688 -5689 -5690
4672.09/4674.09	v -5691 -5692 -5693 -5694 -5695 -5696 -5697 -5698 -5699 -5700
4672.09/4674.09	v -5701 -5702 -5703 -5704 -5705 -5706 -5707 -5708 -5709 -5710
4672.09/4674.09	v -5711 -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719 -5720
4672.09/4674.09	v -5721 -5722 -5723 -5724 -5725 -5726 -5727 -5728 -5729 -5730
4672.09/4674.09	v -5731 -5732 -5733 -5734 -5735 -5736 -5737 -5738 -5739 -5740
4672.09/4674.09	v -5741 -5742 -5743 -5744 -5745 -5746 -5747 -5748 -5749 -5750
4672.09/4674.09	v -5751 -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759 -5760
4672.09/4674.09	v -5761 -5762 -5763 -5764 -5765 -5766 -5767 -5768 -5769 -5770
4672.09/4674.09	v -5771 -5772 -5773 -5774 -5775 -5776 -5777 -5778 -5779 -5780
4672.09/4674.09	v -5781 -5782 -5783 -5784 -5785 -5786 -5787 -5788 -5789 -5790
4672.09/4674.09	v -5791 -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799 -5800
4672.09/4674.09	v -5801 -5802 -5803 5804 -5805 -5806 -5807 -5808 -5809 -5810
4672.09/4674.09	v -5811 -5812 -5813 -5814 -5815 -5816 -5817 -5818 -5819 -5820
4672.09/4674.09	v -5821 -5822 -5823 -5824 5825 -5826 -5827 -5828 -5829 -5830
4672.09/4674.09	v -5831 -5832 -5833 -5834 -5835 -5836 -5837 -5838 -5839 -5840
4672.09/4674.09	v -5841 -5842 -5843 -5844 -5845 -5846 -5847 -5848 -5849 -5850
4672.09/4674.09	v -5851 -5852 -5853 -5854 -5855 -5856 -5857 -5858 -5859 -5860
4672.09/4674.09	v -5861 -5862 -5863 -5864 -5865 -5866 -5867 -5868 -5869 -5870
4672.09/4674.09	v -5871 -5872 -5873 -5874 -5875 -5876 -5877 -5878 -5879 -5880
4672.09/4674.09	v -5881 -5882 -5883 -5884 -5885 -5886 -5887 -5888 -5889 -5890
4672.09/4674.09	v -5891 -5892 -5893 -5894 -5895 -5896 5897 -5898 -5899 -5900
4672.09/4674.09	v -5901 -5902 -5903 -5904 -5905 -5906 -5907 -5908 -5909 -5910
4672.09/4674.09	v -5911 -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919 -5920
4672.09/4674.09	v -5921 -5922 -5923 -5924 -5925 -5926 -5927 -5928 -5929 -5930
4672.09/4674.09	v -5931 -5932 -5933 -5934 -5935 -5936 -5937 -5938 -5939 -5940
4672.09/4674.09	v -5941 -5942 -5943 -5944 -5945 -5946 -5947 -5948 -5949 -5950
4672.09/4674.09	v -5951 -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959 -5960
4672.09/4674.09	v -5961 -5962 -5963 -5964 -5965 -5966 -5967 -5968 -5969 -5970
4672.09/4674.09	v -5971 -5972 -5973 -5974 -5975 -5976 -5977 -5978 -5979 -5980
4672.09/4674.09	v -5981 -5982 -5983 -5984 -5985 -5986 -5987 -5988 -5989 -5990
4672.09/4674.09	v -5991 -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999 -6000
4672.09/4674.09	v -6001 -6002 -6003 -6004 -6005 -6006 -6007 -6008 -6009 -6010
4672.09/4674.09	v -6011 -6012 -6013 -6014 -6015 -6016 -6017 -6018 -6019 -6020
4672.09/4674.09	v -6021 -6022 -6023 -6024 -6025 -6026 -6027 -6028 -6029 -6030
4672.09/4674.09	v -6031 -6032 -6033 -6034 -6035 6036 -6037 -6038 -6039 -6040
4672.09/4674.09	v -6041 -6042 -6043 -6044 -6045 -6046 -6047 -6048 -6049 -6050
4672.09/4674.09	v -6051 -6052 -6053 -6054 -6055 -6056 -6057 -6058 -6059 -6060
4672.09/4674.09	v -6061 -6062 -6063 -6064 -6065 -6066 -6067 -6068 -6069 -6070
4672.09/4674.09	v -6071 -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079 -6080
4672.09/4674.09	v -6081 -6082 -6083 -6084 -6085 -6086 -6087 -6088 -6089 -6090
4672.09/4674.09	v -6091 -6092 -6093 -6094 -6095 -6096 -6097 -6098 -6099 -6100
4672.09/4674.09	v -6101 -6102 -6103 -6104 6105 -6106 -6107 -6108 -6109 -6110
4672.09/4674.09	v -6111 -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120
4672.09/4674.09	v -6121 -6122 -6123 -6124 -6125 -6126 -6127 -6128 -6129 -6130
4672.09/4674.09	v -6131 -6132 -6133 -6134 -6135 -6136 -6137 -6138 -6139 -6140
4672.09/4674.09	v -6141 -6142 -6143 -6144 -6145 -6146 -6147 -6148 -6149 -6150
4672.09/4674.09	v 6151 -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159 -6160
4672.09/4674.09	v -6161 -6162 -6163 -6164 -6165 -6166 -6167 -6168 -6169 -6170
4672.09/4674.09	v -6171 -6172 -6173 -6174 -6175 -6176 -6177 -6178 -6179 -6180
4672.09/4674.09	v -6181 -6182 -6183 -6184 -6185 -6186 -6187 -6188 -6189 -6190
4672.09/4674.09	v -6191 -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199 -6200
4672.09/4674.09	v -6201 -6202 -6203 -6204 -6205 -6206 -6207 -6208 -6209 -6210
4672.09/4674.09	v -6211 -6212 -6213 -6214 -6215 -6216 -6217 -6218 -6219 -6220
4672.09/4674.09	v -6221 -6222 -6223 -6224 -6225 -6226 -6227 -6228 -6229 -6230
4672.09/4674.09	v -6231 -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239 -6240
4672.09/4674.09	v -6241 -6242 -6243 -6244 -6245 -6246 -6247 -6248 -6249 -6250
4672.09/4674.09	v -6251 -6252 -6253 -6254 -6255 -6256 -6257 -6258 -6259 -6260
4672.09/4674.09	v -6261 -6262 -6263 -6264 -6265 -6266 -6267 -6268 -6269 -6270
4672.09/4674.09	v -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279 -6280
4672.09/4674.09	v -6281 -6282 -6283 -6284 -6285 -6286 -6287 -6288 -6289 -6290
4672.09/4674.09	v -6291 -6292 -6293 -6294 -6295 -6296 -6297 -6298 -6299 -6300
4672.09/4674.09	v -6301 -6302 -6303 -6304 -6305 -6306 -6307 -6308 -6309 -6310
4672.09/4674.09	v -6311 -6312 -6313 -6314 -6315 -6316 -6317 -6318 -6319 -6320
4672.09/4674.09	v -6321 -6322 -6323 -6324 -6325 -6326 -6327 -6328 -6329 -6330
4672.09/4674.09	v -6331 -6332 -6333 -6334 -6335 -6336 -6337 -6338 -6339 -6340
4672.09/4674.09	v -6341 -6342 -6343 -6344 -6345 -6346 6347 -6348 -6349 -6350
4672.09/4674.09	v -6351 -6352 -6353 -6354 -6355 -6356 -6357 -6358 -6359 -6360
4672.09/4674.09	v -6361 -6362 -6363 -6364 -6365 -6366 -6367 -6368 -6369 -6370
4672.09/4674.09	v -6371 -6372 -6373 -6374 -6375 -6376 -6377 -6378 -6379 -6380
4672.09/4674.09	v -6381 -6382 -6383 -6384 -6385 -6386 -6387 -6388 -6389 -6390
4672.09/4674.09	v -6391 -6392 -6393 -6394 -6395 -6396 -6397 -6398 -6399 -6400
4672.09/4674.09	v -6401 -6402 -6403 -6404 -6405 -6406 -6407 -6408 6409 -6410
4672.09/4674.09	v -6411 -6412 -6413 -6414 -6415 -6416 -6417 -6418 -6419 -6420
4672.09/4674.09	v -6421 -6422 -6423 -6424 -6425 -6426 -6427 -6428 -6429 -6430
4672.09/4674.09	v -6431 -6432 -6433 -6434 -6435 -6436 -6437 -6438 -6439 -6440
4672.09/4674.09	v -6441 -6442 -6443 -6444 -6445 -6446 -6447 -6448 -6449 -6450
4672.09/4674.09	v -6451 -6452 -6453 -6454 -6455 -6456 -6457 -6458 -6459 -6460
4672.09/4674.09	v -6461 -6462 -6463 -6464 -6465 -6466 -6467 -6468 -6469 -6470
4672.09/4674.09	v -6471 -6472 -6473 -6474 -6475 -6476 -6477 -6478 -6479 -6480
4672.09/4674.09	v -6481 -6482 -6483 -6484 -6485 -6486 -6487 -6488 -6489 -6490
4672.09/4674.09	v -6491 -6492 -6493 -6494 -6495 -6496 -6497 -6498 -6499 -6500
4672.09/4674.09	v -6501 -6502 -6503 -6504 -6505 -6506 6507 -6508 -6509 -6510
4672.09/4674.09	v -6511 -6512 -6513 -6514 -6515 -6516 -6517 -6518 -6519 -6520
4672.09/4674.09	v -6521 -6522 -6523 -6524 -6525 -6526 -6527 -6528 -6529 -6530
4672.09/4674.09	v -6531 -6532 -6533 -6534 -6535 -6536 -6537 -6538 -6539 -6540
4672.09/4674.09	v -6541 -6542 -6543 -6544 -6545 -6546 -6547 -6548 -6549 -6550
4672.09/4674.09	v -6551 -6552 -6553 -6554 -6555 -6556 -6557 -6558 -6559 -6560
4672.09/4674.09	v -6561 -6562 -6563 -6564 -6565 -6566 -6567 -6568 -6569 -6570
4672.09/4674.09	v -6571 -6572 -6573 -6574 -6575 -6576 -6577 -6578 -6579 -6580
4672.09/4674.09	v -6581 -6582 -6583 -6584 -6585 -6586 -6587 -6588 -6589 -6590
4672.09/4674.09	v -6591 -6592 -6593 -6594 6595 -6596 -6597 -6598 -6599 -6600
4672.09/4674.09	v -6601 -6602 -6603 -6604 -6605 -6606 -6607 -6608 -6609 -6610
4672.09/4674.09	v -6611 -6612 -6613 -6614 -6615 -6616 -6617 -6618 -6619 -6620
4672.09/4674.09	v -6621 -6622 -6623 -6624 -6625 -6626 -6627 -6628 -6629 -6630
4672.09/4674.09	v -6631 -6632 -6633 -6634 -6635 -6636 -6637 -6638 -6639 -6640
4672.09/4674.09	v -6641 -6642 -6643 -6644 -6645 -6646 -6647 -6648 -6649 -6650
4672.09/4674.09	v -6651 -6652 -6653 -6654 -6655 -6656 -6657 -6658 -6659 -6660
4672.09/4674.09	v -6661 -6662 -6663 -6664 -6665 -6666 -6667 6668 -6669 -6670
4672.09/4674.09	v -6671 -6672 -6673 -6674 -6675 -6676 -6677 -6678 -6679 -6680
4672.09/4674.09	v -6681 -6682 -6683 -6684 -6685 -6686 -6687 -6688 -6689 -6690
4672.09/4674.09	v -6691 -6692 -6693 -6694 -6695 -6696 -6697 -6698 -6699 -6700
4672.09/4674.09	v -6701 -6702 -6703 -6704 -6705 -6706 -6707 -6708 -6709 -6710
4672.09/4674.09	v -6711 -6712 -6713 -6714 -6715 -6716 -6717 -6718 -6719 -6720
4672.09/4674.09	v -6721 -6722 -6723 -6724 -6725 -6726 -6727 -6728 -6729 -6730
4672.09/4674.09	v -6731 -6732 -6733 -6734 -6735 -6736 -6737 -6738 -6739 -6740
4672.09/4674.09	v -6741 -6742 -6743 -6744 -6745 -6746 -6747 -6748 -6749 -6750
4672.09/4674.09	v -6751 -6752 -6753 -6754 -6755 -6756 -6757 -6758 -6759 -6760
4672.09/4674.09	v -6761 -6762 -6763 -6764 -6765 -6766 -6767 -6768 -6769 -6770
4672.09/4674.09	v -6771 -6772 -6773 -6774 -6775 -6776 -6777 -6778 -6779 6780
4672.09/4674.09	v -6781 -6782 -6783 -6784 -6785 -6786 -6787 -6788 -6789 -6790
4672.09/4674.09	v -6791 -6792 -6793 -6794 -6795 -6796 -6797 -6798 -6799 -6800
4672.09/4674.09	v -6801 -6802 -6803 -6804 -6805 -6806 -6807 -6808 -6809 -6810
4672.09/4674.09	v -6811 -6812 -6813 -6814 -6815 -6816 -6817 -6818 -6819 -6820
4672.09/4674.09	v -6821 -6822 -6823 -6824 -6825 -6826 -6827 -6828 -6829 -6830
4672.09/4674.09	v -6831 -6832 -6833 -6834 -6835 -6836 -6837 -6838 -6839 -6840
4672.09/4674.09	v -6841 -6842 -6843 -6844 -6845 -6846 -6847 -6848 6849 -6850
4672.09/4674.09	v -6851 -6852 -6853 -6854 -6855 -6856 -6857 -6858 -6859 -6860
4672.09/4674.09	v -6861 -6862 -6863 -6864 -6865 -6866 -6867 -6868 -6869 -6870
4672.09/4674.09	v -6871 -6872 -6873 -6874 -6875 -6876 -6877 -6878 -6879 -6880
4672.09/4674.09	v -6881 -6882 -6883 -6884 -6885 -6886 -6887 -6888 -6889 -6890
4672.09/4674.09	v -6891 -6892 -6893 -6894 -6895 -6896 -6897 -6898 -6899 -6900
4672.09/4674.09	v -6901 -6902 -6903 -6904 -6905 -6906 6907 -6908 -6909 -6910
4672.09/4674.09	v -6911 -6912 -6913 -6914 -6915 -6916 -6917 -6918 -6919 -6920
4672.09/4674.09	v -6921 -6922 -6923 -6924 -6925 -6926 -6927 -6928 -6929 -6930
4672.09/4674.09	v -6931 -6932 -6933 -6934 -6935 -6936 -6937 -6938 -6939 -6940
4672.09/4674.09	v -6941 -6942 -6943 -6944 -6945 -6946 -6947 -6948 -6949 -6950
4672.09/4674.09	v -6951 -6952 -6953 -6954 -6955 -6956 -6957 -6958 -6959 -6960
4672.09/4674.09	v -6961 -6962 -6963 -6964 -6965 -6966 -6967 -6968 -6969 -6970
4672.09/4674.09	v -6971 -6972 -6973 -6974 -6975 -6976 -6977 -6978 -6979 -6980
4672.09/4674.09	v -6981 -6982 -6983 -6984 -6985 -6986 -6987 -6988 -6989 -6990
4672.09/4674.09	v -6991 -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999 -7000
4672.09/4674.09	v -7001 -7002 -7003 -7004 -7005 -7006 -7007 -7008 -7009 -7010
4672.09/4674.09	v 7011 -7012 -7013 -7014 -7015 -7016 -7017 -7018 -7019 -7020
4672.09/4674.09	v -7021 -7022 -7023 -7024 -7025 -7026 -7027 -7028 -7029 -7030
4672.09/4674.09	v -7031 -7032 -7033 -7034 -7035 -7036 -7037 -7038 -7039 -7040
4672.09/4674.09	v -7041 -7042 -7043 -7044 -7045 -7046 -7047 -7048 -7049 -7050
4672.09/4674.09	v -7051 -7052 -7053 -7054 -7055 -7056 -7057 -7058 -7059 -7060
4672.09/4674.09	v -7061 -7062 -7063 -7064 7065 -7066 -7067 -7068 -7069 -7070
4672.09/4674.09	v -7071 -7072 -7073 -7074 -7075 -7076 -7077 -7078 -7079 -7080
4672.09/4674.09	v -7081 -7082 -7083 -7084 -7085 -7086 -7087 -7088 -7089 -7090
4672.09/4674.09	v -7091 -7092 -7093 -7094 -7095 -7096 -7097 -7098 -7099 -7100
4672.09/4674.09	v -7101 -7102 -7103 -7104 -7105 -7106 -7107 -7108 -7109 -7110
4672.09/4674.09	v -7111 -7112 -7113 -7114 -7115 -7116 -7117 -7118 -7119 -7120
4672.09/4674.09	v -7121 -7122 -7123 -7124 -7125 -7126 -7127 -7128 -7129 -7130
4672.09/4674.09	v -7131 -7132 -7133 -7134 -7135 -7136 -7137 -7138 -7139 -7140
4672.09/4674.09	v -7141 -7142 -7143 -7144 -7145 -7146 -7147 -7148 -7149 -7150
4672.09/4674.09	v -7151 -7152 -7153 -7154 -7155 -7156 -7157 -7158 -7159 -7160
4672.09/4674.09	v -7161 -7162 -7163 -7164 -7165 -7166 -7167 -7168 -7169 -7170
4672.09/4674.09	v -7171 -7172 -7173 -7174 -7175 -7176 -7177 -7178 -7179 -7180
4672.09/4674.09	v -7181 -7182 -7183 -7184 -7185 -7186 -7187 -7188 -7189 -7190
4672.09/4674.09	v -7191 -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199 -7200
4672.09/4674.09	v -7201 -7202 -7203 -7204 -7205 -7206 -7207 -7208 -7209 -7210
4672.09/4674.09	v -7211 -7212 -7213 -7214 -7215 -7216 -7217 -7218 -7219 -7220
4672.09/4674.09	v -7221 -7222 -7223 -7224 7225 -7226 -7227 -7228 -7229 -7230
4672.09/4674.09	v -7231 -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239 -7240
4672.09/4674.09	v -7241 -7242 -7243 -7244 -7245 -7246 -7247 -7248 -7249 -7250
4672.09/4674.09	v -7251 -7252 -7253 -7254 -7255 -7256 -7257 -7258 -7259 -7260
4672.09/4674.09	v -7261 -7262 -7263 -7264 -7265 -7266 -7267 -7268 -7269 -7270
4672.09/4674.09	v -7271 -7272 -7273 -7274 -7275 -7276 -7277 -7278 -7279 -7280
4672.09/4674.09	v -7281 -7282 -7283 -7284 -7285 -7286 -7287 -7288 -7289 -7290
4672.09/4674.09	v -7291 -7292 -7293 -7294 -7295 -7296 -7297 -7298 -7299 -7300
4672.09/4674.09	v -7301 -7302 -7303 -7304 -7305 -7306 -7307 -7308 -7309 -7310
4672.09/4674.09	v -7311 -7312 -7313 -7314 -7315 -7316 -7317 -7318 7319 -7320
4672.09/4674.09	v -7321 -7322 -7323 -7324 -7325 -7326 -7327 -7328 -7329 -7330
4672.09/4674.09	v -7331 -7332 -7333 -7334 -7335 -7336 -7337 -7338 -7339 -7340
4672.09/4674.09	v -7341 7342 -7343 -7344 -7345 -7346 -7347 -7348 -7349 -7350
4672.09/4674.09	v -7351 -7352 -7353 -7354 -7355 -7356 -7357 -7358 -7359 -7360
4672.09/4674.09	v -7361 -7362 -7363 -7364 -7365 -7366 -7367 -7368 -7369 -7370
4672.09/4674.09	v -7371 -7372 -7373 -7374 -7375 -7376 -7377 -7378 -7379 -7380
4672.09/4674.09	v -7381 -7382 -7383 -7384 -7385 -7386 -7387 -7388 -7389 -7390
4672.09/4674.09	v -7391 -7392 -7393 -7394 -7395 -7396 -7397 -7398 -7399 -7400
4672.09/4674.09	v -7401 -7402 -7403 -7404 -7405 -7406 -7407 -7408 -7409 -7410
4672.09/4674.09	v -7411 -7412 -7413 -7414 -7415 -7416 -7417 -7418 -7419 -7420
4672.09/4674.09	v -7421 -7422 -7423 -7424 -7425 -7426 -7427 -7428 -7429 -7430
4672.09/4674.09	v -7431 -7432 -7433 -7434 -7435 -7436 -7437 -7438 -7439 -7440
4672.09/4674.09	v -7441 -7442 -7443 -7444 -7445 -7446 -7447 -7448 -7449 -7450
4672.09/4674.09	v -7451 -7452 -7453 -7454 -7455 -7456 -7457 -7458 -7459 -7460
4672.09/4674.09	v -7461 -7462 -7463 -7464 -7465 -7466 -7467 -7468 -7469 -7470
4672.09/4674.09	v -7471 -7472 -7473 7474 -7475 -7476 -7477 -7478 -7479 -7480
4672.09/4674.09	v -7481 -7482 -7483 -7484 -7485 -7486 -7487 -7488 -7489 -7490
4672.09/4674.09	v -7491 -7492 -7493 -7494 -7495 -7496 -7497 -7498 -7499 -7500
4672.09/4674.09	v -7501 -7502 -7503 -7504 -7505 -7506 -7507 -7508 -7509 -7510
4672.09/4674.09	v -7511 -7512 -7513 -7514 -7515 -7516 -7517 -7518 -7519 -7520
4672.09/4674.09	v -7521 -7522 -7523 -7524 -7525 -7526 -7527 -7528 -7529 -7530
4672.09/4674.09	v -7531 -7532 -7533 -7534 -7535 -7536 -7537 -7538 -7539 -7540
4672.09/4674.09	v -7541 -7542 -7543 -7544 -7545 -7546 -7547 -7548 -7549 -7550
4672.09/4674.09	v 7551 -7552 -7553 -7554 -7555 -7556 -7557 -7558 -7559 -7560
4672.09/4674.09	v -7561 -7562 -7563 -7564 -7565 -7566 -7567 -7568 -7569 -7570
4672.09/4674.09	v -7571 -7572 -7573 -7574 -7575 -7576 -7577 -7578 -7579 -7580
4672.09/4674.09	v -7581 -7582 -7583 -7584 -7585 -7586 -7587 -7588 -7589 -7590
4672.09/4674.09	v -7591 -7592 -7593 -7594 -7595 -7596 -7597 -7598 -7599 -7600
4672.09/4674.09	v -7601 -7602 -7603 -7604 -7605 -7606 -7607 -7608 -7609 -7610
4672.09/4674.09	v -7611 -7612 -7613 -7614 -7615 -7616 -7617 -7618 -7619 -7620
4672.09/4674.09	v -7621 -7622 -7623 -7624 -7625 -7626 -7627 -7628 -7629 -7630
4672.09/4674.09	v -7631 -7632 -7633 -7634 -7635 -7636 -7637 -7638 -7639 -7640
4672.09/4674.09	v -7641 -7642 -7643 -7644 -7645 -7646 -7647 -7648 -7649 -7650
4672.09/4674.09	v -7651 -7652 -7653 -7654 -7655 -7656 -7657 -7658 -7659 -7660
4672.09/4674.09	v -7661 -7662 -7663 -7664 -7665 -7666 -7667 -7668 -7669 -7670
4672.09/4674.09	v -7671 -7672 -7673 -7674 -7675 -7676 -7677 -7678 -7679 -7680
4672.09/4674.09	v -7681 -7682 -7683 -7684 -7685 -7686 -7687 -7688 -7689 -7690
4672.09/4674.09	v -7691 -7692 -7693 -7694 -7695 -7696 -7697 -7698 -7699 -7700
4672.09/4674.09	v -7701 7702 -7703 -7704 -7705 -7706 -7707 -7708 -7709 -7710
4672.09/4674.09	v -7711 -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719 -7720
4672.09/4674.09	v -7721 -7722 -7723 -7724 -7725 -7726 -7727 -7728 -7729 -7730
4672.09/4674.09	v -7731 -7732 -7733 -7734 -7735 -7736 -7737 -7738 -7739 -7740
4672.09/4674.09	v -7741 -7742 -7743 -7744 -7745 -7746 -7747 -7748 -7749 -7750
4672.09/4674.09	v -7751 -7752 -7753 -7754 -7755 -7756 -7757 -7758 -7759 -7760
4672.09/4674.09	v -7761 -7762 -7763 -7764 -7765 -7766 -7767 -7768 -7769 -7770
4672.09/4674.09	v -7771 -7772 -7773 -7774 -7775 -7776 -7777 -7778 -7779 -7780
4672.09/4674.09	v -7781 -7782 -7783 -7784 -7785 -7786 -7787 -7788 -7789 -7790
4672.09/4674.09	v -7791 -7792 -7793 -7794 -7795 -7796 -7797 -7798 -7799 -7800
4672.09/4674.09	v -7801 -7802 -7803 -7804 -7805 -7806 -7807 -7808 -7809 -7810
4672.09/4674.09	v -7811 -7812 -7813 -7814 -7815 -7816 -7817 -7818 -7819 -7820
4672.09/4674.09	v -7821 -7822 -7823 -7824 -7825 7826 -7827 -7828 -7829 -7830
4672.09/4674.09	v -7831 -7832 -7833 -7834 -7835 -7836 -7837 -7838 -7839 -7840
4672.09/4674.09	v -7841 -7842 -7843 -7844 -7845 -7846 -7847 -7848 -7849 -7850
4672.09/4674.09	v -7851 -7852 -7853 -7854 -7855 -7856 -7857 -7858 -7859 -7860
4672.09/4674.09	v -7861 -7862 -7863 -7864 -7865 -7866 -7867 -7868 -7869 -7870
4672.09/4674.09	v -7871 -7872 -7873 -7874 -7875 -7876 -7877 -7878 -7879 -7880
4672.09/4674.09	v -7881 -7882 -7883 -7884 -7885 -7886 -7887 -7888 -7889 7890
4672.09/4674.09	v -7891 -7892 -7893 -7894 -7895 -7896 -7897 -7898 -7899 -7900
4672.09/4674.09	v -7901 -7902 -7903 -7904 -7905 -7906 -7907 -7908 -7909 -7910
4672.09/4674.09	v -7911 -7912 -7913 -7914 -7915 -7916 -7917 -7918 -7919 -7920
4672.09/4674.09	v -7921 -7922 -7923 -7924 -7925 -7926 -7927 -7928 -7929 -7930
4672.09/4674.09	v -7931 -7932 -7933 -7934 -7935 -7936 7937 -7938 -7939 -7940
4672.09/4674.09	v -7941 -7942 -7943 -7944 -7945 -7946 -7947 -7948 -7949 -7950
4672.09/4674.09	v -7951 -7952 -7953 -7954 -7955 -7956 -7957 -7958 -7959 -7960
4672.09/4674.09	v -7961 -7962 -7963 -7964 -7965 -7966 -7967 -7968 -7969 -7970
4672.09/4674.09	v -7971 -7972 -7973 -7974 -7975 -7976 -7977 -7978 -7979 -7980
4672.09/4674.09	v -7981 -7982 -7983 -7984 -7985 -7986 -7987 7988 -7989 -7990
4672.09/4674.09	v -7991 -7992 -7993 -7994 -7995 -7996 -7997 -7998 -7999 -8000
4672.09/4674.09	v -8001 -8002 -8003 -8004 -8005 -8006 -8007 -8008 -8009 -8010
4672.09/4674.09	v -8011 -8012 -8013 -8014 -8015 -8016 -8017 -8018 -8019 -8020
4672.09/4674.09	v -8021 -8022 -8023 -8024 -8025 -8026 -8027 -8028 -8029 -8030
4672.09/4674.09	v -8031 -8032 -8033 -8034 -8035 -8036 -8037 -8038 8039 -8040
4672.09/4674.09	v -8041 -8042 -8043 -8044 -8045 -8046 -8047 -8048 -8049 -8050
4672.09/4674.09	v -8051 -8052 -8053 -8054 -8055 -8056 -8057 -8058 -8059 -8060
4672.09/4674.09	v -8061 -8062 -8063 -8064 -8065 -8066 -8067 -8068 -8069 -8070
4672.09/4674.09	v -8071 -8072 -8073 -8074 -8075 -8076 -8077 -8078 -8079 -8080
4672.09/4674.09	v -8081 -8082 -8083 -8084 -8085 -8086 -8087 -8088 -8089 -8090
4672.09/4674.09	v -8091 -8092 -8093 -8094 -8095 -8096 -8097 -8098 -8099 -8100
4672.09/4674.10	v -8101 -8102 -8103 -8104 -8105 -8106 -8107 -8108 -8109 -8110
4672.09/4674.10	v -8111 -8112 -8113 8114 -8115 -8116 -8117 -8118 -8119 -8120
4672.09/4674.10	v -8121 -8122 -8123 -8124 -8125 -8126 -8127 -8128 -8129 -8130
4672.09/4674.10	v -8131 -8132 -8133 -8134 -8135 -8136 -8137 -8138 -8139 -8140
4672.09/4674.10	v -8141 -8142 -8143 -8144 -8145 -8146 -8147 -8148 -8149 -8150
4672.09/4674.10	v -8151 -8152 -8153 -8154 -8155 -8156 -8157 -8158 -8159 -8160
4672.09/4674.10	v -8161 -8162 -8163 -8164 -8165 -8166 -8167 -8168 -8169 -8170
4672.09/4674.10	v -8171 -8172 -8173 -8174 -8175 -8176 -8177 -8178 -8179 -8180
4672.09/4674.10	v -8181 -8182 -8183 -8184 -8185 -8186 -8187 -8188 -8189 -8190
4672.09/4674.10	v -8191 -8192 -8193 -8194 -8195 -8196 -8197 -8198 -8199 -8200
4672.09/4674.10	v -8201 -8202 -8203 -8204 -8205 -8206 -8207 -8208 -8209 -8210
4672.09/4674.10	v -8211 -8212 -8213 -8214 -8215 -8216 -8217 -8218 -8219 -8220
4672.09/4674.10	v -8221 -8222 -8223 -8224 -8225 -8226 -8227 -8228 -8229 8230
4672.09/4674.10	v -8231 -8232 -8233 -8234 -8235 -8236 -8237 -8238 -8239 -8240
4672.09/4674.10	v -8241 -8242 -8243 -8244 -8245 -8246 -8247 -8248 -8249 -8250
4672.09/4674.10	v -8251 -8252 -8253 -8254 -8255 -8256 -8257 -8258 -8259 -8260
4672.09/4674.10	v -8261 -8262 -8263 -8264 -8265 -8266 -8267 -8268 -8269 -8270
4672.09/4674.10	v -8271 -8272 -8273 -8274 -8275 -8276 -8277 -8278 -8279 -8280
4672.09/4674.10	v -8281 -8282 -8283 -8284 -8285 -8286 -8287 -8288 -8289 -8290
4672.09/4674.10	v -8291 -8292 -8293 -8294 -8295 -8296 -8297 -8298 -8299 -8300
4672.09/4674.10	v -8301 -8302 -8303 -8304 -8305 -8306 -8307 -8308 -8309 -8310
4672.09/4674.10	v -8311 -8312 -8313 -8314 -8315 -8316 -8317 -8318 -8319 -8320
4672.09/4674.10	v -8321 -8322 -8323 -8324 -8325 -8326 -8327 -8328 -8329 -8330
4672.09/4674.10	v -8331 -8332 -8333 -8334 -8335 -8336 -8337 -8338 -8339 -8340
4672.09/4674.10	v -8341 -8342 -8343 -8344 -8345 -8346 -8347 -8348 -8349 -8350
4672.09/4674.10	v -8351 -8352 -8353 -8354 -8355 -8356 -8357 -8358 -8359 -8360
4672.09/4674.10	v -8361 -8362 -8363 -8364 -8365 -8366 -8367 -8368 -8369 -8370
4672.09/4674.10	v -8371 -8372 8373 -8374 -8375 -8376 -8377 -8378 -8379 -8380
4672.09/4674.10	v -8381 -8382 -8383 -8384 -8385 -8386 -8387 -8388 -8389 -8390
4672.09/4674.10	v -8391 -8392 -8393 -8394 -8395 -8396 -8397 -8398 -8399 -8400
4672.09/4674.10	v -8401 -8402 -8403 -8404 -8405 -8406 -8407 -8408 -8409 -8410
4672.09/4674.10	v -8411 -8412 -8413 -8414 -8415 -8416 -8417 -8418 -8419 -8420
4672.09/4674.10	v -8421 -8422 -8423 -8424 -8425 -8426 -8427 -8428 -8429 -8430
4672.09/4674.10	v -8431 -8432 -8433 -8434 -8435 -8436 -8437 -8438 -8439 -8440
4672.09/4674.10	v 8441 -8442 -8443 -8444 -8445 -8446 -8447 -8448 -8449 -8450
4672.09/4674.10	v -8451 -8452 -8453 -8454 -8455 -8456 -8457 -8458 -8459 -8460
4672.09/4674.10	v -8461 -8462 -8463 -8464 -8465 -8466 -8467 -8468 -8469 -8470
4672.09/4674.10	v -8471 -8472 -8473 -8474 -8475 -8476 -8477 -8478 -8479 -8480
4672.09/4674.10	v -8481 -8482 -8483 -8484 -8485 -8486 -8487 -8488 -8489 -8490
4672.09/4674.10	v -8491 -8492 -8493 -8494 -8495 -8496 -8497 -8498 -8499 -8500
4672.09/4674.10	v -8501 -8502 -8503 -8504 -8505 -8506 -8507 -8508 -8509 -8510
4672.09/4674.10	v -8511 -8512 -8513 -8514 -8515 -8516 -8517 -8518 -8519 -8520
4672.09/4674.10	v -8521 -8522 -8523 -8524 -8525 -8526 -8527 -8528 -8529 -8530
4672.09/4674.10	v -8531 -8532 -8533 -8534 -8535 8536 -8537 -8538 -8539 -8540
4672.09/4674.10	v -8541 -8542 -8543 -8544 -8545 -8546 -8547 -8548 -8549 -8550
4672.09/4674.10	v -8551 -8552 -8553 -8554 -8555 -8556 -8557 -8558 -8559 -8560
4672.09/4674.10	v -8561 -8562 -8563 -8564 -8565 -8566 -8567 -8568 -8569 -8570
4672.09/4674.10	v -8571 -8572 -8573 -8574 -8575 -8576 -8577 -8578 -8579 -8580
4672.09/4674.10	v -8581 -8582 -8583 -8584 -8585 -8586 -8587 -8588 -8589 -8590
4672.09/4674.10	v -8591 -8592 -8593 -8594 -8595 -8596 -8597 -8598 -8599 -8600
4672.09/4674.10	v -8601 -8602 -8603 -8604 -8605 -8606 -8607 -8608 -8609 -8610
4672.09/4674.10	v -8611 -8612 -8613 -8614 -8615 -8616 -8617 -8618 -8619 -8620
4672.09/4674.10	v -8621 -8622 -8623 -8624 -8625 -8626 -8627 -8628 -8629 -8630
4672.09/4674.10	v -8631 8632 -8633 -8634 -8635 -8636 -8637 -8638 -8639 -8640
4672.09/4674.10	v -8641 -8642 -8643 -8644 -8645 -8646 -8647 -8648 -8649 -8650
4672.09/4674.10	v -8651 -8652 -8653 -8654 -8655 -8656 -8657 -8658 -8659 -8660
4672.09/4674.10	v -8661 -8662 -8663 -8664 -8665 -8666 -8667 -8668 -8669 -8670
4672.09/4674.10	v -8671 -8672 -8673 -8674 -8675 -8676 -8677 -8678 -8679 -8680
4672.09/4674.10	v -8681 -8682 -8683 -8684 -8685 -8686 -8687 -8688 -8689 -8690
4672.09/4674.10	v -8691 -8692 -8693 -8694 -8695 -8696 -8697 -8698 -8699 -8700
4672.09/4674.10	v -8701 -8702 -8703 -8704 -8705 -8706 -8707 -8708 -8709 -8710
4672.09/4674.10	v -8711 -8712 -8713 -8714 -8715 -8716 -8717 -8718 -8719 -8720
4672.09/4674.10	v -8721 -8722 -8723 -8724 -8725 -8726 -8727 -8728 -8729 -8730
4672.09/4674.10	v -8731 -8732 -8733 -8734 -8735 -8736 -8737 -8738 -8739 -8740
4672.09/4674.10	v -8741 8742 -8743 -8744 -8745 -8746 -8747 -8748 -8749 -8750
4672.09/4674.10	v -8751 -8752 -8753 -8754 -8755 -8756 -8757 -8758 -8759 -8760
4672.09/4674.10	v -8761 -8762 -8763 -8764 -8765 -8766 -8767 -8768 -8769 -8770
4672.09/4674.10	v -8771 -8772 -8773 -8774 -8775 -8776 -8777 -8778 -8779 -8780
4672.09/4674.10	v -8781 -8782 -8783 -8784 -8785 -8786 -8787 -8788 -8789 -8790
4672.09/4674.10	v -8791 -8792 -8793 -8794 -8795 -8796 -8797 -8798 -8799 -8800
4672.09/4674.10	v -8801 -8802 -8803 -8804 -8805 -8806 -8807 -8808 -8809 -8810
4672.09/4674.10	v -8811 -8812 -8813 -8814 -8815 -8816 -8817 -8818 -8819 -8820
4672.09/4674.10	v -8821 -8822 -8823 -8824 -8825 -8826 -8827 -8828 -8829 -8830
4672.09/4674.10	v -8831 -8832 -8833 -8834 -8835 -8836 -8837 -8838 -8839 -8840
4672.09/4674.10	v -8841 -8842 -8843 -8844 -8845 -8846 -8847 -8848 -8849 -8850
4672.09/4674.10	v -8851 -8852 -8853 -8854 -8855 -8856 -8857 -8858 -8859 -8860
4672.09/4674.10	v -8861 -8862 -8863 -8864 -8865 -8866 -8867 -8868 -8869 -8870
4672.09/4674.10	v -8871 -8872 -8873 -8874 -8875 -8876 -8877 -8878 -8879 -8880
4672.09/4674.10	v 8881 -8882 -8883 -8884 -8885 -8886 -8887 -8888 -8889 -8890
4672.09/4674.10	v -8891 -8892 -8893 -8894 -8895 -8896 -8897 -8898 -8899 -8900
4672.09/4674.10	v -8901 -8902 -8903 -8904 -8905 -8906 -8907 -8908 -8909 -8910
4672.09/4674.10	v -8911 -8912 -8913 -8914 -8915 -8916 -8917 -8918 -8919 -8920
4672.09/4674.10	v -8921 -8922 -8923 -8924 -8925 -8926 -8927 -8928 -8929 -8930
4672.09/4674.10	v -8931 -8932 -8933 -8934 -8935 -8936 -8937 -8938 -8939 -8940
4672.09/4674.10	v -8941 -8942 -8943 -8944 -8945 -8946 -8947 -8948 8949 -8950
4672.09/4674.10	v -8951 -8952 -8953 -8954 -8955 -8956 -8957 -8958 -8959 -8960
4672.09/4674.10	v -8961 -8962 -8963 -8964 -8965 -8966 -8967 -8968 -8969 -8970
4672.09/4674.10	v -8971 -8972 -8973 -8974 -8975 -8976 -8977 -8978 -8979 -8980
4672.09/4674.10	v -8981 -8982 -8983 -8984 -8985 -8986 -8987 -8988 -8989 -8990
4672.09/4674.10	v -8991 -8992 -8993 -8994 -8995 -8996 -8997 -8998 -8999 -9000
4672.09/4674.10	v -9001 -9002 -9003 -9004 -9005 -9006 -9007 -9008 -9009 -9010
4672.09/4674.10	v -9011 -9012 -9013 -9014 -9015 -9016 -9017 -9018 -9019 9020
4672.09/4674.10	v -9021 -9022 -9023 -9024 -9025 -9026 -9027 -9028 -9029 -9030
4672.09/4674.10	v -9031 -9032 -9033 -9034 -9035 -9036 -9037 -9038 -9039 -9040
4672.09/4674.10	v -9041 -9042 -9043 -9044 -9045 -9046 -9047 -9048 -9049 -9050
4672.09/4674.10	v -9051 -9052 -9053 -9054 -9055 -9056 -9057 -9058 -9059 -9060
4672.09/4674.10	v -9061 -9062 -9063 9064 -9065 -9066 -9067 -9068 -9069 -9070
4672.09/4674.10	v -9071 -9072 -9073 -9074 -9075 -9076 -9077 -9078 -9079 -9080
4672.09/4674.10	v -9081 -9082 -9083 -9084 -9085 -9086 -9087 -9088 -9089 -9090
4672.09/4674.10	v -9091 -9092 -9093 -9094 -9095 -9096 -9097 -9098 -9099 -9100
4672.09/4674.10	v -9101 -9102 -9103 -9104 -9105 -9106 -9107 -9108 -9109 -9110
4672.09/4674.10	v -9111 -9112 -9113 -9114 -9115 -9116 -9117 -9118 -9119 -9120
4672.09/4674.10	v -9121 -9122 -9123 -9124 -9125 -9126 -9127 -9128 -9129 -9130
4672.09/4674.10	v -9131 -9132 -9133 -9134 -9135 -9136 -9137 -9138 9139 -9140
4672.09/4674.10	v -9141 -9142 -9143 -9144 -9145 -9146 -9147 -9148 -9149 -9150
4672.09/4674.10	v -9151 -9152 -9153 -9154 -9155 -9156 -9157 -9158 -9159 -9160
4672.09/4674.10	v -9161 -9162 -9163 -9164 -9165 -9166 -9167 -9168 -9169 -9170
4672.09/4674.10	v -9171 -9172 -9173 -9174 -9175 -9176 -9177 -9178 -9179 -9180
4672.09/4674.10	v -9181 -9182 -9183 -9184 -9185 -9186 -9187 -9188 -9189 -9190
4672.09/4674.10	v -9191 -9192 -9193 -9194 -9195 -9196 -9197 -9198 -9199 -9200
4672.09/4674.10	v -9201 -9202 -9203 -9204 -9205 -9206 -9207 -9208 -9209 -9210
4672.09/4674.10	v -9211 -9212 -9213 -9214 -9215 -9216 -9217 -9218 -9219 -9220
4672.09/4674.10	v -9221 -9222 -9223 -9224 -9225 -9226 -9227 -9228 -9229 -9230
4672.09/4674.10	v -9231 -9232 -9233 -9234 -9235 -9236 -9237 -9238 -9239 9240
4672.09/4674.10	v -9241 -9242 -9243 -9244 -9245 -9246 -9247 -9248 -9249 -9250
4672.09/4674.10	v -9251 -9252 -9253 -9254 -9255 -9256 -9257 -9258 -9259 -9260
4672.09/4674.10	v -9261 -9262 -9263 -9264 -9265 -9266 -9267 -9268 -9269 -9270
4672.09/4674.10	v -9271 -9272 -9273 -9274 -9275 -9276 -9277 -9278 -9279 -9280
4672.09/4674.10	v -9281 -9282 -9283 -9284 -9285 -9286 -9287 -9288 -9289 -9290
4672.09/4674.10	v -9291 9292 -9293 -9294 -9295 -9296 -9297 -9298 -9299 -9300
4672.09/4674.10	v -9301 -9302 -9303 -9304 -9305 -9306 -9307 -9308 -9309 -9310
4672.09/4674.10	v -9311 -9312 -9313 -9314 -9315 -9316 -9317 -9318 -9319 -9320
4672.09/4674.10	v -9321 -9322 -9323 -9324 -9325 -9326 -9327 -9328 -9329 -9330
4672.09/4674.10	v -9331 -9332 -9333 -9334 -9335 -9336 -9337 -9338 -9339 -9340
4672.09/4674.10	v -9341 -9342 -9343 -9344 -9345 -9346 -9347 -9348 -9349 -9350
4672.09/4674.10	v -9351 -9352 -9353 -9354 -9355 -9356 -9357 -9358 -9359 -9360
4672.09/4674.10	v -9361 -9362 -9363 -9364 -9365 -9366 -9367 -9368 -9369 -9370
4672.09/4674.10	v -9371 -9372 -9373 -9374 -9375 -9376 -9377 -9378 -9379 -9380
4672.09/4674.10	v -9381 -9382 -9383 -9384 -9385 -9386 -9387 -9388 -9389 -9390
4672.09/4674.10	v -9391 -9392 -9393 -9394 -9395 -9396 -9397 -9398 -9399 -9400
4672.09/4674.10	v -9401 -9402 -9403 -9404 -9405 -9406 9407 -9408 -9409 -9410
4672.09/4674.10	v -9411 -9412 -9413 -9414 -9415 -9416 -9417 -9418 -9419 -9420
4672.09/4674.10	v -9421 -9422 -9423 -9424 -9425 -9426 -9427 -9428 -9429 -9430
4672.09/4674.10	v -9431 -9432 -9433 -9434 -9435 -9436 -9437 -9438 -9439 -9440
4672.09/4674.10	v -9441 -9442 -9443 -9444 -9445 -9446 -9447 -9448 -9449 -9450
4672.09/4674.10	v -9451 -9452 -9453 -9454 -9455 -9456 -9457 -9458 -9459 -9460
4672.09/4674.10	v -9461 -9462 -9463 -9464 -9465 -9466 -9467 -9468 -9469 -9470
4672.09/4674.10	v -9471 -9472 -9473 -9474 -9475 -9476 -9477 -9478 -9479 -9480
4672.09/4674.10	v -9481 -9482 -9483 -9484 -9485 -9486 -9487 -9488 -9489 -9490
4672.09/4674.10	v -9491 -9492 -9493 -9494 -9495 -9496 -9497 -9498 -9499 -9500
4672.09/4674.10	v -9501 -9502 -9503 -9504 -9505 -9506 -9507 -9508 -9509 -9510
4672.09/4674.10	v -9511 -9512 -9513 -9514 -9515 -9516 -9517 -9518 -9519 -9520
4672.09/4674.10	v -9521 -9522 -9523 -9524 -9525 -9526 -9527 -9528 -9529 -9530
4672.09/4674.10	v -9531 -9532 -9533 -9534 -9535 -9536 -9537 -9538 -9539 -9540
4672.09/4674.10	v -9541 -9542 -9543 -9544 -9545 -9546 -9547 -9548 -9549 -9550
4672.09/4674.10	v -9551 -9552 -9553 -9554 -9555 -9556 -9557 -9558 9559 -9560
4672.09/4674.10	v -9561 -9562 -9563 -9564 -9565 -9566 -9567 -9568 -9569 -9570
4672.09/4674.10	v -9571 -9572 -9573 -9574 -9575 -9576 -9577 -9578 -9579 -9580
4672.09/4674.10	v -9581 -9582 -9583 -9584 -9585 -9586 -9587 -9588 -9589 -9590
4672.09/4674.10	v -9591 -9592 -9593 -9594 -9595 -9596 -9597 -9598 -9599 -9600
4672.09/4674.10	v -9601 -9602 -9603 -9604 -9605 -9606 -9607 -9608 -9609 -9610
4672.09/4674.10	v -9611 -9612 -9613 -9614 -9615 -9616 -9617 -9618 -9619 -9620
4672.09/4674.10	v -9621 -9622 -9623 -9624 -9625 -9626 -9627 -9628 -9629 -9630
4672.09/4674.10	v -9631 -9632 -9633 -9634 -9635 -9636 -9637 -9638 -9639 -9640
4672.09/4674.10	v -9641 -9642 -9643 -9644 -9645 -9646 -9647 -9648 -9649 -9650
4672.09/4674.10	v -9651 -9652 -9653 -9654 -9655 -9656 -9657 -9658 -9659 -9660
4672.09/4674.10	v -9661 -9662 -9663 -9664 -9665 -9666 9667 -9668 -9669 -9670
4672.09/4674.10	v -9671 -9672 -9673 -9674 -9675 -9676 -9677 -9678 -9679 -9680
4672.09/4674.10	v -9681 -9682 -9683 -9684 -9685 -9686 -9687 -9688 -9689 -9690
4672.09/4674.10	v -9691 -9692 -9693 -9694 -9695 -9696 -9697 -9698 -9699 -9700
4672.09/4674.10	v -9701 -9702 -9703 -9704 -9705 -9706 -9707 -9708 -9709 -9710
4672.09/4674.10	v -9711 -9712 -9713 -9714 -9715 -9716 -9717 -9718 -9719 -9720
4672.09/4674.10	v -9721 -9722 -9723 -9724 -9725 -9726 -9727 -9728 -9729 -9730
4672.09/4674.10	v -9731 -9732 -9733 -9734 -9735 -9736 -9737 -9738 -9739 -9740
4672.09/4674.10	v -9741 -9742 -9743 -9744 -9745 -9746 -9747 -9748 -9749 -9750
4672.09/4674.10	v -9751 9752 -9753 -9754 -9755 -9756 -9757 -9758 -9759 -9760
4672.09/4674.10	v -9761 -9762 -9763 -9764 -9765 -9766 -9767 -9768 -9769 -9770
4672.09/4674.10	v -9771 -9772 -9773 -9774 -9775 -9776 -9777 -9778 -9779 -9780
4672.09/4674.10	v -9781 -9782 -9783 -9784 -9785 -9786 -9787 -9788 -9789 -9790
4672.09/4674.10	v -9791 -9792 -9793 -9794 -9795 -9796 -9797 -9798 -9799 -9800
4672.09/4674.10	v -9801 -9802 -9803 -9804 -9805 -9806 -9807 -9808 -9809 -9810
4672.09/4674.10	v -9811 -9812 -9813 -9814 -9815 -9816 -9817 -9818 -9819 -9820
4672.09/4674.10	v -9821 -9822 -9823 -9824 -9825 -9826 -9827 -9828 -9829 -9830
4672.09/4674.10	v -9831 -9832 -9833 -9834 -9835 -9836 -9837 -9838 -9839 -9840
4672.09/4674.10	v -9841 -9842 -9843 -9844 -9845 -9846 -9847 9848 -9849 -9850
4672.09/4674.10	v -9851 -9852 -9853 -9854 -9855 -9856 -9857 -9858 -9859 -9860
4672.09/4674.10	v -9861 -9862 -9863 -9864 -9865 -9866 -9867 -9868 -9869 -9870
4672.09/4674.10	v -9871 -9872 -9873 -9874 -9875 -9876 -9877 -9878 -9879 -9880
4672.09/4674.10	v -9881 -9882 -9883 -9884 -9885 -9886 -9887 -9888 -9889 -9890
4672.09/4674.10	v -9891 -9892 -9893 -9894 -9895 -9896 -9897 9898 -9899 -9900
4672.09/4674.10	v -9901 -9902 -9903 -9904 -9905 -9906 -9907 -9908 -9909 -9910
4672.09/4674.10	v -9911 -9912 -9913 -9914 -9915 -9916 -9917 -9918 -9919 -9920
4672.09/4674.10	v -9921 -9922 -9923 -9924 -9925 -9926 -9927 -9928 -9929 -9930
4672.09/4674.10	v -9931 -9932 -9933 -9934 -9935 -9936 -9937 -9938 -9939 -9940
4672.09/4674.10	v -9941 -9942 -9943 -9944 -9945 -9946 -9947 -9948 -9949 -9950
4672.09/4674.10	v -9951 -9952 -9953 -9954 -9955 -9956 -9957 -9958 -9959 -9960
4672.09/4674.10	v -9961 -9962 -9963 -9964 -9965 -9966 -9967 -9968 -9969 -9970
4672.09/4674.10	v -9971 -9972 -9973 -9974 -9975 -9976 -9977 -9978 -9979 -9980
4672.09/4674.10	v -9981 -9982 -9983 -9984 -9985 -9986 -9987 -9988 -9989 -9990
4672.09/4674.10	v -9991 -9992 -9993 -9994 -9995 -9996 -9997 -9998 -9999 -10000
4672.09/4674.10	v -10001 -10002 -10003 -10004 -10005 -10006 -10007 -10008 -10009 -10010
4672.09/4674.10	v -10011 -10012 -10013 -10014 -10015 -10016 -10017 -10018 -10019 -10020
4672.09/4674.10	v -10021 -10022 -10023 -10024 -10025 -10026 -10027 -10028 -10029 -10030
4672.09/4674.10	v -10031 -10032 -10033 -10034 -10035 -10036 -10037 -10038 -10039 -10040
4672.09/4674.10	v -10041 -10042 -10043 -10044 -10045 -10046 -10047 -10048 -10049 -10050
4672.09/4674.10	v -10051 -10052 -10053 10054 -10055 -10056 -10057 -10058 -10059 -10060
4672.09/4674.10	v -10061 -10062 -10063 -10064 -10065 -10066 -10067 -10068 -10069 -10070
4672.09/4674.10	v -10071 -10072 -10073 -10074 -10075 -10076 -10077 -10078 -10079 -10080
4672.09/4674.10	v -10081 -10082 -10083 -10084 -10085 -10086 -10087 -10088 -10089 -10090
4672.09/4674.10	v -10091 -10092 -10093 -10094 -10095 -10096 -10097 -10098 -10099 -10100
4672.09/4674.10	v -10101 -10102 -10103 -10104 -10105 -10106 -10107 -10108 -10109 -10110
4672.09/4674.10	v -10111 -10112 -10113 -10114 10115 -10116 -10117 -10118 -10119 -10120
4672.09/4674.10	v -10121 -10122 -10123 -10124 -10125 -10126 -10127 -10128 -10129 -10130
4672.09/4674.10	v -10131 -10132 -10133 -10134 -10135 -10136 -10137 -10138 -10139 -10140
4672.09/4674.10	v -10141 -10142 -10143 -10144 -10145 -10146 -10147 -10148 -10149 -10150
4672.09/4674.10	v -10151 -10152 -10153 -10154 -10155 -10156 -10157 -10158 -10159 -10160
4672.09/4674.10	v -10161 -10162 -10163 -10164 10165 -10166 -10167 -10168 -10169 10170
4672.09/4674.10	v -10171 -10172 -10173 -10174 -10175 -10176 -10177 -10178 -10179 -10180
4672.09/4674.10	v -10181 -10182 -10183 -10184 -10185 -10186 -10187 -10188 -10189 -10190
4672.09/4674.10	v -10191 -10192 -10193 -10194 -10195 -10196 -10197 -10198 -10199 -10200
4672.09/4674.10	v -10201 -10202 -10203 -10204 -10205 -10206 -10207 -10208 -10209 -10210
4672.09/4674.10	v -10211 -10212 -10213 -10214 -10215 -10216 -10217 -10218 -10219 -10220
4672.09/4674.10	v -10221 -10222 -10223 -10224 -10225 -10226 -10227 -10228 -10229 -10230
4672.09/4674.10	v -10231 -10232 -10233 -10234 -10235 -10236 -10237 -10238 -10239 -10240
4672.09/4674.10	v -10241 -10242 -10243 -10244 -10245 -10246 -10247 -10248 -10249 -10250
4672.09/4674.10	v -10251 -10252 -10253 -10254 -10255 -10256 -10257 -10258 -10259 -10260
4672.09/4674.10	v -10261 -10262 -10263 -10264 -10265 -10266 -10267 -10268 -10269 -10270
4672.09/4674.10	v -10271 -10272 -10273 -10274 -10275 -10276 -10277 -10278 -10279 -10280
4672.09/4674.10	v -10281 -10282 -10283 -10284 -10285 -10286 -10287 -10288 -10289 -10290
4672.09/4674.10	v -10291 -10292 -10293 -10294 -10295 -10296 -10297 -10298 -10299 -10300
4672.09/4674.10	v -10301 -10302 -10303 -10304 -10305 -10306 -10307 -10308 -10309 -10310
4672.09/4674.10	v -10311 -10312 -10313 -10314 -10315 -10316 -10317 -10318 -10319 -10320
4672.09/4674.10	v -10321 -10322 -10323 -10324 -10325 -10326 -10327 -10328 -10329 -10330
4672.09/4674.10	v -10331 -10332 -10333 -10334 -10335 -10336 -10337 -10338 -10339 -10340
4672.09/4674.10	v -10341 -10342 -10343 -10344 -10345 -10346 -10347 -10348 -10349 -10350
4672.09/4674.10	v -10351 -10352 -10353 -10354 -10355 -10356 10357 -10358 -10359 -10360
4672.09/4674.10	v -10361 -10362 -10363 -10364 -10365 -10366 -10367 -10368 -10369 -10370
4672.09/4674.10	v -10371 -10372 -10373 -10374 -10375 -10376 -10377 -10378 -10379 -10380
4672.09/4674.10	v -10381 -10382 -10383 -10384 -10385 -10386 -10387 -10388 -10389 -10390
4672.09/4674.10	v -10391 -10392 -10393 -10394 -10395 -10396 -10397 -10398 -10399 -10400
4672.09/4674.10	v -10401 -10402 -10403 -10404 -10405 -10406 -10407 -10408 -10409 -10410
4672.09/4674.10	v -10411 -10412 -10413 -10414 -10415 -10416 -10417 -10418 -10419 -10420
4672.09/4674.10	v -10421 -10422 -10423 -10424 -10425 -10426 -10427 -10428 -10429 -10430
4672.09/4674.10	v -10431 -10432 -10433 -10434 -10435 -10436 -10437 -10438 -10439 -10440
4672.09/4674.10	v -10441 -10442 -10443 -10444 -10445 -10446 -10447 -10448 -10449 -10450
4672.09/4674.10	v -10451 -10452 10453 -10454 -10455 -10456 -10457 -10458 -10459 -10460
4672.09/4674.10	v -10461 -10462 -10463 -10464 -10465 -10466 -10467 -10468 -10469 -10470
4672.09/4674.10	v -10471 -10472 -10473 -10474 -10475 -10476 -10477 -10478 -10479 -10480
4672.09/4674.10	v -10481 -10482 -10483 -10484 -10485 -10486 -10487 -10488 -10489 -10490
4672.09/4674.10	v -10491 -10492 -10493 -10494 -10495 -10496 -10497 -10498 -10499 -10500
4672.09/4674.10	v -10501 -10502 -10503 -10504 -10505 -10506 -10507 -10508 -10509 -10510
4672.09/4674.10	v -10511 -10512 -10513 -10514 -10515 -10516 -10517 -10518 -10519 -10520
4672.09/4674.10	v -10521 10522 -10523 -10524 -10525 -10526 -10527 -10528 -10529 -10530
4672.09/4674.10	v -10531 -10532 -10533 -10534 -10535 -10536 -10537 -10538 -10539 -10540
4672.09/4674.10	v -10541 -10542 -10543 -10544 -10545 -10546 -10547 -10548 -10549 -10550
4672.09/4674.10	v -10551 -10552 -10553 -10554 -10555 -10556 -10557 -10558 -10559 -10560
4672.09/4674.10	v -10561 -10562 -10563 -10564 -10565 -10566 -10567 -10568 -10569 -10570
4672.09/4674.10	v -10571 -10572 -10573 -10574 -10575 -10576 -10577 -10578 -10579 -10580
4672.09/4674.10	v -10581 -10582 -10583 -10584 -10585 -10586 -10587 -10588 -10589 -10590
4672.09/4674.10	v -10591 -10592 -10593 -10594 -10595 -10596 -10597 -10598 -10599 -10600
4672.09/4674.10	v -10601 -10602 -10603 -10604 -10605 -10606 -10607 -10608 -10609 -10610
4672.09/4674.10	v -10611 -10612 -10613 -10614 -10615 -10616 -10617 -10618 -10619 -10620
4672.09/4674.10	v -10621 -10622 -10623 -10624 -10625 -10626 -10627 -10628 -10629 -10630
4672.09/4674.10	v -10631 -10632 -10633 -10634 -10635 -10636 -10637 -10638 -10639 -10640
4672.19/4674.10	v -10641 -10642 -10643 -10644 -10645 -10646 -10647 -10648 -10649 -10650
4672.19/4674.10	v -10651 -10652 -10653 -10654 -10655 -10656 -10657 -10658 -10659 -10660
4672.19/4674.10	v -10661 -10662 -10663 10664 -10665 -10666 -10667 -10668 -10669 -10670
4672.19/4674.10	v -10671 -10672 -10673 -10674 -10675 -10676 -10677 -10678 -10679 -10680
4672.19/4674.10	v -10681 -10682 -10683 -10684 -10685 -10686 -10687 -10688 -10689 -10690
4672.19/4674.10	v -10691 -10692 -10693 -10694 -10695 -10696 -10697 -10698 -10699 -10700
4672.19/4674.10	v -10701 -10702 -10703 -10704 -10705 -10706 -10707 -10708 -10709 -10710
4672.19/4674.10	v -10711 -10712 -10713 -10714 -10715 -10716 -10717 -10718 -10719 -10720
4672.19/4674.10	v -10721 -10722 -10723 -10724 -10725 -10726 -10727 -10728 -10729 -10730
4672.19/4674.10	v -10731 -10732 -10733 -10734 -10735 -10736 -10737 -10738 -10739 -10740
4672.19/4674.10	v -10741 -10742 -10743 -10744 -10745 -10746 -10747 -10748 -10749 -10750
4672.19/4674.10	v -10751 -10752 -10753 -10754 -10755 -10756 -10757 -10758 -10759 -10760
4672.19/4674.10	v -10761 -10762 -10763 -10764 -10765 -10766 -10767 10768 -10769 -10770
4672.19/4674.10	v -10771 -10772 -10773 -10774 -10775 -10776 -10777 -10778 -10779 -10780
4672.19/4674.10	v -10781 -10782 -10783 -10784 -10785 -10786 -10787 -10788 -10789 -10790
4672.19/4674.10	v -10791 -10792 -10793 -10794 -10795 -10796 -10797 -10798 -10799 -10800
4672.19/4674.10	v -10801 -10802 -10803 -10804 -10805 -10806 -10807 -10808 -10809 -10810
4672.19/4674.10	v -10811 -10812 -10813 -10814 -10815 -10816 -10817 -10818 -10819 -10820
4672.19/4674.10	v -10821 -10822 10823 -10824 -10825 -10826 -10827 -10828 -10829 -10830
4672.19/4674.10	v -10831 -10832 -10833 -10834 -10835 -10836 -10837 -10838 -10839 -10840
4672.19/4674.10	v -10841 -10842 -10843 -10844 -10845 -10846 -10847 -10848 -10849 -10850
4672.19/4674.10	v -10851 -10852 -10853 -10854 -10855 -10856 -10857 -10858 -10859 -10860
4672.19/4674.10	v -10861 -10862 -10863 -10864 -10865 -10866 -10867 -10868 -10869 -10870
4672.19/4674.10	v -10871 -10872 -10873 -10874 -10875 -10876 -10877 -10878 -10879 -10880
4672.19/4674.10	v -10881 -10882 -10883 -10884 -10885 -10886 -10887 -10888 -10889 -10890
4672.19/4674.10	v -10891 -10892 -10893 -10894 -10895 -10896 -10897 -10898 -10899 -10900
4672.19/4674.10	v -10901 -10902 -10903 -10904 -10905 -10906 -10907 -10908 -10909 -10910
4672.19/4674.10	v -10911 -10912 -10913 -10914 -10915 -10916 -10917 -10918 -10919 -10920
4672.19/4674.10	v -10921 -10922 -10923 -10924 -10925 -10926 -10927 -10928 -10929 -10930
4672.19/4674.10	v -10931 -10932 -10933 -10934 -10935 -10936 -10937 -10938 -10939 -10940
4672.19/4674.10	v -10941 -10942 -10943 -10944 -10945 -10946 -10947 -10948 -10949 -10950
4672.19/4674.10	v -10951 -10952 -10953 -10954 -10955 -10956 -10957 -10958 -10959 -10960
4672.19/4674.10	v -10961 10962 -10963 -10964 -10965 -10966 -10967 -10968 -10969 -10970
4672.19/4674.10	v -10971 -10972 -10973 -10974 -10975 -10976 -10977 -10978 -10979 -10980
4672.19/4674.10	v -10981 -10982 -10983 -10984 -10985 -10986 -10987 -10988 -10989 -10990
4672.19/4674.10	v -10991 -10992 -10993 -10994 -10995 -10996 -10997 -10998 -10999 -11000
4672.19/4674.10	v -11001 -11002 -11003 -11004 -11005 -11006 -11007 -11008 -11009 -11010
4672.19/4674.10	v -11011 -11012 -11013 -11014 -11015 -11016 -11017 -11018 -11019 -11020
4672.19/4674.10	v -11021 -11022 -11023 -11024 -11025 -11026 -11027 -11028 -11029 -11030
4672.19/4674.10	v -11031 -11032 -11033 -11034 -11035 -11036 -11037 -11038 -11039 -11040
4672.19/4674.10	v -11041 -11042 -11043 -11044 -11045 -11046 -11047 -11048 -11049 -11050
4672.19/4674.10	v -11051 -11052 -11053 -11054 -11055 -11056 -11057 -11058 -11059 11060
4672.19/4674.10	v -11061 -11062 -11063 -11064 -11065 -11066 -11067 -11068 -11069 -11070
4672.19/4674.10	v -11071 -11072 -11073 -11074 -11075 -11076 -11077 -11078 -11079 -11080
4672.19/4674.10	v -11081 -11082 -11083 -11084 -11085 -11086 -11087 -11088 -11089 -11090
4672.19/4674.10	v -11091 -11092 -11093 -11094 -11095 -11096 -11097 -11098 -11099 -11100
4672.19/4674.10	v -11101 -11102 -11103 -11104 -11105 -11106 -11107 -11108 -11109 11110
4672.19/4674.10	v -11111 -11112 -11113 -11114 -11115 -11116 -11117 -11118 -11119 -11120
4672.19/4674.10	v -11121 -11122 -11123 -11124 -11125 -11126 -11127 -11128 -11129 -11130
4672.19/4674.10	v -11131 -11132 -11133 -11134 -11135 -11136 -11137 -11138 -11139 -11140
4672.19/4674.10	v -11141 -11142 -11143 -11144 -11145 -11146 -11147 -11148 -11149 -11150
4672.19/4674.10	v -11151 -11152 -11153 -11154 -11155 -11156 -11157 -11158 -11159 -11160
4672.19/4674.10	v -11161 -11162 -11163 -11164 -11165 -11166 -11167 -11168 -11169 -11170
4672.19/4674.10	v -11171 -11172 -11173 -11174 -11175 -11176 -11177 -11178 -11179 -11180
4672.19/4674.10	v -11181 -11182 -11183 -11184 -11185 11186 -11187 -11188 -11189 -11190
4672.19/4674.10	v -11191 -11192 -11193 -11194 -11195 -11196 -11197 -11198 -11199 -11200
4672.19/4674.10	v -11201 -11202 -11203 -11204 -11205 -11206 -11207 -11208 -11209 -11210
4672.19/4674.10	v 11211 -11212 -11213 -11214 -11215 -11216 -11217 -11218 -11219 -11220
4672.19/4674.10	v -11221 -11222 -11223 -11224 -11225 -11226 -11227 -11228 -11229 -11230
4672.19/4674.10	v -11231 -11232 -11233 -11234 -11235 -11236 -11237 -11238 -11239 -11240
4672.19/4674.10	v -11241 -11242 -11243 11244 -11245 -11246 -11247 -11248 -11249 -11250
4672.19/4674.10	v -11251 -11252 -11253 -11254 -11255 -11256 -11257 -11258 -11259 -11260
4672.19/4674.10	v -11261 -11262 -11263 -11264 -11265 -11266 -11267 -11268 -11269 -11270
4672.19/4674.10	v -11271 -11272 -11273 11274 -11275 -11276 -11277 -11278 -11279 -11280
4672.19/4674.10	v -11281 -11282 -11283 -11284 -11285 -11286 -11287 -11288 -11289 -11290
4672.19/4674.10	v -11291 -11292 -11293 -11294 -11295 -11296 -11297 -11298 -11299 -11300
4672.19/4674.10	v -11301 11302 -11303 -11304 -11305 -11306 -11307 -11308 -11309 -11310
4672.19/4674.10	v -11311 -11312 -11313 -11314 -11315 -11316 -11317 -11318 -11319 -11320
4672.19/4674.10	v -11321 -11322 -11323 -11324 -11325 -11326 -11327 -11328 -11329 -11330
4672.19/4674.10	v -11331 -11332 -11333 -11334 -11335 -11336 -11337 -11338 -11339 -11340
4672.19/4674.10	v -11341 -11342 -11343 -11344 -11345 -11346 -11347 -11348 -11349 -11350
4672.19/4674.10	v -11351 -11352 11353 -11354 -11355 -11356 -11357 -11358 -11359 -11360
4672.19/4674.10	v -11361 -11362 -11363 -11364 -11365 -11366 -11367 -11368 -11369 -11370
4672.19/4674.10	v -11371 -11372 -11373 -11374 11375 -11376 -11377 -11378 -11379 -11380
4672.19/4674.10	v -11381 -11382 -11383 -11384 -11385 -11386 -11387 -11388 -11389 -11390
4672.19/4674.10	v -11391 -11392 -11393 -11394 -11395 -11396 -11397 -11398 -11399 -11400
4672.19/4674.10	v -11401 -11402 -11403 -11404 -11405 -11406 -11407 -11408 -11409 -11410
4672.19/4674.10	v -11411 -11412 -11413 -11414 -11415 11416 -11417 -11418 -11419 -11420
4672.19/4674.10	v -11421 -11422 -11423 -11424 -11425 -11426 -11427 -11428 -11429 -11430
4672.19/4674.10	v -11431 -11432 -11433 -11434 -11435 -11436 -11437 -11438 -11439 -11440
4672.19/4674.10	v -11441 -11442 -11443 -11444 -11445 -11446 -11447 -11448 -11449 -11450
4672.19/4674.10	v -11451 -11452 -11453 -11454 -11455 -11456 -11457 -11458 -11459 -11460
4672.19/4674.10	v -11461 -11462 -11463 -11464 -11465 -11466 -11467 -11468 -11469 -11470
4672.19/4674.10	v -11471 -11472 -11473 -11474 -11475 -11476 -11477 -11478 -11479 -11480
4672.19/4674.10	v -11481 -11482 -11483 -11484 -11485 -11486 11487 -11488 -11489 -11490
4672.19/4674.10	v -11491 -11492 -11493 -11494 -11495 -11496 -11497 -11498 -11499 -11500
4672.19/4674.10	v -11501 -11502 -11503 -11504 -11505 -11506 -11507 -11508 -11509 -11510
4672.19/4674.10	v -11511 -11512 -11513 -11514 -11515 -11516 -11517 -11518 -11519 -11520
4672.19/4674.10	v -11521 -11522 -11523 -11524 11525 -11526 -11527 -11528 -11529 -11530
4672.19/4674.10	v -11531 -11532 -11533 -11534 -11535 -11536 -11537 -11538 -11539 -11540
4672.19/4674.10	v -11541 -11542 -11543 -11544 -11545 -11546 -11547 -11548 -11549 -11550
4672.19/4674.10	v -11551 -11552 -11553 -11554 -11555 -11556 -11557 11558 -11559 -11560
4672.19/4674.10	v -11561 -11562 -11563 -11564 -11565 -11566 -11567 -11568 -11569 -11570
4672.19/4674.10	v -11571 -11572 -11573 -11574 -11575 -11576 -11577 -11578 -11579 11580
4672.19/4674.10	v -11581 -11582 -11583 -11584 -11585 -11586 -11587 -11588 -11589 -11590
4672.19/4674.10	v -11591 -11592 -11593 -11594 -11595 -11596 -11597 -11598 -11599 -11600
4672.19/4674.10	v -11601 -11602 -11603 -11604 -11605 -11606 -11607 -11608 -11609 -11610
4672.19/4674.10	v -11611 -11612 -11613 11614 -11615 -11616 11617 -11618 -11619 11620
4672.19/4674.10	v -11621 11622 -11623 11624 -11625 11626 11627 -11628 11629 -11630
4672.19/4674.10	v -11631 11632 -11633 11634 -11635 11636 -11637 11638 -11639 11640
4672.19/4674.10	v -11641 -11642 11643 -11644 -11645 11646 -11647 -11648 -11649 -11650
4672.19/4674.10	v -11651 11652 -11653 -11654 11655 -11656 11657 -11658 -11659 -11660
4672.19/4674.10	v -11661 11662 -11663 -11664 11665 -11666 -11667 -11668 -11669 11670
4672.19/4674.10	v -11671 -11672 -11673 -11674 -11675 11676 -11677 -11678 11679 -11680
4672.19/4674.10	v -11681 11682 -11683 -11684 -11685 11686 -11687 11688 -11689 -11690
4672.19/4674.10	v -11691 -11692 -11693 11694 -11695 -11696 -11697 11698 -11699 11700
4672.19/4674.10	v -11701 -11702 -11703 -11704 -11705 11706 11707 -11708 -11709 -11710
4672.19/4674.10	v -11711 -11712 -11713 11714 11715 -11716 -11717 -11718 -11719 -11720
4672.19/4674.10	v -11721 11722 11723 -11724 -11725 -11726 11727 -11728 -11729 -11730
4672.19/4674.10	v -11731 11732 -11733 -11734 11735 -11736 -11737 11738 -11739 -11740
4672.19/4674.10	v -11741 -11742 -11743 11744 -11745 11746 -11747 -11748 -11749 -11750
4672.19/4674.10	v -11751 11752 -11753 -11754 -11755 11756 -11757 -11758 11759 -11760
4672.19/4674.10	v -11761 11762 -11763 -11764 11765 -11766 -11767 -11768 -11769 11770
4672.19/4674.10	v -11771 11772 -11773 -11774 11775 -11776 -11777 -11778 11779 -11780
4672.19/4674.10	v -11781 -11782 -11783 -11784 11785 -11786 -11787 11788 -11789 -11790
4672.19/4674.10	v 11791 -11792 -11793 -11794 -11795 11796 -11797 -11798 -11799 -11800
4672.19/4674.10	v 11801 -11802 -11803 -11804 -11805 11806 -11807 11808 -11809 -11810
4672.19/4674.10	v -11811 11812 -11813 -11814 -11815 11816 -11817 -11818 11819 -11820
4672.19/4674.10	v -11821 -11822 -11823 11824 -11825 11826 -11827 -11828 -11829 -11830
4672.19/4674.10	v -11831 11832 -11833 11834 -11835 -11836 -11837 11838 -11839 -11840
4672.19/4674.10	v -11841 11842 -11843 -11844 -11845 -11846 -11847 11848 -11849 -11850
4672.19/4674.10	v -11851 11852 -11853 -11854 -11855 11856 11857 -11858 11859 -11860
4672.19/4674.10	v -11861 -11862 -11863 11864 -11865 -11866 -11867 -11868 -11869 11870
4672.19/4674.10	v -11871 -11872 11873 -11874 -11875 11876 -11877 -11878 -11879 11880
4672.19/4674.10	v -11881 -11882 -11883 11884 -11885 -11886 -11887 -11888 -11889 11890
4672.19/4674.10	v 11891 -11892 -11893 -11894 -11895 11896 -11897 -11898 -11899 -11900
4672.19/4674.10	v -11901 11902 11903 -11904 -11905 -11906 11907 -11908 11909 -11910
4672.19/4674.10	v -11911 -11912 -11913 -11914 -11915 11916 -11917 -11918 11919 -11920
4672.19/4674.10	v -11921 -11922 -11923 11924 -11925 11926 -11927 -11928 -11929 -11930
4672.19/4674.10	v 11931 -11932 11933 -11934 -11935 -11936 -11937 -11938 11939 -11940
4672.19/4674.10	v -11941 11942 -11943 -11944 11945 -11946 -11947 11948 -11949 -11950
4672.19/4674.10	v -11951 11952 -11953 -11954 -11955 -11956 11957 -11958 -11959 -11960
4672.19/4674.10	v 11961 -11962 -11963 -11964 11965 -11966 -11967 11968 -11969 -11970
4672.19/4674.10	v 11971 -11972 -11973 -11974 11975 -11976 -11977 -11978 -11979 -11980
4672.19/4674.10	v 11981 -11982 11983 -11984 -11985 -11986 -11987 -11988 -11989 11990
4672.19/4674.10	v 11991 -11992 -11993 -11994 -11995 11996 -11997 -11998 11999 -12000
4672.19/4674.10	v 12001 -12002 -12003 -12004 -12005 -12006 -12007 12008 -12009 -12010
4672.19/4674.10	v 12011 -12012 -12013 -12014 -12015 12016 -12017 12018 -12019 -12020
4672.19/4674.10	v -12021 12022 -12023 -12024 -12025 -12026 -12027 12028 -12029 -12030
4672.19/4674.10	v 12031 -12032 -12033 12034 12035 -12036 -12037 -12038 -12039 12040
4672.19/4674.10	v -12041 -12042 -12043 12044 -12045 -12046 -12047 -12048 12049 -12050
4672.19/4674.10	v -12051 12052 -12053 -12054 12055 -12056 -12057 -12058 -12059 -12060
4672.19/4674.10	v -12061 12062 12063 -12064 -12065 -12066 -12067 -12068 -12069 12070
4672.19/4674.10	v -12071 -12072 12073 -12074 -12075 12076 -12077 -12078 12079 -12080
4672.19/4674.10	v -12081 12082 -12083 -12084 -12085 12086 -12087 -12088 -12089 -12090
4672.19/4674.10	v 12091 -12092 -12093 -12094 12095 -12096 12097 -12098 -12099 -12100
4672.19/4674.10	v -12101 -12102 12103 -12104 -12105 -12106 12107 -12108 12109 -12110
4672.19/4674.10	v -12111 -12112 -12113 -12114 -12115 12116 -12117 -12118 12119 -12120
4672.19/4674.10	v -12121 12122 -12123 -12124 -12125 12126 -12127 -12128 -12129 12130
4672.19/4674.10	v -12131 -12132 -12133 12134 12135 -12136 -12137 -12138 -12139 12140
4672.19/4674.10	v -12141 -12142 12143 -12144 -12145 -12146 -12147 -12148 12149 -12150
4672.19/4674.10	v -12151 -12152 -12153 12154 -12155 -12156 12157 -12158 12159 -12160
4672.19/4674.10	v -12161 -12162 -12163 -12164 12165 -12166 -12167 12168 -12169 -12170
4672.19/4674.10	v -12171 12172 -12173 -12174 -12175 12176 -12177 -12178 12179 -12180
4672.19/4674.10	v 12181 -12182 -12183 -12184 -12185 -12186 -12187 12188 -12189 12190
4672.19/4674.10	v -12191 -12192 -12193 -12194 -12195 12196 12197 -12198 -12199 -12200
4672.19/4674.10	v -12201 -12202 12203 -12204 -12205 12206 -12207 -12208 12209 -12210
4672.19/4674.10	v -12211 -12212 -12213 12214 -12215 -12216 12217 -12218 -12219 12220
4672.19/4674.10	v -12221 -12222 -12223 -12224 12225 -12226 -12227 12228 -12229 -12230
4672.19/4674.10	v -12231 -12232 -12233 12234 12235 -12236 -12237 -12238 -12239 -12240
4672.19/4674.10	v -12241 12242 -12243 -12244 -12245 12246 -12247 -12248 -12249 12250
4672.19/4674.10	v -12251 -12252 -12253 12254 -12255 12256 12257 -12258 -12259 -12260
4672.19/4674.10	v -12261 -12262 12263 -12264 -12265 -12266 -12267 12268 12269 -12270
4672.19/4674.10	v -12271 -12272 -12273 -12274 -12275 12276 12277 -12278 -12279 -12280
4672.19/4674.10	v -12281 12282 -12283 -12284 12285 -12286 -12287 -12288 -12289 -12290
4672.19/4674.10	v -12291 12292 -12293 12294 -12295 -12296 -12297 12298 -12299 -12300
4672.19/4674.10	v 12301 -12302 -12303 -12304 -12305 12306 12307 -12308 -12309 -12310
4672.19/4674.10	v -12311 -12312 -12313 12314 -12315 -12316 12317 -12318 -12319 -12320
4672.19/4674.10	v 12321 -12322 12323 -12324 -12325 -12326 -12327 -12328 -12329 12330
4672.19/4674.10	v 12331 -12332 -12333 -12334 12335 -12336 -12337 -12338 -12339 -12340
4672.19/4674.10	v 12341 -12342 -12343 12344 -12345 12346 -12347 -12348 -12349 -12350
4672.19/4674.10	v -12351 12352 -12353 -12354 -12355 12356 -12357 -12358 12359 -12360
4672.19/4674.10	v -12361 -12362 12363 -12364 -12365 -12366 -12367 12368 -12369 -12370
4672.19/4674.10	v 12371 -12372 -12373 -12374 12375 -12376 -12377 -12378 -12379 12380
4672.19/4674.10	v -12381 12382 -12383 -12384 -12385 12386 -12387 -12388 12389 -12390
4672.19/4674.10	v 12391 -12392 -12393 -12394 -12395 -12396 12397 -12398 -12399 12400
4672.19/4674.10	v -12401 -12402 -12403 -12404 12405 -12406 -12407 -12408 12409 -12410
4672.19/4674.10	v -12411 -12412 12413 -12414 12415 -12416 -12417 -12418 -12419 -12420
4672.19/4674.10	v -12421 12422 -12423 -12424 12425 -12426 -12427 -12428 -12429 12430
4672.19/4674.10	v 12431 -12432 -12433 12434 -12435 -12436 -12437 12438 -12439 -12440
4672.19/4674.10	v -12441 -12442 12443 -12444 -12445 12446 -12447 -12448 -12449 -12450
4672.19/4674.10	v 12451 -12452 -12453 -12454 -12455 12456 -12457 -12458 12459 -12460
4672.19/4674.10	v -12461 -12462 12463 -12464 -12465 12466 -12467 -12468 -12469 -12470
4672.19/4674.10	v -12471 12472 -12473 12474 -12475 12476 -12477 -12478 -12479 -12480
4672.19/4674.10	v -12481 12482 -12483 -12484 12485 -12486 12487 -12488 -12489 -12490
4672.19/4674.10	v -12491 -12492 12493 -12494 12495 -12496 -12497 -12498 12499 -12500
4672.19/4674.10	v -12501 -12502 -12503 -12504 -12505 12506 -12507 -12508 -12509 12510
4672.19/4674.10	v -12511 -12512 -12513 12514 -12515 -12516 12517 -12518 12519 -12520
4672.19/4674.10	v -12521 -12522 -12523 12524 -12525 -12526 12527 -12528 -12529 12530
4672.19/4674.10	v -12531 -12532 -12533 12534 -12535 -12536 12537 -12538 -12539 -12540
4672.19/4674.10	v -12541 -12542 -12543 12544 -12545 12546 -12547 -12548 -12549 -12550
4672.19/4674.10	v 12551 -12552 12553 -12554 -12555 -12556 12557 -12558 -12559 -12560
4672.19/4674.10	v 12561 -12562 12563 -12564 12565 -12566 12567 -12568 12569 -12570
4672.19/4674.10	v -12571 12572 12573 -12574 -12575 12576 12577 -12578 12579 -12580
4672.19/4674.10	v -12581 12582 12583 -12584 0 
4672.49/4674.40	
4672.49/4674.40	c Models    : 1+    
4672.49/4674.40	c Time         : 4672.980s (Solve: 4670.630s)
4672.49/4674.40	s SATISFIABLE

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1785438-1241914103/watcher-1785438-1241914103 -o /tmp/evaluation-result-1785438-1241914103/solver-1785438-1241914103 -C 5000 -W 6000 -M 1800 HOME/clasp --file=HOME/instance-1785438-1241914103.cnf --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512 

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.98 0.98 0.99 3/65 20418
/proc/meminfo: memFree=1716648/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=2876 CPUtime=0
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 495 0 0 0 0 0 0 0 18 0 1 0 219440173 2945024 471 1992294400 134512640 136057169 4294956160 18446744073709551615 134662096 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 719 471 144 377 0 339 0

[startup+0.00907405 s]
/proc/loadavg: 0.98 0.98 0.99 3/65 20418
/proc/meminfo: memFree=1716648/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=3140 CPUtime=0
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 552 0 0 0 0 0 0 0 18 0 1 0 219440173 3215360 528 1992294400 134512640 136057169 4294956160 18446744073709551615 135443142 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 785 528 144 377 0 405 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3140

[startup+0.101083 s]
/proc/loadavg: 0.98 0.98 0.99 3/65 20418
/proc/meminfo: memFree=1716648/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=9132 CPUtime=0.09
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 2477 0 0 0 8 1 0 0 18 0 1 0 219440173 9351168 1921 1992294400 134512640 136057169 4294956160 18446744073709551615 135443142 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 2283 1921 144 377 0 1903 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9132

[startup+0.301104 s]
/proc/loadavg: 0.98 0.98 0.99 3/65 20418
/proc/meminfo: memFree=1716648/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=20948 CPUtime=0.29
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 6196 0 0 0 26 3 0 0 19 0 1 0 219440173 21450752 4880 1992294400 134512640 136057169 4294956160 18446744073709551615 135443142 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 5237 4882 144 377 0 4857 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20948

[startup+0.701146 s]
/proc/loadavg: 0.98 0.98 0.99 3/65 20418
/proc/meminfo: memFree=1716648/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=37080 CPUtime=0.69
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 11506 0 0 0 64 5 0 0 23 0 1 0 219440173 37969920 8993 1992294400 134512640 136057169 4294956160 18446744073709551615 134774386 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 9270 8993 166 377 0 8890 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37080

[startup+1.50123 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 20419
/proc/meminfo: memFree=1681184/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=37080 CPUtime=1.49
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 11506 0 0 0 144 5 0 0 25 0 1 0 219440173 37969920 8993 1992294400 134512640 136057169 4294956160 18446744073709551615 134774434 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 9270 8993 166 377 0 8890 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37080

[startup+3.1014 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 20419
/proc/meminfo: memFree=1680928/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=31628 CPUtime=3.09
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 11597 0 0 0 304 5 0 0 25 0 1 0 219440173 32387072 7653 1992294400 134512640 136057169 4294956160 18446744073709551615 134811759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 7907 7653 182 377 0 7527 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31628

[startup+6.30174 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 20419
/proc/meminfo: memFree=1686240/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=31628 CPUtime=6.29
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 11597 0 0 0 624 5 0 0 25 0 1 0 219440173 32387072 7653 1992294400 134512640 136057169 4294956160 18446744073709551615 134756785 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 7907 7653 182 377 0 7527 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31628

[startup+12.7014 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 20419
/proc/meminfo: memFree=1686432/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=31628 CPUtime=12.68
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 11597 0 0 0 1263 5 0 0 25 0 1 0 219440173 32387072 7653 1992294400 134512640 136057169 4294956160 18446744073709551615 134618347 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 7907 7653 182 377 0 7527 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 31628

[startup+25.5018 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 20419
/proc/meminfo: memFree=1686560/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=31628 CPUtime=25.48
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 11597 0 0 0 2543 5 0 0 25 0 1 0 219440173 32387072 7653 1992294400 134512640 136057169 4294956160 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 7907 7653 182 377 0 7527 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31628

[startup+51.1015 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 20419
/proc/meminfo: memFree=1685856/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=32552 CPUtime=51.04
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 11851 0 0 0 5098 6 0 0 25 0 1 0 219440173 33333248 7907 1992294400 134512640 136057169 4294956160 18446744073709551615 134637478 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 8138 7907 182 377 0 7758 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 32552

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 20419
/proc/meminfo: memFree=1673952/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=44512 CPUtime=102.22
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 14777 0 0 0 10212 10 0 0 25 0 1 0 219440173 45580288 10833 1992294400 134512640 136057169 4294956160 18446744073709551615 134811565 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 11128 10833 182 377 0 10748 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 44512

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 20419
/proc/meminfo: memFree=1608480/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=110056 CPUtime=162.19
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 31290 0 0 0 16202 17 0 0 25 0 1 0 219440173 112697344 27210 1992294400 134512640 136057169 4294956160 18446744073709551615 134645282 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 27514 27210 182 377 0 27134 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 110056

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 20419
/proc/meminfo: memFree=1562400/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=156204 CPUtime=222.17
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 42937 0 0 0 22192 25 0 0 25 0 1 0 219440173 159952896 38654 1992294400 134512640 136057169 4294956160 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 39051 38654 182 377 0 38671 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 156204

[startup+282.301 s]
/proc/loadavg: 1.06 1.00 1.00 2/66 20419
/proc/meminfo: memFree=1546976/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=171524 CPUtime=282.14
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 46775 0 0 0 28186 28 0 0 25 0 1 0 219440173 175640576 42492 1992294400 134512640 136057169 4294956160 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 42881 42492 182 377 0 42501 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 171524

[startup+342.302 s]
/proc/loadavg: 1.08 1.02 1.00 2/66 20419
/proc/meminfo: memFree=1477280/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=241924 CPUtime=342.12
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 64180 0 0 0 34172 40 0 0 25 0 1 0 219440173 247730176 59897 1992294400 134512640 136057169 4294956160 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 60481 59897 182 377 0 60101 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 241924

[startup+402.301 s]
/proc/loadavg: 1.09 1.03 1.00 2/66 20419
/proc/meminfo: memFree=1437536/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=281824 CPUtime=402.09
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 74066 0 0 0 40164 45 0 0 25 0 1 0 219440173 288587776 69783 1992294400 134512640 136057169 4294956160 18446744073709551615 134618238 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 70456 69783 182 377 0 70076 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 281824

[startup+462.302 s]
/proc/loadavg: 1.08 1.03 1.00 2/66 20419
/proc/meminfo: memFree=1437536/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=281824 CPUtime=462.07
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 74066 0 0 0 46162 45 0 0 25 0 1 0 219440173 288587776 69783 1992294400 134512640 136057169 4294956160 18446744073709551615 134618404 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 70456 69783 182 377 0 70076 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 281824

[startup+522.302 s]
/proc/loadavg: 1.08 1.04 1.00 2/66 20419
/proc/meminfo: memFree=1437472/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=281824 CPUtime=522.05
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 74067 0 0 0 52160 45 0 0 25 0 1 0 219440173 288587776 69784 1992294400 134512640 136057169 4294956160 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 70456 69784 182 377 0 70076 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 281824

[startup+582.301 s]
/proc/loadavg: 1.12 1.06 1.01 2/66 20419
/proc/meminfo: memFree=1437472/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=281824 CPUtime=582.02
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 74067 0 0 0 58157 45 0 0 25 0 1 0 219440173 288587776 69784 1992294400 134512640 136057169 4294956160 18446744073709551615 134613070 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 70456 69784 182 377 0 70076 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 281824

[startup+642.302 s]
/proc/loadavg: 1.08 1.06 1.01 2/66 20419
/proc/meminfo: memFree=1437472/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=281824 CPUtime=642
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 74067 0 0 0 64155 45 0 0 25 0 1 0 219440173 288587776 69784 1992294400 134512640 136057169 4294956160 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 70456 69784 182 377 0 70076 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 281824

[startup+702.301 s]

################
# More data... #
################

/proc/meminfo: memFree=1010720/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=720348 CPUtime=4000.65
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 182766 0 0 0 399947 118 0 0 25 0 1 0 219440173 737636352 176061 1992294400 134512640 136057169 4294956160 18446744073709551615 134823826 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 180087 176061 182 377 0 179707 0
Current children cumulated CPU time (s) 4000.65
Current children cumulated vsize (KiB) 720348

[startup+4062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20427
/proc/meminfo: memFree=1010592/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=720348 CPUtime=4060.62
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 182767 0 0 0 405944 118 0 0 25 0 1 0 219440173 737636352 176062 1992294400 134512640 136057169 4294956160 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 180087 176062 182 377 0 179707 0
Current children cumulated CPU time (s) 4060.62
Current children cumulated vsize (KiB) 720348

[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20427
/proc/meminfo: memFree=1010464/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=720348 CPUtime=4120.6
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 182790 0 0 0 411941 119 0 0 25 0 1 0 219440173 737636352 176085 1992294400 134512640 136057169 4294956160 18446744073709551615 134618238 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 180087 176085 182 377 0 179707 0
Current children cumulated CPU time (s) 4120.6
Current children cumulated vsize (KiB) 720348

[startup+4182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20427
/proc/meminfo: memFree=1010464/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=720348 CPUtime=4180.58
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 182796 0 0 0 417939 119 0 0 25 0 1 0 219440173 737636352 176091 1992294400 134512640 136057169 4294956160 18446744073709551615 134618238 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 180087 176091 182 377 0 179707 0
Current children cumulated CPU time (s) 4180.58
Current children cumulated vsize (KiB) 720348

[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20427
/proc/meminfo: memFree=1010464/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=720348 CPUtime=4240.56
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 182810 0 0 0 423937 119 0 0 25 0 1 0 219440173 737636352 176105 1992294400 134512640 136057169 4294956160 18446744073709551615 134823938 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 180087 176105 182 377 0 179707 0
Current children cumulated CPU time (s) 4240.56
Current children cumulated vsize (KiB) 720348

[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20427
/proc/meminfo: memFree=1010464/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=720348 CPUtime=4300.54
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 182811 0 0 0 429935 119 0 0 25 0 1 0 219440173 737636352 176106 1992294400 134512640 136057169 4294956160 18446744073709551615 134618347 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 180087 176106 182 377 0 179707 0
Current children cumulated CPU time (s) 4300.54
Current children cumulated vsize (KiB) 720348

[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20427
/proc/meminfo: memFree=1010400/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=720348 CPUtime=4360.51
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 182825 0 0 0 435932 119 0 0 25 0 1 0 219440173 737636352 176120 1992294400 134512640 136057169 4294956160 18446744073709551615 134618238 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 180087 176120 182 377 0 179707 0
Current children cumulated CPU time (s) 4360.51
Current children cumulated vsize (KiB) 720348

[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20427
/proc/meminfo: memFree=1010336/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=720348 CPUtime=4420.49
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 182825 0 0 0 441930 119 0 0 25 0 1 0 219440173 737636352 176120 1992294400 134512640 136057169 4294956160 18446744073709551615 134618146 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 180087 176120 182 377 0 179707 0
Current children cumulated CPU time (s) 4420.49
Current children cumulated vsize (KiB) 720348

[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20427
/proc/meminfo: memFree=1010336/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=720348 CPUtime=4480.47
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 182834 0 0 0 447928 119 0 0 25 0 1 0 219440173 737636352 176129 1992294400 134512640 136057169 4294956160 18446744073709551615 134823826 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 180087 176129 182 377 0 179707 0
Current children cumulated CPU time (s) 4480.47
Current children cumulated vsize (KiB) 720348

[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20427
/proc/meminfo: memFree=1010272/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=720348 CPUtime=4540.44
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 182838 0 0 0 453925 119 0 0 25 0 1 0 219440173 737636352 176133 1992294400 134512640 136057169 4294956160 18446744073709551615 134828347 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 180087 176133 182 377 0 179707 0
Current children cumulated CPU time (s) 4540.44
Current children cumulated vsize (KiB) 720348

[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20427
/proc/meminfo: memFree=1010080/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=720348 CPUtime=4600.42
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 182842 0 0 0 459923 119 0 0 25 0 1 0 219440173 737636352 176137 1992294400 134512640 136057169 4294956160 18446744073709551615 134618238 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 180087 176137 182 377 0 179707 0
Current children cumulated CPU time (s) 4600.42
Current children cumulated vsize (KiB) 720348

[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20427
/proc/meminfo: memFree=1010016/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=720348 CPUtime=4660.4
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 182842 0 0 0 465921 119 0 0 25 0 1 0 219440173 737636352 176137 1992294400 134512640 136057169 4294956160 18446744073709551615 134823938 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 180087 176137 182 377 0 179707 0
Current children cumulated CPU time (s) 4660.4
Current children cumulated vsize (KiB) 720348

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

[startup+4665.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20427
/proc/meminfo: memFree=1010016/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=720348 CPUtime=4663.59
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 182842 0 0 0 466240 119 0 0 25 0 1 0 219440173 737636352 176137 1992294400 134512640 136057169 4294956160 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 180087 176137 182 377 0 179707 0
Current children cumulated CPU time (s) 4663.59
Current children cumulated vsize (KiB) 720348

[startup+4668.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20427
/proc/meminfo: memFree=1010016/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=720348 CPUtime=4666.79
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 182843 0 0 0 466560 119 0 0 25 0 1 0 219440173 737636352 176138 1992294400 134512640 136057169 4294956160 18446744073709551615 134618430 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 180087 176138 182 377 0 179707 0
Current children cumulated CPU time (s) 4666.79
Current children cumulated vsize (KiB) 720348

[startup+4671.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20427
/proc/meminfo: memFree=1010016/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=720348 CPUtime=4669.99
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 182843 0 0 0 466880 119 0 0 25 0 1 0 219440173 737636352 176138 1992294400 134512640 136057169 4294956160 18446744073709551615 134618468 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 180087 176138 182 377 0 179707 0
Current children cumulated CPU time (s) 4669.99
Current children cumulated vsize (KiB) 720348

[startup+4673.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20427
/proc/meminfo: memFree=1010016/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=720348 CPUtime=4671.59
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 182843 0 0 0 467040 119 0 0 25 0 1 0 219440173 737636352 176138 1992294400 134512640 136057169 4294956160 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 180087 176138 182 377 0 179707 0
Current children cumulated CPU time (s) 4671.59
Current children cumulated vsize (KiB) 720348

[startup+4673.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20427
/proc/meminfo: memFree=1010016/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=720348 CPUtime=4672
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 182843 0 0 0 467081 119 0 0 25 0 1 0 219440173 737636352 176138 1992294400 134512640 136057169 4294956160 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 180087 176138 182 377 0 179707 0
Current children cumulated CPU time (s) 4672
Current children cumulated vsize (KiB) 720348

[startup+4674.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20427
/proc/meminfo: memFree=1010016/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=710220 CPUtime=4672.38
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 182848 0 0 0 467119 119 0 0 18 0 1 0 219440173 727265280 174115 1992294400 134512640 136057169 4294956160 18446744073709551615 135438366 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 177555 174115 187 377 0 177175 0
Current children cumulated CPU time (s) 4672.38
Current children cumulated vsize (KiB) 710220

[startup+4674.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20427
/proc/meminfo: memFree=1010016/2055920 swapFree=4176244/4192956
[pid=20418] ppid=20416 vsize=19220 CPUtime=4672.49
/proc/20418/stat : 20418 (clasp) R 20416 20418 20272 0 -1 4194304 182848 0 0 0 467120 129 0 0 19 0 1 0 219440173 19681280 4608 1992294400 134512640 136057169 4294956160 18446744073709551615 135651118 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20418/statm: 4805 4608 3786 377 0 4425 0
Current children cumulated CPU time (s) 4672.49
Current children cumulated vsize (KiB) 19220

Child status: 10
Real time (s): 4674.4
CPU time (s): 4672.5
CPU user time (s): 4671.2
CPU system time (s): 1.2958
CPU usage (%): 99.9592
Max. virtual memory (cumulated for all children) (KiB): 720348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4671.2
system time used= 1.2958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182848
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= 59
involuntary context switches= 11759

runsolver used 5.37218 second user time and 10.9863 second system time

The end

Launcher Data 

Begin job on node81 at 2009-05-10 02:08:23
IDJOB=1785438
IDBENCH=70916
IDSOLVER=637
FILE ID=node81/1785438-1241914103
PBS_JOBID= 9264820
Free space on /tmp= 126432 MiB

SOLVER NAME= clasp 1.2.0-SAT09-32
BENCH NAME= SAT09/CRAFTED/edgematching/explicit/em_12_2_4_exp.cnf
COMMAND LINE= HOME/clasp --file=BENCHNAME --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1785438-1241914103/watcher-1785438-1241914103 -o /tmp/evaluation-result-1785438-1241914103/solver-1785438-1241914103 -C 5000 -W 6000 -M 1800  HOME/clasp --file=HOME/instance-1785438-1241914103.cnf --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512

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

MD5SUM BENCH= e72d819fa5b57b6476ac56a442ceab9b
RANDOM SEED=565265757

node81.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.234
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.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1717064 kB
Buffers:         48148 kB
Cached:         216468 kB
SwapCached:      10580 kB
Active:         109776 kB
Inactive:       166900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1717064 kB
SwapTotal:     4192956 kB
SwapFree:      4176244 kB
Dirty:           12544 kB
Writeback:           0 kB
Mapped:          13892 kB
Slab:            47916 kB
Committed_AS:   662152 kB
PageTables:       1452 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126432 MiB
End job on node81 at 2009-05-10 03:26:18