Trace number 3372818

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 587f (fixed)SAT 24.2773 4.78717

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F20.cnf
MD5SUM82462bfc10e506c60d6bdf35a0143bf9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark13.7429
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses481346
Sum of the clauses size3851671
Maximum clause length78
Minimum clause length1
Number of clauses of size 121
Number of clauses of size 227486
Number of clauses of size 322736
Number of clauses of size 418300
Number of clauses of size 542820
Number of clauses of size over 5369983

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3372818-1305442499/watcher-3372818-1305442499 -o /tmp/evaluation-result-3372818-1305442499/solver-3372818-1305442499 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3372818-1305442499.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.17 7.76 7.89 2/265 4317
/proc/meminfo: memFree=20809612/32950904 swapFree=67057400/67111528
[pid=4317] ppid=4315 vsize=10928 CPUtime=0 cores=0-7
/proc/4317/stat : 4317 (plingeling) R 4315 4317 3701 0 -1 4202496 826 1254 0 0 0 0 0 0 24 0 1 0 655849743 11190272 756 33554432000 4194304 4417452 140734006115856 18446744073709551615 237278879488 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/4317/statm: 2732 756 148 55 0 618 0

[startup+0.0472689 s]
/proc/loadavg: 7.17 7.76 7.89 2/265 4317
/proc/meminfo: memFree=20809612/32950904 swapFree=67057400/67111528
[pid=4317] ppid=4315 vsize=18524 CPUtime=0.03 cores=0-7
/proc/4317/stat : 4317 (plingeling) R 4315 4317 3701 0 -1 4202496 2958 1254 0 0 3 0 0 0 24 0 1 0 655849743 18968576 2656 33554432000 4194304 4417452 140734006115856 18446744073709551615 237278879488 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/4317/statm: 4631 2656 149 55 0 2517 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18524

[startup+0.10026 s]
/proc/loadavg: 7.17 7.76 7.89 2/265 4317
/proc/meminfo: memFree=20809612/32950904 swapFree=67057400/67111528
[pid=4317] ppid=4315 vsize=22620 CPUtime=0.09 cores=0-7
/proc/4317/stat : 4317 (plingeling) R 4315 4317 3701 0 -1 4202496 3982 1254 0 0 9 0 0 0 24 0 1 0 655849743 23162880 3680 33554432000 4194304 4417452 140734006115856 18446744073709551615 237278498356 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/4317/statm: 5655 3680 149 55 0 3541 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22620

[startup+0.300226 s]
/proc/loadavg: 7.17 7.76 7.89 2/265 4317
/proc/meminfo: memFree=20809612/32950904 swapFree=67057400/67111528
[pid=4317] ppid=4315 vsize=68140 CPUtime=0.29 cores=0-7
/proc/4317/stat : 4317 (plingeling) R 4315 4317 3701 0 -1 4202496 15366 1254 0 0 27 2 0 0 25 0 1 0 655849743 69775360 15060 33554432000 4194304 4417452 140734006115856 18446744073709551615 237278879488 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/4317/statm: 17035 15060 149 55 0 14921 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68140

[startup+0.700232 s]
/proc/loadavg: 7.17 7.76 7.89 2/265 4317
/proc/meminfo: memFree=20809612/32950904 swapFree=67057400/67111528
[pid=4317] ppid=4315 vsize=150060 CPUtime=0.69 cores=0-7
/proc/4317/stat : 4317 (plingeling) R 4315 4317 3701 0 -1 4202496 35846 1254 0 0 65 4 0 0 25 0 1 0 655849743 153661440 35540 33554432000 4194304 4417452 140734006115856 18446744073709551615 4321590 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/4317/statm: 37515 35540 149 55 0 35401 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 150060

[startup+1.50101 s]
/proc/loadavg: 7.17 7.76 7.89 2/266 4323
/proc/meminfo: memFree=20602284/32950904 swapFree=67057400/67111528
[pid=4317] ppid=4315 vsize=281132 CPUtime=1.49 cores=0-7
/proc/4317/stat : 4317 (plingeling) R 4315 4317 3701 0 -1 4202496 68614 1254 0 0 141 8 0 0 25 0 1 0 655849743 287879168 68308 33554432000 4194304 4417452 140734006115856 18446744073709551615 237278879488 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/4317/statm: 70283 68308 149 55 0 68169 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 281132

[startup+3.10074 s]
/proc/loadavg: 7.17 7.76 7.89 9/274 4331
/proc/meminfo: memFree=20536128/32950904 swapFree=67057400/67111528
[pid=4317] ppid=4315 vsize=446832 CPUtime=12.25 cores=0-7
/proc/4317/stat : 4317 (plingeling) S 4315 4317 3701 0 -1 4202496 75642 1254 0 0 1215 10 0 0 19 0 9 0 655849743 457555968 72873 33554432000 4194304 4417452 140734006115856 18446744073709551615 237290682341 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/4317/statm: 111708 72873 175 55 0 109594 0
[pid=4317/tid=4324] ppid=4315 vsize=446832 CPUtime=1.31 cores=0-7
/proc/4317/task/4324/stat : 4324 (plingeling) R 4315 4317 3701 0 -1 4202560 210 1254 0 0 131 0 0 0 19 0 9 0 655849921 457555968 72873 33554432000 4194304 4417452 140734006115856 18446744073709551615 4306923 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4317/tid=4325] ppid=4315 vsize=446832 CPUtime=1.31 cores=0-7
/proc/4317/task/4325/stat : 4325 (plingeling) R 4315 4317 3701 0 -1 4202560 251 1254 0 0 131 0 0 0 25 0 9 0 655849921 457555968 72873 33554432000 4194304 4417452 140734006115856 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4317/tid=4326] ppid=4315 vsize=446832 CPUtime=1.31 cores=0-7
/proc/4317/task/4326/stat : 4326 (plingeling) R 4315 4317 3701 0 -1 4202560 318 1254 0 0 131 0 0 0 22 0 9 0 655849921 457555968 72873 33554432000 4194304 4417452 140734006115856 18446744073709551615 4310251 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4317/tid=4327] ppid=4315 vsize=446832 CPUtime=1.3 cores=0-7
/proc/4317/task/4327/stat : 4327 (plingeling) R 4315 4317 3701 0 -1 4202560 5015 1254 0 0 129 1 0 0 22 0 9 0 655849922 457555968 72873 33554432000 4194304 4417452 140734006115856 18446744073709551615 4353868 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4317/tid=4328] ppid=4315 vsize=446832 CPUtime=1.31 cores=0-7
/proc/4317/task/4328/stat : 4328 (plingeling) R 4315 4317 3701 0 -1 4202560 285 1254 0 0 131 0 0 0 23 0 9 0 655849922 457555968 72873 33554432000 4194304 4417452 140734006115856 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4317/tid=4329] ppid=4315 vsize=446832 CPUtime=1.31 cores=0-7
/proc/4317/task/4329/stat : 4329 (plingeling) R 4315 4317 3701 0 -1 4202560 417 1254 0 0 131 0 0 0 19 0 9 0 655849922 457555968 72873 33554432000 4194304 4417452 140734006115856 18446744073709551615 4310248 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4317/tid=4330] ppid=4315 vsize=446832 CPUtime=1.31 cores=0-7
/proc/4317/task/4330/stat : 4330 (plingeling) R 4315 4317 3701 0 -1 4202560 322 1254 0 0 131 0 0 0 19 0 9 0 655849922 457555968 72873 33554432000 4194304 4417452 140734006115856 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4317/tid=4331] ppid=4315 vsize=446832 CPUtime=1.27 cores=0-7
/proc/4317/task/4331/stat : 4331 (plingeling) R 4315 4317 3701 0 -1 4202560 193 1254 0 0 127 0 0 0 25 0 9 0 655849922 457555968 72873 33554432000 4194304 4417452 140734006115856 18446744073709551615 4306832 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 446832

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

[startup+3.9006 s]
/proc/loadavg: 7.17 7.76 7.89 9/274 4331
/proc/meminfo: memFree=20518644/32950904 swapFree=67057400/67111528
[pid=4317] ppid=4315 vsize=558824 CPUtime=18.63 cores=0-7
/proc/4317/stat : 4317 (plingeling) S 4315 4317 3701 0 -1 4202496 104205 1254 0 0 1846 17 0 0 19 0 9 0 655849743 572235776 100904 33554432000 4194304 4417452 140734006115856 18446744073709551615 237290682341 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/4317/statm: 139706 100904 176 55 0 137592 0
[pid=4317/tid=4324] ppid=4315 vsize=558824 CPUtime=2.11 cores=0-7
/proc/4317/task/4324/stat : 4324 (plingeling) R 4315 4317 3701 0 -1 4202560 5001 1254 0 0 210 1 0 0 21 0 9 0 655849921 572235776 100904 33554432000 4194304 4417452 140734006115856 18446744073709551615 4278572 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4317/tid=4325] ppid=4315 vsize=558824 CPUtime=2.1 cores=0-7
/proc/4317/task/4325/stat : 4325 (plingeling) R 4315 4317 3701 0 -1 4202560 5041 1254 0 0 210 0 0 0 25 0 9 0 655849921 572235776 100904 33554432000 4194304 4417452 140734006115856 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4317/tid=4326] ppid=4315 vsize=558824 CPUtime=2.11 cores=0-7
/proc/4317/task/4326/stat : 4326 (plingeling) R 4315 4317 3701 0 -1 4202560 4415 1254 0 0 210 1 0 0 25 0 9 0 655849921 572235776 100904 33554432000 4194304 4417452 140734006115856 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4317/tid=4327] ppid=4315 vsize=558824 CPUtime=2.1 cores=0-7
/proc/4317/task/4327/stat : 4327 (plingeling) R 4315 4317 3701 0 -1 4202560 5532 1254 0 0 208 2 0 0 25 0 9 0 655849922 572235776 100904 33554432000 4194304 4417452 140734006115856 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4317/tid=4328] ppid=4315 vsize=558824 CPUtime=2.1 cores=0-7
/proc/4317/task/4328/stat : 4328 (plingeling) R 4315 4317 3701 0 -1 4202560 5074 1254 0 0 209 1 0 0 25 0 9 0 655849922 572235776 100904 33554432000 4194304 4417452 140734006115856 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4317/tid=4329] ppid=4315 vsize=558824 CPUtime=2.1 cores=0-7
/proc/4317/task/4329/stat : 4329 (plingeling) R 4315 4317 3701 0 -1 4202560 5208 1254 0 0 210 0 0 0 21 0 9 0 655849922 572235776 100904 33554432000 4194304 4417452 140734006115856 18446744073709551615 4278190 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4317/tid=4330] ppid=4315 vsize=558824 CPUtime=2.11 cores=0-7
/proc/4317/task/4330/stat : 4330 (plingeling) R 4315 4317 3701 0 -1 4202560 322 1254 0 0 211 0 0 0 21 0 9 0 655849922 572235776 100904 33554432000 4194304 4417452 140734006115856 18446744073709551615 4234397 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4317/tid=4331] ppid=4315 vsize=558824 CPUtime=2.06 cores=0-7
/proc/4317/task/4331/stat : 4331 (plingeling) R 4315 4317 3701 0 -1 4202560 4981 1254 0 0 205 1 0 0 25 0 9 0 655849922 572235776 100904 33554432000 4194304 4417452 140734006115856 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 18.63
Current children cumulated vsize (KiB) 558824

[startup+4.30053 s]
/proc/loadavg: 7.32 7.78 7.90 9/274 4331
/proc/meminfo: memFree=20400968/32950904 swapFree=67057400/67111528
[pid=4317] ppid=4315 vsize=561760 CPUtime=21.9 cores=0-7
/proc/4317/stat : 4317 (plingeling) S 4315 4317 3701 0 -1 4202496 108655 1254 0 0 2171 19 0 0 19 0 9 0 655849743 575242240 101606 33554432000 4194304 4417452 140734006115856 18446744073709551615 237290682341 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/4317/statm: 140440 101606 176 55 0 138326 0
[pid=4317/tid=4324] ppid=4315 vsize=561760 CPUtime=2.52 cores=0-7
/proc/4317/task/4324/stat : 4324 (plingeling) R 4315 4317 3701 0 -1 4202560 5001 1254 0 0 251 1 0 0 22 0 9 0 655849921 575242240 101606 33554432000 4194304 4417452 140734006115856 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4317/tid=4325] ppid=4315 vsize=561760 CPUtime=2.51 cores=0-7
/proc/4317/task/4325/stat : 4325 (plingeling) R 4315 4317 3701 0 -1 4202560 5041 1254 0 0 251 0 0 0 25 0 9 0 655849921 575242240 101606 33554432000 4194304 4417452 140734006115856 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4317/tid=4326] ppid=4315 vsize=561760 CPUtime=2.52 cores=0-7
/proc/4317/task/4326/stat : 4326 (plingeling) R 4315 4317 3701 0 -1 4202560 4511 1254 0 0 251 1 0 0 25 0 9 0 655849921 575242240 101606 33554432000 4194304 4417452 140734006115856 18446744073709551615 4302950 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4317/tid=4327] ppid=4315 vsize=561760 CPUtime=2.51 cores=0-7
/proc/4317/task/4327/stat : 4327 (plingeling) R 4315 4317 3701 0 -1 4202560 5790 1254 0 0 249 2 0 0 25 0 9 0 655849922 575242240 101606 33554432000 4194304 4417452 140734006115856 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4317/tid=4328] ppid=4315 vsize=561760 CPUtime=2.51 cores=0-7
/proc/4317/task/4328/stat : 4328 (plingeling) R 4315 4317 3701 0 -1 4202560 5074 1254 0 0 250 1 0 0 25 0 9 0 655849922 575242240 101606 33554432000 4194304 4417452 140734006115856 18446744073709551615 4277559 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4317/tid=4329] ppid=4315 vsize=561760 CPUtime=2.51 cores=0-7
/proc/4317/task/4329/stat : 4329 (plingeling) R 4315 4317 3701 0 -1 4202560 5208 1254 0 0 251 0 0 0 22 0 9 0 655849922 575242240 101606 33554432000 4194304 4417452 140734006115856 18446744073709551615 4269690 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4317/tid=4330] ppid=4315 vsize=561760 CPUtime=2.51 cores=0-7
/proc/4317/task/4330/stat : 4330 (plingeling) R 4315 4317 3701 0 -1 4202560 4418 1254 0 0 250 1 0 0 22 0 9 0 655849922 575242240 101606 33554432000 4194304 4417452 140734006115856 18446744073709551615 4255615 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4317/tid=4331] ppid=4315 vsize=561760 CPUtime=2.46 cores=0-7
/proc/4317/task/4331/stat : 4331 (plingeling) R 4315 4317 3701 0 -1 4202560 4981 1254 0 0 245 1 0 0 25 0 9 0 655849922 575242240 101606 33554432000 4194304 4417452 140734006115856 18446744073709551615 4302876 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 21.9
Current children cumulated vsize (KiB) 561760

[startup+4.70045 s]
/proc/loadavg: 7.32 7.78 7.90 9/274 4331
/proc/meminfo: memFree=20400968/32950904 swapFree=67057400/67111528
[pid=4317] ppid=4315 vsize=560852 CPUtime=24.17 cores=0-7
/proc/4317/stat : 4317 (plingeling) S 4315 4317 3701 0 -1 4202496 109479 1254 0 0 2398 19 0 0 19 0 3 0 655849743 574312448 101537 33554432000 4194304 4417452 140734006115856 18446744073709551615 237290682341 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/4317/statm: 140213 101537 177 55 0 138099 0
[pid=4317/tid=4324] ppid=4315 vsize=560852 CPUtime=2.91 cores=0-7
/proc/4317/task/4324/stat : 4324 (plingeling) R 4315 4317 3701 0 -1 4202560 5065 1254 0 0 290 1 0 0 25 0 3 0 655849921 574312448 101537 33554432000 4194304 4417452 140734006115856 18446744073709551615 4234399 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4317/tid=4329] ppid=4315 vsize=560852 CPUtime=2.9 cores=0-7
/proc/4317/task/4329/stat : 4329 (plingeling) R 4315 4317 3701 0 -1 4202560 5208 1254 0 0 290 0 0 0 24 0 3 0 655849922 574312448 101537 33554432000 4194304 4417452 140734006115856 18446744073709551615 4302206 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.17
Current children cumulated vsize (KiB) 560852

Child status: 10
Real time (s): 4.78717
CPU time (s): 24.2773
CPU user time (s): 24.0563
CPU system time (s): 0.220966
CPU usage (%): 507.133
Max. virtual memory (cumulated for all children) (KiB): 570260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.0563
system time used= 0.220966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110748
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= 107
involuntary context switches= 129

runsolver used 0.008998 second user time and 0.041993 second system time

The end

Launcher Data 

Begin job on node121 at 2011-05-15 08:55:00
IDJOB=3372818
IDBENCH=83475
IDSOLVER=1851
FILE ID=node121/3372818-1305442499
RUNJOBID= node121-1305437356-3715
PBS_JOBID= 13324770
Free space on /tmp= 73476 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372818-1305442499/watcher-3372818-1305442499 -o /tmp/evaluation-result-3372818-1305442499/solver-3372818-1305442499 -C 40000 -W 5100 -M 31000  plingeling -t 8 HOME/instance-3372818-1305442499.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=1885326496

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      20809900 kB
Buffers:        308604 kB
Cached:        6106736 kB
SwapCached:       7656 kB
Active:        6465208 kB
Inactive:      5320024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      20809900 kB
SwapTotal:    67111528 kB
SwapFree:     67057400 kB
Dirty:           20736 kB
Writeback:           0 kB
AnonPages:     5367824 kB
Mapped:          21688 kB
Slab:           264544 kB
PageTables:      23220 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 30640596 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= 73476 MiB
End job on node121 at 2011-05-15 08:55:05