def hs.stb.t5.list

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

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

455# T_5[b] = l(Pi(b) << 40): each entry's low and high 32 bits
456def hs.stb.t5.list() -> List<&2, Hs.HsW2>:
457  [Hs.HsW2{1755951242, 1835720774}, Hs.HsW2{199804739, 984870987}, Hs.HsW2{1421068552, 3843954283}, Hs.HsW2{901968185, 3197151723},
458    Hs.HsW2{938655425, 2999387750}, Hs.HsW2{865214508, 2859025761}, Hs.HsW2{995230187, 2586362735}, Hs.HsW2{2874370452, 3721288339},
459    Hs.HsW2{4130875431, 238293822}, Hs.HsW2{3964994699, 1386228641}, Hs.HsW2{3300041079, 2734198679}, Hs.HsW2{3391246757, 2252399891},
460    Hs.HsW2{1477670434, 3455177570}, Hs.HsW2{3739192795, 4268537608}, Hs.HsW2{3356630621, 2316782238}, Hs.HsW2{1803638286, 1738053123},
461    Hs.HsW2{2507759598, 1508705075}, Hs.HsW2{2339696047, 500660395}, Hs.HsW2{765432429, 3998433017}, Hs.HsW2{4171815157, 713849274},
462    Hs.HsW2{1773214198, 1808742798}, Hs.HsW2{800054677, 3791950196}, Hs.HsW2{2157718252, 660900064}, Hs.HsW2{3633274062, 3935656834},
463    Hs.HsW2{2581192900, 1896007226}, Hs.HsW2{2781059398, 4185272343}, Hs.HsW2{521476925, 1117758032}, Hs.HsW2{3926250910, 1180288811},
464    Hs.HsW2{3478808116, 2555084764}, Hs.HsW2{1409003873, 4148306729}, Hs.HsW2{146809287, 809600526}, Hs.HsW2{382571398, 1954282902},
465    Hs.HsW2{2452694919, 1269905009}, Hs.HsW2{2322351315, 460497251}, Hs.HsW2{3895827046, 1242458278}, Hs.HsW2{4065900234, 379211833},
466    Hs.HsW2{1323230628, 3112840948}, Hs.HsW2{1581492023, 3641196520}, Hs.HsW2{962743827, 2524933346}, Hs.HsW2{1008368002, 2289366573},
467    Hs.HsW2{183529023, 1008085379}, Hs.HsW2{1115576974, 2439375869}, Hs.HsW2{1290709596, 3051192697}, Hs.HsW2{2016735769, 233369946},
468    Hs.HsW2{3822935333, 1891473645}, Hs.HsW2{847939920, 2899090601}, Hs.HsW2{424004136, 1449545434}, Hs.HsW2{260594094, 572371788},
469    Hs.HsW2{4204304141, 651941431}, Hs.HsW2{4033411378, 449707956}, Hs.HsW2{1678315424, 1166353743}, Hs.HsW2{399850234, 1927160926},
470    Hs.HsW2{2085907700, 356954717}, Hs.HsW2{4219485809, 545132543}, Hs.HsW2{735003512, 4205498995}, Hs.HsW2{921311165, 3026378670},
471    Hs.HsW2{2887455229, 3482480593}, Hs.HsW2{3685202506, 3764858311}, Hs.HsW2{1567310259, 3556395437}, Hs.HsW2{2987828156, 2343048265},
472    Hs.HsW2{105959701, 351923338}, Hs.HsW2{3944578274, 1090264803}, Hs.HsW2{1972167759, 597880219}, Hs.HsW2{352181374, 2016170523},
473    Hs.HsW2{4050669646, 476587644}, Hs.HsW2{3251279590, 3170047320}, Hs.HsW2{1269223989, 2810295355}, Hs.HsW2{704580736, 4143807998},
474    Hs.HsW2{3287996702, 2963585749}, Hs.HsW2{2841847404, 3516527902}, Hs.HsW2{2434384131, 1094926388}, Hs.HsW2{3981290999, 1409675881},
475    Hs.HsW2{1234607565, 2882935734}, Hs.HsW2{3887973320, 1746131946}, Hs.HsW2{2676568529, 1710959280}, Hs.HsW2{1390614557, 4058512097},
476    Hs.HsW2{1512258010, 3248913647}, Hs.HsW2{3774200737, 2052058792}, Hs.HsW2{91764625, 504077007}, Hs.HsW2{1634809905, 1536081792},
477    Hs.HsW2{3409639641, 2162506971}, Hs.HsW2{367359234, 2122943443}, Hs.HsW2{557788487, 3334274032}, Hs.HsW2{3077477421, 2510524038},
478    Hs.HsW2{2367962298, 154047521}, Hs.HsW2{1161175783, 2201607871}, Hs.HsW2{3120456959, 2971395074}, Hs.HsW2{1665234889, 1473843213},
479    Hs.HsW2{571984835, 3427700149}, Hs.HsW2{1911323298, 990686876}, Hs.HsW2{1372323481, 4212493476}, Hs.HsW2{2192336148, 724772717},
480    Hs.HsW2{2047131105, 29318871}, Hs.HsW2{2939418489, 3311409556}, Hs.HsW2{1825123943, 1975821121}, Hs.HsW2{2800451522, 4085532242},
481    Hs.HsW2{4258328420, 881320821}, Hs.HsW2{73441005, 414073607}, Hs.HsW2{2468974331, 1293217721}, Hs.HsW2{2973648184, 2170184204},
482    Hs.HsW2{122189929, 308032834}, Hs.HsW2{3460484936, 2666440212}, Hs.HsW2{3592399900, 3459068166}, Hs.HsW2{3134620283, 3152646727},
483    Hs.HsW2{2065437853, 119179039}, Hs.HsW2{230168150, 776608961}, Hs.HsW2{2562804152, 2007441394}, Hs.HsW2{18393468, 111532488},
484    Hs.HsW2{1217279153, 2910044798}, Hs.HsW2{504214081, 1144683416}, Hs.HsW2{1437294708, 3820736419}, Hs.HsW2{53012100, 183662149},
485    Hs.HsW2{1842448155, 1935768201}, Hs.HsW2{4018004495, 1481792996}, Hs.HsW2{3102133635, 3082698186}, Hs.HsW2{2120491788, 420552144},
486    Hs.HsW2{1042953850, 2216909216}, Hs.HsW2{4081065910, 272599537}, Hs.HsW2{3512194165, 3698394180}, Hs.HsW2{886724677, 3090509859},
487    Hs.HsW2{1695655644, 1126235271}, Hs.HsW2{3546782605, 3492195273}, Hs.HsW2{2287733547, 388304622}, Hs.HsW2{947578735, 2430252330},
488    Hs.HsW2{1925487654, 838785241}, Hs.HsW2{1176421475, 2311825658}, Hs.HsW2{2008853431, 804602390}, Hs.HsW2{2246319485, 963580463},
489    Hs.HsW2{817546920, 2694525732}, Hs.HsW2{3607561568, 3364415694}, Hs.HsW2{3330469519, 2930712602}, Hs.HsW2{2302976599, 293656358},
490    Hs.HsW2{686269948, 4032341046}, Hs.HsW2{3150850823, 3175893903}, Hs.HsW2{1253997385, 2703519219}, Hs.HsW2{2615783228, 2102749623},
491    Hs.HsW2{3181312530, 2847254277}, Hs.HsW2{2857091304, 3681256283}, Hs.HsW2{2400482114, 91831212}, Hs.HsW2{2172945296, 566317352},
492    Hs.HsW2{1356027877, 4256191852}, Hs.HsW2{1788477298, 1631408075}, Hs.HsW2{2383206974, 64807524}, Hs.HsW2{1451460336, 3913923046},
493    Hs.HsW2{718793220, 4228844475}, Hs.HsW2{330671127, 1785751385}, Hs.HsW2{1877068003, 2134299908}, Hs.HsW2{36720632, 207073165},
494    Hs.HsW2{4240983576, 841104061}, Hs.HsW2{4146102619, 143772406}, Hs.HsW2{832729044, 2789141228}, Hs.HsW2{1955876147, 621229139},
495    Hs.HsW2{1715028056, 1238534850}, Hs.HsW2{2817775294, 4112621466}, Hs.HsW2{2209664104, 764870309}, Hs.HsW2{460686800, 1513218391},
496    Hs.HsW2{1023594750, 2396073957}, Hs.HsW2{1599802955, 3752715808}, Hs.HsW2{3912053530, 1286320494}, Hs.HsW2{4111519395, 80110971},
497    Hs.HsW2{2826669840, 3611045078}, Hs.HsW2{2711816107, 3789058832}, Hs.HsW2{313331051, 1825947281}, Hs.HsW2{1130820594, 2545955381},
498    Hs.HsW2{645354798, 3571502770}, Hs.HsW2{0, 0}, Hs.HsW2{1990460107, 693148638}, Hs.HsW2{3559908324, 3262815883},
499    Hs.HsW2{3999615859, 1593279532}, Hs.HsW2{3162919790, 2937093837}, Hs.HsW2{2231153665, 1070255079}, Hs.HsW2{1551100111, 3579809893},
500    Hs.HsW2{3669955382, 3871536143}, Hs.HsW2{747059985, 3908495153}, Hs.HsW2{2727076143, 3945399637}, Hs.HsW2{783774953, 3835775164},
501    Hs.HsW2{1096203274, 2610404792}, Hs.HsW2{3869600436, 1857421858}, Hs.HsW2{2955340868, 2281683908}, Hs.HsW2{1530630310, 3338904871},
502    Hs.HsW2{2416011391, 1206295036}, Hs.HsW2{977971351, 2626493095}, Hs.HsW2{3790410461, 2095724384}, Hs.HsW2{488985797, 1321733597},
503    Hs.HsW2{2102183304, 333671317}, Hs.HsW2{1617531213, 1563125320}, Hs.HsW2{3430056112, 2461600153}, Hs.HsW2{1650056885, 1367132613},
504    Hs.HsW2{2902702209, 3375871513}, Hs.HsW2{3650614706, 3962602058}, Hs.HsW2{3316254731, 2757580383}, Hs.HsW2{3531551473, 3598938625},
505    Hs.HsW2{2660341933, 1667167096}, Hs.HsW2{2521938282, 1394570614}, Hs.HsW2{1730275620, 1333220106}, Hs.HsW2{473824697, 1215157269},
506    Hs.HsW2{2489448082, 1598610171}, Hs.HsW2{1943811418, 928710929}, Hs.HsW2{1895093214, 1034516308}, Hs.HsW2{3004041920, 2366492033},
507    Hs.HsW2{165185723, 920936390}, Hs.HsW2{2538147862, 1438297278}, Hs.HsW2{3372922657, 2360513366}, Hs.HsW2{3804623961, 1981301029},
508    Hs.HsW2{3042892757, 2582913291}, Hs.HsW2{2627852117, 1862884597}, Hs.HsW2{3024515753, 2672949443}, Hs.HsW2{2278838917, 892911010},
509    Hs.HsW2{408773460, 1354995474}, Hs.HsW2{3706700323, 4063959173}, Hs.HsW2{1861837215, 2039680204}, Hs.HsW2{2744338515, 3985628317},
510    Hs.HsW2{1493950302, 3411282602}, Hs.HsW2{443362476, 1553217695}, Hs.HsW2{2696654551, 3883772632}, Hs.HsW2{211861290, 686802185},
511    Hs.HsW2{1338395864, 3207591740}, Hs.HsW2{1307968288, 3011008689}, Hs.HsW2{3754370215, 4173950656}, Hs.HsW2{1060282118, 2189852776},
512    Hs.HsW2{3446286796, 2484916305}, Hs.HsW2{2922077701, 3284516956}, Hs.HsW2{3269619810, 3053544221}, Hs.HsW2{539460667, 3222872632},
513    Hs.HsW2{244379858, 616065668}, Hs.HsW2{661650514, 3527743354}, Hs.HsW2{2352780742, 260787689}, Hs.HsW2{4277668320, 1047893296},
514    Hs.HsW2{2032950117, 189606034}, Hs.HsW2{3577170584, 3302967107}, Hs.HsW2{3215898090, 2783053960}, Hs.HsW2{3235004314, 3126250640},
515    Hs.HsW2{4292911260, 953175288}, Hs.HsW2{3834979660, 1658957231}, Hs.HsW2{4094191583, 40090803}, Hs.HsW2{588210879, 3404420221},
516    Hs.HsW2{278741651, 1619136796}, Hs.HsW2{3494870281, 3671383436}, Hs.HsW2{1469788044, 4025245742}, Hs.HsW2{2138868336, 531940376},
517    Hs.HsW2{2765828154, 4292078047}, Hs.HsW2{2599487040, 2079371391}, Hs.HsW2{3723979615, 4104044877}, Hs.HsW2{1191603487, 2406379826},
518    Hs.HsW2{2261580793, 865952874}, Hs.HsW2{3851258928, 1682207847}, Hs.HsW2{4189090185, 740925554}, Hs.HsW2{608639702, 3635896639},
519    Hs.HsW2{293989359, 1713883348}, Hs.HsW2{3199605910, 2739392832}, Hs.HsW2{627028906, 3725768951}, Hs.HsW2{1078859126, 2637317232},
520    Hs.HsW2{3061202257, 2466666318}, Hs.HsW2{3348776947, 2819291602}, Hs.HsW2{1143901083, 2241595255}, Hs.HsW2{2646179369, 1772913981}]