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

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

# T_3[b] = l(Pi(b) << 24): each entry's low and high 32 bits
def hs.stb.t3.list() -> List<&2, Hs.HsW2>:
  [Hs.HsW2{3363551749, 540187436}, Hs.HsW2{1699128625, 1331607288}, Hs.HsW2{4149327537, 3572778869}, Hs.HsW2{2232285835, 2187764859},
    Hs.HsW2{1517070725, 3147328161}, Hs.HsW2{4188934041, 3380210440}, Hs.HsW2{2721537697, 765916231}, Hs.HsW2{3447555446, 510928733},
    Hs.HsW2{2148255224, 3156219914}, Hs.HsW2{3000788414, 3030578945}, Hs.HsW2{2551934310, 3878065263}, Hs.HsW2{3206662476, 1223083091},
    Hs.HsW2{252330389, 1120590227}, Hs.HsW2{2865548576, 4020534116}, Hs.HsW2{1614846530, 1897400969}, Hs.HsW2{4137963020, 2343776923},
    Hs.HsW2{758569676, 3544987102}, Hs.HsW2{3156466838, 2838453116}, Hs.HsW2{1757088195, 3004859818}, Hs.HsW2{2805031378, 333465654},
    Hs.HsW2{700783874, 2991455297}, Hs.HsW2{3084540621, 2330217328}, Hs.HsW2{3647306151, 3866226052}, Hs.HsW2{3597613106, 2763731991},
    Hs.HsW2{3580702184, 1165142840}, Hs.HsW2{3930530140, 2981394273}, Hs.HsW2{1890296157, 3894151631}, Hs.HsW2{3464466604, 4290623602},
    Hs.HsW2{4250781783, 2826445463}, Hs.HsW2{1783424164, 227831659}, Hs.HsW2{1536774456, 3839827791}, Hs.HsW2{3398195042, 2663150061},
    Hs.HsW2{2955643097, 170663360}, Hs.HsW2{1570601873, 995114001}, Hs.HsW2{287228834, 3326310056}, Hs.HsW2{600400868, 3468794275},
    Hs.HsW2{3313899255, 3698763902}, Hs.HsW2{1940501639, 164992736}, Hs.HsW2{2102791599, 341326493}, Hs.HsW2{1059720372, 4106673241},
    Hs.HsW2{2230846006, 3709981077}, Hs.HsW2{1037951443, 1246246552}, Hs.HsW2{451364345, 3850921636}, Hs.HsW2{2119440501, 4119963058},
    Hs.HsW2{1951950483, 2300428368}, Hs.HsW2{403744926, 1527155813}, Hs.HsW2{201872463, 2734900924}, Hs.HsW2{3330540333, 1035941713},
    Hs.HsW2{2018521820, 706643692}, Hs.HsW2{4238881002, 4148123513}, Hs.HsW2{807423265, 3054241226}, Hs.HsW2{724758629, 214111872},
    Hs.HsW2{3717643881, 2272273435}, Hs.HsW2{2582549979, 3093422465}, Hs.HsW2{337181905, 4161129177}, Hs.HsW2{3151105666, 703008204},
    Hs.HsW2{1348523875, 3339980611}, Hs.HsW2{3903900731, 255499680}, Hs.HsW2{1299595406, 2723430231}, Hs.HsW2{3245723961, 3178717665},
    Hs.HsW2{2091119890, 1260343155}, Hs.HsW2{801191851, 1841487647}, Hs.HsW2{1739671638, 4056964153}, Hs.HsW2{367854700, 2806169399},
    Hs.HsW2{488019949, 1698705428}, Hs.HsW2{3664211069, 129528491}, Hs.HsW2{2281314284, 1021857466}, Hs.HsW2{3413749727, 3254453251},
    Hs.HsW2{84295539, 1044823153}, Hs.HsW2{303879800, 663415175}, Hs.HsW2{2398387408, 2712515703}, Hs.HsW2{1398981305, 652054636},
    Hs.HsW2{1486570722, 85360736}, Hs.HsW2{3617243279, 4227613177}, Hs.HsW2{2848905466, 242082891}, Hs.HsW2{2347910051, 2682980358},
    Hs.HsW2{3496678043, 2067011401}, Hs.HsW2{1250398874, 580676071}, Hs.HsW2{1115423003, 3768510148}, Hs.HsW2{1918651450, 1452466958},
    Hs.HsW2{1587506763, 3667501886}, Hs.HsW2{4099122027, 893245530}, Hs.HsW2{2430664423, 623123276}, Hs.HsW2{2198458402, 1575585573},
    Hs.HsW2{3229624708, 3794801679}, Hs.HsW2{2696983494, 2468880006}, Hs.HsW2{2754835464, 4062828313}, Hs.HsW2{2906464052, 1869360596},
    Hs.HsW2{2923367150, 2393223931}, Hs.HsW2{3295931978, 2201083280}, Hs.HsW2{3039672234, 879403441}, Hs.HsW2{100936361, 3750699870},
    Hs.HsW2{2704624507, 3429854056}, Hs.HsW2{1858020202, 1821746932}, Hs.HsW2{1807293465, 1389566597}, Hs.HsW2{3566785877, 439738070},
    Hs.HsW2{3847053513, 4085165810}, Hs.HsW2{2747442716, 1927381417}, Hs.HsW2{1368731614, 2555607725}, Hs.HsW2{4289340720, 385271894},
    Hs.HsW2{2635944469, 3646957598}, Hs.HsW2{484667216, 973555194}, Hs.HsW2{4048919576, 192635947}, Hs.HsW2{2599190529, 1504214702},
    Hs.HsW2{1082911868, 1578109957}, Hs.HsW2{434458659, 71432587}, Hs.HsW2{886278895, 3608005717}, Hs.HsW2{3787368199, 2457823085},
    Hs.HsW2{3106268133, 2540300045}, Hs.HsW2{2434074202, 2053336738}, Hs.HsW2{384766390, 1183522840}, Hs.HsW2{1054864393, 2877401527},
    Hs.HsW2{2315762462, 3232529896}, Hs.HsW2{2349044151, 522411702}, Hs.HsW2{1166922511, 1616294004}, Hs.HsW2{49802599, 3197037249},
    Hs.HsW2{3763036090, 3443004035}, Hs.HsW2{3262629091, 1556020942}, Hs.HsW2{1816710669, 3525004341}, Hs.HsW2{1689476492, 270123798},
    Hs.HsW2{3516852774, 611541671}, Hs.HsW2{3005848835, 3957687023}, Hs.HsW2{2197563551, 45019851}, Hs.HsW2{2632493736, 2250726896},
    Hs.HsW2{4205582915, 682652711}, Hs.HsW2{2652850127, 950646577}, Hs.HsW2{3100646232, 3358495459}, Hs.HsW2{2602137788, 116329280},
    Hs.HsW2{3346135952, 1660437183}, Hs.HsW2{283851551, 2567177030}, Hs.HsW2{1199193704, 3738720949}, Hs.HsW2{1665306520, 2429654438},
    Hs.HsW2{717687000, 1401185134}, Hs.HsW2{2068981510, 3419871683}, Hs.HsW2{1715777771, 2929142231}, Hs.HsW2{168591078, 2089575906},
    Hs.HsW2{133288468, 2160613040}, Hs.HsW2{750985841, 2349547568}, Hs.HsW2{534870666, 3687766741}, Hs.HsW2{953933472, 1947110121},
    Hs.HsW2{1418924205, 2786445020}, Hs.HsW2{387639563, 432821750}, Hs.HsW2{4267695501, 1236385208}, Hs.HsW2{674293183, 3976890799},
    Hs.HsW2{4121320406, 1786424756}, Hs.HsW2{2297452153, 2116196137}, Hs.HsW2{1432807440, 4182946610}, Hs.HsW2{3747697422, 973000410},
    Hs.HsW2{83085262, 1627507103}, Hs.HsW2{1639277311, 778010471}, Hs.HsW2{651123863, 4035388882}, Hs.HsW2{2249191249, 1672428372},
    Hs.HsW2{4014022191, 2415053584}, Hs.HsW2{891712082, 2286598587}, Hs.HsW2{3887762862, 1307591731}, Hs.HsW2{3546875713, 2600306790},
    Hs.HsW2{3734285235, 1723448116}, Hs.HsW2{2450985856, 2611671437}, Hs.HsW2{4037043365, 1413222853}, Hs.HsW2{3201577457, 396472765},
    Hs.HsW2{4087509375, 3052769002}, Hs.HsW2{1233487680, 3277190856}, Hs.HsW2{1766781310, 3965579332}, Hs.HsW2{3697493716, 3627504117},
    Hs.HsW2{234728690, 4232328018}, Hs.HsW2{0, 0}, Hs.HsW2{1500429407, 1515320718}, Hs.HsW2{775212822, 847620849},
    Hs.HsW2{1841116848, 2371631579}, Hs.HsW2{3863966995, 313995741}, Hs.HsW2{2057822139, 2492492845}, Hs.HsW2{2898847625, 808147002},
    Hs.HsW2{151939900, 2638609101}, Hs.HsW2{2298851012, 560325319}, Hs.HsW2{2002416457, 1758748543}, Hs.HsW2{1449459146, 412822557},
    Hs.HsW2{50468314, 3788087087}, Hs.HsW2{908355464, 1770202772}, Hs.HsW2{504660535, 2223615803}, Hs.HsW2{836089244, 3914035236},
    Hs.HsW2{1867176919, 869454618}, Hs.HsW2{1133115814, 3218707242}, Hs.HsW2{2872653213, 2967670410}, Hs.HsW2{2949313107, 3521300245},
    Hs.HsW2{1009260910, 353321846}, Hs.HsW2{2481122109, 3303900259}, Hs.HsW2{3280092254, 66685728}, Hs.HsW2{1283700787, 4245899961},
    Hs.HsW2{2984144996, 1433102382}, Hs.HsW2{936484661, 918836090}, Hs.HsW2{2040908385, 1968829186}, Hs.HsW2{1385642500, 2040194434},
    Hs.HsW2{1215332349, 2618458918}, Hs.HsW2{334048965, 2026740841}, Hs.HsW2{251640104, 495823997}, Hs.HsW2{1316246868, 1134403704},
    Hs.HsW2{3431497163, 1093882547}, Hs.HsW2{454212932, 3134133066}, Hs.HsW2{634210637, 290372349}, Hs.HsW2{550204990, 789055116},
    Hs.HsW2{3123181119, 1990228002}, Hs.HsW2{4065823170, 3937598212}, Hs.HsW2{2180922693, 3815206372}, Hs.HsW2{2514928020, 459450173},
    Hs.HsW2{1550353196, 1679247871}, Hs.HsW2{2534485235, 2783727100}, Hs.HsW2{3184927787, 4134022802}, Hs.HsW2{1148726194, 1058129306},
    Hs.HsW2{3988190024, 830218705}, Hs.HsW2{1974312494, 3596268990}, Hs.HsW2{3034074903, 1798165599}, Hs.HsW2{2531578958, 4205525010},
    Hs.HsW2{4004832914, 3501571838}, Hs.HsW2{852992070, 142798603}, Hs.HsW2{2822447175, 1361744293}, Hs.HsW2{4166776612, 2520686310},
    Hs.HsW2{607695344, 1309265683}, Hs.HsW2{4216972030, 2012676553}, Hs.HsW2{1265789479, 2111511561}, Hs.HsW2{32897213, 1598518766},
    Hs.HsW2{574397273, 2441538637}, Hs.HsW2{2399241325, 4276797849}, Hs.HsW2{3837302900, 2889472796}, Hs.HsW2{1902008800, 3076226081},
    Hs.HsW2{658154538, 2948616252}, Hs.HsW2{3963816949, 1849381951}, Hs.HsW2{557747843, 1884255074}, Hs.HsW2{3683816640, 1493108549},
    Hs.HsW2{2682961778, 1743700703}, Hs.HsW2{3481954321, 2700791196}, Hs.HsW2{3633348890, 3107362922}, Hs.HsW2{1004129146, 2512852422},
    Hs.HsW2{975975367, 3397410856}, Hs.HsW2{3913626758, 1350428750}, Hs.HsW2{1600820982, 2245973712}, Hs.HsW2{1333898729, 484103574},
    Hs.HsW2{3056575088, 3584245406}, Hs.HsW2{2381736202, 1080306520}, Hs.HsW2{3381543608, 2138435266}, Hs.HsW2{3813231200, 754027948},
    Hs.HsW2{200902235, 600510476}, Hs.HsW2{3954366945, 4008903311}, Hs.HsW2{2484287785, 1143329491}, Hs.HsW2{2141315272, 2866204764},
    Hs.HsW2{2781252789, 2909709047}, Hs.HsW2{150705025, 3254947619}, Hs.HsW2{1183827669, 2174693211}, Hs.HsW2{3533504508, 3317366152},
    Hs.HsW2{1469121911, 1205623283}, Hs.HsW2{959325725, 726269703}, Hs.HsW2{857889019, 1472568037}, Hs.HsW2{3804017373, 1941370946},
    Hs.HsW2{1656190757, 3482771528}, Hs.HsW2{2797902191, 1286028760}, Hs.HsW2{1098781889, 22510059}, Hs.HsW2{1991216116, 932391569}]

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