Cast5.cast.s3.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 96-129 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=96&end_line=129

import Base

# S3 (RFC 2144, Appendix A)
def cast.s3.list() -> List<&2, U32>:
  [2381300288, 637164959, 3952098751, 3893414151, 1197506559, 916448331, 2350892612, 2932787856,
    3199334847, 4009478890, 3905886544, 1373570990, 2450425862, 4037870920, 3778841987, 2456817877,
    286293407, 124026297, 3001279700, 1028597854, 3115296800, 4208886496, 2691114635, 2188540206,
    1430237888, 1218109995, 3572471700, 308166588, 570424558, 2187009021, 2455094765, 307733056,
    1310360322, 3135275007, 1384269543, 2388071438, 863238079, 2359263624, 2801553128, 3380786597,
    2831162807, 1470087780, 1728663345, 4072488799, 1090516929, 532123132, 2389430977, 1132193179,
    2578464191, 3051079243, 1670234342, 1434557849, 2711078940, 1241591150, 3314043432, 3435360113,
    3091448339, 1812415473, 2198440252, 267246943, 796911696, 3619716990, 38830015, 1526438404,
    2806502096, 374413614, 2943401790, 1489179520, 1603809326, 1920779204, 168801282, 260042626,
    2358705581, 1563175598, 2397674057, 1356499128, 2217211040, 514611088, 2037363785, 2186468373,
    4022173083, 2792511869, 2913485016, 1173701892, 4200428547, 3896427269, 1334932762, 2455136706,
    602925377, 2835607854, 1613172210, 41346230, 2499634548, 2457437618, 2188827595, 41386358,
    4172255629, 1313404830, 2405527007, 3801973774, 2217704835, 873260488, 2528884354, 2478092616,
    4012915883, 2555359016, 2006953883, 2463913485, 575479328, 2218240648, 2099895446, 660001756,
    2341502190, 3038761536, 3888151779, 3848713377, 3286851934, 1022894237, 1620365795, 3449594689,
    1551255054, 15374395, 3570825345, 4249311020, 4151111129, 3181912732, 310226346, 1133119310,
    530038928, 136043402, 2476768958, 3107506709, 2544909567, 1036173560, 2367337196, 1681395281,
    1758231547, 3641649032, 306774401, 1575354324, 3716085866, 1990386196, 3114533736, 2455606671,
    1262092282, 3124342505, 2768229131, 4210529083, 1833535011, 423410938, 660763973, 2187129978,
    1639812000, 3508421329, 3467445492, 310289298, 272797111, 2188552562, 2456863912, 310240523,
    677093832, 1013118031, 901835429, 3892695601, 1116285435, 3036471170, 1337354835, 243122523,
    520626091, 277223598, 4244441197, 4194248841, 1766575121, 594173102, 316590669, 742362309,
    3536858622, 4176435350, 3838792410, 2501204839, 1229605004, 3115755532, 1552908988, 2312334149,
    979407927, 3959474601, 1148277331, 176638793, 3614686272, 2083809052, 40992502, 1340822838,
    2731552767, 3535757508, 3560899520, 1354035053, 122129617, 7215240, 2732932949, 3118912700,
    2718203926, 2539075635, 3609230695, 3725561661, 1928887091, 2882293555, 1988674909, 2063640240,
    2491088897, 1459647954, 4189817080, 2302804382, 1113892351, 2237858528, 1927010603, 4002880361,
    1856122846, 1594404395, 2944033133, 3855189863, 3474975698, 1643104450, 4054590833, 3431086530,
    1730235576, 2984608721, 3084664418, 2131803598, 4178205752, 267404349, 1617849798, 1616132681,
    1462223176, 736725533, 2327058232, 551665188, 2945899023, 1749386277, 2575514597, 1611482493,
    674206544, 2201269090, 3642560800, 728599968, 1680547377, 2620414464, 1388111496, 453204106,
    4156223445, 1094905244, 2754698257, 2201108165, 3757000246, 2704524545, 3922940700, 3996465027]

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