3001 4 4 5 6 7 7 7 7 7 8 8 9 10 11 11 12 12 12 12 13 14 14 14 15 16 16 16 17 17 17 18 18 19 19 20 20 20 21 22 23 23 24 25 26 26 26 26 27 28 28 29 29 29 30 30 31 31 31 32 33 33 34 34 34 35 35 36 37 37 38 39 39 39 39 40 41 42 42 43 44 45 45 46 46 46 46 46 47 48 48 49 50 51 52 52 52 53 53 54 54 54 55 55 56 56 56 57 57 58 58 58 59 60 61 61 61 61 62 63 64 65 66 67 68 69 69 70 70 71 72 72 72 73 73 73 73 74 74 75 75 75 75 75 75 75 76 76 76 76 77 78 79 79 79 80 80 81 81 81 81 82 83 83 84 85 86 86 87 87 87 88 88 88 89 89 89 89 90 91 92 92 93 93 94 94 94 94 95 95 95 95 96 96 96 97 98 99 100 101 101 102 102 102 102 103 104 104 104 105 106 107 107 108 108 109 110 110 111 112 112 112 113 114 115 116 116 117 117 118 119 119 120 120 121 122 123 123 123 123 124 124 124 124 125 126 127 128 128 128 128 128 129 130 131 131 131 131 131 132 132 133 134 134 134 135 135 136 136 136 137 137 138 139 139 139 139 139 140 140 140 141 142 142 142 143 143 143 143 144 144 144 145 145 145 146 146 146 147 148 149 150 151 151 151 151 151 152 152 153 154 155 155 156 157 157 158 159 160 161 162 162 162 162 163 163 164 165 166 166 166 167 168 169 170 170 170 170 171 172 172 172 172 173 174 174 174 174 175 176 176 176 176 176 176 177 177 178 179 180 181 181 181 182 182 182 182 183 184 185 186 186 186 187 188 189 190 191 192 193 193 194 194 194 194 195 196 197 198 199 200 200 200 200 201 201 201 201 201 201 201 202 203 203 204 205 205 206 206 206 207 207 207 207 207 208 209 210 210 211 211 212 212 212 212 212 212 213 213 213 214 214 215 216 217 218 219 219 219 220 220 221 221 222 222 223 224 224 224 224 224 225 225 225 226 226 227 228 228 228 228 229 230 231 231 232 232 232 232 233 233 233 234 235 236 236 236 236 236 237 238 238 238 239 239 239 239 240 241 242 242 242 242 243 244 244 245 245 245 245 245 245 246 247 247 248 248 248 249 250 251 252 252 252 252 252 252 253 253 254 255 255 256 256 256 256 257 258 258 258 258 259 260 261 261 262 263 263 263 263 263 264 265 266 267 268 268 268 268 268 269 269 270 271 271 271 271 272 273 274 275 276 277 277 278 279 280 280 281 281 282 283 284 284 284 285 285 285 286 286 287 288 289 290 290 290 290 291 292 292 293 294 294 294 294 294 294 294 295 296 296 297 297 298 299 299 300 300 301 302 303 304 305 305 306 307 307 308 309 309 310 311 312 313 314 315 315 316 317 318 318 318 319 320 320 321 321 322 322 322 323 323 324 325 326 326 326 327 327 328 328 329 330 331 331 331 331 332 333 333 333 333 334 334 334 334 335 335 336 336 336 336 336 336 336 337 338 339 339 339 339 340 341 341 342 342 342 342 342 342 342 343 343 344 344 344 345 346 346 346 346 346 346 347 348 349 350 350 350 351 352 352 353 354 354 354 354 355 355 355 356 356 357 358 358 359 359 359 360 360 361 361 362 363 364 364 365 366 367 368 368 369 369 370 371 372 372 372 372 372 373 374 375 375 375 376 376 376 376 377 377 378 379 379 379 380 380 381 381 382 382 382 383 384 385 385 386 387 387 388 389 390 391 392 392 392 392 393 393 393 394 395 396 396 396 397 398 398 399 399 399 400 401 402 403 404 405 405 406 407 407 407 408 409 409 410 410 410 410 410 411 411 411 412 413 413 414 415 415 416 417 418 419 420 420 421 422 422 423 424 424 424 424 425 426 426 426 426 427 427 428 429 429 429 430 430 430 431 432 433 434 434 435 435 436 436 436 437 438 439 439 439 439 440 441 441 442 442 443 443 444 445 445 445 446 446 447 447 448 449 450 450 451 452 452 453 454 455 456 456 456 456 457 457 458 458 459 459 459 459 459 459 460 460 461 462 463 464 464 464 465 465 465 465 465 466 467 468 469 469 469 469 470 471 472 473 474 475 476 476 477 477 478 479 480 481 481 482 482 483 483 484 485 485 486 486 486 487 488 489 489 490 490 491 491 492 493 493 493 494 494 494 494 494 495 496 497 497 498 499 499 500 500 501 501 501 502 503 504 505 506 506 506 506 507 508 508 508 509 509 510 510 511 512 513 514 514 514 515 515 516 516 517 518 519 520 520 521 521 521 522 523 523 523 523 523 524 524 524 524 524 525 526 526 527 527 527 527 527 528 529 530 530 531 532 533 533 533 533 533 534 535 535 536 537 538 538 539 540 540 541 542 542 542 542 542 543 544 545 546 546 547 548 549 549 549 549 549 549 549 549 550 551 551 551 552 552 552 553 554 555 556 556 556 556 556 557 557 557 558 559 559 560 561 562 563 564 565 565 565 566 566 566 566 567 567 568 569 569 569 570 571 571 572 573 574 574 575 575 575 575 576 577 577 578 578 579 580 581 582 582 582 583 583 583 583 583 583 583 584 584 584 585 586 587 587 588 588 588 589 590 591 591 592 593 594 594 594 595 596 597 598 598 598 598 599 599 600 601 601 602 603 604 604 605 605 606 607 607 608 608 609 609 609 609 609 609 610 611 612 612 612 613 614 615 615 616 616 616 617 618 619 620 621 621 621 621 621 622 623 623 623 624 624 625 626 626 626 626 626 626 626 626 627 627 627 627 628 628 629 629 630 631 631 632 633 633 633 633 634 634 635 636 636 637 638 638 638 639 639 640 641 641 641 642 643 644 645 646 647 648 649 649 650 651 652 653 654 654 654 655 655 656 657 658 658 659 659 659 660 660 661 662 662 662 663 664 664 665 665 665 665 665 665 665 665 665 666 667 668 668 668 669 670 671 672 672 673 673 673 674 674 675 676 676 677 678 678 678 678 679 679 679 680 680 681 682 682 682 683 683 683 684 684 684 685 685 685 685 686 686 686 686 686 686 687 687 688 688 688 688 689 689 689 689 689 690 691 692 693 694 695 696 697 698 698 698 698 699 700 701 701 702 702 702 702 702 703 703 704 704 705 706 707 708 708 708 709 709 709 709 709 709 709 709 710 711 711 712 712 713 713 713 714 715 716 717 717 718 718 718 719 719 720 720 721 722 723 724 725 726 727 727 728 728 729 729 729 730 731 731 731 732 732 733 733 733 734 735 735 735 736 737 738 738 739 740 741 741 741 742 743 744 745 746 746 747 747 748 748 748 748 749 749 749 749 750 751 752 753 754 755 755 755 755 755 756 757 757 758 759 760 760 761 762 762 763 763 763 764 765 765 766 766 766 766 767 768 769 770 771 772 772 773 773 773 774 774 775 776 777 778 778 778 778 779 779 780 780 780 781 782 782 783 783 784 785 786 787 788 788 788 789 789 789 789 790 790 790 791 791 792 792 792 793 793 794 795 796 797 798 799 800 801 801 801 801 801 801 802 802 802 803 804 805 806 806 807 807 807 807 808 809 809 810 811 812 812 813 814 815 815 815 816 816 816 817 818 819 820 821 821 822 823 823 823 823 823 823 823 823 824 824 825 826 826 826 826 827 828 828 829 830 831 832 832 833 834 834 834 835 835 835 836 836 837 837 838 839 839 839 840 841 841 841 841 841 841 842 843 844 845 846 847 848 848 848 848 849 849 850 851 852 853 854 855 856 857 857 858 859 859 859 860 860 861 862 862 862 863 863 863 864 864 864 864 864 864 865 866 866 867 868 868 869 870 871 871 872 873 873 873 874 875 875 876 877 878 879 880 880 880 880 880 880 880 880 881 882 882 882 882 882 883 884 885 886 886 886 886 887 887 888 888 889 890 890 891 891 891 891 892 892 893 894 895 895 896 896 897 898 898 899 900 900 901 902 902 903 903 904 905 906 906 907 907 907 907 907 908 908 909 909 910 911 911 911 912 912 913 913 913 914 915 915 915 915 916 917 917 917 917 918 919 920 920 920 921 921 922 922 923 923 924 925 925 925 926 926 927 928 928 928 928 928 929 930 931 932 932 933 933 933 934 935 935 935 936 936 937 938 939 940 941 941 941 942 942 942 942 942 943 943 943 944 944 945 946 947 948 948 949 950 950 950 951 951 951 951 952 952 952 952 952 953 953 953 954 954 955 955 956 957 957 957 958 958 959 960 960 960 960 960 960 960 960 960 961 961 961 961 962 962 962 962 963 963 964 965 965 965 966 967 967 968 969 969 970 971 971 972 972 972 972 972 973 973 974 975 976 976 977 977 978 979 980 980 981 981 981 982 982 982 983 983 984 985 986 987 987 988 989 990 990 991 992 993 994 994 995 995 995 996 996 996 996 996 996 997 997 998 999 1000 1000 1000 1001 1002 1002 1003 1003 1004 1004 1004 1004 1004 1005 1006 1007 1007 1007 1007 1007 1007 1008 1009 1010 1010 1011 1012 1012 1013 1014 1015 1016 1016 1016 1016 1017 1018 1018 1018 1011 2019 2019 2019 2020 2021 2022 2023 2024 2024 2024 2025 2026 2026 2026 2027 2028 2028 2028 2028 2029 2029 2030 2030 2030 2031 2032 2032 2032 2032 2032 2032 2033 2033 2034 2035 2035 2036 2037 2037 2037 2038 2039 2040 2040 2041 2041 2042 2042 2043 2043 2044 2045 2046 2046 2047 2047 2048 2048 2048 2048 2048 2049 2049 2050 2051 2052 2053 2053 2054 2054 2054 2055 2055 2055 2055 2056 2056 2056 2057 2057 2057 2057 2057 2057 2057 2058 2058 2058 2059 2060 2060 2060 2060 2061 2062 2062 2063 2064 2064 2064 2065 2065 2065 2065 2065 2066 2067 2068 2069 2070 2071 2071 2072 2072 2073 2074 2074 2075 2075 2075 2075 2076 2076 2076 2077 2077 2078 2078 2079 2079 2079 2080 2080 2081 2081 2082 2082 2083 2083 2083 2084 2085 2085 2085 2086 2087 2087 2088 2088 2088 2089 2089 2089 2090 2091 2091 2092 2093 2094 2094 2094 2094 2094 2094 2094 2094 2094 2095 2096 2097 2097 2098 2099 2099 2099 2099 2099 2099 2099 2099 2100 2100 2100 2101 2101 2102 2103 2104 2104 2105 2106 2107 2108 2108 2108 2109 2109 2109 2109 2109 2109 2109 2109 2109 2109 2110 2110 2110 2110 2111 2112 2112 2112 2112 2113 2113 2113 2113 2113 2114 2115 2115 2115 2116 2117 2117 2118 2118 2118 2118 2118 2118 2118 2118 2118 2119 2120 2121 2121 2122 2122 2122 2123 2124 2125 2126 2127 2128 2128 2129 2129 2130 2130 2131 2131 2131 2131 2132 2132 2133 2134 2135 2135 2135 2135 2136 2137 2138 2139 2139 2140 2140 2141 2141 2141 2141 2142 2142 2142 2142 2143 2143 2144 2145 2145 2146 2146 2147 2148 2148 2149 2150 2150 2151 2151 2151 2151 2152 2152 2152 2153 2154 2155 2156 2157 2157 2157 2158 2158 2159 2160 2161 2161 2162 2163 2164 2164 2164 2165 2165 2166 2167 2167 2168 2168 2168 2169 2170 2171 2171 2171 2172 2173 2174 2174 2174 2175 2176 2177 2177 2178 2178 2178 2178 2179 2180 2180 2180 2181 2182 2183 2184 2185 2186 2186 2187 2187 2188 2189 2190 2191 2191 2191 2191 2191 2191 2192 2193 2194 2194 2195 2195 2195 2196 2196 2196 2196 2197 2197 2197 2197 2198 2198 2199 2199 2200 2200 2201 2201 2202 2203 2203 2203 2203 2203 2204 2204 2205 2206 2207 2208 2209 2209 2210 2210 2210 2211 2211 2211 2212 2213 2214 2214 2214 2215 2215 2215 2216 2216 2216 2217 2217 2217 2218 2219 2220 2221 2222 2223 2224 2224 2224 2224 2224 2225 2225 2225 2226 2227 2227 2228 2228 2228 2228 2228 2229 2229 2229 2229 2230 2231 2231 2232 2233 2233 2233 2234 2234 2235 2235 2235 2235 2236 2236 2236 2236 2236 2236 2236 2236 2236 2236 2236 2237 2238 2238 2238 2239 2239 2239 2239 2239 2240 2241 2241 2242 2243 2244 2244 2245 2245 2245 2245 2245 2245 2245 2246 2246 2247 2247 2248 2249 2249 2250 2250 2251 2252 2252 2253 2253 2254 2254 2255 2256 2256 2257 2258 2258 2258 2259 2260 2261 2261 2261 2262 2262 2263 2264 2265 2265 2265 2265 2266 2266 2266 2267 2267 2267 2268 2269 2269 2269 2269 2270 2271 2272 2272 2273 2274 2275 2275 2276 2276 2276 2277 2277 2278 2279 2279 2280 2281 2282 2283 2283 2284 2285 2286 2286 2287 2287 2287 2287 2287 2287 2288 2289 2290 2291 2292 2292 2292 2293 2294 2294 2294 2295 2296 2296 2297 2297 2298 2298 2299 2299 2299 2299 2300 2300 2301 2302 2302 2302 2303 2303 2303 2304 2304 2304 2304 2305 2306 2306 2306 2306 2306 2306 2307 2308 2308 2309 2310 2310 2310 2311 2311 2312 2313 2313 2313 2314 2315 2315 2315 2316 2316 2316 2317 2317 2317 2318 2319 2320 2320 2321 2321 2321 2322 2323 2323 2323 2323 2324 2324 2325 2326 2326 2326 2327 2328 2328 2329 2330 2331 2332 2333 2333 2333 2334 2334 2334 2335 2335 2336 2336 2337 2338 2338 2338 2338 2339 2339 2340 2341 2342 2342 2343 2343 2344 2344 2344 2344 2344 2345 2346 2347 2348 2348 2349 2350 2351 2351 2352 2352 2352 2352 2353 2353 2354 2355 2356 2357 2357 2357 2357 2357 2358 2359 2360 2361 2362 2363 2364 2365 2366 2367 2368 2369 2370 2371 2372 2372 2372 2372 2373 2374 2375 2376 2376 2376 2377 2378 2378 2378 2379 2380 2380 2381 2382 2382 2382 2383 2383 2383 2384 2384 2384 2384 2384 2385 2386 2386 2387 2388 2388 2388 2389 2390 2391 2391 2391 2391 2392 2392 2392 2393 2393 2394 2394 2394 2394 2394 2394 2394 2394 2394 2394 2394 2395 2395 2396 2397 2398 2398 2399 2400 2400 2401 2401 2401 2402 2402 2402 2402 2402 2403 2404 2405 2406 2407 2407 2408 2408 2409 2409 2409 2409 2410 2411 2412 2412 2412 2412 2412 2413 2413 2414 2414 2414 2414 2414 2414 2415 2416 2416 2416 2417 2418 2419 2419 2419 2419 2420 2420 2420 2421 2422 2423 2423 2423 2424 2424 2424 2424 2424 2424 2425 2425 2425 2426 2426 2426 2426 2427 2428 2429 2430 2431 2431 2431 2432 2433 2433 2434 2434 2434 2434 2435 2436 2437 2437 2438 2438 2439 2440 2440 2441 2441 2441 2441 2442 2442 2443 2443 2444 2445 2446 2446 2446 2446 2447 2447 2447 2448 2449 2450 2451 2451 2451 2452 2453 2454 2455 2456 2457 2458 2459 2460 2460 2461 2462 2463 2464 2464 2464 2465 2466 2467 2467 2468 2469 2470 2471 2471 2471 2471 2472 2473 2474 2474 2475 2475 2475 2475 2475 2475 2476 2476 2477 2477 2477 2478 2478 2479 2479 2480 2481 2481 2482 2483 2484 2484 2485 2486 2486 2486 2486 2486 2486 2486 2486 2487 2488 2489 2489 2489 2490 2491 2491 2492 2493 2493 2494 2494 2495 2496 2496 2496 2496 2497 2498 2498 2498 2499 2500 2500 2500 2501 2502 2503 2503