Cast5.cast.s8.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 271-304 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=271&end_line=304

import Base

# S8 (RFC 2144, Appendix A)
def cast.s8.list() -> List<&2, U32>:
  [3793104909, 3151888380, 2817252029, 895778965, 2005530807, 3871412763, 237245952, 86829237,
    296341424, 3851759377, 3974600970, 2475086196, 709006108, 1994621201, 2972577594, 937287164,
    3734691505, 168608556, 3189338153, 2225080640, 3139713551, 3033610191, 3025041904, 77524477,
    185966941, 1208824168, 2344345178, 1721625922, 3354191921, 1066374631, 1927223579, 1971335949,
    2483503697, 1551748602, 2881383779, 2856329572, 3003241482, 48746954, 1398218158, 2050065058,
    313056748, 4255789917, 393167848, 1912293076, 940740642, 3465845460, 3091687853, 2522601570,
    2197016661, 1727764327, 364383054, 492521376, 1291706479, 3264136376, 1474851438, 1685747964,
    2575719748, 1619776915, 1814040067, 970743798, 1561002147, 2925768690, 2123093554, 1880132620,
    3151188041, 697884420, 2550985770, 2607674513, 2659114323, 110200136, 1489731079, 997519150,
    1378877361, 3527870668, 478029773, 2766872923, 1022481122, 431258168, 1112503832, 897933369,
    2635587303, 669726182, 3383752315, 918222264, 163866573, 3246985393, 3776823163, 114105080,
    1903216136, 761148244, 3571337562, 1690750982, 3166750252, 1037045171, 1888456500, 2010454850,
    642736655, 616092351, 365016990, 1185228132, 4174898510, 1043824992, 2023083429, 2241598885,
    3863320456, 3279669087, 3674716684, 108438443, 2132974366, 830746235, 606445527, 4173263986,
    2204105912, 1844756978, 2532684181, 4245352700, 2969441100, 3796921661, 1335562986, 4061524517,
    2720232303, 2679424040, 634407289, 885462008, 3294724487, 3933892248, 2094100220, 339117932,
    4048830727, 3202280980, 1458155303, 2689246273, 1022871705, 2464987878, 3714515309, 353796843,
    2822958815, 4256850100, 4052777845, 551748367, 618185374, 3778635579, 4020649912, 1904685140,
    3069366075, 2670879810, 3407193292, 2954511620, 4058283405, 2219449317, 3135758300, 1120655984,
    3447565834, 1474845562, 3577699062, 550456716, 3466908712, 2043752612, 881257467, 869518812,
    2005220179, 938474677, 3305539448, 3850417126, 1315485940, 3318264702, 226533026, 965733244,
    321539988, 1136104718, 804158748, 573969341, 3708209826, 937399083, 3290727049, 2901666755,
    1461057207, 4013193437, 4066861423, 3242773476, 2421326174, 1581322155, 3028952165, 786071460,
    3900391652, 3918438532, 1485433313, 4023619836, 3708277595, 3678951060, 953673138, 1467089153,
    1930354364, 1533292819, 2492563023, 1346121658, 1685000834, 1965281866, 3765933717, 4190206607,
    2052792609, 3515332758, 690371149, 3125873887, 2180283551, 2903598061, 3933952357, 436236910,
    289419410, 14314871, 1242357089, 2904507907, 1616633776, 2666382180, 585885352, 3471299210,
    2699507360, 1432659641, 277164553, 3354103607, 770115018, 2303809295, 3741942315, 3177781868,
    2853364978, 2269453327, 3774259834, 987383833, 1290892879, 225909803, 1741533526, 890078084,
    1496906255, 1111072499, 916028167, 243534141, 1252605537, 2204162171, 531204876, 290011180,
    3916834213, 102027703, 237315147, 209093447, 1486785922, 220223953, 2758195998, 4175039106,
    82940208, 3127791296, 2569425252, 518464269, 1353887104, 3941492737, 2377294467, 3935040926]

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