Trace number 3290778

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 parSAT 2026.16 507.268

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F22.cnf
MD5SUM0b29cb9f2e17f3e05b66912497d8cb84
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark45.6781
Satisfiable
(Un)Satisfiability was proved
Number of variables13574
Number of clauses1301188
Sum of the clauses size11462079
Maximum clause length78
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 236373
Number of clauses of size 329573
Number of clauses of size 422594
Number of clauses of size 573414
Number of clauses of size over 51139201

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

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

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


[startup+0 s]
/proc/loadavg: 9.56 9.84 9.49 6/182 14486
/proc/meminfo: memFree=22404220/32951124 swapFree=67111524/67111528
[pid=14486] ppid=14484 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14486/stat : 14486 (ppfolio) R 14484 14486 14150 0 -1 4202496 521 0 0 0 0 0 0 0 25 0 1 0 520512615 18763776 390 33554432000 4194304 4287625 140737387200944 18446744073709551615 244446965263 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/14486/statm: 4581 390 341 23 0 91 0

[startup+0.0765689 s]
/proc/loadavg: 9.56 9.84 9.49 6/182 14486
/proc/meminfo: memFree=22404220/32951124 swapFree=67111524/67111528
[pid=14486] ppid=14484 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14486/stat : 14486 (ppfolio) S 14484 14486 14150 0 -1 4202496 522 0 0 0 0 0 0 0 25 0 1 0 520512615 18763776 390 33554432000 4194304 4287625 140737387200944 18446744073709551615 244446965263 0 0 4096 65536 4432149380362928127 0 0 17 5 0 0 0
/proc/14486/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100565 s]
/proc/loadavg: 9.56 9.84 9.49 6/182 14486
/proc/meminfo: memFree=22404220/32951124 swapFree=67111524/67111528
[pid=14486] ppid=14484 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14486/stat : 14486 (ppfolio) S 14484 14486 14150 0 -1 4202496 522 0 0 0 0 0 0 0 25 0 1 0 520512615 18763776 390 33554432000 4194304 4287625 140737387200944 18446744073709551615 244446965263 0 0 4096 65536 4432149380362928127 0 0 17 5 0 0 0
/proc/14486/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300527 s]
/proc/loadavg: 9.56 9.84 9.49 6/182 14486
/proc/meminfo: memFree=22404220/32951124 swapFree=67111524/67111528
[pid=14486] ppid=14484 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14486/stat : 14486 (ppfolio) S 14484 14486 14150 0 -1 4202496 522 0 0 0 0 0 0 0 25 0 1 0 520512615 18763776 390 33554432000 4194304 4287625 140737387200944 18446744073709551615 244446965263 0 0 4096 65536 4432149380362928127 0 0 17 5 0 0 0
/proc/14486/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700454 s]
/proc/loadavg: 9.56 9.84 9.49 6/182 14486
/proc/meminfo: memFree=22404220/32951124 swapFree=67111524/67111528
[pid=14486] ppid=14484 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14486/stat : 14486 (ppfolio) S 14484 14486 14150 0 -1 4202496 522 0 0 0 0 0 0 0 19 0 1 0 520512615 18763776 390 33554432000 4194304 4287625 140737387200944 18446744073709551615 244446965263 0 0 4096 65536 4432149380362928127 0 0 17 5 0 0 0
/proc/14486/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50131 s]
/proc/loadavg: 9.56 9.84 9.49 11/188 14492
/proc/meminfo: memFree=21975964/32951124 swapFree=67111524/67111528
[pid=14486] ppid=14484 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14486/stat : 14486 (ppfolio) S 14484 14486 14150 0 -1 4202496 522 0 0 0 0 0 0 0 19 0 1 0 520512615 18763776 390 33554432000 4194304 4287625 140737387200944 18446744073709551615 244446965263 0 0 4096 65536 4432149380362928127 0 0 17 5 0 0 0
/proc/14486/statm: 4581 390 341 23 0 91 0
[pid=14487] ppid=14486 vsize=276176 CPUtime=1.49 cores=1
/proc/14487/stat : 14487 (cryptominisat) R 14486 14486 14150 0 -1 4202496 32082 0 0 0 144 5 0 0 25 0 1 0 520512615 282804224 30388 33554432000 4194304 4587354 140734534928000 18446744073709551615 4230333 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14487/statm: 69044 30388 306 96 0 65606 0
[pid=14488] ppid=14486 vsize=182416 CPUtime=1.49 cores=5
/proc/14488/stat : 14488 (clasp) R 14486 14486 14150 0 -1 4202496 47722 0 0 0 139 10 0 0 25 0 1 0 520512615 186793984 41389 33554432000 4194304 4785740 140735760440976 18446744073709551615 4495534 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14488/statm: 45604 41389 317 145 0 42649 0
[pid=14489] ppid=14486 vsize=466388 CPUtime=0.71 cores=7
/proc/14489/stat : 14489 (TNM) R 14486 14486 14150 0 -1 4202496 4744 0 0 0 70 1 0 0 25 0 1 0 520512615 477581312 4642 33554432000 134512640 134534564 4292716064 18446744073709551615 10021731 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14489/statm: 116597 4642 90 6 0 115263 0
[pid=14490] ppid=14486 vsize=119360 CPUtime=1.48 cores=3
/proc/14490/stat : 14490 (lingeling) R 14486 14486 14150 0 -1 4202496 33278 0 0 0 143 5 0 0 25 0 1 0 520512615 122224640 28990 33554432000 4194304 4352236 140736478450832 18446744073709551615 4233979 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14490/statm: 29840 28990 107 39 0 28920 0
[pid=14491] ppid=14486 vsize=51580 CPUtime=0.75 cores=7
/proc/14491/stat : 14491 (march_hi) R 14486 14486 14150 0 -1 4194304 10775 0 0 0 73 2 0 0 25 0 1 0 520512615 52817920 10670 33554432000 4194304 4331988 140733575149632 18446744073709551615 244446348746 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14491/statm: 12895 10670 113 34 0 11337 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 1114244

[startup+3.10101 s]
/proc/loadavg: 9.56 9.84 9.49 11/188 14492
/proc/meminfo: memFree=21721640/32951124 swapFree=67111524/67111528
[pid=14486] ppid=14484 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14486/stat : 14486 (ppfolio) S 14484 14486 14150 0 -1 4202496 522 0 0 0 0 0 0 0 17 0 1 0 520512615 18763776 390 33554432000 4194304 4287625 140737387200944 18446744073709551615 244446965263 0 0 4096 65536 4432149380362928127 0 0 17 5 0 0 0
/proc/14486/statm: 4581 390 341 23 0 91 0
[pid=14487] ppid=14486 vsize=546708 CPUtime=3.09 cores=1
/proc/14487/stat : 14487 (cryptominisat) R 14486 14486 14150 0 -1 4202496 89948 0 0 0 295 14 0 0 25 0 1 0 520512615 559828992 88222 33554432000 4194304 4587354 140734534928000 18446744073709551615 4357656 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14487/statm: 136677 88222 311 96 0 133239 0
[pid=14488] ppid=14486 vsize=182416 CPUtime=3.09 cores=5
/proc/14488/stat : 14488 (clasp) R 14486 14486 14150 0 -1 4202496 47722 0 0 0 299 10 0 0 25 0 1 0 520512615 186793984 41389 33554432000 4194304 4785740 140735760440976 18446744073709551615 4495610 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14488/statm: 45604 41389 317 145 0 42649 0
[pid=14489] ppid=14486 vsize=483416 CPUtime=1.51 cores=7
/proc/14489/stat : 14489 (TNM) R 14486 14486 14150 0 -1 4202496 10086 0 0 0 147 4 0 0 25 0 1 0 520512615 495017984 9984 33554432000 134512640 134534564 4292716064 18446744073709551615 9902335 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14489/statm: 120854 9984 90 6 0 119520 0
[pid=14490] ppid=14486 vsize=120892 CPUtime=3.09 cores=3
/proc/14490/stat : 14490 (lingeling) R 14486 14486 14150 0 -1 4202496 35404 0 0 0 303 6 0 0 25 0 1 0 520512615 123793408 29376 33554432000 4194304 4352236 140736478450832 18446744073709551615 4313003 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14490/statm: 30223 29376 118 39 0 29303 0
[pid=14491] ppid=14486 vsize=78772 CPUtime=1.54 cores=7
/proc/14491/stat : 14491 (march_hi) R 14486 14486 14150 0 -1 4194304 18164 0 0 0 148 6 0 0 25 0 1 0 520512615 80662528 18059 33554432000 4194304 4331988 140733575149632 18446744073709551615 244446498525 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14491/statm: 19693 18059 113 34 0 18135 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 1430528

[startup+6.30041 s]
/proc/loadavg: 9.59 9.84 9.49 11/188 14492
/proc/meminfo: memFree=21484408/32951124 swapFree=67111524/67111528
[pid=14486] ppid=14484 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14486/stat : 14486 (ppfolio) S 14484 14486 14150 0 -1 4202496 522 0 0 0 0 0 0 0 17 0 1 0 520512615 18763776 390 33554432000 4194304 4287625 140737387200944 18446744073709551615 244446965263 0 0 4096 65536 4432149380362928127 0 0 17 5 0 0 0
/proc/14486/statm: 4581 390 341 23 0 91 0
[pid=14487] ppid=14486 vsize=546708 CPUtime=6.29 cores=1
/proc/14487/stat : 14487 (cryptominisat) R 14486 14486 14150 0 -1 4202496 89948 0 0 0 615 14 0 0 25 0 1 0 520512615 559828992 88222 33554432000 4194304 4587354 140734534928000 18446744073709551615 4357668 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14487/statm: 136677 88222 311 96 0 133239 0
[pid=14488] ppid=14486 vsize=182416 CPUtime=6.29 cores=5
/proc/14488/stat : 14488 (clasp) R 14486 14486 14150 0 -1 4202496 47723 0 0 0 619 10 0 0 25 0 1 0 520512615 186793984 41390 33554432000 4194304 4785740 140735760440976 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14488/statm: 45604 41390 318 145 0 42649 0
[pid=14489] ppid=14486 vsize=653972 CPUtime=3.11 cores=7
/proc/14489/stat : 14489 (TNM) R 14486 14486 14150 0 -1 4202496 55920 0 0 0 299 12 0 0 25 0 1 0 520512615 669667328 55817 33554432000 134512640 134534564 4292716064 18446744073709551615 134524664 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14489/statm: 163493 55817 91 6 0 162159 0
[pid=14490] ppid=14486 vsize=186428 CPUtime=6.29 cores=3
/proc/14490/stat : 14490 (lingeling) R 14486 14486 14150 0 -1 4202496 51794 0 0 0 621 8 0 0 25 0 1 0 520512615 190902272 45766 33554432000 4194304 4352236 140736478450832 18446744073709551615 4245509 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14490/statm: 46607 45766 124 39 0 45687 0
[pid=14491] ppid=14486 vsize=152852 CPUtime=3.13 cores=7
/proc/14491/stat : 14491 (march_hi) R 14486 14486 14150 0 -1 4194304 39281 0 0 0 302 11 0 0 25 0 1 0 520512615 156520448 23958 33554432000 4194304 4331988 140733575149632 18446744073709551615 4251963 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14491/statm: 38213 23958 128 34 0 36655 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 1740700

[startup+12.7012 s]
/proc/loadavg: 9.62 9.85 9.49 11/188 14493
/proc/meminfo: memFree=21284888/32951124 swapFree=67111524/67111528
[pid=14486] ppid=14484 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14486/stat : 14486 (ppfolio) S 14484 14486 14150 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 520512615 18763776 390 33554432000 4194304 4287625 140737387200944 18446744073709551615 244446965263 0 0 4096 65536 4432149380362928127 0 0 17 5 0 0 0
/proc/14486/statm: 4581 390 341 23 0 91 0
[pid=14487] ppid=14486 vsize=574332 CPUtime=12.69 cores=1
/proc/14487/stat : 14487 (cryptominisat) R 14486 14486 14150 0 -1 4202496 132681 0 0 0 1248 21 0 0 25 0 1 0 520512615 588115968 99197 33554432000 4194304 4587354 140734534928000 18446744073709551615 4357662 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14487/statm: 143583 99197 316 96 0 140145 0
[pid=14488] ppid=14486 vsize=182416 CPUtime=12.69 cores=5
/proc/14488/stat : 14488 (clasp) R 14486 14486 14150 0 -1 4202496 47723 0 0 0 1259 10 0 0 25 0 1 0 520512615 186793984 41390 33554432000 4194304 4785740 140735760440976 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14488/statm: 45604 41390 318 145 0 42649 0
[pid=14489] ppid=14486 vsize=653972 CPUtime=6.31 cores=7
/proc/14489/stat : 14489 (TNM) R 14486 14486 14150 0 -1 4202496 55920 0 0 0 619 12 0 0 25 0 1 0 520512615 669667328 55817 33554432000 134512640 134534564 4292716064 18446744073709551615 134524548 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14489/statm: 163493 55817 91 6 0 162159 0
[pid=14490] ppid=14486 vsize=121868 CPUtime=12.69 cores=3
/proc/14490/stat : 14490 (lingeling) R 14486 14486 14150 0 -1 4202496 52041 0 0 0 1261 8 0 0 25 0 1 0 520512615 124792832 29629 33554432000 4194304 4352236 140736478450832 18446744073709551615 4328026 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14490/statm: 30467 29629 127 39 0 29547 0
[pid=14491] ppid=14486 vsize=163452 CPUtime=6.29 cores=7
/proc/14491/stat : 14491 (march_hi) R 14486 14486 14150 0 -1 4202496 136440 0 0 0 601 28 0 0 25 0 1 0 520512615 167374848 26739 33554432000 4194304 4331988 140733575149632 18446744073709551615 4219854 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14491/statm: 40863 26739 148 34 0 39305 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 1714364

[startup+25.5008 s]
/proc/loadavg: 9.71 9.85 9.50 11/188 14493
/proc/meminfo: memFree=21005904/32951124 swapFree=67111524/67111528
[pid=14486] ppid=14484 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14486/stat : 14486 (ppfolio) S 14484 14486 14150 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 520512615 18763776 390 33554432000 4194304 4287625 140737387200944 18446744073709551615 244446965263 0 0 4096 65536 4432149380362928127 0 0 17 5 0 0 0
/proc/14486/statm: 4581 390 341 23 0 91 0
[pid=14487] ppid=14486 vsize=574332 CPUtime=25.49 cores=1
/proc/14487/stat : 14487 (cryptominisat) R 14486 14486 14150 0 -1 4202496 132681 0 0 0 2528 21 0 0 25 0 1 0 520512615 588115968 99197 33554432000 4194304 4587354 140734534928000 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14487/statm: 143583 99197 316 96 0 140145 0
[pid=14488] ppid=14486 vsize=182416 CPUtime=25.49 cores=5
/proc/14488/stat : 14488 (clasp) R 14486 14486 14150 0 -1 4202496 47723 0 0 0 2539 10 0 0 25 0 1 0 520512615 186793984 41390 33554432000 4194304 4785740 140735760440976 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14488/statm: 45604 41390 318 145 0 42649 0
[pid=14489] ppid=14486 vsize=653972 CPUtime=12.64 cores=7
/proc/14489/stat : 14489 (TNM) R 14486 14486 14150 0 -1 4202496 55920 0 0 0 1252 12 0 0 25 0 1 0 520512615 669667328 55817 33554432000 134512640 134534564 4292716064 18446744073709551615 134524700 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14489/statm: 163493 55817 91 6 0 162159 0
[pid=14490] ppid=14486 vsize=175712 CPUtime=25.49 cores=3
/proc/14490/stat : 14490 (lingeling) R 14486 14486 14150 0 -1 4202496 82149 0 0 0 2537 12 0 0 25 0 1 0 520512615 179929088 43090 33554432000 4194304 4352236 140736478450832 18446744073709551615 4328194 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14490/statm: 43928 43090 127 39 0 43008 0
[pid=14491] ppid=14486 vsize=272216 CPUtime=12.7 cores=7
/proc/14491/stat : 14491 (march_hi) R 14486 14486 14150 0 -1 4202496 340421 0 0 0 1209 61 0 0 25 0 1 0 520512615 278749184 53863 33554432000 4194304 4331988 140733575149632 18446744073709551615 4226625 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14491/statm: 68054 53863 151 34 0 66496 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 1876972

[startup+51.101 s]
/proc/loadavg: 10.01 9.91 9.53 11/188 14493
/proc/meminfo: memFree=20832228/32951124 swapFree=67111524/67111528
[pid=14486] ppid=14484 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14486/stat : 14486 (ppfolio) S 14484 14486 14150 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 520512615 18763776 390 33554432000 4194304 4287625 140737387200944 18446744073709551615 244446965263 0 0 4096 65536 4432149380362928127 0 0 17 5 0 0 0
/proc/14486/statm: 4581 390 341 23 0 91 0
[pid=14487] ppid=14486 vsize=574332 CPUtime=51.09 cores=1
/proc/14487/stat : 14487 (cryptominisat) R 14486 14486 14150 0 -1 4202496 132681 0 0 0 5088 21 0 0 25 0 1 0 520512615 588115968 99197 33554432000 4194304 4587354 140734534928000 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14487/statm: 143583 99197 316 96 0 140145 0
[pid=14488] ppid=14486 vsize=182416 CPUtime=51.09 cores=5
/proc/14488/stat : 14488 (clasp) R 14486 14486 14150 0 -1 4202496 47723 0 0 0 5099 10 0 0 25 0 1 0 520512615 186793984 41390 33554432000 4194304 4785740 140735760440976 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14488/statm: 45604 41390 318 145 0 42649 0
[pid=14489] ppid=14486 vsize=653972 CPUtime=25.4 cores=7
/proc/14489/stat : 14489 (TNM) R 14486 14486 14150 0 -1 4202496 55920 0 0 0 2528 12 0 0 25 0 1 0 520512615 669667328 55817 33554432000 134512640 134534564 4292716064 18446744073709551615 134524580 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14489/statm: 163493 55817 91 6 0 162159 0
[pid=14490] ppid=14486 vsize=130712 CPUtime=51.09 cores=3

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

Current children cumulated CPU time (s) 1942.5
Current children cumulated vsize (KiB) 2999100

[startup+499.1 s]
/proc/loadavg: 10.20 10.15 9.78 11/188 14517
/proc/meminfo: memFree=17710932/32951124 swapFree=67111524/67111528
[pid=14486] ppid=14484 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14486/stat : 14486 (ppfolio) S 14484 14486 14150 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 520512615 18763776 390 33554432000 4194304 4287625 140737387200944 18446744073709551615 244446965263 0 0 4096 65536 4432149380362928127 0 0 17 5 0 0 0
/proc/14486/statm: 4581 390 341 23 0 91 0
[pid=14487] ppid=14486 vsize=699644 CPUtime=499.09 cores=1
/proc/14487/stat : 14487 (cryptominisat) R 14486 14486 14150 0 -1 4202496 220136 0 0 0 49873 36 0 0 25 0 1 0 520512615 716435456 127032 33554432000 4194304 4587354 140734534928000 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14487/statm: 174911 127032 338 96 0 171473 0
[pid=14488] ppid=14486 vsize=182416 CPUtime=499.09 cores=5
/proc/14488/stat : 14488 (clasp) R 14486 14486 14150 0 -1 4202496 47723 0 0 0 49899 10 0 0 25 0 1 0 520512615 186793984 41390 33554432000 4194304 4785740 140735760440976 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14488/statm: 45604 41390 318 145 0 42649 0
[pid=14489] ppid=14486 vsize=653972 CPUtime=248.17 cores=7
/proc/14489/stat : 14489 (TNM) R 14486 14486 14150 0 -1 4202496 55920 0 0 0 24805 12 0 0 25 0 1 0 520512615 669667328 55817 33554432000 134512640 134534564 4292716064 18446744073709551615 134524712 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14489/statm: 163493 55817 91 6 0 162159 0
[pid=14490] ppid=14486 vsize=209832 CPUtime=499.1 cores=3
/proc/14490/stat : 14490 (lingeling) R 14486 14486 14150 0 -1 4202496 245907 0 0 0 49874 36 0 0 25 0 1 0 520512615 214867968 51620 33554432000 4194304 4352236 140736478450832 18446744073709551615 4267912 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14490/statm: 52458 51620 127 39 0 51538 0
[pid=14491] ppid=14486 vsize=1257220 CPUtime=248.19 cores=7
/proc/14491/stat : 14491 (march_hi) R 14486 14486 14150 0 -1 4202496 585749 0 0 0 24579 240 0 0 25 0 1 0 520512615 1287393280 299191 33554432000 4194304 4331988 140733575149632 18446744073709551615 4226625 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14491/statm: 314305 299191 151 34 0 312747 0
Current children cumulated CPU time (s) 1993.64
Current children cumulated vsize (KiB) 3021408

[startup+502.301 s]
/proc/loadavg: 10.19 10.15 9.78 11/188 14517
/proc/meminfo: memFree=17689968/32951124 swapFree=67111524/67111528
[pid=14486] ppid=14484 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14486/stat : 14486 (ppfolio) S 14484 14486 14150 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 520512615 18763776 390 33554432000 4194304 4287625 140737387200944 18446744073709551615 244446965263 0 0 4096 65536 4432149380362928127 0 0 17 5 0 0 0
/proc/14486/statm: 4581 390 341 23 0 91 0
[pid=14487] ppid=14486 vsize=699644 CPUtime=502.29 cores=1
/proc/14487/stat : 14487 (cryptominisat) R 14486 14486 14150 0 -1 4202496 220136 0 0 0 50193 36 0 0 25 0 1 0 520512615 716435456 127032 33554432000 4194304 4587354 140734534928000 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14487/statm: 174911 127032 338 96 0 171473 0
[pid=14488] ppid=14486 vsize=182416 CPUtime=502.29 cores=5
/proc/14488/stat : 14488 (clasp) R 14486 14486 14150 0 -1 4202496 47723 0 0 0 50219 10 0 0 25 0 1 0 520512615 186793984 41390 33554432000 4194304 4785740 140735760440976 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14488/statm: 45604 41390 318 145 0 42649 0
[pid=14489] ppid=14486 vsize=653972 CPUtime=249.77 cores=7
/proc/14489/stat : 14489 (TNM) R 14486 14486 14150 0 -1 4202496 55920 0 0 0 24965 12 0 0 25 0 1 0 520512615 669667328 55817 33554432000 134512640 134534564 4292716064 18446744073709551615 134524731 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14489/statm: 163493 55817 91 6 0 162159 0
[pid=14490] ppid=14486 vsize=209832 CPUtime=502.3 cores=3
/proc/14490/stat : 14490 (lingeling) R 14486 14486 14150 0 -1 4202496 245907 0 0 0 50194 36 0 0 25 0 1 0 520512615 214867968 51620 33554432000 4194304 4352236 140736478450832 18446744073709551615 4328026 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14490/statm: 52458 51620 127 39 0 51538 0
[pid=14491] ppid=14486 vsize=1263160 CPUtime=249.77 cores=7
/proc/14491/stat : 14491 (march_hi) R 14486 14486 14150 0 -1 4202496 587518 0 0 0 24736 241 0 0 25 0 1 0 520512615 1293475840 300960 33554432000 4194304 4331988 140733575149632 18446744073709551615 4271136 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14491/statm: 315790 300960 151 34 0 314232 0
Current children cumulated CPU time (s) 2006.42
Current children cumulated vsize (KiB) 3027348

[startup+505.501 s]
/proc/loadavg: 10.17 10.14 9.78 11/188 14518
/proc/meminfo: memFree=17627340/32951124 swapFree=67111524/67111528
[pid=14486] ppid=14484 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14486/stat : 14486 (ppfolio) S 14484 14486 14150 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 520512615 18763776 390 33554432000 4194304 4287625 140737387200944 18446744073709551615 244446965263 0 0 4096 65536 4432149380362928127 0 0 17 5 0 0 0
/proc/14486/statm: 4581 390 341 23 0 91 0
[pid=14487] ppid=14486 vsize=699644 CPUtime=505.49 cores=1
/proc/14487/stat : 14487 (cryptominisat) R 14486 14486 14150 0 -1 4202496 220136 0 0 0 50513 36 0 0 25 0 1 0 520512615 716435456 127032 33554432000 4194304 4587354 140734534928000 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14487/statm: 174911 127032 338 96 0 171473 0
[pid=14488] ppid=14486 vsize=246452 CPUtime=505.48 cores=5
/proc/14488/stat : 14488 (clasp) R 14486 14486 14150 0 -1 4202496 65442 0 0 0 50536 12 0 0 25 0 1 0 520512615 252366848 56569 33554432000 4194304 4785740 140735760440976 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14488/statm: 61613 56569 340 145 0 58658 0
[pid=14489] ppid=14486 vsize=653972 CPUtime=251.37 cores=7
/proc/14489/stat : 14489 (TNM) R 14486 14486 14150 0 -1 4202496 55920 0 0 0 25125 12 0 0 25 0 1 0 520512615 669667328 55817 33554432000 134512640 134534564 4292716064 18446744073709551615 134524668 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14489/statm: 163493 55817 91 6 0 162159 0
[pid=14490] ppid=14486 vsize=209832 CPUtime=505.5 cores=3
/proc/14490/stat : 14490 (lingeling) R 14486 14486 14150 0 -1 4202496 245907 0 0 0 50514 36 0 0 25 0 1 0 520512615 214867968 51620 33554432000 4194304 4352236 140736478450832 18446744073709551615 4328059 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14490/statm: 52458 51620 127 39 0 51538 0
[pid=14491] ppid=14486 vsize=1267780 CPUtime=251.36 cores=7
/proc/14491/stat : 14491 (march_hi) R 14486 14486 14150 0 -1 4202496 588967 0 0 0 24894 242 0 0 25 0 1 0 520512615 1298206720 302409 33554432000 4194304 4331988 140733575149632 18446744073709551615 4271246 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14491/statm: 316945 302409 151 34 0 315387 0
Current children cumulated CPU time (s) 2019.2
Current children cumulated vsize (KiB) 3096004

[startup+506.301 s]
/proc/loadavg: 10.17 10.14 9.78 11/188 14518
/proc/meminfo: memFree=17625108/32951124 swapFree=67111524/67111528
[pid=14486] ppid=14484 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14486/stat : 14486 (ppfolio) S 14484 14486 14150 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 520512615 18763776 390 33554432000 4194304 4287625 140737387200944 18446744073709551615 244446965263 0 0 4096 65536 4432149380362928127 0 0 17 5 0 0 0
/proc/14486/statm: 4581 390 341 23 0 91 0
[pid=14487] ppid=14486 vsize=699644 CPUtime=506.29 cores=1
/proc/14487/stat : 14487 (cryptominisat) R 14486 14486 14150 0 -1 4202496 220136 0 0 0 50593 36 0 0 25 0 1 0 520512615 716435456 127032 33554432000 4194304 4587354 140734534928000 18446744073709551615 4388279 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14487/statm: 174911 127032 338 96 0 171473 0
[pid=14488] ppid=14486 vsize=246452 CPUtime=506.28 cores=5
/proc/14488/stat : 14488 (clasp) R 14486 14486 14150 0 -1 4202496 65442 0 0 0 50616 12 0 0 25 0 1 0 520512615 252366848 56569 33554432000 4194304 4785740 140735760440976 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14488/statm: 61613 56569 340 145 0 58658 0
[pid=14489] ppid=14486 vsize=653972 CPUtime=251.76 cores=7
/proc/14489/stat : 14489 (TNM) R 14486 14486 14150 0 -1 4202496 55920 0 0 0 25164 12 0 0 25 0 1 0 520512615 669667328 55817 33554432000 134512640 134534564 4292716064 18446744073709551615 134524554 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14489/statm: 163493 55817 91 6 0 162159 0
[pid=14490] ppid=14486 vsize=209832 CPUtime=506.3 cores=3
/proc/14490/stat : 14490 (lingeling) R 14486 14486 14150 0 -1 4202496 245907 0 0 0 50594 36 0 0 25 0 1 0 520512615 214867968 51620 33554432000 4194304 4352236 140736478450832 18446744073709551615 4328126 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14490/statm: 52458 51620 127 39 0 51538 0
[pid=14491] ppid=14486 vsize=1268968 CPUtime=251.76 cores=7
/proc/14491/stat : 14491 (march_hi) R 14486 14486 14150 0 -1 4202496 589334 0 0 0 24934 242 0 0 25 0 1 0 520512615 1299423232 302776 33554432000 4194304 4331988 140733575149632 18446744073709551615 4271172 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14491/statm: 317242 302776 151 34 0 315684 0
Current children cumulated CPU time (s) 2022.39
Current children cumulated vsize (KiB) 3097192

[startup+506.701 s]
/proc/loadavg: 10.17 10.14 9.78 11/188 14518
/proc/meminfo: memFree=17625108/32951124 swapFree=67111524/67111528
[pid=14486] ppid=14484 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14486/stat : 14486 (ppfolio) S 14484 14486 14150 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 520512615 18763776 390 33554432000 4194304 4287625 140737387200944 18446744073709551615 244446965263 0 0 4096 65536 4432149380362928127 0 0 17 5 0 0 0
/proc/14486/statm: 4581 390 341 23 0 91 0
[pid=14487] ppid=14486 vsize=699644 CPUtime=506.69 cores=1
/proc/14487/stat : 14487 (cryptominisat) R 14486 14486 14150 0 -1 4202496 220136 0 0 0 50633 36 0 0 25 0 1 0 520512615 716435456 127032 33554432000 4194304 4587354 140734534928000 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14487/statm: 174911 127032 338 96 0 171473 0
[pid=14488] ppid=14486 vsize=246452 CPUtime=506.68 cores=5
/proc/14488/stat : 14488 (clasp) R 14486 14486 14150 0 -1 4202496 65442 0 0 0 50656 12 0 0 25 0 1 0 520512615 252366848 56569 33554432000 4194304 4785740 140735760440976 18446744073709551615 4290576 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14488/statm: 61613 56569 340 145 0 58658 0
[pid=14489] ppid=14486 vsize=653972 CPUtime=251.96 cores=7
/proc/14489/stat : 14489 (TNM) R 14486 14486 14150 0 -1 4202496 55920 0 0 0 25184 12 0 0 25 0 1 0 520512615 669667328 55817 33554432000 134512640 134534564 4292716064 18446744073709551615 134524698 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14489/statm: 163493 55817 91 6 0 162159 0
[pid=14490] ppid=14486 vsize=209832 CPUtime=506.7 cores=3
/proc/14490/stat : 14490 (lingeling) R 14486 14486 14150 0 -1 4202496 245907 0 0 0 50634 36 0 0 25 0 1 0 520512615 214867968 51620 33554432000 4194304 4352236 140736478450832 18446744073709551615 4329060 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14490/statm: 52458 51620 127 39 0 51538 0
[pid=14491] ppid=14486 vsize=1269496 CPUtime=251.96 cores=7
/proc/14491/stat : 14491 (march_hi) R 14486 14486 14150 0 -1 4202496 589517 0 0 0 24954 242 0 0 25 0 1 0 520512615 1299963904 302959 33554432000 4194304 4331988 140733575149632 18446744073709551615 4271172 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14491/statm: 317374 302959 151 34 0 315816 0
Current children cumulated CPU time (s) 2023.99
Current children cumulated vsize (KiB) 3097720

[startup+507.107 s]
/proc/loadavg: 10.17 10.14 9.78 11/188 14518
/proc/meminfo: memFree=17622380/32951124 swapFree=67111524/67111528
[pid=14486] ppid=14484 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14486/stat : 14486 (ppfolio) S 14484 14486 14150 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 520512615 18763776 390 33554432000 4194304 4287625 140737387200944 18446744073709551615 244446965263 0 0 4096 65536 4432149380362928127 0 0 17 5 0 0 0
/proc/14486/statm: 4581 390 341 23 0 91 0
[pid=14487] ppid=14486 vsize=699644 CPUtime=507.09 cores=1
/proc/14487/stat : 14487 (cryptominisat) R 14486 14486 14150 0 -1 4202496 220136 0 0 0 50673 36 0 0 25 0 1 0 520512615 716435456 127032 33554432000 4194304 4587354 140734534928000 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14487/statm: 174911 127032 338 96 0 171473 0
[pid=14488] ppid=14486 vsize=246452 CPUtime=507.09 cores=5
/proc/14488/stat : 14488 (clasp) R 14486 14486 14150 0 -1 4202496 65442 0 0 0 50697 12 0 0 25 0 1 0 520512615 252366848 56569 33554432000 4194304 4785740 140735760440976 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14488/statm: 61613 56569 340 145 0 58658 0
[pid=14489] ppid=14486 vsize=653972 CPUtime=252.16 cores=7
/proc/14489/stat : 14489 (TNM) R 14486 14486 14150 0 -1 4202496 55920 0 0 0 25204 12 0 0 25 0 1 0 520512615 669667328 55817 33554432000 134512640 134534564 4292716064 18446744073709551615 134524664 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14489/statm: 163493 55817 91 6 0 162159 0
[pid=14490] ppid=14486 vsize=209832 CPUtime=507.11 cores=3
/proc/14490/stat : 14490 (lingeling) R 14486 14486 14150 0 -1 4202496 245907 0 0 0 50675 36 0 0 25 0 1 0 520512615 214867968 51620 33554432000 4194304 4352236 140736478450832 18446744073709551615 4328109 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14490/statm: 52458 51620 127 39 0 51538 0
[pid=14491] ppid=14486 vsize=1270156 CPUtime=252.16 cores=7
/proc/14491/stat : 14491 (march_hi) R 14486 14486 14150 0 -1 4202496 589700 0 0 0 24974 242 0 0 25 0 1 0 520512615 1300639744 303142 33554432000 4194304 4331988 140733575149632 18446744073709551615 4271172 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14491/statm: 317539 303142 151 34 0 315981 0
Current children cumulated CPU time (s) 2025.61
Current children cumulated vsize (KiB) 3098380

[startup+507.201 s]
/proc/loadavg: 10.17 10.14 9.78 11/188 14518
/proc/meminfo: memFree=17622380/32951124 swapFree=67111524/67111528
[pid=14486] ppid=14484 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14486/stat : 14486 (ppfolio) S 14484 14486 14150 0 -1 4202496 522 0 0 0 0 0 0 0 16 0 1 0 520512615 18763776 390 33554432000 4194304 4287625 140737387200944 18446744073709551615 244446965263 0 0 4096 65536 5601022311902740479 0 0 17 5 0 0 0
/proc/14486/statm: 4581 390 341 23 0 91 0
[pid=14487] ppid=14486 vsize=0 CPUtime=507.19 cores=1
/proc/14487/stat : 14487 (cryptominisat) R 14486 14486 14150 0 -1 4203524 220136 0 0 0 50682 37 0 0 25 0 1 0 520512615 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14487/statm: 0 0 0 0 0 0 0
[pid=14488] ppid=14486 vsize=0 CPUtime=507.18 cores=5
/proc/14488/stat : 14488 (clasp) R 14486 14486 14150 0 -1 4203524 65442 0 0 0 50705 13 0 0 25 0 1 0 520512615 0 0 33554432000 0 0 0 0 0 0 0 4096 16386 18446744073709551615 0 0 17 5 0 0 0
/proc/14488/statm: 0 0 0 0 0 0 0
[pid=14489] ppid=14486 vsize=653972 CPUtime=252.17 cores=7
/proc/14489/stat : 14489 (TNM) R 14486 14486 14150 0 -1 4202496 55920 0 0 0 25205 12 0 0 25 0 1 0 520512615 669667328 55817 33554432000 134512640 134534564 4292716064 18446744073709551615 134524548 256 0 4096 0 0 0 0 17 7 0 0 0
/proc/14489/statm: 163493 55817 91 6 0 162159 0
[pid=14490] ppid=14486 vsize=209836 CPUtime=507.2 cores=3
/proc/14490/stat : 14490 (lingeling) R 14486 14486 14150 0 -1 4202496 245919 0 0 0 50684 36 0 0 25 0 1 0 520512615 214872064 44130 33554432000 4194304 4352236 140736478450832 18446744073709551615 244446988423 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14490/statm: 52459 44130 138 39 0 51539 0
[pid=14491] ppid=14486 vsize=0 CPUtime=252.24 cores=7
/proc/14491/stat : 14491 (march_hi) R 14486 14486 14150 0 -1 4203524 589770 0 0 0 24981 243 0 0 25 0 1 0 520512615 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/14491/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2025.98
Current children cumulated vsize (KiB) 882132

Child status: 0
Real time (s): 507.268
CPU time (s): 2026.16
CPU user time (s): 2022.61
CPU system time (s): 3.55146
CPU usage (%): 399.426
Max. virtual memory (cumulated for all children) (KiB): 3098380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2022.61
system time used= 3.55146
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1177730
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= 80
involuntary context switches= 19070

runsolver used 0.760884 second user time and 2.02469 second system time

The end

Launcher Data

Begin job on node105 at 2011-04-29 16:58:42
IDJOB=3290778
IDBENCH=83447
IDSOLVER=1612
FILE ID=node105/3290778-1304089120
RUNJOBID= node105-1304087809-14169
PBS_JOBID= 13170561
Free space on /tmp= 71860 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F22.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290778-1304089120/watcher-3290778-1304089120 -o /tmp/evaluation-result-3290778-1304089120/solver-3290778-1304089120 -C 4800 -W 1300 -M 15500  ppfolio HOME/instance-3290778-1304089120.cnf

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

MD5SUM BENCH= 0b29cb9f2e17f3e05b66912497d8cb84
RANDOM SEED=125986058

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
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:      22404376 kB
Buffers:       2155380 kB
Cached:        7145572 kB
SwapCached:          4 kB
Active:        1240736 kB
Inactive:      8757144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22404376 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           80660 kB
Writeback:           0 kB
AnonPages:      696076 kB
Mapped:          16620 kB
Slab:           484948 kB
PageTables:       6300 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1321840 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= 71852 MiB
End job on node105 at 2011-04-29 17:07:09