Trace number 419072

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 479.941 478.128

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/
industrial/crypto/mizh-sha0-35-5.opb
MD5SUM30a4aa276f354cb1400ff8ec4e3f19e4
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 benchmark157.095
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 constraints204055
Number of constraints which are clauses204055
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)

479.88/478.12	s SATISFIABLE
479.88/478.12	v x1 x3 x4 x9 x11 x14 x15 x16 x17 x18 x22 x23 x27 x28 x31 x32 x34 x35 x37 x39 x40 x42 x43 x44 x46 x47 x55 x57 x58 x61 x63 x65 x77 x80 x81
479.88/478.12	v x84 x85 x87 x91 x92 x93 x94 x95 x96 x102 x103 x104 x107 x108 x112 x115 x117 x118 x119 x120 x121 x122 x124 x126 x130 x131 x136 x137
479.88/478.12	v x138 x139 x142 x143 x144 x147 x148 x149 x150 x155 x156 x157 x159 x162 x164 x165 x169 x172 x173 x174 x176 x180 x181 x184 x185 x187
479.88/478.12	v x188 x189 x191 x193 x194 x195 x196 x197 x201 x202 x203 x204 x208 x209 x212 x213 x214 x216 x217 x218 x220 x221 x228 x230 x231 x232
479.88/478.12	v x235 x236 x237 x240 x241 x244 x245 x246 x248 x253 x254 x257 x258 x260 x261 x262 x264 x265 x266 x267 x270 x277 x280 x282 x285 x287
479.88/478.12	v x288 x291 x292 x298 x299 x300 x303 x306 x308 x309 x310 x313 x314 x317 x319 x322 x324 x326 x331 x333 x335 x336 x339 x340 x341 x343
479.88/478.12	v x344 x347 x348 x349 x350 x357 x361 x363 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x378 x380 x383 x385 x386 x388 x390 x394
479.88/478.12	v x395 x398 x399 x400 x401 x402 x404 x406 x407 x408 x411 x413 x416 x418 x420 x421 x422 x423 x424 x429 x430 x432 x433 x436 x437 x440
479.88/478.12	v x441 x442 x443 x444 x445 x446 x447 x448 x468 x471 x473 x484 x485 x487 x488 x492 x493 x494 x497 x498 x499 x501 x502 x503 x508 x510
479.88/478.12	v x512 x513 x515 x516 x521 x523 x525 x526 x527 x530 x532 x533 x534 x541 x542 x551 x553 x554 x555 x557 x560 x561 x564 x569 x571 x572
479.88/478.12	v x574 x579 x580 x583 x586 x590 x591 x592 x593 x594 x597 x598 x601 x603 x604 x605 x610 x611 x613 x614 x618 x622 x623 x624 x627 x629
479.88/478.12	v x630 x632 x636 x637 x638 x639 x641 x643 x644 x650 x651 x652 x655 x658 x661 x662 x663 x666 x669 x671 x674 x676 x677 x678 x683 x684
479.88/478.12	v x686 x688 x690 x691 x695 x696 x698 x700 x702 x705 x706 x707 x712 x713 x714 x715 x717 x718 x719 x721 x723 x726 x727 x734 x736 x738
479.88/478.12	v x741 x742 x743 x744 x747 x748 x750 x751 x752 x753 x754 x756 x758 x760 x763 x765 x768 x769 x771 x773 x774 x775 x777 x778 x780 x781
479.88/478.12	v x784 x786 x787 x788 x791 x792 x795 x797 x798 x801 x802 x804 x805 x806 x807 x808 x809 x811 x813 x814 x819 x820 x822 x823 x826 x827
479.88/478.12	v x829 x830 x831 x833 x835 x836 x837 x839 x841 x842 x843 x845 x851 x852 x857 x858 x859 x861 x863 x865 x866 x867 x870 x872 x874 x878
479.88/478.12	v x886 x887 x889 x894 x900 x901 x904 x908 x910 x911 x913 x915 x920 x921 x922 x923 x927 x933 x938 x940 x943 x945 x947 x948 x950 x954
479.88/478.12	v x955 x956 x957 x958 x960 x961 x964 x968 x970 x974 x980 x982 x984 x985 x988 x989 x990 x991 x992 x993 x994 x997 x998 x999 x1000
479.88/478.12	v x1001 x1003 x1006 x1009 x1014 x1017 x1019 x1020 x1022 x1023 x1026 x1027 x1028 x1032 x1033 x1034 x1036 x1038 x1041 x1042 x1043
479.88/478.12	v x1045 x1047 x1049 x1050 x1052 x1055 x1056 x1057 x1059 x1060 x1061 x1062 x1063 x1066 x1067 x1068 x1074 x1075 x1077 x1078 x1079
479.88/478.12	v x1082 x1083 x1086 x1088 x1089 x1091 x1094 x1096 x1100 x1102 x1104 x1105 x1108 x1110 x1113 x1116 x1119 x1120 x1122 x1123 x1126
479.88/478.12	v x1128 x1130 x1134 x1140 x1142 x1150 x1154 x1162 x1164 x1168 x1169 x1177 x1180 x1182 x1183 x1184 x1187 x1190 x1191 x1192 x1194
479.88/478.12	v x1197 x1199 x1200 x1201 x1202 x1208 x1209 x1210 x1214 x1215 x1217 x1221 x1223 x1226 x1228 x1229 x1233 x1234 x1235 x1236 x1237
479.88/478.12	v x1239 x1240 x1241 x1245 x1247 x1251 x1253 x1254 x1256 x1260 x1263 x1264 x1267 x1268 x1269 x1271 x1274 x1277 x1278 x1281 x1285
479.88/478.12	v x1288 x1289 x1290 x1293 x1294 x1295 x1296 x1299 x1300 x1303 x1306 x1307 x1308 x1310 x1311 x1312 x1317 x1318 x1323 x1324 x1326
479.88/478.12	v x1327 x1328 x1329 x1331 x1335 x1337 x1338 x1340 x1341 x1342 x1344 x1345 x1350 x1352 x1353 x1354 x1355 x1356 x1357 x1361 x1364
479.88/478.12	v x1369 x1371 x1373 x1375 x1377 x1379 x1380 x1381 x1385 x1386 x1388 x1389 x1390 x1392 x1393 x1395 x1401 x1404 x1405 x1409 x1412
479.88/478.12	v x1413 x1414 x1418 x1419 x1422 x1425 x1426 x1427 x1431 x1432 x1433 x1434 x1439 x1440 x1441 x1443 x1446 x1449 x1451 x1452 x1453
479.88/478.12	v x1456 x1458 x1463 x1464 x1466 x1468 x1469 x1471 x1472 x1482 x1485 x1486 x1489 x1490 x1491 x1493 x1494 x1500 x1502 x1504 x1511
479.88/478.12	v x1512 x1513 x1514 x1517 x1519 x1522 x1525 x1528 x1530 x1531 x1543 x1544 x1545 x1550 x1551 x1553 x1555 x1558 x1560 x1562 x1563
479.88/478.12	v x1564 x1566 x1568 x1570 x1572 x1574 x1575 x1576 x1577 x1579 x1583 x1586 x1587 x1590 x1592 x1593 x1595 x1597 x1598 x1600 x1601
479.88/478.12	v x1602 x1603 x1609 x1611 x1612 x1613 x1614 x1617 x1620 x1622 x1623 x1627 x1629 x1630 x1631 x1633 x1635 x1636 x1638 x1639 x1640
479.88/478.12	v x1644 x1645 x1646 x1647 x1649 x1650 x1651 x1652 x1655 x1656 x1657 x1663 x1664 x1666 x1668 x1670 x1674 x1675 x1678 x1679 x1680
479.88/478.12	v x1681 x1682 x1686 x1688 x1689 x1691 x1693 x1696 x1699 x1700 x1702 x1704 x1705 x1706 x1707 x1708 x1709 x1710 x1712 x1714 x1716
479.88/478.12	v x1718 x1719 x1721 x1722 x1726 x1729 x1730 x1731 x1736 x1737 x1740 x1741 x1743 x1745 x1748 x1751 x1752 x1754 x1755 x1757 x1758
479.88/478.12	v x1760 x1761 x1762 x1766 x1772 x1776 x1778 x1779 x1780 x1782 x1783 x1784 x1785 x1786 x1787 x1789 x1791 x1793 x1795 x1796 x1797
479.88/478.12	v x1798 x1800 x1801 x1802 x1803 x1804 x1806 x1807 x1809 x1810 x1813 x1815 x1816 x1820 x1825 x1826 x1827 x1828 x1829 x1832 x1833
479.88/478.12	v x1834 x1835 x1838 x1839 x1840 x1841 x1843 x1844 x1845 x1846 x1849 x1850 x1851 x1852 x1853 x1855 x1859 x1860 x1863 x1866 x1870
479.88/478.12	v x1871 x1872 x1873 x1874 x1876 x1877 x1878 x1879 x1883 x1884 x1885 x1890 x1891 x1892 x1894 x1895 x1896 x1898 x1901 x1902 x1903
479.88/478.12	v x1904 x1906 x1907 x1908 x1911 x1912 x1916 x1918 x1922 x1926 x1928 x1933 x1937 x1939 x1941 x1942 x1944 x1947 x1949 x1950 x1954
479.88/478.12	v x1958 x1959 x1960 x1963 x1965 x1968 x1969 x1973 x1974 x1976 x1978 x1984 x1986 x1989 x1990 x1993 x1997 x2000 x2001 x2003 x2005
479.88/478.12	v x2008 x2011 x2016 x2021 x2023 x2024 x2025 x2027 x2035 x2038 x2042 x2043 x2052 x2053 x2054 x2057 x2060 x2061 x2062 x2063 x2065
479.88/478.12	v x2067 x2068 x2069 x2070 x2071 x2072 x2073 x2076 x2078 x2081 x2082 x2083 x2084 x2085 x2086 x2092 x2093 x2094 x2095 x2096 x2099
479.88/478.12	v x2101 x2102 x2106 x2108 x2113 x2114 x2115 x2121 x2128 x2129 x2132 x2135 x2136 x2137 x2138 x2142 x2147 x2148 x2149 x2152 x2154
479.88/478.12	v x2155 x2156 x2160 x2162 x2163 x2166 x2168 x2169 x2170 x2172 x2177 x2178 x2179 x2184 x2185 x2187 x2188 x2192 x2193 x2194 x2195
479.88/478.12	v x2197 x2198 x2199 x2202 x2203 x2204 x2206 x2207 x2208 x2210 x2212 x2213 x2217 x2218 x2225 x2229 x2231 x2232 x2233 x2235 x2238
479.88/478.12	v x2239 x2240 x2241 x2243 x2244 x2245 x2246 x2247 x2248 x2249 x2252 x2253 x2254 x2256 x2258 x2259 x2262 x2263 x2265 x2267 x2268
479.88/478.12	v x2271 x2272 x2277 x2283 x2286 x2287 x2289 x2296 x2300 x2302 x2304 x2307 x2308 x2310 x2311 x2312 x2313 x2315 x2316 x2317 x2319
479.88/478.12	v x2320 x2321 x2322 x2323 x2326 x2327 x2328 x2329 x2331 x2334 x2335 x2338 x2341 x2343 x2364 x2366 x2371 x2377 x2380 x2384 x2386
479.88/478.12	v x2387 x2393 x2394 x2401 x2402 x2403 x2405 x2407 x2409 x2412 x2416 x2418 x2419 x2425 x2426 x2428 x2430 x2433 x2435 x2437 x2440
479.88/478.12	v x2444 x2445 x2448 x2450 x2451 x2456 x2467 x2470 x2471 x2476 x2481 x2491 x2496 x2502 x2505 x2509 x2510 x2511 x2512 x2513 x2514
479.88/478.12	v x2515 x2518 x2520 x2521 x2531 x2536 x2546 x2551 x2556 x2562 x2565 x2566 x2571 x2576 x2581 x2586 x2587 x2591 x2593 x2596 x2598
479.88/478.12	v x2602 x2603 x2607 x2608 x2609 x2619 x2624 x2639 x2645 x2648 x2649 x2650 x2651 x2652 x2653 x2657 x2658 x2661 x2663 x2666 x2668
479.88/478.12	v x2669 x2670 x2671 x2672 x2673 x2676 x2678 x2679 x2684 x2689 x2694 x2699 x2710 x2713 x2716 x2718 x2719 x2720 x2721 x2722 x2723
479.88/478.12	v x2724 x2725 x2726 x2727 x2728 x2731 x2733 x2737 x2738 x2739 x2740 x2742 x2747 x2758 x2761 x2764 x2766 x2767 x2777 x2782 x2787
479.88/478.12	v x2792 x2797 x2802 x2807 x2818 x2821 x2825 x2826 x2827 x2828 x2829 x2830 x2831 x2835 x2836 x2837 x2838 x2839 x2840 x2841 x2844
479.88/478.12	v x2846 x2847 x2853 x2856 x2857 x2858 x2859 x2860 x2861 x2862 x2863 x2864 x2865 x2866 x2870 x2871 x2872 x2873 x2874 x2875 x2876
479.88/478.12	v x2879 x2881 x2884 x2886 x2887 x2888 x2889 x2890 x2891 x2895 x2900 x2915 x2920 x2925 x2931 x2934 x2937 x2939 x2942 x2944 x2945
479.88/478.12	v x2946 x2947 x2948 x2949 x2952 x2954 x2955 x2956 x2957 x2958 x2959 x2962 x2964 x2965 x2975 x2980 x2985 x2991 x2994 x2998 x2999
479.88/478.12	v x3000 x3001 x3002 x3003 x3004 x3008 x3009 x3012 x3014 x3017 x3019 x3020 x3026 x3029 x3033 x3034 x3035 x3040 x3045 x3046 x3049
479.88/478.12	v x3051 x3072 x3074 x3079 x3085 x3088 x3092 x3094 x3095 x3101 x3102 x3109 x3110 x3111 x3113 x3115 x3117 x3120 x3124 x3126 x3127
479.88/478.12	v x3133 x3134 x3136 x3138 x3141 x3143 x3144 x3149 x3154 x3164 x3169 x3175 x3178 x3179 x3184 x3189 x3199 x3204 x3210 x3213 x3217
479.88/478.12	v x3218 x3219 x3220 x3221 x3222 x3223 x3226 x3228 x3229 x3239 x3244 x3254 x3259 x3264 x3270 x3273 x3274 x3279 x3284 x3289 x3295
479.88/478.12	v x3299 x3301 x3304 x3306 x3310 x3311 x3315 x3316 x3317 x3327 x3332 x3347 x3353 x3356 x3357 x3358 x3359 x3360 x3361 x3365 x3366
479.88/478.12	v x3369 x3371 x3374 x3376 x3377 x3378 x3379 x3380 x3381 x3384 x3386 x3387 x3392 x3397 x3402 x3407 x3418 x3421 x3424 x3426 x3427
479.88/478.12	v x3428 x3429 x3430 x3431 x3432 x3433 x3434 x3435 x3436 x3439 x3441 x3445 x3446 x3447 x3448 x3452 x3454 x3455 x3456 x3457 x3458
479.88/478.12	v x3459 x3462 x3464 x3468 x3469 x3472 x3474 x3477 x3479 x3480 x3485 x3490 x3495 x3500 x3505 x3510 x3515 x3526 x3529 x3533 x3534
479.88/478.12	v x3535 x3536 x3537 x3538 x3539 x3543 x3544 x3545 x3546 x3547 x3548 x3549 x3552 x3554 x3555 x3561 x3564 x3565 x3566 x3567 x3568
479.88/478.12	v x3569 x3570 x3571 x3572 x3573 x3574 x3578 x3579 x3580 x3581 x3582 x3583 x3584 x3587 x3589 x3592 x3594 x3595 x3596 x3597 x3598
479.88/478.12	v x3599 x3600 x3608 x3623 x3634 x3637 x3638 x3639 x3640 x3641 x3642 x3645 x3647 x3650 x3652 x3653 x3654 x3655 x3656 x3657 x3660
479.88/478.12	v x3662 x3663 x3664 x3665 x3666 x3667 x3670 x3672 x3673 x3683 x3688 x3693 x3699 x3702 x3706 x3707 x3708 x3709 x3710 x3711 x3712
479.88/478.12	v x3716 x3717 x3720 x3722 x3725 x3727 x3728 x3734 x3737 x3741 x3742 x3743 x3748 x3755 x3756 x3763 x3768 x3772 x3785 x3794 x3796
479.88/478.12	v x3797 x3798 x3799 x3801 x3803 x3807 x3808 x3809 x3814 x3815 x3819 x3820 x3826 x3827 x3828 x3829 x3830 x3831 x3832 x3833 x3835
479.88/478.12	v x3836 x3839 x3840 x3841 x3846 x3847 x3849 x3851 x3853 x3856 x3859 x3861 x3865 x3866 x3867 x3872 x3877 x3888 x3891 x3892 x3893
479.88/478.12	v x3894 x3895 x3896 x3897 x3898 x3899 x3900 x3901 x3904 x3906 x3907 x3908 x3909 x3910 x3911 x3912 x3913 x3914 x3915 x3916 x3919
479.88/478.12	v x3921 x3924 x3926 x3927 x3932 x3937 x3953 x3956 x3959 x3961 x3962 x3963 x3964 x3965 x3966 x3970 x3971 x3972 x3982 x3987 x3993
479.88/478.12	v x3996 x3997 x4004 x4010 x4016 x4019 x4020 x4021 x4022 x4023 x4024 x4025 x4030 x4036 x4039 x4043 x4044 x4045 x4050 x4056 x4059
479.88/478.12	v x4060 x4061 x4062 x4063 x4064 x4068 x4069 x4073 x4074 x4075 x4080 x4085 x4090 x4100 x4110 x4116 x4119 x4122 x4124 x4128 x4129
479.88/478.12	v x4130 x4136 x4139 x4143 x4144 x4145 x4150 x4155 x4156 x4161 x4162 x4163 x4168 x4174 x4177 x4178 x4179 x4180 x4181 x4182 x4185
479.88/478.12	v x4187 x4188 x4198 x4203 x4214 x4217 x4218 x4219 x4220 x4221 x4222 x4223 x4234 x4237 x4240 x4242 x4245 x4247 x4248 x4269 x4272
479.88/478.12	v x4273 x4278 x4283 x4288 x4294 x4297 x4298 x4303 x4310 x4317 x4320 x4323 x4325 x4329 x4330 x4331 x4332 x4333 x4334 x4335 x4339
479.88/478.12	v x4340 x4343 x4345 x4346 x4352 x4355 x4356 x4357 x4358 x4359 x4360 x4361 x4366 x4371 x4376 x4381 x4386 x4391 x4396 x4401 x4406
479.88/478.12	v x4416 x4426 x4431 x4437 x4440 x4443 x4445 x4446 x4452 x4455 x4456 x4457 x4458 x4459 x4460 x4463 x4464 x4471 x4476 x4480 x4493
479.88/478.12	v x4502 x4504 x4505 x4506 x4507 x4509 x4511 x4515 x4516 x4517 x4522 x4523 x4527 x4528 x4534 x4535 x4536 x4537 x4538 x4539 x4540
479.88/478.12	v x4541 x4543 x4544 x4547 x4548 x4549 x4554 x4555 x4557 x4559 x4561 x4564 x4567 x4569 x4573 x4574 x4575 x4580 x4585 x4596 x4599
479.88/478.12	v x4600 x4601 x4602 x4603 x4604 x4605 x4606 x4607 x4608 x4609 x4612 x4614 x4615 x4616 x4617 x4618 x4619 x4620 x4621 x4622 x4623
479.88/478.12	v x4624 x4627 x4629 x4632 x4634 x4635 x4640 x4645 x4661 x4664 x4667 x4669 x4670 x4671 x4672 x4673 x4674 x4678 x4679 x4680 x4690
479.88/478.12	v x4695 x4701 x4704 x4705 x4712 x4718 x4724 x4727 x4731 x4732 x4733 x4744 x4747 x4751 x4752 x4753 x4758 x4763 x4768 x4774 x4777
479.88/478.12	v x4781 x4782 x4783 x4788 x4793 x4798 x4808 x4818 x4824 x4827 x4830 x4832 x4836 x4837 x4838 x4844 x4847 x4851 x4852 x4853 x4858
479.88/478.12	v x4863 x4864 x4869 x4870 x4871 x4876 x4882 x4885 x4886 x4887 x4888 x4889 x4890 x4893 x4895 x4896 x4906 x4911 x4922 x4925 x4926
479.88/478.12	v x4927 x4928 x4929 x4930 x4931 x4942 x4945 x4948 x4950 x4953 x4955 x4956 x4977 x4980 x4981 x4986 x4991 x4996 x5002 x5005 x5006
479.88/478.12	v x5011 x5018 x5025 x5028 x5031 x5033 x5034 x5040 x5043 x5044 x5049 x5060 x5063 x5064 x5065 x5066 x5067 x5068 x5072 x5073 x5077
479.88/478.12	v x5078 x5081 x5083 x5086 x5088 x5092 x5093 x5097 x5098 x5102 x5103 x5107 x5108 x5111 x5113 x5117 x5118 x5119 x5124 x5134 x5139
479.88/478.12	v x5145 x5148 x5151 x5153 x5154 x5160 x5163 x5164 x5165 x5166 x5167 x5168 x5178 x5180 x5182 x5184 x5191 x5193 x5198 x5207 x5208
479.88/478.12	v x5213 x5215 x5217 x5220 x5221 x5224 x5228 x5239 x5240 x5242 x5244 x5245 x5246 x5247 x5248 x5249 x5252 x5253 x5255 x5256 x5257
479.88/478.12	v x5260 x5262 x5288 x5293 x5303 x5313 x5319 x5322 x5325 x5327 x5330 x5332 x5333 x5334 x5335 x5336 x5337 x5338 x5339 x5340 x5341
479.88/478.12	v x5342 x5343 x5354 x5357 x5358 x5359 x5360 x5361 x5362 x5363 x5369 x5372 x5375 x5377 x5380 x5382 x5383 x5388 x5394 x5397 x5401
479.88/478.12	v x5402 x5403 x5404 x5405 x5406 x5407 x5411 x5412 x5416 x5417 x5418 x5420 x5421 x5432 x5435 x5439 x5440 x5443 x5445 x5446 x5451
479.88/478.12	v x5456 x5466 x5471 x5476 x5482 x5485 x5489 x5490 x5493 x5495 x5498 x5500 x5501 x5502 x5503 x5504 x5505 x5508 x5510 x5513 x5515
479.88/478.12	v x5518 x5520 x5523 x5525 x5528 x5530 x5531 x5532 x5533 x5534 x5535 x5538 x5540 x5541 x5542 x5543 x5544 x5545 x5546 x5552 x5555
479.88/478.12	v x5559 x5560 x5563 x5565 x5566 x5567 x5568 x5569 x5570 x5571 x5574 x5579 x5594 x5599 x5604 x5610 x5613 x5617 x5618 x5619 x5620
479.88/478.12	v x5621 x5622 x5623 x5624 x5640 x5643 x5646 x5648 x5649 x5650 x5651 x5652 x5653 x5657 x5658 x5662 x5663 x5666 x5668 x5669 x5670
479.88/478.12	v x5671 x5672 x5673 x5677 x5678 x5679 x5684 x5690 x5693 x5696 x5698 x5699 x5704 x5710 x5713 x5714 x5726 x5728 x5731 x5734 x5736
479.88/478.12	v x5737 x5747 x5753 x5756 x5757 x5758 x5759 x5760 x5761 x5765 x5766 x5767 x5773 x5776 x5777 x5778 x5779 x5780 x5781 x5785 x5786
479.88/478.12	v x5787 x5802 x5807 x5822 x5832 x5838 x5841 x5842 x5847 x5853 x5856 x5859 x5861 x5862 x5867 x5872 x5877 x5888 x5890 x5892 x5899
479.88/478.12	v x5901 x5906 x5909 x5915 x5918 x5921 x5923 x5925 x5928 x5929 x5932 x5936 x5947 x5950 x5952 x5953 x5954 x5955 x5956 x5957 x5960
479.88/478.12	v x5961 x5963 x5964 x5965 x5968 x5970 x5973 x5976 x5996 x6001 x6011 x6021 x6027 x6030 x6033 x6035 x6038 x6040 x6041 x6042 x6043
479.88/478.12	v x6044 x6045 x6046 x6047 x6048 x6049 x6050 x6051 x6062 x6065 x6066 x6067 x6068 x6069 x6070 x6071 x6077 x6080 x6083 x6085 x6088
479.88/478.12	v x6090 x6091 x6096 x6102 x6105 x6109 x6110 x6111 x6112 x6113 x6114 x6115 x6119 x6120 x6124 x6125 x6126 x6128 x6129 x6140 x6143
479.88/478.12	v x6147 x6148 x6151 x6153 x6154 x6159 x6164 x6169 x6180 x6183 x6184 x6185 x6186 x6187 x6188 x6192 x6193 x6197 x6198 x6201 x6203
479.88/478.12	v x6204 x6209 x6239 x6249 x6254 x6260 x6263 x6267 x6268 x6271 x6273 x6274 x6275 x6276 x6277 x6278 x6279 x6283 x6286 x6290 x6291
479.88/478.12	v x6292 x6302 x6307 x6312 x6318 x6321 x6325 x6326 x6327 x6328 x6329 x6330 x6331 x6332 x6348 x6351 x6354 x6356 x6357 x6358 x6359
479.88/478.12	v x6360 x6361 x6365 x6366 x6370 x6371 x6374 x6376 x6377 x6378 x6379 x6380 x6381 x6385 x6386 x6387 x6392 x6398 x6401 x6404 x6406
479.88/478.12	v x6407 x6412 x6418 x6421 x6422 x6434 x6435 x6445 x6455 x6461 x6464 x6465 x6466 x6467 x6468 x6469 x6473 x6474 x6478 x6479 x6482
479.88/478.12	v x6484 x6487 x6489 x6493 x6494 x6495 x6511 x6514 x6518 x6519 x6520 x6530 x6540 x6546 x6549 x6550 x6555 x6561 x6564 x6567 x6569
479.88/478.12	v x6570 x6575 x6580 x6585 x6592 x6595 x6607 x6612 x6613 x6618 x6623 x6629 x6631 x6633 x6634 x6635 x6638 x6642 x6646 x6650 x6655
479.88/478.12	v x6656 x6659 x6661 x6663 x6665 x6666 x6667 x6670 x6671 x6674 x6676 x6677 x6678 x6683 x6699 x6705 x6708 x6709 x6710 x6711 x6712
479.88/478.12	v x6713 x6714 x6725 x6728 x6732 x6733 x6736 x6738 x6739 x6744 x6749 x6754 x6759 x6765 x6768 x6769 x6774 x6780 x6783 x6784 x6785
479.88/478.12	v x6786 x6787 x6788 x6792 x6793 x6797 x6798 x6799 x6800 x6801 x6802 x6803 x6804 x6810 x6813 x6816 x6818 x6819 x6820 x6821 x6822
479.88/478.12	v x6823 x6824 x6836 x6837 x6842 x6848 x6851 x6852 x6853 x6854 x6855 x6856 x6859 x6861 x6862 x6867 x6873 x6876 x6877 x6882 x6887
479.88/478.12	v x6893 x6896 x6900 x6901 x6902 x6903 x6904 x6905 x6906 x6907 x6912 x6917 x6922 x6937 x6942 x6947 x6958 x6961 x6962 x6968 x6971
479.88/478.12	v x6975 x6976 x6979 x6981 x6982 x6983 x6984 x6985 x6986 x6987 x6989 x6995 x7005 x7010 x7015 x7020 x7025 x7035 x7040 x7046 x7049
479.88/478.12	v x7050 x7051 x7052 x7053 x7054 x7055 x7056 x7057 x7058 x7059 x7060 x7061 x7062 x7063 x7064 x7067 x7069 x7073 x7074 x7077 x7079
479.88/478.12	v x7082 x7084 x7085 x7091 x7094 x7098 x7099 x7103 x7104 x7107 x7109 x7112 x7114 x7115 x7126 x7129 x7130 x7131 x7132 x7133 x7134
479.88/478.12	v x7135 x7140 x7141 x7146 x7147 x7148 x7149 x7150 x7151 x7152 x7153 x7159 x7162 x7165 x7167 x7168 x7169 x7170 x7171 x7172 x7173
479.88/478.12	v x7174 x7175 x7176 x7177 x7180 x7182 x7186 x7187 x7188 x7189 x7190 x7191 x7192 x7193 x7194 x7195 x7196 x7197 x7198 x7203 x7209
479.88/478.12	v x7212 x7213 x7214 x7215 x7216 x7217 x7221 x7222 x7226 x7227 x7231 x7232 x7233 x7238 x7243 x7248 x7253 x7269 x7272 x7273 x7283
479.88/478.12	v x7289 x7292 x7293 x7299 x7302 x7303 x7305 x7307 x7308 x7309 x7312 x7313 x7314 x7320 x7321 x7326 x7332 x7350 x7354 x7358 x7363
479.88/478.12	v x7364 x7366 x7367 x7369 x7371 x7372 x7373 x7376 x7377 x7378 x7382 x7384 x7385 x7386 x7391 x7407 x7413 x7416 x7419 x7421 x7422
479.88/478.12	v x7427 x7433 x7436 x7440 x7441 x7444 x7446 x7447 x7452 x7458 x7461 x7464 x7466 x7467 x7472 x7477 x7483 x7486 x7487 x7488 x7489
479.88/478.12	v x7490 x7491 x7495 x7496 x7500 x7501 x7505 x7506 x7507 x7508 x7509 x7510 x7511 x7512 x7518 x7521 x7524 x7526 x7527 x7528 x7529
479.88/478.12	v x7530 x7531 x7532 x7544 x7545 x7550 x7556 x7559 x7560 x7561 x7562 x7563 x7564 x7567 x7569 x7572 x7574 x7578 x7579 x7580 x7581
479.88/478.12	v x7582 x7583 x7584 x7585 x7590 x7595 x7601 x7604 x7608 x7609 x7613 x7614 x7615 x7625 x7630 x7656 x7659 x7660 x7666 x7669 x7670
479.88/478.12	v x7676 x7679 x7683 x7684 x7687 x7689 x7690 x7691 x7692 x7693 x7694 x7695 x7697 x7703 x7713 x7718 x7728 x7734 x7737 x7738 x7743
479.88/478.12	v x7748 x7754 x7757 x7758 x7759 x7760 x7761 x7762 x7766 x7767 x7771 x7772 x7775 x7777 x7778 x7779 x7780 x7781 x7782 x7785 x7787
479.88/478.12	v x7788 x7793 x7798 x7803 x7808 x7813 x7818 x7834 x7837 x7838 x7839 x7840 x7841 x7842 x7843 x7848 x7849 x7854 x7855 x7856 x7857
479.88/478.12	v x7858 x7859 x7860 x7861 x7867 x7870 x7873 x7875 x7876 x7881 x7886 x7892 x7895 x7896 x7897 x7898 x7899 x7900 x7901 x7902 x7903
479.88/478.12	v x7904 x7905 x7906 x7911 x7921 x7932 x7935 x7939 x7940 x7943 x7945 x7948 x7950 x7953 x7955 x7958 x7960 x7963 x7965 x7966 x7967
479.88/478.12	v x7968 x7969 x7970 x7973 x7975 x7979 x7980 x7981 x7991 x7997 x8000 x8001 x8006 x8017 x8029 x8037 x8043 x8045 x8047 x8050 x8051
479.88/478.12	v x8054 x8056 x8062 x8064 x8069 x8070 x8075 x8077 x8079 x8081 x8082 x8083 x8086 x8088 x8093 x8094 x8096 x8099 x8100 x8110 x8115
479.88/478.12	v x8125 x8130 x8135 x8141 x8144 x8145 x8150 x8155 x8161 x8164 x8168 x8169 x8172 x8174 x8177 x8179 x8180 x8181 x8182 x8183 x8184
479.88/478.12	v x8188 x8189 x8193 x8194 x8195 x8196 x8197 x8198 x8199 x8200 x8205 x8220 x8225 x8231 x8234 x8237 x8239 x8243 x8244 x8247 x8249
479.88/478.12	v x8250 x8251 x8253 x8258 x8263 x8269 x8272 x8273 x8284 x8287 x8288 x8289 x8290 x8291 x8292 x8293 x8304 x8307 x8308 x8309 x8310
479.88/478.12	v x8311 x8312 x8316 x8317 x8321 x8322 x8325 x8327 x8330 x8332 x8333 x8334 x8335 x8336 x8337 x8340 x8342 x8343 x8348 x8363 x8368
479.88/478.12	v x8374 x8377 x8380 x8382 x8383 x8384 x8385 x8386 x8387 x8388 x8389 x8390 x8391 x8392 x8393 x8398 x8405 x8406 x8416 x8421 x8426
479.88/478.12	v x8432 x8435 x8438 x8440 x8441 x8442 x8443 x8444 x8445 x8449 x8450 x8451 x8452 x8453 x8454 x8455 x8456 x8457 x8458 x8459 x8460
479.88/478.12	v x8463 x8465 x8469 x8470 x8474 x8475 x8479 x8480 x8481 x8486 x8491 x8496 x8502 x8505 x8506 x8507 x8508 x8509 x8510 x8511 x8512
479.88/478.12	v x8513 x8514 x8515 x8516 x8527 x8530 x8531 x8532 x8533 x8534 x8535 x8539 x8540 x8541 x8556 x8558 x8560 x8563 x8567 x8568 x8569
479.88/478.12	v x8570 x8571 x8572 x8573 x8576 x8578 x8579 x8580 x8581 x8582 x8583 x8584 x8595 x8598 x8602 x8603 x8606 x8608 x8611 x8613 x8617
479.88/478.12	v x8618 x8619 x8634 x8640 x8643 x8646 x8648 x8649 x8650 x8651 x8652 x8653 x8657 x8658 x8661 x8663 x8666 x8668 x8669 x8670 x8671
479.88/478.12	v x8672 x8673 x8677 x8678 x8679 x8684 x8689 x8695 x8698 x8702 x8703 x8707 x8708 x8716 x8719 x8721 x8725 x8726 x8727 x8737 x8747
479.88/478.12	v x8762 x8764 x8770 x8772 x8779 x8780 x8783 x8785 x8789 x8790 x8791 x8794 x8796 x8801 x8802 x8804 x8807 x8808 x8828 x8833 x8838
479.88/478.12	v x8843 x8849 x8852 x8853 x8858 x8863 x8868 x8873 x8878 x8883 x8889 x8892 x8896 x8897 x8901 x8902 x8903 x8904 x8905 x8906 x8907
479.88/478.12	v x8908 x8913 x8928 x8933 x8939 x8942 x8945 x8947 x8951 x8952 x8955 x8957 x8958 x8959 x8961 x8966 x8971 x8977 x8980 x8981 x8992
479.88/478.12	v x8995 x8996 x8997 x8998 x8999 x9000 x9001 x9012 x9015 x9016 x9017 x9018 x9019 x9020 x9021 x9022 x9023 x9024 x9025 x9029 x9030
479.88/478.12	v x9033 x9035 x9038 x9040 x9041 x9042 x9043 x9044 x9045 x9048 x9050 x9051 x9056 x9071 x9081 x9091 x9096 x9101 x9106 x9113 x9114
479.88/478.12	v x9135 x9138 x9139 x9140 x9141 x9142 x9143 x9146 x9148 x9149 x9150 x9151 x9152 x9153 x9157 x9158 x9159 x9160 x9161 x9162 x9163
479.88/478.12	v x9164 x9165 x9166 x9167 x9168 x9171 x9173 x9174 x9175 x9176 x9177 x9178 x9179 x9180 x9181 x9182 x9183 x9184 x9185 x9186 x9187
479.88/478.12	v x9188 x9191 x9193 x9194 x9199 x9204 x9210 x9213 x9214 x9215 x9216 x9217 x9218 x9219 x9220 x9221 x9222 x9223 x9224 x9235 x9238
479.88/478.12	v x9239 x9240 x9241 x9242 x9243 x9247 x9248 x9249 x9264 x9266 x9268 x9271 x9275 x9276 x9280 x9281 x9282 x9287 x9292 x9303 x9306
479.88/478.12	v x9310 x9311 x9314 x9316 x9319 x9321 x9325 x9326 x9327 x9328 x9329 x9330 x9331 x9334 x9336 x9339 x9341 x9342 x9348 x9351 x9354
479.88/478.12	v x9356 x9357 x9358 x9359 x9360 x9361 x9365 x9366 x9369 x9371 x9374 x9376 x9377 x9378 x9379 x9380 x9381 x9382 x9387 x9392 x9397
479.88/478.12	v x9403 x9406 x9410 x9411 x9415 x9416 x9426 x9427 x9432 x9434 x9435 x9436 x9444 x9446 x9448 x9453 x9457 x9461 x9465 x9470 x9472
479.88/478.12	v x9473 x9477 x9479 x9485 x9489 x9490 x9491 x9493 x9496 x9497 x9498 x9499 x9500 x9502 x9504 x9505 x9508 x9509 x9510 x9511 x9512
479.88/478.12	v x9515 x9521 x9527 x9530 x9531 x9547 x9550 x9553 x9555 x9558 x9560 x9564 x9565 x9566 x9567 x9568 x9569 x9570 x9574 x9575 x9576
479.88/478.12	v x9582 x9585 x9588 x9590 x9593 x9595 x9598 x9600 x9601 x9602 x9603 x9604 x9605 x9609 x9610 x9613 x9615 x9616 x9622 x9625 x9626
479.88/478.12	v x9627 x9628 x9629 x9630 x9631 x9636 x9642 x9645 x9646 x9647 x9648 x9649 x9650 x9653 x9655 x9656 x9657 x9658 x9659 x9660 x9663
479.88/478.12	v x9665 x9667 x9669 x9679 x9684 x9689 x9699 x9705 x9708 x9709 x9714 x9720 x9723 x9727 x9728 x9732 x9733 x9737 x9738 x9739 x9749
479.88/478.12	v x9754 x9769 x9779 x9784 x9789 x9799 x9805 x9808 x9809 x9815 x9818 x9820 x9822 x9827 x9832 x9838 x9841 x9845 x9846 x9847 x9862
479.88/478.12	v x9873 x9876 x9877 x9883 x9886 x9887 x9892 x9897 x9902 x9907 x9917 x9922 x9932 x9938 x9941 x9944 x9946 x9947 x9953 x9956 x9960
479.88/478.12	v x9961 x9962 x9963 x9964 x9965 x9966 x9967 x9972 x9976 x9979 x9982 x9984 x9985 x9986 x9987 x9988 x9989 x9993 x9994 x9998 x9999
479.88/478.12	v x10002 x10004 x10008 x10009 x10010 x10016 x10019 x10023 x10024 x10025 x10030 x10040 x10046 x10049 x10052 x10054 x10055
479.88/478.12	v x10056 x10057 x10058 x10059 x10060 x10061 x10062 x10063 x10064 x10065 x10070 x10076 x10079 x10080 x10086 x10089 x10093
479.88/478.12	v x10094 x10098 x10099 x10102 x10104 x10108 x10109 x10110 x10116 x10119 x10122 x10124 x10130 x10131 x10145 x10146 x10148
479.88/478.12	v x10149 x10152 x10154 x10156 x10161 x10169 x10185 x10187 x10189 x10193 x10194 x10195 x10201 x10209 x10210 x10212 x10213
479.88/478.12	v x10216 x10217 x10218 x10219 x10220 x10221 x10223 x10224 x10229 x10235 x10238 x10241 x10243 x10246 x10248 x10252 x10253
479.88/478.12	v x10257 x10258 x10259 x10269 x10275 x10278 x10282 x10283 x10284 x10289 x10309 x10315 x10318 x10321 x10323 x10324 x10330
479.88/478.12	v x10333 x10334 x10335 x10336 x10337 x10338 x10339 x10344 x10350 x10353 x10354 x10355 x10356 x10357 x10358 x10361 x10363
479.88/478.12	v x10364 x10365 x10366 x10367 x10368 x10371 x10373 x10374 x10375 x10377 x10387 x10392 x10397 x10407 x10412 x10417 x10422
479.88/478.12	v x10428 x10431 x10435 x10436 x10440 x10441 x10445 x10446 x10447 x10457 x10462 x10477 x10487 x10492 x10497 x10507 x10513
479.88/478.12	v x10516 x10519 x10521 x10522 x10523 x10524 x10525 x10526 x10528 x10532 x10534 x10537 x10539 x10543 x10544 x10545 x10555
479.88/478.12	v x10565 x10570 x10575 x10580 x10591 x10594 x10597 x10599 x10603 x10604 x10608 x10609 x10613 x10614 x10617 x10619 x10620
479.88/478.12	v x10625 x10630 x10640 x10646 x10649 x10652 x10654 x10655 x10661 x10664 x10668 x10669 x10672 x10674 x10675 x10680 x10683
479.88/478.12	v x10693 x10699 x10702 x10706 x10707 x10710 x10712 x10716 x10717 x10718 x10719 x10720 x10721 x10722 x10723 x10724 x10725
479.88/478.12	v x10726 x10727 x10728 x10729 x10730 x10731 x10732 x10735 x10737 x10738 x10753 x10763 x10768 x10773 x10778 x10784 x10787
479.88/478.12	v x10788 x10794 x10797 x10801 x10802 x10806 x10807 x10810 x10812 x10816 x10817 x10818 x10829 x10832 x10835 x10841 x10843
479.88/478.12	v x10845 x10848 x10849 x10852 x10854 x10856 x10862 x10863 x10864 x10866 x10871 x10879 x10885 x10891 x10893 x10898 x10899
479.88/478.12	v x10903 x10905 x10907 x10909 x10911 x10912 x10913 x10916 x10917 x10918 x10920 x10923 x10925 x10926 x10927 x10928 x10930
479.88/478.12	v x10932 x10933 x10934 x10935 x10936 x10940 x10941 x10945 x10946 x10947 x10952 x10963 x10966 x10970 x10971 x10972 x10973
479.88/478.12	v x10974 x10975 x10976 x10980 x10981 x10984 x10986 x10987 x10992 x10998 x11001 x11002 x11003 x11004 x11005 x11006 x11007
479.88/478.12	v x11018 x11021 x11022 x11023 x11024 x11025 x11026 x11027 x11028 x11029 x11030 x11031 x11032 x11038 x11041 x11045 x11046
479.88/478.12	v x11050 x11051 x11054 x11056 x11060 x11061 x11062 x11063 x11064 x11065 x11066 x11069 x11071 x11074 x11076 x11079 x11081
479.88/478.12	v x11082 x11084 x11085 x11095 x11100 x11115 x11121 x11124 x11125 x11135 x11140 x11146 x11149 x11153 x11154 x11155 x11160
479.88/478.12	v x11166 x11169 x11170 x11175 x11190 x11196 x11199 x11202 x11204 x11205 x11206 x11207 x11208 x11209 x11210 x11216 x11219
479.88/478.12	v x11223 x11224 x11225 x11230 x11238 x11248 x11253 x11258 x11263 x11273 x11279 x11282 x11286 x11287 x11291 x11292 x11293
479.88/478.12	v x11294 x11295 x11296 x11297 x11298 x11299 x11300 x11301 x11302 x11306 x11307 x11308 x11309 x11310 x11311 x11312 x11313
479.88/478.12	v x11314 x11315 x11316 x11317 x11321 x11322 x11326 x11327 x11330 x11332 x11333 x11334 x11335 x11336 x11337 x11340 x11342
479.88/478.12	v x11346 x11347 x11351 x11352 x11353 x11363 x11368 x11373 x11383 x11388 x11390 x11392 x11395 x11396 x11402 x11405 x11406
479.88/478.12	v x11407 x11408 x11409 x11410 x11413 x11415 x11418 x11420 x11424 x11425 x11428 x11430 x11434 x11435 x11436 x11441 x11447
479.88/478.12	v x11450 x11453 x11455 x11456 x11462 x11465 x11466 x11467 x11468 x11469 x11470 x11471 x11476 x11481 x11486 x11496 x11506
479.88/478.12	v x11511 x11517 x11520 x11523 x11525 x11528 x11530 x11534 x11535 x11536 x11537 x11538 x11539 x11540 x11543 x11545 x11553
479.88/478.12	v x11560 x11562 x11564 x11570 x11571 x11572 x11573 x11574 x11578 x11579 x11580 x11587 x11599 x11601 x11606 x11607 x11609
479.88/478.12	v x11610 x11611 x11612 x11617 x11619 x11624 x11626 x11628 x11631 x11633 x11634 x11635 x11636 x11637 x11638 x11642 x11644
479.88/478.12	v x11648 x11649 x11650 x11651 x11652 x11653 x11654 x11657 x11659 x11662 x11664 x11667 x11669 x11673 x11674 x11678 x11679
479.88/478.12	v x11683 x11684 x11688 x11689 x11692 x11694 x11695 x11700 x11705 x11710 x11726 x11729 x11733 x11734 x11735 x11736 x11737
479.88/478.12	v x11738 x11739 x11740 x11746 x11749 x11753 x11754 x11758 x11759 x11762 x11764 x11768 x11769 x11770 x11771 x11772 x11773
479.88/478.12	v x11774 x11777 x11779 x11782 x11784 x11787 x11789 x11790 x11792 x11793 x11803 x11808 x11818 x11823 x11829 x11832 x11833
479.88/478.12	v x11843 x11848 x11854 x11857 x11858 x11859 x11860 x11861 x11862 x11865 x11867 x11868 x11874 x11877 x11878 x11888 x11898
479.88/478.12	v x11904 x11907 x11910 x11912 x11913 x11914 x11915 x11916 x11917 x11918 x11924 x11927 x11931 x11932 x11933 x11938 x11951
479.88/478.12	v x11956 x11961 x11966 x11981 x12001 x12006 x12011 x12016 x12036 x12042 x12045 x12048 x12050 x12054 x12055 x12059 x12060
479.88/478.12	v x12061 x12071 x12076 x12081 x12091 x12096 x12098 x12099 x12104 x12110 x12113 x12114 x12115 x12116 x12117 x12118 x12121
479.88/478.12	v x12123 x12127 x12128 x12132 x12133 x12136 x12138 x12142 x12143 x12144 x12149 x12155 x12158 x12161 x12163 x12164 x12165
479.88/478.12	v x12166 x12167 x12168 x12171 x12173 x12177 x12178 x12179 x12184 x12189 x12194 x12204 x12214 x12219 x12225 x12228 x12231
479.88/478.12	v x12233 x12236 x12238 x12242 x12243 x12244 x12245 x12246 x12247 x12248 x12250 x12251 x12254 x12255 x12259 x12260 x12263
479.88/478.12	v x12271 x12275 x12277 x12279 x12285 x12293 x12296 x12299 x12314 x12315 x12317 x12318 x12319 x12323 x12324 x12325 x12327
479.88/478.12	v x12328 x12331 x12335 x12339 x12341 x12343 x12347 x12348 x12353 x12358 x12364 x12367 x12368 x12369 x12370 x12371 x12372
479.88/478.12	v x12376 x12377 x12378 x12389 x12392 x12393 x12394 x12395 x12396 x12397 x12398 x12399 x12400 x12401 x12402 x12403 x12408
479.88/478.12	v x12414 x12417 x12421 x12422 x12423 x12428 x12433 x12438 x12443 x12448 x12453 x12468 x12479 x12482 x12486 x12487 x12490
479.88/478.12	v x12492 x12493 x12498 x12500 x12512 x12515 x12519 x12520 x12523 x12525 x12526 x12532 x12535 x12539 x12540 x12543 x12545
479.88/478.12	v x12546 x12551 x12556 x12561 x12566 x12571 x12576 x12581 x12591 x12601 x12606 x12612 x12615 x12618 x12620 x12621 x12622
479.88/478.12	v x12623 x12624 x12625 x12626 x12632 x12635 x12639 x12640 x12643 x12645 x12646 x12647 x12648 x12649 x12650 x12651 x12653
479.88/478.12	v x12655 x12658 x12661 x12663 x12664 x12665 x12666 x12667 x12668 x12669 x12675 x12678 x12679 x12685 x12688 x12689 x12694
479.88/478.12	v x12699 x12705 x12708 x12711 x12713 x12716 x12718 x12722 x12723 x12727 x12728 x12731 x12733 x12736 x12738 x12739 x12740
479.88/478.12	v x12741 x12742 x12743 x12746 x12748 x12749 x12750 x12751 x12752 x12753 x12756 x12758 x12759 x12760 x12761 x12762 x12763
479.88/478.12	v x12767 x12768 x12769 x12774 x12779 x12784 x12789 x12794 x12800 x12803 x12805 x12807 x12817 x12822 x12833 x12836 x12837
479.88/478.12	v x12842 x12847 x12853 x12856 x12860 x12861 x12865 x12866 x12870 x12871 x12875 x12876 x12880 x12881 x12885 x12886 x12890
479.88/478.12	v x12891 x12894 x12896 x12900 x12901 x12904 x12906 x12910 x12911 x12912 x12913 x12914 x12915 x12916 x12917 x12922 x12928
479.88/478.12	v x12931 x12932 x12933 x12934 x12935 x12936 x12939 x12941 x12944 x12946 x12949 x12951 x12955 x12956 x12958 x12962 x12963
479.88/478.12	v x12964 x12969 x12971 x12983 x12985 x12987 x12993 x13007 x13012 x13022 x13025 x13026 x13027 x13028 x13033 x13035 x13039
479.88/478.12	v x13044 x13047 x13049 x13051 x13055 x13056 x13061 x13066 x13072 x13075 x13076 x13077 x13078 x13079 x13080 x13081 x13082
479.88/478.12	v x13083 x13084 x13085 x13086 x13096 x13101 x13107 x13110 x13111 x13116 x13121 x13126 x13136 x13141 x13146 x13151 x13162
479.88/478.12	v x13165 x13166 x13176 x13187 x13190 x13194 x13195 x13198 x13200 x13201 x13208 x13220 x13223 x13227 x13228 x13231 x13233
479.88/478.12	v x13236 x13238 x13239 x13240 x13241 x13242 x13243 x13247 x13248 x13251 x13253 x13254 x13259 x13264 x13269 x13274 x13279
479.88/478.12	v x13284 x13289 x13299 x13314 x13320 x13323 x13326 x13328 x13329 x13330 x13331 x13332 x13333 x13334 x13340 x13343 x13347
479.88/478.12	v x13348 x13351 x13353 x13354 x13355 x13356 x13357 x13358 x13359 x13361 x13363 x13366 x13369 x13371 x13372 x13373 x13374
479.88/478.12	v x13375 x13376 x13377 x13383 x13386 x13389 x13391 x13394 x13396 x13397 x13402 x13407 x13412 x13417 x13422 x13427 x13432
479.88/478.12	v x13437 x13442 x13448 x13451 x13454 x13456 x13457 x13458 x13459 x13460 x13461 x13462 x13467 x13473 x13476 x13477 x13482
479.88/478.12	v x13487 x13492 x13497 x13502 x13508 x13511 x13513 x13515 x13525 x13530 x13545 x13550 x13555 x13561 x13564 x13565 x13566
479.88/478.12	v x13567 x13568 x13569 x13570 x13571 x13572 x13573 x13574 x13575 x13576 x13577 x13578 x13579 x13580 x13581 x13582 x13583
479.88/478.12	v x13584 x13585 x13586 x13587 x13588 x13589 x13590 x13591 x13592 x13593 x13594 x13595 x13596 x13597 x13598 x13599 x13600
479.88/478.12	v x13605 x13610 x13615 x13621 x13624 x13625 x13630 x13636 x13639 x13640 x13641 x13642 x13643 x13644 x13647 x13649 x13652
479.88/478.12	v x13654 x13657 x13659 x13663 x13664 x13667 x13669 x13687 x13689 x13708 x13714 x13715 x13716 x13718 x13731 x13733 x13740
479.88/478.12	v x13746 x13747 x13748 x13750 x13751 x13753 x13763 x13764 x13769 x13775 x13778 x13782 x13783 x13784 x13789 x13794 x13799
479.88/478.12	v x13804 x13809 x13819 x13839 x13844 x13849 x13854 x13859 x13864 x13869 x13874 x13879 x13894 x13904 x13909 x13916 x13927
479.88/478.12	v x13932 x13942 x13947 x13953 x13956 x13959 x13961 x13962 x13967 x13973 x13976 x13977 x13978 x13979 x13980 x13981 x13982
479.88/478.12	v x13983 x13984 x13985 x13986 x13987 x13997 x14027 x14037 x14048 x14051 x14052 x14053 x14054 x14055 x14056 x14059 x14061
479.88/478.12	v x14065 x14066 x14068 x14070 x14071 x14072 x14073 x14074 x14077 x14079 x14080 x14085 x14091 x14094 x14097 x14099 x14102
479.88/478.12	v x14104 x14105 x14106 x14107 x14108 x14109 x14110 x14111 x14112 x14113 x14114 x14115 x14116 x14117 x14118 x14119 x14123
479.88/478.12	v x14124 x14127 x14129 x14133 x14134 x14135 x14145 x14151 x14154 x14155 x14156 x14157 x14158 x14159 x14160 x14161 x14162
479.88/478.12	v x14163 x14164 x14165 x14166 x14167 x14168 x14169 x14170 x14171 x14172 x14173 x14174 x14177 x14179 x14182 x14184 x14187
479.88/478.12	v x14189 x14193 x14194 x14195 x14201 x14204 x14205 x14211 x14214 x14217 x14219 x14220 x14222 x14223 x14234 x14237 x14238
479.88/478.12	v x14239 x14240 x14241 x14242 x14243 x14248 x14253 x14258 x14263 x14269 x14272 x14276 x14277 x14278 x14283 x14289 x14292
479.88/478.12	v x14296 x14297 x14300 x14302 x14306 x14307 x14310 x14312 x14315 x14317 x14320 x14322 x14325 x14327 x14328 x14333 x14343
479.88/478.12	v x14348 x14359 x14362 x14363 x14373 x14377 x14395 x14397 x14407 x14416 x14423 x14424 x14426 x14439 x14441 x14448 x14455
479.88/478.12	v x14456 x14458 x14459 x14461 x14471 x14472 x14477 x14483 x14486 x14490 x14491 x14492 x14502 x14507 x14512 x14517 x14527
479.88/478.12	v x14552 x14557 x14562 x14567 x14572 x14577 x14582 x14587 x14602 x14612 x14617 x14624 x14635 x14640 x14650 x14655 x14661
479.88/478.12	v x14664 x14667 x14669 x14670 x14675 x14681 x14684 x14685 x14686 x14687 x14688 x14689 x14690 x14691 x14692 x14693 x14694
479.88/478.12	v x14695 x14700 x14706 x14709 x14712 x14714 x14717 x14719 x14722 x14724 x14727 x14729 x14732 x14734 x14735 x14736 x14737
479.88/478.12	v x14738 x14739 x14742 x14744 x14745 x14746 x14747 x14748 x14749 x14752 x14754 x14758 x14759 x14760 x14761 x14762 x14763
479.88/478.12	v x14764 x14767 x14769 x14773 x14774 x14776 x14778 x14779 x14780 x14781 x14782 x14785 x14787 x14788 x14793 x14799 x14802
479.88/478.12	v x14806 x14807 x14810 x14812 x14813 x14814 x14815 x14816 x14817 x14818 x14819 x14820 x14821 x14822 x14823 x14824 x14825
479.88/478.12	v x14826 x14827 x14831 x14832 x14835 x14837 x14841 x14842 x14843 x14858 x14863 x14868 x14873 x14878 x14884 x14887 x14890
479.88/478.12	v x14892 x14895 x14897 x14901 x14902 x14903 x14909 x14912 x14913 x14919 x14922 x14925 x14927 x14928 x14930 x14931 x14942
479.88/478.12	v x14945 x14946 x14947 x14948 x14949 x14950 x14951 x14956 x14961 x14966 x14971 x14977 x14980 x14984 x14985 x14986 x14991
479.88/478.12	v x14997 x15000 x15004 x15005 x15009 x15010 x15013 x15015 x15018 x15020 x15023 x15025 x15028 x15030 x15033 x15035 x15036
479.88/478.12	v x15041 x15051 x15056 x15067 x15070 x15071 x15081 x15088 x15092 x15094 x15097 x15098 x15099 x15100 x15102 x15122 x15123
479.88/478.12	v x15136 x15137 x15152 x15154 x15155 x15156 x15158 x15161 x15162 x15163 x15164 x15166 x15168 x15169 x15180 x15185 x15205
479.88/478.12	v x15216 x15219 x15220 x15221 x15222 x15223 x15224 x15225 x15226 x15227 x15228 x15229 x15230 x15235 x15240 x15250 x15256
479.88/478.12	v x15259 x15262 x15264 x15265 x15266 x15267 x15268 x15269 x15273 x15274 x15275 x15276 x15277 x15278 x15279 x15280 x15285
479.88/478.12	v x15291 x15294 x15298 x15299 x15300 x15310 x15320 x15332 x15338 x15343 x15349 x15352 x15355 x15357 x15360 x15362 x15366
479.88/478.12	v x15367 x15371 x15372 x15375 x15377 x15380 x15382 x15383 x15384 x15385 x15386 x15387 x15388 x15389 x15390 x15391 x15392
479.88/478.12	v x15393 x15394 x15395 x15396 x15397 x15398 x15399 x15400 x15401 x15402 x15403 x15414 x15417 x15420 x15422 x15423 x15443
479.88/478.12	v x15453 x15464 x15467 x15468 x15469 x15470 x15471 x15472 x15473 x15479 x15482 x15487 x15490 x15493 x15495 x15499 x15500
479.88/478.12	v x15504 x15505 x15506 x15511 x15526 x15531 x15537 x15540 x15543 x15545 x15548 x15550 x15554 x15555 x15558 x15560 x15561
479.88/478.12	v x15566 x15571 x15581 x15587 x15590 x15593 x15595 x15599 x15600 x15604 x15605 x15606 x15607 x15608 x15609 x15610 x15611
479.88/478.12	v x15616 x15626 x15631 x15638 x15644 x15649 x15659 x15664 x15679 x15684 x15689 x15694 x15699 x15704 x15709 x15714 x15719
479.88/478.12	v x15724 x15729 x15734 x15749 x15760 x15763 x15766 x15768 x15771 x15773 x15777 x15778 x15779 x15780 x15781 x15782 x15783
479.88/478.12	v x15786 x15788 x15789 x15796 x15800 x15821 x15830 x15831 x15834 x15837 x15838 x15839 x15840 x15842 x15845 x15860 x15862
479.88/478.12	v x15863 x15864 x15866 x15869 x15870 x15871 x15872 x15874 x15877 x15885 x15888 x15893 x15913 x15924 x15927 x15928 x15929
479.88/478.12	v x15930 x15931 x15932 x15933 x15934 x15935 x15936 x15937 x15938 x15943 x15948 x15958 x15964 x15967 x15970 x15972 x15973
479.88/478.12	v x15974 x15975 x15976 x15977 x15981 x15982 x15983 x15984 x15985 x15986 x15987 x15988 x15999 x16002 x16006 x16007 x16008
479.88/478.12	v x16018 x16028 x16040 x16046 x16051 x16057 x16060 x16063 x16065 x16068 x16070 x16074 x16075 x16079 x16080 x16083 x16085
479.88/478.12	v x16088 x16090 x16091 x16092 x16093 x16094 x16095 x16096 x16097 x16098 x16099 x16100 x16101 x16102 x16103 x16104 x16105
479.88/478.12	v x16106 x16107 x16108 x16109 x16110 x16111 x16122 x16125 x16128 x16130 x16131 x16151 x16161 x16172 x16175 x16176 x16177
479.88/478.12	v x16178 x16179 x16180 x16181 x16187 x16190 x16194 x16200 x16203 x16207 x16208 x16212 x16213 x16214 x16219 x16234 x16239
479.88/478.12	v x16245 x16248 x16251 x16253 x16256 x16258 x16262 x16263 x16266 x16268 x16269 x16274 x16279 x16289 x16295 x16298 x16302
479.88/478.12	v x16303 x16307 x16308 x16312 x16313 x16314 x16315 x16316 x16317 x16318 x16319 x16324 x16334 x16339 x16346 x16347 x16352
479.88/478.12	v x16357 x16367 x16372 x16387 x16392 x16397 x16402 x16407 x16412 x16417 x16422 x16427 x16432 x16437 x16442 x16457 x16468
479.88/478.12	v x16471 x16474 x16476 x16479 x16481 x16485 x16486 x16487 x16488 x16489 x16490 x16491 x16494 x16496 x16497 x16500 x16512
479.88/478.12	v x16513 x16514 x16515 x16516 x16518 x16526 x16528 x16531 x16535 x16536 x16537 x16552 x16561 x16563 x16564 x16567 x16568
479.88/478.12	v x16569 x16576 x16577 x16578 x16579 x16580 x16582 x16584 x16590 x16592 x16593 x16595 x16596 x16602 x16605 x16606 x16611
479.88/478.12	v x16616 x16621 x16626 x16636 x16646 x16656 x16662 x16665 x16668 x16670 x16673 x16675 x16676 x16677 x16678 x16679 x16680
479.88/478.12	v x16681 x16682 x16683 x16684 x16685 x16689 x16690 x16693 x16695 x16699 x16700 x16701 x16702 x16703 x16704 x16705 x16706
479.88/478.12	v x16716 x16721 x16726 x16732 x16735 x16736 x16741 x16746 x16748 x16754 x16759 x16765 x16768 x16771 x16773 x16774 x16780
479.88/478.12	v x16783 x16784 x16785 x16786 x16787 x16788 x16789 x16794 x16800 x16803 x16807 x16808 x16812 x16813 x16814 x16815 x16816
479.88/478.12	v x16817 x16818 x16821 x16823 x16826 x16828 x16829 x16830 x16831 x16832 x16833 x16836 x16838 x16841 x16843 x16846 x16848
479.88/478.12	v x16851 x16853 x16856 x16858 x16859 x16860 x16861 x16862 x16863 x16866 x16868 x16869 x16870 x16871 x16872 x16873 x16874
479.88/478.12	v x16879 x16885 x16888 x16889 x16894 x16901 x16903 x16906 x16907 x16912 x16917 x16922 x16928 x16931 x16934 x16936 x16937
479.88/478.12	v x16943 x16946 x16950 x16951 x16954 x16956 x16960 x16961 x16964 x16966 x16967 x16972 x16977 x16983 x16986 x16987 x16988
479.88/478.12	v x16989 x16990 x16991 x16992 x16997 x17007 x17012 x17022 x17028 x17031 x17034 x17036 x17037 x17042 x17047 x17052 x17053
479.88/478.12	v x17055 x17061 x17064 x17065 x17066 x17067 x17068 x17069 x17072 x17074 x17077 x17079 x17083 x17084 x17085 x17091 x17094
479.88/478.12	v x17098 x17099 x17103 x17104 x17105 x17121 x17124 x17127 x17129 x17132 x17134 x17138 x17139 x17142 x17144 x17147 x17149
479.88/478.12	v x17152 x17154 x17155 x17160 x17166 x17169 x17170 x17176 x17179 x17183 x17184 x17188 x17189 x17192 x17194 x17195 x17196
479.88/478.12	v x17197 x17198 x17199 x17200 x17201 x17202 x17203 x17204 x17208 x17221 x17222 x17223 x17224 x17226 x17234 x17236 x17239
479.88/478.12	v x17243 x17244 x17245 x17247 x17250 x17251 x17260 x17269 x17271 x17272 x17275 x17276 x17277 x17279 x17282 x17283 x17285
479.88/478.12	v x17286 x17287 x17288 x17290 x17292 x17298 x17300 x17301 x17303 x17304 x17310 x17313 x17314 x17319 x17324 x17330 x17333
479.88/478.12	v x17336 x17338 x17339 x17345 x17348 x17349 x17354 x17359 x17365 x17368 x17372 x17373 x17376 x17378 x17381 x17383 x17384
479.88/478.12	v x17385 x17386 x17387 x17388 x17389 x17390 x17391 x17392 x17393 x17397 x17398 x17401 x17403 x17407 x17408 x17409 x17410
479.88/478.12	v x17411 x17412 x17413 x17414 x17424 x17429 x17434 x17440 x17443 x17444 x17449 x17456 x17462 x17467 x17473 x17476 x17479
479.88/478.12	v x17481 x17484 x17486 x17487 x17488 x17489 x17490 x17491 x17492 x17493 x17494 x17495 x17496 x17497 x17502 x17508 x17511
479.88/478.12	v x17515 x17516 x17520 x17521 x17522 x17523 x17524 x17525 x17526 x17529 x17531 x17534 x17536 x17537 x17538 x17539 x17540
479.88/478.12	v x17541 x17544 x17546 x17549 x17551 x17554 x17556 x17559 x17561 x17564 x17566 x17567 x17568 x17569 x17570 x17571 x17574
479.88/478.12	v x17576 x17577 x17578 x17579 x17580 x17581 x17582 x17587 x17593 x17596 x17597 x17602 x17609 x17611 x17614 x17615 x17620
479.88/478.12	v x17625 x17630 x17635 x17640 x17646 x17649 x17650 x17656 x17659 x17662 x17664 x17667 x17669 x17673 x17674 x17675 x17680
479.88/478.12	v x17685 x17691 x17694 x17695 x17696 x17697 x17698 x17699 x17700 x17705 x17715 x17720 x17730 x17736 x17739 x17742 x17744
479.88/478.12	v x17745 x17750 x17755 x17760 x17761 x17763 x17769 x17772 x17773 x17774 x17775 x17776 x17777 x17780 x17782 x17785 x17787
479.88/478.12	v x17790 x17792 x17793 x17794 x17795 x17796 x17797 x17801 x17802 x17803 x17804 x17805 x17806 x17807 x17811 x17812 x17813
479.88/478.12	v x17829 x17832 x17835 x17837 x17840 x17842 x17846 x17847 x17850 x17852 x17855 x17857 x17860 x17862 x17863 x17868 x17874
479.88/478.12	v x17877 x17878 x17884 x17887 x17891 x17892 x17896 x17897 x17900 x17902 x17903 x17904 x17905 x17906 x17907 x17908 x17909
479.88/478.12	v x17910 x17911 x17912 x17915 x17921 x17935 x17936 x17938 x17948 x17949 x17951 x17952 x17956 x17957 x17966 x17969 x17975
479.88/478.12	v x17977 x17979 x17980 x17981 x17983 x17984 x17985 x17988 x17989 x17998 x17999 x18000 x18001 x18002 x18007 x18009 x18012
479.88/478.12	v x18017 x18023 x18026 x18027 x18032 x18037 x18043 x18046 x18047 x18052 x18057 x18063 x18066 x18070 x18071 x18075 x18076
479.88/478.12	v x18080 x18081 x18085 x18086 x18090 x18091 x18095 x18096 x18100 x18101 x18105 x18106 x18107 x18108 x18109 x18110 x18111
479.88/478.12	v x18114 x18116 x18119 x18121 x18124 x18126 x18127 x18128 x18129 x18130 x18131 x18132 x18137 x18153 x18156 x18157 x18164
479.88/478.12	v x18170 x18176 x18179 x18183 x18184 x18185 x18190 x18195 x18201 x18204 x18205 x18215 x18221 x18224 x18228 x18229 x18233
479.88/478.12	v x18234 x18235 x18240 x18245 x18275 x18285 x18290 x18296 x18299 x18303 x18304 x18307 x18309 x18313 x18314 x18315 x18317
479.88/478.12	v x18318 x18324 x18327 x18328 x18333 x18338 x18343 x18354 x18357 x18358 x18359 x18360 x18361 x18362 x18365 x18367 x18368
479.88/478.12	v x18373 x18383 x18388 x18393 x18398 x18403 x18414 x18417 x18418 x18423 x18428 x18433 x18438 x18443 x18453 x18464 x18467
479.88/478.12	v x18468 x18469 x18473 x18475 x18479 x18480 x18483 x18485 x18488 x18490 x18491 x18492 x18493 x18494 x18495 x18496 x18497
479.88/478.12	v x18498 x18499 x18500 x18504 x18505 x18506 x18512 x18515 x18516 x18522 x18525 x18528 x18530 x18531 x18536 x18542 x18545
479.88/478.12	v x18546 x18547 x18548 x18549 x18550 x18551 x18552 x18553 x18554 x18555 x18558 x18560 x18561 x18571 x18576 x18582 x18585
479.88/478.12	v x18588 x18590 x18591 x18592 x18593 x18594 x18595 x18596 x18597 x18598 x18599 x18600 x18601 x18606 x18629 x18643 x18644
479.88/478.12	v x18646 x18656 x18657 x18659 x18660 x18664 x18665 x18674 x18677 x18683 x18685 x18688 x18689 x18691 x18692 x18693 x18696
479.88/478.12	v x18697 x18706 x18707 x18708 x18709 x18710 x18715 x18717 x18720 x18725 x18731 x18734 x18735 x18740 x18745 x18751 x18754
479.88/478.12	v x18755 x18760 x18765 x18771 x18774 x18778 x18779 x18783 x18784 x18788 x18789 x18793 x18794 x18798 x18799 x18803 x18804
479.88/478.12	v x18808 x18809 x18813 x18814 x18815 x18816 x18817 x18818 x18819 x18822 x18824 x18827 x18829 x18832 x18834 x18835 x18836
479.88/478.12	v x18837 x18838 x18839 x18840 x18845 x18861 x18864 x18865 x18870 x18872 x18878 x18884 x18887 x18891 x18892 x18893 x18898
479.88/478.12	v x18903 x18909 x18912 x18913 x18923 x18929 x18932 x18936 x18937 x18938 x18939 x18940 x18941 x18942 x18943 x18948 x18953
479.88/478.12	v x18983 x18993 x18998 x19004 x19007 x19011 x19012 x19015 x19017 x19021 x19022 x19023 x19025 x19026 x19032 x19035 x19036
479.88/478.12	v x19041 x19046 x19051 x19062 x19065 x19066 x19067 x19068 x19069 x19070 x19073 x19075 x19076 x19081 x19096 x19101 x19106
479.88/478.12	v x19111 x19122 x19125 x19126 x19131 x19136 x19141 x19146 x19151 x19161 x19172 x19175 x19176 x19177 x19181 x19183 x19187
479.88/478.12	v x19188 x19191 x19193 x19196 x19198 x19199 x19200 x19201 x19202 x19203 x19204 x19205 x19206 x19207 x19208 x19212 x19213
479.88/478.12	v x19214 x19220 x19223 x19224 x19230 x19233 x19236 x19238 x19239 x19244 x19250 x19253 x19254 x19255 x19256 x19257 x19258
479.88/478.12	v x19259 x19260 x19261 x19262 x19263 x19266 x19268 x19269 x19279 x19284 x19290 x19293 x19296 x19298 x19299 x19300 x19301
479.88/478.12	v x19302 x19303 x19304 x19305 x19306 x19307 x19308 x19309 x19314 x19332 x19334 x19335 x19336 x19340 x19350 x19353 x19357
479.88/478.12	v x19361 x19363 x19365 x19369 x19373 x19383 x19391 x19392 x19395 x19396 x19397 x19398 x19399 x19400 x19401 x19404 x19405
479.88/478.12	v x19414 x19415 x19417 x19421 x19423 x19424 x19425 x19427 x19428 x19434 x19437 x19440 x19442 x19443 x19444 x19445 x19446
479.88/478.12	v x19447 x19450 x19452 x19455 x19457 x19460 x19462 x19466 x19467 x19471 x19472 x19475 x19477 x19480 x19482 x19486 x19487
479.88/478.12	v x19491 x19492 x19496 x19497 x19501 x19502 x19506 x19507 x19508 x19513 x19524 x19527 x19528 x19529 x19530 x19531 x19532
479.88/478.12	v x19536 x19537 x19540 x19542 x19543 x19548 x19559 x19562 x19563 x19568 x19574 x19577 x19579 x19583 x19585 x19586 x19591
479.88/478.12	v x19596 x19611 x19616 x19626 x19632 x19635 x19639 x19640 x19641 x19642 x19643 x19644 x19645 x19649 x19650 x19653 x19655
479.88/478.12	v x19656 x19661 x19666 x19671 x19681 x19686 x19691 x19696 x19701 x19706 x19712 x19715 x19719 x19720 x19721 x19727 x19730
479.88/478.12	v x19733 x19735 x19738 x19742 x19743 x19744 x19749 x19754 x19759 x19764 x19814 x19819 x19829 x19835 x19838 x19842 x19843
479.88/478.12	v x19844 x19850 x19853 x19856 x19858 x19859 x19869 x19874 x19884 x19886 x19892 x19898 x19901 x19902 x19903 x19904 x19905
479.88/478.12	v x19906 x19909 x19911 x19914 x19916 x19917 x19918 x19919 x19920 x19921 x19925 x19926 x19927 x19932 x19947 x19962 x19968
479.88/478.12	v x19971 x19972 x19973 x19974 x19975 x19976 x19980 x19981 x19984 x19986 x19990 x19991 x19995 x19996 x19997 x19998 x19999
479.88/478.12	v x20000 x20001 x20005 x20006 x20010 x20011 x20012 x20013 x20014 x20015 x20016 x20017 x20022 x20028 x20031 x20032 x20037
479.88/478.12	v x20040 x20042 x20043 x20044 x20048 x20058 x20061 x20065 x20069 x20071 x20073 x20077 x20079 x20081 x20091 x20099 x20100
479.88/478.12	v x20103 x20104 x20105 x20106 x20107 x20108 x20109 x20111 x20112 x20113 x20122 x20123 x20125 x20129 x20131 x20132 x20133
479.88/478.12	v x20135 x20137 x20140 x20141 x20142 x20143 x20144 x20145 x20148 x20150 x20151 x20152 x20153 x20154 x20155 x20158 x20160
479.88/478.12	v x20163 x20165 x20168 x20170 x20174 x20175 x20176 x20177 x20178 x20179 x20180 x20183 x20185 x20188 x20190 x20194 x20195
479.88/478.12	v x20199 x20200 x20204 x20205 x20209 x20210 x20214 x20215 x20216 x20221 x20232 x20235 x20236 x20237 x20238 x20239 x20240
479.88/478.12	v x20244 x20245 x20248 x20250 x20251 x20256 x20267 x20270 x20271 x20276 x20282 x20285 x20287 x20291 x20293 x20294 x20299
479.88/478.12	v x20304 x20319 x20324 x20334 x20340 x20343 x20347 x20348 x20349 x20350 x20351 x20352 x20353 x20357 x20358 x20361 x20363
479.88/478.12	v x20364 x20369 x20374 x20379 x20389 x20394 x20399 x20404 x20409 x20414 x20420 x20423 x20427 x20428 x20429 x20435 x20438
479.88/478.12	v x20441 x20442 x20448 x20451 x20452 x20457 x20462 x20467 x20472 x20483 x20486 x20490 x20491 x20495 x20496 x20500 x20501
479.88/478.12	v x20505 x20506 x20510 x20511 x20515 x20516 x20520 x20521 x20522 x20523 x20524 x20525 x20526 x20527 x20528 x20529 x20530
479.88/478.12	v x20531 x20535 x20536 x20537 x20543 x20546 x20550 x20551 x20552 x20558 x20561 x20564 x20566 x20567 x20577 x20582 x20592
479.88/478.12	v x20594 x20595 x20600 x20606 x20609 x20610 x20611 x20612 x20613 x20614 x20617 x20619 x20622 x20624 x20625 x20626 x20627
479.88/478.12	v x20628 x20629 x20633 x20634 x20635 x20640 x20655 x20670 x20676 x20679 x20680 x20681 x20682 x20683 x20684 x20688 x20689
479.88/478.12	v x20692 x20694 x20698 x20699 x20703 x20704 x20705 x20706 x20707 x20708 x20709 x20713 x20714 x20718 x20719 x20720 x20721
479.88/478.12	v x20722 x20723 x20724 x20725 x20730 x20736 x20739 x20740 x20745 x20746 x20747 x20749 x20750 x20753 x20755 x20757 x20758
479.88/478.12	v x20761 x20764 x20775 x20776 x20783 x20797 x20800 x20805 x20806 x20810 x20811 x20813 x20814 x20815 x20817 x20819 x20821
479.88/478.12	v x20822 x20825 x20828 x20829 x20832 x20837 x20838 x20839 x20840 x20842 x20846 x20848 x20852 x20853 x20854 x20855 x20856
479.88/478.12	v x20857 x20858 x20859 x20860 x20861 x20862 x20863 x20864 x20865 x20866 x20867 x20868 x20872 x20873 x20876 x20878 x20879
479.88/478.12	v x20884 x20895 x20898 x20899 x20900 x20901 x20902 x20903 x20904 x20909 x20915 x20918 x20919 x20930 x20933 x20934 x20935
479.88/478.12	v x20936 x20937 x20938 x20939 x20950 x20953 x20957 x20958 x20962 x20963 x20967 x20968 x20972 x20973 x20974 x20975 x20976
479.88/478.12	v x20977 x20978 x20979 x20980 x20981 x20982 x20983 x20984 x20985 x20986 x20987 x20988 x20989 x20990 x20991 x20992 x20993
479.88/478.12	v x20994 x20995 x20999 x21001 x21002 x21008 x21011 x21012 x21013 x21014 x21015 x21016 x21019 x21021 x21022 x21028 x21031
479.88/478.12	v x21035 x21036 x21039 x21041 x21042 x21047 x21053 x21056 x21060 x21061 x21062 x21063 x21064 x21065 x21066 x21069 x21071
479.88/478.12	v x21072 x21077 x21082 x21097 x21108 x21111 x21112 x21117 x21127 x21133 x21136 x21137 x21142 x21147 x21155 x21161 x21164
479.88/478.12	v x21165 x21166 x21167 x21168 x21169 x21170 x21171 x21172 x21173 x21174 x21178 x21179 x21183 x21184 x21187 x21189 x21192
479.88/478.12	v x21194 x21198 x21199 x21203 x21204 x21207 x21209 x21212 x21214 x21217 x21219 x21220 x21225 x21240 x21246 x21249 x21253
479.88/478.12	v x21254 x21255 x21260 x21265 x21281 x21284 x21287 x21289 x21290 x21291 x21292 x21293 x21294 x21295 x21296 x21297 x21298
479.88/478.12	v x21299 x21300 x21309 x21312 x21313 x21319 x21322 x21325 x21327 x21331 x21332 x21333 x21348 x21353 x21368 x21373 x21379
479.88/478.12	v x21382 x21386 x21387 x21391 x21392 x21395 x21397 x21398 x21403 x21408 x21413 x21419 x21422 x21426 x21427 x21428 x21433
479.88/478.12	v x21444 x21447 x21448 x21449 x21450 x21451 x21452 x21453 x21454 x21455 x21457 x21458 x21461 x21463 x21465 x21466 x21469
479.88/478.12	v x21472 x21483 x21484 x21485 x21491 x21505 x21508 x21513 x21514 x21518 x21519 x21521 x21522 x21523 x21525 x21527 x21529
479.88/478.12	v x21530 x21533 x21536 x21537 x21540 x21545 x21546 x21547 x21548 x21549 x21550 x21554 x21556 x21560 x21561 x21562 x21563
479.88/478.12	v x21564 x21565 x21566 x21567 x21568 x21569 x21570 x21571 x21572 x21573 x21574 x21575 x21576 x21577 x21582 x21592 x21603
479.88/478.12	v x21606 x21607 x21608 x21609 x21610 x21611 x21612 x21617 x21623 x21626 x21627 x21638 x21641 x21642 x21643 x21644 x21645
479.88/478.12	v x21646 x21647 x21658 x21661 x21665 x21666 x21670 x21671 x21675 x21676 x21680 x21681 x21682 x21683 x21684 x21685 x21686
479.88/478.12	v x21687 x21688 x21689 x21690 x21691 x21692 x21693 x21694 x21695 x21696 x21697 x21698 x21699 x21700 x21701 x21702 x21703
479.88/478.12	v x21707 x21709 x21710 x21716 x21719 x21720 x21721 x21722 x21723 x21724 x21727 x21729 x21732 x21734 x21735 x21736 x21737
479.88/478.12	v x21738 x21739 x21743 x21744 x21747 x21749 x21750 x21755 x21761 x21764 x21768 x21769 x21770 x21771 x21772 x21773 x21774
479.88/478.12	v x21777 x21779 x21780 x21785 x21790 x21805 x21816 x21819 x21820 x21825 x21835 x21841 x21844 x21845 x21850 x21855 x21863
479.88/478.12	v x21869 x21872 x21873 x21874 x21875 x21876 x21877 x21878 x21879 x21880 x21881 x21882 x21883 x21884 x21885 x21886 x21887
479.88/478.12	v x21888 x21889 x21890 x21891 x21892 x21893 x21898 x21903 x21908 x21913 x21918 x21923 x21933 x21948 x21954 x21957 x21961
479.88/478.12	v x21962 x21963 x21968 x21973 x21989 x21992 x21995 x21997 x21998 x21999 x22000 x22001 x22002 x22003 x22004 x22005 x22006
479.88/478.12	v x22007 x22008 x22017 x22020 x22021 x22027 x22030 x22033 x22035 x22038 x22040 x22041 x22042 x22043 x22044 x22045 x22048
479.88/478.12	v x22050 x22053 x22055 x22056 x22057 x22058 x22059 x22060 x22061 x22062 x22063 x22064 x22065 x22068 x22070 x22073 x22075
479.88/478.12	v x22076 x22077 x22078 x22079 x22080 x22081 x22087 x22090 x22094 x22095 x22099 x22100 x22103 x22105 x22106 x22111 x22116
479.88/478.12	v x22121 x22127 x22130 x22134 x22135 x22136 x22141 x22152 x22155 x22156 x22157 x22158 x22159 x22160 x22161 x22163 x22167
479.88/478.12	v x22181 x22182 x22184 x22198 x22217 x22220 x22227 x22230 x22231 x22245 x22246 x22248 x22249 x22252 x22260 x22275 x22280
479.88/478.12	v x22345 x22350 x22355 x22360 x22365 x22371 x22374 x22375 x22385 x22411 x22413 x22424 x22427 x22428 x22429 x22430 x22431
479.88/478.12	v x22432 x22433 x22443 x22449 x22452 x22453 x22463 x22469 x22472 x22476 x22477 x22481 x22482 x22485 x22487 x22490 x22492
479.88/478.12	v x22496 x22497 x22498 x22503 x22508 x22523 x22534 x22537 x22540 x22542 x22543 x22544 x22545 x22546 x22547 x22548 x22549
479.88/478.12	v x22550 x22551 x22552 x22553 x22558 x22563 x22565 x22567 x22570 x22571 x22576 x22582 x22585 x22588 x22590 x22591 x22596
479.88/478.12	v x22601 x22606 x22611 x22616 x22621 x22626 x22631 x22636 x22641 x22646 x22652 x22655 x22658 x22660 x22663 x22665 x22666
479.88/478.12	v x22667 x22668 x22669 x22670 x22673 x22675 x22676 x22681 x22691 x22696 x22706 x22711 x22718 x22719 x22724 x22729 x22734
479.88/478.12	v x22739 x22744 x22750 x22753 x22756 x22758 x22759 x22760 x22761 x22762 x22763 x22766 x22768 x22769 x22770 x22771 x22772
479.88/478.12	v x22773 x22776 x22778 x22781 x22783 x22786 x22788 x22791 x22793 x22796 x22798 x22801 x22803 x22807 x22808 x22812 x22813
479.88/478.12	v x22817 x22818 x22821 x22823 x22824 x22830 x22833 x22836 x22838 x22839 x22844 x22850 x22853 x22857 x22858 x22859 x22860
479.88/478.12	v x22861 x22862 x22863 x22864 x22865 x22866 x22867 x22868 x22875 x22889 x22890 x22892 x22906 x22925 x22928 x22938 x22939
479.88/478.12	v x22953 x22954 x22956 x22957 x22960 x22983 x22988 x23053 x23058 x23063 x23068 x23073 x23079 x23082 x23083 x23093 x23118
479.88/478.12	v x23119 x23121 x23132 x23135 x23136 x23137 x23138 x23139 x23140 x23141 x23151 x23157 x23160 x23161 x23171 x23177 x23180
479.88/478.12	v x23184 x23185 x23189 x23190 x23193 x23195 x23198 x23200 x23204 x23205 x23206 x23211 x23216 x23231 x23242 x23245 x23248
479.88/478.12	v x23250 x23251 x23252 x23253 x23254 x23255 x23256 x23257 x23258 x23259 x23260 x23261 x23266 x23271 x23273 x23274 x23284
479.88/478.12	v x23290 x23293 x23296 x23298 x23299 x23304 x23309 x23314 x23319 x23324 x23329 x23334 x23339 x23344 x23349 x23354 x23360
479.88/478.12	v x23363 x23366 x23368 x23371 x23373 x23374 x23375 x23376 x23377 x23378 x23381 x23383 x23384 x23389 x23399 x23404 x23414
479.88/478.12	v x23419 x23426 x23428 x23431 x23432 x23437 x23442 x23447 x23452 x23458 x23461 x23464 x23466 x23467 x23468 x23469 x23470
479.88/478.12	v x23471 x23474 x23476 x23477 x23478 x23479 x23480 x23481 x23484 x23486 x23489 x23491 x23494 x23496 x23499 x23501 x23504
479.88/478.12	v x23506 x23509 x23511 x23515 x23516 x23520 x23521 x23525 x23526 x23529 x23531 x23532 x23538 x23541 x23544 x23546 x23547
479.88/478.12	v x23552 x23558 x23561 x23565 x23566 x23567 x23568 x23569 x23570 x23571 x23572 x23573 x23574 x23575 x23576 x23582 x23584
479.88/478.12	v x23586 x23590 x23595 x23597 x23602 x23603 x23617 x23621 x23624 x23631 x23636 x23640 x23646 x23648 x23649 x23650 x23653
479.88/478.12	v x23654 x23656 x23659 x23661 x23663 x23666 x23667 x23668 x23672 x23681 x23686 x23691 x23696 x23702 x23705 x23708 x23710
479.88/478.12	v x23713 x23715 x23716 x23721 x23727 x23730 x23731 x23732 x23733 x23734 x23735 x23736 x23741 x23746 x23751 x23757 x23760
479.88/478.12	v x23761 x23767 x23770 x23774 x23775 x23776 x23777 x23778 x23779 x23780 x23781 x23791 x23796 x23802 x23805 x23806 x23811
479.88/478.12	v x23822 x23825 x23828 x23834 x23840 x23843 x23847 x23848 x23851 x23853 x23856 x23858 x23859 x23860 x23861 x23862 x23863
479.88/478.12	v x23864 x23865 x23866 x23867 x23868 x23871 x23873 x23876 x23878 x23879 x23880 x23881 x23882 x23883 x23887 x23888 x23892
479.88/478.12	v x23893 x23894 x23895 x23896 x23897 x23898 x23899 x23904 x23909 x23939 x23949 x23960 x23963 x23967 x23968 x23969 x23975
479.88/478.12	v x23978 x23982 x23987 x23992 x23997 x24003 x24006 x24007 x24023 x24026 x24029 x24031 x24032 x24037 x24042 x24047 x24052
479.88/478.12	v x24057 x24067 x24072 x24077 x24082 x24088 x24091 x24092 x24097 x24102 x24113 x24116 x24117 x24118 x24119 x24120 x24121
479.88/478.12	v x24122 x24132 x24134 x24135 x24141 x24144 x24147 x24149 x24152 x24154 x24155 x24160 x24165 x24170 x24186 x24189 x24192
479.88/478.12	v x24194 x24197 x24199 x24200 x24201 x24202 x24203 x24204 x24205 x24206 x24207 x24208 x24209 x24210 x24211 x24212 x24213
479.88/478.12	v x24214 x24218 x24219 x24222 x24224 x24227 x24229 x24232 x24234 x24237 x24239 x24240 x24246 x24249 x24252 x24254 x24255
479.88/478.12	v x24256 x24257 x24258 x24259 x24260 x24270 x24276 x24279 x24280 x24285 x24290 x24292 x24294 x24298 x24303 x24305 x24310
479.88/478.12	v x24311 x24325 x24329 x24332 x24339 x24344 x24348 x24349 x24354 x24356 x24357 x24358 x24361 x24362 x24364 x24367 x24369
479.88/478.12	v x24371 x24374 x24375 x24376 x24380 x24381 x24389 x24394 x24399 x24404 x24409 x24414 x24419 x24429 x24435 x24438 x24439
479.88/478.12	v x24440 x24441 x24442 x24443 x24444 x24449 x24454 x24459 x24465 x24468 x24469 x24475 x24478 x24482 x24483 x24484 x24485
479.88/478.12	v x24486 x24487 x24488 x24489 x24499 x24504 x24510 x24513 x24514 x24519 x24530 x24533 x24536 x24542 x24548 x24551 x24555
479.88/478.12	v x24556 x24559 x24561 x24562 x24568 x24571 x24572 x24573 x24574 x24575 x24576 x24579 x24581 x24584 x24586 x24587 x24588
479.88/478.12	v x24589 x24590 x24591 x24595 x24596 x24600 x24601 x24602 x24603 x24604 x24605 x24606 x24607 x24612 x24617 x24647 x24657
479.88/478.12	v x24668 x24671 x24675 x24676 x24677 x24683 x24686 x24690 x24695 x24700 x24705 x24711 x24714 x24717 x24719 x24720 x24721
479.88/478.12	v x24722 x24723 x24724 x24727 x24729 x24733 x24734 x24737 x24739 x24740 x24745 x24750 x24755 x24760 x24765 x24775 x24780
479.88/478.12	v x24785 x24790 x24796 x24799 x24800 x24805 x24810 x24821 x24824 x24825 x24826 x24827 x24828 x24829 x24830 x24840 x24842
479.88/478.12	v x24843 x24849 x24852 x24855 x24857 x24860 x24862 x24863 x24868 x24873 x24878 x24894 x24897 x24900 x24902 x24905 x24907
479.88/478.12	v x24908 x24909 x24910 x24911 x24912 x24913 x24914 x24915 x24916 x24917 x24918 x24919 x24920 x24921 x24922 x24926 x24927
479.88/478.12	v x24930 x24932 x24935 x24937 x24940 x24942 x24945 x24947 x24948 x24954 x24957 x24960 x24962 x24963 x24964 x24965 x24966
479.88/478.12	v x24967 x24968 x24978 x24984 x24987 x24988 x24993 x25001 x25002 x25008 x25010 x25015 x25018 x25022 x25027 x25031 x25035
479.88/478.12	v x25051 x25055 x25059 x25063 x25065 x25066 x25067 x25072 x25074 x25079 x25082 x25083 x25086 x25087 x25093 x25096 x25100
479.88/478.12	v x25101 x25102 x25113 x25116 x25117 x25122 x25128 x25131 x25134 x25136 x25137 x25147 x25152 x25158 x25161 x25165 x25166
479.88/478.12	v x25167 x25168 x25169 x25170 x25171 x25172 x25182 x25187 x25192 x25202 x25207 x25213 x25216 x25220 x25221 x25225 x25226
479.88/478.12	v x25229 x25231 x25234 x25236 x25237 x25244 x25245 x25256 x25259 x25260 x25261 x25262 x25263 x25264 x25267 x25269 x25272
479.88/478.12	v x25274 x25278 x25279 x25283 x25284 x25285 x25290 x25296 x25299 x25300 x25301 x25302 x25303 x25304 x25305 x25306 x25307
479.88/478.12	v x25308 x25309 x25313 x25314 x25315 x25325 x25335 x25340 x25345 x25355 x25365 x25376 x25379 x25383 x25384 x25385 x25391
479.88/478.12	v x25394 x25409 x25412 x25416 x25417 x25418 x25424 x25427 x25430 x25432 x25436 x25437 x25438 x25443 x25448 x25454 x25457
479.88/478.12	v x25460 x25462 x25466 x25467 x25471 x25472 x25475 x25477 x25478 x25479 x25480 x25481 x25482 x25483 x25489 x25492 x25493
479.88/478.12	v x25494 x25495 x25496 x25497 x25500 x25502 x25503 x25509 x25512 x25513 x25514 x25515 x25516 x25517 x25521 x25522 x25526
479.88/478.12	v x25527 x25528 x25543 x25550 x25551 x25566 x25571 x25592 x25595 x25596 x25597 x25598 x25599 x25600 x25603 x25605 x25609
479.88/478.12	v x25610 x25614 x25615 x25616 x25621 x25632 x25635 x25638 x25640 x25644 x25645 x25646 x25647 x25648 x25649 x25650 x25654
479.88/478.12	v x25655 x25658 x25660 x25664 x25665 x25668 x25670 x25674 x25675 x25676 x25681 x25691 x25696 x25709 x25710 x25716 x25718
479.88/478.12	v x25723 x25726 x25730 x25733 x25739 x25743 x25759 x25763 x25771 x25773 x25774 x25775 x25780 x25782 x25787 x25790 x25791
479.88/478.12	v x25794 x25795 x25797 x25800 x25805 x25821 x25824 x25825 x25830 x25836 x25839 x25842 x25844 x25845 x25855 x25860 x25866
479.88/478.12	v x25869 x25873 x25874 x25875 x25876 x25877 x25878 x25879 x25880 x25890 x25895 x25900 x25910 x25915 x25921 x25924 x25928
479.88/478.12	v x25929 x25933 x25934 x25937 x25939 x25942 x25944 x25945 x25952 x25953 x25964 x25967 x25968 x25969 x25970 x25971 x25972
479.88/478.12	v x25975 x25977 x25980 x25982 x25986 x25987 x25991 x25992 x25993 x25998 x26004 x26007 x26008 x26009 x26010 x26011 x26012
479.88/478.12	v x26013 x26014 x26015 x26016 x26017 x26021 x26022 x26023 x26033 x26043 x26048 x26053 x26063 x26073 x26084 x26087 x26091
479.88/478.12	v x26092 x26093 x26099 x26102 x26106 x26111 x26116 x26121 x26132 x26135 x26138 x26140 x26144 x26145 x26146 x26151 x26156
479.88/478.12	v x26162 x26165 x26168 x26170 x26174 x26175 x26179 x26180 x26183 x26185 x26186 x26187 x26188 x26189 x26190 x26191 x26197
479.88/478.12	v x26200 x26201 x26202 x26203 x26204 x26205 x26208 x26210 x26211 x26217 x26220 x26221 x26222 x26223 x26224 x26225 x26229
479.88/478.12	v x26230 x26234 x26235 x26236 x26251 x26258 x26260 x26263 x26266 x26268 x26271 x26273 x26274 x26275 x26276 x26277 x26278
479.88/478.12	v x26279 x26300 x26303 x26304 x26305 x26306 x26307 x26308 x26311 x26313 x26317 x26318 x26322 x26323 x26324 x26329 x26340
479.88/478.12	v x26343 x26346 x26348 x26352 x26353 x26354 x26355 x26356 x26357 x26358 x26362 x26363 x26366 x26368 x26372 x26373 x26376
479.88/478.12	v x26378 x26382 x26383 x26384 x26389 x26399 x26404 x26419 x26422 x26423 x26428 x26429 x26430 x26431 x26434 x26439 x26442
479.88/478.12	v x26443 x26449 x26470 x26472 x26473 x26474 x26475 x26481 x26483 x26486 x26487 x26492 x26493 x26494 x26495 x26498 x26502
479.88/478.12	v x26503 x26504 x26505 x26506 x26510 x26512 x26516 x26517 x26521 x26522 x26526 x26527 x26528 x26538 x26549 x26552 x26556
479.88/478.12	v x26557 x26558 x26564 x26567 x26570 x26572 x26576 x26577 x26578 x26583 x26588 x26593 x26598 x26603 x26609 x26612 x26616
479.88/478.12	v x26617 x26618 x26624 x26627 x26628 x26633 x26644 x26647 x26650 x26652 x26655 x26657 x26658 x26659 x26661 x26666 x26672
479.88/478.12	v x26675 x26679 x26680 x26683 x26685 x26688 x26690 x26694 x26695 x26699 x26700 x26703 x26705 x26708 x26710 x26714 x26715
479.88/478.12	v x26719 x26720 x26724 x26725 x26729 x26730 x26733 x26735 x26736 x26741 x26751 x26756 x26771 x26782 x26785 x26786 x26791
479.88/478.12	v x26796 x26806 x26811 x26813 x26819 x26835 x26838 x26839 x26845 x26848 x26852 x26853 x26854 x26865 x26868 x26869 x26879
479.88/478.12	v x26884 x26890 x26893 x26896 x26898 x26901 x26903 x26906 x26908 x26911 x26913 x26917 x26918 x26919 x26924 x26929 x26935
479.88/478.12	v x26938 x26939 x26940 x26941 x26942 x26943 x26944 x26949 x26954 x26959 x26964 x26966 x26967 x26973 x26976 x26977 x26992
479.88/478.12	v x27007 x27022 x27032 x27037 x27042 x27047 x27057 x27062 x27072 x27078 x27081 x27084 x27086 x27087 x27093 x27096 x27097
479.88/478.12	v x27098 x27099 x27100 x27101 x27102 x27103 x27104 x27105 x27106 x27109 x27111 x27112 x27113 x27114 x27115 x27116 x27117
479.88/478.12	v x27127 x27130 x27131 x27136 x27137 x27138 x27139 x27142 x27147 x27150 x27151 x27157 x27178 x27180 x27182 x27183 x27189
479.88/478.12	v x27191 x27194 x27195 x27200 x27201 x27202 x27203 x27206 x27210 x27211 x27212 x27214 x27218 x27220 x27224 x27225 x27229
479.88/478.12	v x27230 x27234 x27235 x27236 x27241 x27246 x27257 x27260 x27264 x27265 x27266 x27272 x27275 x27278 x27280 x27284 x27285
479.88/478.12	v x27286 x27291 x27296 x27301 x27306 x27311 x27317 x27320 x27324 x27325 x27326 x27332 x27335 x27336 x27341 x27352 x27355
479.88/478.12	v x27358 x27360 x27363 x27365 x27367 x27369 x27374 x27380 x27383 x27387 x27388 x27391 x27393 x27394 x27399 x27404 x27409
479.88/478.12	v x27414 x27419 x27424 x27429 x27434 x27439 x27449 x27459 x27464 x27479 x27490 x27493 x27494 x27499 x27504 x27514 x27519
479.88/478.12	v x27521 x27527 x27543 x27546 x27549 x27551 x27552 x27553 x27554 x27555 x27556 x27560 x27561 x27562 x27573 x27576 x27577
479.88/478.12	v x27587 x27592 x27598 x27601 x27604 x27606 x27609 x27611 x27614 x27616 x27619 x27621 x27625 x27626 x27627 x27632 x27637
479.88/478.12	v x27643 x27646 x27647 x27648 x27649 x27650 x27651 x27652 x27657 x27662 x27667 x27672 x27674 x27675 x27681 x27684 x27685
479.88/478.12	v x27700 x27706 x27709 x27713 x27714 x27715 x27716 x27717 x27718 x27719 x27723 x27724 x27728 x27729 x27730 x27731 x27732
479.88/478.12	v x27733 x27734 x27738 x27739 x27740 x27741 x27742 x27743 x27744 x27745 x27746 x27747 x27748 x27749 x27750 x27755 x27765
479.88/478.12	v x27770 x27780 x27786 x27789 x27792 x27794 x27795 x27801 x27804 x27805 x27806 x27807 x27808 x27809 x27810 x27811 x27812
479.88/478.12	v x27813 x27814 x27817 x27819 x27820 x27821 x27822 x27823 x27824 x27825 x27828 x27829 x27833 x27835 x27849 x27850 x27854
479.88/478.12	v x27857 x27862 x27863 x27872 x27878 x27884 x27887 x27888 x27892 x27893 x27894 x27895 x27897 x27899 x27904 x27910 x27913
479.88/478.12	v x27914 x27916 x27918 x27919 x27920 x27921 x27924 x27929 x27935 x27938 x27939 x27940 x27941 x27942 x27943 x27944 x27945
479.88/478.12	v x27946 x27947 x27948 x27949 x27955 x27958 x27962 x27963 x27966 x27968 x27972 x27973 x27977 x27978 x27979 x27990 x27993
479.88/478.12	v x27994 x27999 x28004 x28009 x28019 x28024 x28029 x28034 x28039 x28044 x28049 x28054 x28060 x28063 x28066 x28068 x28071
479.88/478.12	v x28073 x28074 x28075 x28079 x28081 x28082 x28088 x28091 x28092 x28093 x28094 x28095 x28096 x28099 x28101 x28104 x28106
479.88/478.12	v x28110 x28111 x28112 x28113 x28114 x28115 x28116 x28117 x28128 x28131 x28135 x28136 x28140 x28141 x28142 x28143 x28144
479.88/478.12	v x28145 x28146 x28147 x28158 x28161 x28162 x28167 x28172 x28177 x28182 x28187 x28192 x28198 x28201 x28202 x28208 x28211
479.88/478.12	v x28215 x28216 x28217 x28223 x28226 x28227 x28231 x28234 x28237 x28239 x28240 x28245 x28251 x28254 x28257 x28259 x28260
479.88/478.12	v x28265 x28270 x28286 x28289 x28293 x28294 x28295 x28300 x28305 x28310 x28316 x28319 x28323 x28324 x28325 x28326 x28327
479.88/478.12	v x28328 x28329 x28330 x28331 x28332 x28333 x28334 x28337 x28339 x28342 x28344 x28345 x28346 x28347 x28348 x28349 x28350
479.88/478.12	v x28351 x28352 x28353 x28354 x28357 x28359 x28362 x28364 x28368 x28369 x28373 x28374 x28375 x28380 x28388 x28393 x28399
479.88/478.12	v x28402 x28403 x28413 x28419 x28422 x28423 x28424 x28425 x28426 x28427 x28428 x28449 x28452 x28453 x28454 x28455 x28456
479.88/478.12	v x28457 x28460 x28462 x28465 x28467 x28471 x28472 x28476 x28477 x28478 x28479 x28480 x28481 x28482 x28483 x28484 x28485
479.88/478.12	v x28486 x28487 x28491 x28492 x28496 x28497 x28498 x28499 x28500 x28501 x28502 x28505 x28507 x28511 x28512 x28513 x28523
479.88/478.12	v x28528 x28535 x28536 x28537 x28541 x28543 x28557 x28558 x28562 x28570 x28571 x28580 x28586 x28592 x28595 x28596 x28599
479.88/478.12	v x28600 x28601 x28602 x28603 x28605 x28607 x28612 x28618 x28621 x28622 x28624 x28626 x28627 x28628 x28632 x28637 x28643
479.88/478.12	v x28646 x28647 x28648 x28649 x28650 x28651 x28652 x28653 x28654 x28655 x28656 x28657 x28663 x28666 x28670 x28671 x28674
479.88/478.12	v x28676 x28680 x28681 x28685 x28686 x28687 x28698 x28701 x28702 x28707 x28712 x28717 x28727 x28732 x28737 x28742 x28747
479.88/478.12	v x28752 x28757 x28762 x28768 x28771 x28774 x28776 x28779 x28781 x28782 x28783 x28787 x28789 x28790 x28796 x28799 x28800
479.88/478.12	v x28801 x28802 x28803 x28804 x28807 x28809 x28812 x28814 x28818 x28819 x28820 x28821 x28822 x28823 x28824 x28825 x28836
479.88/478.12	v x28839 x28843 x28844 x28848 x28849 x28850 x28851 x28852 x28853 x28854 x28855 x28866 x28869 x28870 x28875 x28880 x28885
479.88/478.12	v x28890 x28895 x28900 x28906 x28909 x28910 x28916 x28919 x28923 x28924 x28925 x28931 x28934 x28935 x28939 x28942 x28945
479.88/478.12	v x28947 x28948 x28953 x28959 x28962 x28965 x28967 x28968 x28973 x28978 x28994 x28997 x29001 x29002 x29003 x29008 x29013
479.88/478.12	v x29018 x29024 x29027 x29031 x29032 x29033 x29034 x29035 x29036 x29037 x29038 x29039 x29040 x29041 x29042 x29045 x29047
479.88/478.12	v x29050 x29052 x29053 x29054 x29055 x29056 x29057 x29058 x29059 x29060 x29061 x29062 x29065 x29067 x29070 x29072 x29076
479.88/478.12	v x29077 x29081 x29082 x29083 x29088 x29096 x29101 x29107 x29110 x29111 x29121 x29127 x29130 x29131 x29132 x29133 x29134
479.88/478.12	v x29135 x29136 x29157 x29160 x29161 x29162 x29163 x29164 x29165 x29168 x29170 x29173 x29175 x29179 x29180 x29184 x29185
479.88/478.12	v x29186 x29187 x29188 x29189 x29190 x29191 x29192 x29193 x29194 x29195 x29199 x29200 x29204 x29205 x29206 x29207 x29208
479.88/478.12	v x29209 x29210 x29213 x29215 x29219 x29220 x29221 x29231 x29236 x29246 x29247 x29255 x29265 x29266 x29268 x29271 x29277
479.88/478.12	v x29286 x29299 x29301 x29302 x29304 x29305 x29309 x29310 x29311 x29318 x29319 x29329 x29330 x29331 x29332 x29333 x29334
479.88/478.12	v x29335 x29336 x29337 x29339 x29340 x29350 x29356 x29359 x29362 x29364 x29368 x29369 x29370 x29375 x29396 x29399 x29402
479.88/478.12	v x29404 x29405 x29435 x29440 x29451 x29454 x29457 x29459 x29462 x29464 x29467 x29469 x29472 x29474 x29475 x29476 x29477
479.88/478.12	v x29478 x29479 x29482 x29484 x29487 x29489 x29491 x29493 x29498 x29504 x29507 x29511 x29512 x29513 x29524 x29527 x29528
479.88/478.12	v x29529 x29530 x29531 x29532 x29533 x29538 x29543 x29549 x29552 x29556 x29557 x29558 x29559 x29560 x29561 x29562 x29565
479.88/478.12	v x29567 x29568 x29573 x29588 x29603 x29614 x29617 x29620 x29622 x29626 x29627 x29631 x29632 x29635 x29637 x29641 x29642
479.88/478.12	v x29643 x29644 x29646 x29647 x29648 x29649 x29650 x29654 x29655 x29656 x29657 x29658 x29659 x29660 x29664 x29665 x29666
479.88/478.12	v x29677 x29680 x29683 x29685 x29689 x29690 x29691 x29711 x29742 x29745 x29748 x29750 x29751 x29756 x29761 x29776 x29782
479.88/478.12	v x29785 x29786 x29791 x29796 x29800 x29803 x29807 x29808 x29811 x29813 x29814 x29820 x29823 x29824 x29834 x29839 x29845
479.88/478.12	v x29848 x29852 x29853 x29854 x29865 x29868 x29869 x29874 x29879 x29894 x29904 x29910 x29913 x29916 x29918 x29919 x29929
479.88/478.12	v x29939 x29944 x29954 x29955 x29963 x29973 x29974 x29976 x29979 x29985 x29994 x30007 x30009 x30010 x30012 x30017 x30018
479.88/478.12	v x30019 x30026 x30027 x30037 x30038 x30039 x30040 x30041 x30042 x30043 x30044 x30047 x30048 x30058 x30064 x30067 x30070
479.88/478.12	v x30072 x30076 x30077 x30078 x30083 x30104 x30107 x30110 x30112 x30113 x30143 x30148 x30159 x30162 x30165 x30167 x30170
479.88/478.12	v x30172 x30175 x30177 x30180 x30182 x30183 x30184 x30185 x30186 x30187 x30190 x30192 x30195 x30197 x30198 x30199 x30201
479.88/478.12	v x30206 x30212 x30215 x30219 x30220 x30221 x30232 x30235 x30236 x30237 x30238 x30239 x30240 x30241 x30246 x30251 x30257
479.88/478.12	v x30260 x30264 x30265 x30266 x30267 x30268 x30269 x30270 x30273 x30275 x30276 x30281 x30296 x30311 x30322 x30325 x30328
479.88/478.12	v x30330 x30334 x30335 x30339 x30340 x30343 x30345 x30349 x30350 x30351 x30352 x30354 x30355 x30356 x30357 x30358 x30362
479.88/478.12	v x30363 x30364 x30365 x30366 x30367 x30368 x30372 x30373 x30374 x30385 x30388 x30391 x30393 x30397 x30398 x30399 x30419
479.88/478.12	v x30450 x30453 x30456 x30458 x30459 x30464 x30469 x30484 x30490 x30493 x30494 x30499 x30504 x30508 x30511 x30515 x30516
479.88/478.12	v x30519 x30521 x30522 x30528 x30531 x30532 x30542 x30547 x30553 x30556 x30560 x30561 x30562 x30573 x30576 x30577 x30582
479.88/478.12	v x30587 x30602 x30612 x30618 x30621 x30624 x30626 x30627 x30637 x30647 x30652 x30659 x30662 x30663 x30666 x30667 x30672
479.88/478.12	v x30675 x30679 x30681 x30684 x30688 x30692 x30697 x30707 x30712 x30717 x30728 x30731 x30734 x30736 x30737 x30747 x30757
479.88/478.12	v x30772 x30777 x30787 x30792 x30797 x30803 x30806 x30807 x30818 x30821 x30825 x30826 x30830 x30831 x30835 x30836 x30837
479.88/478.12	v x30838 x30839 x30840 x30841 x30843 x30845 x30850 x30855 x30865 x30875 x30880 x30886 x30889 x30890 x30896 x30899 x30900
479.88/478.12	v x30906 x30909 x30910 x30911 x30912 x30913 x30914 x30918 x30919 x30923 x30924 x30927 x30929 x30930 x30935 x30941 x30944
479.88/478.12	v x30947 x30949 x30950 x30951 x30952 x30953 x30954 x30958 x30959 x30960 x30966 x30969 x30973 x30974 x30975 x30976 x30977
479.88/478.12	v x30978 x30979 x30980 x30985 x30991 x30994 x30995 x30998 x31003 x31008 x31014 x31017 x31018 x31019 x31020 x31021 x31022
479.88/478.12	v x31023 x31024 x31025 x31026 x31027 x31028 x31043 x31054 x31057 x31061 x31062 x31063 x31064 x31065 x31066 x31067 x31068
479.88/478.12	v x31078 x31083 x31094 x31097 x31100 x31102 x31105 x31107 x31111 x31112 x31113 x31114 x31115 x31116 x31117 x31118 x31123
479.88/478.12	v x31133 x31138 x31144 x31147 x31152 x31155 x31156 x31157 x31158 x31159 x31160 x31161 x31162 x31163 x31164 x31165 x31166
479.88/478.12	v x31172 x31175 x31178 x31180 x31181 x31182 x31183 x31184 x31185 x31189 x31190 x31191 x31197 x31200 x31201 x31206 x31217
479.88/478.12	v x31220 x31223 x31225 x31226 x31231 x31237 x31240 x31244 x31245 x31246 x31256 x31267 x31270 x31273 x31275 x31278 x31280
479.88/478.12	v x31284 x31285 x31286 x31287 x31288 x31289 x31290 x31291 x31292 x31293 x31294 x31295 x31296 x31301 x31303 x31306 x31307
479.88/478.12	v x31310 x31311 x31316 x31319 x31323 x31325 x31328 x31332 x31333 x31336 x31341 x31351 x31356 x31361 x31372 x31375 x31378
479.88/478.12	v x31380 x31381 x31391 x31401 x31416 x31421 x31431 x31436 x31441 x31447 x31450 x31451 x31462 x31465 x31469 x31470 x31474
479.88/478.12	v x31475 x31479 x31480 x31481 x31482 x31483 x31484 x31485 x31487 x31489 x31494 x31499 x31509 x31519 x31524 x31530 x31533
479.88/478.12	v x31534 x31540 x31543 x31544 x31550 x31553 x31554 x31555 x31556 x31557 x31558 x31562 x31563 x31567 x31568 x31571 x31573
479.88/478.12	v x31574 x31579 x31585 x31588 x31591 x31593 x31594 x31595 x31596 x31597 x31598 x31602 x31603 x31604 x31610 x31613 x31617
479.88/478.12	v x31618 x31619 x31620 x31621 x31622 x31623 x31624 x31629 x31635 x31638 x31639 x31642 x31647 x31652 x31658 x31661 x31662
479.88/478.12	v x31663 x31664 x31665 x31666 x31667 x31668 x31669 x31670 x31671 x31672 x31687 x31698 x31701 x31705 x31706 x31707 x31708
479.88/478.12	v x31709 x31710 x31711 x31712 x31722 x31727 x31738 x31741 x31744 x31746 x31749 x31751 x31755 x31756 x31757 x31758 x31759
479.88/478.12	v x31760 x31761 x31762 x31767 x31777 x31782 x31788 x31791 x31796 x31799 x31800 x31801 x31802 x31803 x31804 x31805 x31806
479.88/478.12	v x31807 x31808 x31809 x31810 x31816 x31819 x31822 x31824 x31825 x31826 x31827 x31828 x31829 x31833 x31834 x31835 x31841
479.88/478.12	v x31844 x31845 x31850 x31861 x31864 x31867 x31869 x31870 x31875 x31881 x31884 x31888 x31889 x31890 x31900 x31911 x31914
479.88/478.12	v x31917 x31919 x31922 x31924 x31928 x31929 x31930 x31931 x31932 x31933 x31934 x31935 x31936 x31937 x31938 x31939 x31940
479.88/478.12	v x31945 x31946 x31949 x31951 x31952 x31955 x31956 x31960 x31962 x31965 x31969 x31971 x31972 x31977 x31979 x31980 x31985
479.88/478.12	v x31991 x31994 x31998 x31999 x32000 x32001 x32002 x32003 x32004 x32007 x32009 x32010 x32015 x32021 x32024 x32025 x32026
479.88/478.12	v x32027 x32028 x32029 x32030 x32045 x32056 x32059 x32063 x32064 x32065 x32071 x32074 x32078 x32079 x32083 x32084 x32085
479.88/478.12	v x32090 x32095 x32101 x32104 x32107 x32109 x32110 x32115 x32125 x32132 x32133 x32138 x32143 x32148 x32153 x32164 x32167
479.88/478.12	v x32168 x32169 x32170 x32171 x32172 x32173 x32174 x32175 x32176 x32177 x32178 x32183 x32188 x32193 x32199 x32202 x32206
479.88/478.12	v x32207 x32208 x32209 x32210 x32211 x32212 x32215 x32217 x32218 x32223 x32228 x32233 x32239 x32242 x32246 x32247 x32248
479.88/478.12	v x32254 x32257 x32261 x32262 x32263 x32264 x32265 x32266 x32267 x32268 x32273 x32278 x32285 x32286 x32292 x32295 x32299
479.88/478.12	v x32300 x32301 x32306 x32316 x32322 x32325 x32326 x32331 x32336 x32341 x32346 x32351 x32372 x32375 x32376 x32391 x32396
479.88/478.12	v x32402 x32405 x32409 x32410 x32411 x32417 x32420 x32421 x32422 x32423 x32424 x32425 x32426 x32432 x32435 x32437 x32439
479.88/478.12	v x32440 x32441 x32442 x32443 x32447 x32448 x32452 x32453 x32454 x32455 x32456 x32457 x32458 x32459 x32460 x32461 x32462
479.88/478.12	v x32463 x32464 x32469 x32474 x32480 x32483 x32484 x32485 x32486 x32487 x32488 x32489 x32490 x32491 x32492 x32493 x32494
479.88/478.12	v x32495 x32496 x32497 x32498 x32499 x32500 x32501 x32502 x32503 x32506 x32508 x32509 x32514 x32524 x32530 x32533 x32537
479.88/478.12	v x32538 x32542 x32543 x32546 x32548 x32551 x32553 x32557 x32558 x32559 x32564 x32569 x32575 x32578 x32579 x32580 x32581
479.88/478.12	v x32582 x32583 x32587 x32588 x32589 x32590 x32593 x32595 x32596 x32599 x32600 x32604 x32606 x32609 x32613 x32615 x32616
479.88/478.12	v x32621 x32623 x32629 x32635 x32638 x32642 x32643 x32644 x32645 x32646 x32647 x32648 x32651 x32653 x32654 x32659 x32665
479.88/478.12	v x32668 x32669 x32670 x32671 x32672 x32673 x32674 x32689 x32700 x32703 x32707 x32708 x32709 x32715 x32718 x32722 x32723
479.88/478.12	v x32727 x32728 x32729 x32734 x32739 x32745 x32748 x32751 x32753 x32754 x32759 x32769 x32774 x32776 x32777 x32782 x32787
479.88/478.12	v x32792 x32797 x32808 x32811 x32812 x32813 x32814 x32815 x32816 x32817 x32818 x32819 x32820 x32821 x32822 x32827 x32832
479.88/478.12	v x32837 x32843 x32846 x32850 x32851 x32852 x32853 x32854 x32855 x32856 x32859 x32861 x32862 x32867 x32872 x32877 x32883
479.88/478.12	v x32886 x32890 x32891 x32892 x32898 x32901 x32905 x32906 x32907 x32908 x32909 x32910 x32911 x32912 x32917 x32922 x32929
479.88/478.12	v x32936 x32939 x32943 x32944 x32945 x32950 x32960 x32966 x32969 x32970 x32975 x32980 x32985 x32990 x32995 x33016 x33019
479.88/478.12	v x33020 x33035 x33040 x33046 x33049 x33053 x33054 x33055 x33061 x33064 x33065 x33066 x33067 x33068 x33069 x33070 x33076
479.88/478.12	v x33079 x33081 x33086 x33087 x33091 x33092 x33096 x33097 x33098 x33099 x33100 x33101 x33102 x33103 x33104 x33105 x33106
479.88/478.12	v x33107 x33108 x33113 x33118 x33124 x33127 x33128 x33129 x33130 x33131 x33132 x33133 x33134 x33135 x33136 x33137 x33138
479.88/478.12	v x33139 x33140 x33141 x33142 x33143 x33144 x33145 x33146 x33147 x33150 x33152 x33153 x33158 x33168 x33174 x33177 x33181
479.88/478.12	v x33182 x33186 x33187 x33190 x33192 x33195 x33197 x33201 x33202 x33203 x33208 x33213 x33219 x33222 x33223 x33224 x33225
479.88/478.12	v x33226 x33227 x33231 x33232 x33233 x33234 x33235 x33239 x33240 x33241 x33242 x33243 x33244 x33245 x33246 x33248 x33249
479.88/478.12	v x33250 x33251 x33253 x33257 x33262 x33263 x33264 x33265 x33266 x33270 x33272 x33273 x33288 x33293 x33298 x33304 x33307
479.88/478.12	v x33310 x33312 x33313 x33314 x33315 x33316 x33317 x33320 x33322 x33325 x33327 x33328 x33334 x33337 x33338 x33339 x33340
479.88/478.12	v x33341 x33342 x33345 x33347 x33350 x33352 x33353 x33358 x33379 x33382 x33383 x33393 x33404 x33407 x33408 x33409 x33410
479.88/478.12	v x33411 x33412 x33413 x33414 x33415 x33416 x33417 x33419 x33421 x33426 x33436 x33441 x33446 x33451 x33456 x33462 x33465
479.88/478.12	v x33468 x33470 x33471 x33472 x33473 x33474 x33475 x33478 x33480 x33481 x33482 x33483 x33484 x33485 x33489 x33490 x33491
479.88/478.12	v x33492 x33493 x33494 x33495 x33496 x33497 x33498 x33499 x33500 x33503 x33505 x33508 x33510 x33514 x33515 x33516 x33517
479.88/478.12	v x33518 x33519 x33520 x33523 x33525 x33529 x33530 x33531 x33532 x33533 x33534 x33535 x33536 x33541 x33546 x33551 x33561
479.88/478.12	v x33567 x33570 x33574 x33579 x33589 x33594 x33599 x33605 x33608 x33609 x33620 x33623 x33624 x33629 x33635 x33638 x33642
479.88/478.12	v x33643 x33644 x33645 x33646 x33647 x33648 x33649 x33654 x33660 x33663 x33666 x33668 x33672 x33673 x33674 x33684 x33689
479.88/478.12	v x33694 x33700 x33703 x33704 x33709 x33715 x33718 x33719 x33720 x33721 x33722 x33723 x33728 x33731 x33732 x33733 x33734
479.88/478.12	v x33735 x33736 x33737 x33743 x33746 x33747 x33748 x33749 x33750 x33751 x33752 x33753 x33754 x33755 x33756 x33760 x33761
479.88/478.12	v x33762 x33763 x33764 x33765 x33766 x33767 x33778 x33781 x33784 x33786 x33790 x33791 x33792 x33798 x33801 x33802 x33803
479.88/478.12	v x33804 x33805 x33806 x33809 x33811 x33812 x33822 x33827 x33838 x33841 x33842 x33843 x33844 x33845 x33846 x33847 x33848
479.88/478.12	v x33849 x33850 x33851 x33855 x33856 x33857 x33858 x33859 x33860 x33861 x33864 x33866 x33870 x33871 x33874 x33876 x33877
479.88/478.12	v x33878 x33879 x33883 x33884 x33885 x33886 x33887 x33888 x33889 x33890 x33892 x33893 x33894 x33895 x33897 x33901 x33906
479.88/478.12	v x33907 x33908 x33909 x33910 x33912 x33913 x33914 x33915 x33916 x33917 x33932 x33938 x33941 x33944 x33946 x33947 x33948
479.88/478.12	v x33949 x33950 x33951 x33954 x33956 x33957 x33958 x33959 x33960 x33961 x33964 x33966 x33969 x33971 x33972 x33978 x33981
479.88/478.12	v x33982 x33983 x33984 x33985 x33986 x33989 x33991 x33994 x33996 x33997 x34002 x34023 x34026 x34027 x34037 x34048 x34051
479.88/478.12	v x34052 x34053 x34054 x34055 x34056 x34057 x34058 x34059 x34060 x34061 x34063 x34065 x34070 x34080 x34085 x34095 x34100
479.88/478.12	v x34106 x34109 x34112 x34114 x34115 x34116 x34117 x34118 x34119 x34122 x34124 x34125 x34126 x34127 x34128 x34129 x34133
479.88/478.12	v x34134 x34135 x34136 x34137 x34138 x34139 x34140 x34141 x34142 x34143 x34144 x34147 x34149 x34152 x34154 x34158 x34159
479.88/478.12	v x34160 x34161 x34162 x34163 x34164 x34167 x34169 x34173 x34174 x34175 x34176 x34177 x34178 x34179 x34180 x34185 x34190
479.88/478.12	v x34195 x34205 x34211 x34214 x34219 x34222 x34225 x34227 x34228 x34233 x34238 x34248 x34253 x34264 x34267 x34268 x34273
479.88/478.12	v x34279 x34282 x34286 x34287 x34288 x34289 x34290 x34291 x34292 x34293 x34298 x34304 x34307 x34310 x34312 x34316 x34317
479.88/478.12	v x34318 x34328 x34333 x34338 x34344 x34347 x34348 x34353 x34359 x34362 x34363 x34364 x34365 x34366 x34367 x34371 x34376
479.88/478.12	v x34381 x34387 x34390 x34391 x34392 x34393 x34394 x34395 x34396 x34402 x34405 x34406 x34407 x34408 x34409 x34410 x34411
479.88/478.12	v x34422 x34425 x34428 x34430 x34434 x34435 x34436 x34442 x34445 x34446 x34447 x34448 x34449 x34450 x34453 x34455 x34456
479.88/478.12	v x34466 x34471 x34482 x34485 x34486 x34487 x34488 x34489 x34490 x34491 x34492 x34493 x34494 x34495 x34499 x34500 x34501
479.88/478.12	v x34502 x34503 x34504 x34505 x34508 x34510 x34514 x34515 x34518 x34520 x34521 x34522 x34529 x34530 x34531 x34532 x34533
479.88/478.12	v x34534 x34537 x34538 x34540 x34545 x34549 x34553 x34555 x34556 x34566 x34571 x34581 x34586 x34591 x34596 x34602 x34605
479.88/478.12	v x34608 x34610 x34613 x34615 x34619 x34620 x34624 x34625 x34628 x34630 x34633 x34635 x34639 x34640 x34641 x34642 x34643
479.88/478.12	v x34644 x34645 x34649 x34650 x34651 x34656 x34666 x34671 x34687 x34690 x34694 x34695 x34696 x34707 x34709 x34724 x34729
479.88/478.12	v x34740 x34743 x34744 x34745 x34746 x34747 x34748 x34752 x34753 x34756 x34758 x34759 x34760 x34761 x34762 x34763 x34764
479.88/478.12	v x34770 x34773 x34774 x34775 x34776 x34777 x34778 x34782 x34783 x34787 x34788 x34789 x34800 x34803 x34807 x34808 x34811
479.88/478.12	v x34813 x34817 x34818 x34819 x34820 x34821 x34822 x34823 x34824 x34830 x34833 x34834 x34835 x34836 x34837 x34838 x34842
479.88/478.12	v x34843 x34844 x34850 x34853 x34854 x34855 x34856 x34857 x34858 x34859 x34860 x34862 x34863 x34864 x34865 x34866 x34867
479.88/478.12	v x34873 x34876 x34879 x34881 x34885 x34886 x34889 x34891 x34892 x34893 x34894 x34895 x34896 x34897 x34898 x34899 x34900
479.88/478.12	v x34901 x34904 x34906 x34907 x34922 x34948 x34951 x34955 x34956 x34959 x34961 x34964 x34966 x34970 x34971 x34974 x34976
479.88/478.12	v x34979 x34981 x34985 x34986 x34987 x34992 x34997 x35002 x35016 x35019 x35022 x35024 x35025 x35030 x35035 x35045 x35051
479.88/478.12	v x35054 x35055 x35060 x35065 x35070 x35075 x35080 x35095 x35125 x35130 x35141 x35144 x35147 x35149 x35150 x35151 x35152
479.88/478.12	v x35153 x35154 x35157 x35159 x35163 x35164 x35166 x35167 x35173 x35174 x35175 x35176 x35177 x35178 x35181 x35182 x35184
479.88/478.12	v x35189 x35193 x35197 x35199 x35200 x35210 x35215 x35230 x35235 x35240 x35246 x35249 x35252 x35254 x35257 x35259 x35263
479.88/478.12	v x35264 x35268 x35269 x35272 x35274 x35277 x35279 x35283 x35284 x35285 x35286 x35287 x35288 x35289 x35293 x35294 x35295
479.88/478.12	v x35300 x35310 x35315 x35331 x35334 x35338 x35339 x35340 x35351 x35353 x35368 x35373 x35378 x35384 x35387 x35388 x35389
479.88/478.12	v x35390 x35391 x35392 x35396 x35397 x35400 x35402 x35403 x35404 x35405 x35406 x35407 x35408 x35414 x35417 x35418 x35419
479.88/478.12	v x35420 x35421 x35422 x35426 x35427 x35431 x35432 x35433 x35444 x35447 x35451 x35452 x35455 x35457 x35461 x35462 x35463
479.88/478.12	v x35464 x35465 x35466 x35467 x35468 x35474 x35477 x35478 x35479 x35480 x35481 x35482 x35486 x35487 x35488 x35494 x35497
479.88/478.12	v x35498 x35499 x35500 x35501 x35502 x35503 x35504 x35506 x35507 x35508 x35509 x35510 x35511 x35517 x35520 x35523 x35525
479.88/478.12	v x35529 x35530 x35531 x35537 x35540 x35541 x35542 x35543 x35544 x35545 x35548 x35550 x35551 x35566 x35592 x35595 x35599
479.88/478.12	v x35600 x35603 x35605 x35608 x35610 x35614 x35615 x35618 x35620 x35623 x35625 x35629 x35630 x35631 x35636 x35641 x35646
479.88/478.12	v x35660 x35663 x35666 x35668 x35669 x35674 x35679 x35685 x35688 x35689 x35695 x35698 x35699 x35704 x35709 x35714 x35719
479.88/478.12	v x35724 x35739 x35769 x35774 x35785 x35788 x35791 x35793 x35794 x35795 x35796 x35797 x35798 x35801 x35803 x35807 x35808
479.88/478.12	v x35810 x35811 x35812 x35814 x35815 x35817 x35819 x35821 x35823 x35824 x35825 x35831 x35833 x35836 x35837 x35838 x35843
479.88/478.12	v x35844 x35849 x35860 x35863 x35866 x35868 x35872 x35873 x35874 x35875 x35876 x35877 x35878 x35882 x35883 x35884 x35885
479.88/478.12	v x35886 x35887 x35888 x35892 x35893 x35894 x35895 x35896 x35897 x35898 x35899 x35904 x35909 x35915 x35918 x35919 x35929
479.88/478.12	v x35944 x35955 x35958 x35959 x35964 x35969 x35975 x35978 x35981 x35983 x35987 x35988 x35989 x35994 x35996 x35997 x36017
479.88/478.12	v x36027 x36033 x36036 x36037 x36038 x36039 x36040 x36041 x36044 x36046 x36050 x36051 x36054 x36056 x36060 x36061 x36062
479.88/478.12	v x36063 x36064 x36065 x36066 x36067 x36068 x36069 x36070 x36071 x36072 x36073 x36074 x36075 x36076 x36079 x36081 x36084
479.88/478.12	v x36086 x36087 x36088 x36089 x36090 x36091 x36095 x36096 x36097 x36103 x36106 x36110 x36111 x36112 x36117 x36122 x36127
479.88/478.12	v x36132 x36138 x36141 x36145 x36146 x36147 x36149 x36150 x36156 x36159 x36160 x36165 x36175 x36181 x36184 x36185 x36190
479.88/478.12	v x36195 x36200 x36205 x36211 x36214 x36215 x36216 x36217 x36218 x36219 x36223 x36224 x36227 x36229 x36230 x36236 x36239
479.88/478.12	v x36240 x36245 x36250 x36260 x36265 x36271 x36274 x36277 x36279 x36283 x36284 x36288 x36289 x36290 x36295 x36300 x36301
479.88/478.12	v x36303 x36304 x36305 x36306 x36307 x36308 x36313 x36318 x36323 x36328 x36333 x36338 x36344 x36347 x36350 x36352 x36355
479.88/478.12	v x36357 x36360 x36362 x36363 x36369 x36372 x36376 x36377 x36381 x36382 x36385 x36387 x36388 x36394 x36397 x36400 x36402
479.88/478.12	v x36403 x36404 x36405 x36406 x36407 x36408 x36413 x36419 x36422 x36426 x36427 x36431 x36432 x36436 x36437 x36441 x36442
479.88/478.12	v x36445 x36447 x36450 x36452 x36453 x36454 x36456 x36458 x36459 x36461 x36463 x36465 x36467 x36468 x36469 x36475 x36477
479.88/478.12	v x36480 x36481 x36482 x36485 x36487 x36488 x36493 x36504 x36507 x36510 x36512 x36516 x36517 x36518 x36519 x36520 x36521
479.88/478.12	v x36522 x36526 x36527 x36528 x36529 x36530 x36531 x36532 x36536 x36537 x36538 x36539 x36540 x36541 x36542 x36543 x36548
479.88/478.12	v x36553 x36559 x36562 x36563 x36573 x36588 x36599 x36602 x36603 x36608 x36613 x36619 x36622 x36625 x36627 x36631 x36632
479.88/478.12	v x36633 x36638 x36640 x36641 x36661 x36671 x36677 x36680 x36681 x36682 x36683 x36684 x36685 x36688 x36690 x36694 x36695
479.88/478.12	v x36698 x36700 x36704 x36705 x36706 x36707 x36708 x36709 x36710 x36711 x36712 x36713 x36714 x36715 x36716 x36717 x36718
479.88/478.12	v x36719 x36720 x36723 x36725 x36728 x36730 x36731 x36732 x36733 x36734 x36735 x36739 x36740 x36741 x36747 x36750 x36754
479.88/478.12	v x36755 x36756 x36761 x36766 x36771 x36776 x36782 x36785 x36789 x36790 x36791 x36793 x36794 x36800 x36803 x36804 x36809
479.88/478.12	v x36819 x36825 x36828 x36829 x36834 x36839 x36844 x36849 x36855 x36858 x36859 x36860 x36861 x36862 x36863 x36867 x36868
479.88/478.12	v x36871 x36873 x36874 x36880 x36883 x36884 x36889 x36894 x36904 x36909 x36915 x36918 x36921 x36923 x36927 x36928 x36932
479.88/478.12	v x36933 x36934 x36939 x36944 x36945 x36947 x36948 x36949 x36950 x36951 x36952 x36957 x36962 x36967 x36972 x36977 x36982
479.88/478.12	v x36988 x36991 x36994 x36996 x36999 x37001 x37004 x37006 x37007 x37013 x37016 x37020 x37021 x37025 x37026 x37029 x37031
479.88/478.12	v x37032 x37038 x37041 x37044 x37046 x37047 x37048 x37049 x37050 x37051 x37052 x37057 x37063 x37066 x37070 x37071 x37075
479.88/478.12	v x37076 x37080 x37081 x37085 x37086 x37089 x37091 x37094 x37096 x37097 x37098 x37099 x37100 x37101 x37102 x37106 x37112
479.88/478.12	v x37115 x37116 x37117 x37120 x37121 x37125 x37126 x37129 x37131 x37133 x37136 x37139 x37141 x37144 x37146 x37147 x37148
479.88/478.12	v x37149 x37150 x37151 x37152 x37162 x37167 x37172 x37177 x37182 x37198 x37201 x37202 x37207 x37212 x37217 x37222 x37232
479.88/478.12	v x37238 x37241 x37244 x37246 x37250 x37251 x37252 x37257 x37263 x37266 x37269 x37271 x37275 x37276 x37280 x37281 x37284
479.88/478.12	v x37300 x37305 x37310 x37316 x37319 x37320 x37321 x37322 x37323 x37324 x37325 x37326 x37327 x37328 x37329 x37332 x37334
479.88/478.12	v x37335 x37336 x37337 x37338 x37339 x37342 x37344 x37345 x37346 x37347 x37348 x37349 x37353 x37354 x37358 x37359 x37363
479.88/478.12	v x37364 x37365 x37370 x37375 x37380 x37390 x37396 x37399 x37400 x37405 x37411 x37414 x37415 x37416 x37417 x37418 x37419
479.88/478.12	v x37422 x37424 x37428 x37429 x37433 x37434 x37435 x37436 x37441 x37442 x37446 x37447 x37448 x37453 x37459 x37462 x37463
479.88/478.12	v x37469 x37472 x37475 x37477 x37478 x37479 x37480 x37481 x37482 x37483 x37484 x37485 x37486 x37487 x37490 x37492 x37493
479.88/478.12	v x37503 x37509 x37512 x37515 x37517 x37520 x37522 x37523 x37524 x37525 x37526 x37527 x37530 x37532 x37536 x37537 x37540
479.88/478.12	v x37542 x37543 x37558 x37564 x37567 x37571 x37572 x37576 x37577 x37581 x37582 x37583 x37590 x37601 x37607 x37610 x37614
479.88/478.12	v x37615 x37616 x37617 x37618 x37619 x37620 x37621 x37626 x37632 x37635 x37638 x37640 x37644 x37645 x37648 x37650 x37654
479.88/478.12	v x37655 x37658 x37660 x37661 x37671 x37677 x37680 x37684 x37685 x37689 x37690 x37691 x37697 x37700 x37701 x37706 x37712
479.88/478.12	v x37715 x37716 x37721 x37736 x37741 x37742 x37743 x37744 x37745 x37746 x37750 x37756 x37759 x37760 x37761 x37764 x37765
479.88/478.12	v x37769 x37770 x37773 x37775 x37777 x37780 x37783 x37785 x37788 x37790 x37791 x37792 x37793 x37794 x37795 x37796 x37806
479.88/478.12	v x37811 x37816 x37821 x37826 x37842 x37845 x37846 x37851 x37856 x37861 x37866 x37876 x37882 x37885 x37888 x37890 x37894
479.88/478.12	v x37895 x37896 x37901 x37907 x37910 x37913 x37915 x37919 x37920 x37924 x37925 x37928 x37944 x37949 x37954 x37960 x37963
479.88/478.12	v x37964 x37965 x37966 x37967 x37968 x37969 x37970 x37971 x37972 x37973 x37976 x37978 x37979 x37980 x37981 x37982 x37983
479.88/478.12	v x37986 x37988 x37989 x37990 x37991 x37992 x37993 x37997 x37998 x38002 x38003 x38007 x38008 x38009 x38014 x38019 x38024
479.88/478.12	v x38034 x38040 x38043 x38044 x38049 x38055 x38058 x38059 x38060 x38061 x38062 x38063 x38066 x38068 x38072 x38073 x38077
479.88/478.12	v x38078 x38079 x38080 x38085 x38086 x38090 x38091 x38092 x38097 x38103 x38106 x38107 x38113 x38116 x38119 x38121 x38122
479.88/478.12	v x38123 x38124 x38125 x38126 x38127 x38128 x38129 x38130 x38131 x38134 x38136 x38137 x38147 x38153 x38156 x38159 x38161
479.88/478.12	v x38164 x38166 x38167 x38168 x38169 x38170 x38171 x38174 x38176 x38180 x38181 x38184 x38186 x38187 x38202 x38208 x38211
479.88/478.12	v x38215 x38216 x38220 x38221 x38225 x38226 x38227 x38234 x38245 x38251 x38254 x38258 x38259 x38260 x38261 x38262 x38263
479.88/478.12	v x38264 x38265 x38270 x38276 x38279 x38282 x38284 x38288 x38289 x38292 x38294 x38298 x38299 x38302 x38304 x38305 x38315
479.88/478.12	v x38321 x38324 x38328 x38329 x38333 x38334 x38335 x38341 x38344 x38345 x38350 x38356 x38359 x38360 x38365 x38380 x38385
479.88/478.12	v x38386 x38387 x38389 x38393 x38395 x38396 x38397 x38399 x38400 x38401 x38402 x38405 x38408 x38411 x38412 x38415 x38417
479.88/478.12	v x38419 x38420 x38430 x38440 x38445 x38451 x38454 x38455 x38460 x38465 x38470 x38475 x38481 x38484 x38487 x38489 x38490
479.88/478.12	v x38491 x38492 x38493 x38494 x38497 x38499 x38503 x38504 x38505 x38510 x38515 x38526 x38529 x38530 x38535 x38541 x38544
479.88/478.12	v x38545 x38546 x38547 x38548 x38549 x38550 x38555 x38560 x38565 x38570 x38571 x38573 x38583 x38588 x38594 x38597 x38598
479.88/478.12	v x38603 x38609 x38612 x38616 x38617 x38618 x38624 x38627 x38630 x38632 x38633 x38634 x38635 x38636 x38637 x38641 x38642
479.88/478.12	v x38646 x38647 x38651 x38652 x38653 x38663 x38669 x38672 x38673 x38679 x38682 x38686 x38687 x38688 x38693 x38699 x38702
479.88/478.12	v x38706 x38707 x38710 x38712 x38713 x38714 x38715 x38716 x38717 x38721 x38722 x38725 x38726 x38731 x38737 x38740 x38744
479.88/478.12	v x38745 x38746 x38747 x38748 x38749 x38750 x38751 x38752 x38753 x38754 x38755 x38756 x38762 x38765 x38766 x38767 x38768
479.88/478.12	v x38769 x38770 x38771 x38772 x38773 x38774 x38775 x38776 x38777 x38778 x38779 x38780 x38783 x38785 x38789 x38790 x38794
479.88/478.12	v x38795 x38798 x38800 x38804 x38805 x38806 x38811 x38816 x38821 x38837 x38840 x38841 x38842 x38843 x38844 x38845 x38849
479.88/478.12	v x38850 x38853 x38855 x38856 x38857 x38858 x38859 x38860 x38863 x38865 x38866 x38867 x38868 x38869 x38870 x38873 x38875
479.88/478.12	v x38876 x38878 x38880 x38883 x38886 x38888 x38892 x38893 x38897 x38898 x38901 x38903 x38904 x38905 x38906 x38907 x38908
479.88/478.12	v x38909 x38910 x38911 x38912 x38913 x38914 x38919 x38925 x38928 x38931 x38933 x38934 x38939 x38960 x38963 x38966 x38968
479.88/478.12	v x38969 x38970 x38971 x38972 x38973 x38976 x38978 x38982 x38983 x38984 x38995 x38998 x39002 x39003 x39004 x39009 x39020
479.88/478.12	v x39023 x39024 x39029 x39030 x39031 x39033 x39037 x39039 x39040 x39041 x39043 x39044 x39045 x39046 x39049 x39052 x39055
479.88/478.12	v x39056 x39059 x39063 x39065 x39068 x39069 x39074 x39084 x39089 x39095 x39098 x39099 x39104 x39109 x39114 x39119 x39125
479.88/478.12	v x39128 x39131 x39133 x39134 x39135 x39136 x39137 x39138 x39141 x39143 x39147 x39148 x39149 x39154 x39159 x39170 x39173
479.88/478.12	v x39174 x39179 x39185 x39188 x39189 x39190 x39191 x39192 x39193 x39194 x39199 x39204 x39209 x39215 x39217 x39227 x39232
479.88/478.12	v x39238 x39241 x39242 x39247 x39253 x39256 x39260 x39261 x39262 x39268 x39271 x39274 x39276 x39277 x39278 x39279 x39280
479.88/478.12	v x39281 x39285 x39286 x39290 x39291 x39295 x39296 x39297 x39307 x39313 x39316 x39317 x39323 x39326 x39330 x39331 x39332
479.88/478.12	v x39337 x39343 x39346 x39350 x39351 x39354 x39356 x39357 x39358 x39359 x39360 x39361 x39365 x39366 x39369 x39376 x39379
479.88/478.12	v x39380 x39381 x39382 x39383 x39384 x39388 x39389 x39390 x39391 x39392 x39393 x39394 x39395 x39396 x39397 x39398 x39399
479.88/478.12	v x39400 x39406 x39409 x39410 x39411 x39412 x39413 x39414 x39415 x39416 x39417 x39418 x39419 x39420 x39421 x39422 x39423
479.88/478.12	v x39424 x39427 x39429 x39433 x39434 x39438 x39439 x39442 x39444 x39448 x39449 x39450 x39455 x39460 x39465 x39481 x39484
479.88/478.12	v x39485 x39486 x39487 x39488 x39489 x39493 x39494 x39497 x39499 x39500 x39501 x39502 x39503 x39504 x39507 x39509 x39510
479.88/478.12	v x39511 x39512 x39513 x39514 x39517 x39519 x39520 x39522 x39523 x39534 x39537 x39541 x39542 x39545 x39547 x39548 x39549
479.88/478.12	v x39550 x39551 x39552 x39553 x39554 x39555 x39556 x39557 x39558 x39563 x39569 x39572 x39575 x39577 x39578 x39583 x39604
479.88/478.12	v x39607 x39610 x39612 x39613 x39614 x39615 x39616 x39617 x39620 x39622 x39626 x39627 x39628 x39639 x39642 x39646 x39647
479.88/478.12	v x39648 x39653 x39664 x39667 x39668 x39673 x39677 x39678 x39683 x39684 x39686 x39690 x39691 x39693 x39694 x39695 x39696
479.88/478.12	v x39697 x39698 x39701 x39703 x39704 x39708 x39713 x39718 x39724 x39727 x39731 x39732 x39736 x39737 x39738 x39748 x39754
479.88/478.12	v x39757 x39761 x39762 x39763 x39764 x39765 x39766 x39767 x39771 x39772 x39773 x39778 x39784 x39787 x39788 x39789 x39790
479.88/478.12	v x39791 x39792 x39796 x39797 x39800 x39802 x39805 x39807 x39808 x39809 x39810 x39811 x39812 x39813 x39814 x39815 x39816
479.88/478.12	v x39817 x39818 x39819 x39820 x39821 x39822 x39825 x39827 x39828 x39838 x39849 x39852 x39853 x39854 x39855 x39856 x39857
479.88/478.12	v x39858 x39859 x39861 x39871 x39876 x39882 x39885 x39886 x39891 x39896 x39901 x39912 x39915 x39918 x39920 x39921 x39922
479.88/478.12	v x39923 x39924 x39925 x39926 x39927 x39928 x39929 x39930 x39934 x39935 x39939 x39940 x39943 x39945 x39948 x39950 x39954
479.88/478.12	v x39955 x39959 x39960 x39961 x39966 x39971 x39976 x39981 x39986 x39992 x39995 x39996 x40001 x40006 x40011 x40013 x40015
479.88/478.12	v x40018 x40021 x40023 x40024 x40025 x40026 x40027 x40028 x40032 x40033 x40034 x40039 x40045 x40048 x40049 x40054 x40070
479.88/478.12	v x40073 x40074 x40080 x40083 x40086 x40088 x40092 x40093 x40096 x40098 x40102 x40103 x40107 x40108 x40109 x40114 x40120
479.88/478.12	v x40123 x40124 x40125 x40126 x40127 x40128 x40129 x40135 x40138 x40139 x40144 x40154 x40159 x40164 x40166 x40167 x40178
479.88/478.12	v x40181 x40185 x40186 x40189 x40191 x40192 x40193 x40194 x40195 x40196 x40200 x40201 x40202 x40203 x40204 x40205 x40206
479.88/478.12	v x40207 x40208 x40209 x40210 x40211 x40212 x40228 x40231 x40235 x40236 x40237 x40262 x40268 x40271 x40275 x40276 x40277
479.88/478.12	v x40278 x40279 x40280 x40281 x40282 x40283 x40284 x40285 x40286 x40290 x40291 x40292 x40293 x40294 x40295 x40296 x40299
479.88/478.12	v x40301 x40305 x40306 x40307 x40308 x40309 x40310 x40311 x40312 x40313 x40314 x40315 x40316 x40317 x40321 x40322 x40327
479.88/478.12	v x40328 x40330 x40334 x40335 x40337 x40338 x40339 x40340 x40341 x40342 x40345 x40347 x40348 x40352 x40357 x40362 x40368
479.88/478.12	v x40371 x40375 x40376 x40377 x40392 x40398 x40401 x40405 x40406 x40407 x40408 x40409 x40410 x40411 x40415 x40416 x40417
479.88/478.12	v x40422 x40428 x40431 x40432 x40433 x40434 x40435 x40436 x40440 x40441 x40444 x40446 x40449 x40451 x40452 x40453 x40454
479.88/478.12	v x40455 x40456 x40457 x40458 x40459 x40460 x40461 x40462 x40463 x40464 x40465 x40466 x40469 x40471 x40472 x40482 x40493
479.88/478.12	v x40496 x40497 x40498 x40499 x40500 x40501 x40503 x40505 x40515 x40520 x40526 x40529 x40532 x40534 x40538 x40539 x40543
479.88/478.12	v x40544 x40548 x40549 x40550 x40556 x40559 x40562 x40564 x40565 x40566 x40567 x40568 x40569 x40570 x40571 x40572 x40573
479.88/478.12	v x40574 x40578 x40579 x40583 x40584 x40587 x40589 x40592 x40594 x40598 x40599 x40603 x40604 x40605 x40610 x40615 x40620
479.88/478.12	v x40625 x40630 x40636 x40639 x40640 x40645 x40650 x40655 x40657 x40659 x40662 x40665 x40667 x40668 x40669 x40670 x40671
479.88/478.12	v x40672 x40676 x40677 x40678 x40684 x40687 x40691 x40692 x40693 x40698 x40714 x40717 x40718 x40724 x40727 x40730 x40732
479.88/478.12	v x40736 x40737 x40740 x40742 x40746 x40747 x40751 x40752 x40753 x40758 x40764 x40767 x40768 x40769 x40770 x40771 x40772
479.88/478.12	v x40773 x40779 x40782 x40783 x40788 x40798 x40803 x40808 x40810 x40811 x40822 x40825 x40829 x40830 x40833 x40835 x40836
479.88/478.12	v x40846 x40851 x40856 x40872 x40875 x40879 x40880 x40881 x40906 x40912 x40915 x40919 x40920 x40921 x40922 x40923 x40924
479.88/478.12	v x40925 x40926 x40927 x40928 x40929 x40930 x40934 x40935 x40936 x40937 x40938 x40939 x40940 x40943 x40945 x40949 x40950
479.88/478.12	v x40951 x40952 x40953 x40954 x40955 x40956 x40957 x40958 x40959 x40960 x40961 x40964 x40965 x40968 x40969 x40970 x40971
479.88/478.12	v x40973 x40974 x40977 x40978 x40981 x40982 x40986 x40987 x40988 x40989 x40990 x40995 x40996 x41001 x41006 x41022 x41025
479.88/478.12	v x41026 x41027 x41028 x41029 x41030 x41033 x41035 x41038 x41040 x41044 x41045 x41046 x41047 x41048 x41049 x41050 x41053
479.88/478.12	v x41055 x41059 x41060 x41061 x41067 x41070 x41073 x41075 x41076 x41081 x41086 x41091 x41096 x41101 x41112 x41115 x41116
479.88/478.12	v x41117 x41118 x41119 x41120 x41123 x41125 x41126 x41127 x41128 x41129 x41130 x41131 x41132 x41133 x41134 x41135 x41136
479.88/478.12	v x41141 x41146 x41148 x41154 x41159 x41164 x41170 x41173 x41176 x41178 x41182 x41183 x41187 x41188 x41192 x41193 x41194
479.88/478.12	v x41200 x41203 x41204 x41210 x41213 x41214 x41215 x41216 x41217 x41218 x41219 x41220 x41221 x41222 x41223 x41227 x41228
479.88/478.12	v x41229 x41239 x41245 x41248 x41249 x41254 x41259 x41270 x41273 x41277 x41278 x41282 x41283 x41286 x41288 x41289 x41290
479.88/478.12	v x41291 x41292 x41293 x41297 x41298 x41301 x41303 x41306 x41307 x41308 x41309 x41310 x41311 x41312 x41313 x41314 x41315
479.88/478.12	v x41316 x41317 x41322 x41333 x41336 x41340 x41341 x41345 x41346 x41350 x41351 x41352 x41353 x41354 x41355 x41356 x41360
479.88/478.12	v x41361 x41362 x41367 x41372 x41382 x41387 x41392 x41397 x41403 x41406 x41407 x41408 x41409 x41410 x41411 x41412 x41422
479.88/478.12	v x41427 x41432 x41437 x41442 x41447 x41452 x41453 x41455 x41461 x41464 x41465 x41466 x41467 x41468 x41469 x41470 x41471
479.88/478.12	v x41472 x41473 x41474 x41477 x41479 x41480 x41500 x41505 x41510 x41515 x41521 x41524 x41525 x41526 x41527 x41528 x41529
479.88/478.12	v x41530 x41536 x41539 x41542 x41544 x41545 x41546 x41547 x41548 x41549 x41552 x41554 x41558 x41559 x41560 x41561 x41562
479.88/478.12	v x41563 x41564 x41565 x41566 x41567 x41568 x41569 x41570 x41575 x41580 x41585 x41590 x41596 x41599 x41602 x41604 x41607
479.88/478.12	v x41608 x41609 x41612 x41613 x41614 x41615 x41617 x41618 x41621 x41622 x41625 x41626 x41630 x41631 x41632 x41633 x41634
479.88/478.12	v x41639 x41640 x41645 x41650 x41666 x41669 x41670 x41671 x41672 x41673 x41674 x41677 x41679 x41682 x41684 x41688 x41689
479.88/478.12	v x41690 x41691 x41692 x41693 x41694 x41697 x41699 x41703 x41704 x41705 x41711 x41714 x41717 x41719 x41720 x41725 x41730
479.88/478.12	v x41735 x41740 x41745 x41756 x41759 x41760 x41761 x41762 x41763 x41764 x41767 x41769 x41770 x41771 x41772 x41773 x41774
479.88/478.12	v x41775 x41776 x41777 x41778 x41779 x41780 x41785 x41790 x41792 x41798 x41803 x41808 x41814 x41817 x41820 x41822 x41826
479.88/478.12	v x41827 x41831 x41832 x41836 x41837 x41838 x41844 x41847 x41848 x41854 x41857 x41858 x41859 x41860 x41861 x41862 x41863
479.88/478.12	v x41864 x41865 x41866 x41867 x41871 x41872 x41873 x41883 x41889 x41892 x41893 x41898 x41903 x41914 x41917 x41921 x41922
479.88/478.12	v x41926 x41927 x41930 x41932 x41933 x41934 x41935 x41936 x41937 x41941 x41942 x41945 x41947 x41950 x41951 x41952 x41953
479.88/478.12	v x41954 x41955 x41956 x41957 x41958 x41959 x41960 x41961 x41966 x41977 x41980 x41984 x41985 x41989 x41990 x41994 x41995
479.88/478.12	v x41996 x41997 x41998 x41999 x42000 x42004 x42005 x42006 x42011 x42016 x42026 x42031 x42036 x42041 x42047 x42050 x42051
479.88/478.12	v x42052 x42053 x42054 x42055 x42056 x42066 x42071 x42076 x42081 x42086 x42091 x42096 x42097 x42099 x42105 x42108 x42109
479.88/478.12	v x42110 x42111 x42112 x42113 x42114 x42115 x42116 x42117 x42118 x42121 x42123 x42124 x42144 x42149 x42154 x42159 x42165
479.88/478.12	v x42168 x42169 x42170 x42171 x42172 x42173 x42174 x42180 x42183 x42186 x42188 x42189 x42190 x42191 x42192 x42193 x42196
479.88/478.12	v x42198 x42202 x42203 x42204 x42205 x42206 x42207 x42208 x42209 x42210 x42211 x42212 x42213 x42214 x42219 x42224 x42229
479.88/478.12	v x42234 x42240 x42243 x42246 x42248 x42250 x42256 x42257 x42258 x42259 x42261 x42263 x42267 x42269 x42271 x42272 x42273
479.88/478.12	v x42274 x42276 x42279 x42280 x42281 x42282 x42287 x42288 x42292 x42293 x42297 x42298 x42299 x42310 x42313 x42314 x42315
479.88/478.12	v x42316 x42317 x42318 x42319 x42320 x42321 x42322 x42323 x42324 x42325 x42326 x42327 x42328 x42329 x42334 x42339 x42345
479.88/478.12	v x42348 x42352 x42353 x42357 x42358 x42359 x42365 x42368 x42372 x42373 x42374 x42375 x42376 x42377 x42378 x42382 x42383
479.88/478.12	v x42386 x42388 x42391 x42393 x42394 x42395 x42396 x42397 x42398 x42399 x42400 x42401 x42402 x42403 x42407 x42408 x42409
479.88/478.12	v x42410 x42411 x42412 x42413 x42417 x42418 x42419 x42425 x42428 x42431 x42433 x42435 x42439 x42441 x42442 x42457 x42462
479.88/478.12	v x42467 x42473 x42476 x42477 x42478 x42479 x42480 x42481 x42482 x42488 x42491 x42492 x42497 x42502 x42508 x42511 x42512
479.88/478.12	v x42513 x42514 x42515 x42516 x42519 x42521 x42524 x42526 x42530 x42531 x42532 x42533 x42534 x42535 x42536 x42539 x42541
479.88/478.12	v x42545 x42546 x42550 x42551 x42554 x42556 x42560 x42561 x42565 x42566 x42567 x42568 x42569 x42570 x42571 x42574 x42576
479.88/478.12	v x42577 x42578 x42579 x42580 x42581 x42582 x42583 x42584 x42585 x42586 x42589 x42590 x42595 x42600 x42606 x42609 x42613
479.88/478.12	v x42614 x42618 x42619 x42622 x42624 x42627 x42629 x42632 x42634 x42637 x42639 x42640 x42641 x42642 x42643 x42644 x42647
479.88/478.12	v x42649 x42650 x42666 x42669 x42670 x42681 x42684 x42688 x42689 x42693 x42694 x42695 x42700 x42705 x42715 x42725 x42730
479.88/478.12	v x42740 x42742 x42743 x42749 x42752 x42755 x42757 x42758 x42763 x42768 x42773 x42783 x42788 x42793 x42798 x42804 x42807
479.88/478.12	v x42811 x42812 x42813 x42818 x42823 x42838 x42848 x42853 x42858 x42868 x42873 x42878 x42884 x42887 x42891 x42892 x42894
479.88/478.12	v x42900 x42901 x42902 x42903 x42905 x42907 x42911 x42913 x42915 x42916 x42917 x42918 x42920 x42923 x42924 x42926 x42931
479.88/478.12	v x42932 x42936 x42937 x42941 x42942 x42943 x42954 x42957 x42958 x42959 x42960 x42961 x42962 x42963 x42964 x42965 x42966
479.88/478.12	v x42967 x42968 x42969 x42970 x42971 x42972 x42973 x42978 x42983 x42989 x42992 x42996 x42997 x43001 x43002 x43003 x43009
479.88/478.12	v x43012 x43016 x43017 x43018 x43019 x43020 x43021 x43022 x43026 x43027 x43030 x43032 x43035 x43037 x43038 x43039 x43040
479.88/478.12	v x43041 x43042 x43043 x43044 x43045 x43046 x43047 x43051 x43052 x43053 x43054 x43055 x43056 x43057 x43061 x43062 x43063
479.88/478.12	v x43069 x43072 x43075 x43077 x43079 x43083 x43085 x43086 x43101 x43106 x43111 x43117 x43120 x43121 x43122 x43123 x43124
479.88/478.12	v x43125 x43126 x43132 x43135 x43136 x43141 x43146 x43152 x43155 x43156 x43157 x43158 x43159 x43160 x43163 x43165 x43168
479.88/478.12	v x43170 x43174 x43175 x43176 x43177 x43178 x43179 x43180 x43183 x43185 x43189 x43190 x43194 x43195 x43198 x43200 x43204
479.88/478.12	v x43205 x43209 x43210 x43211 x43212 x43213 x43214 x43215 x43218 x43220 x43221 x43222 x43223 x43224 x43225 x43226 x43227
479.88/478.12	v x43228 x43229 x43230 x43233 x43234 x43239 x43244 x43250 x43253 x43257 x43258 x43262 x43263 x43266 x43268 x43271 x43273
479.88/478.12	v x43276 x43278 x43281 x43283 x43284 x43285 x43286 x43287 x43288 x43291 x43293 x43294 x43310 x43313 x43314 x43325 x43328
479.88/478.12	v x43332 x43333 x43337 x43338 x43339 x43344 x43349 x43359 x43369 x43374 x43384 x43386 x43387 x43393 x43396 x43399 x43401
479.88/478.12	v x43402 x43407 x43412 x43417 x43427 x43432 x43437 x43442 x43448 x43451 x43455 x43456 x43457 x43462 x43467 x43482 x43492
479.88/478.12	v x43497 x43502 x43512 x43517 x43522 x43528 x43531 x43535 x43536 x43539 x43541 x43542 x43543 x43544 x43546 x43550 x43553
479.88/478.12	v x43554 x43555 x43556 x43557 x43558 x43559 x43561 x43562 x43564 x43566 x43569 x43571 x43572 x43582 x43588 x43591 x43594
479.88/478.12	v x43596 x43597 x43598 x43599 x43600 x43601 x43602 x43607 x43622 x43627 x43643 x43646 x43649 x43651 x43652 x43653 x43654
479.88/478.12	v x43655 x43656 x43659 x43661 x43662 x43663 x43664 x43665 x43666 x43667 x43668 x43669 x43670 x43671 x43674 x43676 x43680
479.88/478.12	v x43681 x43684 x43686 x43689 x43691 x43695 x43696 x43699 x43701 x43705 x43706 x43707 x43708 x43709 x43710 x43711 x43712
479.88/478.12	v x43722 x43723 x43727 x43729 x43730 x43746 x43749 x43752 x43754 x43758 x43759 x43763 x43764 x43765 x43766 x43767 x43768
479.88/478.12	v x43769 x43772 x43774 x43775 x43776 x43777 x43778 x43779 x43782 x43784 x43788 x43789 x43790 x43791 x43792 x43793 x43794
479.88/478.12	v x43795 x43796 x43797 x43798 x43799 x43800 x43801 x43802 x43803 x43804 x43807 x43809 x43810 x43815 x43821 x43824 x43827
479.88/478.12	v x43829 x43830 x43831 x43832 x43833 x43834 x43838 x43839 x43840 x43846 x43849 x43853 x43854 x43855 x43856 x43857 x43858
479.88/478.12	v x43859 x43862 x43864 x43865 x43866 x43867 x43868 x43869 x43873 x43874 x43877 x43879 x43882 x43883 x43888 x43893 x43898
479.88/478.12	v x43904 x43907 x43910 x43912 x43915 x43917 x43918 x43928 x43933 x43938 x43948 x43958 x43969 x43972 x43975 x43977 x43981
479.88/478.12	v x43982 x43986 x43987 x43988 x43993 x43998 x44014 x44017 x44018 x44019 x44020 x44021 x44022 x44026 x44027 x44030 x44037
479.88/478.12	v x44040 x44043 x44045 x44048 x44050 x44053 x44055 x44056 x44072 x44075 x44076 x44082 x44085 x44088 x44090 x44093 x44095
479.88/478.12	v x44099 x44100 x44101 x44102 x44103 x44104 x44105 x44109 x44110 x44113 x44115 x44119 x44120 x44124 x44125 x44126 x44136
479.88/478.12	v x44141 x44147 x44150 x44153 x44155 x44156 x44161 x44172 x44175 x44176 x44183 x44185 x44186 x44187 x44188 x44190 x44194
479.88/478.12	v x44197 x44198 x44199 x44200 x44201 x44202 x44203 x44205 x44206 x44208 x44210 x44215 x44217 x44220 x44221 x44226 x44232
479.88/478.12	v x44235 x44238 x44240 x44241 x44242 x44243 x44244 x44245 x44246 x44251 x44266 x44271 x44287 x44290 x44293 x44295 x44296
479.88/478.12	v x44297 x44298 x44299 x44300 x44303 x44305 x44306 x44307 x44308 x44309 x44310 x44311 x44312 x44313 x44314 x44315 x44318
479.88/478.12	v x44320 x44324 x44325 x44328 x44330 x44333 x44335 x44339 x44340 x44343 x44345 x44349 x44350 x44351 x44352 x44353 x44354
479.88/478.12	v x44355 x44356 x44366 x44367 x44371 x44373 x44374 x44390 x44393 x44396 x44398 x44402 x44403 x44407 x44408 x44409 x44410
479.88/478.12	v x44411 x44412 x44413 x44416 x44418 x44419 x44420 x44421 x44422 x44423 x44426 x44428 x44432 x44433 x44434 x44435 x44436
479.88/478.12	v x44437 x44438 x44439 x44440 x44441 x44442 x44443 x44444 x44445 x44446 x44447 x44448 x44451 x44453 x44454 x44459 x44465
479.88/478.12	v x44468 x44471 x44473 x44474 x44475 x44476 x44477 x44478 x44482 x44483 x44484 x44490 x44493 x44497 x44498 x44499 x44500
479.88/478.12	v x44501 x44502 x44503 x44506 x44508 x44509 x44510 x44511 x44512 x44513 x44517 x44518 x44521 x44522 x44527 x44532 x44537
479.88/478.12	v x44542 x44548 x44551 x44554 x44556 x44559 x44561 x44562 x44572 x44577 x44582 x44592 x44602 x44613 x44616 x44619 x44621
479.88/478.12	v x44625 x44626 x44630 x44631 x44632 x44637 x44642 x44658 x44661 x44662 x44663 x44664 x44665 x44666 x44670 x44671 x44674
479.88/478.12	v x44675 x44681 x44684 x44687 x44689 x44692 x44694 x44697 x44699 x44700 x44716 x44719 x44720 x44726 x44729 x44732 x44734
479.88/478.12	v x44737 x44739 x44743 x44744 x44745 x44746 x44747 x44748 x44749 x44753 x44754 x44757 x44759 x44763 x44764 x44768 x44769
479.88/478.12	v x44770 x44780 x44785 x44791 x44794 x44797 x44799 x44800 x44805 x44816 x44819 x44820 x44826 x44828 x44830 x44831 x44838
479.88/478.12	v x44840 x44841 x44842 x44844 x44848 x44850 x44851 x44855 x44856 x44859 x44865 x44870 x44875 x44881 x44884 x44888 x44889
479.88/478.12	v x44893 x44894 x44895 x44900 x44915 x44925 x44930 x44935 x44940 x44945 x44955 x44965 x44976 x44979 x44980 x44981 x44982
479.88/478.12	v x44983 x44984 x44985 x45000 x45005 x45011 x45013 x45023 x45034 x45037 x45038 x45043 x45048 x45053 x45064 x45067 x45068
479.88/478.12	v x45073 x45078 x45084 x45087 x45091 x45092 x45093 x45103 x45109 x45112 x45113 x45118 x45123 x45134 x45137 x45141 x45142
479.88/478.12	v x45143 x45144 x45145 x45146 x45147 x45150 x45152 x45156 x45157 x45161 x45162 x45165 x45171 x45176 x45182 x45185 x45189
479.88/478.12	v x45190 x45194 x45195 x45199 x45200 x45203 x45205 x45208 x45210 x45214 x45215 x45219 x45220 x45223 x45225 x45226 x45231
479.88/478.12	v x45236 x45241 x45247 x45250 x45253 x45255 x45256 x45262 x45265 x45266 x45271 x45281 x45287 x45290 x45293 x45295 x45296
479.88/478.12	v x45301 x45307 x45310 x45311 x45312 x45313 x45314 x45315 x45316 x45318 x45319 x45324 x45330 x45333 x45334 x45344 x45349
479.88/478.12	v x45354 x45359 x45374 x45380 x45383 x45384 x45385 x45386 x45387 x45388 x45391 x45393 x45396 x45398 x45402 x45403 x45404
479.88/478.12	v x45410 x45413 x45414 x45420 x45423 x45424 x45425 x45426 x45427 x45428 x45432 x45433 x45436 x45438 x45439 x45450 x45453
479.88/478.12	v x45456 x45458 x45459 x45464 x45469 x45470 x45472 x45474 x45475 x45482 x45484 x45485 x45486 x45488 x45492 x45494 x45495
479.88/478.12	v x45499 x45500 x45503 x45509 x45514 x45519 x45525 x45528 x45529 x45534 x45544 x45559 x45569 x45574 x45579 x45584 x45589
479.88/478.12	v x45599 x45609 x45620 x45623 x45624 x45625 x45626 x45627 x45628 x45629 x45644 x45649 x45654 x45655 x45657 x45667 x45678
479.88/478.12	v x45681 x45684 x45686 x45690 x45691 x45695 x45696 x45700 x45701 x45702 x45708 x45711 x45712 x45717 x45722 x45728 x45731
479.88/478.12	v x45735 x45736 x45737 x45747 x45753 x45756 x45757 x45762 x45767 x45778 x45781 x45785 x45786 x45787 x45788 x45789 x45790
479.88/478.12	v x45791 x45794 x45796 x45800 x45801 x45805 x45806 x45809 x45815 x45820 x45826 x45829 x45833 x45834 x45835 x45836 x45837
479.88/478.12	v x45838 x45839 x45840 x45841 x45842 x45843 x45844 x45845 x45850 x45855 x45860 x45865 x45875 x45880 x45885 x45891 x45894
479.88/478.12	v x45897 x45899 x45900 x45906 x45909 x45910 x45915 x45925 x45931 x45934 x45937 x45939 x45940 x45945 x45951 x45954 x45955
479.88/478.12	v x45956 x45957 x45958 x45959 x45960 x45962 x45963 x45968 x45974 x45977 x45978 x45988 x45993 x45998 x46003 x46009 x46012
479.88/478.12	v x46015 x46017 x46018 x46019 x46020 x46021 x46022 x46026 x46027 x46028 x46029 x46030 x46031 x46032 x46035 x46037 x46040
479.88/478.12	v x46042 x46046 x46047 x46048 x46054 x46057 x46058 x46064 x46067 x46068 x46069 x46070 x46071 x46072 x46076 x46077 x46080
479.88/478.12	v x46082 x46083 x46094 x46097 x46100 x46102 x46103 x46108 x46113 x46114 x46115 x46117 x46119 x46120 x46121 x46124 x46125
479.88/478.12	v x46131 x46132 x46134 x46136 x46140 x46141 x46146 x46148 x46149 x46150 x46151 x46152 x46153 x46158 x46168 x46173 x46179
479.88/478.12	v x46182 x46183 x46193 x46198 x46213 x46218 x46228 x46234 x46237 x46238 x46243 x46248 x46254 x46257 x46261 x46262 x46266
479.88/478.12	v x46267 x46268 x46273 x46278 x46283 x46300 x46306 x46311 x46316 x46322 x46325 x46328 x46330 x46331 x46332 x46333 x46334
479.88/478.12	v x46335 x46339 x46340 x46341 x46342 x46343 x46344 x46345 x46346 x46352 x46355 x46358 x46360 x46361 x46362 x46363 x46364
479.88/478.12	v x46365 x46366 x46367 x46368 x46369 x46370 x46374 x46375 x46379 x46380 x46383 x46385 x46386 x46392 x46395 x46399 x46400
479.88/478.12	v x46401 x46406 x46412 x46415 x46416 x46422 x46425 x46429 x46430 x46431 x46432 x46433 x46434 x46435 x46436 x46441 x46447
479.88/478.12	v x46450 x46451 x46454 x46459 x46464 x46469 x46474 x46480 x46483 x46487 x46488 x46489 x46490 x46491 x46492 x46493 x46494
479.88/478.12	v x46499 x46504 x46514 x46519 x46524 x46534 x46539 x46544 x46549 x46555 x46558 x46562 x46563 x46564 x46569 x46574 x46579
479.88/478.12	v x46585 x46588 x46589 x46590 x46591 x46592 x46593 x46597 x46598 x46602 x46603 x46606 x46607 x46613 x46616 x46617 x46618
479.88/478.12	v x46619 x46620 x46621 x46622 x46623 x46624 x46625 x46626 x46629 x46631 x46632 x46637 x46642 x46648 x46651 x46652 x46653
479.88/478.12	v x46654 x46655 x46656 x46659 x46661 x46662 x46668 x46671 x46672 x46673 x46674 x46675 x46676 x46679 x46681 x46682 x46687
479.88/478.12	v x46693 x46696 x46699 x46701 x46704 x46706 x46710 x46711 x46715 x46716 x46719 x46721 x46722 x46723 x46724 x46725 x46726
479.88/478.12	v x46729 x46731 x46734 x46736 x46740 x46741 x46742 x46743 x46744 x46745 x46746 x46750 x46751 x46752 x46757 x46758 x46761
479.88/478.12	v x46763 x46764 x46765 x46768 x46769 x46775 x46776 x46778 x46780 x46784 x46785 x46790 x46795 x46796 x46797 x46802 x46812
479.88/478.12	v x46817 x46823 x46826 x46827 x46837 x46842 x46857 x46862 x46872 x46878 x46881 x46882 x46887 x46892 x46898 x46901 x46905
479.88/478.12	v x46906 x46910 x46911 x46912 x46917 x46922 x46927 x46944 x46950 x46955 x46960 x46966 x46969 x46972 x46974 x46975 x46976
479.88/478.12	v x46977 x46978 x46979 x46983 x46984 x46985 x46986 x46987 x46988 x46989 x46990 x46996 x46999 x47002 x47004 x47005 x47006
479.88/478.12	v x47007 x47008 x47009 x47010 x47011 x47012 x47013 x47014 x47018 x47019 x47023 x47024 x47027 x47029 x47030 x47036 x47039
479.88/478.12	v x47043 x47044 x47045 x47050 x47056 x47059 x47060 x47066 x47069 x47073 x47074 x47075 x47076 x47077 x47078 x47079 x47080
479.88/478.12	v x47085 x47091 x47094 x47095 x47103 x47108 x47113 x47118 x47124 x47127 x47131 x47132 x47133 x47134 x47135 x47136 x47137
479.88/478.12	v x47138 x47143 x47148 x47158 x47163 x47168 x47178 x47183 x47188 x47193 x47199 x47202 x47206 x47207 x47208 x47213 x47218
479.88/478.12	v x47223 x47229 x47232 x47233 x47234 x47235 x47236 x47237 x47241 x47242 x47246 x47247 x47250 x47257 x47260 x47261 x47262
479.88/478.12	v x47263 x47264 x47265 x47266 x47267 x47268 x47269 x47270 x47273 x47275 x47276 x47281 x47286 x47292 x47295 x47296 x47297
479.88/478.12	v x47298 x47299 x47300 x47303 x47305 x47306 x47312 x47315 x47316 x47317 x47318 x47319 x47320 x47323 x47325 x47326 x47331
479.88/478.12	v x47337 x47340 x47343 x47345 x47348 x47350 x47354 x47355 x47359 x47360 x47363 x47365 x47366 x47367 x47368 x47369 x47370
479.88/478.12	v x47373 x47375 x47378 x47380 x47384 x47385 x47386 x47387 x47388 x47389 x47390 x47394 x47395 x47396 x47401 x47402 x47403
479.88/478.12	v x47405 x47406 x47407 x47408 x47410 x47412 x47414 x47417 x47420 x47422 x47427 x47428 x47430 x47431 x47432 x47434 x47438
479.88/478.12	v x47440 x47444 x47445 x47446 x47447 x47448 x47449 x47450 x47453 x47455 x47458 x47460 x47463 x47465 x47469 x47470 x47471
479.88/478.12	v x47472 x47473 x47474 x47475 x47476 x47481 x47491 x47507 x47510 x47511 x47521 x47526 x47531 x47536 x47541 x47546 x47557
479.88/478.12	v x47560 x47563 x47565 x47566 x47572 x47575 x47576 x47577 x47578 x47579 x47580 x47581 x47582 x47583 x47584 x47585 x47588
479.88/478.12	v x47589 x47599 x47604 x47610 x47613 x47616 x47618 x47622 x47623 x47624 x47625 x47626 x47627 x47628 x47629 x47630 x47631
479.88/478.12	v x47632 x47633 x47634 x47640 x47643 x47646 x47648 x47649 x47650 x47651 x47652 x47653 x47657 x47658 x47659 x47660 x47661
479.88/478.12	v x47662 x47663 x47667 x47668 x47671 x47673 x47674 x47680 x47683 x47687 x47688 x47691 x47693 x47694 x47695 x47696 x47697
479.88/478.12	v x47698 x47702 x47703 x47704 x47709 x47714 x47719 x47730 x47733 x47737 x47738 x47739 x47742 x47747 x47752 x47757 x47778
479.88/478.12	v x47781 x47782 x47783 x47784 x47785 x47786 x47787 x47788 x47789 x47790 x47791 x47795 x47796 x47799 x47801 x47805 x47806
479.88/478.12	v x47810 x47811 x47812 x47817 x47822 x47827 x47832 x47838 x47841 x47842 x47843 x47844 x47845 x47846 x47847 x47848 x47849
479.88/478.12	v x47850 x47851 x47852 x47853 x47854 x47855 x47856 x47860 x47861 x47865 x47866 x47870 x47871 x47874 x47876 x47877 x47882
479.88/478.12	v x47887 x47892 x47894 x47896 x47899 x47902 x47904 x47905 x47906 x47907 x47908 x47909 x47910 x47911 x47912 x47913 x47914
479.88/478.12	v x47915 x47930 x47936 x47939 x47940 x47941 x47942 x47943 x47944 x47945 x47955 x47966 x47969 x47972 x47974 x47977 x47979
479.88/478.12	v x47980 x47981 x47982 x47983 x47984 x47987 x47989 x47990 x47995 x48001 x48004 x48007 x48009 x48013 x48014 x48018 x48019
479.88/478.12	v x48023 x48024 x48028 x48029 x48032 x48034 x48037 x48039 x48042 x48044 x48045 x48046 x48047 x48049 x48050 x48051 x48052
479.88/478.12	v x48054 x48056 x48058 x48061 x48064 x48066 x48071 x48072 x48074 x48075 x48076 x48077 x48078 x48080 x48081 x48082 x48083
479.88/478.12	v x48084 x48088 x48089 x48090 x48091 x48092 x48093 x48094 x48097 x48099 x48102 x48104 x48105 x48106 x48107 x48108 x48109
479.88/478.12	v x48113 x48114 x48115 x48116 x48117 x48118 x48119 x48120 x48125 x48135 x48151 x48154 x48155 x48165 x48170 x48175 x48180
479.88/478.12	v x48185 x48190 x48201 x48204 x48207 x48209 x48210 x48216 x48219 x48220 x48221 x48222 x48223 x48224 x48225 x48226 x48227
479.88/478.12	v x48228 x48229 x48232 x48233 x48243 x48248 x48254 x48257 x48258 x48263 x48269 x48272 x48273 x48274 x48275 x48276 x48277
479.88/478.12	v x48278 x48284 x48287 x48290 x48292 x48293 x48294 x48295 x48296 x48297 x48301 x48302 x48303 x48304 x48305 x48306 x48307
479.88/478.12	v x48311 x48312 x48315 x48317 x48318 x48324 x48327 x48331 x48332 x48335 x48337 x48338 x48339 x48340 x48341 x48342 x48346
479.88/478.12	v x48347 x48348 x48353 x48358 x48363 x48374 x48377 x48381 x48382 x48383 x48387 x48390 x48394 x48395 x48398 x48400 x48404
479.88/478.12	v x48405 x48406 x48411 x48422 x48425 x48426 x48427 x48428 x48429 x48430 x48431 x48432 x48433 x48434 x48435 x48439 x48440
479.88/478.12	v x48443 x48445 x48449 x48450 x48454 x48455 x48456 x48461 x48466 x48471 x48476 x48482 x48485 x48486 x48487 x48488 x48489
479.88/478.12	v x48490 x48491 x48492 x48493 x48494 x48495 x48496 x48497 x48498 x48499 x48500 x48504 x48505 x48509 x48510 x48514 x48515
479.88/478.12	v x48518 x48520 x48521 x48526 x48531 x48536 x48538 x48539 x48549 x48554 x48559 x48565 x48568 x48572 x48573 x48574 x48580
479.88/478.12	v x48583 x48584 x48585 x48586 x48587 x48588 x48589 x48599 x48610 x48613 x48616 x48618 x48621 x48623 x48624 x48625 x48626
479.88/478.12	v x48627 x48628 x48631 x48633 x48634 x48639 x48645 x48648 x48651 x48653 x48657 x48658 x48662 x48663 x48667 x48668 x48672
479.88/478.12	v x48673 x48676 x48678 x48681 x48683 x48686 x48688 x48689

Verifier Data (download as text)

OK	0

Conversion Script Data (download as text)

/tmp/evaluation/419072-1177402422/instance-419072-1177402422.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/node4/watcher-419072-1177402422 -o ROOT/results/node4/solver-419072-1177402422 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-419072-1177402422.opb /tmp/evaluation/419072-1177402422/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.00 1.00 0.93 3/77 14895
/proc/meminfo: memFree=1726744/2055920 swapFree=4153836/4192956
[pid=14895] ppid=14893 vsize=12268 CPUtime=0
/proc/14895/stat : 14895 (pbclasp) R 14893 14895 14452 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 216280024 12562432 317 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259922115582 0 0 4224 0 0 0 0 17 1 0 0
/proc/14895/statm: 3067 317 242 3 0 167 0

[startup+0.0697671 s]
/proc/loadavg: 1.00 1.00 0.93 3/77 14895
/proc/meminfo: memFree=1726744/2055920 swapFree=4153836/4192956
[pid=14895] ppid=14893 vsize=14100 CPUtime=0.06
/proc/14895/stat : 14895 (pbclasp) R 14893 14895 14452 0 -1 4194304 883 0 0 0 6 0 0 0 18 0 1 0 216280024 14438400 850 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259922112610 0 0 4224 16384 0 0 0 17 1 0 0
/proc/14895/statm: 3525 850 316 3 0 625 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14100

[startup+0.101768 s]
/proc/loadavg: 1.00 1.00 0.93 3/77 14895
/proc/meminfo: memFree=1726744/2055920 swapFree=4153836/4192956
[pid=14895] ppid=14893 vsize=14100 CPUtime=0.09
/proc/14895/stat : 14895 (pbclasp) R 14893 14895 14452 0 -1 4194304 883 0 0 0 9 0 0 0 18 0 1 0 216280024 14438400 850 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259922112610 0 0 4224 16384 0 0 0 17 1 0 0
/proc/14895/statm: 3525 850 316 3 0 625 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14100

[startup+0.301794 s]
/proc/loadavg: 1.00 1.00 0.93 3/77 14895
/proc/meminfo: memFree=1726744/2055920 swapFree=4153836/4192956
[pid=14895] ppid=14893 vsize=14100 CPUtime=0.2
/proc/14895/stat : 14895 (pbclasp) S 14893 14895 14452 0 -1 4194304 905 0 0 0 20 0 0 0 16 0 1 0 216280024 14438400 854 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14895/statm: 3525 854 320 3 0 625 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 14100

[startup+0.701827 s]
/proc/loadavg: 1.00 1.00 0.93 3/77 14895
/proc/meminfo: memFree=1726744/2055920 swapFree=4153836/4192956
[pid=14895] ppid=14893 vsize=14100 CPUtime=0.2
/proc/14895/stat : 14895 (pbclasp) S 14893 14895 14452 0 -1 4194304 905 0 0 0 20 0 0 0 16 0 1 0 216280024 14438400 854 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14895/statm: 3525 854 320 3 0 625 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 14100

[startup+1.5019 s]
/proc/loadavg: 1.00 1.00 0.93 2/82 14900
/proc/meminfo: memFree=1720880/2055920 swapFree=4153836/4192956
[pid=14895] ppid=14893 vsize=14100 CPUtime=0.2
/proc/14895/stat : 14895 (pbclasp) S 14893 14895 14452 0 -1 4194304 905 0 0 0 20 0 0 0 16 0 1 0 216280024 14438400 854 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14895/statm: 3525 854 320 3 0 625 0
[pid=14897] ppid=14895 vsize=5352 CPUtime=0
/proc/14897/stat : 14897 (sh) S 14895 14895 14452 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216280046 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14897/statm: 1338 224 188 169 0 49 0
[pid=14898] ppid=14897 vsize=12400 CPUtime=1.27
/proc/14898/stat : 14898 (pb2clasp1) R 14897 14895 14452 0 -1 4194304 502 0 0 0 127 0 0 0 25 0 1 0 216280046 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 259913009061 0 0 4224 0 0 0 0 17 1 0 0
/proc/14898/statm: 3100 461 340 3 0 200 0
[pid=14899] ppid=14897 vsize=6304 CPUtime=0.13
/proc/14899/stat : 14899 (clasp-1.0) S 14897 14895 14452 0 -1 4194304 1216 0 0 0 12 1 0 0 16 0 1 0 216280046 6455296 1181 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/14899/statm: 1576 1181 230 81 0 950 0
[pid=14900] ppid=14897 vsize=12268 CPUtime=0
/proc/14900/stat : 14900 (pboutclasp.pl) S 14897 14895 14452 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216280046 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14900/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 50424

[startup+3.10206 s]
/proc/loadavg: 1.00 1.00 0.93 3/82 14900
/proc/meminfo: memFree=1717488/2055920 swapFree=4153836/4192956
[pid=14895] ppid=14893 vsize=14100 CPUtime=0.2
/proc/14895/stat : 14895 (pbclasp) S 14893 14895 14452 0 -1 4194304 905 0 0 0 20 0 0 0 16 0 1 0 216280024 14438400 854 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14895/statm: 3525 854 320 3 0 625 0
[pid=14897] ppid=14895 vsize=5352 CPUtime=0
/proc/14897/stat : 14897 (sh) S 14895 14895 14452 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216280046 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14897/statm: 1338 224 188 169 0 49 0
[pid=14898] ppid=14897 vsize=12400 CPUtime=2.87
/proc/14898/stat : 14898 (pb2clasp1) R 14897 14895 14452 0 -1 4194304 502 0 0 0 287 0 0 0 25 0 1 0 216280046 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 259927273574 0 0 4224 0 0 0 0 17 1 0 0
/proc/14898/statm: 3100 461 340 3 0 200 0
[pid=14899] ppid=14897 vsize=11144 CPUtime=0.31
/proc/14899/stat : 14899 (clasp-1.0) S 14897 14895 14452 0 -1 4194304 2384 0 0 0 30 1 0 0 16 0 1 0 216280046 11411456 2349 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/14899/statm: 2786 2349 230 81 0 2160 0
[pid=14900] ppid=14897 vsize=12268 CPUtime=0
/proc/14900/stat : 14900 (pboutclasp.pl) S 14897 14895 14452 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216280046 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14900/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 55264

[startup+6.30136 s]
/proc/loadavg: 1.00 1.00 0.93 2/82 14900
/proc/meminfo: memFree=1707440/2055920 swapFree=4153836/4192956
[pid=14895] ppid=14893 vsize=14100 CPUtime=0.2
/proc/14895/stat : 14895 (pbclasp) S 14893 14895 14452 0 -1 4194304 905 0 0 0 20 0 0 0 16 0 1 0 216280024 14438400 854 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14895/statm: 3525 854 320 3 0 625 0
[pid=14897] ppid=14895 vsize=5352 CPUtime=0
/proc/14897/stat : 14897 (sh) S 14895 14895 14452 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216280046 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14897/statm: 1338 224 188 169 0 49 0
[pid=14898] ppid=14897 vsize=12400 CPUtime=6.05
/proc/14898/stat : 14898 (pb2clasp1) R 14897 14895 14452 0 -1 4194304 502 0 0 0 605 0 0 0 25 0 1 0 216280046 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 259912880086 0 0 4224 0 0 0 0 17 0 0 0
/proc/14898/statm: 3100 461 340 3 0 200 0
[pid=14899] ppid=14897 vsize=20716 CPUtime=0.75
/proc/14899/stat : 14899 (clasp-1.0) S 14897 14895 14452 0 -1 4194304 4807 0 0 0 73 2 0 0 16 0 1 0 216280046 21213184 4772 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/14899/statm: 5179 4772 230 81 0 4553 0
[pid=14900] ppid=14897 vsize=12268 CPUtime=0
/proc/14900/stat : 14900 (pboutclasp.pl) S 14897 14895 14452 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216280046 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14900/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 64836

[startup+12.703 s]
/proc/loadavg: 1.00 1.00 0.93 3/82 14900
/proc/meminfo: memFree=1687536/2055920 swapFree=4153836/4192956
[pid=14895] ppid=14893 vsize=14100 CPUtime=0.2
/proc/14895/stat : 14895 (pbclasp) S 14893 14895 14452 0 -1 4194304 905 0 0 0 20 0 0 0 16 0 1 0 216280024 14438400 854 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14895/statm: 3525 854 320 3 0 625 0
[pid=14897] ppid=14895 vsize=5352 CPUtime=0
/proc/14897/stat : 14897 (sh) S 14895 14895 14452 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216280046 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14897/statm: 1338 224 188 169 0 49 0
[pid=14898] ppid=14897 vsize=12400 CPUtime=12.36
/proc/14898/stat : 14898 (pb2clasp1) R 14897 14895 14452 0 -1 4194304 502 0 0 0 1235 1 0 0 25 0 1 0 216280046 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 259926724282 0 0 4224 0 0 0 0 17 0 0 0
/proc/14898/statm: 3100 461 340 3 0 200 0
[pid=14899] ppid=14897 vsize=40192 CPUtime=1.69
/proc/14899/stat : 14899 (clasp-1.0) R 14897 14895 14452 0 -1 4194304 9664 0 0 0 164 5 0 0 16 0 1 0 216280046 41156608 9588 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 10961405 0 0 4096 0 0 0 0 17 1 0 0
/proc/14899/statm: 10048 9588 230 81 0 9422 0
[pid=14900] ppid=14897 vsize=12268 CPUtime=0
/proc/14900/stat : 14900 (pboutclasp.pl) S 14897 14895 14452 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216280046 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14900/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 14.25
Current children cumulated vsize (KiB) 84312

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 0.93 2/81 14900
/proc/meminfo: memFree=1628856/2055920 swapFree=4153836/4192956
[pid=14895] ppid=14893 vsize=14100 CPUtime=0.2
/proc/14895/stat : 14895 (pbclasp) S 14893 14895 14452 0 -1 4194304 905 0 0 0 20 0 0 0 16 0 1 0 216280024 14438400 854 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14895/statm: 3525 854 320 3 0 625 0
[pid=14897] ppid=14895 vsize=5352 CPUtime=14.43
/proc/14897/stat : 14897 (sh) S 14895 14895 14452 0 -1 4194304 297 504 0 0 0 0 1441 2 16 0 1 0 216280046 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14897/statm: 1338 224 188 169 0 49 0
[pid=14899] ppid=14897 vsize=98192 CPUtime=12.78
/proc/14899/stat : 14899 (clasp-1.0) R 14897 14895 14452 0 -1 4194304 29020 0 0 0 1264 14 0 0 25 0 1 0 216280046 100548608 23875 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617515 0 0 4096 0 0 0 0 17 1 0 0
/proc/14899/statm: 24548 23875 245 81 0 23922 0
[pid=14900] ppid=14897 vsize=12268 CPUtime=0
/proc/14900/stat : 14900 (pboutclasp.pl) S 14897 14895 14452 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216280046 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14900/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 27.41
Current children cumulated vsize (KiB) 129912

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 0.93 2/81 14900
/proc/meminfo: memFree=1628920/2055920 swapFree=4153836/4192956
[pid=14895] ppid=14893 vsize=14100 CPUtime=0.2
/proc/14895/stat : 14895 (pbclasp) S 14893 14895 14452 0 -1 4194304 905 0 0 0 20 0 0 0 16 0 1 0 216280024 14438400 854 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14895/statm: 3525 854 320 3 0 625 0
[pid=14897] ppid=14895 vsize=5352 CPUtime=14.43
/proc/14897/stat : 14897 (sh) S 14895 14895 14452 0 -1 4194304 297 504 0 0 0 0 1441 2 16 0 1 0 216280046 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14897/statm: 1338 224 188 169 0 49 0
[pid=14899] ppid=14897 vsize=98192 CPUtime=38.36
/proc/14899/stat : 14899 (clasp-1.0) R 14897 14895 14452 0 -1 4194304 29024 0 0 0 3822 14 0 0 25 0 1 0 216280046 100548608 23879 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/14899/statm: 24548 23879 245 81 0 23922 0
[pid=14900] ppid=14897 vsize=12268 CPUtime=0
/proc/14900/stat : 14900 (pboutclasp.pl) S 14897 14895 14452 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216280046 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14900/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 52.99
Current children cumulated vsize (KiB) 129912

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.93 2/81 14900
/proc/meminfo: memFree=1629240/2055920 swapFree=4153836/4192956
[pid=14895] ppid=14893 vsize=14100 CPUtime=0.2
/proc/14895/stat : 14895 (pbclasp) S 14893 14895 14452 0 -1 4194304 905 0 0 0 20 0 0 0 16 0 1 0 216280024 14438400 854 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14895/statm: 3525 854 320 3 0 625 0
[pid=14897] ppid=14895 vsize=5352 CPUtime=14.43
/proc/14897/stat : 14897 (sh) S 14895 14895 14452 0 -1 4194304 297 504 0 0 0 0 1441 2 16 0 1 0 216280046 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14897/statm: 1338 224 188 169 0 49 0
[pid=14899] ppid=14897 vsize=97648 CPUtime=89.56
/proc/14899/stat : 14899 (clasp-1.0) R 14897 14895 14452 0 -1 4194304 29059 0 0 0 8941 15 0 0 25 0 1 0 216280046 99991552 23778 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737633 0 0 4096 0 0 0 0 17 1 0 0
/proc/14899/statm: 24412 23778 245 81 0 23786 0
[pid=14900] ppid=14897 vsize=12268 CPUtime=0
/proc/14900/stat : 14900 (pboutclasp.pl) S 14897 14895 14452 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216280046 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14900/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 104.19
Current children cumulated vsize (KiB) 129368

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/81 14900
/proc/meminfo: memFree=1629240/2055920 swapFree=4153836/4192956
[pid=14895] ppid=14893 vsize=14100 CPUtime=0.2
/proc/14895/stat : 14895 (pbclasp) S 14893 14895 14452 0 -1 4194304 905 0 0 0 20 0 0 0 16 0 1 0 216280024 14438400 854 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14895/statm: 3525 854 320 3 0 625 0

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

/proc/14899/statm: 32222 31500 245 81 0 31596 0
[pid=14900] ppid=14897 vsize=12268 CPUtime=0
/proc/14900/stat : 14900 (pboutclasp.pl) S 14897 14895 14452 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216280046 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14900/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 284.14
Current children cumulated vsize (KiB) 160608

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/81 14900
/proc/meminfo: memFree=1584248/2055920 swapFree=4153836/4192956
[pid=14895] ppid=14893 vsize=14100 CPUtime=0.2
/proc/14895/stat : 14895 (pbclasp) S 14893 14895 14452 0 -1 4194304 905 0 0 0 20 0 0 0 16 0 1 0 216280024 14438400 854 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14895/statm: 3525 854 320 3 0 625 0
[pid=14897] ppid=14895 vsize=5352 CPUtime=14.43
/proc/14897/stat : 14897 (sh) S 14895 14895 14452 0 -1 4194304 297 504 0 0 0 0 1441 2 16 0 1 0 216280046 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14897/statm: 1338 224 188 169 0 49 0
[pid=14899] ppid=14897 vsize=142776 CPUtime=329.49
/proc/14899/stat : 14899 (clasp-1.0) R 14897 14895 14452 0 -1 4194304 40302 0 0 0 32922 27 0 0 25 0 1 0 216280046 146202624 35021 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737366 0 0 4096 0 0 0 0 17 1 0 0
/proc/14899/statm: 35694 35021 245 81 0 35068 0
[pid=14900] ppid=14897 vsize=12268 CPUtime=0
/proc/14900/stat : 14900 (pboutclasp.pl) S 14897 14895 14452 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216280046 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14900/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 344.12
Current children cumulated vsize (KiB) 174496

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/81 14900
/proc/meminfo: memFree=1568120/2055920 swapFree=4153836/4192956
[pid=14895] ppid=14893 vsize=14100 CPUtime=0.2
/proc/14895/stat : 14895 (pbclasp) S 14893 14895 14452 0 -1 4194304 905 0 0 0 20 0 0 0 16 0 1 0 216280024 14438400 854 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14895/statm: 3525 854 320 3 0 625 0
[pid=14897] ppid=14895 vsize=5352 CPUtime=14.43
/proc/14897/stat : 14897 (sh) S 14895 14895 14452 0 -1 4194304 297 504 0 0 0 0 1441 2 16 0 1 0 216280046 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14897/statm: 1338 224 188 169 0 49 0
[pid=14899] ppid=14897 vsize=159196 CPUtime=389.47
/proc/14899/stat : 14899 (clasp-1.0) R 14897 14895 14452 0 -1 4194304 44401 0 0 0 38915 32 0 0 25 0 1 0 216280046 163016704 39120 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737608 0 0 4096 0 0 0 0 17 1 0 0
/proc/14899/statm: 39799 39120 245 81 0 39173 0
[pid=14900] ppid=14897 vsize=12268 CPUtime=0
/proc/14900/stat : 14900 (pboutclasp.pl) S 14897 14895 14452 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216280046 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14900/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 404.1
Current children cumulated vsize (KiB) 190916

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/81 14900
/proc/meminfo: memFree=1543544/2055920 swapFree=4153836/4192956
[pid=14895] ppid=14893 vsize=14100 CPUtime=0.2
/proc/14895/stat : 14895 (pbclasp) S 14893 14895 14452 0 -1 4194304 905 0 0 0 20 0 0 0 16 0 1 0 216280024 14438400 854 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14895/statm: 3525 854 320 3 0 625 0
[pid=14897] ppid=14895 vsize=5352 CPUtime=14.43
/proc/14897/stat : 14897 (sh) S 14895 14895 14452 0 -1 4194304 297 504 0 0 0 0 1441 2 16 0 1 0 216280046 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14897/statm: 1338 224 188 169 0 49 0
[pid=14899] ppid=14897 vsize=183396 CPUtime=449.45
/proc/14899/stat : 14899 (clasp-1.0) R 14897 14895 14452 0 -1 4194304 50488 0 0 0 44908 37 0 0 25 0 1 0 216280046 187797504 45202 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134735909 0 0 4096 0 0 0 0 17 1 0 0
/proc/14899/statm: 45849 45202 245 81 0 45223 0
[pid=14900] ppid=14897 vsize=12268 CPUtime=0
/proc/14900/stat : 14900 (pboutclasp.pl) S 14897 14895 14452 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216280046 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14900/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 464.08
Current children cumulated vsize (KiB) 215116

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

[startup+467.102 s]
/proc/loadavg: 1.00 1.00 0.93 2/81 14900
/proc/meminfo: memFree=1540984/2055920 swapFree=4153836/4192956
[pid=14895] ppid=14893 vsize=14100 CPUtime=0.2
/proc/14895/stat : 14895 (pbclasp) S 14893 14895 14452 0 -1 4194304 905 0 0 0 20 0 0 0 16 0 1 0 216280024 14438400 854 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14895/statm: 3525 854 320 3 0 625 0
[pid=14897] ppid=14895 vsize=5352 CPUtime=14.43
/proc/14897/stat : 14897 (sh) S 14895 14895 14452 0 -1 4194304 297 504 0 0 0 0 1441 2 16 0 1 0 216280046 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14897/statm: 1338 224 188 169 0 49 0
[pid=14899] ppid=14897 vsize=186056 CPUtime=454.25
/proc/14899/stat : 14899 (clasp-1.0) R 14897 14895 14452 0 -1 4194304 51168 0 0 0 45388 37 0 0 25 0 1 0 216280046 190521344 45882 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737366 0 0 4096 0 0 0 0 17 1 0 0
/proc/14899/statm: 46514 45882 245 81 0 45888 0
[pid=14900] ppid=14897 vsize=12268 CPUtime=0
/proc/14900/stat : 14900 (pboutclasp.pl) S 14897 14895 14452 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216280046 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14900/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 468.88
Current children cumulated vsize (KiB) 217776

[startup+473.502 s]
/proc/loadavg: 1.00 1.00 0.93 2/81 14900
/proc/meminfo: memFree=1539064/2055920 swapFree=4153836/4192956
[pid=14895] ppid=14893 vsize=14100 CPUtime=0.2
/proc/14895/stat : 14895 (pbclasp) S 14893 14895 14452 0 -1 4194304 905 0 0 0 20 0 0 0 16 0 1 0 216280024 14438400 854 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14895/statm: 3525 854 320 3 0 625 0
[pid=14897] ppid=14895 vsize=5352 CPUtime=14.43
/proc/14897/stat : 14897 (sh) S 14895 14895 14452 0 -1 4194304 297 504 0 0 0 0 1441 2 16 0 1 0 216280046 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14897/statm: 1338 224 188 169 0 49 0
[pid=14899] ppid=14897 vsize=187952 CPUtime=460.65
/proc/14899/stat : 14899 (clasp-1.0) R 14897 14895 14452 0 -1 4194304 51628 0 0 0 46027 38 0 0 25 0 1 0 216280046 192462848 46342 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737304 0 0 4096 0 0 0 0 17 1 0 0
/proc/14899/statm: 46988 46342 245 81 0 46362 0
[pid=14900] ppid=14897 vsize=12268 CPUtime=0
/proc/14900/stat : 14900 (pboutclasp.pl) S 14897 14895 14452 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216280046 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14900/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 475.28
Current children cumulated vsize (KiB) 219672

[startup+476.701 s]
/proc/loadavg: 1.00 1.00 0.93 2/81 14900
/proc/meminfo: memFree=1538104/2055920 swapFree=4153836/4192956
[pid=14895] ppid=14893 vsize=14100 CPUtime=0.2
/proc/14895/stat : 14895 (pbclasp) S 14893 14895 14452 0 -1 4194304 905 0 0 0 20 0 0 0 16 0 1 0 216280024 14438400 854 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14895/statm: 3525 854 320 3 0 625 0
[pid=14897] ppid=14895 vsize=5352 CPUtime=14.43
/proc/14897/stat : 14897 (sh) S 14895 14895 14452 0 -1 4194304 297 504 0 0 0 0 1441 2 16 0 1 0 216280046 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14897/statm: 1338 224 188 169 0 49 0
[pid=14899] ppid=14897 vsize=189432 CPUtime=463.85
/proc/14899/stat : 14899 (clasp-1.0) R 14897 14895 14452 0 -1 4194304 52146 0 0 0 46347 38 0 0 25 0 1 0 216280046 193978368 46556 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134782592 0 0 4096 0 0 0 0 17 1 0 0
/proc/14899/statm: 47358 46556 245 81 0 46732 0
[pid=14900] ppid=14897 vsize=12268 CPUtime=0
/proc/14900/stat : 14900 (pboutclasp.pl) S 14897 14895 14452 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216280046 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14900/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 478.48
Current children cumulated vsize (KiB) 221152

[startup+477.501 s]
/proc/loadavg: 1.00 1.00 0.93 2/81 14900
/proc/meminfo: memFree=1537784/2055920 swapFree=4153836/4192956
[pid=14895] ppid=14893 vsize=14100 CPUtime=0.2
/proc/14895/stat : 14895 (pbclasp) S 14893 14895 14452 0 -1 4194304 905 0 0 0 20 0 0 0 16 0 1 0 216280024 14438400 854 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14895/statm: 3525 854 320 3 0 625 0
[pid=14897] ppid=14895 vsize=5352 CPUtime=14.43
/proc/14897/stat : 14897 (sh) S 14895 14895 14452 0 -1 4194304 297 504 0 0 0 0 1441 2 16 0 1 0 216280046 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14897/statm: 1338 224 188 169 0 49 0
[pid=14899] ppid=14897 vsize=189560 CPUtime=464.65
/proc/14899/stat : 14899 (clasp-1.0) R 14897 14895 14452 0 -1 4194304 52204 0 0 0 46427 38 0 0 25 0 1 0 216280046 194109440 46614 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737400 0 0 4096 0 0 0 0 17 1 0 0
/proc/14899/statm: 47390 46614 245 81 0 46764 0
[pid=14900] ppid=14897 vsize=12268 CPUtime=0
/proc/14900/stat : 14900 (pboutclasp.pl) S 14897 14895 14452 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216280046 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14900/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 479.28
Current children cumulated vsize (KiB) 221280

[startup+477.901 s]
/proc/loadavg: 1.00 1.00 0.93 2/81 14900
/proc/meminfo: memFree=1537784/2055920 swapFree=4153836/4192956
[pid=14895] ppid=14893 vsize=14100 CPUtime=0.2
/proc/14895/stat : 14895 (pbclasp) S 14893 14895 14452 0 -1 4194304 905 0 0 0 20 0 0 0 16 0 1 0 216280024 14438400 854 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14895/statm: 3525 854 320 3 0 625 0
[pid=14897] ppid=14895 vsize=5352 CPUtime=14.43
/proc/14897/stat : 14897 (sh) S 14895 14895 14452 0 -1 4194304 297 504 0 0 0 0 1441 2 16 0 1 0 216280046 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14897/statm: 1338 224 188 169 0 49 0
[pid=14899] ppid=14897 vsize=189692 CPUtime=465.05
/proc/14899/stat : 14899 (clasp-1.0) R 14897 14895 14452 0 -1 4194304 52235 0 0 0 46467 38 0 0 25 0 1 0 216280046 194244608 46645 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4160248420 0 0 4096 0 0 0 0 17 1 0 0
/proc/14899/statm: 47423 46645 245 81 0 46797 0
[pid=14900] ppid=14897 vsize=12268 CPUtime=0
/proc/14900/stat : 14900 (pboutclasp.pl) S 14897 14895 14452 0 -1 4194304 418 0 0 0 0 0 0 0 16 0 1 0 216280046 12562432 378 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14900/statm: 3067 378 293 3 0 167 0
Current children cumulated CPU time (s) 479.68
Current children cumulated vsize (KiB) 221412

[startup+478.101 s]
/proc/loadavg: 1.00 1.00 0.93 2/81 14900
/proc/meminfo: memFree=1537784/2055920 swapFree=4153836/4192956
[pid=14895] ppid=14893 vsize=14100 CPUtime=0.2
/proc/14895/stat : 14895 (pbclasp) S 14893 14895 14452 0 -1 4194304 905 0 0 0 20 0 0 0 16 0 1 0 216280024 14438400 854 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14895/statm: 3525 854 320 3 0 625 0
[pid=14897] ppid=14895 vsize=5352 CPUtime=14.43
/proc/14897/stat : 14897 (sh) S 14895 14895 14452 0 -1 4194304 297 504 0 0 0 0 1441 2 16 0 1 0 216280046 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14897/statm: 1338 224 188 169 0 49 0
[pid=14899] ppid=14897 vsize=155104 CPUtime=465.25
/proc/14899/stat : 14899 (clasp-1.0) R 14897 14895 14452 0 -1 4194304 52256 0 0 0 46485 40 0 0 25 0 1 0 216280046 158826496 38027 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14899/statm: 38776 38027 12916 81 0 38150 0
[pid=14900] ppid=14897 vsize=12752 CPUtime=0
/proc/14900/stat : 14900 (pboutclasp.pl) S 14897 14895 14452 0 -1 4194304 543 0 0 0 0 0 0 0 16 0 1 0 216280046 13058048 503 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14900/statm: 3188 503 311 3 0 288 0
Current children cumulated CPU time (s) 479.88
Current children cumulated vsize (KiB) 187308

Child status: 0
Real time (s): 478.128
CPU time (s): 479.941
CPU user time (s): 479.48
CPU system time (s): 0.460929
CPU usage (%): 100.379
Max. virtual memory (cumulated for all children) (KiB): 221412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 479.48
system time used= 0.460929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55018
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= 2183
involuntary context switches= 1818

runsolver used 0.413937 second user time and 1.3308 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Tue Apr 24 08:13:43 UTC 2007

IDJOB= 419072
IDBENCH= 47747
IDSOLVER= 167
FILE ID= node4/419072-1177402422

PBS_JOBID= 4675641

Free space on /tmp= 66471 MiB

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

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  30a4aa276f354cb1400ff8ec4e3f19e4

RANDOM SEED= 742284467

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.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.218
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	: 5931.00
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.218
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:       1727216 kB
Buffers:         47248 kB
Cached:         191168 kB
SwapCached:       2712 kB
Active:         138424 kB
Inactive:       128184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1727216 kB
SwapTotal:     4192956 kB
SwapFree:      4153836 kB
Dirty:            7636 kB
Writeback:           0 kB
Mapped:          35400 kB
Slab:            47624 kB
Committed_AS:  6248324 kB
PageTables:       1828 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= 66471 MiB

End job on node4 on Tue Apr 24 08:21:41 UTC 2007