def hs.stb.t7.list

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

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

589# T_7[b] = l(Pi(b) << 56): each entry's low and high 32 bits
590def hs.stb.t7.list() -> List<&2, Hs.HsW2>:
591  [Hs.HsW2{2546151888, 3862910414}, Hs.HsW2{22788630, 632620720}, Hs.HsW2{3870137256, 3362811433}, Hs.HsW2{1565663082, 1531171703},
592    Hs.HsW2{1882525806, 200949079}, Hs.HsW2{721096294, 2878733335}, Hs.HsW2{2658808438, 4132135831}, Hs.HsW2{1688055115, 4119545186},
593    Hs.HsW2{2920055793, 1224197083}, Hs.HsW2{1123403973, 4281438566}, Hs.HsW2{474612885, 3417327836}, Hs.HsW2{3747752329, 1723398204},
594    Hs.HsW2{149076400, 901853417}, Hs.HsW2{4038283169, 2088114785}, Hs.HsW2{4060423821, 906040860}, Hs.HsW2{572110806, 2656357630},
595    Hs.HsW2{949225527, 2340262053}, Hs.HsW2{2393070859, 2631140184}, Hs.HsW2{2630638426, 3158077418}, Hs.HsW2{1831120621, 3858723643},
596    Hs.HsW2{259963090, 3471647454}, Hs.HsW2{2980795486, 3968172490}, Hs.HsW2{2415453981, 3110143464}, Hs.HsW2{2266652333, 2359309569},
597    Hs.HsW2{3604687407, 1993133669}, Hs.HsW2{2813689943, 1485043074}, Hs.HsW2{780852286, 1065084141}, Hs.HsW2{895277513, 266845702},
598    Hs.HsW2{487702147, 3993325164}, Hs.HsW2{163120038, 276051545}, Hs.HsW2{3028368400, 1574870912}, Hs.HsW2{45508908, 1249315965},
599    Hs.HsW2{3615526969, 1400490197}, Hs.HsW2{371119113, 3020321864}, Hs.HsW2{406574797, 1600016422}, Hs.HsW2{4106395129, 3902276251},
600    Hs.HsW2{173330588, 2142649492}, Hs.HsW2{2135664828, 3306626953}, Hs.HsW2{3005037938, 2800913847}, Hs.HsW2{1903078008, 776944615},
601    Hs.HsW2{2582000404, 224883104}, Hs.HsW2{3827036804, 2181522004}, Hs.HsW2{657711000, 789566132}, Hs.HsW2{3806087664, 1553888979},
602    Hs.HsW2{425749723, 2062243478}, Hs.HsW2{2990966628, 2202503943}, Hs.HsW2{1495518514, 3484273549}, Hs.HsW2{1536533534, 2245707760},
603    Hs.HsW2{1078174185, 3041303835}, Hs.HsW2{3651506941, 3089231035}, Hs.HsW2{2039223240, 462293774}, Hs.HsW2{2584469550, 1655012205},
604    Hs.HsW2{3088209912, 4243699603}, Hs.HsW2{3640535275, 2643782155}, Hs.HsW2{3949283926, 1290420362}, Hs.HsW2{3901266284, 589843015},
605    Hs.HsW2{2341025093, 764353810}, Hs.HsW2{851499179, 4106988593}, Hs.HsW2{3398512314, 3179054777}, Hs.HsW2{1035886713, 975605487},
606    Hs.HsW2{2007568652, 4040568672}, Hs.HsW2{2917224651, 657836310}, Hs.HsW2{2486100714, 2315083523}, Hs.HsW2{802252328, 449765981},
607    Hs.HsW2{1092099071, 2431884203}, Hs.HsW2{3728315295, 1124990604}, Hs.HsW2{3358017430, 4144728772}, Hs.HsW2{3322037586, 475246250},
608    Hs.HsW2{4083063963, 330567852}, Hs.HsW2{1241162319, 2771561282}, Hs.HsW2{1650071103, 722620901}, Hs.HsW2{3662168519, 3622037110},
609    Hs.HsW2{3846195346, 2813486308}, Hs.HsW2{1135506131, 3666122710}, Hs.HsW2{2708618019, 2249908485}, Hs.HsW2{2432993956, 950419785},
610    Hs.HsW2{629520052, 1702420169}, Hs.HsW2{2897930973, 41996198}, Hs.HsW2{3262355210, 2294134352}, Hs.HsW2{3154085058, 2469641566},
611    Hs.HsW2{1205837963, 1315606316}, Hs.HsW2{3077369642, 840734029}, Hs.HsW2{1921218882, 1099772202}, Hs.HsW2{4291688307, 2996517055},
612    Hs.HsW2{4178201607, 1812081720}, Hs.HsW2{185559690, 1510160932}, Hs.HsW2{1021696623, 529762399}, Hs.HsW2{2526579654, 3280622462},
613    Hs.HsW2{3344564036, 971417626}, Hs.HsW2{3470851298, 697474627}, Hs.HsW2{618532002, 1087232121}, Hs.HsW2{2728388633, 3923307464},
614    Hs.HsW2{3485157108, 203921651}, Hs.HsW2{1045672771, 1441039394}, Hs.HsW2{3440193496, 1179686030}, Hs.HsW2{309266001, 552103090},
615    Hs.HsW2{2941729255, 1833092459}, Hs.HsW2{1523457544, 2691678528}, Hs.HsW2{1329404219, 2074853317}, Hs.HsW2{2288313983, 1112348639},
616    Hs.HsW2{4011104270, 3624163440}, Hs.HsW2{2242656129, 3335993724}, Hs.HsW2{1144157105, 564692449}, Hs.HsW2{2302631017, 1744310639},
617    Hs.HsW2{1460064246, 620097507}, Hs.HsW2{1995615002, 3580045776}, Hs.HsW2{1315349293, 1579071861}, Hs.HsW2{2562558210, 684881680},
618    Hs.HsW2{2113782160, 2405438452}, Hs.HsW2{3057079612, 396989437}, Hs.HsW2{2114982570, 3768719673}, Hs.HsW2{3050997254, 2020317488},
619    Hs.HsW2{1437640410, 1854071710}, Hs.HsW2{4147072707, 2270824534}, Hs.HsW2{2757251949, 927072079}, Hs.HsW2{2507495676, 2890422707},
620    Hs.HsW2{1544136060, 2130105799}, Hs.HsW2{1820267771, 3226105227}, Hs.HsW2{2871454655, 4188855697}, Hs.HsW2{3320813160, 1938924647},
621    Hs.HsW2{3778124490, 861699102}, Hs.HsW2{2252465339, 2836738993}, Hs.HsW2{997841677, 3837762152}, Hs.HsW2{731952240, 2384525991},
622    Hs.HsW2{2067430116, 1375274867}, Hs.HsW2{3201690764, 577282836}, Hs.HsW2{3108629998, 3645157667}, Hs.HsW2{1300983831, 836547512},
623    Hs.HsW2{2669774944, 3556664615}, Hs.HsW2{3700423347, 159052529}, Hs.HsW2{825035665, 2601101052}, Hs.HsW2{2747552271, 3429756280},
624    Hs.HsW2{1589627984, 880925114}, Hs.HsW2{293786987, 1328178815}, Hs.HsW2{1352322708, 3755605460}, Hs.HsW2{4223411499, 645210181},
625    Hs.HsW2{1714144359, 3220982047}, Hs.HsW2{4229964873, 3713610354}, Hs.HsW2{3563930371, 1018937880}, Hs.HsW2{390426143, 2444456696},
626    Hs.HsW2{3160638880, 1746906985}, Hs.HsW2{3131326164, 3062283246}, Hs.HsW2{1288751617, 342471944}, Hs.HsW2{3419051180, 2563342345},
627    Hs.HsW2{1943585620, 1681405850}, Hs.HsW2{3234201126, 3268065837}, Hs.HsW2{2027399646, 1044057534}, Hs.HsW2{761728772, 1354362400},
628    Hs.HsW2{938127589, 1167110779}, Hs.HsW2{917572339, 1613083851}, Hs.HsW2{127664482, 4213969463}, Hs.HsW2{210988008, 2704222227},
629    Hs.HsW2{1424694476, 1261954350}, Hs.HsW2{2329055059, 138025890}, Hs.HsW2{975331611, 3238698200}, Hs.HsW2{1950663222, 2668897709},
630    Hs.HsW2{3922928506, 110972151}, Hs.HsW2{3891667390, 3989137561}, Hs.HsW2{2156289999, 2005673782}, Hs.HsW2{467011063, 815553259},
631    Hs.HsW2{3511102285, 2380323922}, Hs.HsW2{4252737119, 4176229570}, Hs.HsW2{1484289828, 3927493949}, Hs.HsW2{2091285382, 2866091332},
632    Hs.HsW2{2643976524, 2575919450}, Hs.HsW2{0, 0}, Hs.HsW2{569664748, 4053190195}, Hs.HsW2{1767210165, 1896967105},
633    Hs.HsW2{1871890369, 2944958278}, Hs.HsW2{4271263077, 2536390159}, Hs.HsW2{3577149717, 420398248}, Hs.HsW2{1378658232, 2511270313},
634    Hs.HsW2{2860339625, 3692682017}, Hs.HsW2{74568280, 2498631930}, Hs.HsW2{1218517081, 2156375538}, Hs.HsW2{689364316, 3294099162},
635    Hs.HsW2{1371632770, 4201446244}, Hs.HsW2{3675519953, 4065779910}, Hs.HsW2{282685309, 1788829903}, Hs.HsW2{3174580150, 1303030233},
636    Hs.HsW2{4209483581, 62924533}, Hs.HsW2{113752948, 3734574215}, Hs.HsW2{872899551, 710064310}, Hs.HsW2{65917754, 1874987725},
637    Hs.HsW2{548396794, 3559112835}, Hs.HsW2{591531456, 3152136782}, Hs.HsW2{2831890565, 2523846492}, Hs.HsW2{237306564, 3948422254},
638    Hs.HsW2{322223175, 90008066}, Hs.HsW2{531093423, 2758951441}, Hs.HsW2{2230816151, 3814866892}, Hs.HsW2{519859641, 2177320097},
639    Hs.HsW2{969912865, 2932381205}, Hs.HsW2{2370735665, 4078307733}, Hs.HsW2{3428226510, 1675989566}, Hs.HsW2{2605734456, 1192263133},
640    Hs.HsW2{2687074613, 2746214325}, Hs.HsW2{3817337830, 2032889955}, Hs.HsW2{1448965600, 21031251}, Hs.HsW2{2768497019, 318044671},
641    Hs.HsW2{742176018, 1963780240}, Hs.HsW2{368248627, 3687087749}, Hs.HsW2{1790488463, 517169420}, Hs.HsW2{2178803161, 1379475846},
642    Hs.HsW2{3534420087, 3793933983}, Hs.HsW2{346602789, 4268849205}, Hs.HsW2{1243050357, 3404767631}, Hs.HsW2{1626111763, 1634033048},
643    Hs.HsW2{3248374832, 3883908253}, Hs.HsW2{3721674917, 751825985}, Hs.HsW2{3765051612, 384400046}, Hs.HsW2{3491533147, 2824198882},
644    Hs.HsW2{2422157490, 487802873}, Hs.HsW2{3975760692, 3083227837}, Hs.HsW2{1707480925, 3493741522}, Hs.HsW2{3998163480, 4256259776},
645    Hs.HsW2{2464766366, 1466190724}, Hs.HsW2{3213776538, 131966372}, Hs.HsW2{1745798819, 1420062065}, Hs.HsW2{3300142206, 1445241559},
646    Hs.HsW2{813085063, 3200032844}, Hs.HsW2{2800630337, 2100753202}, Hs.HsW2{1810044313, 996566972}, Hs.HsW2{3929993280, 1767851578},
647    Hs.HsW2{3274190108, 2903027936}, Hs.HsW2{86665294, 2975538762}, Hs.HsW2{1639433477, 1154505512}, Hs.HsW2{445497313, 355032155},
648    Hs.HsW2{2053226738, 1951138243}, Hs.HsW2{4058576311, 1505959121}, Hs.HsW2{1263324003, 4014319423}, Hs.HsW2{1183062685, 1809811868},
649    Hs.HsW2{2184197859, 1039870795}, Hs.HsW2{4134859989, 2733575910}, Hs.HsW2{2204863733, 407776763}, Hs.HsW2{1608808006, 288677642},
650    Hs.HsW2{1964996640, 3131122461}, Hs.HsW2{865821373, 3514739329}, Hs.HsW2{1400315310, 2954622745}, Hs.HsW2{231264766, 2224696995},
651    Hs.HsW2{1057491285, 1884390034}, Hs.HsW2{1661053993, 245847893}, Hs.HsW2{1164560807, 69043025}, Hs.HsW2{644375950, 180016132},
652    Hs.HsW2{4166120977, 1236740744}, Hs.HsW2{1858698711, 2319284726}, Hs.HsW2{4120455151, 3442279467}, Hs.HsW2{2968579656, 3375400826},
653    Hs.HsW2{3986878754, 2457031693}, Hs.HsW2{3555803745, 3348615215}, Hs.HsW2{676161354, 3789746282}, Hs.HsW2{3380411776, 3535703156},
654    Hs.HsW2{1735425649, 2588495791}, Hs.HsW2{2844820115, 3017527788}, Hs.HsW2{2477974408, 1926319412}, Hs.HsW2{2350199847, 3601010469}]