Trace number 419086

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, and are wall clock time (not CPU 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
PB-clasp 2007-04-10SAT 1686.27 1684.94

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/
industrial/crypto/mizh-sha0-35-2.opb
MD5SUMe900fbd1606b0da7d65f7a2b7936e193
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark438.195
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables48689
Total number of constraints204071
Number of constraints which are clauses204071
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

1686.22/1684.93	s SATISFIABLE
1686.22/1684.93	v x1 x2 x3 x4 x10 x12 x17 x18 x19 x20 x21 x22 x24 x28 x29 x31 x32 x33 x35 x37 x40 x41 x42 x45 x46 x48 x49 x51 x55 x56 x57 x58 x61 x63 x64
1686.22/1684.93	v x68 x70 x71 x73 x74 x75 x76 x80 x82 x88 x89 x92 x93 x100 x102 x103 x104 x107 x110 x113 x115 x117 x118 x119 x121 x124 x125 x126 x127
1686.22/1684.93	v x128 x129 x130 x131 x132 x134 x136 x142 x143 x144 x147 x148 x151 x152 x157 x158 x159 x160 x170 x173 x175 x180 x181 x182 x185 x186
1686.22/1684.93	v x190 x191 x193 x194 x195 x198 x199 x201 x204 x205 x207 x209 x211 x212 x213 x214 x215 x216 x217 x218 x220 x221 x224 x226 x228 x229
1686.22/1684.93	v x230 x231 x232 x234 x236 x238 x239 x241 x242 x244 x245 x247 x250 x252 x253 x264 x277 x281 x282 x283 x286 x288 x290 x291 x292 x293
1686.22/1684.93	v x294 x295 x297 x303 x304 x306 x308 x309 x310 x312 x313 x314 x316 x318 x319 x322 x324 x326 x330 x332 x339 x344 x345 x346 x347 x350
1686.22/1684.93	v x351 x353 x354 x357 x358 x359 x361 x362 x363 x365 x366 x367 x368 x369 x370 x371 x372 x373 x377 x380 x381 x384 x388 x390 x391 x397
1686.22/1684.93	v x398 x403 x404 x408 x412 x413 x414 x415 x416 x420 x424 x427 x428 x429 x430 x431 x432 x437 x438 x441 x442 x444 x445 x447 x448 x454
1686.22/1684.93	v x460 x463 x464 x466 x467 x470 x471 x473 x476 x480 x485 x486 x488 x493 x494 x495 x496 x497 x500 x504 x509 x514 x515 x518 x519 x521
1686.22/1684.93	v x523 x528 x529 x531 x532 x533 x534 x537 x543 x544 x545 x548 x555 x556 x557 x558 x559 x560 x566 x571 x572 x573 x574 x575 x578 x579
1686.22/1684.93	v x580 x582 x583 x585 x588 x589 x590 x591 x593 x595 x596 x597 x601 x603 x604 x605 x606 x608 x609 x611 x612 x613 x614 x615 x617 x618
1686.22/1684.93	v x619 x621 x624 x629 x630 x632 x634 x636 x638 x641 x642 x643 x644 x645 x647 x649 x652 x659 x660 x661 x663 x664 x666 x670 x671 x672
1686.22/1684.93	v x674 x678 x682 x683 x684 x685 x688 x691 x692 x694 x695 x700 x703 x704 x705 x706 x707 x711 x712 x713 x714 x715 x716 x718 x719 x722
1686.22/1684.93	v x723 x724 x727 x729 x732 x734 x735 x736 x738 x740 x741 x744 x746 x748 x749 x750 x751 x752 x753 x755 x756 x761 x762 x763 x765 x766
1686.22/1684.93	v x767 x769 x771 x772 x773 x775 x777 x779 x781 x784 x785 x786 x791 x794 x795 x796 x797 x800 x801 x804 x806 x807 x808 x810 x811 x813
1686.22/1684.93	v x814 x815 x817 x819 x820 x823 x826 x828 x829 x832 x835 x836 x837 x842 x843 x844 x848 x850 x859 x862 x865 x867 x869 x870 x871 x872
1686.22/1684.93	v x876 x877 x878 x879 x880 x881 x882 x883 x884 x887 x890 x891 x892 x893 x894 x896 x897 x900 x903 x904 x905 x908 x909 x910 x912 x913
1686.22/1684.93	v x917 x918 x921 x922 x924 x926 x927 x930 x932 x935 x938 x939 x940 x942 x944 x950 x951 x952 x957 x958 x961 x962 x968 x969 x970 x971
1686.22/1684.93	v x973 x977 x981 x983 x984 x985 x986 x988 x989 x991 x993 x994 x996 x997 x998 x999 x1000 x1004 x1005 x1006 x1009 x1010 x1014 x1015
1686.22/1684.93	v x1017 x1020 x1021 x1022 x1023 x1025 x1027 x1029 x1031 x1032 x1033 x1036 x1038 x1039 x1041 x1042 x1045 x1046 x1047 x1049 x1051
1686.22/1684.93	v x1055 x1057 x1058 x1059 x1060 x1062 x1065 x1069 x1071 x1077 x1083 x1084 x1085 x1086 x1090 x1091 x1094 x1095 x1096 x1097 x1100
1686.22/1684.93	v x1101 x1103 x1105 x1107 x1108 x1110 x1111 x1112 x1115 x1116 x1117 x1118 x1123 x1125 x1127 x1128 x1133 x1134 x1137 x1140 x1142
1686.22/1684.93	v x1145 x1146 x1147 x1149 x1150 x1153 x1154 x1157 x1158 x1161 x1164 x1166 x1167 x1171 x1175 x1176 x1177 x1178 x1180 x1185 x1187
1686.22/1684.93	v x1192 x1193 x1194 x1196 x1198 x1200 x1201 x1206 x1207 x1208 x1209 x1213 x1214 x1215 x1218 x1221 x1222 x1225 x1226 x1227 x1230
1686.22/1684.93	v x1231 x1232 x1236 x1237 x1239 x1241 x1242 x1244 x1247 x1249 x1250 x1251 x1253 x1254 x1256 x1259 x1260 x1263 x1265 x1268 x1269
1686.22/1684.93	v x1270 x1272 x1274 x1276 x1277 x1278 x1281 x1282 x1284 x1286 x1288 x1290 x1292 x1299 x1301 x1304 x1311 x1312 x1313 x1319 x1324
1686.22/1684.93	v x1326 x1329 x1331 x1332 x1337 x1344 x1345 x1346 x1348 x1350 x1351 x1352 x1354 x1358 x1361 x1364 x1365 x1368 x1369 x1375 x1379
1686.22/1684.93	v x1380 x1386 x1387 x1389 x1390 x1393 x1395 x1398 x1400 x1402 x1405 x1406 x1407 x1408 x1413 x1417 x1418 x1419 x1421 x1422 x1423
1686.22/1684.93	v x1424 x1428 x1430 x1432 x1433 x1434 x1439 x1440 x1443 x1444 x1445 x1449 x1455 x1456 x1457 x1459 x1460 x1465 x1469 x1470 x1474
1686.22/1684.93	v x1479 x1482 x1484 x1485 x1486 x1492 x1497 x1498 x1499 x1500 x1501 x1504 x1505 x1506 x1508 x1510 x1511 x1512 x1513 x1516 x1517
1686.22/1684.93	v x1519 x1520 x1522 x1524 x1525 x1526 x1527 x1528 x1531 x1534 x1536 x1540 x1542 x1544 x1545 x1546 x1550 x1551 x1552 x1554 x1557
1686.22/1684.93	v x1558 x1559 x1560 x1561 x1562 x1564 x1565 x1566 x1569 x1570 x1572 x1573 x1574 x1575 x1576 x1577 x1578 x1580 x1585 x1586 x1587
1686.22/1684.93	v x1588 x1590 x1594 x1599 x1602 x1603 x1604 x1605 x1610 x1612 x1613 x1615 x1616 x1618 x1619 x1621 x1623 x1624 x1625 x1626 x1627
1686.22/1684.93	v x1628 x1629 x1630 x1631 x1632 x1633 x1635 x1638 x1639 x1640 x1641 x1645 x1647 x1648 x1649 x1652 x1653 x1654 x1655 x1656 x1657
1686.22/1684.93	v x1659 x1660 x1661 x1662 x1664 x1665 x1668 x1671 x1676 x1677 x1678 x1679 x1680 x1682 x1684 x1686 x1687 x1688 x1689 x1693 x1694
1686.22/1684.93	v x1695 x1698 x1699 x1700 x1701 x1704 x1706 x1707 x1709 x1711 x1712 x1715 x1716 x1717 x1719 x1720 x1722 x1724 x1726 x1727 x1729
1686.22/1684.93	v x1730 x1731 x1733 x1735 x1736 x1738 x1739 x1740 x1742 x1746 x1747 x1749 x1750 x1753 x1754 x1756 x1757 x1761 x1764 x1765 x1766
1686.22/1684.93	v x1771 x1772 x1777 x1780 x1781 x1782 x1784 x1785 x1786 x1788 x1791 x1792 x1794 x1795 x1800 x1802 x1805 x1806 x1808 x1810 x1814
1686.22/1684.93	v x1815 x1816 x1817 x1818 x1819 x1825 x1826 x1827 x1828 x1829 x1830 x1832 x1834 x1835 x1836 x1837 x1838 x1840 x1841 x1842 x1844
1686.22/1684.93	v x1845 x1847 x1851 x1852 x1855 x1856 x1857 x1858 x1859 x1860 x1863 x1865 x1869 x1870 x1872 x1873 x1874 x1876 x1877 x1878 x1879
1686.22/1684.93	v x1883 x1885 x1886 x1889 x1890 x1891 x1893 x1895 x1896 x1900 x1901 x1902 x1904 x1905 x1907 x1908 x1909 x1910 x1914 x1915 x1917
1686.22/1684.93	v x1918 x1920 x1924 x1925 x1928 x1929 x1932 x1938 x1939 x1943 x1946 x1952 x1953 x1954 x1957 x1960 x1962 x1963 x1964 x1966 x1967
1686.22/1684.93	v x1969 x1971 x1974 x1975 x1976 x1980 x1981 x1983 x1984 x1985 x1990 x1991 x1994 x1998 x1999 x2001 x2002 x2003 x2004 x2008 x2009
1686.22/1684.93	v x2014 x2018 x2021 x2022 x2023 x2024 x2027 x2028 x2034 x2036 x2038 x2039 x2041 x2044 x2045 x2046 x2047 x2048 x2049 x2050 x2053
1686.22/1684.93	v x2054 x2059 x2060 x2062 x2063 x2064 x2066 x2067 x2068 x2069 x2071 x2073 x2074 x2078 x2083 x2085 x2087 x2091 x2092 x2093 x2096
1686.22/1684.93	v x2098 x2103 x2104 x2105 x2107 x2108 x2112 x2113 x2114 x2115 x2118 x2119 x2125 x2126 x2127 x2131 x2132 x2133 x2136 x2138 x2139
1686.22/1684.93	v x2140 x2142 x2144 x2145 x2146 x2147 x2149 x2151 x2152 x2154 x2155 x2158 x2159 x2161 x2162 x2166 x2170 x2171 x2173 x2174 x2175
1686.22/1684.93	v x2179 x2184 x2188 x2191 x2192 x2193 x2194 x2196 x2199 x2201 x2202 x2205 x2206 x2208 x2209 x2210 x2213 x2215 x2218 x2219 x2220
1686.22/1684.93	v x2222 x2224 x2228 x2230 x2231 x2233 x2235 x2239 x2240 x2241 x2242 x2243 x2244 x2245 x2247 x2248 x2250 x2256 x2258 x2261 x2264
1686.22/1684.93	v x2265 x2267 x2271 x2272 x2274 x2276 x2277 x2279 x2281 x2282 x2283 x2284 x2286 x2287 x2288 x2292 x2293 x2296 x2298 x2303 x2304
1686.22/1684.93	v x2307 x2312 x2313 x2315 x2316 x2318 x2319 x2322 x2324 x2329 x2330 x2331 x2340 x2343 x2344 x2347 x2349 x2364 x2366 x2371 x2374
1686.22/1684.93	v x2380 x2382 x2384 x2385 x2387 x2393 x2394 x2395 x2401 x2403 x2404 x2406 x2407 x2408 x2411 x2412 x2413 x2414 x2416 x2417 x2419
1686.22/1684.93	v x2425 x2426 x2427 x2428 x2430 x2433 x2435 x2437 x2440 x2441 x2442 x2443 x2444 x2445 x2446 x2451 x2456 x2461 x2471 x2476 x2482
1686.22/1684.93	v x2485 x2488 x2490 x2493 x2495 x2496 x2501 x2507 x2510 x2514 x2515 x2516 x2517 x2518 x2519 x2520 x2524 x2525 x2529 x2530 x2534
1686.22/1684.93	v x2535 x2536 x2541 x2546 x2551 x2556 x2562 x2565 x2569 x2570 x2573 x2575 x2579 x2580 x2584 x2585 x2586 x2587 x2591 x2593 x2596
1686.22/1684.93	v x2598 x2602 x2603 x2607 x2608 x2609 x2619 x2624 x2639 x2645 x2648 x2649 x2650 x2651 x2652 x2653 x2657 x2658 x2661 x2663 x2666
1686.22/1684.93	v x2668 x2669 x2670 x2671 x2672 x2673 x2676 x2678 x2679 x2684 x2689 x2694 x2699 x2710 x2713 x2716 x2718 x2719 x2720 x2721 x2722
1686.22/1684.93	v x2723 x2724 x2725 x2726 x2727 x2728 x2731 x2733 x2737 x2738 x2739 x2741 x2742 x2748 x2751 x2752 x2753 x2754 x2755 x2756 x2757
1686.22/1684.93	v x2758 x2759 x2760 x2761 x2762 x2763 x2764 x2765 x2766 x2769 x2771 x2775 x2776 x2777 x2778 x2779 x2780 x2781 x2782 x2783 x2784
1686.22/1684.93	v x2785 x2786 x2787 x2792 x2803 x2806 x2809 x2811 x2812 x2823 x2826 x2827 x2837 x2843 x2846 x2847 x2848 x2849 x2850 x2851 x2854
1686.22/1684.93	v x2856 x2857 x2858 x2859 x2860 x2861 x2864 x2866 x2867 x2872 x2877 x2882 x2894 x2895 x2905 x2910 x2916 x2919 x2920 x2925 x2931
1686.22/1684.93	v x2934 x2937 x2939 x2942 x2944 x2945 x2946 x2947 x2948 x2949 x2950 x2955 x2965 x2975 x2980 x2985 x2991 x2994 x2998 x2999 x3000
1686.22/1684.93	v x3001 x3002 x3003 x3004 x3008 x3009 x3012 x3014 x3015 x3020 x3026 x3029 x3030 x3031 x3032 x3033 x3034 x3037 x3039 x3040 x3045
1686.22/1684.93	v x3048 x3051 x3052 x3055 x3057 x3072 x3074 x3079 x3082 x3088 x3090 x3092 x3093 x3095 x3101 x3102 x3103 x3109 x3111 x3112 x3114
1686.22/1684.93	v x3115 x3116 x3119 x3120 x3121 x3122 x3124 x3125 x3127 x3133 x3134 x3135 x3136 x3138 x3141 x3143 x3144 x3150 x3153 x3154 x3159
1686.22/1684.93	v x3164 x3170 x3173 x3174 x3179 x3184 x3190 x3193 x3196 x3198 x3201 x3203 x3204 x3209 x3215 x3218 x3222 x3223 x3224 x3225 x3226
1686.22/1684.93	v x3227 x3228 x3232 x3233 x3237 x3238 x3242 x3243 x3244 x3249 x3254 x3259 x3264 x3270 x3273 x3277 x3278 x3281 x3283 x3287 x3288
1686.22/1684.93	v x3292 x3293 x3295 x3299 x3301 x3304 x3306 x3310 x3311 x3315 x3316 x3317 x3327 x3332 x3347 x3353 x3356 x3357 x3358 x3359 x3360
1686.22/1684.93	v x3361 x3365 x3366 x3369 x3371 x3374 x3376 x3377 x3378 x3379 x3380 x3381 x3384 x3386 x3387 x3392 x3397 x3402 x3407 x3418 x3421
1686.22/1684.93	v x3424 x3426 x3427 x3428 x3429 x3430 x3431 x3432 x3433 x3434 x3435 x3436 x3439 x3441 x3445 x3446 x3447 x3449 x3451 x3454 x3458
1686.22/1684.93	v x3459 x3460 x3461 x3462 x3463 x3464 x3465 x3466 x3467 x3468 x3469 x3470 x3471 x3472 x3473 x3474 x3475 x3481 x3484 x3485 x3486
1686.22/1684.93	v x3487 x3488 x3489 x3490 x3491 x3492 x3493 x3494 x3495 x3500 x3511 x3514 x3517 x3519 x3520 x3531 x3534 x3535 x3545 x3551 x3554
1686.22/1684.93	v x3555 x3556 x3557 x3558 x3559 x3562 x3564 x3565 x3566 x3567 x3568 x3569 x3572 x3574 x3575 x3580 x3585 x3590 x3600 x3602 x3613
1686.22/1684.93	v x3618 x3624 x3627 x3630 x3632 x3636 x3637 x3638 x3639 x3640 x3641 x3642 x3645 x3647 x3650 x3652 x3653 x3654 x3655 x3656 x3657
1686.22/1684.93	v x3658 x3663 x3673 x3683 x3688 x3693 x3699 x3702 x3706 x3707 x3708 x3709 x3710 x3711 x3712 x3716 x3717 x3720 x3722 x3723 x3728
1686.22/1684.93	v x3734 x3737 x3738 x3739 x3740 x3741 x3742 x3745 x3747 x3748 x3755 x3756 x3758 x3760 x3763 x3768 x3779 x3785 x3794 x3796 x3797
1686.22/1684.93	v x3798 x3799 x3801 x3803 x3807 x3808 x3809 x3814 x3815 x3819 x3820 x3822 x3824 x3826 x3827 x3828 x3829 x3830 x3831 x3832 x3833
1686.22/1684.93	v x3835 x3839 x3840 x3841 x3843 x3846 x3847 x3849 x3853 x3856 x3859 x3861 x3865 x3866 x3869 x3871 x3872 x3878 x3881 x3885 x3886
1686.22/1684.93	v x3887 x3888 x3889 x3890 x3891 x3894 x3896 x3899 x3901 x3902 x3903 x3904 x3905 x3906 x3907 x3908 x3909 x3910 x3911 x3914 x3916
1686.22/1684.93	v x3917 x3918 x3919 x3920 x3921 x3922 x3923 x3924 x3925 x3926 x3927 x3933 x3936 x3937 x3953 x3956 x3957 x3958 x3959 x3960 x3961
1686.22/1684.93	v x3962 x3963 x3964 x3965 x3966 x3970 x3971 x3974 x3976 x3977 x3982 x3987 x3993 x3996 x4000 x4001 x4004 x4005 x4016 x4019 x4020
1686.22/1684.93	v x4021 x4022 x4023 x4024 x4027 x4029 x4032 x4034 x4038 x4039 x4040 x4041 x4042 x4043 x4044 x4047 x4049 x4050 x4056 x4059 x4060
1686.22/1684.93	v x4061 x4062 x4063 x4064 x4068 x4069 x4073 x4074 x4075 x4080 x4086 x4089 x4092 x4094 x4095 x4100 x4110 x4116 x4119 x4122 x4124
1686.22/1684.93	v x4128 x4129 x4130 x4136 x4139 x4143 x4144 x4145 x4151 x4154 x4158 x4163 x4173 x4179 x4182 x4186 x4187 x4191 x4192 x4195 x4197
1686.22/1684.93	v x4201 x4202 x4206 x4207 x4208 x4209 x4210 x4211 x4212 x4215 x4217 x4218 x4223 x4229 x4232 x4235 x4237 x4238 x4243 x4263 x4268
1686.22/1684.93	v x4273 x4284 x4287 x4290 x4292 x4293 x4294 x4295 x4296 x4297 x4298 x4303 x4308 x4310 x4312 x4315 x4318 x4320 x4321 x4327 x4330
1686.22/1684.93	v x4331 x4346 x4356 x4361 x4366 x4371 x4376 x4381 x4386 x4391 x4396 x4401 x4406 x4417 x4420 x4423 x4425 x4428 x4430 x4431 x4436
1686.22/1684.93	v x4446 x4452 x4455 x4458 x4460 x4463 x4464 x4466 x4468 x4471 x4476 x4487 x4493 x4502 x4504 x4505 x4506 x4507 x4509 x4511 x4515
1686.22/1684.93	v x4516 x4517 x4522 x4523 x4527 x4528 x4530 x4532 x4534 x4535 x4536 x4537 x4538 x4539 x4540 x4541 x4543 x4547 x4548 x4549 x4551
1686.22/1684.93	v x4554 x4555 x4557 x4561 x4564 x4567 x4569 x4573 x4574 x4577 x4579 x4580 x4586 x4589 x4593 x4594 x4595 x4596 x4597 x4598 x4599
1686.22/1684.93	v x4602 x4604 x4607 x4609 x4610 x4611 x4612 x4613 x4614 x4615 x4616 x4617 x4618 x4619 x4622 x4624 x4625 x4626 x4627 x4628 x4629
1686.22/1684.93	v x4630 x4631 x4632 x4633 x4634 x4635 x4641 x4644 x4645 x4661 x4664 x4665 x4666 x4667 x4668 x4669 x4670 x4671 x4672 x4673 x4674
1686.22/1684.93	v x4678 x4679 x4682 x4684 x4685 x4690 x4695 x4701 x4704 x4708 x4709 x4712 x4713 x4724 x4727 x4731 x4732 x4735 x4737 x4738 x4743
1686.22/1684.93	v x4749 x4752 x4755 x4757 x4758 x4763 x4768 x4774 x4777 x4781 x4782 x4783 x4788 x4794 x4797 x4800 x4802 x4803 x4808 x4818 x4824
1686.22/1684.93	v x4827 x4830 x4832 x4836 x4837 x4838 x4844 x4847 x4851 x4852 x4853 x4859 x4862 x4866 x4871 x4881 x4887 x4890 x4894 x4895 x4899
1686.22/1684.93	v x4900 x4903 x4905 x4909 x4910 x4914 x4915 x4916 x4917 x4918 x4919 x4920 x4923 x4925 x4926 x4931 x4937 x4940 x4943 x4945 x4946
1686.22/1684.93	v x4951 x4971 x4976 x4981 x4992 x4995 x4998 x5000 x5001 x5002 x5003 x5004 x5005 x5006 x5011 x5016 x5018 x5020 x5023 x5026 x5028
1686.22/1684.93	v x5029 x5034 x5044 x5049 x5064 x5070 x5073 x5077 x5078 x5081 x5083 x5086 x5088 x5092 x5093 x5097 x5098 x5101 x5103 x5106 x5108
1686.22/1684.93	v x5112 x5113 x5117 x5118 x5119 x5125 x5128 x5131 x5133 x5136 x5138 x5139 x5144 x5154 x5160 x5163 x5166 x5168 x5172 x5175 x5178
1686.22/1684.93	v x5180 x5184 x5191 x5193 x5199 x5208 x5213 x5215 x5217 x5220 x5221 x5224 x5227 x5228 x5236 x5239 x5240 x5242 x5244 x5245 x5247
1686.22/1684.93	v x5248 x5249 x5252 x5253 x5255 x5256 x5257 x5259 x5260 x5263 x5274 x5277 x5278 x5283 x5289 x5292 x5295 x5297 x5301 x5302 x5303
1686.22/1684.93	v x5304 x5305 x5306 x5307 x5311 x5312 x5313 x5314 x5315 x5316 x5317 x5320 x5322 x5323 x5328 x5334 x5337 x5340 x5342 x5346 x5347
1686.22/1684.93	v x5348 x5353 x5358 x5368 x5374 x5377 x5378 x5379 x5380 x5381 x5382 x5383 x5388 x5394 x5397 x5401 x5402 x5403 x5408 x5420 x5421
1686.22/1684.93	v x5431 x5436 x5441 x5451 x5457 x5460 x5461 x5466 x5471 x5476 x5482 x5485 x5489 x5490 x5493 x5495 x5498 x5500 x5501 x5502 x5503
1686.22/1684.93	v x5504 x5505 x5508 x5510 x5513 x5515 x5518 x5520 x5523 x5525 x5528 x5530 x5531 x5532 x5533 x5534 x5535 x5538 x5540 x5541 x5542
1686.22/1684.93	v x5543 x5544 x5545 x5546 x5551 x5556 x5567 x5570 x5574 x5579 x5584 x5590 x5593 x5594 x5599 x5609 x5614 x5620 x5623 x5624 x5630
1686.22/1684.93	v x5633 x5636 x5638 x5642 x5643 x5647 x5648 x5649 x5655 x5658 x5661 x5663 x5666 x5668 x5669 x5675 x5678 x5682 x5683 x5684 x5685
1686.22/1684.93	v x5686 x5687 x5688 x5689 x5690 x5691 x5692 x5693 x5694 x5695 x5696 x5697 x5698 x5699 x5709 x5715 x5718 x5719 x5724 x5726 x5728
1686.22/1684.93	v x5731 x5734 x5736 x5737 x5738 x5739 x5740 x5741 x5745 x5746 x5747 x5748 x5749 x5750 x5751 x5754 x5756 x5760 x5761 x5764 x5766
1686.22/1684.93	v x5767 x5768 x5769 x5770 x5771 x5775 x5776 x5777 x5778 x5779 x5780 x5781 x5785 x5786 x5787 x5802 x5807 x5822 x5838 x5841 x5844
1686.22/1684.93	v x5846 x5847 x5848 x5849 x5850 x5851 x5852 x5853 x5854 x5855 x5856 x5860 x5861 x5862 x5863 x5864 x5865 x5866 x5867 x5872 x5877
1686.22/1684.93	v x5880 x5883 x5888 x5892 x5899 x5901 x5907 x5909 x5918 x5921 x5923 x5925 x5928 x5929 x5932 x5935 x5936 x5944 x5947 x5950 x5952
1686.22/1684.93	v x5953 x5955 x5956 x5957 x5960 x5961 x5963 x5964 x5965 x5967 x5968 x5971 x5973 x5976 x5982 x5985 x5986 x5991 x5997 x6000 x6004
1686.22/1684.93	v x6005 x6009 x6010 x6011 x6012 x6013 x6014 x6015 x6019 x6020 x6021 x6022 x6023 x6024 x6025 x6028 x6030 x6031 x6036 x6042 x6045
1686.22/1684.93	v x6048 x6050 x6054 x6055 x6056 x6061 x6066 x6076 x6082 x6085 x6086 x6087 x6088 x6089 x6090 x6091 x6096 x6102 x6105 x6109 x6110
1686.22/1684.93	v x6111 x6116 x6128 x6129 x6139 x6144 x6149 x6159 x6165 x6168 x6171 x6173 x6174 x6180 x6183 x6184 x6185 x6186 x6187 x6188 x6192
1686.22/1684.93	v x6193 x6197 x6198 x6201 x6203 x6204 x6209 x6239 x6249 x6254 x6259 x6264 x6275 x6278 x6283 x6286 x6290 x6291 x6294 x6296 x6297
1686.22/1684.93	v x6298 x6299 x6300 x6301 x6302 x6307 x6317 x6322 x6328 x6331 x6332 x6338 x6341 x6344 x6346 x6350 x6351 x6355 x6356 x6357 x6363
1686.22/1684.93	v x6366 x6369 x6371 x6374 x6376 x6377 x6383 x6386 x6390 x6391 x6392 x6393 x6394 x6395 x6396 x6397 x6398 x6399 x6400 x6401 x6402
1686.22/1684.93	v x6403 x6404 x6405 x6406 x6407 x6417 x6423 x6426 x6427 x6432 x6434 x6435 x6445 x6451 x6454 x6455 x6456 x6457 x6458 x6459 x6462
1686.22/1684.93	v x6464 x6468 x6469 x6472 x6474 x6477 x6479 x6483 x6484 x6487 x6489 x6493 x6494 x6495 x6511 x6514 x6518 x6519 x6520 x6530 x6546
1686.22/1684.93	v x6549 x6552 x6554 x6555 x6556 x6557 x6558 x6559 x6560 x6561 x6562 x6563 x6564 x6568 x6569 x6570 x6571 x6572 x6573 x6574 x6575
1686.22/1684.93	v x6580 x6585 x6592 x6595 x6607 x6608 x6613 x6623 x6628 x6629 x6631 x6633 x6634 x6635 x6638 x6644 x6646 x6655 x6656 x6659 x6660
1686.22/1684.93	v x6661 x6663 x6665 x6666 x6667 x6670 x6671 x6672 x6676 x6677 x6678 x6689 x6699 x6705 x6708 x6709 x6710 x6711 x6712 x6713 x6714
1686.22/1684.93	v x6725 x6728 x6731 x6733 x6736 x6738 x6742 x6743 x6746 x6748 x6749 x6755 x6758 x6761 x6763 x6764 x6765 x6766 x6767 x6768 x6769
1686.22/1684.93	v x6774 x6780 x6783 x6784 x6785 x6786 x6787 x6788 x6791 x6793 x6797 x6798 x6799 x6810 x6813 x6814 x6815 x6816 x6817 x6818 x6819
1686.22/1684.93	v x6820 x6821 x6822 x6823 x6827 x6828 x6832 x6833 x6836 x6837 x6842 x6848 x6851 x6852 x6853 x6854 x6855 x6856 x6859 x6861 x6862
1686.22/1684.93	v x6867 x6873 x6876 x6877 x6882 x6887 x6892 x6897 x6903 x6906 x6907 x6912 x6917 x6922 x6937 x6942 x6947 x6958 x6961 x6962 x6967
1686.22/1684.93	v x6972 x6983 x6986 x6996 x6999 x7000 x7005 x7010 x7015 x7020 x7025 x7035 x7040 x7045 x7050 x7056 x7059 x7063 x7064 x7065 x7071
1686.22/1684.93	v x7074 x7077 x7079 x7082 x7084 x7085 x7091 x7094 x7098 x7099 x7103 x7104 x7107 x7109 x7110 x7120 x7126 x7129 x7133 x7134 x7135
1686.22/1684.93	v x7140 x7142 x7143 x7148 x7153 x7159 x7162 x7165 x7167 x7168 x7169 x7170 x7171 x7172 x7173 x7174 x7175 x7176 x7177 x7180 x7182
1686.22/1684.93	v x7186 x7187 x7188 x7189 x7190 x7191 x7192 x7193 x7194 x7195 x7196 x7197 x7198 x7199 x7200 x7201 x7202 x7203 x7204 x7205 x7206
1686.22/1684.93	v x7207 x7208 x7213 x7219 x7222 x7226 x7227 x7231 x7232 x7233 x7238 x7243 x7248 x7253 x7263 x7268 x7274 x7277 x7281 x7282 x7283
1686.22/1684.93	v x7288 x7293 x7299 x7302 x7303 x7305 x7307 x7308 x7309 x7312 x7313 x7314 x7316 x7321 x7332 x7336 x7352 x7354 x7363 x7364 x7366
1686.22/1684.93	v x7367 x7368 x7369 x7371 x7372 x7373 x7376 x7377 x7378 x7380 x7384 x7385 x7386 x7397 x7407 x7413 x7416 x7419 x7421 x7422 x7427
1686.22/1684.93	v x7433 x7436 x7439 x7441 x7444 x7446 x7450 x7451 x7454 x7456 x7459 x7461 x7462 x7463 x7464 x7465 x7466 x7467 x7472 x7477 x7483
1686.22/1684.93	v x7486 x7487 x7488 x7489 x7490 x7491 x7495 x7496 x7499 x7501 x7505 x7506 x7507 x7518 x7521 x7522 x7523 x7524 x7525 x7526 x7527
1686.22/1684.93	v x7528 x7529 x7530 x7531 x7535 x7536 x7540 x7541 x7544 x7545 x7550 x7556 x7559 x7560 x7561 x7562 x7563 x7564 x7567 x7569 x7572
1686.22/1684.93	v x7574 x7578 x7579 x7580 x7581 x7582 x7583 x7584 x7585 x7590 x7595 x7600 x7605 x7610 x7625 x7630 x7656 x7659 x7660 x7666 x7669
1686.22/1684.93	v x7670 x7675 x7680 x7691 x7694 x7704 x7707 x7708 x7713 x7718 x7728 x7734 x7737 x7738 x7743 x7748 x7753 x7758 x7763 x7769 x7772
1686.22/1684.93	v x7775 x7777 x7778 x7779 x7780 x7781 x7782 x7785 x7787 x7788 x7793 x7798 x7803 x7808 x7813 x7828 x7834 x7837 x7841 x7842 x7843
1686.22/1684.93	v x7848 x7850 x7851 x7856 x7861 x7867 x7870 x7873 x7875 x7876 x7881 x7886 x7892 x7895 x7896 x7897 x7898 x7899 x7900 x7901 x7902
1686.22/1684.93	v x7903 x7904 x7905 x7906 x7907 x7908 x7909 x7910 x7911 x7912 x7913 x7914 x7915 x7916 x7917 x7918 x7919 x7920 x7921 x7932 x7935
1686.22/1684.93	v x7939 x7940 x7943 x7945 x7948 x7950 x7953 x7955 x7958 x7960 x7963 x7965 x7966 x7967 x7968 x7969 x7970 x7971 x7976 x7982 x7985
1686.22/1684.93	v x7989 x7990 x7991 x7996 x8001 x8003 x8004 x8006 x8012 x8017 x8025 x8026 x8037 x8043 x8045 x8047 x8050 x8051 x8060 x8064 x8067
1686.22/1684.93	v x8068 x8069 x8070 x8075 x8076 x8077 x8079 x8081 x8082 x8083 x8089 x8090 x8092 x8096 x8099 x8101 x8104 x8105 x8106 x8107 x8108
1686.22/1684.93	v x8109 x8112 x8114 x8115 x8116 x8117 x8118 x8119 x8120 x8125 x8140 x8145 x8150 x8155 x8161 x8164 x8168 x8169 x8172 x8174 x8177
1686.22/1684.93	v x8179 x8180 x8181 x8182 x8183 x8184 x8188 x8189 x8190 x8200 x8205 x8210 x8215 x8225 x8230 x8235 x8240 x8246 x8249 x8250 x8252
1686.22/1684.93	v x8258 x8264 x8267 x8268 x8269 x8270 x8271 x8272 x8275 x8277 x8280 x8282 x8283 x8284 x8285 x8286 x8287 x8288 x8289 x8290 x8291
1686.22/1684.93	v x8292 x8293 x8304 x8307 x8308 x8309 x8310 x8311 x8312 x8316 x8317 x8321 x8322 x8325 x8327 x8330 x8332 x8333 x8334 x8335 x8336
1686.22/1684.93	v x8337 x8340 x8342 x8345 x8347 x8350 x8352 x8353 x8363 x8368 x8374 x8377 x8380 x8382 x8383 x8384 x8385 x8386 x8387 x8388 x8389
1686.22/1684.93	v x8390 x8391 x8392 x8393 x8399 x8402 x8405 x8411 x8421 x8427 x8430 x8431 x8432 x8433 x8434 x8435 x8436 x8441 x8447 x8450 x8451
1686.22/1684.93	v x8452 x8453 x8454 x8455 x8456 x8457 x8458 x8459 x8460 x8463 x8465 x8469 x8470 x8474 x8475 x8479 x8480 x8481 x8486 x8491 x8497
1686.22/1684.93	v x8500 x8504 x8505 x8506 x8507 x8508 x8509 x8510 x8511 x8512 x8513 x8514 x8515 x8518 x8520 x8523 x8525 x8529 x8530 x8531 x8532
1686.22/1684.93	v x8533 x8534 x8535 x8536 x8537 x8538 x8539 x8540 x8543 x8545 x8548 x8550 x8551 x8556 x8557 x8559 x8565 x8568 x8569 x8575 x8578
1686.22/1684.93	v x8579 x8584 x8590 x8593 x8594 x8595 x8596 x8597 x8598 x8602 x8603 x8606 x8608 x8611 x8613 x8617 x8618 x8619 x8634 x8640 x8643
1686.22/1684.93	v x8646 x8648 x8649 x8660 x8663 x8666 x8668 x8672 x8673 x8677 x8678 x8679 x8684 x8690 x8693 x8697 x8698 x8702 x8703 x8706 x8708
1686.22/1684.93	v x8712 x8716 x8719 x8720 x8721 x8725 x8726 x8727 x8733 x8734 x8743 x8747 x8768 x8772 x8775 x8776 x8779 x8780 x8783 x8784 x8785
1686.22/1684.93	v x8789 x8790 x8791 x8797 x8798 x8800 x8804 x8807 x8809 x8812 x8813 x8814 x8815 x8816 x8817 x8818 x8823 x8828 x8833 x8848 x8853
1686.22/1684.93	v x8858 x8863 x8868 x8873 x8878 x8883 x8889 x8892 x8896 x8897 x8898 x8908 x8913 x8918 x8923 x8933 x8938 x8943 x8948 x8954 x8957
1686.22/1684.93	v x8958 x8960 x8966 x8972 x8975 x8976 x8977 x8978 x8979 x8980 x8983 x8985 x8988 x8990 x8991 x8992 x8993 x8994 x8995 x8996 x8997
1686.22/1684.93	v x8998 x8999 x9000 x9001 x9012 x9015 x9016 x9017 x9018 x9019 x9020 x9021 x9022 x9023 x9024 x9025 x9029 x9030 x9033 x9035 x9038
1686.22/1684.93	v x9040 x9041 x9042 x9043 x9044 x9045 x9048 x9050 x9053 x9055 x9058 x9060 x9061 x9071 x9081 x9091 x9096 x9101 x9107 x9110 x9113
1686.22/1684.93	v x9119 x9124 x9129 x9135 x9138 x9139 x9140 x9141 x9142 x9143 x9144 x9149 x9155 x9158 x9159 x9160 x9161 x9162 x9163 x9164 x9165
1686.22/1684.93	v x9166 x9167 x9168 x9171 x9173 x9174 x9175 x9176 x9177 x9178 x9179 x9180 x9181 x9182 x9183 x9184 x9185 x9186 x9187 x9188 x9191
1686.22/1684.93	v x9193 x9194 x9199 x9205 x9208 x9212 x9213 x9214 x9215 x9216 x9217 x9218 x9219 x9220 x9221 x9222 x9223 x9226 x9228 x9231 x9233
1686.22/1684.93	v x9237 x9238 x9239 x9240 x9241 x9242 x9243 x9244 x9245 x9246 x9247 x9248 x9251 x9253 x9256 x9258 x9259 x9264 x9265 x9267 x9273
1686.22/1684.93	v x9276 x9279 x9281 x9282 x9283 x9284 x9285 x9286 x9287 x9292 x9298 x9301 x9302 x9303 x9304 x9305 x9306 x9310 x9311 x9314 x9316
1686.22/1684.93	v x9319 x9321 x9325 x9326 x9327 x9328 x9329 x9330 x9331 x9334 x9336 x9339 x9341 x9342 x9348 x9351 x9354 x9356 x9357 x9368 x9371
1686.22/1684.93	v x9374 x9376 x9380 x9381 x9382 x9387 x9392 x9398 x9401 x9405 x9406 x9410 x9411 x9414 x9416 x9426 x9427 x9434 x9435 x9436 x9442
1686.22/1684.93	v x9451 x9453 x9457 x9461 x9464 x9465 x9473 x9476 x9479 x9480 x9483 x9485 x9489 x9490 x9491 x9493 x9496 x9497 x9498 x9499 x9500
1686.22/1684.93	v x9505 x9506 x9508 x9511 x9512 x9516 x9526 x9546 x9552 x9555 x9558 x9560 x9561 x9567 x9570 x9571 x9576 x9581 x9586 x9591 x9596
1686.22/1684.93	v x9602 x9605 x9609 x9610 x9614 x9615 x9616 x9627 x9630 x9631 x9632 x9633 x9634 x9635 x9636 x9641 x9651 x9657 x9660 x9663 x9665
1686.22/1684.93	v x9668 x9679 x9684 x9694 x9699 x9705 x9708 x9709 x9714 x9720 x9723 x9727 x9728 x9729 x9730 x9731 x9732 x9733 x9737 x9738 x9739
1686.22/1684.93	v x9749 x9754 x9769 x9779 x9784 x9789 x9799 x9804 x9815 x9818 x9823 x9826 x9830 x9831 x9834 x9836 x9840 x9841 x9845 x9846 x9847
1686.22/1684.93	v x9852 x9862 x9868 x9871 x9875 x9876 x9879 x9881 x9882 x9883 x9884 x9885 x9886 x9889 x9891 x9892 x9893 x9894 x9895 x9896 x9897
1686.22/1684.93	v x9898 x9899 x9900 x9901 x9902 x9903 x9904 x9905 x9906 x9907 x9917 x9922 x9932 x9938 x9941 x9944 x9946 x9947 x9948 x9949 x9950
1686.22/1684.93	v x9951 x9952 x9958 x9961 x9965 x9966 x9970 x9971 x9974 x9985 x9990 x10001 x10004 x10005 x10006 x10007 x10008 x10009 x10010
1686.22/1684.93	v x10016 x10019 x10023 x10024 x10025 x10036 x10039 x10040 x10046 x10049 x10052 x10054 x10055 x10056 x10057 x10058 x10059
1686.22/1684.93	v x10060 x10061 x10062 x10063 x10064 x10065 x10070 x10076 x10079 x10080 x10086 x10089 x10093 x10094 x10098 x10099 x10102
1686.22/1684.93	v x10104 x10105 x10106 x10107 x10108 x10109 x10113 x10114 x10115 x10130 x10131 x10145 x10149 x10159 x10161 x10169 x10182
1686.22/1684.93	v x10184 x10187 x10188 x10189 x10191 x10193 x10194 x10195 x10201 x10209 x10213 x10214 x10216 x10219 x10220 x10221 x10225
1686.22/1684.93	v x10228 x10229 x10234 x10239 x10244 x10249 x10259 x10275 x10278 x10279 x10284 x10309 x10315 x10318 x10322 x10323 x10324
1686.22/1684.93	v x10335 x10338 x10339 x10340 x10341 x10342 x10343 x10344 x10349 x10359 x10365 x10368 x10371 x10373 x10374 x10376 x10387
1686.22/1684.93	v x10392 x10402 x10407 x10412 x10417 x10422 x10428 x10431 x10435 x10436 x10437 x10438 x10439 x10440 x10441 x10445 x10446
1686.22/1684.93	v x10447 x10457 x10462 x10477 x10487 x10492 x10497 x10507 x10512 x10517 x10523 x10526 x10530 x10536 x10539 x10542 x10544
1686.22/1684.93	v x10547 x10549 x10552 x10554 x10555 x10556 x10557 x10558 x10559 x10560 x10565 x10570 x10575 x10580 x10585 x10591 x10594
1686.22/1684.93	v x10595 x10600 x10605 x10610 x10615 x10625 x10630 x10640 x10646 x10649 x10652 x10654 x10655 x10656 x10657 x10658 x10659
1686.22/1684.93	v x10660 x10666 x10669 x10670 x10675 x10680 x10682 x10683 x10693 x10698 x10709 x10712 x10713 x10714 x10715 x10716 x10717
1686.22/1684.93	v x10718 x10719 x10720 x10721 x10722 x10723 x10724 x10725 x10726 x10727 x10728 x10729 x10730 x10731 x10732 x10735 x10737
1686.22/1684.93	v x10740 x10742 x10746 x10747 x10750 x10752 x10753 x10754 x10755 x10756 x10757 x10760 x10762 x10763 x10764 x10765 x10766
1686.22/1684.93	v x10767 x10768 x10769 x10770 x10771 x10772 x10773 x10778 x10784 x10787 x10788 x10794 x10797 x10801 x10802 x10806 x10807
1686.22/1684.93	v x10810 x10812 x10813 x10814 x10815 x10816 x10817 x10821 x10822 x10823 x10824 x10825 x10826 x10827 x10830 x10832 x10841
1686.22/1684.93	v x10843 x10845 x10848 x10849 x10852 x10857 x10858 x10861 x10862 x10863 x10864 x10867 x10871 x10874 x10879 x10885 x10899
1686.22/1684.93	v x10903 x10905 x10906 x10907 x10909 x10911 x10912 x10913 x10916 x10917 x10921 x10922 x10925 x10926 x10927 x10928 x10931
1686.22/1684.93	v x10933 x10936 x10937 x10947 x10953 x10956 x10957 x10963 x10966 x10969 x10971 x10974 x10976 x10980 x10981 x10982 x10983
1686.22/1684.93	v x10984 x10985 x10986 x10987 x10993 x10996 x10999 x11001 x11002 x11003 x11004 x11005 x11006 x11007 x11012 x11018 x11021
1686.22/1684.93	v x11022 x11023 x11024 x11025 x11026 x11030 x11031 x11035 x11036 x11040 x11041 x11042 x11043 x11044 x11045 x11046 x11047
1686.22/1684.93	v x11048 x11049 x11050 x11051 x11052 x11057 x11063 x11066 x11069 x11071 x11074 x11076 x11077 x11078 x11079 x11080 x11081
1686.22/1684.93	v x11082 x11083 x11085 x11090 x11095 x11100 x11105 x11115 x11121 x11124 x11127 x11129 x11130 x11135 x11141 x11144 x11145
1686.22/1684.93	v x11146 x11147 x11148 x11149 x11153 x11154 x11155 x11160 x11165 x11175 x11190 x11196 x11199 x11202 x11204 x11205 x11206
1686.22/1684.93	v x11207 x11208 x11209 x11210 x11216 x11219 x11223 x11224 x11225 x11230 x11237 x11238 x11243 x11248 x11253 x11264 x11267
1686.22/1684.93	v x11268 x11273 x11278 x11283 x11289 x11292 x11293 x11294 x11295 x11296 x11297 x11301 x11302 x11306 x11307 x11308 x11309
1686.22/1684.93	v x11310 x11311 x11312 x11313 x11314 x11315 x11316 x11317 x11318 x11319 x11320 x11321 x11322 x11326 x11327 x11330 x11332
1686.22/1684.93	v x11333 x11349 x11352 x11353 x11354 x11355 x11356 x11357 x11360 x11362 x11363 x11364 x11365 x11366 x11367 x11368 x11384
1686.22/1684.93	v x11387 x11390 x11392 x11395 x11396 x11397 x11398 x11399 x11400 x11401 x11402 x11403 x11404 x11405 x11406 x11407 x11408
1686.22/1684.93	v x11409 x11410 x11414 x11415 x11416 x11422 x11425 x11428 x11430 x11433 x11435 x11436 x11437 x11438 x11439 x11440 x11444
1686.22/1684.93	v x11445 x11448 x11450 x11454 x11455 x11456 x11462 x11465 x11466 x11467 x11468 x11469 x11470 x11471 x11472 x11473 x11474
1686.22/1684.93	v x11475 x11476 x11481 x11486 x11496 x11506 x11511 x11517 x11520 x11523 x11525 x11526 x11531 x11536 x11545 x11553 x11560
1686.22/1684.93	v x11565 x11569 x11570 x11571 x11572 x11573 x11575 x11578 x11579 x11580 x11582 x11587 x11598 x11607 x11609 x11610 x11611
1686.22/1684.93	v x11612 x11614 x11617 x11619 x11624 x11629 x11630 x11633 x11634 x11635 x11636 x11637 x11639 x11640 x11650 x11656 x11659
1686.22/1684.93	v x11660 x11661 x11662 x11663 x11664 x11667 x11669 x11673 x11674 x11677 x11679 x11680 x11685 x11691 x11694 x11695 x11701
1686.22/1684.93	v x11704 x11705 x11710 x11720 x11726 x11729 x11733 x11734 x11738 x11739 x11743 x11744 x11748 x11749 x11750 x11751 x11752
1686.22/1684.93	v x11753 x11754 x11755 x11756 x11757 x11758 x11759 x11760 x11765 x11771 x11774 x11777 x11779 x11782 x11784 x11785 x11786
1686.22/1684.93	v x11787 x11788 x11789 x11790 x11791 x11793 x11798 x11803 x11808 x11813 x11818 x11823 x11829 x11832 x11835 x11837 x11838
1686.22/1684.93	v x11843 x11849 x11852 x11853 x11854 x11855 x11856 x11857 x11858 x11859 x11860 x11861 x11862 x11865 x11867 x11868 x11873
1686.22/1684.93	v x11888 x11898 x11904 x11907 x11910 x11912 x11913 x11914 x11915 x11916 x11917 x11918 x11924 x11927 x11931 x11932 x11933
1686.22/1684.93	v x11938 x11945 x11947 x11950 x11954 x11955 x11958 x11960 x11964 x11965 x11966 x11967 x11968 x11969 x11970 x11971 x11981
1686.22/1684.93	v x11986 x11991 x12001 x12011 x12016 x12026 x12036 x12057 x12060 x12061 x12062 x12063 x12064 x12065 x12068 x12070 x12071
1686.22/1684.93	v x12072 x12073 x12074 x12075 x12076 x12092 x12095 x12098 x12099 x12104 x12109 x12114 x12120 x12123 x12124 x12125 x12126
1686.22/1684.93	v x12127 x12128 x12132 x12133 x12136 x12138 x12141 x12143 x12144 x12145 x12146 x12147 x12148 x12152 x12153 x12156 x12158
1686.22/1684.93	v x12162 x12163 x12164 x12165 x12166 x12167 x12168 x12171 x12173 x12177 x12178 x12179 x12180 x12181 x12182 x12183 x12184
1686.22/1684.93	v x12189 x12194 x12204 x12214 x12219 x12225 x12228 x12231 x12233 x12234 x12239 x12244 x12251 x12255 x12259 x12260 x12262
1686.22/1684.93	v x12263 x12271 x12273 x12274 x12278 x12280 x12281 x12285 x12286 x12293 x12296 x12299 x12315 x12317 x12318 x12319 x12323
1686.22/1684.93	v x12324 x12325 x12326 x12327 x12328 x12331 x12335 x12337 x12338 x12342 x12344 x12345 x12347 x12348 x12353 x12359 x12362
1686.22/1684.93	v x12363 x12364 x12365 x12366 x12367 x12368 x12369 x12370 x12371 x12372 x12376 x12377 x12378 x12383 x12388 x12394 x12397
1686.22/1684.93	v x12400 x12402 x12403 x12404 x12405 x12406 x12407 x12408 x12409 x12410 x12411 x12412 x12415 x12417 x12421 x12422 x12426
1686.22/1684.93	v x12427 x12430 x12432 x12436 x12437 x12441 x12442 x12443 x12449 x12452 x12453 x12458 x12464 x12467 x12468 x12473 x12478
1686.22/1684.93	v x12483 x12493 x12498 x12500 x12501 x12506 x12512 x12515 x12519 x12520 x12523 x12525 x12526 x12532 x12535 x12536 x12537
1686.22/1684.93	v x12538 x12539 x12540 x12543 x12545 x12546 x12552 x12555 x12559 x12560 x12564 x12565 x12569 x12570 x12573 x12575 x12576
1686.22/1684.93	v x12581 x12591 x12601 x12606 x12612 x12615 x12618 x12620 x12621 x12622 x12623 x12624 x12625 x12626 x12632 x12635 x12639
1686.22/1684.93	v x12640 x12643 x12645 x12646 x12647 x12648 x12649 x12650 x12651 x12653 x12655 x12658 x12661 x12663 x12667 x12668 x12671
1686.22/1684.93	v x12673 x12676 x12678 x12679 x12685 x12688 x12691 x12693 x12694 x12695 x12696 x12697 x12698 x12699 x12704 x12709 x12714
1686.22/1684.93	v x12719 x12724 x12739 x12749 x12759 x12765 x12768 x12772 x12773 x12776 x12778 x12779 x12780 x12781 x12782 x12783 x12784
1686.22/1684.93	v x12785 x12786 x12787 x12788 x12789 x12790 x12791 x12792 x12793 x12797 x12798 x12799 x12800 x12801 x12802 x12803 x12805
1686.22/1684.93	v x12810 x12811 x12815 x12816 x12817 x12833 x12836 x12837 x12842 x12847 x12853 x12856 x12859 x12861 x12864 x12866 x12869
1686.22/1684.93	v x12871 x12874 x12876 x12879 x12881 x12885 x12886 x12890 x12891 x12894 x12896 x12900 x12901 x12904 x12906 x12910 x12911
1686.22/1684.93	v x12912 x12913 x12914 x12915 x12916 x12917 x12927 x12933 x12936 x12939 x12941 x12944 x12946 x12947 x12953 x12956 x12963
1686.22/1684.93	v x12964 x12969 x12970 x12971 x12981 x12982 x12986 x12988 x12989 x12993 x12994 x13007 x13012 x13025 x13026 x13027 x13028
1686.22/1684.93	v x13033 x13034 x13035 x13039 x13044 x13045 x13046 x13050 x13052 x13053 x13055 x13056 x13061 x13067 x13070 x13071 x13072
1686.22/1684.93	v x13073 x13074 x13075 x13076 x13077 x13078 x13079 x13080 x13081 x13082 x13083 x13084 x13085 x13086 x13091 x13101 x13106
1686.22/1684.93	v x13112 x13115 x13116 x13117 x13118 x13119 x13120 x13121 x13126 x13131 x13136 x13141 x13146 x13156 x13161 x13166 x13172
1686.22/1684.93	v x13175 x13176 x13181 x13186 x13191 x13201 x13208 x13209 x13214 x13220 x13223 x13227 x13228 x13231 x13233 x13236 x13238
1686.22/1684.93	v x13239 x13240 x13241 x13242 x13243 x13244 x13245 x13246 x13247 x13248 x13251 x13253 x13254 x13260 x13263 x13267 x13268
1686.22/1684.93	v x13272 x13273 x13277 x13278 x13281 x13283 x13284 x13289 x13299 x13314 x13320 x13323 x13326 x13328 x13329 x13330 x13331
1686.22/1684.93	v x13332 x13333 x13334 x13340 x13343 x13347 x13348 x13351 x13353 x13354 x13355 x13356 x13357 x13358 x13359 x13361 x13363
1686.22/1684.93	v x13366 x13369 x13371 x13375 x13376 x13379 x13381 x13384 x13386 x13389 x13391 x13394 x13396 x13399 x13401 x13402 x13407
1686.22/1684.93	v x13413 x13416 x13417 x13422 x13427 x13432 x13438 x13441 x13444 x13446 x13447 x13448 x13449 x13450 x13451 x13454 x13456
1686.22/1684.93	v x13457 x13462 x13467 x13473 x13476 x13480 x13481 x13484 x13486 x13487 x13488 x13489 x13490 x13491 x13492 x13493 x13494
1686.22/1684.93	v x13495 x13496 x13497 x13498 x13499 x13500 x13501 x13505 x13506 x13507 x13508 x13509 x13510 x13511 x13513 x13518 x13519
1686.22/1684.93	v x13523 x13524 x13525 x13545 x13550 x13555 x13561 x13564 x13565 x13570 x13575 x13580 x13585 x13590 x13595 x13600 x13605
1686.22/1684.93	v x13610 x13615 x13621 x13624 x13625 x13635 x13641 x13644 x13647 x13649 x13652 x13654 x13655 x13661 x13664 x13667 x13677
1686.22/1684.93	v x13689 x13697 x13700 x13704 x13714 x13715 x13716 x13718 x13723 x13728 x13731 x13732 x13736 x13741 x13746 x13747 x13748
1686.22/1684.93	v x13750 x13753 x13755 x13760 x13761 x13764 x13769 x13790 x13793 x13794 x13814 x13839 x13844 x13849 x13854 x13859 x13875
1686.22/1684.93	v x13878 x13882 x13883 x13884 x13885 x13886 x13887 x13888 x13889 x13899 x13910 x13913 x13916 x13922 x13927 x13932 x13947
1686.22/1684.93	v x13953 x13956 x13957 x13967 x13973 x13976 x13977 x13978 x13979 x13980 x13981 x13982 x13983 x13984 x13985 x13986 x13987
1686.22/1684.93	v x13997 x14027 x14037 x14048 x14051 x14052 x14053 x14054 x14055 x14056 x14057 x14063 x14066 x14067 x14069 x14071 x14074
1686.22/1684.93	v x14077 x14079 x14080 x14085 x14090 x14100 x14105 x14110 x14115 x14121 x14124 x14128 x14129 x14133 x14134 x14135 x14145
1686.22/1684.93	v x14151 x14154 x14155 x14156 x14157 x14158 x14159 x14160 x14161 x14162 x14163 x14164 x14165 x14166 x14167 x14168 x14169
1686.22/1684.93	v x14173 x14174 x14175 x14180 x14185 x14190 x14195 x14200 x14206 x14209 x14213 x14214 x14218 x14219 x14221 x14223 x14228
1686.22/1684.93	v x14234 x14237 x14238 x14239 x14240 x14241 x14242 x14245 x14247 x14248 x14254 x14257 x14260 x14262 x14263 x14264 x14265
1686.22/1684.93	v x14266 x14267 x14270 x14272 x14276 x14277 x14278 x14283 x14289 x14292 x14296 x14297 x14300 x14302 x14306 x14307 x14310
1686.22/1684.93	v x14312 x14315 x14317 x14320 x14322 x14323 x14328 x14334 x14337 x14340 x14342 x14343 x14344 x14345 x14346 x14347 x14350
1686.22/1684.93	v x14352 x14355 x14357 x14361 x14362 x14366 x14367 x14368 x14373 x14385 x14397 x14405 x14407 x14408 x14412 x14423 x14424
1686.22/1684.93	v x14426 x14431 x14436 x14439 x14440 x14444 x14449 x14455 x14456 x14458 x14461 x14463 x14468 x14469 x14472 x14477 x14497
1686.22/1684.93	v x14522 x14552 x14557 x14562 x14567 x14583 x14586 x14590 x14591 x14592 x14593 x14594 x14595 x14596 x14597 x14607 x14618
1686.22/1684.93	v x14621 x14624 x14630 x14635 x14640 x14655 x14661 x14664 x14665 x14675 x14681 x14684 x14685 x14686 x14687 x14688 x14689
1686.22/1684.93	v x14690 x14691 x14692 x14693 x14694 x14695 x14700 x14706 x14709 x14712 x14714 x14717 x14719 x14722 x14724 x14727 x14729
1686.22/1684.93	v x14732 x14734 x14735 x14736 x14737 x14738 x14739 x14742 x14744 x14745 x14746 x14747 x14748 x14749 x14752 x14754 x14758
1686.22/1684.93	v x14759 x14760 x14761 x14762 x14763 x14764 x14765 x14771 x14774 x14775 x14777 x14779 x14782 x14785 x14787 x14788 x14793
1686.22/1684.93	v x14798 x14804 x14807 x14808 x14813 x14818 x14823 x14829 x14832 x14836 x14837 x14841 x14842 x14843 x14858 x14863 x14868
1686.22/1684.93	v x14873 x14883 x14888 x14893 x14898 x14903 x14908 x14914 x14917 x14921 x14922 x14926 x14927 x14929 x14931 x14936 x14942
1686.22/1684.93	v x14945 x14946 x14947 x14948 x14949 x14950 x14953 x14955 x14956 x14962 x14965 x14968 x14970 x14971 x14972 x14973 x14974
1686.22/1684.93	v x14975 x14978 x14980 x14984 x14985 x14986 x14991 x14997 x15000 x15004 x15005 x15009 x15010 x15013 x15015 x15018 x15020
1686.22/1684.93	v x15023 x15025 x15028 x15030 x15031 x15036 x15042 x15045 x15048 x15050 x15051 x15052 x15053 x15054 x15055 x15058 x15060
1686.22/1684.93	v x15063 x15065 x15069 x15070 x15074 x15075 x15076 x15081 x15083 x15084 x15087 x15088 x15094 x15097 x15098 x15099 x15100
1686.22/1684.93	v x15102 x15109 x15112 x15122 x15136 x15137 x15147 x15148 x15151 x15152 x15154 x15158 x15161 x15162 x15163 x15164 x15166
1686.22/1684.93	v x15168 x15169 x15173 x15176 x15179 x15181 x15184 x15185 x15186 x15187 x15188 x15189 x15193 x15194 x15198 x15199 x15200
1686.22/1684.93	v x15201 x15202 x15203 x15204 x15207 x15209 x15213 x15214 x15217 x15219 x15220 x15235 x15240 x15245 x15250 x15256 x15259
1686.22/1684.93	v x15262 x15264 x15265 x15266 x15267 x15268 x15269 x15273 x15274 x15275 x15276 x15277 x15278 x15279 x15280 x15286 x15289
1686.22/1684.93	v x15290 x15291 x15292 x15293 x15294 x15298 x15299 x15300 x15305 x15310 x15315 x15320 x15325 x15332 x15344 x15347 x15348
1686.22/1684.93	v x15349 x15350 x15351 x15352 x15353 x15358 x15364 x15367 x15371 x15372 x15375 x15377 x15378 x15384 x15387 x15391 x15392
1686.22/1684.93	v x15396 x15397 x15398 x15399 x15400 x15401 x15402 x15403 x15414 x15417 x15420 x15422 x15423 x15443 x15453 x15458 x15464
1686.22/1684.93	v x15467 x15471 x15472 x15473 x15479 x15482 x15483 x15485 x15486 x15491 x15496 x15501 x15506 x15511 x15526 x15536 x15541
1686.22/1684.93	v x15546 x15552 x15555 x15558 x15560 x15561 x15566 x15571 x15581 x15586 x15597 x15600 x15604 x15605 x15608 x15610 x15613
1686.22/1684.93	v x15615 x15618 x15620 x15623 x15625 x15628 x15630 x15633 x15635 x15637 x15641 x15643 x15646 x15648 x15651 x15653 x15654
1686.22/1684.93	v x15655 x15656 x15657 x15658 x15659 x15660 x15661 x15662 x15663 x15664 x15665 x15666 x15667 x15668 x15669 x15679 x15684
1686.22/1684.93	v x15689 x15694 x15699 x15704 x15709 x15714 x15719 x15724 x15729 x15734 x15739 x15749 x15759 x15764 x15779 x15789 x15791
1686.22/1684.93	v x15792 x15795 x15796 x15817 x15820 x15821 x15830 x15834 x15837 x15838 x15839 x15840 x15842 x15845 x15855 x15856 x15859
1686.22/1684.93	v x15860 x15862 x15866 x15869 x15870 x15871 x15872 x15874 x15877 x15881 x15884 x15885 x15887 x15889 x15892 x15893 x15894
1686.22/1684.93	v x15895 x15896 x15897 x15901 x15902 x15906 x15907 x15908 x15909 x15910 x15911 x15912 x15915 x15917 x15921 x15922 x15925
1686.22/1684.93	v x15927 x15928 x15943 x15948 x15953 x15958 x15964 x15967 x15970 x15972 x15973 x15974 x15975 x15976 x15977 x15981 x15982
1686.22/1684.93	v x15983 x15984 x15985 x15986 x15987 x15988 x15993 x15999 x16002 x16006 x16007 x16008 x16013 x16018 x16023 x16028 x16033
1686.22/1684.93	v x16040 x16052 x16055 x16056 x16057 x16058 x16059 x16060 x16061 x16066 x16072 x16075 x16079 x16080 x16083 x16085 x16086
1686.22/1684.93	v x16092 x16095 x16099 x16100 x16104 x16105 x16106 x16107 x16108 x16109 x16110 x16111 x16122 x16125 x16128 x16130 x16131
1686.22/1684.93	v x16151 x16161 x16166 x16172 x16175 x16179 x16180 x16181 x16187 x16190 x16191 x16193 x16200 x16203 x16207 x16208 x16212
1686.22/1684.93	v x16213 x16216 x16218 x16222 x16223 x16224 x16234 x16244 x16249 x16254 x16260 x16263 x16266 x16268 x16269 x16274 x16279
1686.22/1684.93	v x16289 x16294 x16300 x16303 x16307 x16308 x16312 x16313 x16316 x16318 x16321 x16323 x16326 x16328 x16331 x16333 x16336
1686.22/1684.93	v x16338 x16341 x16343 x16345 x16347 x16362 x16367 x16372 x16377 x16387 x16392 x16397 x16402 x16407 x16412 x16417 x16422
1686.22/1684.93	v x16427 x16432 x16437 x16442 x16447 x16457 x16467 x16472 x16487 x16497 x16498 x16506 x16512 x16513 x16514 x16515 x16516
1686.22/1684.93	v x16518 x16521 x16524 x16525 x16526 x16531 x16536 x16551 x16562 x16563 x16568 x16570 x16576 x16577 x16578 x16579 x16580
1686.22/1684.93	v x16582 x16583 x16585 x16588 x16589 x16590 x16594 x16598 x16600 x16604 x16605 x16606 x16611 x16621 x16632 x16635 x16636
1686.22/1684.93	v x16641 x16661 x16666 x16671 x16677 x16680 x16683 x16685 x16686 x16691 x16696 x16701 x16707 x16710 x16714 x16715 x16719
1686.22/1684.93	v x16720 x16723 x16725 x16728 x16730 x16731 x16732 x16733 x16734 x16735 x16739 x16740 x16741 x16746 x16748 x16754 x16759
1686.22/1684.93	v x16765 x16768 x16769 x16779 x16784 x16789 x16794 x16800 x16803 x16804 x16805 x16806 x16807 x16808 x16812 x16813 x16814
1686.22/1684.93	v x16815 x16816 x16817 x16818 x16821 x16823 x16826 x16828 x16829 x16830 x16831 x16832 x16833 x16836 x16838 x16841 x16843
1686.22/1684.93	v x16846 x16848 x16851 x16853 x16856 x16858 x16859 x16860 x16861 x16862 x16863 x16866 x16868 x16869 x16870 x16871 x16872
1686.22/1684.93	v x16873 x16876 x16878 x16882 x16883 x16884 x16885 x16886 x16887 x16888 x16889 x16895 x16898 x16902 x16907 x16912 x16917
1686.22/1684.93	v x16922 x16928 x16931 x16932 x16943 x16946 x16949 x16951 x16952 x16957 x16967 x16973 x16976 x16977 x16978 x16979 x16980
1686.22/1684.93	v x16981 x16985 x16986 x16990 x16991 x16994 x16996 x16997 x16998 x16999 x17000 x17001 x17004 x17006 x17009 x17011 x17012
1686.22/1684.93	v x17022 x17032 x17037 x17048 x17051 x17054 x17055 x17061 x17064 x17065 x17066 x17067 x17068 x17069 x17072 x17074 x17075
1686.22/1684.93	v x17076 x17077 x17078 x17079 x17080 x17086 x17089 x17093 x17094 x17098 x17099 x17103 x17104 x17107 x17109 x17110 x17111
1686.22/1684.93	v x17112 x17113 x17114 x17115 x17121 x17124 x17125 x17130 x17135 x17150 x17166 x17169 x17170 x17176 x17179 x17180 x17185
1686.22/1684.93	v x17191 x17194 x17198 x17199 x17200 x17206 x17214 x17221 x17222 x17223 x17224 x17226 x17229 x17232 x17233 x17234 x17239
1686.22/1684.93	v x17244 x17247 x17250 x17251 x17259 x17270 x17271 x17276 x17278 x17279 x17282 x17283 x17285 x17286 x17287 x17288 x17290
1686.22/1684.93	v x17291 x17293 x17296 x17297 x17298 x17302 x17306 x17308 x17312 x17313 x17314 x17319 x17330 x17333 x17334 x17340 x17343
1686.22/1684.93	v x17346 x17348 x17352 x17353 x17354 x17359 x17364 x17374 x17379 x17385 x17388 x17391 x17393 x17394 x17399 x17404 x17409
1686.22/1684.93	v x17415 x17418 x17422 x17423 x17427 x17428 x17431 x17433 x17436 x17438 x17439 x17440 x17441 x17442 x17443 x17447 x17448
1686.22/1684.93	v x17449 x17456 x17462 x17467 x17473 x17476 x17477 x17482 x17487 x17492 x17497 x17502 x17508 x17511 x17512 x17513 x17514
1686.22/1684.93	v x17515 x17516 x17520 x17521 x17522 x17523 x17524 x17525 x17526 x17529 x17531 x17534 x17536 x17537 x17538 x17539 x17540
1686.22/1684.93	v x17541 x17544 x17546 x17549 x17551 x17554 x17556 x17559 x17561 x17564 x17566 x17567 x17568 x17569 x17570 x17571 x17574
1686.22/1684.93	v x17576 x17577 x17578 x17579 x17580 x17581 x17584 x17586 x17590 x17591 x17592 x17593 x17594 x17595 x17596 x17597 x17603
1686.22/1684.93	v x17606 x17610 x17615 x17620 x17625 x17630 x17635 x17641 x17644 x17648 x17649 x17650 x17660 x17665 x17671 x17674 x17675
1686.22/1684.93	v x17681 x17684 x17685 x17686 x17687 x17688 x17689 x17693 x17694 x17698 x17699 x17702 x17704 x17705 x17706 x17707 x17708
1686.22/1684.93	v x17709 x17712 x17714 x17717 x17719 x17720 x17730 x17740 x17745 x17756 x17759 x17762 x17763 x17769 x17772 x17773 x17774
1686.22/1684.93	v x17775 x17776 x17777 x17780 x17782 x17783 x17784 x17785 x17786 x17787 x17788 x17789 x17790 x17791 x17792 x17796 x17797
1686.22/1684.93	v x17801 x17802 x17803 x17804 x17805 x17806 x17807 x17811 x17812 x17815 x17817 x17818 x17819 x17820 x17821 x17822 x17823
1686.22/1684.93	v x17829 x17832 x17833 x17838 x17843 x17858 x17874 x17877 x17878 x17884 x17887 x17888 x17893 x17899 x17902 x17906 x17907
1686.22/1684.93	v x17908 x17915 x17941 x17950 x17953 x17956 x17957 x17965 x17966 x17969 x17975 x17977 x17979 x17982 x17985 x17988 x17989
1686.22/1684.93	v x17997 x17998 x18001 x18005 x18007 x18009 x18011 x18012 x18022 x18028 x18031 x18035 x18036 x18037 x18043 x18046 x18050
1686.22/1684.93	v x18051 x18055 x18056 x18059 x18061 x18062 x18063 x18064 x18065 x18066 x18070 x18071 x18075 x18076 x18080 x18081 x18085
1686.22/1684.93	v x18086 x18090 x18091 x18095 x18096 x18100 x18101 x18102 x18103 x18104 x18105 x18106 x18109 x18111 x18112 x18123 x18126
1686.22/1684.93	v x18127 x18137 x18143 x18146 x18147 x18152 x18157 x18162 x18163 x18165 x18176 x18179 x18183 x18184 x18187 x18189 x18192
1686.22/1684.93	v x18194 x18198 x18199 x18200 x18201 x18202 x18203 x18204 x18205 x18210 x18216 x18219 x18223 x18224 x18228 x18229 x18233
1686.22/1684.93	v x18234 x18235 x18246 x18249 x18252 x18254 x18255 x18260 x18265 x18270 x18275 x18286 x18289 x18290 x18295 x18300 x18305
1686.22/1684.93	v x18310 x18315 x18316 x18318 x18319 x18320 x18321 x18322 x18326 x18327 x18330 x18332 x18336 x18337 x18338 x18343 x18353
1686.22/1684.93	v x18368 x18373 x18383 x18388 x18393 x18398 x18403 x18408 x18413 x18418 x18423 x18428 x18433 x18444 x18447 x18451 x18452
1686.22/1684.93	v x18453 x18454 x18455 x18456 x18457 x18460 x18462 x18463 x18464 x18465 x18466 x18467 x18472 x18475 x18476 x18491 x18496
1686.22/1684.93	v x18507 x18510 x18514 x18515 x18519 x18520 x18523 x18525 x18528 x18530 x18531 x18536 x18542 x18545 x18548 x18550 x18553
1686.22/1684.93	v x18555 x18558 x18560 x18561 x18562 x18563 x18564 x18565 x18566 x18567 x18568 x18569 x18570 x18571 x18572 x18573 x18574
1686.22/1684.93	v x18575 x18576 x18577 x18578 x18579 x18580 x18581 x18582 x18583 x18584 x18585 x18588 x18590 x18591 x18596 x18601 x18607
1686.22/1684.93	v x18610 x18614 x18615 x18616 x18617 x18618 x18619 x18620 x18649 x18658 x18661 x18664 x18665 x18673 x18674 x18677 x18683
1686.22/1684.93	v x18685 x18690 x18693 x18696 x18697 x18705 x18706 x18709 x18713 x18715 x18717 x18719 x18720 x18730 x18736 x18739 x18743
1686.22/1684.93	v x18744 x18745 x18751 x18754 x18758 x18759 x18763 x18764 x18767 x18769 x18770 x18771 x18772 x18773 x18774 x18778 x18779
1686.22/1684.93	v x18783 x18784 x18788 x18789 x18793 x18794 x18798 x18799 x18803 x18804 x18808 x18809 x18810 x18811 x18812 x18813 x18814
1686.22/1684.93	v x18817 x18819 x18820 x18831 x18834 x18835 x18845 x18851 x18854 x18855 x18860 x18865 x18871 x18873 x18884 x18887 x18891
1686.22/1684.93	v x18892 x18895 x18897 x18900 x18902 x18906 x18907 x18908 x18909 x18910 x18911 x18912 x18913 x18918 x18924 x18927 x18931
1686.22/1684.93	v x18932 x18936 x18937 x18938 x18939 x18940 x18941 x18942 x18943 x18954 x18957 x18960 x18962 x18963 x18968 x18973 x18978
1686.22/1684.93	v x18983 x18994 x18997 x18998 x19003 x19008 x19013 x19018 x19023 x19024 x19026 x19027 x19028 x19029 x19030 x19034 x19035
1686.22/1684.93	v x19038 x19040 x19044 x19045 x19046 x19051 x19061 x19076 x19081 x19096 x19101 x19106 x19111 x19116 x19121 x19126 x19131
1686.22/1684.93	v x19136 x19141 x19152 x19155 x19159 x19160 x19161 x19162 x19163 x19164 x19165 x19168 x19170 x19171 x19172 x19173 x19174
1686.22/1684.93	v x19175 x19180 x19183 x19184 x19199 x19204 x19215 x19218 x19222 x19223 x19227 x19228 x19231 x19233 x19236 x19238 x19239
1686.22/1684.93	v x19244 x19250 x19253 x19256 x19258 x19261 x19263 x19266 x19268 x19269 x19270 x19271 x19272 x19273 x19274 x19275 x19276
1686.22/1684.93	v x19277 x19278 x19279 x19280 x19281 x19282 x19283 x19284 x19285 x19286 x19287 x19288 x19289 x19290 x19291 x19292 x19293
1686.22/1684.93	v x19296 x19298 x19299 x19304 x19309 x19315 x19318 x19322 x19323 x19324 x19325 x19326 x19327 x19328 x19332 x19334 x19337
1686.22/1684.93	v x19340 x19341 x19349 x19353 x19358 x19359 x19361 x19365 x19367 x19374 x19375 x19377 x19378 x19379 x19386 x19389 x19396
1686.22/1684.93	v x19397 x19398 x19399 x19401 x19404 x19405 x19406 x19407 x19409 x19410 x19411 x19413 x19417 x19418 x19421 x19422 x19423
1686.22/1684.93	v x19425 x19434 x19437 x19440 x19442 x19443 x19444 x19445 x19446 x19447 x19448 x19449 x19450 x19451 x19452 x19453 x19458
1686.22/1684.93	v x19473 x19479 x19482 x19483 x19484 x19485 x19486 x19487 x19490 x19492 x19493 x19498 x19503 x19509 x19512 x19516 x19517
1686.22/1684.93	v x19520 x19522 x19523 x19533 x19538 x19543 x19553 x19559 x19562 x19563 x19564 x19565 x19566 x19567 x19568 x19569 x19570
1686.22/1684.93	v x19571 x19572 x19576 x19577 x19579 x19581 x19592 x19595 x19599 x19600 x19601 x19612 x19615 x19619 x19620 x19621 x19626
1686.22/1684.93	v x19632 x19635 x19639 x19640 x19644 x19645 x19649 x19650 x19651 x19661 x19666 x19671 x19691 x19696 x19702 x19705 x19708
1686.22/1684.93	v x19710 x19711 x19712 x19713 x19714 x19715 x19716 x19717 x19718 x19719 x19720 x19721 x19727 x19730 x19734 x19749 x19755
1686.22/1684.93	v x19758 x19759 x19760 x19761 x19762 x19763 x19764 x19765 x19766 x19767 x19768 x19769 x19779 x19789 x19799 x19804 x19809
1686.22/1684.93	v x19830 x19833 x19837 x19838 x19841 x19843 x19844 x19845 x19846 x19847 x19848 x19851 x19853 x19854 x19859 x19864 x19869
1686.22/1684.93	v x19874 x19888 x19891 x19892 x19902 x19907 x19912 x19917 x19922 x19927 x19933 x19936 x19937 x19942 x19952 x19958 x19961
1686.22/1684.93	v x19964 x19966 x19970 x19971 x19975 x19976 x19980 x19981 x19982 x19998 x20001 x20005 x20006 x20009 x20011 x20014 x20016
1686.22/1684.93	v x20017 x20018 x20019 x20020 x20021 x20022 x20023 x20024 x20025 x20026 x20027 x20028 x20029 x20030 x20031 x20032 x20040
1686.22/1684.93	v x20042 x20045 x20048 x20049 x20057 x20061 x20066 x20067 x20069 x20073 x20075 x20079 x20082 x20083 x20085 x20086 x20087
1686.22/1684.93	v x20094 x20097 x20104 x20105 x20106 x20107 x20109 x20111 x20112 x20113 x20114 x20115 x20117 x20118 x20119 x20121 x20125
1686.22/1684.93	v x20126 x20129 x20130 x20131 x20133 x20136 x20142 x20145 x20148 x20150 x20151 x20152 x20153 x20154 x20155 x20156 x20157
1686.22/1684.93	v x20158 x20159 x20160 x20161 x20166 x20176 x20181 x20187 x20190 x20191 x20192 x20193 x20194 x20195 x20198 x20200 x20201
1686.22/1684.93	v x20206 x20211 x20217 x20220 x20224 x20225 x20228 x20230 x20231 x20241 x20246 x20251 x20261 x20267 x20270 x20271 x20272
1686.22/1684.93	v x20273 x20274 x20275 x20276 x20277 x20278 x20279 x20280 x20284 x20285 x20287 x20289 x20300 x20303 x20307 x20308 x20309
1686.22/1684.93	v x20320 x20323 x20327 x20328 x20329 x20334 x20340 x20343 x20347 x20348 x20352 x20353 x20357 x20358 x20359 x20369 x20374
1686.22/1684.93	v x20379 x20399 x20404 x20410 x20413 x20416 x20418 x20419 x20420 x20421 x20422 x20423 x20424 x20425 x20426 x20427 x20428
1686.22/1684.93	v x20429 x20435 x20438 x20443 x20446 x20447 x20457 x20463 x20466 x20467 x20468 x20469 x20470 x20471 x20472 x20473 x20474
1686.22/1684.93	v x20475 x20476 x20477 x20483 x20486 x20487 x20488 x20489 x20490 x20491 x20495 x20496 x20497 x20498 x20499 x20500 x20501
1686.22/1684.93	v x20505 x20506 x20507 x20508 x20509 x20510 x20511 x20512 x20513 x20514 x20515 x20516 x20517 x20518 x20519 x20520 x20521
1686.22/1684.93	v x20525 x20526 x20530 x20531 x20535 x20536 x20539 x20541 x20545 x20546 x20549 x20551 x20552 x20553 x20554 x20555 x20556
1686.22/1684.93	v x20559 x20561 x20562 x20567 x20572 x20577 x20582 x20595 x20600 x20610 x20615 x20620 x20625 x20630 x20635 x20641 x20644
1686.22/1684.93	v x20645 x20650 x20660 x20666 x20669 x20672 x20674 x20678 x20679 x20683 x20684 x20688 x20689 x20690 x20706 x20709 x20713
1686.22/1684.93	v x20714 x20717 x20719 x20722 x20724 x20725 x20726 x20727 x20728 x20729 x20730 x20731 x20732 x20733 x20734 x20735 x20736
1686.22/1684.93	v x20737 x20738 x20739 x20740 x20749 x20750 x20753 x20754 x20755 x20756 x20757 x20758 x20761 x20762 x20763 x20764 x20770
1686.22/1684.93	v x20775 x20791 x20792 x20800 x20803 x20808 x20813 x20814 x20817 x20818 x20819 x20820 x20821 x20822 x20823 x20824 x20825
1686.22/1684.93	v x20826 x20827 x20828 x20832 x20834 x20835 x20839 x20840 x20849 x20854 x20859 x20869 x20874 x20879 x20885 x20888 x20889
1686.22/1684.93	v x20890 x20891 x20892 x20893 x20894 x20895 x20896 x20897 x20898 x20899 x20900 x20901 x20902 x20903 x20904 x20905 x20906
1686.22/1684.93	v x20907 x20908 x20909 x20910 x20911 x20912 x20913 x20916 x20918 x20921 x20923 x20926 x20928 x20931 x20933 x20937 x20938
1686.22/1684.93	v x20942 x20943 x20944 x20949 x20954 x20960 x20963 x20966 x20968 x20972 x20973 x20977 x20978 x20979 x20985 x20988 x20989
1686.22/1684.93	v x20990 x20991 x20992 x20993 x20994 x20995 x20999 x21001 x21004 x21006 x21007 x21008 x21009 x21010 x21011 x21015 x21016
1686.22/1684.93	v x21017 x21028 x21031 x21035 x21036 x21039 x21041 x21044 x21046 x21047 x21048 x21049 x21050 x21051 x21052 x21053 x21054
1686.22/1684.93	v x21055 x21056 x21057 x21058 x21059 x21060 x21061 x21062 x21063 x21064 x21065 x21066 x21067 x21072 x21078 x21081 x21082
1686.22/1684.93	v x21087 x21107 x21118 x21121 x21122 x21127 x21132 x21142 x21149 x21156 x21159 x21162 x21164 x21165 x21166 x21167 x21168
1686.22/1684.93	v x21169 x21170 x21175 x21181 x21184 x21187 x21189 x21190 x21196 x21199 x21200 x21201 x21202 x21203 x21204 x21207 x21209
1686.22/1684.93	v x21212 x21214 x21217 x21219 x21220 x21240 x21245 x21250 x21255 x21261 x21264 x21265 x21286 x21289 x21293 x21294 x21297
1686.22/1684.93	v x21299 x21300 x21302 x21313 x21318 x21324 x21327 x21330 x21332 x21333 x21343 x21354 x21357 x21361 x21362 x21366 x21367
1686.22/1684.93	v x21371 x21372 x21373 x21374 x21375 x21376 x21377 x21381 x21382 x21383 x21388 x21394 x21397 x21400 x21402 x21405 x21407
1686.22/1684.93	v x21410 x21412 x21416 x21417 x21420 x21422 x21423 x21428 x21433 x21438 x21448 x21453 x21457 x21458 x21461 x21462 x21463
1686.22/1684.93	v x21464 x21465 x21466 x21469 x21470 x21471 x21472 x21478 x21483 x21485 x21499 x21500 x21508 x21511 x21516 x21521 x21522
1686.22/1684.93	v x21525 x21526 x21527 x21528 x21529 x21530 x21531 x21532 x21533 x21534 x21535 x21536 x21540 x21542 x21543 x21547 x21548
1686.22/1684.93	v x21549 x21557 x21562 x21567 x21582 x21587 x21593 x21596 x21597 x21598 x21599 x21600 x21601 x21602 x21603 x21604 x21605
1686.22/1684.93	v x21606 x21607 x21608 x21609 x21610 x21611 x21612 x21613 x21614 x21615 x21616 x21617 x21618 x21619 x21620 x21621 x21624
1686.22/1684.93	v x21626 x21629 x21631 x21634 x21636 x21639 x21641 x21645 x21646 x21650 x21651 x21652 x21657 x21662 x21668 x21671 x21674
1686.22/1684.93	v x21676 x21680 x21681 x21685 x21686 x21687 x21693 x21696 x21697 x21698 x21699 x21700 x21701 x21702 x21703 x21707 x21709
1686.22/1684.93	v x21712 x21714 x21715 x21716 x21717 x21718 x21719 x21723 x21724 x21725 x21730 x21736 x21739 x21743 x21744 x21747 x21749
1686.22/1684.93	v x21752 x21754 x21755 x21756 x21757 x21758 x21759 x21760 x21761 x21762 x21763 x21764 x21765 x21766 x21767 x21768 x21769
1686.22/1684.93	v x21770 x21771 x21772 x21773 x21774 x21775 x21780 x21786 x21789 x21790 x21795 x21815 x21826 x21829 x21830 x21835 x21840
1686.22/1684.93	v x21850 x21857 x21864 x21867 x21870 x21872 x21873 x21874 x21875 x21876 x21877 x21878 x21889 x21892 x21895 x21897 x21898
1686.22/1684.93	v x21904 x21907 x21908 x21909 x21910 x21911 x21912 x21915 x21917 x21920 x21922 x21925 x21927 x21928 x21948 x21953 x21958
1686.22/1684.93	v x21963 x21969 x21972 x21973 x21994 x21997 x22001 x22002 x22005 x22007 x22008 x22010 x22021 x22026 x22032 x22035 x22039
1686.22/1684.93	v x22040 x22041 x22051 x22062 x22065 x22069 x22070 x22074 x22075 x22079 x22080 x22081 x22082 x22083 x22084 x22085 x22089
1686.22/1684.93	v x22090 x22091 x22096 x22102 x22105 x22108 x22110 x22113 x22115 x22118 x22120 x22124 x22125 x22128 x22130 x22131 x22136
1686.22/1684.93	v x22141 x22146 x22156 x22161 x22163 x22165 x22172 x22175 x22177 x22180 x22184 x22186 x22187 x22193 x22198 x22205 x22206
1686.22/1684.93	v x22214 x22222 x22227 x22229 x22230 x22236 x22237 x22238 x22239 x22241 x22244 x22246 x22248 x22250 x22251 x22254 x22257
1686.22/1684.93	v x22260 x22270 x22276 x22279 x22280 x22306 x22309 x22312 x22314 x22317 x22319 x22320 x22321 x22322 x22323 x22324 x22328
1686.22/1684.93	v x22329 x22332 x22334 x22338 x22339 x22343 x22344 x22347 x22349 x22350 x22356 x22359 x22363 x22364 x22367 x22369 x22373
1686.22/1684.93	v x22374 x22377 x22379 x22382 x22384 x22388 x22389 x22390 x22395 x22405 x22410 x22411 x22415 x22417 x22418 x22424 x22427
1686.22/1684.93	v x22428 x22429 x22430 x22431 x22432 x22435 x22437 x22438 x22443 x22449 x22452 x22455 x22457 x22458 x22463 x22469 x22472
1686.22/1684.93	v x22476 x22477 x22478 x22479 x22480 x22481 x22482 x22483 x22493 x22508 x22518 x22524 x22527 x22528 x22533 x22543 x22548
1686.22/1684.93	v x22559 x22562 x22566 x22571 x22577 x22580 x22584 x22585 x22586 x22587 x22588 x22589 x22590 x22591 x22596 x22601 x22606
1686.22/1684.93	v x22611 x22616 x22621 x22627 x22630 x22634 x22635 x22639 x22640 x22644 x22645 x22649 x22650 x22654 x22655 x22656 x22657
1686.22/1684.93	v x22658 x22659 x22660 x22661 x22666 x22676 x22681 x22697 x22700 x22703 x22705 x22709 x22710 x22713 x22715 x22719 x22725
1686.22/1684.93	v x22728 x22729 x22734 x22739 x22745 x22748 x22749 x22750 x22751 x22752 x22753 x22756 x22758 x22761 x22763 x22764 x22765
1686.22/1684.93	v x22766 x22767 x22768 x22769 x22770 x22771 x22772 x22773 x22776 x22778 x22779 x22784 x22789 x22799 x22809 x22815 x22818
1686.22/1684.93	v x22821 x22823 x22827 x22828 x22831 x22833 x22834 x22835 x22836 x22837 x22838 x22842 x22843 x22844 x22849 x22854 x22873
1686.22/1684.93	v x22880 x22883 x22885 x22888 x22892 x22894 x22895 x22901 x22906 x22913 x22914 x22922 x22930 x22937 x22938 x22944 x22945
1686.22/1684.93	v x22946 x22947 x22949 x22952 x22954 x22956 x22958 x22959 x22962 x22965 x22978 x22984 x22987 x22988 x23014 x23017 x23020
1686.22/1684.93	v x23022 x23025 x23027 x23028 x23029 x23030 x23031 x23032 x23036 x23037 x23040 x23042 x23046 x23047 x23051 x23052 x23055
1686.22/1684.93	v x23057 x23058 x23064 x23067 x23071 x23072 x23075 x23077 x23081 x23082 x23085 x23087 x23090 x23092 x23096 x23097 x23098
1686.22/1684.93	v x23103 x23113 x23119 x23123 x23125 x23126 x23132 x23135 x23136 x23137 x23138 x23139 x23140 x23143 x23145 x23146 x23151
1686.22/1684.93	v x23157 x23160 x23163 x23165 x23166 x23171 x23177 x23180 x23184 x23185 x23186 x23187 x23188 x23189 x23190 x23191 x23201
1686.22/1684.93	v x23216 x23226 x23232 x23235 x23236 x23241 x23251 x23256 x23267 x23270 x23279 x23285 x23288 x23292 x23293 x23294 x23295
1686.22/1684.93	v x23296 x23297 x23298 x23299 x23304 x23309 x23314 x23319 x23324 x23329 x23335 x23338 x23342 x23343 x23347 x23348 x23352
1686.22/1684.93	v x23353 x23357 x23358 x23362 x23363 x23364 x23365 x23366 x23367 x23368 x23369 x23374 x23384 x23389 x23405 x23408 x23411
1686.22/1684.93	v x23413 x23417 x23418 x23421 x23423 x23433 x23436 x23437 x23442 x23447 x23453 x23456 x23457 x23458 x23459 x23460 x23461
1686.22/1684.93	v x23464 x23466 x23469 x23471 x23472 x23473 x23474 x23475 x23476 x23477 x23478 x23479 x23480 x23481 x23484 x23486 x23487
1686.22/1684.93	v x23492 x23497 x23507 x23517 x23523 x23526 x23529 x23531 x23535 x23536 x23539 x23541 x23542 x23543 x23544 x23545 x23546
1686.22/1684.93	v x23550 x23551 x23552 x23557 x23562 x23589 x23590 x23597 x23598 x23599 x23601 x23602 x23610 x23613 x23614 x23617 x23619
1686.22/1684.93	v x23628 x23635 x23636 x23637 x23638 x23642 x23645 x23646 x23649 x23651 x23653 x23654 x23660 x23661 x23662 x23663 x23665
1686.22/1684.93	v x23666 x23667 x23668 x23669 x23670 x23675 x23687 x23690 x23691 x23692 x23693 x23694 x23695 x23696 x23701 x23706 x23716
1686.22/1684.93	v x23727 x23730 x23731 x23732 x23733 x23734 x23735 x23739 x23740 x23744 x23745 x23749 x23750 x23751 x23762 x23765 x23768
1686.22/1684.93	v x23770 x23773 x23775 x23778 x23780 x23784 x23785 x23788 x23790 x23793 x23795 x23798 x23800 x23803 x23805 x23806 x23807
1686.22/1684.93	v x23808 x23809 x23810 x23813 x23815 x23816 x23827 x23831 x23833 x23834 x23839 x23844 x23854 x23859 x23865 x23868 x23871
1686.22/1684.93	v x23873 x23876 x23878 x23882 x23883 x23884 x23885 x23886 x23887 x23888 x23892 x23893 x23897 x23898 x23901 x23903 x23906
1686.22/1684.93	v x23908 x23912 x23913 x23916 x23918 x23921 x23923 x23926 x23928 x23929 x23934 x23939 x23944 x23949 x23959 x23964 x23969
1686.22/1684.93	v x23974 x23979 x23981 x23982 x23992 x23998 x24001 x24004 x24006 x24009 x24011 x24014 x24016 x24017 x24022 x24027 x24032
1686.22/1684.93	v x24037 x24042 x24047 x24052 x24057 x24067 x24087 x24097 x24102 x24112 x24117 x24122 x24127 x24132 x24134 x24135 x24140
1686.22/1684.93	v x24146 x24149 x24153 x24154 x24155 x24160 x24165 x24170 x24175 x24180 x24185 x24191 x24194 x24197 x24199 x24202 x24204
1686.22/1684.93	v x24207 x24209 x24212 x24214 x24215 x24220 x24235 x24241 x24244 x24248 x24249 x24250 x24251 x24252 x24253 x24254 x24255
1686.22/1684.93	v x24256 x24257 x24258 x24259 x24260 x24266 x24269 x24270 x24271 x24272 x24273 x24274 x24275 x24276 x24277 x24278 x24279
1686.22/1684.93	v x24280 x24281 x24282 x24283 x24284 x24285 x24297 x24298 x24305 x24306 x24307 x24309 x24310 x24318 x24321 x24322 x24325
1686.22/1684.93	v x24327 x24336 x24343 x24344 x24345 x24346 x24349 x24350 x24353 x24354 x24357 x24359 x24361 x24362 x24368 x24369 x24370
1686.22/1684.93	v x24371 x24373 x24374 x24375 x24376 x24377 x24378 x24381 x24383 x24395 x24398 x24399 x24400 x24401 x24402 x24403 x24404
1686.22/1684.93	v x24414 x24424 x24435 x24438 x24439 x24440 x24441 x24442 x24443 x24447 x24448 x24452 x24453 x24457 x24458 x24459 x24470
1686.22/1684.93	v x24473 x24476 x24478 x24481 x24483 x24486 x24488 x24492 x24493 x24496 x24498 x24501 x24503 x24506 x24508 x24511 x24513
1686.22/1684.93	v x24514 x24515 x24516 x24517 x24518 x24521 x24523 x24524 x24535 x24539 x24541 x24542 x24547 x24552 x24567 x24573 x24576
1686.22/1684.93	v x24579 x24581 x24584 x24586 x24590 x24591 x24592 x24593 x24594 x24595 x24596 x24600 x24601 x24605 x24606 x24609 x24611
1686.22/1684.93	v x24614 x24616 x24620 x24621 x24624 x24626 x24629 x24631 x24634 x24636 x24637 x24642 x24647 x24652 x24657 x24667 x24672
1686.22/1684.93	v x24677 x24682 x24687 x24689 x24690 x24700 x24706 x24709 x24712 x24714 x24715 x24721 x24724 x24725 x24730 x24735 x24740
1686.22/1684.93	v x24745 x24750 x24755 x24760 x24765 x24775 x24795 x24805 x24810 x24820 x24825 x24830 x24835 x24840 x24842 x24843 x24848
1686.22/1684.93	v x24854 x24857 x24861 x24862 x24863 x24868 x24873 x24878 x24883 x24888 x24893 x24899 x24902 x24905 x24907 x24910 x24912
1686.22/1684.93	v x24915 x24917 x24920 x24922 x24923 x24928 x24943 x24949 x24952 x24956 x24957 x24958 x24959 x24960 x24961 x24962 x24963
1686.22/1684.93	v x24964 x24965 x24966 x24967 x24968 x24974 x24977 x24978 x24979 x24980 x24981 x24982 x24983 x24984 x24985 x24986 x24987
1686.22/1684.93	v x24988 x24989 x24990 x24991 x24992 x24993 x24994 x24996 x25000 x25003 x25006 x25012 x25019 x25027 x25031 x25033 x25039
1686.22/1684.93	v x25041 x25050 x25052 x25054 x25058 x25059 x25060 x25063 x25064 x25065 x25067 x25070 x25071 x25073 x25076 x25082 x25083
1686.22/1684.93	v x25084 x25086 x25090 x25092 x25093 x25094 x25095 x25096 x25097 x25098 x25099 x25100 x25101 x25102 x25107 x25113 x25116
1686.22/1684.93	v x25119 x25121 x25122 x25123 x25124 x25125 x25126 x25127 x25132 x25137 x25142 x25148 x25151 x25152 x25153 x25154 x25155
1686.22/1684.93	v x25156 x25157 x25163 x25166 x25167 x25172 x25178 x25181 x25185 x25186 x25187 x25202 x25207 x25213 x25216 x25217 x25218
1686.22/1684.93	v x25219 x25220 x25221 x25225 x25226 x25227 x25228 x25229 x25230 x25231 x25232 x25237 x25242 x25244 x25245 x25250 x25256
1686.22/1684.93	v x25259 x25260 x25261 x25262 x25263 x25264 x25267 x25269 x25272 x25274 x25275 x25276 x25277 x25278 x25279 x25283 x25284
1686.22/1684.93	v x25285 x25290 x25296 x25299 x25300 x25301 x25302 x25303 x25304 x25305 x25306 x25307 x25308 x25309 x25310 x25311 x25312
1686.22/1684.93	v x25313 x25314 x25317 x25319 x25322 x25324 x25328 x25329 x25330 x25350 x25356 x25359 x25360 x25365 x25370 x25375 x25380
1686.22/1684.93	v x25385 x25391 x25394 x25397 x25398 x25403 x25409 x25412 x25413 x25414 x25415 x25416 x25417 x25418 x25428 x25433 x25438
1686.22/1684.93	v x25443 x25449 x25452 x25456 x25457 x25460 x25462 x25465 x25467 x25468 x25473 x25479 x25482 x25486 x25487 x25491 x25492
1686.22/1684.93	v x25493 x25494 x25495 x25496 x25497 x25501 x25502 x25503 x25509 x25512 x25513 x25514 x25515 x25516 x25517 x25521 x25522
1686.22/1684.93	v x25525 x25527 x25528 x25534 x25537 x25540 x25542 x25545 x25547 x25549 x25551 x25552 x25553 x25554 x25555 x25556 x25557
1686.22/1684.93	v x25558 x25559 x25560 x25561 x25567 x25570 x25573 x25575 x25576 x25582 x25585 x25588 x25590 x25591 x25592 x25593 x25594
1686.22/1684.93	v x25595 x25596 x25597 x25598 x25599 x25600 x25601 x25606 x25611 x25616 x25621 x25626 x25636 x25646 x25657 x25660 x25661
1686.22/1684.93	v x25667 x25670 x25674 x25675 x25679 x25680 x25681 x25682 x25683 x25684 x25685 x25689 x25690 x25694 x25695 x25696 x25702
1686.22/1684.93	v x25704 x25708 x25711 x25714 x25720 x25727 x25733 x25739 x25741 x25747 x25749 x25758 x25760 x25762 x25766 x25768 x25771
1686.22/1684.93	v x25772 x25773 x25775 x25778 x25779 x25781 x25784 x25790 x25791 x25792 x25794 x25797 x25798 x25803 x25804 x25805 x25806
1686.22/1684.93	v x25807 x25808 x25809 x25810 x25815 x25821 x25824 x25827 x25829 x25830 x25831 x25832 x25833 x25834 x25835 x25840 x25845
1686.22/1684.93	v x25850 x25856 x25859 x25860 x25861 x25862 x25863 x25864 x25865 x25871 x25874 x25875 x25880 x25886 x25889 x25893 x25894
1686.22/1684.93	v x25895 x25910 x25915 x25921 x25924 x25925 x25926 x25927 x25928 x25929 x25933 x25934 x25935 x25936 x25937 x25938 x25939
1686.22/1684.93	v x25940 x25945 x25950 x25952 x25953 x25958 x25964 x25967 x25968 x25969 x25970 x25971 x25972 x25975 x25977 x25980 x25982
1686.22/1684.93	v x25983 x25984 x25985 x25986 x25987 x25991 x25992 x25993 x25998 x26004 x26007 x26008 x26009 x26010 x26011 x26012 x26013
1686.22/1684.93	v x26014 x26015 x26016 x26017 x26018 x26019 x26020 x26021 x26022 x26025 x26027 x26030 x26032 x26036 x26037 x26038 x26058
1686.22/1684.93	v x26064 x26067 x26068 x26073 x26078 x26083 x26088 x26093 x26099 x26102 x26105 x26111 x26117 x26120 x26121 x26122 x26123
1686.22/1684.93	v x26124 x26125 x26126 x26136 x26141 x26146 x26151 x26157 x26160 x26164 x26165 x26168 x26170 x26173 x26175 x26176 x26181
1686.22/1684.93	v x26187 x26190 x26194 x26195 x26199 x26200 x26201 x26202 x26203 x26204 x26205 x26209 x26210 x26211 x26217 x26220 x26221
1686.22/1684.93	v x26222 x26223 x26224 x26225 x26229 x26230 x26233 x26235 x26236 x26242 x26245 x26248 x26250 x26253 x26255 x26257 x26262
1686.22/1684.93	v x26263 x26264 x26265 x26266 x26267 x26268 x26269 x26275 x26278 x26281 x26283 x26284 x26290 x26293 x26296 x26298 x26299
1686.22/1684.93	v x26300 x26301 x26302 x26303 x26304 x26305 x26306 x26307 x26308 x26309 x26314 x26319 x26324 x26329 x26334 x26344 x26354
1686.22/1684.93	v x26365 x26368 x26369 x26375 x26378 x26382 x26383 x26387 x26388 x26389 x26390 x26391 x26392 x26393 x26397 x26398 x26402
1686.22/1684.93	v x26403 x26404 x26423 x26425 x26426 x26433 x26443 x26444 x26447 x26450 x26451 x26453 x26459 x26466 x26467 x26468 x26473
1686.22/1684.93	v x26475 x26476 x26479 x26482 x26483 x26485 x26487 x26489 x26490 x26491 x26497 x26498 x26499 x26500 x26505 x26507 x26508
1686.22/1684.93	v x26513 x26523 x26528 x26544 x26547 x26548 x26549 x26550 x26551 x26552 x26556 x26557 x26558 x26559 x26560 x26561 x26562
1686.22/1684.93	v x26563 x26568 x26573 x26578 x26583 x26589 x26592 x26596 x26597 x26598 x26603 x26608 x26618 x26623 x26628 x26634 x26637
1686.22/1684.93	v x26638 x26648 x26653 x26659 x26661 x26672 x26675 x26679 x26680 x26681 x26686 x26692 x26695 x26696 x26697 x26698 x26699
1686.22/1684.93	v x26700 x26701 x26712 x26715 x26719 x26720 x26724 x26725 x26726 x26727 x26728 x26729 x26730 x26733 x26735 x26738 x26740
1686.22/1684.93	v x26741 x26742 x26743 x26744 x26745 x26748 x26750 x26753 x26755 x26758 x26760 x26763 x26765 x26766 x26772 x26775 x26776
1686.22/1684.93	v x26782 x26785 x26786 x26791 x26797 x26800 x26801 x26806 x26812 x26816 x26818 x26819 x26820 x26821 x26822 x26823 x26827
1686.22/1684.93	v x26828 x26829 x26830 x26831 x26832 x26833 x26834 x26835 x26836 x26837 x26838 x26842 x26843 x26847 x26848 x26849 x26855
1686.22/1684.93	v x26858 x26862 x26863 x26866 x26868 x26869 x26870 x26871 x26872 x26873 x26876 x26878 x26881 x26883 x26886 x26888 x26891
1686.22/1684.93	v x26893 x26894 x26899 x26904 x26909 x26914 x26924 x26929 x26935 x26938 x26942 x26943 x26944 x26945 x26946 x26947 x26948
1686.22/1684.93	v x26952 x26953 x26956 x26958 x26961 x26963 x26964 x26967 x26972 x26982 x26988 x26991 x26995 x26996 x26997 x27003 x27006
1686.22/1684.93	v x27010 x27011 x27012 x27022 x27032 x27048 x27051 x27054 x27056 x27059 x27061 x27064 x27066 x27069 x27071 x27075 x27076
1686.22/1684.93	v x27079 x27081 x27082 x27083 x27084 x27085 x27086 x27087 x27092 x27098 x27101 x27102 x27107 x27112 x27117 x27131 x27133
1686.22/1684.93	v x27134 x27141 x27151 x27152 x27155 x27158 x27159 x27161 x27167 x27174 x27175 x27176 x27183 x27184 x27187 x27190 x27191
1686.22/1684.93	v x27193 x27195 x27197 x27198 x27199 x27205 x27206 x27207 x27208 x27215 x27216 x27221 x27231 x27236 x27241 x27252 x27255
1686.22/1684.93	v x27256 x27257 x27258 x27259 x27260 x27264 x27265 x27266 x27267 x27268 x27269 x27270 x27271 x27276 x27281 x27286 x27291
1686.22/1684.93	v x27297 x27300 x27304 x27305 x27306 x27311 x27316 x27326 x27331 x27336 x27342 x27345 x27346 x27356 x27361 x27366 x27367
1686.22/1684.93	v x27369 x27380 x27383 x27387 x27388 x27389 x27400 x27403 x27404 x27405 x27406 x27407 x27408 x27409 x27420 x27423 x27427
1686.22/1684.93	v x27428 x27432 x27433 x27434 x27435 x27436 x27437 x27438 x27441 x27443 x27446 x27448 x27449 x27450 x27451 x27452 x27453
1686.22/1684.93	v x27456 x27458 x27461 x27463 x27466 x27468 x27471 x27473 x27474 x27480 x27483 x27484 x27490 x27493 x27494 x27499 x27505
1686.22/1684.93	v x27508 x27509 x27514 x27520 x27524 x27526 x27527 x27528 x27529 x27530 x27531 x27535 x27536 x27537 x27538 x27539 x27540
1686.22/1684.93	v x27541 x27542 x27543 x27544 x27545 x27546 x27547 x27548 x27549 x27550 x27551 x27555 x27556 x27557 x27563 x27566 x27570
1686.22/1684.93	v x27571 x27574 x27576 x27577 x27578 x27579 x27580 x27581 x27584 x27586 x27589 x27591 x27594 x27596 x27599 x27601 x27602
1686.22/1684.93	v x27607 x27612 x27617 x27622 x27632 x27637 x27643 x27646 x27650 x27651 x27652 x27653 x27654 x27655 x27656 x27660 x27661
1686.22/1684.93	v x27664 x27666 x27669 x27671 x27672 x27675 x27680 x27690 x27696 x27699 x27702 x27704 x27705 x27711 x27714 x27718 x27719
1686.22/1684.93	v x27720 x27730 x27740 x27756 x27759 x27762 x27764 x27767 x27769 x27772 x27774 x27777 x27779 x27783 x27784 x27787 x27789
1686.22/1684.93	v x27790 x27791 x27792 x27793 x27794 x27795 x27800 x27806 x27809 x27810 x27815 x27820 x27825 x27831 x27834 x27843 x27848
1686.22/1684.93	v x27850 x27851 x27852 x27857 x27861 x27864 x27867 x27873 x27874 x27881 x27885 x27888 x27893 x27895 x27896 x27898 x27899
1686.22/1684.93	v x27905 x27906 x27907 x27912 x27913 x27914 x27915 x27916 x27917 x27920 x27921 x27924 x27929 x27935 x27938 x27939 x27945
1686.22/1684.93	v x27948 x27951 x27953 x27957 x27958 x27961 x27963 x27964 x27965 x27966 x27967 x27968 x27969 x27974 x27989 x27995 x27998
1686.22/1684.93	v x27999 x28000 x28001 x28002 x28003 x28006 x28008 x28009 x28024 x28029 x28034 x28040 x28043 x28044 x28045 x28046 x28047
1686.22/1684.93	v x28048 x28049 x28050 x28051 x28052 x28053 x28054 x28055 x28056 x28057 x28058 x28059 x28070 x28073 x28074 x28076 x28077
1686.22/1684.93	v x28082 x28088 x28091 x28092 x28093 x28094 x28095 x28096 x28097 x28102 x28108 x28111 x28115 x28116 x28119 x28121 x28122
1686.22/1684.93	v x28127 x28133 x28136 x28140 x28141 x28145 x28146 x28149 x28151 x28152 x28158 x28161 x28162 x28167 x28187 x28197 x28207
1686.22/1684.93	v x28212 x28217 x28223 x28226 x28231 x28234 x28235 x28236 x28237 x28238 x28239 x28240 x28245 x28250 x28260 x28270 x28275
1686.22/1684.93	v x28280 x28290 x28295 x28300 x28306 x28309 x28310 x28315 x28330 x28335 x28341 x28344 x28348 x28349 x28350 x28351 x28352
1686.22/1684.93	v x28353 x28354 x28355 x28356 x28357 x28358 x28359 x28362 x28364 x28365 x28366 x28367 x28368 x28369 x28373 x28374 x28378
1686.22/1684.93	v x28379 x28382 x28383 x28389 x28392 x28395 x28397 x28398 x28399 x28400 x28401 x28402 x28403 x28404 x28405 x28406 x28407
1686.22/1684.93	v x28411 x28412 x28415 x28417 x28418 x28423 x28429 x28432 x28433 x28434 x28435 x28436 x28437 x28438 x28443 x28448 x28453
1686.22/1684.93	v x28458 x28463 x28469 x28472 x28476 x28477 x28478 x28483 x28488 x28493 x28504 x28507 x28510 x28512 x28516 x28517 x28518
1686.22/1684.93	v x28519 x28520 x28521 x28522 x28526 x28527 x28528 x28535 x28539 x28542 x28551 x28556 x28558 x28559 x28560 x28569 x28572
1686.22/1684.93	v x28575 x28581 x28582 x28589 x28593 x28596 x28599 x28601 x28603 x28604 x28606 x28607 x28613 x28614 x28615 x28620 x28621
1686.22/1684.93	v x28622 x28623 x28624 x28625 x28628 x28632 x28637 x28643 x28646 x28647 x28653 x28656 x28659 x28661 x28665 x28666 x28669
1686.22/1684.93	v x28671 x28672 x28673 x28674 x28675 x28676 x28677 x28682 x28697 x28703 x28706 x28707 x28708 x28709 x28710 x28711 x28714
1686.22/1684.93	v x28716 x28717 x28732 x28737 x28742 x28748 x28751 x28752 x28753 x28754 x28755 x28756 x28757 x28758 x28759 x28760 x28761
1686.22/1684.93	v x28762 x28763 x28764 x28765 x28766 x28767 x28778 x28781 x28782 x28784 x28785 x28790 x28796 x28799 x28800 x28801 x28802
1686.22/1684.93	v x28803 x28804 x28805 x28810 x28816 x28819 x28823 x28824 x28827 x28829 x28830 x28835 x28841 x28844 x28848 x28849 x28853
1686.22/1684.93	v x28854 x28857 x28859 x28860 x28866 x28869 x28870 x28875 x28895 x28905 x28915 x28920 x28925 x28931 x28934 x28939 x28942
1686.22/1684.93	v x28943 x28944 x28945 x28946 x28947 x28948 x28953 x28958 x28968 x28978 x28983 x28988 x28998 x29003 x29008 x29014 x29017
1686.22/1684.93	v x29018 x29023 x29038 x29043 x29049 x29052 x29056 x29057 x29058 x29059 x29060 x29061 x29062 x29063 x29064 x29065 x29066
1686.22/1684.93	v x29067 x29070 x29072 x29073 x29074 x29075 x29076 x29077 x29081 x29082 x29086 x29087 x29090 x29091 x29097 x29100 x29103
1686.22/1684.93	v x29105 x29106 x29107 x29108 x29109 x29110 x29111 x29112 x29113 x29114 x29115 x29119 x29120 x29123 x29125 x29126 x29131
1686.22/1684.93	v x29137 x29140 x29141 x29142 x29143 x29144 x29145 x29146 x29151 x29156 x29161 x29166 x29171 x29177 x29180 x29184 x29185
1686.22/1684.93	v x29186 x29191 x29196 x29201 x29212 x29215 x29218 x29220 x29224 x29225 x29226 x29227 x29228 x29229 x29230 x29234 x29235
1686.22/1684.93	v x29236 x29242 x29245 x29247 x29248 x29250 x29251 x29257 x29258 x29261 x29264 x29265 x29269 x29275 x29278 x29281 x29284
1686.22/1684.93	v x29286 x29288 x29299 x29302 x29305 x29306 x29307 x29309 x29310 x29311 x29312 x29313 x29314 x29315 x29316 x29318 x29320
1686.22/1684.93	v x29321 x29322 x29325 x29328 x29329 x29331 x29333 x29334 x29337 x29339 x29341 x29344 x29345 x29351 x29354 x29355 x29356
1686.22/1684.93	v x29357 x29358 x29359 x29360 x29361 x29362 x29363 x29364 x29365 x29366 x29367 x29368 x29369 x29372 x29374 x29377 x29379
1686.22/1684.93	v x29382 x29384 x29385 x29386 x29387 x29388 x29389 x29393 x29394 x29395 x29396 x29397 x29398 x29399 x29403 x29404 x29405
1686.22/1684.93	v x29406 x29407 x29408 x29409 x29410 x29411 x29412 x29413 x29414 x29415 x29416 x29417 x29418 x29419 x29423 x29424 x29428
1686.22/1684.93	v x29429 x29432 x29434 x29435 x29440 x29445 x29450 x29455 x29461 x29464 x29468 x29469 x29470 x29471 x29472 x29473 x29474
1686.22/1684.93	v x29475 x29476 x29477 x29478 x29479 x29480 x29485 x29492 x29493 x29504 x29507 x29511 x29512 x29515 x29517 x29520 x29522
1686.22/1684.93	v x29526 x29527 x29531 x29532 x29535 x29537 x29540 x29542 x29546 x29547 x29551 x29552 x29553 x29554 x29555 x29556 x29557
1686.22/1684.93	v x29558 x29559 x29560 x29561 x29562 x29563 x29568 x29574 x29577 x29580 x29582 x29585 x29587 x29590 x29592 x29595 x29597
1686.22/1684.93	v x29600 x29602 x29606 x29607 x29608 x29614 x29617 x29620 x29622 x29623 x29624 x29625 x29626 x29627 x29628 x29629 x29630
1686.22/1684.93	v x29631 x29632 x29633 x29638 x29645 x29646 x29652 x29655 x29659 x29660 x29663 x29665 x29666 x29667 x29668 x29669 x29670
1686.22/1684.93	v x29673 x29675 x29676 x29681 x29686 x29691 x29696 x29702 x29705 x29709 x29710 x29713 x29715 x29716 x29717 x29718 x29719
1686.22/1684.93	v x29720 x29723 x29725 x29729 x29730 x29731 x29741 x29746 x29752 x29755 x29758 x29760 x29761 x29762 x29763 x29764 x29765
1686.22/1684.93	v x29769 x29770 x29774 x29775 x29778 x29780 x29783 x29785 x29788 x29790 x29793 x29795 x29797 x29799 x29800 x29801 x29802
1686.22/1684.93	v x29803 x29804 x29819 x29829 x29834 x29839 x29844 x29849 x29859 x29864 x29870 x29873 x29877 x29878 x29879 x29884 x29894
1686.22/1684.93	v x29899 x29915 x29918 x29919 x29929 x29934 x29939 x29944 x29950 x29953 x29955 x29956 x29958 x29959 x29965 x29966 x29969
1686.22/1684.93	v x29972 x29973 x29977 x29983 x29986 x29989 x29992 x29994 x29996 x30007 x30010 x30014 x30015 x30017 x30018 x30019 x30020
1686.22/1684.93	v x30021 x30022 x30023 x30024 x30026 x30028 x30029 x30030 x30033 x30036 x30037 x30039 x30041 x30042 x30047 x30049 x30052
1686.22/1684.93	v x30053 x30059 x30062 x30063 x30064 x30065 x30066 x30067 x30068 x30069 x30070 x30071 x30072 x30073 x30074 x30075 x30076
1686.22/1684.93	v x30077 x30080 x30082 x30085 x30087 x30090 x30092 x30093 x30094 x30095 x30096 x30097 x30101 x30102 x30103 x30104 x30105
1686.22/1684.93	v x30106 x30107 x30111 x30112 x30113 x30114 x30115 x30116 x30117 x30118 x30119 x30120 x30121 x30122 x30123 x30124 x30125
1686.22/1684.93	v x30126 x30127 x30131 x30132 x30136 x30137 x30140 x30142 x30143 x30148 x30153 x30158 x30163 x30169 x30172 x30176 x30177
1686.22/1684.93	v x30178 x30179 x30180 x30181 x30182 x30183 x30184 x30185 x30186 x30187 x30188 x30193 x30198 x30200 x30201 x30212 x30215
1686.22/1684.93	v x30219 x30220 x30223 x30225 x30228 x30230 x30234 x30235 x30239 x30240 x30243 x30245 x30248 x30250 x30254 x30255 x30259
1686.22/1684.93	v x30260 x30261 x30262 x30263 x30264 x30265 x30266 x30267 x30268 x30269 x30270 x30271 x30276 x30282 x30285 x30288 x30290
1686.22/1684.93	v x30293 x30295 x30298 x30300 x30303 x30305 x30308 x30310 x30314 x30315 x30316 x30322 x30325 x30328 x30330 x30331 x30332
1686.22/1684.93	v x30333 x30334 x30335 x30336 x30337 x30338 x30339 x30340 x30341 x30346 x30353 x30354 x30360 x30363 x30367 x30368 x30371
1686.22/1684.93	v x30373 x30374 x30375 x30376 x30377 x30378 x30381 x30383 x30384 x30389 x30394 x30399 x30404 x30410 x30413 x30417 x30418
1686.22/1684.93	v x30421 x30423 x30424 x30425 x30426 x30427 x30428 x30431 x30433 x30437 x30438 x30439 x30449 x30454 x30460 x30463 x30466
1686.22/1684.93	v x30468 x30469 x30470 x30471 x30472 x30473 x30477 x30478 x30482 x30483 x30486 x30488 x30491 x30493 x30496 x30498 x30501
1686.22/1684.93	v x30503 x30505 x30507 x30508 x30509 x30510 x30511 x30512 x30527 x30537 x30542 x30547 x30552 x30557 x30567 x30572 x30578
1686.22/1684.93	v x30581 x30585 x30586 x30587 x30592 x30602 x30607 x30623 x30626 x30627 x30637 x30642 x30647 x30652 x30658 x30660 x30665
1686.22/1684.93	v x30666 x30670 x30673 x30675 x30676 x30678 x30682 x30683 x30684 x30685 x30686 x30687 x30688 x30690 x30692 x30697 x30717
1686.22/1684.93	v x30723 x30726 x30727 x30728 x30729 x30730 x30731 x30735 x30736 x30737 x30742 x30747 x30763 x30766 x30767 x30772 x30777
1686.22/1684.93	v x30782 x30787 x30792 x30797 x30802 x30808 x30811 x30814 x30816 x30817 x30818 x30819 x30820 x30821 x30822 x30823 x30824
1686.22/1684.93	v x30825 x30826 x30829 x30831 x30832 x30833 x30834 x30835 x30836 x30839 x30841 x30843 x30847 x30849 x30852 x30854 x30857
1686.22/1684.93	v x30859 x30860 x30865 x30870 x30876 x30879 x30883 x30884 x30888 x30889 x30892 x30894 x30898 x30899 x30902 x30904 x30905
1686.22/1684.93	v x30906 x30907 x30908 x30909 x30910 x30911 x30912 x30913 x30914 x30915 x30916 x30917 x30918 x30919 x30920 x30921 x30922
1686.22/1684.93	v x30923 x30924 x30925 x30930 x30936 x30939 x30943 x30944 x30945 x30951 x30954 x30955 x30956 x30957 x30958 x30959 x30960
1686.22/1684.93	v x30966 x30969 x30970 x30971 x30972 x30973 x30974 x30978 x30979 x30980 x30985 x30991 x30994 x30995 x30997 x30998 x31003
1686.22/1684.93	v x31008 x31013 x31018 x31024 x31027 x31031 x31032 x31033 x31034 x31035 x31036 x31037 x31041 x31042 x31045 x31047 x31050
1686.22/1684.93	v x31052 x31055 x31057 x31058 x31068 x31074 x31077 x31080 x31082 x31085 x31087 x31088 x31089 x31090 x31091 x31092 x31095
1686.22/1684.93	v x31097 x31100 x31102 x31103 x31104 x31105 x31106 x31107 x31108 x31109 x31110 x31111 x31112 x31116 x31117 x31118 x31124
1686.22/1684.93	v x31127 x31128 x31129 x31130 x31131 x31132 x31136 x31137 x31138 x31139 x31140 x31141 x31142 x31146 x31147 x31150 x31151
1686.22/1684.93	v x31156 x31161 x31167 x31170 x31171 x31172 x31173 x31174 x31175 x31179 x31180 x31181 x31186 x31212 x31215 x31219 x31220
1686.22/1684.93	v x31221 x31222 x31223 x31224 x31225 x31229 x31230 x31234 x31235 x31239 x31240 x31243 x31245 x31246 x31251 x31256 x31262
1686.22/1684.93	v x31265 x31269 x31270 x31273 x31275 x31279 x31280 x31283 x31285 x31289 x31290 x31291 x31292 x31293 x31294 x31295 x31296
1686.22/1684.93	v x31301 x31302 x31304 x31309 x31310 x31314 x31317 x31319 x31320 x31322 x31326 x31327 x31328 x31329 x31330 x31331 x31332
1686.22/1684.93	v x31333 x31334 x31336 x31341 x31361 x31367 x31370 x31371 x31372 x31373 x31374 x31375 x31379 x31380 x31381 x31386 x31391
1686.22/1684.93	v x31407 x31410 x31411 x31416 x31421 x31426 x31431 x31436 x31441 x31446 x31452 x31455 x31458 x31460 x31461 x31462 x31463
1686.22/1684.93	v x31464 x31465 x31466 x31467 x31468 x31469 x31470 x31473 x31475 x31476 x31477 x31478 x31479 x31480 x31483 x31485 x31487
1686.22/1684.93	v x31491 x31493 x31496 x31498 x31501 x31503 x31504 x31509 x31514 x31520 x31523 x31527 x31528 x31532 x31533 x31536 x31538
1686.22/1684.93	v x31542 x31543 x31546 x31548 x31549 x31550 x31551 x31552 x31553 x31554 x31555 x31556 x31557 x31558 x31559 x31560 x31561
1686.22/1684.93	v x31562 x31563 x31564 x31565 x31566 x31567 x31568 x31569 x31574 x31580 x31583 x31587 x31588 x31589 x31595 x31598 x31599
1686.22/1684.93	v x31600 x31601 x31602 x31603 x31604 x31610 x31613 x31614 x31615 x31616 x31617 x31618 x31622 x31623 x31624 x31629 x31635
1686.22/1684.93	v x31638 x31639 x31641 x31642 x31647 x31652 x31657 x31662 x31668 x31671 x31675 x31676 x31677 x31678 x31679 x31680 x31681
1686.22/1684.93	v x31685 x31686 x31689 x31691 x31694 x31696 x31699 x31701 x31702 x31712 x31718 x31721 x31724 x31726 x31729 x31731 x31732
1686.22/1684.93	v x31733 x31734 x31735 x31736 x31739 x31741 x31744 x31746 x31747 x31748 x31749 x31750 x31751 x31752 x31753 x31754 x31755
1686.22/1684.93	v x31756 x31760 x31761 x31762 x31768 x31771 x31772 x31773 x31774 x31775 x31776 x31780 x31781 x31782 x31783 x31784 x31785
1686.22/1684.93	v x31786 x31790 x31791 x31794 x31795 x31800 x31805 x31811 x31814 x31815 x31816 x31817 x31818 x31819 x31823 x31824 x31825
1686.22/1684.93	v x31830 x31856 x31859 x31863 x31864 x31865 x31866 x31867 x31868 x31869 x31873 x31874 x31878 x31879 x31883 x31884 x31887
1686.22/1684.93	v x31889 x31890 x31895 x31900 x31906 x31909 x31913 x31914 x31917 x31919 x31923 x31924 x31927 x31929 x31933 x31934 x31935
1686.22/1684.93	v x31936 x31937 x31938 x31939 x31940 x31945 x31946 x31947 x31948 x31949 x31952 x31956 x31961 x31963 x31965 x31968 x31969
1686.22/1684.93	v x31970 x31971 x31974 x31978 x31980 x31981 x31982 x31983 x31984 x31985 x31986 x31987 x31988 x31989 x31992 x31994 x31998
1686.22/1684.93	v x31999 x32000 x32005 x32010 x32025 x32030 x32040 x32050 x32060 x32071 x32074 x32075 x32085 x32090 x32095 x32101 x32104
1686.22/1684.93	v x32108 x32109 x32113 x32114 x32115 x32116 x32117 x32118 x32119 x32120 x32132 x32138 x32143 x32148 x32154 x32157 x32160
1686.22/1684.93	v x32162 x32163 x32164 x32165 x32166 x32167 x32168 x32169 x32170 x32171 x32172 x32176 x32177 x32180 x32182 x32186 x32187
1686.22/1684.93	v x32190 x32192 x32193 x32194 x32195 x32196 x32197 x32201 x32202 x32206 x32207 x32211 x32212 x32213 x32223 x32229 x32232
1686.22/1684.93	v x32233 x32238 x32243 x32254 x32257 x32258 x32259 x32260 x32261 x32262 x32263 x32264 x32265 x32266 x32267 x32268 x32273
1686.22/1684.93	v x32278 x32285 x32287 x32290 x32293 x32295 x32296 x32301 x32306 x32311 x32317 x32320 x32324 x32325 x32329 x32330 x32331
1686.22/1684.93	v x32332 x32333 x32334 x32335 x32336 x32337 x32338 x32339 x32340 x32344 x32345 x32346 x32347 x32348 x32349 x32350 x32354
1686.22/1684.93	v x32355 x32358 x32360 x32364 x32365 x32368 x32370 x32374 x32375 x32376 x32381 x32386 x32391 x32396 x32401 x32406 x32422
1686.22/1684.93	v x32425 x32428 x32430 x32431 x32436 x32437 x32439 x32444 x32450 x32453 x32454 x32455 x32456 x32457 x32458 x32461 x32463
1686.22/1684.93	v x32466 x32468 x32472 x32473 x32477 x32478 x32479 x32484 x32489 x32500 x32503 x32504 x32519 x32530 x32533 x32536 x32538
1686.22/1684.93	v x32539 x32540 x32541 x32542 x32543 x32544 x32545 x32546 x32547 x32548 x32549 x32550 x32551 x32552 x32553 x32556 x32558
1686.22/1684.93	v x32561 x32563 x32567 x32568 x32572 x32573 x32577 x32578 x32582 x32583 x32584 x32585 x32586 x32587 x32588 x32590 x32591
1686.22/1684.93	v x32592 x32593 x32596 x32600 x32605 x32607 x32609 x32612 x32613 x32614 x32615 x32618 x32622 x32626 x32628 x32629 x32630
1686.22/1684.93	v x32631 x32632 x32633 x32636 x32638 x32642 x32643 x32644 x32649 x32654 x32669 x32674 x32684 x32694 x32704 x32715 x32718
1686.22/1684.93	v x32719 x32729 x32734 x32739 x32745 x32748 x32752 x32753 x32757 x32758 x32759 x32760 x32761 x32762 x32763 x32764 x32774
1686.22/1684.93	v x32776 x32782 x32787 x32792 x32798 x32801 x32804 x32806 x32807 x32808 x32809 x32810 x32811 x32812 x32813 x32814 x32815
1686.22/1684.93	v x32816 x32820 x32821 x32824 x32826 x32830 x32831 x32834 x32836 x32837 x32838 x32839 x32840 x32841 x32845 x32846 x32850
1686.22/1684.93	v x32851 x32855 x32856 x32857 x32867 x32873 x32876 x32877 x32882 x32887 x32898 x32901 x32902 x32903 x32904 x32905 x32906
1686.22/1684.93	v x32907 x32908 x32909 x32910 x32911 x32912 x32917 x32922 x32929 x32930 x32935 x32945 x32950 x32955 x32961 x32964 x32968
1686.22/1684.93	v x32969 x32973 x32974 x32975 x32976 x32977 x32978 x32979 x32980 x32981 x32982 x32983 x32984 x32988 x32989 x32990 x32991
1686.22/1684.93	v x32992 x32993 x32994 x32998 x32999 x33002 x33004 x33008 x33009 x33012 x33014 x33018 x33019 x33020 x33025 x33030 x33035
1686.22/1684.93	v x33040 x33045 x33050 x33066 x33069 x33072 x33074 x33075 x33080 x33081 x33085 x33087 x33088 x33089 x33090 x33091 x33092
1686.22/1684.93	v x33096 x33097 x33098 x33099 x33100 x33101 x33102 x33105 x33107 x33110 x33112 x33116 x33117 x33121 x33122 x33123 x33128
1686.22/1684.93	v x33133 x33144 x33147 x33148 x33163 x33174 x33177 x33180 x33182 x33183 x33184 x33185 x33186 x33187 x33188 x33189 x33190
1686.22/1684.93	v x33191 x33192 x33193 x33194 x33195 x33196 x33197 x33200 x33202 x33205 x33207 x33211 x33212 x33216 x33217 x33221 x33222
1686.22/1684.93	v x33226 x33227 x33228 x33229 x33230 x33231 x33232 x33235 x33237 x33241 x33244 x33247 x33248 x33249 x33250 x33256 x33257
1686.22/1684.93	v x33259 x33261 x33263 x33265 x33267 x33268 x33279 x33282 x33286 x33287 x33288 x33299 x33302 x33303 x33314 x33317 x33318
1686.22/1684.93	v x33323 x33329 x33332 x33335 x33337 x33340 x33342 x33345 x33347 x33351 x33352 x33353 x33368 x33374 x33377 x33378 x33379
1686.22/1684.93	v x33380 x33381 x33382 x33386 x33387 x33390 x33392 x33396 x33397 x33400 x33402 x33403 x33408 x33420 x33431 x33441 x33446
1686.22/1684.93	v x33452 x33455 x33459 x33460 x33461 x33462 x33463 x33464 x33465 x33466 x33471 x33481 x33487 x33490 x33491 x33492 x33493
1686.22/1684.93	v x33494 x33495 x33496 x33497 x33498 x33499 x33500 x33501 x33512 x33515 x33519 x33520 x33521 x33527 x33530 x33534 x33535
1686.22/1684.93	v x33536 x33541 x33547 x33550 x33551 x33552 x33553 x33554 x33555 x33558 x33560 x33564 x33565 x33569 x33570 x33571 x33572
1686.22/1684.93	v x33576 x33578 x33582 x33583 x33584 x33595 x33598 x33599 x33610 x33613 x33614 x33619 x33624 x33630 x33633 x33634 x33659
1686.22/1684.93	v x33674 x33679 x33685 x33688 x33692 x33693 x33694 x33699 x33704 x33710 x33713 x33714 x33715 x33716 x33717 x33718 x33719
1686.22/1684.93	v x33724 x33726 x33738 x33741 x33742 x33747 x33753 x33756 x33757 x33768 x33771 x33772 x33773 x33774 x33775 x33776 x33777
1686.22/1684.93	v x33778 x33779 x33780 x33781 x33782 x33788 x33791 x33792 x33797 x33802 x33807 x33812 x33828 x33831 x33834 x33836 x33837
1686.22/1684.93	v x33842 x33848 x33851 x33854 x33856 x33857 x33858 x33859 x33860 x33861 x33862 x33867 x33872 x33879 x33881 x33885 x33888
1686.22/1684.93	v x33891 x33892 x33893 x33894 x33900 x33901 x33903 x33905 x33907 x33909 x33911 x33913 x33916 x33917 x33923 x33926 x33930
1686.22/1684.93	v x33931 x33932 x33937 x33943 x33946 x33947 x33958 x33961 x33962 x33967 x33973 x33976 x33979 x33981 x33984 x33986 x33989
1686.22/1684.93	v x33991 x33995 x33996 x33997 x34012 x34018 x34021 x34022 x34023 x34024 x34025 x34026 x34030 x34031 x34034 x34036 x34040
1686.22/1684.93	v x34041 x34044 x34046 x34047 x34052 x34064 x34075 x34085 x34096 x34099 x34103 x34104 x34105 x34106 x34107 x34108 x34109
1686.22/1684.93	v x34110 x34115 x34125 x34131 x34134 x34135 x34136 x34137 x34138 x34139 x34140 x34141 x34142 x34143 x34144 x34145 x34156
1686.22/1684.93	v x34159 x34163 x34164 x34165 x34171 x34174 x34178 x34179 x34180 x34185 x34191 x34194 x34195 x34196 x34197 x34198 x34199
1686.22/1684.93	v x34202 x34204 x34208 x34209 x34213 x34214 x34215 x34216 x34218 x34224 x34227 x34228 x34239 x34242 x34245 x34247 x34248
1686.22/1684.93	v x34254 x34257 x34258 x34263 x34268 x34274 x34277 x34278 x34303 x34318 x34323 x34329 x34332 x34336 x34337 x34338 x34343
1686.22/1684.93	v x34348 x34354 x34357 x34358 x34359 x34360 x34361 x34362 x34363 x34368 x34370 x34371 x34382 x34385 x34386 x34391 x34401
1686.22/1684.93	v x34412 x34415 x34416 x34417 x34418 x34419 x34420 x34421 x34422 x34423 x34424 x34425 x34426 x34432 x34435 x34436 x34441
1686.22/1684.93	v x34446 x34451 x34456 x34472 x34475 x34478 x34480 x34481 x34486 x34492 x34495 x34498 x34500 x34501 x34502 x34503 x34504
1686.22/1684.93	v x34505 x34506 x34511 x34516 x34524 x34526 x34529 x34530 x34532 x34534 x34535 x34536 x34537 x34538 x34539 x34542 x34543
1686.22/1684.93	v x34544 x34547 x34548 x34551 x34555 x34556 x34561 x34566 x34572 x34575 x34576 x34581 x34586 x34591 x34596 x34602 x34605
1686.22/1684.93	v x34606 x34611 x34617 x34620 x34623 x34625 x34626 x34627 x34628 x34629 x34630 x34633 x34635 x34638 x34640 x34644 x34645
1686.22/1684.93	v x34649 x34650 x34651 x34652 x34653 x34654 x34655 x34658 x34660 x34661 x34662 x34663 x34664 x34665 x34666 x34671 x34676
1686.22/1684.93	v x34682 x34685 x34689 x34690 x34694 x34695 x34698 x34700 x34701 x34706 x34707 x34711 x34713 x34716 x34718 x34721 x34723
1686.22/1684.93	v x34724 x34730 x34733 x34734 x34739 x34744 x34750 x34753 x34756 x34758 x34762 x34763 x34766 x34768 x34772 x34773 x34777
1686.22/1684.93	v x34778 x34779 x34780 x34781 x34782 x34783 x34784 x34785 x34786 x34787 x34788 x34791 x34793 x34794 x34800 x34803 x34804
1686.22/1684.93	v x34805 x34806 x34807 x34808 x34811 x34813 x34814 x34815 x34816 x34817 x34818 x34819 x34820 x34821 x34822 x34823 x34824
1686.22/1684.93	v x34829 x34834 x34839 x34844 x34850 x34853 x34857 x34858 x34859 x34861 x34862 x34868 x34871 x34872 x34873 x34874 x34875
1686.22/1684.93	v x34876 x34877 x34882 x34888 x34891 x34892 x34893 x34894 x34895 x34896 x34899 x34901 x34902 x34903 x34904 x34905 x34906
1686.22/1684.93	v x34910 x34911 x34912 x34913 x34914 x34915 x34916 x34917 x34918 x34919 x34920 x34921 x34925 x34926 x34930 x34931 x34932
1686.22/1684.93	v x34933 x34934 x34935 x34936 x34937 x34947 x34952 x34958 x34961 x34965 x34966 x34969 x34971 x34974 x34976 x34979 x34981
1686.22/1684.93	v x34984 x34986 x34990 x34991 x34992 x34997 x35008 x35011 x35012 x35014 x35015 x35025 x35031 x35034 x35037 x35039 x35043
1686.22/1684.93	v x35044 x35045 x35046 x35047 x35048 x35049 x35053 x35054 x35057 x35059 x35060 x35065 x35070 x35086 x35089 x35090 x35091
1686.22/1684.93	v x35092 x35093 x35094 x35095 x35101 x35104 x35107 x35109 x35113 x35114 x35115 x35120 x35125 x35130 x35135 x35140 x35146
1686.22/1684.93	v x35149 x35150 x35151 x35152 x35153 x35154 x35155 x35167 x35168 x35170 x35173 x35174 x35176 x35178 x35179 x35180 x35181
1686.22/1684.93	v x35182 x35183 x35186 x35187 x35188 x35191 x35192 x35195 x35199 x35200 x35205 x35210 x35216 x35219 x35220 x35230 x35235
1686.22/1684.93	v x35240 x35246 x35249 x35250 x35255 x35261 x35264 x35267 x35269 x35270 x35271 x35272 x35273 x35274 x35277 x35279 x35282
1686.22/1684.93	v x35284 x35288 x35289 x35293 x35294 x35295 x35296 x35297 x35298 x35299 x35302 x35304 x35305 x35306 x35307 x35308 x35309
1686.22/1684.93	v x35310 x35315 x35320 x35326 x35329 x35333 x35334 x35338 x35339 x35342 x35344 x35345 x35350 x35351 x35355 x35357 x35360
1686.22/1684.93	v x35362 x35365 x35367 x35368 x35374 x35377 x35380 x35382 x35386 x35387 x35391 x35392 x35393 x35394 x35395 x35396 x35397
1686.22/1684.93	v x35400 x35402 x35406 x35407 x35410 x35412 x35416 x35417 x35421 x35422 x35423 x35424 x35425 x35426 x35427 x35428 x35429
1686.22/1684.93	v x35430 x35431 x35432 x35435 x35437 x35438 x35444 x35447 x35448 x35449 x35450 x35451 x35452 x35455 x35457 x35458 x35459
1686.22/1684.93	v x35460 x35461 x35462 x35463 x35464 x35465 x35466 x35467 x35468 x35473 x35478 x35483 x35488 x35494 x35497 x35501 x35502
1686.22/1684.93	v x35503 x35505 x35506 x35512 x35515 x35516 x35517 x35518 x35519 x35520 x35521 x35526 x35531 x35537 x35540 x35543 x35545
1686.22/1684.93	v x35546 x35547 x35548 x35549 x35550 x35554 x35555 x35556 x35557 x35558 x35559 x35560 x35561 x35562 x35563 x35564 x35565
1686.22/1684.93	v x35569 x35570 x35574 x35575 x35576 x35577 x35578 x35579 x35580 x35581 x35591 x35596 x35602 x35605 x35609 x35610 x35613
1686.22/1684.93	v x35615 x35618 x35620 x35623 x35625 x35628 x35630 x35634 x35635 x35636 x35641 x35652 x35655 x35656 x35658 x35659 x35669
1686.22/1684.93	v x35675 x35678 x35681 x35683 x35686 x35688 x35689 x35700 x35703 x35704 x35709 x35714 x35730 x35733 x35734 x35735 x35736
1686.22/1684.93	v x35737 x35738 x35739 x35745 x35748 x35751 x35753 x35757 x35758 x35759 x35764 x35769 x35774 x35779 x35784 x35790 x35793
1686.22/1684.93	v x35794 x35795 x35796 x35797 x35798 x35799 x35810 x35811 x35812 x35813 x35814 x35816 x35818 x35819 x35820 x35821 x35823
1686.22/1684.93	v x35824 x35826 x35827 x35831 x35833 x35834 x35838 x35842 x35846 x35848 x35849 x35850 x35851 x35852 x35853 x35856 x35858
1686.22/1684.93	v x35859 x35860 x35861 x35862 x35863 x35867 x35868 x35869 x35870 x35871 x35872 x35873 x35874 x35880 x35883 x35886 x35888
1686.22/1684.93	v x35891 x35893 x35896 x35898 x35902 x35903 x35906 x35908 x35911 x35913 x35917 x35918 x35921 x35923 x35926 x35928 x35932
1686.22/1684.93	v x35933 x35937 x35938 x35939 x35944 x35949 x35955 x35958 x35961 x35963 x35964 x35979 x35984 x35996 x35997 x36002 x36018
1686.22/1684.93	v x36021 x36024 x36026 x36030 x36031 x36032 x36033 x36034 x36035 x36036 x36040 x36041 x36042 x36047 x36052 x36057 x36062
1686.22/1684.93	v x36068 x36071 x36072 x36073 x36074 x36075 x36076 x36079 x36081 x36082 x36087 x36092 x36097 x36103 x36106 x36110 x36111
1686.22/1684.93	v x36112 x36117 x36123 x36126 x36127 x36128 x36129 x36130 x36131 x36134 x36136 x36137 x36138 x36139 x36140 x36141 x36142
1686.22/1684.93	v x36143 x36144 x36145 x36146 x36149 x36155 x36160 x36165 x36170 x36176 x36179 x36180 x36181 x36182 x36183 x36184 x36188
1686.22/1684.93	v x36189 x36193 x36194 x36195 x36200 x36205 x36220 x36225 x36235 x36240 x36245 x36250 x36255 x36260 x36271 x36274 x36278
1686.22/1684.93	v x36279 x36283 x36284 x36285 x36286 x36287 x36288 x36289 x36292 x36294 x36295 x36300 x36301 x36306 x36307 x36308 x36309
1686.22/1684.93	v x36310 x36311 x36312 x36315 x36317 x36320 x36322 x36325 x36327 x36328 x36333 x36338 x36349 x36352 x36353 x36354 x36355
1686.22/1684.93	v x36356 x36357 x36358 x36359 x36360 x36361 x36362 x36366 x36367 x36371 x36372 x36375 x36377 x36378 x36379 x36380 x36381
1686.22/1684.93	v x36382 x36383 x36389 x36392 x36393 x36394 x36395 x36396 x36397 x36398 x36399 x36400 x36401 x36402 x36403 x36404 x36405
1686.22/1684.93	v x36406 x36407 x36410 x36412 x36415 x36417 x36421 x36422 x36426 x36427 x36428 x36433 x36438 x36443 x36449 x36452 x36454
1686.22/1684.93	v x36456 x36457 x36458 x36460 x36462 x36463 x36464 x36465 x36467 x36468 x36470 x36471 x36475 x36477 x36478 x36482 x36485
1686.22/1684.93	v x36486 x36491 x36492 x36493 x36494 x36495 x36496 x36497 x36500 x36502 x36503 x36504 x36505 x36506 x36507 x36511 x36512
1686.22/1684.93	v x36513 x36514 x36515 x36516 x36517 x36518 x36524 x36527 x36530 x36532 x36535 x36537 x36540 x36542 x36546 x36547 x36550
1686.22/1684.93	v x36552 x36555 x36557 x36561 x36562 x36565 x36567 x36570 x36572 x36576 x36577 x36581 x36582 x36583 x36588 x36593 x36599
1686.22/1684.93	v x36602 x36605 x36607 x36608 x36623 x36628 x36640 x36641 x36646 x36662 x36665 x36668 x36670 x36674 x36675 x36676 x36677
1686.22/1684.93	v x36678 x36679 x36680 x36684 x36685 x36686 x36691 x36696 x36701 x36706 x36712 x36715 x36716 x36717 x36718 x36719 x36720
1686.22/1684.93	v x36723 x36725 x36726 x36731 x36736 x36741 x36747 x36750 x36754 x36755 x36756 x36761 x36767 x36770 x36771 x36772 x36773
1686.22/1684.93	v x36774 x36775 x36778 x36780 x36781 x36782 x36783 x36784 x36785 x36786 x36787 x36788 x36789 x36790 x36793 x36799 x36804
1686.22/1684.93	v x36809 x36814 x36820 x36823 x36824 x36825 x36826 x36827 x36828 x36832 x36833 x36837 x36838 x36839 x36844 x36849 x36864
1686.22/1684.93	v x36869 x36879 x36884 x36889 x36894 x36899 x36904 x36915 x36918 x36922 x36923 x36927 x36928 x36929 x36930 x36931 x36932
1686.22/1684.93	v x36933 x36936 x36938 x36939 x36944 x36945 x36950 x36951 x36952 x36953 x36954 x36955 x36956 x36959 x36961 x36964 x36966
1686.22/1684.93	v x36969 x36971 x36972 x36977 x36982 x36993 x36996 x36997 x36998 x36999 x37000 x37001 x37002 x37003 x37004 x37005 x37006
1686.22/1684.93	v x37010 x37011 x37015 x37016 x37019 x37021 x37022 x37023 x37024 x37025 x37026 x37027 x37033 x37036 x37037 x37038 x37039
1686.22/1684.93	v x37040 x37041 x37042 x37043 x37044 x37045 x37046 x37047 x37048 x37049 x37050 x37051 x37054 x37056 x37059 x37061 x37065
1686.22/1684.93	v x37066 x37070 x37071 x37072 x37077 x37082 x37087 x37093 x37096 x37099 x37103 x37109 x37110 x37111 x37112 x37115 x37117
1686.22/1684.93	v x37118 x37119 x37121 x37122 x37125 x37126 x37127 x37128 x37129 x37133 x37136 x37140 x37141 x37145 x37146 x37147 x37152
1686.22/1684.93	v x37162 x37182 x37187 x37193 x37196 x37197 x37198 x37199 x37200 x37201 x37205 x37206 x37207 x37213 x37216 x37220 x37221
1686.22/1684.93	v x37224 x37226 x37229 x37231 x37234 x37236 x37237 x37243 x37246 x37249 x37251 x37252 x37263 x37266 x37267 x37268 x37269
1686.22/1684.93	v x37270 x37271 x37274 x37276 x37279 x37281 x37283 x37287 x37289 x37292 x37294 x37295 x37305 x37316 x37319 x37323 x37324
1686.22/1684.93	v x37328 x37329 x37330 x37336 x37339 x37342 x37344 x37345 x37346 x37347 x37348 x37349 x37353 x37354 x37358 x37359 x37360
1686.22/1684.93	v x37361 x37362 x37363 x37364 x37367 x37369 x37370 x37375 x37380 x37385 x37391 x37394 x37398 x37399 x37402 x37404 x37405
1686.22/1684.93	v x37406 x37407 x37408 x37409 x37410 x37411 x37412 x37413 x37414 x37418 x37419 x37420 x37425 x37430 x37435 x37437 x37438
1686.22/1684.93	v x37448 x37453 x37459 x37462 x37466 x37467 x37470 x37472 x37473 x37488 x37493 x37498 x37503 x37513 x37523 x37528 x37533
1686.22/1684.93	v x37543 x37558 x37568 x37574 x37577 x37581 x37582 x37586 x37587 x37590 x37591 x37602 x37605 x37608 x37610 x37614 x37615
1686.22/1684.93	v x37616 x37626 x37636 x37641 x37646 x37652 x37655 x37658 x37660 x37661 x37667 x37670 x37671 x37677 x37680 x37681 x37682
1686.22/1684.93	v x37683 x37684 x37685 x37686 x37687 x37688 x37689 x37690 x37694 x37695 x37698 x37700 x37701 x37712 x37715 x37719 x37720
1686.22/1684.93	v x37723 x37725 x37729 x37730 x37734 x37735 x37739 x37740 x37743 x37747 x37753 x37754 x37755 x37756 x37759 x37761 x37762
1686.22/1684.93	v x37763 x37765 x37766 x37769 x37770 x37771 x37772 x37773 x37777 x37780 x37784 x37785 x37789 x37790 x37791 x37796 x37806
1686.22/1684.93	v x37826 x37831 x37837 x37840 x37841 x37842 x37843 x37844 x37845 x37849 x37850 x37851 x37857 x37860 x37864 x37865 x37868
1686.22/1684.93	v x37870 x37873 x37875 x37878 x37880 x37881 x37887 x37890 x37893 x37895 x37896 x37907 x37910 x37911 x37912 x37913 x37914
1686.22/1684.93	v x37915 x37918 x37920 x37923 x37925 x37927 x37931 x37933 x37936 x37938 x37939 x37949 x37960 x37963 x37967 x37968 x37972
1686.22/1684.93	v x37973 x37974 x37980 x37983 x37986 x37988 x37989 x37990 x37991 x37992 x37993 x37997 x37998 x38002 x38003 x38004 x38005
1686.22/1684.93	v x38006 x38007 x38008 x38011 x38013 x38014 x38019 x38024 x38029 x38035 x38038 x38042 x38043 x38046 x38048 x38049 x38050
1686.22/1684.93	v x38051 x38052 x38053 x38054 x38055 x38056 x38057 x38058 x38062 x38063 x38064 x38069 x38074 x38079 x38081 x38082 x38092
1686.22/1684.93	v x38097 x38103 x38106 x38110 x38111 x38114 x38116 x38117 x38132 x38137 x38142 x38147 x38157 x38167 x38172 x38177 x38187
1686.22/1684.93	v x38202 x38212 x38218 x38221 x38225 x38226 x38230 x38231 x38234 x38235 x38246 x38249 x38252 x38254 x38258 x38259 x38260
1686.22/1684.93	v x38270 x38280 x38285 x38290 x38296 x38299 x38302 x38304 x38305 x38311 x38314 x38315 x38321 x38324 x38325 x38326 x38327
1686.22/1684.93	v x38328 x38329 x38330 x38331 x38332 x38333 x38334 x38338 x38339 x38342 x38344 x38345 x38356 x38359 x38363 x38364 x38367
1686.22/1684.93	v x38369 x38373 x38374 x38378 x38379 x38383 x38384 x38387 x38389 x38392 x38393 x38394 x38397 x38399 x38403 x38407 x38409
1686.22/1684.93	v x38410 x38411 x38412 x38413 x38415 x38417 x38420 x38425 x38430 x38435 x38446 x38449 x38450 x38451 x38452 x38453 x38454
1686.22/1684.93	v x38455 x38456 x38457 x38458 x38459 x38460 x38470 x38475 x38481 x38484 x38488 x38489 x38490 x38495 x38500 x38510 x38515
1686.22/1684.93	v x38521 x38524 x38528 x38529 x38530 x38531 x38532 x38533 x38534 x38535 x38536 x38537 x38538 x38539 x38542 x38544 x38545
1686.22/1684.93	v x38546 x38547 x38548 x38549 x38550 x38551 x38552 x38553 x38554 x38558 x38559 x38562 x38564 x38565 x38572 x38594 x38597
1686.22/1684.93	v x38600 x38602 x38606 x38607 x38611 x38612 x38616 x38617 x38618 x38624 x38627 x38628 x38634 x38637 x38641 x38642 x38643
1686.22/1684.93	v x38644 x38645 x38646 x38647 x38648 x38649 x38650 x38651 x38652 x38655 x38657 x38658 x38663 x38669 x38672 x38673 x38679
1686.22/1684.93	v x38682 x38686 x38687 x38690 x38692 x38693 x38694 x38695 x38696 x38697 x38701 x38702 x38706 x38707 x38710 x38712 x38716
1686.22/1684.93	v x38717 x38721 x38722 x38723 x38725 x38726 x38732 x38735 x38738 x38740 x38743 x38745 x38746 x38757 x38760 x38761 x38762
1686.22/1684.93	v x38763 x38764 x38765 x38766 x38767 x38768 x38769 x38770 x38771 x38776 x38782 x38785 x38786 x38797 x38800 x38803 x38805
1686.22/1684.93	v x38808 x38810 x38811 x38817 x38820 x38821 x38822 x38823 x38824 x38825 x38829 x38830 x38831 x38836 x38841 x38851 x38856
1686.22/1684.93	v x38861 x38871 x38876 x38877 x38881 x38883 x38884 x38899 x38914 x38919 x38925 x38928 x38931 x38933 x38937 x38938 x38941
1686.22/1684.93	v x38943 x38944 x38949 x38954 x38965 x38968 x38972 x38973 x38976 x38978 x38982 x38983 x38986 x38988 x38991 x38993 x38996
1686.22/1684.93	v x38998 x39002 x39003 x39006 x39008 x39011 x39013 x39016 x39018 x39019 x39024 x39031 x39033 x39036 x39037 x39038 x39041
1686.22/1684.93	v x39043 x39047 x39051 x39053 x39054 x39055 x39056 x39057 x39059 x39065 x39068 x39072 x39073 x39076 x39078 x39082 x39083
1686.22/1684.93	v x39084 x39090 x39093 x39094 x39095 x39096 x39097 x39098 x39099 x39100 x39101 x39102 x39103 x39104 x39114 x39119 x39125
1686.22/1684.93	v x39128 x39132 x39133 x39134 x39139 x39144 x39154 x39159 x39165 x39168 x39172 x39173 x39174 x39175 x39176 x39177 x39178
1686.22/1684.93	v x39179 x39180 x39181 x39182 x39183 x39186 x39188 x39189 x39190 x39191 x39192 x39193 x39194 x39195 x39196 x39197 x39198
1686.22/1684.93	v x39202 x39203 x39206 x39208 x39209 x39214 x39216 x39238 x39241 x39244 x39246 x39250 x39251 x39255 x39256 x39260 x39261
1686.22/1684.93	v x39262 x39268 x39271 x39272 x39278 x39281 x39285 x39286 x39287 x39288 x39289 x39290 x39291 x39292 x39293 x39294 x39295
1686.22/1684.93	v x39296 x39299 x39301 x39302 x39307 x39313 x39316 x39317 x39323 x39326 x39330 x39331 x39334 x39336 x39337 x39338 x39339
1686.22/1684.93	v x39340 x39341 x39345 x39346 x39350 x39351 x39354 x39356 x39360 x39361 x39365 x39366 x39367 x39369 x39375 x39390 x39401
1686.22/1684.93	v x39404 x39405 x39406 x39407 x39408 x39409 x39410 x39411 x39412 x39413 x39414 x39415 x39420 x39426 x39429 x39430 x39441
1686.22/1684.93	v x39444 x39447 x39449 x39452 x39454 x39455 x39461 x39464 x39465 x39466 x39467 x39468 x39469 x39473 x39474 x39475 x39480
1686.22/1684.93	v x39485 x39495 x39500 x39505 x39515 x39520 x39521 x39523 x39528 x39543 x39558 x39563 x39569 x39572 x39575 x39577 x39581
1686.22/1684.93	v x39582 x39585 x39587 x39588 x39593 x39598 x39609 x39612 x39616 x39617 x39620 x39622 x39626 x39627 x39630 x39632 x39635
1686.22/1684.93	v x39637 x39640 x39642 x39646 x39647 x39650 x39652 x39655 x39657 x39660 x39662 x39663 x39668 x39678 x39684 x39685 x39686
1686.22/1684.93	v x39689 x39692 x39693 x39695 x39696 x39699 x39704 x39705 x39708 x39724 x39727 x39731 x39732 x39736 x39737 x39741 x39742
1686.22/1684.93	v x39743 x39753 x39759 x39762 x39765 x39767 x39771 x39772 x39776 x39777 x39778 x39779 x39780 x39781 x39782 x39783 x39794
1686.22/1684.93	v x39797 x39798 x39799 x39800 x39801 x39802 x39806 x39807 x39808 x39809 x39810 x39811 x39812 x39813 x39814 x39815 x39816
1686.22/1684.93	v x39817 x39821 x39822 x39823 x39829 x39832 x39836 x39837 x39841 x39842 x39846 x39847 x39848 x39854 x39857 x39858 x39860
1686.22/1684.93	v x39866 x39871 x39881 x39892 x39895 x39899 x39900 x39904 x39905 x39908 x39910 x39914 x39915 x39916 x39922 x39925 x39926
1686.22/1684.93	v x39927 x39928 x39929 x39930 x39934 x39935 x39939 x39940 x39941 x39952 x39955 x39956 x39957 x39958 x39959 x39960 x39963
1686.22/1684.93	v x39965 x39969 x39970 x39974 x39975 x39976 x39981 x39986 x39991 x40001 x40006 x40014 x40019 x40024 x40034 x40050 x40053
1686.22/1684.93	v x40057 x40058 x40059 x40060 x40061 x40062 x40063 x40064 x40069 x40074 x40079 x40085 x40088 x40089 x40090 x40091 x40092
1686.22/1684.93	v x40093 x40094 x40104 x40115 x40118 x40119 x40120 x40121 x40122 x40123 x40124 x40129 x40134 x40139 x40144 x40149 x40154
1686.22/1684.93	v x40159 x40164 x40166 x40167 x40173 x40176 x40177 x40178 x40179 x40180 x40181 x40182 x40188 x40191 x40192 x40212 x40217
1686.22/1684.93	v x40223 x40226 x40229 x40231 x40232 x40233 x40234 x40235 x40236 x40237 x40242 x40248 x40251 x40252 x40257 x40262 x40272
1686.22/1684.93	v x40277 x40283 x40286 x40287 x40288 x40289 x40290 x40291 x40292 x40293 x40294 x40295 x40296 x40297 x40298 x40299 x40300
1686.22/1684.93	v x40301 x40304 x40306 x40307 x40308 x40309 x40310 x40311 x40312 x40313 x40314 x40315 x40316 x40322 x40328 x40329 x40330
1686.22/1684.93	v x40333 x40336 x40337 x40339 x40340 x40343 x40348 x40349 x40352 x40368 x40371 x40375 x40376 x40377 x40382 x40397 x40403
1686.22/1684.93	v x40406 x40409 x40411 x40415 x40416 x40420 x40421 x40422 x40423 x40424 x40425 x40426 x40427 x40438 x40441 x40442 x40443
1686.22/1684.93	v x40444 x40445 x40446 x40450 x40451 x40452 x40453 x40454 x40455 x40456 x40457 x40458 x40459 x40460 x40461 x40465 x40466
1686.22/1684.93	v x40467 x40473 x40476 x40480 x40481 x40485 x40486 x40490 x40491 x40492 x40498 x40501 x40504 x40510 x40515 x40525 x40530
1686.22/1684.93	v x40536 x40539 x40543 x40544 x40548 x40549 x40552 x40554 x40558 x40559 x40560 x40566 x40569 x40570 x40571 x40572 x40573
1686.22/1684.93	v x40574 x40578 x40579 x40583 x40584 x40585 x40596 x40599 x40600 x40601 x40602 x40603 x40604 x40607 x40609 x40613 x40614
1686.22/1684.93	v x40618 x40619 x40620 x40625 x40630 x40635 x40645 x40650 x40658 x40663 x40668 x40678 x40683 x40688 x40693 x40698 x40704
1686.22/1684.93	v x40707 x40708 x40713 x40718 x40723 x40729 x40732 x40733 x40734 x40735 x40736 x40737 x40738 x40748 x40759 x40762 x40763
1686.22/1684.93	v x40764 x40765 x40766 x40767 x40768 x40773 x40778 x40783 x40788 x40793 x40798 x40803 x40808 x40810 x40811 x40817 x40820
1686.22/1684.93	v x40821 x40822 x40823 x40824 x40825 x40826 x40832 x40835 x40836 x40837 x40838 x40839 x40840 x40843 x40845 x40848 x40850
1686.22/1684.93	v x40853 x40855 x40856 x40861 x40867 x40870 x40873 x40875 x40876 x40877 x40878 x40879 x40880 x40881 x40886 x40892 x40895
1686.22/1684.93	v x40896 x40901 x40906 x40916 x40921 x40927 x40930 x40931 x40932 x40933 x40934 x40935 x40936 x40937 x40938 x40939 x40940
1686.22/1684.93	v x40941 x40942 x40943 x40944 x40945 x40948 x40950 x40951 x40952 x40953 x40954 x40955 x40956 x40957 x40958 x40959 x40960
1686.22/1684.93	v x40962 x40964 x40971 x40975 x40977 x40978 x40981 x40983 x40986 x40987 x40988 x40989 x40991 x40993 x40994 x40999 x41000
1686.22/1684.93	v x41003 x41005 x41009 x41010 x41011 x41016 x41021 x41031 x41037 x41040 x41044 x41045 x41046 x41051 x41056 x41066 x41072
1686.22/1684.93	v x41075 x41079 x41080 x41081 x41087 x41090 x41094 x41095 x41098 x41100 x41101 x41106 x41112 x41115 x41118 x41120 x41121
1686.22/1684.93	v x41122 x41123 x41124 x41125 x41126 x41127 x41128 x41129 x41130 x41131 x41136 x41147 x41149 x41154 x41159 x41170 x41173
1686.22/1684.93	v x41176 x41178 x41182 x41183 x41184 x41185 x41186 x41187 x41188 x41189 x41190 x41191 x41192 x41193 x41194 x41200 x41203
1686.22/1684.93	v x41204 x41209 x41214 x41220 x41223 x41224 x41225 x41226 x41227 x41228 x41229 x41240 x41243 x41244 x41245 x41246 x41247
1686.22/1684.93	v x41248 x41251 x41253 x41257 x41258 x41259 x41260 x41261 x41262 x41263 x41266 x41268 x41269 x41270 x41271 x41272 x41273
1686.22/1684.93	v x41277 x41278 x41279 x41280 x41281 x41282 x41283 x41286 x41288 x41292 x41293 x41294 x41295 x41296 x41297 x41298 x41302
1686.22/1684.93	v x41317 x41323 x41326 x41329 x41331 x41332 x41338 x41341 x41345 x41346 x41350 x41351 x41354 x41356 x41359 x41361 x41364
1686.22/1684.93	v x41366 x41370 x41371 x41372 x41373 x41374 x41375 x41376 x41377 x41387 x41392 x41397 x41402 x41408 x41411 x41412 x41413
1686.22/1684.93	v x41414 x41415 x41416 x41420 x41421 x41422 x41428 x41431 x41432 x41433 x41434 x41435 x41436 x41439 x41441 x41444 x41446
1686.22/1684.93	v x41450 x41451 x41456 x41459 x41463 x41464 x41468 x41469 x41472 x41474 x41475 x41485 x41490 x41495 x41500 x41510 x41515
1686.22/1684.93	v x41520 x41525 x41531 x41534 x41538 x41539 x41542 x41544 x41547 x41549 x41550 x41551 x41552 x41553 x41554 x41557 x41559
1686.22/1684.93	v x41560 x41566 x41569 x41570 x41576 x41579 x41580 x41586 x41589 x41590 x41600 x41606 x41607 x41608 x41615 x41619 x41621
1686.22/1684.93	v x41622 x41625 x41627 x41630 x41631 x41632 x41633 x41635 x41637 x41638 x41642 x41644 x41647 x41649 x41653 x41654 x41655
1686.22/1684.93	v x41660 x41665 x41675 x41681 x41684 x41688 x41689 x41690 x41695 x41700 x41710 x41716 x41719 x41723 x41724 x41725 x41731
1686.22/1684.93	v x41734 x41738 x41739 x41742 x41744 x41745 x41750 x41756 x41759 x41762 x41764 x41765 x41766 x41767 x41768 x41769 x41770
1686.22/1684.93	v x41771 x41772 x41773 x41774 x41775 x41780 x41791 x41793 x41798 x41803 x41814 x41817 x41820 x41822 x41826 x41827 x41828
1686.22/1684.93	v x41829 x41830 x41831 x41832 x41833 x41834 x41835 x41836 x41837 x41838 x41844 x41847 x41848 x41853 x41858 x41864 x41867
1686.22/1684.93	v x41868 x41869 x41870 x41871 x41872 x41873 x41884 x41887 x41888 x41889 x41890 x41891 x41892 x41895 x41897 x41901 x41902
1686.22/1684.93	v x41903 x41904 x41905 x41906 x41907 x41910 x41912 x41913 x41914 x41915 x41916 x41917 x41921 x41922 x41923 x41924 x41925
1686.22/1684.93	v x41926 x41927 x41930 x41932 x41936 x41937 x41938 x41939 x41940 x41941 x41942 x41946 x41961 x41967 x41970 x41973 x41975
1686.22/1684.93	v x41976 x41982 x41985 x41989 x41990 x41994 x41995 x41998 x42000 x42003 x42005 x42008 x42010 x42014 x42015 x42016 x42017
1686.22/1684.93	v x42018 x42019 x42020 x42021 x42031 x42036 x42041 x42046 x42052 x42055 x42056 x42057 x42058 x42059 x42060 x42064 x42065
1686.22/1684.93	v x42066 x42072 x42075 x42076 x42077 x42078 x42079 x42080 x42083 x42085 x42088 x42090 x42094 x42095 x42100 x42103 x42107
1686.22/1684.93	v x42108 x42112 x42113 x42116 x42118 x42119 x42129 x42134 x42139 x42144 x42154 x42159 x42164 x42169 x42175 x42178 x42182
1686.22/1684.93	v x42183 x42186 x42188 x42191 x42193 x42194 x42195 x42196 x42197 x42198 x42201 x42203 x42204 x42210 x42213 x42214 x42220
1686.22/1684.93	v x42223 x42224 x42230 x42233 x42234 x42244 x42251 x42256 x42257 x42258 x42259 x42261 x42262 x42266 x42267 x42269 x42270
1686.22/1684.93	v x42271 x42272 x42273 x42275 x42276 x42278 x42279 x42281 x42283 x42285 x42288 x42292 x42293 x42297 x42298 x42302 x42303
1686.22/1684.93	v x42304 x42310 x42313 x42316 x42318 x42319 x42320 x42321 x42322 x42323 x42324 x42325 x42326 x42327 x42328 x42332 x42333
1686.22/1684.93	v x42334 x42335 x42336 x42337 x42338 x42339 x42340 x42341 x42342 x42343 x42344 x42349 x42354 x42360 x42363 x42366 x42368
1686.22/1684.93	v x42372 x42373 x42374 x42375 x42376 x42377 x42378 x42381 x42383 x42384 x42385 x42386 x42387 x42388 x42391 x42393 x42396
1686.22/1684.93	v x42398 x42399 x42405 x42408 x42409 x42410 x42411 x42412 x42413 x42414 x42419 x42425 x42428 x42432 x42433 x42434 x42436
1686.22/1684.93	v x42437 x42447 x42457 x42467 x42472 x42477 x42482 x42487 x42492 x42498 x42501 x42502 x42503 x42504 x42505 x42506 x42507
1686.22/1684.93	v x42508 x42509 x42510 x42511 x42515 x42516 x42519 x42521 x42524 x42526 x42527 x42528 x42529 x42530 x42531 x42532 x42533
1686.22/1684.93	v x42534 x42535 x42536 x42537 x42542 x42547 x42558 x42561 x42565 x42566 x42567 x42568 x42569 x42570 x42571 x42572 x42578
1686.22/1684.93	v x42581 x42585 x42586 x42588 x42590 x42605 x42611 x42614 x42618 x42619 x42620 x42625 x42631 x42634 x42638 x42639 x42642
1686.22/1684.93	v x42644 x42647 x42649 x42652 x42654 x42655 x42656 x42657 x42658 x42659 x42660 x42661 x42662 x42663 x42664 x42665 x42670
1686.22/1684.93	v x42675 x42681 x42684 x42685 x42690 x42706 x42709 x42713 x42714 x42715 x42716 x42717 x42718 x42719 x42720 x42721 x42722
1686.22/1684.93	v x42723 x42724 x42727 x42729 x42730 x42740 x42742 x42744 x42747 x42748 x42753 x42758 x42763 x42774 x42777 x42778 x42779
1686.22/1684.93	v x42780 x42781 x42782 x42786 x42787 x42791 x42792 x42796 x42797 x42801 x42802 x42803 x42809 x42812 x42813 x42814 x42815
1686.22/1684.93	v x42816 x42817 x42820 x42822 x42825 x42827 x42830 x42832 x42836 x42837 x42838 x42839 x42840 x42841 x42842 x42843 x42844
1686.22/1684.93	v x42845 x42846 x42847 x42851 x42852 x42856 x42857 x42858 x42868 x42874 x42877 x42881 x42882 x42885 x42887 x42888 x42893
1686.22/1684.93	v x42895 x42900 x42901 x42902 x42903 x42905 x42906 x42910 x42911 x42913 x42914 x42915 x42916 x42917 x42919 x42920 x42922
1686.22/1684.93	v x42923 x42927 x42929 x42932 x42936 x42937 x42941 x42942 x42946 x42947 x42948 x42954 x42957 x42960 x42962 x42963 x42964
1686.22/1684.93	v x42965 x42966 x42967 x42968 x42969 x42970 x42971 x42972 x42976 x42977 x42978 x42979 x42980 x42981 x42982 x42983 x42984
1686.22/1684.93	v x42985 x42986 x42987 x42988 x42993 x42998 x43004 x43007 x43010 x43012 x43016 x43017 x43018 x43019 x43020 x43021 x43022
1686.22/1684.93	v x43025 x43027 x43028 x43029 x43030 x43031 x43032 x43035 x43037 x43040 x43042 x43043 x43049 x43052 x43053 x43054 x43055
1686.22/1684.93	v x43056 x43057 x43058 x43063 x43069 x43072 x43076 x43077 x43078 x43080 x43081 x43091 x43101 x43111 x43116 x43121 x43126
1686.22/1684.93	v x43131 x43136 x43142 x43145 x43146 x43147 x43148 x43149 x43150 x43151 x43152 x43153 x43154 x43155 x43159 x43160 x43163
1686.22/1684.93	v x43165 x43168 x43170 x43171 x43172 x43173 x43174 x43175 x43176 x43177 x43178 x43179 x43180 x43181 x43186 x43191 x43202
1686.22/1684.93	v x43205 x43209 x43210 x43211 x43212 x43213 x43214 x43215 x43216 x43222 x43225 x43229 x43230 x43232 x43234 x43249 x43255
1686.22/1684.93	v x43258 x43262 x43263 x43264 x43269 x43275 x43278 x43282 x43283 x43286 x43288 x43291 x43293 x43296 x43298 x43299 x43300
1686.22/1684.93	v x43301 x43302 x43303 x43304 x43305 x43306 x43307 x43308 x43309 x43314 x43319 x43325 x43328 x43329 x43334 x43350 x43353
1686.22/1684.93	v x43357 x43358 x43359 x43360 x43361 x43362 x43363 x43364 x43365 x43366 x43367 x43368 x43371 x43373 x43374 x43384 x43386
1686.22/1684.93	v x43388 x43391 x43392 x43397 x43402 x43407 x43418 x43421 x43422 x43423 x43424 x43425 x43426 x43430 x43431 x43435 x43436
1686.22/1684.93	v x43440 x43441 x43445 x43446 x43447 x43453 x43456 x43457 x43458 x43459 x43460 x43461 x43464 x43466 x43469 x43471 x43474
1686.22/1684.93	v x43476 x43480 x43481 x43482 x43483 x43484 x43485 x43486 x43487 x43488 x43489 x43490 x43491 x43495 x43496 x43500 x43501
1686.22/1684.93	v x43502 x43512 x43518 x43521 x43525 x43526 x43529 x43531 x43532 x43537 x43538 x43539 x43540 x43541 x43542 x43543 x43544
1686.22/1684.93	v x43548 x43550 x43551 x43552 x43553 x43554 x43555 x43556 x43559 x43560 x43561 x43563 x43564 x43566 x43569 x43571 x43572
1686.22/1684.93	v x43578 x43581 x43582 x43583 x43584 x43585 x43586 x43589 x43591 x43594 x43596 x43597 x43598 x43599 x43600 x43601 x43605
1686.22/1684.93	v x43606 x43607 x43618 x43621 x43622 x43627 x43632 x43637 x43642 x43648 x43651 x43652 x43653 x43654 x43655 x43656 x43659
1686.22/1684.93	v x43661 x43662 x43673 x43676 x43679 x43681 x43684 x43686 x43690 x43691 x43694 x43696 x43699 x43701 x43702 x43707 x43717
1686.22/1684.93	v x43724 x43735 x43740 x43746 x43749 x43750 x43756 x43759 x43760 x43761 x43762 x43763 x43764 x43765 x43766 x43767 x43768
1686.22/1684.93	v x43769 x43772 x43774 x43778 x43779 x43780 x43786 x43789 x43793 x43794 x43798 x43799 x43803 x43804 x43805 x43810 x43815
1686.22/1684.93	v x43821 x43824 x43825 x43830 x43835 x43846 x43849 x43850 x43851 x43852 x43853 x43854 x43858 x43859 x43860 x43866 x43869
1686.22/1684.93	v x43873 x43874 x43877 x43878 x43888 x43893 x43904 x43907 x43908 x43914 x43917 x43921 x43922 x43926 x43927 x43930 x43932
1686.22/1684.93	v x43935 x43937 x43938 x43939 x43940 x43941 x43942 x43945 x43947 x43948 x43949 x43950 x43951 x43952 x43953 x43959 x43962
1686.22/1684.93	v x43966 x43967 x43970 x43972 x43973 x43978 x44008 x44013 x44024 x44027 x44029 x44033 x44035 x44036 x44042 x44045 x44046
1686.22/1684.93	v x44047 x44048 x44049 x44050 x44051 x44056 x44061 x44066 x44071 x44086 x44091 x44101 x44106 x44111 x44116 x44121 x44126
1686.22/1684.93	v x44132 x44135 x44139 x44140 x44144 x44145 x44146 x44156 x44161 x44167 x44170 x44171 x44182 x44183 x44184 x44185 x44186
1686.22/1684.93	v x44187 x44188 x44192 x44194 x44195 x44196 x44197 x44198 x44199 x44200 x44203 x44204 x44205 x44207 x44208 x44210 x44215
1686.22/1684.93	v x44217 x44220 x44221 x44222 x44223 x44224 x44225 x44226 x44227 x44228 x44229 x44230 x44233 x44235 x44238 x44240 x44241
1686.22/1684.93	v x44242 x44243 x44244 x44245 x44249 x44250 x44251 x44262 x44265 x44266 x44271 x44276 x44281 x44286 x44292 x44295 x44296
1686.22/1684.93	v x44297 x44298 x44299 x44300 x44303 x44305 x44306 x44317 x44320 x44323 x44325 x44328 x44330 x44334 x44335 x44338 x44340
1686.22/1684.93	v x44343 x44345 x44346 x44351 x44361 x44368 x44379 x44384 x44390 x44393 x44394 x44400 x44403 x44404 x44405 x44406 x44407
1686.22/1684.93	v x44408 x44409 x44410 x44411 x44412 x44413 x44416 x44418 x44422 x44423 x44424 x44430 x44433 x44437 x44438 x44442 x44443
1686.22/1684.93	v x44447 x44448 x44449 x44454 x44459 x44465 x44468 x44469 x44474 x44479 x44490 x44493 x44494 x44495 x44496 x44497 x44498
1686.22/1684.93	v x44502 x44503 x44504 x44510 x44513 x44517 x44518 x44521 x44527 x44532 x44537 x44548 x44551 x44552 x44558 x44561 x44565
1686.22/1684.93	v x44566 x44570 x44571 x44574 x44576 x44579 x44581 x44582 x44583 x44584 x44585 x44586 x44589 x44591 x44592 x44593 x44594
1686.22/1684.93	v x44595 x44596 x44597 x44603 x44606 x44610 x44611 x44614 x44616 x44617 x44622 x44652 x44657 x44668 x44671 x44673 x44675
1686.22/1684.93	v x44680 x44686 x44689 x44690 x44691 x44692 x44693 x44694 x44695 x44700 x44705 x44710 x44715 x44730 x44735 x44745 x44750
1686.22/1684.93	v x44755 x44760 x44765 x44770 x44776 x44779 x44783 x44784 x44788 x44789 x44790 x44800 x44805 x44811 x44814 x44815 x44826
1686.22/1684.93	v x44827 x44832 x44833 x44834 x44835 x44836 x44837 x44839 x44840 x44841 x44842 x44843 x44846 x44848 x44849 x44850 x44851
1686.22/1684.93	v x44853 x44858 x44862 x44864 x44865 x44870 x44875 x44880 x44886 x44889 x44892 x44894 x44897 x44899 x44900 x44901 x44902
1686.22/1684.93	v x44903 x44904 x44905 x44906 x44907 x44908 x44909 x44912 x44914 x44915 x44920 x44925 x44930 x44936 x44939 x44942 x44944
1686.22/1684.93	v x44948 x44949 x44950 x44956 x44959 x44963 x44964 x44967 x44969 x44970 x44971 x44972 x44973 x44974 x44977 x44979 x44982
1686.22/1684.93	v x44984 x44988 x44989 x44990 x44991 x44992 x44993 x44994 x44998 x44999 x45003 x45004 x45008 x45009 x45011 x45013 x45018
1686.22/1684.93	v x45033 x45044 x45047 x45051 x45052 x45053 x45054 x45055 x45056 x45057 x45060 x45062 x45063 x45064 x45065 x45066 x45067
1686.22/1684.93	v x45070 x45072 x45073 x45074 x45075 x45076 x45077 x45078 x45079 x45080 x45081 x45082 x45086 x45087 x45091 x45092 x45095
1686.22/1684.93	v x45097 x45100 x45102 x45106 x45107 x45108 x45109 x45110 x45111 x45112 x45115 x45117 x45118 x45119 x45120 x45121 x45122
1686.22/1684.93	v x45123 x45124 x45125 x45126 x45127 x45130 x45132 x45133 x45134 x45135 x45136 x45137 x45141 x45142 x45146 x45147 x45148
1686.22/1684.93	v x45154 x45157 x45161 x45162 x45165 x45171 x45177 x45180 x45183 x45185 x45188 x45190 x45194 x45195 x45199 x45200 x45201
1686.22/1684.93	v x45206 x45211 x45222 x45225 x45226 x45227 x45228 x45229 x45230 x45231 x45232 x45233 x45234 x45235 x45238 x45240 x45241
1686.22/1684.93	v x45256 x45276 x45297 x45300 x45304 x45305 x45306 x45318 x45319 x45325 x45328 x45329 x45339 x45354 x45360 x45363 x45366
1686.22/1684.93	v x45368 x45372 x45373 x45374 x45380 x45383 x45384 x45385 x45386 x45387 x45388 x45389 x45394 x45409 x45414 x45424 x45430
1686.22/1684.93	v x45433 x45434 x45439 x45454 x45459 x45470 x45471 x45476 x45477 x45478 x45479 x45480 x45481 x45483 x45484 x45485 x45486
1686.22/1684.93	v x45487 x45490 x45492 x45493 x45494 x45495 x45497 x45502 x45506 x45508 x45509 x45514 x45519 x45524 x45529 x45534 x45539
1686.22/1684.93	v x45545 x45548 x45549 x45550 x45551 x45552 x45553 x45556 x45558 x45559 x45564 x45569 x45574 x45580 x45583 x45586 x45588
1686.22/1684.93	v x45592 x45593 x45594 x45600 x45603 x45607 x45608 x45611 x45613 x45614 x45615 x45616 x45617 x45618 x45621 x45623 x45626
1686.22/1684.93	v x45628 x45632 x45633 x45634 x45635 x45636 x45637 x45638 x45642 x45643 x45647 x45648 x45652 x45653 x45654 x45655 x45657
1686.22/1684.93	v x45662 x45677 x45682 x45688 x45691 x45695 x45696 x45697 x45698 x45699 x45700 x45701 x45704 x45706 x45707 x45708 x45709
1686.22/1684.93	v x45710 x45711 x45714 x45716 x45717 x45718 x45719 x45720 x45721 x45722 x45723 x45724 x45725 x45726 x45730 x45731 x45735
1686.22/1684.93	v x45736 x45739 x45741 x45744 x45746 x45750 x45751 x45752 x45753 x45754 x45755 x45756 x45759 x45761 x45762 x45763 x45764
1686.22/1684.93	v x45765 x45766 x45767 x45768 x45769 x45770 x45771 x45774 x45776 x45777 x45778 x45779 x45780 x45781 x45785 x45786 x45790
1686.22/1684.93	v x45791 x45792 x45798 x45801 x45805 x45806 x45809 x45815 x45821 x45824 x45827 x45829 x45832 x45834 x45835 x45836 x45837
1686.22/1684.93	v x45838 x45839 x45840 x45841 x45842 x45843 x45844 x45847 x45849 x45850 x45855 x45866 x45869 x45870 x45871 x45872 x45873
1686.22/1684.93	v x45874 x45875 x45876 x45877 x45878 x45879 x45882 x45884 x45885 x45900 x45920 x45941 x45944 x45948 x45949 x45950 x45962
1686.22/1684.93	v x45963 x45969 x45972 x45973 x45983 x45989 x45992 x45995 x45997 x45998 x46004 x46007 x46010 x46012 x46016 x46017 x46018
1686.22/1684.93	v x46024 x46027 x46028 x46029 x46030 x46031 x46032 x46033 x46038 x46053 x46058 x46068 x46074 x46077 x46078 x46083 x46098
1686.22/1684.93	v x46103 x46114 x46115 x46118 x46120 x46123 x46124 x46127 x46129 x46130 x46131 x46132 x46138 x46141 x46144 x46146 x46148
1686.22/1684.93	v x46149 x46150 x46151 x46152 x46153 x46164 x46167 x46171 x46172 x46175 x46177 x46178 x46188 x46193 x46198 x46203 x46209
1686.22/1684.93	v x46212 x46213 x46218 x46223 x46229 x46232 x46233 x46234 x46235 x46236 x46237 x46241 x46242 x46243 x46253 x46264 x46267
1686.22/1684.93	v x46271 x46272 x46276 x46277 x46280 x46282 x46286 x46287 x46288 x46294 x46297 x46300 x46301 x46306 x46322 x46325 x46328
1686.22/1684.93	v x46330 x46334 x46335 x46336 x46337 x46338 x46339 x46340 x46344 x46345 x46348 x46350 x46354 x46355 x46356 x46362 x46365
1686.22/1684.93	v x46369 x46370 x46374 x46375 x46379 x46380 x46383 x46385 x46386 x46392 x46395 x46396 x46397 x46398 x46399 x46400 x46403
1686.22/1684.93	v x46405 x46409 x46410 x46414 x46415 x46418 x46420 x46421 x46422 x46423 x46424 x46425 x46429 x46430 x46431 x46432 x46433
1686.22/1684.93	v x46434 x46435 x46436 x46442 x46445 x46446 x46447 x46448 x46449 x46450 x46451 x46455 x46458 x46459 x46460 x46461 x46462
1686.22/1684.93	v x46463 x46464 x46469 x46484 x46489 x46495 x46498 x46501 x46503 x46506 x46508 x46509 x46510 x46511 x46512 x46513 x46517
1686.22/1684.93	v x46518 x46519 x46520 x46521 x46522 x46523 x46526 x46528 x46529 x46530 x46531 x46532 x46533 x46537 x46538 x46539 x46540
1686.22/1684.93	v x46541 x46542 x46543 x46544 x46550 x46553 x46557 x46558 x46561 x46563 x46567 x46568 x46572 x46573 x46577 x46578 x46579
1686.22/1684.93	v x46584 x46589 x46594 x46599 x46604 x46606 x46607 x46613 x46616 x46619 x46621 x46624 x46626 x46627 x46637 x46643 x46646
1686.22/1684.93	v x46647 x46663 x46666 x46667 x46672 x46682 x46693 x46696 x46699 x46701 x46705 x46706 x46707 x46727 x46732 x46738 x46741
1686.22/1684.93	v x46742 x46743 x46744 x46745 x46746 x46749 x46751 x46752 x46753 x46754 x46755 x46756 x46757 x46758 x46762 x46764 x46767
1686.22/1684.93	v x46768 x46771 x46773 x46774 x46775 x46776 x46782 x46785 x46788 x46790 x46795 x46796 x46797 x46808 x46811 x46815 x46816
1686.22/1684.93	v x46819 x46821 x46822 x46832 x46837 x46842 x46847 x46853 x46856 x46857 x46862 x46867 x46873 x46876 x46877 x46878 x46879
1686.22/1684.93	v x46880 x46881 x46885 x46886 x46887 x46897 x46908 x46911 x46915 x46916 x46920 x46921 x46924 x46926 x46930 x46931 x46932
1686.22/1684.93	v x46938 x46941 x46944 x46945 x46950 x46966 x46969 x46972 x46974 x46978 x46979 x46980 x46981 x46982 x46983 x46984 x46988
1686.22/1684.93	v x46989 x46992 x46994 x46998 x46999 x47000 x47006 x47009 x47013 x47014 x47018 x47019 x47023 x47024 x47027 x47029 x47030
1686.22/1684.93	v x47036 x47039 x47040 x47041 x47042 x47043 x47044 x47047 x47049 x47053 x47054 x47058 x47059 x47062 x47064 x47065 x47066
1686.22/1684.93	v x47067 x47068 x47069 x47073 x47074 x47075 x47076 x47077 x47078 x47079 x47080 x47086 x47089 x47090 x47091 x47092 x47093
1686.22/1684.93	v x47094 x47095 x47098 x47104 x47107 x47108 x47113 x47128 x47133 x47139 x47142 x47145 x47147 x47150 x47152 x47153 x47154
1686.22/1684.93	v x47155 x47156 x47157 x47161 x47162 x47163 x47164 x47165 x47166 x47167 x47170 x47172 x47173 x47174 x47175 x47176 x47177
1686.22/1684.93	v x47181 x47182 x47183 x47184 x47185 x47186 x47187 x47188 x47194 x47197 x47201 x47202 x47205 x47207 x47211 x47212 x47216
1686.22/1684.93	v x47217 x47221 x47222 x47223 x47228 x47233 x47238 x47243 x47248 x47250 x47252 x47255 x47259 x47260 x47263 x47265 x47268
1686.22/1684.93	v x47270 x47271 x47281 x47287 x47290 x47291 x47307 x47310 x47311 x47316 x47326 x47337 x47340 x47343 x47345 x47349 x47350
1686.22/1684.93	v x47351 x47371 x47376 x47382 x47385 x47386 x47387 x47388 x47389 x47390 x47393 x47395 x47396 x47397 x47398 x47399 x47400
1686.22/1684.93	v x47401 x47402 x47405 x47406 x47409 x47410 x47412 x47414 x47419 x47422 x47424 x47426 x47429 x47432 x47434 x47436 x47447
1686.22/1684.93	v x47450 x47453 x47455 x47459 x47460 x47461 x47466 x47472 x47475 x47479 x47480 x47481 x47482 x47483 x47484 x47485 x47486
1686.22/1684.93	v x47492 x47495 x47496 x47501 x47516 x47521 x47532 x47535 x47539 x47540 x47543 x47545 x47549 x47550 x47553 x47555 x47559
1686.22/1684.93	v x47560 x47561 x47566 x47576 x47582 x47585 x47588 x47589 x47599 x47604 x47610 x47613 x47616 x47618 x47622 x47623 x47627
1686.22/1684.93	v x47628 x47632 x47633 x47636 x47638 x47642 x47643 x47646 x47648 x47652 x47653 x47654 x47655 x47656 x47657 x47658 x47662
1686.22/1684.93	v x47663 x47667 x47668 x47669 x47674 x47680 x47683 x47687 x47688 x47691 x47693 x47697 x47698 x47702 x47703 x47704 x47709
1686.22/1684.93	v x47715 x47718 x47722 x47723 x47724 x47729 x47735 x47738 x47742 x47752 x47762 x47768 x47771 x47772 x47773 x47774 x47775
1686.22/1684.93	v x47776 x47780 x47781 x47782 x47788 x47791 x47792 x47793 x47794 x47795 x47796 x47800 x47801 x47802 x47803 x47804 x47805
1686.22/1684.93	v x47806 x47809 x47811 x47812 x47822 x47828 x47831 x47832 x47837 x47847 x47857 x47868 x47871 x47874 x47876 x47880 x47881
1686.22/1684.93	v x47884 x47886 x47887 x47894 x47896 x47899 x47900 x47906 x47909 x47913 x47914 x47917 x47919 x47920 x47925 x47935 x47945
1686.22/1684.93	v x47955 x47960 x47965 x47976 x47979 x47983 x47984 x47987 x47989 x47992 x47994 x47995 x48000 x48011 x48014 x48018 x48019
1686.22/1684.93	v x48020 x48030 x48035 x48040 x48046 x48049 x48050 x48053 x48054 x48056 x48058 x48063 x48066 x48068 x48070 x48073 x48076
1686.22/1684.93	v x48077 x48078 x48083 x48084 x48085 x48091 x48094 x48097 x48099 x48103 x48104 x48108 x48109 x48112 x48114 x48115 x48116
1686.22/1684.93	v x48117 x48118 x48119 x48123 x48124 x48125 x48126 x48127 x48128 x48129 x48130 x48136 x48139 x48140 x48145 x48160 x48165
1686.22/1684.93	v x48176 x48179 x48183 x48184 x48187 x48189 x48193 x48194 x48197 x48199 x48203 x48204 x48205 x48210 x48220 x48226 x48229
1686.22/1684.93	v x48232 x48233 x48243 x48248 x48254 x48257 x48258 x48263 x48268 x48273 x48278 x48283 x48288 x48293 x48299 x48302 x48306
1686.22/1684.93	v x48307 x48311 x48312 x48313 x48318 x48324 x48327 x48331 x48332 x48335 x48337 x48341 x48342 x48346 x48347 x48348 x48353
1686.22/1684.93	v x48359 x48362 x48366 x48367 x48368 x48373 x48379 x48382 x48391 x48396 x48406 x48411 x48416 x48422 x48425 x48426 x48432
1686.22/1684.93	v x48435 x48436 x48437 x48438 x48439 x48440 x48444 x48445 x48446 x48447 x48448 x48449 x48450 x48453 x48455 x48456 x48466
1686.22/1684.93	v x48472 x48475 x48476 x48481 x48491 x48501 x48512 x48515 x48518 x48520 x48524 x48525 x48528 x48530 x48531 x48538 x48539
1686.22/1684.93	v x48544 x48550 x48553 x48557 x48558 x48561 x48563 x48564 x48565 x48566 x48567 x48568 x48569 x48570 x48571 x48572 x48573
1686.22/1684.93	v x48577 x48578 x48579 x48580 x48581 x48582 x48583 x48587 x48588 x48589 x48590 x48591 x48592 x48593 x48597 x48598 x48599
1686.22/1684.93	v x48600 x48601 x48602 x48603 x48604 x48609 x48620 x48623 x48627 x48628 x48631 x48633 x48636 x48638 x48639 x48644 x48655
1686.22/1684.93	v x48658 x48662 x48663 x48664 x48674 x48679 x48684

Verifier Data (download as text)

OK	0

Conversion Script Data (download as text)

/tmp/evaluation/419086-1177402715/instance-419086-1177402715.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node66/watcher-419086-1177402715 -o ROOT/results/node66/solver-419086-1177402715 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-419086-1177402715.opb /tmp/evaluation/419086-1177402715/temp 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.14 1.03 0.92 3/64 16118
/proc/meminfo: memFree=1869488/2055920 swapFree=4183056/4192956
[pid=16118] ppid=16116 vsize=12268 CPUtime=0
/proc/16118/stat : 16118 (pbclasp) R 16116 16118 15491 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 216261087 12562432 317 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227607804517 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/16118/statm: 3067 317 242 3 0 167 0

[startup+0.0704309 s]
/proc/loadavg: 1.14 1.03 0.92 3/64 16118
/proc/meminfo: memFree=1869488/2055920 swapFree=4183056/4192956
[pid=16118] ppid=16116 vsize=14100 CPUtime=0.06
/proc/16118/stat : 16118 (pbclasp) R 16116 16118 15491 0 -1 4194304 883 0 0 0 6 0 0 0 18 0 1 0 216261087 14438400 850 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 0 0 0 17 1 0 0
/proc/16118/statm: 3525 850 316 3 0 625 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14100

[startup+0.101436 s]
/proc/loadavg: 1.14 1.03 0.92 3/64 16118
/proc/meminfo: memFree=1869488/2055920 swapFree=4183056/4192956
[pid=16118] ppid=16116 vsize=14100 CPUtime=0.08
/proc/16118/stat : 16118 (pbclasp) R 16116 16118 15491 0 -1 4194304 883 0 0 0 8 0 0 0 18 0 1 0 216261087 14438400 850 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 0 0 0 17 1 0 0
/proc/16118/statm: 3525 850 316 3 0 625 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14100

[startup+0.301482 s]
/proc/loadavg: 1.14 1.03 0.92 3/64 16118
/proc/meminfo: memFree=1869488/2055920 swapFree=4183056/4192956
[pid=16118] ppid=16116 vsize=14100 CPUtime=0.21
/proc/16118/stat : 16118 (pbclasp) S 16116 16118 15491 0 -1 4194304 905 0 0 0 20 1 0 0 16 0 1 0 216261087 14438400 854 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/16118/statm: 3525 854 320 3 0 625 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 14100

[startup+0.701558 s]
/proc/loadavg: 1.14 1.03 0.92 3/64 16118
/proc/meminfo: memFree=1869488/2055920 swapFree=4183056/4192956
[pid=16118] ppid=16116 vsize=14100 CPUtime=0.21
/proc/16118/stat : 16118 (pbclasp) S 16116 16118 15491 0 -1 4194304 905 0 0 0 20 1 0 0 16 0 1 0 216261087 14438400 854 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/16118/statm: 3525 854 320 3 0 625 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 14100

[startup+1.50172 s]
/proc/loadavg: 1.13 1.03 0.92 2/69 16123
/proc/meminfo: memFree=1863360/2055920 swapFree=4183056/4192956
[pid=16118] ppid=16116 vsize=14100 CPUtime=0.21
/proc/16118/stat : 16118 (pbclasp) S 16116 16118 15491 0 -1 4194304 905 0 0 0 20 1 0 0 16 0 1 0 216261087 14438400 854 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/16118/statm: 3525 854 320 3 0 625 0
[pid=16120] ppid=16118 vsize=5352 CPUtime=0
/proc/16120/stat : 16120 (sh) S 16118 16118 15491 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216261109 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16120/statm: 1338 224 188 169 0 49 0
[pid=16121] ppid=16120 vsize=12400 CPUtime=1.24
/proc/16121/stat : 16121 (pb2clasp1) R 16120 16118 15491 0 -1 4194304 501 0 0 0 124 0 0 0 25 0 1 0 216261109 12697600 460 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 227607516608 0 0 4224 0 0 0 0 17 1 0 0
/proc/16121/statm: 3100 460 340 3 0 200 0
[pid=16122] ppid=16120 vsize=6308 CPUtime=0.13
/proc/16122/stat : 16122 (clasp-1.0) S 16120 16118 15491 0 -1 4194304 1203 0 0 0 13 0 0 0 16 0 1 0 216261109 6459392 1168 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/16122/statm: 1577 1168 230 81 0 951 0
[pid=16123] ppid=16120 vsize=12268 CPUtime=0
/proc/16123/stat : 16123 (pboutclasp.pl) S 16120 16118 15491 0 -1 4194304 412 0 0 0 0 0 0 0 18 0 1 0 216261109 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16123/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 50428

[startup+3.10204 s]
/proc/loadavg: 1.13 1.03 0.92 2/69 16123
/proc/meminfo: memFree=1860032/2055920 swapFree=4183056/4192956
[pid=16118] ppid=16116 vsize=14100 CPUtime=0.21
/proc/16118/stat : 16118 (pbclasp) S 16116 16118 15491 0 -1 4194304 905 0 0 0 20 1 0 0 16 0 1 0 216261087 14438400 854 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/16118/statm: 3525 854 320 3 0 625 0
[pid=16120] ppid=16118 vsize=5352 CPUtime=0
/proc/16120/stat : 16120 (sh) S 16118 16118 15491 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216261109 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16120/statm: 1338 224 188 169 0 49 0
[pid=16121] ppid=16120 vsize=12400 CPUtime=2.81
/proc/16121/stat : 16121 (pb2clasp1) R 16120 16118 15491 0 -1 4194304 502 0 0 0 281 0 0 0 25 0 1 0 216261109 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 227607415487 0 0 4224 0 0 0 0 17 0 0 0
/proc/16121/statm: 3100 461 340 3 0 200 0
[pid=16122] ppid=16120 vsize=11152 CPUtime=0.33
/proc/16122/stat : 16122 (clasp-1.0) S 16120 16118 15491 0 -1 4194304 2404 0 0 0 33 0 0 0 16 0 1 0 216261109 11419648 2369 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16122/statm: 2788 2369 230 81 0 2162 0
[pid=16123] ppid=16120 vsize=12268 CPUtime=0
/proc/16123/stat : 16123 (pboutclasp.pl) S 16120 16118 15491 0 -1 4194304 412 0 0 0 0 0 0 0 18 0 1 0 216261109 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16123/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 3.35
Current children cumulated vsize (KiB) 55272

[startup+6.30167 s]
/proc/loadavg: 1.13 1.03 0.92 2/69 16123
/proc/meminfo: memFree=1849984/2055920 swapFree=4183056/4192956
[pid=16118] ppid=16116 vsize=14100 CPUtime=0.21
/proc/16118/stat : 16118 (pbclasp) S 16116 16118 15491 0 -1 4194304 905 0 0 0 20 1 0 0 16 0 1 0 216261087 14438400 854 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/16118/statm: 3525 854 320 3 0 625 0
[pid=16120] ppid=16118 vsize=5352 CPUtime=0
/proc/16120/stat : 16120 (sh) S 16118 16118 15491 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216261109 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16120/statm: 1338 224 188 169 0 49 0
[pid=16121] ppid=16120 vsize=12400 CPUtime=5.98
/proc/16121/stat : 16121 (pb2clasp1) R 16120 16118 15491 0 -1 4194304 502 0 0 0 598 0 0 0 25 0 1 0 216261109 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 227607300308 0 0 4224 0 0 0 0 17 0 0 0
/proc/16121/statm: 3100 461 340 3 0 200 0
[pid=16122] ppid=16120 vsize=21276 CPUtime=0.79
/proc/16122/stat : 16122 (clasp-1.0) S 16120 16118 15491 0 -1 4194304 4868 0 0 0 77 2 0 0 16 0 1 0 216261109 21786624 4833 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16122/statm: 5319 4833 230 81 0 4693 0
[pid=16123] ppid=16120 vsize=12268 CPUtime=0
/proc/16123/stat : 16123 (pboutclasp.pl) S 16120 16118 15491 0 -1 4194304 412 0 0 0 0 0 0 0 18 0 1 0 216261109 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16123/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 65396

[startup+12.703 s]
/proc/loadavg: 1.19 1.04 0.93 2/69 16123
/proc/meminfo: memFree=1829824/2055920 swapFree=4183056/4192956
[pid=16118] ppid=16116 vsize=14100 CPUtime=0.21
/proc/16118/stat : 16118 (pbclasp) S 16116 16118 15491 0 -1 4194304 905 0 0 0 20 1 0 0 16 0 1 0 216261087 14438400 854 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/16118/statm: 3525 854 320 3 0 625 0
[pid=16120] ppid=16118 vsize=5352 CPUtime=0
/proc/16120/stat : 16120 (sh) S 16118 16118 15491 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216261109 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16120/statm: 1338 224 188 169 0 49 0
[pid=16121] ppid=16120 vsize=12400 CPUtime=12.3
/proc/16121/stat : 16121 (pb2clasp1) R 16120 16118 15491 0 -1 4194304 502 0 0 0 1229 1 0 0 25 0 1 0 216261109 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 227621418788 0 0 4224 0 0 0 0 17 0 0 0
/proc/16121/statm: 3100 461 340 3 0 200 0
[pid=16122] ppid=16120 vsize=40472 CPUtime=1.73
/proc/16122/stat : 16122 (clasp-1.0) S 16120 16118 15491 0 -1 4194304 9773 0 0 0 168 5 0 0 16 0 1 0 216261109 41443328 9697 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16122/statm: 10118 9697 230 81 0 9492 0
[pid=16123] ppid=16120 vsize=12268 CPUtime=0
/proc/16123/stat : 16123 (pboutclasp.pl) S 16120 16118 15491 0 -1 4194304 412 0 0 0 0 0 0 0 18 0 1 0 216261109 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16123/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 14.24
Current children cumulated vsize (KiB) 84592

[startup+25.5015 s]
/proc/loadavg: 1.16 1.04 0.93 2/68 16123
/proc/meminfo: memFree=1771400/2055920 swapFree=4183056/4192956
[pid=16118] ppid=16116 vsize=14100 CPUtime=0.21
/proc/16118/stat : 16118 (pbclasp) S 16116 16118 15491 0 -1 4194304 905 0 0 0 20 1 0 0 16 0 1 0 216261087 14438400 854 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/16118/statm: 3525 854 320 3 0 625 0
[pid=16120] ppid=16118 vsize=5352 CPUtime=14.23
/proc/16120/stat : 16120 (sh) S 16118 16118 15491 0 -1 4194304 297 504 0 0 0 0 1421 2 16 0 1 0 216261109 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16120/statm: 1338 224 188 169 0 49 0
[pid=16122] ppid=16120 vsize=98228 CPUtime=12.96
/proc/16122/stat : 16122 (clasp-1.0) R 16120 16118 15491 0 -1 4194304 29028 0 0 0 1283 13 0 0 25 0 1 0 216261109 100585472 23884 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/16122/statm: 24557 23884 245 81 0 23931 0
[pid=16123] ppid=16120 vsize=12268 CPUtime=0
/proc/16123/stat : 16123 (pboutclasp.pl) S 16120 16118 15491 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216261109 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16123/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 27.4
Current children cumulated vsize (KiB) 129948

[startup+51.1016 s]
/proc/loadavg: 1.10 1.04 0.93 2/68 16123
/proc/meminfo: memFree=1771528/2055920 swapFree=4183056/4192956
[pid=16118] ppid=16116 vsize=14100 CPUtime=0.21
/proc/16118/stat : 16118 (pbclasp) S 16116 16118 15491 0 -1 4194304 905 0 0 0 20 1 0 0 16 0 1 0 216261087 14438400 854 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/16118/statm: 3525 854 320 3 0 625 0
[pid=16120] ppid=16118 vsize=5352 CPUtime=14.23
/proc/16120/stat : 16120 (sh) S 16118 16118 15491 0 -1 4194304 297 504 0 0 0 0 1421 2 16 0 1 0 216261109 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16120/statm: 1338 224 188 169 0 49 0
[pid=16122] ppid=16120 vsize=98228 CPUtime=38.55
/proc/16122/stat : 16122 (clasp-1.0) R 16120 16118 15491 0 -1 4194304 29037 0 0 0 3841 14 0 0 25 0 1 0 216261109 100585472 23893 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737400 0 0 4096 0 0 0 0 17 1 0 0
/proc/16122/statm: 24557 23893 245 81 0 23931 0
[pid=16123] ppid=16120 vsize=12268 CPUtime=0
/proc/16123/stat : 16123 (pboutclasp.pl) S 16120 16118 15491 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216261109 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16123/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 52.99
Current children cumulated vsize (KiB) 129948

[startup+102.306 s]
/proc/loadavg: 1.04 1.03 0.93 2/68 16123
/proc/meminfo: memFree=1771784/2055920 swapFree=4183056/4192956
[pid=16118] ppid=16116 vsize=14100 CPUtime=0.21
/proc/16118/stat : 16118 (pbclasp) S 16116 16118 15491 0 -1 4194304 905 0 0 0 20 1 0 0 16 0 1 0 216261087 14438400 854 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/16118/statm: 3525 854 320 3 0 625 0
[pid=16120] ppid=16118 vsize=5352 CPUtime=14.23
/proc/16120/stat : 16120 (sh) S 16118 16118 15491 0 -1 4194304 297 504 0 0 0 0 1421 2 16 0 1 0 216261109 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16120/statm: 1338 224 188 169 0 49 0
[pid=16122] ppid=16120 vsize=97684 CPUtime=89.74
/proc/16122/stat : 16122 (clasp-1.0) R 16120 16118 15491 0 -1 4194304 29069 0 0 0 8960 14 0 0 25 0 1 0 216261109 100028416 23789 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737633 0 0 4096 0 0 0 0 17 1 0 0
/proc/16122/statm: 24421 23789 245 81 0 23795 0
[pid=16123] ppid=16120 vsize=12268 CPUtime=0
/proc/16123/stat : 16123 (pboutclasp.pl) S 16120 16118 15491 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216261109 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16123/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 104.18
Current children cumulated vsize (KiB) 129404

[startup+162.302 s]
/proc/loadavg: 1.01 1.02 0.93 2/68 16123
/proc/meminfo: memFree=1769544/2055920 swapFree=4183056/4192956
[pid=16118] ppid=16116 vsize=14100 CPUtime=0.21
/proc/16118/stat : 16118 (pbclasp) S 16116 16118 15491 0 -1 4194304 905 0 0 0 20 1 0 0 16 0 1 0 216261087 14438400 854 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/16118/statm: 3525 854 320 3 0 625 0

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

/proc/16122/statm: 158976 157737 245 81 0 158350 0
[pid=16123] ppid=16120 vsize=12268 CPUtime=0
/proc/16123/stat : 16123 (pboutclasp.pl) S 16120 16118 15491 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216261109 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16123/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 1543.66
Current children cumulated vsize (KiB) 667624

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 16125
/proc/meminfo: memFree=1234568/2055920 swapFree=4183056/4192956
[pid=16118] ppid=16116 vsize=14100 CPUtime=0.21
/proc/16118/stat : 16118 (pbclasp) S 16116 16118 15491 0 -1 4194304 905 0 0 0 20 1 0 0 16 0 1 0 216261087 14438400 854 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/16118/statm: 3525 854 320 3 0 625 0
[pid=16120] ppid=16118 vsize=5352 CPUtime=14.23
/proc/16120/stat : 16120 (sh) S 16118 16118 15491 0 -1 4194304 297 504 0 0 0 0 1421 2 16 0 1 0 216261109 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16120/statm: 1338 224 188 169 0 49 0
[pid=16122] ppid=16120 vsize=635904 CPUtime=1589.2
/proc/16122/stat : 16122 (clasp-1.0) R 16120 16118 15491 0 -1 4194304 179601 0 0 0 158795 125 0 0 25 0 1 0 216261109 651165696 157739 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737597 0 0 4096 0 0 0 0 17 1 0 0
/proc/16122/statm: 158976 157739 245 81 0 158350 0
[pid=16123] ppid=16120 vsize=12268 CPUtime=0
/proc/16123/stat : 16123 (pboutclasp.pl) S 16120 16118 15491 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216261109 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16123/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 1603.64
Current children cumulated vsize (KiB) 667624

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 16125
/proc/meminfo: memFree=1234632/2055920 swapFree=4183056/4192956
[pid=16118] ppid=16116 vsize=14100 CPUtime=0.21
/proc/16118/stat : 16118 (pbclasp) S 16116 16118 15491 0 -1 4194304 905 0 0 0 20 1 0 0 16 0 1 0 216261087 14438400 854 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/16118/statm: 3525 854 320 3 0 625 0
[pid=16120] ppid=16118 vsize=5352 CPUtime=14.23
/proc/16120/stat : 16120 (sh) S 16118 16118 15491 0 -1 4194304 297 504 0 0 0 0 1421 2 16 0 1 0 216261109 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16120/statm: 1338 224 188 169 0 49 0
[pid=16122] ppid=16120 vsize=635904 CPUtime=1649.18
/proc/16122/stat : 16122 (clasp-1.0) R 16120 16118 15491 0 -1 4194304 179601 0 0 0 164793 125 0 0 25 0 1 0 216261109 651165696 157739 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134782470 0 0 4096 0 0 0 0 17 1 0 0
/proc/16122/statm: 158976 157739 245 81 0 158350 0
[pid=16123] ppid=16120 vsize=12268 CPUtime=0
/proc/16123/stat : 16123 (pboutclasp.pl) S 16120 16118 15491 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216261109 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16123/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 1663.62
Current children cumulated vsize (KiB) 667624

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

[startup+1663.9 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 16125
/proc/meminfo: memFree=1234632/2055920 swapFree=4183056/4192956
[pid=16118] ppid=16116 vsize=14100 CPUtime=0.21
/proc/16118/stat : 16118 (pbclasp) S 16116 16118 15491 0 -1 4194304 905 0 0 0 20 1 0 0 16 0 1 0 216261087 14438400 854 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/16118/statm: 3525 854 320 3 0 625 0
[pid=16120] ppid=16118 vsize=5352 CPUtime=14.23
/proc/16120/stat : 16120 (sh) S 16118 16118 15491 0 -1 4194304 297 504 0 0 0 0 1421 2 16 0 1 0 216261109 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16120/statm: 1338 224 188 169 0 49 0
[pid=16122] ppid=16120 vsize=635904 CPUtime=1650.78
/proc/16122/stat : 16122 (clasp-1.0) R 16120 16118 15491 0 -1 4194304 179601 0 0 0 164953 125 0 0 25 0 1 0 216261109 651165696 157739 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134782432 0 0 4096 0 0 0 0 17 1 0 0
/proc/16122/statm: 158976 157739 245 81 0 158350 0
[pid=16123] ppid=16120 vsize=12268 CPUtime=0
/proc/16123/stat : 16123 (pboutclasp.pl) S 16120 16118 15491 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216261109 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16123/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 1665.22
Current children cumulated vsize (KiB) 667624

[startup+1676.7 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 16125
/proc/meminfo: memFree=1234568/2055920 swapFree=4183056/4192956
[pid=16118] ppid=16116 vsize=14100 CPUtime=0.21
/proc/16118/stat : 16118 (pbclasp) S 16116 16118 15491 0 -1 4194304 905 0 0 0 20 1 0 0 16 0 1 0 216261087 14438400 854 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/16118/statm: 3525 854 320 3 0 625 0
[pid=16120] ppid=16118 vsize=5352 CPUtime=14.23
/proc/16120/stat : 16120 (sh) S 16118 16118 15491 0 -1 4194304 297 504 0 0 0 0 1421 2 16 0 1 0 216261109 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16120/statm: 1338 224 188 169 0 49 0
[pid=16122] ppid=16120 vsize=635904 CPUtime=1663.58
/proc/16122/stat : 16122 (clasp-1.0) R 16120 16118 15491 0 -1 4194304 179601 0 0 0 166233 125 0 0 25 0 1 0 216261109 651165696 157739 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737644 0 0 4096 0 0 0 0 17 1 0 0
/proc/16122/statm: 158976 157739 245 81 0 158350 0
[pid=16123] ppid=16120 vsize=12268 CPUtime=0
/proc/16123/stat : 16123 (pboutclasp.pl) S 16120 16118 15491 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216261109 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16123/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 1678.02
Current children cumulated vsize (KiB) 667624

[startup+1679.9 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 16125
/proc/meminfo: memFree=1234568/2055920 swapFree=4183056/4192956
[pid=16118] ppid=16116 vsize=14100 CPUtime=0.21
/proc/16118/stat : 16118 (pbclasp) S 16116 16118 15491 0 -1 4194304 905 0 0 0 20 1 0 0 16 0 1 0 216261087 14438400 854 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/16118/statm: 3525 854 320 3 0 625 0
[pid=16120] ppid=16118 vsize=5352 CPUtime=14.23
/proc/16120/stat : 16120 (sh) S 16118 16118 15491 0 -1 4194304 297 504 0 0 0 0 1421 2 16 0 1 0 216261109 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16120/statm: 1338 224 188 169 0 49 0
[pid=16122] ppid=16120 vsize=635904 CPUtime=1666.78
/proc/16122/stat : 16122 (clasp-1.0) R 16120 16118 15491 0 -1 4194304 179601 0 0 0 166553 125 0 0 25 0 1 0 216261109 651165696 157739 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737400 0 0 4096 0 0 0 0 17 1 0 0
/proc/16122/statm: 158976 157739 245 81 0 158350 0
[pid=16123] ppid=16120 vsize=12268 CPUtime=0
/proc/16123/stat : 16123 (pboutclasp.pl) S 16120 16118 15491 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216261109 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16123/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 1681.22
Current children cumulated vsize (KiB) 667624

[startup+1683.1 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 16125
/proc/meminfo: memFree=1234568/2055920 swapFree=4183056/4192956
[pid=16118] ppid=16116 vsize=14100 CPUtime=0.21
/proc/16118/stat : 16118 (pbclasp) S 16116 16118 15491 0 -1 4194304 905 0 0 0 20 1 0 0 16 0 1 0 216261087 14438400 854 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/16118/statm: 3525 854 320 3 0 625 0
[pid=16120] ppid=16118 vsize=5352 CPUtime=14.23
/proc/16120/stat : 16120 (sh) S 16118 16118 15491 0 -1 4194304 297 504 0 0 0 0 1421 2 16 0 1 0 216261109 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16120/statm: 1338 224 188 169 0 49 0
[pid=16122] ppid=16120 vsize=635904 CPUtime=1669.97
/proc/16122/stat : 16122 (clasp-1.0) R 16120 16118 15491 0 -1 4194304 179601 0 0 0 166872 125 0 0 25 0 1 0 216261109 651165696 157739 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737587 0 0 4096 0 0 0 0 17 1 0 0
/proc/16122/statm: 158976 157739 245 81 0 158350 0
[pid=16123] ppid=16120 vsize=12268 CPUtime=0
/proc/16123/stat : 16123 (pboutclasp.pl) S 16120 16118 15491 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216261109 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16123/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 1684.41
Current children cumulated vsize (KiB) 667624

[startup+1683.9 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 16125
/proc/meminfo: memFree=1234568/2055920 swapFree=4183056/4192956
[pid=16118] ppid=16116 vsize=14100 CPUtime=0.21
/proc/16118/stat : 16118 (pbclasp) S 16116 16118 15491 0 -1 4194304 905 0 0 0 20 1 0 0 16 0 1 0 216261087 14438400 854 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/16118/statm: 3525 854 320 3 0 625 0
[pid=16120] ppid=16118 vsize=5352 CPUtime=14.23
/proc/16120/stat : 16120 (sh) S 16118 16118 15491 0 -1 4194304 297 504 0 0 0 0 1421 2 16 0 1 0 216261109 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16120/statm: 1338 224 188 169 0 49 0
[pid=16122] ppid=16120 vsize=635904 CPUtime=1670.77
/proc/16122/stat : 16122 (clasp-1.0) R 16120 16118 15491 0 -1 4194304 179601 0 0 0 166952 125 0 0 25 0 1 0 216261109 651165696 157739 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737633 0 0 4096 0 0 0 0 17 1 0 0
/proc/16122/statm: 158976 157739 245 81 0 158350 0
[pid=16123] ppid=16120 vsize=12268 CPUtime=0
/proc/16123/stat : 16123 (pboutclasp.pl) S 16120 16118 15491 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216261109 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16123/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 1685.21
Current children cumulated vsize (KiB) 667624

[startup+1684.7 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 16125
/proc/meminfo: memFree=1234568/2055920 swapFree=4183056/4192956
[pid=16118] ppid=16116 vsize=14100 CPUtime=0.21
/proc/16118/stat : 16118 (pbclasp) S 16116 16118 15491 0 -1 4194304 905 0 0 0 20 1 0 0 16 0 1 0 216261087 14438400 854 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/16118/statm: 3525 854 320 3 0 625 0
[pid=16120] ppid=16118 vsize=5352 CPUtime=14.23
/proc/16120/stat : 16120 (sh) S 16118 16118 15491 0 -1 4194304 297 504 0 0 0 0 1421 2 16 0 1 0 216261109 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16120/statm: 1338 224 188 169 0 49 0
[pid=16122] ppid=16120 vsize=632556 CPUtime=1671.57
/proc/16122/stat : 16122 (clasp-1.0) R 16120 16118 15491 0 -1 4194304 179623 0 0 0 167032 125 0 0 25 0 1 0 216261109 647737344 156924 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 10268741 0 0 4096 0 0 0 0 17 1 0 0
/proc/16122/statm: 158139 156924 266 81 0 157513 0
[pid=16123] ppid=16120 vsize=12772 CPUtime=0
/proc/16123/stat : 16123 (pboutclasp.pl) S 16120 16118 15491 0 -1 4194304 548 0 0 0 0 0 0 0 16 0 1 0 216261109 13078528 508 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16123/statm: 3193 508 311 3 0 293 0
Current children cumulated CPU time (s) 1686.01
Current children cumulated vsize (KiB) 664780

[startup+1684.9 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 16125
/proc/meminfo: memFree=1234568/2055920 swapFree=4183056/4192956
[pid=16118] ppid=16116 vsize=14100 CPUtime=0.21
/proc/16118/stat : 16118 (pbclasp) S 16116 16118 15491 0 -1 4194304 905 0 0 0 20 1 0 0 16 0 1 0 216261087 14438400 854 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/16118/statm: 3525 854 320 3 0 625 0
[pid=16120] ppid=16118 vsize=5352 CPUtime=14.23
/proc/16120/stat : 16120 (sh) S 16118 16118 15491 0 -1 4194304 297 504 0 0 0 0 1421 2 16 0 1 0 216261109 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16120/statm: 1338 224 188 169 0 49 0
[pid=16122] ppid=16120 vsize=217812 CPUtime=1671.78
/proc/16122/stat : 16122 (clasp-1.0) R 16120 16118 15491 0 -1 4194304 179623 0 0 0 167046 132 0 0 25 0 1 0 216261109 223039488 53712 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16122/statm: 54453 53712 12410 81 0 53827 0
[pid=16123] ppid=16120 vsize=12772 CPUtime=0
/proc/16123/stat : 16123 (pboutclasp.pl) S 16120 16118 15491 0 -1 4194304 548 0 0 0 0 0 0 0 16 0 1 0 216261109 13078528 508 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16123/statm: 3193 508 311 3 0 293 0
Current children cumulated CPU time (s) 1686.22
Current children cumulated vsize (KiB) 250036

Child status: 0
Real time (s): 1684.94
CPU time (s): 1686.27
CPU user time (s): 1684.88
CPU system time (s): 1.38979
CPU usage (%): 100.079
Max. virtual memory (cumulated for all children) (KiB): 667624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1684.88
system time used= 1.38979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182392
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= 2238
involuntary context switches= 2218

runsolver used 1.62975 second user time and 3.82142 second system time

The end

Launcher Data (download as text)

Begin job on node66 on Tue Apr 24 08:18:35 UTC 2007

IDJOB= 419086
IDBENCH= 47748
IDSOLVER= 167
FILE ID= node66/419086-1177402715

PBS_JOBID= 4675549

Free space on /tmp= 66402 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/crypto/mizh-sha0-35-2.opb
COMMAND LINE= pbclasp instance-419086-1177402715.opb /tmp/evaluation/419086-1177402715/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node66/convwatcher-419086-1177402715 -o ROOT/results/node66/conversion-419086-1177402715 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/419086-1177402715/instance-419086-1177402715.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node66/watcher-419086-1177402715 -o ROOT/results/node66/solver-419086-1177402715 -C 1800 -W 3600 -M 1800 --output-limit 1,15  pbclasp instance-419086-1177402715.opb /tmp/evaluation/419086-1177402715/temp

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  e900fbd1606b0da7d65f7a2b7936e193

RANDOM SEED= 621284824

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node66.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.281
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.281
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1869896 kB
Buffers:         12152 kB
Cached:         113372 kB
SwapCached:       4356 kB
Active:          72292 kB
Inactive:        64452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1869896 kB
SwapTotal:     4192956 kB
SwapFree:      4183056 kB
Dirty:            7616 kB
Writeback:           0 kB
Mapped:          16748 kB
Slab:            35272 kB
Committed_AS:  1787808 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66402 MiB

End job on node66 on Tue Apr 24 08:46:40 UTC 2007