Trace number 3290817

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
Plingeling 587SAT 158.834 40.6

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F20.cnf
MD5SUM2ee3aaaabe8a89270b338ea6a7bf3762
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark20.1839
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses484053
Sum of the clauses size4133728
Maximum clause length91
Minimum clause length1
Number of clauses of size 134
Number of clauses of size 227746
Number of clauses of size 323112
Number of clauses of size 411940
Number of clauses of size 522180
Number of clauses of size over 5399041

Solver Data

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

Verifier Data

OK

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3290817-1304097392/watcher-3290817-1304097392 -o /tmp/evaluation-result-3290817-1304097392/solver-3290817-1304097392 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3290817-1304097392.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.95 4.76 6.04 2/174 20112
/proc/meminfo: memFree=30265472/32951124 swapFree=67111364/67111528
[pid=20112] ppid=20110 vsize=9668 CPUtime=0 cores=0,2,4,6
/proc/20112/stat : 20112 (plingeling) R 20110 20112 19972 0 -1 4202496 494 1253 0 0 0 0 0 0 25 0 1 0 521339669 9900032 423 33554432000 4194304 4417332 140735396215024 18446744073709551615 253640859392 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/20112/statm: 2417 423 147 55 0 303 0

[startup+0.0876391 s]
/proc/loadavg: 4.95 4.76 6.04 2/174 20112
/proc/meminfo: memFree=30265472/32951124 swapFree=67111364/67111528
[pid=20112] ppid=20110 vsize=21924 CPUtime=0.08 cores=0,2,4,6
/proc/20112/stat : 20112 (plingeling) R 20110 20112 19972 0 -1 4202496 3675 1253 0 0 8 0 0 0 25 0 1 0 521339669 22450176 3504 33554432000 4194304 4417332 140735396215024 18446744073709551615 4320940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/20112/statm: 5481 3504 148 55 0 3367 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21924

[startup+0.100632 s]
/proc/loadavg: 4.95 4.76 6.04 2/174 20112
/proc/meminfo: memFree=30265472/32951124 swapFree=67111364/67111528
[pid=20112] ppid=20110 vsize=21924 CPUtime=0.09 cores=0,2,4,6
/proc/20112/stat : 20112 (plingeling) R 20110 20112 19972 0 -1 4202496 3675 1253 0 0 9 0 0 0 25 0 1 0 521339669 22450176 3504 33554432000 4194304 4417332 140735396215024 18446744073709551615 4320876 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/20112/statm: 5481 3504 148 55 0 3367 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21924

[startup+0.300603 s]
/proc/loadavg: 4.95 4.76 6.04 2/174 20112
/proc/meminfo: memFree=30265472/32951124 swapFree=67111364/67111528
[pid=20112] ppid=20110 vsize=63092 CPUtime=0.29 cores=0,2,4,6
/proc/20112/stat : 20112 (plingeling) R 20110 20112 19972 0 -1 4202496 13975 1253 0 0 28 1 0 0 25 0 1 0 521339669 64606208 13796 33554432000 4194304 4417332 140735396215024 18446744073709551615 253640859392 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/20112/statm: 15773 13796 148 55 0 13659 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 63092

[startup+0.7005 s]
/proc/loadavg: 4.95 4.76 6.04 2/174 20112
/proc/meminfo: memFree=30265472/32951124 swapFree=67111364/67111528
[pid=20112] ppid=20110 vsize=145012 CPUtime=0.68 cores=0,2,4,6
/proc/20112/stat : 20112 (plingeling) R 20110 20112 19972 0 -1 4202496 34455 1253 0 0 65 3 0 0 25 0 1 0 521339669 148492288 34276 33554432000 4194304 4417332 140735396215024 18446744073709551615 253640478297 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/20112/statm: 36253 34276 148 55 0 34139 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 145012

[startup+1.50032 s]
/proc/loadavg: 4.95 4.76 6.04 3/178 20129
/proc/meminfo: memFree=29919612/32951124 swapFree=67111364/67111528
[pid=20112] ppid=20110 vsize=207020 CPUtime=2.85 cores=0,2,4,6
/proc/20112/stat : 20112 (plingeling) S 20110 20112 19972 0 -1 4202496 55916 1253 0 0 277 8 0 0 25 0 5 0 521339669 211988480 39537 33554432000 4194304 4417332 140735396215024 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/20112/statm: 51755 39537 175 55 0 49641 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 207020

[startup+3.10103 s]
/proc/loadavg: 4.95 4.76 6.03 6/182 20133
/proc/meminfo: memFree=29833732/32951124 swapFree=67111364/67111528
[pid=20112] ppid=20110 vsize=263988 CPUtime=9.24 cores=0,2,4,6
/proc/20112/stat : 20112 (plingeling) S 20110 20112 19972 0 -1 4202496 71015 1253 0 0 914 10 0 0 25 0 5 0 521339669 270323712 53780 33554432000 4194304 4417332 140735396215024 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/20112/statm: 65997 53780 176 55 0 63883 0
[pid=20112/tid=20130] ppid=20110 vsize=263988 CPUtime=2.04 cores=0,2,4,6
/proc/20112/task/20130/stat : 20130 (plingeling) R 20110 20112 19972 0 -1 4202560 5177 1253 0 0 204 0 0 0 25 0 5 0 521339773 270323712 53780 33554432000 4194304 4417332 140735396215024 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20112/tid=20131] ppid=20110 vsize=263988 CPUtime=2.03 cores=0,2,4,6
/proc/20112/task/20131/stat : 20131 (plingeling) R 20110 20112 19972 0 -1 4202560 5031 1253 0 0 203 0 0 0 25 0 5 0 521339773 270323712 53780 33554432000 4194304 4417332 140735396215024 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20112/tid=20132] ppid=20110 vsize=263988 CPUtime=2.04 cores=0,2,4,6
/proc/20112/task/20132/stat : 20132 (plingeling) R 20110 20112 19972 0 -1 4202560 4410 1253 0 0 203 1 0 0 25 0 5 0 521339773 270323712 53780 33554432000 4194304 4417332 140735396215024 18446744073709551615 4234384 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20112/tid=20133] ppid=20110 vsize=263988 CPUtime=2.05 cores=0,2,4,6
/proc/20112/task/20133/stat : 20133 (plingeling) R 20110 20112 19972 0 -1 4202560 5546 1253 0 0 204 1 0 0 21 0 5 0 521339773 270323712 53780 33554432000 4194304 4417332 140735396215024 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.24
Current children cumulated vsize (KiB) 263988

[startup+6.30041 s]
/proc/loadavg: 4.95 4.76 6.03 9/186 20138
/proc/meminfo: memFree=29481204/32951124 swapFree=67111364/67111528
[pid=20112] ppid=20110 vsize=329940 CPUtime=22.03 cores=0,2,4,6
/proc/20112/stat : 20112 (plingeling) S 20110 20112 19972 0 -1 4202496 100647 1253 0 0 2186 17 0 0 25 0 5 0 521339669 337858560 70101 33554432000 4194304 4417332 140735396215024 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/20112/statm: 82485 70101 181 55 0 80371 0
[pid=20112/tid=20130] ppid=20110 vsize=329940 CPUtime=5.24 cores=0,2,4,6
/proc/20112/task/20130/stat : 20130 (plingeling) R 20110 20112 19972 0 -1 4202560 13582 1253 0 0 522 2 0 0 25 0 5 0 521339773 337858560 70101 33554432000 4194304 4417332 140735396215024 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20112/tid=20131] ppid=20110 vsize=329940 CPUtime=5.22 cores=0,2,4,6
/proc/20112/task/20131/stat : 20131 (plingeling) R 20110 20112 19972 0 -1 4202560 13223 1253 0 0 520 2 0 0 25 0 5 0 521339773 337858560 70101 33554432000 4194304 4417332 140735396215024 18446744073709551615 4337104 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20112/tid=20132] ppid=20110 vsize=329940 CPUtime=5.24 cores=0,2,4,6
/proc/20112/task/20132/stat : 20132 (plingeling) R 20110 20112 19972 0 -1 4202560 13002 1253 0 0 521 3 0 0 25 0 5 0 521339773 337858560 70101 33554432000 4194304 4417332 140735396215024 18446744073709551615 18446744073699065918 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20112/tid=20133] ppid=20110 vsize=329940 CPUtime=5.24 cores=0,2,4,6
/proc/20112/task/20133/stat : 20133 (plingeling) R 20110 20112 19972 0 -1 4202560 9989 1253 0 0 523 1 0 0 25 0 5 0 521339773 337858560 70101 33554432000 4194304 4417332 140735396215024 18446744073709551615 4321391 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.03
Current children cumulated vsize (KiB) 329940

[startup+12.7002 s]
/proc/loadavg: 5.42 4.87 6.05 9/186 20138
/proc/meminfo: memFree=29557108/32951124 swapFree=67111364/67111528
[pid=20112] ppid=20110 vsize=304244 CPUtime=47.59 cores=0,2,4,6
/proc/20112/stat : 20112 (plingeling) S 20110 20112 19972 0 -1 4202496 126686 1253 0 0 4738 21 0 0 25 0 5 0 521339669 311545856 63849 33554432000 4194304 4417332 140735396215024 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/20112/statm: 76061 63849 181 55 0 73947 0
[pid=20112/tid=20130] ppid=20110 vsize=304244 CPUtime=11.64 cores=0,2,4,6
/proc/20112/task/20130/stat : 20130 (plingeling) R 20110 20112 19972 0 -1 4202560 22582 1253 0 0 1161 3 0 0 25 0 5 0 521339773 311545856 63849 33554432000 4194304 4417332 140735396215024 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20112/tid=20131] ppid=20110 vsize=304244 CPUtime=11.59 cores=0,2,4,6
/proc/20112/task/20131/stat : 20131 (plingeling) R 20110 20112 19972 0 -1 4202560 13621 1253 0 0 1156 3 0 0 25 0 5 0 521339773 311545856 63849 33554432000 4194304 4417332 140735396215024 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20112/tid=20132] ppid=20110 vsize=304244 CPUtime=11.64 cores=0,2,4,6
/proc/20112/task/20132/stat : 20132 (plingeling) R 20110 20112 19972 0 -1 4202560 22119 1253 0 0 1160 4 0 0 25 0 5 0 521339773 311545856 63849 33554432000 4194304 4417332 140735396215024 18446744073709551615 4364736 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20112/tid=20133] ppid=20110 vsize=304244 CPUtime=11.65 cores=0,2,4,6
/proc/20112/task/20133/stat : 20133 (plingeling) R 20110 20112 19972 0 -1 4202560 17513 1253 0 0 1162 3 0 0 25 0 5 0 521339773 311545856 63849 33554432000 4194304 4417332 140735396215024 18446744073709551615 4364671 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 47.59
Current children cumulated vsize (KiB) 304244

[startup+25.5009 s]
/proc/loadavg: 5.81 4.97 6.07 9/186 20138
/proc/meminfo: memFree=29516944/32951124 swapFree=67111364/67111528
[pid=20112] ppid=20110 vsize=322556 CPUtime=98.72 cores=0,2,4,6
/proc/20112/stat : 20112 (plingeling) S 20110 20112 19972 0 -1 4202496 160661 1253 0 0 9847 25 0 0 25 0 5 0 521339669 330297344 68427 33554432000 4194304 4417332 140735396215024 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/20112/statm: 80639 68427 181 55 0 78525 0
[pid=20112/tid=20130] ppid=20110 vsize=322556 CPUtime=24.45 cores=0,2,4,6
/proc/20112/task/20130/stat : 20130 (plingeling) R 20110 20112 19972 0 -1 4202560 24728 1253 0 0 2441 4 0 0 25 0 5 0 521339773 330297344 68427 33554432000 4194304 4417332 140735396215024 18446744073709551615 4306923 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20112/tid=20131] ppid=20110 vsize=322556 CPUtime=24.31 cores=0,2,4,6
/proc/20112/task/20131/stat : 20131 (plingeling) R 20110 20112 19972 0 -1 4202560 22369 1253 0 0 2428 3 0 0 25 0 5 0 521339773 330297344 68427 33554432000 4194304 4417332 140735396215024 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20112/tid=20132] ppid=20110 vsize=322556 CPUtime=24.44 cores=0,2,4,6
/proc/20112/task/20132/stat : 20132 (plingeling) R 20110 20112 19972 0 -1 4202560 31307 1253 0 0 2439 5 0 0 25 0 5 0 521339773 330297344 68427 33554432000 4194304 4417332 140735396215024 18446744073709551615 4331653 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20112/tid=20133] ppid=20110 vsize=322556 CPUtime=24.44 cores=0,2,4,6
/proc/20112/task/20133/stat : 20133 (plingeling) R 20110 20112 19972 0 -1 4202560 31406 1253 0 0 2439 5 0 0 25 0 5 0 521339773 330297344 68427 33554432000 4194304 4417332 140735396215024 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 98.72
Current children cumulated vsize (KiB) 322556

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

[startup+31.9067 s]
/proc/loadavg: 6.15 5.07 6.09 9/186 20138
/proc/meminfo: memFree=29523304/32951124 swapFree=67111364/67111528
[pid=20112] ppid=20110 vsize=290660 CPUtime=124.31 cores=0,2,4,6
/proc/20112/stat : 20112 (plingeling) S 20110 20112 19972 0 -1 4202496 179008 1253 0 0 12403 28 0 0 25 0 5 0 521339669 297635840 60453 33554432000 4194304 4417332 140735396215024 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/20112/statm: 72665 60453 181 55 0 70551 0
[pid=20112/tid=20130] ppid=20110 vsize=290660 CPUtime=30.85 cores=0,2,4,6
/proc/20112/task/20130/stat : 20130 (plingeling) R 20110 20112 19972 0 -1 4202560 34757 1253 0 0 3080 5 0 0 25 0 5 0 521339773 297635840 60453 33554432000 4194304 4417332 140735396215024 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20112/tid=20131] ppid=20110 vsize=290660 CPUtime=30.68 cores=0,2,4,6
/proc/20112/task/20131/stat : 20131 (plingeling) R 20110 20112 19972 0 -1 4202560 22369 1253 0 0 3065 3 0 0 25 0 5 0 521339773 297635840 60453 33554432000 4194304 4417332 140735396215024 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20112/tid=20132] ppid=20110 vsize=290660 CPUtime=30.84 cores=0,2,4,6
/proc/20112/task/20132/stat : 20132 (plingeling) R 20110 20112 19972 0 -1 4202560 31783 1253 0 0 3079 5 0 0 25 0 5 0 521339773 297635840 60453 33554432000 4194304 4417332 140735396215024 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20112/tid=20133] ppid=20110 vsize=290660 CPUtime=30.85 cores=0,2,4,6
/proc/20112/task/20133/stat : 20133 (plingeling) R 20110 20112 19972 0 -1 4202560 39248 1253 0 0 3079 6 0 0 25 0 5 0 521339773 297635840 60453 33554432000 4194304 4417332 140735396215024 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 124.31
Current children cumulated vsize (KiB) 290660

[startup+35.1012 s]
/proc/loadavg: 6.15 5.07 6.09 9/186 20139
/proc/meminfo: memFree=29514240/32951124 swapFree=67111364/67111528
[pid=20112] ppid=20110 vsize=290608 CPUtime=137.09 cores=0,2,4,6
/proc/20112/stat : 20112 (plingeling) S 20110 20112 19972 0 -1 4202496 183376 1253 0 0 13680 29 0 0 25 0 5 0 521339669 297582592 60440 33554432000 4194304 4417332 140735396215024 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/20112/statm: 72652 60440 181 55 0 70538 0
[pid=20112/tid=20130] ppid=20110 vsize=290608 CPUtime=34.05 cores=0,2,4,6
/proc/20112/task/20130/stat : 20130 (plingeling) R 20110 20112 19972 0 -1 4202560 34972 1253 0 0 3400 5 0 0 25 0 5 0 521339773 297582592 60440 33554432000 4194304 4417332 140735396215024 18446744073709551615 4357267 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20112/tid=20131] ppid=20110 vsize=290608 CPUtime=33.87 cores=0,2,4,6
/proc/20112/task/20131/stat : 20131 (plingeling) R 20110 20112 19972 0 -1 4202560 22369 1253 0 0 3384 3 0 0 25 0 5 0 521339773 297582592 60440 33554432000 4194304 4417332 140735396215024 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20112/tid=20132] ppid=20110 vsize=290608 CPUtime=34.04 cores=0,2,4,6
/proc/20112/task/20132/stat : 20132 (plingeling) R 20110 20112 19972 0 -1 4202560 32678 1253 0 0 3399 5 0 0 25 0 5 0 521339773 297582592 60440 33554432000 4194304 4417332 140735396215024 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20112/tid=20133] ppid=20110 vsize=290608 CPUtime=34.06 cores=0,2,4,6
/proc/20112/task/20133/stat : 20133 (plingeling) R 20110 20112 19972 0 -1 4202560 42506 1253 0 0 3399 7 0 0 25 0 5 0 521339773 297582592 60440 33554432000 4194304 4417332 140735396215024 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 137.09
Current children cumulated vsize (KiB) 290608

[startup+38.3006 s]
/proc/loadavg: 6.30 5.12 6.10 9/186 20139
/proc/meminfo: memFree=29507908/32951124 swapFree=67111364/67111528
[pid=20112] ppid=20110 vsize=336808 CPUtime=149.85 cores=0,2,4,6
/proc/20112/stat : 20112 (plingeling) S 20110 20112 19972 0 -1 4202496 195654 1253 0 0 14955 30 0 0 25 0 5 0 521339669 344891392 71990 33554432000 4194304 4417332 140735396215024 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/20112/statm: 84202 71990 181 55 0 82088 0
[pid=20112/tid=20130] ppid=20110 vsize=336808 CPUtime=37.24 cores=0,2,4,6
/proc/20112/task/20130/stat : 20130 (plingeling) R 20110 20112 19972 0 -1 4202560 35987 1253 0 0 3719 5 0 0 25 0 5 0 521339773 344891392 71990 33554432000 4194304 4417332 140735396215024 18446744073709551615 4232685 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20112/tid=20131] ppid=20110 vsize=336808 CPUtime=37.05 cores=0,2,4,6
/proc/20112/task/20131/stat : 20131 (plingeling) R 20110 20112 19972 0 -1 4202560 30561 1253 0 0 3701 4 0 0 25 0 5 0 521339773 344891392 71990 33554432000 4194304 4417332 140735396215024 18446744073709551615 4239395 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20112/tid=20132] ppid=20110 vsize=336808 CPUtime=37.23 cores=0,2,4,6
/proc/20112/task/20132/stat : 20132 (plingeling) R 20110 20112 19972 0 -1 4202560 33072 1253 0 0 3718 5 0 0 25 0 5 0 521339773 344891392 71990 33554432000 4194304 4417332 140735396215024 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20112/tid=20133] ppid=20110 vsize=336808 CPUtime=37.25 cores=0,2,4,6
/proc/20112/task/20133/stat : 20133 (plingeling) R 20110 20112 19972 0 -1 4202560 45183 1253 0 0 3718 7 0 0 25 0 5 0 521339773 344891392 71990 33554432000 4194304 4417332 140735396215024 18446744073709551615 4366435 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 149.85
Current children cumulated vsize (KiB) 336808

[startup+39.9003 s]
/proc/loadavg: 6.30 5.12 6.10 9/186 20139
/proc/meminfo: memFree=29470460/32951124 swapFree=67111364/67111528
[pid=20112] ppid=20110 vsize=339256 CPUtime=156.24 cores=0,2,4,6
/proc/20112/stat : 20112 (plingeling) S 20110 20112 19972 0 -1 4202496 201048 1253 0 0 15593 31 0 0 25 0 5 0 521339669 347398144 72602 33554432000 4194304 4417332 140735396215024 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/20112/statm: 84814 72602 181 55 0 82700 0
[pid=20112/tid=20130] ppid=20110 vsize=339256 CPUtime=38.84 cores=0,2,4,6
/proc/20112/task/20130/stat : 20130 (plingeling) R 20110 20112 19972 0 -1 4202560 36481 1253 0 0 3879 5 0 0 25 0 5 0 521339773 347398144 72602 33554432000 4194304 4417332 140735396215024 18446744073709551615 4237169 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20112/tid=20131] ppid=20110 vsize=339256 CPUtime=38.64 cores=0,2,4,6
/proc/20112/task/20131/stat : 20131 (plingeling) R 20110 20112 19972 0 -1 4202560 34631 1253 0 0 3859 5 0 0 25 0 5 0 521339773 347398144 72602 33554432000 4194304 4417332 140735396215024 18446744073709551615 4239408 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20112/tid=20132] ppid=20110 vsize=339256 CPUtime=38.83 cores=0,2,4,6
/proc/20112/task/20132/stat : 20132 (plingeling) R 20110 20112 19972 0 -1 4202560 33148 1253 0 0 3878 5 0 0 25 0 5 0 521339773 347398144 72602 33554432000 4194304 4417332 140735396215024 18446744073709551615 4364463 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20112/tid=20133] ppid=20110 vsize=339256 CPUtime=38.84 cores=0,2,4,6
/proc/20112/task/20133/stat : 20133 (plingeling) R 20110 20112 19972 0 -1 4202560 45937 1253 0 0 3877 7 0 0 25 0 5 0 521339773 347398144 72602 33554432000 4194304 4417332 140735396215024 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 156.24
Current children cumulated vsize (KiB) 339256

[startup+40.3002 s]
/proc/loadavg: 6.30 5.12 6.10 9/186 20139
/proc/meminfo: memFree=29470460/32951124 swapFree=67111364/67111528
[pid=20112] ppid=20110 vsize=340664 CPUtime=157.84 cores=0,2,4,6
/proc/20112/stat : 20112 (plingeling) S 20110 20112 19972 0 -1 4202496 201400 1253 0 0 15753 31 0 0 25 0 5 0 521339669 348839936 72954 33554432000 4194304 4417332 140735396215024 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/20112/statm: 85166 72954 181 55 0 83052 0
[pid=20112/tid=20130] ppid=20110 vsize=340664 CPUtime=39.24 cores=0,2,4,6
/proc/20112/task/20130/stat : 20130 (plingeling) R 20110 20112 19972 0 -1 4202560 36481 1253 0 0 3919 5 0 0 25 0 5 0 521339773 348839936 72954 33554432000 4194304 4417332 140735396215024 18446744073709551615 4364568 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20112/tid=20131] ppid=20110 vsize=340664 CPUtime=39.04 cores=0,2,4,6
/proc/20112/task/20131/stat : 20131 (plingeling) R 20110 20112 19972 0 -1 4202560 34631 1253 0 0 3899 5 0 0 25 0 5 0 521339773 348839936 72954 33554432000 4194304 4417332 140735396215024 18446744073709551615 4330461 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20112/tid=20132] ppid=20110 vsize=340664 CPUtime=39.23 cores=0,2,4,6
/proc/20112/task/20132/stat : 20132 (plingeling) R 20110 20112 19972 0 -1 4202560 33272 1253 0 0 3918 5 0 0 25 0 5 0 521339773 348839936 72954 33554432000 4194304 4417332 140735396215024 18446744073709551615 4278178 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20112/tid=20133] ppid=20110 vsize=340664 CPUtime=39.24 cores=0,2,4,6
/proc/20112/task/20133/stat : 20133 (plingeling) R 20110 20112 19972 0 -1 4202560 46165 1253 0 0 3917 7 0 0 25 0 5 0 521339773 348839936 72954 33554432000 4194304 4417332 140735396215024 18446744073709551615 4364695 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 157.84
Current children cumulated vsize (KiB) 340664

[startup+40.5012 s]
/proc/loadavg: 6.30 5.12 6.10 9/186 20139
/proc/meminfo: memFree=29470460/32951124 swapFree=67111364/67111528
[pid=20112] ppid=20110 vsize=340664 CPUtime=158.64 cores=0,2,4,6
/proc/20112/stat : 20112 (plingeling) S 20110 20112 19972 0 -1 4202496 201401 1253 0 0 15833 31 0 0 25 0 4 0 521339669 348839936 72955 33554432000 4194304 4417332 140735396215024 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/20112/statm: 85166 72955 182 55 0 83052 0
[pid=20112/tid=20130] ppid=20110 vsize=340664 CPUtime=39.44 cores=0,2,4,6
/proc/20112/task/20130/stat : 20130 (plingeling) R 20110 20112 19972 0 -1 4202560 36481 1253 0 0 3939 5 0 0 25 0 4 0 521339773 348839936 72955 33554432000 4194304 4417332 140735396215024 18446744073709551615 4262994 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20112/tid=20131] ppid=20110 vsize=340664 CPUtime=39.24 cores=0,2,4,6
/proc/20112/task/20131/stat : 20131 (plingeling) R 20110 20112 19972 0 -1 4202560 34631 1253 0 0 3919 5 0 0 25 0 4 0 521339773 348839936 72955 33554432000 4194304 4417332 140735396215024 18446744073709551615 4249143 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20112/tid=20132] ppid=20110 vsize=340664 CPUtime=39.43 cores=0,2,4,6
/proc/20112/task/20132/stat : 20132 (plingeling) R 20110 20112 19972 0 -1 4202560 33272 1253 0 0 3938 5 0 0 25 0 4 0 521339773 348839936 72955 33554432000 4194304 4417332 140735396215024 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 158.64
Current children cumulated vsize (KiB) 340664

Child status: 10
Real time (s): 40.6
CPU time (s): 158.834
CPU user time (s): 158.504
CPU system time (s): 0.329949
CPU usage (%): 391.216
Max. virtual memory (cumulated for all children) (KiB): 365444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 158.504
system time used= 0.329949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202670
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= 60
involuntary context switches= 706

runsolver used 0.070989 second user time and 0.150977 second system time

The end

Launcher Data

Begin job on node106 at 2011-04-29 19:16:33
IDJOB=3290817
IDBENCH=83450
IDSOLVER=1605
FILE ID=node106/3290817-1304097392
RUNJOBID= node106-1304097373-19990
PBS_JOBID= 13170612
Free space on /tmp= 72084 MiB

SOLVER NAME= Plingeling 587
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F20.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290817-1304097392/watcher-3290817-1304097392 -o /tmp/evaluation-result-3290817-1304097392/solver-3290817-1304097392 -C 4800 -W 1300 -M 15500  plingeling -t 4 HOME/instance-3290817-1304097392.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=445514203

node106.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30265752 kB
Buffers:        252396 kB
Cached:        2152180 kB
SwapCached:         88 kB
Active:         809772 kB
Inactive:      1662108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30265752 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           79532 kB
Writeback:           0 kB
AnonPages:       67296 kB
Mapped:          14540 kB
Slab:           148864 kB
PageTables:       4608 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   195816 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72076 MiB
End job on node106 at 2011-04-29 19:17:13