A technique for compacting butterfly tables

[sje]

Here's a butterfly indexing array [64][64] in Lisp:

Code: Select all

#2A((NIL 0 1 2 3 4 5 6 7 8 9 NIL NIL NIL NIL NIL 10 11 12 NIL NIL NIL NIL NIL
     13 NIL NIL 14 NIL NIL NIL NIL 15 NIL NIL NIL 16 NIL NIL NIL 17 NIL NIL NIL
     NIL 18 NIL NIL 19 NIL NIL NIL NIL NIL 20 NIL 21 NIL NIL NIL NIL NIL NIL
     22)
    (23 NIL 24 25 26 27 28 29 30 31 32 33 NIL NIL NIL NIL 34 35 36 37 NIL NIL
     NIL NIL NIL 38 NIL NIL 39 NIL NIL NIL NIL 40 NIL NIL NIL 41 NIL NIL NIL 42
     NIL NIL NIL NIL 43 NIL NIL 44 NIL NIL NIL NIL NIL 45 NIL 46 NIL NIL NIL
     NIL NIL NIL)
    (47 48 NIL 49 50 51 52 53 54 55 56 57 58 NIL NIL NIL 59 60 61 62 63 NIL NIL
     NIL NIL NIL 64 NIL NIL 65 NIL NIL NIL NIL 66 NIL NIL NIL 67 NIL NIL NIL 68
     NIL NIL NIL NIL 69 NIL NIL 70 NIL NIL NIL NIL NIL NIL NIL 71 NIL NIL NIL
     NIL NIL)
    (72 73 74 NIL 75 76 77 78 NIL 79 80 81 82 83 NIL NIL NIL 84 85 86 87 88 NIL
     NIL 89 NIL NIL 90 NIL NIL 91 NIL NIL NIL NIL 92 NIL NIL NIL 93 NIL NIL NIL
     94 NIL NIL NIL NIL NIL NIL NIL 95 NIL NIL NIL NIL NIL NIL NIL 96 NIL NIL
     NIL NIL)
    (97 98 99 100 NIL 101 102 103 NIL NIL 104 105 106 107 108 NIL NIL NIL 109
     110 111 112 113 NIL NIL 114 NIL NIL 115 NIL NIL 116 117 NIL NIL NIL 118
     NIL NIL NIL NIL NIL NIL NIL 119 NIL NIL NIL NIL NIL NIL NIL 120 NIL NIL
     NIL NIL NIL NIL NIL 121 NIL NIL NIL)
    (122 123 124 125 126 NIL 127 128 NIL NIL NIL 129 130 131 132 133 NIL NIL
     NIL 134 135 136 137 138 NIL NIL 139 NIL NIL 140 NIL NIL NIL 141 NIL NIL
     NIL 142 NIL NIL 143 NIL NIL NIL NIL 144 NIL NIL NIL NIL NIL NIL NIL 145
     NIL NIL NIL NIL NIL NIL NIL 146 NIL NIL)
    (147 148 149 150 151 152 NIL 153 NIL NIL NIL NIL 154 155 156 157 NIL NIL
     NIL NIL 158 159 160 161 NIL NIL NIL 162 NIL NIL 163 NIL NIL NIL 164 NIL
     NIL NIL 165 NIL NIL 166 NIL NIL NIL NIL 167 NIL 168 NIL NIL NIL NIL NIL
     169 NIL NIL NIL NIL NIL NIL NIL 170 NIL)
    (171 172 173 174 175 176 177 NIL NIL NIL NIL NIL NIL 178 179 180 NIL NIL
     NIL NIL NIL 181 182 183 NIL NIL NIL NIL 184 NIL NIL 185 NIL NIL NIL 186
     NIL NIL NIL 187 NIL NIL 188 NIL NIL NIL NIL 189 NIL 190 NIL NIL NIL NIL
     NIL 191 192 NIL NIL NIL NIL NIL NIL 193)
    (194 195 196 NIL NIL NIL NIL NIL NIL 197 198 199 200 201 202 203 204 205
     206 NIL NIL NIL NIL NIL 207 208 209 NIL NIL NIL NIL NIL 210 NIL NIL 211
     NIL NIL NIL NIL 212 NIL NIL NIL 213 NIL NIL NIL 214 NIL NIL NIL NIL 215
     NIL NIL 216 NIL NIL NIL NIL NIL 217 NIL)
    (218 219 220 221 NIL NIL NIL NIL 222 NIL 223 224 225 226 227 228 229 230
     231 232 NIL NIL NIL NIL 233 234 235 236 NIL NIL NIL NIL NIL 237 NIL NIL
     238 NIL NIL NIL NIL 239 NIL NIL NIL 240 NIL NIL NIL 241 NIL NIL NIL NIL
     242 NIL NIL 243 NIL NIL NIL NIL NIL 244)
    (245 246 247 248 249 NIL NIL NIL 250 251 NIL 252 253 254 255 256 257 258
     259 260 261 NIL NIL NIL 262 263 264 265 266 NIL NIL NIL NIL NIL 267 NIL
     NIL 268 NIL NIL NIL NIL 269 NIL NIL NIL 270 NIL NIL NIL 271 NIL NIL NIL
     NIL 272 NIL NIL 273 NIL NIL NIL NIL NIL)
    (NIL 274 275 276 277 278 NIL NIL 279 280 281 NIL 282 283 284 285 NIL 286
     287 288 289 290 NIL NIL NIL 291 292 293 294 295 NIL NIL 296 NIL NIL 297
     NIL NIL 298 NIL NIL NIL NIL 299 NIL NIL NIL 300 NIL NIL NIL 301 NIL NIL
     NIL NIL NIL NIL NIL 302 NIL NIL NIL NIL)
    (NIL NIL 303 304 305 306 307 NIL 308 309 310 311 NIL 312 313 314 NIL NIL
     315 316 317 318 319 NIL NIL NIL 320 321 322 323 324 NIL NIL 325 NIL NIL
     326 NIL NIL 327 328 NIL NIL NIL 329 NIL NIL NIL NIL NIL NIL NIL 330 NIL
     NIL NIL NIL NIL NIL NIL 331 NIL NIL NIL)
    (NIL NIL NIL 332 333 334 335 336 337 338 339 340 341 NIL 342 343 NIL NIL
     NIL 344 345 346 347 348 NIL NIL NIL 349 350 351 352 353 NIL NIL 354 NIL
     NIL 355 NIL NIL NIL 356 NIL NIL NIL 357 NIL NIL 358 NIL NIL NIL NIL 359
     NIL NIL NIL NIL NIL NIL NIL 360 NIL NIL)
    (NIL NIL NIL NIL 361 362 363 364 365 366 367 368 369 370 NIL 371 NIL NIL
     NIL NIL 372 373 374 375 NIL NIL NIL NIL 376 377 378 379 NIL NIL NIL 380
     NIL NIL 381 NIL NIL NIL 382 NIL NIL NIL 383 NIL NIL 384 NIL NIL NIL NIL
     385 NIL 386 NIL NIL NIL NIL NIL 387 NIL)
    (NIL NIL NIL NIL NIL 388 389 390 391 392 393 394 395 396 397 NIL NIL NIL
     NIL NIL NIL 398 399 400 NIL NIL NIL NIL NIL 401 402 403 NIL NIL NIL NIL
     404 NIL NIL 405 NIL NIL NIL 406 NIL NIL NIL 407 NIL NIL 408 NIL NIL NIL
     NIL 409 NIL 410 NIL NIL NIL NIL NIL 411)
    (412 413 414 NIL NIL NIL NIL NIL 415 416 417 NIL NIL NIL NIL NIL NIL 418
     419 420 421 422 423 424 425 426 427 NIL NIL NIL NIL NIL 428 429 430 NIL
     NIL NIL NIL NIL 431 NIL NIL 432 NIL NIL NIL NIL 433 NIL NIL NIL 434 NIL
     NIL NIL 435 NIL NIL NIL NIL 436 NIL NIL)
    (437 438 439 440 NIL NIL NIL NIL 441 442 443 444 NIL NIL NIL NIL 445 NIL
     446 447 448 449 450 451 452 453 454 455 NIL NIL NIL NIL 456 457 458 459
     NIL NIL NIL NIL NIL 460 NIL NIL 461 NIL NIL NIL NIL 462 NIL NIL NIL 463
     NIL NIL NIL 464 NIL NIL NIL NIL 465 NIL)
    (466 467 468 469 470 NIL NIL NIL 471 472 473 474 475 NIL NIL NIL 476 477
     NIL 478 479 480 481 482 483 484 485 486 487 NIL NIL NIL 488 489 490 491
     492 NIL NIL NIL NIL NIL 493 NIL NIL 494 NIL NIL NIL NIL 495 NIL NIL NIL
     496 NIL NIL NIL 497 NIL NIL NIL NIL 498)
    (NIL 499 500 501 502 503 NIL NIL NIL 504 505 506 507 508 NIL NIL 509 510
     511 NIL 512 513 514 515 NIL 516 517 518 519 520 NIL NIL NIL 521 522 523
     524 525 NIL NIL 526 NIL NIL 527 NIL NIL 528 NIL NIL NIL NIL 529 NIL NIL
     NIL 530 NIL NIL NIL 531 NIL NIL NIL NIL)
    (NIL NIL 532 533 534 535 536 NIL NIL NIL 537 538 539 540 541 NIL 542 543
     544 545 NIL 546 547 548 NIL NIL 549 550 551 552 553 NIL NIL NIL 554 555
     556 557 558 NIL NIL 559 NIL NIL 560 NIL NIL 561 562 NIL NIL NIL 563 NIL
     NIL NIL NIL NIL NIL NIL 564 NIL NIL NIL)
    (NIL NIL NIL 565 566 567 568 569 NIL NIL NIL 570 571 572 573 574 575 576
     577 578 579 NIL 580 581 NIL NIL NIL 582 583 584 585 586 NIL NIL NIL 587
     588 589 590 591 NIL NIL 592 NIL NIL 593 NIL NIL NIL 594 NIL NIL NIL 595
     NIL NIL 596 NIL NIL NIL NIL 597 NIL NIL)
    (NIL NIL NIL NIL 598 599 600 601 NIL NIL NIL NIL 602 603 604 605 606 607
     608 609 610 611 NIL 612 NIL NIL NIL NIL 613 614 615 616 NIL NIL NIL NIL
     617 618 619 620 NIL NIL NIL 621 NIL NIL 622 NIL NIL NIL 623 NIL NIL NIL
     624 NIL NIL 625 NIL NIL NIL NIL 626 NIL)
    (NIL NIL NIL NIL NIL 627 628 629 NIL NIL NIL NIL NIL 630 631 632 633 634
     635 636 637 638 639 NIL NIL NIL NIL NIL NIL 640 641 642 NIL NIL NIL NIL
     NIL 643 644 645 NIL NIL NIL NIL 646 NIL NIL 647 NIL NIL NIL 648 NIL NIL
     NIL 649 NIL NIL 650 NIL NIL NIL NIL 651)
    (652 NIL NIL 653 NIL NIL NIL NIL 654 655 656 NIL NIL NIL NIL NIL 657 658
     659 NIL NIL NIL NIL NIL NIL 660 661 662 663 664 665 666 667 668 669 NIL
     NIL NIL NIL NIL 670 671 672 NIL NIL NIL NIL NIL 673 NIL NIL 674 NIL NIL
     NIL NIL 675 NIL NIL NIL 676 NIL NIL NIL)
    (NIL 677 NIL NIL 678 NIL NIL NIL 679 680 681 682 NIL NIL NIL NIL 683 684
     685 686 NIL NIL NIL NIL 687 NIL 688 689 690 691 692 693 694 695 696 697
     NIL NIL NIL NIL 698 699 700 701 NIL NIL NIL NIL NIL 702 NIL NIL 703 NIL
     NIL NIL NIL 704 NIL NIL NIL 705 NIL NIL)
    (NIL NIL 706 NIL NIL 707 NIL NIL 708 709 710 711 712 NIL NIL NIL 713 714
     715 716 717 NIL NIL NIL 718 719 NIL 720 721 722 723 724 725 726 727 728
     729 NIL NIL NIL 730 731 732 733 734 NIL NIL NIL NIL NIL 735 NIL NIL 736
     NIL NIL NIL NIL 737 NIL NIL NIL 738 NIL)
    (739 NIL NIL 740 NIL NIL 741 NIL NIL 742 743 744 745 746 NIL NIL NIL 747
     748 749 750 751 NIL NIL 752 753 754 NIL 755 756 757 758 NIL 759 760 761
     762 763 NIL NIL NIL 764 765 766 767 768 NIL NIL 769 NIL NIL 770 NIL NIL
     771 NIL NIL NIL NIL 772 NIL NIL NIL 773)
    (NIL 774 NIL NIL 775 NIL NIL 776 NIL NIL 777 778 779 780 781 NIL NIL NIL
     782 783 784 785 786 NIL 787 788 789 790 NIL 791 792 793 NIL NIL 794 795
     796 797 798 NIL NIL NIL 799 800 801 802 803 NIL NIL 804 NIL NIL 805 NIL
     NIL 806 807 NIL NIL NIL 808 NIL NIL NIL)
    (NIL NIL 809 NIL NIL 810 NIL NIL NIL NIL NIL 811 812 813 814 815 NIL NIL
     NIL 816 817 818 819 820 821 822 823 824 825 NIL 826 827 NIL NIL NIL 828
     829 830 831 832 NIL NIL NIL 833 834 835 836 837 NIL NIL 838 NIL NIL 839
     NIL NIL NIL 840 NIL NIL NIL 841 NIL NIL)
    (NIL NIL NIL 842 NIL NIL 843 NIL NIL NIL NIL NIL 844 845 846 847 NIL NIL
     NIL NIL 848 849 850 851 852 853 854 855 856 857 NIL 858 NIL NIL NIL NIL
     859 860 861 862 NIL NIL NIL NIL 863 864 865 866 NIL NIL NIL 867 NIL NIL
     868 NIL NIL NIL 869 NIL NIL NIL 870 NIL)
    (NIL NIL NIL NIL 871 NIL NIL 872 NIL NIL NIL NIL NIL 873 874 875 NIL NIL
     NIL NIL NIL 876 877 878 879 880 881 882 883 884 885 NIL NIL NIL NIL NIL
     NIL 886 887 888 NIL NIL NIL NIL NIL 889 890 891 NIL NIL NIL NIL 892 NIL
     NIL 893 NIL NIL NIL 894 NIL NIL NIL 895)
    (896 NIL NIL NIL 897 NIL NIL NIL 898 NIL NIL 899 NIL NIL NIL NIL 900 901
     902 NIL NIL NIL NIL NIL 903 904 905 NIL NIL NIL NIL NIL NIL 906 907 908
     909 910 911 912 913 914 915 NIL NIL NIL NIL NIL 916 917 918 NIL NIL NIL
     NIL NIL 919 NIL NIL 920 NIL NIL NIL NIL)
    (NIL 921 NIL NIL NIL 922 NIL NIL NIL 923 NIL NIL 924 NIL NIL NIL 925 926
     927 928 NIL NIL NIL NIL 929 930 931 932 NIL NIL NIL NIL 933 NIL 934 935
     936 937 938 939 940 941 942 943 NIL NIL NIL NIL 944 945 946 947 NIL NIL
     NIL NIL NIL 948 NIL NIL 949 NIL NIL NIL)
    (NIL NIL 950 NIL NIL NIL 951 NIL NIL NIL 952 NIL NIL 953 NIL NIL 954 955
     956 957 958 NIL NIL NIL 959 960 961 962 963 NIL NIL NIL 964 965 NIL 966
     967 968 969 970 971 972 973 974 975 NIL NIL NIL 976 977 978 979 980 NIL
     NIL NIL NIL NIL 981 NIL NIL 982 NIL NIL)
    (NIL NIL NIL 983 NIL NIL NIL 984 985 NIL NIL 986 NIL NIL 987 NIL NIL 988
     989 990 991 992 NIL NIL NIL 993 994 995 996 997 NIL NIL 998 999 1000 NIL
     1001 1002 1003 1004 NIL 1005 1006 1007 1008 1009 NIL NIL NIL 1010 1011
     1012 1013 1014 NIL NIL 1015 NIL NIL 1016 NIL NIL 1017 NIL)
    (1018 NIL NIL NIL 1019 NIL NIL NIL NIL 1020 NIL NIL 1021 NIL NIL 1022 NIL
     NIL 1023 1024 1025 1026 1027 NIL NIL NIL 1028 1029 1030 1031 1032 NIL 1033
     1034 1035 1036 NIL 1037 1038 1039 NIL NIL 1040 1041 1042 1043 1044 NIL NIL
     NIL 1045 1046 1047 1048 1049 NIL NIL 1050 NIL NIL 1051 NIL NIL 1052)
    (NIL 1053 NIL NIL NIL 1054 NIL NIL NIL NIL 1055 NIL NIL 1056 NIL NIL NIL
     NIL NIL 1057 1058 1059 1060 1061 NIL NIL NIL 1062 1063 1064 1065 1066 1067
     1068 1069 1070 1071 NIL 1072 1073 NIL NIL NIL 1074 1075 1076 1077 1078 NIL
     NIL NIL 1079 1080 1081 1082 1083 NIL NIL 1084 NIL NIL 1085 NIL NIL)
    (NIL NIL 1086 NIL NIL NIL 1087 NIL NIL NIL NIL 1088 NIL NIL 1089 NIL NIL
     NIL NIL NIL 1090 1091 1092 1093 NIL NIL NIL NIL 1094 1095 1096 1097 1098
     1099 1100 1101 1102 1103 NIL 1104 NIL NIL NIL NIL 1105 1106 1107 1108 NIL
     NIL NIL NIL 1109 1110 1111 1112 NIL NIL NIL 1113 NIL NIL 1114 NIL)
    (NIL NIL NIL 1115 NIL NIL NIL 1116 NIL NIL NIL NIL 1117 NIL NIL 1118 NIL
     NIL NIL NIL NIL 1119 1120 1121 NIL NIL NIL NIL NIL 1122 1123 1124 1125
     1126 1127 1128 1129 1130 1131 NIL NIL NIL NIL NIL NIL 1132 1133 1134 NIL
     NIL NIL NIL NIL 1135 1136 1137 NIL NIL NIL NIL 1138 NIL NIL 1139)
    (1140 NIL NIL NIL NIL 1141 NIL NIL 1142 NIL NIL NIL 1143 NIL NIL NIL 1144
     NIL NIL 1145 NIL NIL NIL NIL 1146 1147 1148 NIL NIL NIL NIL NIL 1149 1150
     1151 NIL NIL NIL NIL NIL NIL 1152 1153 1154 1155 1156 1157 1158 1159 1160
     1161 NIL NIL NIL NIL NIL 1162 1163 1164 NIL NIL NIL NIL NIL)
    (NIL 1165 NIL NIL NIL NIL 1166 NIL NIL 1167 NIL NIL NIL 1168 NIL NIL NIL
     1169 NIL NIL 1170 NIL NIL NIL 1171 1172 1173 1174 NIL NIL NIL NIL 1175
     1176 1177 1178 NIL NIL NIL NIL 1179 NIL 1180 1181 1182 1183 1184 1185 1186
     1187 1188 1189 NIL NIL NIL NIL 1190 1191 1192 1193 NIL NIL NIL NIL)
    (NIL NIL 1194 NIL NIL NIL NIL 1195 NIL NIL 1196 NIL NIL NIL 1197 NIL NIL
     NIL 1198 NIL NIL 1199 NIL NIL 1200 1201 1202 1203 1204 NIL NIL NIL 1205
     1206 1207 1208 1209 NIL NIL NIL 1210 1211 NIL 1212 1213 1214 1215 1216
     1217 1218 1219 1220 1221 NIL NIL NIL 1222 1223 1224 1225 1226 NIL NIL NIL)
    (NIL NIL NIL 1227 NIL NIL NIL NIL NIL NIL NIL 1228 NIL NIL NIL 1229 1230
     NIL NIL 1231 NIL NIL 1232 NIL NIL 1233 1234 1235 1236 1237 NIL NIL NIL
     1238 1239 1240 1241 1242 NIL NIL 1243 1244 1245 NIL 1246 1247 1248 1249
     NIL 1250 1251 1252 1253 1254 NIL NIL NIL 1255 1256 1257 1258 1259 NIL NIL)
    (NIL NIL NIL NIL 1260 NIL NIL NIL 1261 NIL NIL NIL 1262 NIL NIL NIL NIL
     1263 NIL NIL 1264 NIL NIL 1265 NIL NIL 1266 1267 1268 1269 1270 NIL NIL
     NIL 1271 1272 1273 1274 1275 NIL 1276 1277 1278 1279 NIL 1280 1281 1282
     NIL NIL 1283 1284 1285 1286 1287 NIL NIL NIL 1288 1289 1290 1291 1292 NIL)
    (1293 NIL NIL NIL NIL 1294 NIL NIL NIL 1295 NIL NIL NIL 1296 NIL NIL NIL
     NIL 1297 NIL NIL 1298 NIL NIL NIL NIL NIL 1299 1300 1301 1302 1303 NIL NIL
     NIL 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 NIL 1314 1315 NIL
     NIL NIL 1316 1317 1318 1319 1320 NIL NIL NIL 1321 1322 1323 1324 1325)
    (NIL 1326 NIL NIL NIL NIL 1327 NIL NIL NIL 1328 NIL NIL NIL 1329 NIL NIL
     NIL NIL 1330 NIL NIL 1331 NIL NIL NIL NIL NIL 1332 1333 1334 1335 NIL NIL
     NIL NIL 1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 NIL 1346 NIL NIL
     NIL NIL 1347 1348 1349 1350 NIL NIL NIL NIL 1351 1352 1353 1354)
    (NIL NIL 1355 NIL NIL NIL NIL 1356 NIL NIL NIL 1357 NIL NIL NIL 1358 NIL
     NIL NIL NIL 1359 NIL NIL 1360 NIL NIL NIL NIL NIL 1361 1362 1363 NIL NIL
     NIL NIL NIL 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 NIL NIL NIL
     NIL NIL NIL 1374 1375 1376 NIL NIL NIL NIL NIL 1377 1378 1379)
    (1380 NIL NIL NIL NIL NIL 1381 NIL 1382 NIL NIL NIL NIL 1383 NIL NIL 1384
     NIL NIL NIL 1385 NIL NIL NIL 1386 NIL NIL 1387 NIL NIL NIL NIL 1388 1389
     1390 NIL NIL NIL NIL NIL 1391 1392 1393 NIL NIL NIL NIL NIL NIL 1394 1395
     1396 1397 1398 1399 1400 1401 1402 1403 NIL NIL NIL NIL NIL)
    (NIL 1404 NIL NIL NIL NIL NIL 1405 NIL 1406 NIL NIL NIL NIL 1407 NIL NIL
     1408 NIL NIL NIL 1409 NIL NIL NIL 1410 NIL NIL 1411 NIL NIL NIL 1412 1413
     1414 1415 NIL NIL NIL NIL 1416 1417 1418 1419 NIL NIL NIL NIL 1420 NIL
     1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 NIL NIL NIL NIL)
    (NIL NIL 1431 NIL NIL NIL NIL NIL NIL NIL 1432 NIL NIL NIL NIL 1433 NIL NIL
     1434 NIL NIL NIL 1435 NIL NIL NIL 1436 NIL NIL 1437 NIL NIL 1438 1439 1440
     1441 1442 NIL NIL NIL 1443 1444 1445 1446 1447 NIL NIL NIL 1448 1449 NIL
     1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 NIL NIL NIL)
    (NIL NIL NIL 1460 NIL NIL NIL NIL NIL NIL NIL 1461 NIL NIL NIL NIL NIL NIL
     NIL 1462 NIL NIL NIL 1463 1464 NIL NIL 1465 NIL NIL 1466 NIL NIL 1467 1468
     1469 1470 1471 NIL NIL NIL 1472 1473 1474 1475 1476 NIL NIL 1477 1478 1479
     NIL 1480 1481 1482 1483 NIL 1484 1485 1486 1487 1488 NIL NIL)
    (NIL NIL NIL NIL 1489 NIL NIL NIL NIL NIL NIL NIL 1490 NIL NIL NIL 1491 NIL
     NIL NIL 1492 NIL NIL NIL NIL 1493 NIL NIL 1494 NIL NIL 1495 NIL NIL 1496
     1497 1498 1499 1500 NIL NIL NIL 1501 1502 1503 1504 1505 NIL 1506 1507
     1508 1509 NIL 1510 1511 1512 NIL NIL 1513 1514 1515 1516 1517 NIL)
    (NIL NIL NIL NIL NIL 1518 NIL NIL 1519 NIL NIL NIL NIL 1520 NIL NIL NIL
     1521 NIL NIL NIL 1522 NIL NIL NIL NIL 1523 NIL NIL 1524 NIL NIL NIL NIL
     NIL 1525 1526 1527 1528 1529 NIL NIL NIL 1530 1531 1532 1533 1534 1535
     1536 1537 1538 1539 NIL 1540 1541 NIL NIL NIL 1542 1543 1544 1545 1546)
    (1547 NIL NIL NIL NIL NIL 1548 NIL NIL 1549 NIL NIL NIL NIL 1550 NIL NIL
     NIL 1551 NIL NIL NIL 1552 NIL NIL NIL NIL 1553 NIL NIL 1554 NIL NIL NIL
     NIL NIL 1555 1556 1557 1558 NIL NIL NIL NIL 1559 1560 1561 1562 1563 1564
     1565 1566 1567 1568 NIL 1569 NIL NIL NIL NIL 1570 1571 1572 1573)
    (NIL 1574 NIL NIL NIL NIL NIL 1575 NIL NIL 1576 NIL NIL NIL NIL 1577 NIL
     NIL NIL 1578 NIL NIL NIL 1579 NIL NIL NIL NIL 1580 NIL NIL 1581 NIL NIL
     NIL NIL NIL 1582 1583 1584 NIL NIL NIL NIL NIL 1585 1586 1587 1588 1589
     1590 1591 1592 1593 1594 NIL NIL NIL NIL NIL NIL 1595 1596 1597)
    (1598 NIL NIL NIL NIL NIL NIL 1599 1600 NIL NIL NIL NIL NIL 1601 NIL 1602
     NIL NIL NIL NIL 1603 NIL NIL 1604 NIL NIL NIL 1605 NIL NIL NIL 1606 NIL
     NIL 1607 NIL NIL NIL NIL 1608 1609 1610 NIL NIL NIL NIL NIL 1611 1612 1613
     NIL NIL NIL NIL NIL NIL 1614 1615 1616 1617 1618 1619 1620)
    (NIL 1621 NIL NIL NIL NIL NIL NIL NIL 1622 NIL NIL NIL NIL NIL 1623 NIL
     1624 NIL NIL NIL NIL 1625 NIL NIL 1626 NIL NIL NIL 1627 NIL NIL NIL 1628
     NIL NIL 1629 NIL NIL NIL 1630 1631 1632 1633 NIL NIL NIL NIL 1634 1635
     1636 1637 NIL NIL NIL NIL 1638 NIL 1639 1640 1641 1642 1643 1644)
    (NIL NIL 1645 NIL NIL NIL NIL NIL NIL NIL 1646 NIL NIL NIL NIL NIL NIL NIL
     1647 NIL NIL NIL NIL 1648 NIL NIL 1649 NIL NIL NIL 1650 NIL NIL NIL 1651
     NIL NIL 1652 NIL NIL 1653 1654 1655 1656 1657 NIL NIL NIL 1658 1659 1660
     1661 1662 NIL NIL NIL 1663 1664 NIL 1665 1666 1667 1668 1669)
    (NIL NIL NIL 1670 NIL NIL NIL NIL NIL NIL NIL 1671 NIL NIL NIL NIL NIL NIL
     NIL 1672 NIL NIL NIL NIL NIL NIL NIL 1673 NIL NIL NIL 1674 1675 NIL NIL
     1676 NIL NIL 1677 NIL NIL 1678 1679 1680 1681 1682 NIL NIL NIL 1683 1684
     1685 1686 1687 NIL NIL 1688 1689 1690 NIL 1691 1692 1693 1694)
    (NIL NIL NIL NIL 1695 NIL NIL NIL NIL NIL NIL NIL 1696 NIL NIL NIL NIL NIL
     NIL NIL 1697 NIL NIL NIL 1698 NIL NIL NIL 1699 NIL NIL NIL NIL 1700 NIL
     NIL 1701 NIL NIL 1702 NIL NIL 1703 1704 1705 1706 1707 NIL NIL NIL 1708
     1709 1710 1711 1712 NIL 1713 1714 1715 1716 NIL 1717 1718 1719)
    (NIL NIL NIL NIL NIL 1720 NIL NIL NIL NIL NIL NIL NIL 1721 NIL NIL 1722 NIL
     NIL NIL NIL 1723 NIL NIL NIL 1724 NIL NIL NIL 1725 NIL NIL NIL NIL 1726
     NIL NIL 1727 NIL NIL NIL NIL NIL 1728 1729 1730 1731 1732 NIL NIL NIL 1733
     1734 1735 1736 1737 1738 1739 1740 1741 1742 NIL 1743 1744)
    (NIL NIL NIL NIL NIL NIL 1745 NIL 1746 NIL NIL NIL NIL NIL 1747 NIL NIL
     1748 NIL NIL NIL NIL 1749 NIL NIL NIL 1750 NIL NIL NIL 1751 NIL NIL NIL
     NIL 1752 NIL NIL 1753 NIL NIL NIL NIL NIL 1754 1755 1756 1757 NIL NIL NIL
     NIL 1758 1759 1760 1761 1762 1763 1764 1765 1766 1767 NIL 1768)
    (1769 NIL NIL NIL NIL NIL NIL 1770 NIL 1771 NIL NIL NIL NIL NIL 1772 NIL
     NIL 1773 NIL NIL NIL NIL 1774 NIL NIL NIL 1775 NIL NIL NIL 1776 NIL NIL
     NIL NIL 1777 NIL NIL 1778 NIL NIL NIL NIL NIL 1779 1780 1781 NIL NIL NIL
     NIL NIL 1782 1783 1784 1785 1786 1787 1788 1789 1790 1791 NIL))

[Dann Corbit]

I suggest that chess programmers owe some debt of grattitude to Steven J. Edwards for such things as:
1. PGN standardized
2. EPD standardized
3. FEN standardized
4. Open source tablebase code (predates Nalimov).

IMO-YMMV

I also have enjoyed the SANKIT and OCD from days of old when knights were bold.

I still use the Crafty SAN bolt on stuff for cleaning EPD records on a daily basis (epdpfdr <crappy_input> <clean_output>)