Cast5.cast.s2.list: def of bend-osdev-legacy-ciphers@0.1.0.0
Import: import bend-osdev-legacy-ciphers@0.1.0.0/cast5.bend as Cast5
Lines 61-94 of bend-osdev-legacy-ciphers@0.1.0.0/cast5.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/cast5.bend&start_line=61&end_line=94

import Base

# S2 (RFC 2144, Appendix A)
def cast.s2.list() -> List<&2, U32>:
  [522195092, 4010518363, 1776537470, 960447360, 4267822970, 4005896314, 1435016340, 1929119313,
    2913464185, 1310552629, 3579470798, 3724818106, 2579771631, 1594623892, 417127293, 2715217907,
    2696228731, 1508390405, 3994398868, 3925858569, 3695444102, 4019471449, 3129199795, 3770928635,
    3520741761, 990456497, 4187484609, 2783367035, 21106139, 3840405339, 631373633, 3783325702,
    532942976, 396095098, 3548038825, 4267192484, 2564721535, 2011709262, 2039648873, 620404603,
    3776170075, 2898526339, 3612357925, 4159332703, 1645490516, 223693667, 1567101217, 3362177881,
    1029951347, 3470931136, 3570957959, 1550265121, 119497089, 972513919, 907948164, 3840628539,
    1613718692, 3594177948, 465323573, 2659255085, 654439692, 2575596212, 2699288441, 3127702412,
    277098644, 624404830, 4100943870, 2717858591, 546110314, 2403699828, 3655377447, 1321679412,
    4236791657, 1045293279, 4010672264, 895050893, 2319792268, 494945126, 1914543101, 2777056443,
    3894764339, 2219737618, 311263384, 4275257268, 3458730721, 669096869, 3584475730, 3835122877,
    3319158237, 3949359204, 2005142349, 2713102337, 2228954793, 3769984788, 569394103, 3855636576,
    1425027204, 108000370, 2736431443, 3671869269, 3043122623, 1750473702, 2211081108, 762237499,
    3972989403, 2798899386, 3061857628, 2943854345, 867476300, 964413654, 1591880597, 1594774276,
    2179821409, 552026980, 3026064248, 3726140315, 2283577634, 3110545105, 2152310760, 582474363,
    1582640421, 1383256631, 2043843868, 3322775884, 1217180674, 463797851, 2763038571, 480777679,
    2718707717, 2289164131, 3118346187, 214354409, 200212307, 3810608407, 3025414197, 2674075964,
    3997296425, 1847405948, 1342460550, 510035443, 4080271814, 815934613, 833030224, 1620250387,
    1945732119, 2703661145, 3966000196, 1388869545, 3456054182, 2687178561, 2092620194, 562037615,
    1356438536, 3409922145, 3261847397, 1688467115, 2150901366, 631725691, 3840332284, 549916902,
    3455104640, 394546491, 837744717, 2114462948, 751520235, 2221554606, 2415360136, 3999097078,
    2063029875, 803036379, 2702586305, 821456707, 3019566164, 360699898, 4018502092, 3511869016,
    3677355358, 2402471449, 812317050, 49299192, 2570164949, 3259169295, 2816732080, 3331213574,
    3101303564, 2156015656, 3705598920, 3546263921, 143268808, 3200304480, 1638124008, 3165189453,
    3341807610, 578956953, 2193977524, 3638120073, 2333881532, 807278310, 658237817, 2969561766,
    1641658566, 11683945, 3086995007, 148645947, 1138423386, 4158756760, 1981396783, 2401016740,
    3699783584, 380097457, 2680394679, 2803068651, 3334260286, 441530178, 4016580796, 1375954390,
    761952171, 891809099, 2183123478, 157052462, 3683840763, 1592404427, 341349109, 2438483839,
    1417898363, 644327628, 2233032776, 2353769706, 2201510100, 220455161, 1815641738, 182899273,
    2995019788, 3627381533, 3702638151, 2890684138, 1052606899, 588164016, 1681439879, 4038439418,
    2405343923, 4229449282, 167996282, 1336969661, 1688053129, 2739224926, 1543734051, 1046297529,
    1138201970, 2121126012, 115334942, 1819067631, 1902159161, 1941945968, 2206692869, 1159982321]

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