Cast5.cast.s4.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 131-164 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=131&end_line=164

import Base

# S4 (RFC 2144, Appendix A)
def cast.s4.list() -> List<&2, U32>:
  [2645754912, 532081118, 2814278639, 3530793624, 1246723035, 1689095255, 2236679235, 4194438865,
    2116582143, 3859789411, 157234593, 2045505824, 4245003587, 1687664561, 4083425123, 605965023,
    672431967, 1336064205, 3376611392, 214114848, 4258466608, 3232053071, 489488601, 605322005,
    3998028058, 264917351, 1912574028, 756637694, 436560991, 202637054, 135989450, 85393697,
    2152923392, 3896401662, 2895836408, 2145855233, 3535335007, 115294817, 3147733898, 1922296357,
    3464822751, 4117858305, 1037454084, 2725193275, 2127856640, 1417604070, 1148013728, 1827919605,
    642362335, 2929772533, 909348033, 1346338451, 3547799649, 297154785, 1917849091, 4161712827,
    2883604526, 3968694238, 1469521537, 3780077382, 3375584256, 1763717519, 136166297, 4290970789,
    1295325189, 2134727907, 2798151366, 1566297257, 3672928234, 2677174161, 2672173615, 965822077,
    2780786062, 289653839, 1133871874, 3491843819, 35685304, 1068898316, 418943774, 672553190,
    642281022, 2346158704, 1954014401, 3037126780, 4079815205, 2030668546, 3840588673, 672283427,
    1776201016, 359975446, 3750173538, 555499703, 2769985273, 1324923, 69110472, 152125443,
    3176785106, 3822147285, 1340634837, 798073664, 1434183902, 15393959, 216384236, 1303690150,
    3881221631, 3711134124, 3960975413, 106373927, 2578434224, 1455997841, 1801814300, 1578393881,
    1854262133, 3188178946, 3258078583, 2302670060, 1539295533, 3505142565, 3078625975, 2372746020,
    549938159, 3278284284, 2620926080, 181285381, 2865321098, 3970029511, 68876850, 488006234,
    1728155692, 2608167508, 836007927, 2435231793, 919367643, 3339422534, 3655756360, 1457871481,
    40520939, 1380155135, 797931188, 234455205, 2255801827, 3990488299, 397000196, 739833055,
    3077865373, 2871719860, 4022553888, 772369276, 390177364, 3853951029, 557662966, 740064294,
    1640166671, 1699928825, 3535942136, 622006121, 3625353122, 68743880, 1742502, 219489963,
    1664179233, 1577743084, 1236991741, 410585305, 2366487942, 823226535, 1050371084, 3426619607,
    3586839478, 212779912, 4147118561, 1819446015, 1911218849, 530248558, 3486241071, 3252585495,
    2886188651, 3410272728, 2342195030, 20547779, 2982490058, 3032363469, 3631753222, 312714466,
    1870521650, 1493008054, 3491686656, 615382978, 4103671749, 2534517445, 1932181, 2196105170,
    278426614, 6369430, 3274544417, 2913018367, 697336853, 2143000447, 2946413531, 701099306,
    1558357093, 2805003052, 3500818408, 2321334417, 3567135975, 216290473, 3591032198, 23009561,
    1996984579, 3735042806, 2024298078, 3739440863, 569400510, 2339758983, 3016033873, 3097871343,
    3639523026, 3844324983, 3256173865, 795471839, 2951117563, 4101031090, 4091603803, 3603732598,
    971261452, 534414648, 428311343, 3389027175, 2844869880, 694888862, 1227866773, 2456207019,
    3043454569, 2614353370, 3749578031, 3676663836, 459166190, 4132644070, 1794958188, 51825668,
    2252611902, 3084671440, 2036672799, 3436641603, 1099053433, 2469121526, 3059204941, 1323291266,
    2061838604, 1018778475, 2233344254, 2553501054, 334295216, 3556750194, 1065731521, 183467730]

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