# A317205 Sprague-Grundy values for Wythoff's game. # Table of n, a(n) for n = 0..1274 # Generated by Georg Fischer, Feb 22 2020.with (Mathematica): # mex[list_] := mex[list] = Min[Complement[Range[0, Length[list]], list]]; # move[Wnim, {a_, b_}] := move[Wnim, {a, b}] = # Union[Table[{i, b}, {i, 0, a - 1}], Table[{a, i}, {i, 0, b - 1}], # Table[{a - i, b - i}, {i, 1, Min[a, b]}]]; # SpragueGrundy[game_, list_] := SpragueGrundy[game, list] = # mex[SpragueGrundy[game, #] & /@ move[game, list]]; # t[n_, m_] := SpragueGrundy[Wnim, {n - 1, m - 1}]; (* so far copied from A004481 *) # Print[Flatten[Table[t[n, m], {n, 50}, {m,1, n}]]] (* ~~~~ *) 0 0 1 1 2 2 3 2 4 0 5 1 6 3 7 4 8 5 9 6 10 4 11 5 12 3 13 2 14 7 15 5 16 3 17 4 18 0 19 6 20 8 21 6 22 7 23 8 24 1 25 9 26 10 27 3 28 7 29 8 30 6 31 9 32 0 33 1 34 4 35 5 36 8 37 6 38 7 39 10 40 1 41 2 42 5 43 3 44 4 45 9 46 10 47 11 48 12 49 8 50 7 51 13 52 14 53 15 54 16 55 10 56 11 57 9 58 8 59 13 60 12 61 0 62 15 63 16 64 17 65 14 66 11 67 9 68 10 69 7 70 12 71 14 72 2 73 13 74 17 75 6 76 18 77 15 78 12 79 13 80 14 81 15 82 11 83 9 84 16 85 17 86 18 87 19 88 7 89 8 90 10 91 13 92 14 93 12 94 11 95 16 96 15 97 17 98 2 99 0 100 5 101 6 102 19 103 20 104 9 105 14 106 12 107 13 108 16 109 15 110 17 111 18 112 10 113 9 114 1 115 2 116 20 117 21 118 7 119 11 120 15 121 16 122 17 123 18 124 10 125 13 126 12 127 19 128 14 129 0 130 3 131 21 132 22 133 8 134 23 135 20 136 16 137 17 138 15 139 14 140 19 141 18 142 20 143 21 144 12 145 2 146 1 147 4 148 6 149 10 150 22 151 9 152 13 153 17 154 15 155 16 156 13 157 18 158 11 159 14 160 12 161 19 162 3 163 4 164 5 165 23 166 22 167 8 168 24 169 25 170 21 171 18 172 19 173 20 174 21 175 17 176 16 177 15 178 22 179 23 180 4 181 5 182 0 183 3 184 24 185 25 186 7 187 11 188 26 189 12 190 19 191 20 192 18 193 17 194 14 195 21 196 11 197 16 198 24 199 22 200 23 201 1 202 5 203 4 204 26 205 27 206 28 207 10 208 13 209 25 210 20 211 18 212 19 213 22 214 21 215 23 216 24 217 25 218 26 219 27 220 28 221 3 222 0 223 1 224 29 225 11 226 30 227 9 228 31 229 12 230 17 231 21 232 22 233 23 234 24 235 20 236 19 237 25 238 11 239 27 240 28 241 26 242 16 243 1 244 29 245 3 246 30 247 31 248 32 249 14 250 15 251 33 252 18 253 22 254 23 255 21 256 20 257 25 258 24 259 26 260 18 261 28 262 29 263 27 264 30 265 2 266 31 267 4 268 32 269 33 270 34 271 10 272 35 273 13 274 36 275 19 276 23 277 21 278 22 279 19 280 24 281 26 282 27 283 28 284 11 285 18 286 20 287 25 288 4 289 3 290 0 291 2 292 29 293 31 294 9 295 33 296 16 297 12 298 14 299 30 300 24 301 25 302 26 303 27 304 23 305 22 306 21 307 29 308 13 309 20 310 19 311 28 312 30 313 32 314 5 315 6 316 34 317 33 318 35 319 36 320 14 321 37 322 17 323 38 324 31 325 25 326 26 327 24 328 23 329 28 330 27 331 29 332 30 333 21 334 31 335 22 336 32 337 33 338 34 339 6 340 1 341 5 342 20 343 36 344 37 345 15 346 17 347 11 348 35 349 16 350 38 351 26 352 24 353 25 354 28 355 27 356 20 357 30 358 31 359 22 360 23 361 29 362 33 363 34 364 21 365 32 366 5 367 0 368 2 369 6 370 38 371 10 372 13 373 12 374 36 375 18 376 19 377 35 378 27 379 28 380 29 381 30 382 22 383 25 384 19 385 24 386 32 387 33 388 31 389 23 390 26 391 35 392 34 393 4 394 3 395 6 396 8 397 39 398 37 399 38 400 16 401 15 402 12 403 40 404 11 405 36 406 28 407 29 408 27 409 26 410 31 411 30 412 32 413 33 414 25 415 21 416 34 417 35 418 24 419 36 420 37 421 38 422 7 423 0 424 39 425 40 426 41 427 42 428 15 429 43 430 11 431 18 432 44 433 45 434 22 435 29 436 27 437 28 438 25 439 30 440 32 441 31 442 20 443 34 444 26 445 33 446 36 447 37 448 18 449 19 450 39 451 8 452 1 453 2 454 7 455 35 456 40 457 41 458 17 459 42 460 43 461 45 462 46 463 47 464 23 465 30 466 31 467 32 468 33 469 29 470 28 471 22 472 26 473 35 474 24 475 36 476 27 477 38 478 25 479 39 480 34 481 23 482 7 483 37 484 8 485 4 486 41 487 42 488 13 489 40 490 14 491 16 492 21 493 20 494 44 495 43 496 31 497 32 498 30 499 29 500 26 501 33 502 23 503 27 504 20 505 34 506 25 507 37 508 28 509 39 510 36 511 35 512 24 513 38 514 1 515 0 516 7 517 8 518 43 519 44 520 15 521 41 522 40 523 42 524 46 525 48 526 49 527 45 528 32 529 30 530 31 531 34 532 33 533 35 534 36 535 37 536 29 537 38 538 24 539 26 540 39 541 40 542 27 543 28 544 41 545 42 546 43 547 2 548 5 549 9 550 44 551 7 552 45 553 46 554 47 555 18 556 19 557 49 558 50 559 21 560 48 561 33 562 34 563 35 564 36 565 32 566 31 567 37 568 23 569 38 570 39 571 21 572 29 573 40 574 28 575 30 576 41 577 26 578 27 579 44 580 3 581 6 582 2 583 1 584 42 585 46 586 13 587 43 588 20 589 48 590 24 591 47 592 51 593 22 594 49 595 34 596 35 597 33 598 32 599 37 600 36 601 38 602 39 603 30 604 40 605 41 606 42 607 31 608 43 609 44 610 25 611 45 612 46 613 47 614 6 615 2 616 0 617 3 618 48 619 49 620 50 621 14 622 51 623 23 624 21 625 52 626 53 627 54 628 55 629 24 630 35 631 33 632 34 633 31 634 36 635 29 636 28 637 40 638 41 639 32 640 39 641 38 642 27 643 30 644 42 645 43 646 37 647 44 648 45 649 9 650 8 651 4 652 5 653 6 654 47 655 48 656 49 657 17 658 16 659 11 660 19 661 50 662 23 663 25 664 56 665 26 666 36 667 37 668 38 669 39 670 35 671 34 672 33 673 41 674 42 675 25 676 40 677 22 678 43 679 44 680 28 681 29 682 32 683 45 684 46 685 30 686 48 687 5 688 0 689 10 690 8 691 49 692 17 693 13 694 50 695 52 696 18 697 47 698 20 699 54 700 26 701 24 702 27 703 37 704 38 705 36 706 35 707 40 708 39 709 41 710 34 711 33 712 30 713 32 714 24 715 42 716 23 717 43 718 44 719 46 720 29 721 48 722 31 723 47 724 6 725 7 726 1 727 3 728 9 729 15 730 50 731 14 732 16 733 45 734 19 735 25 736 53 737 27 738 52 739 51 740 28 741 38 742 36 743 37 744 40 745 39 746 41 747 42 748 43 749 44 750 35 751 45 752 31 753 46 754 27 755 33 756 47 757 48 758 30 759 34 760 49 761 32 762 7 763 8 764 50 765 9 766 4 767 51 768 52 769 53 770 22 771 54 772 18 773 55 774 56 775 28 776 57 777 23 778 58 779 29 780 39 781 40 782 41 783 42 784 34 785 37 786 43 787 36 788 45 789 46 790 38 791 44 792 47 793 48 794 31 795 49 796 35 797 50 798 32 799 51 800 52 801 10 802 6 803 5 804 0 805 7 806 9 807 53 808 17 809 54 810 55 811 22 812 56 813 57 814 20 815 58 816 59 817 60 818 61 819 33 820 40 821 41 822 39 823 38 824 43 825 42 826 44 827 32 828 37 829 47 830 35 831 45 832 25 833 46 834 49 835 33 836 36 837 48 838 51 839 50 840 53 841 34 842 9 843 8 844 1 845 2 846 52 847 54 848 10 849 55 850 56 851 57 852 58 853 19 854 22 855 59 856 31 857 26 858 62 859 27 860 60 861 41 862 39 863 40 864 37 865 42 866 44 867 45 868 46 869 31 870 43 871 48 872 47 873 49 874 26 875 24 876 50 877 51 878 28 879 29 880 52 881 36 882 35 883 38 884 53 885 2 886 0 887 1 888 5 889 55 890 56 891 57 892 58 893 59 894 60 895 61 896 21 897 62 898 54 899 25 900 30 901 63 902 32 903 42 904 43 905 44 906 45 907 41 908 40 909 34 910 38 911 36 912 37 913 30 914 39 915 48 916 47 917 35 918 51 919 52 920 49 921 50 922 32 923 46 924 53 925 54 926 55 927 4 928 3 929 7 930 9 931 6 932 15 933 17 934 56 935 57 936 18 937 59 938 20 939 58 940 22 941 26 942 24 943 28 944 64 945 61 946 43 947 44 948 42 949 41 950 38 951 45 952 35 953 47 954 39 955 48 956 46 957 40 958 29 959 49 960 50 961 36 962 53 963 37 964 52 965 34 966 51 967 54 968 55 969 56 970 7 971 8 972 4 973 2 974 3 975 10 976 58 977 59 978 60 979 61 980 62 981 63 982 21 983 64 984 65 985 23 986 30 987 27 988 31 989 57 990 44 991 42 992 43 993 46 994 45 995 47 996 48 997 49 998 40 999 41 1000 50 1001 51 1002 52 1003 33 1004 38 1005 26 1006 39 1007 36 1008 53 1009 54 1010 55 1011 56 1012 37 1013 57 1014 10 1015 12 1016 3 1017 0 1018 4 1019 13 1020 59 1021 60 1022 61 1023 58 1024 18 1025 64 1026 65 1027 62 1028 24 1029 28 1030 29 1031 34 1032 63 1033 32 1034 66 1035 45 1036 46 1037 47 1038 48 1039 44 1040 38 1041 49 1042 35 1043 43 1044 50 1045 51 1046 41 1047 36 1048 53 1049 40 1050 42 1051 27 1052 52 1053 30 1054 55 1055 34 1056 57 1057 39 1058 58 1059 54 1060 59 1061 8 1062 1 1063 5 1064 3 1065 10 1066 12 1067 62 1068 63 1069 19 1070 60 1071 56 1072 21 1073 64 1074 25 1075 61 1076 65 1077 29 1078 33 1079 67 1080 37 1081 46 1082 47 1083 45 1084 44 1085 49 1086 48 1087 50 1088 42 1089 51 1090 52 1091 53 1092 43 1093 32 1094 38 1095 41 1096 37 1097 40 1098 39 1099 54 1100 56 1101 57 1102 55 1103 58 1104 34 1105 59 1106 10 1107 60 1108 14 1109 2 1110 9 1111 11 1112 4 1113 8 1114 64 1115 29 1116 61 1117 19 1118 20 1119 66 1120 26 1121 65 1122 33 1123 62 1124 67 1125 68 1126 28 1127 63 1128 47 1129 45 1130 46 1131 43 1132 48 1133 50 1134 39 1135 51 1136 52 1137 36 1138 44 1139 49 1140 53 1141 42 1142 54 1143 55 1144 38 1145 41 1146 40 1147 57 1148 58 1149 59 1150 56 1151 37 1152 60 1153 61 1154 62 1155 7 1156 1 1157 0 1158 12 1159 10 1160 63 1161 65 1162 66 1163 22 1164 64 1165 67 1166 68 1167 69 1168 23 1169 70 1170 27 1171 71 1172 31 1173 32 1174 30 1175 34 1176 48 1177 49 1178 50 1179 51 1180 47 1181 46 1182 40 1183 45 1184 53 1185 44 1186 42 1187 34 1188 35 1189 52 1190 55 1191 56 1192 54 1193 57 1194 27 1195 43 1196 59 1197 60 1198 61 1199 32 1200 62 1201 58 1202 39 1203 41 1204 8 1205 4 1206 5 1207 11 1208 12 1209 66 1210 63 1211 65 1212 67 1213 68 1214 21 1215 29 1216 24 1217 22 1218 69 1219 70 1220 72 1221 71 1222 36 1223 73 1224 64 1225 49 1226 50 1227 48 1228 47 1229 52 1230 51 1231 53 1232 54 1233 55 1234 42 1235 37 1236 46 1237 45 1238 41 1239 56 1240 31 1241 44 1242 58 1243 28 1244 59 1245 60 1246 43 1247 40 1248 39 1249 57 1250 63 1251 61 1252 10 1253 9 1254 5 1255 0 1256 6 1257 1 1258 14 1259 12 1260 62 1261 68 1262 65 1263 20 1264 64 1265 66 1266 23 1267 25 1268 26 1269 30 1270 69 1271 70 1272 29 1273 74 1274 67