|
|
|
|
@ -0,0 +1,855 @@
|
|
|
|
|
# generated by TestGen/TestSponge.hs
|
|
|
|
|
|
|
|
|
|
import goldilocks_hash/types
|
|
|
|
|
|
|
|
|
|
const testcases_field_rate1* : array[81, tuple[n:int,digest:F4]] =
|
|
|
|
|
[ ( 0 , [ toF( 0xe6e5f248cf6f1b62'u64 ), toF( 0x5441137759a5c878'u64 ), toF( 0x65c58c5f64f6299b'u64 ), toF( 0x24b7bdf9f2193da3'u64 ) ] )
|
|
|
|
|
, ( 1 , [ toF( 0x9c897ba011dbeb7e'u64 ), toF( 0xe4107a2c94369580'u64 ), toF( 0xc5dcbeb7686ae7db'u64 ), toF( 0x107962f713fb8831'u64 ) ] )
|
|
|
|
|
, ( 2 , [ toF( 0x5fd6b774f562bf1f'u64 ), toF( 0x838622471a6abbee'u64 ), toF( 0x263098db18ea1855'u64 ), toF( 0x86aa08fddc69043a'u64 ) ] )
|
|
|
|
|
, ( 3 , [ toF( 0x45f35fee9de5cbc2'u64 ), toF( 0x534353881c96ac93'u64 ), toF( 0x9f0951aa35453c2f'u64 ), toF( 0x4f049f5b247bfe67'u64 ) ] )
|
|
|
|
|
, ( 4 , [ toF( 0x54a25eaa8a45d40b'u64 ), toF( 0x9043b12f54d8540f'u64 ), toF( 0x9210a26338c2d5e4'u64 ), toF( 0xac415ce08801e5b1'u64 ) ] )
|
|
|
|
|
, ( 5 , [ toF( 0x13faec69b6435869'u64 ), toF( 0xf261a01d04c5d12d'u64 ), toF( 0x8f8f03311c5ea0ee'u64 ), toF( 0xf9166b830b9d02d7'u64 ) ] )
|
|
|
|
|
, ( 6 , [ toF( 0x988f97fb1d79d8fc'u64 ), toF( 0x6be4c893d1b47b05'u64 ), toF( 0xc15c636c57e98b17'u64 ), toF( 0x020bee8f92e2336e'u64 ) ] )
|
|
|
|
|
, ( 7 , [ toF( 0x5ae7ea84d99fc7a8'u64 ), toF( 0x187bd755deb00b97'u64 ), toF( 0xe147e22a30cd1ad0'u64 ), toF( 0xd7491636acb21fd5'u64 ) ] )
|
|
|
|
|
, ( 8 , [ toF( 0x9618ef16fb8719aa'u64 ), toF( 0xb881a438557de5d9'u64 ), toF( 0x067c4b457664ae81'u64 ), toF( 0xeab5aac17403e8c0'u64 ) ] )
|
|
|
|
|
, ( 9 , [ toF( 0x8e89fccf2aea7e06'u64 ), toF( 0xb569b0bf66628b3a'u64 ), toF( 0xb0105e6f011edd0b'u64 ), toF( 0xa6839ec87a273a47'u64 ) ] )
|
|
|
|
|
, ( 10 , [ toF( 0xc9a7610c047ac7b2'u64 ), toF( 0x7f5a517de7b92ba5'u64 ), toF( 0x297618c52995965c'u64 ), toF( 0x4fe9a8a7b676268b'u64 ) ] )
|
|
|
|
|
, ( 11 , [ toF( 0x293355a03dbd97cf'u64 ), toF( 0x527d6d59a7b1525c'u64 ), toF( 0x14757e0180ac4167'u64 ), toF( 0x6292547c77625e16'u64 ) ] )
|
|
|
|
|
, ( 12 , [ toF( 0x095bb6d482521292'u64 ), toF( 0x0798eb54804f141b'u64 ), toF( 0x3f97e3fe33531e4c'u64 ), toF( 0x7e586d1324f9bda6'u64 ) ] )
|
|
|
|
|
, ( 13 , [ toF( 0xf049e740b8c504ab'u64 ), toF( 0x673da83974be897c'u64 ), toF( 0x4a856d397b61bf38'u64 ), toF( 0x4aad59ebf8ae5608'u64 ) ] )
|
|
|
|
|
, ( 14 , [ toF( 0x36ff9fd516644df0'u64 ), toF( 0x38f4d7aa32da91f4'u64 ), toF( 0x090bf9f2626d7009'u64 ), toF( 0x58e73eb54d2ce7ce'u64 ) ] )
|
|
|
|
|
, ( 15 , [ toF( 0x5791a41483730368'u64 ), toF( 0x40a4b1f94d5509c4'u64 ), toF( 0x3bf21f902ece7f89'u64 ), toF( 0x14b44b16967cf715'u64 ) ] )
|
|
|
|
|
, ( 16 , [ toF( 0xd55eba6b21dda274'u64 ), toF( 0x799e7066ba200b27'u64 ), toF( 0xe2ad935adc3df3f4'u64 ), toF( 0x8adb9ec514d79783'u64 ) ] )
|
|
|
|
|
, ( 17 , [ toF( 0xc202cf4096293e62'u64 ), toF( 0xcb27d6fe36b1bb9d'u64 ), toF( 0x61a3e67aeb728d06'u64 ), toF( 0xc8ae5fdc97c21ad0'u64 ) ] )
|
|
|
|
|
, ( 18 , [ toF( 0xb4b125c8f11a88e7'u64 ), toF( 0xe73b07f4c5f3f57b'u64 ), toF( 0xd7033ca83043b036'u64 ), toF( 0xe015d4782dcf3c1b'u64 ) ] )
|
|
|
|
|
, ( 19 , [ toF( 0x2123f3c722aece0d'u64 ), toF( 0x93e6c23ef45c67c2'u64 ), toF( 0xaa68598b062407cb'u64 ), toF( 0x8146c3505df1fd75'u64 ) ] )
|
|
|
|
|
, ( 20 , [ toF( 0x686bf72bc724cfff'u64 ), toF( 0xb32848666a6dba12'u64 ), toF( 0xee268640c97bd53c'u64 ), toF( 0xce7d4e93c5a9a11c'u64 ) ] )
|
|
|
|
|
, ( 21 , [ toF( 0xb860d4bc2fe1747b'u64 ), toF( 0xcba37a9c9dce1bb2'u64 ), toF( 0x75aa26b2adf852eb'u64 ), toF( 0x82642f58909056ff'u64 ) ] )
|
|
|
|
|
, ( 22 , [ toF( 0xd703a30f7c68ddf4'u64 ), toF( 0xddceeb8c426eb81e'u64 ), toF( 0x4d15609ecced15db'u64 ), toF( 0x832aca8455dd3b75'u64 ) ] )
|
|
|
|
|
, ( 23 , [ toF( 0x4dfac3cf6c9b14f5'u64 ), toF( 0xd3ce667ebb25c174'u64 ), toF( 0xcb7120d6e7dfadb4'u64 ), toF( 0xb5d28e264f149251'u64 ) ] )
|
|
|
|
|
, ( 24 , [ toF( 0x12c9a80b5ff9a0b5'u64 ), toF( 0x5a60b2968d544703'u64 ), toF( 0xcdf56b4dec905158'u64 ), toF( 0x21e8710383b6d35d'u64 ) ] )
|
|
|
|
|
, ( 25 , [ toF( 0x4be08ab7db31561d'u64 ), toF( 0x25937f64586f7c2c'u64 ), toF( 0x831c0a3361f26d4c'u64 ), toF( 0x015b17eb6eaf8ec5'u64 ) ] )
|
|
|
|
|
, ( 26 , [ toF( 0xa845d64e9c10bef9'u64 ), toF( 0x0d053ef66b20345b'u64 ), toF( 0x3512768ffb740a59'u64 ), toF( 0x16d1cc2197da40b2'u64 ) ] )
|
|
|
|
|
, ( 27 , [ toF( 0xf0db32cf7f7a0f83'u64 ), toF( 0xf4d5705b63e145c6'u64 ), toF( 0x0fa02904e0cd04dc'u64 ), toF( 0x73a6ee6c334284bb'u64 ) ] )
|
|
|
|
|
, ( 28 , [ toF( 0xdd9954911766d3f3'u64 ), toF( 0xf4bfe7c633426d67'u64 ), toF( 0x759e08c4bed957ec'u64 ), toF( 0x80fcbc19b17bcc7b'u64 ) ] )
|
|
|
|
|
, ( 29 , [ toF( 0x2c4ecbbad6fa4742'u64 ), toF( 0x2d972803f9fb7911'u64 ), toF( 0xb39213fd076f2596'u64 ), toF( 0xff221cce0c2343bb'u64 ) ] )
|
|
|
|
|
, ( 30 , [ toF( 0x6bdaa16f2d9a3aef'u64 ), toF( 0x59d6d3e1e3b3e9da'u64 ), toF( 0x8dd049e3e6bec194'u64 ), toF( 0xca131bc2b81b41d1'u64 ) ] )
|
|
|
|
|
, ( 31 , [ toF( 0xcb0264538ceb4293'u64 ), toF( 0xe8234ea5c6120708'u64 ), toF( 0x995901ced4dae192'u64 ), toF( 0xb885b507c78119ce'u64 ) ] )
|
|
|
|
|
, ( 32 , [ toF( 0x0c31d75e5ec62e51'u64 ), toF( 0x4738001ce3d008f4'u64 ), toF( 0x7e7abf0c8674ed9d'u64 ), toF( 0xe0f48c86a8027852'u64 ) ] )
|
|
|
|
|
, ( 33 , [ toF( 0x3fb21a544f441324'u64 ), toF( 0x93745e80ee832062'u64 ), toF( 0xb577c203963578dc'u64 ), toF( 0x8d8e8aed39741cd3'u64 ) ] )
|
|
|
|
|
, ( 34 , [ toF( 0x82d9ac61a6b6d219'u64 ), toF( 0x712be5dfdd10154d'u64 ), toF( 0x20f06c5245033794'u64 ), toF( 0x29d6c91936a09296'u64 ) ] )
|
|
|
|
|
, ( 35 , [ toF( 0xb0fa74b34b260727'u64 ), toF( 0xdd8d7f105a168900'u64 ), toF( 0xbce1fc420d6fa961'u64 ), toF( 0x9636a3163594015b'u64 ) ] )
|
|
|
|
|
, ( 36 , [ toF( 0xfea2e845053f882e'u64 ), toF( 0x77786297e666c898'u64 ), toF( 0x417c3013f09e478e'u64 ), toF( 0x9a4dd08e6156905f'u64 ) ] )
|
|
|
|
|
, ( 37 , [ toF( 0x1b9fb0f667ddb08b'u64 ), toF( 0xba466836fa861105'u64 ), toF( 0x0b8207c30536da37'u64 ), toF( 0x0f5d837006d9b7d5'u64 ) ] )
|
|
|
|
|
, ( 38 , [ toF( 0x033ed557dd07f1b6'u64 ), toF( 0x503a6facf900ac68'u64 ), toF( 0xaaf579fa1b93f8e1'u64 ), toF( 0x6acc21882d4f2591'u64 ) ] )
|
|
|
|
|
, ( 39 , [ toF( 0x173cd27e52397ee4'u64 ), toF( 0x8777eb63598d7008'u64 ), toF( 0xc0aa78daaa4cd06b'u64 ), toF( 0x77b5d724262f7995'u64 ) ] )
|
|
|
|
|
, ( 40 , [ toF( 0x40c901608663a37d'u64 ), toF( 0x978c7a66b02cd1cf'u64 ), toF( 0x09091762f92dc03e'u64 ), toF( 0x1ee7807cd93883dd'u64 ) ] )
|
|
|
|
|
, ( 41 , [ toF( 0xde174c29bde4a953'u64 ), toF( 0x17507df42804d1f6'u64 ), toF( 0xb5b4af43dcb09884'u64 ), toF( 0x582d874d7109c37f'u64 ) ] )
|
|
|
|
|
, ( 42 , [ toF( 0x93625cf8d9aa2665'u64 ), toF( 0xf7bd8c01f794b057'u64 ), toF( 0xfb43ab8ee2b86ad7'u64 ), toF( 0xb5123d4b3d73eed0'u64 ) ] )
|
|
|
|
|
, ( 43 , [ toF( 0xeaf6572828990218'u64 ), toF( 0x6ea03a411673edf8'u64 ), toF( 0x39b1019caed93ac3'u64 ), toF( 0xcd8af80c0bad5a5c'u64 ) ] )
|
|
|
|
|
, ( 44 , [ toF( 0x2b326ecca8e710dc'u64 ), toF( 0xe778a58f82d11ac1'u64 ), toF( 0x5fcd079b766a8e02'u64 ), toF( 0x7d83ea1836a7bcca'u64 ) ] )
|
|
|
|
|
, ( 45 , [ toF( 0x0c032a8b37973dff'u64 ), toF( 0x4d3ab06abf6eba83'u64 ), toF( 0x0fb4bca863ca9678'u64 ), toF( 0xe6675c37fdf40bb4'u64 ) ] )
|
|
|
|
|
, ( 46 , [ toF( 0xe8eb91e6971bb6ad'u64 ), toF( 0xbf4c5baba70d8534'u64 ), toF( 0xbcc53b7b7643f241'u64 ), toF( 0xde4a86ea75b7c27d'u64 ) ] )
|
|
|
|
|
, ( 47 , [ toF( 0x8daa5dd7e4c5b8f5'u64 ), toF( 0xb71a97952eb9e890'u64 ), toF( 0x8ab9fdbe74233af7'u64 ), toF( 0x6c83df4fd88dc65d'u64 ) ] )
|
|
|
|
|
, ( 48 , [ toF( 0x019d4cf976e2bd04'u64 ), toF( 0xcbc5bef4abbc01eb'u64 ), toF( 0x36cbf0187026735d'u64 ), toF( 0x124f561471adf2bf'u64 ) ] )
|
|
|
|
|
, ( 49 , [ toF( 0xca0b02d94e755833'u64 ), toF( 0x0f67bb20ad17fd91'u64 ), toF( 0xd93d83d81901f806'u64 ), toF( 0x4e233147a481ba5d'u64 ) ] )
|
|
|
|
|
, ( 50 , [ toF( 0x8356b7f8d0bde93a'u64 ), toF( 0x6e3eccf8de62bbb6'u64 ), toF( 0x2570d2cce051a2d7'u64 ), toF( 0xe9876924e0af93ab'u64 ) ] )
|
|
|
|
|
, ( 51 , [ toF( 0xd82d1559e19cfe7a'u64 ), toF( 0xb5b4b828332e487e'u64 ), toF( 0xf23faf239203b6c6'u64 ), toF( 0x50af9fe78713ab73'u64 ) ] )
|
|
|
|
|
, ( 52 , [ toF( 0x53e2db4361d925ba'u64 ), toF( 0x478135801514ca6b'u64 ), toF( 0xd2f33a7324f7f62a'u64 ), toF( 0xed55d41c5a22c71b'u64 ) ] )
|
|
|
|
|
, ( 53 , [ toF( 0xfacbfd7baf83a82e'u64 ), toF( 0xa48e9735defb1f43'u64 ), toF( 0x66c314bc39ac624c'u64 ), toF( 0x46ecdea4bf9b7d9e'u64 ) ] )
|
|
|
|
|
, ( 54 , [ toF( 0xe425d882dbfbb046'u64 ), toF( 0xe8218c273a3549b0'u64 ), toF( 0xd826c009cd92dc7f'u64 ), toF( 0x66f3d5f3e3b125b4'u64 ) ] )
|
|
|
|
|
, ( 55 , [ toF( 0xdfe5400d21f2e9af'u64 ), toF( 0xff3c905bf8cb853a'u64 ), toF( 0x8fbbc4bf3da41e6f'u64 ), toF( 0x7e7a4d1eadb7c88c'u64 ) ] )
|
|
|
|
|
, ( 56 , [ toF( 0x2aebea4ce93f5b43'u64 ), toF( 0xe650f72575f0196b'u64 ), toF( 0x7ddee99f18ad7a91'u64 ), toF( 0xc763f0a69dc0590d'u64 ) ] )
|
|
|
|
|
, ( 57 , [ toF( 0x98e32e0d6683b65a'u64 ), toF( 0x3fe878bb3bd5bc0d'u64 ), toF( 0x4e3a3653d87e394c'u64 ), toF( 0x08da951164533bfc'u64 ) ] )
|
|
|
|
|
, ( 58 , [ toF( 0xf9f8fc9f086d87ce'u64 ), toF( 0xe0a4dfb47382ffdb'u64 ), toF( 0x5a478e88b23d2b94'u64 ), toF( 0x2beea57f2d588e78'u64 ) ] )
|
|
|
|
|
, ( 59 , [ toF( 0x76cf4ebd647b2eac'u64 ), toF( 0x3b9f32e11213e36c'u64 ), toF( 0x912483d0f8f85276'u64 ), toF( 0xad081b1217d180bb'u64 ) ] )
|
|
|
|
|
, ( 60 , [ toF( 0x40e9ece70443147a'u64 ), toF( 0xe376b419aac274e6'u64 ), toF( 0x9733f91f95b045a4'u64 ), toF( 0x1cad18499dac10c9'u64 ) ] )
|
|
|
|
|
, ( 61 , [ toF( 0xee2a4b05ab7bec3e'u64 ), toF( 0x35ed12462ad46eb5'u64 ), toF( 0xd72d29bf098ddec9'u64 ), toF( 0x19e4957ad6c59bd0'u64 ) ] )
|
|
|
|
|
, ( 62 , [ toF( 0x1adb9184bbc01bbe'u64 ), toF( 0xb049407c6440b522'u64 ), toF( 0x2bb5552a06daed11'u64 ), toF( 0x3d2bc9d664070329'u64 ) ] )
|
|
|
|
|
, ( 63 , [ toF( 0xe03f571d9e8f73f1'u64 ), toF( 0x540b6ab4700a8a52'u64 ), toF( 0x11d3fb30cadf361a'u64 ), toF( 0x41340c524125ca26'u64 ) ] )
|
|
|
|
|
, ( 64 , [ toF( 0x6a5aa69f7fc52cc5'u64 ), toF( 0xa6e3420694aa4bc0'u64 ), toF( 0xf54e9fd704185a34'u64 ), toF( 0xa99860c67846d993'u64 ) ] )
|
|
|
|
|
, ( 65 , [ toF( 0x04156a820890946f'u64 ), toF( 0xfac217b6b7f4924c'u64 ), toF( 0x18020536b7db68a2'u64 ), toF( 0x4e35f10ce4e134d0'u64 ) ] )
|
|
|
|
|
, ( 66 , [ toF( 0x5c9952740f679927'u64 ), toF( 0x33962763d435c780'u64 ), toF( 0xe6d53eb7f727175b'u64 ), toF( 0x06cf829eaa69b468'u64 ) ] )
|
|
|
|
|
, ( 67 , [ toF( 0xce52bbe3e893380b'u64 ), toF( 0x5148604823ca627e'u64 ), toF( 0xaf107caffa85426e'u64 ), toF( 0x8ccc469d1079b83b'u64 ) ] )
|
|
|
|
|
, ( 68 , [ toF( 0xbc7f48b05b931b8c'u64 ), toF( 0xb4cb5c57e6fdc22d'u64 ), toF( 0xd735713f6f8b6909'u64 ), toF( 0x480a1de71ff67807'u64 ) ] )
|
|
|
|
|
, ( 69 , [ toF( 0x00fdbe95326dbf8b'u64 ), toF( 0x8c24d61d1617becb'u64 ), toF( 0x9df9cfb0179f159c'u64 ), toF( 0x4fbe474f1f7094ea'u64 ) ] )
|
|
|
|
|
, ( 70 , [ toF( 0x7b56181b8b232cc5'u64 ), toF( 0x93a0de940640b443'u64 ), toF( 0xca4afcc419469a37'u64 ), toF( 0x865901ee8158fc8f'u64 ) ] )
|
|
|
|
|
, ( 71 , [ toF( 0x2ffc30d15dd6089d'u64 ), toF( 0x4ef8ac4957571b29'u64 ), toF( 0x565c4acea3a02f58'u64 ), toF( 0xaac1591f0da30463'u64 ) ] )
|
|
|
|
|
, ( 72 , [ toF( 0xced2e51c01f6b013'u64 ), toF( 0xf89d3035932d0394'u64 ), toF( 0xcd179597aa30ae9f'u64 ), toF( 0xae524dbfbb729b9a'u64 ) ] )
|
|
|
|
|
, ( 73 , [ toF( 0x6ca6289dc04c4cd0'u64 ), toF( 0xc93f9a7909631f52'u64 ), toF( 0x1f71546dad72269a'u64 ), toF( 0x23b53eb5ea714854'u64 ) ] )
|
|
|
|
|
, ( 74 , [ toF( 0x48345c087f859a72'u64 ), toF( 0xc6e52eeab1fa5d16'u64 ), toF( 0x09fc00624f42bc09'u64 ), toF( 0x5217a5e4205bc00e'u64 ) ] )
|
|
|
|
|
, ( 75 , [ toF( 0xff043c1cc1aa10a5'u64 ), toF( 0xfb0df5583dcba4de'u64 ), toF( 0x4b3418531de722fa'u64 ), toF( 0xc15b3987d38b5427'u64 ) ] )
|
|
|
|
|
, ( 76 , [ toF( 0xf163c825d9a7cbeb'u64 ), toF( 0xe6798b9a2f65da89'u64 ), toF( 0x9c960c35090bb8ed'u64 ), toF( 0x8a5cba3e8c786995'u64 ) ] )
|
|
|
|
|
, ( 77 , [ toF( 0x55b831f1ddfe83ad'u64 ), toF( 0x008f0bc6ac81fd26'u64 ), toF( 0x88c7af3afef7c104'u64 ), toF( 0x06271a4e56bcfbaf'u64 ) ] )
|
|
|
|
|
, ( 78 , [ toF( 0xf54d365b8aeca048'u64 ), toF( 0x9b08bf7423a0c3c0'u64 ), toF( 0x02d8bd08137a4bf2'u64 ), toF( 0xc9682f7e2651b8da'u64 ) ] )
|
|
|
|
|
, ( 79 , [ toF( 0xfa0c25d7c1bf524a'u64 ), toF( 0x6774ebf6c472a238'u64 ), toF( 0x9122ab84f3d1e6eb'u64 ), toF( 0x1750a24ce57c5db1'u64 ) ] )
|
|
|
|
|
, ( 80 , [ toF( 0xada9934eacaeb9fc'u64 ), toF( 0x23a6ae3cf26275c8'u64 ), toF( 0xef772a28223020e2'u64 ), toF( 0x9c431054c823759d'u64 ) ] )
|
|
|
|
|
]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
const testcases_field_rate2* : array[81, tuple[n:int,digest:F4]] =
|
|
|
|
|
[ ( 0 , [ toF( 0x9a9cc4ede10abdbb'u64 ), toF( 0xe9cf650ff8a4da38'u64 ), toF( 0xa11f697bb5171333'u64 ), toF( 0xc307aff1cff044ee'u64 ) ] )
|
|
|
|
|
, ( 1 , [ toF( 0x79dd5153e4e346fb'u64 ), toF( 0x9f94dfcb4075fb86'u64 ), toF( 0x18aedeb133265385'u64 ), toF( 0xc29c95ea536962e2'u64 ) ] )
|
|
|
|
|
, ( 2 , [ toF( 0x82b799616c67fe11'u64 ), toF( 0x010ef4d6b4ba4736'u64 ), toF( 0x6299a5d96a56a69e'u64 ), toF( 0x014cbb672822859a'u64 ) ] )
|
|
|
|
|
, ( 3 , [ toF( 0x2263585b4940cb85'u64 ), toF( 0x7430dbe2cf28bbee'u64 ), toF( 0x17469e102604eac0'u64 ), toF( 0xaa6dbdafc42c7b16'u64 ) ] )
|
|
|
|
|
, ( 4 , [ toF( 0x214b6e0db9bece87'u64 ), toF( 0x3261ad416968bdad'u64 ), toF( 0xc4231c41c79b7acd'u64 ), toF( 0x552ddeeb324d45b9'u64 ) ] )
|
|
|
|
|
, ( 5 , [ toF( 0x66c645b03fb46763'u64 ), toF( 0xb989e23839d6369e'u64 ), toF( 0x65c6934600623931'u64 ), toF( 0xbac10108981e5da8'u64 ) ] )
|
|
|
|
|
, ( 6 , [ toF( 0x8e03284e42300b35'u64 ), toF( 0x3beb226a0e8b04b2'u64 ), toF( 0x542d225ab9703152'u64 ), toF( 0x274db6ea7b908260'u64 ) ] )
|
|
|
|
|
, ( 7 , [ toF( 0x5bcf1f10667ae4b4'u64 ), toF( 0x054538f796bde561'u64 ), toF( 0x7572cb1ebfa89281'u64 ), toF( 0x71a074090a2baeac'u64 ) ] )
|
|
|
|
|
, ( 8 , [ toF( 0x131452bbe7ac8361'u64 ), toF( 0x77e22c4fc262b362'u64 ), toF( 0xc6b85fd9ab3390fa'u64 ), toF( 0xf3e91d6f93074d70'u64 ) ] )
|
|
|
|
|
, ( 9 , [ toF( 0x55241fb3067f642a'u64 ), toF( 0xad965ff54ac46033'u64 ), toF( 0xbd3ebe095f64d906'u64 ), toF( 0x8735017753fd5bd0'u64 ) ] )
|
|
|
|
|
, ( 10 , [ toF( 0x1ddbac3a45984900'u64 ), toF( 0x5472b3ee8c3d323b'u64 ), toF( 0x8f43f93b329c8f95'u64 ), toF( 0x983a64ddca81f099'u64 ) ] )
|
|
|
|
|
, ( 11 , [ toF( 0xe24d95cff11b9011'u64 ), toF( 0x32b3323daa2cbe8e'u64 ), toF( 0xfd13e0691e36c8fb'u64 ), toF( 0xdf46086eeb0112a7'u64 ) ] )
|
|
|
|
|
, ( 12 , [ toF( 0x729a3bb3819febf5'u64 ), toF( 0xd76ee632f739783e'u64 ), toF( 0xe1752f7fb67d4d00'u64 ), toF( 0x1f0dc60b91a054ec'u64 ) ] )
|
|
|
|
|
, ( 13 , [ toF( 0x380071924a050a86'u64 ), toF( 0x43e58149b0dfed45'u64 ), toF( 0xf37d2666882b520c'u64 ), toF( 0x46521e6e3b4093c8'u64 ) ] )
|
|
|
|
|
, ( 14 , [ toF( 0x1e7038bf2aa7f72f'u64 ), toF( 0x9dbfd73c26db46be'u64 ), toF( 0x734d2c3b36109da1'u64 ), toF( 0x621f7410715ab3f3'u64 ) ] )
|
|
|
|
|
, ( 15 , [ toF( 0x672eee3cc6ccb14f'u64 ), toF( 0x0ad6b945fc119f85'u64 ), toF( 0x742fe08c2c9a76c5'u64 ), toF( 0x35419e8a1bd821ce'u64 ) ] )
|
|
|
|
|
, ( 16 , [ toF( 0xf29fcfc0818950b0'u64 ), toF( 0xde433e4034874d36'u64 ), toF( 0x7651281b8f530d36'u64 ), toF( 0x4d58698e56bcc59e'u64 ) ] )
|
|
|
|
|
, ( 17 , [ toF( 0x3586113803dc0196'u64 ), toF( 0x70e614a5046e89e4'u64 ), toF( 0xcac83963685343fc'u64 ), toF( 0xec0a239ce17e3b44'u64 ) ] )
|
|
|
|
|
, ( 18 , [ toF( 0xf15a81c4f2879787'u64 ), toF( 0x8a9f8a3d7b123545'u64 ), toF( 0xfd5b1a20dec6d347'u64 ), toF( 0xc57dcb45fb2a7690'u64 ) ] )
|
|
|
|
|
, ( 19 , [ toF( 0x1d9db69543035f80'u64 ), toF( 0x782e9f3c31608610'u64 ), toF( 0x61e3a994ca4fbe5d'u64 ), toF( 0x7f65c477520317fb'u64 ) ] )
|
|
|
|
|
, ( 20 , [ toF( 0x53b52cfc9a5b06ec'u64 ), toF( 0x022801699af3f7c3'u64 ), toF( 0x9b129c87a31b4c1e'u64 ), toF( 0x3fdba580b1483df9'u64 ) ] )
|
|
|
|
|
, ( 21 , [ toF( 0xa32ffb77e900d91c'u64 ), toF( 0xe40615c4d969f957'u64 ), toF( 0x949536ecbb5bf1c7'u64 ), toF( 0xa92409ce80acdf2c'u64 ) ] )
|
|
|
|
|
, ( 22 , [ toF( 0xda126f0f41a8cd57'u64 ), toF( 0x7982c310c707f577'u64 ), toF( 0x28623a9b0d3eec7d'u64 ), toF( 0xa675f92a4d66bfd9'u64 ) ] )
|
|
|
|
|
, ( 23 , [ toF( 0x649a1e59947a39a4'u64 ), toF( 0x609417f6480dab83'u64 ), toF( 0x02012e54d9c0b9e1'u64 ), toF( 0xd7903d31cc1d194f'u64 ) ] )
|
|
|
|
|
, ( 24 , [ toF( 0x4f2cc1f021f00aff'u64 ), toF( 0x9f66040fdcec8af6'u64 ), toF( 0x61e4d9b302ab28d7'u64 ), toF( 0x5dfc8c522fff61e4'u64 ) ] )
|
|
|
|
|
, ( 25 , [ toF( 0x9d6001f40e3821aa'u64 ), toF( 0xa765056f591c420a'u64 ), toF( 0x54519c7229250d6a'u64 ), toF( 0xebd7732b0a1b5c19'u64 ) ] )
|
|
|
|
|
, ( 26 , [ toF( 0x7daf63c4825874db'u64 ), toF( 0xded091a61fae40af'u64 ), toF( 0x15bf262428146671'u64 ), toF( 0xba089041000dd5ab'u64 ) ] )
|
|
|
|
|
, ( 27 , [ toF( 0x45e17423387dcb57'u64 ), toF( 0x3b8ad09296d1084c'u64 ), toF( 0xa848a44f54c100a8'u64 ), toF( 0x04ebb323fcd61b23'u64 ) ] )
|
|
|
|
|
, ( 28 , [ toF( 0x12ca79e2656890c3'u64 ), toF( 0x43afe0e63a5ff1ba'u64 ), toF( 0xe73b6e6db129ae32'u64 ), toF( 0xc4068d21dc01df1d'u64 ) ] )
|
|
|
|
|
, ( 29 , [ toF( 0x32e1d19ebcb7194d'u64 ), toF( 0xf42486f0bef963ef'u64 ), toF( 0x3125df029871b0c9'u64 ), toF( 0x1abdcab643c81324'u64 ) ] )
|
|
|
|
|
, ( 30 , [ toF( 0x5d3bdab05cb29c6e'u64 ), toF( 0x81e0ce9af8a13842'u64 ), toF( 0x10bfcf3421cf7c7b'u64 ), toF( 0x84b442bb5bb825b6'u64 ) ] )
|
|
|
|
|
, ( 31 , [ toF( 0xb06059b7e1174ddf'u64 ), toF( 0x536ba24ea97cc120'u64 ), toF( 0x0ae84403b38a791f'u64 ), toF( 0xd0f8361627149fee'u64 ) ] )
|
|
|
|
|
, ( 32 , [ toF( 0xe5bc5c8aca84cd93'u64 ), toF( 0xe72eef2a8a8b4a3d'u64 ), toF( 0x0001f7df07f7ddc5'u64 ), toF( 0x17281a78e09b18be'u64 ) ] )
|
|
|
|
|
, ( 33 , [ toF( 0xe3f5115f3fdf4f37'u64 ), toF( 0x358c5fa5fe8d7763'u64 ), toF( 0x7edccb7b927d43c1'u64 ), toF( 0x3d05fe727079aa62'u64 ) ] )
|
|
|
|
|
, ( 34 , [ toF( 0x74f3afd5aafa5419'u64 ), toF( 0x44264aa1faed8aed'u64 ), toF( 0x4c7405f867afb7c0'u64 ), toF( 0x607039344ca70b59'u64 ) ] )
|
|
|
|
|
, ( 35 , [ toF( 0xa808f0493821b499'u64 ), toF( 0xb53303d4fdad0375'u64 ), toF( 0x3c1bb5ec63fd8ebc'u64 ), toF( 0xb606f656ad864669'u64 ) ] )
|
|
|
|
|
, ( 36 , [ toF( 0x37b6ab956ab3ba64'u64 ), toF( 0x8fc4473341998102'u64 ), toF( 0xd66a2d91ba104884'u64 ), toF( 0x9733ea50a12f1815'u64 ) ] )
|
|
|
|
|
, ( 37 , [ toF( 0x2e841af0212407e2'u64 ), toF( 0x713cda14e406459f'u64 ), toF( 0x8d8135622cb41bc0'u64 ), toF( 0x4fa9a72242760be7'u64 ) ] )
|
|
|
|
|
, ( 38 , [ toF( 0xa2972f9c0afde49f'u64 ), toF( 0x1486035cc16af8fd'u64 ), toF( 0xf99234de4a143271'u64 ), toF( 0x13fb3130c1bdc195'u64 ) ] )
|
|
|
|
|
, ( 39 , [ toF( 0xa70dfe9d4c940af8'u64 ), toF( 0x773dbcfa080e1de7'u64 ), toF( 0xe7276a9bb3ab9cd4'u64 ), toF( 0x97a03b38b64409e8'u64 ) ] )
|
|
|
|
|
, ( 40 , [ toF( 0x4d421d15db2bffdc'u64 ), toF( 0xa755be02268c1916'u64 ), toF( 0x1a3c232dadcca23d'u64 ), toF( 0x1af4e07983740e0e'u64 ) ] )
|
|
|
|
|
, ( 41 , [ toF( 0xf3093ab462fb314f'u64 ), toF( 0x600ffaf910dc05ab'u64 ), toF( 0xdd791a52509808bf'u64 ), toF( 0x28fd660f603a8e6a'u64 ) ] )
|
|
|
|
|
, ( 42 , [ toF( 0xf9a5dcae5c29ee1d'u64 ), toF( 0x6ace70757bbb66df'u64 ), toF( 0xcc753d9b84c349cd'u64 ), toF( 0x90b1660a725687bd'u64 ) ] )
|
|
|
|
|
, ( 43 , [ toF( 0x9a06d286e45290c1'u64 ), toF( 0x60a28dcaaba31eaa'u64 ), toF( 0x18495316f7833426'u64 ), toF( 0x08d6d7cae88ced6a'u64 ) ] )
|
|
|
|
|
, ( 44 , [ toF( 0xf3243c71387f1a66'u64 ), toF( 0xca59e796aca0e1c2'u64 ), toF( 0xbb22bf3cee6d8178'u64 ), toF( 0x8cdf119d6567dd01'u64 ) ] )
|
|
|
|
|
, ( 45 , [ toF( 0xb5f9d1610a25cd9a'u64 ), toF( 0x5bc43e95ca065aeb'u64 ), toF( 0xfce96013e7e460f8'u64 ), toF( 0xdb8056b4ff6bc3b5'u64 ) ] )
|
|
|
|
|
, ( 46 , [ toF( 0xabb7e2f8566ac673'u64 ), toF( 0xcf2a81bcd37e1532'u64 ), toF( 0x952d78035dc46bb3'u64 ), toF( 0x3b96616b89cb67b2'u64 ) ] )
|
|
|
|
|
, ( 47 , [ toF( 0x61aab9d2ea5d681d'u64 ), toF( 0xed5a4e9f7a97fd57'u64 ), toF( 0x5b8ee1034e3db07b'u64 ), toF( 0x533474b6df0d1e90'u64 ) ] )
|
|
|
|
|
, ( 48 , [ toF( 0xe53b4c20fb9d1e04'u64 ), toF( 0xe416321a08298372'u64 ), toF( 0x9ee1d6091af82772'u64 ), toF( 0xb3f0fc7f4067acfb'u64 ) ] )
|
|
|
|
|
, ( 49 , [ toF( 0xb0f2f1a361dc4d39'u64 ), toF( 0x341471a1e5afacc0'u64 ), toF( 0xb6342fef801650c7'u64 ), toF( 0xc4e576e4a1675a0b'u64 ) ] )
|
|
|
|
|
, ( 50 , [ toF( 0x0139ea543f13e42c'u64 ), toF( 0x48c516f66be3443e'u64 ), toF( 0xe7992a1b9770d1b9'u64 ), toF( 0x5cf60de3c0ff0162'u64 ) ] )
|
|
|
|
|
, ( 51 , [ toF( 0xfbe7698abdf4a6cb'u64 ), toF( 0xe2240571017e6f43'u64 ), toF( 0xc09d15e4f3647bdf'u64 ), toF( 0x1c512a49d5e72d49'u64 ) ] )
|
|
|
|
|
, ( 52 , [ toF( 0x46539106c936f9f4'u64 ), toF( 0x61d0f7518aa77745'u64 ), toF( 0xffe3d4a343d8e645'u64 ), toF( 0x68dc99af34bf582c'u64 ) ] )
|
|
|
|
|
, ( 53 , [ toF( 0x0f627081e8791877'u64 ), toF( 0x210ce9ab3170460c'u64 ), toF( 0xf65765c0600f2f66'u64 ), toF( 0xfc5688e76b59174f'u64 ) ] )
|
|
|
|
|
, ( 54 , [ toF( 0x725eb50c3e97f17a'u64 ), toF( 0xc8f96dc99235f061'u64 ), toF( 0x54b4f406abedc93c'u64 ), toF( 0x534c2413942a16b6'u64 ) ] )
|
|
|
|
|
, ( 55 , [ toF( 0x09870934e13aa90f'u64 ), toF( 0x8438bdcdceaab60d'u64 ), toF( 0xd876435d183a5d9a'u64 ), toF( 0x0b034e6e1473086c'u64 ) ] )
|
|
|
|
|
, ( 56 , [ toF( 0xd57ab63bba7123ac'u64 ), toF( 0xba2abf7697b4525d'u64 ), toF( 0xdf184213e32b334d'u64 ), toF( 0xc649078134e71ad5'u64 ) ] )
|
|
|
|
|
, ( 57 , [ toF( 0x1ade9868b2d1bec9'u64 ), toF( 0x5204a6e8bdb84d4f'u64 ), toF( 0x6cc5e88f25e6b666'u64 ), toF( 0x556c973e4ae3d5b2'u64 ) ] )
|
|
|
|
|
, ( 58 , [ toF( 0xb7fa27665a736abc'u64 ), toF( 0x4b75d76f87f20612'u64 ), toF( 0x1957cd6b3a3c871b'u64 ), toF( 0x327c1a32a1da1eb0'u64 ) ] )
|
|
|
|
|
, ( 59 , [ toF( 0x3570cbae756437c1'u64 ), toF( 0x29efb481f09f0fa0'u64 ), toF( 0x7ebfc76e1c9f355a'u64 ), toF( 0x749de5ba66c94503'u64 ) ] )
|
|
|
|
|
, ( 60 , [ toF( 0x9eb14cf47a3399b7'u64 ), toF( 0xd4bff4ce9865fce9'u64 ), toF( 0x3439e78b14f6667e'u64 ), toF( 0x0c4babf82acd94f1'u64 ) ] )
|
|
|
|
|
, ( 61 , [ toF( 0xe8c9b72b72429b60'u64 ), toF( 0x171ecda551170182'u64 ), toF( 0xb41703cc4abff743'u64 ), toF( 0x6a5876ad7c1c0822'u64 ) ] )
|
|
|
|
|
, ( 62 , [ toF( 0x08e1bae8bba02d89'u64 ), toF( 0xd70a60da30574be4'u64 ), toF( 0x5801d59681cf0019'u64 ), toF( 0x5bba0e5b2c7db4e2'u64 ) ] )
|
|
|
|
|
, ( 63 , [ toF( 0x7ec4e6724eb18de9'u64 ), toF( 0x814d564c5148a8ee'u64 ), toF( 0x8c749ab4c31f302d'u64 ), toF( 0x910a3a55ee986a46'u64 ) ] )
|
|
|
|
|
, ( 64 , [ toF( 0xea4b1b8e039e362c'u64 ), toF( 0xb3d7a6f9733d067c'u64 ), toF( 0x74e5c854a0c5829f'u64 ), toF( 0x672ef16181fb469e'u64 ) ] )
|
|
|
|
|
, ( 65 , [ toF( 0x7f6c28c38b87fc6f'u64 ), toF( 0x830ae825332f2c20'u64 ), toF( 0xe433805d6937ee86'u64 ), toF( 0x255c04b44801b6b5'u64 ) ] )
|
|
|
|
|
, ( 66 , [ toF( 0xb66f9bbce86279d2'u64 ), toF( 0x2d7b1af9f9e9ccf6'u64 ), toF( 0x192120bf90680691'u64 ), toF( 0xa873d65663b801e5'u64 ) ] )
|
|
|
|
|
, ( 67 , [ toF( 0x561e533122149c94'u64 ), toF( 0x7d119be0068bc657'u64 ), toF( 0x3c78f7559e250fc3'u64 ), toF( 0x5b0e5ca698127522'u64 ) ] )
|
|
|
|
|
, ( 68 , [ toF( 0x645fa1f09234ef5b'u64 ), toF( 0x8db742a15f4f802e'u64 ), toF( 0x50256ed7e9e43ae6'u64 ), toF( 0xb7f4023046503ca7'u64 ) ] )
|
|
|
|
|
, ( 69 , [ toF( 0xa47f83ec22ca186e'u64 ), toF( 0x62d1d864c550dfd5'u64 ), toF( 0xf6bc017584d89105'u64 ), toF( 0xfc7e9c6ec879076e'u64 ) ] )
|
|
|
|
|
, ( 70 , [ toF( 0x0ba2bd95254d7b7c'u64 ), toF( 0x5d55a537988b5525'u64 ), toF( 0x69c6e5eb12a80d06'u64 ), toF( 0xfe20c9cc266a84e7'u64 ) ] )
|
|
|
|
|
, ( 71 , [ toF( 0xa084f89c6583a5c0'u64 ), toF( 0x7bdd8648c1a1fffd'u64 ), toF( 0x5b428fb3de27cf91'u64 ), toF( 0x11382b72371d2848'u64 ) ] )
|
|
|
|
|
, ( 72 , [ toF( 0x57011fed481c77d9'u64 ), toF( 0x1cc5cd6bfbf0e22f'u64 ), toF( 0x9ea5226ec4470615'u64 ), toF( 0xdd123c1ca2634671'u64 ) ] )
|
|
|
|
|
, ( 73 , [ toF( 0x33c5f24ffcad8596'u64 ), toF( 0xa825669e06da1043'u64 ), toF( 0x751d2c2ebfb84ee3'u64 ), toF( 0x9ba07b00dc661b7a'u64 ) ] )
|
|
|
|
|
, ( 74 , [ toF( 0xf8aa9f4763ca7189'u64 ), toF( 0x03fe45fb3aae6d56'u64 ), toF( 0x870e99db2f985e4e'u64 ), toF( 0xec7b784544e53beb'u64 ) ] )
|
|
|
|
|
, ( 75 , [ toF( 0xd3a3743fd2639194'u64 ), toF( 0xe1a0c1eea3da036f'u64 ), toF( 0x614e0d10b5e63b0e'u64 ), toF( 0x699c20b3e68b7f5f'u64 ) ] )
|
|
|
|
|
, ( 76 , [ toF( 0xcca0ed9c671e2c6e'u64 ), toF( 0x8a432bb6a0c34f68'u64 ), toF( 0xfee80b53c732eb4d'u64 ), toF( 0x533d690992c35db0'u64 ) ] )
|
|
|
|
|
, ( 77 , [ toF( 0x0a1f37bdb0c8b42e'u64 ), toF( 0x2869c47b1ba2e1de'u64 ), toF( 0x86c40cc716c7c8d6'u64 ), toF( 0x78f49264be533fcb'u64 ) ] )
|
|
|
|
|
, ( 78 , [ toF( 0x4603eec849e5c20a'u64 ), toF( 0x951a542dc0ecb7ed'u64 ), toF( 0xf1d2531b5cba9056'u64 ), toF( 0xaa7a94ca307e263e'u64 ) ] )
|
|
|
|
|
, ( 79 , [ toF( 0x0f959ed937b3bfe7'u64 ), toF( 0xa0b420dc0fb66b29'u64 ), toF( 0x8609f1b418f24beb'u64 ), toF( 0xff700c6331fabac3'u64 ) ] )
|
|
|
|
|
, ( 80 , [ toF( 0x033716ab25826df2'u64 ), toF( 0x72ca8503231ccbc8'u64 ), toF( 0x05414dffaa2cf9b4'u64 ), toF( 0x9d41a04864812457'u64 ) ] )
|
|
|
|
|
]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
const testcases_field_rate3* : array[81, tuple[n:int,digest:F4]] =
|
|
|
|
|
[ ( 0 , [ toF( 0xda2b19714fc2f268'u64 ), toF( 0xafe15fac54f67f84'u64 ), toF( 0x02ee98c656aa021b'u64 ), toF( 0x2b95c3fcca79c69e'u64 ) ] )
|
|
|
|
|
, ( 1 , [ toF( 0xed41ae75d2a97a7b'u64 ), toF( 0xb7a62afd88b8aa4e'u64 ), toF( 0x431adc09000fc975'u64 ), toF( 0x774f61dbc1a90d1e'u64 ) ] )
|
|
|
|
|
, ( 2 , [ toF( 0x7a1d8635859eea4d'u64 ), toF( 0x30b36cf65f1ce77d'u64 ), toF( 0x634a5ae97b91cfae'u64 ), toF( 0x7011950136125c63'u64 ) ] )
|
|
|
|
|
, ( 3 , [ toF( 0x713cb3619441cfc8'u64 ), toF( 0xcc9b1c9788569c65'u64 ), toF( 0x225a356a8deea0e0'u64 ), toF( 0x016afcf6fc337e84'u64 ) ] )
|
|
|
|
|
, ( 4 , [ toF( 0x37c596fa9bf38ee6'u64 ), toF( 0xfa4953f9e56b791a'u64 ), toF( 0x76b947910614888f'u64 ), toF( 0xb0ddaa9e4804c231'u64 ) ] )
|
|
|
|
|
, ( 5 , [ toF( 0xb999c40cb1e75930'u64 ), toF( 0x1df27a8161a3460c'u64 ), toF( 0xae923410867451c9'u64 ), toF( 0xce7c731c828245f7'u64 ) ] )
|
|
|
|
|
, ( 6 , [ toF( 0x5466cacf2c74c30e'u64 ), toF( 0x9d31d1bfcc7627de'u64 ), toF( 0xbcc55246a38f3f6a'u64 ), toF( 0x602d51926f511622'u64 ) ] )
|
|
|
|
|
, ( 7 , [ toF( 0x939a92529093a7fa'u64 ), toF( 0x1d4d94cb90739c6d'u64 ), toF( 0xd651e2d28dcdb863'u64 ), toF( 0x4d17fb790d0e2438'u64 ) ] )
|
|
|
|
|
, ( 8 , [ toF( 0x6f436b943554fc2c'u64 ), toF( 0x217bb7969fbd7fe1'u64 ), toF( 0x6dd79a49147d85b0'u64 ), toF( 0x6f7da1fb2c0ead92'u64 ) ] )
|
|
|
|
|
, ( 9 , [ toF( 0x7f3658965b1cd6c3'u64 ), toF( 0x97e6bfa64ee311d6'u64 ), toF( 0xa8893ce0fecd27a0'u64 ), toF( 0x73daaee4b17a2900'u64 ) ] )
|
|
|
|
|
, ( 10 , [ toF( 0xdcf3f49f4a7a7c75'u64 ), toF( 0x091c1bf883678a4c'u64 ), toF( 0xaed8821c440026d1'u64 ), toF( 0x2759b663e666b61e'u64 ) ] )
|
|
|
|
|
, ( 11 , [ toF( 0x7a9ceccb37986d57'u64 ), toF( 0x47102600adb867c8'u64 ), toF( 0xb99ea4b5b29007ad'u64 ), toF( 0x128a31a05e42d6ef'u64 ) ] )
|
|
|
|
|
, ( 12 , [ toF( 0xa3ac5df4dbc5d18a'u64 ), toF( 0x0a1e563c9f2b299e'u64 ), toF( 0xd6783f81153ae7ad'u64 ), toF( 0xf3859d07d6b13de7'u64 ) ] )
|
|
|
|
|
, ( 13 , [ toF( 0x2320009096cafcf9'u64 ), toF( 0x1efd043a8044081c'u64 ), toF( 0x7c9c01be200fbf68'u64 ), toF( 0x63adf93f6deaf862'u64 ) ] )
|
|
|
|
|
, ( 14 , [ toF( 0xe5b9ff65c8553b1f'u64 ), toF( 0xcc2bee4e303b5644'u64 ), toF( 0xbd8d375dae551a1b'u64 ), toF( 0xef4b66972d5fc458'u64 ) ] )
|
|
|
|
|
, ( 15 , [ toF( 0x1c98afd38db8a0fb'u64 ), toF( 0xe112c4cb1180a30f'u64 ), toF( 0xfd7377f4b55f38b9'u64 ), toF( 0xcf5540a794ef7231'u64 ) ] )
|
|
|
|
|
, ( 16 , [ toF( 0x50ea9b749f668a58'u64 ), toF( 0xffbfba9f6af517f1'u64 ), toF( 0x5d9efcaeeb565f39'u64 ), toF( 0xb4600c849ee70a8c'u64 ) ] )
|
|
|
|
|
, ( 17 , [ toF( 0x940d8164bfb952e2'u64 ), toF( 0x73de2e86bb3f9b6d'u64 ), toF( 0x192f770ce07459c2'u64 ), toF( 0xea416a91a7a454ad'u64 ) ] )
|
|
|
|
|
, ( 18 , [ toF( 0x319d3d68b5e20176'u64 ), toF( 0xab90e5248ed3534e'u64 ), toF( 0x9a9ce69861a16bbf'u64 ), toF( 0xc5db8db2fe7fdae1'u64 ) ] )
|
|
|
|
|
, ( 19 , [ toF( 0x426756d9fc68d203'u64 ), toF( 0xe0fd6bc26297e3a8'u64 ), toF( 0xbaf9c8d571221676'u64 ), toF( 0xc0d02b358f519017'u64 ) ] )
|
|
|
|
|
, ( 20 , [ toF( 0xdd8a426e5370bef5'u64 ), toF( 0xbd386ddf123d1c50'u64 ), toF( 0x085ea18f41a263fa'u64 ), toF( 0x3606adbe9538fbc5'u64 ) ] )
|
|
|
|
|
, ( 21 , [ toF( 0x53c0724df67ea870'u64 ), toF( 0x9714c0e5a32d6b50'u64 ), toF( 0xdbfc4b54957cf25f'u64 ), toF( 0xcb30100f0bf695a4'u64 ) ] )
|
|
|
|
|
, ( 22 , [ toF( 0x7031c119de721ba6'u64 ), toF( 0xa6cdf3d91438cf3f'u64 ), toF( 0xafe80f3618250b7f'u64 ), toF( 0x4f555b69f29985d8'u64 ) ] )
|
|
|
|
|
, ( 23 , [ toF( 0x4580a39c365da45e'u64 ), toF( 0x9c42a6c1e84a0f5e'u64 ), toF( 0xf9ea718fb3bad99d'u64 ), toF( 0xd7c1a52c15ee3551'u64 ) ] )
|
|
|
|
|
, ( 24 , [ toF( 0x26fb6d150470330a'u64 ), toF( 0xd34589b5093ba8d8'u64 ), toF( 0x718fca1dac835531'u64 ), toF( 0x166beb78aed5f95a'u64 ) ] )
|
|
|
|
|
, ( 25 , [ toF( 0xbcc97806446a07bd'u64 ), toF( 0x74e0805146021b26'u64 ), toF( 0x06bf12fd74c6278f'u64 ), toF( 0xb30f3593ccedc881'u64 ) ] )
|
|
|
|
|
, ( 26 , [ toF( 0xe0272b262a95932f'u64 ), toF( 0x75aeb1b1a52d061f'u64 ), toF( 0x27d51d4f156bad03'u64 ), toF( 0x6e34d86fa4dab23a'u64 ) ] )
|
|
|
|
|
, ( 27 , [ toF( 0x50d569cbe4fc4bfa'u64 ), toF( 0xc8e17eaab6098f21'u64 ), toF( 0x3734c8d63e09e16c'u64 ), toF( 0xfeb830b77eb32cb6'u64 ) ] )
|
|
|
|
|
, ( 28 , [ toF( 0xc77fbc1dbe885e1f'u64 ), toF( 0xfd551949e8442371'u64 ), toF( 0xa8fbb2c0ccb7b7ce'u64 ), toF( 0xfe7df571a83fd902'u64 ) ] )
|
|
|
|
|
, ( 29 , [ toF( 0x39f8dfc307526ec9'u64 ), toF( 0x079a0f7e8a2a00ce'u64 ), toF( 0x6b09fd56428d6bcb'u64 ), toF( 0xc28d73eb47887302'u64 ) ] )
|
|
|
|
|
, ( 30 , [ toF( 0x6096121f654f6620'u64 ), toF( 0xd2b9e5966cbc0aaa'u64 ), toF( 0x7b45bc752f68d2ab'u64 ), toF( 0x1fa61c15220794fa'u64 ) ] )
|
|
|
|
|
, ( 31 , [ toF( 0x7b5cb5d23b9d9b83'u64 ), toF( 0x09746c4ca327861d'u64 ), toF( 0x0fb9868d29a6ef9a'u64 ), toF( 0x18841490babdaad6'u64 ) ] )
|
|
|
|
|
, ( 32 , [ toF( 0xda722bbe7b3e34bd'u64 ), toF( 0x1c17906f01840bac'u64 ), toF( 0xdd4487fb50221a89'u64 ), toF( 0x7b1fa93773aace49'u64 ) ] )
|
|
|
|
|
, ( 33 , [ toF( 0x976e1be408a34200'u64 ), toF( 0x05dcba953f9c7f63'u64 ), toF( 0x1a20108f4f1d76a6'u64 ), toF( 0xb8ad9b5783a13681'u64 ) ] )
|
|
|
|
|
, ( 34 , [ toF( 0x60e4b7561750eebc'u64 ), toF( 0x7db0f567acdc83da'u64 ), toF( 0x33f9249a5804d78a'u64 ), toF( 0xfc2ea4c798253923'u64 ) ] )
|
|
|
|
|
, ( 35 , [ toF( 0xef37f8c0b9e3a5f6'u64 ), toF( 0xd0bb519cc5ebbd0d'u64 ), toF( 0xea586806ab30f0ca'u64 ), toF( 0xadf65abeb72a33ff'u64 ) ] )
|
|
|
|
|
, ( 36 , [ toF( 0x283ed82706f19bbe'u64 ), toF( 0x3ac3c448686f4cb0'u64 ), toF( 0x2f8d21f273054006'u64 ), toF( 0xa4037408482b8bb6'u64 ) ] )
|
|
|
|
|
, ( 37 , [ toF( 0x5d6137a328ac8108'u64 ), toF( 0x318f3b7a7ea8f2b8'u64 ), toF( 0xf330b33d5f397a03'u64 ), toF( 0x0d1df5c6cd9f3620'u64 ) ] )
|
|
|
|
|
, ( 38 , [ toF( 0xfafaf33e87e292e3'u64 ), toF( 0x7828c05b808fad7e'u64 ), toF( 0x2e7ed0c00f7a64e6'u64 ), toF( 0xae25df17b1133c17'u64 ) ] )
|
|
|
|
|
, ( 39 , [ toF( 0x2aa593b1afe460e7'u64 ), toF( 0x93f8b5870e5cc393'u64 ), toF( 0x84d14de114da98bf'u64 ), toF( 0xc44d0f0d07890719'u64 ) ] )
|
|
|
|
|
, ( 40 , [ toF( 0x9d559868a3b2aba0'u64 ), toF( 0x460708abd5dbe403'u64 ), toF( 0x634eda62af770e2a'u64 ), toF( 0x9c535d3967f1e775'u64 ) ] )
|
|
|
|
|
, ( 41 , [ toF( 0xdc19c84a151d2612'u64 ), toF( 0x31266f1fbcabc5eb'u64 ), toF( 0xf778cfa54be4c70b'u64 ), toF( 0x435eec1f4076c3ae'u64 ) ] )
|
|
|
|
|
, ( 42 , [ toF( 0x6839fe6685202a36'u64 ), toF( 0xba05edaf20d6f14e'u64 ), toF( 0xf1c61bec61ab6d28'u64 ), toF( 0xe9e19fc9ec777b92'u64 ) ] )
|
|
|
|
|
, ( 43 , [ toF( 0x82a916be9e0e3c3a'u64 ), toF( 0x856447b14c6e4157'u64 ), toF( 0x7897eb9b7ac763fc'u64 ), toF( 0x4054b8fc19b36489'u64 ) ] )
|
|
|
|
|
, ( 44 , [ toF( 0xe1ecdf40d4ec06ec'u64 ), toF( 0x04a0d6af53515c21'u64 ), toF( 0x4a901c9646e3b618'u64 ), toF( 0x4528f0674b35e112'u64 ) ] )
|
|
|
|
|
, ( 45 , [ toF( 0xaaa648ffafbc5506'u64 ), toF( 0xfc5ae59976c9c67e'u64 ), toF( 0x8ce24ec885e30945'u64 ), toF( 0xedbdd527298e2324'u64 ) ] )
|
|
|
|
|
, ( 46 , [ toF( 0xf0e16adf40d4f27c'u64 ), toF( 0xbe21985c4208c91f'u64 ), toF( 0x1e165ad4f10bd276'u64 ), toF( 0xd8da1b9cd3692a1a'u64 ) ] )
|
|
|
|
|
, ( 47 , [ toF( 0x93cce3ecb7350e77'u64 ), toF( 0x42229fa5efcd6c0f'u64 ), toF( 0x4e7118268bb4a7d8'u64 ), toF( 0xa06577b59d6e8827'u64 ) ] )
|
|
|
|
|
, ( 48 , [ toF( 0xee514b90eacd385a'u64 ), toF( 0xe6edbaf25cf7bf60'u64 ), toF( 0x7582c64f88ab3a61'u64 ), toF( 0x94b92be882df1db0'u64 ) ] )
|
|
|
|
|
, ( 49 , [ toF( 0xa5bed7f571910a33'u64 ), toF( 0xefd82de2a935c3a1'u64 ), toF( 0xec9f5c8fbc8958d3'u64 ), toF( 0x485849ebd5454fa5'u64 ) ] )
|
|
|
|
|
, ( 50 , [ toF( 0xd5cb3727c361ff54'u64 ), toF( 0x4a68e7462d229a0f'u64 ), toF( 0xfc35c0cddbe1291f'u64 ), toF( 0xc8bebff2f7b64a34'u64 ) ] )
|
|
|
|
|
, ( 51 , [ toF( 0xc6b43ebdb2b3bc85'u64 ), toF( 0x2fb817568a64c088'u64 ), toF( 0x7ebb8d61771e3963'u64 ), toF( 0x681cf4d66fd6fc2a'u64 ) ] )
|
|
|
|
|
, ( 52 , [ toF( 0x9c9793991109991a'u64 ), toF( 0x04839672510037b4'u64 ), toF( 0xdbd59f9478f0265f'u64 ), toF( 0xd8bc9014fa1009d7'u64 ) ] )
|
|
|
|
|
, ( 53 , [ toF( 0x78015e246901b52b'u64 ), toF( 0x64f316394b45ccb6'u64 ), toF( 0xdd043f4299a8b008'u64 ), toF( 0x9beec3e1429c2fc6'u64 ) ] )
|
|
|
|
|
, ( 54 , [ toF( 0x680caa37be6b05ef'u64 ), toF( 0xfd4c330e5a17ad23'u64 ), toF( 0x2d3519cf7213073c'u64 ), toF( 0xdd6f19b6067f58a3'u64 ) ] )
|
|
|
|
|
, ( 55 , [ toF( 0x8f363f7e379a5741'u64 ), toF( 0xd3ebd5a6514d8ea6'u64 ), toF( 0xb2dec1d6a482e87d'u64 ), toF( 0x38a2283a68354fd8'u64 ) ] )
|
|
|
|
|
, ( 56 , [ toF( 0x1152ca76c8d38f54'u64 ), toF( 0xf4b68dd9f60076ab'u64 ), toF( 0x85468f289bcc4d19'u64 ), toF( 0x72556988e3f9b13e'u64 ) ] )
|
|
|
|
|
, ( 57 , [ toF( 0xb51f126c4eb32e92'u64 ), toF( 0x6c6fec679b5ebb95'u64 ), toF( 0x1d42041204b9dbaa'u64 ), toF( 0xdfb95a7cd75dd381'u64 ) ] )
|
|
|
|
|
, ( 58 , [ toF( 0xc928bb7175ee04ef'u64 ), toF( 0xc03f43368f069907'u64 ), toF( 0x66b16a11e596c659'u64 ), toF( 0x82ce3dbb26efcda8'u64 ) ] )
|
|
|
|
|
, ( 59 , [ toF( 0x09619089d51b901b'u64 ), toF( 0x2646eeedf7e09529'u64 ), toF( 0xf648a4fe5b9379de'u64 ), toF( 0x906e9410bded0796'u64 ) ] )
|
|
|
|
|
, ( 60 , [ toF( 0xa1cb3027c1f419fd'u64 ), toF( 0x8db96f409d3aabd3'u64 ), toF( 0xfdced4e51c1daba0'u64 ), toF( 0xe4e59497923ef879'u64 ) ] )
|
|
|
|
|
, ( 61 , [ toF( 0x789a432451f83c82'u64 ), toF( 0x7a0383b05a5e1989'u64 ), toF( 0x18439f504a17f623'u64 ), toF( 0xb3db620624365712'u64 ) ] )
|
|
|
|
|
, ( 62 , [ toF( 0xe6d3987748fa95c8'u64 ), toF( 0xf8d743e408c3b852'u64 ), toF( 0x68574c093f442c3c'u64 ), toF( 0x85d1565e38e98dec'u64 ) ] )
|
|
|
|
|
, ( 63 , [ toF( 0x41c1e9575b9234ba'u64 ), toF( 0xe9a49e7751dcfd83'u64 ), toF( 0x164ff59db315915f'u64 ), toF( 0x3dbc946ca91a8222'u64 ) ] )
|
|
|
|
|
, ( 64 , [ toF( 0x4ebd321cb922ea09'u64 ), toF( 0xef2377cd69bd2955'u64 ), toF( 0xd133010591cae24a'u64 ), toF( 0xf1e3e370e80f8492'u64 ) ] )
|
|
|
|
|
, ( 65 , [ toF( 0xf7544c917a8a98c7'u64 ), toF( 0x08d9a4c783de296c'u64 ), toF( 0x32a1027087ca998a'u64 ), toF( 0x46fbed0d3ad17ffc'u64 ) ] )
|
|
|
|
|
, ( 66 , [ toF( 0xe62e1b02ec202796'u64 ), toF( 0x4516a22257c364c4'u64 ), toF( 0xedbbe467bf8d7ba9'u64 ), toF( 0x30b40e43914b3396'u64 ) ] )
|
|
|
|
|
, ( 67 , [ toF( 0x64985d6ca3c1b3a1'u64 ), toF( 0x8e8a2c3985adf32d'u64 ), toF( 0xff190f71e30fa921'u64 ), toF( 0x6f9721c4927435cd'u64 ) ] )
|
|
|
|
|
, ( 68 , [ toF( 0x12be548bb7357e60'u64 ), toF( 0x2c8e1e4eadb2c507'u64 ), toF( 0xb4226e7ad52b94e9'u64 ), toF( 0xc81cc3eb7a62ed75'u64 ) ] )
|
|
|
|
|
, ( 69 , [ toF( 0x1df0c91f0f965bb4'u64 ), toF( 0x02e34e415475f890'u64 ), toF( 0x53fb3531248a4eb7'u64 ), toF( 0xb64d9c6dcc241f75'u64 ) ] )
|
|
|
|
|
, ( 70 , [ toF( 0x328f0b233edc3bac'u64 ), toF( 0x25df79f5ac349e09'u64 ), toF( 0x071aa483b36a6b55'u64 ), toF( 0x0397645477692157'u64 ) ] )
|
|
|
|
|
, ( 71 , [ toF( 0xa2647d9de9620b68'u64 ), toF( 0x9d4338c226816f80'u64 ), toF( 0x9f226fdee88d8796'u64 ), toF( 0x671f02b6c84f48c4'u64 ) ] )
|
|
|
|
|
, ( 72 , [ toF( 0x74149c30d25a89a7'u64 ), toF( 0x252c1d3c86f662f7'u64 ), toF( 0x09e6c23434003b62'u64 ), toF( 0xebe18cfdd7065e17'u64 ) ] )
|
|
|
|
|
, ( 73 , [ toF( 0x7f36f267f1472a2d'u64 ), toF( 0xf10ea48b67b61d14'u64 ), toF( 0x8d24288d12ff5381'u64 ), toF( 0x2789997c2d294611'u64 ) ] )
|
|
|
|
|
, ( 74 , [ toF( 0x09fcd64741fa64f7'u64 ), toF( 0xaa53f3383a27ddda'u64 ), toF( 0xe9f09952df6e91d3'u64 ), toF( 0x3e2de55bf763bd0b'u64 ) ] )
|
|
|
|
|
, ( 75 , [ toF( 0x4472598365cc5300'u64 ), toF( 0xb7996b12e18ca598'u64 ), toF( 0xdca634fcac00a48c'u64 ), toF( 0xcb17395dc621640e'u64 ) ] )
|
|
|
|
|
, ( 76 , [ toF( 0x3866513c6eaf1039'u64 ), toF( 0xe6bf5feed9804ee1'u64 ), toF( 0x1d762edb7cc2a150'u64 ), toF( 0x9e29df826b4dac07'u64 ) ] )
|
|
|
|
|
, ( 77 , [ toF( 0x2aad117eca9eb593'u64 ), toF( 0x522b09aabf14ff16'u64 ), toF( 0x65d04c13ef35915d'u64 ), toF( 0x18a1862edd192d6f'u64 ) ] )
|
|
|
|
|
, ( 78 , [ toF( 0x105727bb0055e09a'u64 ), toF( 0xeb275d448f298207'u64 ), toF( 0xd256064cc72d5a4c'u64 ), toF( 0xb6f9bc8c9cc26dba'u64 ) ] )
|
|
|
|
|
, ( 79 , [ toF( 0xfd03244277e868a7'u64 ), toF( 0x3a53cbe1e18eca02'u64 ), toF( 0xe8b985dcd9f8a6e2'u64 ), toF( 0x788fd197ca0c3a3c'u64 ) ] )
|
|
|
|
|
, ( 80 , [ toF( 0x979560169fc74232'u64 ), toF( 0x4501286aa126a221'u64 ), toF( 0x562918b1edd54900'u64 ), toF( 0x2ecdc98ef647711e'u64 ) ] )
|
|
|
|
|
]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
const testcases_field_rate4* : array[81, tuple[n:int,digest:F4]] =
|
|
|
|
|
[ ( 0 , [ toF( 0x115a05ce29d10c10'u64 ), toF( 0x59419123b7775098'u64 ), toF( 0x1f6565f10b7106f0'u64 ), toF( 0x59de113d429e15cc'u64 ) ] )
|
|
|
|
|
, ( 1 , [ toF( 0xc253e577bdb55634'u64 ), toF( 0x4b2a4b04fe8e69f0'u64 ), toF( 0x29ed22cc0c07882e'u64 ), toF( 0xd79ddc001a83a5a8'u64 ) ] )
|
|
|
|
|
, ( 2 , [ toF( 0xea15d5238bfcb32c'u64 ), toF( 0x356c600da0a62782'u64 ), toF( 0x3dc87634635bc913'u64 ), toF( 0x906c53a372b9b1bf'u64 ) ] )
|
|
|
|
|
, ( 3 , [ toF( 0x46ad693fcf6f03d6'u64 ), toF( 0x1da229e6f7c26c03'u64 ), toF( 0x8b43fd1a954e9f67'u64 ), toF( 0x122edfe02668d028'u64 ) ] )
|
|
|
|
|
, ( 4 , [ toF( 0xa56d96b06d823f35'u64 ), toF( 0x8b8903bd65c384d4'u64 ), toF( 0x9d454667d1fd5b36'u64 ), toF( 0x3333a4051a0bd4ee'u64 ) ] )
|
|
|
|
|
, ( 5 , [ toF( 0xc06f0e3c25898fbd'u64 ), toF( 0x8a50a35c1ebde23a'u64 ), toF( 0xe300125339e4cc95'u64 ), toF( 0x44d42f696e313437'u64 ) ] )
|
|
|
|
|
, ( 6 , [ toF( 0x445531547751757b'u64 ), toF( 0xdccfbdf544a15926'u64 ), toF( 0xe479c07aa5bd6e01'u64 ), toF( 0x0a6abf51e6680292'u64 ) ] )
|
|
|
|
|
, ( 7 , [ toF( 0xaa376e6a0fce5403'u64 ), toF( 0x8150171015e452a0'u64 ), toF( 0x5c90875e545cd5eb'u64 ), toF( 0xc662885f570dc7e5'u64 ) ] )
|
|
|
|
|
, ( 8 , [ toF( 0x4263b70b6e267111'u64 ), toF( 0xb75801967c12c74c'u64 ), toF( 0x0eac77d093a4b3c2'u64 ), toF( 0x314db2109d0873c6'u64 ) ] )
|
|
|
|
|
, ( 9 , [ toF( 0x1398b8db734b83f5'u64 ), toF( 0x5395db35ea6524af'u64 ), toF( 0x4628f8e3e1b1d218'u64 ), toF( 0x983fc4e141ce2a92'u64 ) ] )
|
|
|
|
|
, ( 10 , [ toF( 0xf4355d047d477007'u64 ), toF( 0x0db3f8615674f985'u64 ), toF( 0xee8a70635d2f80c2'u64 ), toF( 0x2c80f8569c0de062'u64 ) ] )
|
|
|
|
|
, ( 11 , [ toF( 0x00f98606af6b6242'u64 ), toF( 0xe0776478b6323164'u64 ), toF( 0x4751a6c57e86a0c9'u64 ), toF( 0xf42457c10d06b9f4'u64 ) ] )
|
|
|
|
|
, ( 12 , [ toF( 0x60fca7bdf447a144'u64 ), toF( 0x9b4d1e27c4467f01'u64 ), toF( 0x5a9d445dcbdccf05'u64 ), toF( 0xebea64699c0c55cc'u64 ) ] )
|
|
|
|
|
, ( 13 , [ toF( 0xb8b5f9a897c76e09'u64 ), toF( 0x76e7939af868af8d'u64 ), toF( 0x98f9fa43368e8b2c'u64 ), toF( 0x8e76e23ecb01ffdb'u64 ) ] )
|
|
|
|
|
, ( 14 , [ toF( 0x7498e9646a1afdd5'u64 ), toF( 0x81695c86f06fb4c2'u64 ), toF( 0x668316539fb7fbda'u64 ), toF( 0x06ef6b63143b7c90'u64 ) ] )
|
|
|
|
|
, ( 15 , [ toF( 0x068cd1dcc1d713af'u64 ), toF( 0x79cfcd9cd40543fd'u64 ), toF( 0x8d984e2a812098c5'u64 ), toF( 0x2b5db3b5d4065599'u64 ) ] )
|
|
|
|
|
, ( 16 , [ toF( 0xd5c0ea1c053ac11a'u64 ), toF( 0x240e64fa8af970ce'u64 ), toF( 0x420edfc46b9de694'u64 ), toF( 0xd38b872a56601828'u64 ) ] )
|
|
|
|
|
, ( 17 , [ toF( 0x91c49b8c54de2f1c'u64 ), toF( 0x0f45548233108119'u64 ), toF( 0xccad9cc5407aed06'u64 ), toF( 0x9e05cc6c9d816867'u64 ) ] )
|
|
|
|
|
, ( 18 , [ toF( 0x2777695f057f5f0a'u64 ), toF( 0x07c7fa5fa0626292'u64 ), toF( 0x88467e2a7fce6585'u64 ), toF( 0x15539dceb9f9930e'u64 ) ] )
|
|
|
|
|
, ( 19 , [ toF( 0x7b8ac0531124075e'u64 ), toF( 0xcca57f7824eaa0d0'u64 ), toF( 0x2e4efeedb04479ca'u64 ), toF( 0xa9846710f8e315e9'u64 ) ] )
|
|
|
|
|
, ( 20 , [ toF( 0x14ac8bc9b25cb50c'u64 ), toF( 0x50378ba875fffb99'u64 ), toF( 0xd221eb4df3cf4ce2'u64 ), toF( 0x49096dc014630403'u64 ) ] )
|
|
|
|
|
, ( 21 , [ toF( 0xf4faee8af216c517'u64 ), toF( 0x6d6e4edf2f66c670'u64 ), toF( 0xbce8fdcd61a5687a'u64 ), toF( 0x0bb93b29b5e7004d'u64 ) ] )
|
|
|
|
|
, ( 22 , [ toF( 0xd9da17bf89671954'u64 ), toF( 0xd915b5c28c00e7c8'u64 ), toF( 0x239dca3886d91bc2'u64 ), toF( 0x86c83e41954b1b34'u64 ) ] )
|
|
|
|
|
, ( 23 , [ toF( 0xc27a9c5a72124ce4'u64 ), toF( 0x52f924178c46c894'u64 ), toF( 0x299f46862a6abb69'u64 ), toF( 0x0dd0148e78917d55'u64 ) ] )
|
|
|
|
|
, ( 24 , [ toF( 0x966378b4124af038'u64 ), toF( 0x8e473316d9076245'u64 ), toF( 0xfc4a2e98a44e5002'u64 ), toF( 0x56831a2dfff756b1'u64 ) ] )
|
|
|
|
|
, ( 25 , [ toF( 0x38b76a004c4149a0'u64 ), toF( 0xac18782a2d511dbe'u64 ), toF( 0xe3365885921d25af'u64 ), toF( 0xdd2b4951a7c7d10c'u64 ) ] )
|
|
|
|
|
, ( 26 , [ toF( 0xf86137fcd42ea984'u64 ), toF( 0xe102195d2c1acce3'u64 ), toF( 0x68a38fdf5a83d9a7'u64 ), toF( 0xb05221d79aa73b31'u64 ) ] )
|
|
|
|
|
, ( 27 , [ toF( 0xc503c035c962078d'u64 ), toF( 0xc440e98ad5bdb68a'u64 ), toF( 0x3fc3a652c2823446'u64 ), toF( 0xd0279570503ded0e'u64 ) ] )
|
|
|
|
|
, ( 28 , [ toF( 0xab70e0bcfa239209'u64 ), toF( 0x7cc12af5999493d4'u64 ), toF( 0x56315a258e8c2619'u64 ), toF( 0xc7af7989c18389f6'u64 ) ] )
|
|
|
|
|
, ( 29 , [ toF( 0xcae437db5ba8f1d2'u64 ), toF( 0x513ac2aaabbaa54e'u64 ), toF( 0x10467cb1cbce90df'u64 ), toF( 0x34c7a84e250fccd9'u64 ) ] )
|
|
|
|
|
, ( 30 , [ toF( 0x20cc24360cf85e40'u64 ), toF( 0x6b95c7d8e82c91ee'u64 ), toF( 0x9aa3fa0d6abcc267'u64 ), toF( 0x1e839fba35d87958'u64 ) ] )
|
|
|
|
|
, ( 31 , [ toF( 0x297c51e27e1dc402'u64 ), toF( 0xf2c5d645c324dc6b'u64 ), toF( 0xf715d2c10fa4f56f'u64 ), toF( 0x68539870ab22fc1f'u64 ) ] )
|
|
|
|
|
, ( 32 , [ toF( 0x68ee08ec999748f7'u64 ), toF( 0xa81760406d9b6add'u64 ), toF( 0x94c565fafc99cb80'u64 ), toF( 0x88e0b980baee606f'u64 ) ] )
|
|
|
|
|
, ( 33 , [ toF( 0xbc854bf81607db92'u64 ), toF( 0x1abc7bdc46f007c6'u64 ), toF( 0x694b4da12e32c6a1'u64 ), toF( 0x458169e91f3f0f74'u64 ) ] )
|
|
|
|
|
, ( 34 , [ toF( 0x35ffc76290774c73'u64 ), toF( 0x2a257dde9a7b597f'u64 ), toF( 0x6bfbac9c4b3fc81c'u64 ), toF( 0x9e39b203f9a335dc'u64 ) ] )
|
|
|
|
|
, ( 35 , [ toF( 0x73b3afab27711ffa'u64 ), toF( 0x2b15a01bca8906da'u64 ), toF( 0x92ca3aec6855eb2b'u64 ), toF( 0x3dc565ff9619a55b'u64 ) ] )
|
|
|
|
|
, ( 36 , [ toF( 0x38d9e5c53abc2f69'u64 ), toF( 0x13a123da7dd5d755'u64 ), toF( 0x249fe6f4a7d3b92d'u64 ), toF( 0xdfe16805bc972432'u64 ) ] )
|
|
|
|
|
, ( 37 , [ toF( 0x3bb46760debe65a8'u64 ), toF( 0x6b95676735ad88ab'u64 ), toF( 0xecba878340289a0a'u64 ), toF( 0x7a87a1bed4360059'u64 ) ] )
|
|
|
|
|
, ( 38 , [ toF( 0x2bd630aee604c2ca'u64 ), toF( 0x71adb0e68e04b37f'u64 ), toF( 0xdf62455f990a0bd0'u64 ), toF( 0x63fb9a75b937a977'u64 ) ] )
|
|
|
|
|
, ( 39 , [ toF( 0xd4ebc582921069a0'u64 ), toF( 0x09cedf6b36b71f23'u64 ), toF( 0x89a8eade17b25a56'u64 ), toF( 0xaeda4a190c25c1c1'u64 ) ] )
|
|
|
|
|
, ( 40 , [ toF( 0xf0936c02903e9fa1'u64 ), toF( 0x72eb8ff04a13a3d4'u64 ), toF( 0xe2bb97c57e00ab8f'u64 ), toF( 0x8810a8a4e2a67985'u64 ) ] )
|
|
|
|
|
, ( 41 , [ toF( 0x373fd721c3ace3cb'u64 ), toF( 0xe4c04365529f16e1'u64 ), toF( 0x72ce7d287becf072'u64 ), toF( 0xd13738e2a8027e5d'u64 ) ] )
|
|
|
|
|
, ( 42 , [ toF( 0x74db32fe40a2a3b3'u64 ), toF( 0xe2c227542e30d675'u64 ), toF( 0x93d4dbd5321ab509'u64 ), toF( 0x8b75c6b1287b26c2'u64 ) ] )
|
|
|
|
|
, ( 43 , [ toF( 0x7aed0dca32154b78'u64 ), toF( 0x58ac51059cc39c98'u64 ), toF( 0xbc08eb68edf3520f'u64 ), toF( 0x22d5f1d833931119'u64 ) ] )
|
|
|
|
|
, ( 44 , [ toF( 0x35bc6ba9a630388f'u64 ), toF( 0x444ba73db011be12'u64 ), toF( 0x3a99b6498dca65ee'u64 ), toF( 0x07063d0bb42fe734'u64 ) ] )
|
|
|
|
|
, ( 45 , [ toF( 0x5e4395b8f8354099'u64 ), toF( 0xf2cf500f2d6024ab'u64 ), toF( 0x3af67d32ceab8199'u64 ), toF( 0xfaf56011acc5dd4b'u64 ) ] )
|
|
|
|
|
, ( 46 , [ toF( 0xe5ed53267ca487f6'u64 ), toF( 0x3f188418ebaf9c51'u64 ), toF( 0xff4c1df4d1f03b89'u64 ), toF( 0x8a718b1563c30fb1'u64 ) ] )
|
|
|
|
|
, ( 47 , [ toF( 0x63418e046c8dfb15'u64 ), toF( 0xf28a6c19c7f84524'u64 ), toF( 0x41b4e12d3a3842b1'u64 ), toF( 0x299f8dd1842c6498'u64 ) ] )
|
|
|
|
|
, ( 48 , [ toF( 0xeecf71e235687830'u64 ), toF( 0x4350a5f5c35aa2d7'u64 ), toF( 0xe827240ff8a2cba2'u64 ), toF( 0x2d739caa9e92593d'u64 ) ] )
|
|
|
|
|
, ( 49 , [ toF( 0xfe2325929a04cafc'u64 ), toF( 0xab7d7bb312ea416d'u64 ), toF( 0x5fb2b868af1048f1'u64 ), toF( 0x4f7efa6c2905d0f2'u64 ) ] )
|
|
|
|
|
, ( 50 , [ toF( 0x265f3b1596ab1ade'u64 ), toF( 0x51c98527ecb4a389'u64 ), toF( 0x0d3ae6b4fd687157'u64 ), toF( 0x5bca0209ab471a19'u64 ) ] )
|
|
|
|
|
, ( 51 , [ toF( 0xfab2b87cafb8f844'u64 ), toF( 0x6d87ea2dd2efea12'u64 ), toF( 0xe3dd71a906e683d6'u64 ), toF( 0x29ab68e1c1ceb2b4'u64 ) ] )
|
|
|
|
|
, ( 52 , [ toF( 0x33975243ba0f98d9'u64 ), toF( 0xd1b984adaa8be77b'u64 ), toF( 0x7b5055f4963a4978'u64 ), toF( 0x9c108f530d41035d'u64 ) ] )
|
|
|
|
|
, ( 53 , [ toF( 0x12f0e385ee581a6b'u64 ), toF( 0xb0dd8945e4bc11c4'u64 ), toF( 0x8b6dbda489c2237c'u64 ), toF( 0xab3b0436e81c298c'u64 ) ] )
|
|
|
|
|
, ( 54 , [ toF( 0x6e587d9cf6616d4e'u64 ), toF( 0x1ae048d3eefb8e26'u64 ), toF( 0x487db2a5831ff8a5'u64 ), toF( 0x6ef7bbed4a2b3040'u64 ) ] )
|
|
|
|
|
, ( 55 , [ toF( 0x6d93bbbc175efdcf'u64 ), toF( 0xed13bb7e71d16894'u64 ), toF( 0x49e869d6988a3b19'u64 ), toF( 0x14b3671d3a461630'u64 ) ] )
|
|
|
|
|
, ( 56 , [ toF( 0xd3b5220b2cb4cd9a'u64 ), toF( 0x8611c2c4f6b171c9'u64 ), toF( 0x08d11340c9add03b'u64 ), toF( 0x54b2467e514fac40'u64 ) ] )
|
|
|
|
|
, ( 57 , [ toF( 0xaf8bdcc5f21cd4e7'u64 ), toF( 0xa39f6926166ba148'u64 ), toF( 0x218cc8f55e265cc7'u64 ), toF( 0x32b4513609225026'u64 ) ] )
|
|
|
|
|
, ( 58 , [ toF( 0xf06ca30d74c9fbf8'u64 ), toF( 0xf852aba42b231bd0'u64 ), toF( 0xcdaf71095bcd80cd'u64 ), toF( 0xa62448b02b6f26da'u64 ) ] )
|
|
|
|
|
, ( 59 , [ toF( 0x8ab6f12ae211bcf5'u64 ), toF( 0x13b1b38c2bcc40d0'u64 ), toF( 0x1640c3f57bc3e36b'u64 ), toF( 0x3b729759eb3f58a5'u64 ) ] )
|
|
|
|
|
, ( 60 , [ toF( 0xdb066a5d25d6411c'u64 ), toF( 0xbe80fb5e1a8272db'u64 ), toF( 0x82840f0c1027bf6c'u64 ), toF( 0xb7415aaf04c14ce8'u64 ) ] )
|
|
|
|
|
, ( 61 , [ toF( 0x90085110cbc063d8'u64 ), toF( 0xc008d25f5df9efb9'u64 ), toF( 0x22dbef9f722a146d'u64 ), toF( 0xfcad08a77931cb61'u64 ) ] )
|
|
|
|
|
, ( 62 , [ toF( 0x29a9ed6495808a3e'u64 ), toF( 0x5135822a693db679'u64 ), toF( 0xfefa95788b3e0f08'u64 ), toF( 0xb963a21a22b52b57'u64 ) ] )
|
|
|
|
|
, ( 63 , [ toF( 0x6e117f52f4ebaea8'u64 ), toF( 0x277a0e570574d609'u64 ), toF( 0x6377452c881c0c3c'u64 ), toF( 0xb073935d24fd99d5'u64 ) ] )
|
|
|
|
|
, ( 64 , [ toF( 0xbab2d1aa5cc9e81e'u64 ), toF( 0x5d10b87f37a19b6e'u64 ), toF( 0x07de2a58cb78a5f4'u64 ), toF( 0xe9ee7e13194fa75e'u64 ) ] )
|
|
|
|
|
, ( 65 , [ toF( 0xf6d5e01aa968f5aa'u64 ), toF( 0x1e920340b6de4f78'u64 ), toF( 0x051c88a015f5d798'u64 ), toF( 0x4402d339f85f9c46'u64 ) ] )
|
|
|
|
|
, ( 66 , [ toF( 0x5434dd052f630e4e'u64 ), toF( 0xb4afc1e1cf2064b1'u64 ), toF( 0x1a351c803f94ae79'u64 ), toF( 0x099eecb167a6604c'u64 ) ] )
|
|
|
|
|
, ( 67 , [ toF( 0xf7fe4a802f238930'u64 ), toF( 0xc51e2c60a2c115fe'u64 ), toF( 0xed623f22494e2f63'u64 ), toF( 0x1ae0c3d7503df8aa'u64 ) ] )
|
|
|
|
|
, ( 68 , [ toF( 0x8fd3b2ffa79a65cb'u64 ), toF( 0x5b4aca31fc5a4471'u64 ), toF( 0x8322380fa13b840b'u64 ), toF( 0xc7a09dd172344312'u64 ) ] )
|
|
|
|
|
, ( 69 , [ toF( 0x56f49ed0fe8c392d'u64 ), toF( 0x557ab7465d28b2d8'u64 ), toF( 0x03a3c6b8cb2daf5a'u64 ), toF( 0x36a826c2fc4ba801'u64 ) ] )
|
|
|
|
|
, ( 70 , [ toF( 0xda620ca4d380823a'u64 ), toF( 0x1a36e360f6efd5fe'u64 ), toF( 0xac9547cd1aa6deef'u64 ), toF( 0x05f1de8a36abc106'u64 ) ] )
|
|
|
|
|
, ( 71 , [ toF( 0xe3812908c7167da9'u64 ), toF( 0x41e004b307b38a2b'u64 ), toF( 0xd9938241962a1c23'u64 ), toF( 0x5829a0332d8e4f1c'u64 ) ] )
|
|
|
|
|
, ( 72 , [ toF( 0x9a6ec35028ab734a'u64 ), toF( 0x60f8826056f811aa'u64 ), toF( 0x306cbb17b4ed8fa7'u64 ), toF( 0x79eaef1d87a088d2'u64 ) ] )
|
|
|
|
|
, ( 73 , [ toF( 0xd899a1e6eaf30056'u64 ), toF( 0xd2865939ea4ecffd'u64 ), toF( 0x548fb652640d1572'u64 ), toF( 0xd1a459ddbf731536'u64 ) ] )
|
|
|
|
|
, ( 74 , [ toF( 0xb027d539cad4e79a'u64 ), toF( 0x7cb8e0a2602dff82'u64 ), toF( 0xaaf582013e5f31b2'u64 ), toF( 0xe8224273b7022132'u64 ) ] )
|
|
|
|
|
, ( 75 , [ toF( 0x2fbf6457b18ff2c9'u64 ), toF( 0xfbd2ae81a181975b'u64 ), toF( 0xb361fe691bc8e104'u64 ), toF( 0x51dec4cc5451263d'u64 ) ] )
|
|
|
|
|
, ( 76 , [ toF( 0x5972a28188df747c'u64 ), toF( 0x23afdf283b7c893a'u64 ), toF( 0xaffb21264f421ecb'u64 ), toF( 0x768b78c733c9d1b5'u64 ) ] )
|
|
|
|
|
, ( 77 , [ toF( 0xaf734b3b5f816674'u64 ), toF( 0x98e5bffde951deaa'u64 ), toF( 0x5d473a50666521f2'u64 ), toF( 0x9d0ff241dd353370'u64 ) ] )
|
|
|
|
|
, ( 78 , [ toF( 0x4f0198516070b78d'u64 ), toF( 0x28a608a57cb6b5bd'u64 ), toF( 0x8eb172cb188fa930'u64 ), toF( 0x845d4292156af825'u64 ) ] )
|
|
|
|
|
, ( 79 , [ toF( 0xb4876c05db7daa58'u64 ), toF( 0x5ce95458f81a7181'u64 ), toF( 0x69a163bb5246bb18'u64 ), toF( 0x84aa82407de9623f'u64 ) ] )
|
|
|
|
|
, ( 80 , [ toF( 0x8a022e1e39c3d72a'u64 ), toF( 0x9fe99515caded862'u64 ), toF( 0x7f69c703b364be52'u64 ), toF( 0xd83f9b0f5bd0fb68'u64 ) ] )
|
|
|
|
|
]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
const testcases_field_rate5* : array[81, tuple[n:int,digest:F4]] =
|
|
|
|
|
[ ( 0 , [ toF( 0x7177095e1f79b993'u64 ), toF( 0xa8d327684fa1d0d7'u64 ), toF( 0x49278675f9f43895'u64 ), toF( 0xf8d30302b8ad7955'u64 ) ] )
|
|
|
|
|
, ( 1 , [ toF( 0x1ded6fd14297ac7a'u64 ), toF( 0x5b5a89aa0bb40dc2'u64 ), toF( 0x2fdf0b8dfc269d42'u64 ), toF( 0x05340ac1cd1281fc'u64 ) ] )
|
|
|
|
|
, ( 2 , [ toF( 0x1d6a1572abc53a1a'u64 ), toF( 0x15e7c26c57224265'u64 ), toF( 0x8b36fcf8252197ef'u64 ), toF( 0x07768ee5bfe3c2a6'u64 ) ] )
|
|
|
|
|
, ( 3 , [ toF( 0x46fe9b51f010ac15'u64 ), toF( 0xb185f3479545c7c0'u64 ), toF( 0xaebbbe0ac7eeee80'u64 ), toF( 0xea5a43b91087a476'u64 ) ] )
|
|
|
|
|
, ( 4 , [ toF( 0xc1ffa7c0776384e9'u64 ), toF( 0xeb0d2fa060a4d9c0'u64 ), toF( 0xc2a650b82d620edb'u64 ), toF( 0x4a0b68e865c3cca3'u64 ) ] )
|
|
|
|
|
, ( 5 , [ toF( 0xad4e2f2cf566ad64'u64 ), toF( 0x657ab53fea550908'u64 ), toF( 0x6052f02305952a4f'u64 ), toF( 0xa14879aa11111735'u64 ) ] )
|
|
|
|
|
, ( 6 , [ toF( 0x38fc577daf592c6b'u64 ), toF( 0x4d8f42a4c317f9e2'u64 ), toF( 0x65fe42dbdedce0e0'u64 ), toF( 0x4198f350371f5dcc'u64 ) ] )
|
|
|
|
|
, ( 7 , [ toF( 0xb38aa8a323497be7'u64 ), toF( 0x68946cea6c00133f'u64 ), toF( 0xd86d399cd391bb70'u64 ), toF( 0x16fe55da0de05aa0'u64 ) ] )
|
|
|
|
|
, ( 8 , [ toF( 0x570207a1f2cabe22'u64 ), toF( 0x337cb7cf654df685'u64 ), toF( 0xf8a1038cd53a8eca'u64 ), toF( 0xbe5acbeecce2cc53'u64 ) ] )
|
|
|
|
|
, ( 9 , [ toF( 0x2d6164e8c2475ea2'u64 ), toF( 0xe70fdf73a9e4ecce'u64 ), toF( 0xa33eade75d673286'u64 ), toF( 0x99d6fdcb4ed98b39'u64 ) ] )
|
|
|
|
|
, ( 10 , [ toF( 0x9425a5349021aea3'u64 ), toF( 0x54e49e28b13e23cc'u64 ), toF( 0x5b267b9631bfb8cc'u64 ), toF( 0xf063f837cbb83502'u64 ) ] )
|
|
|
|
|
, ( 11 , [ toF( 0x7cc4d227d10f7544'u64 ), toF( 0x3ad6a7cd9bac2c61'u64 ), toF( 0x9a23c2b37ec76a02'u64 ), toF( 0x3e49493498da984e'u64 ) ] )
|
|
|
|
|
, ( 12 , [ toF( 0x5e45d097a10a85aa'u64 ), toF( 0x7c26a824529a1c76'u64 ), toF( 0x39baaf226ba39705'u64 ), toF( 0x4b34ef247782cb58'u64 ) ] )
|
|
|
|
|
, ( 13 , [ toF( 0xdff83b46511ab985'u64 ), toF( 0x15e844bc9c626718'u64 ), toF( 0x9a756b0d3f9cc839'u64 ), toF( 0xe91c02c28ba9d16e'u64 ) ] )
|
|
|
|
|
, ( 14 , [ toF( 0xef3c2dce0925cea1'u64 ), toF( 0xbbbd791d457eeb93'u64 ), toF( 0xb33a77a0bcea9881'u64 ), toF( 0xe697af4719b3c3dc'u64 ) ] )
|
|
|
|
|
, ( 15 , [ toF( 0xbb43b5ce9b665b97'u64 ), toF( 0x5b9391c33049622e'u64 ), toF( 0xa2f2ef6f1e3a29d6'u64 ), toF( 0xf1e6d0e069abf934'u64 ) ] )
|
|
|
|
|
, ( 16 , [ toF( 0x2f654209a6ef304e'u64 ), toF( 0xba3c193dd3cee1f1'u64 ), toF( 0xee81da2ee255f77b'u64 ), toF( 0xb98b2b8cfebe6f35'u64 ) ] )
|
|
|
|
|
, ( 17 , [ toF( 0x07bee433a9c38ec3'u64 ), toF( 0x95ddc4890b09ad08'u64 ), toF( 0x59f795504e539f85'u64 ), toF( 0x8ef20d3191151d1b'u64 ) ] )
|
|
|
|
|
, ( 18 , [ toF( 0x37d79248cc134a10'u64 ), toF( 0xa5979a02be5bae5a'u64 ), toF( 0x6a732627cfb208ed'u64 ), toF( 0x93a0557fd64f1837'u64 ) ] )
|
|
|
|
|
, ( 19 , [ toF( 0xf322decb9bd290c3'u64 ), toF( 0x524e1eaeb3ab8288'u64 ), toF( 0xdcf8d1f297fcbe63'u64 ), toF( 0x8d07028b86c77f56'u64 ) ] )
|
|
|
|
|
, ( 20 , [ toF( 0x7422ecb6078e00d6'u64 ), toF( 0xb3c78fcc4a15080e'u64 ), toF( 0x69bc39586b37a1d1'u64 ), toF( 0x53fd430dfebb72e7'u64 ) ] )
|
|
|
|
|
, ( 21 , [ toF( 0xd5de1ec9b4288ab7'u64 ), toF( 0x684b522a28a5601b'u64 ), toF( 0xfd6b27b016811258'u64 ), toF( 0xdd0c97f4971d2f35'u64 ) ] )
|
|
|
|
|
, ( 22 , [ toF( 0x4c9ca8b378e3de51'u64 ), toF( 0x300cc01e533a89e0'u64 ), toF( 0x4ebd9764ab12541e'u64 ), toF( 0x867dbe8f9d850ad0'u64 ) ] )
|
|
|
|
|
, ( 23 , [ toF( 0x1dbed04a987473d4'u64 ), toF( 0xa2fb0fc34e185bb5'u64 ), toF( 0xc00b0792740837a2'u64 ), toF( 0x5a02b78e053e351d'u64 ) ] )
|
|
|
|
|
, ( 24 , [ toF( 0x59869470cf55b5c9'u64 ), toF( 0x97ca7704d65200db'u64 ), toF( 0xfd0f1528798a8359'u64 ), toF( 0x1ea271a1c7b9984c'u64 ) ] )
|
|
|
|
|
, ( 25 , [ toF( 0x52d3b5f05560fae5'u64 ), toF( 0x5bf863f8e579d166'u64 ), toF( 0x3af0536d49c8ce1d'u64 ), toF( 0x00ea1be20d50f5ac'u64 ) ] )
|
|
|
|
|
, ( 26 , [ toF( 0xb9a086e9d4afb7c0'u64 ), toF( 0x677b2523e544de32'u64 ), toF( 0x418ed037a9ac010c'u64 ), toF( 0x0400ff4f1558b82e'u64 ) ] )
|
|
|
|
|
, ( 27 , [ toF( 0x4019058a7830a32c'u64 ), toF( 0xff1581830f694f2f'u64 ), toF( 0x13b1dcb97205bcb4'u64 ), toF( 0x9b9b04658b20bfdb'u64 ) ] )
|
|
|
|
|
, ( 28 , [ toF( 0xb2a2e0ec74681a0b'u64 ), toF( 0x0cd149ec6889cb44'u64 ), toF( 0x4ca147b703975106'u64 ), toF( 0xbb2288a5c131183c'u64 ) ] )
|
|
|
|
|
, ( 29 , [ toF( 0x4f46801516f37cf8'u64 ), toF( 0x9613e2b1b287c262'u64 ), toF( 0xc3ef1bfcd2d58c9b'u64 ), toF( 0x17755a8c6c6f06ad'u64 ) ] )
|
|
|
|
|
, ( 30 , [ toF( 0xa6fdbd844d0a8936'u64 ), toF( 0x6d5c325b7d170154'u64 ), toF( 0x4a56f6afc45373b6'u64 ), toF( 0x27f65ffd9d5c07c8'u64 ) ] )
|
|
|
|
|
, ( 31 , [ toF( 0xda18062d17e5b079'u64 ), toF( 0xac803b09693c2b14'u64 ), toF( 0xbf45d0afd9f552bd'u64 ), toF( 0x601edae95fca953e'u64 ) ] )
|
|
|
|
|
, ( 32 , [ toF( 0x7dbfb3bc52c2f6d1'u64 ), toF( 0x6ffbcfb7c2c2c225'u64 ), toF( 0x770d4d5adf79ec32'u64 ), toF( 0x7ed8132b9a25277c'u64 ) ] )
|
|
|
|
|
, ( 33 , [ toF( 0x2a00458c7a4b67ae'u64 ), toF( 0xd65f55b9c2f5d5b0'u64 ), toF( 0xbf6482532b545aa0'u64 ), toF( 0x7e41dc237fcc7bce'u64 ) ] )
|
|
|
|
|
, ( 34 , [ toF( 0x6a0706f15486d677'u64 ), toF( 0xcc99e0ee4963562e'u64 ), toF( 0x17afbe3d943c199d'u64 ), toF( 0x0f644a84f28540cc'u64 ) ] )
|
|
|
|
|
, ( 35 , [ toF( 0x7517de4bf64ab3c4'u64 ), toF( 0xab826f2d2eef3969'u64 ), toF( 0x4d70dccb67cb2396'u64 ), toF( 0xb432704e51ac435d'u64 ) ] )
|
|
|
|
|
, ( 36 , [ toF( 0x4a8d5065cf20fa4b'u64 ), toF( 0x1d6bd1aaeeec80a3'u64 ), toF( 0xcb49f5c479fd19be'u64 ), toF( 0x7795f5e00c2b5168'u64 ) ] )
|
|
|
|
|
, ( 37 , [ toF( 0x644428c7b75abafc'u64 ), toF( 0x111127f5b3bc9f5c'u64 ), toF( 0xc89d651a717aedc2'u64 ), toF( 0xb16259ed8d137e0c'u64 ) ] )
|
|
|
|
|
, ( 38 , [ toF( 0x337a4d09674f2b80'u64 ), toF( 0xe4cd9a12cb8b9da2'u64 ), toF( 0xc13f38b22a205671'u64 ), toF( 0xca161a25a7faf112'u64 ) ] )
|
|
|
|
|
, ( 39 , [ toF( 0x9553114eb2e66103'u64 ), toF( 0xdbbcc4b25c6b4893'u64 ), toF( 0xb8e1042920eb9d3a'u64 ), toF( 0xae165602eb8d8e12'u64 ) ] )
|
|
|
|
|
, ( 40 , [ toF( 0x3ad85ac941104f78'u64 ), toF( 0x76927f036263537a'u64 ), toF( 0x0c4e27aa99ac3a1a'u64 ), toF( 0xcf2313d95b27f606'u64 ) ] )
|
|
|
|
|
, ( 41 , [ toF( 0x230b496cb6f9ed53'u64 ), toF( 0x0279da040e69a6eb'u64 ), toF( 0xba38bdf8a0902526'u64 ), toF( 0x04cffbbc4ee8a165'u64 ) ] )
|
|
|
|
|
, ( 42 , [ toF( 0x5580ea52c1bade2f'u64 ), toF( 0xbab1c63915400eb9'u64 ), toF( 0xd0324c127784560b'u64 ), toF( 0x502df47f554a93fb'u64 ) ] )
|
|
|
|
|
, ( 43 , [ toF( 0x60164a746e0d1e90'u64 ), toF( 0x7d67a5e5dd025870'u64 ), toF( 0x6435ed75ee8a347f'u64 ), toF( 0xb097011983dbd28c'u64 ) ] )
|
|
|
|
|
, ( 44 , [ toF( 0x2fda7b4d9e1ca234'u64 ), toF( 0xe0b5a45c505a573e'u64 ), toF( 0x9489a1e9cd050d84'u64 ), toF( 0x7e3c6095c5a7a11c'u64 ) ] )
|
|
|
|
|
, ( 45 , [ toF( 0xd270e8165f4ac3ef'u64 ), toF( 0xea79d46f0af9e0e1'u64 ), toF( 0x2953756472d3f00f'u64 ), toF( 0xd4ffeb5a2fbb7671'u64 ) ] )
|
|
|
|
|
, ( 46 , [ toF( 0x92a72754952b0962'u64 ), toF( 0xfdaa50d349a3fc17'u64 ), toF( 0x24bafc3afe0136d8'u64 ), toF( 0x667f3267753c6ded'u64 ) ] )
|
|
|
|
|
, ( 47 , [ toF( 0xae00fecd62bb9e49'u64 ), toF( 0x72a120f5ccc8a3c8'u64 ), toF( 0x2cb917d7527621cc'u64 ), toF( 0x7a496315cb2d2c97'u64 ) ] )
|
|
|
|
|
, ( 48 , [ toF( 0x3dceb93265e67b1c'u64 ), toF( 0xf6df138ca43955ec'u64 ), toF( 0xad4761883690f861'u64 ), toF( 0xe3adcfba4903015b'u64 ) ] )
|
|
|
|
|
, ( 49 , [ toF( 0x12ad9dfdb8a70f56'u64 ), toF( 0x4621bbe67c46d82b'u64 ), toF( 0x8948d84becf97aa7'u64 ), toF( 0xd42b606135643d37'u64 ) ] )
|
|
|
|
|
, ( 50 , [ toF( 0xc7288de2c9e82c5c'u64 ), toF( 0x1b94bfea9f5eb243'u64 ), toF( 0x504e5688f21173bb'u64 ), toF( 0x34157e6b54b3449d'u64 ) ] )
|
|
|
|
|
, ( 51 , [ toF( 0x655e247d02dd1ff0'u64 ), toF( 0x07d2154b325361cf'u64 ), toF( 0xe1df1d5a022a84b0'u64 ), toF( 0xdd4c19a6d5badf18'u64 ) ] )
|
|
|
|
|
, ( 52 , [ toF( 0x4ff8ace2854fd15c'u64 ), toF( 0xd9880a7e9c2195d5'u64 ), toF( 0x4cf912239d7ea6e8'u64 ), toF( 0x1ba3d6ccf053a807'u64 ) ] )
|
|
|
|
|
, ( 53 , [ toF( 0xf557101fb126d6db'u64 ), toF( 0x86c8e813e3fb36b0'u64 ), toF( 0xdb67171e8448e9ff'u64 ), toF( 0xc9c8ad2d94106317'u64 ) ] )
|
|
|
|
|
, ( 54 , [ toF( 0x36f9c05c664f1f88'u64 ), toF( 0x536f926db9ed263b'u64 ), toF( 0x0ca2248e97f8ff43'u64 ), toF( 0xec6032f033b6a89c'u64 ) ] )
|
|
|
|
|
, ( 55 , [ toF( 0x6f551ce8bb9ecbbc'u64 ), toF( 0x8684631425e9115a'u64 ), toF( 0xb928f1706de2bdfe'u64 ), toF( 0x02182d3b4823b5e4'u64 ) ] )
|
|
|
|
|
, ( 56 , [ toF( 0x8a277629d717739a'u64 ), toF( 0xdfdbb9fce2f46c64'u64 ), toF( 0x17e6793b87b16fc5'u64 ), toF( 0x5c4adaaa7ebf1ac5'u64 ) ] )
|
|
|
|
|
, ( 57 , [ toF( 0x25f029d158fe99f0'u64 ), toF( 0x3841981828e2ec31'u64 ), toF( 0xdd63c3c5be3f6b2d'u64 ), toF( 0x28095ca7da1499e6'u64 ) ] )
|
|
|
|
|
, ( 58 , [ toF( 0xd084cc95c003da48'u64 ), toF( 0xecee7be70d038756'u64 ), toF( 0x66edab66b557d90e'u64 ), toF( 0x24bb5af003f8c46a'u64 ) ] )
|
|
|
|
|
, ( 59 , [ toF( 0xb1de0ded97b29713'u64 ), toF( 0x0a7a0450ca71ad55'u64 ), toF( 0x6b9a190eff896cfa'u64 ), toF( 0xb235b9c8c43bcfe4'u64 ) ] )
|
|
|
|
|
, ( 60 , [ toF( 0xa4a09807b454ad04'u64 ), toF( 0x6248022c7df38792'u64 ), toF( 0x683377fb6658a0c9'u64 ), toF( 0xd2fd34c8dd465401'u64 ) ] )
|
|
|
|
|
, ( 61 , [ toF( 0x57725261ba82855d'u64 ), toF( 0xf0ef77e9b0456115'u64 ), toF( 0xea7d5f8dfb0105af'u64 ), toF( 0xe5c8eb5f92f41933'u64 ) ] )
|
|
|
|
|
, ( 62 , [ toF( 0x0dd7463934e076e0'u64 ), toF( 0xebdf83602028dac4'u64 ), toF( 0x7d11f6c64bd40a24'u64 ), toF( 0x9dd284f0ed3d66ed'u64 ) ] )
|
|
|
|
|
, ( 63 , [ toF( 0x36829cabbf774c76'u64 ), toF( 0x0642f848722aac4c'u64 ), toF( 0x4d6dd9c6a841fb28'u64 ), toF( 0xd7e6ebdd1295cba7'u64 ) ] )
|
|
|
|
|
, ( 64 , [ toF( 0xde0145dfb7a37036'u64 ), toF( 0x6f41169e97c0bf89'u64 ), toF( 0xabd289c9113241eb'u64 ), toF( 0xf967dad6db2970a2'u64 ) ] )
|
|
|
|
|
, ( 65 , [ toF( 0xd632a37ef8879c9f'u64 ), toF( 0x162f1aa708eb427f'u64 ), toF( 0x1a237ecf5931e926'u64 ), toF( 0x5535e0b9e117de7f'u64 ) ] )
|
|
|
|
|
, ( 66 , [ toF( 0xf428da12d80d5233'u64 ), toF( 0x9af2c75dc24645ed'u64 ), toF( 0x56785d75af5e9d4c'u64 ), toF( 0x59f30b57327381cb'u64 ) ] )
|
|
|
|
|
, ( 67 , [ toF( 0x4a00e707ae7a8ac6'u64 ), toF( 0xb9a78792d4349611'u64 ), toF( 0x56ad3c63a7830596'u64 ), toF( 0x0510339f376a3434'u64 ) ] )
|
|
|
|
|
, ( 68 , [ toF( 0xc293c9b7a98f8927'u64 ), toF( 0x8c29a8e3d4ec905f'u64 ), toF( 0xdd03e94587ebd010'u64 ), toF( 0xe5be0f2a9f7ddffd'u64 ) ] )
|
|
|
|
|
, ( 69 , [ toF( 0xcd55ad10229c828a'u64 ), toF( 0xfbb218632af44255'u64 ), toF( 0x12a76500a064a9be'u64 ), toF( 0x05b33b75f55b4340'u64 ) ] )
|
|
|
|
|
, ( 70 , [ toF( 0xcc633868bfe917fb'u64 ), toF( 0x79ad064f064d790c'u64 ), toF( 0x61eed378c87ab56b'u64 ), toF( 0x995b4c43531bacac'u64 ) ] )
|
|
|
|
|
, ( 71 , [ toF( 0xffb1241eeea2f811'u64 ), toF( 0x60abf19a56715370'u64 ), toF( 0xeb15f30abe9e8399'u64 ), toF( 0xd0e601240346cee3'u64 ) ] )
|
|
|
|
|
, ( 72 , [ toF( 0x738a1dbb5c3f9f57'u64 ), toF( 0xe541b694c4ec8296'u64 ), toF( 0x1e35672351976216'u64 ), toF( 0x81fb85aaa2341052'u64 ) ] )
|
|
|
|
|
, ( 73 , [ toF( 0xb459034781b4163f'u64 ), toF( 0xd6eef56c705a9103'u64 ), toF( 0x2edaabdfe7936e28'u64 ), toF( 0x6d66f8ec20dcc7ae'u64 ) ] )
|
|
|
|
|
, ( 74 , [ toF( 0xd65e7e929ed3c425'u64 ), toF( 0xd8ee5b9e3026c429'u64 ), toF( 0x8facaa2da3df49ac'u64 ), toF( 0xfa5fd0a1b7ee10b7'u64 ) ] )
|
|
|
|
|
, ( 75 , [ toF( 0xea2c7b410ae50b28'u64 ), toF( 0x892de98c6a1c63d3'u64 ), toF( 0xdcb81ff0e039051a'u64 ), toF( 0x03fa42e03cdca9d2'u64 ) ] )
|
|
|
|
|
, ( 76 , [ toF( 0xea4a70f2966c88ad'u64 ), toF( 0xdc63f00c9ca6c464'u64 ), toF( 0x52cd768ee345184d'u64 ), toF( 0xb729d24b4e57146c'u64 ) ] )
|
|
|
|
|
, ( 77 , [ toF( 0x7a39adfb7f51c43b'u64 ), toF( 0xf79ec746e8e5a0ac'u64 ), toF( 0x2c87d9ca18f7a677'u64 ), toF( 0x296836cd1fe74b8b'u64 ) ] )
|
|
|
|
|
, ( 78 , [ toF( 0x6008ae72d42657e3'u64 ), toF( 0xf5398ac8b76e06bd'u64 ), toF( 0x9757b01fc9f33e66'u64 ), toF( 0x4d649c116a78e353'u64 ) ] )
|
|
|
|
|
, ( 79 , [ toF( 0xd2bc98a844b429a6'u64 ), toF( 0x77d98b0e79665024'u64 ), toF( 0x44ec524ad053539a'u64 ), toF( 0xc5e6df4169160f42'u64 ) ] )
|
|
|
|
|
, ( 80 , [ toF( 0xff39ddae692b8d0a'u64 ), toF( 0xda9accba90cd8d86'u64 ), toF( 0xc930db30b43332f7'u64 ), toF( 0xd054719cc742cf4f'u64 ) ] )
|
|
|
|
|
]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
const testcases_field_rate6* : array[81, tuple[n:int,digest:F4]] =
|
|
|
|
|
[ ( 0 , [ toF( 0x13645550f1f7581e'u64 ), toF( 0xd2786d0ba2be852c'u64 ), toF( 0x3be6647c8b544001'u64 ), toF( 0x5c7186189830ec85'u64 ) ] )
|
|
|
|
|
, ( 1 , [ toF( 0xe92e4b5cf7ee1715'u64 ), toF( 0x1daabcca80b15fd8'u64 ), toF( 0x51ce0f8b5b275d80'u64 ), toF( 0xa6c8c69e0650d6be'u64 ) ] )
|
|
|
|
|
, ( 2 , [ toF( 0x6c17d7761f1329ba'u64 ), toF( 0xeaec377150f78a2a'u64 ), toF( 0x04b08ae1fe9ae715'u64 ), toF( 0xde6790da04d09b50'u64 ) ] )
|
|
|
|
|
, ( 3 , [ toF( 0x9d7d4fb5ae68d021'u64 ), toF( 0x80e68cbc4182834b'u64 ), toF( 0x02bb6073bf782635'u64 ), toF( 0x61d58c8c50897877'u64 ) ] )
|
|
|
|
|
, ( 4 , [ toF( 0x97a614c607121b6e'u64 ), toF( 0x8656e9ea2f2a9253'u64 ), toF( 0x51ad5b9e4eaa50bc'u64 ), toF( 0x03f3926fb10c7e6c'u64 ) ] )
|
|
|
|
|
, ( 5 , [ toF( 0xd007c83904229655'u64 ), toF( 0xa223eb9aca0bbe73'u64 ), toF( 0x80c4f0cb398b2bcc'u64 ), toF( 0x5dfe030e5bbe6ac3'u64 ) ] )
|
|
|
|
|
, ( 6 , [ toF( 0x89cb6c14e9910c45'u64 ), toF( 0x18d260a302aa4944'u64 ), toF( 0x66b9211765e8885f'u64 ), toF( 0x7d50869deb076cd0'u64 ) ] )
|
|
|
|
|
, ( 7 , [ toF( 0x9d033b4f89f5fe26'u64 ), toF( 0xbcbb5e60a050ed13'u64 ), toF( 0x233b03a3f17ca32f'u64 ), toF( 0xfbdbc2c1e029dc99'u64 ) ] )
|
|
|
|
|
, ( 8 , [ toF( 0xf1b69ccc144373bc'u64 ), toF( 0xc8d8c348b0e0ef17'u64 ), toF( 0x9fa8e6ce3caf0980'u64 ), toF( 0x988c589881ab70fb'u64 ) ] )
|
|
|
|
|
, ( 9 , [ toF( 0xd0d2b8640146c45a'u64 ), toF( 0xbb570f1a3c3da233'u64 ), toF( 0x697200ef2864eeff'u64 ), toF( 0x8cdfc81a900d9219'u64 ) ] )
|
|
|
|
|
, ( 10 , [ toF( 0x27031dd2eef0800c'u64 ), toF( 0xf1437ce214f1104e'u64 ), toF( 0x56d623ff5d29838d'u64 ), toF( 0xf513cd2a3f1cbd21'u64 ) ] )
|
|
|
|
|
, ( 11 , [ toF( 0x54e350cb1f814207'u64 ), toF( 0x517b5d27e2fad045'u64 ), toF( 0xb1633f8314b42bfd'u64 ), toF( 0xf20658cb423851ff'u64 ) ] )
|
|
|
|
|
, ( 12 , [ toF( 0x5219c0e08180dc1d'u64 ), toF( 0xf1e9ffb73d238f77'u64 ), toF( 0x7f9056ac0e01f45d'u64 ), toF( 0x93aaaf1aa678724a'u64 ) ] )
|
|
|
|
|
, ( 13 , [ toF( 0xa737b728fbba2725'u64 ), toF( 0xcad973d4f215f289'u64 ), toF( 0x610294496097c8b0'u64 ), toF( 0x517462ddffdba332'u64 ) ] )
|
|
|
|
|
, ( 14 , [ toF( 0x25a37ffc4f946bc5'u64 ), toF( 0x6bc115b86634ae14'u64 ), toF( 0x5e6a287838997e33'u64 ), toF( 0x027680fe32537c94'u64 ) ] )
|
|
|
|
|
, ( 15 , [ toF( 0x75af8fbb96789f19'u64 ), toF( 0x1c9bbbe7b0fbbe1f'u64 ), toF( 0x510e6ffc79220852'u64 ), toF( 0x3c9ecec0b67c1a01'u64 ) ] )
|
|
|
|
|
, ( 16 , [ toF( 0xd9c8952de400a20e'u64 ), toF( 0x39aea83e65470212'u64 ), toF( 0x36a2abbd627bce63'u64 ), toF( 0xedce3735aeb7c624'u64 ) ] )
|
|
|
|
|
, ( 17 , [ toF( 0x0cd821242df14735'u64 ), toF( 0xc1678b8c95c86535'u64 ), toF( 0x319349c6c3cfeb80'u64 ), toF( 0xa39752bab9aac1a4'u64 ) ] )
|
|
|
|
|
, ( 18 , [ toF( 0x92d5ce694fe169f2'u64 ), toF( 0x06981c612f068cec'u64 ), toF( 0xa402e7bdb7cf3891'u64 ), toF( 0x5c874b278308c22d'u64 ) ] )
|
|
|
|
|
, ( 19 , [ toF( 0x8c9ae2151c7e66c8'u64 ), toF( 0x01c98c6628b3a739'u64 ), toF( 0x0598fd58251a53a7'u64 ), toF( 0x34cc5ad511c98f7a'u64 ) ] )
|
|
|
|
|
, ( 20 , [ toF( 0x63e7a9394c5e6c7a'u64 ), toF( 0x7564433752640a4b'u64 ), toF( 0x1bb3dff309c7d6b0'u64 ), toF( 0x6a036a1c2cf844f9'u64 ) ] )
|
|
|
|
|
, ( 21 , [ toF( 0xf27f5197044e577a'u64 ), toF( 0x69217b929946f6e7'u64 ), toF( 0x0649fd04df023a59'u64 ), toF( 0x0983bef5609c9c81'u64 ) ] )
|
|
|
|
|
, ( 22 , [ toF( 0x727eda6fe56aa87e'u64 ), toF( 0x08fc8fcdaee42edd'u64 ), toF( 0xa2a682a20137853c'u64 ), toF( 0xdd89e0edfce38061'u64 ) ] )
|
|
|
|
|
, ( 23 , [ toF( 0x5b0022b6638fe0ea'u64 ), toF( 0xf76b5bf6ce5e490d'u64 ), toF( 0x4298f6e75a457bd2'u64 ), toF( 0xee6196befb63e2c3'u64 ) ] )
|
|
|
|
|
, ( 24 , [ toF( 0x425f0bf15251b139'u64 ), toF( 0x10d17cc486b9a7f7'u64 ), toF( 0xf6c05e7b0108ea63'u64 ), toF( 0xb67bd8fe4087bc9d'u64 ) ] )
|
|
|
|
|
, ( 25 , [ toF( 0xf7f0440272abe331'u64 ), toF( 0x3be03924582c79ae'u64 ), toF( 0x75f77a3c51929f87'u64 ), toF( 0x997a30a337d2a319'u64 ) ] )
|
|
|
|
|
, ( 26 , [ toF( 0xa5d7d93c6ef603a6'u64 ), toF( 0x52c9447bb6403d9a'u64 ), toF( 0x8ebcf6f9081b46ca'u64 ), toF( 0xa3c300068c468888'u64 ) ] )
|
|
|
|
|
, ( 27 , [ toF( 0x6f1a4c25c8c15910'u64 ), toF( 0xbf8bad69dc225c6b'u64 ), toF( 0xdd93f8159ea5163c'u64 ), toF( 0x8bf9bcd39a24afc2'u64 ) ] )
|
|
|
|
|
, ( 28 , [ toF( 0x8eb06cc10fc51cd8'u64 ), toF( 0xbb529d0389890edb'u64 ), toF( 0xa2de3133e6bd3324'u64 ), toF( 0x28be5c082b971c8d'u64 ) ] )
|
|
|
|
|
, ( 29 , [ toF( 0x5af7bd6353f45b97'u64 ), toF( 0x15e78670c2ee421a'u64 ), toF( 0x08bb9ed376131f5e'u64 ), toF( 0x30ca2b5847a4023f'u64 ) ] )
|
|
|
|
|
, ( 30 , [ toF( 0xf5a144087dbc9810'u64 ), toF( 0x5717c86b57e1bf66'u64 ), toF( 0xaee60efa51171012'u64 ), toF( 0x6bf9579061b09ba2'u64 ) ] )
|
|
|
|
|
, ( 31 , [ toF( 0x60fb41b0f67e1ae8'u64 ), toF( 0x1b7334fe84d88cb4'u64 ), toF( 0xf2b3dae83f2be0cf'u64 ), toF( 0x809818c5e94aee4e'u64 ) ] )
|
|
|
|
|
, ( 32 , [ toF( 0xd78d1e7a42753343'u64 ), toF( 0x2be166bf0ebf8d33'u64 ), toF( 0x24d9ca570b3f1194'u64 ), toF( 0xe469b9f84fdd067f'u64 ) ] )
|
|
|
|
|
, ( 33 , [ toF( 0xf944c479f2a8c78e'u64 ), toF( 0x2a6100db92048a12'u64 ), toF( 0x79c63cbcf7605fb6'u64 ), toF( 0xac5576067c907229'u64 ) ] )
|
|
|
|
|
, ( 34 , [ toF( 0x0646954048ae3b92'u64 ), toF( 0x6f6be01380229f9b'u64 ), toF( 0x899da4023c9e0e97'u64 ), toF( 0x673eea8478333806'u64 ) ] )
|
|
|
|
|
, ( 35 , [ toF( 0x505bbfbb96533726'u64 ), toF( 0xeb4ea0c73de06869'u64 ), toF( 0x4960654af8fb8590'u64 ), toF( 0x92d9de7439344c65'u64 ) ] )
|
|
|
|
|
, ( 36 , [ toF( 0x411bfb1c36c8722f'u64 ), toF( 0x7a209f98ebff4af2'u64 ), toF( 0xc8aeb1aad7dba80f'u64 ), toF( 0x433e4432250f3e4f'u64 ) ] )
|
|
|
|
|
, ( 37 , [ toF( 0xd2214671f1b61e47'u64 ), toF( 0xd66390bff7014f92'u64 ), toF( 0x9024ed85e2ef20ea'u64 ), toF( 0xb5aab9271a66e32e'u64 ) ] )
|
|
|
|
|
, ( 38 , [ toF( 0x73bbc8e8080f5605'u64 ), toF( 0x4b36ef84f66de1ff'u64 ), toF( 0x146e363bf56be238'u64 ), toF( 0x88983de35b899d03'u64 ) ] )
|
|
|
|
|
, ( 39 , [ toF( 0x5a2baa4bc7e4566a'u64 ), toF( 0xc9c8b73a48a91357'u64 ), toF( 0xba9a8c26c4f2f540'u64 ), toF( 0x5c926bd368101eda'u64 ) ] )
|
|
|
|
|
, ( 40 , [ toF( 0xa2a733e1b8b54bff'u64 ), toF( 0x041cc0de7bd9420b'u64 ), toF( 0xf915f6cae204da75'u64 ), toF( 0x143e589a4a705f79'u64 ) ] )
|
|
|
|
|
, ( 41 , [ toF( 0x7ccb654a72b13dda'u64 ), toF( 0xdba4719c870bfc72'u64 ), toF( 0x4fb91c79299fdf9c'u64 ), toF( 0x8f83ecc3e844c00f'u64 ) ] )
|
|
|
|
|
, ( 42 , [ toF( 0x3d35b7d7209838ec'u64 ), toF( 0x0881b17280f18304'u64 ), toF( 0xb07c5bebdb1f3065'u64 ), toF( 0xa82f7a1767b54866'u64 ) ] )
|
|
|
|
|
, ( 43 , [ toF( 0x60f6c9ba1be4df0c'u64 ), toF( 0x93e9d4cfff326253'u64 ), toF( 0xf982a56bbc7e69d7'u64 ), toF( 0x98ecf953bed99345'u64 ) ] )
|
|
|
|
|
, ( 44 , [ toF( 0xd5b3bd0b4253558a'u64 ), toF( 0xf058415c4a0cb42c'u64 ), toF( 0x85c7dd4a302a0311'u64 ), toF( 0x59874dfa7b26c445'u64 ) ] )
|
|
|
|
|
, ( 45 , [ toF( 0x39a82ba3d880fb98'u64 ), toF( 0xd2dea7a13e6764ec'u64 ), toF( 0x6aa2410a301381a8'u64 ), toF( 0xc8529c93fed04fc9'u64 ) ] )
|
|
|
|
|
, ( 46 , [ toF( 0x94e0102881457499'u64 ), toF( 0x1ef197ddc7ed6fac'u64 ), toF( 0x3c353a4cccbabbe4'u64 ), toF( 0x2a1ef1878a4c8b74'u64 ) ] )
|
|
|
|
|
, ( 47 , [ toF( 0x5c8345a4cfc3979d'u64 ), toF( 0x2470635cbe0aed3b'u64 ), toF( 0x888335c7f708ef80'u64 ), toF( 0xa335d1e2f38259a2'u64 ) ] )
|
|
|
|
|
, ( 48 , [ toF( 0x0aaf0975dbe7affa'u64 ), toF( 0x3c65bd342ad45da7'u64 ), toF( 0x3be7384da3fb2d41'u64 ), toF( 0x34202a3ccb8ac0a5'u64 ) ] )
|
|
|
|
|
, ( 49 , [ toF( 0x9864922688dcf0d1'u64 ), toF( 0x1b96f4848d49954c'u64 ), toF( 0x9429df824beefb73'u64 ), toF( 0x60bb98757ea81952'u64 ) ] )
|
|
|
|
|
, ( 50 , [ toF( 0xb871b77ce7834c3b'u64 ), toF( 0x90fc7d4fb223aa5b'u64 ), toF( 0xb8d40c31e48addad'u64 ), toF( 0x189efde2372c8474'u64 ) ] )
|
|
|
|
|
, ( 51 , [ toF( 0xd27556384650db41'u64 ), toF( 0xb0c87be081dbb07d'u64 ), toF( 0xb2ebf1ce246ad9cf'u64 ), toF( 0xab235ac143a046c4'u64 ) ] )
|
|
|
|
|
, ( 52 , [ toF( 0xcb3bafe7a87b9439'u64 ), toF( 0xec98059a7e12512e'u64 ), toF( 0x2b0eb077038750f7'u64 ), toF( 0xa4b1c711f97d4e91'u64 ) ] )
|
|
|
|
|
, ( 53 , [ toF( 0x5d9e4f1c19324669'u64 ), toF( 0xc12ae343646c4137'u64 ), toF( 0x98eca556eb31f0d2'u64 ), toF( 0xc6f8edf8106b1dff'u64 ) ] )
|
|
|
|
|
, ( 54 , [ toF( 0x30de46a0a6794fd8'u64 ), toF( 0x1546feba88fb826d'u64 ), toF( 0x81c188be63d295b6'u64 ), toF( 0x5b91541ae8882652'u64 ) ] )
|
|
|
|
|
, ( 55 , [ toF( 0x3331a3e9219ae756'u64 ), toF( 0xccf5e4768bbcc03e'u64 ), toF( 0x66594ec31c61a197'u64 ), toF( 0x8d21209fb0b3518a'u64 ) ] )
|
|
|
|
|
, ( 56 , [ toF( 0xdd0977cb9d6e2c5f'u64 ), toF( 0x14cf74c0fb321471'u64 ), toF( 0x7d1610cf4c63668d'u64 ), toF( 0x7c39fe2e59f6cf63'u64 ) ] )
|
|
|
|
|
, ( 57 , [ toF( 0x3a260d41224009b5'u64 ), toF( 0x9c6bcb549991f949'u64 ), toF( 0x1b0f13b525a0a1cb'u64 ), toF( 0xa9a44c0c0dc704da'u64 ) ] )
|
|
|
|
|
, ( 58 , [ toF( 0x066e3c4aa983ea06'u64 ), toF( 0x9c56327daf75f51f'u64 ), toF( 0x84736ad7f7ea32eb'u64 ), toF( 0x6de5437f321b0a74'u64 ) ] )
|
|
|
|
|
, ( 59 , [ toF( 0xc4c8709f0140c74d'u64 ), toF( 0xd05c695424c514e7'u64 ), toF( 0x1b170a022e3ab8b7'u64 ), toF( 0x99799f3b3fefb85d'u64 ) ] )
|
|
|
|
|
, ( 60 , [ toF( 0x4b03b35fea008106'u64 ), toF( 0x26257b33b82e7e1d'u64 ), toF( 0xdeafb8150f6eadcf'u64 ), toF( 0x169c5a331be02b58'u64 ) ] )
|
|
|
|
|
, ( 61 , [ toF( 0x02b65e91310b7162'u64 ), toF( 0xa3bd8b64005f5de1'u64 ), toF( 0xf63c745521af99cf'u64 ), toF( 0x3a8d0fc0e1f1f66e'u64 ) ] )
|
|
|
|
|
, ( 62 , [ toF( 0xc4611451fd2a34b7'u64 ), toF( 0xd2bca5f515d09fd5'u64 ), toF( 0x0bc5190fef77a2c9'u64 ), toF( 0x682c3661a256b0fe'u64 ) ] )
|
|
|
|
|
, ( 63 , [ toF( 0x7e5b32448c0cebc9'u64 ), toF( 0xddec91174d8747c8'u64 ), toF( 0xc4f2abe82ac2cc3e'u64 ), toF( 0x2bf98167baea83c0'u64 ) ] )
|
|
|
|
|
, ( 64 , [ toF( 0x0e72b49470b4610f'u64 ), toF( 0x8254db731eac6c4e'u64 ), toF( 0x73077879d9540bf6'u64 ), toF( 0xcbb86620a2a76a24'u64 ) ] )
|
|
|
|
|
, ( 65 , [ toF( 0xdd493794c3fe1c58'u64 ), toF( 0xadb4b4fc67f47fba'u64 ), toF( 0xcf90b87ebc86d8b9'u64 ), toF( 0x99c7ab4ba88d8e22'u64 ) ] )
|
|
|
|
|
, ( 66 , [ toF( 0xd94b129b9aa56d9c'u64 ), toF( 0x546e78fe433adf84'u64 ), toF( 0x59dfb4467c226f5f'u64 ), toF( 0x6c11aa713b7e84ca'u64 ) ] )
|
|
|
|
|
, ( 67 , [ toF( 0x7eaf939dcda0d4ca'u64 ), toF( 0x1f84dfbd1cea8020'u64 ), toF( 0x53ae3ea0f6adf138'u64 ), toF( 0x30a52b7f62192bb1'u64 ) ] )
|
|
|
|
|
, ( 68 , [ toF( 0xc87ccd83069fb16b'u64 ), toF( 0x141032f4a1c518ab'u64 ), toF( 0x8168a5b9d0b79cb5'u64 ), toF( 0xee14dec02812b462'u64 ) ] )
|
|
|
|
|
, ( 69 , [ toF( 0x5eee94787343be97'u64 ), toF( 0xf7d1dcce6761ab67'u64 ), toF( 0xc26d2608cefa21d1'u64 ), toF( 0xbc56b5ae5123202e'u64 ) ] )
|
|
|
|
|
, ( 70 , [ toF( 0x9a50727fcaa6b78e'u64 ), toF( 0x9e2d4a0def245332'u64 ), toF( 0x0b457bf02e372fdb'u64 ), toF( 0xd4864c3e7f84171f'u64 ) ] )
|
|
|
|
|
, ( 71 , [ toF( 0x99ce15c87b9998a2'u64 ), toF( 0xd590de68867a9196'u64 ), toF( 0xb7a1424221028e62'u64 ), toF( 0x08f0b46e8c9b5564'u64 ) ] )
|
|
|
|
|
, ( 72 , [ toF( 0x3f985da6b4e00c80'u64 ), toF( 0x9253c470b2f042f2'u64 ), toF( 0xaecdc27693e29aeb'u64 ), toF( 0x568b40b9f764d6e0'u64 ) ] )
|
|
|
|
|
, ( 73 , [ toF( 0x373ef7283f996f73'u64 ), toF( 0x75245c7c09a24319'u64 ), toF( 0x1d0827f811cd6669'u64 ), toF( 0xf9244fb43a0366d3'u64 ) ] )
|
|
|
|
|
, ( 74 , [ toF( 0x6851420548823e6e'u64 ), toF( 0xd10f12b9a0968859'u64 ), toF( 0xf6572dbfe4c065f5'u64 ), toF( 0x3113a61bc38a13ca'u64 ) ] )
|
|
|
|
|
, ( 75 , [ toF( 0x6039f35583506d6c'u64 ), toF( 0x4846c53926eb45d5'u64 ), toF( 0x5242fb71de2ec72d'u64 ), toF( 0xea79d07ff86e44bd'u64 ) ] )
|
|
|
|
|
, ( 76 , [ toF( 0xa5a6bdd64ccd5acb'u64 ), toF( 0xd81c428c047b3c89'u64 ), toF( 0x284d34591e0c8d89'u64 ), toF( 0x6cbc7b6d0a7dfc22'u64 ) ] )
|
|
|
|
|
, ( 77 , [ toF( 0x69b9f5cf712f73d2'u64 ), toF( 0x202932f7f0313d7e'u64 ), toF( 0x6887edac3272c7bf'u64 ), toF( 0xe55863640fdaaab7'u64 ) ] )
|
|
|
|
|
, ( 78 , [ toF( 0x2c4f552f08675b29'u64 ), toF( 0xcc39e5a44cc56952'u64 ), toF( 0xf1cbf43000b7994c'u64 ), toF( 0xb58fd4cc3f36de5f'u64 ) ] )
|
|
|
|
|
, ( 79 , [ toF( 0x477ed3dfd03870b4'u64 ), toF( 0x235cd5961bc999ef'u64 ), toF( 0xfacac73804cbbc29'u64 ), toF( 0xf3712d7cef7c7e62'u64 ) ] )
|
|
|
|
|
, ( 80 , [ toF( 0x34e336a09ea566c9'u64 ), toF( 0x6363e0a12362c7cf'u64 ), toF( 0x877396463cc46777'u64 ), toF( 0x903147ba709e2236'u64 ) ] )
|
|
|
|
|
]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
const testcases_field_rate7* : array[81, tuple[n:int,digest:F4]] =
|
|
|
|
|
[ ( 0 , [ toF( 0xed5a2d981fd4e243'u64 ), toF( 0xa745b6e7dccda709'u64 ), toF( 0x15af497b8055a542'u64 ), toF( 0x1f60f7c9d8277771'u64 ) ] )
|
|
|
|
|
, ( 1 , [ toF( 0xa084b966af6aeb1f'u64 ), toF( 0xc050ca0e997d9325'u64 ), toF( 0xeb74629cd7f5b7c0'u64 ), toF( 0x7809d34ca9eb23e5'u64 ) ] )
|
|
|
|
|
, ( 2 , [ toF( 0x8f5972c12858e418'u64 ), toF( 0x67850ae5b0b0b380'u64 ), toF( 0x3863475ab945d4f9'u64 ), toF( 0xfa12565d52dc4819'u64 ) ] )
|
|
|
|
|
, ( 3 , [ toF( 0x664dafd927191743'u64 ), toF( 0x28274ccec7212d3c'u64 ), toF( 0xe35162a4b6ffd5b1'u64 ), toF( 0xb6c7ec64b04b930d'u64 ) ] )
|
|
|
|
|
, ( 4 , [ toF( 0x38adfeb1f5de911d'u64 ), toF( 0xd5f2abd5b4ab8c53'u64 ), toF( 0x281129a36bc35c01'u64 ), toF( 0xed39cbd056a220d3'u64 ) ] )
|
|
|
|
|
, ( 5 , [ toF( 0xefeab186f56876d2'u64 ), toF( 0xb63a905985d3b535'u64 ), toF( 0x463f7a51c7e709fb'u64 ), toF( 0x9306473d374539c4'u64 ) ] )
|
|
|
|
|
, ( 6 , [ toF( 0xa8b999077da805f6'u64 ), toF( 0xd983a07a41a07038'u64 ), toF( 0x4fa84c82dcf8f1db'u64 ), toF( 0xf0a4318fc2c8db85'u64 ) ] )
|
|
|
|
|
, ( 7 , [ toF( 0x67a8d0d9ddd96291'u64 ), toF( 0x2e8de4a737485c7e'u64 ), toF( 0x94244b86cf79be19'u64 ), toF( 0x0442e7e43549c19d'u64 ) ] )
|
|
|
|
|
, ( 8 , [ toF( 0xb58d1da89aecf683'u64 ), toF( 0x65e1a395e3d17f97'u64 ), toF( 0xcba12fd1893627b6'u64 ), toF( 0x56742929868c606e'u64 ) ] )
|
|
|
|
|
, ( 9 , [ toF( 0x2f1f787620b5ff8c'u64 ), toF( 0xd1359d83be52c2be'u64 ), toF( 0x704d457ce00d2fcc'u64 ), toF( 0x75d973c195ba11e9'u64 ) ] )
|
|
|
|
|
, ( 10 , [ toF( 0xcae5418db0d948bd'u64 ), toF( 0x6e3bf23a83f2b33f'u64 ), toF( 0xf443af2bbb4fc3c1'u64 ), toF( 0x9ca5c61bb7583c4e'u64 ) ] )
|
|
|
|
|
, ( 11 , [ toF( 0x6e303fc75780d24b'u64 ), toF( 0xc3685f74da09a350'u64 ), toF( 0x815b128c1c675815'u64 ), toF( 0xd3fc3eb3587d86c0'u64 ) ] )
|
|
|
|
|
, ( 12 , [ toF( 0x2751e37ed6caadbd'u64 ), toF( 0x14f9eab398854e6b'u64 ), toF( 0x6faf970e7e811caf'u64 ), toF( 0xdfad1e3429015829'u64 ) ] )
|
|
|
|
|
, ( 13 , [ toF( 0x2408008998218b9a'u64 ), toF( 0xe213c43c10e074dc'u64 ), toF( 0xc46bee5546bdef80'u64 ), toF( 0x5223277cd08f10d7'u64 ) ] )
|
|
|
|
|
, ( 14 , [ toF( 0x4d17508ebe80b1d2'u64 ), toF( 0xe2e37e8bb42356a9'u64 ), toF( 0x999b0bce775da6c6'u64 ), toF( 0xe81689a98b4eba4a'u64 ) ] )
|
|
|
|
|
, ( 15 , [ toF( 0xaea4641e1327dcdd'u64 ), toF( 0xc7101e1433148be0'u64 ), toF( 0x218dbfc2d2121887'u64 ), toF( 0x7c72f05b72e0968f'u64 ) ] )
|
|
|
|
|
, ( 16 , [ toF( 0xcbe727e60de00412'u64 ), toF( 0xc4891433f7324ec8'u64 ), toF( 0x5baab2e1d8a07d1f'u64 ), toF( 0x3d76e8b81ae087a8'u64 ) ] )
|
|
|
|
|
, ( 17 , [ toF( 0x6e2db43ec24c9ddf'u64 ), toF( 0x54e4812b5de8e229'u64 ), toF( 0x7dc8ce8528cb1b88'u64 ), toF( 0xbd53246b0618497c'u64 ) ] )
|
|
|
|
|
, ( 18 , [ toF( 0xd728817371416226'u64 ), toF( 0x1b1034886a4c3b2c'u64 ), toF( 0x50e118119bf754ce'u64 ), toF( 0x097f74ce2467212f'u64 ) ] )
|
|
|
|
|
, ( 19 , [ toF( 0xa77f4d3e65172d0c'u64 ), toF( 0x56d50a377fd57c85'u64 ), toF( 0x951f82bc36ab1807'u64 ), toF( 0x9b6152982d389ecf'u64 ) ] )
|
|
|
|
|
, ( 20 , [ toF( 0xc7ceaa9cac68172a'u64 ), toF( 0xc0df72e9248794d0'u64 ), toF( 0x29d126c57dbf4d92'u64 ), toF( 0xbb5001230c31755a'u64 ) ] )
|
|
|
|
|
, ( 21 , [ toF( 0x367d4b1207105f5f'u64 ), toF( 0xaf12cef5651e3412'u64 ), toF( 0xcbc173658db90f20'u64 ), toF( 0x292e848114fd952a'u64 ) ] )
|
|
|
|
|
, ( 22 , [ toF( 0xfdc8ec80bcd1deda'u64 ), toF( 0xf19d1ba0f1cd3edb'u64 ), toF( 0x18384e81eba4ee86'u64 ), toF( 0x843c188caa92739f'u64 ) ] )
|
|
|
|
|
, ( 23 , [ toF( 0xe87386381954f62f'u64 ), toF( 0xb184e18c0f31e873'u64 ), toF( 0x7c898df51d34ea8f'u64 ), toF( 0xff1ef85ce6c6dfa9'u64 ) ] )
|
|
|
|
|
, ( 24 , [ toF( 0xaadf7ed22c174fdd'u64 ), toF( 0x9868cdcebc870263'u64 ), toF( 0x5be0572f53ed1f4d'u64 ), toF( 0xcc37435d9a870314'u64 ) ] )
|
|
|
|
|
, ( 25 , [ toF( 0x793cd45bcc29dc0a'u64 ), toF( 0x9a1b862a822b4633'u64 ), toF( 0x3fd6b01b36d8b51a'u64 ), toF( 0xf65cd73c511ff463'u64 ) ] )
|
|
|
|
|
, ( 26 , [ toF( 0xdc2f85cca6082a1a'u64 ), toF( 0x28c1c992a774e2f2'u64 ), toF( 0xe86b7f64611a869e'u64 ), toF( 0x7f0de1147f0ca1e0'u64 ) ] )
|
|
|
|
|
, ( 27 , [ toF( 0x015322f0b4520efa'u64 ), toF( 0xfd5b6a21d2463345'u64 ), toF( 0x245047885edbd3f4'u64 ), toF( 0x9a4f9d11dc295d3f'u64 ) ] )
|
|
|
|
|
, ( 28 , [ toF( 0x6c4ff45688bc3ba1'u64 ), toF( 0x03afd202ca70abb2'u64 ), toF( 0x3515285b0025feaf'u64 ), toF( 0xf69837fa3433e761'u64 ) ] )
|
|
|
|
|
, ( 29 , [ toF( 0x23022234b95b1967'u64 ), toF( 0x88b29eda7ac94e2e'u64 ), toF( 0xc21ad314029c893c'u64 ), toF( 0xed7abdc4b4dd508e'u64 ) ] )
|
|
|
|
|
, ( 30 , [ toF( 0x3cb458f1d56dba98'u64 ), toF( 0xff775a57b7b337a1'u64 ), toF( 0xe9d709be6fc6859c'u64 ), toF( 0x8f5a2f35240301c4'u64 ) ] )
|
|
|
|
|
, ( 31 , [ toF( 0x7228f82715afa12c'u64 ), toF( 0x69aaa4206cdc4c6f'u64 ), toF( 0x6028c8f23b1017df'u64 ), toF( 0x6bd8a8852ca6f439'u64 ) ] )
|
|
|
|
|
, ( 32 , [ toF( 0x94da840ef137ce11'u64 ), toF( 0x1e92beae290c8646'u64 ), toF( 0x040849eec9f8f82d'u64 ), toF( 0xde55565957aa5a8a'u64 ) ] )
|
|
|
|
|
, ( 33 , [ toF( 0xeeb8fdde918e3a72'u64 ), toF( 0x8cbbd33920ae802e'u64 ), toF( 0x970d0f939bb614cb'u64 ), toF( 0x62f2ca599147f626'u64 ) ] )
|
|
|
|
|
, ( 34 , [ toF( 0xd1fae09ac7af6f1d'u64 ), toF( 0xe54778e576b68a60'u64 ), toF( 0xc39af812d891c899'u64 ), toF( 0xe9058cb23fd88111'u64 ) ] )
|
|
|
|
|
, ( 35 , [ toF( 0xcf5f73b6041b5c2d'u64 ), toF( 0x53d267526e0854f9'u64 ), toF( 0xc30f2add7ec42209'u64 ), toF( 0xbf0412d12e8d44e3'u64 ) ] )
|
|
|
|
|
, ( 36 , [ toF( 0xb9d2d73dcd4e12f1'u64 ), toF( 0xfa2b3a8677800ddd'u64 ), toF( 0x976cbcb93fbd0abc'u64 ), toF( 0x3734a00497ade000'u64 ) ] )
|
|
|
|
|
, ( 37 , [ toF( 0x0a9513cbe5559039'u64 ), toF( 0xb299109fe0fd506b'u64 ), toF( 0x6f0a4d975ee8c91f'u64 ), toF( 0x9251edbaf54054f6'u64 ) ] )
|
|
|
|
|
, ( 38 , [ toF( 0xbfe721a56e838415'u64 ), toF( 0x3db97c41481e4ca1'u64 ), toF( 0xbdff922bcb426824'u64 ), toF( 0xd1af0e132962f8ed'u64 ) ] )
|
|
|
|
|
, ( 39 , [ toF( 0xabdf8b602afc8413'u64 ), toF( 0x49f13525d35ba074'u64 ), toF( 0xf5c92c43f63d55c0'u64 ), toF( 0x6519de3951c12e99'u64 ) ] )
|
|
|
|
|
, ( 40 , [ toF( 0x78c5598137d0cd83'u64 ), toF( 0x85d12d918ac5f816'u64 ), toF( 0x3b399295437cdbbf'u64 ), toF( 0x9f673a9b6f5ee754'u64 ) ] )
|
|
|
|
|
, ( 41 , [ toF( 0x50c73c6cc90a2fb0'u64 ), toF( 0x0d66216283edf07c'u64 ), toF( 0x778d40f761ec6b9a'u64 ), toF( 0x13b8699473cc7fa7'u64 ) ] )
|
|
|
|
|
, ( 42 , [ toF( 0x178769e5c3694a79'u64 ), toF( 0x1878c8eb8025c949'u64 ), toF( 0x0aa2314dfab75b46'u64 ), toF( 0x4274d2f8ee6bf7c0'u64 ) ] )
|
|
|
|
|
, ( 43 , [ toF( 0xd5662c9750dd5ec0'u64 ), toF( 0xb3886d61126d7fbf'u64 ), toF( 0x374697845a474d98'u64 ), toF( 0x7fc4c765cafb4454'u64 ) ] )
|
|
|
|
|
, ( 44 , [ toF( 0xba241f5ede837698'u64 ), toF( 0x33d53ff83b4811c1'u64 ), toF( 0xbdad52755ab2b226'u64 ), toF( 0xbebae7847982a5a7'u64 ) ] )
|
|
|
|
|
, ( 45 , [ toF( 0xd7e18e0126ce73a1'u64 ), toF( 0xaceeaf06d8137f62'u64 ), toF( 0xbe72369c8866e206'u64 ), toF( 0x6acbd2907ff50895'u64 ) ] )
|
|
|
|
|
, ( 46 , [ toF( 0x1ce1315e5fc87998'u64 ), toF( 0xef4d9567cb3b294f'u64 ), toF( 0x21c095d1d595a93a'u64 ), toF( 0x389c52e4496f6457'u64 ) ] )
|
|
|
|
|
, ( 47 , [ toF( 0x6c618a492d2df33e'u64 ), toF( 0x3b4eb0b03ab6d4c3'u64 ), toF( 0x215a6b0448c6b1e0'u64 ), toF( 0x460222a9ac9710b2'u64 ) ] )
|
|
|
|
|
, ( 48 , [ toF( 0x740e8907b47bfcdc'u64 ), toF( 0x5fc55243c1675e19'u64 ), toF( 0x2d974b923a7605c9'u64 ), toF( 0x1fac05fa253dee1b'u64 ) ] )
|
|
|
|
|
, ( 49 , [ toF( 0xb2aca9ab8484f852'u64 ), toF( 0xb64f5200b8adbf87'u64 ), toF( 0xff3d200e7c8cf5d0'u64 ), toF( 0xb8ee3aec7f032643'u64 ) ] )
|
|
|
|
|
, ( 50 , [ toF( 0xc221e7d48a3d7d71'u64 ), toF( 0x943fb895d2d0d9d1'u64 ), toF( 0x51becbd90f0b9583'u64 ), toF( 0x054b71732d89fb34'u64 ) ] )
|
|
|
|
|
, ( 51 , [ toF( 0x541850a2679f50d7'u64 ), toF( 0x3299d1ef0783639a'u64 ), toF( 0xbf4c5e3313407a18'u64 ), toF( 0x204f0253a35958b5'u64 ) ] )
|
|
|
|
|
, ( 52 , [ toF( 0x9fbc5b97c8fad8fa'u64 ), toF( 0xd3262c1066ff38f1'u64 ), toF( 0x265cb6f83919440c'u64 ), toF( 0x1abe6a8913df098b'u64 ) ] )
|
|
|
|
|
, ( 53 , [ toF( 0xd74b97c5dd0e3531'u64 ), toF( 0xf9b5a04f69b1938a'u64 ), toF( 0x706a64a68f45304f'u64 ), toF( 0xdeaade3d1d27f688'u64 ) ] )
|
|
|
|
|
, ( 54 , [ toF( 0x1bd890d3a79d8e2c'u64 ), toF( 0x72db86261bd63398'u64 ), toF( 0x616db932022bf41b'u64 ), toF( 0xb9aaccdac8f54b51'u64 ) ] )
|
|
|
|
|
, ( 55 , [ toF( 0xe6f0d2e5cb21f0e5'u64 ), toF( 0x1d36c0348b974aec'u64 ), toF( 0x13f1a4ac6dc5bb34'u64 ), toF( 0x65caadb1f0895b75'u64 ) ] )
|
|
|
|
|
, ( 56 , [ toF( 0x30a450b2c3bdda89'u64 ), toF( 0xb89e5c2d2c871c52'u64 ), toF( 0x6200b20e8ab05243'u64 ), toF( 0xc1b51f7e99cc8626'u64 ) ] )
|
|
|
|
|
, ( 57 , [ toF( 0xb15e0bb152de0f88'u64 ), toF( 0xa303c1bf6c8fdfbe'u64 ), toF( 0x0b9c732a69501e65'u64 ), toF( 0x2d1b68a3ed48fc58'u64 ) ] )
|
|
|
|
|
, ( 58 , [ toF( 0x03464a49d6636ed9'u64 ), toF( 0x3d7d33d3d94178a7'u64 ), toF( 0x00e3e00fd7c4dbbd'u64 ), toF( 0x21d63e0b37d2c03b'u64 ) ] )
|
|
|
|
|
, ( 59 , [ toF( 0x27e74dd6912dbee7'u64 ), toF( 0x0fa7ee9cb29ce351'u64 ), toF( 0x83e0a2ec03951600'u64 ), toF( 0x1e16616cfa6f2f58'u64 ) ] )
|
|
|
|
|
, ( 60 , [ toF( 0x4048a62bf7fd161c'u64 ), toF( 0x74b70d2939d2f368'u64 ), toF( 0x8f88764dfd1d1470'u64 ), toF( 0x9fd81877d671ed90'u64 ) ] )
|
|
|
|
|
, ( 61 , [ toF( 0x11b9e10aa473a83e'u64 ), toF( 0x5160024dad09b696'u64 ), toF( 0xc2988ea8c3469f28'u64 ), toF( 0x59dd3187f7bf020f'u64 ) ] )
|
|
|
|
|
, ( 62 , [ toF( 0x27e99e3ee37bed38'u64 ), toF( 0x76d7163c9d77f0d1'u64 ), toF( 0xef9a6c81f8f63f5f'u64 ), toF( 0x1e2a49e4aac531d2'u64 ) ] )
|
|
|
|
|
, ( 63 , [ toF( 0x5b846f160cb8fdf7'u64 ), toF( 0x41e6c1fcd8e13a82'u64 ), toF( 0xfec24b31c803b55f'u64 ), toF( 0xb99cdbc8ea96d389'u64 ) ] )
|
|
|
|
|
, ( 64 , [ toF( 0x26a02e40de0a8e36'u64 ), toF( 0x24d20d9f8836890d'u64 ), toF( 0x683da5bbbf0d840f'u64 ), toF( 0x9ddc396f11da519b'u64 ) ] )
|
|
|
|
|
, ( 65 , [ toF( 0xb48d6109524d3764'u64 ), toF( 0xe4ced528bc9c0ad5'u64 ), toF( 0x997e9c489ddc0cbd'u64 ), toF( 0x1228a23259790f02'u64 ) ] )
|
|
|
|
|
, ( 66 , [ toF( 0xd433a1e2b4e1da3f'u64 ), toF( 0xa0114f394b3409b3'u64 ), toF( 0xf9e55aeeb4c1de5b'u64 ), toF( 0x228956ad30b1ac73'u64 ) ] )
|
|
|
|
|
, ( 67 , [ toF( 0xf3fb814f85b24f9d'u64 ), toF( 0xcddaf89174002b00'u64 ), toF( 0x30e19fe695d35688'u64 ), toF( 0x5de1a7430c28663a'u64 ) ] )
|
|
|
|
|
, ( 68 , [ toF( 0x8e3efb89912b82a6'u64 ), toF( 0x7da172767185be58'u64 ), toF( 0x04148a84fa388c21'u64 ), toF( 0xb73612fd6711d1da'u64 ) ] )
|
|
|
|
|
, ( 69 , [ toF( 0x1fe6611bf39f4e63'u64 ), toF( 0x836393b5671f2241'u64 ), toF( 0x4e961ffd0b616224'u64 ), toF( 0x866c29822d5f36a4'u64 ) ] )
|
|
|
|
|
, ( 70 , [ toF( 0x56fa5c72b019a722'u64 ), toF( 0xd1ddfdf6c3417edd'u64 ), toF( 0x25c4160b657793e6'u64 ), toF( 0x7ce1a8737f8ef1f0'u64 ) ] )
|
|
|
|
|
, ( 71 , [ toF( 0x048fd2f5ae8fb45f'u64 ), toF( 0x544a14294e51d8b9'u64 ), toF( 0x3bf5c555422eece0'u64 ), toF( 0x4d9f1acb82fc9406'u64 ) ] )
|
|
|
|
|
, ( 72 , [ toF( 0x7734b79368c6a0bb'u64 ), toF( 0x404cb00cf169e541'u64 ), toF( 0x7ef63207c8159a22'u64 ), toF( 0xd3fe0ed7c0acc686'u64 ) ] )
|
|
|
|
|
, ( 73 , [ toF( 0x765d69c5964eaab2'u64 ), toF( 0xce7811b50712993c'u64 ), toF( 0x0e37eb5665acabf8'u64 ), toF( 0x1190917670e3525f'u64 ) ] )
|
|
|
|
|
, ( 74 , [ toF( 0xe94197d69f10634c'u64 ), toF( 0xa7de3fdc6cf41f96'u64 ), toF( 0x88e4a0bee6104bc8'u64 ), toF( 0x4c50c84f92441cd1'u64 ) ] )
|
|
|
|
|
, ( 75 , [ toF( 0xf9043dce429922e5'u64 ), toF( 0x56a722499c498639'u64 ), toF( 0xf528a1b7e7625c07'u64 ), toF( 0x3a86b14246792251'u64 ) ] )
|
|
|
|
|
, ( 76 , [ toF( 0x1878cd1486f6cccd'u64 ), toF( 0x9e9359ac010228f5'u64 ), toF( 0xdeb9b0d999336cef'u64 ), toF( 0xb67dbd855a62afbb'u64 ) ] )
|
|
|
|
|
, ( 77 , [ toF( 0x53d160137248e8a8'u64 ), toF( 0xf6a4353f4ec9b4a9'u64 ), toF( 0xd87d39b0d0998acf'u64 ), toF( 0x0959799e549eca4d'u64 ) ] )
|
|
|
|
|
, ( 78 , [ toF( 0xa9116e718325ba40'u64 ), toF( 0xd27d0d7cb8e787da'u64 ), toF( 0xa53646a5a374a0d8'u64 ), toF( 0xad6b0cbc72c8123a'u64 ) ] )
|
|
|
|
|
, ( 79 , [ toF( 0x8a77849c8afa0388'u64 ), toF( 0x33daf95ebaa3e7a3'u64 ), toF( 0xc6e41864fe175a6a'u64 ), toF( 0x16a98319b7b1e136'u64 ) ] )
|
|
|
|
|
, ( 80 , [ toF( 0x28733ebf4b8ea552'u64 ), toF( 0x69e61fd5b4f9084b'u64 ), toF( 0xcc217c9271aeb1c1'u64 ), toF( 0xaa8a9674e6aa7be0'u64 ) ] )
|
|
|
|
|
]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
const testcases_field_rate8* : array[81, tuple[n:int,digest:F4]] =
|
|
|
|
|
[ ( 0 , [ toF( 0xd47c5fbae9096559'u64 ), toF( 0xee882b9337378620'u64 ), toF( 0xc392c8614fc3aa09'u64 ), toF( 0x28fa56b792eb577c'u64 ) ] )
|
|
|
|
|
, ( 1 , [ toF( 0xbd2b3a8a876c057b'u64 ), toF( 0x571f86d703ab22d3'u64 ), toF( 0xd3800a8192720938'u64 ), toF( 0xff4e91ae72e439ca'u64 ) ] )
|
|
|
|
|
, ( 2 , [ toF( 0x734df0e5728ce6b3'u64 ), toF( 0x99aced42682b5a2a'u64 ), toF( 0xe8b66ad078279825'u64 ), toF( 0x9941b88ae257f341'u64 ) ] )
|
|
|
|
|
, ( 3 , [ toF( 0xa6433cb12ba62d52'u64 ), toF( 0x1629e21393900ebf'u64 ), toF( 0x4476301fc4f47f81'u64 ), toF( 0x000e9e55ae70c696'u64 ) ] )
|
|
|
|
|
, ( 4 , [ toF( 0x884602191b4a865f'u64 ), toF( 0xb77eb3239a710d56'u64 ), toF( 0x61eeb379d3cde9f1'u64 ), toF( 0xf2ee5db1c5183c06'u64 ) ] )
|
|
|
|
|
, ( 5 , [ toF( 0x13464401497bc0d6'u64 ), toF( 0x8ce82497cc9a4b2e'u64 ), toF( 0xf2fd40929bb97a7b'u64 ), toF( 0x881c1c52cbfd9f9b'u64 ) ] )
|
|
|
|
|
, ( 6 , [ toF( 0xb19b615bb7a98de4'u64 ), toF( 0x75c00a67ab6ff17a'u64 ), toF( 0xc05f61c793da97fd'u64 ), toF( 0x0e447f619a0eaf07'u64 ) ] )
|
|
|
|
|
, ( 7 , [ toF( 0x765b2887f8537171'u64 ), toF( 0x50b4dfeffd4d49d5'u64 ), toF( 0xb50b5c206a05fd2a'u64 ), toF( 0x77228853b07f9b3f'u64 ) ] )
|
|
|
|
|
, ( 8 , [ toF( 0x73d29f1b00757d2b'u64 ), toF( 0x03e6160b3f7ed271'u64 ), toF( 0x5ff50af82978c93b'u64 ), toF( 0x1507a55e93e53fd0'u64 ) ] )
|
|
|
|
|
, ( 9 , [ toF( 0x6b6639736cc33412'u64 ), toF( 0x13c3223859d2ec55'u64 ), toF( 0xa598be339d131a5e'u64 ), toF( 0x5248819c0cc46c59'u64 ) ] )
|
|
|
|
|
, ( 10 , [ toF( 0x751f4254110c0e68'u64 ), toF( 0xc675b0209833e442'u64 ), toF( 0x71ae9952b81f4b25'u64 ), toF( 0xf93d2e2ed2ea41fd'u64 ) ] )
|
|
|
|
|
, ( 11 , [ toF( 0x996a2bc62c21e532'u64 ), toF( 0x38271bd59cd6933d'u64 ), toF( 0x26090c447278edb4'u64 ), toF( 0xec57edebfdc5a78e'u64 ) ] )
|
|
|
|
|
, ( 12 , [ toF( 0x01e4744707a0de6a'u64 ), toF( 0xbb28342b330ad160'u64 ), toF( 0x323a772ab3258ced'u64 ), toF( 0x23fa246d8fb1a32d'u64 ) ] )
|
|
|
|
|
, ( 13 , [ toF( 0xb0826250221ac267'u64 ), toF( 0xba2943c78fe7b327'u64 ), toF( 0x79dbde0324103615'u64 ), toF( 0xa321a157a35651c1'u64 ) ] )
|
|
|
|
|
, ( 14 , [ toF( 0x21861f0f8f3613cf'u64 ), toF( 0xa81565899d61ba44'u64 ), toF( 0x32e974dd9a68cecc'u64 ), toF( 0x9770cb4f04d59d56'u64 ) ] )
|
|
|
|
|
, ( 15 , [ toF( 0x56b40e590d508a8e'u64 ), toF( 0xed203ebcb5827ee1'u64 ), toF( 0x87028b8115caabe9'u64 ), toF( 0xb0c3625d8ce2d87c'u64 ) ] )
|
|
|
|
|
, ( 16 , [ toF( 0x31a5cba06f373379'u64 ), toF( 0xd105f5a4db31aa39'u64 ), toF( 0xcfcb6d7ad0ac35bf'u64 ), toF( 0xb27c9fbe10785cd7'u64 ) ] )
|
|
|
|
|
, ( 17 , [ toF( 0x168dc7f64443bb42'u64 ), toF( 0xa43b954af0438342'u64 ), toF( 0x9ee5475ec0b42203'u64 ), toF( 0x3d7f53b6355bd5ff'u64 ) ] )
|
|
|
|
|
, ( 18 , [ toF( 0x51348a77a8dc0bc2'u64 ), toF( 0x7388a29f8156fd8e'u64 ), toF( 0x5ae41ca4b7826796'u64 ), toF( 0x5bb858d7460f9b59'u64 ) ] )
|
|
|
|
|
, ( 19 , [ toF( 0xa5b7420df52838c1'u64 ), toF( 0x533e1509647c9fa1'u64 ), toF( 0x9651947c57cf4dcf'u64 ), toF( 0x103f08964038b9f9'u64 ) ] )
|
|
|
|
|
, ( 20 , [ toF( 0x55a717e33b97b557'u64 ), toF( 0x7b4026e2d656a6eb'u64 ), toF( 0x18c401420a0242d4'u64 ), toF( 0x7186b16167404ba3'u64 ) ] )
|
|
|
|
|
, ( 21 , [ toF( 0xff93bf59fc306d6d'u64 ), toF( 0x5ab6423e9993bfe1'u64 ), toF( 0xa91c4da9b2734002'u64 ), toF( 0x4d05843fb1884c0e'u64 ) ] )
|
|
|
|
|
, ( 22 , [ toF( 0xbcb54583ec543ca1'u64 ), toF( 0x4c9ef6b0d21178fc'u64 ), toF( 0x8fa173cf5b146e4e'u64 ), toF( 0xf1ff0fc009c96625'u64 ) ] )
|
|
|
|
|
, ( 23 , [ toF( 0x987da4c2b745c0af'u64 ), toF( 0xaa95bfa45db48494'u64 ), toF( 0x936e1442355c708b'u64 ), toF( 0xa74c3dfd4b0e9e0c'u64 ) ] )
|
|
|
|
|
, ( 24 , [ toF( 0xe9f92f57a196aeb5'u64 ), toF( 0xf3fa8aaa35362bc4'u64 ), toF( 0x6d529e2243620d8d'u64 ), toF( 0xbe6f05be1de9d92d'u64 ) ] )
|
|
|
|
|
, ( 25 , [ toF( 0xfaf815dd45b7ff2a'u64 ), toF( 0x8f618b4bf8674be9'u64 ), toF( 0x25ce53df6ff85ba6'u64 ), toF( 0xa4c870702e47d0eb'u64 ) ] )
|
|
|
|
|
, ( 26 , [ toF( 0x0f148e7f4760479d'u64 ), toF( 0x143e5c3e4e99f6fe'u64 ), toF( 0xedcc7acac42e85a0'u64 ), toF( 0xb8d090427063aed2'u64 ) ] )
|
|
|
|
|
, ( 27 , [ toF( 0xd8f3f8f7ec884dd9'u64 ), toF( 0xe5a4edf10435000a'u64 ), toF( 0xb2c7843daf322e4a'u64 ), toF( 0x12b05a724712c53b'u64 ) ] )
|
|
|
|
|
, ( 28 , [ toF( 0x4aa637cb5e3138c7'u64 ), toF( 0xd49c563bbf06b05c'u64 ), toF( 0xc35e6e7004db16b2'u64 ), toF( 0x0f6ef09d5690c14c'u64 ) ] )
|
|
|
|
|
, ( 29 , [ toF( 0xa8589eedb0526516'u64 ), toF( 0xce2b63f5a5a0cf3e'u64 ), toF( 0x2b6fb5024e0ea992'u64 ), toF( 0x3364be70f81edba5'u64 ) ] )
|
|
|
|
|
, ( 30 , [ toF( 0x301f2ce2caa1ce9d'u64 ), toF( 0xb73306e33e8d69a3'u64 ), toF( 0xe9b0f8fafc8fc169'u64 ), toF( 0x0fd42d79f72ca50c'u64 ) ] )
|
|
|
|
|
, ( 31 , [ toF( 0x43f4728f3701b43e'u64 ), toF( 0xb9e70c79f7fe2081'u64 ), toF( 0xb9fece9e268affa4'u64 ), toF( 0x9e24983cb797dfed'u64 ) ] )
|
|
|
|
|
, ( 32 , [ toF( 0x41d6e94fd8342679'u64 ), toF( 0xba86b53a8b2bf253'u64 ), toF( 0x79a6e7f327a22e1f'u64 ), toF( 0x871cbd07f104f800'u64 ) ] )
|
|
|
|
|
, ( 33 , [ toF( 0x02bdde70440b4c3c'u64 ), toF( 0xe6366d2b6ea63f62'u64 ), toF( 0x55397ef12baf3ebe'u64 ), toF( 0x79a016b93ef22db3'u64 ) ] )
|
|
|
|
|
, ( 34 , [ toF( 0x0a57df075b03aa87'u64 ), toF( 0x85ef7e262e09ab2a'u64 ), toF( 0x48ed674f1e0fe250'u64 ), toF( 0xe6642a0b5d833b1a'u64 ) ] )
|
|
|
|
|
, ( 35 , [ toF( 0x5c2404b3722c166d'u64 ), toF( 0x95c4b56068a2b87c'u64 ), toF( 0x86f4397aafe0b440'u64 ), toF( 0xdbc1468bad0065e3'u64 ) ] )
|
|
|
|
|
, ( 36 , [ toF( 0xf84a008500a34380'u64 ), toF( 0x9b98dc273f12b9ea'u64 ), toF( 0xa38ea99bc1408fe8'u64 ), toF( 0x70624047e5d23da7'u64 ) ] )
|
|
|
|
|
, ( 37 , [ toF( 0x582114ac38c85dc7'u64 ), toF( 0xda9c2c22f65993c5'u64 ), toF( 0x98c67d182657a940'u64 ), toF( 0xf5bd8423e4c92701'u64 ) ] )
|
|
|
|
|
, ( 38 , [ toF( 0x6cb73a447175cb60'u64 ), toF( 0x0ad221fc0f8fc274'u64 ), toF( 0x2e17f96fd59e11d9'u64 ), toF( 0xbfe525f065656e7c'u64 ) ] )
|
|
|
|
|
, ( 39 , [ toF( 0x2ae657a948315d95'u64 ), toF( 0xc485e35a032d4d79'u64 ), toF( 0x4d081b49a3e8a9ab'u64 ), toF( 0xf4aabf5d0ff1d821'u64 ) ] )
|
|
|
|
|
, ( 40 , [ toF( 0x1f72a28a21bcea9a'u64 ), toF( 0x608ae68561e1eee5'u64 ), toF( 0x464df33bb0297b1b'u64 ), toF( 0xc158fa2835134243'u64 ) ] )
|
|
|
|
|
, ( 41 , [ toF( 0x26fa3a4f165f5e7b'u64 ), toF( 0x0c096f0a1afb05de'u64 ), toF( 0x4327e039d80ee6f9'u64 ), toF( 0x458ca10552bb3776'u64 ) ] )
|
|
|
|
|
, ( 42 , [ toF( 0x30d787507a383cc8'u64 ), toF( 0x56924c40dc6172f6'u64 ), toF( 0x70cfd5e0cdd52583'u64 ), toF( 0x1428d2b25ad3c3fc'u64 ) ] )
|
|
|
|
|
, ( 43 , [ toF( 0x8cfb154e29717587'u64 ), toF( 0xeae88549bde6aa6d'u64 ), toF( 0x7a57d5fe4ec2a6f2'u64 ), toF( 0x7c63d20c49c6c49e'u64 ) ] )
|
|
|
|
|
, ( 44 , [ toF( 0xa4a2555d05d70b76'u64 ), toF( 0xacec7bfd21edc0b9'u64 ), toF( 0xece5296fa0b45072'u64 ), toF( 0x07613f64d513ec82'u64 ) ] )
|
|
|
|
|
, ( 45 , [ toF( 0x6e561427849ac733'u64 ), toF( 0x4b3f7c95747f2e18'u64 ), toF( 0xf1c0e8357e91bb82'u64 ), toF( 0x26627cb0f7d5b403'u64 ) ] )
|
|
|
|
|
, ( 46 , [ toF( 0x4f098ba7c44e8807'u64 ), toF( 0x90c7b599c257b176'u64 ), toF( 0x5d3acacb24cb8e42'u64 ), toF( 0xaab0a0b736c5896d'u64 ) ] )
|
|
|
|
|
, ( 47 , [ toF( 0xf88886083e5a4193'u64 ), toF( 0xc683f0662844ff56'u64 ), toF( 0x61d4f3c4bfb9fcb0'u64 ), toF( 0x1d0cc321661e4720'u64 ) ] )
|
|
|
|
|
, ( 48 , [ toF( 0xb7ad210df5081c23'u64 ), toF( 0xd085a63c007b45b8'u64 ), toF( 0x78f1add7776350f8'u64 ), toF( 0x22bcca35ffebd473'u64 ) ] )
|
|
|
|
|
, ( 49 , [ toF( 0xd888c1b3c62aa9d1'u64 ), toF( 0x8ba8e3baefe91352'u64 ), toF( 0xf11062e4f823cde1'u64 ), toF( 0xe83c01c80a0c3c7d'u64 ) ] )
|
|
|
|
|
, ( 50 , [ toF( 0xc8d2a45070fa9bba'u64 ), toF( 0xf2b3f520327e3f91'u64 ), toF( 0x0d6c8efbc6cb175f'u64 ), toF( 0x8a80226a89ea8718'u64 ) ] )
|
|
|
|
|
, ( 51 , [ toF( 0x74d0e93875672619'u64 ), toF( 0x221d20fb2c145e0a'u64 ), toF( 0x8c7d342df4843424'u64 ), toF( 0x9f12d0159006c003'u64 ) ] )
|
|
|
|
|
, ( 52 , [ toF( 0x81a650887dc45384'u64 ), toF( 0x2ec1e529e4555e22'u64 ), toF( 0xadc5492ee02fd55e'u64 ), toF( 0x4e1e1c36f1032ca6'u64 ) ] )
|
|
|
|
|
, ( 53 , [ toF( 0x34f8b0dcf556d5d2'u64 ), toF( 0x250e7f1a03ea4230'u64 ), toF( 0x5e2842a502eec007'u64 ), toF( 0xdbffab9d180deca6'u64 ) ] )
|
|
|
|
|
, ( 54 , [ toF( 0x932e743a6e186394'u64 ), toF( 0x0a725f2198b45528'u64 ), toF( 0xaf958f14b51978e2'u64 ), toF( 0x59a14f99508ceee3'u64 ) ] )
|
|
|
|
|
, ( 55 , [ toF( 0xf574aeb960f2392c'u64 ), toF( 0x28c3ef07bdac7557'u64 ), toF( 0x6fc354d2388bac3b'u64 ), toF( 0x64a9dda389196d4e'u64 ) ] )
|
|
|
|
|
, ( 56 , [ toF( 0x23fcddab6d946732'u64 ), toF( 0xf129acb3445a301d'u64 ), toF( 0x5e9997d8d86eda72'u64 ), toF( 0xe4db527e969adea9'u64 ) ] )
|
|
|
|
|
, ( 57 , [ toF( 0x61d1c53c46c23ab1'u64 ), toF( 0x110f2b1d69119297'u64 ), toF( 0xce941a1f3beb99f2'u64 ), toF( 0x5fb253137b22b86e'u64 ) ] )
|
|
|
|
|
, ( 58 , [ toF( 0x1f21ad96326e7983'u64 ), toF( 0x4c63aeaa9b292de1'u64 ), toF( 0xd450fd8541735d20'u64 ), toF( 0x0f1c9d8e7b407af0'u64 ) ] )
|
|
|
|
|
, ( 59 , [ toF( 0xfbbcf7c0302be691'u64 ), toF( 0x7bd5bc9131e3d995'u64 ), toF( 0x432340d4e3899312'u64 ), toF( 0xfc5627127f738253'u64 ) ] )
|
|
|
|
|
, ( 60 , [ toF( 0x8d5ecc51c9d9e185'u64 ), toF( 0x67e2d4225897f2b2'u64 ), toF( 0xc88ec318b0d500a2'u64 ), toF( 0xb3b07aa5ca58feab'u64 ) ] )
|
|
|
|
|
, ( 61 , [ toF( 0xfe2e1c6399917675'u64 ), toF( 0x9deb08db7ec90aff'u64 ), toF( 0x934ffab03b9a17da'u64 ), toF( 0x01cbe3dd89cc9566'u64 ) ] )
|
|
|
|
|
, ( 62 , [ toF( 0xb521d02fe7810045'u64 ), toF( 0x2309bb7326fb9d46'u64 ), toF( 0x7f66b9de2dc8795d'u64 ), toF( 0xf47b0411f22a29fe'u64 ) ] )
|
|
|
|
|
, ( 63 , [ toF( 0xecc1f33b69ac5fec'u64 ), toF( 0x9aa138c5a386d225'u64 ), toF( 0x0ace2b75f6b9aca8'u64 ), toF( 0xea4a5cc67389630e'u64 ) ] )
|
|
|
|
|
, ( 64 , [ toF( 0x9380884549bcae7e'u64 ), toF( 0x938cfac5314a3bd1'u64 ), toF( 0x41a05ef491bd9734'u64 ), toF( 0x656527722a14476a'u64 ) ] )
|
|
|
|
|
, ( 65 , [ toF( 0xbee1617c12f3bb31'u64 ), toF( 0x02fe9245dc0222b0'u64 ), toF( 0xfaa0c45f4fac8a1f'u64 ), toF( 0x1a1882e598f10cd1'u64 ) ] )
|
|
|
|
|
, ( 66 , [ toF( 0x3d6f45bddb3f913f'u64 ), toF( 0x9ae79589f3b236cb'u64 ), toF( 0xda3e52dc2966e312'u64 ), toF( 0x27443d7b72b1301f'u64 ) ] )
|
|
|
|
|
, ( 67 , [ toF( 0x1c5e47fdcfa5eb55'u64 ), toF( 0x037c3ac2750e0260'u64 ), toF( 0xaed6cf44e8aed133'u64 ), toF( 0xde875c4b8363ff62'u64 ) ] )
|
|
|
|
|
, ( 68 , [ toF( 0x601bf0e530f8aa47'u64 ), toF( 0x403c2784da254072'u64 ), toF( 0xcedb69e653189f36'u64 ), toF( 0x7260da020c7d5a8e'u64 ) ] )
|
|
|
|
|
, ( 69 , [ toF( 0xcc1d8eeb09cc7395'u64 ), toF( 0xfd5e6c3ef47da22c'u64 ), toF( 0x95d9fd0b104d4aca'u64 ), toF( 0x71dce81c3fafd34b'u64 ) ] )
|
|
|
|
|
, ( 70 , [ toF( 0x66269dc42f27eb80'u64 ), toF( 0x319d45e05395d84d'u64 ), toF( 0xee5352cbd21bd3f9'u64 ), toF( 0x2b56e6c07c2c8e42'u64 ) ] )
|
|
|
|
|
, ( 71 , [ toF( 0xf37e7be84492eacf'u64 ), toF( 0x49d0fb74dcc8be3e'u64 ), toF( 0x6e63dd4154881c6b'u64 ), toF( 0xe12299181994e4cb'u64 ) ] )
|
|
|
|
|
, ( 72 , [ toF( 0xddf3e544640a4b95'u64 ), toF( 0xe37e7e164118e3e9'u64 ), toF( 0xa3e74d265ab71940'u64 ), toF( 0x345d49a9e79d68a9'u64 ) ] )
|
|
|
|
|
, ( 73 , [ toF( 0x73913de797ba4056'u64 ), toF( 0x6f9ad2335f6d0521'u64 ), toF( 0xa287245ee3c8b372'u64 ), toF( 0x3d80fc972750e899'u64 ) ] )
|
|
|
|
|
, ( 74 , [ toF( 0xf3beaac21ae96be2'u64 ), toF( 0x473f845e0202f652'u64 ), toF( 0x874cc8cc9b93ed4e'u64 ), toF( 0x79159a530522714a'u64 ) ] )
|
|
|
|
|
, ( 75 , [ toF( 0x7d768f74f577dfe1'u64 ), toF( 0xa8dd73e0860f6403'u64 ), toF( 0x9de2b59559e08d84'u64 ), toF( 0x6e71fb3ad4304043'u64 ) ] )
|
|
|
|
|
, ( 76 , [ toF( 0x1292a8ecdb0f4999'u64 ), toF( 0xa77a37e2c82d4983'u64 ), toF( 0xc4f1b79461528b04'u64 ), toF( 0x5ff76a20799dd36a'u64 ) ] )
|
|
|
|
|
, ( 77 , [ toF( 0x87fa8016752102ec'u64 ), toF( 0xe258420d00956b2e'u64 ), toF( 0x94ec3405117ea532'u64 ), toF( 0xc4b7b06a56b6015e'u64 ) ] )
|
|
|
|
|
, ( 78 , [ toF( 0x6eba3b89f6c685df'u64 ), toF( 0x87fc56a16f96e60e'u64 ), toF( 0x5cd9bd74bc1befe2'u64 ), toF( 0x649dbe0be682c812'u64 ) ] )
|
|
|
|
|
, ( 79 , [ toF( 0xfc4f56576c8daee7'u64 ), toF( 0xf3aa0e0dc20996ab'u64 ), toF( 0x12ef39a31cff9933'u64 ), toF( 0x8969c0ee5aeb8093'u64 ) ] )
|
|
|
|
|
, ( 80 , [ toF( 0x2f610bed75395897'u64 ), toF( 0x9ae07b486f21fcf5'u64 ), toF( 0xc506265e839283a4'u64 ), toF( 0x619636360bbecda5'u64 ) ] )
|
|
|
|
|
]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
const testcases_bytes_rate4* : array[81, tuple[n:int,digest:F4]] =
|
|
|
|
|
[ ( 0 , [ toF( 0x7c484b4f47eb0679'u64 ), toF( 0x8091cb3ade163fde'u64 ), toF( 0x6ec512cc8ac119d0'u64 ), toF( 0xed0db0154a8d5b5f'u64 ) ] )
|
|
|
|
|
, ( 1 , [ toF( 0x565c278d1913a809'u64 ), toF( 0xb92f3a088414beb4'u64 ), toF( 0xc25b30275881d62b'u64 ), toF( 0x8de94be926727db0'u64 ) ] )
|
|
|
|
|
, ( 2 , [ toF( 0x4a354b0f8f550025'u64 ), toF( 0x269bfe1174ea2c99'u64 ), toF( 0xd363f218d607df09'u64 ), toF( 0x3f7e97dd33d593dc'u64 ) ] )
|
|
|
|
|
, ( 3 , [ toF( 0x20363510a8f4f212'u64 ), toF( 0xa9e0a1c9a79def51'u64 ), toF( 0x711d52069cc27ab0'u64 ), toF( 0xf2d4de27dc4ca7ed'u64 ) ] )
|
|
|
|
|
, ( 4 , [ toF( 0xff537295ab1bc998'u64 ), toF( 0x6f7fed4e2e09e409'u64 ), toF( 0x77bd28e160c3cb73'u64 ), toF( 0x454f9ed4aa67aa6f'u64 ) ] )
|
|
|
|
|
, ( 5 , [ toF( 0x320ca6586dad35bf'u64 ), toF( 0xb7af436e5ab8b1d8'u64 ), toF( 0xe130609d2fc5a043'u64 ), toF( 0x942f5efd281d6cac'u64 ) ] )
|
|
|
|
|
, ( 6 , [ toF( 0x2c83519bfc2d7f12'u64 ), toF( 0x0d0451fbaf4972ab'u64 ), toF( 0x8075b0a22f474275'u64 ), toF( 0xc2454a2197744bfe'u64 ) ] )
|
|
|
|
|
, ( 7 , [ toF( 0x90cd358cc86e4e0f'u64 ), toF( 0x2737c2576ddf708c'u64 ), toF( 0x6222b2614243ef24'u64 ), toF( 0x9e59b5854c5f7ca5'u64 ) ] )
|
|
|
|
|
, ( 8 , [ toF( 0xf55c76d2e4066e5f'u64 ), toF( 0xddf12edadebdc2b5'u64 ), toF( 0xbcb19eec0ef85e3a'u64 ), toF( 0x6df1e0d96c111d39'u64 ) ] )
|
|
|
|
|
, ( 9 , [ toF( 0x92ba90e3e82d045c'u64 ), toF( 0x6076b22396dc68d3'u64 ), toF( 0xca60b2a8f6d7c68f'u64 ), toF( 0x467ceb00ea98291f'u64 ) ] )
|
|
|
|
|
, ( 10 , [ toF( 0x4247b7c0fcf0eafb'u64 ), toF( 0x4fa85c57b3ed635c'u64 ), toF( 0xde25e4dc8a1a19ee'u64 ), toF( 0x47a3dbece14f00a6'u64 ) ] )
|
|
|
|
|
, ( 11 , [ toF( 0x0f786b732fb9182b'u64 ), toF( 0xf9174c6d91276ecd'u64 ), toF( 0xc9ed18f8fb983362'u64 ), toF( 0x5a84ab69e9bbae5e'u64 ) ] )
|
|
|
|
|
, ( 12 , [ toF( 0x98353f5e3355ae3a'u64 ), toF( 0x68852ed233ef3452'u64 ), toF( 0x4bc605dacc7d4429'u64 ), toF( 0x03c0bc46cbb87c3c'u64 ) ] )
|
|
|
|
|
, ( 13 , [ toF( 0x1c7fd112e53d0f10'u64 ), toF( 0xa5a43bb2d6eedbf5'u64 ), toF( 0x54a3f2c9236cb1cb'u64 ), toF( 0xa9860d259df1ed8a'u64 ) ] )
|
|
|
|
|
, ( 14 , [ toF( 0x7ac3dc68225fd4b1'u64 ), toF( 0x06aa8d6e3e14b9f9'u64 ), toF( 0xe626c661edd7531f'u64 ), toF( 0x86eb3dc39d6550ec'u64 ) ] )
|
|
|
|
|
, ( 15 , [ toF( 0xe1fe2167c9c7a752'u64 ), toF( 0x677f5659c6814628'u64 ), toF( 0xe5556130579e02ed'u64 ), toF( 0x66ee31b4a597cf5c'u64 ) ] )
|
|
|
|
|
, ( 16 , [ toF( 0x710eab527876ee4e'u64 ), toF( 0x64e25ff7728d91c4'u64 ), toF( 0x10bd384c8ebd2a86'u64 ), toF( 0xeaf8743bcc64832d'u64 ) ] )
|
|
|
|
|
, ( 17 , [ toF( 0xccbad0d6715d5491'u64 ), toF( 0xd709804b106fe799'u64 ), toF( 0x8bff75ccf2f7549a'u64 ), toF( 0x25a6b59706948c5e'u64 ) ] )
|
|
|
|
|
, ( 18 , [ toF( 0x36d1a0ff8d39ccf8'u64 ), toF( 0x62ed0ff20fcbf2e3'u64 ), toF( 0x8cc61adb87fade06'u64 ), toF( 0x5679ec83b76b5f4d'u64 ) ] )
|
|
|
|
|
, ( 19 , [ toF( 0xfac30ec760d94bd7'u64 ), toF( 0xa9b8efddaf9e4d60'u64 ), toF( 0x450cf85949815c5b'u64 ), toF( 0xca4573c5e9bf0ab3'u64 ) ] )
|
|
|
|
|
, ( 20 , [ toF( 0xb5b856ca8903a04d'u64 ), toF( 0x4448ff7dca4ef207'u64 ), toF( 0x1e9388d45df2260c'u64 ), toF( 0x84cd81248519d865'u64 ) ] )
|
|
|
|
|
, ( 21 , [ toF( 0x7dd0ad2198dba814'u64 ), toF( 0x3b730a13dfed50f6'u64 ), toF( 0x5208751c518799b6'u64 ), toF( 0x6846bbd7bf3ef1f8'u64 ) ] )
|
|
|
|
|
, ( 22 , [ toF( 0xa28dad02ea4e8b7b'u64 ), toF( 0x3c296c0f7998ed4b'u64 ), toF( 0x030ae6cab2a94a77'u64 ), toF( 0xc2626f7fb362be8b'u64 ) ] )
|
|
|
|
|
, ( 23 , [ toF( 0x090a486bb4502463'u64 ), toF( 0x178528e96da764a8'u64 ), toF( 0x85ec9f900f0c5500'u64 ), toF( 0x72cf1129a9334db8'u64 ) ] )
|
|
|
|
|
, ( 24 , [ toF( 0x62e9c274a4d47c4f'u64 ), toF( 0x5bb2c222094a8aaf'u64 ), toF( 0x549113a0ae8b75a9'u64 ), toF( 0x2ae3bd5cca4ada8d'u64 ) ] )
|
|
|
|
|
, ( 25 , [ toF( 0xecfd4e10a267179a'u64 ), toF( 0xa58e63419eb1ce08'u64 ), toF( 0x5fdfe30e33682f84'u64 ), toF( 0x2f1ef7d201b8f421'u64 ) ] )
|
|
|
|
|
, ( 26 , [ toF( 0x7d9e9cd561153e22'u64 ), toF( 0x52ba604a34bc85ca'u64 ), toF( 0x77ab58e9215af59b'u64 ), toF( 0xf316b755e599da01'u64 ) ] )
|
|
|
|
|
, ( 27 , [ toF( 0xa272562acb0b147d'u64 ), toF( 0xa4c1f41ef0b7c649'u64 ), toF( 0xb8a051d7de5635f0'u64 ), toF( 0xb1a4e5b77071ca0d'u64 ) ] )
|
|
|
|
|
, ( 28 , [ toF( 0x3003f704a9108794'u64 ), toF( 0xfc56da39747575f5'u64 ), toF( 0x7536047bc7c60eea'u64 ), toF( 0x1bfbd375d662e121'u64 ) ] )
|
|
|
|
|
, ( 29 , [ toF( 0x02b8ea269d163c29'u64 ), toF( 0x847e4a8d49a69667'u64 ), toF( 0x54aebb3404a8c066'u64 ), toF( 0xfa4699695ed38fde'u64 ) ] )
|
|
|
|
|
, ( 30 , [ toF( 0x2f8cc847630d31a7'u64 ), toF( 0x9fc9830fac55ce8a'u64 ), toF( 0xd6701ac03ec080ea'u64 ), toF( 0x2c08bf164f3968c6'u64 ) ] )
|
|
|
|
|
, ( 31 , [ toF( 0x6e80ca3ab4a443e0'u64 ), toF( 0x8ac89158b5b0baec'u64 ), toF( 0x9c432212010ab30b'u64 ), toF( 0xb08bd328ce6f2637'u64 ) ] )
|
|
|
|
|
, ( 32 , [ toF( 0xe0263d91941bd835'u64 ), toF( 0x6afef89fd5934117'u64 ), toF( 0x424cf01b74f37285'u64 ), toF( 0x84af36f6ae20fcf5'u64 ) ] )
|
|
|
|
|
, ( 33 , [ toF( 0xd922f4f5ec96bc0a'u64 ), toF( 0xee3cc686acacea1d'u64 ), toF( 0xd47bf657bcab3226'u64 ), toF( 0x5be66a7749c5e408'u64 ) ] )
|
|
|
|
|
, ( 34 , [ toF( 0x2d984345dd52f730'u64 ), toF( 0x9ae4ebfe2887a2e5'u64 ), toF( 0x34004e4ad0873583'u64 ), toF( 0x1aa051cce8d2eabe'u64 ) ] )
|
|
|
|
|
, ( 35 , [ toF( 0x0541ea36780812f9'u64 ), toF( 0x377e5777c74e297c'u64 ), toF( 0x673a0b0e9477375c'u64 ), toF( 0xd9f2ad282c0763b6'u64 ) ] )
|
|
|
|
|
, ( 36 , [ toF( 0x8751d8a1e12bd9e1'u64 ), toF( 0xbee8ac7aed97a8cc'u64 ), toF( 0x79508f3f97f7ed8b'u64 ), toF( 0x521012777d74b6d7'u64 ) ] )
|
|
|
|
|
, ( 37 , [ toF( 0x237bcb96e2bc5a03'u64 ), toF( 0x0e1eadbcb74f87b7'u64 ), toF( 0x419e1ba272d935d3'u64 ), toF( 0x531da04ef305a5bd'u64 ) ] )
|
|
|
|
|
, ( 38 , [ toF( 0xcc35e58c0a559b52'u64 ), toF( 0x2a440b6b7d4a793d'u64 ), toF( 0xbd237050c3b9731f'u64 ), toF( 0x4a7accb3e40661ff'u64 ) ] )
|
|
|
|
|
, ( 39 , [ toF( 0x671080cd19ba8a49'u64 ), toF( 0x6cb7d7674717f460'u64 ), toF( 0xebd5f6dc1045775f'u64 ), toF( 0xcaede29ec70b7387'u64 ) ] )
|
|
|
|
|
, ( 40 , [ toF( 0xbfe0d8131a397a95'u64 ), toF( 0x20eb4f7c466b0e39'u64 ), toF( 0x90eaa8192cc7fb0d'u64 ), toF( 0xcbdc7c59add663dc'u64 ) ] )
|
|
|
|
|
, ( 41 , [ toF( 0xec814dd819dab0b3'u64 ), toF( 0x62137c942d0f03af'u64 ), toF( 0xb95992eb301cabc5'u64 ), toF( 0xbee90e5f57e64ceb'u64 ) ] )
|
|
|
|
|
, ( 42 , [ toF( 0x09a5fcd81e2b9371'u64 ), toF( 0xba180cb275493eb7'u64 ), toF( 0xbf33ee258c7e4b1f'u64 ), toF( 0xe296fe1d7077ed1b'u64 ) ] )
|
|
|
|
|
, ( 43 , [ toF( 0x9c6b503bf7a0ac4e'u64 ), toF( 0x5cc46f14f8c7799f'u64 ), toF( 0x5bcbc2be88adbdc3'u64 ), toF( 0x75ce8829c7f78772'u64 ) ] )
|
|
|
|
|
, ( 44 , [ toF( 0x30e7f984e844294a'u64 ), toF( 0xbaa39d1e2ab7913a'u64 ), toF( 0xbcf729745a449292'u64 ), toF( 0x21642fe54026457a'u64 ) ] )
|
|
|
|
|
, ( 45 , [ toF( 0x091be48cb9991f6c'u64 ), toF( 0x4cec136eda3ba846'u64 ), toF( 0x56e7274c9a8e6c4c'u64 ), toF( 0x06fa2fe520eb0b4c'u64 ) ] )
|
|
|
|
|
, ( 46 , [ toF( 0x3a887837d7f385ad'u64 ), toF( 0xd7561896f02d163d'u64 ), toF( 0x3a7ed755068a514d'u64 ), toF( 0x310238cece9cfc34'u64 ) ] )
|
|
|
|
|
, ( 47 , [ toF( 0x85ba4190b492da0c'u64 ), toF( 0x83d7c160a8e93fa5'u64 ), toF( 0x993009ac4f8edd21'u64 ), toF( 0x43dfa39a4c3db359'u64 ) ] )
|
|
|
|
|
, ( 48 , [ toF( 0x6146c31feda11166'u64 ), toF( 0x006ff2cb620c5d3a'u64 ), toF( 0x65f810e02e1b9763'u64 ), toF( 0x18007cfafd2f00ac'u64 ) ] )
|
|
|
|
|
, ( 49 , [ toF( 0x097d50084fcd0e9c'u64 ), toF( 0xa06e08e4d055d889'u64 ), toF( 0xa94dca81f02e082c'u64 ), toF( 0x170a9744814304a5'u64 ) ] )
|
|
|
|
|
, ( 50 , [ toF( 0x7f765fa132660fac'u64 ), toF( 0xc0c6c6c6ec2b3cbf'u64 ), toF( 0xf8d60b91850cb4cb'u64 ), toF( 0x11ebcb13d494926c'u64 ) ] )
|
|
|
|
|
, ( 51 , [ toF( 0x7763b9fc91877567'u64 ), toF( 0xd090af0c85b23750'u64 ), toF( 0x30af2ed1732a13d6'u64 ), toF( 0x7ad6a884d44f6db6'u64 ) ] )
|
|
|
|
|
, ( 52 , [ toF( 0xa4d4f4bc31b1dee6'u64 ), toF( 0x880f270bdea8f3b2'u64 ), toF( 0x6e82fe848d7fc7b0'u64 ), toF( 0x7d480f07bba14bdf'u64 ) ] )
|
|
|
|
|
, ( 53 , [ toF( 0x9d8c540bcc31b596'u64 ), toF( 0x97989581a86a1830'u64 ), toF( 0xc6e3460c040704f6'u64 ), toF( 0xe6082d838657a5a6'u64 ) ] )
|
|
|
|
|
, ( 54 , [ toF( 0xaff7aeaf0787f4cd'u64 ), toF( 0x097eba7eec201189'u64 ), toF( 0x4f7b8e804a2e4db8'u64 ), toF( 0xd3d7a17030d2b8c5'u64 ) ] )
|
|
|
|
|
, ( 55 , [ toF( 0xf8aa10f9e9c0d876'u64 ), toF( 0x0103408cd89e3114'u64 ), toF( 0x3bf8e9bc3d3bfec6'u64 ), toF( 0x28e6ab6c442707b5'u64 ) ] )
|
|
|
|
|
, ( 56 , [ toF( 0x1314e162b01b753d'u64 ), toF( 0x5c041eefd13370f3'u64 ), toF( 0x6edf3ab7fc5defef'u64 ), toF( 0x96e9328f56bbb116'u64 ) ] )
|
|
|
|
|
, ( 57 , [ toF( 0x1aad5a66056870f0'u64 ), toF( 0x0a41567d181f276a'u64 ), toF( 0xa6411f74bf598d56'u64 ), toF( 0xb0976baff4c7edf1'u64 ) ] )
|
|
|
|
|
, ( 58 , [ toF( 0xd6ae79cfa2123d9a'u64 ), toF( 0x6c67e898b11ae151'u64 ), toF( 0xbcdf19432ab6e0b5'u64 ), toF( 0x636442f555742fca'u64 ) ] )
|
|
|
|
|
, ( 59 , [ toF( 0x2910482ae7a3bbe3'u64 ), toF( 0xf15a61783d67201b'u64 ), toF( 0x6b98af6b39afaf48'u64 ), toF( 0xdd0e869a53a5913f'u64 ) ] )
|
|
|
|
|
, ( 60 , [ toF( 0x4afeb31d10626874'u64 ), toF( 0x64ccef7d7ce9afc2'u64 ), toF( 0x707078879aca9b99'u64 ), toF( 0x2bca3f14a71a7f66'u64 ) ] )
|
|
|
|
|
, ( 61 , [ toF( 0xe8d6c51399ad316f'u64 ), toF( 0x2372aa3446bd83a6'u64 ), toF( 0x34cf08593375db76'u64 ), toF( 0x9dc7c353573f8e25'u64 ) ] )
|
|
|
|
|
, ( 62 , [ toF( 0xe4d7bda35e48f0dc'u64 ), toF( 0x5733d85e98ee1311'u64 ), toF( 0x6ec48293ebd37240'u64 ), toF( 0xa8d9d348eb518ef0'u64 ) ] )
|
|
|
|
|
, ( 63 , [ toF( 0x92ed4b3f997bfd43'u64 ), toF( 0x16a9306e00dafaff'u64 ), toF( 0xc42f611ab882a254'u64 ), toF( 0x5abada5e96c612de'u64 ) ] )
|
|
|
|
|
, ( 64 , [ toF( 0x389c749bacd5cc08'u64 ), toF( 0x3a6689af43ad04a3'u64 ), toF( 0x2bf292e56b260b91'u64 ), toF( 0xfd33548fcdaa23d9'u64 ) ] )
|
|
|
|
|
, ( 65 , [ toF( 0x3cd3160fa2b6cfdd'u64 ), toF( 0x00386eba378ce9f0'u64 ), toF( 0xb6ab255f10f356f1'u64 ), toF( 0x3c17274b9e9b03ce'u64 ) ] )
|
|
|
|
|
, ( 66 , [ toF( 0x82f6678d6592a518'u64 ), toF( 0x3dffb128bfeba7e6'u64 ), toF( 0xdeddfabe3e1b781a'u64 ), toF( 0x364df52d2d5e3b8c'u64 ) ] )
|
|
|
|
|
, ( 67 , [ toF( 0x8216baf3894b4b0f'u64 ), toF( 0x55c5140a31f38797'u64 ), toF( 0x292414a4683f16ae'u64 ), toF( 0x08feb522e8a2922f'u64 ) ] )
|
|
|
|
|
, ( 68 , [ toF( 0xd08c21a66c57f9c0'u64 ), toF( 0xa8750add243ff52f'u64 ), toF( 0x648176be7a0a57ec'u64 ), toF( 0xa2e62a011b8a8966'u64 ) ] )
|
|
|
|
|
, ( 69 , [ toF( 0x91692ccb579b4c45'u64 ), toF( 0xabbc6170702e4501'u64 ), toF( 0x09853a62a3fb9ddf'u64 ), toF( 0xdfe0ad6202b6864d'u64 ) ] )
|
|
|
|
|
, ( 70 , [ toF( 0x6604ba8e9fb4b64f'u64 ), toF( 0x8a6b2de63704f25f'u64 ), toF( 0xce4ac68a9be2a092'u64 ), toF( 0xceec4f964ff81870'u64 ) ] )
|
|
|
|
|
, ( 71 , [ toF( 0x11a2d5907adf6014'u64 ), toF( 0x897b2cce4b2d890c'u64 ), toF( 0x24913bf11552dd57'u64 ), toF( 0xb045df132bac09af'u64 ) ] )
|
|
|
|
|
, ( 72 , [ toF( 0xb7ebcdf5fa97dcfd'u64 ), toF( 0x33e8d8a62eb1328a'u64 ), toF( 0xbbcb5549782e0713'u64 ), toF( 0xe777c5eab9f933b5'u64 ) ] )
|
|
|
|
|
, ( 73 , [ toF( 0xadb4d4e638a21edc'u64 ), toF( 0x25f1dd1647d92b9e'u64 ), toF( 0x620a2c20890392c0'u64 ), toF( 0x05ba34a618b0d6df'u64 ) ] )
|
|
|
|
|
, ( 74 , [ toF( 0xe1b1ab66aea90ea3'u64 ), toF( 0xdfc5f92c70fb8c87'u64 ), toF( 0x3e5de83161ee69bb'u64 ), toF( 0x50ecd8d02f28af1a'u64 ) ] )
|
|
|
|
|
, ( 75 , [ toF( 0x0efc2103f137af8c'u64 ), toF( 0xd48329bdff14c660'u64 ), toF( 0xf4832a252c9c8356'u64 ), toF( 0x61a7af5f27b16077'u64 ) ] )
|
|
|
|
|
, ( 76 , [ toF( 0x3590bf6f4677faf0'u64 ), toF( 0x6ca6596ef9997f9f'u64 ), toF( 0x52251884f6fcedd8'u64 ), toF( 0xc52d71c892a6731d'u64 ) ] )
|
|
|
|
|
, ( 77 , [ toF( 0x2e318307b576b733'u64 ), toF( 0x56165f120af21e58'u64 ), toF( 0x9ede1d0ecfcbd9f0'u64 ), toF( 0xd8fce88cb4d26ee8'u64 ) ] )
|
|
|
|
|
, ( 78 , [ toF( 0xa98fcab2d445bb70'u64 ), toF( 0x5fcb8927820e9836'u64 ), toF( 0x2b877b1f0ea10b4c'u64 ), toF( 0x2a79178b12116dae'u64 ) ] )
|
|
|
|
|
, ( 79 , [ toF( 0x54c134bc006dcaaf'u64 ), toF( 0x2c943b25f6da7c56'u64 ), toF( 0xffa1aceed6f7e7e0'u64 ), toF( 0x4874aece9d965b47'u64 ) ] )
|
|
|
|
|
, ( 80 , [ toF( 0xa68cea2674920077'u64 ), toF( 0xfe5c4f38f6ea9388'u64 ), toF( 0x68c65e510ea5de0c'u64 ), toF( 0x0061a9cf126acbfb'u64 ) ] )
|
|
|
|
|
]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
const testcases_bytes_rate8* : array[81, tuple[n:int,digest:F4]] =
|
|
|
|
|
[ ( 0 , [ toF( 0x3443a96d7eaaf60d'u64 ), toF( 0x14255b96f0092ab9'u64 ), toF( 0xcb64323ad7041011'u64 ), toF( 0x59f2ba0ebe02827d'u64 ) ] )
|
|
|
|
|
, ( 1 , [ toF( 0x0521794b1f6be4ec'u64 ), toF( 0x80f548060fadef35'u64 ), toF( 0xa5f7e3ad50bc15fe'u64 ), toF( 0x3a83615c39b58140'u64 ) ] )
|
|
|
|
|
, ( 2 , [ toF( 0xdb67947161e6705f'u64 ), toF( 0x02fd26a0d53d25a9'u64 ), toF( 0x2cf5c1f7a04b03c1'u64 ), toF( 0x1d78d66f44463dc5'u64 ) ] )
|
|
|
|
|
, ( 3 , [ toF( 0x9b0c81110b510ebb'u64 ), toF( 0xf58790e70f9eab04'u64 ), toF( 0x6d9870e90d3b75a8'u64 ), toF( 0xc4ac327fa437f68d'u64 ) ] )
|
|
|
|
|
, ( 4 , [ toF( 0x3e949c46300b9c91'u64 ), toF( 0xb4634e57944cd5c7'u64 ), toF( 0x385c5c9455fc5c08'u64 ), toF( 0xf28ac62e0aa8c7ac'u64 ) ] )
|
|
|
|
|
, ( 5 , [ toF( 0x2a95903729d63d09'u64 ), toF( 0xec003aa5a2a1f54e'u64 ), toF( 0x03d555c457c2b909'u64 ), toF( 0x643510bcd8467e8f'u64 ) ] )
|
|
|
|
|
, ( 6 , [ toF( 0x2a3c56e354f17def'u64 ), toF( 0xa9b18e3f30ca6450'u64 ), toF( 0x028373b89071f71f'u64 ), toF( 0x352be1798ee7de0e'u64 ) ] )
|
|
|
|
|
, ( 7 , [ toF( 0x6d3596df0e38e63b'u64 ), toF( 0x4bf577ccf370dfb4'u64 ), toF( 0xf76e5d89f1d1dd5e'u64 ), toF( 0xd94a6d6f389c90db'u64 ) ] )
|
|
|
|
|
, ( 8 , [ toF( 0x4c7efa0715eb4ef9'u64 ), toF( 0x0952db0d01f64627'u64 ), toF( 0xd54b1e9eacb669ee'u64 ), toF( 0xecc7efd2174195cc'u64 ) ] )
|
|
|
|
|
, ( 9 , [ toF( 0x5be81d45ca944ca9'u64 ), toF( 0x0cda9df1f63875f5'u64 ), toF( 0x23fbd8b8e820b96a'u64 ), toF( 0x45d73ef08942a623'u64 ) ] )
|
|
|
|
|
, ( 10 , [ toF( 0x1c0424ebab41510a'u64 ), toF( 0xbfb82e664aabc43f'u64 ), toF( 0x37064df8b8739f95'u64 ), toF( 0xbd3df9c8c6f3f8b6'u64 ) ] )
|
|
|
|
|
, ( 11 , [ toF( 0x2ccbd3d34bd4cd90'u64 ), toF( 0x124f23b8dc3271fc'u64 ), toF( 0xe015995b5f806003'u64 ), toF( 0xe9d02abf7666fd78'u64 ) ] )
|
|
|
|
|
, ( 12 , [ toF( 0x4d19df925c93d7c0'u64 ), toF( 0xee01d6c870835514'u64 ), toF( 0xd423d71aeb3fb1a1'u64 ), toF( 0xf1660868b7dcc6dd'u64 ) ] )
|
|
|
|
|
, ( 13 , [ toF( 0xd5aead5da0f1efcd'u64 ), toF( 0xe18f585eb3e0ebe6'u64 ), toF( 0xa8688fd3b06c959d'u64 ), toF( 0xbe3b39dc37e81461'u64 ) ] )
|
|
|
|
|
, ( 14 , [ toF( 0xff436bb5bdf34d56'u64 ), toF( 0x0938d4fe67ffe812'u64 ), toF( 0xe55d07afc99e1e08'u64 ), toF( 0x24385333292f4c8c'u64 ) ] )
|
|
|
|
|
, ( 15 , [ toF( 0x729276b36fd1e880'u64 ), toF( 0xc28ad09142788753'u64 ), toF( 0x5825a598f66ad284'u64 ), toF( 0x54390583aaf9227d'u64 ) ] )
|
|
|
|
|
, ( 16 , [ toF( 0x9cfcd49462643e31'u64 ), toF( 0x268f4ce0f742f78b'u64 ), toF( 0xc5df066c71df396d'u64 ), toF( 0x2feee3d5121fb3c1'u64 ) ] )
|
|
|
|
|
, ( 17 , [ toF( 0x9fc04357cc207311'u64 ), toF( 0x9e320b5216a755ab'u64 ), toF( 0x8d6ebaa263f4cfff'u64 ), toF( 0x0282948c7b0473cc'u64 ) ] )
|
|
|
|
|
, ( 18 , [ toF( 0xd71f3eaa3be0e871'u64 ), toF( 0x59bc2ad3c0f3e40e'u64 ), toF( 0x3b3f285302f6be26'u64 ), toF( 0xd42595778e4857c3'u64 ) ] )
|
|
|
|
|
, ( 19 , [ toF( 0x3ad9e6eda7ed6385'u64 ), toF( 0x77dea4e2a0f50776'u64 ), toF( 0xd6dace6ece5103e2'u64 ), toF( 0x024637ecef939fa1'u64 ) ] )
|
|
|
|
|
, ( 20 , [ toF( 0xf4d171927ea5541f'u64 ), toF( 0xe8f14721b29c6aa0'u64 ), toF( 0x8746284b085cbb1c'u64 ), toF( 0x327bb32b2e66ec9e'u64 ) ] )
|
|
|
|
|
, ( 21 , [ toF( 0xe39ecb4ea44409f5'u64 ), toF( 0x0c2dfc7446b45c23'u64 ), toF( 0xaa7ab53ef3ccfd90'u64 ), toF( 0x2773da7bca69e59b'u64 ) ] )
|
|
|
|
|
, ( 22 , [ toF( 0x31958113cd57dcc4'u64 ), toF( 0xf39ff7b43cc171e0'u64 ), toF( 0x53bd115071515ac9'u64 ), toF( 0xe55acd4246ddc18e'u64 ) ] )
|
|
|
|
|
, ( 23 , [ toF( 0xa3676fff478bd925'u64 ), toF( 0xfae6f5cc63d811c2'u64 ), toF( 0x6aa0453077fe063f'u64 ), toF( 0x01796f7425d2ccf2'u64 ) ] )
|
|
|
|
|
, ( 24 , [ toF( 0x90dea16ce1903980'u64 ), toF( 0x9ec4a3200922506f'u64 ), toF( 0xfd38dfa3000178c4'u64 ), toF( 0x9ca5a2a697ba83f5'u64 ) ] )
|
|
|
|
|
, ( 25 , [ toF( 0xc1497219666e1679'u64 ), toF( 0xc1ee0a7f9783ca57'u64 ), toF( 0xaa18e5be9bae4620'u64 ), toF( 0x2ec6e94f451f687c'u64 ) ] )
|
|
|
|
|
, ( 26 , [ toF( 0x2c450312d4ca3ab7'u64 ), toF( 0x29e2a68308112d80'u64 ), toF( 0x24cf6e0f974c4a5e'u64 ), toF( 0xb5d3e160cbe948b9'u64 ) ] )
|
|
|
|
|
, ( 27 , [ toF( 0xc136f5b7e4ed9ef8'u64 ), toF( 0xc9c092d31a3d706e'u64 ), toF( 0xf8039b14ee4b290c'u64 ), toF( 0xf2321ec7dbbe5775'u64 ) ] )
|
|
|
|
|
, ( 28 , [ toF( 0x30b1d9aed6bd48ae'u64 ), toF( 0x3babc2e748087f9d'u64 ), toF( 0xe01aa6c13ea27025'u64 ), toF( 0x61faac43c6fe954d'u64 ) ] )
|
|
|
|
|
, ( 29 , [ toF( 0x7b1eae166722151b'u64 ), toF( 0x2a608418793a713f'u64 ), toF( 0x727c5090206d0ae1'u64 ), toF( 0x2285695376e8b27b'u64 ) ] )
|
|
|
|
|
, ( 30 , [ toF( 0x0847e261f34b0a2b'u64 ), toF( 0x05892f0ae156901b'u64 ), toF( 0xf5cd2fab61f3fd15'u64 ), toF( 0x5159a1ee6a94d66b'u64 ) ] )
|
|
|
|
|
, ( 31 , [ toF( 0xe22b63e650515d89'u64 ), toF( 0x818675df66500b42'u64 ), toF( 0xb7b73098952077ed'u64 ), toF( 0x0686c6a7580a68bc'u64 ) ] )
|
|
|
|
|
, ( 32 , [ toF( 0x00c0b1120d2bdbd6'u64 ), toF( 0x87f8e74d425655aa'u64 ), toF( 0xbfa66e04ccf174c1'u64 ), toF( 0xbef3b96c5962c69b'u64 ) ] )
|
|
|
|
|
, ( 33 , [ toF( 0x72518a510c1a3c08'u64 ), toF( 0x93c29e87a36a1ee4'u64 ), toF( 0xb587702e61ee72bb'u64 ), toF( 0x6507dbc874a8b7f2'u64 ) ] )
|
|
|
|
|
, ( 34 , [ toF( 0xcd8340d805ee2b69'u64 ), toF( 0x882c404166859506'u64 ), toF( 0x01aff6e655d50409'u64 ), toF( 0xb078d621b86f765d'u64 ) ] )
|
|
|
|
|
, ( 35 , [ toF( 0x8a8560b4186b73f6'u64 ), toF( 0xcf52a29ce8472448'u64 ), toF( 0xd688547104ff6868'u64 ), toF( 0x5afa8010284ef28d'u64 ) ] )
|
|
|
|
|
, ( 36 , [ toF( 0x94f6fb72979a588a'u64 ), toF( 0x8589ed1d1fcfd6a4'u64 ), toF( 0xb06234c192cecc4a'u64 ), toF( 0x003ce0fac77d3664'u64 ) ] )
|
|
|
|
|
, ( 37 , [ toF( 0xd03125c5e0ed0ba2'u64 ), toF( 0xddc92468e8e2a412'u64 ), toF( 0x0fbf9b447928d0e2'u64 ), toF( 0x340c4cdbdd1bca9f'u64 ) ] )
|
|
|
|
|
, ( 38 , [ toF( 0x00ba0fc3f5ca9f65'u64 ), toF( 0xe29df6f1c7e6ef4c'u64 ), toF( 0x316224140b9a4e9f'u64 ), toF( 0x3598d032fc737bc1'u64 ) ] )
|
|
|
|
|
, ( 39 , [ toF( 0xd9b75015090e685d'u64 ), toF( 0x1d1181303cb49456'u64 ), toF( 0xe4e58b591384ae07'u64 ), toF( 0xf314079d85fb91ed'u64 ) ] )
|
|
|
|
|
, ( 40 , [ toF( 0x6a0d17589199f951'u64 ), toF( 0x3b7b31ea35ecd20c'u64 ), toF( 0x920ab9c408ba7ff5'u64 ), toF( 0xd5e2c857dd513681'u64 ) ] )
|
|
|
|
|
, ( 41 , [ toF( 0x874ba6c17a836c05'u64 ), toF( 0xef9f4ad40f75b4c0'u64 ), toF( 0x8fe1b90d05da23ce'u64 ), toF( 0x7ba8012f60b8de1b'u64 ) ] )
|
|
|
|
|
, ( 42 , [ toF( 0xcadef481d9e85630'u64 ), toF( 0x82e742e56791a8f9'u64 ), toF( 0x60512b387bc90a86'u64 ), toF( 0xdd248d418bf7f3d3'u64 ) ] )
|
|
|
|
|
, ( 43 , [ toF( 0xb8163b3790e3a9f6'u64 ), toF( 0xacbb361f7ef79571'u64 ), toF( 0xb2f24239efc6c691'u64 ), toF( 0x6ba871dad57748df'u64 ) ] )
|
|
|
|
|
, ( 44 , [ toF( 0xc2bf548fdff9ac5f'u64 ), toF( 0xe6c2098c989ce8ef'u64 ), toF( 0x38fb969a3cb61366'u64 ), toF( 0x94d4f7dcb1ca23d1'u64 ) ] )
|
|
|
|
|
, ( 45 , [ toF( 0xedbe5748b2d02c27'u64 ), toF( 0xbbefaef5d121410d'u64 ), toF( 0x57e0e02eddfc0f44'u64 ), toF( 0x695a9147cd3d5533'u64 ) ] )
|
|
|
|
|
, ( 46 , [ toF( 0x3f9f53aff58ae932'u64 ), toF( 0xd8c890221f40e0c0'u64 ), toF( 0xc0ee39c2778bd0ad'u64 ), toF( 0x037cd5829dfc1ec6'u64 ) ] )
|
|
|
|
|
, ( 47 , [ toF( 0x29078579a63fcb54'u64 ), toF( 0x94f4521cbbec4edb'u64 ), toF( 0xf9af94021fb56052'u64 ), toF( 0x8e802bbafb0117d1'u64 ) ] )
|
|
|
|
|
, ( 48 , [ toF( 0x1c94573e7004e106'u64 ), toF( 0x38072e12763dc683'u64 ), toF( 0xbc3a8238a260c349'u64 ), toF( 0x175f8ec45dd6be55'u64 ) ] )
|
|
|
|
|
, ( 49 , [ toF( 0xcfa0821d00d6f0f1'u64 ), toF( 0xd7f82d04dad62f4e'u64 ), toF( 0x43eeeeda689f7ab6'u64 ), toF( 0x8bc26f8c348cfa8c'u64 ) ] )
|
|
|
|
|
, ( 50 , [ toF( 0xd59825347890c3ad'u64 ), toF( 0xe3dfb1d3b365c062'u64 ), toF( 0xf539d8c9ab21c07b'u64 ), toF( 0x16efcaa856d358c1'u64 ) ] )
|
|
|
|
|
, ( 51 , [ toF( 0xee3e5378d51d7bc3'u64 ), toF( 0x0663a3f444fcd71d'u64 ), toF( 0xd8f3391b32c9a0d0'u64 ), toF( 0x2a049d32d1c1de07'u64 ) ] )
|
|
|
|
|
, ( 52 , [ toF( 0xe7764261bd9ad063'u64 ), toF( 0x4bd90fa8f8b32d03'u64 ), toF( 0xba97264839456564'u64 ), toF( 0x6d77c53671fdc600'u64 ) ] )
|
|
|
|
|
, ( 53 , [ toF( 0xfa7ab506d60c1571'u64 ), toF( 0x755d4b63a0d9bc8a'u64 ), toF( 0x76bafc1cc57b37c3'u64 ), toF( 0x8b16a5df3d19eb01'u64 ) ] )
|
|
|
|
|
, ( 54 , [ toF( 0x80bf10ffca68811d'u64 ), toF( 0x6faba4013a46489d'u64 ), toF( 0xecc6dd6256101cb3'u64 ), toF( 0x3793235192ac1f1e'u64 ) ] )
|
|
|
|
|
, ( 55 , [ toF( 0x31041cad52e3ef42'u64 ), toF( 0xd91be4378c9672a3'u64 ), toF( 0x115dac424497f603'u64 ), toF( 0x8c813d10e1cfa712'u64 ) ] )
|
|
|
|
|
, ( 56 , [ toF( 0x9452f0b9f638d89d'u64 ), toF( 0xfa396a2380112508'u64 ), toF( 0x053fa6d285f7dffe'u64 ), toF( 0xbfc4b53a672734a7'u64 ) ] )
|
|
|
|
|
, ( 57 , [ toF( 0x3ad7a0bc94d9c186'u64 ), toF( 0xaaaa84500742d5d8'u64 ), toF( 0xc5b88aeec1ea7221'u64 ), toF( 0x75956795e5c3061c'u64 ) ] )
|
|
|
|
|
, ( 58 , [ toF( 0xa9e2bc4007c993da'u64 ), toF( 0x5a8c4bd6e86bfc03'u64 ), toF( 0xaa1a799ad85f6110'u64 ), toF( 0xecbd19268f61bb11'u64 ) ] )
|
|
|
|
|
, ( 59 , [ toF( 0xa6a4be4a82b3c2e5'u64 ), toF( 0x2cffacd968f95cde'u64 ), toF( 0x38f4a27edecb1f33'u64 ), toF( 0xb46009f093eedb38'u64 ) ] )
|
|
|
|
|
, ( 60 , [ toF( 0xbc8349192b212894'u64 ), toF( 0xb93fd822fe346554'u64 ), toF( 0x0e9f8c1f8e6f5277'u64 ), toF( 0xd95e7a335dad9f96'u64 ) ] )
|
|
|
|
|
, ( 61 , [ toF( 0xe65135aa41ecb064'u64 ), toF( 0x2f0c7c350f9a9dd3'u64 ), toF( 0xa4400127aa38a62b'u64 ), toF( 0x33381b1273bdabf4'u64 ) ] )
|
|
|
|
|
, ( 62 , [ toF( 0xbfdcceaf67f943de'u64 ), toF( 0x6b9f7b4b1d49367f'u64 ), toF( 0x11a5c2422c126a06'u64 ), toF( 0x746680d6046f7af5'u64 ) ] )
|
|
|
|
|
, ( 63 , [ toF( 0x884153b236bed115'u64 ), toF( 0xf49cf04225eadfa0'u64 ), toF( 0x1ec9778f9eea30c4'u64 ), toF( 0xdec367f92f075a46'u64 ) ] )
|
|
|
|
|
, ( 64 , [ toF( 0xd069bda5102e0d74'u64 ), toF( 0x37ff79b6a0fe1747'u64 ), toF( 0x98c8c44fe82bedab'u64 ), toF( 0xe69ae1489f54cf2c'u64 ) ] )
|
|
|
|
|
, ( 65 , [ toF( 0x1cc7172b8026e920'u64 ), toF( 0x5404c8e38ab85b38'u64 ), toF( 0x19b1d173b28ed7ec'u64 ), toF( 0xb49b198792e1947f'u64 ) ] )
|
|
|
|
|
, ( 66 , [ toF( 0xb598cfb0d248ee27'u64 ), toF( 0x76801d59d10c19aa'u64 ), toF( 0x9e187d092a68b31f'u64 ), toF( 0x2c8e409ea8a80f67'u64 ) ] )
|
|
|
|
|
, ( 67 , [ toF( 0x4e2c87e25c7f0088'u64 ), toF( 0x4029b6a840b6a78e'u64 ), toF( 0x5f4fd55706acb6a9'u64 ), toF( 0x3fa5c0fba783861a'u64 ) ] )
|
|
|
|
|
, ( 68 , [ toF( 0x4707c0ceab0d61b9'u64 ), toF( 0x4598fda7fc4c1d6a'u64 ), toF( 0xfb466690faf9a0f8'u64 ), toF( 0x717b25de99294056'u64 ) ] )
|
|
|
|
|
, ( 69 , [ toF( 0x4de5828c4d53c6e7'u64 ), toF( 0x79925bbba3327a30'u64 ), toF( 0x8a8854eab13387a3'u64 ), toF( 0xd31e9bbf44c887f7'u64 ) ] )
|
|
|
|
|
, ( 70 , [ toF( 0x2c7adfceda4bdb09'u64 ), toF( 0x8f639781b86728c7'u64 ), toF( 0x8a049de374046fd8'u64 ), toF( 0xd3014fc63c0a0e53'u64 ) ] )
|
|
|
|
|
, ( 71 , [ toF( 0x08e7d86a286f7332'u64 ), toF( 0x8d05142ff0dfb3b8'u64 ), toF( 0xe8f78fde9db2966c'u64 ), toF( 0xa1e671ba356770f3'u64 ) ] )
|
|
|
|
|
, ( 72 , [ toF( 0x19aeb9302e9117fc'u64 ), toF( 0x3bc7cc7d5293d9fc'u64 ), toF( 0x3a5edf9340f972ae'u64 ), toF( 0x14a3aa608d1ee093'u64 ) ] )
|
|
|
|
|
, ( 73 , [ toF( 0x22badd86a1983e0c'u64 ), toF( 0xd5d8a413f1459688'u64 ), toF( 0x5fb6d83c0fe00d07'u64 ), toF( 0x29810112271779e9'u64 ) ] )
|
|
|
|
|
, ( 74 , [ toF( 0xd89c0f1e3d75be90'u64 ), toF( 0x48c4c063bd011451'u64 ), toF( 0x653a8e8d48f8447c'u64 ), toF( 0xecebaf763d642f1b'u64 ) ] )
|
|
|
|
|
, ( 75 , [ toF( 0x16a0a131751ceb19'u64 ), toF( 0x72272ccadbf5dd81'u64 ), toF( 0xccdf8fac27f362e3'u64 ), toF( 0xa2a4030103573645'u64 ) ] )
|
|
|
|
|
, ( 76 , [ toF( 0x31c7cb0a2a39e2e6'u64 ), toF( 0xfeba856f55aca4ee'u64 ), toF( 0xac8ecc0b4f26948e'u64 ), toF( 0xc5d75bfe16cdd0b6'u64 ) ] )
|
|
|
|
|
, ( 77 , [ toF( 0x6c9982c066fffce4'u64 ), toF( 0xece42a57e91a5b44'u64 ), toF( 0x7537482718f3a6ba'u64 ), toF( 0x2a2dcf233035196b'u64 ) ] )
|
|
|
|
|
, ( 78 , [ toF( 0x91190f17929bd358'u64 ), toF( 0x06fdc7fbfd9e11fb'u64 ), toF( 0x4a3e30f0072e04c7'u64 ), toF( 0x7071805aa2fa13c0'u64 ) ] )
|
|
|
|
|
, ( 79 , [ toF( 0x476ff85f43235b69'u64 ), toF( 0xba7cfb26b3c45b6f'u64 ), toF( 0x40335c01f26801bb'u64 ), toF( 0xe0226d52cd5a303e'u64 ) ] )
|
|
|
|
|
, ( 80 , [ toF( 0xfdac23be1db05688'u64 ), toF( 0x3500b25390dc35e8'u64 ), toF( 0x9c3c23f6bb99f87b'u64 ), toF( 0x403b038b4878c1c0'u64 ) ] )
|
|
|
|
|
]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|