fond
Model Checking Contest @ Petri Nets 2016
6th edition, Toruń, Poland, June 21, 2016
Execution of r221su-smll-146468027500391
Last Updated
June 30, 2016

About the Execution of Marcie for DNAwalker-PT-14ringLRLarge

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
11415.070 3600000.00 3599990.00 49.50 [undef] Time out reached

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.............
=====================================================================
Generated by BenchKit 2-2979
Executing tool marcie
Input is DNAwalker-PT-14ringLRLarge, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r221su-smll-146468027500391
=====================================================================


--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-0
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-1
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-10
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-11
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-12
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-13
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-14
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-15
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-2
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-3
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-4
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-5
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-6
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-7
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-8
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-9

=== Now, execution of the tool begins

BK_START 1464995770645


Marcie rev. 8535M (built: crohr on 2016-04-27)
A model checker for Generalized Stochastic Petri nets

authors: Alex Tovchigrechko (IDD package and CTL model checking)

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

called as: marcie --net-file=model.pnml --mcc-file=CTLFireability.xml --mcc-mode --memory=6 --suppress

parse successfull
net created successfully

Net: DNAwalker_PT_14ringLRLarge
(NrP: 33 NrTr: 312 NrArc: 916)

net check time: 0m 0.000sec

parse formulas
formulas created successfully
place and transition orderings generation:0m 0.001sec

init dd package: 0m 3.769sec


before gc: list nodes free: 412584

after gc: idd nodes used:198408, unused:63801592; list nodes free:393143695

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

check for maximal unmarked siphon
ok
check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok


initing FirstDep: 0m 0.002sec

95 110 121 138 130 129 136 143 153 143 155 140 131 134 151 151 149 153 191 193 187 182 172 193 167 195 212 210 185 185 191 181 187 194 179 178 197 226 227 250 242 265 274 282 254 288 293 302 291 302 302 309 297 300 304 298 292 285 270 245 198 202 216 261 271 278 284 296 306 312 319 284 309 318 301 306 303 315 301 255 217 225 260 256 263 283 277 274 298 305 294 303 294 294 284 279 226 219 241 255 236 276 278 277 268 294 285 272 260 238 212 221 252 256 262 246 201 217 236 251 246 262 265 256 260 268 262 256 232 238 246 246 266 257 266 268 262 260 220 233 224 236 228 228 246 240 233 232 227 226 228 211 230 232 233 226 227 227 227 218 236 340 373 376 358 340 345 447 347 361 385 347 378 401 419 407 399 373 339 362 389 414 438 431 450 440 442 399 392 399 449 465 455 483 473 447 356 396 421 441 442 433 441 438 420 351 366 376 381 367 382 392 393 366 401 402 397 378 390 364 349 715 786 827 829 955 1010 974 1007 1015 1011 1033 961 973 984 985 987 933 962 973 955 968 946 1354 1384 1380 1370 1446 1426 1470 1468 1462 1452 1518 1522 1524 1522 1498 1476 1510 1544 1564 1479 1561 1561 1508 1518 1524 1521 1493 1626 1728 1778 1760 1828 1830 1805 1832 1828 1805 1795 1754 1704 1789 1849 1893 1933 1921 1946 1936 1978 1974 1900 1972 1954 1949 1922 1980 1970 1920 1695 1774 1846 1808 1902 1918 1909 1953 1959 1933 1914 1884 1957 1947 1932 1946 1822 1674 1643 1704 1709 1722 1723 1721 1747 1796 1737 1759 1729 1740 1760 1816 1772 1780 1720 1737 1737 1708 1679 1631 1683 1676 1801 1831 1854 1853 1830 1843 1795 1803 1799 1796 1797 1754 1769 1763 1756 1772 1775 1754 1697 1727 1780 1786 1874 1857 1935 1945 1951 1974 1953 1977 1980 2024 1958 1983 1939 1943 2017 1999 2001 2013 2043 2014 2004 2013 1989 1923 1745 1785 1863 1813 1972 1907 2009 2049 2009 2039 2074 2060 2080 2005 2009 1969 2062 2068 2049 2055 2038 1929 1792 1764 1796 1851 1864 1880 1841 1865 1859 1846 1725 1718 1711 1768 1774 1811 1827 1787 1786 1824 1876 1816 1825 1792 1747 1790 1831 1880 1848 1850 1838 1781 1830 1835 1767 1746 1732 1774 1797 1749 1781 1807 1797 1838 1831 1830 1808 1818 1825 1783 1781 1784 1798 1790 1783 1768 1769 1752 1780 1786 1782 1775 1784 1768 1758 1766 1797 1791 1762 1784 1771 1755 1716 1766 1827 1780 1728 1743 1731 1775 1794 1776 1781 1788 1822 1806 1797 1772 1816 1813 1794 1772 1798 1802 1796 1812 1816 1814 1725 1738 1753 1779 1767 1778 1771 1803 1796 1800 1772 1761 1773 1810 1803 1799 1784 1802 1779 1777 1759 1728 1732 1735 1743 1764 1747 1760 1756 1751 1732 1737 1751 1760 1761 1764 1753 1774 1776 1769 1750 1756 1785 1791 1819 1811 1816 1791 1799 1809 1820 1822 1805 1777 1781 1758 1688 2168 2197 2181 2164 2237 2206 2244 2243 2233 2235 2280 2284 2279 2287 2260 2230 2258 2296 2316 2231 2313 2305 2260 2270 2275 2251 2241 2420 2534 2572 2566 2636 2634 2617 2628 2634 2611 2601 2566 2506 2595 2657 2695 2739 2749 2752 2736 2784 2786 2706 2778 2760 2753 2728 2772 2766 2728 2549 2574 2649 2609 2702 2717 2708 2752 2750 2736 2713 2701 2756 2746 2741 2745 2629 2473 2442 2503 2508 2521 2524 2518 2546 2585 2536 2550 2528 2537 2559 2615 2557 2579 2519 2520 2538 2507 2480 2430 2482 2480 2567 2627 2646 2649 2626 2639 2589 2595 2594 2591 2590 2547 2560 2556 2553 2561 2561 2548 2573 2597 2622 2722 2682 2735 2786 2773 2735 2798 2815 2820 2782 2777 2796 2842 2846 2810 2813 2857 2828 2806 2788 2785 2727 2767 2816 2893 2905 2938 2958 2948 2999 2995 3019 2883 2963 2976 2968 2958 2979 2921 2841 2692 2658 2719 2721 2733 2732 2727 2753 2792 2743 2755 2730 2739 2759 2815 2771 2779 2719 2734 2734 2705 2676 2603 2639 2624 2651 2659 2687 2664 2683 2680 2670 2654 2629 2623 2638 2622 2642 2623 2602 2604 2606 2603 2616 2593 2606 2616 2613 2641 2617 2558 2572 2579 2588 2610 2621 2601 2609 2621 2641 2626 2626 2637 2629 2628 2622 2625 2645 2650 2638 2642 2639 2639 2631 2637 2665 2659 2673 2673 2663 2689 2683 2684 2670 2667 2694 2695 2696 2677 2685 2674 2658 2654 2656 2639 2651 2658 2665 2657 2659 2677 2653 2643 2649 2643 2645 2645 2645 2622 2656 2648 2604 2614 2620 2620 2624 2627 2631 2611 2596 2612 2592 2603 2575 2550 2564 2524 2755 2866 2907 2915 3009 3005 3050 3076 3081 3105 3063 3102 3075 3147 3137 3118 3073 3064 3133 3153 3125 3147 3189 3158 3139 3139 3134 3051 2824 2860 2939 2920 3049 2985 3088 3106 3106 3110 3145 3159 3139 3094 3075 3094 3125 3104 3093 3117 3145 3052 2945 2826 2862 2921 2931 2970 2884 2913 2940 2949 2860 2780 2800 2853 2785 2866 2900 2873 2859 2917 2920 2923 2914 2902 2870 2850 2923 2931 2938 2939 2907 2881 2881 2922 2857 2849 2815 2848 2878 2876 2841 2875 2889 2904 2910 2912 2894 2887 2904 2884 2844 2853 2868 2866 2852 2862 2848 2823 2851 2862 2860 2845 2856 2842 2818 2837 2847 2847 2815 2837 2826 2810 2781 2746 2787 2749 2802 2763 2836 2821 2797 2849 2866 2817 2758 2738 2738 2760 2766 2787 2811 2811 2787 2792 2822 2838 2825 2820 2787 2837 2828 2806 2794 2806 2800 2800 2818 2813 2824 2783 2755 2769 2798 2778 2811 2806 2792 2807 2809 2818 2797 2772 2812 2823 2828 2814 2805 2817 2798 2792 2783 2755 2773 2777 2782 2786 2753 2791 2774 2774 2746 2754 2763 2783 2777 2779 2763 2776 2783 2769 2745 2750 2770 2774 2788 2788 2798 2766 2761 2774 2767 2774 2770 2747 2744 2748 2714 2564 2590 2597 2596 2564 2539 2560 2643 2662 2645 2660 2489 2503 2513 2483 2253 2270 2265 2286 2300 2308 2294 2315 2344 2324 2320 2311 2322 2335 2321 2299 2313 2316 2319 2325 2333 2340 2234 2238 2243 2280 2279 2285 2259 2296 2300 2307 2288 2269 2283 2296 2314 2308 2283 2310 2281 2280 2271 2246 2246 2251 2251 2263 2247 2253 2266 2246 2234 2223 2221 2207 2202 2206 2177 2207 2212 2192 2169 2161 2158 2171 2169 2183 2186 2160 2151 2166 2150 2142 2132 2100 2094 2087 2041 2272 2297 2306 2315 2366 2330 2388 2372 2390 2363 2393 2403 2423 2404 2401 2353 2378 2420 2454 2411 2444 2462 2434 2431 2440 2420 2406 2427 2403 2467 2479 2635 2539 2672 2716 2719 2641 2724 2771 2769 2743 2721 2692 2731 2745 2721 2726 2778 2765 2744 2751 2734 2561 2464 2490 2562 2559 2595 2613 2587 2644 2643 2658 2498 2594 2602 2599 2589 2610 2562 2457 2281 2239 2303 2297 2307 2303 2295 2323 2356 2306 2317 2285 2288 2306 2366 2327 2333 2273 2283 2286 2254 2223 2162 2079 2104 2106 2128 2146 2148 2123 2151 2171 2157 2164 2156 2159 2173 2158 2146 2133 2138 2149 2157 2162 2169 2098 2087 2091 2130 2090 2138 2120 2119 2139 2134 2134 2111 2103 2138 2139 2147 2115 2143 2119 2121 2113 2093 2071 2088 2093 2098 2084 2084 2098 2088 2071 2056 2048 2045 2044 2051 2025 2024 2043 2036 1994 2015 2004 2007 1990 2009 2015 2013 1980 1994 1983 1967 1967 1936 1922 1905 1869 1795 1875 1853 1863 1915 1923 1933 1979 1981 1976 1988 2023 2032 2022 2066 2014 2026 2020 2070 2102 2084 2084 2060 2106 2056 2054 2072 2046 2060 1968 2031 2078 2090 2102 2161 2181 2139 2229 2239 2251 2240 2261 2299 2287 2301 2249 2193 2287 2221 2309 2291 2279 2271 2263 2219 2211 2121 1991 2006 2029 2142 2092 2156 2166 2184 2111 2227 2243 2259 2241 2203 2239 2265 2239 2245 2233 2209 2237 2217 2128 1962 2007 2024 2037 2042 2069 2069 2017 2046 2076 2144 2095 2117 2090 2021 2069 2105 2169 2113 2137 2105 2089 2121 2093 2037 1995 1988 2001 2027 2067 2088 2114 2099 2145 2129 2133 2106 2125 2132 2088 2084 2097 2100 2084 2097 2083 2075 2065 2080 2084 2086 2077 2100 2091 2067 2070 2074 2076 2076 2042 2066 2075 2068 2054 2038 2349 2357 2391 2416 2465 2474 2402 2493 2525 2512 2494 2514 2522 2537 2523 2528 2494 2489 2512 2548 2459 2538 2546 2505 2503 2518 2500 2436 2344 2359 2378 2394 2421 2426 2439 2470 2471 2451 2456 2474 2497 2483 2479 2454 2495 2487 2476 2465 2468 2466 2474 2478 2476 2481 2437 2409 2420 2446 2440 2457 2458 2444 2474 2463 2469 2449 2422 2465 2485 2483 2470 2462 2475 2445 2440 2435 2407 2427 2425 2436 2437 2405 2448 2429 2431 2405 2406 2421 2439 2434 2432 2423 2440 2443 2428 2409 2408 2432 2440 2448 2459 2456 2422 2413 2431 2428 2435 2438 2414 2406 2402 2375 2745 2782 2800 2782 2869 2830 2848 2864 2877 2888 2780 2886 2868 2886 2876 2865 2816 2829 2889 2871 2853 2856 2883 2862 2866 2844 2832 2757 2686 2693 2684 2682 2704 2713 2727 2736 2714 2734 2756 2756 2750 2741 2747 2758 2754 2745 2757 2752 2759 2757 2751 2755 2742 2750 2755 2790 2758 2807 2793 2792 2801 2804 2805 2787 2794 2815 2812 2816 2796 2809 2806 2781 2777 2777 2755 2780 2787 2793 2790 2785 2799 2783 2774 2771 2781 2781 2781 2785 2777 2793 2789 2778 2787 2776 2788 2791 2790 2794 2778 2792 2777 2772 2789 2760 2773 2771 2745 2714 2716 2739 2739 2738 2686 2694 2722 2718 2753 2764 2745 2750 2761 2792 2774 2778 2766 2779 2782 2771 2764 2748 2747 2762 2763 2765 2775 2742 2696 2709 2727 2734 2734 2741 2737 2764 2759 2759 2731 2723 2732 2761 2763 2759 2742 2764 2732 2728 2720 2696 2691 2693 2698 2731 2702 2713 2718 2704 2690 2690 2685 2669 2668 2670 2649 2655 2676 2658 2620 2646 2638 2638 2621 2645 2653 2635 2604 2603 2610 2592 2586 2560 2575 2559 2529 2614 2662 2709 2656 2777 2726 2758 2782 2769 2785 2704 2786 2778 2824 2791 2788 2736 2762 2767 2746 2745 2760 2778 2764 2758 2760 2733 2670 2582 2567 2576 2604 2608 2645 2647 2627 2633 2636 2675 2660 2650 2641 2655 2664 2652 2641 2635 2642 2643 2654 2648 2660 2626 2574 2594 2612 2609 2615 2623 2611 2645 2630 2644 2617 2585 2622 2637 2656 2638 2612 2635 2613 2609 2602 2574 2573 2580 2590 2606 2582 2592 2592 2582 2572 2560 2558 2557 2545 2546 2525 2552 2555 2532 2518 2510 2507 2525 2515 2524 2529 2505 2483 2498 2490 2467 2470 2451 2439 2430 2407 2592 2707 2737 2753 2714 2660 2652 2661 2647 2473 2691 2372 2387 2377 2403 2403 2410 2413 2429 2436 2433 2425 2424 2437 2440 2464 2458 2452 2438 2445 2437 2444 2446 2449 2442 2431 2432 2447 2444 2464 2451 2458 2449 2458 2449 2452 2434 2453 2465 2472 2494 2480 2489 2508 2494 2469 2490 2517 2513 2503 2515 2481 2488 2487 2487 2507 2515 2520 2507 2499 2507 2520 2484 2488 2482 2474 2469 2465 2451 2469 2475 2475 2489 2470 2471 2486 2481 2462 2462 2436 2455 2458 2458 2462 2481 2464 2469 2473 2467 2467 2480 2489 2495 2491 2485 2497 2503 2512 2495 2521 2527 2515 2527 2514 2536 2527 2495 2488 2502 2499 2503 2481 2483 2480 2459 2449 2466 2458 2434 2413 2509 2523 2506 2512 2537 2524 2526 2539 2530 2546 2534 2540 2531 2545 2512 2534 2511 2548 2559 2553 2559 2556 2542 2520 2550 2518 2528 2498 2509 2519 2516 2517 2518 2494 2528 2532 2527 2519 2531 2536 2529 2528 2542 2517 2548 2564 2561 2538 2543 2561 2538 2537 2546 2541 2523 2443 2464 2461 2452 2474 2465 2467 2477 2462 2478 2483 2484 2480 2489 2480 2477 2436 2486 2498 2477 2494 2487 2469 2461 2473 2460 2462 2419 2760 2792 2804 2804 2878 2861 2904 2915 2912 2930 2900 2923 2904 2947 2934 2957 2937 2936 2972 3005 2974 3000 3004 2978 2975 2977 2964 2967 2899 2978 3084 3164 3250 3278 3333 3363 3362 3341 3400 3359 3384 3423 3399 3263 3351 3401 3360 3421 3409 3386 3389 3422 3414 3348 3186 3222 3255 3259 3314 3345 3216 3317 3387 3382 3345 3313 3276 3381 3380 3373 3379 3298 3075 3052 3092 3020 3094 3108 3028 3093 3109 3116 3112 3070 3024 3102 3124 3127 3117 3083 3051 3072 3036 3029 2972 2925 2937 2957 2959 2992 3002 2976 2985 3003 3027 3012 3007 2998 3021 3020 2998 2977 3003 3011 3010 3022 3022 3000 2931 2946 2971 2970 2975 2978 2975 3002 2996 3004 2976 2944 2989 3014 3017 2994 2989 3008 2981 2980 2963 2933 2940 2945 2951 2962 2926 2968 2952 2950 2920 2915 2923 2937 2933 2930 2919 2942 2931 2916 2905 2930 2939 2947 2964 2961 2971 2936 2960 2951 2961 2975 2950 2939 2935 2908 2936 3045 3056 3057 3058 3058 3054 3058 3064 3056 3052 3030 3253 3282 3292 3265 3354 3313 3362 3370 3362 3374 3285 3373 3365 3416 3380 3381 3363 3391 3429 3426 3394 3407 3436 3410 3423 3422 3427 3398 3406 3396 3443 3525 3661 3626 3718 3732 3751 3691 3747 3758 3809 3752 3788 3655 3766 3780 3699 3785 3812 3804 3787 3822 3773 3672 3528 3580 3637 3519 3650 3673 3657 3691 3717 3698 3582 3654 3647 3659 3695 3664 3697 3550 3368 3352 3390 3376 3402 3372 3363 3406 3413 3385 3396 3359 3337 3399 3409 3387 3392 3364 3348 3365 3313 3290 3208 3189 3194 3216 3229 3256 3263 3227 3257 3274 3280 3271 3266 3263 3288 3276 3261 3234 3234 3253 3266 3270 3275 3226 3194 3203 3229 3215 3242 3237 3223 3238 3242 3251 3217 3218 3244 3262 3261 3246 3240 3233 3220 3217 3210 3184 3202 3199 3191 3197 3181 3205 3190 3187 3145 3150 3145 3158 3152 3149 3140 3157 3155 3124 3110 3112 3121 3107 3136 3140 3130 3091 3107 3108 3109 3095 3067 3072 3059 3014 2709 2530 2489 2536 2530 2552 2557 2629 2606 2672 2673 2669 2679 2656 2693 2699 2743 2681 2700 2674 2696 2755 2742 2728 2737 2768 2753 2746 2753 2725 2721 2771 2878 2948 3036 3164 3143 3210 3212 3235 3217 3241 3214 3281 3285 3272 3142 3224 3265 3190 3278 3293 3281 3272 3313 3265 3196 3049 3089 3128 3072 3191 3221 3170 3242 3264 3255 3190 3198 3201 3232 3237 3213 3217 3161 2905 2917 2949 2929 2969 2945 2936 2984 2975 2969 2967 2935 2939 2984 2981 2974 2989 2944 2948 2960 2929 2884 2816 2802 2805 2832 2841 2871 2876 2851 2861 2889 2895 2888 2884 2874 2894 2894 2879 2872 2863 2880 2888 2899 2898 2858 2807 2822 2848 2842 2863 2861 2846 2876 2867 2873 2849 2848 2881 2887 2889 2866 2872 2863 2850 2847 2834 2815 2822 2828 2827 2832 2812 2843 2830 2819 2780 2792 2797 2820 2812 2809 2808 2818 2816 2788 2804 2815 2834 2821 2851 2852 2856 2820 2846 2848 2864 2849 2834 2824 2821 2774 2576 2210 2225 2604 2595 2602 2550 2647 2638 2625 2624 2664 2667 2665 2654 2571 2633 2703 2683 2691 2703 2711 2676 2691 2700 2661 2649 2650 2609 2655 2732 2664 2733 2742 2693 2730 2742 2732 2726 2689 2701 2705 2753 2751 2706 2691 2685 2670 2637 2625 2600 2586 2831 2894 2892 2814 3020 2975 2792 2804 2861 2892 2930 2928 2928 2915 2935 2886 2861 2938 2974 3003 2944 3032 3001 2965 2800 2858 2902 2916 2927 2934 2925 2917 2899 2778 2782 2788 2871 2760 2790 2804 2810 2819 2741 2759 2769 2774 2759 2734 2725 2734 2689 2701 2657 2954 3032 2975 3088 3131 2988 2930 2990 2991 2962 2985 2981 2953 2962 2969 2937 2962 2965 2897 2880 2968 2985 2975 2987 2973 2994 2924 2967 2959 3007 3116 3012 2998 2999 3004 3012 3002 2991 2979 3002 2982 2996 2985 2966 2980 2986 2994 2968 3352 3474 3488 3402 3561 3555 3340 3365 3400 3408 3360 3402 3397 3364 3380 3386 3351 3370 3371 3399 3416 3432 3420 3435 3435 3409 3422 3419 3420 3399 3295 3302 3357 3363 3352 3351 3337 3354 3281 3279 3287 3249 3401 3313 3369 3243 3265 3272 3262 3284 3224 3235 3241 3245 3244 3210 3205 3197 3165 3153 3063 3292 3416 3495 3408 3537 3510 3487 3501 3503 3480 3348 3415 3400 3279 3192 3212 3223 3222 3232 3187 3206 3204 3209 3201 3178 3156 3158 3128 3112 3055 3211 3254 3238 3273 3354 3309 3181 3190 3233 3258 3260 3316 3259 3254 3131 3156 3162 3167 3182 3173 3193 3203 3202 3196 3193 3185 3198 3179 3200 3179 3329 3370 3473 3571 3531 3582 3559 3561 3567 3584 3544 3365 3536 3525 3505 3427 3454 3470 3469 3481 3424 3447 3455 3460 3449 3426 3421 3430 3396 3398 3377 3563 3735 3767 3829 3813 3832 3658 3765 3764 3782 3697 3600 3726 3584 3612 3589 3607 3612 3595 3622 3562 3564 3558 3576 3553 3530 3518 3518 3492 3456 3172 3162 3168 3268 3315 3419 3412 3448 3368 3380 3348 3396 3330 3231 3404 3400 3366 3296 3325 3324 3327 3348 3286 3305 3315 3310 3308 3276 3285 3292 3261 3264 3221 2965 2959 3173 3259 3348 3372 3421 3436 3424 3453 3453 3435 3476 3434 3448 3444 3396 3337 3299 3372 3498 3429 3522 3536 3541 3571 3591 3437 3565 3559 3540 3541 3448 3309 3163 3228 3226 3280 3303 3318 3345 3264 3300 3312 3345 3291 3151 3093 3087 3129 3093 3144 3159 3144 3100 3098 3158 3140 3129 3112 3094 3051 2998 3059 3092 3108 3137 3123 3165 3149 3152 3119 3143 3151 3082 3105 3114 3120 3103 3117 3106 3097 3089 3101 3102 3085 3114 3108 3087 3089 3091 3096 3065 3092 3074 3079 3058 3500 3517 3505 3564 3599 3606 3574 3644 3616 3581 3603 3589 3593 3612 3602 3528 3500 3504 3511 3542 3559 3578 3576 3597 3592 3574 3600 3582 3585 3571 3586 3590 3540 3530 3556 3564 3568 3559 3543 3572 3554 3548 3516 3538 3523 3538 3549 3554 3535 3544 3551 3536 3530 3551 3557 3564 3572 3566 3540 3546 3570 3563 3550 3533 3518 3713 4057 4102 4141 4126 4183 4188 4146 4181 4179 4099 4171 4158 4157 4170 4143 4016 4059 4059 4077 4093 4111 4115 4137 4129 4138 4132 4115 4135 4146 4144 4130 4136 4168 4176 4185 4169 4166 4186 4176 4163 4159 4159 4166 4177 4180 4165 4185 4173 4171 4186 4183 4188 4188 4172 4181 4176 4173 4160 4180 4167 4103 4137 4164 4160 4141 4019 4047 4068 4083 4080 4096 4097 4085 4104 4083 4083 4082 4088 4091 4045 4035 4063 4059 4061 4057 4038 4067 4048 4043 4020 4019 4000 3986 3997 3991 3974 3965 3988 3971 3955 3962 3966 3948 3957 3943 3927 3926 3919 3908 3888 3883 3858 3901 3848 3903 3980 3926 3978 3977 4017 3999 4001 3886 3987 3966 3968 3934 3909 3802 3759 3788 3800 3819 3796 3831 3839 3841 3846 3827 3802 3820 3836 3838 3804 3763 3790 3795 3799 3800 3766 3803 3796 3784 3774 3759 3740 3743 3726 3724 3721 3711 3726 3720 3682 3701 3707 3684 3705 3699 3661 3684 3665 3654 3635 3625 3622 3581 3603 3621 3632 3640 3657 3652 3664 3670 3689 3677 3669 3681 3680 3668 3657 3665 3673 3674 3669 3662 3664 3665 3693 3691 3677 3700 3688 3660 3691 3706 3685 3677 3675 3671 3633 3651 3663 3645 3669 3648 3664 3658 3640 3665 3668 3659 3668 3646 3644 3653 3671 3653 3667 3655 3669 3647 3638 3654 3649 3632 3631 3615 3619 3621 3604 3589 3652 3671 3656 3689 3708 3711 3705 3730 3719 3702 3737 3718 3732 3734 3723 3689 3743 3764 3794 3788 3787 3782 3797 3769 3764 3770 3783 3781 3784 3776 3760 3738 3736 3750 3742 3762 3765 3757 3746 3745 3687 3730 3713 3702 3694 3678 3799 3833 3847 3924 3924 3944 3935 3955 3931 3930 3912 3974 3959 3946 3940 3903 3839 3845 3816 3838 3863 3874 3871 3902 3893 3888 3898 3883 3878 3884 3875 3889 3820 3834 3848 3857 3865 3846 3843 3868 3845 3845 3810 3804 3788 3796 3811 3812 3807 3794 3810 3807 3768 3796 3805 3798 3817 3818 3787 3785 3795 3808 3782 3774 3763 3740 3773 3946 3957 3976 3966 3986 3996 3994 3990 3970 4008 4043 4091 4087 4146 4145 4114 4140 4144 4069 4135 4116 4126 4136 4101 4034 4031 3998 4004 4043 4034 4050 4080 4067 4072 4068 4046 4050 4057 4057 4045 3994 4006 3997 4004 4035 4010 4016 4032 4010 4007 3976 3944 3949 3967 3967 3970 3955 3968 3967 3967 3952 3958 3982 3998 3990 3970 3970 3979 3985 3964 3947 3933 3915 3855 3845 3845 3799 3769 3713 3673 3681 3677 3712 3769 3769 3746 3800 3781 3757 3757 3737 3731 3750 3735 3690 3630 3636 3677 3703 3735 3738 3741 3771 3760 3760 3764 3750 3739 3748 3751 3754 3689 3695 3712 3712 3727 3714 3702 3726 3716 3699 3680 3658 3656 3657 3676 3682 3662 3658 3671 3661 3650 3666 3674 3653 3677 3679 3645 3657 3655 3670 3645 3624 3623 3588 3521 3515 3519 3492 3496 3454 3448 3500 3444 3460 3607 3598 3539 3588 3647 3660 3701 3636 3596 3569 3633 3686 3677 3763 3718 3631 3701 3732 3682 3617 3613 3489 3538 3664 3669 3698 3779 3738 3729 3716 3778 3729 3696 3641 3684 3751 3790 3747 3707 3709 3694 3649 3574 3577 3528 3646 3737 3648 3682 3732 3790 3754 3763 3792 3822 3821 3799 3775 3780 3793 3818 3838 3828 3868 3849 3796 3820 3812 3814 3793 3776 3779 3692 3753 3796 3778 3794 3808 3796 3776 3821 3797 3799 3786 3772 3780 3810 3790 3778 3773 3769 3761 3740 3710 3710 3673 3731 3760 3889 3942 3870 3792 3835 3879 3599 3578 3608 3584 3702 3813 3768 3417 3436 3439 3457 3445 3472 3475 3464 3478 3474 3466 3484 3483 3482 3486 3456 3449 3480 3485 3481 3491 3471 3471 3503 3476 3476 3470 3470 3455 3457 3464 3460 3470 3457 3487 3501 3491 3468 3444 3463 3476 3453 3477 3477 3442 3435 3438 3448 3439 3413 3394 3377 3348 3339 3445 3469 3448 3479 3480 3495 3488 3485 3517 3505 3507 3497 3490 3475 3528 3518 3527 3543 3537 3539 3523 3520 3549 3551 3533 3564 3535 3502 3549 3557 3568 3563 3578 3561 3567 3574 3568 3596 3583 3585 3576 3565 3455 3455 3501 3501 3499 3513 3504 3533 3522 3512 3544 3528 3534 3527 3498 3483 3521 3524 3537 3545 3551 3536 3537 3535 3546 3557 3544 3561 3551 3524 3370 3346 3355 3352 3368 3334 3351 3362 3321 3368 3353 3348 3334 3316 3241 3634 3680 3746 3746 3815 3817 3780 3832 3828 3805 3840 3838 3846 3874 3848 3799 3854 4068 4165 4152 4249 4265 4304 4292 4264 4283 4277 4285 4319 4275 4030 4020 4073 4136 4076 4159 4117 4155 4128 4133 4045 3832 3812 3827 3858 3830 3861 3873 3845 3878 3866 3871 3874 3880 3874 3779 3804 3802 3816 3833 3803 3836 3823 3823 3788 3778 3787 3797 3795 3792 3782 3804 3793 3773 3762 3785 3809 3793 3823 3826 3809 3795 3811 3810 3821 3814 3785 3786 3756 3666 3974 3986 3990 3973 3983 3989 3989 3999 3982 4293 4291 4349 4340 4400 4406 4359 4405 4401 4374 4401 4398 4367 4423 4405 4372 4345 4515 4624 4573 4704 4714 4772 4756 4716 4762 4727 4750 4765 4699 4452 4442 4467 4530 4472 4535 4479 4511 4508 4519 4368 4170 4142 4152 4179 4159 4183 4197 4189 4206 4185 4190 4193 4202 4184 4106 4127 4127 4137 4138 4103 4148 4124 4129 4093 4082 4082 4091 4083 4080 4065 4088 4086 4059 4028 4039 4060 4029 4052 4058 4042 4024 4033 4029 4024 4004 3982 3976 3949 3854 4472 4543 4614 4680 4713 4647 4722 4720 4664 4722 4713 4720 4735 4703 4455 4457 4505 4518 4521 4534 4534 4373 4516 4498 4511 4391 4157 4122 4140 4164 4178 4175 4179 4190 4192 4199 4191 4172 4195 4198 4199 4202 4140 4151 4174 4175 4179 4190 4175 4181 4195 4178 4165 4132 4138 4153 4171 4165 4169 4151 4174 4181 4173 4144 4165 4185 4193 4206 4193 4196 4212 4198 4168 4194 4182 4189 4182 4183 4165 4155 4158 4138 4107 4505 4503 4536 4536 4591 4593 4562 4626 4599 4571 4611 4601 4602 4622 4610 4602 4621 4753 4829 4907 4991 5002 5047 5033 5012 4991 5010 5026 5047 5003 4825 4746 4783 4797 4772 4796 4769 4767 4740 4782 4729 4440 4378 4395 4438 4425 4441 4463 4450 4463 4444 4453 4455 4460 4474 4368 4367 4380 4374 4406 4384 4397 4391 4389 4371 4348 4347 4331 4335 4328 4322 4338 4339 4326 4270 4283 4299 4283 4285 4289 4286 4251 4268 4260 4248 4243 4222 4205 4196 4137 4145 4112 4164 4106 4132 4262 4257 4182 4247 4277 4317 4364 4281 4254 4221 4286 4339 4335 4428 4376 4295 4365 4386 4329 4260 4252 4132 4190 4320 4326 4363 4451 4405 4402 4388 4445 4399 4356 4305 4346 4406 4450 4405 4351 4350 4342 4292 4202 4204 4143 3937 3784 4088 4151 4190 4281 4213 4314 4327 4349 4347 4341 4243 4372 4365 4357 4363 4322 4427 4463 4633 4737 4745 4826 4835 4885 4883 4821 4864 4861 4866 4872 4813 4573 4579 4632 4719 4684 4746 4682 4728 4708 4731 4594 4399 4388 4403 4430 4416 4443 4446 4438 4452 4427 4449 4455 4457 4425 4357 4385 4385 4398 4397 4369 4421 4395 4392 4355 4348 4357 4372 4368 4366 4353 4377 4374 4345 4338 4359 4377 4369 4386 4393 4380 4369 4381 4389 4396 4378 4356 4352 4326 4406 4554 4601 4677 4754 4793 4724 4800 4796 4693 4804 4785 4790 4796 4775 4513 4534 4560 4582 4579 4596 4596 4435 4578 4566 4573 4423 4224 4172 4190 4216 4226 4224 4240 4244 4242 4252 4241 4222 4248 4252 4247 4252 4188 4200 4221 4216 4224 4233 4213 4227 4239 4208 4209 4187 4179 4187 4204 4190 4194 4176 4206 4206 4192 4169 4190 4214 4213 4222 4212 4215 4224 4219 4187 4211 4201 4199 4197 4204 4179 4170 4171 4152 4117 3935 3915 3942 3855 4002 3974 3897 3988 4046 4046 4023 3994 3867 3948 4029 4032 4062 4096 4070 4017 4022 4060 3984 3953 3947 3856 3924 4035 3959 4045 4097 4045 4048 4109 4063 4061 4000 3993 4010 4092 4075 4020 3984 4001 3965 3916 3846 3822 3745 3307 3291 3840 3968 4079 4098 4184 4231 4155 4225 4222 4112 4236 4216 4224 4229 4207 4050 4131 4152 4234 4300 4339 4341 4351 4368 4225 4341 4327 4306 4288 4200 3857 3836 3893 3930 3917 3940 3950 3887 3904 3909 3919 3884 3678 3673 3646 3666 3677 3689 3690 3688 3699 3716 3703 3692 3709 3716 3703 3720 3720 3725 3720 3716 3710 3702 3701 3720 3717 3714 3733 3713 3697 3730 3733 3718 3708 3695 3722 3702 3743 3740 3761 3755 3760 3756 3712 3740 3765 3763 3753 3760 3732 3750 3755 3779 3809 3801 3805 3812 3822 3820 3809 3752 3760 3760 3778 3765 3753 3747 3713 3701 3692 3700 3668 3623 3753 3800 3738 3843 3869 3864 3781 3843 3832 3792 3805 3789 3821 3810 3752 3652 3293 3280 3322 3313 3377 3391 3303 3325 3330 3240 3329 3278 3295 3256 3185 3061 2888 2880 2893 2869 2961 2919 2913 2900 2958 2952 2956 2932 2854 2890 2961 2900 2949 2965 2938 2918 2964 2962 2922 2910 2883 2867 2852 2944 2903 2956 2945 2917 2948 2950 2930 2935 2895 2902 2931 2960 2971 2925 2912 2911 2885 2839 2784 2805 2754 5680 6282 6366 6354 6463 6589 6462 6613 6646 6639 6760 6701 6733 6803 6817 6800 6750 6705 6796 6754 6867 6859 6810 6853 6832 6778 6742 6717 6801 6822 6848 6877 6866 6878 6875 6837 6800 6810 6859 6856 6823 6814 6806 6736 6723 6599 6757 6799 6655 6500 6523 6549 6608 6501 6565 6617 6618 6588 6506 6501 6584 6573 6632 6611 6548 6606 6572 6526 6452 6422 6521 6491 6597 6608 6574 6602 6578 6526 6496 6559 6588 6540 6492 6500 6437 6331 6302 6316 6344 6353 6359 6168 6156 6172 6120 6260 6241 6174 6235 6283 6267 6280 6236 6159 6208 6276 6269 6276 6296 6270 6263 6296 6307 6250 6232 6232 6147 6205 6276 6225 6271 6297 6270 6273 6308 6286 6287 6250 6269 6278 6342 6325 6303 6272 6282 6257 6230 6204 6177 6126 12228 12744 12644 12900 13147 13157 12899 13214 13339 13318 13322 13243 13195 13162 13356 13351 13429 13389 13390 13511 13461 13324 13340 13187 13311 13479 13428 13554 13542 13515 13562 13575 13585 13494 13585 13733 13766 13686 13700 13695 13672 13526 13587 13411 13627 14167 14591 14689 15065 14850 14308 13989 14121 14088 14275 14143 14604 14633 14463 14543 14612 14825 14716 14848 14746 14656 14248 14585 14762 14800 14803 14952 14924 14871 14914 15039 15058 14997 14781 14789 14761 14497 14664 14691 14928 14886 14929 15115 15049 14889 15027 15162 15199 15147 15073 14903 15154 15262 15325 15321 15376 15238 15229 15172 15206 15177 15029 14904 14925 14839 14454 14930 15304 15143 15163 14956 14533 14411 16007 16687 17192 17453 17337 19756 19830 19338 19378 19306 19883 21198 21105 21025 20888 21411 24199 24151 23396 23251 22890 22691 22050 21430 22680 22656 22936 22914 22725 23711 23885 23938 24468 24225 23526 22643 22598 22433 20906 21480 21864 22632 22408 22288 22248 22840 22200 22724 22880 23008 23464 23304 22840 23045 23193 23077 23173 23249 23041 23521 23945 23717 24945 24657 25173 24725 25601 24801 24498 25054 25566 25234 23918 22326 21905 21137 21056 19765 18798 19151 19593 19729 19764 19458 18980 18604 19128 19352 19332 19246 18916 18263 17137 16021 15661 16631 17036 17282 17618 17419 17988 17698 17634 17689 18413 19204 18910 18858 19383 20149 19910 21151 21775 21270 20861 20773 20770 20967 21637 21681 21945 21462 21030 20568 20401 20689 21277 20965 21353 20989 21004 21276 21268 21060 22008 22640 22420 22612 22640 22476 22233 22925 22053 20721 20291 19988 18922 18712 18891 19151 19058 19222 18540 18523 18428 18682 18758 18758 18559 18424 17788 18508 18804 19127 18707 19331 19133 19265 19012 18850 20360 19763 19987 20831 20835 20371 22183 21681 21273 21015 21282 21404 21996 22592 21848 21428 20403 20947 21063 21819 21543 21603 21851 21287 21393 21617 21613 21833 22101 22581 22561 22745 23249 22857 22422 22910 22910 22058 20217 20319 20220 19294 19351 19527 19579 19592 19713 19283 19043 18779 19037 19071 19071 19069 18909 18639 17976 16950 16954 17030 16934 17020 16940 17686 17578 17578 17398 17234 17201 17149 17205 17101 17201 17117 16952 16896 16754 16846 16986 17050 16765 16921 17181 17109 17281 17337 17249 17437 17117 16714 16462 16502 15886 15558 15678 15734 15738 15806 15794 15742 15910 15854 16010 15926 16034 15902 15950 15874 15930 16014 15894 16038 16070 16006 15786 15862 15910 15933 15861 15927 15735 15930 15898 15770 16370 16362 16386 16614 16198 16261 16293 16157 16977 17017 17209 17007 16793 16911 16823 16725 18257 18137 18297 18221 18101 17731 17583 17825 17473 17310 17557 17381 17141 17319 17715 17458 17482 17954 17810 17485 17629 18141 18341 18129 18333 18616 18657 18381 17905 17433 17921 18189 17925 17647 17055 18293 18201 17945 17949 18289 18297 18509 18833 18973 18989 18937 18765 18609 18569 18413 18497 18377 18582 18534 18494 18550 18494 18782 18822 18698 18473 18337 18513 18029 18213 18490 18405 18587 18559 18663 18783 18835 18767 18543 18551 18715 18851 18843 18855 18863 18895 18675 18847 18751 18827 18712 18561 18771 19267 19645 19123 19047 20075 20058 20043 19531 19891 20127 19883 20287 20383 20713 20217 20075 19836 19332 19940 20113 20554 20140 20100 20172 19944 19681 18825 19416 19564 18996 18944 18948 19091 18465 17732 17761 17940 18052 18023 18192 18323 18180 18127 18422 18202 18216 18323 18457 18295 18205 18471 18756 18502 18468 18642 18394 18364 18245 18343 18134 18158 18126 18120 17878 17951 18990 19160 19244 19304 19292 19515 19249 18954 18656 19207 19275 19504 19258 19172 18918 18518 18366 18422 18422 18534 18386 18762 18838 18778 18658 18634 18482 18394 18378 18638 18526 18505 18369 18421 18445 18487 18399 18495 18743 18911 18999 19051 18903 18727 18769 18637 18485 19269 19257 19375 19171 18959 19041 18933 18831 19697 20337 20225 20225 20229 19705 19607 19667 19611 19415 19431 19675 19307 19137 19261 19653 19408 19407 19881 19731 19426 19282 20130 20199 20011 19883 20479 20503 20283 20171 19529 19467 19732 19984 19816 19518 18938 20098 20090 19812 19710 20042 20070 19998 20834 20660 20764 20700 20682 20526 20362 20290 20206 20169 20170 20459 20287 20327 20337 20275 20675 20615 20507 20238 20120 20246 20016 19904 20209 20130 20308 20292 20388 20504 20556 20492 20276 20124 20197 20401 20409 20433 20473 20525 20322 20494 20362 20490 20398 20522 20446 20186 20090 20673 20834 21087 20733 21053 21469 21745 21453 21197 21829 21709 21553 21941 22029 22351 21875 21745 21600 21028 21328 21678 22290 21748 21676 22096 21508 21448 20901 20037 21160 20692 20456 20519 20484 20631 19984 19251 19083 19421 19548 19402 19517 19697 19510 19471 19753 19541 19549 19671 19815 19635 19554 19703 19915 19745 19715 19891 19631 19611 19337 19545 19343 19379 19340 19458 19082 19073 19830 19992 20186 19965 20066 20086 19942 20104 19961 19934 19727 19490 19902 19945 20077 19887 19771 19728 19566 19386 18999 18916 18948 19043 19027 19103 19319 19367 19279 19231 19215 19087 19087 19123 19164 18988 19012 18980 19084 18972 19044 19060 18900 19424 19424 19496 19552 19368 19177 19185 19253 19229 19417 19405 19245 19053 19877 19969 20007 19797 19724 19544 19772 19467 19358 20964 20862 20858 20858 20902 20390 20503 20283 20469 20314 20072 20006 20217 20360 19726 19857 20279 20319 20046 19984 20296 20408 20316 20020 20301 20625 20912 20576 20446 20966 20969 21172 20766 20476 20165 20389 20683 20392 20302 19745 20779 20457 20377 20361 20665 20633 20857 21361 21295 21303 21273 21165 20961 20889 20792 20759 20756 20968 20876 20955 20892 20860 21392 21168 21076 20715 20881 20835 20614 20438 20509 20625 20555 20667 20929 20889 20522 20828 20963 21015 20911 21003 20649 20705 20773 20769 20897 20769 20807 20919 20795 20847 20629 20575 21183 21318 21895 21237 21189 21762 22038 22236 22034 21566 21442 22432 22010 21942 22326 22446 22738 22516 22078 21950 21862 21700 21860 22098 22799 22481 22177 22142 22608 21982 21958 21648 21422 21496 21840 21434 21122 21089 21062 21414 21246 20624 19918 19834 19738 19996 20148 20064 20175 20297 20221 20135 20353 20203 20207 20349 20535 20309 20211 20294 20419 20691 20459 20427 20587 20355 20341 20056 20191 20253 20081 20093 20245 20085 19834 19815 19920 20614 20584 20683 20745 20909 20763 20833 20794 20405 20700 20863 20719 20901 20678 20535 20355 19918 19819 20014 20300 20397 20375 20803 21024 21209 21327 21178 20994 20969 21091 21036 21291 21294 20943 20855 21110 21071 20994 21095 20771 21057 20959 20783 21169 21100 21138 21210 21205 21264 21521 21681 21702 22022 21821 22644 22596 22476 22360 22157 22104 22323 22129 22172 22012 22156 21931 21872 21913 21788 21419 21527 21345 21392 21679 21534 21746 22026 21907 21807 21258 21282 21330 21559 21139 21338 21052 21102 20747 20814 20640 20191 19908 19892 19896 19876 19972 19960 19936 19972 19988 20052 20024 20060 20024 19952 19904 20124 20104 20124 20060 20128 20124 20156 20164 20236 20192 20144 20292 20228 20108 20040 20091 20091 20183 20255 20167 20155 20083 20119 20103 20122 20074 20258 20182 19950 20206 20446 20466 20426 20146 20090 20018 20002 20542 20566 20564 20360 20360 20422 20424 20414 20416 20428 20376 20500 20631 20611 20729 20565 20461 20505 20473 20305 20279 20297 20989 21629 21709 21745 21797 21741 21829 21757 21681 21609 21649 21633 21403 21395 21385 21121 21269 21275 21241 21253 21289 21145 21393 21467 21495 21677 21573 21349 21433 21413 21117 21213 21181 20897 20929 20953 20975 20971 20999 21015 20939 21015 21069 21125 20773 20873 20793 20773 20617 20585 20581 20613 20806 20782 20911 20985 21053 20917 21013 21105 21069 21089 21057 20737 20773 20781 20757 20577 20633 20631 20543 20737 20757 20749 20685 20761 20713 20857 20901 20869 20909 20937 20777 20637 20697 20679 20691 20723 20423 20729 20725 20705 20701 20793 20725 20805 21037 21153 21259 21215 20919 20975 20975 20843 20759 20751 20691 21189 21105 21069 21053 21077 21101 21077 21101 21233 21201 21387 21211 21067 21115 21079 20863 20863 20867 20599 20486 20413 20349 20349 20469 20393 20441 20561 20673 20657 20783 20575 20463 20535 20499 20347 20311 20335 19997 20455 20619 20367 20435 20659 20623 20509 20589 20697 20481 20725 20657 20737 20553 20838 20753 20445 20609 20601 20597 20509 20685 20661 20541 20541 20765 20861 21101 21137 21173 21157 20801 20773 20589 20705 20761 20737 20897 20873 20901 20905 20881 20909 20806 20866 20834 20934 20990 20962 20570 20602 20478 20951 20899 20923 20895 21025 21207 21291 21355 21075 21103 20823 21487 21395 21387 21359 21233 21443 21519 21579 21283 21255 20927 21731 21811 21891 21631 21631 21527 21727 21683 21627 21691 21539 21791 21843 21971 21707 21703 21543 21457 21433 21453 21301 21525 21477 21193 21525 21469 21437 21509 21685 21873 21929 22061 21801 21781 21669 21410 21498 21634 21558 21402 21330 21010 20917 20881 20925 20965 21057 20869 20621 20628 20736 20840 20924 20852 20936 20952 20740 20532 20496 20280 20400 20348 20440 20360 19780 19712 19648 19708 19464 19337 19325 19353 19385 19457 19389 19377 19293 19432 19501 19553 19531 19501 19549 19495 19504 19393 19407 19403 19381 19387 19243 19247 19172 19172 19175 19158 19226 19216 19114 19096 19195 19153 19194 19285 19273 19167 19306 19392 19274 19225 19227 19263 19236 19395 19397 19326 19271 19305 19119 20736 21029 21265 21761 21741 21964 22232 22324 22266 22306 22079 21746 21927 22147 22464 22613 22596 21893 22052 22622 22719 22831 22815 22755 22591 22519 22365 22796 22927 23171 23439 23309 23609 23765 24035 23921 24687 24759 25032 25052 25120 25092 25031 24887 24991 24800 24642 24561 24539 24501 24254 24310 24789 25709 25609 26327 26162 26852 26874 26835 26609 26179 26270 26464 27079 26283 27023 26709 26827 26421 26502 26362 26008 25588 26346 26371 26516 26497 26557 26486 26504 26483 26658 26530 26338 26687 26239 26425 27163 26968 27500 27407 27696 27889 27778 27649 27206 27359 27499 27769 27487 27659 27477 27315 27117 26709 26704 26450 25816 25452 25180 25260 25244 25325 25479 25465 25512 25587 25579 25542 25558 25592 25638 25509 25584 25492 25448 25357 25525 25976 25727 25888 25904 25865 25643 25885 25905 25890 25887 26090 26122 25988 25946 26121 26102 26145 26193 26263 26075 26125 26442 26332 26428 26555 26799 26659 26689 26737 26793 26643 26865 26921 26771 27023 27021 26628 26836 26906 26445 26695 26729 26927 26893 27003 27067 26867 26883 26815 27045 27029 27041 27177 27235 27185 27017 27155 27127 27079 27082 27050 27118 27072 27104 27078 27102 27073 27025 27053 26911 27199 27265 27325 27401 27585 27451 27501 27465 27615 27551 27595 27561 27715 27601 27619 27545 27743 27851 27657 27695 27615 27695 27701 27583 27769 27853 27697 27709 27350 27619 27623 27687 27727 27881 27961 27925 27787 27748 27888 27786 27778 27588 27110 27294 27448 27360 27420 27406 27306 27236 27140 27172 27226 26806 26868 26906 27014 27106 27182 27494 27352 27416 27480 27608 27448 27244 27284 27242 27088 27116 27196 27028 27670 27758 27712 27784 27671 28414 28510 28426 28458 28303 28237 28239 28117 28201 27933 28193 28269 28183 28301 28105 28661 28498 28511 28627 28529 28071 28059 28059 28165 28019 28039 28167 28250 28242 28066 28330 28322 28316 28400 28292 28738 28746 28672 28782 28594 28962 29000 28928 29068 28930 28873 28936 29074 28816 28902 28894 28888 28972 29086 28700 28754 28820 28608 28116 28164 28064 28190 28174 27655 27659 27657 27636 27332 27347 27478 27338 27738 27772 27868 27790 27944 27857 27872 28341 28525 28656 28742 28489 28415 28587 28495 28355 28161 28153 28239 28061 28245 28752 28750 28806 28658 28849 28771 28948 29020 29200 29408 29408 29008 29104 29100 29072 28710 28807 28769 28743 28562 29483 29529 29713 29963 29937 29499 29595 29579 29533 29197 29280 29250 29204 29069 29479 29394 29473 29329 29533 29414 29406 29736 29944 29920 30118 30034 29702 29846 29784 29614 29418 29450 29467 29256 29224 29478 29413 29483 29629 29633 29503 29946 30072 30222 30260 30010 29974 29900 29682 30061 30122 30048 30155 30094 30536 30666 30776 30858 30456 30490 30412 30106 30578 30744 30796 30866 30574 30562 30504 30170 30244 30212 30286 30350 30476 30314 30032 31190 31284 31516 31468 31206 31146 30938 30738 30613 30564 30599 30566 30349 30389 30441 30291 30539 30449 30373 30516 30445 30495 30321 30512 30422 30665 30997 31167 31323 31417 31137 30897 31079 30989 30811 30627 30597 30714 30497 30115 30363 30545 30651 30725 30397 30285 30387 30287 30119 29911 29905 30018 29805 29746 29866 29890 29772 29952 29954 29716 30190 30278 30474 30468 30174 30084 29952 29714 29423 29533 29645 29734 29306 29238 29182 28868 28758 28709 28739 28861 28871 28729 28848 29061 29035 29299 29418 29512 29219 29291 29395 29471 29325 29493 29295 29055 29144 29100 29013 28827 28886 28878 28757 28651 28619 28873 28797 28870 28778 28883 28789 28767 28527 28459 28581 28567 28532 28504 28319 28402 28338 28358 28390 28494 28474 28408 28383 28942 29160 29308 29424 29228 29382 29414 29338 28874 28884 28854 28570 28584 28888 28770 28764 28885 28762 28950 28754 28742 28867 28756 28540 28630 28629 28655 28575 28779 28757 28698 28484 28532 28637 28751 28799 28722 28832 28824 28812 28256 28264 28222 27874 27708 27602 27829 27768 27797 27724 27600 27193 27086 27109 27028 26588 26593 26582 26634 26698 26762 26671 26691 26693 26700 26752 26715 26856 26868 26768 26635 26407 26866 26878 27056 26843 27303 27224 27068 26935 27280 27286 27316 27246 27457 27319 27474 27281 27385 27233 27668 27729 27629 27677 27691 27656 28080 28106 28063 27936 27920 27989 28099 27959 28073 28177 28158 28105 28320 28236 27999 28037 28139 28007 27704 27860 28019 28147 28133 28258 28400 28223 28151 28221 27915 28263 28326 28325 28186 28460 28468 28487 28371 28301 28433 28452 28279 28229 28357 28317 28386 28285 28444 28455 28527 28398 28283 28352 28394 28273 28254 28524 28548 28636 28629 28714 28915 28882 28896 28854 28750 28965 28937 29004 28976 28889 29090 29057 29059 28965 28737 29099 29218 29160 29162 29079 28860 29031 28963 29064 28981 29086 29224 29150 29168 29000 28784 28890 28976 29099 28949 29075 29246 29355 29249 29365 29059 29070 29198 29208 29120 29213 29034 28471 28448 28571 28674 28664 28714 28774 28563 28585 28442 28327 28428 28422 28332 28058 28071 28015 27851 30265 30289 30566 30427 30754 30685 30951 31959 32026 31937 32249 32266 32056 32225 32232 32067 32024 32438 33474 33726 34093 34066 33899 33762 33673 33270 33076 33255 34172 34518 34867 35118 35177 35009 35013 35198 35181 35152 34896 35019 35050 34888 34864 34883 35004 34823 34955 34970 34945 34908 35260 35275 35128 34938 34999 34992 34983 34971 34990 34982 35011 35065 35059 34973 34990 35008 34994 35006 34951 35184 35051 35174 35008 35271 35127 34934 35115 35115 35366 35640 35529 35320 34896 34965 34876 34703 34352 34371 34323 34195 34047 33893 33897 33919 33927 33831 33822 33836 33791 33775 33727 34705 34776 34766 34798 34799 34852 35346 35483 35359 35596 35498 36118 36382 36630 36770 36802 36475 36181 36259 36059 36054 35758 35451 35401 35475 35289 35181 35235 35268 35309 35299 35265 35289 35336 35262 35306 35307 35696 36249 36615 36824 36964 36803 36659 36598 36846 36876 36854 36567 36081 35998 35931 35625 35358 35332 35377 35188 35082 35114 35136 35176 35166 35146 35147 35172 35099 35117 35139 35378 35306 35038 35156 35156 35118 34842 34553 36171 36305 36369 36192 36307 36389 36382 36406 36396 36340 37032 37147 37061 37041 37949 37913 38090 38451 38595 38443 38606 38954 39173 39293 39353 39153 38883 38745 38439 38115 38168 38221 38261 38238 38174 38190 38206 38176 38150 38704 38403 38379 38562 38502 38314 38302 38755 39132 39384 39415 39241 39197 39165 39132 38839 38311 38192 37882 37621 37628 37647 37671 37613 37596 37574 37595 37520 37665 37485 37401 37611 37432 37174 38580 38944 39095 39225 39047 38944 39097 39172 38883 38531 38216 38116 37704 37476 37468 37488 37539 37557 37556 37503 37536 37501 37528 37540 37437 37284 37249 37258 37215 36978 36672 36314 36318 36296 36388 36209 35976 35863 38421 38580 38870 38819 39141 39119 38961 38907 39006 39071 38947 39160 38922 38592 38504 38488 38559 38379 38092 38159 38159 38108 37973 38079 37995 37968 38158 38806 38941 39029 38987 38903 38951 38998 38954 38984 38961 38924 38931 38990 38972 39031 39059 39024 39010 39035 39027 39001 39032 38999 39030 38997 39338 39438 39311 39320 39469 39380 39182 39225 39420 39683 39748 39758 39530 39101 39186 39049 39018 38743 38462 38458 38420 38208 38047 38031 38027 38065 38033 37953 37972 37926 37894 37847 37866 37618 37593 37631 37619 37599 37267 37137 38392 38477 38666 38543 38408 38475 38572 38545 38595 38589 38526 38864 38931 38868 38732 39473 39093 39142 39189 39254 39050 38910 39069 39419 39407 39552 39418 38865 38736 38560 38137 37828 37836 37881 37840 37819 37828 37752 37724 37656 38186 38230 37919 38076 38166 38323 38244 38088 38269 38352 38548 38827 39201 39040 38910 39074 39068 39055 38856 38310 38255 38241 37829 37531 37527 37565 37608 37617 37580 37587 37586 37555 37533 37517 37562 38023 37919 37942 37870 37998 37876 37808 37704 37809 37603 37374 37596 37836 37741 37512 37341 37593 37571 37425 37237 37264 37516 37944 38230 38465 38515 38322 38512 38443 38572 38308 37908 37844 37903 37573 37356 37324 37434 37252 37189 37195 37118 37037 37552 37907 37798 37948 37822 37870 37939 37912 37919 37909 37912 37861 37844 37857 37928 37916 37865 37883 37873 37810 37776 37706 37651 37874 37872 37965 37956 37772 37875 38215 38235 38357 38174 37660 37619 37542 37216 37211 37187 37010 36836 36691 36713 36738 36746 36661 36658 36670 36618 36627 36551 36282 36177 35978 36011 35696 35357 35260 35526 35636 35971 35907 36483 36528 36838 36928 36780 36593 36383 36508 36604 36857 36894 36366 36449 36473 36661 36421 36551 36367 36368 36182 36456 36512 36841 36846 36913 36956 37012 36849 36985 37362 37575 37622 37629 37628 37641 37752 37507 37177 37011 36879 36627 36322 36418 36391 36719 36566 37486 37615 37455 37308 37077 37160 37257 37306 37301 37247 37364 37188 37279 37247 36998 36532 36912 36873 36911 36882 36546 36538 36479 36587 36406 36140 36069 35939 36187 36211 36364 36707 36706 36502 36194 36150 36201 36246 36124 36180 35815 35911 35658 35447 35182 34490 34012 33100 33024 32973 32824 32762 32677 65102 76543 77257 76887 78017 78454 78726 78127 78538 78503 78882 78995 78874 79397 79155 78524 78475 78531 78531 78819 78264 78160 78267 78354 78079 78030 78367 78215 78159 80064 81236 81548 82158 82472 82461 81670 81927 82101 82155 82075 82121 82213 84980 84317 84284 84560 84674 84614 83974 83904 84023 84130 84104 84033 83981 83936 84567 84214 84455 84110 84473 84189 83547 83468 83543 83439 83415 83314 83032 82551 82629 82828 82816 82734 82968 83040 83002 83052 82970 82951 82892 82958 83023 83038 83149 83072 82910 82963 83109 82953 83090 83030 83057 83302 86146 86404 86372 86644 87222 87103 86745 86989 88508 88824 89661 90185 90295 89401 89294 89547 89613 89317 89374 88697 88471 88572 88576 88175 88096 88241 88313 88328 88425 88451 88455 88343 88193 88294 88372 88340 88208 88225 88169 88162 88157 88811 90129 90483 90180 90527 90237 90840 90609 90150 90025 91766 91940 92307 93188 92936 92461 91898 91903 91987 91676 91654 91113 90484 90470 90455 90017 89839 89770 89843 89787 89909 89932 89891 89730 89644 89662 89797 89572 89550 89589 89370 89341 89249 89293 89189 88756 89044 89189 89195 88836 89100 89412 89847 90398 90181 90704 90592 90036 89332 89466 89258 89253 88794 88051 87972 87860 87616 87299 86865 86926 87023 87014 87111 87125 87016 86767 86769 86793 86933 86819 86665 86741 86541 86477 86273 86998 87260 87100 90109 90292 89880 90340 90963 90858 90569 90029 90272 90446 90423 90472 90473 90454 92121 92345 92947 92709 96174 96556 96144 96650 97372 98066 97539 97243 97570 98579 98930 99417 99213 98602 98228 98062 97277 96424 96528 96615 96685 96555 96551 96535 96631 96597 97188 96580 97012 97732 96996 96271 97213 97071 96292 96610 96746 96900 96457 95946 96006 96774 96901 97340 96946 95938 95737 95356 94581 94041 94071 94159 94121 94028 94051 93921 93872 93671 94416 94617 93988 94332 94459 94722 94695 94379 94219 94767 95255 95975 96483 96487 95991 96004 96036 96421 95859 94971 94662 94645 93856 93264 92959 93033 93073 93155 93136 93068 93112 93010 93006 92964 92937 94087 93798 93622 93823 93317 93301 92931 92883 92791 92556 91766 90740 91849 91966 92175 92120 92098 92035 92078 92167 92053 91849 91775 91751 91880 91893 92011 91850 91711 92418 92407 92502 92692 92573 92589 92585 92601 92637 92845 92771 92530 92512 93561 93449 92984 92751 93174 93179 92793 92463 93234 93268 93538 93018 93481 93198 93494 93216 93325 93065 94094 94346 94236 94327 94337 94618 95044 95193 94820 95014 94471 94971 95119 94469 95483 96147 96500 96620 96234 96179 96526 96644 96425 95701 95289 95289 94839 94342 94369 94423 93940 93772 93723 93535 93423 94648 95584 95759 96212 95928 95823 95979 96053 95933 96014 96011 98102 97511 97640 97873 97692 97202 97385 97370 97422 97250 97298 97189 96910 97132 96782 97054 96291 95939 96082 96056 95961 95887 95798 94749 94825 94861 94945 94859 94851 94861 94779 94715 94569 94354 96498 96317 96004 96481 96644 96654 96165 96316 97979 98775 98946 99160 98434 97995 98085 97985 97965 97166 96812 96724 96658 96356 96106 96108 96128 96190 96085 95967 96046 95962 95897 95923 96084 97324 97197 97189 97524 97466 97679 97280 96914 98190 98750 98880 99727 99461 98676 98685 98671 98438 97963 97449 97510 97420 96987 96719 96402 96396 96494 96463 96250 96275 96279 96188 96144 95871 95195 94938 95122 94804 95252 94882 94376 94543 94918 95517 95718 95665 94880 94281 94493 94083 94059 93443 92752 92704 92842 92431 92019 92043 92037 92124 92011 91841 91941 91751 91700 91575 90535 90984 91417 91943 92168 92036 92920 93255 93638 93743 93489 93024 93102 93455 93218 93886 93908 93152 93296 93176 93404 93145 93242 93094 93057 92481 92992 93820 93985 94305 94317 94473 94745 94800 94859 94513 95460 95967 96259 96618 96855 97092 96670 96601 96653 96635 96170 95510 95248 94842 94539 93870 93111 93711 94219 94176 95230 95792 95768 95563 94886 95120 95287 95815 95437 95679 95232 95676 95198 95484 95087 94203 93925 94817 94931 95361 95322 95585 95279 94843 94787 94559 94344 94125 93539 93395 93164 93604 93569 93883 94424 94448 94174 93574 93634 93836 94090 93776 93627 93318 93336 93098 92234 92077 91573 89835 88103 86711 86870 86904 86962 86691 87147 87548 87612 87884 87748 87916 88358 88436 88372 88236 88116 87892 87844 88116 88196 88460 88268 88186 88196 87980 88090 88004 88188 88260 88580 88384 88312 88464 88364 88202 88284 88316 88276 88404 88284 88292 88148 87996 88092 88028 88424 88212 88276 88460 88316 88388 88188 88452 88436 88340 88380 88252 87916 88130 88034 88144 88014 88258 88362 88194 88194 88298 88146 88122 88290 87970 88142 88126 88366 87998 88342 88262 88244 88052 88148 88244 88036 88006 88094 88374 88062 87924 87940 88086 87910 88097 87961 88121 88281 88127 87807 87777 89433 89433 89773 90207 90277 88949 89079 89167 89319 89295 89415 90407 89975 90455 89871 90007 89549 89459 90375 91679 91861 92467 92275 91489 91035 91387 91411 91557 92429 91239 92013 91223 91477 90941 94917 95333 95685 95453 95741 95581 95389 95349 95373 94251 93545 93741 93789 93561 94227 94397 93765 93021 93165 92797 92865 93357 93417 93955 94061 93277 92229 92165 91805 93032 93552 93616 93992 93784 93278 93094 93495 93125 93637 93945 94237 94185 93890 93510 92826 93686 94771 94631 95356 95822 95238 95030 94814 94654 95078 96166 96264 96204 96876 95694 95750 95398 95166 94582 92869 94036 94276 95029 95789 94727 94967 94607 94503 93959 92752 95798 95956 95126 94790 94734 95794 95690 95666 95498 97950 97402 97806 97638 97586 97370 96714 96594 96506 96058 95906 96042 96048 96392 96768 96592 96622 96560 96504 96632 97558 97296 97056 96224 95972 96364 96236 95693 95645 95685 95769 96297 96215 96215 96153 95873 96809 96897 97593 96593 96717 96855 97083 97427 97579 97552 97608 97152 97176 97420 97124 96592 96224 95784 96456 96466 96898 97154 97114 97466 96930 97162 96862 97214 96862 97198 97198 96278 96606 97101 98179 98331 99292 100048 99104 98046 97934 97888 100224 100968 100588 101672 101560 100736 99184 98976 100646 101680 100456 100408 99688 99687 100913 101681 101789 102601 103417 101905 100777 100497 100301 99789 99607 99470 100612 100804 101488 103380 102020 102164 100972 100908 101410 102234 101002 100986 100266 100241 99472 99052 97370 99396 100988 100770 100620 99340 98892 98380 98729 98774 99532 99430 97635 96543 95360 95016 94778 95207 95582 96318 96050 96046 96506 96538 97190 96454 96422 96957 97057 96514 96590 96957 97493 97474 96954 96722 97035 97139 97326 97922 97859 97535 97471 97819 97483 97255 97211 96531 96239 96569 96876 96525 96353 96389 96403 96547 96293 95907 95859 95833 97298 98069 98525 98162 98814 99361 99320 99604 99112 99749 99076 99237 98354 97853 99227 99398 99975 99364 99552 100058 99286 99028 99026 98298 97674 101213 101994 102406 103346 103059 102150 105918 105828 104256 103850 103764 103492 105942 106130 106278 105366 105118 104418 110564 109884 110086 109094 108680 108412 107560 107434 106158 107076 107314 106796 107670 107027 108105 108536 108154 109920 109124 108432 106662 106578 106248 104636 106596 106642 105556 106788 108652 108068 108346 107436 107812 107708 108745 107836 106560 106785 106574 106740 106820 106900 107257 106953 106289 107042 107322 107178 107239 107391 107079 107732 108028 108567 108655 109049 108753 110049 109129 110169 110545 109209 108501 109795 110033 110171 108864 107206 105518 107562 105242 106274 105576 103404 102305 102527 102876 102866 103398 103647 103237 103295 103291 103454 104151 103428 103000 102342 102666 102688 101995 101530 102694 102897 103173 102935 102891 103263 103153 102563 102378 102057 102378 101724 101468 100712 99942 100166 100284 100272 100440 100468 100314 100484 100560 100884 100708 100934 100708 100668 100372 100608 100726 100554 100954 100962 100786 100458 100562 100590 100572 100316 100452 100308 100382 100550 100198 101188 101332 101468 101716 100802 100848 100872 100600 101592 102232 102340 102180 101294 101410 101226 100958 103690 103874 103994 103882 103802 102846 102502 102922 102386 101642 102544 102730 101674 101868 102620 101994 102152 102646 102742 102097 102343 103159 103668 103244 103580 104526 104340 103748 103116 101788 102812 103363 102907 102635 101271 103289 103457 102857 102657 103289 103409 103265 104615 104633 104761 104645 104421 104105 103953 103497 103777 103576 103768 103898 103786 103914 103890 104326 104724 104154 103364 103492 103828 103386 103044 103666 103378 103758 103798 103534 104262 104163 104051 103795 103187 103851 103979 104107 104187 104307 104117 103829 104171 104083 104115 103963 103491 104024 105016 105501 104725 104517 106553 106333 107005 105501 105077 107253 106141 106039 107223 107735 107103 106567 106253 105099 106109 106415 107667 106507 106371 107203 106043 105843 103845 104855 105329 104225 104156 104068 104640 102986 101731 101403 101931 102241 102017 102249 102503 102225 102159 102593 102293 102301 102570 102943 102487 102291 102532 103007 102632 102580 102982 102396 102356 101840 102212 101848 101908 101832 101997 101346 101384 102632 102856 103008 103000 103120 103328 102882 102364 101932 102867 102817 103084 102728 102398 102058 101412 101085 101165 101131 101327 101059 101613 102015 101819 101675 101259 101019 101195 101275 101597 101481 101317 101253 101229 100997 101157 101141 101125 100949 102289 102329 101777 102315 101767 101373 101613 101405 101281 102579 102907 102935 102327 101849 102237 101785 101637 104305 104945 104713 104673 104593 103157 103229 103349 103221 102845 102719 103351 102887 102291 102527 103317 102803 102799 103391 103439 102874 102541 104234 104413 103941 103741 104813 104837 104605 104365 103580 102651 103435 104032 103552 103344 101974 103836 104524 103444 103428 103932 104092 104084 105178 105244 105364 105452 105242 105106 104950 104700 104092 104330 104244 104452 104622 104518 104832 104598 104382 105332 105070 104894 104316 104576 104392 103882 104232 104110 104222 104682 104218 104778 104770 104879 104891 104223 104047 104249 104609 104777 104905 104809 105017 104667 104715 104777 105009 104865 105041 104297 104257 104686 105318 106345 105563 105299 106273 107119 107577 106643 106163 107499 107481 106851 106725 107971 108381 108053 107341 106993 106147 106282 107138 108262 107202 107050 107306 107078 106626 106164 104372 105476 106334 104760 104544 104625 104599 105095 103689 102090 102189 102368 102668 102400 102614 102894 102782 102570 102982 102886 102742 102978 103326 102934 102830 102681 102943 103283 103007 102975 103174 102751 102521 102462 102607 102191 102223 102139 102332 101655 101619 102814 103150 103557 103051 103196 103707 103099 103580 103009 103023 102583 102397 102636 103027 102845 103197 102545 102491 102349 102027 101761 101127 100144 100331 100353 100341 100417 100433 100351 100433 100465 100625 100545 100651 100545 100521 100745 100881 100825 100809 100737 100869 100923 100831 101031 101039 100943 101131 101151 100899 100731 100811 100817 100791 101063 101035 100875 100931 100803 100939 100803 100769 100637 101125 100789 100669 101421 102085 102125 101965 101397 101121 100705 100667 101777 101761 101711 101755 101603 101973 102089 102037 102097 102169 101951 102349 102679 102663 102905 102601 102525 102517 102309 101653 101737 101717 101999 104159 104495 104703 104815 104799 104847 104767 104751 104479 104495 104559 104515 103945 103913 103651 103767 103831 103727 103607 103851 103667 103647 104245 104611 104869 104845 104425 104491 104171 104035 103455 103551 103487 103537 103537 103445 103301 103485 103341 103227 103421 103611 103949 103813 103481 103475 103179 102915 102595 102579 102379 103267 103625 103845 103853 104361 104241 104155 104209 104473 104369 104545 104257 103881 103875 103643 103571 103165 103181 103145 102830 103176 103416 103424 103632 103696 103472 103944 103952 103936 103976 104040 103696 103792 103600 103636 103556 103612 103744 103638 103766 103686 103664 103788 103756 103792 104368 104720 104996 104972 104528 104602 104330 104250 103618 103730 103666 104533 104523 104435 104291 104347 104299 104291 104355 104571 104859 105335 105167 104875 104869 104573 104261 103973 103997 103773 103404 103676 103452 103472 103474 103546 103334 103752 103992 104192 104524 104388 104032 104042 103786 103554 103234 103234 103034 102684 103636 103436 103274 103754 103972 103928 103924 104052 103748 104068 104446 104174 104318 104670 104669 104344 104021 104588 104234 104258 104370 104546 104306 104490 104513 105249 105705 105713 105929 105969 105657 105081 104809 104446 104810 104962 105262 105358 105286 105054 105246 105326 105070 105194 105162 104914 105376 105392 105192 104698 104682 104426 105435 105405 105449 105393 105677 106247 106503 106695 106223 106047 105671 106567 106607 106471 106575 106263 106613 106949 107077 106845 106485 106061 106941 107325 107669 107613 107229 106909 106221 106911 106879 106879 106791 106855 107461 107741 107829 107341 107037 106275 106811 106404 106524 106618 106810 106434 105994 106670 106648 106708 106668 106760 107778 108050 108242 107666 107482 107170 107346 107490 107746 107642 107242 106938 105912 106364 105908 105964 105922 106138 105770 105066 105581 106045 106373 106541 106461 106565 106637 106165 105653 105421 104749 105261 105245 105229 105189 104649 104433 104409 104481 104265 103997 104077 103829 103573 103893 103901 103645 103245 103877 103929 104296 104216 104204 104262 104198 104164 104330 104332 104066 103998 104038 103910 103650 103588 103744 103556 103600 103782 103802 103710 103740 104039 103943 103974 104042 104148 104072 104050 104396 104236 104228 104277 103989 103997 104012 104161 104114 103926 103847 103769 103286 108303 110067 109976 110621 110282 110205 110703 110462 110358 110256 109942 111842 112515 113341 112782 113189 112524 112105 112209 112450 113093 112867 112969 113257 113165 112913 113078 113038 112865 112923 113197 113410 113163 112863 113467 113577 113364 113640 113613 113313 113425 113632 113996 113884 113772 114707 114476 114391 114158 114545 114525 114324 114799 114779 114879 114956 114554 114497 114682 114260 114200 114479 114708 114640 114951 114996 114684 114648 114639 114875 114971 114884 114848 115247 115116 115131 115239 115155 115111 114896 114999 115028 114796 115117 114970 115129 114824 114927 115019 114824 115411 115340 115591 115544 115816 115976 115904 115576 116025 116009 116157 115850 116130 116302 116178 115838 116197 116478 116246 116258 115894 116169 116078 116205 116205 116418 116302 116210 115786 115979 116075 116271 116140 116615 116819 116583 116571 116265 116350 116589 116521 116246 115076 115371 115740 115608 115903 115915 115499 115480 115128 115211 115344 115068 114643 114728 114432 115086 115653 116040 116160 115887 116130 116132 115979 115107 114856 114847 114201 114332 114336 114209 114057 113943 113763 115183 115409 115241 115520 115307 115387 115395 115359 115335 117443 116955 117004 117035 116939 116857 116887 116867 116803 116695 116899 116411 116462 116593 116375 116187 116167 116107 115987 115827 116177 116209 116141 116139 116092 117003 116837 116617 116736 116457 116573 116553 116505 116417 117265 117403 117279 117182 117401 117187 116999 116979 116919 116799 116699 116450 116386 116341 116337 116393 116481 116413 116409 116281 116141 116437 116534 116654 116235 116275 116291 116275 116151 116767 116923 116735 117157 116883 117039 117019 116951 116851 117091 118083 117645 117708 117931 117737 117497 117493 117405 117361 117193 118017 118049 117973 118009 117945 118728 118419 118225 118464 118217 118249 118185 118177 118033 118018 118170 118372 118096 118183 118323 118238 118569 118435 118711 118727 118599 118603 118443 118063 118079 118043 118023 117927 117463 117459 117785 117043 116599 116631 116571 116575 116467 117149 116757 116595 116774 116693 115923 115532 115295 115261 114533 114577 114826 114572 115364 115418 115526 115286 115587 115399 115405 116808 117335 117381 117763 117593 116932 117024 116671 116467 115881 115952 115918 115700 115570 115598 115630 115582 115510 115540 115442 115412 115340 116540 116555 116626 116718 116463 116919 116723 116517 117929 118427 118821 118933 118593 117835 117978 117699 117358 116751 116831 116844 116447 116373 116411 116423 116367 116315 116347 116211 116209 116137 118266 118497 118976 119695 119597 118504 118537 118459 118266 117511 117496 117409 117357 117051 117133 117161 117233 117201 117169 117155 117171 117159 117169 117131 117734 117800 117876 117881 117905 117785 118820 119242 119742 120187 120306 119348 119139 119213 119023 118433 118092 117969 118015 117681 117693 117677 117701 117605 117609 117615 117521 117467 117271 118033 117945 118105 118326 118496 118270 118306 120018 119972 120511 119986 119546 119208 118460 118516 118544 118600 118528 118536 118464 118536 118432 119090 119190 119180 119518 119372 120404 121265 121116 121707 121015 120655 120370 119532 119528 119564 119604 119540 119468 119528 119408 119408 119344 120951 121380 121784 121920 120871 120712 120348 119752 119800 119824 119880 119840 119804 119786 119782 119774 119730 119654 120080 119823 119658 119918 119797 119340 120232 122382 122336 122895 122236 121854 121498 120692 120796 120848 120900 120940 120832 120858 120858 120790 120762 120758 120617 120336 120166 120261 120110 120006 119418 119513 119795 119759 119494 119210 119760 119474 119646 119790 119816 119388 121115 121362 121889 122508 122458 121381 121382 121376 121158 120372 120341 120270 120234 119864 119884 119872 119896 119764 119792 119782 119736 119654 119450 120226 120731 120824 121127 120948 120037 120164 119714 119554 118833 118892 118919 118666 118442 118496 118496 118548 118448 118416 118464 118340 118340 118284 118756 118928 118712 118490 118854 118745 118350 119614 120141 120518 120642 119413 119364 118998 118422 118438 118470 118454 118370 118398 118334 118282 118130 118420 118659 119062 118924 117810 117516 117132 116672 116724 116744 116784 116720 116688 116722 116642 116654 116618 116508 116257 116101 115980 116146 115889 115794 117161 117454 117875 117834 118325 118274 117827 117807 118214 118127 118148 118103 117408 116874 116853 116780 116498 115954 116027 116056 115675 115665 115741 115737 115821 115853 115837 115801 115841 115831 115759 115813 115725 115740 115791 116410 116619 116534 116233 116563 116321 115935 116210 116030 116051 115705 115916 115703 115117 115725 115933 115572 115569 115918 115966 115649 115398 117193 117789 117987 118657 118339 118286 118470 118549 118231 117025 116880 116670 116092 116148 116190 116226 116270 116198 116209 116239 116185 116173 116152 116065 116870 116665 116515 116610 116827 116822 116585 116419 116546 116883 116471 116823 116212 116117 116103 116202 116176 116005 115771 116197 116603 116938 117063 116716 116875 116741 116793 115688 115287 115076 114433 114144 114174 114186 114262 114190 114222 114218 114136 114180 114100 114032 114882 114192 114302 114462 114252 113952 113169 113160 113143 112882 111970 112279 112308 112373 112556 112551 112374 112600 112701 112523 112396 112290 112376 112393 112198 112098 111880 112018 112050 111935 112005 112472 112507 112199 111925 112606 112541 112519 112559 112723 112742 112673 112487 112067 112752 112993 112863 112817 112817 113148 113780 113790 113639 113767 113502 113847 113656 113428 114046 114193 113876 114303 114200 113654 113777 114011 113570 113174 113401 113874 113828 113828 114078 114311 113899 113930 113900 114102 114114 114216 114096 114646 114629 114580 114458 114262 114442 114546 114204 114106 114343 114361 114342 114308 114601 114533 114570 114366 114361 114293 114320 114106 114610 114752 114895 114753 115011 115207 115417 115484 115431 115159 115588 115495 115668 115381 115678 115877 115717 115814 115333 115676 115811 116040 115928 115985 115317 115806 115727 115882 115859 115747 116137 116059 116007 115671 115105 115533 115530 115799 115834 116001 116216 116250 116329 116204 115644 115993 116215 115938 115862 115626 114870 114555 114717 115014 114945 115060 115169 114779 114794 114132 114369 114402 114559 113735 113835 113873 113456 113263 115931 116147 116296 116487 116467 116128 117854 118398 118269 118880 119216 119307 118943 119046 118462 118222 119508 121186 121220 121763 121734 121777 121853 121599 120550 120238 121164 122507 123012 123452 123593 123365 122877 123313 123350 123332 122252 122626 122795 122170 122357 122395 122241 122019 122117 121978 121840 121886 122300 122171 121489 121665 121645 121603 121511 121549 121575 121591 121781 121635 121625 121493 121451 121480 121385 121145 121061 121256 121403 121595 121642 121214 121105 121761 122359 122590 122719 122435 121263 121585 121186 121451 120584 120467 120446 120278 119692 119455 119525 119683 119581 119364 119274 119276 119164 118897 118696 120104 120258 120216 120428 120252 120356 120996 121113 121387 121365 121236 123030 123652 123739 124032 123731 122552 122886 122617 122805 122474 121531 121716 121734 121287 121042 121228 121300 121364 121256 121330 121290 121348 121320 121194 121158 122924 123159 123745 124400 124547 124100 123552 123988 123821 124388 123906 122813 122777 122959 122731 121568 121578 121721 121460 120989 121155 121213 121301 121209 121237 121137 121215 121016 120909 120893 121011 121083 121149 120781 121193 120954 120477 122120 122274 122650 122522 122431 122657 122757 122781 122645 122701 123526 123638 123640 123511 125533 124960 125408 125867 126008 125662 125880 127004 127307 127871 127672 126632 126758 126780 125554 125601 125823 126017 125869 125632 125677 125389 125395 125345 126590 126027 126145 126296 126451 126086 125760 126882 127541 127670 128005 127530 127302 127245 127431 126281 126112 126083 125303 124767 124921 125027 124955 124859 124773 124565 124386 124239 124169 124142 123926 124229 123702 124541 126015 126446 127110 126883 126053 126521 126632 126487 125381 125346 125416 124922 123815 123928 123968 124108 124112 124044 123934 124032 123894 123812 123749 123343 123330 123085 123080 122922 121987 122155 121425 121525 122009 121863 121458 120840 124475 125185 125200 125847 126142 126347 125928 125467 125609 126103 125876 126307 125983 125496 124858 124992 125232 124966 124348 124446 124456 124291 124067 124137 123979 123842 124710 125224 124996 125378 125301 125136 125338 125272 125310 125213 125797 125122 125260 125294 125379 125381 125237 125359 125270 125294 125220 125176 125059 125050 124955 124956 125655 125828 125975 126155 126204 125744 125980 126485 127083 127072 127433 127122 125965 126319 125952 126154 125546 125029 125041 125009 124612 124217 124291 124381 124371 124080 123974 124036 123807 123511 123371 123031 122865 123047 122681 123001 122814 122803 123151 123987 124279 124184 123677 124035 124293 124265 124385 124331 124304 124773 124902 124538 124522 125755 125209 125268 125624 125462 125097 125033 125817 126076 126668 126387 125351 125255 125273 123913 123448 123596 123718 123620 123562 123454 123262 122991 122820 123799 123924 123386 123496 123516 123767 123666 123405 123595 124275 124621 124755 125501 124873 124546 125026 125125 125026 124161 123830 123896 123529 122693 122500 122652 122724 122770 122688 122682 122578 122454 122476 122169 122115 122181 122681 122702 122820 122762 123083 122402 122354 122329 122551 122177 121809 123216 123261 122696 122721 122379 122963 122850 122627 122798 122226 123232 123860 123949 124484 124305 123959 124352 124499 124420 123265 123471 123659 123091 122683 122655 122908 122547 122241 122197 121959 122066 122526 122905 123230 123150 122935 123097 123187 123033 123117 123131 122919 122929 123009 123169 123109 122950 122855 122929 122633 122533 122467 122360 122766 122687 122698 123144 122844 122866 123244 123735 124179 124233 122956 123012 123188 122748 121793 121701 121982 121573 121094 121220 121302 121302 121070 121017 121099 120785 120654 120551 119714 119760 119473 119702 119321 118284 118185 118088 117880 117336 117277 117149 116819 116607 116433 120578 123560 123791 124178 124159 124855 124757 123985 124154 124321 124598 124413 124634 124804 124236 123301 123381 123344 123781 123334 122914 123003 122972 122680 122601 122673 122552 122363 124468 124504 124975 124728 125167 124996 124519 124698 124801 124636 124746 124829 126383 126678 126513 126908 127038 126989 126590 126460 126537 126606 126492 126377 126169 126496 126680 126352 126841 126840 126792 126062 125933 126077 126011 125908 125616 125264 124928 125022 125227 125198 125254 125372 125407 125352 125395 125215 125202 125468 125410 125511 125602 125596 125474 125407 125260 125433 125211 125182 125057 125061 124825 127456 127496 127448 127714 127856 127949 127594 127812 129136 129393 130056 130417 130451 130073 129174 129551 129728 129415 129793 129443 128532 128573 128634 128349 128145 128229 128372 128441 128534 128535 128338 128074 128152 128214 128330 128134 127939 128063 127800 127600 127438 128899 129525 129747 129535 129970 130010 130165 129605 129489 130895 130819 131543 131970 132050 131726 130842 131025 131099 131077 131030 130148 129947 129839 129764 129164 128972 129029 129206 129282 129354 129350 129124 129118 128951 129001 129008 128814 128560 128512 128328 128037 127687 127567 127711 127927 127742 128195 128006 127473 127918 129269 129343 129624 130374 130116 129427 128531 128761 128729 128984 128630 127521 127817 127718 127478 126802 126637 126806 126843 127002 127045 127015 126873 126553 126613 126701 126646 126356 126184 126064 125753 125611 125044 126211 126413 127337 128301 128052 128439 128870 128923 128601 128055 128270 128560 128543 128644 128669 129563 130001 130315 129994 130347 133424 132963 133004 133029 133876 134024 133521 133462 134663 135241 135401 135505 134947 134595 134594 134011 132763 133225 133390 133440 133167 133179 133232 133254 133112 132759 132792 133108 133572 132894 131646 133012 132416 132271 132366 132836 132780 132375 132339 132639 133288 133409 133559 132726 132351 132318 131679 130593 130719 130820 130826 130550 130460 130393 130279 129933 129689 130699 130522 130346 130164 130692 130682 130334 130208 130095 131048 131663 131999 132092 131179 131414 131368 131811 131378 130159 130208 130318 129660 128883 128928 128963 129119 129036 128823 128723 128824 128460 128472 128305 128108 128802 128864 128637 129073 128393 128498 128150 128042 127837 128020 127072 125888 127263 127230 127349 127335 127136 127479 127225 127241 127279 127051 127019 126838 126782 126752 126943 126880 126557 126536 127719 127599 127681 127860 127701 127974 128009 127741 127825 128030 127998 127784 127633 129448 129485 128911 129011 128935 129306 129161 128906 129168 129420 129777 129203 129582 129271 129706 129279 129524 129140 130233 130357 130243 130530 130288 130923 131135 130706 130892 130681 130867 130818 130288 131461 131894 132466 132317 131777 132295 132304 132404 131939 131335 131469 131373 130650 130812 130822 130419 129937 129928 129726 129451 131040 131410 131153 131593 131261 131376 131506 131401 131442 131394 132925 132716 133003 133196 133041 132677 132736 132890 132809 132591 132541 132301 132276 132599 132689 132503 131761 131777 131825 131517 131557 131373 130349 130450 130568 130615 130474 130425 130256 130234 130040 129770 129718 129513 130678 131013 131153 131024 131517 131254 130791 132038 132453 133003 133397 133479 133061 132307 132669 132718 132350 131553 131659 131646 131240 130638 130747 130847 130907 130714 130639 130604 130480 130189 130113 130103 131173 131407 131613 131879 132009 132064 131612 131241 132739 133441 133397 133761 133315 132692 133109 132740 133015 132238 131930 131838 131673 131046 130849 130971 131088 131068 130732 130693 130770 130491 130185 129995 129626 129710 129993 129686 130133 129840 129741 129934 130386 130922 131197 131242 130516 129584 129952 129993 129646 128820 128925 128895 128468 127815 127758 127872 127929 127733 127654 127538 127403 127108 126889 125867 126193 126180 125909 125292 125098 125215 125931 125644 127029 127482 127237 127031 126952 127476 127988 128720 129158 128716 128976 128600 128248 127722 127748 128415 128158 128530 128409 127877 128411 128820 128203 128171 127431 127033 126075 126284 126620 126863 127012 127496 127343 126679 127120 127518 127308 127106 126443 126737 126286 127042 126823 128111 128251 128069 127935 128058 128244 127983 127060 129900 129881 130395 130513 130668 130459 130519 130475 130495 129818 130597 131125 131365 131143 131094 130804 130925 130257 129335 129663 130036 129432 129174 128874 127787 129405 128394 129650 129904 129907 130681 130958 130358 130671 131317 131091 131369 131188 131790 132153 132522 132667 132391 132591 131477 130473 129842 135051 137712 137401 136895 136449 136045 136356 136842 136826 138058 137945 138868 139316 140098 140197 140153 139878 139235 138985 139439 139821 139919 139588 138847 138591 138376 138838 137782 137592 137029 136786 136124 134300 134184 134146 135028 134610 135723 136154 135710 135438 134310 134081 134730 134840 134021 134349 134206 134059 132967 133160 132503 131403 130044 132530 132010 132046 132065 132077 131952 134163 131731 130570 128992 129024 128984 129164 129128 129096 129160 129192 129280 129260 129322 129276 129176 129024 129224 129304 129220 129296 129376 129328 129216 129279 129192 129232 129136 129360 129328 129352 129360 129312 129320 129288 129768 130040 130000 129960 130120 129772 130004 130092 129820 129764 129900 129912 129868 130124 130140 130004 130052 129996 130044 130036 129964 130076 130180 130044 130076 130140 130140 129908 129956 129956 130556 130324 130508 129960 130112 130160 129832 129840 129806 129916 129900 129780 130012 129892 129788 130116 130332 130108 130050 130066 130130 130114 130170 130018 129834 129802 129824 129766 129864 129790 129830 129764 129938 129762 129808 130144 130208 129638 129652 130140 130492 130908 131028 130948 130564 130612 130916 131372 131372 131148 130188 130120 130276 130268 130204 130132 129484 129612 129620 129756 129540 129668 129588 129588 129444 130996 131188 131532 131132 131292 131132 130476 130626 130890 130618 130774 130670 130478 130548 130552 130440 130684 130582 130742 130742 130630 130718 130846 130774 130762 130822 130762 130702 130446 130760 130934 131110 131310 131366 131534 131590 131694 131418 131594 131646 131686 131622 131430 130780 130924 130756 130980 131156 131340 130836 131116 131188 131164 130892 130220 130388 130388 130422 130550 130430 130390 130462 130526 130390 130366 130150 132666 133026 133258 133602 133506 133786 133778 133858 133858 133930 133834 133978 133986 133938 133338 133498 133610 134010 134314 134426 134450 134370 134330 134282 134274 133154 133362 133642 133770 133858 133754 133594 133786 133746 133650 133650 133418 133210 132596 132896 132850 133310 133110 133026 132958 132704 132191 132157 132121 132049 132297 132153 132225 132241 132161 132233 132153 132201 132197 132241 131965 132121 131777 132153 132281 132343 132855 132727 133015 133151 133159 132631 133107 133127 133231 133151 133055 132185 132353 132281 132617 132745 132753 132785 132657 132753 132665 132545 131833 131793 131977 131953 131969 131945 131705 131977 131961 131753 131809 131585 131966 131830 131686 131770 131978 131874 131882 131906 131882 131914 131666 131858 131806 131922 131618 131778 131586 131460 131778 131586 132170 131970 132290 132450 132490 132154 132478 132538 132546 132498 132258 131404 131756 131420 131828 132004 132116 132044 131916 131940 131980 131708 131124 130964 131204 131196 131244 131220 131132 131228 131268 131052 131092 130852 131390 131770 131754 131988 132196 132348 132412 132484 132628 132676 132532 132508 132436 132668 132660 132660 132564 132172 132212 132500 132412 132980 132780 133076 133124 133236 132620 132980 133092 133028 132964 132844 131867 131907 131907 132211 132319 132463 132487 132495 132367 132303 132375 132383 132183 131527 131543 131723 131504 131752 131848 131688 131608 131712 131792 131552 131656 131448 131428 131674 131594 131690 131650 131714 131730 131730 131770 131766 131458 131866 131730 131818 131682 131746 131698 131906 131986 131906 131858 132010 131886 132034 131954 131938 131878 132106 132090 132118 132050 131998 131906 131746 131626 131498 131542 131782 131638 131710 131750 131662 131758 131638 131686 131682 131726 131474 131590 131398 131920 131952 131856 131836 131974 131902 132010 131994 131986 131938 131938 132082 131970 132050 132018 132162 132066 132226 132438 132622 132854 132982 133118 133222 133190 133262 133178 133210 133290 133306 133306 133052 132396 132524 132716 132572 132924 133020 132732 132804 132948 132804 132492 132004 132116 132004 132180 132244 132140 131972 132108 132140 132076 131956 131764 132902 132942 132870 132838 132894 132934 132886 132942 132886 132894 132766 132998 133014 132966 133054 132910 132966 132918 132842 133090 133042 133562 133226 133682 133882 133834 133546 133870 133926 133966 133862 133718 132808 133088 132896 133232 133368 133400 133408 133280 133392 133344 133072 132480 132320 132584 132552 132672 132600 132480 132616 132624 132408 132496 132224 131730 131642 131636 131516 131472 131618 131570 131646 131710 131654 131718 131606 131798 131646 131806 131742 131758 131670 131806 132156 132292 132564 132692 132796 132948 132916 133020 132888 132976 133016 133048 132992 132810 132074 132226 132434 132322 132634 132738 132346 132426 132706 132514 132242 131706 131826 131730 131906 131962 131810 131746 131762 131850 131802 131674 131498 131286 132806 132950 133398 133494 132494 132030 132894 132686 133574 133302 133301 132949 133256 132928 133584 133312 132838 132550 133204 133084 133292 133156 133766 133502 133507 133619 133987 133941 133794 133555 133308 133612 134084 133620 134010 134110 133866 133602 133866 133698 133402 133268 133084 132798 133114 133130 133090 132882 133250 133306 132962 133136 133232 133296 133306 133026 133138 133082 133034 133346 133146 133250 133296 133154 133056 133042 133018 132938 132930 132914 132826 132888 133146 133370 133738 134154 134314 134250 134466 134450 134434 134098 134210 134586 134930 135034 134970 135002 134914 133627 133475 133627 133816 133704 133608 133584 133184 133108 133100 133091 133224 133112 133431 133247 133320 133496 133552 133664 133640 133695 133495 133695 133744 133504 133440 133608 133424 133631 133632 133815 133736 133744 133425 133337 133409 133505 133528 133520 133504 133592 133465 133679 133655 133735 133710 133487 133814 133791 133727 132913 133017 132961 133033 132993 133096 132881 132937 134047 133914 134030 134238 134078 134262 134206 134230 134182 134166 134206 134094 134358 134690 134954 134866 135258 135314 135410 135346 135298 134597 134861 134789 135101 134829 134965 134661 136031 135471 135559 135687 135583 135679 135623 135623 135615 135479 135527 135455 135179 135419 135715 135931 136051 136099 136211 136187 136045 135397 135589 135493 135653 135485 135445 134765 136263 136375 136703 136927 137055 137071 137215 137199 137159 136375 136399 136543 136671 136671 136583 136447 135775 136456 136312 136376 136320 136472 136400 136352 136288 136312 136256 136216 136608 136396 136532 136788 137140 137268 137060 137228 137260 136734 136574 136630 136742 136710 136638 136550 135120 135464 135288 135424 135624 135832 135520 135506 135674 135738 135882 135632 135512 135296 135376 135808 135424 135824 135818 135496 135312 135488 135376 135256 135072 135032 134560 135288 135280 135212 135436 135364 135452 135524 135348 135508 135316 135476 135284 136008 136216 136576 136608 136880 136928 137064 137016 136898 136194 136498 136330 136626 136426 136522 136138 135248 135480 135800 135864 136128 136192 136216 136288 136288 135480 135568 135688 135720 135768 135560 135536 135200 133584 133520 133568 133304 133848 133832 133192 133754 133930 133890 134008 133656 133592 133472 133680 133816 133720 134008 133880 133536 133640 133600 133416 133144 133200 132928 132172 132682 132994 133298 133250 133594 133690 133698 133794 133794 133394 133594 133522 133978 134146 134338 133858 134274 134178 133882 132882 133010 132946 133154 133090 132954 132922 132546 132575 132415 132447 132407 132519 132439 132231 132519 132455 132431 130908 130420 130404 130636 130556 130540 130516 130556 130404 130436 129940 129735 129735 129743 129655 130007 129839 129607 129781 129909 129917 129951 129735 129759 129687 129687 130015 129823 129959 129933 129711 129613 129711 129575 129703 129511 129599 129463 129319 130338 130374 130828 130720 130748 130936 130916 130936 130968 131028 131040 130908 130744 130844 131020 130940 131012 130984 130804 130848 130724 130668 130600 130774 130456 130496 130472 130556 130592 130436 130580 130648 130680 130560 130468 130420 130536 130452 130544 130512 130376 130380 130340 130192 130156 129896 129876 129863 129815 129839 129899 129991 129875 129879 129881 129933 129945 129887 129835 129815 129855 129835 129959 129899 129979 129971 129819 129865 129807 129843 129811 129783 129787 129735 129744 130096 130003 130075 130282 130254 130073 130231 130337 130313 130296 130257 130232 130222 130380 130363 130461 130391 130367 130431 130403 130304 130310 130109 130501 130789 130467 130327 130327 130384 130299 130633 130626 130504 130540 130558 130692 130662 130690 130589 130551 130336 130475 130596 130751 130730 130848 130860 130828 130727 130796 130874 130793 130679 130629 130625 130495 130470 130630 130200 131099 131694 131365 131419 131946 131299 131898 132469 132021 132427 132297 131818 132273 132653 132543 132435 132976 133472 133408 133392 133608 132841 132113 131639 131886 132025 132019 131815 131881 131953 131886 131584 130943 131059 131315 130785 130851 130860 130608 130648 130680 130756 130744 130706 130784 130888 130904 130912 130928 130936 130880 130824 130704 130760 130832 130848 130976 130984 130792 130792 130768 130768 130848 130712 130672 130648 130744 130736 130526 130758 130646 130646 130630 130686 130670 131984 131672 131024 131200 131138 132092 132008 132386 132946 132834 132110 131530 132739 132769 132211 132411 131403 132252 131892 132168 132998 132724 132512 132374 132936 132646 132390 133328 133688 133992 134144 134294 134424 134296 134484 134636 134084 134099 134567 134699 134467 133435 133143 133111 132647 132895 131439 131777 131867 131912 132170 132374 132166 132380 132161 132212 132468 132215 131955 131872 131712 131763 131609 131934 132031 132115 132043 132111 132119 131975 131824 132192 132374 131848 131870 131208 131061 131101 131097 131237 131037 131437 131477 131437 131293 131341 131125 131149 131157 131317 131149 131213 131037 131181 130997 131109 131125 131157 130973 131357 131485 131325 131245 131181 131135 131599 131275 131831 131879 131711 131631 131079 131877 131915 131337 131717 131115 131687 131415 131651 131961 131843 131681 131641 131875 131689 131437 131927 132223 132271 132591 132589 132591 132415 132515 132859 132233 132223 132743 132671 132655 131919 131833 131825 131609 131477 130799 130871 130979 130928 131056 131258 131090 131276 131085 131128 131300 131251 131017 131014 130912 130884 130754 131067 131085 131269 131164 131240 131403 131301 131007 131175 131186 131321 131004 131049 130691 132414 132523 132711 133293 133321 133089 133795 133993 134065 134005 133913 133651 133855 133720 133972 134076 134297 133974 133769 133828 133765 133993 133739 133833 133414 133507 133381 133154 133695 133972 133915 134110 134155 134317 134482 134396 134364 134634 135727 135493 136083 135929 136661 136734 136672 136317 136010 136125 136139 136689 136072 136516 136158 136340 135958 136151 135985 135529 135126 135030 135148 135152 135104 135116 135126 135202 135202 135098 135330 135294 135120 135304 135332 135268 135218 135166 135374 135208 135230 135513 135397 135281 135255 135459 135495 135305 135537 135561 135631 135607 135425 135447 135539 135407 135310 135462 135570 135534 135694 135702 135586 135546 135502 135499 135567 135523 135512 135701 135637 135617 135663 135631 135623 135496 135532 135576 135476 135622 135566 135618 135532 135548 135536 135492 135714 135670 135746 135682 135838 135938 135890 135762 135872 135920 135972 135844 135988 136096 136044 135868 136014 136154 136054 136062 135914 135994 135954 135950 135970 136118 136098 136066 135804 135860 135896 135944 135880 136108 136208 136092 136096 135964 136052 136152 136112 136008 135498 135628 135828 135792 135932 135948 135732 135740 135528 135560 135616 135511 135335 135395 135272 135478 135538 135708 135776 135872 135968 135952 135940 135664 135594 135586 135370 135409 135401 135405 135552 135532 135580 135576 135585 136251 136113 136129 136173 136082 135956 135940 135936 135888 135759 135902 135902 135946 135914 136220 136094 136118 136110 136142 135988 136008 135968 136006 135880 135990 136014 136117 136029 136033 136053 136069 136189 136165 136314 136346 136306 136366 136254 136543 136515 136503 136539 136404 136564 136658 136526 136412 136456 136416 136556 136464 136345 136389 136453 136269 136099 136099 136115 136095 135826 135734 135750 135794 135631 135633 135601 135717 135561 135775 135723 135711 135627 135757 135705 135819 135891 136015 136175 136231 136185 136102 136226 136130 135982 135822 135810 135910 135700 136116 136146 136130 136058 136126 136054 136194 136282 136414 136582 136630 136538 136512 136596 136488 136328 136180 136176 136276 136052 136675 136803 136799 136995 136935 136883 137003 136863 136755 136587 136603 136623 136547 136670 136652 136644 136544 136652 136620 136712 136794 136918 137078 137134 137057 136947 137075 136975 136807 136667 136655 136755 136520 136735 136671 136715 136819 136803 136711 136942 137047 137155 137226 137123 137127 137035 137098 137008 137051 137030 137010 137117 137393 137401 137565 137564 137534 137426 137234 137374 137494 137634 137689 137518 137486 137366 137235 137207 137291 137363 137439 137323 137328 137693 137777 137913 137932 137889 137785 137605 137346 137284 137324 137296 137081 137210 137206 137134 137262 137282 137090 137279 137219 137203 137131 137199 137127 137160 137387 137539 137531 137707 137667 137576 137696 137556 137448 137276 137304 137316 137240 136993 137035 137115 137317 137249 137125 137257 137117 137069 136813 136865 136853 136825 136625 136665 136665 136653 136769 136681 136679 136800 136860 137028 136963 136992 136920 136728 136381 136449 136573 136636 136429 136429 136329 135963 135943 135935 135923 136027 135943 135788 136238 136303 136427 136439 136587 136563 136602 136622 136854 136794 136782 136746 136398 136322 136378 136366 136222 136056 136044 136144 135928 136213 136202 136198 136154 136214 136170 136092 136129 136007 136035 136045 136045 135925 135939 136003 135951 135923 135943 135987 135995 135987 135928 136367 136443 136591 136658 136770 136858 136842 136830 136502 136447 136423 136187 136422 136318 136242 136330 136508 136445 136305 136261 136345 136450 136240 136316 136264 136268 136244 136328 136348 136288 136178 136250 136410 136494 136649 136625 136741 136737 136685 136328 136252 136248 135844 136004 135882 135850 135894 135923 135660 135512 135500 135520 135531 135253 135261 135251 135253 135315 135281 135243 135355 135339 135301 135315 135373 135407 135367 135265 135249 135481 135555 135334 135509 135697 135754 135578 135490 135752 135732 135668 135664 135816 135795 135796 135616 135552 135895 135934 135789 135794 135955 136192 136013 136001 135813 136053 136118 135779 136126 136249 136059 136312 136316 136077 136066 136183 136049 135824 135940 136146 136172 136185 136283 136401 136148 136119 136173 136171 136253 136226 136129 136423 136400 136391 136221 136333 136368 136201 136237 136304 136348 136231 136338 136311 136390 136233 136209 136283 136257 136151 136377 136491 136495 136532 136690 136691 136736 136700 136725 136712 136773 136741 136738 136903 136895 136867 136747 136820 136943 136963 136976 136978 136775 136794 136867 136747 136842 136957 136895 136998 136891 136491 136719 136779 136819 136810 136986 137088 137021 137089 136762 136939 137045 136939 136880 136824 136186 136479 136602 136558 136721 136774 136576 136537 136485 136318 136403 136453 136296 136133 136122 136024 136944 136891 136760 136901 136964 136941 136820 137485 137653 137719 137844 137989 137959 137906 138007 137937 137741 138386 138511 138731 138821 138760 138790 138779 138505 138221 139172 139495 139385 139758 139677 139472 139568 139670 139679 139555 139356 139364 139418 139239 139313 139286 139304 139202 139318 139429 139460 139334 139195 139115 139227 139049 139273 139202 139064 139113 139385 139306 139581 139480 139269 138893 139042 139033 138875 138530 138627 138645 138561 138381 139303 139513 139442 139615 139535 140128 140337 140542 140700 140729 140584 140149 140292 140148 140204 140016 139787 139799 139845 139640 139472 139999 140026 140317 140735 140666 140691 140470 140627 140549 140780 140573 140287 140082 140062 139990 139508 139618 139636 139556 139364 139367 139363 139419 139272 139473 139356 139202 140041 140119 140320 140225 140174 140581 140580 140760 140580 141177 141083 141122 141252 141394 141260 141230 141442 141869 141917 142160 142009 141719 141761 141756 141442 141466 141318 141359 141451 141505 141373 141253 141203 141663 141887 142141 142105 141826 141997 141945 141898 141605 141322 141279 141126 140851 140838 140752 140909 140722 141078 141510 141710 141964 141942 141836 141864 141790 141886 141764 141230 141229 141254 140953 140484 140434 140326 140466 140311 139997 140054 140050 139887 140084 140072 139911 139713 140827 141353 141355 141626 141804 141878 141718 141617 141643 141882 141853 141854 141938 141676 141280 141288 141239 141324 141099 141041 141097 141117 141018 140887 141408 141505 141498 141653 141545 141732 141665 141673 141757 141786 141782 141718 141728 141691 141935 141942 142097 142012 141530 141505 141607 141631 141430 141171 141218 141244 141127 140934 140717 140765 140801 140634 140881 140746 140610 140456 141493 141506 141660 141462 141414 141456 141518 141607 141514 141823 141655 141713 141808 141852 141720 141554 141420 141718 141786 141978 141926 141457 141432 141453 141144 140987 141123 140907 140941 140987 141047 141008 140951 140857 140969 141332 141538 141689 141764 141701 141527 141726 141793 141791 141609 141128 141094 141036 140715 140872 140826 140723 140882 140755 140671 140702 140762 140818 140758 140602 140597 140810 140836 140728 140656 140858 140836 140753 140563 140431 140401 141031 141177 141326 141453 141400 141319 141500 141512 141508 141378 140876 140914 140852 140656 140577 140570 140561 140408 140453 140587 140696 140802 140796 140790 140732 140769 140683 140813 140703 140762 140731 140855 141104 141030 140463 140531 140495 140329 140086 140145 140222 140033 139813 139276 139175 139071 139196 139009 138502 138659 138775 139081 139193 139103 139665 139889 140053 140081 139923 139613 139649 139805 139653 139929 139925 139492 139505 139433 139496 139190 139190 138868 139067 138940 138645 138872 138803 138672 138712 138550 138697 138623 138444 138297 138270 138206 138551 138363 138689 139024 138932 138785 138297 138536 138438 138561 138334 138488 138150 138162 137888 137901 137635 137337 136836 136554 136286 136218 136299 137665 137805 138122 137987 138412 138316 138220 138140 138080 138384 138335 138189 138424 138295 138051 137742 137853 137866 137853 137624 137632 137679 137683 137529 137436 138405 138554 138679 138611 138836 138734 138689 139387 139468 139428 139463 139612 139518 139207 139329 139222 139397 139263 139366 139296 139046 139614 139599 139730 139611 139904 139801 139644 139708 140649 140801 140831 141264 141169 140920 140691 140694 140791 140597 140743 140548 140458 140504 140528 140342 140201 140671 140818 140645 140822 140927 140950 140777 140841 141421 141421 141776 142025 142064 141865 141385 141350 141508 141350 141465 141233 140931 141037 141026 140911 140714 140484 140557 140377 140566 140642 140672 140471 140521 140600 140702 140955 141089 141107 140998 140747 140353 140476 140396 140471 140263 139992 139974 139946 139914 139747 139530 139985 140027 141227 141186 141287 141148 141543 141435 141239 141061 141730 141785 142024 141873 142687 143152 142994 143106 143319 143539 143456 143251 143359 143874 144116 144183 144259 144253 143738 143685 143629 143118 142987 143233 143392 143253 143000 142969 142941 142732 142899 142975 143032 142886 142636 142629 142757 142915 143164 143038 142531 142470 142474 142207 142126 142219 141975 142027 141870 142160 142116 142058 141990 142105 142483 142711 142710 143018 142909 142732 142911 142903 142928 142752 142218 142115 142147 141902 141900 141930 141816 141992 141863 141740 141601 141642 141689 141615 141358 140971 141155 141174 141248 141243 141196 141247 141234 141237 141233 141138 141093 141084 141092 141060 141131 141104 141052 141003 141236 141213 141229 141320 141233 141222 141268 141227 141245 141317 141331 141267 141234 141227 141539 141435 141407 141256 141546 141462 141381 141203 141211 141479 141659 141417 141583 141486 141569 141385 141532 141654 141803 141831 141862 141708 142140 142206 141996 142078 142032 142117 142017 142229 142433 142496 142921 142754 142497 142737 142655 142783 142659 142040 142039 142149 141932 141724 141733 141762 141538 141323 142135 142230 142300 142292 142173 142883 142663 142805 142961 142807 142505 142405 142485 142528 142440 142009 142152 142092 142257 142002 142304 142185 141965 142560 142891 142843 143220 143148 143008 142591 142741 142741 142608 142170 142325 142350 142209 142042 142316 142126 142179 142303 142403 142377 142236 142006 142661 142985 143148 143184 142916 142588 142691 142687 142755 142468 142257 142315 142361 142146 141950 141666 141548 141670 141511 141702 141591 141387 141319 141385 141627 141713 141711 141437 140972 141122 140928 141043 140737 140510 140531 140617 140412 140169 139317 139585 139494 139888 139838 140095 140310 140561 140611 140624 140429 140299 140294 140464 140605 140571 140359 140241 140127 139762 139905 139693 139582 139644 139620 139422 139639 139613 139632 139601 139660 139566 139392 139307 139200 139047 138961 138979 138456 138528 138827 138678 139176 139135 139110 138954 138852 138885 138818 138788 138543 138607 138422 138348 138007 138032 137679 137344 137054 136437 136114 136136 136193 136117 135978 145477 143673 147948 146943 152419 153577 153485 152216 151323 152943 154020 153987 155680 155902 154950 155060 154609 153377 152750 153435 154429 153674 154228 154665 153956 154097 154366 154787 153688 153084 152389 151456 149877 149926 150046 151595 149915 152337 152124 151893 151156 151290 151735 150977 149968 154570 153755 152381 157067 155951 158032 158477 157993 157502 158002 158264 157488 156662 160006 158551 157825 155345 157208 157594 156953 156727 156806 156360 155328 156721 157052 157134 156952 156345 156201 156369 155624 154913 154244 154362 154690 154076 153222 152338 155347 152731 153608 155711 155512 155345 154027 157904 161773 159989 159134 157182 155484 155669 156047 156718 157541 158807 158434 159624 160987 162685 162810 163013 162594 161272 160561 161301 161337 162036 162320 160161 160122 160445 159526 159009 158583 157457 156756 156055 154929 152681 152728 152829 153747 154091 154304 156677 156460 156310 155494 154027 154408 154189 154279 154039 153500 153338 152951 151563 152102 150812 149058 147603 147224 146734 147067 147880 148015 148022 147996 148303 148278 147972 148590 147844 151371 152433 152583 153549 154073 154200 153722 153904 154328 154496 154218 153958 154520 154426 154138 154054 154531 154274 154464 154930 155683 155483 155127 155482 154937 154648 153780 154460 154044 154645 154566 154703 154694 154599 154718 154398 154303 154281 153605 156408 156407 156655 156800 157826 157662 159519 158873 156621 156769 156106 155575 155094 155147 154957 154381 153199 154630 155251 155004 155170 155748 156132 156076 156229 156861 156860 156690 157325 157625 158114 158088 158059 157844 157432 157384 157574 157639 157864 157631 157259 157205 157059 157065 156588 156546 155994 156135 156051 155499 155663 155023 154841 154736 154258 153992 153652 153795 153530 154128 153849 154885 154809 154749 154523 154187 154071 153976 154150 153898 153752 153468 153534 153097 153307 152933 152358 151759 151439 152163 152381 152488 152320 153024 153145 152926 152601 152544 152617 152549 152620 152751 152723 152550 152872 153227 153212 153194 153071 152680 152614 152687 152891 152570 152437 153417 153229 152735 153057 153833 154672 153946 153128 153318 153512 153520 153510 153427 153379 153298 153372 153332 153790 153507 153633 153893 153757 153285 153507 153427 153575 153657 153460 153390 153382 152968 155886 156083 156152 155429 154589 155959 155969 155929 155929 155493 156525 156409 156559 156401 155291 155245 155319 155103 155023 156527 158448 158253 157942 156988 157363 157395 157447 157311 160716 160783 161161 159913 158754 159070 158774 158814 158614 159724 160956 160576 160672 160511 160488 158912 159894 161182 160923 161554 161074 161163 160387 161374 162114 161561 161680 161336 161313 160041 160415 161126 160779 161402 161122 161131 160355 159677 160758 161539 163928 163547 163475 163997 163476 163965 164290 164152 163404 164392 164138 165088 164087 164631 164527 164375 164455 164223 162695 161203 161799 161504 161121 161137 161017 161017 160897 159543 159997 160277 159771 159386 159474 159490 159202 159554 159538 159634 159392 159562 159106 158666 162269 162740 162369 163505 162758 162814 162935 162959 162943 163034 162667 167629 167146 167470 167796 167801 167300 167323 166588 167221 167120 166792 165768 165770 165878 166046 165733 165049 165028 164997 164872 164938 164872 163742 165637 164883 165162 166227 165643 165332 165371 164917 165400 165361 165101 165845 167317 167371 167122 167595 166812 166719 166695 166931 166739 166887 166616 163755 163763 163861 164561 163835 163442 163537 162995 163214 163251 163000 163491 161561 162656 163119 162847 163127 164665 163738 163223 163228 163440 163324 162991 163415 163089 163513 163464 163457 163333 164180 166368 167586 168811 169426 167812 168507 168931 169073 168715 168908 168834 169378 169424 169355 168660 166779 168010 167326 167531 166638 166670 166892 166485 166701 166701 166287 165481 164235 164373 165118 163813 164324 164557 164205 164071 164421 164399 164191 164148 163977 163613 163233 167994 167460 166898 167806 168269 168197 167325 167222 167598 167410 167141 167429 167177 167167 167185 167351 167285 166648 168720 169926 171443 172225 170673 171368 171792 171934 171576 171769 171569 172239 172285 172216 171545 169701 170902 170270 170437 169468 169596 169818 169411 169627 169627 169213 168399 167161 167285 168036 166632 167143 167408 167024 166874 167224 167202 167010 166951 166780 166392 165689 171416 171624 172936 175381 175045 174601 174793 174735 175079 174864 174994 175296 175432 175298 175040 172721 172952 173479 174270 172443 172745 172833 172417 172314 172456 172569 172399 170340 170792 170866 170651 170161 170415 170417 169665 170075 170203 170347 169947 170195 169705 169153 169747 170490 170883 170941 171650 171711 169981 170698 170790 170657 170434 170649 170665 170672 170621 170635 170319 171692 172792 174464 174001 176633 175914 176007 176039 176269 176165 176128 176256 176654 176614 176712 176240 173725 174726 174467 174809 173247 173647 173903 173040 173136 173582 173504 172898 171676 171822 172144 171436 171135 171401 171327 170899 171177 171241 171177 170809 171168 170623 170039 171266 170773 170211 171059 171217 171005 170086 169975 170351 170163 169886 170304 169926 169912 169926 170194 170022 170412 173000 174742 174167 176313 175544 175522 175562 175792 175696 175651 175779 176145 176137 176235 175763 173102 174559 173842 174398 172914 173274 173442 172587 172851 173375 172955 172445 171095 171382 171656 170827 170591 170793 170719 170275 170553 170633 170569 170201 170560 170015 169346 166350 167143 168167 169577 170131 169249 169585 169697 169935 168706 169582 169704 170080 169670 169794 168580 167045 168143 168082 167049 166628 166900 166858 166404 166722 166738 166452 164915 164285 164288 164958 163993 164313 164535 164121 163951 164285 164359 164023 163959 163665 163417 162810 163318 163609 164944 164599 167057 166623 166253 166460 166412 166901 165917 166645 166606 167094 166633 166972 166497 165509 165935 167367 166845 168507 167389 166711 167167 167463 167159 166853 166831 167197 166927 166847 165727 163159 163931 164060 163863 163031 163287 163159 163111 162839 162679 162991 162991 162399 161355 161654 161859 161345 160874 161146 161074 160688 161018 161018 161034 160832 161026 160498 159834 159622 160990 161252 160954 161049 162613 161609 161021 161046 161214 161082 160697 161049 160711 161175 161070 161043 160863 160091 159127 158582 158849 158538 158558 157960 157637 157489 157509 157153 157552 157586 157444 157656 157476 157296 158154 155272 155566 155774 155587 155670 156017 155993 155695 155948 156116 156076 156008 155923 155882 155894 156157 156076 156312 156212 156116 156196 156097 155953 155985 155683 155867 155795 155650 155591 155866 155851 155560 155745 155949 155953 155769 155768 155583 155663 155767 155785 155765 155733 155605 155677 155646 155521 155452 155360 155224 155168 155063 155187 155347 155542 155406 155157 155365 155487 155479 155471 155433 155363 155341 155394 155362 155607 155475 155518 155650 155598 155383 155470 155426 155518 155535 155436 155368 155364 155167 155489 155784 155649 155722 156112 155986 155731 155984 156223 156119 156073 155977 155930 156044 156180 156252 156320 156264 156073 156344 156322 156117 156058 156065 155974 156166 156006 156193 156042 156572 156499 156167 156412 156622 156844 156766 156804 156614 156454 156274 156372 156750 156696 156706 157004 156964 156788 156795 156857 156876 156811 156668 156465 156374 155810 155811 157332 158222 157950 157635 158367 158119 157358 159435 159614 159587 160423 160403 160213 160831 161049 161305 161225 161193 161195 160840 160608 160605 160664 161173 161313 161725 161444 160912 160867 160820 160729 161023 160661 160782 160621 160665 160628 160003 160927 161811 161972 162197 162239 162308 162665 162351 162377 163052 163472 163748 163507 164231 163979 164193 164960 164898 164860 164453 164125 164400 164282 164456 164377 164507 164373 163973 164465 164143 164432 164298 163942 163491 163354 163404 164090 164299 163939 164357 164723 164952 164931 164533 164837 169762 169767 169928 170428 170083 170646 173438 173743 174126 174050 173580 173597 173511 173084 173037 172751 172874 173372 172306 175726 176213 176528 176656 176935 176044 176127 176063 175859 174930 174793 174795 174525 174188 173472 173279 173154 173162 172959 172785 171483 172300 172660 172450 173804 173747 173379 175041 175813 175861 176044 175856 175664 174961 174755 175459 175530 176125 176071 174942 174919 175296 174651 175423 174854 174963 174606 174186 173789 173819 173659 173957 173631 173850 173720 173608 173900 173081 172841 174502 173840 173260 174274 173274 172263 172333 173220 172941 174342 174630 174462 174229 173946 173516 173639 173771 173985 173157 173945 173260 173731 173105 173243 172748 172260 170871 171176 170938 170385 169873 169831 169045 169322 169496 169705 169805 169824 169939 169974 170146 169981 169719 169745 169798 169616 169573 169662 169604 169385 169360 169487 169441 169608 169358 169499 169746 169702 169899 169886 169820 169828 169711 169265 176380 176303 177320 177392 177929 177600 178113 177991 178921 178745 178884 178512 177877 177598 177512 177647 176814 176773 176962 176983 176699 177696 177842 177816 177970 177741 177739 178298 178536 178657 178788 179130 179081 178979 179711 179920 180051 180063 179777 179254 179322 179259 178835 178790 178702 178665 178815 178598 178615 177304 177183 177027 177036 176734 176320 176156 176058 176212 176478 177419 177444 177331 177158 178685 178873 179392 179262 179425 179340 179052 178587 178531 179127 178984 179520 179524 179456 178828 178989 178943 179055 178819 178974 178375 178279 177921 176978 177317 178100 178181 178182 178091 178084 177989 177828 177453 177649 177344 178946 178396 178106 177938 177262 179374 179259 178579 179995 180024 178537 178566 177331 177314 177753 177868 177684 179012 179239 179136 178824 178724 178397 178259 178509 178968 178679 178733 178256 178375 178328 178016 178109 177566 176541 175706 176284 175797 175281 175324 174832 175587 175408 174686 175484 175381 174726 174695 173876 174016 173913 174167 173882 174479 174480 174208 174059 174159 174100 174188 174076 174240 174126 174080 174576 174433 174544 174409 174684 174469 174540 174479 174606 174327 174418 174618 174807 174905 174825 174887 174929 175129 174954 174689 174734 174795 174689 174494 174467 174475 174255 174650 174716 174674 174765 174966 175269 175309 175277 175296 175079 174963 175028 175032 174972 174655 174754 174694 174900 174968 174989 174744 175021 175141 175380 175529 175590 175563 175469 175649 175540 175484 175140 175207 175177 175091 175042 175364 175370 175532 175529 175593 175441 175369 175802 176035 176219 176321 176128 176273 176456 176284 176373 175864 175998 175942 175908 175559 175551 175581 175677 175690 175694 175338 175258 175150 175421 175432 175467 175092 174988 175184 175039 175072 174685 174527 174468 174481 174169 174064 174003 173973 174114 174348 174565 174308 174011 174114 174186 173924 174117 174105 174039 174076 174224 174394 174351 174336 174573 174490 174483 174345 174559 174602 174240 174324 174258 174473 174557 174613 174363 174984 175089 175085 175256 175288 175238 175310 175089 175112 175377 175484 175685 175587 175602 175590 175244 175437 175688 175934 176117 176208 176080 176281 176446 176399 176425 176028 176163 176179 175959 176033 176055 175995 175774 175897 175889 175574 175619 175635 175817 175834 175871 175599 175303 175367 175613 175671 175703 175511 175298 175454 175330 175259 174812 174878 174859 174762 180254 179936 181207 181455 182520 184428 184327 184237 183664 184195 184614 185019 185768 186302 185688 185883 185315 184775 183588 184420 184924 184832 184964 185078 184976 184847 184962 185057 184427 184020 183391 182994 182156 182075 182311 183638 182977 184069 184362 184242 183930 183893 184239 183842 183238 182242 185297 184990 187052 185988 187615 188030 187653 187046 186939 187282 186778 186061 185119 187572 187134 186218 187298 187422 187008 187083 186824 186497 185579 186320 186947 186701 186786 186412 186066 186031 185542 184548 184486 184696 184655 183891 183613 182799 184330 183423 183778 184521 184769 185769 185063 186849 186838 186657 189618 191084 191040 190124 189010 189452 189357 190042 190234 190835 190869 191809 192027 192659 192935 192719 192225 191763 191460 192150 192705 192890 191608 191621 191744 191420 191216 190868 190269 190088 189637 188490 187708 187798 187843 188621 188203 189767 189611 189423 189034 188257 188307 188364 188134 188061 187546 187885 186976 186436 186647 186308 185336 184570 184371 184408 184489 184396 184251 184589 185339 185798 185900 186230 186531 186546 186296 186478 186704 186776 186693 186503 186748 186698 186522 186446 186545 186403 186509 186601 187002 187057 186878 187094 186809 186603 186187 186610 186481 186755 186798 186899 186958 186866 186910 186752 186667 186592 186265 187763 187879 188080 188630 189450 189496 190785 190655 189415 189819 189628 189509 189360 189803 189907 189725 189618 190175 190766 190538 190548 190910 189912 189543 189523 187793 187870 187964 187643 187701 187714 187556 188654 188561 188450 188629 188881 189097 188854 188454 189206 189037 188970 189281 189018 189231 188950 188829 189682 189482 189605 189731 190454 190090 190224 190304 190419 189885 190381 190624 190438 190822 190807 190193 190649 190735 189628 195041 196033 196837 196933 196782 196611 196492 196706 196151 194186 194098 194037 193465 193503 193494 193407 192964 195427 195633 195508 195763 195494 198982 197926 198078 198152 198118 197980 197568 197673 197502 197516 197016 198375 197918 198096 198366 198159 198074 199019 199138 198880 199135 198766 196809 196789 196773 196966 196570 196404 199253 199016 199592 199800 199820 199490 199370 200248 201032 200900 201544 201384 200752 200243 200309 200283 199560 199280 199367 199351 199067 199782 200693 200617 200941 200551 201141 200891 200533 201998 203018 202862 203748 203539 202931 202689 202745 202740 202035 201740 201793 201825 201402 202028 204198 205028 205486 205649 205205 204813 204985 204650 204667 203977 203810 203710 203765 203483 203986 203689 203992 203652 204090 203855 203343 204026 204483 205177 205665 205782 205408 204734 204718 204354 204111 203234 203395 203305 203176 202809 202225 201408 201652 201253 201497 201092 201383 201325 201229 201897 202358 202262 201953 200802 200802 200564 200092 199509 199617 199530 199338 198892 196369 197052 196865 197388 197124 196220 195854 195903 195757 194974 194617 194667 194669 194208 192930 193790 193547 194360 194676 194766 194180 194177 193991 194613 194424 194556 194509 193909 192817 192896 192797 192603 192055 191940 191941 191867 191584 192408 192863 192568 192510 193013 192713 192311 192396 191117 190819 190763 190515 190402 189585 188588 189256 188054 188066 187678 187698 187606 187690 187797 188023 187961 187696 187831 187909 187973 187961 187855 187812 187900 187777 187769 188052 187972 187907 188098 187971 187840 187955 187979 187995 188012 187897 187844 187812 187614 188466 188595 188297 188739 188014 188505 188781 188654 188765 188310 188777 188989 188970 188918 188329 188581 188728 188641 188684 188883 189428 189516 189636 189126 189047 189386 189391 189291 190095 190618 190782 190410 189876 189952 190040 190007 189859 189883 190514 190658 190934 190686 190714 190110 190329 190666 190782 191198 191010 191014 190754 190710 191107 191135 191407 191095 191115 190667 190036 190357 190393 190957 190757 190805 190569 189394 189669 189921 190510 190549 190860 191132 190629 191207 191208 190954 190374 190622 190471 190966 190882 191378 191323 191317 191307 191179 190707 189561 189629 189714 189950 190043 189719 189899 189799 188787 189011 189083 189025 189008 189187 189168 188800 189051 189080 189159 188936 189068 188816 188496 189420 189622 189508 189909 189608 189963 190064 189836 189998 190040 189836 191606 191003 191047 191183 191127 191265 191285 191172 191204 191116 191092 190565 190702 190757 190560 190802 190867 190791 190810 190702 190794 190710 190281 190333 190220 190264 190336 190371 190476 190415 190271 190504 190437 190285 189893 190828 190899 190717 190999 190741 190920 190997 190799 190933 190969 190823 189749 189448 189524 189694 189533 189700 189725 189313 189593 189557 189276 189288 188909 188899 189053 188788 189263 189012 189092 189155 189227 189292 188748 189242 189240 189266 189274 189186 188984 189234 189545 189873 190280 190470 190464 190672 190768 190821 190130 190760 190926 191087 190840 190937 190224 189791 190043 190127 190159 190283 190388 190448 190192 190360 190368 190244 189516 188948 189055 189325 189179 189343 189455 189236 189171 189315 189379 189164 189183 189048 188832 188596 189608 189738 189664 189725 190144 189888 189954 190043 190141 190110 189798 190038 189870 190195 190132 190097 189930 189784 190131 190459 190870 191060 191054 191262 191358 191411 190720 191352 191518 191687 191440 191537 190830 190429 190677 190761 190793 190917 190990 191082 190770 190994 191002 190878 190234 189578 189685 189961 189807 189985 190089 189868 189791 189935 189999 189784 189799 189670 189440 189168 190803 191034 191180 191876 191768 192094 192186 192203 192135 192155 192220 192431 192392 192357 192190 191137 191356 191358 191775 191154 191821 191946 191230 191510 191776 191761 191430 190593 190694 190786 190632 190634 190699 190704 190418 190689 190681 190673 190592 190635 190356 190002 190438 190847 190768 190949 191086 191094 190785 191052 191221 191188 191018 191202 191016 191068 191120 191172 190946 190886 191459 191850 191874 192373 192207 192582 192710 192803 192667 192822 192664 192824 193004 192980 192678 191725 192047 191754 192255 192189 192350 192426 192050 192336 192298 192162 191854 191077 191148 191255 191038 191235 191335 191252 191025 191308 191245 191197 191046 191104 190880 190519 191238 190960 190825 191066 191171 191136 191117 191122 191336 191305 191069 191228 191105 191157 191167 191213 191113 190975 191884 192343 192185 192894 192720 193075 193147 193244 193180 193125 193189 193393 193401 193426 193155 192182 192461 192259 192698 192650 192843 192931 192573 192619 192905 192683 192447 191574 191640 191799 191587 191714 191796 191777 191542 191706 191738 191698 191574 191682 191385 190967 189773 189909 190233 190656 190827 190836 191084 191144 191233 190506 191022 191113 191234 191054 191190 190378 189832 190119 190319 190211 190387 190556 190544 190288 190456 190464 190403 189496 189131 189135 189364 189220 189421 189533 189292 189226 189378 189427 189220 189188 189030 188868 188481 188281 188342 188676 188617 189278 189237 189421 189611 189619 189854 189203 189615 189687 189961 189835 189764 189360 188660 188736 189249 189120 189593 189623 189663 189939 190049 189992 189668 189832 189872 189808 189823 189240 188265 188520 188632 188702 188710 188928 188872 188855 188829 188691 188856 188781 188521 187762 187863 187973 187813 187832 187887 187902 187632 187871 187887 187887 187798 187826 187580 187216 186987 187756 187514 187299 187588 187844 187690 187631 187786 187866 187823 187585 187691 187563 187831 187825 187745 187575 187077 186177 185989 186118 185917 186250 186012 186276 186303 186321 186130 186148 186206 186250 186358 186192 186166 185452 184896 185044 185070 184995 185187 185165 185181 185214 185284 185318 185244 185169 185142 185265 185298 185330 185364 185283 185368 185386 185333 185272 185217 185134 184999 184965 184849 184953 185168 185302 185124 184841 185195 185316 185330 185372 185290 185214 185143 185105 185116 185364 185166 185307 185413 185389 185214 185224 185399 185459 185302 185195 185173 185093 184723 184714 186672 187545 187697 187455 187926 187671 187531 187599 187563 187803 187790 187711 187892 187922 188126 188042 188158 188082 187989 187846 187922 187930 187910 188074 188082 187994 187770 187838 187881 187773 187750 187693 187883 187798 187777 187729 187973 188004 188024 188205 188147 187985 188059 187950 187446 187321 188706 188662 188170 187921 188678 188944 188674 190028 190429 190201 189734 188875 190714 190572 189976 190175 188424 188918 189406 189295 189318 189606 189534 189146 189508 189738 189355 189262 188724 188596 188629 188665 188753 188594 189081 189097 189077 188945 188943 188777 188730 188705 189018 188823 188757 188521 188684 188567 188188 188240 188186 187601 187039 187803 187643 187358 187374 186826 187873 187676 187145 188131 188124 187479 187730 187708 188066 187908 187549 187047 186831 186900 187023 186906 186925 187080 186923 186682 186854 186870 186882 186708 186683 186184 184847 184716 184779 184880 184766 185043 185030 184905 184776 185161 185127 185070 185113 185159 185167 185153 185067 184863 185197 185289 185243 185185 185619 185696 185553 185678 185508 185722 185721 185540 185901 185976 185861 186046 186037 185821 185917 186032 185797 185474 185605 185677 185642 185860 185780 185764 185813 185911 185875 186441 186555 186634 186764 186923 186924 186913 186969 186900 186720 187028 187115 187295 187352 187348 187379 187389 187041 186859 187232 187502 187417 187740 187649 187757 187827 188035 187925 188078 188078 188194 187966 188168 188068 187722 187882 187830 187947 187811 187713 187731 187831 187667 187743 187683 187772 187632 187755 187799 187623 187871 187684 187586 187571 187653 187474 187654 187553 187605 187572 187562 187472 187310 187563 187514 187767 187703 187697 187741 187850 187497 187608 187598 187658 187356 187484 187246 186959 186991 186991 186882 186906 186846 186804 186740 187385 187427 187376 187538 187545 187619 187727 188321 188581 188523 188811 188723 188716 188792 188902 188601 188728 188720 188802 188472 188692 188478 188195 188240 188264 188141 188188 188141 188119 188032 188189 188237 188478 188701 188791 188718 188842 189084 189038 189054 189206 189135 189373 189129 189156 189043 188696 188632 188660 188543 188585 188332 188048 188090 188118 187912 188019 187920 187931 187808 187915 187942 188066 187979 188143 188034 188080 188051 188063 187926 187887 187961 188108 188134 188451 188399 188392 188484 188644 188587 188521 188555 188822 188763 188848 188821 188717 188811 188678 188389 188341 188442 188477 188363 188349 188318 188164 188013 188042 188077 187876 187966 187934 187976 187892 188067 188174 188128 188199 188085 188251 188210 188163 188199 188279 188186 188384 188272 188269 188293 188220 188186 188066 188138 188351 188455 188485 188406 188520 188627 188353 188254 188404 188380 188274 188238 188012 187682 187776 187762 187705 187627 187671 187546 187516 187333 187163 187122 187236 187238 187246 187056 187140 186937 186974 186725 187206 187336 187560 187737 187710 187976 188235 188566 188553 188618 188487 188115 188236 188380 188387 188573 188631 188096 188076 188158 188286 188249 188362 188185 188172 188064 187801 188031 187877 187979 188189 188181 188013 187945 188073 187888 187675 187749 187646 187974 187872 188170 188461 188348 188227 187939 187840 187793 187906 187796 187945 187526 187716 187483 187329 187130 186830 185975 185815 185002 185179 185258 185426 185461 185784 185727 185734 185800 185848 185948 185846 185902 185983 186075 186027 186139 186176 185938 186150 186162 186091 185711 185633 185742 185818 185726 185721 185785 185659 185366 185505 185483 185462 185365 185410 185389 185331 185473 185845 185902 186030 185968 185999 185845 186035 186192 186818 186866 186793 186933 186880 186858 186750 186655 186622 186505 186527 186595 186500 186527 186376 186382 186226 186347 186486 186441 186611 186678 186746 186533 186728 186776 186831 186774 187403 187593 187806 187737 188081 188060 188057 188173 188265 188256 187955 188074 188123 188085 188098 187979 188108 187964 187682 187736 187727 187618 187612 187592 187585 187568 188248 188076 188107 188201 188021 188299 188166 188234 188296 188195 188182 188098 188770 188804 188936 189319 189254 189193 189321 189322 189426 188997 189108 189204 189061 189226 188971 189108 188854 188473 188545 188519 188444 188369 188413 188286 188254 188119 187712 187712 187773 187771 187822 187701 187785 187776 187581 187510 187325 187266 187169 187452 187679 187622 187517 187624 187591 187704 187082 187067 187292 187142 187226 186972 187118 186851 186463 186582 186523 186491 186369 186417 186277 186237 185904 186066 186076 186080 186188 186191 186131 186178 186179 186158 186214 186241 186315 186295 186228 186187 185681 185823 185855 186155 186095 186291 186543 186741 186829 186890 186778 186569 186516 186546 186713 186846 186887 186584 186500 186552 186553 186567 186500 186527 186380 186319 186086 186126 186358 186357 186459 186393 186539 186503 186304 186245 186372 186138 185965 185856 185809 186043 186006 186183 186383 186324 186165 186109 185916 185916 185964 185910 185903 185694 185643 185553 185361 185223 184964 184537 184080 183654 183577 183546 183569 183644 183617 183490 183319 183937 183468 183687 183845 184265 184042 183536 184037 184147 184441 184361 184349 184062 183773 183649 183812 184060 183991 184062 184444 184252 184207 184160 184280 184342 184102 184094 183827 183716 183093 184028 184401 184340 184025 183613 183432 183941 184173 184095 184197 183935 184043 184411 184077 184475 183927 183886 184125 183977 184072 183597 184385 184975 184923 185425 184792 184727 184939 184627 184899 184741 184642 185826 185798 186175 185529 185260 185438 185556 185524 185520 185084 185551 185881 186181 185958 186104 185961 184810 185509 186223 186370 186654 186379 186419 185909 186103 186500 186523 186772 186504 186518 185820 184907 185536 185909 186166 185851 186089 185946 185090 184260 193239 192507 192999 192768 193545 193341 193719 193833 193734 193846 193701 193889 193834 194064 193835 193840 193418 196692 197506 197946 198018 197904 197237 197686 198177 198281 198794 198381 198514 198222 197407 198037 198139 198541 198232 197971 197453 197290 197118 197046 197069 197149 201330 201982 202506 202652 203078 203155 202910 203296 203299 202801 202241 202510 202448 202920 202404 202492 202367 201206 201202 200948 200660 200536 200458 200893 200907 204824 204983 205954 207167 207036 207444 207630 207530 207726 207621 207665 207802 207893 207748 207570 206897 206053 206232 206654 206533 206858 207011 206961 206572 206692 206628 206595 205599 204998 205322 204928 205571 205486 205245 205215 204538 204349 204368 204456 204492 204611 204708 204514 204265 204409 204538 204336 204337 204199 204060 203928 204094 204174 204078 203956 203972 203884 203788 203692 204175 204338 204554 204624 204299 204442 204281 203436 203472 203618 203634 203682 203662 203540 203486 203592 203614 203566 203488 203522 203400 203357 203411 203549 203441 203578 203640 203512 203610 203542 203210 203234 203316 203321 203406 203329 203187 203144 203171 203142 203249 203091 201471 201238 201530 201119 201764 201507 201745 201805 201828 201859 201230 201848 201874 201930 201930 201812 201532 201060 201463 202113 202369 202794 202566 203189 203325 203352 203247 203204 203048 203173 203249 203201 202760 201119 200827 200794 201127 200527 201133 201209 200455 200735 200795 200726 200414 199713 199412 199495 199358 199383 199441 199472 199266 199022 199166 199357 199099 199139 199069 198699 198207 198230 198266 198366 198354 198484 198458 198400 198371 198276 198012 198038 198000 198044 198145 198032 197864 197894 197811 197811 197824 197665 199838 200007 199975 200253 200173 200123 199955 200092 200191 200209 200087 200026 200106 199968 200646 200979 201271 201212 201553 201557 201442 201599 201681 201597 201093 202942 203258 203925 204575 204738 204954 205212 205220 205298 204659 204977 204982 205186 205004 205007 203841 203090 203323 203281 203434 203632 203674 203720 203349 203415 203408 203165 202653 201867 201911 202107 201752 201884 201965 201911 201513 201769 201772 201792 201651 201745 201459 200948 200826 200938 201011 201109 201006 201142 201246 201205 201257 201254 201192 201033 201079 201212 201201 201189 201214 201129 201046 201126 201108 201099 201229 201073 202218 202957 203731 204268 204608 204268 205092 205224 205293 205096 205279 205107 205261 205331 205296 204866 203798 203518 204025 204228 204640 204398 204970 205028 204821 204546 204586 204580 204263 204018 202537 202249 202559 202345 202701 202668 202202 202177 201840 200862 200970 201081 200837 200812 200993 200973 200650 200570 200658 200796 200727 200775 200483 200080 199926 200000 200022 200147 200105 200181 200316 200250 200221 200258 200198 200081 200076 200173 200163 200168 200241 200135 200066 199976 200030 200133 200126 200138 199909 199929 199889 199966 200111 200025 199739 200204 200216 200190 199968 200017 200121 200186 200236 200032 199859 199313 198785 204692 204971 205507 205392 206365 206294 206635 206809 206811 207049 206339 206767 206971 207056 207092 206922 206468 205228 204970 205499 205353 205794 206091 205490 206331 206379 206483 205969 205917 206063 206285 205988 205560 204357 203589 203576 204141 203886 204205 204264 204311 203796 204080 204130 204248 204072 203418 202774 202819 202946 202739 202944 203049 203017 202682 203055 203010 203062 202892 202955 202765 202300 202527 202623 202575 202301 202356 202372 202225 202220 203503 203678 203550 204113 203671 204333 204361 204153 204327 204333 203961 203600 203710 203858 203910 203918 203866 203710 203780 203824 203852 203688 203726 203801 204425 203210 203326 203373 203489 203476 203426 203524 203651 203555 203533 203565 203561 203527 203518 203498 203497 203626 203577 203553 203628 203536 203414 203486 203425 203465 203528 203568 203500 203520 203490 203440 203260 201930 201436 201760 201312 201710 201556 201776 201877 201788 201914 201468 201792 201812 202017 201764 201775 201393 201427 200768 201392 201629 202058 201835 202453 202610 202613 202488 202406 202279 202444 202424 202367 201959 200202 199817 199852 200183 199580 200177 200230 199555 199780 199756 199705 199597 198726 198347 198459 198289 198360 198421 198445 198231 197993 198131 198301 198040 198088 198010 197622 197094 197110 197166 197266 197246 197362 197349 197293 197262 197167 196897 196867 196889 196927 197026 196907 196745 196769 196686 196672 196672 196516 194472 194075 194074 193732 194134 193867 194086 194167 194064 194087 193741 193916 193814 193959 193762 193761 193294 192455 191858 194618 195382 195023 195641 195128 195325 195893 195637 196120 195699 195239 195228 195043 197745 198111 198930 199592 199671 199321 200460 200771 201244 200920 201183 200921 200849 200509 200542 201269 201210 201540 201635 201310 200317 200360 200382 201326 200907 200992 200624 200076 199894 199486 199986 199792 200195 200748 200148 200042 199965 199869 199492 199484 201592 201255 201010 200803 200311 200228 201694 202026 201948 201101 201021 203655 203537 203154 203248 203835 204661 204464 203963 203214 202201 203453 203199 204432 204250 205055 205258 205140 205197 205057 204362 204148 204080 204187 204287 203649 204774 204237 204279 203469 203454 202794 202130 199948 199840 200680 200499 199964 199803 199561 199203 199565 200316 199964 199396 198949 200285 200050 199828 199844 199300 199867 199925 199178 199175 198217 197421 198062 198474 198800 198489 198726 198431 198280 198501 197973 197983 197550 196782 196288 196073 195836 195400 195227 195821 195540 194896 195189 195324 194990 195335 194154 193521 193609 193852 193939 194079 194172 194090 194181 194213 194179 194283 194346 194488 194370 194444 194290 194133 194332 194222 194114 193731 193688 193606 193438 193812 194030 194024 194004 193852 193743 193663 193636 193875 193941 193827 193814 193794 193894 193949 193868 194004 193896 193841 193973 194095 194246 194148 194004 194112 194031 193859 193835 193856 193732 194230 194174 194551 193682 193957 194089 194142 194302 194178 194284 194187 194280 193945 194009 193986 193848 193844 193811 193793 193789 193824 193860 193908 193890 193592 193596 193563 193656 193674 193672 193579 193494 193743 193669 193901 193771 193602 193749 193629 193544 193328 193362 193348 193241 192902 193729 193697 194048 194047 194286 194215 194245 194390 194409 194383 194364 194399 194569 194627 194573 194692 194695 194432 194701 194693 194701 194384 194202 194373 194376 194326 194285 194352 194297 194070 194008 194031 194116 193932 193984 193962 194048 193937 193969 193996 193997 193949 194916 195117 195062 195154 195301 195233 195192 195337 195409 195440 195498 195461 195479 195429 195440 196219 196203 196281 196181 196259 196207 196171 196087 195980 195977 196008 196035 195971 195984 195921 195978 195874 195727 195890 195888 195850 195716 195495 195400 195306 195360 195317 195311 195259 195170 194860 194918 194885 194958 194978 194921 194981 194977 195000 194914 194981 194943 194955 194945 195554 195594 195774 195684 195956 195874 195857 195911 195899 196013 195944 196108 197254 197300 197424 197834 197749 197674 197805 197805 197982 197618 197573 197758 197622 197760 197524 197695 197628 197285 197197 197203 197288 197098 197202 197122 197221 197098 197098 197151 197172 197192 197138 197132 197161 197086 197107 197083 197559 197640 197735 197605 197784 197847 197905 197657 197822 197848 197903 197781 197722 198329 198353 198693 198878 198959 198593 198894 198993 199192 199079 198635 198770 198675 198697 198576 198536 198420 198191 197923 197953 197972 197816 197838 197808 197724 197676 197564 197541 197555 197582 197532 197504 197525 197469 197448 197412 196529 196641 196511 196673 196747 196803 196562 196701 196698 196549 196452 196338 196293 196304 196582 196525 196701 196595 196627 196695 196854 196586 196026 196112 196148 196104 196108 195937 196000 195782 195314 195392 195348 195280 195173 195217 195109 195077 194933 194847 194868 194924 194898 194830 194829 194813 194778 194753 194574 194992 195310 195569 195736 195808 195482 195690 195672 195643 195343 195372 195395 195162 195197 195228 195062 195236 195362 195294 195428 195140 195112 195087 195240 195045 195234 195057 194689 194813 195044 195090 195138 194684 194778 194819 194818 194442 194461 194406 194367 194112 196112 196304 196712 196822 196763 197214 197320 197588 197552 197602 197457 197378 197283 197403 197342 197531 197520 197100 197155 197172 197456 197349 197398 197226 197248 197081 196832 197154 197701 197725 197877 197872 198008 198016 197954 198047 197858 197861 198539 198496 198967 198722 199021 198938 199461 199582 199522 199441 199206 199280 199271 199346 199298 199727 199231 199341 199267 199284 199215 198948 198518 198259 198497 198228 198228 198370 198654 198655 198466 198557 198590 198642 198605 198642 198626 198497 198016 198616 198551 199373 200061 200051 199698 199178 200081 200553 201263 201496 200956 201180 201144 200918 200149 200624 200992 200827 200951 201045 200888 200960 201693 201217 201195 200878 200635 199839 199839 200127 200224 200386 200592 200545 200302 200277 200590 200420 200351 200217 200717 199846 200662 200064 201495 201745 201471 201180 201368 201449 201153 200196 200658 200229 200181 200440 200177 200272 200171 200140 199186 199592 199941 199960 199719 199185 198992 198689 197335 197126 196972 196920 196114 194571 193615 196135 197168 196882 196354 195392 194844 195382 195499 195970 195987 196716 196835 197331 197574 197370 196976 196479 196691 196858 197356 197554 196674 196807 196739 196755 196226 196118 195506 195403 195067 194264 194371 194884 194612 195177 195723 195626 195396 194411 194514 194444 194824 194043 194364 194138 193977 193237 193536 193148 191808 190779 190838 190681 190605 190636 190393 190033 189789 188267 188397 188277 188389 188288 188644 188540 188293 188627 188609 188363 188727 188688 188634 188559 188822 189289 188911 189048 189586 189435 189319 189013 189371 189527 188927 189537 189699 189710 189721 189307 189484 189596 189298 189537 189989 190059 190518 189620 189751 189720 189923 189516 188835 188880 188675 188184 188198 188423 188028 189336 189477 189352 189642 189241 190800 190877 190655 190860 190432 189809 189930 189885 189750 189827 189942 189987 190366 190072 190653 190825 190584 190856 190328 189300 189381 189402 189327 188762 188653 188531 188826 188955 188921 189148 189038 189464 189405 190077 189959 188901 189257 188797 188942 188393 188493 188447 188184 187642 188839 188758 189017 188678 189177 188890 188364 188869 189325 189655 189875 189140 188662 189093 188916 188519 188128 188070 188306 187843 189668 190198 190184 190678 190413 189894 190266 190038 189861 189418 189463 189497 189079 190031 189894 190156 189757 190273 190048 190412 190747 191160 191526 191733 190663 190764 190889 190917 190311 190144 190008 190089 189564 189609 189479 189596 189613 189609 188896 189116 189127 189589 189795 189851 188753 189047 188999 188960 188151 188392 188240 188175 186524 186323 186816 186911 187075 186259 186050 186283 186084 185713 185262 185252 185472 184981 184327 184221 184850 184903 185044 184824 184464 184581 184982 184767 185071 184724 183737 183857 183823 183817 183231 183442 183316 183256 182666 183323 183355 183600 183720 183755 183065 182525 182085 182253 182040 182270 182039 180728 179597 178603 178282 178133 177510 176743 176454 182974 183887 185790 185692 184934 190257 191370 190848 190409 189208 190052 189269 189734 190349 190739 190492 190722 190324 189751 190745 190744 191209 191005 191250 191147 190777 191189 191480 191096 190718 190466 190048 190286 191239 191602 192351 190727 191309 191422 190983 190546 190602 190778 190340 190113 189385 191227 189343 191951 190162 191448 191812 191250 190753 190668 190683 190612 189930 190001 187584 186170 184484 184457 184497 183592 183443 183500 182942 182259 182690 182572 182528 182322 182266 182387 181999 181265 180250 180283 180045 179356 179168 178576 181562 180719 180640 179559 179149 178091 178449 180840 181223 180711 180111 179489 181232 182186 182233 181961 180930 180827 181035 180773 180446 180802 182080 182331 182778 182850 182572 182291 182343 181022 181980 182758 182737 183226 182845 184274 185523 185536 185979 185837 186527 185189 183804 183638 182156 181933 183073 183730 184631 184888 184835 184612 186007 185914 186440 186200 186613 186465 186015 186278 186976 186956 186674 186766 187299 187947 188395 188342 188997 189336 189024 188098 188370 188270 187867 187597 187506 187930 188277 187763 187828

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DNAwalker-PT-14ringLRLarge"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/root/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-14ringLRLarge.tgz
mv DNAwalker-PT-14ringLRLarge execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2979"
echo " Executing tool marcie"
echo " Input is DNAwalker-PT-14ringLRLarge, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r221su-smll-146468027500391"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;