Cast5.cast.s6.list: def of bend-osdev-cast5@0.1.0.0
Import: import bend-osdev-cast5@0.1.0.0/cast5.bend as Cast5
Lines 201-234 of bend-osdev-cast5@0.1.0.0/cast5.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-cast5@0.1.0.0/cast5.bend&start_line=201&end_line=234

import Base

# S6 (RFC 2144, Appendix A)
def cast.s6.list() -> List<&2, U32>:
  [4143615901, 749497569, 1285769319, 3795025788, 2514159847, 23610292, 3974978748, 844452780,
    3214870880, 3751928557, 2213566365, 1676510905, 448177848, 3730751033, 4086298418, 2307502392,
    871450977, 3222878141, 4110862042, 3831651966, 2735270553, 1310974780, 2043402188, 1218528103,
    2736035353, 4274605013, 2702448458, 3936360550, 2693061421, 162023535, 2827510090, 687910808,
    23484817, 3784910947, 3371371616, 779677500, 3503626546, 3473927188, 4157212626, 3500679282,
    4248902014, 2466621104, 3899384794, 1958663117, 925738300, 1283408968, 3669349440, 1840910019,
    137959847, 2679828185, 1239142320, 1315376211, 1547541505, 1690155329, 739140458, 3128809933,
    3933172616, 3876308834, 905091803, 1548541325, 4040461708, 3095483362, 144808038, 451078856,
    676114313, 2861728291, 2469707347, 993665471, 373509091, 2599041286, 4025009006, 4170239449,
    2149739950, 3275793571, 3749616649, 2794760199, 1534877388, 572371878, 2590613551, 1753320020,
    3467782511, 1405125690, 4270405205, 633333386, 3026356924, 3475123903, 632057672, 2846462855,
    1404951397, 3882875879, 3915906424, 195638627, 2385783745, 3902872553, 1233155085, 3355999740,
    2380578713, 2702246304, 2144565621, 3663341248, 3894384975, 2502479241, 4248018925, 3094885567,
    1594115437, 572884632, 3385116731, 767645374, 1331858858, 1475698373, 3793881790, 3532746431,
    1321687957, 619889600, 1121017241, 3440213920, 2070816767, 2833025776, 1933951238, 4095615791,
    890643334, 3874130214, 859025556, 360630002, 925594799, 1764062180, 3920222280, 4078305929,
    979562269, 2810700344, 4087740022, 1949714515, 546639971, 1165388173, 3069891591, 1495988560,
    922170659, 1291546247, 2107952832, 1813327274, 3406010024, 3306028637, 4241950635, 153207855,
    2313154747, 1608695416, 1150242611, 1967526857, 721801357, 1220138373, 3691287617, 3356069787,
    2112743302, 3281662835, 1111556101, 1778980689, 250857638, 2298507990, 673216130, 2846488510,
    3207751581, 3562756981, 3008625920, 3417367384, 2198807050, 529510932, 3547516680, 3426503187,
    2364944742, 102533054, 2294910856, 1617093527, 1204784762, 3066581635, 1019391227, 1069574518,
    1317995090, 1691889997, 3661132003, 510022745, 3238594800, 1362108837, 1817929911, 2184153760,
    805817662, 1953603311, 3699844737, 120799444, 2118332377, 207536705, 2282301548, 4120041617,
    145305846, 2508124933, 3086745533, 3261524335, 1877257368, 2977164480, 3160454186, 2503252186,
    4221677074, 759945014, 254147243, 2767453419, 3801518371, 629083197, 2471014217, 907280572,
    3900796746, 940896768, 2751021123, 2625262786, 3161476951, 3661752313, 3260732218, 1425318020,
    2977912069, 1496677566, 3988592072, 2140652971, 3126511541, 3069632175, 977771578, 1392695845,
    1698528874, 1411812681, 1369733098, 1343739227, 3620887944, 1142123638, 67414216, 3102056737,
    3088749194, 1626167401, 2546293654, 3941374235, 697522451, 33404913, 143560186, 2595682037,
    994885535, 1247667115, 3859094837, 2699155541, 3547024625, 4114935275, 2968073508, 3199963069,
    2732024527, 1237921620, 951448369, 1898488916, 1211705605, 2790989240, 2233243581, 3598044975]

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32