-- x prob polygon -- x grader GR.polygon -- x filesubmit CH.polygon -- x outputchecker CH.polygon -- 1 in 5 0 0 203 1 2220 2028 2118 2570 101 543 -- 2 in 10 0 0 1 1 2 3 3 6 4 10 5 15 6 21 7 28 8 36 9 45 -- 3 in 4 0 0 1024 256 768 512 256 768 -- 4 in 6 3 2 4 0 5 1 6 4 5 5 3 4 -- 5 in 4 4 6 10 5 11 8 5 9 -- 6 in 118 0 1 28 1 65 2 89 3 107 4 121 5 133 6 143 7 152 8 160 9 174 11 180 12 191 14 200 16 212 19 219 21 234 26 244 30 266 41 271 44 280 50 288 56 293 60 316 83 2333 2110 2338 2116 2347 2128 2353 2137 2358 2145 2361 2150 2366 2159 2377 2181 2381 2190 2384 2197 2390 2212 2393 2220 2397 2231 2404 2252 2408 2265 2414 2286 2417 2297 2425 2329 2428 2342 2430 2351 2433 2365 2441 2405 2445 2427 2448 2444 2452 2468 2455 2487 2457 2500 2464 2549 2468 2579 2473 2619 2477 2653 2481 2689 2483 2708 2490 2778 2496 2844 2499 2879 2500 2891 2503 2928 2507 2980 2509 3007 2512 3049 2515 3093 2516 3108 2518 3139 2522 3203 2527 3288 2529 3324 2531 3361 2534 3418 2538 3498 2540 3540 2542 3583 2544 3627 2547 3696 2549 3743 2551 3792 2553 3842 2556 3920 2559 4001 2561 4057 2563 4115 2565 4174 2567 4235 2568 4266 2570 4330 2572 4395 2575 4497 2577 4567 2579 4639 2580 4676 2582 4751 2585 4868 2586 4908 2588 4990 2590 5074 2591 5117 2593 5205 2595 5295 2596 5341 2598 5435 2599 5483 2600 5532 2602 5632 2604 5734 2605 5786 2606 5839 2607 5893 2609 6003 2610 6059 2612 6173 2614 6291 2615 6351 2616 6412 599 4385 -- 7 in 908 0 1 405 1 916 2 1252 3 1504 4 1704 5 1871 6 2014 7 2140 8 2251 9 2351 10 2442 11 2525 12 2602 13 2674 14 2740 15 2803 16 2862 17 2917 18 2970 19 3020 20 3068 21 3113 22 3157 23 3198 24 3238 25 3277 26 3314 27 3384 29 3417 30 3481 32 3511 33 3569 35 3597 36 3624 37 3676 39 3701 40 3749 42 3795 44 3839 46 3881 48 3941 51 3998 54 4034 56 4069 58 4119 61 4151 63 4182 65 4212 67 4241 69 4297 73 4324 75 4363 78 4388 80 4460 86 4483 88 4527 92 4559 95 4590 98 4620 101 4649 104 4668 106 4705 110 4714 111 4749 115 4783 119 4808 122 4848 127 4879 131 4894 133 4938 139 4987 146 5027 152 5053 156 5072 159 5156 173 5190 179 5223 185 5239 188 5260 192 5335 207 5354 211 5382 217 5427 227 5453 233 5470 237 5491 242 5551 257 5574 263 5589 267 5633 279 5675 291 5692 296 5712 302 5738 310 5754 315 5776 322 5842 344 5865 352 5893 362 5912 369 5944 381 5957 386 5975 393 6010 407 6027 414 6039 419 6081 437 6108 449 6130 459 6143 465 6158 472 6181 483 6249 517 6270 528 6285 536 6298 543 6309 549 6327 559 6343 568 6350 572 6369 583 6386 593 6406 605 6424 616 6448 631 6470 645 6496 662 6511 672 6533 687 6546 696 6556 703 6584 723 6595 731 6610 742 6630 757 6647 770 6665 784 6705 816 6722 830 6728 835 6754 857 6769 870 6785 884 6794 892 6804 901 6826 921 6840 934 6858 951 6886 978 6930 1022 8947 3049 8974 3077 8991 3095 9004 3109 9015 3121 9025 3132 9034 3142 9050 3160 9071 3184 9083 3198 9094 3211 9124 3247 9137 3263 9161 3293 9172 3307 9179 3316 9189 3329 9202 3346 9223 3374 9237 3393 9245 3404 9258 3422 9263 3429 9275 3446 9289 3466 9298 3479 9311 3498 9351 3558 9362 3575 9371 3589 9385 3611 9405 3643 9413 3656 9424 3674 9448 3714 9458 3731 9472 3755 9496 3797 9505 3813 9520 3840 9538 3873 9552 3899 9560 3914 9570 3933 9582 3956 9601 3993 9635 4061 9653 4098 9665 4123 9674 4142 9682 4159 9696 4189 9702 4202 9722 4246 9731 4266 9739 4284 9750 4309 9757 4325 9787 4395 9795 4414 9805 4438 9819 4472 9832 4504 9850 4549 9863 4582 9870 4600 9890 4652 9901 4681 9910 4705 9920 4732 9927 4751 9947 4806 9962 4848 9974 4882 9982 4905 9991 4931 10004 4969 10043 5086 10055 5123 10064 5151 10078 5195 10098 5259 10110 5298 10117 5321 10141 5401 10156 5452 10165 5483 10189 5567 10198 5599 10213 5653 10234 5730 10241 5756 10253 5801 10268 5858 10282 5912 10293 5955 10329 6099 10340 6144 10347 6173 10359 6223 10368 6261 10376 6295 10383 6325 10401 6403 10411 6447 10420 6487 10438 6568 10452 6632 10460 6669 10469 6711 10483 6777 10492 6820 10497 6844 10503 6873 10510 6907 10521 6961 10547 7091 10558 7147 10565 7183 10571 7214 10576 7240 10588 7303 10595 7340 10601 7372 10609 7415 10614 7442 10621 7480 10639 7579 10646 7618 10654 7663 10666 7731 10682 7823 10687 7852 10694 7893 10703 7946 10730 8108 10739 8163 10745 8200 10755 8262 10763 8312 10778 8407 10783 8439 10792 8497 10802 8562 10809 8608 10814 8641 10822 8694 10836 8788 10846 8856 10853 8904 10864 8980 10877 9071 10888 9149 10895 9199 10900 9235 10912 9322 10924 9410 10929 9447 10949 9597 10959 9673 10965 9719 10977 9812 10982 9851 10988 9898 11000 9993 11008 10057 11020 10154 11026 10203 11031 10244 11039 10310 11051 10410 11056 10452 11074 10605 11079 10648 11091 10752 11095 10787 11105 10875 11114 10955 11130 11099 11139 11181 11149 11273 11156 11338 11162 11394 11167 11441 11185 11612 11190 11660 11196 11718 11208 11835 11214 11894 11240 12154 11246 12215 11251 12266 11255 12307 11264 12400 11269 12452 11283 12599 11288 12652 11297 12748 11301 12791 11306 12845 11312 12910 11333 13141 11339 13208 11344 13264 11348 13309 11357 13411 11362 13468 11372 13583 11377 13641 11386 13746 11390 13793 11395 13852 11402 13935 11418 14127 11425 14212 11433 14310 11442 14421 11449 14508 11453 14558 11463 14684 11466 14722 11474 14824 11480 14901 11499 15148 11505 15227 11513 15333 11519 15413 11528 15534 11535 15629 11544 15752 11548 15807 11553 15876 11574 16170 11580 16255 11584 16312 11590 16398 11597 16499 11601 16557 11608 16659 11611 16703 11619 16821 11624 16895 11641 17150 11647 17241 11651 17302 11657 17394 11662 17471 11670 17595 11675 17673 11678 17720 11682 17783 11687 17862 11697 18021 11698 18037 11708 18198 11713 18279 11722 18426 11734 18624 11743 18774 11748 18858 11768 19198 11773 19284 11782 19440 11792 19615 11798 19721 11806 19863 11824 20187 11829 20278 11838 20443 11846 20591 11851 20684 11854 20740 11858 20815 11865 20947 11873 21099 11880 21233 11884 21310 11890 21426 11900 21621 11906 21739 11910 21818 11916 21937 11925 22117 11931 22238 11935 22319 11941 22441 11949 22605 11958 22791 11964 22916 11974 23126 11980 23253 11984 23338 11987 23402 11997 23617 12003 23747 12007 23834 12014 23987 12017 24053 12025 24230 12029 24319 12032 24386 12037 24498 12041 24588 12050 24792 12056 24929 12064 25113 12070 25252 12074 25345 12079 25462 12085 25603 12091 25745 12095 25840 12111 26224 12115 26321 12118 26394 12128 26639 12134 26787 12139 26911 12148 27136 12153 27262 12157 27363 12162 27490 12164 27541 12169 27669 12172 27746 12176 27849 12189 28187 12194 28318 12197 28397 12207 28662 12215 28876 12226 29173 12231 29309 12234 29391 12244 29666 12252 29888 12262 30168 12266 30281 12272 30451 12278 30622 12284 30794 12300 31258 12306 31434 12312 31611 12318 31789 12324 31968 12328 32088 12334 32269 12340 32451 12346 32634 12349 32726 12353 32849 12364 33190 12368 33315 12371 33409 12379 33661 12382 33756 12387 33915 12394 34139 12399 34300 12402 34397 12410 34657 12413 34755 12419 34952 12424 35117 12429 35283 12435 35483 12437 35550 12442 35718 12447 35887 12456 36193 12460 36330 12463 36433 12467 36571 12473 36779 12478 36953 12482 37093 12488 37304 12491 37410 12497 37623 12500 37730 12504 37873 12512 38161 12516 38306 12519 38415 12527 38707 12531 38854 12540 39187 12544 39336 12547 39448 12551 39598 12554 39711 12558 39862 12567 40204 12571 40357 12579 40665 12582 40781 12594 41249 12598 41406 12604 41643 12607 41762 12620 42282 12623 42403 12629 42646 12632 42768 12645 43301 12650 43508 12652 43591 12655 43716 12659 43883 12666 44177 12670 44346 12675 44558 12681 44814 12691 45244 12694 45374 12702 45722 12708 45985 12710 46073 12715 46294 12718 46427 12724 46694 12728 46873 12735 47188 12739 47369 12745 47642 12748 47779 12759 48285 12762 48424 12766 48610 12769 48750 12781 49314 12786 49551 12792 49837 12800 50221 12803 50366 12809 50657 12812 50803 12821 51244 12827 51540 12833 51838 12840 52188 12844 52389 12850 52692 12855 52946 12858 53099 12863 53355 12869 53664 12872 53819 12880 54235 12883 54392 12889 54707 12895 55024 12901 55343 12907 55664 12910 55825 12917 56203 12923 56529 12929 56857 12935 57187 12939 57408 12943 57630 12946 57797 12954 58245 12957 58414 12961 58640 12964 58810 12971 59209 12977 59553 12980 59726 12991 60364 12995 60598 12998 60774 13007 61305 13010 61483 13016 61841 13023 62261 13026 62442 13028 62563 13031 62745 13040 63294 13043 63478 13045 63601 13048 63786 13056 64282 13059 64469 13061 64594 13064 64782 13072 65286 13078 65667 13081 65858 13086 66178 13090 66435 13092 66564 13095 66758 13103 67278 13106 67474 13108 67605 13111 67802 13118 68264 13121 68463 13123 68596 13126 68796 13133 69265 13136 69467 13138 69602 13141 69805 13147 70213 13150 70418 13154 70692 13164 71382 13168 71660 13173 72009 13174 72079 13178 72360 13182 72642 13185 72854 13190 73209 13193 73423 13197 73709 13206 74357 13210 74647 13214 74938 13217 75157 13220 75377 13224 75671 13227 75892 13231 76188 13234 76411 13238 76709 13246 77309 13249 77535 13252 77762 13259 78294 13262 78523 13265 78753 13272 79292 13275 79524 13278 79757 13285 80303 13288 80538 13291 80774 13297 81248 13300 81486 13302 81645 13306 81964 13307 82044 13311 82365 13315 82687 13318 82929 13320 83091 13324 83416 13326 83579 13329 83824 13334 84234 13337 84481 13339 84646 13348 85393 13352 85727 13359 86315 13363 86653 13367 86992 13368 87077 13372 87418 13374 87589 13377 87846 13381 88190 13384 88449 13386 88622 13389 88882 13392 89143 13395 89405 13399 89755 13405 90283 13408 90548 13411 90814 13416 91259 13422 91796 13427 92246 13430 92517 13433 92789 13438 93244 13441 93518 13444 93793 13449 94253 13452 94530 13455 94808 13460 95273 13463 95553 13466 95834 13470 96210 13473 96493 13476 96777 13482 97347 13484 97538 13487 97825 13492 98305 13496 98691 13503 99370 13505 99565 13508 99858 13512 100250 13516 100644 13519 100940 13521 101138 13524 101436 13526 101635 13529 101934 13530 102034 13534 102435 13536 102636 13544 103444 13546 103647 13553 104361 13557 104771 13562 105286 13566 105700 13572 106324 13576 106742 13582 107372 13584 107583 13587 107900 13589 108112 13592 108431 13594 108644 13601 109393 13605 109823 13609 110255 13613 110689 13619 111343 13623 111781 13628 112331 13630 112552 13633 112884 13636 113217 13640 113663 13647 114447 13649 114672 13655 115350 13659 115804 13662 116146 13665 116489 13667 116718 13672 117293 13676 117755 13681 118335 13685 118801 13688 119152 13691 119504 13693 119739 13698 120329 13700 120566 13703 120922 13704 121041 13708 121518 13711 121877 13713 122117 13716 122478 13718 122719 13723 123324 13727 123810 13730 124176 13733 124543 13736 124911 13738 125157 13741 125527 13744 125898 13746 126146 13749 126519 13752 126893 13754 127143 13757 127519 13760 127896 13762 128148 13765 128527 13768 128907 13770 129161 13773 129543 13776 129926 13777 130054 13780 130439 13782 130696 13787 131341 13791 131859 13793 132119 13796 132510 13798 132771 13802 133295 13804 133558 13807 133953 13808 134085 13811 134482 13813 134747 13817 135279 13821 135813 13824 136215 13828 136753 13832 137293 13836 137835 13839 138243 13843 138789 13847 139337 13849 139612 13855 140440 13857 140717 13861 141273 13865 141831 13867 142111 13870 142532 13873 142954 13874 143095 13877 143519 13879 143802 13882 144228 13886 144798 13889 145227 13893 145801 13896 146233 13900 146811 13903 147246 13907 147828 13910 148266 13914 148852 13916 149146 13919 149588 13925 150476 13929 151071 13932 151519 13935 151968 13936 152118 13939 152569 13945 153475 13948 153930 13950 154234 13952 154539 13955 154997 13956 155150 13960 155764 13964 156380 13966 156689 13970 157309 13972 157620 13977 158400 13979 158713 13983 159341 13985 159656 13990 160446 13992 160763 13995 161240 13999 161878 14001 162198 14005 162840 14007 163162 14010 163646 14014 164294 14016 164619 11999 162592 -- 8 in 119 0 1 28 1 231 2 268 3 292 4 310 5 324 6 336 7 346 8 355 9 363 10 377 12 383 13 394 15 403 17 415 20 422 22 437 27 447 31 469 42 474 45 483 51 491 57 496 61 519 84 524 90 533 102 539 111 544 119 547 124 552 133 563 155 567 164 570 171 576 186 579 194 583 205 590 226 594 239 600 260 603 271 611 303 614 316 616 325 619 339 627 379 631 401 634 418 638 442 641 461 643 474 650 523 654 553 659 593 663 627 667 663 669 682 676 752 682 818 685 853 686 865 689 902 693 954 695 981 698 1023 701 1067 702 1082 704 1113 708 1177 713 1262 715 1298 717 1335 720 1392 724 1472 726 1514 728 1557 730 1601 733 1670 735 1717 737 1766 739 1816 742 1894 745 1975 747 2031 749 2089 751 2148 753 2209 754 2240 756 2304 758 2369 761 2471 763 2541 765 2613 766 2650 768 2725 771 2842 772 2882 774 2964 776 3048 777 3091 779 3179 781 3269 782 3315 784 3409 785 3457 786 3506 788 3606 790 3708 791 3760 792 3813 793 3867 795 3977 796 4033 798 4147 800 4265 801 4325 802 4386 700 4928 599 4385 -- 9 in 82 1 50000 2 25000 3 16667 4 12500 5 10000 6 8333 7 7143 8 6250 9 5556 10 5000 11 4545 12 4167 13 3846 14 3571 15 3333 16 3125 17 2941 18 2778 19 2632 20 2500 21 2381 22 2273 23 2174 24 2083 25 2000 26 1923 27 1852 28 1786 29 1724 30 1667 31 1613 32 1563 33 1515 34 1471 35 1429 36 1389 37 1351 38 1316 39 1282 40 1250 42 1190 44 1136 45 1111 46 1087 47 1064 49 1020 51 980 53 943 55 909 57 877 59 847 60 833 62 806 64 781 65 769 67 746 68 735 70 714 72 694 77 649 81 617 83 602 86 581 88 568 91 549 92 543 95 526 97 515 103 485 107 467 111 450 113 442 117 427 121 413 124 403 135 370 138 362 146 342 150 333 16593 414 16444 50081 8182 93983 -- 10 in 121 0 9 252 9 455 10 788 19 1004 28 1166 37 1292 46 1400 55 1490 64 1571 73 1643 82 1769 100 1823 109 1922 127 2003 145 2111 172 2174 190 2309 235 2399 271 2597 370 2642 397 2723 451 2795 505 2840 541 3047 748 5064 2775 5109 2829 5190 2937 5244 3018 5289 3090 5316 3135 5361 3216 5460 3414 5496 3495 5523 3558 5577 3693 5604 3765 5640 3864 5703 4053 5739 4170 5793 4359 5820 4458 5892 4746 5919 4863 5937 4944 5964 5070 6036 5430 6072 5628 6099 5781 6135 5997 6162 6168 6180 6285 6243 6726 6279 6996 6324 7356 6360 7662 6396 7986 6414 8157 6477 8787 6531 9381 6558 9696 6567 9804 6594 10137 6630 10605 6648 10848 6675 11226 6702 11622 6711 11757 6729 12036 6765 12612 6810 13377 6828 13701 6846 14034 6873 14547 6909 15267 6927 15645 6945 16032 6963 16428 6990 17049 7008 17472 7026 17913 7044 18363 7071 19065 7098 19794 7116 20298 7134 20820 7152 21351 7170 21900 7179 22179 7197 22755 7215 23340 7242 24258 7260 24888 7278 25536 7287 25869 7305 26544 7332 27597 7341 27957 7359 28695 7377 29451 7386 29838 7404 30630 7422 31440 7431 31854 7449 32700 7458 33132 7467 33573 7485 34473 7503 35391 7512 35859 7521 36336 7530 36822 7548 37812 7557 38316 7575 39342 7593 40404 7602 40944 7611 41493 7509 42035 5492 40008 5391 39465