この記事は【Kuin Advent Calendar 2016】の14日目の記事です。
【記事中で紹介しているコードについて】
コンパイルが通らない場合など、不具合があれば、@tatt61880まで連絡いただけると助かります。よろしくお願いいたします。
{円周率の値を計算します(Spigotアルゴリズム)}
func main()
const digits : int :: 31415 {何桁目まで計算するか}
const d : int :: 5 {何桁毎に区切るか}
assert d < 10 {10以上だとintの上限を超えてしまいます}
assert digits % d = 0
const ignore: int :: (d $ float * 3.3219) $ int + 1 {無視する項数}
const dd: int :: digits * ignore / d
var base: int :: 10 ^ d
var nume: []int :: #[dd + ignore]int
var carry: int :: 0
for n(dd, 1, -ignore)
do carry :% base
var digit: int :: carry
for i(n - 1, 1, -1)
var denom: int :: 2 * i - 1
do carry :: carry * i + base * (n = dd ?((base * 2), nume[i]))
do nume[i] :: carry % denom
do carry :/ denom
end for
if(n = dd)
do cui@print("\{(digit + carry / base) / base}.")
do cui@print(((digit + carry / base) % base).toStrFmt("0\{d}d") ~ " ")
else
do cui@print((digit + carry / base).toStrFmt("0\{d}d") ~ " ")
if((dd - n) % (ignore * 10) = (ignore * 9))
if((dd - n) % (ignore * 100) = (ignore * 99))
do cui@print("[\{d * (dd - n) / ignore + d}]")
end if
do cui@print("\n ")
end if
end if
end for
end func
3.14159 26535 89793 23846 26433 83279 50288 41971 69399 37510 58209 74944 59230 78164 06286 20899 86280 34825 34211 70679 82148 08651 32823 06647 09384 46095 50582 23172 53594 08128 48111 74502 84102 70193 85211 05559 64462 29489 54930 38196 44288 10975 66593 34461 28475 64823 37867 83165 27120 19091 45648 56692 34603 48610 45432 66482 13393 60726 02491 41273 72458 70066 06315 58817 48815 20920 96282 92540 91715 36436 78925 90360 01133 05305 48820 46652 13841 46951 94151 16094 33057 27036 57595 91953 09218 61173 81932 61179 31051 18548 07446 23799 62749 56735 18857 52724 89122 79381 83011 94912 [500] 98336 73362 44065 66430 86021 39494 63952 24737 19070 21798 60943 70277 05392 17176 29317 67523 84674 81846 76694 05132 00056 81271 45263 56082 77857 71342 75778 96091 73637 17872 14684 40901 22495 34301 46549 58537 10507 92279 68925 89235 42019 95611 21290 21960 86403 44181 59813 62977 47713 09960 51870 72113 49999 99837 29780 49951 05973 17328 16096 31859 50244 59455 34690 83026 42522 30825 33446 85035 26193 11881 71010 00313 78387 52886 58753 32083 81420 61717 76691 47303 59825 34904 28755 46873 11595 62863 88235 37875 93751 95778 18577 80532 17122 68066 13001 92787 66111 95909 21642 01989 [1000] 38095 25720 10654 85863 27886 59361 53381 82796 82303 01952 03530 18529 68995 77362 25994 13891 24972 17752 83479 13151 55748 57242 45415 06959 50829 53311 68617 27855 88907 50983 81754 63746 49393 19255 06040 09277 01671 13900 98488 24012 85836 16035 63707 66010 47101 81942 95559 61989 46767 83744 94482 55379 77472 68471 04047 53464 62080 46684 25906 94912 93313 67702 89891 52104 75216 20569 66024 05803 81501 93511 25338 24300 35587 64024 74964 73263 91419 92726 04269 92279 67823 54781 63600 93417 21641 21992 45863 15030 28618 29745 55706 74983 85054 94588 58692 69956 90927 21079 75093 02955 [1500] 32116 53449 87202 75596 02364 80665 49911 98818 34797 75356 63698 07426 54252 78625 51818 41757 46728 90977 77279 38000 81647 06001 61452 49192 17321 72147 72350 14144 19735 68548 16136 11573 52552 13347 57418 49468 43852 33239 07394 14333 45477 62416 86251 89835 69485 56209 92192 22184 27255 02542 56887 67179 04946 01653 46680 49886 27232 79178 60857 84383 82796 79766 81454 10095 38837 86360 95068 00642 25125 20511 73929 84896 08412 84886 26945 60424 19652 85022 21066 11863 06744 27862 20391 94945 04712 37137 86960 95636 43719 17287 46776 46575 73962 41389 08658 32645 99581 33904 78027 59009 [2000] 94657 64078 95126 94683 98352 59570 98258 22620 52248 94077 26719 47826 84826 01476 99090 26401 36394 43745 53050 68203 49625 24517 49399 65143 14298 09190 65925 09372 21696 46151 57098 58387 41059 78859 59772 97549 89301 61753 92846 81382 68683 86894 27741 55991 85592 52459 53959 43104 99725 24680 84598 72736 44695 84865 38367 36222 62609 91246 08051 24388 43904 51244 13654 97627 80797 71569 14359 97700 12961 60894 41694 86855 58484 06353 42207 22258 28488 64815 84560 28506 01684 27394 52267 46767 88952 52138 52254 99546 66727 82398 64565 96116 35488 62305 77456 49803 55936 34568 17432 41125 [2500] 15076 06947 94510 96596 09402 52288 79710 89314 56691 36867 22874 89405 60101 50330 86179 28680 92087 47609 17824 93858 90097 14909 67598 52613 65549 78189 31297 84821 68299 89487 22658 80485 75640 14270 47755 51323 79641 45152 37462 34364 54285 84447 95265 86782 10511 41354 73573 95231 13427 16610 21359 69536 23144 29524 84937 18711 01457 65403 59027 99344 03742 00731 05785 39062 19838 74478 08478 48968 33214 45713 86875 19435 06430 21845 31910 48481 00537 06146 80674 91927 81911 97939 95206 14196 63428 75444 06437 45123 71819 21799 98391 01591 95618 14675 14269 12397 48940 90718 64942 31961 [3000] 56794 52080 95146 55022 52316 03881 93014 20937 62137 85595 66389 37787 08303 90697 92077 34672 21825 62599 66150 14215 03068 03844 77345 49202 60541 46659 25201 49744 28507 32518 66600 21324 34088 19071 04863 31734 64965 14539 05796 26856 10055 08106 65879 69981 63574 73638 40525 71459 10289 70641 40110 97120 62804 39039 75951 56771 57700 42033 78699 36007 23055 87631 76359 42187 31251 47120 53292 81918 26186 12586 73215 79198 41484 88291 64470 60957 52706 95722 09175 67116 72291 09816 90915 28017 35067 12748 58322 28718 35209 35396 57251 21083 57915 13698 82091 44421 00675 10334 67110 31412 [3500] 67111 36990 86585 16398 31501 97016 51511 68517 14376 57618 35155 65088 49099 89859 98238 73455 28331 63550 76479 18535 89322 61854 89632 13293 30898 57064 20467 52590 70915 48141 65498 59461 63718 02709 81994 30992 44889 57571 28289 05923 23326 09729 97120 84433 57326 54893 82391 19325 97463 66730 58360 41428 13883 03203 82490 37589 85243 74417 02913 27656 18093 77344 40307 07469 21120 19130 20330 38019 76211 01100 44929 32151 60842 44485 96376 69838 95228 68478 31235 52658 21314 49576 85726 24334 41893 03968 64262 43410 77322 69780 28073 18915 44110 10446 82325 27162 01052 65227 21116 60396 [4000] 66557 30925 47110 55785 37634 66820 65310 98965 26918 62056 47693 12570 58635 66201 85581 00729 36065 98764 86117 91045 33488 50346 11365 76867 53249 44166 80396 26579 78771 85560 84552 96541 26654 08530 61434 44318 58676 97514 56614 06800 70023 78776 59134 40171 27494 70420 56223 05389 94561 31407 11270 00407 85473 32699 39081 45466 46458 80797 27082 66830 63432 85878 56983 05235 80893 30657 57406 79545 71637 75254 20211 49557 61581 40025 01262 28594 13021 64715 50979 25923 09907 96547 37612 55176 56751 35751 78296 66454 77917 45011 29961 48903 04639 94713 29621 07340 43751 89573 59614 58901 [4500] 93897 13111 79042 97828 56475 03203 19869 15140 28708 08599 04801 09412 14722 13179 47647 77262 24142 54854 54033 21571 85306 14228 81375 85043 06332 17518 29798 66223 71721 59160 77166 92547 48738 98665 49494 50114 65406 28433 66393 79003 97692 65672 14638 53067 36096 57120 91807 63832 71664 16274 88880 07869 25602 90228 47210 40317 21186 08204 19000 42296 61711 96377 92133 75751 14959 50156 60496 31862 94726 54736 42523 08177 03675 15906 73502 35072 83540 56704 03867 43513 62222 47715 89150 49530 98444 89333 09634 08780 76932 59939 78054 19341 44737 74418 42631 29860 80998 88687 41326 04721 [5000] 56951 62396 58645 73021 63159 81931 95167 35381 29741 67729 47867 24229 24654 36680 09806 76928 23828 06899 64004 82435 40370 14163 14965 89794 09243 23789 69070 69779 42236 25082 21688 95738 37986 23001 59377 64716 51228 93578 60158 81617 55782 97352 33446 04281 51262 72037 34314 65319 77774 16031 99066 55418 76397 92933 44195 21541 34189 94854 44734 56738 31624 99341 91318 14809 27777 10386 38773 43177 20754 56545 32207 77092 12019 05166 09628 04909 26360 19759 88281 61332 31666 36528 61932 66863 36062 73567 63035 44776 28035 04507 77235 54710 58595 48702 79081 43562 40145 17180 62464 36267 [5500] 94561 27531 81340 78330 33625 42327 83944 97538 24372 05835 31147 71199 26063 81334 67768 79695 97030 98339 13077 10987 04085 91337 46414 42822 77263 46594 70474 58784 77872 01927 71528 07317 67907 70715 72134 44730 60570 07334 92436 93113 83504 93163 12840 42512 19256 51798 06941 13528 01314 70130 47816 43788 51852 90928 54520 11658 39341 96562 13491 43415 95625 86586 55705 52690 49652 09858 03385 07224 26482 93972 85847 83163 05777 75606 88876 44624 82468 57926 03953 52773 48030 48029 00587 60758 25104 74709 16439 61362 67604 49256 27420 42083 20856 61190 62545 43372 13153 59584 50687 72460 [6000] 29016 18766 79524 06163 42522 57719 54291 62991 93064 55377 99140 37340 43287 52628 88963 99587 94757 29174 64263 57455 25407 90914 51357 11136 94109 11939 32519 10760 20825 20261 87985 31887 70584 29725 91677 81314 96990 09019 21169 71737 27847 68472 68608 49003 37702 42429 16513 00500 51683 23364 35038 95170 29893 92233 45172 20138 12806 96501 17844 08745 19601 21228 59937 16231 30171 14448 46409 03890 64495 44400 61986 90754 85160 26327 50529 83491 87407 86680 88183 38510 22833 45085 04860 82503 93021 33219 71551 84306 35455 00766 82829 49304 13776 55279 39751 75461 39539 84683 39363 83047 [6500] 46119 96653 85815 38420 56853 38621 86725 23340 28308 71123 28278 92125 07712 62946 32295 63989 89893 58211 67456 27010 21835 64622 01349 67151 88190 97303 81198 00497 34072 39610 36854 06643 19395 09790 19069 96395 52453 00545 05806 85501 95673 02292 19139 33918 56803 44903 98205 95510 02263 53536 19204 19947 45538 59381 02343 95544 95977 83779 02374 21617 27111 72364 34354 39478 22181 85286 24085 14006 66044 33258 88569 86705 43154 70696 57474 58550 33232 33421 07301 54594 05165 53790 68662 73337 99585 11562 57843 22988 27372 31989 87571 41595 78111 96358 33005 94087 30681 21602 87649 62867 [7000] 44604 77464 91599 50549 73742 56269 01049 03778 19868 35938 14657 41268 04925 64879 85561 45372 34786 73303 90468 83834 36346 55379 49864 19270 56387 29317 48723 32083 76011 23029 91136 79386 27089 43879 93620 16295 15413 37142 48928 30722 01269 01475 46684 76535 76164 77379 46752 00490 75715 55278 19653 62132 39264 06160 13635 81559 07422 02020 31872 77605 27721 90055 61484 25551 87925 30343 51398 44253 22341 57623 36106 42506 39049 75008 65627 10953 59194 65897 51413 10348 22769 30624 74353 63256 91607 81547 81811 52843 66795 70611 08615 33150 44521 27473 92454 49454 23682 88606 13408 41486 [7500] 37767 00961 20715 12491 40430 27253 86076 48236 34143 34623 51897 57664 52164 13767 96903 14950 19108 57598 44239 19862 91642 19399 49072 36234 64684 41173 94032 65918 40443 78051 33389 45257 42399 50829 65912 28508 55582 15725 03107 12570 12668 30240 29295 25220 11872 67675 62204 15420 51618 41634 84756 51699 98116 14101 00299 60783 86909 29160 30288 40026 91041 40792 88621 50784 24516 70908 70006 99282 12066 04183 71806 53556 72525 32567 53286 12910 42487 76182 58297 65157 95984 70356 22262 93486 00341 58722 98053 49896 50226 29174 87882 02734 20922 22453 39856 26476 69149 05562 84250 39127 [8000] 57710 28402 79980 66365 82548 89264 88025 45661 01729 67026 64076 55904 29099 45681 50652 65305 37182 94127 03369 31378 51786 09040 70866 71149 65583 43434 76933 85781 71138 64558 73678 12301 45876 87126 60348 91390 95620 09939 36103 10291 61615 28813 84379 09904 23174 73363 94804 57593 14931 40529 76347 57481 19356 70911 01377 51721 00803 15590 24853 09066 92037 67192 20332 29094 33467 68514 22144 77379 39375 17034 43661 99104 03375 11173 54719 18550 46449 02636 55128 16228 82446 25759 16333 03910 72253 83742 18214 08835 08657 39177 15096 82887 47826 56995 99574 49066 17583 44137 52239 70968 [8500] 34080 05355 98491 75417 38188 39994 46974 86762 65516 58276 58483 58845 31427 75687 90029 09517 02835 29716 34456 21296 40435 23117 60066 51012 41200 65975 58512 76178 58382 92041 97484 42360 80071 93045 76189 32349 22927 96501 98751 87212 72675 07981 25547 09589 04556 35792 12210 33346 69749 92356 30254 94780 24901 14195 21238 28153 09114 07907 38602 51522 74299 58180 72471 62591 66854 51333 12394 80494 70791 19153 26734 30282 44186 04142 63639 54800 04480 02670 49624 82017 92896 47669 75831 83271 31425 17029 69234 88962 76684 40323 26092 75249 60357 99646 92565 04936 81836 09003 23809 29345 [9000] 95889 70695 36534 94060 34021 66544 37558 90045 63288 22505 45255 64056 44824 65151 87547 11962 18443 96582 53375 43885 69094 11303 15095 26179 37800 29741 20766 51479 39425 90298 96959 46995 56576 12186 56196 73378 62362 56125 21632 08628 69222 10327 48892 18654 36480 22967 80705 76561 51446 32046 92790 68212 07388 37781 42335 62823 60896 32080 68222 46801 22482 61177 18589 63814 09183 90367 36722 20888 32151 37556 00372 79839 40041 52970 02878 30766 70944 47456 01345 56417 25437 09069 79396 12257 14298 94671 54357 84687 88614 44581 23145 93571 98492 25284 71605 04922 12424 70141 21478 05734 [9500] 55105 00801 90869 96033 02763 47870 81081 75450 11930 71412 23390 86639 38339 52942 57869 05076 43100 63835 19834 38934 15961 31854 34754 64955 69781 03829 30971 64651 43840 70070 73604 11237 35998 43452 25161 05070 27056 23526 60127 64848 30840 76118 30130 52793 20542 74628 65403 60367 45328 65105 70658 74882 25698 15793 67897 66974 22057 50596 83440 86973 50201 41020 67235 85020 07245 22563 26513 41055 92401 90274 21624 84391 40359 98953 53945 90944 07046 91209 14093 87001 26456 00162 37428 80210 92764 57931 06579 22955 24988 72758 46101 26483 69998 92256 95968 81592 05600 10165 52563 75678 [10000] 56672 27966 19885 78279 48488 55834 39751 87445 45512 96563 44348 03966 42055 79829 36804 35220 27709 84294 23253 30225 76341 80703 94769 94159 79159 45300 69752 14829 33665 55661 56787 36400 53666 56416 54732 17043 90352 13295 43529 16941 45990 41608 75320 18683 79370 23488 86894 79151 07163 78529 02345 29244 07736 59495 63051 00742 10871 42613 49745 95615 13849 87137 57047 10178 79573 10422 96906 66702 14498 63746 45952 80824 36944 57897 72330 04876 47652 41339 07592 04340 19634 03911 47320 23380 71509 52220 10682 56342 74716 46024 33544 00515 21266 93249 34196 73977 04159 56837 53555 16673 [10500] 02739 00749 72973 63549 64533 28886 98440 61196 49616 27734 49518 27369 55882 20757 35517 66515 89855 19098 66653 93549 48106 88732 06859 90754 07923 42402 30092 59007 01731 96036 22547 56478 94064 75483 46647 76041 14632 33905 65134 33068 44953 97907 09030 23460 46147 09616 96886 88501 40834 70405 46074 29586 99138 29668 24681 85710 31887 90652 87036 65083 24319 74404 77185 56789 34823 08943 10682 87027 22809 73624 80939 96270 60747 26455 39925 39944 28081 13736 94338 87294 06307 92615 95995 46262 46297 07062 59484 55690 34711 97299 64090 89418 05953 43932 51236 23550 81349 49004 36427 85271 [11000] 38315 91256 89892 95196 42728 75739 46914 27253 43669 41532 36100 45373 04881 98551 70659 41217 35246 25895 48730 16760 02988 65925 78662 85612 49665 52353 38294 28785 42534 04830 83307 01653 72285 63559 15253 47844 59818 31341 12900 19992 05981 35220 51173 36585 64078 26484 94276 44113 76393 86692 48031 18364 45369 85891 75442 64739 98822 84621 84490 08777 69776 31279 57226 72655 56259 62825 42765 31830 01340 70922 33436 57791 60128 09317 94017 18598 59993 38492 35495 64005 70995 58561 13498 02524 99066 98423 30173 50358 04408 11685 52653 11709 95708 99427 32870 92584 87894 43646 00504 10892 [11500] 26691 78352 58707 85951 29834 41729 53519 53788 55345 73742 60859 02908 17651 55780 39059 46408 73506 12322 61120 09373 10804 85485 26357 22825 76820 34160 50484 66277 50450 03126 20080 07998 04925 48534 69414 69775 16493 27095 04934 63938 24322 27188 51597 40547 02148 28971 11777 92376 12257 88734 77188 19682 54629 81268 68581 70507 40272 55026 33290 44976 27789 44236 21674 11918 62694 39650 67151 57795 86756 48239 93917 60426 01763 38704 54990 17614 36412 04692 18237 07648 87834 19689 68611 81558 15873 60629 38603 81017 12158 55272 66830 08238 34046 56475 88040 51380 80163 36388 74216 37140 [12000] 64354 95561 86896 41122 82140 75330 26551 00424 10489 67835 28588 29024 36709 04887 11819 09094 94533 14421 82876 61810 31007 35477 05498 15968 07720 09474 69613 43609 28614 84941 78501 71807 79306 81085 46900 09445 89952 79424 39813 92135 05586 42219 64834 91512 63901 28038 32001 09773 86806 62877 92397 18014 61343 24457 26400 97374 25700 73592 10031 54150 89367 93008 16998 05365 20276 00727 74967 45840 02836 24053 46037 26341 65542 59027 60183 48403 06811 38185 51059 79705 66400 75094 26087 88573 57960 37324 51414 67867 03688 09880 60971 64258 49759 51380 69309 44940 15154 22221 94329 13021 [12500] 73912 53835 59150 31003 33032 51117 49156 96917 45027 14943 31515 58854 03922 16409 72291 01129 03552 18157 62823 28318 23425 48326 11191 28009 28252 56190 20526 30163 91147 72473 31485 73910 77758 74425 38761 17465 78671 16941 47764 21441 11126 35835 53871 36101 10232 67987 75641 02468 24032 26483 46417 66369 80663 78576 81349 20453 02240 81972 78564 71983 96308 78154 32211 66912 24641 59117 76732 25326 43356 86146 18654 52226 81268 87268 44596 84424 16107 85401 67681 42080 88502 80054 14361 31462 30821 02594 17375 62389 94207 57136 27516 74573 18918 94562 83525 70441 33543 75857 53426 98699 [13000] 47254 70316 56613 99199 96826 28247 27064 13362 22178 92390 31760 85428 94373 39356 18891 65125 04244 04008 95271 98378 73864 80584 72689 54624 38823 43751 78852 01439 56005 71048 11949 88423 90606 13695 73423 15590 79670 34614 91434 47886 36041 03182 35073 65027 78590 89757 82727 31305 04889 39890 09923 91350 33732 50855 98265 58670 89242 61242 94736 70193 90772 71307 06869 17092 64625 48423 24074 85503 66080 13604 66895 11840 09366 86095 46325 00214 58529 30950 00090 71510 58236 26729 32645 37382 10493 87249 96699 33942 46855 16483 26113 41461 10680 26744 66373 34375 34076 42940 26682 97386 [13500] 52209 35701 62638 46485 28514 90362 93201 99199 68828 51718 39536 69134 52224 44708 04592 39660 28171 56551 56566 61113 59823 11225 06289 05854 91450 97157 55390 02439 31535 19090 21071 19457 30024 38801 76615 03527 08626 02537 88179 75194 78061 01371 50044 89917 21002 22013 35013 10601 63915 41589 57803 71177 92775 22597 87428 91917 91552 24171 89585 36168 05947 41234 19339 84202 18745 64925 64434 62392 53195 31351 03311 47639 49119 95072 85843 06583 61935 36932 96992 89837 91494 19394 06085 72486 39688 36903 26556 43642 16644 25760 79147 10869 98431 57337 49648 83529 27693 28220 76294 72823 [14000] 81537 40996 15455 98798 25989 10937 17126 21828 30258 48112 38901 19682 21429 45766 75807 18653 80650 64870 26133 89282 29949 72574 53033 28389 63818 43944 77077 94022 84359 88341 00358 38542 38973 54243 95647 55568 40952 24844 55413 92394 10001 62076 93636 84677 64130 17819 65937 99715 57468 54194 63348 93748 43912 97423 91433 65936 04100 35234 37770 65888 67781 13949 86164 78747 14079 32638 58738 62473 28896 45643 59877 46676 38479 46650 40741 11825 65837 88784 54858 14896 29612 73998 41344 27260 86061 87245 54523 60643 15371 01127 46809 77870 44640 94758 28034 87697 58948 32824 12392 92960 [14500] 58294 86191 96670 91895 80898 33201 21031 84303 40128 49511 62035 34280 14412 76172 85830 24355 98300 32042 02451 20728 72535 58119 58401 49180 96925 33950 75778 40006 74655 26031 44616 70508 27682 77222 35341 91102 63416 31571 47406 12385 04258 45988 41990 76112 87258 05911 39356 89601 43166 82831 76323 56732 54170 73420 81733 22304 62987 99280 49085 14094 79036 88786 87894 93054 69557 03072 61900 95020 76433 49335 91060 24545 08645 36289 35456 86295 85313 15337 18386 82656 17862 27363 71697 57741 83023 98600 65914 81616 40494 49650 11732 13138 95747 06208 84748 02365 37103 11508 98427 99275 [15000] 44268 53277 97431 13951 43574 17221 97597 99359 68525 22857 45263 79628 96126 91572 35798 66205 73408 37576 68738 84266 40599 09935 05000 81337 54324 54635 96750 48442 35284 87470 14435 45419 57625 84735 64216 19813 40734 68541 11766 88311 86544 89377 69795 66517 27966 23267 14810 33864 39137 51865 94673 00244 34500 54499 53997 42372 32871 24948 34706 04406 34716 06325 83064 98297 95510 10954 18362 35030 30945 30973 35834 46283 94763 04775 64501 50085 07578 94954 89313 93944 89921 61255 25597 70143 68589 43585 87752 63796 25597 08167 76438 00125 43650 23714 12783 46792 61019 95585 22471 72201 [15500] 77723 70041 78084 19423 94872 54068 01556 03599 83905 48985 72354 67456 42390 58585 02167 19031 39526 29445 54391 31663 13453 08939 06204 67843 87785 05423 93905 24731 36201 29476 91874 97519 10114 72315 28932 67725 33918 14660 73000 89027 76896 31148 10902 20972 45207 59167 29700 78505 80717 18638 10549 67973 10016 78708 50694 20709 22329 08070 38326 34534 52038 02786 09905 56900 13413 71823 68370 99194 95164 89600 75504 93412 67876 43674 63849 02063 96401 97666 85592 33565 46391 38363 18574 56981 47196 21084 10809 61884 60545 60390 38455 34372 91414 46513 47494 07848 84423 77217 51543 34260 [16000] 30669 88317 68331 00113 31086 90421 93903 10801 43784 33415 13709 24353 01367 76310 84913 51615 64226 98475 07430 32971 67469 64066 65315 27035 32546 71126 67522 46055 11995 81831 96376 37076 17991 91920 35795 82007 59560 53023 46267 75794 39363 07463 05690 10801 14942 71410 09391 36913 81072 58137 81357 89400 55995 00183 54251 18417 21360 55727 52210 35268 03735 72652 79224 17373 60575 11278 87218 19084 49006 17801 38897 10770 82293 10027 97665 93583 87589 09395 68814 85602 63224 39372 65624 72776 03789 08144 58837 85501 97028 43779 36240 78250 52704 87581 64703 24581 29087 83952 32453 23789 [16500] 60298 41669 22548 96497 15606 98119 21865 84926 77040 39564 81278 10217 99132 17416 30581 05545 98801 30048 45629 97651 12124 15363 74515 00563 50701 27815 92671 42413 42103 30156 61653 56024 73380 78430 28655 25722 27530 49998 83701 53487 93008 06260 18096 23815 16136 69033 41111 38653 85109 19367 39383 52293 45888 32255 08870 64507 53947 39520 43968 07906 70868 06445 09698 65488 01682 87434 37861 26453 81583 42807 53061 84548 59037 98217 99459 96811 54419 74253 63443 99602 90251 00158 88272 16474 50068 20704 19376 15845 47123 18346 00726 29339 55054 82395 57137 25684 02322 68213 01247 67945 [17000] 22644 82091 02356 47752 72308 20810 63518 89915 26928 89108 45557 11266 03965 03439 78962 78250 01611 01532 35160 51965 59042 11844 94990 77899 92007 32947 69058 68577 87872 09829 01352 95661 39788 84860 50978 60859 57017 73129 81553 14951 68146 71769 59760 99421 00361 83559 13877 78176 98458 75810 44662 83998 80600 61622 98486 16935 33738 65787 73598 33616 13384 13385 36842 11978 93890 01852 95691 96780 45544 82858 48370 11709 67212 53533 87586 21582 31013 31038 77668 27211 57269 49518 17958 97546 93992 64219 79155 23385 76623 16762 75475 70354 69941 48929 04130 18638 61194 39196 28388 70543 [17500] 67774 32242 76809 13236 54494 85366 76800 00010 65262 48547 30558 61598 99914 01707 69838 54831 88750 14293 89089 95068 54530 76511 68033 37322 26517 56622 07526 95179 14422 52808 16517 16677 66727 93035 48515 42040 23817 46089 23283 91703 27542 57508 67655 11785 93950 02793 38959 20576 68278 96776 44531 84040 41855 40104 35134 83895 31201 32637 83692 83580 82719 37831 26549 61745 99705 67450 71833 20650 34556 64403 44904 53627 56001 12501 84335 60736 12227 65949 27839 37064 78426 45676 33881 88075 65612 16896 05041 61139 03906 39601 62022 15368 49410 92605 38768 87148 37989 55999 91120 99164 [18000] 64644 11918 56827 70045 74243 43402 16722 76445 58933 01277 81586 86952 50694 99364 61017 56850 60167 14535 43158 14801 05458 86056 45501 33203 75864 54858 40324 02987 17093 48091 05562 11671 54684 84778 03944 75697 98042 63180 99175 64228 09873 99876 69732 37695 73701 58080 68229 04599 21236 61689 02596 27304 30679 31653 11494 01764 73769 38735 14093 36183 32161 42802 14976 33991 89835 48487 56252 98752 42387 30775 59555 95546 51963 94401 82184 09984 12489 82623 67377 14672 26061 63364 32964 06335 72810 70788 75816 40438 14850 18841 14318 85988 27694 49011 93212 96827 15888 41338 69434 68285 [18500] 90066 64080 63140 77757 72570 56307 29400 49294 03024 20498 41656 54797 36705 48558 04458 65720 22763 78404 66823 37985 28271 05784 31975 35417 95011 34727 36257 74080 21347 68260 45022 85157 97957 97647 46702 28409 99561 60156 91089 03845 82450 26792 65942 05550 39587 92298 18526 48007 06837 65041 83656 20945 55434 61351 34152 57006 59748 81916 34135 95567 19649 65403 21872 71602 64859 30490 39787 48958 90661 27250 79482 82769 38953 52175 36218 50796 29778 51461 88432 71922 32238 10158 74445 05286 65238 02253 28438 91375 27384 58923 84422 53547 26530 98171 57844 78342 15822 32702 06902 87232 [19000] 33005 38621 63479 88509 46954 72004 79523 11201 50432 93226 62827 27632 17790 88400 87861 48022 14753 76578 10581 97022 26309 71749 50721 27248 47947 81695 72961 42365 85957 82090 83073 32335 60348 46531 87302 93026 65964 50137 18375 42889 75579 71449 92465 40386 81799 21389 34692 44741 98509 73346 26793 32107 26868 70768 06263 99193 61965 04409 95421 67627 84091 46698 56925 71507 43157 40793 80532 39252 39477 55744 15918 45821 56251 81921 55233 70960 74833 29234 92103 45146 26437 44980 55961 03307 99414 53477 84574 69999 21285 99999 39961 22816 15219 31488 87693 88022 28108 30019 86016 54941 [19500] 65426 16968 58678 83726 09587 74567 61825 07275 99295 08931 80521 87292 46108 67639 95891 61458 55058 39727 42098 09097 81729 32393 01067 66386 82404 01113 04024 70073 50857 82872 46271 34946 36853 18154 69690 46696 86939 25472 51941 39929 14652 42385 77625 50047 48529 54768 14795 46700 70503 47999 58886 76950 16124 97228 20403 03995 46327 88306 95976 24936 15101 02436 55535 22306 90612 94938 85990 15734 66102 37122 35478 91129 25476 96176 00504 79749 28060 72126 80392 26911 02777 22610 25441 49221 57650 45081 20677 17357 12027 18024 29681 06203 77657 88371 66909 10941 80744 87814 04907 55178 [20000] 20385 65390 99104 77594 14132 15432 84406 25030 18027 57169 65082 09642 73484 14695 72639 78842 56008 45312 14065 93580 90412 71135 92004 19759 85136 25479 61606 32288 73618 13673 73244 50607 92441 17639 97597 46193 83584 57491 59880 97667 44709 30065 46342 42346 06342 37474 66608 04317 01260 05205 59284 93695 94143 40814 68529 81505 39471 78900 45183 57551 54125 22359 05906 87264 87863 57525 41911 28887 73717 66374 86027 66063 49603 53679 47026 92322 97186 83277 17393 23619 20077 74522 12624 75186 98334 95151 01986 42698 87847 17193 96649 76907 08252 17423 36566 27259 28440 62043 02141 13719 [20500] 92278 52699 84698 84770 23238 23840 05565 55178 89087 66136 01304 77098 43861 16870 52310 55314 91625 17283 73272 86760 07248 17298 76375 69816 33541 50746 08838 66364 06934 70437 20668 86512 75688 26614 97307 88657 01568 50169 18647 48854 16791 54596 50723 42877 30699 85371 39043 00266 53078 39877 63850 32381 82155 35597 32353 06860 43010 67576 08389 08627 04984 18885 95138 09103 04235 95782 49514 39885 90113 18583 58406 67472 37029 71497 85084 14585 30857 81339 15627 07603 56390 76394 73114 55495 83226 69457 02494 13983 16343 32378 97595 56808 56836 29725 38679 13275 05554 25244 91943 58912 [21000] 84050 45226 95381 21791 31914 51350 09938 46311 77401 79715 12283 78546 01160 35955 40286 44059 02496 46693 07077 69055 48102 88502 08085 80087 81157 73817 19174 17760 17330 73855 47580 06056 01433 77432 99012 72867 72530 43182 51975 79167 92969 96504 14607 06645 71258 88346 97979 64293 16229 65520 16879 73000 35646 30457 93088 40327 48077 18115 55330 90988 70255 05207 68046 30346 08658 16539 48769 51960 04408 48206 59673 79473 16808 64156 45650 53004 98816 16490 57883 11543 45485 05266 00698 23093 15777 65003 78070 46612 64706 02145 75057 93270 96204 78256 15247 14591 89652 23608 39664 56241 [21500] 05195 51052 23572 39739 51288 18164 05978 59142 79148 16542 63289 20042 81609 13693 77737 22299 98332 70820 82969 95573 77273 75667 61552 71139 22588 05520 18988 76201 14168 00546 87365 58063 34716 03734 29170 39079 86396 52296 13128 01782 67971 72898 22936 07028 80690 87768 66059 32527 46378 40539 76918 48082 04102 19447 19713 86925 60841 62451 12398 06201 13184 54124 47820 50110 79876 07171 55683 15407 88654 39041 21087 30324 02010 68534 19472 30476 66672 17498 69868 54707 67812 05124 73679 24791 93150 85644 47753 79853 79973 22344 56122 78584 32968 46647 51333 65736 92387 20146 47236 79427 [22000] 87004 25032 55589 92688 43495 92876 12400 75587 56946 41370 56251 40011 79713 31662 07153 71543 60068 76477 31867 55871 48783 98908 10742 95309 41060 59694 43158 47753 97009 43988 39491 44323 53668 53920 99468 79645 06653 39857 38887 86614 76294 43414 01049 88899 31600 51207 67810 35886 11660 20296 11936 39682 13496 07501 11649 83278 56353 16145 16845 76956 87109 00299 97698 41263 26650 23477 16728 65737 85790 85746 64607 72283 41540 31144 15294 18804 78254 38761 77079 04300 01566 98677 67957 60909 96693 60755 94965 15273 63498 11896 41304 33116 62774 71233 88174 06037 31743 97054 06703 10967 [22500] 67657 48695 35878 96700 31925 86625 94105 10533 58438 46560 23391 79674 92678 44763 70847 49783 33655 57900 73841 91473 19886 27135 25954 62518 16043 42253 72996 28632 67496 82405 80602 96421 14638 64368 64224 72488 72834 34170 44157 34824 81833 30164 05669 59668 86676 95634 91416 32842 64149 74533 34999 94800 02669 98758 88159 35073 57815 19588 99005 39512 08535 10357 26137 36403 43675 34714 10483 60175 46488 30040 78464 16745 21673 71904 83109 67671 13443 49481 92626 81110 73994 82506 07394 95073 50316 90197 31852 11955 26356 32584 33909 98224 98624 06703 10768 31844 66072 91248 74754 03161 [23000] 79699 41139 73877 65899 86855 41703 18847 78867 59290 26070 04321 26661 79192 23520 93822 78788 80988 63359 91160 81923 53555 70464 63491 13208 59189 79613 27913 19756 49097 60001 39962 34445 53501 43464 26860 46449 58624 76909 43470 48293 29414 04111 46540 92398 83444 35159 13320 10773 94411 18407 41076 84981 06634 72410 48239 35827 40194 49356 65161 08846 31256 78529 77697 34684 30306 14624 18035 85293 31597 34583 03845 54103 37010 91676 77637 42762 10213 70135 48544 50926 30719 01147 31848 57492 33181 67207 21372 79355 67952 84439 25481 56091 37281 28406 33303 93735 62420 01604 56645 57414 [23500] 58816 60521 66608 73874 80472 43391 21295 58777 63906 96903 70788 28527 75389 40524 60758 49623 15743 69171 13176 13478 38827 19416 86066 25721 03685 13215 66478 00147 67523 10393 57860 68961 11259 96028 18393 09548 70905 90738 61351 91459 18195 10297 32787 55710 49729 01148 71718 97180 04696 16977 70017 91391 96137 91417 16270 70189 58469 21434 36967 62927 45910 99400 60084 98356 84252 01915 59370 37010 11049 74733 94938 77885 98941 74330 31785 34870 76032 21982 97057 97511 91440 51099 42358 83034 54635 34923 49826 88362 40433 27267 41554 03016 19505 68065 41809 39409 98202 06099 94140 21689 [24000] 09007 08213 30723 08966 21197 75530 66591 88141 19157 78362 72927 46156 18571 03721 72471 00952 14236 96483 08641 02592 88745 79993 22374 95519 12219 51903 42445 23075 35133 80685 68073 54464 99512 72031 74487 19540 39761 07308 06026 99062 58076 02029 27314 55252 07807 99141 84290 63884 43734 99681 45827 33720 72663 91767 02011 83004 64819 00024 13083 50884 65841 52148 99127 61065 13741 53943 56572 11390 32857 49187 69094 41370 20905 17031 48777 34616 52879 84823 53382 97260 13611 09845 14841 82380 81205 40996 12527 45808 81099 48697 22161 28524 89742 55555 16076 37167 50548 96173 01680 96138 [24500] 03811 91436 11439 92106 38005 08321 40987 60459 93093 24851 02516 82944 67260 66613 81517 45712 55975 49535 80239 98314 69822 03613 38082 84993 56705 57552 47129 02745 39776 21404 93182 01465 80080 21566 53606 77655 08783 80430 41343 10591 80460 68008 34591 13664 08348 87408 00574 12725 86704 79225 83191 27415 73908 09143 83138 45642 41509 40849 13391 80968 40251 16399 19368 53225 55733 89669 53749 02662 09232 61318 85589 15808 32455 57194 84538 75628 78612 88590 04106 00607 37465 01402 62782 40273 46962 52821 71749 41582 33174 92396 83530 13617 86536 73760 64216 67781 37739 95100 65895 28877 [25000] 42766 26368 41830 68019 08046 09849 80946 97636 67335 66228 29151 32352 78880 61577 68278 15958 86691 80238 94033 30764 41912 40341 20223 16368 57786 03572 76941 54177 88264 35238 13190 50280 87018 57504 70463 12933 35375 72853 86605 88890 45831 11450 77394 29352 01994 32197 11716 42235 00564 40429 79892 08159 43071 67019 85746 92738 48653 83343 61457 94634 17592 25738 98588 00169 80147 57420 54299 58012 42958 10545 65108 31046 29728 29375 84161 16253 25625 16572 49807 84920 99897 99062 00359 36509 93472 15829 65174 13579 84910 47111 66079 15874 36986 54122 23483 41887 72292 94463 35178 65385 [25500] 67319 62559 85202 60729 47674 07261 67671 45573 64981 21056 77716 89348 49176 60771 70527 71876 01199 90814 41130 58645 57791 05256 84304 81144 02619 38402 32247 09392 49802 93355 07318 45890 35539 71330 88446 17410 79591 62511 71486 48744 68611 24760 54286 73436 70904 66784 68670 27409 18810 14249 71114 96578 17724 27934 70702 16688 29561 08777 94405 04843 75284 43375 10882 82647 71978 54000 65097 04033 02186 25561 47332 11777 11744 13350 28160 88403 51781 45254 19643 20309 57601 86946 49088 68154 52856 21346 98835 54445 60249 55666 84366 02922 19512 48309 10605 37720 19802 18310 10327 04178 [26000] 38665 44718 12603 97190 68846 23708 57518 08003 53270 47185 65949 94761 24248 11099 92886 79158 96904 95639 47624 60842 40659 30948 62150 76903 14987 02067 35338 48349 55083 63660 17848 77106 08098 04269 24713 24100 09464 01437 36032 65645 18456 67924 56669 55100 15022 98330 79849 60799 49882 49706 17236 74493 61226 22296 17908 14311 41466 09412 34159 35930 95854 07913 90872 08322 73354 95720 80757 16517 18765 99449 85693 79562 38755 51617 57543 80917 80528 02946 42004 47215 39628 07463 60211 32942 55916 00257 07356 28126 38733 10600 58910 65245 70802 44749 37543 18414 94014 82119 99627 64531 [26500] 06800 66311 83823 76163 96631 80931 44467 12986 15527 59820 14514 10275 60068 92975 02463 04017 35148 91945 76360 78935 28555 05317 33141 64570 50499 64438 90936 30843 87448 47839 61684 05184 52732 88403 23452 02470 56851 64657 16477 13932 37755 17294 79512 61323 98229 60239 45485 79754 58651 74587 87713 31813 87529 59809 41217 42273 00352 29650 80891 77705 06825 92488 22322 15493 80483 71454 78164 72139 76820 96332 05083 05647 92048 20859 20475 49985 73203 88876 39160 19952 40918 93894 55767 68749 73085 69559 58010 65952 65030 36266 15975 06622 25084 06742 88982 65907 51063 75635 69968 21151 [27000] 09496 69744 58054 72886 93631 02036 78232 50182 32370 84597 90111 54847 20876 18212 47781 32663 30412 07621 65873 12970 81123 07581 59821 24863 98072 12407 86887 81145 01655 82513 61789 03070 86087 01989 75889 80745 66439 55157 41536 31931 91981 07057 53366 33738 03827 21527 98849 35039 74800 15890 51942 08797 11308 05123 39332 21903 46624 99171 69150 94854 14018 71060 35460 37946 43379 00589 09577 21180 80446 57439 62806 18671 78610 17156 74096 76620 80295 76657 70512 91209 90794 43046 32892 94730 61595 10430 90222 14393 71849 56063 40561 89342 51305 72682 91465 78329 33405 24635 02892 91754 [27500] 70872 56484 26003 49629 61165 41382 30077 31332 72983 05001 60256 72401 41851 52041 89070 11542 88579 92081 21984 49315 69990 59182 01181 97335 00126 18772 80368 12481 99587 70702 07532 40636 12593 13438 59554 25477 81961 14293 51635 61223 49666 15226 14735 39967 40515 84998 60355 29533 29245 75238 88101 36202 34762 46690 55816 43896 78630 97627 36550 47243 48643 07121 84943 73485 30060 63876 44566 27218 66617 01238 12771 56213 79746 14986 13287 44117 71455 24447 08997 14452 28856 62942 44023 01847 91205 47849 85745 21634 69644 89738 92062 40194 35183 10088 28348 02492 49085 40307 78638 75165 [28000] 91130 28739 58787 09810 07727 18271 87452 90139 72836 61484 21428 71705 53179 65430 76504 53432 46005 36361 47261 81809 69976 93348 62640 77435 19992 86863 23835 08875 66835 95097 26557 48154 31940 19557 68504 37248 00102 04137 49831 87225 96773 87154 95839 97184 44907 27914 19658 45930 08394 26370 20875 63539 82169 62055 32480 32122 67498 91140 26785 28599 67340 52420 31091 79789 99057 18821 94939 13207 53431 70798 00237 36590 98537 55202 38911 64346 71855 82906 85371 18979 52626 23449 24833 92496 34244 97146 56846 59124 89185 56629 58932 99090 35239 23333 36474 35203 70770 10108 43880 03290 [28500] 75983 42170 18554 22838 61617 21041 76030 11645 91878 05393 67447 47205 99850 23582 89183 36929 22337 32399 94804 37108 41965 94731 62654 82574 80994 82509 99183 30069 76569 36715 96893 64493 34886 47442 13500 84070 06608 83597 23503 95323 40179 58255 70360 16936 99098 86711 32109 79889 70705 17280 75585 51912 69930 67309 92507 04070 24556 85077 86790 69476 61262 98082 25163 31363 99521 17098 45280 92630 37592 24267 42575 59989 28927 83704 74445 21893 63203 48941 55210 44597 26188 38003 00677 61793 13813 99162 05806 27016 51024 45886 92476 49246 89192 46121 25310 27573 13908 40470 00714 35613 [29000] 62316 99237 16948 48132 55420 09145 30410 37135 45329 66206 39210 54798 24392 12517 25401 32314 90274 05858 92063 21758 94943 45489 06846 39931 37570 91034 63327 14153 16223 28055 22972 97953 80188 01628 59073 57295 54162 78867 64982 74186 16421 87898 85741 07164 90691 91851 16281 52854 86794 17363 89066 53885 76422 91583 42500 67361 24538 49160 67413 73401 73572 77995 63410 43326 88356 95078 14931 37800 73623 54180 07061 91802 67328 55119 19426 76091 22103 59874 69241 17283 74931 26163 39500 12395 99240 50845 43756 98507 95704 62226 64619 00010 35004 90183 03415 35458 42833 76437 81119 88556 [29500] 31877 77925 37201 16671 85395 41835 98443 83052 03762 81944 07615 94106 82071 69703 02285 15225 05731 26093 04689 84234 33152 73213 13612 16582 80807 52126 31547 73060 44237 74753 50595 22871 74402 66638 91488 17173 08643 61113 89069 42027 90881 43119 44879 94171 54042 10341 21908 47094 08025 40239 32942 94549 38786 40230 51292 71190 97513 53600 09219 71105 41209 66831 11516 32870 54230 28470 07312 06580 32626 41711 61659 57613 27235 15666 62536 67271 89985 34199 89523 68848 30999 30275 74199 16463 84142 70779 88708 87422 92770 53891 22717 24863 22028 89842 51252 87217 82603 05009 94510 82478 [30000] 35729 05691 98855 54678 86079 46280 53712 27042 46654 31921 45281 76074 14824 03827 83582 97193 01017 88834 56741 67811 39895 47504 48339 31468 96307 63396 65722 67270 43393 21674 54218 24557 06252 47972 19978 66854 27989 77992 33957 90575 81890 62252 54735 82205 23642 48507 83407 11014 49804 78726 69199 01864 38822 93230 53823 18559 73286 97809 22253 52959 10173 41407 33488 47610 05564 01824 23921 92695 06208 31838 14546 98392 36646 13639 89101 21021 77095 97670 49083 05081 85470 41946 64371 31229 96923 58895 38493 01363 56576 18610 60622 28705 59942 33716 31021 27845 74464 63989 73818 85667 [30500] 46260 87948 20186 47487 67272 72220 62676 46533 80998 01966 88368 09941 59075 77685 26398 65146 25333 63124 50536 40261 05696 05513 18381 31742 61184 42018 90888 53196 35698 69627 95036 73842 43130 11331 75330 53298 02016 68881 74813 42988 68158 55778 10343 23175 30647 84983 21062 97184 25184 38553 44276 20128 23457 07169 88530 51832 61796 41178 57960 88881 50329 60229 07056 14476 22091 50947 39035 94664 69162 35396 80920 13945 78175 89108 89319 92112 26007 39281 49169 48161 52738 42736 26429 80982 34063 20024 40244 95894 45612 91670 49508 23581 24873 91799 64864 11334 80324 75777 52197 08932 [31000] 77226 23494 86015 04665 26814 39877 05161 53170 26696 92970 49283 16285 50421 28981 46706 19533 19702 69507 21437 82304 76875 28028 73541 26166 39170 82459 25170 01071 41808 54800 63692 32594 62019 00227 80874 09859 77192 18051 58532 14739 26532 51559 03541 02092 84665 92529 99143 53791 82531 45452 90598 41581 76370 58927 90690 98969 11164 38118 78094 35371 52133 22614 43625 31449 01274 54772 69573 93934 81546 91631 16249 28873 57471 88240 71503 99500 94467 31954 31619 38554 85207 66573 88251