def hs.stb.t2.list

bend-osdev-hashes@0.1.0.0 · streebog.bend:254

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

254# T_2[b] = l(Pi(b) << 16): each entry's low and high 32 bits
255def hs.stb.t2.list() -> List<&2, Hs.HsW2>:
256  [Hs.HsW2{2842210885, 3437546810}, Hs.HsW2{3893067695, 144528516}, Hs.HsW2{3008660228, 1669482177}, Hs.HsW2{3258274962, 3539865288},
257    Hs.HsW2{4063710958, 2818301823}, Hs.HsW2{2452847126, 1307664396}, Hs.HsW2{1379603195, 2229601258}, Hs.HsW2{1403718730, 126925821},
258    Hs.HsW2{955706013, 428505103}, Hs.HsW2{1441548491, 716377231}, Hs.HsW2{2999229877, 3774349014}, Hs.HsW2{583719900, 3068982260},
259    Hs.HsW2{324591377, 1084004948}, Hs.HsW2{3755884515, 3553528406}, Hs.HsW2{315146656, 3286835779}, Hs.HsW2{2171315463, 225311320},
260    Hs.HsW2{2039818103, 3723747761}, Hs.HsW2{1955312089, 79702594}, Hs.HsW2{2670587064, 2495785983}, Hs.HsW2{2834869492, 1334932781},
261    Hs.HsW2{2976497531, 2020092911}, Hs.HsW2{2939156164, 3787946568}, Hs.HsW2{2625687158, 207453894}, Hs.HsW2{2413302119, 1287775378},
262    Hs.HsW2{3650714466, 4276960548}, Hs.HsW2{3282389539, 1368110815}, Hs.HsW2{354392976, 1841245478}, Hs.HsW2{99247695, 3049022027},
263    Hs.HsW2{1523573274, 3899304530}, Hs.HsW2{4216561854, 1208078032}, Hs.HsW2{3221776621, 3373556710}, Hs.HsW2{3440836163, 271034389},
264    Hs.HsW2{831653069, 4134562208}, Hs.HsW2{1821031655, 2957823127}, Hs.HsW2{904428595, 3233395708}, Hs.HsW2{1492311653, 4085303164},
265    Hs.HsW2{3729662290, 1354445377}, Hs.HsW2{1130295701, 3751015568}, Hs.HsW2{1647904903, 4058042973}, Hs.HsW2{440152385, 2942733307},
266    Hs.HsW2{4027216529, 3155276369}, Hs.HsW2{2118286663, 1940254420}, Hs.HsW2{3997973294, 633267190}, Hs.HsW2{880304770, 1137445867},
267    Hs.HsW2{3722642332, 3357861752}, Hs.HsW2{2318563112, 4185753305}, Hs.HsW2{1159312660, 4071637986}, Hs.HsW2{2282703703, 3801607159},
268    Hs.HsW2{2566567560, 982819994}, Hs.HsW2{1760609305, 2256869067}, Hs.HsW2{157609552, 4026143151}, Hs.HsW2{3575116669, 2762690240},
269    Hs.HsW2{1417434746, 2848371864}, Hs.HsW2{2163981238, 2383954511}, Hs.HsW2{3475751484, 198034747}, Hs.HsW2{3929424848, 326580650},
270    Hs.HsW2{464269296, 739455980}, Hs.HsW2{2816149029, 2370360304}, Hs.HsW2{1801316055, 505070578}, Hs.HsW2{380811614, 4112578591},
271    Hs.HsW2{1342582404, 2668588740}, Hs.HsW2{501967729, 19956894}, Hs.HsW2{2356491177, 3562942891}, Hs.HsW2{4246004799, 1696758178},
272    Hs.HsW2{1894893863, 839512094}, Hs.HsW2{3401688179, 3195119472}, Hs.HsW2{2789939348, 238906343}, Hs.HsW2{4280932416, 2127041676},
273    Hs.HsW2{4207132175, 3413407431}, Hs.HsW2{1672025654, 1922394698}, Hs.HsW2{428938127, 939089602}, Hs.HsW2{1307395573, 2654988890},
274    Hs.HsW2{2521367272, 2067315280}, Hs.HsW2{3186046820, 573462539}, Hs.HsW2{2308920806, 1642222560}, Hs.HsW2{3813846400, 4237109253},
275    Hs.HsW2{593151341, 899238883}, Hs.HsW2{4125103326, 162385946}, Hs.HsW2{2013608390, 1585863078}, Hs.HsW2{1902237590, 2977712137},
276    Hs.HsW2{986437346, 39851297}, Hs.HsW2{3843418369, 3517882231}, Hs.HsW2{1059172525, 3084679018}, Hs.HsW2{1857519768, 2879824313},
277    Hs.HsW2{613261149, 2614051974}, Hs.HsW2{910515965, 1478911685}, Hs.HsW2{4273587953, 4257066139}, Hs.HsW2{1097059818, 3296303550},
278    Hs.HsW2{388147183, 1985298440}, Hs.HsW2{3966830417, 1045728984}, Hs.HsW2{3411131074, 1023680359}, Hs.HsW2{2894255114, 2035855217},
279    Hs.HsW2{75135230, 919198300}, Hs.HsW2{867121330, 3986293902}, Hs.HsW2{3379332797, 653161033}, Hs.HsW2{3953548641, 2416083389},
280    Hs.HsW2{3506279730, 286731403}, Hs.HsW2{1610888440, 3926572915}, Hs.HsW2{697502195, 1123848053}, Hs.HsW2{1051831836, 883543933},
281    Hs.HsW2{1208427450, 730040337}, Hs.HsW2{1120857892, 1558596743}, Hs.HsW2{534140686, 450554288}, Hs.HsW2{3602567603, 1010080761},
282    Hs.HsW2{477853120, 2185575561}, Hs.HsW2{3087880491, 2542942784}, Hs.HsW2{3247994460, 1247927281}, Hs.HsW2{402722110, 3029133013},
283    Hs.HsW2{2387087318, 3484703877}, Hs.HsW2{220108462, 3644050419}, Hs.HsW2{2874510906, 3608059924}, Hs.HsW2{671291202, 3246995298},
284    Hs.HsW2{3513617283, 2455934108}, Hs.HsW2{2112839561, 3946462189}, Hs.HsW2{3870870479, 1227967054}, Hs.HsW2{1685998598, 3703792943},
285    Hs.HsW2{708717373, 3663944268}, Hs.HsW2{1089721179, 1191977385}, Hs.HsW2{1473344692, 827941281}, Hs.HsW2{3660863916, 1718806557},
286    Hs.HsW2{291890030, 1534523258}, Hs.HsW2{1741909704, 1146925078}, Hs.HsW2{1552459419, 3309903136}, Hs.HsW2{2050491833, 1164719240},
287    Hs.HsW2{3295809555, 4292721082}, Hs.HsW2{507922879, 2578403751}, Hs.HsW2{3161926101, 2707152924}, Hs.HsW2{3833984944, 1390094176},
288    Hs.HsW2{3123735892, 2356696942}, Hs.HsW2{131553840, 2924875621}, Hs.HsW2{2194048969, 2515677025}, Hs.HsW2{1149873061, 1908800501},
289    Hs.HsW2{3878212990, 3393516121}, Hs.HsW2{3468418189, 2293792044}, Hs.HsW2{3192526250, 3132198194}, Hs.HsW2{3919274270, 2347297939},
290    Hs.HsW2{2663248393, 397874152}, Hs.HsW2{1269432692, 3004980520}, Hs.HsW2{344950049, 4006253873}, Hs.HsW2{2223096648, 3100743699},
291    Hs.HsW2{3545282556, 2307455410}, Hs.HsW2{2573903929, 3118537869}, Hs.HsW2{210667551, 1514566628}, Hs.HsW2{2203490680, 377984886},
292    Hs.HsW2{3609906946, 3208717294}, Hs.HsW2{3037972357, 1319236019}, Hs.HsW2{3782185471, 3882304811}, Hs.HsW2{805444220, 1963315639},
293    Hs.HsW2{3371997196, 2778450526}, Hs.HsW2{553117603, 2902892250}, Hs.HsW2{2721144938, 955560379}, Hs.HsW2{2490646167, 1624430462},
294    Hs.HsW2{963048492, 2600452120}, Hs.HsW2{4087828575, 613312360}, Hs.HsW2{3028539700, 3453241764}, Hs.HsW2{1964748648, 2276823637},
295    Hs.HsW2{37567615, 468348206}, Hs.HsW2{1533017259, 1797198405}, Hs.HsW2{770273549, 1949652265}, Hs.HsW2{284556767, 3624095597},
296    Hs.HsW2{2074614536, 3323563167}, Hs.HsW2{2745269979, 3145796012}, Hs.HsW2{2903689915, 4197259110}, Hs.HsW2{1715695737, 3341355009},
297    Hs.HsW2{1999016727, 2623537019}, Hs.HsW2{0, 0}, Hs.HsW2{2759206123, 366413513}, Hs.HsW2{802442610, 1876899847},
298    Hs.HsW2{1710117559, 1605819704}, Hs.HsW2{2260533047, 2738615613}, Hs.HsW2{4236573326, 3864510901}, Hs.HsW2{1935469545, 2861966631},
299    Hs.HsW2{3218737947, 969159973}, Hs.HsW2{2267865478, 542002474}, Hs.HsW2{2342676889, 2047360718}, Hs.HsW2{3073309690, 1431018653},
300    Hs.HsW2{1447127557, 2989283766}, Hs.HsW2{2783328858, 2527248094}, Hs.HsW2{649110306, 2149919144}, Hs.HsW2{995870803, 2165681462},
301    Hs.HsW2{26222257, 2205530135}, Hs.HsW2{1245323205, 812246335}, Hs.HsW2{3990952416, 3173070543}, Hs.HsW2{622690796, 414907537},
302    Hs.HsW2{1283283780, 491409997}, Hs.HsW2{1767955112, 99659484}, Hs.HsW2{1926034776, 702782768}, Hs.HsW2{1499644116, 1895137131},
303    Hs.HsW2{61678286, 2560611641}, Hs.HsW2{2547588185, 4165796423}, Hs.HsW2{2865074315, 1417353219}, Hs.HsW2{2144494582, 4040185539},
304    Hs.HsW2{2443073752, 3580802357}, Hs.HsW2{1368797237, 477812435}, Hs.HsW2{560462098, 779298509}, Hs.HsW2{1025281234, 2889226820},
305    Hs.HsW2{1637100105, 1769932644}, Hs.HsW2{3698531629, 1263624047}, Hs.HsW2{4100983407, 2329438221}, Hs.HsW2{246658144, 1101799114},
306    Hs.HsW2{3624494547, 2107147571}, Hs.HsW2{1234648331, 2834706438}, Hs.HsW2{180997278, 2003158166}, Hs.HsW2{3319926434, 2091385261},
307    Hs.HsW2{1588959972, 3735253006}, Hs.HsW2{2711372452, 2691392642}, Hs.HsW2{1186240474, 1781503707}, Hs.HsW2{3565678028, 668923607},
308    Hs.HsW2{1561901098, 1178379575}, Hs.HsW2{4024182175, 2798345185}, Hs.HsW2{4184775873, 1407951870}, Hs.HsW2{2476958887, 3464812571},
309    Hs.HsW2{190435887, 4094721153}, Hs.HsW2{1830462038, 859403392}, Hs.HsW2{3147854821, 252571513}, Hs.HsW2{2685164565, 589225109},
310    Hs.HsW2{3327077484, 3828864148}, Hs.HsW2{4132255248, 2435974435}, Hs.HsW2{3353293533, 1732406403}, Hs.HsW2{842999299, 1861205145},
311    Hs.HsW2{1791883366, 2641329125}, Hs.HsW2{732837260, 1494671963}, Hs.HsW2{3804410673, 2146996242}, Hs.HsW2{656457107, 55611839},
312    Hs.HsW2{2416854633, 1444613410}, Hs.HsW2{1864867369, 684923310}, Hs.HsW2{1015845475, 792961619}, Hs.HsW2{4177429104, 3500022761},
313    Hs.HsW2{746155964, 4148227390}, Hs.HsW2{936722508, 3679706834}, Hs.HsW2{2931812469, 1655882335}, Hs.HsW2{3535841613, 184369573},
314    Hs.HsW2{3774844750, 1678966076}, Hs.HsW2{2514755622, 3819401065}, Hs.HsW2{150270177, 1821354424}, Hs.HsW2{253995729, 3269043933},
315    Hs.HsW2{2635124935, 2401814225}, Hs.HsW2{1339062666, 2245363572}, Hs.HsW2{2606208070, 2718658979}, Hs.HsW2{2088714552, 1750041594},
316    Hs.HsW2{3684976413, 3842461706}, Hs.HsW2{4053429280, 1063520838}, Hs.HsW2{4158466209, 306691380}, Hs.HsW2{105333889, 757315442},
317    Hs.HsW2{3431391474, 2471628802}, Hs.HsW2{2380606744, 1462471100}, Hs.HsW2{2969149898, 4213019640}, Hs.HsW2{1193576811, 3915001548},
318    Hs.HsW2{2232540665, 1000611844}, Hs.HsW2{3065963851, 3594396810}, Hs.HsW2{1596294229, 1574357017}, Hs.HsW2{1312843579, 111165283},
319    Hs.HsW2{1991675302, 522864492}, Hs.HsW2{2596768503, 561957300}, Hs.HsW2{776229827, 3970596880}, Hs.HsW2{3114094490, 350716503}]