Cast5.cast.s7.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 236-269 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=236&end_line=269

import Base

# S7 (RFC 2144, Appendix A)
def cast.s7.list() -> List<&2, U32>:
  [2246066201, 858518887, 1714274303, 3485882003, 713916271, 2879113490, 3730835617, 539548191,
    36158695, 1298409750, 419087104, 1358007170, 749914897, 2989680476, 1261868530, 2995193822,
    2690628854, 3443622377, 3780124940, 3796824509, 2976433025, 4259637129, 1551479000, 512490819,
    1296650241, 951993153, 2436689437, 2460458047, 144139966, 3136204276, 310820559, 3068840729,
    643875328, 1969602020, 1680088954, 2185813161, 3283332454, 672358534, 198762408, 896343282,
    276269502, 3014846926, 84060815, 197145886, 376173866, 3943890818, 3813173521, 3545068822,
    1316698879, 1598252827, 2633424951, 1233235075, 859989710, 2358460855, 3503838400, 3409603720,
    1203513385, 1193654839, 2792018475, 2060853022, 207403770, 1144516871, 3068631394, 1121114134,
    177607304, 3785736302, 326409831, 1929119770, 2983279095, 4183308101, 3474579288, 3200513878,
    3228482096, 119610148, 1170376745, 3378393471, 3163473169, 951863017, 3337026068, 3135789130,
    2907618374, 1183797387, 2015970143, 4045674555, 2182986399, 2952138740, 3928772205, 384012900,
    2454997643, 10178499, 2879818989, 2596892536, 111523738, 2995089006, 451689641, 3196290696,
    235406569, 1441906262, 3890558523, 3013735005, 4158569349, 1644036924, 376726067, 1006849064,
    3664579700, 2041234796, 1021632941, 1374734338, 2566452058, 371631263, 4007144233, 490221539,
    206551450, 3140638584, 1053219195, 1853335209, 3412429660, 3562156231, 735133835, 1623211703,
    3104214392, 2738312436, 4096837757, 3366392578, 3110964274, 3956598718, 3196820781, 2038037254,
    3877786376, 2339753847, 300912036, 3766732888, 2372630639, 1516443558, 4200396704, 1574567987,
    4069441456, 4122592016, 2699739776, 146372218, 2748961456, 2043888151, 35287437, 2596680554,
    655490400, 1132482787, 110692520, 1031794116, 2188192751, 1324057718, 1217253157, 919197030,
    686247489, 3261139658, 1028237775, 3135486431, 3059715558, 2460921700, 986174950, 2661811465,
    4062904701, 2752986992, 3709736643, 367056889, 1353824391, 731860949, 1650113154, 1778481506,
    784341916, 357075625, 3608602432, 1074092588, 2480052770, 3811426202, 92751289, 877911070,
    3600361838, 1231880047, 480201094, 3756190983, 3094495953, 434011822, 87971354, 363687820,
    1717726236, 1901380172, 3926403882, 2481662265, 400339184, 1490350766, 2661455099, 1389319756,
    2558787174, 784598401, 1983468483, 30828846, 3550527752, 2716276238, 3841122214, 1765724805,
    1955612312, 1277890269, 1333098070, 1564029816, 2704417615, 1026694237, 3287671188, 1260819201,
    3349086767, 1016692350, 1582273796, 1073413053, 1995943182, 694588404, 1025494639, 3323872702,
    3551898420, 4146854327, 453260480, 1316140391, 1435673405, 3038941953, 3486689407, 1622062951,
    403978347, 817677117, 950059133, 4246079218, 3278066075, 1486738320, 1417279718, 481875527,
    2549965225, 3933690356, 760697757, 1452955855, 3897451437, 1177426808, 1702951038, 4085348628,
    2447005172, 1084371187, 3516436277, 3068336338, 1073369276, 1027665953, 3284188590, 1230553676,
    1368340146, 2226246512, 267243139, 2274220762, 4070734279, 2497715176, 2423353163, 2504755875]

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