Trace number 3310346

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 3105.5 389.615

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

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

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


[startup+0 s]
/proc/loadavg: 7.76 7.88 7.94 1/170 27201
/proc/meminfo: memFree=16680588/32951124 swapFree=67111528/67111528
[pid=27201] ppid=27199 vsize=18324 CPUtime=0 cores=0-7
/proc/27201/stat : 27201 (ppfolio) R 27199 27201 26251 0 -1 4202496 520 0 0 0 0 0 0 0 25 0 1 0 513044104 18763776 390 33554432000 4194304 4287625 140734793268656 18446744073709551615 210204667407 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/27201/statm: 4581 390 341 23 0 91 0

[startup+0.0634781 s]
/proc/loadavg: 7.76 7.88 7.94 1/170 27201
/proc/meminfo: memFree=16680588/32951124 swapFree=67111528/67111528
[pid=27201] ppid=27199 vsize=18324 CPUtime=0 cores=0-7
/proc/27201/stat : 27201 (ppfolio) S 27199 27201 26251 0 -1 4202496 521 0 0 0 0 0 0 0 25 0 1 0 513044104 18763776 390 33554432000 4194304 4287625 140734793268656 18446744073709551615 210204667407 0 0 4096 65536 2233318814223695871 0 0 17 6 0 0 0
/proc/27201/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100456 s]
/proc/loadavg: 7.76 7.88 7.94 1/170 27201
/proc/meminfo: memFree=16680588/32951124 swapFree=67111528/67111528
[pid=27201] ppid=27199 vsize=18324 CPUtime=0 cores=0-7
/proc/27201/stat : 27201 (ppfolio) S 27199 27201 26251 0 -1 4202496 521 0 0 0 0 0 0 0 25 0 1 0 513044104 18763776 390 33554432000 4194304 4287625 140734793268656 18446744073709551615 210204667407 0 0 4096 65536 2233318814223695871 0 0 17 6 0 0 0
/proc/27201/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300426 s]
/proc/loadavg: 7.76 7.88 7.94 1/170 27201
/proc/meminfo: memFree=16680588/32951124 swapFree=67111528/67111528
[pid=27201] ppid=27199 vsize=18324 CPUtime=0 cores=0-7
/proc/27201/stat : 27201 (ppfolio) S 27199 27201 26251 0 -1 4202496 521 0 0 0 0 0 0 0 25 0 1 0 513044104 18763776 390 33554432000 4194304 4287625 140734793268656 18446744073709551615 210204667407 0 0 4096 65536 2233318814223695871 0 0 17 6 0 0 0
/proc/27201/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700357 s]
/proc/loadavg: 7.76 7.88 7.94 1/170 27201
/proc/meminfo: memFree=16680588/32951124 swapFree=67111528/67111528
[pid=27201] ppid=27199 vsize=18324 CPUtime=0 cores=0-7
/proc/27201/stat : 27201 (ppfolio) S 27199 27201 26251 0 -1 4202496 521 0 0 0 0 0 0 0 25 0 1 0 513044104 18763776 390 33554432000 4194304 4287625 140734793268656 18446744073709551615 210204667407 0 0 4096 65536 2233318814223695871 0 0 17 6 0 0 0
/proc/27201/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50123 s]
/proc/loadavg: 7.54 7.83 7.92 6/176 27212
/proc/meminfo: memFree=16124640/32951124 swapFree=67111528/67111528
[pid=27201] ppid=27199 vsize=18324 CPUtime=0 cores=0-7
/proc/27201/stat : 27201 (ppfolio) S 27199 27201 26251 0 -1 4202496 521 0 0 0 0 0 0 0 18 0 1 0 513044104 18763776 390 33554432000 4194304 4287625 140734793268656 18446744073709551615 210204667407 0 0 4096 65536 2233318814223695871 0 0 17 6 0 0 0
/proc/27201/statm: 4581 390 341 23 0 91 0
[pid=27202] ppid=27201 vsize=276172 CPUtime=1.49 cores=0
/proc/27202/stat : 27202 (cryptominisat) R 27201 27201 26251 0 -1 4202496 32082 0 0 0 144 5 0 0 25 0 1 0 513044104 282800128 30388 33554432000 4194304 4587354 140733411307616 18446744073709551615 4237443 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27202/statm: 69043 30388 306 96 0 65605 0
[pid=27203] ppid=27201 vsize=182416 CPUtime=1.49 cores=1
/proc/27203/stat : 27203 (clasp) R 27201 27201 26251 0 -1 4202496 47723 0 0 0 142 7 0 0 20 0 1 0 513044105 186793984 41390 33554432000 4194304 4785740 140736125550512 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27203/statm: 45604 41390 317 145 0 42649 0
[pid=27204] ppid=27201 vsize=483680 CPUtime=1.48 cores=2
/proc/27204/stat : 27204 (TNM) R 27201 27201 26251 0 -1 4202496 10186 0 0 0 146 2 0 0 25 0 1 0 513044105 495288320 10084 33554432000 134512640 134534564 4294081216 18446744073709551615 11990524 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27204/statm: 120920 10084 90 6 0 119586 0
[pid=27205] ppid=27201 vsize=78376 CPUtime=1.49 cores=3
/proc/27205/stat : 27205 (march_hi) R 27201 27201 26251 0 -1 4194304 18040 0 0 0 143 6 0 0 20 0 1 0 513044105 80257024 17935 33554432000 4194304 4331988 140735451822624 18446744073709551615 210204647168 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27205/statm: 19594 17935 113 34 0 18036 0
[pid=27206] ppid=27201 vsize=272464 CPUtime=1.48 cores=4-7
/proc/27206/stat : 27206 (plingeling) R 27201 27201 26251 0 -1 4202496 66985 1250 0 0 140 8 0 0 21 0 1 0 513044105 279003136 66762 33554432000 4194304 4356188 140736137553312 18446744073709551615 210204647168 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27206/statm: 68116 66762 132 40 0 66660 0
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (KiB) 1311432

[startup+3.10094 s]
/proc/loadavg: 7.54 7.83 7.92 6/176 27212
/proc/meminfo: memFree=15678872/32951124 swapFree=67111528/67111528
[pid=27201] ppid=27199 vsize=18324 CPUtime=0 cores=0-7
/proc/27201/stat : 27201 (ppfolio) S 27199 27201 26251 0 -1 4202496 521 0 0 0 0 0 0 0 17 0 1 0 513044104 18763776 390 33554432000 4194304 4287625 140734793268656 18446744073709551615 210204667407 0 0 4096 65536 2233318814223695871 0 0 17 6 0 0 0
/proc/27201/statm: 4581 390 341 23 0 91 0
[pid=27202] ppid=27201 vsize=546704 CPUtime=3.09 cores=0
/proc/27202/stat : 27202 (cryptominisat) R 27201 27201 26251 0 -1 4202496 89948 0 0 0 297 12 0 0 25 0 1 0 513044104 559824896 88222 33554432000 4194304 4587354 140733411307616 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27202/statm: 136676 88222 311 96 0 133238 0
[pid=27203] ppid=27201 vsize=182416 CPUtime=3.09 cores=1
/proc/27203/stat : 27203 (clasp) R 27201 27201 26251 0 -1 4202496 47723 0 0 0 302 7 0 0 25 0 1 0 513044105 186793984 41390 33554432000 4194304 4785740 140736125550512 18446744073709551615 4495610 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27203/statm: 45604 41390 317 145 0 42649 0
[pid=27204] ppid=27201 vsize=653972 CPUtime=3.09 cores=2
/proc/27204/stat : 27204 (TNM) R 27201 27201 26251 0 -1 4202496 55920 0 0 0 300 9 0 0 25 0 1 0 513044105 669667328 55817 33554432000 134512640 134534564 4294081216 18446744073709551615 134524464 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27204/statm: 163493 55817 91 6 0 162159 0
[pid=27205] ppid=27201 vsize=237696 CPUtime=3.09 cores=3
/proc/27205/stat : 27205 (march_hi) R 27201 27201 26251 0 -1 4194304 45612 0 0 0 298 11 0 0 25 0 1 0 513044105 243400704 30289 33554432000 4194304 4331988 140735451822624 18446744073709551615 4252211 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27205/statm: 59424 30292 128 34 0 57866 0
[pid=27206] ppid=27201 vsize=508912 CPUtime=3.88 cores=4-7
/proc/27206/stat : 27206 (plingeling) S 27201 27201 26251 0 -1 4202496 132571 1250 0 0 371 17 0 0 18 0 5 0 513044105 521125888 115639 33554432000 4194304 4356188 140736137553312 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/27206/statm: 127228 115639 141 40 0 125772 0
Current children cumulated CPU time (s) 16.24
Current children cumulated vsize (KiB) 2148024

[startup+6.30139 s]
/proc/loadavg: 7.54 7.83 7.92 9/180 27216
/proc/meminfo: memFree=15230456/32951124 swapFree=67111528/67111528
[pid=27201] ppid=27199 vsize=18324 CPUtime=0 cores=0-7
/proc/27201/stat : 27201 (ppfolio) S 27199 27201 26251 0 -1 4202496 521 0 0 0 0 0 0 0 17 0 1 0 513044104 18763776 390 33554432000 4194304 4287625 140734793268656 18446744073709551615 210204667407 0 0 4096 65536 2233318814223695871 0 0 17 6 0 0 0
/proc/27201/statm: 4581 390 341 23 0 91 0
[pid=27202] ppid=27201 vsize=546704 CPUtime=6.29 cores=0
/proc/27202/stat : 27202 (cryptominisat) R 27201 27201 26251 0 -1 4202496 89948 0 0 0 617 12 0 0 25 0 1 0 513044104 559824896 88222 33554432000 4194304 4587354 140733411307616 18446744073709551615 4357668 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27202/statm: 136676 88222 311 96 0 133238 0
[pid=27203] ppid=27201 vsize=182416 CPUtime=6.29 cores=1
/proc/27203/stat : 27203 (clasp) R 27201 27201 26251 0 -1 4202496 47724 0 0 0 622 7 0 0 25 0 1 0 513044105 186793984 41391 33554432000 4194304 4785740 140736125550512 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27203/statm: 45604 41391 318 145 0 42649 0
[pid=27204] ppid=27201 vsize=653972 CPUtime=6.29 cores=2
/proc/27204/stat : 27204 (TNM) R 27201 27201 26251 0 -1 4202496 55920 0 0 0 620 9 0 0 25 0 1 0 513044105 669667328 55817 33554432000 134512640 134534564 4294081216 18446744073709551615 134524736 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27204/statm: 163493 55817 91 6 0 162159 0
[pid=27205] ppid=27201 vsize=246600 CPUtime=6.28 cores=3
/proc/27205/stat : 27205 (march_hi) R 27201 27201 26251 0 -1 4202496 182763 0 0 0 594 34 0 0 25 0 1 0 513044105 252518400 31532 33554432000 4194304 4331988 140735451822624 18446744073709551615 4252211 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27205/statm: 61650 31533 148 34 0 60092 0
[pid=27206] ppid=27201 vsize=708408 CPUtime=16.65 cores=4-7
/proc/27206/stat : 27206 (plingeling) S 27201 27201 26251 0 -1 4202496 189416 1250 0 0 1636 29 0 0 18 0 5 0 513044105 725409792 165524 33554432000 4194304 4356188 140736137553312 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/27206/statm: 177102 165524 160 40 0 175646 0
[pid=27206/tid=27213] ppid=27201 vsize=708408 CPUtime=3.44 cores=4-7
/proc/27206/task/27213/stat : 27213 (plingeling) R 27201 27201 26251 0 -1 4202560 18027 1250 0 0 342 2 0 0 25 0 5 0 513044388 725409792 165524 33554432000 4194304 4356188 140736137553312 18446744073709551615 4248450 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27206/tid=27214] ppid=27201 vsize=708408 CPUtime=3.45 cores=4-7
/proc/27206/task/27214/stat : 27214 (plingeling) R 27201 27201 26251 0 -1 4202560 18402 1250 0 0 341 4 0 0 25 0 5 0 513044388 725409792 165524 33554432000 4194304 4356188 140736137553312 18446744073709551615 4286869 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27206/tid=27215] ppid=27201 vsize=708408 CPUtime=3.45 cores=4-7
/proc/27206/task/27215/stat : 27215 (plingeling) R 27201 27201 26251 0 -1 4202560 18293 1250 0 0 341 4 0 0 25 0 5 0 513044388 725409792 165524 33554432000 4194304 4356188 140736137553312 18446744073709551615 4322401 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27206/tid=27216] ppid=27201 vsize=708408 CPUtime=3.45 cores=4-7
/proc/27206/task/27216/stat : 27216 (plingeling) R 27201 27201 26251 0 -1 4202560 2161 1250 0 0 344 1 0 0 25 0 5 0 513044388 725409792 165524 33554432000 4194304 4356188 140736137553312 18446744073709551615 4334501 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 41.8
Current children cumulated vsize (KiB) 2356424

[startup+12.7013 s]
/proc/loadavg: 7.68 7.85 7.93 9/180 27216
/proc/meminfo: memFree=15206424/32951124 swapFree=67111528/67111528
[pid=27201] ppid=27199 vsize=18324 CPUtime=0 cores=0-7
/proc/27201/stat : 27201 (ppfolio) S 27199 27201 26251 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 513044104 18763776 390 33554432000 4194304 4287625 140734793268656 18446744073709551615 210204667407 0 0 4096 65536 2233318814223695871 0 0 17 6 0 0 0
/proc/27201/statm: 4581 390 341 23 0 91 0
[pid=27202] ppid=27201 vsize=574328 CPUtime=12.69 cores=0
/proc/27202/stat : 27202 (cryptominisat) R 27201 27201 26251 0 -1 4202496 132681 0 0 0 1251 18 0 0 25 0 1 0 513044104 588111872 99197 33554432000 4194304 4587354 140733411307616 18446744073709551615 4357662 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27202/statm: 143582 99197 316 96 0 140144 0
[pid=27203] ppid=27201 vsize=182416 CPUtime=12.69 cores=1
/proc/27203/stat : 27203 (clasp) R 27201 27201 26251 0 -1 4202496 47724 0 0 0 1262 7 0 0 25 0 1 0 513044105 186793984 41391 33554432000 4194304 4785740 140736125550512 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27203/statm: 45604 41391 318 145 0 42649 0
[pid=27204] ppid=27201 vsize=653972 CPUtime=12.69 cores=2
/proc/27204/stat : 27204 (TNM) R 27201 27201 26251 0 -1 4202496 55920 0 0 0 1260 9 0 0 25 0 1 0 513044105 669667328 55817 33554432000 134512640 134534564 4294081216 18446744073709551615 134524548 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27204/statm: 163493 55817 91 6 0 162159 0
[pid=27205] ppid=27201 vsize=273240 CPUtime=12.69 cores=3
/proc/27205/stat : 27205 (march_hi) R 27201 27201 26251 0 -1 4202496 340697 0 0 0 1214 55 0 0 25 0 1 0 513044105 279797760 54139 33554432000 4194304 4331988 140735451822624 18446744073709551615 4271172 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27205/statm: 68310 54139 151 34 0 66752 0
[pid=27206] ppid=27201 vsize=518992 CPUtime=42.21 cores=4-7
/proc/27206/stat : 27206 (plingeling) S 27201 27201 26251 0 -1 4202496 191455 1250 0 0 4191 30 0 0 18 0 5 0 513044105 531447808 118205 33554432000 4194304 4356188 140736137553312 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/27206/statm: 129748 118205 163 40 0 128292 0
[pid=27206/tid=27213] ppid=27201 vsize=518992 CPUtime=9.8 cores=4-7
/proc/27206/task/27213/stat : 27213 (plingeling) R 27201 27201 26251 0 -1 4202560 18027 1250 0 0 978 2 0 0 25 0 5 0 513044388 531447808 118205 33554432000 4194304 4356188 140736137553312 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27206/tid=27214] ppid=27201 vsize=518992 CPUtime=9.85 cores=4-7
/proc/27206/task/27214/stat : 27214 (plingeling) R 27201 27201 26251 0 -1 4202560 18405 1250 0 0 981 4 0 0 25 0 5 0 513044388 531447808 118205 33554432000 4194304 4356188 140736137553312 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27206/tid=27215] ppid=27201 vsize=518992 CPUtime=9.85 cores=4-7
/proc/27206/task/27215/stat : 27215 (plingeling) R 27201 27201 26251 0 -1 4202560 18389 1250 0 0 981 4 0 0 25 0 5 0 513044388 531447808 118205 33554432000 4194304 4356188 140736137553312 18446744073709551615 4238831 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27206/tid=27216] ppid=27201 vsize=518992 CPUtime=9.85 cores=4-7
/proc/27206/task/27216/stat : 27216 (plingeling) R 27201 27201 26251 0 -1 4202560 4101 1250 0 0 984 1 0 0 25 0 5 0 513044388 531447808 118205 33554432000 4194304 4356188 140736137553312 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 92.97
Current children cumulated vsize (KiB) 2221272

[startup+25.5012 s]
/proc/loadavg: 7.73 7.86 7.93 9/180 27216
/proc/meminfo: memFree=15099800/32951124 swapFree=67111528/67111528
[pid=27201] ppid=27199 vsize=18324 CPUtime=0 cores=0-7
/proc/27201/stat : 27201 (ppfolio) S 27199 27201 26251 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 513044104 18763776 390 33554432000 4194304 4287625 140734793268656 18446744073709551615 210204667407 0 0 4096 65536 2233318814223695871 0 0 17 6 0 0 0
/proc/27201/statm: 4581 390 341 23 0 91 0
[pid=27202] ppid=27201 vsize=574328 CPUtime=25.49 cores=0
/proc/27202/stat : 27202 (cryptominisat) R 27201 27201 26251 0 -1 4202496 132681 0 0 0 2531 18 0 0 25 0 1 0 513044104 588111872 99197 33554432000 4194304 4587354 140733411307616 18446744073709551615 4378456 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27202/statm: 143582 99197 316 96 0 140144 0
[pid=27203] ppid=27201 vsize=182416 CPUtime=25.49 cores=1
/proc/27203/stat : 27203 (clasp) R 27201 27201 26251 0 -1 4202496 47724 0 0 0 2542 7 0 0 25 0 1 0 513044105 186793984 41391 33554432000 4194304 4785740 140736125550512 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27203/statm: 45604 41391 318 145 0 42649 0
[pid=27204] ppid=27201 vsize=653972 CPUtime=25.49 cores=2
/proc/27204/stat : 27204 (TNM) R 27201 27201 26251 0 -1 4202496 55920 0 0 0 2540 9 0 0 25 0 1 0 513044105 669667328 55817 33554432000 134512640 134534564 4294081216 18446744073709551615 134524666 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27204/statm: 163493 55817 91 6 0 162159 0
[pid=27205] ppid=27201 vsize=310844 CPUtime=25.49 cores=3
/proc/27205/stat : 27205 (march_hi) R 27201 27201 26251 0 -1 4202496 350000 0 0 0 2489 60 0 0 25 0 1 0 513044105 318304256 63442 33554432000 4194304 4331988 140735451822624 18446744073709551615 4226642 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27205/statm: 77711 63442 151 34 0 76153 0
[pid=27206] ppid=27201 vsize=590940 CPUtime=93.34 cores=4-7
/proc/27206/stat : 27206 (plingeling) S 27201 27201 26251 0 -1 4202496 245977 1250 0 0 9297 37 0 0 18 0 5 0 513044105 605122560 136160 33554432000 4194304 4356188 140736137553312 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/27206/statm: 147735 136160 163 40 0 146279 0
[pid=27206/tid=27213] ppid=27201 vsize=590940 CPUtime=22.52 cores=4-7
/proc/27206/task/27213/stat : 27213 (plingeling) R 27201 27201 26251 0 -1 4202560 35252 1250 0 0 2248 4 0 0 25 0 5 0 513044388 605122560 136160 33554432000 4194304 4356188 140736137553312 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27206/tid=27214] ppid=27201 vsize=590940 CPUtime=22.65 cores=4-7

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

[pid=27206/tid=27216] ppid=27201 vsize=771440 CPUtime=374.61 cores=4-7
/proc/27206/task/27216/stat : 27216 (plingeling) R 27201 27201 26251 0 -1 4202560 145994 1250 0 0 37443 18 0 0 25 0 5 0 513044388 789954560 181285 33554432000 4194304 4356188 140736137553312 18446744073709551615 4281495 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3009.32
Current children cumulated vsize (KiB) 4386392

[startup+383.906 s]
/proc/loadavg: 8.06 7.98 7.94 9/180 27226
/proc/meminfo: memFree=13092908/32951124 swapFree=67111528/67111528
[pid=27201] ppid=27199 vsize=18324 CPUtime=0 cores=0-7
/proc/27201/stat : 27201 (ppfolio) S 27199 27201 26251 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 513044104 18763776 390 33554432000 4194304 4287625 140734793268656 18446744073709551615 210204667407 0 0 4096 65536 2233318814223695871 0 0 17 6 0 0 0
/proc/27201/statm: 4581 390 341 23 0 91 0
[pid=27202] ppid=27201 vsize=699640 CPUtime=383.9 cores=0
/proc/27202/stat : 27202 (cryptominisat) R 27201 27201 26251 0 -1 4202496 220136 0 0 0 38359 31 0 0 25 0 1 0 513044104 716431360 127032 33554432000 4194304 4587354 140733411307616 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27202/statm: 174910 127032 338 96 0 171472 0
[pid=27203] ppid=27201 vsize=265380 CPUtime=383.9 cores=1
/proc/27203/stat : 27203 (clasp) R 27201 27201 26251 0 -1 4202496 70998 0 0 0 38379 11 0 0 25 0 1 0 513044105 271749120 62125 33554432000 4194304 4785740 140736125550512 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27203/statm: 66345 62125 340 145 0 63390 0
[pid=27204] ppid=27201 vsize=653972 CPUtime=383.9 cores=2
/proc/27204/stat : 27204 (TNM) R 27201 27201 26251 0 -1 4202496 55920 0 0 0 38381 9 0 0 25 0 1 0 513044105 669667328 55817 33554432000 134512640 134534564 4294081216 18446744073709551615 134524698 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27204/statm: 163493 55817 91 6 0 162159 0
[pid=27205] ppid=27201 vsize=2016280 CPUtime=383.89 cores=3
/proc/27205/stat : 27205 (march_hi) R 27201 27201 26251 0 -1 4202496 757716 0 0 0 38084 305 0 0 25 0 1 0 513044105 2064670720 471158 33554432000 4194304 4331988 140735451822624 18446744073709551615 210204308165 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27205/statm: 504070 471158 151 34 0 502512 0
[pid=27206] ppid=27201 vsize=771440 CPUtime=1524.95 cores=4-7
/proc/27206/stat : 27206 (plingeling) S 27201 27201 26251 0 -1 4202496 811016 1250 0 0 152380 115 0 0 18 0 5 0 513044105 789954560 181285 33554432000 4194304 4356188 140736137553312 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/27206/statm: 192860 181285 163 40 0 191404 0
[pid=27206/tid=27213] ppid=27201 vsize=771440 CPUtime=378.97 cores=4-7
/proc/27206/task/27213/stat : 27213 (plingeling) R 27201 27201 26251 0 -1 4202560 178955 1250 0 0 37872 25 0 0 25 0 5 0 513044388 789954560 181285 33554432000 4194304 4356188 140736137553312 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27206/tid=27214] ppid=27201 vsize=771440 CPUtime=381.04 cores=4-7
/proc/27206/task/27214/stat : 27214 (plingeling) R 27201 27201 26251 0 -1 4202560 182142 1250 0 0 38078 26 0 0 25 0 5 0 513044388 789954560 181285 33554432000 4194304 4356188 140736137553312 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27206/tid=27215] ppid=27201 vsize=771440 CPUtime=381.05 cores=4-7
/proc/27206/task/27215/stat : 27215 (plingeling) R 27201 27201 26251 0 -1 4202560 171392 1250 0 0 38078 27 0 0 25 0 5 0 513044388 789954560 181285 33554432000 4194304 4356188 140736137553312 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27206/tid=27216] ppid=27201 vsize=771440 CPUtime=381.02 cores=4-7
/proc/27206/task/27216/stat : 27216 (plingeling) R 27201 27201 26251 0 -1 4202560 145994 1250 0 0 38084 18 0 0 25 0 5 0 513044388 789954560 181285 33554432000 4194304 4356188 140736137553312 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3060.54
Current children cumulated vsize (KiB) 4425036

[startup+387.101 s]
/proc/loadavg: 8.06 7.98 7.94 9/180 27226
/proc/meminfo: memFree=13072696/32951124 swapFree=67111528/67111528
[pid=27201] ppid=27199 vsize=18324 CPUtime=0 cores=0-7
/proc/27201/stat : 27201 (ppfolio) S 27199 27201 26251 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 513044104 18763776 390 33554432000 4194304 4287625 140734793268656 18446744073709551615 210204667407 0 0 4096 65536 2233318814223695871 0 0 17 6 0 0 0
/proc/27201/statm: 4581 390 341 23 0 91 0
[pid=27202] ppid=27201 vsize=699640 CPUtime=387.1 cores=0
/proc/27202/stat : 27202 (cryptominisat) R 27201 27201 26251 0 -1 4202496 220136 0 0 0 38679 31 0 0 25 0 1 0 513044104 716431360 127032 33554432000 4194304 4587354 140733411307616 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27202/statm: 174910 127032 338 96 0 171472 0
[pid=27203] ppid=27201 vsize=269908 CPUtime=387.1 cores=1
/proc/27203/stat : 27203 (clasp) R 27201 27201 26251 0 -1 4202496 72071 0 0 0 38699 11 0 0 25 0 1 0 513044105 276385792 63198 33554432000 4194304 4785740 140736125550512 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27203/statm: 67477 63198 340 145 0 64522 0
[pid=27204] ppid=27201 vsize=653972 CPUtime=387.1 cores=2
/proc/27204/stat : 27204 (TNM) R 27201 27201 26251 0 -1 4202496 55920 0 0 0 38701 9 0 0 25 0 1 0 513044105 669667328 55817 33554432000 134512640 134534564 4294081216 18446744073709551615 134524573 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27204/statm: 163493 55817 91 6 0 162159 0
[pid=27205] ppid=27201 vsize=2028556 CPUtime=387.09 cores=3
/proc/27205/stat : 27205 (march_hi) R 27201 27201 26251 0 -1 4202496 761541 0 0 0 38403 306 0 0 25 0 1 0 513044105 2077241344 474983 33554432000 4194304 4331988 140735451822624 18446744073709551615 210204308165 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27205/statm: 507139 474983 151 34 0 505581 0
[pid=27206] ppid=27201 vsize=771440 CPUtime=1537.73 cores=4-7
/proc/27206/stat : 27206 (plingeling) S 27201 27201 26251 0 -1 4202496 811016 1250 0 0 153658 115 0 0 18 0 5 0 513044105 789954560 181285 33554432000 4194304 4356188 140736137553312 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/27206/statm: 192860 181285 163 40 0 191404 0
[pid=27206/tid=27213] ppid=27201 vsize=771440 CPUtime=382.15 cores=4-7
/proc/27206/task/27213/stat : 27213 (plingeling) R 27201 27201 26251 0 -1 4202560 178955 1250 0 0 38190 25 0 0 25 0 5 0 513044388 789954560 181285 33554432000 4194304 4356188 140736137553312 18446744073709551615 4298512 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27206/tid=27214] ppid=27201 vsize=771440 CPUtime=384.24 cores=4-7
/proc/27206/task/27214/stat : 27214 (plingeling) R 27201 27201 26251 0 -1 4202560 182142 1250 0 0 38398 26 0 0 25 0 5 0 513044388 789954560 181285 33554432000 4194304 4356188 140736137553312 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27206/tid=27215] ppid=27201 vsize=771440 CPUtime=384.25 cores=4-7
/proc/27206/task/27215/stat : 27215 (plingeling) R 27201 27201 26251 0 -1 4202560 171392 1250 0 0 38398 27 0 0 25 0 5 0 513044388 789954560 181285 33554432000 4194304 4356188 140736137553312 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27206/tid=27216] ppid=27201 vsize=771440 CPUtime=384.22 cores=4-7
/proc/27206/task/27216/stat : 27216 (plingeling) R 27201 27201 26251 0 -1 4202560 145994 1250 0 0 38404 18 0 0 25 0 5 0 513044388 789954560 181285 33554432000 4194304 4356188 140736137553312 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3086.12
Current children cumulated vsize (KiB) 4441840

[startup+388.701 s]
/proc/loadavg: 8.06 7.98 7.94 9/180 27226
/proc/meminfo: memFree=13131224/32951124 swapFree=67111528/67111528
[pid=27201] ppid=27199 vsize=18324 CPUtime=0 cores=0-7
/proc/27201/stat : 27201 (ppfolio) S 27199 27201 26251 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 513044104 18763776 390 33554432000 4194304 4287625 140734793268656 18446744073709551615 210204667407 0 0 4096 65536 2233318814223695871 0 0 17 6 0 0 0
/proc/27201/statm: 4581 390 341 23 0 91 0
[pid=27202] ppid=27201 vsize=699640 CPUtime=388.69 cores=0
/proc/27202/stat : 27202 (cryptominisat) R 27201 27201 26251 0 -1 4202496 220136 0 0 0 38838 31 0 0 25 0 1 0 513044104 716431360 127032 33554432000 4194304 4587354 140733411307616 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27202/statm: 174910 127032 338 96 0 171472 0
[pid=27203] ppid=27201 vsize=272456 CPUtime=388.69 cores=1
/proc/27203/stat : 27203 (clasp) R 27201 27201 26251 0 -1 4202496 72658 0 0 0 38858 11 0 0 25 0 1 0 513044105 278994944 63785 33554432000 4194304 4785740 140736125550512 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27203/statm: 68114 63785 340 145 0 65159 0
[pid=27204] ppid=27201 vsize=653972 CPUtime=388.69 cores=2
/proc/27204/stat : 27204 (TNM) R 27201 27201 26251 0 -1 4202496 55920 0 0 0 38860 9 0 0 25 0 1 0 513044105 669667328 55817 33554432000 134512640 134534564 4294081216 18446744073709551615 134524554 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27204/statm: 163493 55817 91 6 0 162159 0
[pid=27205] ppid=27201 vsize=2034364 CPUtime=388.69 cores=3
/proc/27205/stat : 27205 (march_hi) R 27201 27201 26251 0 -1 4202496 763342 0 0 0 38562 307 0 0 25 0 1 0 513044105 2083188736 476784 33554432000 4194304 4331988 140735451822624 18446744073709551615 4271136 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27205/statm: 508591 476784 151 34 0 507033 0
[pid=27206] ppid=27201 vsize=705904 CPUtime=1544.11 cores=4-7
/proc/27206/stat : 27206 (plingeling) S 27201 27201 26251 0 -1 4202496 811016 1250 0 0 154295 116 0 0 18 0 5 0 513044105 722845696 164901 33554432000 4194304 4356188 140736137553312 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/27206/statm: 176476 164901 163 40 0 175020 0
[pid=27206/tid=27213] ppid=27201 vsize=705904 CPUtime=383.73 cores=4-7
/proc/27206/task/27213/stat : 27213 (plingeling) R 27201 27201 26251 0 -1 4202560 178955 1250 0 0 38348 25 0 0 25 0 5 0 513044388 722845696 164901 33554432000 4194304 4356188 140736137553312 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27206/tid=27214] ppid=27201 vsize=705904 CPUtime=385.84 cores=4-7
/proc/27206/task/27214/stat : 27214 (plingeling) R 27201 27201 26251 0 -1 4202560 182142 1250 0 0 38558 26 0 0 25 0 5 0 513044388 722845696 164901 33554432000 4194304 4356188 140736137553312 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27206/tid=27215] ppid=27201 vsize=705904 CPUtime=385.85 cores=4-7
/proc/27206/task/27215/stat : 27215 (plingeling) R 27201 27201 26251 0 -1 4202560 171392 1250 0 0 38558 27 0 0 25 0 5 0 513044388 722845696 164901 33554432000 4194304 4356188 140736137553312 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27206/tid=27216] ppid=27201 vsize=705904 CPUtime=385.81 cores=4-7
/proc/27206/task/27216/stat : 27216 (plingeling) R 27201 27201 26251 0 -1 4202560 145994 1250 0 0 38563 18 0 0 25 0 5 0 513044388 722845696 164901 33554432000 4194304 4356188 140736137553312 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3098.87
Current children cumulated vsize (KiB) 4384660

[startup+389.1 s]
/proc/loadavg: 8.06 7.98 7.94 9/180 27226
/proc/meminfo: memFree=13131224/32951124 swapFree=67111528/67111528
[pid=27201] ppid=27199 vsize=18324 CPUtime=0 cores=0-7
/proc/27201/stat : 27201 (ppfolio) S 27199 27201 26251 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 513044104 18763776 390 33554432000 4194304 4287625 140734793268656 18446744073709551615 210204667407 0 0 4096 65536 2233318814223695871 0 0 17 6 0 0 0
/proc/27201/statm: 4581 390 341 23 0 91 0
[pid=27202] ppid=27201 vsize=699640 CPUtime=389.09 cores=0
/proc/27202/stat : 27202 (cryptominisat) R 27201 27201 26251 0 -1 4202496 220136 0 0 0 38878 31 0 0 25 0 1 0 513044104 716431360 127032 33554432000 4194304 4587354 140733411307616 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27202/statm: 174910 127032 338 96 0 171472 0
[pid=27203] ppid=27201 vsize=272908 CPUtime=389.09 cores=1
/proc/27203/stat : 27203 (clasp) R 27201 27201 26251 0 -1 4202496 72759 0 0 0 38898 11 0 0 25 0 1 0 513044105 279457792 63886 33554432000 4194304 4785740 140736125550512 18446744073709551615 4286964 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27203/statm: 68227 63886 340 145 0 65272 0
[pid=27204] ppid=27201 vsize=653972 CPUtime=389.09 cores=2
/proc/27204/stat : 27204 (TNM) R 27201 27201 26251 0 -1 4202496 55920 0 0 0 38900 9 0 0 25 0 1 0 513044105 669667328 55817 33554432000 134512640 134534564 4294081216 18446744073709551615 134524752 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27204/statm: 163493 55817 91 6 0 162159 0
[pid=27205] ppid=27201 vsize=2036080 CPUtime=389.09 cores=3
/proc/27205/stat : 27205 (march_hi) R 27201 27201 26251 0 -1 4202496 763864 0 0 0 38602 307 0 0 25 0 1 0 513044105 2084945920 477306 33554432000 4194304 4331988 140735451822624 18446744073709551615 4226645 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27205/statm: 509020 477306 151 34 0 507462 0
[pid=27206] ppid=27201 vsize=705904 CPUtime=1545.71 cores=4-7
/proc/27206/stat : 27206 (plingeling) S 27201 27201 26251 0 -1 4202496 811016 1250 0 0 154455 116 0 0 18 0 5 0 513044105 722845696 164901 33554432000 4194304 4356188 140736137553312 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/27206/statm: 176476 164901 163 40 0 175020 0
[pid=27206/tid=27213] ppid=27201 vsize=705904 CPUtime=384.13 cores=4-7
/proc/27206/task/27213/stat : 27213 (plingeling) R 27201 27201 26251 0 -1 4202560 178955 1250 0 0 38388 25 0 0 25 0 5 0 513044388 722845696 164901 33554432000 4194304 4356188 140736137553312 18446744073709551615 4331259 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27206/tid=27214] ppid=27201 vsize=705904 CPUtime=386.24 cores=4-7
/proc/27206/task/27214/stat : 27214 (plingeling) R 27201 27201 26251 0 -1 4202560 182142 1250 0 0 38598 26 0 0 25 0 5 0 513044388 722845696 164901 33554432000 4194304 4356188 140736137553312 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27206/tid=27215] ppid=27201 vsize=705904 CPUtime=386.25 cores=4-7
/proc/27206/task/27215/stat : 27215 (plingeling) R 27201 27201 26251 0 -1 4202560 171392 1250 0 0 38598 27 0 0 25 0 5 0 513044388 722845696 164901 33554432000 4194304 4356188 140736137553312 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27206/tid=27216] ppid=27201 vsize=705904 CPUtime=386.21 cores=4-7
/proc/27206/task/27216/stat : 27216 (plingeling) R 27201 27201 26251 0 -1 4202560 145994 1250 0 0 38603 18 0 0 25 0 5 0 513044388 722845696 164901 33554432000 4194304 4356188 140736137553312 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3102.07
Current children cumulated vsize (KiB) 4386828

[startup+389.501 s]
/proc/loadavg: 8.06 7.98 7.94 9/180 27226
/proc/meminfo: memFree=13124404/32951124 swapFree=67111528/67111528
[pid=27201] ppid=27199 vsize=18324 CPUtime=0 cores=0-7
/proc/27201/stat : 27201 (ppfolio) S 27199 27201 26251 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 513044104 18763776 390 33554432000 4194304 4287625 140734793268656 18446744073709551615 210204667407 0 0 4096 65536 2233318814223695871 0 0 17 6 0 0 0
/proc/27201/statm: 4581 390 341 23 0 91 0
[pid=27202] ppid=27201 vsize=699640 CPUtime=389.49 cores=0
/proc/27202/stat : 27202 (cryptominisat) R 27201 27201 26251 0 -1 4202496 220136 0 0 0 38918 31 0 0 25 0 1 0 513044104 716431360 127032 33554432000 4194304 4587354 140733411307616 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27202/statm: 174910 127032 338 96 0 171472 0
[pid=27203] ppid=27201 vsize=273308 CPUtime=389.49 cores=1
/proc/27203/stat : 27203 (clasp) R 27201 27201 26251 0 -1 4202496 72857 0 0 0 38938 11 0 0 25 0 1 0 513044105 279867392 63984 33554432000 4194304 4785740 140736125550512 18446744073709551615 4287008 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27203/statm: 68327 63984 340 145 0 65372 0
[pid=27204] ppid=27201 vsize=653972 CPUtime=389.49 cores=2
/proc/27204/stat : 27204 (TNM) R 27201 27201 26251 0 -1 4202496 55920 0 0 0 38940 9 0 0 25 0 1 0 513044105 669667328 55817 33554432000 134512640 134534564 4294081216 18446744073709551615 134524554 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27204/statm: 163493 55817 91 6 0 162159 0
[pid=27205] ppid=27201 vsize=2037796 CPUtime=389.49 cores=3
/proc/27205/stat : 27205 (march_hi) R 27201 27201 26251 0 -1 4202496 764393 0 0 0 38642 307 0 0 25 0 1 0 513044105 2086703104 477835 33554432000 4194304 4331988 140735451822624 18446744073709551615 4226642 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27205/statm: 509449 477835 151 34 0 507891 0
[pid=27206] ppid=27201 vsize=695660 CPUtime=1547.21 cores=4-7
/proc/27206/stat : 27206 (plingeling) R 27201 27201 26251 0 -1 4202496 811017 1250 0 0 154605 116 0 0 17 0 2 0 513044105 712355840 153606 33554432000 4194304 4356188 140736137553312 18446744073709551615 210204690567 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/27206/statm: 173915 153606 164 40 0 172459 0
[pid=27206/tid=27216] ppid=27201 vsize=695660 CPUtime=386.61 cores=4-7
/proc/27206/task/27216/stat : 27216 (plingeling) D 27201 27201 26251 0 -1 4202564 145994 1250 0 0 38643 18 0 0 25 0 2 0 513044388 712355840 153094 33554432000 4194304 4356188 140736137553312 18446744073709551615 210216445218 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3105.17
Current children cumulated vsize (KiB) 4378700

[startup+389.6 s]
/proc/loadavg: 8.06 7.98 7.94 9/180 27226
/proc/meminfo: memFree=13124404/32951124 swapFree=67111528/67111528
[pid=27201] ppid=27199 vsize=18324 CPUtime=2715.87 cores=0-7
/proc/27201/stat : 27201 (ppfolio) S 27199 27201 26251 0 -1 4202496 522 1161202 0 0 0 0 271411 176 15 0 1 0 513044104 18763776 391 33554432000 4194304 4287625 140734793268656 18446744073709551615 210204667407 0 0 4096 65536 4612411150640873471 0 0 17 6 0 0 0
/proc/27201/statm: 4581 391 342 23 0 91 0
[pid=27205] ppid=27201 vsize=0 CPUtime=389.59 cores=3
/proc/27205/stat : 27205 (march_hi) R 27201 27201 26251 0 -1 4203524 764423 0 0 0 38644 315 0 0 25 0 1 0 513044105 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/27205/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3105.46
Current children cumulated vsize (KiB) 18324

Child status: 0
Real time (s): 389.615
CPU time (s): 3105.5
CPU user time (s): 3100.56
CPU system time (s): 4.93325
CPU usage (%): 797.067
Max. virtual memory (cumulated for all children) (KiB): 4446476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3100.56
system time used= 4.93325
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1926164
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= 259
involuntary context switches= 14639

runsolver used 0.542917 second user time and 1.59376 second system time

The end

Launcher Data

Begin job on node130 at 2011-04-28 20:14:16
IDJOB=3310346
IDBENCH=83447
IDSOLVER=1638
FILE ID=node130/3310346-1304014454
RUNJOBID= node130-1304008132-26265
PBS_JOBID= 13168841
Free space on /tmp= 71932 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-3310346-1304014454/watcher-3310346-1304014454 -o /tmp/evaluation-result-3310346-1304014454/solver-3310346-1304014454 -C 40000 -W 5100 -M 31000  ppfolio HOME/instance-3310346-1304014454.cnf

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

MD5SUM BENCH= 0b29cb9f2e17f3e05b66912497d8cb84
RANDOM SEED=1895914220

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16680992 kB
Buffers:       2125956 kB
Cached:       13523340 kB
SwapCached:          0 kB
Active:        7486216 kB
Inactive:      8227028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16680992 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           73856 kB
Writeback:           0 kB
AnonPages:       63756 kB
Mapped:          14756 kB
Slab:           490956 kB
PageTables:       4000 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   184352 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= 71924 MiB
End job on node130 at 2011-04-28 20:20:46