Cast5.cast.s5.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 166-199 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=166&end_line=199

import Base

# S5 (RFC 2144, Appendix A)
def cast.s5.list() -> List<&2, U32>:
  [2127105028, 745436345, 2601412319, 2788391185, 3093987327, 500390133, 1155374404, 389092991,
    150729210, 3891597772, 3523549952, 1935325696, 716645080, 946045387, 2901812282, 1774124410,
    3869435775, 4039581901, 3293136918, 3438657920, 948246080, 363898952, 3867875531, 1286266623,
    1598556673, 68334250, 630723836, 1104211938, 1312863373, 613332731, 2377784574, 1101634306,
    441780740, 3129959883, 1917973735, 2510624549, 3238456535, 2544211978, 3308894634, 1299840618,
    4076074851, 1756332096, 3977027158, 297047435, 3790297736, 2265573040, 3621810518, 1311375015,
    1667687725, 47300608, 3299642885, 2474112369, 201668394, 1468347890, 576830978, 3594690761,
    3742605952, 1958042578, 1747032512, 3558991340, 1408974056, 3366841779, 682131401, 1033214337,
    1545599232, 4265137049, 206503691, 103024618, 2855227313, 1337551222, 2428998917, 2963842932,
    4015366655, 3852247746, 2796956967, 3865723491, 3747938335, 247794022, 3755824572, 702416469,
    2434691994, 397379957, 851939612, 2314769512, 218229120, 1380406772, 62274761, 214451378,
    3170103466, 2276210409, 3845813286, 28563499, 446592073, 1693330814, 3453727194, 29968656,
    3093872512, 220656637, 2470637031, 77972100, 1667708854, 1358280214, 4064765667, 2395616961,
    325977563, 4277240721, 4220025399, 3605526484, 3355147721, 811859167, 3069544926, 3962126810,
    652502677, 3075892249, 4132761541, 3498924215, 1217549313, 3250244479, 3858715919, 3053989961,
    1538642152, 2279026266, 2875879137, 574252750, 3324769229, 2651358713, 1758150215, 141295887,
    2719868960, 3515574750, 4093007735, 4194485238, 1082055363, 3417560400, 395511885, 2966884026,
    179534037, 3646028556, 3738688086, 1092926436, 2496269142, 257381841, 3772900718, 1636087230,
    1477059743, 2499234752, 3811018894, 2675660129, 3285975680, 90732309, 1684827095, 1150307763,
    1723134115, 3237045386, 1769919919, 1240018934, 815675215, 750138730, 2239792499, 1234303040,
    1995484674, 138143821, 675421338, 1145607174, 1936608440, 3238603024, 2345230278, 2105974004,
    323969391, 779555213, 3004902369, 2861610098, 1017501463, 2098600890, 2628620304, 2940611490,
    2682542546, 1171473753, 3656571411, 3687208071, 4091869518, 393037935, 159126506, 1662887367,
    1147106178, 391545844, 3452332695, 1891500680, 3016609650, 1851642611, 546529401, 1167818917,
    3194020571, 2848076033, 3953471836, 575554290, 475796850, 4134673196, 450035699, 2351251534,
    844027695, 1080539133, 86184846, 1554234488, 3692025454, 1972511363, 2018339607, 1491841390,
    1141460869, 1061690759, 4244549243, 2008416118, 2351104703, 2868147542, 1598468138, 722020353,
    1027143159, 212344630, 1387219594, 1725294528, 3745187956, 2500153616, 458938280, 4129215917,
    1828119673, 544571780, 3503225445, 2297937496, 1241802790, 267843827, 2694610800, 1397140384,
    1558801448, 3782667683, 1806446719, 929573330, 2234912681, 400817706, 616011623, 4121520928,
    3603768725, 1761550015, 1968522284, 4053731006, 4192232858, 4005120285, 872482584, 3140537016,
    3894607381, 2287405443, 1963876937, 3663887957, 1584857000, 2975024454, 1833426440, 4025083860]

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