mirror of
https://github.com/logos-storage/nim-goldilocks-hash.git
synced 2026-01-06 23:53:11 +00:00
185 lines
24 KiB
Nim
185 lines
24 KiB
Nim
# generated by TestGen/TestMerkle.hs
|
|
|
|
import goldilocks_hash/types
|
|
|
|
const testcases_merkleroot* : array[175, tuple[n:int,digest:F4]] =
|
|
[ ( 1 , [ toF( 0x232f21acc9d346d8'u64 ), toF( 0x2eba96d3a73822c1'u64 ), toF( 0x4163308f6d0eff64'u64 ), toF( 0x5190c2b759734aff'u64 ) ] )
|
|
, ( 2 , [ toF( 0x999dde2cb60b5bdb'u64 ), toF( 0xacb725a87250a306'u64 ), toF( 0x8eeb00a6fc173443'u64 ), toF( 0x5f510b7eeece33bb'u64 ) ] )
|
|
, ( 3 , [ toF( 0x00b72dc0a592b9c0'u64 ), toF( 0x68575842dd1c6e27'u64 ), toF( 0x871d5146985881d6'u64 ), toF( 0xc945d7f3d5fdde00'u64 ) ] )
|
|
, ( 4 , [ toF( 0x1a5308f44535c3f8'u64 ), toF( 0x15602d46384f5def'u64 ), toF( 0x47bc66a15941d682'u64 ), toF( 0xa4524db6ae84429c'u64 ) ] )
|
|
, ( 5 , [ toF( 0x76c082d76254d6a4'u64 ), toF( 0x50090b2fa457d882'u64 ), toF( 0x1e24539e510441c8'u64 ), toF( 0x98f629df254418c7'u64 ) ] )
|
|
, ( 6 , [ toF( 0x44de0467e7d46ceb'u64 ), toF( 0x00e1ac218ef73bbf'u64 ), toF( 0x2a956ec74c211892'u64 ), toF( 0x40a1dc66529f56f4'u64 ) ] )
|
|
, ( 7 , [ toF( 0x74e990e26fd774d0'u64 ), toF( 0x2874d5c77d24b0ca'u64 ), toF( 0x9e0f47900fd1cdfc'u64 ), toF( 0x5a223436070bcacb'u64 ) ] )
|
|
, ( 8 , [ toF( 0xea2ef6bfa2bde2ea'u64 ), toF( 0x566ad81f99d5e1e1'u64 ), toF( 0x0ce590217c9eb98d'u64 ), toF( 0x1937f1549f3a04db'u64 ) ] )
|
|
, ( 9 , [ toF( 0x47917538ec4f7da9'u64 ), toF( 0x2d02ef97d1db2de5'u64 ), toF( 0xe926a15e3d91e00f'u64 ), toF( 0xa96afd404c89708a'u64 ) ] )
|
|
, ( 10 , [ toF( 0xeb96f8b32c000184'u64 ), toF( 0x299157ff778518d1'u64 ), toF( 0xbe906c32ef846b79'u64 ), toF( 0xfe2f95e2b3537753'u64 ) ] )
|
|
, ( 11 , [ toF( 0xb73162ea0ea09daa'u64 ), toF( 0x26a6f940d01f09b9'u64 ), toF( 0x39dec496a87cc341'u64 ), toF( 0xab8fae4e856a0d00'u64 ) ] )
|
|
, ( 12 , [ toF( 0x796a0a7e32c0e0bc'u64 ), toF( 0x269c3118659448d8'u64 ), toF( 0xf0205e2bcde8a9a2'u64 ), toF( 0xa8f7ca5947df773f'u64 ) ] )
|
|
, ( 13 , [ toF( 0xb3b67daf9be82979'u64 ), toF( 0xc085ca9e71428635'u64 ), toF( 0x5b7b99f78e84f2d0'u64 ), toF( 0xa4b4f2b27b8bc272'u64 ) ] )
|
|
, ( 14 , [ toF( 0xfd4b7ef5708bdc79'u64 ), toF( 0x3f8c27274de40ba9'u64 ), toF( 0xb3fd34b9988c8093'u64 ), toF( 0xec76a5f1ea13165d'u64 ) ] )
|
|
, ( 15 , [ toF( 0x92e26850cb3f3778'u64 ), toF( 0x4b5b473a56ced536'u64 ), toF( 0xb34e984a4bba48a6'u64 ), toF( 0x3366506bd7e6d209'u64 ) ] )
|
|
, ( 16 , [ toF( 0x5bb09b6682fa677b'u64 ), toF( 0x13a90eb7ab199ec8'u64 ), toF( 0x38c33d639c01345e'u64 ), toF( 0xf3e42148e2817ee8'u64 ) ] )
|
|
, ( 17 , [ toF( 0x5ba18969ae480998'u64 ), toF( 0xed1611c81f8002c9'u64 ), toF( 0xbd290b18dfb68936'u64 ), toF( 0xb243c1ce721e4222'u64 ) ] )
|
|
, ( 18 , [ toF( 0xddbc320a7c011eab'u64 ), toF( 0xccfe41b74dc8c9b1'u64 ), toF( 0x5109cd68986d4ffe'u64 ), toF( 0x6eef8e146a9f022b'u64 ) ] )
|
|
, ( 19 , [ toF( 0x75848645b0012365'u64 ), toF( 0xaac81f1e1bdcfd50'u64 ), toF( 0x326af1364e9a4fba'u64 ), toF( 0x1393dba01242de9d'u64 ) ] )
|
|
, ( 20 , [ toF( 0x70a5f3b0ae4d8a53'u64 ), toF( 0x26ce5947d582b10a'u64 ), toF( 0x52c82ebeee2ec81f'u64 ), toF( 0xbd492d1905a3ba56'u64 ) ] )
|
|
, ( 21 , [ toF( 0x891fbe05a9370566'u64 ), toF( 0xef1816015e991a1c'u64 ), toF( 0xaf2432ac2ca8ee3c'u64 ), toF( 0x4efb135c06a3c219'u64 ) ] )
|
|
, ( 22 , [ toF( 0xa99bcf0cd9d220a0'u64 ), toF( 0x4b9a1b6b255f262f'u64 ), toF( 0x97280ea7163243ea'u64 ), toF( 0x6eab548dc4d02352'u64 ) ] )
|
|
, ( 23 , [ toF( 0x3a2b76b91c0b3814'u64 ), toF( 0x9a7226d4649e19af'u64 ), toF( 0x3e3940772ac8fd3b'u64 ), toF( 0xb028294ebfb8046d'u64 ) ] )
|
|
, ( 24 , [ toF( 0xc437212040298a8f'u64 ), toF( 0x81dd947a343ecc30'u64 ), toF( 0x4f0ea0656d02d3d0'u64 ), toF( 0xc890667a7f1baf27'u64 ) ] )
|
|
, ( 25 , [ toF( 0xfea69d6a06e3e1b0'u64 ), toF( 0x66bce5a6ca323f48'u64 ), toF( 0xec6e2d559f2368e8'u64 ), toF( 0x4f18b39775c5856b'u64 ) ] )
|
|
, ( 26 , [ toF( 0x5b6a548e5e9af6d8'u64 ), toF( 0x6cd9429c17366234'u64 ), toF( 0x638b9a064a45dd34'u64 ), toF( 0xa271830b1e5a7b89'u64 ) ] )
|
|
, ( 27 , [ toF( 0x8287fa57c67fed9f'u64 ), toF( 0xd87dbca2e55ebbe8'u64 ), toF( 0x9e43b09f5db08dd2'u64 ), toF( 0xee4b656c6c7a0383'u64 ) ] )
|
|
, ( 28 , [ toF( 0x4772a44ab57c3fb2'u64 ), toF( 0xd8d365afd33892e5'u64 ), toF( 0x158da6b0b0314b27'u64 ), toF( 0x0491ace2962c22f4'u64 ) ] )
|
|
, ( 29 , [ toF( 0xd41a5bad429a66bf'u64 ), toF( 0x197f114359cf8763'u64 ), toF( 0x98c38dd9887fb7d7'u64 ), toF( 0x385b9895a84cb0e1'u64 ) ] )
|
|
, ( 30 , [ toF( 0x8b323df32613ab83'u64 ), toF( 0x4aac4a3f0f2b20ca'u64 ), toF( 0x3170dcd5761d3844'u64 ), toF( 0x9cc41f09e9bf843c'u64 ) ] )
|
|
, ( 31 , [ toF( 0xa1d22b30267db193'u64 ), toF( 0x5b1a515c11adf354'u64 ), toF( 0x8aa6e941968eb5a7'u64 ), toF( 0x97ea070dddb67506'u64 ) ] )
|
|
, ( 32 , [ toF( 0x46119b879cc724d8'u64 ), toF( 0x2b7b6e56d7768b59'u64 ), toF( 0xebf7b310f0b0089c'u64 ), toF( 0x6a14e6e92e1e2a72'u64 ) ] )
|
|
, ( 33 , [ toF( 0x05691daedb50e5f6'u64 ), toF( 0x7c972e31a26d4434'u64 ), toF( 0xd026159f7adf5f34'u64 ), toF( 0xf13bc8bb7fce9b51'u64 ) ] )
|
|
, ( 34 , [ toF( 0xab96571654666413'u64 ), toF( 0x862054b9c0bd2b71'u64 ), toF( 0x9afbba597fef71f5'u64 ), toF( 0xb7799abc5e7bb01f'u64 ) ] )
|
|
, ( 35 , [ toF( 0x2619ca4e1c8e6a33'u64 ), toF( 0x1660f7876e81a76f'u64 ), toF( 0xd57fe8c7a53f8d00'u64 ), toF( 0x83bc02a2fce294b4'u64 ) ] )
|
|
, ( 36 , [ toF( 0xd540e0b0b333afff'u64 ), toF( 0x90787bce52b7f016'u64 ), toF( 0xf14abe6d2d745a97'u64 ), toF( 0x681e0cd3a0576448'u64 ) ] )
|
|
, ( 37 , [ toF( 0xebb585a8664aedc0'u64 ), toF( 0x1b8a6e1dcc0ac1f6'u64 ), toF( 0xd4530220d34c0705'u64 ), toF( 0x52eb3b1a1258c5cf'u64 ) ] )
|
|
, ( 38 , [ toF( 0x9e56f19b5c259b44'u64 ), toF( 0xfd70b445a1b058de'u64 ), toF( 0x415c44ed44777713'u64 ), toF( 0xd51f5fd8081e2fe7'u64 ) ] )
|
|
, ( 39 , [ toF( 0x418fee39a0c8edcc'u64 ), toF( 0xe4c5b3bfe52eba84'u64 ), toF( 0x00175053a4592941'u64 ), toF( 0x549e1b723b650fec'u64 ) ] )
|
|
, ( 40 , [ toF( 0x80aa7e6fde25a69f'u64 ), toF( 0x9178087572371a5f'u64 ), toF( 0xa1f061163f5b9cf8'u64 ), toF( 0x24394272e82a13aa'u64 ) ] )
|
|
, ( 41 , [ toF( 0x9bd8118a0319bbd1'u64 ), toF( 0xb04a8ac70254c2d1'u64 ), toF( 0xdf3a422559a51493'u64 ), toF( 0xa22ef1767105b662'u64 ) ] )
|
|
, ( 42 , [ toF( 0xa1797f85ba1a05a2'u64 ), toF( 0x222ab8d64fe238e3'u64 ), toF( 0xbf1258219cc2ca7c'u64 ), toF( 0x4a479264e7558d52'u64 ) ] )
|
|
, ( 43 , [ toF( 0x34ab3d1909f5d4e3'u64 ), toF( 0x780834d8b7702fc3'u64 ), toF( 0x19d0992958d7568b'u64 ), toF( 0xf4f99a7a46c58f62'u64 ) ] )
|
|
, ( 44 , [ toF( 0xc58635f5a8868011'u64 ), toF( 0x319d0c40cf0cacb6'u64 ), toF( 0xb0cc480f5e5f8e20'u64 ), toF( 0x1c6ed0f0c7962dfa'u64 ) ] )
|
|
, ( 45 , [ toF( 0xeae0efed9ff90960'u64 ), toF( 0xd76f2ddda945c809'u64 ), toF( 0x4eaa5a2ecd07f2e3'u64 ), toF( 0x98661f0e65e593bc'u64 ) ] )
|
|
, ( 46 , [ toF( 0x70bc2d1dd279391f'u64 ), toF( 0xf90ad776a1e739ae'u64 ), toF( 0xcbf0cd33d7d9b560'u64 ), toF( 0x64cbc279d7ae8a9d'u64 ) ] )
|
|
, ( 47 , [ toF( 0xbe5be3141f1af70b'u64 ), toF( 0x01c690d9409d90da'u64 ), toF( 0xb74c748c325d8e30'u64 ), toF( 0x4def3e1c0ff7066f'u64 ) ] )
|
|
, ( 48 , [ toF( 0x9893d12b5176f00b'u64 ), toF( 0x829fe920e0c89fdf'u64 ), toF( 0x92cf75979ba6c928'u64 ), toF( 0x6c77558db09f62f3'u64 ) ] )
|
|
, ( 49 , [ toF( 0xc6ed9ffc9b0e758e'u64 ), toF( 0xa117088376bbed39'u64 ), toF( 0x8e64e8596a0db647'u64 ), toF( 0x350816288dd97e52'u64 ) ] )
|
|
, ( 50 , [ toF( 0xcb12156091e3a791'u64 ), toF( 0x83e9f666b501bd17'u64 ), toF( 0xf14dbd3903b4f39a'u64 ), toF( 0x22f982972f472986'u64 ) ] )
|
|
, ( 51 , [ toF( 0xf17cc15d324a0768'u64 ), toF( 0xee6b46068d7a89a4'u64 ), toF( 0x41e80afc076c37c4'u64 ), toF( 0x915c8b63056263d0'u64 ) ] )
|
|
, ( 52 , [ toF( 0xaed5e9073c4465e7'u64 ), toF( 0x49479ecca716ac73'u64 ), toF( 0x70b5502b696964b9'u64 ), toF( 0x66a90d83de9e7192'u64 ) ] )
|
|
, ( 53 , [ toF( 0x945d42ab8880c446'u64 ), toF( 0x69be8bf0c5275ebf'u64 ), toF( 0xa86605e34e5e17ff'u64 ), toF( 0x8dee7b79d40f7d2f'u64 ) ] )
|
|
, ( 54 , [ toF( 0xfdf50f3f8cd82e8f'u64 ), toF( 0x59d08dc79d8aea5b'u64 ), toF( 0xf073447217673b27'u64 ), toF( 0x713ecf9dcc0a20d5'u64 ) ] )
|
|
, ( 55 , [ toF( 0xd729251e8e7697f7'u64 ), toF( 0xcaf9cbd735502f80'u64 ), toF( 0x4c6e418fedaae354'u64 ), toF( 0xb6261769777dc9e7'u64 ) ] )
|
|
, ( 56 , [ toF( 0xe30e74aa1f13ae26'u64 ), toF( 0x773a2c60942c399b'u64 ), toF( 0x14b3ab953e4ac2a5'u64 ), toF( 0x2df6035c61fd9e50'u64 ) ] )
|
|
, ( 57 , [ toF( 0x02069bce79c725c7'u64 ), toF( 0x63e2a4645203d250'u64 ), toF( 0x22f6b51dc74df817'u64 ), toF( 0x91b7e7eab66bfb48'u64 ) ] )
|
|
, ( 58 , [ toF( 0x7a9503382de7e732'u64 ), toF( 0xda1505f11788bd32'u64 ), toF( 0xcc03e1fac5875b72'u64 ), toF( 0xe42dff2a2c46d130'u64 ) ] )
|
|
, ( 59 , [ toF( 0x88f89d2575599ba2'u64 ), toF( 0xed36b393b4200515'u64 ), toF( 0x2e6b9d05cebddd68'u64 ), toF( 0xc7e0540135278739'u64 ) ] )
|
|
, ( 60 , [ toF( 0xe5752e24e4fdebfc'u64 ), toF( 0x6d21e97ed70c512e'u64 ), toF( 0x5cab691b0189d5c0'u64 ), toF( 0x9ec125daac9b45ef'u64 ) ] )
|
|
, ( 61 , [ toF( 0xc1573a54d59192bc'u64 ), toF( 0x3e8b8a3b29a0dae4'u64 ), toF( 0xe96019a10d2c24d4'u64 ), toF( 0x18cfa89fe514a628'u64 ) ] )
|
|
, ( 62 , [ toF( 0xdd57dcf0294e1979'u64 ), toF( 0xf1b2f931da25004d'u64 ), toF( 0x29edaae5dabf1cbf'u64 ), toF( 0xf7cfa709d7c76883'u64 ) ] )
|
|
, ( 63 , [ toF( 0x239d3e998e308aea'u64 ), toF( 0xcee21e1bde6afcfc'u64 ), toF( 0x2bd8b32d8bfafaf1'u64 ), toF( 0xa4ffdbdd0d8a9705'u64 ) ] )
|
|
, ( 64 , [ toF( 0x011ada4d1abb2e28'u64 ), toF( 0x7508d88c61a30272'u64 ), toF( 0x8e45135fe58683a2'u64 ), toF( 0xb28e8e85cc88e36e'u64 ) ] )
|
|
, ( 65 , [ toF( 0x4af518551a892a1c'u64 ), toF( 0xa68d886d85220365'u64 ), toF( 0x568627db0a075e2a'u64 ), toF( 0xd523d89d8cca3729'u64 ) ] )
|
|
, ( 66 , [ toF( 0x803b5be4a61d6431'u64 ), toF( 0xa2065b3d6a22ddbc'u64 ), toF( 0xd239004f7cd00107'u64 ), toF( 0xeebecaa39b67bb60'u64 ) ] )
|
|
, ( 67 , [ toF( 0xdbf17d1217e590a5'u64 ), toF( 0x800dbe12e61b1573'u64 ), toF( 0x4820ded97e69c64d'u64 ), toF( 0x2f65e00059f8d7ac'u64 ) ] )
|
|
, ( 68 , [ toF( 0x4f9ad9c30bf5b8e8'u64 ), toF( 0xde32e2eae40da353'u64 ), toF( 0x4b26df27cde61343'u64 ), toF( 0x1d9af279937e248f'u64 ) ] )
|
|
, ( 69 , [ toF( 0xb9c224a6ca5ad5f4'u64 ), toF( 0xbc64672f92ea1164'u64 ), toF( 0xe26b37dab556db7e'u64 ), toF( 0x326619f5a06953c4'u64 ) ] )
|
|
, ( 70 , [ toF( 0x39bfbaf5be8a5719'u64 ), toF( 0x80d39703ab2e7bbf'u64 ), toF( 0x50ab99717336321a'u64 ), toF( 0x9b59f337b347704d'u64 ) ] )
|
|
, ( 71 , [ toF( 0x6664fe5e4b513f57'u64 ), toF( 0xfe9c914a2407b6ea'u64 ), toF( 0x855f1e0d9f1d815e'u64 ), toF( 0xf0312120155e72d0'u64 ) ] )
|
|
, ( 72 , [ toF( 0x0dae6b64ffcafbf4'u64 ), toF( 0xad43a8cbef49fc4b'u64 ), toF( 0x0e4ba9c55725435a'u64 ), toF( 0x07929530de9ead23'u64 ) ] )
|
|
, ( 73 , [ toF( 0xf709a280286d8d1e'u64 ), toF( 0x7c422c454d7ad78d'u64 ), toF( 0x1e78dba9b3363bff'u64 ), toF( 0x925eb8def9dbb211'u64 ) ] )
|
|
, ( 74 , [ toF( 0x8f17648ad7f14a32'u64 ), toF( 0x1263fdf22c713a77'u64 ), toF( 0x135b4a4d3157b354'u64 ), toF( 0x4257832936b4db71'u64 ) ] )
|
|
, ( 75 , [ toF( 0xa5ab36c996b424d4'u64 ), toF( 0x81e33bd6a5097231'u64 ), toF( 0xdbc85b6906e93625'u64 ), toF( 0x2d147b375f792347'u64 ) ] )
|
|
, ( 76 , [ toF( 0xb835ff5b4e046f73'u64 ), toF( 0xed0e19de504c796a'u64 ), toF( 0x51b4ca7a143f9b90'u64 ), toF( 0x5f3d32e2c33f7367'u64 ) ] )
|
|
, ( 77 , [ toF( 0xf364644392409b6b'u64 ), toF( 0x344fcf32fe1628f6'u64 ), toF( 0xf128513b68eef0ce'u64 ), toF( 0x7ba426d01ec3c61d'u64 ) ] )
|
|
, ( 78 , [ toF( 0xb71002cb1dc714ce'u64 ), toF( 0x97c2660d69990b17'u64 ), toF( 0x2b97c5789f731390'u64 ), toF( 0xe81524235ea63160'u64 ) ] )
|
|
, ( 79 , [ toF( 0x070dfc02a65b09b4'u64 ), toF( 0x1bebfb395c0cdc82'u64 ), toF( 0x0bf1eb80aee834d5'u64 ), toF( 0xa28c7b3cb8d753cb'u64 ) ] )
|
|
, ( 80 , [ toF( 0x5eca1e73048f1df1'u64 ), toF( 0xc3ddd97acfb89c3f'u64 ), toF( 0x24ac18b2a63cedd5'u64 ), toF( 0x53e23cf61d907768'u64 ) ] )
|
|
, ( 81 , [ toF( 0x843abf17d75a0333'u64 ), toF( 0x8e954cea46ff51cf'u64 ), toF( 0xeae7fb987880438d'u64 ), toF( 0x8cd5d84c8bb0a57a'u64 ) ] )
|
|
, ( 82 , [ toF( 0xd7dd0e116c5f1b52'u64 ), toF( 0x438423dc66e9abd2'u64 ), toF( 0xe10f1b65d52ff21a'u64 ), toF( 0x9413c0c023d5c79f'u64 ) ] )
|
|
, ( 83 , [ toF( 0x8e2edda50812754e'u64 ), toF( 0x6c90308dadd30429'u64 ), toF( 0x675946976547a76b'u64 ), toF( 0x951c4eecb8d4553b'u64 ) ] )
|
|
, ( 84 , [ toF( 0x6fe1c85750076566'u64 ), toF( 0x67a4b1fe174f6e4d'u64 ), toF( 0x82773e21f4c9a3d5'u64 ), toF( 0x9ef2d8290a09ceb6'u64 ) ] )
|
|
, ( 85 , [ toF( 0x3574ba384f889129'u64 ), toF( 0x43512e56c9b8f4a4'u64 ), toF( 0xe50ef049b5c0ff22'u64 ), toF( 0x522b82925fb20206'u64 ) ] )
|
|
, ( 86 , [ toF( 0xa01f9546eafeb1fa'u64 ), toF( 0xb36f6e50b06d5412'u64 ), toF( 0x4bea60d56fefb01d'u64 ), toF( 0x4a685159b61e2f61'u64 ) ] )
|
|
, ( 87 , [ toF( 0x44da02acf15ffe85'u64 ), toF( 0xcc8f66d4ecdffeda'u64 ), toF( 0xbd0161bbd906c7fd'u64 ), toF( 0xccb88d730bd9369b'u64 ) ] )
|
|
, ( 88 , [ toF( 0x9c81c2ee1ecdbdc9'u64 ), toF( 0x10fbae0f8058d950'u64 ), toF( 0xf9b8e5e6c19d1a62'u64 ), toF( 0xdc71961d2dca9602'u64 ) ] )
|
|
, ( 89 , [ toF( 0x3e41957c1ab9fc2c'u64 ), toF( 0x1379dde39ea8a67a'u64 ), toF( 0x94fbef0b8e0c8622'u64 ), toF( 0xf41993e522043557'u64 ) ] )
|
|
, ( 90 , [ toF( 0x7c5531fc3ac61d11'u64 ), toF( 0x9d7b158c0c9ae828'u64 ), toF( 0x1ffcbd21660236d1'u64 ), toF( 0x462d18c239a5d878'u64 ) ] )
|
|
, ( 91 , [ toF( 0x1037fe1605a7907d'u64 ), toF( 0x06f431fe65c3bbf6'u64 ), toF( 0xf188f53c71a7c8c3'u64 ), toF( 0xff5ffbbba334af5a'u64 ) ] )
|
|
, ( 92 , [ toF( 0x6472c8b1f4d5e341'u64 ), toF( 0x9c69173087c82dcd'u64 ), toF( 0x55e7ad4b24d00886'u64 ), toF( 0xeb802bd3241971fa'u64 ) ] )
|
|
, ( 93 , [ toF( 0x73c5817247d44136'u64 ), toF( 0x87871e004be3b494'u64 ), toF( 0xe98d0089ad54d169'u64 ), toF( 0x9fc436a494a26414'u64 ) ] )
|
|
, ( 94 , [ toF( 0x245abf19e29aff38'u64 ), toF( 0x298eb5cf60a432c7'u64 ), toF( 0x7a1aef84121be5bd'u64 ), toF( 0xbc15916343607ee6'u64 ) ] )
|
|
, ( 95 , [ toF( 0xf5a04c5e73f98d13'u64 ), toF( 0x25038b30ba64721f'u64 ), toF( 0x81d7c32ead64defc'u64 ), toF( 0xf0db0f22a56933dc'u64 ) ] )
|
|
, ( 96 , [ toF( 0xe7daa2f0b9ab17ee'u64 ), toF( 0x3cb77deb2b28943f'u64 ), toF( 0x4632947f8331bc37'u64 ), toF( 0x3c4011de5279cb7b'u64 ) ] )
|
|
, ( 97 , [ toF( 0x84ad6d4e0e7da0af'u64 ), toF( 0x920b6d975750b81b'u64 ), toF( 0x64bb4e3f81679cf4'u64 ), toF( 0x9971baed4aaa8b08'u64 ) ] )
|
|
, ( 98 , [ toF( 0x5cb4bd37227b61a0'u64 ), toF( 0x1e3cbe73d5ee8a1c'u64 ), toF( 0x6ebe98aebf841731'u64 ), toF( 0x7a99783c800942ef'u64 ) ] )
|
|
, ( 99 , [ toF( 0x2160a76f4328b3ec'u64 ), toF( 0x84497fc521e445f2'u64 ), toF( 0x3e0b60acf5e6a06e'u64 ), toF( 0x24f2c09bdb0434e4'u64 ) ] )
|
|
, ( 100 , [ toF( 0xb1ccad04d3f9a37e'u64 ), toF( 0x4ac46f9e37304956'u64 ), toF( 0x6ce207ce2f3892a2'u64 ), toF( 0x158a90b37564c5fa'u64 ) ] )
|
|
, ( 101 , [ toF( 0xb193f1e3855c44a0'u64 ), toF( 0x584e5366b8967344'u64 ), toF( 0x54696f70b2cfb939'u64 ), toF( 0xc49ebbd1b0f0a763'u64 ) ] )
|
|
, ( 102 , [ toF( 0x06f7d7441705f797'u64 ), toF( 0x302459ea8b0d79d7'u64 ), toF( 0xf8c4314cce7e6516'u64 ), toF( 0x8c76be2891d0531e'u64 ) ] )
|
|
, ( 103 , [ toF( 0x6d101e8963212329'u64 ), toF( 0xf1488706db7ca4e8'u64 ), toF( 0x86517871591837d3'u64 ), toF( 0xca8aa3a1c9b02b48'u64 ) ] )
|
|
, ( 104 , [ toF( 0xb064953f90d84d42'u64 ), toF( 0xd0401f714f33ce38'u64 ), toF( 0x0dd9593517dceb03'u64 ), toF( 0xc730b8fa562c7edb'u64 ) ] )
|
|
, ( 105 , [ toF( 0x12588fa17636f874'u64 ), toF( 0xae071ebe19352ee0'u64 ), toF( 0x33a83d367cdc65b8'u64 ), toF( 0xf0c76f9794c2416a'u64 ) ] )
|
|
, ( 106 , [ toF( 0x04ada1ca9d642e37'u64 ), toF( 0x88ce2e1e8841b675'u64 ), toF( 0x79b60a0d94931973'u64 ), toF( 0xd8a5c3cb9b48707f'u64 ) ] )
|
|
, ( 107 , [ toF( 0xd8cdc21275589017'u64 ), toF( 0x2c0a8bb37cb7a77e'u64 ), toF( 0x536cdf8579cc3e93'u64 ), toF( 0x05b44bf084c5ba1a'u64 ) ] )
|
|
, ( 108 , [ toF( 0xaccf28ef1ee97e2b'u64 ), toF( 0x96f607a3b50b06c6'u64 ), toF( 0x47b57ed34bf9cd73'u64 ), toF( 0x3646b07d772fd7a3'u64 ) ] )
|
|
, ( 109 , [ toF( 0xb3b5033ebbfe4e34'u64 ), toF( 0xd41e6b3c36bf99a6'u64 ), toF( 0x2b80a9b54552ca5a'u64 ), toF( 0x9ed079b0c832e01d'u64 ) ] )
|
|
, ( 110 , [ toF( 0xdd605d7d7a92fa1f'u64 ), toF( 0x2132c52bd3b0a423'u64 ), toF( 0xb40016df0245e655'u64 ), toF( 0xa6d59ff5f9af240d'u64 ) ] )
|
|
, ( 111 , [ toF( 0x800aadf471672060'u64 ), toF( 0x0b9b4b8f7e1302c4'u64 ), toF( 0x17a2a68c83bca8f0'u64 ), toF( 0x0b5a05f2100d7cd7'u64 ) ] )
|
|
, ( 112 , [ toF( 0x1388b9aea20fd701'u64 ), toF( 0xac02869c9c056138'u64 ), toF( 0xd4479a233ef69e53'u64 ), toF( 0x185b29a7cce4498f'u64 ) ] )
|
|
, ( 113 , [ toF( 0x9dba702256f24ad7'u64 ), toF( 0xacb1f500345f2ac5'u64 ), toF( 0xe783cb189ab9108c'u64 ), toF( 0xd0fbe8799ec8d024'u64 ) ] )
|
|
, ( 114 , [ toF( 0xa573e2fc95abc4fb'u64 ), toF( 0x7c9e758d70421733'u64 ), toF( 0x4b25ab6ce421d069'u64 ), toF( 0x08b1848727166e17'u64 ) ] )
|
|
, ( 115 , [ toF( 0x9b8216565790b095'u64 ), toF( 0x297901c152c9c28e'u64 ), toF( 0x2bbf5575968a6c16'u64 ), toF( 0x21138020c6aeea79'u64 ) ] )
|
|
, ( 116 , [ toF( 0xa6353c482d49724e'u64 ), toF( 0x8ac699047a0f83f6'u64 ), toF( 0x5dfa719596803dee'u64 ), toF( 0x9cd8c3e99137a8e7'u64 ) ] )
|
|
, ( 117 , [ toF( 0x90ee4ba3d8d7a46d'u64 ), toF( 0x38f6403677af4cef'u64 ), toF( 0x48e53d4cd2f161d5'u64 ), toF( 0x5e999e2fd474a66a'u64 ) ] )
|
|
, ( 118 , [ toF( 0x9426beae59ae194d'u64 ), toF( 0x344e0e10246caa34'u64 ), toF( 0x5ceb3946c5d79bfd'u64 ), toF( 0x827a82d325aa49fe'u64 ) ] )
|
|
, ( 119 , [ toF( 0xe1f645554d939293'u64 ), toF( 0x4943847a491c5278'u64 ), toF( 0x569caa3b7aebcd78'u64 ), toF( 0xe30c5a3b632f0977'u64 ) ] )
|
|
, ( 120 , [ toF( 0x5cf5565b8410c5b2'u64 ), toF( 0x8bc742f0f3b5bee3'u64 ), toF( 0xf3c770904009b2d3'u64 ), toF( 0x4ffcf2b538946329'u64 ) ] )
|
|
, ( 121 , [ toF( 0x66159a2aa49c2428'u64 ), toF( 0x6c5c9472cc7307ac'u64 ), toF( 0x77351e8a39b65f88'u64 ), toF( 0x66668ff5d2901379'u64 ) ] )
|
|
, ( 122 , [ toF( 0xec545ae3813d0592'u64 ), toF( 0x8af1a227a03e0e6b'u64 ), toF( 0xb63cdd76abad5bde'u64 ), toF( 0xcca296d84a7f7b00'u64 ) ] )
|
|
, ( 123 , [ toF( 0xed4b1d62013d3755'u64 ), toF( 0x184c408cef01edbe'u64 ), toF( 0x4cdcb65b877e72a7'u64 ), toF( 0xbdbef5049bd15ac9'u64 ) ] )
|
|
, ( 124 , [ toF( 0xdc5dfad88d4ed68f'u64 ), toF( 0xb54ffb729d8ceaf2'u64 ), toF( 0xb44b79ba61de73fb'u64 ), toF( 0xb99b2bae8a690be3'u64 ) ] )
|
|
, ( 125 , [ toF( 0x31721bb642883b98'u64 ), toF( 0x7115bd67ceee1263'u64 ), toF( 0x341203f729c38290'u64 ), toF( 0x883ecbdf78e6606f'u64 ) ] )
|
|
, ( 126 , [ toF( 0xf6db9979372d3166'u64 ), toF( 0xb3961305f096a61e'u64 ), toF( 0xf0afe304c67582ba'u64 ), toF( 0x8d36b3ccba328363'u64 ) ] )
|
|
, ( 127 , [ toF( 0xf906a2d1073ed0d5'u64 ), toF( 0xb19b1fa3308d8c4b'u64 ), toF( 0x435da439c6836bf0'u64 ), toF( 0x6981b44a2caefd41'u64 ) ] )
|
|
, ( 128 , [ toF( 0x7fce92fc6b87ff8b'u64 ), toF( 0x304e22d588f94735'u64 ), toF( 0x75e829254c6e51e0'u64 ), toF( 0x34062991d5605f05'u64 ) ] )
|
|
, ( 129 , [ toF( 0xc5c8f09fb51fcbd4'u64 ), toF( 0x7527dbb0fce62cef'u64 ), toF( 0xe263ac156f7155c2'u64 ), toF( 0x5ef4c221306ab514'u64 ) ] )
|
|
, ( 130 , [ toF( 0xa77aee24d65508b1'u64 ), toF( 0xda5fa955e5eba388'u64 ), toF( 0xd5d1f1f7063f15e8'u64 ), toF( 0xb22ccd0913eba8e9'u64 ) ] )
|
|
, ( 131 , [ toF( 0xd5cfefec5cee0970'u64 ), toF( 0xee1472a32b4aaa83'u64 ), toF( 0x36ea2a1eec54f0e5'u64 ), toF( 0x94b20476fca76b87'u64 ) ] )
|
|
, ( 132 , [ toF( 0x64ecfd57266c982a'u64 ), toF( 0x45450640e26b217d'u64 ), toF( 0xef8617ddc7c7e973'u64 ), toF( 0x9efbdd5ed3a77568'u64 ) ] )
|
|
, ( 133 , [ toF( 0x59b88eadb235916c'u64 ), toF( 0xbdbbbda3cf3eaa6e'u64 ), toF( 0x6c0e46ef5d5ece16'u64 ), toF( 0x777f6d6e1aa82623'u64 ) ] )
|
|
, ( 134 , [ toF( 0x6f4b1798b8055b02'u64 ), toF( 0xe662454d514c0322'u64 ), toF( 0x9df0dc59c74735e9'u64 ), toF( 0xf191b45506fc9a90'u64 ) ] )
|
|
, ( 135 , [ toF( 0x74b1857781828f12'u64 ), toF( 0x417cfd30475b5a97'u64 ), toF( 0x78dc6c50a8ffd4dd'u64 ), toF( 0x626b5e7030853881'u64 ) ] )
|
|
, ( 136 , [ toF( 0x18bb217dc688d384'u64 ), toF( 0xf7a7211a9eafc397'u64 ), toF( 0x6fd49cef1173a46d'u64 ), toF( 0x8a1e8175f8a4b54e'u64 ) ] )
|
|
, ( 137 , [ toF( 0x4899379f2d1add4d'u64 ), toF( 0xf92ec61ea97b93b5'u64 ), toF( 0x5f8981730241bdf1'u64 ), toF( 0x9e94ebd8a9d72f47'u64 ) ] )
|
|
, ( 138 , [ toF( 0x108515795d1b4c73'u64 ), toF( 0xf8652c17c7d2d581'u64 ), toF( 0xcf1c457699b6fa26'u64 ), toF( 0x62bac98f9da5063a'u64 ) ] )
|
|
, ( 139 , [ toF( 0xf0a2dc253b280997'u64 ), toF( 0x1f193ffd6b12e322'u64 ), toF( 0x75ca299be3f3ca9e'u64 ), toF( 0x88170970ddc0e9e4'u64 ) ] )
|
|
, ( 140 , [ toF( 0xe3e2d4d4efcf7ade'u64 ), toF( 0xe6412ec5056276ae'u64 ), toF( 0x562d629248338353'u64 ), toF( 0xb1e63dbe851927e0'u64 ) ] )
|
|
, ( 141 , [ toF( 0x5271e9684467d61e'u64 ), toF( 0x8ae496e19fc4b208'u64 ), toF( 0x0b7010df59dd04ee'u64 ), toF( 0x49db0ee4215f1b72'u64 ) ] )
|
|
, ( 142 , [ toF( 0x0ed77b95d1116460'u64 ), toF( 0xd812bc9fde6e9717'u64 ), toF( 0xf50173708b8c9ed2'u64 ), toF( 0x4640f7e1f2a28335'u64 ) ] )
|
|
, ( 143 , [ toF( 0xd760675c44c155f1'u64 ), toF( 0xbd755b65e032e9ab'u64 ), toF( 0xa23a1144a8294403'u64 ), toF( 0x210adef00579f2b5'u64 ) ] )
|
|
, ( 144 , [ toF( 0x7d83e37fecb81820'u64 ), toF( 0x47c4ba8b27a2d16c'u64 ), toF( 0xd69b9846e670c620'u64 ), toF( 0x283fdee734136dcd'u64 ) ] )
|
|
, ( 145 , [ toF( 0xf50622aa819dd9b8'u64 ), toF( 0x13755fa1b64d9c02'u64 ), toF( 0x6d5ff672047e7b30'u64 ), toF( 0x7295388098bb2618'u64 ) ] )
|
|
, ( 146 , [ toF( 0x1dbeb23980eea9ae'u64 ), toF( 0x4570c6c76f435dc6'u64 ), toF( 0xb792e39d0d14dfe9'u64 ), toF( 0x833c805e1daf8ace'u64 ) ] )
|
|
, ( 147 , [ toF( 0xb043a41a6fd33145'u64 ), toF( 0x3252ac5be6e4ba42'u64 ), toF( 0x038bc2dacfe08dfd'u64 ), toF( 0x8db7dc7cfc2e299d'u64 ) ] )
|
|
, ( 148 , [ toF( 0x53cf64ca488a02a2'u64 ), toF( 0x02ced0e66d7928b0'u64 ), toF( 0x1475b7760851fd1a'u64 ), toF( 0x6bb501b2a97b488f'u64 ) ] )
|
|
, ( 149 , [ toF( 0xa57d67764cfc3f7d'u64 ), toF( 0x7d337e10b52602ca'u64 ), toF( 0x87f87e786680c0f5'u64 ), toF( 0xd7bcace6f6e04c43'u64 ) ] )
|
|
, ( 150 , [ toF( 0xeace58c60055d3f2'u64 ), toF( 0x5a8ccfc77b037ef1'u64 ), toF( 0xd996c1669a9fed21'u64 ), toF( 0x78ccf90f1acdc643'u64 ) ] )
|
|
, ( 151 , [ toF( 0x19ae5536baae07d5'u64 ), toF( 0xc8a0d1a2d825eb61'u64 ), toF( 0xbe83562adc8f1479'u64 ), toF( 0xea051366cec652f4'u64 ) ] )
|
|
, ( 152 , [ toF( 0x55f26bc57ffc8e2f'u64 ), toF( 0x8f70e0f69d6519c8'u64 ), toF( 0x8775023bd56b84d3'u64 ), toF( 0x630d2e81519833fc'u64 ) ] )
|
|
, ( 153 , [ toF( 0x9f661c7aeef5abdb'u64 ), toF( 0x32b2825926fd287a'u64 ), toF( 0x30225012a058a734'u64 ), toF( 0xeb89c01c22ed18bc'u64 ) ] )
|
|
, ( 154 , [ toF( 0x6670ffa7831189e6'u64 ), toF( 0x74231ec306dd1fe2'u64 ), toF( 0x200ff28c1b398e2e'u64 ), toF( 0xbc9bec7dcb674921'u64 ) ] )
|
|
, ( 155 , [ toF( 0x47cbf818c3c87ccc'u64 ), toF( 0x95fb823ffbbab252'u64 ), toF( 0x9dbe826afb003f4c'u64 ), toF( 0xaeea196f7fc1d01f'u64 ) ] )
|
|
, ( 156 , [ toF( 0xfa411de3886d159a'u64 ), toF( 0x4c639b8502620edc'u64 ), toF( 0x913fac2529773ec7'u64 ), toF( 0x7f3b14b27f14fc59'u64 ) ] )
|
|
, ( 157 , [ toF( 0xf1257355614edeb6'u64 ), toF( 0xadb8f59e4a51750c'u64 ), toF( 0x1a2e7f9c463da256'u64 ), toF( 0x6c6cda0aa46b8915'u64 ) ] )
|
|
, ( 158 , [ toF( 0x46029b0bd59f9a26'u64 ), toF( 0xb21fc56970d14bc1'u64 ), toF( 0x4a6c2b29b64d61bc'u64 ), toF( 0x46b88f2b6acb8b58'u64 ) ] )
|
|
, ( 159 , [ toF( 0x089d0141700a7723'u64 ), toF( 0x7c576dacb2363cda'u64 ), toF( 0x94ae24d9b0db732a'u64 ), toF( 0x9bd81b8214787435'u64 ) ] )
|
|
, ( 160 , [ toF( 0xa2f48ee92dc5b6cf'u64 ), toF( 0x1642873819fa3f0b'u64 ), toF( 0x098696f49492901a'u64 ), toF( 0x6315f0001529041d'u64 ) ] )
|
|
, ( 161 , [ toF( 0x3a73bd4900a766e5'u64 ), toF( 0x8e9bf0f48967f3ad'u64 ), toF( 0xedaf9587c7149537'u64 ), toF( 0xb84b72fd4630cfe9'u64 ) ] )
|
|
, ( 162 , [ toF( 0xd26f6629b323f283'u64 ), toF( 0xf9c27c436a9c263d'u64 ), toF( 0xc73d72c3f1e86338'u64 ), toF( 0x050419ba7832da0f'u64 ) ] )
|
|
, ( 163 , [ toF( 0xad48571ba0d12f75'u64 ), toF( 0x96dd8403a5d0a300'u64 ), toF( 0x501377993b7f27eb'u64 ), toF( 0x16265488a9b3f501'u64 ) ] )
|
|
, ( 164 , [ toF( 0x8e1ecbe6cf9057e3'u64 ), toF( 0x0704a02ae18072f3'u64 ), toF( 0x5c5be89558a8dd41'u64 ), toF( 0xb62246e34b0dd4fe'u64 ) ] )
|
|
, ( 165 , [ toF( 0x8d47d694f9f86608'u64 ), toF( 0x0821d998e0101faf'u64 ), toF( 0xd09d892220023808'u64 ), toF( 0x1f85707b61fd20f5'u64 ) ] )
|
|
, ( 166 , [ toF( 0x6926bd26ba9e3b9b'u64 ), toF( 0x99bd5cba8a13cc32'u64 ), toF( 0x53bcfc70b7410169'u64 ), toF( 0x80885a8b87ad3bb3'u64 ) ] )
|
|
, ( 167 , [ toF( 0xc4553eb6c36989a8'u64 ), toF( 0xecf3541e0a211146'u64 ), toF( 0x22b725f09ed45f9b'u64 ), toF( 0x85ddffe69a76b732'u64 ) ] )
|
|
, ( 168 , [ toF( 0x441426730095f7bc'u64 ), toF( 0x370a8d9068ace085'u64 ), toF( 0x9470b822903f2ac2'u64 ), toF( 0x6db1b76dcdf4c564'u64 ) ] )
|
|
, ( 169 , [ toF( 0x7974c29306f28df0'u64 ), toF( 0x7aaa5aa1c627b2f9'u64 ), toF( 0x220ab754bf853e97'u64 ), toF( 0x52fe406f8766ca42'u64 ) ] )
|
|
, ( 170 , [ toF( 0xa3c974c2cdd4e5bb'u64 ), toF( 0xac70a5638b7da295'u64 ), toF( 0xb2affcdf066c1954'u64 ), toF( 0x94da29033ba145cc'u64 ) ] )
|
|
, ( 171 , [ toF( 0x333c951af5adaa8e'u64 ), toF( 0x67e924e3a4e2022b'u64 ), toF( 0xd7b6900a41cacd76'u64 ), toF( 0xe1e7aa6e46c73e05'u64 ) ] )
|
|
, ( 172 , [ toF( 0xdf2585a192702e91'u64 ), toF( 0xa44fd3e6c129b210'u64 ), toF( 0x9fb9ce9c4bcf3481'u64 ), toF( 0xd2f75ea2e0346a61'u64 ) ] )
|
|
, ( 173 , [ toF( 0x4afdd4b693a94885'u64 ), toF( 0xdce68ad0d8fd9196'u64 ), toF( 0x8342f34b048ac5a8'u64 ), toF( 0x9553e9f18f1db296'u64 ) ] )
|
|
, ( 174 , [ toF( 0x6d024b16738fbdcd'u64 ), toF( 0x0f57bb861bd79248'u64 ), toF( 0x282e4e354eeee956'u64 ), toF( 0x52f01f57ddb9682c'u64 ) ] )
|
|
, ( 175 , [ toF( 0xa13fdb0140581d2a'u64 ), toF( 0x3b533c584a937d24'u64 ), toF( 0x04228837d591a1a3'u64 ), toF( 0xfca27743b86cd572'u64 ) ] )
|
|
]
|
|
|
|
|
|
|