Trace number 3371338

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 108.728 28.0024

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 benchmark15.7966
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 

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 6.85 3.54 2.49 6/288 12042
/proc/meminfo: memFree=21319076/32951124 swapFree=66457188/67111528
[pid=12042] ppid=12040 vsize=9800 CPUtime=0 cores=1,3,5,7
/proc/12042/stat : 12042 (plingeling) R 12040 12042 4856 0 -1 4202496 526 1251 0 0 0 0 0 0 25 0 1 0 654530850 10035200 457 33554432000 4194304 4417452 140734890016928 18446744073709551615 232335586285 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/12042/statm: 2483 462 148 55 0 369 0

[startup+0.0194209 s]
/proc/loadavg: 6.85 3.54 2.49 6/288 12042
/proc/meminfo: memFree=21319076/32951124 swapFree=66457188/67111528
[pid=12042] ppid=12040 vsize=12576 CPUtime=0.01 cores=1,3,5,7
/proc/12042/stat : 12042 (plingeling) R 12040 12042 4856 0 -1 4202496 1305 1251 0 0 1 0 0 0 25 0 1 0 654530850 12877824 1168 33554432000 4194304 4417452 140734890016928 18446744073709551615 4231291 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/12042/statm: 3144 1168 149 55 0 1030 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12576

[startup+0.100414 s]
/proc/loadavg: 6.85 3.54 2.49 6/288 12042
/proc/meminfo: memFree=21319076/32951124 swapFree=66457188/67111528
[pid=12042] ppid=12040 vsize=21924 CPUtime=0.08 cores=1,3,5,7
/proc/12042/stat : 12042 (plingeling) R 12040 12042 4856 0 -1 4202496 3674 1251 0 0 8 0 0 0 25 0 1 0 654530850 22450176 3505 33554432000 4194304 4417452 140734890016928 18446744073709551615 4231631 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/12042/statm: 5481 3505 149 55 0 3367 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21924

[startup+0.300377 s]
/proc/loadavg: 6.85 3.54 2.49 6/288 12042
/proc/meminfo: memFree=21319076/32951124 swapFree=66457188/67111528
[pid=12042] ppid=12040 vsize=63092 CPUtime=0.28 cores=1,3,5,7
/proc/12042/stat : 12042 (plingeling) R 12040 12042 4856 0 -1 4202496 13974 1251 0 0 27 1 0 0 25 0 1 0 654530850 64606208 13797 33554432000 4194304 4417452 140734890016928 18446744073709551615 232335892224 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/12042/statm: 15773 13797 149 55 0 13659 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 63092

[startup+0.700302 s]
/proc/loadavg: 6.85 3.54 2.49 6/288 12042
/proc/meminfo: memFree=21319076/32951124 swapFree=66457188/67111528
[pid=12042] ppid=12040 vsize=145012 CPUtime=0.69 cores=1,3,5,7
/proc/12042/stat : 12042 (plingeling) R 12040 12042 4856 0 -1 4202496 34454 1251 0 0 65 4 0 0 25 0 1 0 654530850 148492288 34277 33554432000 4194304 4417452 140734890016928 18446744073709551615 4231256 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/12042/statm: 36253 34277 149 55 0 34139 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 145012

[startup+1.50112 s]
/proc/loadavg: 6.85 3.54 2.49 9/293 12052
/proc/meminfo: memFree=21157348/32951124 swapFree=66457188/67111528
[pid=12042] ppid=12040 vsize=268432 CPUtime=3.08 cores=1,3,5,7
/proc/12042/stat : 12042 (plingeling) S 12040 12042 4856 0 -1 4202496 39638 1251 0 0 303 5 0 0 25 0 5 0 654530850 274874368 38538 33554432000 4194304 4417452 140734890016928 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/12042/statm: 67108 38538 174 55 0 64994 0
[pid=12042/tid=12049] ppid=12040 vsize=268432 CPUtime=0.53 cores=1,3,5,7
/proc/12042/task/12049/stat : 12049 (plingeling) R 12040 12042 4856 0 -1 4202560 261 1251 0 0 53 0 0 0 25 0 5 0 654530946 274874368 38538 33554432000 4194304 4417452 140734890016928 18446744073709551615 4310641 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12042/tid=12050] ppid=12040 vsize=268432 CPUtime=0.53 cores=1,3,5,7
/proc/12042/task/12050/stat : 12050 (plingeling) R 12040 12042 4856 0 -1 4202560 292 1251 0 0 53 0 0 0 18 0 5 0 654530946 274874368 38538 33554432000 4194304 4417452 140734890016928 18446744073709551615 4310644 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12042/tid=12051] ppid=12040 vsize=268432 CPUtime=0.53 cores=1,3,5,7
/proc/12042/task/12051/stat : 12051 (plingeling) R 12040 12042 4856 0 -1 4202560 273 1251 0 0 53 0 0 0 25 0 5 0 654530946 274874368 38538 33554432000 4194304 4417452 140734890016928 18446744073709551615 4310626 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12042/tid=12052] ppid=12040 vsize=268432 CPUtime=0.52 cores=1,3,5,7
/proc/12042/task/12052/stat : 12052 (plingeling) R 12040 12042 4856 0 -1 4202560 4346 1251 0 0 52 0 0 0 18 0 5 0 654530946 274874368 38538 33554432000 4194304 4417452 140734890016928 18446744073709551615 4353572 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 268432

[startup+3.10083 s]
/proc/loadavg: 7.02 3.63 2.52 9/293 12052
/proc/meminfo: memFree=21135696/32951124 swapFree=66457188/67111528
[pid=12042] ppid=12040 vsize=320728 CPUtime=9.47 cores=1,3,5,7
/proc/12042/stat : 12042 (plingeling) S 12040 12042 4856 0 -1 4202496 54685 1251 0 0 939 8 0 0 25 0 5 0 654530850 328425472 51614 33554432000 4194304 4417452 140734890016928 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/12042/statm: 80182 51614 176 55 0 78068 0
[pid=12042/tid=12049] ppid=12040 vsize=320728 CPUtime=2.12 cores=1,3,5,7
/proc/12042/task/12049/stat : 12049 (plingeling) R 12040 12042 4856 0 -1 4202560 5110 1251 0 0 212 0 0 0 25 0 5 0 654530946 328425472 51614 33554432000 4194304 4417452 140734890016928 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12042/tid=12050] ppid=12040 vsize=320728 CPUtime=2.12 cores=1,3,5,7
/proc/12042/task/12050/stat : 12050 (plingeling) R 12040 12042 4856 0 -1 4202560 5218 1251 0 0 212 0 0 0 21 0 5 0 654530946 328425472 51614 33554432000 4194304 4417452 140734890016928 18446744073709551615 4278246 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12042/tid=12051] ppid=12040 vsize=320728 CPUtime=2.13 cores=1,3,5,7
/proc/12042/task/12051/stat : 12051 (plingeling) R 12040 12042 4856 0 -1 4202560 4937 1251 0 0 212 1 0 0 25 0 5 0 654530946 328425472 51614 33554432000 4194304 4417452 140734890016928 18446744073709551615 4234240 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12042/tid=12052] ppid=12040 vsize=320728 CPUtime=2.1 cores=1,3,5,7
/proc/12042/task/12052/stat : 12052 (plingeling) R 12040 12042 4856 0 -1 4202560 4954 1251 0 0 210 0 0 0 21 0 5 0 654530946 328425472 51614 33554432000 4194304 4417452 140734890016928 18446744073709551615 4357572 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 9.47
Current children cumulated vsize (KiB) 320728

[startup+6.30026 s]
/proc/loadavg: 7.02 3.63 2.52 9/293 12052
/proc/meminfo: memFree=21046052/32951124 swapFree=66457188/67111528
[pid=12042] ppid=12040 vsize=362444 CPUtime=22.23 cores=1,3,5,7
/proc/12042/stat : 12042 (plingeling) S 12040 12042 4856 0 -1 4202496 66522 1251 0 0 2214 9 0 0 25 0 5 0 654530850 371142656 62046 33554432000 4194304 4417452 140734890016928 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/12042/statm: 90611 62046 179 55 0 88497 0
[pid=12042/tid=12049] ppid=12040 vsize=362444 CPUtime=5.33 cores=1,3,5,7
/proc/12042/task/12049/stat : 12049 (plingeling) R 12040 12042 4856 0 -1 4202560 9376 1251 0 0 532 1 0 0 25 0 5 0 654530946 371142656 62046 33554432000 4194304 4417452 140734890016928 18446744073709551615 4236995 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12042/tid=12050] ppid=12040 vsize=362444 CPUtime=5.32 cores=1,3,5,7
/proc/12042/task/12050/stat : 12050 (plingeling) R 12040 12042 4856 0 -1 4202560 9494 1251 0 0 531 1 0 0 25 0 5 0 654530946 371142656 62046 33554432000 4194304 4417452 140734890016928 18446744073709551615 4366079 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12042/tid=12051] ppid=12040 vsize=362444 CPUtime=5.32 cores=1,3,5,7
/proc/12042/task/12051/stat : 12051 (plingeling) R 12040 12042 4856 0 -1 4202560 5381 1251 0 0 531 1 0 0 25 0 5 0 654530946 371142656 62046 33554432000 4194304 4417452 140734890016928 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12042/tid=12052] ppid=12040 vsize=362444 CPUtime=5.27 cores=1,3,5,7
/proc/12042/task/12052/stat : 12052 (plingeling) R 12040 12042 4856 0 -1 4202560 7805 1251 0 0 527 0 0 0 25 0 5 0 654530946 371142656 62046 33554432000 4194304 4417452 140734890016928 18446744073709551615 4320876 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 22.23
Current children cumulated vsize (KiB) 362444

[startup+12.7011 s]
/proc/loadavg: 7.17 3.77 2.58 9/293 12052
/proc/meminfo: memFree=21057876/32951124 swapFree=66457188/67111528
[pid=12042] ppid=12040 vsize=359404 CPUtime=47.78 cores=1,3,5,7
/proc/12042/stat : 12042 (plingeling) S 12040 12042 4856 0 -1 4202496 74309 1251 0 0 4768 10 0 0 25 0 5 0 654530850 368029696 61286 33554432000 4194304 4417452 140734890016928 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/12042/statm: 89851 61286 179 55 0 87737 0
[pid=12042/tid=12049] ppid=12040 vsize=359404 CPUtime=11.73 cores=1,3,5,7
/proc/12042/task/12049/stat : 12049 (plingeling) R 12040 12042 4856 0 -1 4202560 9376 1251 0 0 1172 1 0 0 25 0 5 0 654530946 368029696 61286 33554432000 4194304 4417452 140734890016928 18446744073709551615 4366197 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12042/tid=12050] ppid=12040 vsize=359404 CPUtime=11.72 cores=1,3,5,7
/proc/12042/task/12050/stat : 12050 (plingeling) R 12040 12042 4856 0 -1 4202560 9987 1251 0 0 1171 1 0 0 25 0 5 0 654530946 368029696 61286 33554432000 4194304 4417452 140734890016928 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12042/tid=12051] ppid=12040 vsize=359404 CPUtime=11.72 cores=1,3,5,7
/proc/12042/task/12051/stat : 12051 (plingeling) R 12040 12042 4856 0 -1 4202560 6635 1251 0 0 1171 1 0 0 25 0 5 0 654530946 368029696 61286 33554432000 4194304 4417452 140734890016928 18446744073709551615 4246811 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12042/tid=12052] ppid=12040 vsize=359404 CPUtime=11.61 cores=1,3,5,7
/proc/12042/task/12052/stat : 12052 (plingeling) R 12040 12042 4856 0 -1 4202560 13845 1251 0 0 1160 1 0 0 25 0 5 0 654530946 368029696 61286 33554432000 4194304 4417452 140734890016928 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 47.78
Current children cumulated vsize (KiB) 359404

[startup+25.5008 s]
/proc/loadavg: 7.52 3.96 2.65 9/293 12052
/proc/meminfo: memFree=21101600/32951124 swapFree=66457188/67111528
[pid=12042] ppid=12040 vsize=356996 CPUtime=98.86 cores=1,3,5,7
/proc/12042/stat : 12042 (plingeling) S 12040 12042 4856 0 -1 4202496 89461 1251 0 0 9873 13 0 0 25 0 5 0 654530850 365563904 60684 33554432000 4194304 4417452 140734890016928 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/12042/statm: 89249 60684 179 55 0 87135 0
[pid=12042/tid=12049] ppid=12040 vsize=356996 CPUtime=24.53 cores=1,3,5,7
/proc/12042/task/12049/stat : 12049 (plingeling) R 12040 12042 4856 0 -1 4202560 10252 1251 0 0 2452 1 0 0 25 0 5 0 654530946 365563904 60684 33554432000 4194304 4417452 140734890016928 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12042/tid=12050] ppid=12040 vsize=356996 CPUtime=24.52 cores=1,3,5,7
/proc/12042/task/12050/stat : 12050 (plingeling) R 12040 12042 4856 0 -1 4202560 10326 1251 0 0 2451 1 0 0 25 0 5 0 654530946 365563904 60684 33554432000 4194304 4417452 140734890016928 18446744073709551615 4310483 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12042/tid=12051] ppid=12040 vsize=356996 CPUtime=24.52 cores=1,3,5,7
/proc/12042/task/12051/stat : 12051 (plingeling) R 12040 12042 4856 0 -1 4202560 7471 1251 0 0 2451 1 0 0 25 0 5 0 654530946 365563904 60684 33554432000 4194304 4417452 140734890016928 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12042/tid=12052] ppid=12040 vsize=356996 CPUtime=24.29 cores=1,3,5,7
/proc/12042/task/12052/stat : 12052 (plingeling) R 12040 12042 4856 0 -1 4202560 26946 1251 0 0 2426 3 0 0 25 0 5 0 654530946 365563904 60684 33554432000 4194304 4417452 140734890016928 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 98.86
Current children cumulated vsize (KiB) 356996

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

[startup+27.1006 s]
/proc/loadavg: 7.52 3.96 2.65 9/293 12052
/proc/meminfo: memFree=21099244/32951124 swapFree=66457188/67111528
[pid=12042] ppid=12040 vsize=351588 CPUtime=105.25 cores=1,3,5,7
/proc/12042/stat : 12042 (plingeling) S 12040 12042 4856 0 -1 4202496 91458 1251 0 0 10512 13 0 0 25 0 5 0 654530850 360026112 59332 33554432000 4194304 4417452 140734890016928 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/12042/statm: 87897 59332 179 55 0 85783 0
[pid=12042/tid=12049] ppid=12040 vsize=351588 CPUtime=26.13 cores=1,3,5,7
/proc/12042/task/12049/stat : 12049 (plingeling) R 12040 12042 4856 0 -1 4202560 10252 1251 0 0 2612 1 0 0 25 0 5 0 654530946 360026112 59332 33554432000 4194304 4417452 140734890016928 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12042/tid=12050] ppid=12040 vsize=351588 CPUtime=26.12 cores=1,3,5,7
/proc/12042/task/12050/stat : 12050 (plingeling) R 12040 12042 4856 0 -1 4202560 10326 1251 0 0 2611 1 0 0 25 0 5 0 654530946 360026112 59332 33554432000 4194304 4417452 140734890016928 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12042/tid=12051] ppid=12040 vsize=351588 CPUtime=26.12 cores=1,3,5,7
/proc/12042/task/12051/stat : 12051 (plingeling) R 12040 12042 4856 0 -1 4202560 8216 1251 0 0 2611 1 0 0 25 0 5 0 654530946 360026112 59332 33554432000 4194304 4417452 140734890016928 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12042/tid=12052] ppid=12040 vsize=351588 CPUtime=25.89 cores=1,3,5,7
/proc/12042/task/12052/stat : 12052 (plingeling) R 12040 12042 4856 0 -1 4202560 28198 1251 0 0 2585 4 0 0 25 0 5 0 654530946 360026112 59332 33554432000 4194304 4417452 140734890016928 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 105.25
Current children cumulated vsize (KiB) 351588

[startup+27.5105 s]
/proc/loadavg: 7.56 4.02 2.68 9/293 12052
/proc/meminfo: memFree=21087084/32951124 swapFree=66457188/67111528
[pid=12042] ppid=12040 vsize=351588 CPUtime=106.88 cores=1,3,5,7
/proc/12042/stat : 12042 (plingeling) S 12040 12042 4856 0 -1 4202496 91458 1251 0 0 10675 13 0 0 25 0 5 0 654530850 360026112 59332 33554432000 4194304 4417452 140734890016928 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/12042/statm: 87897 59332 179 55 0 85783 0
[pid=12042/tid=12049] ppid=12040 vsize=351588 CPUtime=26.54 cores=1,3,5,7
/proc/12042/task/12049/stat : 12049 (plingeling) R 12040 12042 4856 0 -1 4202560 10252 1251 0 0 2653 1 0 0 25 0 5 0 654530946 360026112 59332 33554432000 4194304 4417452 140734890016928 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12042/tid=12050] ppid=12040 vsize=351588 CPUtime=26.53 cores=1,3,5,7
/proc/12042/task/12050/stat : 12050 (plingeling) R 12040 12042 4856 0 -1 4202560 10326 1251 0 0 2652 1 0 0 25 0 5 0 654530946 360026112 59332 33554432000 4194304 4417452 140734890016928 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12042/tid=12051] ppid=12040 vsize=351588 CPUtime=26.53 cores=1,3,5,7
/proc/12042/task/12051/stat : 12051 (plingeling) R 12040 12042 4856 0 -1 4202560 8216 1251 0 0 2652 1 0 0 25 0 5 0 654530946 360026112 59332 33554432000 4194304 4417452 140734890016928 18446744073709551615 4364812 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12042/tid=12052] ppid=12040 vsize=351588 CPUtime=26.29 cores=1,3,5,7
/proc/12042/task/12052/stat : 12052 (plingeling) R 12040 12042 4856 0 -1 4202560 28198 1251 0 0 2625 4 0 0 25 0 5 0 654530946 360026112 59332 33554432000 4194304 4417452 140734890016928 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 106.88
Current children cumulated vsize (KiB) 351588

[startup+27.9004 s]
/proc/loadavg: 7.56 4.02 2.68 9/293 12052
/proc/meminfo: memFree=21087084/32951124 swapFree=66457188/67111528
[pid=12042] ppid=12040 vsize=356976 CPUtime=108.43 cores=1,3,5,7
/proc/12042/stat : 12042 (plingeling) S 12040 12042 4856 0 -1 4202496 92805 1251 0 0 10830 13 0 0 25 0 5 0 654530850 365543424 60679 33554432000 4194304 4417452 140734890016928 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/12042/statm: 89244 60679 179 55 0 87130 0
[pid=12042/tid=12049] ppid=12040 vsize=356976 CPUtime=26.93 cores=1,3,5,7
/proc/12042/task/12049/stat : 12049 (plingeling) R 12040 12042 4856 0 -1 4202560 10720 1251 0 0 2692 1 0 0 25 0 5 0 654530946 365543424 60679 33554432000 4194304 4417452 140734890016928 18446744073709551615 4364684 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12042/tid=12050] ppid=12040 vsize=356976 CPUtime=26.92 cores=1,3,5,7
/proc/12042/task/12050/stat : 12050 (plingeling) R 12040 12042 4856 0 -1 4202560 10754 1251 0 0 2691 1 0 0 25 0 5 0 654530946 365543424 60679 33554432000 4194304 4417452 140734890016928 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12042/tid=12051] ppid=12040 vsize=356976 CPUtime=26.92 cores=1,3,5,7
/proc/12042/task/12051/stat : 12051 (plingeling) R 12040 12042 4856 0 -1 4202560 8301 1251 0 0 2691 1 0 0 25 0 5 0 654530946 365543424 60679 33554432000 4194304 4417452 140734890016928 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12042/tid=12052] ppid=12040 vsize=356976 CPUtime=26.68 cores=1,3,5,7
/proc/12042/task/12052/stat : 12052 (plingeling) R 12040 12042 4856 0 -1 4202560 28564 1251 0 0 2664 4 0 0 25 0 5 0 654530946 365543424 60679 33554432000 4194304 4417452 140734890016928 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 108.43
Current children cumulated vsize (KiB) 356976

[startup+28.0004 s]
/proc/loadavg: 7.56 4.02 2.68 9/293 12052
/proc/meminfo: memFree=21087084/32951124 swapFree=66457188/67111528
[pid=12042] ppid=12040 vsize=0 CPUtime=108.71 cores=1,3,5,7
/proc/12042/stat : 12042 (plingeling) Z 12040 12042 4856 0 -1 4202524 92821 1251 0 0 10857 14 0 0 18 0 1 0 654530850 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/12042/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 108.71
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 28.0024
CPU time (s): 108.728
CPU user time (s): 108.575
CPU system time (s): 0.152976
CPU usage (%): 388.283
Max. virtual memory (cumulated for all children) (KiB): 375488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 108.575
system time used= 0.152976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94072
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= 74
involuntary context switches= 542

runsolver used 0.074988 second user time and 0.19197 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-15 05:15:27
IDJOB=3371338
IDBENCH=83475
IDSOLVER=1848
FILE ID=node132/3371338-1305429326
RUNJOBID= node132-1305429206-11795
PBS_JOBID= 13324569
Free space on /tmp= 73344 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-3371338-1305429326/watcher-3371338-1305429326 -o /tmp/evaluation-result-3371338-1305429326/solver-3371338-1305429326 -C 4800 -W 1300 -M 15500  plingeling -t 4 HOME/instance-3371338-1305429326.cnf

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=1133139031

node132.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.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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	: 5332.74
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.833
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.76
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.833
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.75
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.833
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.77
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.833
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.67
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.833
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.82
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.833
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:     32951124 kB
MemFree:      21319356 kB
Buffers:        287176 kB
Cached:        5623136 kB
SwapCached:       6904 kB
Active:        5001992 kB
Inactive:      6325404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21319356 kB
SwapTotal:    67111528 kB
SwapFree:     66457188 kB
Dirty:           20404 kB
Writeback:           0 kB
AnonPages:     5414216 kB
Mapped:          19380 kB
Slab:           218240 kB
PageTables:      24504 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 34970312 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73344 MiB
End job on node132 at 2011-05-15 05:15:55