Streebog.hs.stb.t0.list: def of bend-osdev-hashes@0.1.0.0
Import: import bend-osdev-hashes@0.1.0.0/streebog.bend as Streebog
Lines 119-185 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=119&end_line=185

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

# BEGIN GENERATED by gen/streebog.py: tables
# T_0[b] = l(Pi(b) << 0): each entry's low and high 32 bits
def hs.stb.t0.list() -> List<&2, Hs.HsW2>:
  [Hs.HsW2{1551825126, 3491721563}, Hs.HsW2{2155316005, 385491977}, Hs.HsW2{2128628168, 2829332101}, Hs.HsW2{2709931611, 1791035023},
    Hs.HsW2{2733191691, 1849785303}, Hs.HsW2{2755123883, 1717338471}, Hs.HsW2{2828408822, 1986422810}, Hs.HsW2{1879825653, 1268093283},
    Hs.HsW2{2381537864, 4048283319}, Hs.HsW2{2590137599, 3313876328}, Hs.HsW2{2793243339, 2505562108}, Hs.HsW2{2943210342, 2314254697},
    Hs.HsW2{1956604981, 2961390920}, Hs.HsW2{2985081980, 2711194659}, Hs.HsW2{2885855030, 2372977713}, Hs.HsW2{3500717726, 3604986927},
    Hs.HsW2{1375345035, 934196197}, Hs.HsW2{1085656988, 192746122}, Hs.HsW2{3044543676, 1519329288}, Hs.HsW2{2229482469, 3991701538},
    Hs.HsW2{3553084110, 3529490807}, Hs.HsW2{3054991596, 1578065232}, Hs.HsW2{3233959097, 495400579}, Hs.HsW2{3026002060, 2902723531},
    Hs.HsW2{1535458422, 797548584}, Hs.HsW2{2031848792, 1462960118}, Hs.HsW2{2666982463, 1049825603}, Hs.HsW2{2681454607, 3373808256},
    Hs.HsW2{638190062, 2209215477}, Hs.HsW2{4108906256, 2792954177}, Hs.HsW2{211930461, 272296317}, Hs.HsW2{502143818, 753485842},
    Hs.HsW2{3690118995, 963871777}, Hs.HsW2{3473733044, 155034278}, Hs.HsW2{2629612639, 3449309144}, Hs.HsW2{2335017704, 4183170055},
    Hs.HsW2{1769043839, 2624222554}, Hs.HsW2{1898901701, 3156130464}, Hs.HsW2{2885247910, 1927681346}, Hs.HsW2{580825390, 2025545694},
    Hs.HsW2{265206029, 347771941}, Hs.HsW2{1661883010, 2219665047}, Hs.HsW2{1780351791, 2565474306}, Hs.HsW2{1143045980, 4033592993},
    Hs.HsW2{483080058, 3680658385}, Hs.HsW2{730783875, 1679569227}, Hs.HsW2{2605150415, 839816875}, Hs.HsW2{2259250053, 518512313},
    Hs.HsW2{2274117557, 3916232058}, Hs.HsW2{2286091960, 4258685279}, Hs.HsW2{1442962715, 3359138454}, Hs.HsW2{2455183714, 782891070},
    Hs.HsW2{1124046844, 4168500241}, Hs.HsW2{137723293, 3945547094}, Hs.HsW2{2965999692, 1444063200}, Hs.HsW2{760219683, 1812057083},
    Hs.HsW2{4194531885, 1162389159}, Hs.HsW2{948662004, 2881799871}, Hs.HsW2{4260937405, 3135141844}, Hs.HsW2{3947670586, 2040203208},
    Hs.HsW2{95526128, 211650536}, Hs.HsW2{275446311, 3411577516}, Hs.HsW2{3253166217, 3926662464}, Hs.HsW2{511799066, 677983562},
    Hs.HsW2{133940368, 4288074099}, Hs.HsW2{790253635, 2668272992}, Hs.HsW2{3759580663, 2520203206}, Hs.HsW2{3014059036, 1385355960},
    Hs.HsW2{745874451, 2609569848}, Hs.HsW2{1935976613, 1326836795}, Hs.HsW2{1462038827, 1068714325}, Hs.HsW2{366700247, 3351579972},
    Hs.HsW2{3816411559, 2461483678}, Hs.HsW2{437641178, 3548354913}, Hs.HsW2{1580507270, 588523456}, Hs.HsW2{2068960568, 2755242349},
    Hs.HsW2{2012223589, 3020111888}, Hs.HsW2{2417850626, 3718426277}, Hs.HsW2{2305282696, 173886108}, Hs.HsW2{3748007827, 3261409290},
    Hs.HsW2{550824270, 2343569733}, Hs.HsW2{2436388146, 707364198}, Hs.HsW2{3204917569, 1118319557}, Hs.HsW2{1647017650, 1942375764},
    Hs.HsW2{1157911404, 132158818}, Hs.HsW2{3909547098, 2324713811}, Hs.HsW2{1799040799, 1868637121}, Hs.HsW2{3691609027, 3336918354},
    Hs.HsW2{869361465, 1147731633}, Hs.HsW2{3342436393, 3792824304}, Hs.HsW2{4152859456, 2734253081}, Hs.HsW2{3282909417, 419908571},
    Hs.HsW2{1196296972, 4109091833}, Hs.HsW2{1993684053, 1133013971}, Hs.HsW2{1520439366, 3624045547}, Hs.HsW2{4123902752, 1374827138},
    Hs.HsW2{226812269, 3887186622}, Hs.HsW2{115271840, 136182448}, Hs.HsW2{1414235515, 993211405}, Hs.HsW2{1738203714, 2136722108},
    Hs.HsW2{2315822808, 249378756}, Hs.HsW2{2847095750, 2179810265}, Hs.HsW2{3175969057, 2980275550}, Hs.HsW2{3891093863, 1772220085},
    Hs.HsW2{3371643172, 4138431445}, Hs.HsW2{2244354005, 442999777}, Hs.HsW2{3560703582, 768151556}, Hs.HsW2{2411280936, 37793836},
    Hs.HsW2{1824582543, 2432168626}, Hs.HsW2{290444823, 1020502383}, Hs.HsW2{4049171424, 2867109545}, Hs.HsW2{2362855032, 113298804},
    Hs.HsW2{3575196270, 3661773767}, Hs.HsW2{380899975, 3276107804}, Hs.HsW2{3833730359, 1830917101}, Hs.HsW2{1100014508, 4243994953},
    Hs.HsW2{569492862, 2084250246}, Hs.HsW2{76853440, 4212567083}, Hs.HsW2{927324153, 3212726938}, Hs.HsW2{775912563, 1753331363},
    Hs.HsW2{3652773683, 3396915898}, Hs.HsW2{875209641, 3153997762}, Hs.HsW2{3429073380, 230547454}, Hs.HsW2{608197006, 1889969518},
    Hs.HsW2{1274005073, 3838913156}, Hs.HsW2{1708177954, 2354093095}, Hs.HsW2{3263698137, 4002177048}, Hs.HsW2{1235590705, 400194591},
    Hs.HsW2{685872339, 1620855827}, Hs.HsW2{854870793, 3018052978}, Hs.HsW2{2769483419, 2446830244}, Hs.HsW2{1138408396, 268267474},
    Hs.HsW2{1008721460, 1355967124}, Hs.HsW2{1750358863, 1809931929}, Hs.HsW2{1873780703, 2490863594}, Hs.HsW2{1491748902, 722066800},
    Hs.HsW2{1843775423, 1736235377}, Hs.HsW2{4289914589, 1238704463}, Hs.HsW2{1181427516, 56682554}, Hs.HsW2{1333491345, 533169839},
    Hs.HsW2{2017370472, 2696533045}, Hs.HsW2{1594985654, 3567193091}, Hs.HsW2{3385990420, 18896918}, Hs.HsW2{2106539416, 2888061917},
    Hs.HsW2{1064348260, 1414666188}, Hs.HsW2{2492058050, 649331342}, Hs.HsW2{3598081598, 3737274015}, Hs.HsW2{57635920, 75529560},
    Hs.HsW2{2185091909, 3857805970}, Hs.HsW2{38426720, 4077606555}, Hs.HsW2{2807607035, 1658649663}, Hs.HsW2{1314806433, 3897339244},
    Hs.HsW2{1433315659, 3434618830}, Hs.HsW2{2054486280, 1404207790}, Hs.HsW2{1276379841, 457702391}, Hs.HsW2{2552759455, 915336179},
    Hs.HsW2{2905049862, 2063331314}, Hs.HsW2{4271360749, 3193834124}, Hs.HsW2{319131255, 3487102964}, Hs.HsW2{19213360, 4153093059},
    Hs.HsW2{4242379405, 1297439767}, Hs.HsW2{2143643128, 1596917062}, Hs.HsW2{456193002, 620016290}, Hs.HsW2{3971442858, 2249053883},
    Hs.HsW2{890212249, 1282737153}, Hs.HsW2{0, 0}, Hs.HsW2{1295068913, 3972845620}, Hs.HsW2{3189900657, 3038976006},
    Hs.HsW2{2567776431, 3238379568}, Hs.HsW2{3797745047, 1698457949}, Hs.HsW2{3323765785, 362466355}, Hs.HsW2{1916896405, 3097413624},
    Hs.HsW2{3073529052, 2844030611}, Hs.HsW2{985740948, 1489997860}, Hs.HsW2{4078119808, 1508886578}, Hs.HsW2{967721668, 1548742012},
    Hs.HsW2{4023917818, 2190322659}, Hs.HsW2{2511136242, 3510577485}, Hs.HsW2{3894663274, 2098952848}, Hs.HsW2{4165542477, 3057905724},
    Hs.HsW2{3634219779, 1039399289}, Hs.HsW2{657403358, 1948702774}, Hs.HsW2{530858794, 3756138121}, Hs.HsW2{2644088943, 974351387},
    Hs.HsW2{3443961300, 4197905469}, Hs.HsW2{1356805563, 3223689254}, Hs.HsW2{2866565014, 2238529153}, Hs.HsW2{1404060139, 3299206526},
    Hs.HsW2{1975140357, 1191712395}, Hs.HsW2{1004804772, 2940517351}, Hs.HsW2{700758243, 2534893520}, Hs.HsW2{3147012481, 3116277742},
    Hs.HsW2{3515718318, 559192044}, Hs.HsW2{3710670835, 829324945}, Hs.HsW2{3671561059, 3472404450}, Hs.HsW2{304128583, 945019959},
    Hs.HsW2{3728941987, 904790985}, Hs.HsW2{3294035065, 3868301992}, Hs.HsW2{1216393729, 3763427292}, Hs.HsW2{1693816338, 2077997028},
    Hs.HsW2{2199451509, 310008145}, Hs.HsW2{1385524699, 858705597}, Hs.HsW2{599498014, 2402317341}, Hs.HsW2{2473725266, 3642938365},
    Hs.HsW2{1631849186, 2001088524}, Hs.HsW2{3538087678, 634710708}, Hs.HsW2{4009570506, 1963360288}, Hs.HsW2{1254812257, 324665671},
    Hs.HsW2{352209639, 810428039}, Hs.HsW2{2994980908, 2769940859}, Hs.HsW2{1506763798, 3699570355}, Hs.HsW2{2091520424, 1538226206},
    Hs.HsW2{4213593629, 2999160164}, Hs.HsW2{395394743, 885939167}, Hs.HsW2{4034682832, 1567602026}, Hs.HsW2{176104957, 405214157},
    Hs.HsW2{3871886679, 2653603190}, Hs.HsW2{3852941575, 2594879534}, Hs.HsW2{1045792340, 2748922895}, Hs.HsW2{2924019542, 2122027690},
    Hs.HsW2{627406270, 2267909805}, Hs.HsW2{4184608381, 1103682559}, Hs.HsW2{2748063291, 2580172820}, Hs.HsW2{817763177, 1088979945},
    Hs.HsW2{152064429, 480734869}, Hs.HsW2{3132536241, 1312142381}, Hs.HsW2{3401410884, 94381390}, Hs.HsW2{2169679637, 3782283210},
    Hs.HsW2{3415754100, 4062908045}, Hs.HsW2{832257881, 3076761642}, Hs.HsW2{1854583791, 1677501481}, Hs.HsW2{2695064171, 2638884172},
    Hs.HsW2{250320189, 3811688422}, Hs.HsW2{2529399202, 3586085909}, Hs.HsW2{2392593944, 4123761647}, Hs.HsW2{3160956177, 1177046685},
    Hs.HsW2{408913850, 544526330}, Hs.HsW2{3103583697, 3175015094}, Hs.HsW2{4063627184, 2925847537}, Hs.HsW2{3458849156, 4273375589},
    Hs.HsW2{4137858928, 1433554906}, Hs.HsW2{3612570126, 692677980}, Hs.HsW2{1027273220, 2807644503}, Hs.HsW2{3932782602, 2383424523},
    Hs.HsW2{3312701513, 286962027}, Hs.HsW2{427469706, 3623871545}, Hs.HsW2{190450125, 4021041166}, Hs.HsW2{912325577, 1224046937},
    Hs.HsW2{2548481426, 573865942}, Hs.HsW2{3778251207, 1639715845}, Hs.HsW2{3118055905, 1253427573}, Hs.HsW2{1616979666, 2160925647},
    Hs.HsW2{3985786010, 1904672120}, Hs.HsW2{715902131, 2476153480}, Hs.HsW2{1723846258, 2295390591}, Hs.HsW2{1566299350, 664033944}]

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