Trace number 3290503

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
ppfolio seqSAT 64.0923 64.0913

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F20.cnf
MD5SUM3e5703cd522988fbb05dcac3c4dbbe9d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark27.9038
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses395383
Sum of the clauses size2821910
Maximum clause length66
Minimum clause length1
Number of clauses of size 122
Number of clauses of size 227506
Number of clauses of size 320815
Number of clauses of size 412840
Number of clauses of size 536380
Number of clauses of size over 5297820

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3290503-1303776964/watcher-3290503-1303776964 -o /tmp/evaluation-result-3290503-1303776964/solver-3290503-1303776964 -C 2400 -W 1300 -M 7680 ppfolio --nbcore=1 HOME/instance-3290503-1303776964.cnf 

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 8.90 7.71 6.60 11/198 25413
/proc/meminfo: memFree=18400800/32951124 swapFree=67111528/67111528
[pid=25413] ppid=25411 vsize=18324 CPUtime=0 cores=4,6
/proc/25413/stat : 25413 (ppfolio) R 25411 25413 22378 0 -1 4202496 482 0 0 0 0 0 0 0 25 0 1 0 489299080 18763776 391 33554432000 4194304 4287625 140737373584528 18446744073709551615 216634335637 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/25413/statm: 4581 391 343 23 0 91 0

[startup+0.0579821 s]
/proc/loadavg: 8.90 7.71 6.60 11/198 25413
/proc/meminfo: memFree=18400800/32951124 swapFree=67111528/67111528
[pid=25413] ppid=25411 vsize=18324 CPUtime=0 cores=4,6
/proc/25413/stat : 25413 (ppfolio) S 25411 25413 22378 0 -1 4202496 496 0 0 0 0 0 0 0 25 0 1 0 489299080 18763776 393 33554432000 4194304 4287625 140737373584528 18446744073709551615 216634535439 0 0 4096 65536 3185153798322487553 0 0 17 6 0 0 0
/proc/25413/statm: 4581 393 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100969 s]
/proc/loadavg: 8.90 7.71 6.60 11/198 25413
/proc/meminfo: memFree=18400800/32951124 swapFree=67111528/67111528
[pid=25413] ppid=25411 vsize=18324 CPUtime=0 cores=4,6
/proc/25413/stat : 25413 (ppfolio) S 25411 25413 22378 0 -1 4202496 496 0 0 0 0 0 0 0 25 0 1 0 489299080 18763776 393 33554432000 4194304 4287625 140737373584528 18446744073709551615 216634535439 0 0 4096 65536 3185153798322487553 0 0 17 6 0 0 0
/proc/25413/statm: 4581 393 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300935 s]
/proc/loadavg: 8.90 7.71 6.60 11/198 25413
/proc/meminfo: memFree=18400800/32951124 swapFree=67111528/67111528
[pid=25413] ppid=25411 vsize=18324 CPUtime=0 cores=4,6
/proc/25413/stat : 25413 (ppfolio) S 25411 25413 22378 0 -1 4202496 497 0 0 0 0 0 0 0 24 0 1 0 489299080 18763776 393 33554432000 4194304 4287625 140737373584528 18446744073709551615 216634535439 0 0 4096 65536 0 0 0 17 6 0 0 0
/proc/25413/statm: 4581 393 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700869 s]
/proc/loadavg: 8.90 7.71 6.60 11/198 25413
/proc/meminfo: memFree=18400800/32951124 swapFree=67111528/67111528
[pid=25413] ppid=25411 vsize=18324 CPUtime=0 cores=4,6
/proc/25413/stat : 25413 (ppfolio) S 25411 25413 22378 0 -1 4202496 497 0 0 0 0 0 0 0 20 0 1 0 489299080 18763776 393 33554432000 4194304 4287625 140737373584528 18446744073709551615 216634535439 0 0 4096 65536 0 0 0 17 6 0 0 0
/proc/25413/statm: 4581 393 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50073 s]
/proc/loadavg: 9.15 7.78 6.63 13/202 25417
/proc/meminfo: memFree=18316944/32951124 swapFree=67111528/67111528
[pid=25413] ppid=25411 vsize=18324 CPUtime=0 cores=4,6
/proc/25413/stat : 25413 (ppfolio) S 25411 25413 22378 0 -1 4202496 497 0 0 0 0 0 0 0 20 0 1 0 489299080 18763776 393 33554432000 4194304 4287625 140737373584528 18446744073709551615 216634535439 0 0 4096 65536 0 0 0 17 6 0 0 0
/proc/25413/statm: 4581 393 345 23 0 91 0
[pid=25414] ppid=25413 vsize=79060 CPUtime=0.54 cores=4
/proc/25414/stat : 25414 (cryptominisat) R 25413 25413 22378 0 -1 4202496 9239 0 0 0 53 1 0 0 25 0 1 0 489299081 80957440 8666 33554432000 4194304 4587354 140733789727872 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25414/statm: 19765 8666 306 96 0 16327 0
[pid=25415] ppid=25413 vsize=59124 CPUtime=0.42 cores=4
/proc/25415/stat : 25415 (clasp) R 25413 25413 22378 0 -1 4202496 13790 0 0 0 40 2 0 0 25 0 1 0 489299081 60542976 11809 33554432000 4194304 4785740 140735190690800 18446744073709551615 4495688 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/25415/statm: 14781 11809 318 145 0 11826 0
[pid=25416] ppid=25413 vsize=464276 CPUtime=0.51 cores=4
/proc/25416/stat : 25416 (TNM) R 25413 25413 22378 0 -1 4202496 4279 0 0 0 51 0 0 0 25 0 1 0 489299081 475418624 4177 33554432000 134512640 134534564 4294074720 18446744073709551615 1848828 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25416/statm: 116069 4177 90 6 0 114735 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 620784

[startup+3.10045 s]
/proc/loadavg: 9.15 7.78 6.63 13/202 25417
/proc/meminfo: memFree=18264120/32951124 swapFree=67111528/67111528
[pid=25413] ppid=25411 vsize=18324 CPUtime=0 cores=4,6
/proc/25413/stat : 25413 (ppfolio) S 25411 25413 22378 0 -1 4202496 497 0 0 0 0 0 0 0 20 0 1 0 489299080 18763776 393 33554432000 4194304 4287625 140737373584528 18446744073709551615 216634535439 0 0 4096 65536 0 0 0 17 6 0 0 0
/proc/25413/statm: 4581 393 345 23 0 91 0
[pid=25414] ppid=25413 vsize=81288 CPUtime=1.04 cores=4
/proc/25414/stat : 25414 (cryptominisat) R 25413 25413 22378 0 -1 4202496 9693 0 0 0 103 1 0 0 25 0 1 0 489299081 83238912 9119 33554432000 4194304 4587354 140733789727872 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25414/statm: 20322 9119 306 96 0 16884 0
[pid=25415] ppid=25413 vsize=59124 CPUtime=0.93 cores=4
/proc/25415/stat : 25415 (clasp) R 25413 25413 22378 0 -1 4202496 13791 0 0 0 91 2 0 0 25 0 1 0 489299081 60542976 11810 33554432000 4194304 4785740 140735190690800 18446744073709551615 4495610 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/25415/statm: 14781 11810 319 145 0 11826 0
[pid=25416] ppid=25413 vsize=502952 CPUtime=1.1 cores=4
/proc/25416/stat : 25416 (TNM) R 25413 25413 22378 0 -1 4202496 14626 0 0 0 108 2 0 0 25 0 1 0 489299081 515022848 14523 33554432000 134512640 134534564 4294074720 18446744073709551615 134524536 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25416/statm: 125738 14523 91 6 0 124404 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 661688

[startup+6.30089 s]
/proc/loadavg: 9.38 7.85 6.66 13/202 25417
/proc/meminfo: memFree=18195176/32951124 swapFree=67111528/67111528
[pid=25413] ppid=25411 vsize=18324 CPUtime=0 cores=4,6
/proc/25413/stat : 25413 (ppfolio) S 25411 25413 22378 0 -1 4202496 497 0 0 0 0 0 0 0 15 0 1 0 489299080 18763776 393 33554432000 4194304 4287625 140737373584528 18446744073709551615 216634535439 0 0 4096 65536 7428583131742994432 0 0 17 6 0 0 0
/proc/25413/statm: 4581 393 345 23 0 91 0
[pid=25414] ppid=25413 vsize=161272 CPUtime=2.13 cores=4
/proc/25414/stat : 25414 (cryptominisat) R 25413 25413 22378 0 -1 4202496 37491 0 0 0 209 4 0 0 25 0 1 0 489299081 165142528 27640 33554432000 4194304 4587354 140733789727872 18446744073709551615 4388279 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25414/statm: 40318 27640 316 96 0 36880 0
[pid=25415] ppid=25413 vsize=59124 CPUtime=2.02 cores=4
/proc/25415/stat : 25415 (clasp) R 25413 25413 22378 0 -1 4202496 13791 0 0 0 200 2 0 0 25 0 1 0 489299081 60542976 11810 33554432000 4194304 4785740 140735190690800 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/25415/statm: 14781 11810 319 145 0 11826 0
[pid=25416] ppid=25413 vsize=502952 CPUtime=2.12 cores=4
/proc/25416/stat : 25416 (TNM) R 25413 25413 22378 0 -1 4202496 14626 0 0 0 210 2 0 0 25 0 1 0 489299081 515022848 14523 33554432000 134512640 134534564 4294074720 18446744073709551615 134524700 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25416/statm: 125738 14523 91 6 0 124404 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 741672

[startup+12.7008 s]
/proc/loadavg: 9.59 7.92 6.69 13/202 25418
/proc/meminfo: memFree=18182060/32951124 swapFree=67111528/67111528
[pid=25413] ppid=25411 vsize=18324 CPUtime=0 cores=4,6
/proc/25413/stat : 25413 (ppfolio) S 25411 25413 22378 0 -1 4202496 497 0 0 0 0 0 0 0 15 0 1 0 489299080 18763776 393 33554432000 4194304 4287625 140737373584528 18446744073709551615 216634535439 0 0 4096 65536 7428583131742994432 0 0 17 6 0 0 0
/proc/25413/statm: 4581 393 345 23 0 91 0
[pid=25414] ppid=25413 vsize=161272 CPUtime=4.23 cores=4
/proc/25414/stat : 25414 (cryptominisat) R 25413 25413 22378 0 -1 4202496 37491 0 0 0 419 4 0 0 25 0 1 0 489299081 165142528 27640 33554432000 4194304 4587354 140733789727872 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25414/statm: 40318 27640 316 96 0 36880 0
[pid=25415] ppid=25413 vsize=59124 CPUtime=4.13 cores=4
/proc/25415/stat : 25415 (clasp) R 25413 25413 22378 0 -1 4202496 13791 0 0 0 411 2 0 0 25 0 1 0 489299081 60542976 11810 33554432000 4194304 4785740 140735190690800 18446744073709551615 4495669 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/25415/statm: 14781 11810 319 145 0 11826 0
[pid=25416] ppid=25413 vsize=502952 CPUtime=4.3 cores=4
/proc/25416/stat : 25416 (TNM) R 25413 25413 22378 0 -1 4202496 14626 0 0 0 428 2 0 0 25 0 1 0 489299081 515022848 14523 33554432000 134512640 134534564 4294074720 18446744073709551615 134524712 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25416/statm: 125738 14523 91 6 0 124404 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 741672

[startup+25.5005 s]
/proc/loadavg: 10.12 8.12 6.77 13/202 25418
/proc/meminfo: memFree=18182300/32951124 swapFree=67111528/67111528
[pid=25413] ppid=25411 vsize=18324 CPUtime=0 cores=4,6
/proc/25413/stat : 25413 (ppfolio) S 25411 25413 22378 0 -1 4202496 497 0 0 0 0 0 0 0 15 0 1 0 489299080 18763776 393 33554432000 4194304 4287625 140737373584528 18446744073709551615 216634535439 0 0 4096 65536 7428583131742994432 0 0 17 6 0 0 0
/proc/25413/statm: 4581 393 345 23 0 91 0
[pid=25414] ppid=25413 vsize=161272 CPUtime=8.53 cores=4
/proc/25414/stat : 25414 (cryptominisat) R 25413 25413 22378 0 -1 4202496 37491 0 0 0 849 4 0 0 25 0 1 0 489299081 165142528 27640 33554432000 4194304 4587354 140733789727872 18446744073709551615 4388350 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25414/statm: 40318 27640 316 96 0 36880 0
[pid=25415] ppid=25413 vsize=59124 CPUtime=8.42 cores=4
/proc/25415/stat : 25415 (clasp) R 25413 25413 22378 0 -1 4202496 13791 0 0 0 840 2 0 0 25 0 1 0 489299081 60542976 11810 33554432000 4194304 4785740 140735190690800 18446744073709551615 4495584 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/25415/statm: 14781 11810 319 145 0 11826 0
[pid=25416] ppid=25413 vsize=502952 CPUtime=8.52 cores=4
/proc/25416/stat : 25416 (TNM) R 25413 25413 22378 0 -1 4202496 14626 0 0 0 850 2 0 0 25 0 1 0 489299081 515022848 14523 33554432000 134512640 134534564 4294074720 18446744073709551615 134524554 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25416/statm: 125738 14523 91 6 0 124404 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 741672

[startup+51.101 s]
/proc/loadavg: 10.76 8.43 6.91 13/202 25419
/proc/meminfo: memFree=18135464/32951124 swapFree=67111528/67111528
[pid=25413] ppid=25411 vsize=18324 CPUtime=0 cores=4,6
/proc/25413/stat : 25413 (ppfolio) S 25411 25413 22378 0 -1 4202496 497 0 0 0 0 0 0 0 15 0 1 0 489299080 18763776 393 33554432000 4194304 4287625 140737373584528 18446744073709551615 216634535439 0 0 4096 65536 7428583131742994432 0 0 17 6 0 0 0
/proc/25413/statm: 4581 393 345 23 0 91 0
[pid=25414] ppid=25413 vsize=166896 CPUtime=17.04 cores=4
/proc/25414/stat : 25414 (cryptominisat) R 25413 25413 22378 0 -1 4202496 41942 0 0 0 1699 5 0 0 25 0 1 0 489299081 170901504 28080 33554432000 4194304 4587354 140733789727872 18446744073709551615 216634173588 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25414/statm: 41724 28080 317 96 0 38286 0
[pid=25415] ppid=25413 vsize=78712 CPUtime=16.93 cores=4
/proc/25415/stat : 25415 (clasp) R 25413 25413 22378 0 -1 4202496 19293 0 0 0 1691 2 0 0 25 0 1 0 489299081 80601088 16540 33554432000 4194304 4785740 140735190690800 18446744073709551615 4287050 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/25415/statm: 19678 16540 341 145 0 16723 0
[pid=25416] ppid=25413 vsize=502952 CPUtime=17.1 cores=4
/proc/25416/stat : 25416 (TNM) R 25413 25413 22378 0 -1 4202496 14626 0 0 0 1708 2 0 0 25 0 1 0 489299081 515022848 14523 33554432000 134512640 134534564 4294074720 18446744073709551615 134524582 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25416/statm: 125738 14523 91 6 0 124404 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 766884

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

[startup+57.5009 s]
/proc/loadavg: 10.86 8.49 6.93 13/202 25419
/proc/meminfo: memFree=18138896/32951124 swapFree=67111528/67111528
[pid=25413] ppid=25411 vsize=18324 CPUtime=0 cores=4,6
/proc/25413/stat : 25413 (ppfolio) S 25411 25413 22378 0 -1 4202496 497 0 0 0 0 0 0 0 15 0 1 0 489299080 18763776 393 33554432000 4194304 4287625 140737373584528 18446744073709551615 216634535439 0 0 4096 65536 7428583681498808320 0 0 17 6 0 0 0
/proc/25413/statm: 4581 393 345 23 0 91 0
[pid=25414] ppid=25413 vsize=176912 CPUtime=19.16 cores=4
/proc/25414/stat : 25414 (cryptominisat) R 25413 25413 22378 0 -1 4202496 44385 0 0 0 1910 6 0 0 25 0 1 0 489299081 181157888 30516 33554432000 4194304 4587354 140733789727872 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25414/statm: 44228 30516 327 96 0 40790 0
[pid=25415] ppid=25413 vsize=80344 CPUtime=19.11 cores=4
/proc/25415/stat : 25415 (clasp) R 25413 25413 22378 0 -1 4202496 19843 0 0 0 1909 2 0 0 25 0 1 0 489299081 82272256 17090 33554432000 4194304 4785740 140735190690800 18446744073709551615 4553380 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/25415/statm: 20086 17090 341 145 0 17131 0
[pid=25416] ppid=25413 vsize=502952 CPUtime=19.2 cores=4
/proc/25416/stat : 25416 (TNM) R 25413 25413 22378 0 -1 4202496 14626 0 0 0 1918 2 0 0 25 0 1 0 489299081 515022848 14523 33554432000 134512640 134534564 4294074720 18446744073709551615 134524577 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25416/statm: 125738 14523 91 6 0 124404 0
Current children cumulated CPU time (s) 57.47
Current children cumulated vsize (KiB) 778532

[startup+60.7013 s]
/proc/loadavg: 10.95 8.54 6.96 13/202 25419
/proc/meminfo: memFree=18132720/32951124 swapFree=67111528/67111528
[pid=25413] ppid=25411 vsize=18324 CPUtime=0 cores=4,6
/proc/25413/stat : 25413 (ppfolio) S 25411 25413 22378 0 -1 4202496 497 0 0 0 0 0 0 0 15 0 1 0 489299080 18763776 393 33554432000 4194304 4287625 140737373584528 18446744073709551615 216634535439 0 0 4096 65536 7428583956376715264 0 0 17 6 0 0 0
/proc/25413/statm: 4581 393 345 23 0 91 0
[pid=25414] ppid=25413 vsize=176912 CPUtime=20.24 cores=4
/proc/25414/stat : 25414 (cryptominisat) R 25413 25413 22378 0 -1 4202496 44817 0 0 0 2018 6 0 0 25 0 1 0 489299081 181157888 30938 33554432000 4194304 4587354 140733789727872 18446744073709551615 4237556 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25414/statm: 44228 30938 327 96 0 40790 0
[pid=25415] ppid=25413 vsize=84172 CPUtime=20.13 cores=4
/proc/25415/stat : 25415 (clasp) R 25413 25413 22378 0 -1 4202496 20766 0 0 0 2011 2 0 0 25 0 1 0 489299081 86192128 18013 33554432000 4194304 4785740 140735190690800 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/25415/statm: 21043 18013 341 145 0 18088 0
[pid=25416] ppid=25413 vsize=502952 CPUtime=20.3 cores=4
/proc/25416/stat : 25416 (TNM) R 25413 25413 22378 0 -1 4202496 14626 0 0 0 2028 2 0 0 25 0 1 0 489299081 515022848 14523 33554432000 134512640 134534564 4294074720 18446744073709551615 134524573 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25416/statm: 125738 14523 91 6 0 124404 0
Current children cumulated CPU time (s) 60.67
Current children cumulated vsize (KiB) 782360

[startup+62.301 s]
/proc/loadavg: 10.95 8.54 6.96 13/202 25419
/proc/meminfo: memFree=18129992/32951124 swapFree=67111528/67111528
[pid=25413] ppid=25411 vsize=18324 CPUtime=0 cores=4,6
/proc/25413/stat : 25413 (ppfolio) S 25411 25413 22378 0 -1 4202496 497 0 0 0 0 0 0 0 15 0 1 0 489299080 18763776 393 33554432000 4194304 4287625 140737373584528 18446744073709551615 216634535439 0 0 4096 65536 7428584093815668736 0 0 17 6 0 0 0
/proc/25413/statm: 4581 393 345 23 0 91 0
[pid=25414] ppid=25413 vsize=176912 CPUtime=20.76 cores=4
/proc/25414/stat : 25414 (cryptominisat) R 25413 25413 22378 0 -1 4202496 45009 0 0 0 2070 6 0 0 25 0 1 0 489299081 181157888 31124 33554432000 4194304 4587354 140733789727872 18446744073709551615 4237681 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25414/statm: 44228 31124 327 96 0 40790 0
[pid=25415] ppid=25413 vsize=91784 CPUtime=20.72 cores=4
/proc/25415/stat : 25415 (clasp) R 25413 25413 22378 0 -1 4202496 22487 0 0 0 2069 3 0 0 25 0 1 0 489299081 93986816 19734 33554432000 4194304 4785740 140735190690800 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/25415/statm: 22946 19734 341 145 0 19991 0
[pid=25416] ppid=25413 vsize=502952 CPUtime=20.8 cores=4
/proc/25416/stat : 25416 (TNM) R 25413 25413 22378 0 -1 4202496 14626 0 0 0 2078 2 0 0 25 0 1 0 489299081 515022848 14523 33554432000 134512640 134534564 4294074720 18446744073709551615 134524582 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25416/statm: 125738 14523 91 6 0 124404 0
Current children cumulated CPU time (s) 62.28
Current children cumulated vsize (KiB) 789972

[startup+63.1009 s]
/proc/loadavg: 10.95 8.54 6.96 13/202 25419
/proc/meminfo: memFree=18120072/32951124 swapFree=67111528/67111528
[pid=25413] ppid=25411 vsize=18324 CPUtime=0 cores=4,6
/proc/25413/stat : 25413 (ppfolio) S 25411 25413 22378 0 -1 4202496 497 0 0 0 0 0 0 0 15 0 1 0 489299080 18763776 393 33554432000 4194304 4287625 140737373584528 18446744073709551615 216634535439 0 0 4096 65536 7428584231254622208 0 0 17 6 0 0 0
/proc/25413/statm: 4581 393 345 23 0 91 0
[pid=25414] ppid=25413 vsize=176912 CPUtime=21.04 cores=4
/proc/25414/stat : 25414 (cryptominisat) R 25413 25413 22378 0 -1 4202496 45126 0 0 0 2098 6 0 0 25 0 1 0 489299081 181157888 31237 33554432000 4194304 4587354 140733789727872 18446744073709551615 4230266 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25414/statm: 44228 31237 327 96 0 40790 0
[pid=25415] ppid=25413 vsize=97096 CPUtime=20.94 cores=4
/proc/25415/stat : 25415 (clasp) R 25413 25413 22378 0 -1 4202496 23725 0 0 0 2091 3 0 0 25 0 1 0 489299081 99426304 20972 33554432000 4194304 4785740 140735190690800 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/25415/statm: 24274 20972 341 145 0 21319 0
[pid=25416] ppid=25413 vsize=502952 CPUtime=21.1 cores=4
/proc/25416/stat : 25416 (TNM) R 25413 25413 22378 0 -1 4202496 14626 0 0 0 2108 2 0 0 25 0 1 0 489299081 515022848 14523 33554432000 134512640 134534564 4294074720 18446744073709551615 134524745 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25416/statm: 125738 14523 91 6 0 124404 0
Current children cumulated CPU time (s) 63.08
Current children cumulated vsize (KiB) 795284

[startup+63.5008 s]
/proc/loadavg: 10.95 8.54 6.96 13/202 25419
/proc/meminfo: memFree=18120072/32951124 swapFree=67111528/67111528
[pid=25413] ppid=25411 vsize=18324 CPUtime=0 cores=4,6
/proc/25413/stat : 25413 (ppfolio) S 25411 25413 22378 0 -1 4202496 497 0 0 0 0 0 0 0 15 0 1 0 489299080 18763776 393 33554432000 4194304 4287625 140737373584528 18446744073709551615 216634535439 0 0 4096 65536 7428584231254622208 0 0 17 6 0 0 0
/proc/25413/statm: 4581 393 345 23 0 91 0
[pid=25414] ppid=25413 vsize=176912 CPUtime=21.16 cores=4
/proc/25414/stat : 25414 (cryptominisat) R 25413 25413 22378 0 -1 4202496 45217 0 0 0 2110 6 0 0 25 0 1 0 489299081 181157888 31326 33554432000 4194304 4587354 140733789727872 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25414/statm: 44228 31326 327 96 0 40790 0
[pid=25415] ppid=25413 vsize=97768 CPUtime=21.12 cores=4
/proc/25415/stat : 25415 (clasp) R 25413 25413 22378 0 -1 4202496 23902 0 0 0 2109 3 0 0 25 0 1 0 489299081 100114432 21149 33554432000 4194304 4785740 140735190690800 18446744073709551615 4553399 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/25415/statm: 24442 21149 341 145 0 21487 0
[pid=25416] ppid=25413 vsize=502952 CPUtime=21.2 cores=4
/proc/25416/stat : 25416 (TNM) R 25413 25413 22378 0 -1 4202496 14626 0 0 0 2118 2 0 0 25 0 1 0 489299081 515022848 14523 33554432000 134512640 134534564 4294074720 18446744073709551615 134524745 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25416/statm: 125738 14523 91 6 0 124404 0
Current children cumulated CPU time (s) 63.48
Current children cumulated vsize (KiB) 795956

[startup+63.9007 s]
/proc/loadavg: 10.95 8.54 6.96 13/202 25419
/proc/meminfo: memFree=18115360/32951124 swapFree=67111528/67111528
[pid=25413] ppid=25411 vsize=18324 CPUtime=0 cores=4,6
/proc/25413/stat : 25413 (ppfolio) S 25411 25413 22378 0 -1 4202496 497 0 0 0 0 0 0 0 15 0 1 0 489299080 18763776 393 33554432000 4194304 4287625 140737373584528 18446744073709551615 216634535439 0 0 4096 65536 7428582307109273600 0 0 17 6 0 0 0
/proc/25413/statm: 4581 393 345 23 0 91 0
[pid=25414] ppid=25413 vsize=176912 CPUtime=21.34 cores=4
/proc/25414/stat : 25414 (cryptominisat) R 25413 25413 22378 0 -1 4202496 45290 0 0 0 2128 6 0 0 25 0 1 0 489299081 181157888 31399 33554432000 4194304 4587354 140733789727872 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25414/statm: 44228 31399 331 96 0 40790 0
[pid=25415] ppid=25413 vsize=97940 CPUtime=21.22 cores=4
/proc/25415/stat : 25415 (clasp) R 25413 25413 22378 0 -1 4202496 23938 0 0 0 2119 3 0 0 25 0 1 0 489299081 100290560 21185 33554432000 4194304 4785740 140735190690800 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/25415/statm: 24485 21185 341 145 0 21530 0
[pid=25416] ppid=25413 vsize=502952 CPUtime=21.32 cores=4
/proc/25416/stat : 25416 (TNM) R 25413 25413 22378 0 -1 4202496 14626 0 0 0 2130 2 0 0 25 0 1 0 489299081 515022848 14523 33554432000 134512640 134534564 4294074720 18446744073709551615 134524700 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25416/statm: 125738 14523 91 6 0 124404 0
Current children cumulated CPU time (s) 63.88
Current children cumulated vsize (KiB) 796128

[startup+64.0007 s]
/proc/loadavg: 10.95 8.54 6.96 13/202 25419
/proc/meminfo: memFree=18115360/32951124 swapFree=67111528/67111528
[pid=25413] ppid=25411 vsize=18324 CPUtime=0 cores=4,6
/proc/25413/stat : 25413 (ppfolio) S 25411 25413 22378 0 -1 4202496 497 0 0 0 0 0 0 0 15 0 1 0 489299080 18763776 393 33554432000 4194304 4287625 140737373584528 18446744073709551615 216634535439 0 0 4096 65536 7428582307109273600 0 0 17 6 0 0 0
/proc/25413/statm: 4581 393 345 23 0 91 0
[pid=25414] ppid=25413 vsize=176912 CPUtime=21.34 cores=4
/proc/25414/stat : 25414 (cryptominisat) R 25413 25413 22378 0 -1 4202496 45290 0 0 0 2128 6 0 0 25 0 1 0 489299081 181157888 31399 33554432000 4194304 4587354 140733789727872 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25414/statm: 44228 31399 331 96 0 40790 0
[pid=25415] ppid=25413 vsize=97940 CPUtime=21.24 cores=4
/proc/25415/stat : 25415 (clasp) R 25413 25413 22378 0 -1 4202496 23938 0 0 0 2121 3 0 0 25 0 1 0 489299081 100290560 21185 33554432000 4194304 4785740 140735190690800 18446744073709551615 4286927 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/25415/statm: 24485 21185 341 145 0 21530 0
[pid=25416] ppid=25413 vsize=502952 CPUtime=21.4 cores=4
/proc/25416/stat : 25416 (TNM) R 25413 25413 22378 0 -1 4202496 14626 0 0 0 2138 2 0 0 25 0 1 0 489299081 515022848 14523 33554432000 134512640 134534564 4294074720 18446744073709551615 134524582 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25416/statm: 125738 14523 91 6 0 124404 0
Current children cumulated CPU time (s) 63.98
Current children cumulated vsize (KiB) 796128

Child status: 0
Real time (s): 64.0913
CPU time (s): 64.0923
CPU user time (s): 63.9623
CPU system time (s): 0.12998
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 796128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.9623
system time used= 0.12998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84408
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= 49
involuntary context switches= 742

runsolver used 0.099984 second user time and 0.25896 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-26 02:16:05
IDJOB=3290503
IDBENCH=83436
IDSOLVER=1613
FILE ID=node103/3290503-1303776964
RUNJOBID= node103-1303775621-25101
PBS_JOBID= 13157156
Free space on /tmp= 70940 MiB

SOLVER NAME= ppfolio seq
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F20.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290503-1303776964/watcher-3290503-1303776964 -o /tmp/evaluation-result-3290503-1303776964/solver-3290503-1303776964 -C 2400 -W 1300 -M 7680  ppfolio --nbcore=1 HOME/instance-3290503-1303776964.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=1487589980

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
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.83
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.858
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:      18400956 kB
Buffers:       2125636 kB
Cached:       11720252 kB
SwapCached:          0 kB
Active:        4503296 kB
Inactive:      9464972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18400956 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           25036 kB
Writeback:           0 kB
AnonPages:      121624 kB
Mapped:          17988 kB
Slab:           515760 kB
PageTables:       6512 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  4593788 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 70932 MiB
End job on node103 at 2011-04-26 02:17:09