Streebog.hs.stb.t1.list: def of bend-osdev-hashes@0.1.0.0
Import: import bend-osdev-hashes@0.1.0.0/streebog.bend as Streebog
Lines 187-252 of bend-osdev-hashes@0.1.0.0/streebog.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-hashes@0.1.0.0/streebog.bend&start_line=187&end_line=252

import Base
import bend-osdev-hashes@0.1.0.0/hashes.bend as Hs

# T_1[b] = l(Pi(b) << 8): each entry's low and high 32 bits
def hs.stb.t1.list() -> List<&2, Hs.HsW2>:
  [Hs.HsW2{94900680, 3730128780}, Hs.HsW2{833942885, 419870102}, Hs.HsW2{2979418103, 1131311318}, Hs.HsW2{2334039429, 919815115},
    Hs.HsW2{2240457562, 2218654412}, Hs.HsW2{2579482617, 4261189058}, Hs.HsW2{2715099042, 258165726}, Hs.HsW2{1995420621, 1833274171},
    Hs.HsW2{4166598528, 2244212604}, Hs.HsW2{3195239602, 1016148319}, Hs.HsW2{1722606488, 558411827}, Hs.HsW2{1281843647, 418953254},
    Hs.HsW2{2513042191, 3358638532}, Hs.HsW2{545693866, 2551870992}, Hs.HsW2{1123243872, 2853568801}, Hs.HsW2{209075446, 902583302},
    Hs.HsW2{3427130157, 1116765542}, Hs.HsW2{2522543292, 2181289035}, Hs.HsW2{3282102376, 1030700271}, Hs.HsW2{3532832167, 3161718633},
    Hs.HsW2{48368169, 2267213057}, Hs.HsW2{3442794167, 2407630312}, Hs.HsW2{2817393113, 2600821213}, Hs.HsW2{841480918, 1396023321},
    Hs.HsW2{3894046677, 3385773172}, Hs.HsW2{1545875946, 1425376046}, Hs.HsW2{1565865072, 2581887904}, Hs.HsW2{2899453646, 4156483414},
    Hs.HsW2{1461196541, 944637349}, Hs.HsW2{2759659114, 3510006866}, Hs.HsW2{946526299, 4070563356}, Hs.HsW2{1651898314, 839677745},
    Hs.HsW2{3652098736, 3502799330}, Hs.HsW2{2433806173, 3681814214}, Hs.HsW2{2722500625, 1162894929}, Hs.HsW2{3832304419, 4228028530},
    Hs.HsW2{4156296389, 4198282997}, Hs.HsW2{2271781235, 52369357}, Hs.HsW2{2940283261, 3180196569}, Hs.HsW2{3023986239, 2637909850},
    Hs.HsW2{922676868, 1081173787}, Hs.HsW2{3554916413, 1902249959}, Hs.HsW2{4180163098, 1221726194}, Hs.HsW2{1971108990, 662085300},
    Hs.HsW2{2482169204, 1549200327}, Hs.HsW2{2666912792, 2760591183}, Hs.HsW2{1341419020, 1389079977}, Hs.HsW2{763468230, 1623710360},
    Hs.HsW2{3691416440, 245188206}, Hs.HsW2{3942147580, 1324097909}, Hs.HsW2{569877808, 1426820766}, Hs.HsW2{1698688043, 1803265468},
    Hs.HsW2{1766445277, 1589113274}, Hs.HsW2{3679228057, 1474991331}, Hs.HsW2{3506549268, 4131449574}, Hs.HsW2{2193666235, 3712624705},
    Hs.HsW2{1661268560, 4280127423}, Hs.HsW2{1006229480, 3098332051}, Hs.HsW2{2394328141, 3901127751}, Hs.HsW2{958127553, 1066280594},
    Hs.HsW2{312564348, 3408909833}, Hs.HsW2{2878881071, 2932422107}, Hs.HsW2{1449726823, 4116708651}, Hs.HsW2{1826734357, 2162347574},
    Hs.HsW2{3987897885, 396096504}, Hs.HsW2{2111018202, 33426864}, Hs.HsW2{3972234119, 3666479990}, Hs.HsW2{3751118027, 1152275425},
    Hs.HsW2{1934074373, 3004216503}, Hs.HsW2{2021360914, 3752538684}, Hs.HsW2{3497047950, 995168872}, Hs.HsW2{3107546963, 1709630418},
    Hs.HsW2{3797372248, 1751429745}, Hs.HsW2{2412218839, 630686921}, Hs.HsW2{4206572969, 48306813}, Hs.HsW2{2738296203, 2286003935},
    Hs.HsW2{2606616016, 2061400259}, Hs.HsW2{2586626122, 3083829325}, Hs.HsW2{461338434, 548846979}, Hs.HsW2{982045298, 1975333661},
    Hs.HsW2{1261271646, 1099917995}, Hs.HsW2{1806424820, 3650428091}, Hs.HsW2{3892272272, 3056700925}, Hs.HsW2{577022595, 523803409},
    Hs.HsW2{2231086784, 1227620930}, Hs.HsW2{3322476960, 3812229987}, Hs.HsW2{145696932, 646484740}, Hs.HsW2{874308781, 3344140826},
    Hs.HsW2{3995169198, 1571350135}, Hs.HsW2{1247576004, 2359202341}, Hs.HsW2{2867411125, 1675152725}, Hs.HsW2{2843358982, 703322330},
    Hs.HsW2{2078837409, 2509776819}, Hs.HsW2{1792728942, 344253493}, Hs.HsW2{429751659, 2811515010}, Hs.HsW2{1442454740, 3211585700},
    Hs.HsW2{3387804389, 2630173418}, Hs.HsW2{473263267, 2042720014}, Hs.HsW2{3739517265, 2311039855}, Hs.HsW2{818278655, 3558296856},
    Hs.HsW2{367739293, 2455241860}, Hs.HsW2{1347554588, 1631180584}, Hs.HsW2{418150641, 1787144204}, Hs.HsW2{24184218, 3440507022},
    Hs.HsW2{2091028800, 3438277950}, Hs.HsW2{588623641, 3525927839}, Hs.HsW2{4015027252, 2428051193}, Hs.HsW2{122297313, 1501024909},
    Hs.HsW2{3843905209, 823353596}, Hs.HsW2{1511993233, 3230902573}, Hs.HsW2{3067892758, 437887579}, Hs.HsW2{165555518, 3952700298},
    Hs.HsW2{517432970, 4276322831}, Hs.HsW2{3081589132, 3607648981}, Hs.HsW2{266679109, 2147434889}, Hs.HsW2{1742595586, 3965274301},
    Hs.HsW2{3131730144, 802551389}, Hs.HsW2{3810937026, 2775927551}, Hs.HsW2{218577260, 4175277192}, Hs.HsW2{2354349668, 1873056070},
    Hs.HsW2{649969361, 209476627}, Hs.HsW2{59969459, 1244861839}, Hs.HsW2{2676283778, 1771749313}, Hs.HsW2{2819306140, 3841597524},
    Hs.HsW2{1132614394, 1728575919}, Hs.HsW2{3486962846, 144926953}, Hs.HsW2{1492985272, 1202799660}, Hs.HsW2{3163649691, 3149126750},
    Hs.HsW2{2422336199, 375782984}, Hs.HsW2{530998032, 871529089}, Hs.HsW2{1748555079, 2477132084}, Hs.HsW2{2563687011, 820866380},
    Hs.HsW2{3638533930, 500793708}, Hs.HsW2{104537723, 2489723395}, Hs.HsW2{3951648870, 2214451707}, Hs.HsW2{3868088586, 2065724787},
    Hs.HsW2{345654279, 1598684170}, Hs.HsW2{1906681900, 875714998}, Hs.HsW2{2322569247, 4223843141}, Hs.HsW2{2695109176, 3262296912},
    Hs.HsW2{2913149780, 984555480}, Hs.HsW2{188491543, 1824229003}, Hs.HsW2{2368046078, 2729798088}, Hs.HsW2{3204610344, 4051749329},
    Hs.HsW2{3595282933, 2939631723}, Hs.HsW2{2030731400, 314231474}, Hs.HsW2{272846933, 1275935496}, Hs.HsW2{244594399, 3001989383},
    Hs.HsW2{3467104516, 3316813927}, Hs.HsW2{4279444577, 3702793713}, Hs.HsW2{2536239398, 1326591173}, Hs.HsW2{1361250438, 2888314790},
    Hs.HsW2{795055087, 3890558873}, Hs.HsW2{1387267893, 3860544041}, Hs.HsW2{2922392807, 1889274455}, Hs.HsW2{1096833235, 3760526510},
    Hs.HsW2{3010741726, 3293355479}, Hs.HsW2{2149759634, 1516815680}, Hs.HsW2{2769030128, 472354012}, Hs.HsW2{4052161214, 1851432182},
    Hs.HsW2{2133958387, 2262622385}, Hs.HsW2{1074879817, 758443040}, Hs.HsW2{2118163305, 1271732287}, Hs.HsW2{3567887324, 672519530},
    Hs.HsW2{4061404429, 610896249}, Hs.HsW2{0, 0}, Hs.HsW2{1605844569, 516331169}, Hs.HsW2{376983086, 3630895371},
    Hs.HsW2{2967947885, 2390722648}, Hs.HsW2{332423142, 104738439}, Hs.HsW2{3151719802, 3804499667}, Hs.HsW2{2315032492, 2985406154},
    Hs.HsW2{1018416137, 3789232414}, Hs.HsW2{3303732105, 1679355490}, Hs.HsW2{1238331511, 3333261226}, Hs.HsW2{3397305686, 3606468453},
    Hs.HsW2{3661468931, 2600168557}, Hs.HsW2{2290979382, 2095076932}, Hs.HsW2{932178718, 2371919765}, Hs.HsW2{2618807857, 598321742},
    Hs.HsW2{3610946671, 1646706917}, Hs.HsW2{2795439171, 1444190547}, Hs.HsW2{2640761771, 4005057216}, Hs.HsW2{1405158063, 722125479},
    Hs.HsW2{1845742396, 130032439}, Hs.HsW2{1036175763, 751493520}, Hs.HsW2{1590049731, 3554111023}, Hs.HsW2{861339468, 2653182103},
    Hs.HsW2{1682893233, 2791988530}, Hs.HsW2{896393527, 172126868}, Hs.HsW2{1642526841, 2017419966}, Hs.HsW2{81335378, 323274498},
    Hs.HsW2{4260441672, 1536608496}, Hs.HsW2{3315332627, 2835945196}, Hs.HsW2{673810446, 3197297940}, Hs.HsW2{1418402126, 1920798762},
    Hs.HsW2{3406807244, 468168683}, Hs.HsW2{1153976603, 1047538466}, Hs.HsW2{1293313061, 3588833448}, Hs.HsW2{1045546528, 1727656991},
    Hs.HsW2{1059111866, 2884111505}, Hs.HsW2{3268537842, 4034839649}, Hs.HsW2{1169771649, 4083274668}, Hs.HsW2{2495151765, 86063434},
    Hs.HsW2{753966172, 2916491798}, Hs.HsW2{4083488919, 3916984823}, Hs.HsW2{733644733, 4104253595}, Hs.HsW2{2986688580, 157115737},
    Hs.HsW2{1220441581, 196902692}, Hs.HsW2{772970101, 720686871}, Hs.HsW2{386485172, 360376709}, Hs.HsW2{1317366678, 2681885991},
    Hs.HsW2{2458116334, 2437354313}, Hs.HsW2{1177174834, 3109209635}, Hs.HsW2{1197164200, 1950564013}, Hs.HsW2{610252024, 2338238738},
    Hs.HsW2{4042659620, 2739627128}, Hs.HsW2{4267844091, 296082815}, Hs.HsW2{667728715, 3245188253}, Hs.HsW2{3185603329, 1990337744},
    Hs.HsW2{1502355490, 2325789858}, Hs.HsW2{1838204047, 1307784888}, Hs.HsW2{1947056612, 3932644922}, Hs.HsW2{3769976689, 4014366576},
    Hs.HsW2{717980199, 967837717}, Hs.HsW2{4116580076, 2099141620}, Hs.HsW2{2209461537, 274452687}, Hs.HsW2{3224627163, 2002528608},
    Hs.HsW2{1916184479, 2114014265}, Hs.HsW2{288511439, 2166145926}, Hs.HsW2{437154520, 3987162381}, Hs.HsW2{2056884027, 1485430589},
    Hs.HsW2{3346660410, 774634477}, Hs.HsW2{2249827561, 3457085251}, Hs.HsW2{4140632415, 925716091}, Hs.HsW2{3916130895, 81736954},
    Hs.HsW2{1892986294, 4179861816}, Hs.HsW2{172827277, 2712305157}, Hs.HsW2{3091751625, 2834766684}, Hs.HsW2{1620573667, 3039730224},
    Hs.HsW2{1533946379, 226644387}, Hs.HsW2{3787735787, 576169982}, Hs.HsW2{693669268, 1937972634}, Hs.HsW2{3365719935, 1372895844},
    Hs.HsW2{3041876901, 1344976852}, Hs.HsW2{2169749256, 2541305294}, Hs.HsW2{3587745350, 3842256356}, Hs.HsW2{4236258258, 2525442174},
    Hs.HsW2{2006890071, 2689889205}, Hs.HsW2{491022649, 3033569152}, Hs.HsW2{4224331827, 3488670451}, Hs.HsW2{3715600098, 3280781024},
    Hs.HsW2{623817058, 1179601308}, Hs.HsW2{1869794982, 3402750905}, Hs.HsW2{3242385985, 3125662190}, Hs.HsW2{4096721782, 2953814906}]

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/hashes.bend&name=HsW2