Skip to content

Instantly share code, notes, and snippets.

@pgtwitter

pgtwitter/a.ipynb

Created August 25, 2024 11:44
Show Gist options
  • Save pgtwitter/ccefab524aa76328dc8cc97a4d5f0141 to your computer and use it in GitHub Desktop.
Save pgtwitter/ccefab524aa76328dc8cc97a4d5f0141 to your computer and use it in GitHub Desktop.
Download ZIP
円周率1万桁の中に1から数えていって入っていない最初数は何か?
Display the source blob
Display the rendered blob
Raw
a.ipynb
{
"cells": [
{
"cell_type": "code",
"execution_count": null,
"id": "8618f7a9-e230-48a0-92a9-c2c0daa3d3fb",
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"0 33\n",
"1 2\n",
"2 7\n",
"3 0\n",
"4 3\n",
"5 5\n",
"6 8\n",
"7 14\n",
"8 12\n",
"9 6\n",
"10 50\n",
"11 95\n",
"12 149\n",
"13 111\n",
"14 2\n",
"15 4\n",
"16 41\n",
"17 96\n",
"18 425\n",
"19 38\n",
"20 54\n",
"21 94\n",
"22 136\n",
"23 17\n",
"24 293\n",
"25 90\n",
"26 7\n",
"27 29\n",
"28 34\n",
"29 187\n",
"30 65\n",
"31 138\n",
"32 16\n",
"33 25\n",
"34 87\n",
"35 10\n",
"36 286\n",
"37 47\n",
"38 18\n",
"39 44\n",
"40 71\n",
"41 3\n",
"42 93\n",
"43 24\n",
"44 60\n",
"45 61\n",
"46 20\n",
"47 120\n",
"48 88\n",
"49 58\n",
"50 32\n",
"51 49\n",
"52 173\n",
"53 9\n",
"54 192\n",
"55 131\n",
"56 211\n",
"57 405\n",
"58 11\n",
"59 5\n",
"60 128\n",
"61 220\n",
"62 21\n",
"63 313\n",
"64 23\n",
"65 8\n",
"66 118\n",
"67 99\n",
"68 606\n",
"69 42\n",
"70 97\n",
"71 40\n",
"72 140\n",
"73 300\n",
"74 57\n",
"75 48\n",
"76 570\n",
"77 560\n",
"78 67\n",
"79 14\n",
"80 85\n",
"81 68\n",
"82 53\n",
"83 27\n",
"84 19\n",
"85 172\n",
"86 75\n",
"87 306\n",
"88 35\n",
"89 12\n",
"90 248\n",
"91 250\n",
"92 6\n",
"93 15\n",
"94 59\n",
"95 31\n",
"96 181\n",
"97 13\n",
"98 81\n",
"99 45\n",
"100 855\n",
"101 853\n",
"102 164\n",
"103 3487\n",
"104 270\n",
"105 50\n",
"106 1012\n",
"107 1488\n",
"108 2535\n",
"109 207\n",
"110 175\n",
"111 154\n",
"112 710\n",
"113 363\n",
"114 2725\n",
"115 922\n",
"116 396\n",
"117 95\n",
"118 446\n",
"119 495\n",
"120 244\n",
"121 711\n",
"122 484\n",
"123 1925\n",
"124 1081\n",
"125 1351\n",
"126 2014\n",
"127 298\n",
"128 149\n",
"129 500\n",
"130 745\n",
"131 1097\n",
"132 111\n",
"133 282\n",
"134 628\n",
"135 2728\n",
"136 735\n",
"137 860\n",
"138 382\n",
"139 526\n",
"140 3251\n",
"141 2\n",
"142 883\n",
"143 1697\n",
"144 1639\n",
"145 251\n",
"146 386\n",
"147 896\n",
"148 104\n",
"149 2607\n",
"150 1115\n",
"151 394\n",
"152 325\n",
"153 345\n",
"154 3645\n",
"155 315\n",
"156 2328\n",
"157 1658\n",
"158 2390\n",
"159 4\n",
"160 397\n",
"161 1611\n",
"162 1325\n",
"163 1411\n",
"164 69\n",
"165 239\n",
"166 2747\n",
"167 1183\n",
"168 1131\n",
"169 41\n",
"170 96\n",
"171 343\n",
"172 139\n",
"173 429\n",
"174 156\n",
"175 1153\n",
"176 569\n",
"177 890\n",
"178 647\n",
"179 439\n",
"180 3665\n",
"181 729\n",
"182 1036\n",
"183 491\n",
"184 588\n",
"185 447\n",
"186 425\n",
"187 753\n",
"188 472\n",
"189 1716\n",
"190 247\n",
"191 1945\n",
"192 976\n",
"193 169\n",
"194 391\n",
"195 418\n",
"196 199\n",
"197 38\n",
"198 998\n",
"199 705\n",
"200 601\n",
"201 245\n",
"202 1514\n",
"203 1051\n",
"204 375\n",
"205 1327\n",
"206 885\n",
"207 2374\n",
"208 77\n",
"209 54\n",
"210 1318\n",
"211 94\n",
"212 712\n",
"213 281\n",
"214 103\n",
"215 3099\n",
"216 992\n",
"217 547\n",
"218 424\n",
"219 717\n",
"220 1911\n",
"221 1737\n",
"222 1736\n",
"223 136\n",
"224 536\n",
"225 1071\n",
"226 965\n",
"227 485\n",
"228 2528\n",
"229 186\n",
"230 64\n",
"231 137\n",
"232 1784\n",
"233 230\n",
"234 261\n",
"235 699\n",
"236 1523\n",
"237 457\n",
"238 17\n",
"239 1689\n",
"240 1197\n",
"241 1708\n",
"242 1109\n",
"243 1357\n",
"244 511\n",
"245 303\n",
"246 2247\n",
"247 537\n",
"248 480\n",
"249 293\n",
"250 2135\n",
"251 1714\n",
"252 823\n",
"253 90\n",
"254 338\n",
"255 1169\n",
"256 1751\n",
"257 1007\n",
"258 695\n",
"259 355\n",
"260 290\n",
"261 436\n",
"262 2038\n",
"263 614\n",
"264 22\n",
"265 7\n",
"266 276\n",
"267 2052\n",
"268 966\n",
"269 1394\n",
"270 166\n",
"271 242\n",
"272 478\n",
"273 299\n",
"274 463\n",
"275 631\n",
"276 3797\n",
"277 559\n",
"278 978\n",
"279 29\n",
"280 84\n",
"281 790\n",
"282 113\n",
"283 1091\n",
"284 150\n",
"285 1201\n",
"286 74\n",
"287 912\n",
"288 34\n",
"289 1311\n",
"290 714\n",
"291 3369\n",
"292 336\n",
"293 572\n",
"294 187\n",
"295 1125\n",
"296 1060\n",
"297 738\n",
"298 501\n",
"299 2644\n",
"300 973\n",
"301 493\n",
"302 818\n",
"303 195\n",
"304 4461\n",
"305 366\n",
"306 116\n",
"307 65\n",
"308 520\n",
"309 421\n",
"310 442\n",
"311 846\n",
"312 2632\n",
"313 859\n",
"314 2121\n",
"315 314\n",
"316 238\n",
"317 138\n",
"318 797\n",
"319 1166\n",
"320 600\n",
"321 960\n",
"322 3434\n",
"323 16\n",
"324 2495\n",
"325 3147\n",
"326 275\n",
"327 28\n",
"328 112\n",
"329 3333\n",
"330 365\n",
"331 1128\n",
"332 876\n",
"333 1699\n",
"334 216\n",
"335 3720\n",
"336 504\n",
"337 231\n",
"338 25\n",
"339 283\n",
"340 3162\n",
"341 1418\n",
"342 92\n",
"343 667\n",
"344 217\n",
"345 1701\n",
"346 262\n",
"347 1093\n",
"348 87\n",
"349 761\n",
"350 1634\n",
"351 470\n",
"352 840\n",
"353 935\n",
"354 700\n",
"355 1362\n",
"356 616\n",
"357 2733\n",
"358 10\n",
"359 143\n",
"360 286\n",
"361 1029\n",
"362 509\n",
"363 643\n",
"364 347\n",
"365 410\n",
"366 3746\n",
"367 350\n",
"368 2547\n",
"369 1553\n",
"370 556\n",
"371 540\n",
"372 301\n",
"373 5230\n",
"374 1158\n",
"375 47\n",
"376 3040\n",
"377 3057\n",
"378 232\n",
"379 458\n",
"380 1002\n",
"381 197\n",
"382 1355\n",
"383 26\n",
"384 18\n",
"385 171\n",
"386 2206\n",
"387 864\n",
"388 931\n",
"389 1078\n",
"390 1188\n",
"391 1381\n",
"392 564\n",
"393 284\n",
"394 527\n",
"395 533\n",
"396 1963\n",
"397 2979\n",
"398 2021\n",
"399 44\n",
"400 1175\n",
"401 1198\n",
"402 1368\n",
"403 724\n",
"404 1273\n",
"405 596\n",
"406 71\n",
"407 2008\n",
"408 146\n",
"409 340\n",
"410 163\n",
"411 2497\n",
"412 297\n",
"413 1076\n",
"414 385\n",
"415 3\n",
"416 1709\n",
"417 1419\n",
"418 728\n",
"419 37\n",
"420 702\n",
"421 93\n",
"422 1840\n",
"423 2995\n",
"424 1110\n",
"425 822\n",
"426 1393\n",
"427 630\n",
"428 203\n",
"429 1230\n",
"430 519\n",
"431 2120\n",
"432 274\n",
"433 24\n",
"434 3161\n",
"435 2333\n",
"436 349\n",
"437 555\n",
"438 1682\n",
"439 2302\n",
"440 512\n",
"441 727\n",
"442 202\n",
"443 2086\n",
"444 2708\n",
"445 60\n",
"446 126\n",
"447 2709\n",
"448 1253\n",
"449 1250\n",
"450 158\n",
"451 2108\n",
"452 612\n",
"453 2870\n",
"454 272\n",
"455 809\n",
"456 252\n",
"457 2784\n",
"458 304\n",
"459 61\n",
"460 127\n",
"461 219\n",
"462 20\n",
"463 531\n",
"464 1160\n",
"465 672\n",
"466 377\n",
"467 583\n",
"468 653\n",
"469 387\n",
"470 120\n",
"471 1222\n",
"472 1264\n",
"473 538\n",
"474 1371\n",
"475 224\n",
"476 2069\n",
"477 742\n",
"478 1408\n",
"479 1094\n",
"480 105\n",
"481 152\n",
"482 88\n",
"483 8554\n",
"484 2364\n",
"485 255\n",
"486 267\n",
"487 2649\n",
"488 322\n",
"489 189\n",
"490 908\n",
"491 294\n",
"492 3117\n",
"493 193\n",
"494 58\n",
"495 465\n",
"496 1373\n",
"497 1083\n",
"498 1458\n",
"499 762\n",
"500 6239\n",
"501 1344\n",
"502 32\n",
"503 838\n",
"504 1921\n",
"505 132\n",
"506 1116\n",
"507 684\n",
"508 1122\n",
"509 1147\n",
"510 49\n",
"511 395\n",
"512 1843\n",
"513 110\n",
"514 2118\n",
"515 1100\n",
"516 3516\n",
"517 2109\n",
"518 471\n",
"519 390\n",
"520 326\n",
"521 173\n",
"522 535\n",
"523 579\n",
"524 1615\n",
"525 1006\n",
"526 613\n",
"527 241\n",
"528 867\n",
"529 1059\n",
"530 368\n",
"531 2871\n",
"532 959\n",
"533 831\n",
"534 91\n",
"535 9\n",
"536 346\n",
"537 679\n",
"538 1821\n",
"539 563\n",
"540 339\n",
"541 1113\n",
"542 701\n",
"543 273\n",
"544 2928\n",
"545 4339\n",
"546 916\n",
"547 1407\n",
"548 371\n",
"549 192\n",
"550 131\n",
"551 1571\n",
"552 1664\n",
"553 810\n",
"554 915\n",
"555 178\n",
"556 1726\n",
"557 1102\n",
"558 316\n",
"559 179\n",
"560 617\n",
"561 708\n",
"562 926\n",
"563 1211\n",
"564 226\n",
"565 2454\n",
"566 211\n",
"567 467\n",
"568 605\n",
"569 1329\n",
"570 1453\n",
"571 2848\n",
"572 405\n",
"573 1659\n",
"574 1103\n",
"575 412\n",
"576 2005\n",
"577 625\n",
"578 1795\n",
"579 3193\n",
"580 1338\n",
"581 1984\n",
"582 52\n",
"583 1203\n",
"584 2266\n",
"585 677\n",
"586 1018\n",
"587 305\n",
"588 317\n",
"589 11\n",
"590 356\n",
"591 416\n",
"592 5\n",
"593 214\n",
"594 144\n",
"595 414\n",
"596 180\n",
"597 783\n",
"598 732\n",
"599 1073\n",
"600 360\n",
"601 1218\n",
"602 291\n",
"603 264\n",
"604 1173\n",
"605 750\n",
"606 311\n",
"607 287\n",
"608 618\n",
"609 128\n",
"610 269\n",
"611 427\n",
"612 220\n",
"613 971\n",
"614 1612\n",
"615 1030\n",
"616 1206\n",
"617 887\n",
"618 1444\n",
"619 843\n",
"620 76\n",
"621 2820\n",
"622 185\n",
"623 456\n",
"624 510\n",
"625 1569\n",
"626 21\n",
"627 462\n",
"628 73\n",
"629 571\n",
"630 1900\n",
"631 313\n",
"632 1020\n",
"633 3175\n",
"634 2486\n",
"635 615\n",
"636 1412\n",
"637 644\n",
"638 930\n",
"639 532\n",
"640 70\n",
"641 1424\n",
"642 821\n",
"643 23\n",
"644 182\n",
"645 1979\n",
"646 1280\n",
"647 119\n",
"648 227\n",
"649 1161\n",
"650 3557\n",
"651 109\n",
"652 240\n",
"653 8\n",
"654 673\n",
"655 2622\n",
"656 515\n",
"657 411\n",
"658 871\n",
"659 213\n",
"660 310\n",
"661 970\n",
"662 4067\n",
"663 1551\n",
"664 118\n",
"665 212\n",
"666 2441\n",
"667 2442\n",
"668 1288\n",
"669 258\n",
"670 4888\n",
"671 1184\n",
"672 1583\n",
"673 468\n",
"674 584\n",
"675 577\n",
"676 591\n",
"677 1307\n",
"678 235\n",
"679 99\n",
"680 967\n",
"681 606\n",
"682 1041\n",
"683 2019\n",
"684 654\n",
"685 836\n",
"686 1132\n",
"687 918\n",
"688 1753\n",
"689 692\n",
"690 814\n",
"691 894\n",
"692 259\n",
"693 42\n",
"694 594\n",
"695 388\n",
"696 1330\n",
"697 3069\n",
"698 1554\n",
"699 1395\n",
"700 307\n",
"701 167\n",
"702 545\n",
"703 408\n",
"704 2670\n",
"705 561\n",
"706 97\n",
"707 755\n",
"708 3061\n",
"709 121\n",
"710 681\n",
"711 1185\n",
"712 243\n",
"713 627\n",
"714 610\n",
"715 344\n",
"716 40\n",
"717 568\n",
"718 2776\n",
"719 541\n",
"720 1009\n",
"721 650\n",
"722 2140\n",
"723 1632\n",
"724 302\n",
"725 140\n",
"726 289\n",
"727 406\n",
"728 1584\n",
"729 771\n",
"730 898\n",
"731 785\n",
"732 788\n",
"733 507\n",
"734 3076\n",
"735 469\n",
"736 642\n",
"737 300\n",
"738 430\n",
"739 1693\n",
"740 4333\n",
"741 1673\n",
"742 1558\n",
"743 2493\n",
"744 453\n",
"745 157\n",
"746 1159\n",
"747 741\n",
"748 321\n",
"749 57\n",
"750 1146\n",
"751 48\n",
"752 476\n",
"753 874\n",
"754 1154\n",
"755 914\n",
"756 210\n",
"757 632\n",
"758 3778\n",
"759 413\n",
"760 2505\n",
"761 3548\n",
"762 570\n",
"763 3308\n",
"764 1366\n",
"765 2786\n",
"766 592\n",
"767 576\n",
"768 3910\n",
"769 2070\n",
"770 560\n",
"771 626\n",
"772 1592\n",
"773 1067\n",
"774 740\n",
"775 1088\n",
"776 891\n",
"777 1590\n",
"778 622\n",
"779 4442\n",
"780 774\n",
"781 67\n",
"782 1403\n",
"783 236\n",
"784 1796\n",
"785 623\n",
"786 233\n",
"787 648\n",
"788 1023\n",
"789 352\n",
"790 1760\n",
"791 1095\n",
"792 686\n",
"793 14\n",
"794 2511\n",
"795 30\n",
"796 690\n",
"797 1260\n",
"798 100\n",
"799 459\n",
"800 1598\n",
"801 3418\n",
"802 1993\n",
"803 85\n",
"804 775\n",
"805 957\n",
"806 968\n",
"807 451\n",
"808 106\n",
"809 1003\n",
"810 206\n",
"811 153\n",
"812 148\n",
"813 734\n",
"814 882\n",
"815 324\n",
"816 68\n",
"817 319\n",
"818 490\n",
"819 198\n",
"820 53\n",
"821 102\n",
"822 135\n",
"823 114\n",
"824 1196\n",
"825 89\n",
"826 2059\n",
"827 620\n",
"828 2381\n",
"829 335\n",
"830 492\n",
"831 237\n",
"832 27\n",
"833 503\n",
"834 1092\n",
"835 1719\n",
"836 1204\n",
"837 769\n",
"838 863\n",
"839 2020\n",
"840 2365\n",
"841 36\n",
"842 1290\n",
"843 1681\n",
"844 125\n",
"845 2252\n",
"846 19\n",
"847 223\n",
"848 151\n",
"849 1676\n",
"850 837\n",
"851 3515\n",
"852 172\n",
"853 678\n",
"854 448\n",
"855 1139\n",
"856 256\n",
"857 474\n",
"858 1017\n",
"859 799\n",
"860 522\n",
"861 268\n",
"862 75\n",
"863 929\n",
"864 722\n",
"865 108\n",
"866 3151\n",
"867 234\n",
"868 2203\n",
"869 1473\n",
"870 306\n",
"871 2778\n",
"872 649\n",
"873 919\n",
"874 1950\n",
"875 865\n",
"876 980\n",
"877 4143\n",
"878 4309\n",
"879 2531\n",
"880 2656\n",
"881 205\n",
"882 373\n",
"883 1823\n",
"884 35\n",
"885 473\n",
"886 869\n",
"887 1754\n",
"888 4752\n",
"889 1142\n",
"890 1143\n",
"891 482\n",
"892 353\n",
"893 1000\n",
"894 1240\n",
"895 190\n",
"896 636\n",
"897 12\n",
"898 1312\n",
"899 79\n",
"900 1189\n",
"901 659\n",
"902 715\n",
"903 357\n",
"904 909\n",
"905 3191\n",
"906 1294\n",
"907 543\n",
"908 815\n",
"909 248\n",
"910 2874\n",
"911 1534\n",
"912 483\n",
"913 1096\n",
"914 250\n",
"915 1315\n",
"916 3370\n",
"917 342\n",
"918 2220\n",
"919 417\n",
"920 329\n",
"921 423\n",
"922 687\n",
"923 63\n",
"924 1430\n",
"925 337\n",
"926 6\n",
"927 977\n",
"928 2192\n",
"929 1854\n",
"930 194\n",
"931 441\n",
"932 15\n",
"933 215\n",
"934 1417\n",
"935 1347\n",
"936 285\n",
"937 46\n",
"938 123\n",
"939 43\n",
"940 145\n",
"941 392\n",
"942 1229\n",
"943 400\n",
"944 59\n",
"945 808\n",
"946 530\n",
"947 2056\n",
"948 188\n",
"949 497\n",
"950 31\n",
"951 389\n",
"952 534\n",
"953 419\n",
"954 191\n",
"955 130\n",
"956 466\n",
"957 947\n",
"958 676\n",
"959 415\n",
"960 637\n",
"961 1236\n",
"962 332\n",
"963 795\n",
"964 181\n",
"965 1883\n",
"966 1331\n",
"967 1401\n",
"968 691\n",
"969 2756\n",
"970 3246\n",
"971 39\n",
"972 1084\n",
"973 784\n",
"974 56\n",
"975 209\n",
"976 1808\n",
"977 739\n",
"978 773\n",
"979 13\n",
"980 1555\n",
"981 733\n",
"982 101\n",
"983 502\n",
"984 1192\n",
"985 2155\n",
"986 81\n",
"987 1511\n",
"988 1537\n",
"989 999\n",
"990 2072\n",
"991 1533\n",
"992 1386\n",
"993 45\n",
"994 1074\n",
"995 706\n",
"996 460\n",
"997 2242\n",
"998 80\n",
"999 763\n",
"1000 855\n",
"1001 is not found\n"
]
}
],
"source": [
"# %%\n",
"\n",
"# https://円周率.jp/value/decimal.html\n",
"pistr = \"\"\"\n",
"3.\n",
"1415926535 8979323846 2643383279 5028841971 6939937510 5820974944 5923078164 0628620899 8628034825 3421170679\n",
"8214808651 3282306647 0938446095 5058223172 5359408128 4811174502 8410270193 8521105559 6446229489 5493038196\n",
"4428810975 6659334461 2847564823 3786783165 2712019091 4564856692 3460348610 4543266482 1339360726 0249141273\n",
"7245870066 0631558817 4881520920 9628292540 9171536436 7892590360 0113305305 4882046652 1384146951 9415116094\n",
"3305727036 5759591953 0921861173 8193261179 3105118548 0744623799 6274956735 1885752724 8912279381 8301194912\n",
"9833673362 4406566430 8602139494 6395224737 1907021798 6094370277 0539217176 2931767523 8467481846 7669405132\n",
"0005681271 4526356082 7785771342 7577896091 7363717872 1468440901 2249534301 4654958537 1050792279 6892589235\n",
"4201995611 2129021960 8640344181 5981362977 4771309960 5187072113 4999999837 2978049951 0597317328 1609631859\n",
"5024459455 3469083026 4252230825 3344685035 2619311881 7101000313 7838752886 5875332083 8142061717 7669147303\n",
"5982534904 2875546873 1159562863 8823537875 9375195778 1857780532 1712268066 1300192787 6611195909 2164201989\n",
"\n",
"3809525720 1065485863 2788659361 5338182796 8230301952 0353018529 6899577362 2599413891 2497217752 8347913151\n",
"5574857242 4541506959 5082953311 6861727855 8890750983 8175463746 4939319255 0604009277 0167113900 9848824012\n",
"8583616035 6370766010 4710181942 9555961989 4676783744 9448255379 7747268471 0404753464 6208046684 2590694912\n",
"9331367702 8989152104 7521620569 6602405803 8150193511 2533824300 3558764024 7496473263 9141992726 0426992279\n",
"6782354781 6360093417 2164121992 4586315030 2861829745 5570674983 8505494588 5869269956 9092721079 7509302955\n",
"3211653449 8720275596 0236480665 4991198818 3479775356 6369807426 5425278625 5181841757 4672890977 7727938000\n",
"8164706001 6145249192 1732172147 7235014144 1973568548 1613611573 5255213347 5741849468 4385233239 0739414333\n",
"4547762416 8625189835 6948556209 9219222184 2725502542 5688767179 0494601653 4668049886 2723279178 6085784383\n",
"8279679766 8145410095 3883786360 9506800642 2512520511 7392984896 0841284886 2694560424 1965285022 2106611863\n",
"0674427862 2039194945 0471237137 8696095636 4371917287 4677646575 7396241389 0865832645 9958133904 7802759009\n",
"\n",
"9465764078 9512694683 9835259570 9825822620 5224894077 2671947826 8482601476 9909026401 3639443745 5305068203\n",
"4962524517 4939965143 1429809190 6592509372 2169646151 5709858387 4105978859 5977297549 8930161753 9284681382\n",
"6868386894 2774155991 8559252459 5395943104 9972524680 8459872736 4469584865 3836736222 6260991246 0805124388\n",
"4390451244 1365497627 8079771569 1435997700 1296160894 4169486855 5848406353 4220722258 2848864815 8456028506\n",
"0168427394 5226746767 8895252138 5225499546 6672782398 6456596116 3548862305 7745649803 5593634568 1743241125\n",
"1507606947 9451096596 0940252288 7971089314 5669136867 2287489405 6010150330 8617928680 9208747609 1782493858\n",
"9009714909 6759852613 6554978189 3129784821 6829989487 2265880485 7564014270 4775551323 7964145152 3746234364\n",
"5428584447 9526586782 1051141354 7357395231 1342716610 2135969536 2314429524 8493718711 0145765403 5902799344\n",
"0374200731 0578539062 1983874478 0847848968 3321445713 8687519435 0643021845 3191048481 0053706146 8067491927\n",
"8191197939 9520614196 6342875444 0643745123 7181921799 9839101591 9561814675 1426912397 4894090718 6494231961\n",
"\n",
"5679452080 9514655022 5231603881 9301420937 6213785595 6638937787 0830390697 9207734672 2182562599 6615014215\n",
"0306803844 7734549202 6054146659 2520149744 2850732518 6660021324 3408819071 0486331734 6496514539 0579626856\n",
"1005508106 6587969981 6357473638 4052571459 1028970641 4011097120 6280439039 7595156771 5770042033 7869936007\n",
"2305587631 7635942187 3125147120 5329281918 2618612586 7321579198 4148488291 6447060957 5270695722 0917567116\n",
"7229109816 9091528017 3506712748 5832228718 3520935396 5725121083 5791513698 8209144421 0067510334 6711031412\n",
"6711136990 8658516398 3150197016 5151168517 1437657618 3515565088 4909989859 9823873455 2833163550 7647918535\n",
"8932261854 8963213293 3089857064 2046752590 7091548141 6549859461 6371802709 8199430992 4488957571 2828905923\n",
"2332609729 9712084433 5732654893 8239119325 9746366730 5836041428 1388303203 8249037589 8524374417 0291327656\n",
"1809377344 4030707469 2112019130 2033038019 7621101100 4492932151 6084244485 9637669838 9522868478 3123552658\n",
"2131449576 8572624334 4189303968 6426243410 7732269780 2807318915 4411010446 8232527162 0105265227 2111660396\n",
"\n",
"6655730925 4711055785 3763466820 6531098965 2691862056 4769312570 5863566201 8558100729 3606598764 8611791045\n",
"3348850346 1136576867 5324944166 8039626579 7877185560 8455296541 2665408530 6143444318 5867697514 5661406800\n",
"7002378776 5913440171 2749470420 5622305389 9456131407 1127000407 8547332699 3908145466 4645880797 2708266830\n",
"6343285878 5698305235 8089330657 5740679545 7163775254 2021149557 6158140025 0126228594 1302164715 5097925923\n",
"0990796547 3761255176 5675135751 7829666454 7791745011 2996148903 0463994713 2962107340 4375189573 5961458901\n",
"9389713111 7904297828 5647503203 1986915140 2870808599 0480109412 1472213179 4764777262 2414254854 5403321571\n",
"8530614228 8137585043 0633217518 2979866223 7172159160 7716692547 4873898665 4949450114 6540628433 6639379003\n",
"9769265672 1463853067 3609657120 9180763832 7166416274 8888007869 2560290228 4721040317 2118608204 1900042296\n",
"6171196377 9213375751 1495950156 6049631862 9472654736 4252308177 0367515906 7350235072 8354056704 0386743513\n",
"6222247715 8915049530 9844489333 0963408780 7693259939 7805419341 4473774418 4263129860 8099888687 4132604721\n",
"\n",
"5695162396 5864573021 6315981931 9516735381 2974167729 4786724229 2465436680 0980676928 2382806899 6400482435\n",
"4037014163 1496589794 0924323789 6907069779 4223625082 2168895738 3798623001 5937764716 5122893578 6015881617\n",
"5578297352 3344604281 5126272037 3431465319 7777416031 9906655418 7639792933 4419521541 3418994854 4473456738\n",
"3162499341 9131814809 2777710386 3877343177 2075456545 3220777092 1201905166 0962804909 2636019759 8828161332\n",
"3166636528 6193266863 3606273567 6303544776 2803504507 7723554710 5859548702 7908143562 4014517180 6246436267\n",
"9456127531 8134078330 3362542327 8394497538 2437205835 3114771199 2606381334 6776879695 9703098339 1307710987\n",
"0408591337 4641442822 7726346594 7047458784 7787201927 7152807317 6790770715 7213444730 6057007334 9243693113\n",
"8350493163 1284042512 1925651798 0694113528 0131470130 4781643788 5185290928 5452011658 3934196562 1349143415\n",
"9562586586 5570552690 4965209858 0338507224 2648293972 8584783163 0577775606 8887644624 8246857926 0395352773\n",
"4803048029 0058760758 2510474709 1643961362 6760449256 2742042083 2085661190 6254543372 1315359584 5068772460\n",
"\n",
"2901618766 7952406163 4252257719 5429162991 9306455377 9914037340 4328752628 8896399587 9475729174 6426357455\n",
"2540790914 5135711136 9410911939 3251910760 2082520261 8798531887 7058429725 9167781314 9699009019 2116971737\n",
"2784768472 6860849003 3770242429 1651300500 5168323364 3503895170 2989392233 4517220138 1280696501 1784408745\n",
"1960121228 5993716231 3017114448 4640903890 6449544400 6198690754 8516026327 5052983491 8740786680 8818338510\n",
"2283345085 0486082503 9302133219 7155184306 3545500766 8282949304 1377655279 3975175461 3953984683 3936383047\n",
"4611996653 8581538420 5685338621 8672523340 2830871123 2827892125 0771262946 3229563989 8989358211 6745627010\n",
"2183564622 0134967151 8819097303 8119800497 3407239610 3685406643 1939509790 1906996395 5245300545 0580685501\n",
"9567302292 1913933918 5680344903 9820595510 0226353536 1920419947 4553859381 0234395544 9597783779 0237421617\n",
"2711172364 3435439478 2218185286 2408514006 6604433258 8856986705 4315470696 5747458550 3323233421 0730154594\n",
"0516553790 6866273337 9958511562 5784322988 2737231989 8757141595 7811196358 3300594087 3068121602 8764962867\n",
"\n",
"4460477464 9159950549 7374256269 0104903778 1986835938 1465741268 0492564879 8556145372 3478673303 9046883834\n",
"3634655379 4986419270 5638729317 4872332083 7601123029 9113679386 2708943879 9362016295 1541337142 4892830722\n",
"0126901475 4668476535 7616477379 4675200490 7571555278 1965362132 3926406160 1363581559 0742202020 3187277605\n",
"2772190055 6148425551 8792530343 5139844253 2234157623 3610642506 3904975008 6562710953 5919465897 5141310348\n",
"2276930624 7435363256 9160781547 8181152843 6679570611 0861533150 4452127473 9245449454 2368288606 1340841486\n",
"3776700961 2071512491 4043027253 8607648236 3414334623 5189757664 5216413767 9690314950 1910857598 4423919862\n",
"9164219399 4907236234 6468441173 9403265918 4044378051 3338945257 4239950829 6591228508 5558215725 0310712570\n",
"1266830240 2929525220 1187267675 6220415420 5161841634 8475651699 9811614101 0029960783 8690929160 3028840026\n",
"9104140792 8862150784 2451670908 7000699282 1206604183 7180653556 7252532567 5328612910 4248776182 5829765157\n",
"9598470356 2226293486 0034158722 9805349896 5022629174 8788202734 2092222453 3985626476 6914905562 8425039127\n",
"\n",
"5771028402 7998066365 8254889264 8802545661 0172967026 6407655904 2909945681 5065265305 3718294127 0336931378\n",
"5178609040 7086671149 6558343434 7693385781 7113864558 7367812301 4587687126 6034891390 9562009939 3610310291\n",
"6161528813 8437909904 2317473363 9480457593 1493140529 7634757481 1935670911 0137751721 0080315590 2485309066\n",
"9203767192 2033229094 3346768514 2214477379 3937517034 4366199104 0337511173 5471918550 4644902636 5512816228\n",
"8244625759 1633303910 7225383742 1821408835 0865739177 1509682887 4782656995 9957449066 1758344137 5223970968\n",
"3408005355 9849175417 3818839994 4697486762 6551658276 5848358845 3142775687 9002909517 0283529716 3445621296\n",
"4043523117 6006651012 4120065975 5851276178 5838292041 9748442360 8007193045 7618932349 2292796501 9875187212\n",
"7267507981 2554709589 0455635792 1221033346 6974992356 3025494780 2490114195 2123828153 0911407907 3860251522\n",
"7429958180 7247162591 6685451333 1239480494 7079119153 2673430282 4418604142 6363954800 0448002670 4962482017\n",
"9289647669 7583183271 3142517029 6923488962 7668440323 2609275249 6035799646 9256504936 8183609003 2380929345\n",
"\n",
"9588970695 3653494060 3402166544 3755890045 6328822505 4525564056 4482465151 8754711962 1844396582 5337543885\n",
"6909411303 1509526179 3780029741 2076651479 3942590298 9695946995 5657612186 5619673378 6236256125 2163208628\n",
"6922210327 4889218654 3648022967 8070576561 5144632046 9279068212 0738837781 4233562823 6089632080 6822246801\n",
"2248261177 1858963814 0918390367 3672220888 3215137556 0037279839 4004152970 0287830766 7094447456 0134556417\n",
"2543709069 7939612257 1429894671 5435784687 8861444581 2314593571 9849225284 7160504922 1242470141 2147805734\n",
"5510500801 9086996033 0276347870 8108175450 1193071412 2339086639 3833952942 5786905076 4310063835 1983438934\n",
"1596131854 3475464955 6978103829 3097164651 4384070070 7360411237 3599843452 2516105070 2705623526 6012764848\n",
"3084076118 3013052793 2054274628 6540360367 4532865105 7065874882 2569815793 6789766974 2205750596 8344086973\n",
"5020141020 6723585020 0724522563 2651341055 9240190274 2162484391 4035998953 5394590944 0704691209 1409387001\n",
"2645600162 3742880210 9276457931 0657922955 2498872758 4610126483 6999892256 9596881592 0560010165 5256375678\n",
"\"\"\".replace('\\n', '').replace(' ', '')\n",
"for i in range(1003):\n",
" try:\n",
" pos = pistr.index(str(i))\n",
" print(str(i), pos)\n",
" except:\n",
" print(str(i), \"is not found\")\n",
" break"
]
}
],
"metadata": {
"language_info": {
"codemirror_mode": {
"name": "ipython",
"version": 3
},
"file_extension": ".py",
"mimetype": "text/x-python",
"name": "python",
"nbconvert_exporter": "python",
"pygments_lexer": "ipython3",
"version": 3
}
},
"nbformat": 4,
"nbformat_minor": 2
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment