fr_roots.cu

Go to the documentation of this file.

// bls12_381: Arithmetic for BLS12-381
// Copyright 2022-2023 Dag Arne Osvik
// Copyright 2022-2023 Luan Cardoso dos Santos
 
#include "fr.cuh"
 
__constant__ fr_t fr_roots[515] = {
    { 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000 }, // w**0
    { 0x33811ea1fe0c65f4, 0x15c1ad4c687f28a2, 0xecfbede342dee7f4, 0x1bb466679a5d88b1 }, // w**1
    { 0x2cabadec2fe322b8, 0x752c84f315412560, 0x32a732ae1a3b0aef, 0x2e95da59a33dcbf2 }, // ...
    { 0x16654b4e3193f385, 0x7dd34dc48b542a79, 0x881dab49e15d3727, 0x6a61dbd781fc6d1c },
    { 0xb750da4cab28e208, 0x501dff643be95635, 0x8cbe2437f0b4b276, 0x07d0c802a94a946e },
    { 0x8e92a08175236817, 0x2e29e9208281d298, 0xb7701b97622a206b, 0x0f798c4fc8876304 },
    { 0x7d01866add958780, 0xdf7b4ee66e4caccb, 0x67e701a945e9b713, 0x18ba7658084c71a4 },
    { 0x9062ff9a0538ec84, 0xa05b275c4ae15be4, 0x435ea8ffe19c8c85, 0x0496ecbcd74b6124 },
    { 0xd2fc5e69ac5db47f, 0xa12a70a615d0b8e4, 0x293b1d67bc8de5d9, 0x0e4840ac57f86f5e },
    { 0xaddcfc96a506dae2, 0x87736de903ce2b7a, 0xaf1b0f713a146c93, 0x346cbb19b5815e67 },
    { 0x1340a28ffe15d019, 0x2c4adbcf1b2f2765, 0xc98da723e86bdc41, 0x2b92cbbd0503595e },
    { 0x64936d794ecac754, 0x4b4e7bab3c93dde1, 0x97e292677efe6e68, 0x192d8efcbc9ffba3 },
    { 0x6207cd2f20df9d12, 0x0081066e578d78bf, 0x725ce48f79bf9cd6, 0x60c7efec34093e9a },
    { 0xe302dccf4853d300, 0xb07c5b52db2a5c58, 0x1875aba524351eaf, 0x1b4018783b6e925b },
    { 0x8dfcd4912667f55f, 0xe801fb897d05b853, 0x10a20368471f6635, 0x64e32898a7c259a8 },
    { 0xf9ed4f03933eef85, 0x30eb83e42ef3f6bf, 0xa9ca21650de7491c, 0x07d1dbabda2a09d6 },
    { 0x9733f3a6ba60eaa6, 0xbd7fdf9c77487ae7, 0xd84f8612c8b6cc00, 0x476fa2fb6162ffab },
    { 0xd0bd794485b1cd59, 0xde1d4b203d557fd3, 0x6b0fd286dc1624d8, 0x1a8dff0465d7945d },
    { 0xf3f90bd2b05e602e, 0x42f464cb4256a3b3, 0xcfdc1da7bf59004b, 0x36e1ebe124834a8f },
    { 0xf882c6f1282fa4bf, 0xf50c3ae2947f2aaa, 0x4e318d58820a2e95, 0x32569ceaf4033df6 },
    { 0x4000b0b3767c9928, 0x19b0deac619bda2d, 0x8b98c6ffcd682aa2, 0x35c60b00588ed2cf },
    { 0x40e4c962f57bba4b, 0xa3ce9513fd14fa73, 0x5bef62d338fc0848, 0x08097452c5c97866 },
    { 0x8117a83fe0dacaef, 0x5d1a65f594b09926, 0x12712448c25af059, 0x2b761bfda43188b5 },
    { 0xf424341daddcab5d, 0xa86c461ae56f072d, 0x5204f44088385855, 0x4aa10d96bee11ebb },
    { 0x8d28c143168bba2c, 0xdb872ef3dce28e78, 0x4e84b3cd7dc75b61, 0x640d097461a2eeaf },
    { 0xfa6ceef222eb879a, 0x2ef304939c366da7, 0x99f61f4617deac54, 0x06d49af90ed12f44 },
    { 0x998731ee0c78437a, 0x38275f891994324c, 0x51ea52ef08f1e06c, 0x4ba357052117e1e1 },
    { 0x1602cb7786c1f5e3, 0x682032b420d1fe8b, 0x3bc2e754e78bbdb0, 0x67eb2fd57acdc0bc },
    { 0xe2c1b6af78029270, 0x28db89e0a4a5765f, 0x7541df17373a0657, 0x4f531b5dc39ecc50 },
    { 0x7372e26d5720949f, 0xaa9ad32419396162, 0x5e3ab4ed8e1c3483, 0x04a42ca6312ad70d },
    { 0xf007bdc150d024b1, 0xbf5354ab6e8c2ab4, 0xe0eb9d91cdecccfb, 0x1f2caa7aeef7d8de },
    { 0x5d8e6990bfa23004, 0xcb1bb332b4e8ce84, 0xd4fbf85ba3c7b295, 0x3c5dbc8a3a58c72a },
    { 0x95df4b360411fe73, 0x1ef4e672ebc1e1bb, 0x6e92a9c460afca4a, 0x4f2c596e753e4fcc },
    { 0x122fe2e0669a2cc8, 0x3050700bdc4b9b68, 0x7a36b26c3985d063, 0x035bc18d05559682 },
    { 0xf6f43227eaade450, 0x614a95d2c3e71de2, 0x388a3903558023a2, 0x2d432e127d4b36ff },
    { 0xcf4a24368337be6a, 0xbbdd88120258390f, 0x4cc9ff4bf19abce5, 0x30e1bc58cb5eb5c4 },
    { 0x3ff630d3f89c4c2c, 0x08ccffd43f1931b6, 0xfaa1f3804fdb73d0, 0x1f3834a0f387add7 },
    { 0x4219652d417991d9, 0x40e18e474ae24746, 0x43e305da5e1bbe7b, 0x1cac59e2fa4a0e2d },
    { 0xf003cd6e73efb611, 0xaabff88c0b7e4246, 0x0cc516e3bb219c82, 0x146d0fdde70e992d },
    { 0x1be69f3270830aad, 0x6862075a6764c01e, 0x447bddbac2fd51ed, 0x5807969225ba3389 },
    { 0x7b9610b1db94977e, 0x6ee1991fee0e510a, 0xc1649310899759ba, 0x205bf9e8afe7612d },
    { 0xb38d064ea8444127, 0x510352b62f3f203e, 0x023718eed874887b, 0x5aeefa03ad3c8255 },
    { 0x2e9a4db5f138dab3, 0x7a1cb8c070f0ce32, 0xbcca660ee327eb37, 0x6a945980dade66ef },
    { 0xd5191d3dde403c3e, 0x71f811d4c6505005, 0xe84835306f7d058a, 0x03ed091c4b9d1142 },
    { 0xb08956f964517062, 0x29c85f7efbd6188b, 0x09768a7087f0cc26, 0x13562b7d27b4c23e },
    { 0xbd7831edbb030fe8, 0x3305eef4a96aad48, 0x6d7b9d657ca55704, 0x3ec15814750a6cbe },
    { 0x2874e1098b7e9b1a, 0xc684d7b3f8b7cf13, 0x7a9970f370ae50cb, 0x15855092e98ac1b4 },
    { 0xec3894fdbbc5e597, 0x0a738f0e49608f7f, 0xe522dc0df640392d, 0x2e916831b2c665dc },
    { 0xae34a81e1cfca2ec, 0x6c7876bf0928e68f, 0xae25b21df6c52b2a, 0x5e73ed8c432405d0 },
    { 0x623d46a32577733e, 0x4c3bea52fcee5c63, 0xd3aadb6799033829, 0x24e340908d912fb4 },
    { 0x3b2bcdccf1ec7b16, 0x6f5f56946340fdfc, 0xbae4d7a5261114f2, 0x55e29e7e1c0691a3 },
    { 0xba7d4348b3e9e6a5, 0x4fa1ce0189080895, 0xafb713389188cd09, 0x2e26afb08780cead },
    { 0xd10899b24dbbf12d, 0xf69f9c8b080ee81b, 0x313b8642525d5075, 0x22dfb19b5e5f8ee9 },
    { 0xfea7c33496a345f2, 0x920d246202280193, 0x0156dd6f2d56b9c1, 0x59a2bad21bb26cbe },
    { 0x8d66b6b5017225bb, 0xcbba2b752da27a4e, 0xd247f1687a9eb754, 0x11c17601029a4196 },
    { 0x5f2fb9c8ee9f3784, 0x5d5e4ac091a8413b, 0xf1b534e07ce71098, 0x55c4b0d68f671db5 },
    { 0xf44e14739932aa33, 0x59e74ba2b75ca477, 0x59d7d47f20aa9f02, 0x37d3508a14adf959 },
    { 0x140700f6f5ad1992, 0x9d27a423c7cc92cc, 0x84be2f7125588a79, 0x3da1160d7fc7387b },
    { 0x523db144c948a873, 0xdf83c14c0425182e, 0x2c14671f92089bc7, 0x19e77e100025cede },
    { 0xf825d2b60a32f87a, 0xb99d89aade182224, 0xe027a83558a1fa00, 0x1df44aec85b8f956 },
    { 0x91e8a1ba3b6f3441, 0xbe66f8a0dc0e6bbe, 0xe1b2c3aa0eb455ff, 0x1a112d20409a835f },
    { 0x64d11e5e40eed6d0, 0x7d51124d9f38a3d2, 0x248cee69c0ae043a, 0x4fb2cafd455e05aa },
    { 0x7675b5beeb6153ca, 0x36c5916205245125, 0xea18ac2f59bed4eb, 0x44057850ce28f03e },
    { 0x625384be62a7a2e8, 0xf63fb9a2d6fcdc22, 0x2c5ded5ceeccb2ad, 0x109de66c7ea5ba6f },
    { 0x8dd702cb688bc087, 0xa032824078eaa4fe, 0xa733b23a98ca5b22, 0x3f96405d25a31660 },
    { 0x97ef4c4862dac48b, 0x2b62a8e248a58739, 0x756db007d73ddfd8, 0x00835edd0c55c21a },
    { 0x6358cf18763f4063, 0xd98a9a8b48559c15, 0x3e293867324c9a71, 0x73432a235b185c76 },
    { 0x8902bffd4b07db39, 0x9fc5e9ec9c4b3efb, 0xeeb4135df31350fa, 0x042f60cdeaa382f0 },
    { 0xa4f1f87d90884c5a, 0x7f3accee4e32feba, 0xa84b028e307c9363, 0x22545f6ba59c3994 },
    { 0x0ade8d476f637dd2, 0xf024d57952c2179c, 0xf78e806eb0f4022f, 0x71b597e408eec004 },
    { 0x194e60f3a1520636, 0x7be32750901a3f7f, 0xa495eee2bbe6b01a, 0x57eb8aeb7895fc66 },
    { 0xb0a40e557f4b46ae, 0xe49025299f9d89f8, 0x07e1837d2ec951dc, 0x0c0eb7cf8d35960d },
    { 0x223c4fc056e43d9a, 0x9bbabf1e9e172de6, 0xabac70f83e4acd51, 0x10952f0122e8072d },
    { 0xac9567be9a36d522, 0x59d7a64cccac9b12, 0xefacaa48c2c48274, 0x6b54c447ce21b78a },
    { 0x75352d72a0c9539a, 0xa07fcad29e981643, 0xfcf3ec5eda0ddb53, 0x42a2e61a3a2a9b39 },
    { 0x1e268819ba508ef6, 0xd6b8cb20a77d7230, 0x69c5df0b617bd142, 0x2170479ce4654983 },
    { 0x2a0a83854a64dccf, 0x0dc290a30beab8a8, 0x96c0943166661472, 0x11fb33e0bb0973b0 },
    { 0x799bd1773c3aadf2, 0x77bf1d8539e5c50b, 0x2c0cc5b558b3509c, 0x455ed6eec90f1e19 },
    { 0xe9dd22a497765719, 0xc2b901d9b44bf6ce, 0x8e1dd927f6f6bf4a, 0x3dbe994d9fc0040d },
    { 0x71962ed94d9ec469, 0xc21d1aec1b762d2b, 0x6db2b2d9ca2e4902, 0x5ea08340e97d268e },
    { 0x3ec50c9031a36ca3, 0x26bc7f62d13a6e1c, 0x06050b5832d10997, 0x65f6c5837cb5fca2 },
    { 0x2d0f0a19166b00c7, 0xbd8bcd5f497503b1, 0xc54b5ed9c1a33946, 0x41850e645548e4bc },
    { 0x4b94920969459132, 0x3768befea0679e49, 0x1d51a2e03b9c9cf2, 0x1e03d44cddf6abc2 },
    { 0xe7c952e4bd7af7d4, 0x15b7da58c5251abc, 0x278a8c2e3d1fd8e1, 0x5e8542944aa32bee },
    { 0xb14b44a23cfe6f92, 0x4f75c4fd31a9bdfb, 0xd9bbb5adebfdc299, 0x02a8fa6a84eec93c },
    { 0xc6570d2ea95bfd84, 0xdd4c749d2221afab, 0x99c8a193d439a310, 0x1a41230b34c24e22 },
    { 0x24438957b3e25619, 0xb20e24ef2f570c8a, 0xf82295c732d111a2, 0x1a660e58dcdd8ce7 },
    { 0xaadbf867e295fe4e, 0xd72736107d34be5d, 0x13c6ed1276f03221, 0x6388e2b1413ae56b },
    { 0xd64b34dde86304f3, 0xe94910119f300f47, 0xb3c03b15fa3a7826, 0x70822dc00c9fa4b3 },
    { 0x3cd3d2e1c03a844c, 0xf1a7edc3eeb1ea0f, 0x2f9ded387ed31cf4, 0x1257c7495e0793b3 },
    { 0x3c1d97dd9423b5d1, 0x490a9a547af7f720, 0x6dfda5ce9bf2fc0c, 0x67dc39c63dcea51c },
    { 0x8bc1932b0d274a1d, 0x885b416bad06a752, 0x70f081507724a71a, 0x5b78f02be95b1a9e },
    { 0x44568101d845f71f, 0x9d4b0f40448ca04c, 0x6e8ba6f2374a655d, 0x5318150315161c3e },
    { 0x93277736a35fa518, 0xa61d9f02709eb900, 0xa14d12d4e142af50, 0x588bb8a187109e2d },
    { 0x4c191129505eef66, 0xf27edb7e69c459f4, 0xb3e1674c00ddcfee, 0x1638d87eefb9b5be },
    { 0x963a9c566e8bd6b5, 0x5f468edeb6787ad5, 0x26747ffd80262ac3, 0x3dfd92e903126986 },
    { 0x5e544cdf4c887948, 0xfc010d53ccb22542, 0x687a73c92f188612, 0x3b25b475ab91194b },
    { 0xbe92da98becd1980, 0xaac7ab07e301263f, 0xd5f34d908dff438c, 0x104bfa81cc9e333f },
    { 0x2efcfdaf4e265ab7, 0xcaafcb31434545d8, 0x9a54b1f2bebcea8b, 0x2fb2b48988b9dbae },
    { 0x1ea4d56a5d6a3654, 0x824a1bd4592fe155, 0xc62477cbd8d1dc72, 0x3679279f667a6ff2 },
    { 0xf6a1cd7025d071a5, 0xa9bdb5218d05af8a, 0x2ed1234cde5d6927, 0x4ae921e17d3cd87a },
    { 0x2318f1f6844036ac, 0xfe4de56daf67ef10, 0x604297e1df5b7fe9, 0x709701b7108f6c67 },
    { 0x3e0664b6a44982e0, 0x64560ac1281b27b4, 0xd2d28fd9dc0d920b, 0x18fdcd6eb725f684 },
    { 0x064a5280cb9b0a5c, 0x028a0bce9fdfac61, 0x2dca882e26bcc0c1, 0x22de564df61c66ea },
    { 0x9ddf46bac40ac8e4, 0x0bf20a6f5e170989, 0x916f129332ba2dfc, 0x28eb300e9079af0b },
    { 0x87b9261d38ab4a25, 0xc85aad4b9c1dd14b, 0x2b3248a8f8582464, 0x41715c5bb54b12a8 },
    { 0x045697cc52056d9b, 0xc866372d5f7944f1, 0xd986c0c20a39fc66, 0x25b9984a697ff768 },
    { 0x5d970e0b0666e0d8, 0x0ad22b0908293b43, 0xb44d3b688f849246, 0x5b030683301968fd },
    { 0x5a9a50847f96ec43, 0x11f69b4a47af7565, 0xa6231d154bcbeebf, 0x463690b59abcf615 },
    { 0xa87aba4a19b4551b, 0x77ecd8830dcc0a87, 0x29114bed4238dad3, 0x3fa220593e7aa7d6 },
    { 0xc7ea608db8cd652c, 0x404ef4c6bf3fe0c6, 0xf5389b96856be8b1, 0x1df57ca6fc96f67f },
    { 0xf8d0009cc2a6c535, 0xd54537fd0d912eea, 0x5d8cb9d35a162fdb, 0x28de61eb978ffd8a },
    { 0x196986abd51edcb5, 0x708c291cbae2a361, 0xac3f6e2f24bd52fe, 0x6f8c83d4d0a0ae73 },
    { 0x97c7058ee0f32403, 0x60278442906cdcb9, 0x8c826031662df9e7, 0x6c7a15d0bc7ed9cb },
    { 0x8ab3113c021da780, 0x6212655fec382b48, 0x180ea84a5115cfd2, 0x53aa7d875f42d925 },
    { 0xc3adf3d3e5d685bf, 0x13fd86cce858f8c8, 0x8df483f139d30e3c, 0x1c1c8c1e703f7f80 },
    { 0xa0927a327c751043, 0xb830a34e5e4c7a31, 0x413ff88848100458, 0x30d2983de0110e23 },
    { 0xca2e518d542f5ab4, 0x37f819f7fbd18722, 0x5c7bd78eafd2363f, 0x5c5a35118c1d063b },
    { 0x2d787c980313ea47, 0x95f315a6b2d095ff, 0x758318df7c28ca7b, 0x16d4372554761399 },
    { 0x831af13e1a684e43, 0x9a8d4f7d4f608b27, 0x1aaa8bc17630875b, 0x2669eabd406c3a9d },
    { 0x870b11e11ba54d0f, 0x81a2bee506858fc6, 0xbcf95c6ee2bfcfce, 0x0596a3d0ddae097e },
    { 0xb6526124c54da696, 0xfcac3a69d3f05c06, 0x34771621130c70cb, 0x07baba3f3484126d },
    { 0x62b851e3d2a34df5, 0x64505ce328284205, 0x604ccbce31863317, 0x663d0aa154b7afb7 },
    { 0x30d3acddb0356ceb, 0x78f1f245ca8edb31, 0xc3916432097245e5, 0x3f57c3bb68888454 },
    { 0xbbf254b932e053a6, 0x72291d47986d31d3, 0xbde19c2cf633387e, 0x5950a37bb55ee341 },
    { 0x2a5e7b785841a1da, 0xeaa07e9cbe5a10af, 0x9589c90d5aa47634, 0x668db67ad287bb0f },
    { 0x0e5070b9bada029b, 0xf244f49758f2e4f9, 0xb5c8af93f751a2bc, 0x27b9f6421e7859bb },
    { 0x7acc968a7ee39687, 0x2b501e5b050695d6, 0x8d1373f244cb0933, 0x38b7e9acd483910f },
    { 0x0001000000000000, 0xec03000276030000, 0x8d51ccce760304d0, 0x0000000000000000 },
    { 0xe0723c72eb58f584, 0xf9140b7174540d1e, 0xf01e6f45ceee8419, 0x21530d469c569786 },
    { 0xeb7d8810073f5d6a, 0x7a807acfac7a7564, 0x1769583e0d6d2c1a, 0x415e4339fb741fc3 },
    { 0xa869ecf2cc0d850a, 0x6a1592642caef3e5, 0x6e952e4835770833, 0x4164d792bef1368d },
    { 0x4222925245f4e2fb, 0x20b2b183f7ec0b19, 0x09b97ddd04dcc909, 0x18780c47d9f8e633 },
    { 0x0deb33b55635d786, 0x64dd6fb6b626c098, 0xb9e31698cf2929dc, 0x22012b7ad6b8e554 },
    { 0x6cfaf4c817c13fe6, 0x30de4d0617413924, 0x57f5f1a3b50f2b7f, 0x00c50e1ec7a28bb8 },
    { 0xa099ecb7d80ab778, 0xe565da083310e06d, 0xf6430aea6aa55bf0, 0x07dee6259f2dfb34 },
    { 0x30f9a5d7f0c3cdb2, 0x6faaf80b0c55bd84, 0x3c8c71b5ba9e612b, 0x1ef34257e466b84b },
    { 0xe252f6a3681e0665, 0xfae92a5ff656e571, 0x8213bbd737bf0e62, 0x67b748279a4d3292 },
    { 0xd010a9edb4b638a4, 0x9cc72871c1151445, 0xc4f0a81758d181ac, 0x713a9164dbe6739d },
    { 0xbe012e3d0f88b8f7, 0x6d5dbfac1f1fe4b9, 0xf738c5833b75cdaa, 0x1b02b7b62c9021ab },
    { 0xdbcc4af4074489e8, 0xe6409954448fd0a2, 0x07238a67fd3278fd, 0x1bcee4668304bec2 },
    { 0x49182c727dbb9b2e, 0x3031b0356f6a9b5c, 0xb0c1aa8a59aec67c, 0x51b3482e7e3453a9 },
    { 0x5dd34f3efbca7e49, 0x933c92294a7df311, 0x44915a4a7e636571, 0x32d547e9d6455993 },
    { 0x1848f2442fea2cc8, 0x493dc04931711787, 0xe204d5dce8844248, 0x2cb06e34562bbc52 },
    { 0xdf2b12e5b0330148, 0x51d460a1dbfcd267, 0x8a490835c612d679, 0x20e9cd3a7fca77e3 },
    { 0xc460bf22c6dd910f, 0x2f72d3eac34989c0, 0x6b57d03403d311f6, 0x2789ebc8ca0be3db },
    { 0x198a034b1e705c0e, 0x3c771d65b2ee56d3, 0xe04369454396c389, 0x255c117113c5d5a3 },
    { 0x0d41b8bf60aef96b, 0xd7819e5ef22725f4, 0xb6a386acee69958a, 0x24eb217edb6cee5e },
    { 0x8ad72a76bc61a4ef, 0x94aa3be95461c35c, 0x8506b7660550ec69, 0x595e6c715d7a8ee1 },
    { 0x1985e5010d1e28f9, 0x597feef21aa1455b, 0x4a244131970ee26e, 0x5cf3f7d7a6997c06 },
    { 0xda37c449f8b60f52, 0x3ba63f546586f6d2, 0x2f49c52c6190369d, 0x15e22b8b7d02f5cf },
    { 0x8faa4aea5baef097, 0xfe5e6f6b805b1acb, 0xf1326910bc966667, 0x1616701853308eaf },
    { 0x0727b36db1974ef4, 0x4ee20d3cfc83311c, 0xe7caaba64af67621, 0x28c6d5fd4e2f04c5 },
    { 0xb9f177b76f473cbc, 0xc81a907743c3d4b3, 0xedbfb8fc9a7be5d5, 0x2a441ce244d73adb },
    { 0xa8e747e70c3352b9, 0x1e393a229e5c956e, 0x074231113972d1f3, 0x20b80fa52ca5f2b6 },
    { 0xc40d56452b59c640, 0xe3501d116ae74916, 0x5acd8b4a64b679a2, 0x32e8823696c82086 },
    { 0x7ef262ffa8f8c918, 0x8d28fb6cae51baff, 0x720543223d96f0ac, 0x07aa611dcedcb15b },
    { 0x5b36bed952623e8b, 0x15b19c81ab2696c5, 0x06551ddbbdaeb8d0, 0x0ae89e2178411af2 },
    { 0xcd4b696e7ea423f1, 0x4c72266b93838c16, 0x34c543b8647ce9de, 0x0c721336b5ca226c },
    { 0xba7f245503b95a8d, 0xd34c06153eb88810, 0xbf948a2120473a20, 0x63c21b18f176a5e0 },
    { 0xac159e2688bd4333, 0x3bfef0f00df2ec88, 0x561dcd0fd4d314d9, 0x533bd8c1e977024e },
    { 0x626cf66312dc75d4, 0xc0323eed0b7541f7, 0x2cff5e64aca06bfd, 0x0521f0cfc53f02ad },
    { 0xd922fa1a3b513f68, 0xa4170673bd1b99a3, 0x054ba2513a8f6466, 0x36294ce5aa3941ee },
    { 0x6d7e35ad7dffbdb8, 0x92aacd273b23eb13, 0x3b841c065526cbf8, 0x219e386c09e2fd3d },
    { 0x3f0ffba2ea149337, 0x15fb82877b46d20d, 0x398677e14a8cb7e7, 0x581583626bca158c },
    { 0x466b081672596f68, 0x46a918bc0373c6c8, 0x3247210a1e7da36c, 0x1f43e2053bec9fec },
    { 0x5b585be1aadcb79d, 0x7545442a4caa31c6, 0xebafe0c16826da69, 0x4fce7c4e35f66b90 },
    { 0x4ec74d66ce5ce51d, 0x55a5a037f3190196, 0xf74564930e6096c0, 0x6852d1a16317e2ee },
    { 0x26be16cb704b990a, 0x308f60f019fd4009, 0xc6e50c813baa9974, 0x2f00a2325ba21faa },
    { 0xeaa83d0bb9842e37, 0xbd69193792854e59, 0xbec7f66e6610a74b, 0x6d3455f8128b96e1 },
    { 0xee3b38a3813633f1, 0x96ce26afb69019f7, 0x4021f50f21b39e1d, 0x6743acd720403488 },
    { 0xd70edde47d675fa1, 0x9ed7699069b48f58, 0xaddfcf3650346bbe, 0x617ac4567150a5be },
    { 0x35825224af0aaa1d, 0xa379114c0bc2a6e0, 0x7c95a954c7a25068, 0x13c81712a762f460 },
    { 0x2c78c12b5913ffa2, 0xaf9d3446b5219ed9, 0x3f01ab9eac85850b, 0x49e602082ceecbc0 },
    { 0x7a79183fcde843c9, 0x7d5d62341f399e52, 0x84061f9f18bf5ab6, 0x697431feceffb218 },
    { 0x9830635b160a4e50, 0x80863f5f009ecad0, 0xb6794f0e98b62bca, 0x14cce86e2ca5471e },
    { 0x82e68bc0bc50a88f, 0x62a6d195014b6410, 0x468b04010fa5c79f, 0x56f35bb8ed54ae00 },
    { 0x25093e32d48647fc, 0x0b0c65a059be118a, 0x24e66bbc118025ac, 0x456089a064a13d05 },
    { 0x1c2a241e2d08c1c0, 0xef777b4d984f404a, 0x751b65160340510a, 0x0522f0091746f546 },
    { 0xcdcd38d6f117f52f, 0x37471747bfef212b, 0xb6548e4a26c46cf6, 0x260e873a1f951adf },
    { 0xc15168ac46d068db, 0xa45d206f9aa2eecc, 0x6f0af7c7244a3da1, 0x5e3f8d3bec0cc346 },
    { 0xfd1d06b2287e2963, 0x1d10182ef83597e2, 0x2bea3d671d909744, 0x5c2bbaf250f91eab },
    { 0xef678c866ccd32d7, 0x897d166d26d7d13f, 0x1810c6122bee51ba, 0x725d1642c7524b47 },
    { 0x32d4d0b2be200c36, 0x4b089f3a743c5027, 0xbc12df9658c7b4a7, 0x0a5e89a7a2513fdd },
    { 0x5ba6c1e4335d3495, 0x0cf9b80ec36bb2b5, 0x4f4bc1c2f8689736, 0x20261c76ad9e668d },
    { 0x83a202b9605bdc7f, 0x0a2b4bfeb55dfba6, 0x3d24b851b6e0e294, 0x5b37cd834da0dfe1 },
    { 0x7d6dcabcb43adfeb, 0x98f14a39fc751f56, 0x98af3a8f44a30552, 0x26b8a40efa6dcac0 },
    { 0xd7a9ede4acccf961, 0xa826621eaacc2ecd, 0x805c3d7296833b35, 0x1689d336fe1aa081 },
    { 0xcdd815ee4d942bee, 0xe18a65bc0f8e4d1e, 0x0d10f88231dde2f6, 0x3336a05ea5c70ef5 },
    { 0x5f15555ba7c59481, 0x427b55024e5ba8cf, 0x2edb5dd3926d465f, 0x408b15b1a1011296 },
    { 0xc0ef0c55544da820, 0xa2a2163218d48aa1, 0x4c72f50d0dde0ecf, 0x3cd5239cd9c777f7 },
    { 0x5e501a6aa6138595, 0xea1102eb66f6fce5, 0x36060cc57d5ad557, 0x6d3d8e2034154565 },
    { 0x9fc8017d5166afd3, 0xc54913cc6b4e0c26, 0x787d7d083f1b189f, 0x60b9f524ccbc6d03 },
    { 0xb579a40cf2801b02, 0xd8ebfd640c6d99e1, 0x74ce062206a898e6, 0x698d2aab2ab68646 },
    { 0x520c8c4d748fb509, 0x8b7570b00fca5c9a, 0x4b35861cb1da153a, 0x3d0655665267f097 },
    { 0xe0fda947724a81e9, 0xebbc8a5b856414d3, 0x0b9943d2d6d61529, 0x2ca0b0c5760e32cd },
    { 0x12605a3ecd13f5de, 0xd540042d8d8ef0be, 0x8ee8aa1b9e97d4cd, 0x14be0024e28a13e1 },
    { 0x7b51fa789fe811c1, 0xc02d67a18dc83827, 0xdf3b80de686838f4, 0x420a6d59e26f95d8 },
    { 0x101710f74afb7107, 0x650dca122075b980, 0xf1d522fdb2753b9f, 0x6916332fb92a0335 },
    { 0xbad332c47b502202, 0x9ede4e04f17d1bbe, 0xb3aff7b76fe8a396, 0x2429e6965a8b5056 },
    { 0xc0f1357a508e5e7b, 0x911f590ef73ba2bd, 0xaf59d0fc7261da72, 0x58c400aba73798bf },
    { 0x34d926b66d9a40d9, 0xd88feed2f822e3f6, 0x0b4704bcfac11d52, 0x12ea7051d2cfcef6 },
    { 0xe9b77e2a455758d3, 0x25acb6a751c4cf62, 0x54f132dd768cbcd0, 0x2fbb702adadc3bea },
    { 0x45a8d91e955983d1, 0xd4f39aabdcbb7d07, 0xe05891c9ff9c3987, 0x075ded933c287503 },
    { 0x9cc2c16c38357332, 0xd74c9bd5d6faba52, 0xf21979ec507b8b9a, 0x374e4d8c8ac99dae },
    { 0x2393abcd485fee6d, 0x4ed19bc8cbd2faac, 0x91f84ff7a4d48332, 0x493e63042b0b017f },
    { 0x0f15758baad3fcf4, 0xb06cbfc87f549eb2, 0x782fd931be0cba8a, 0x18e17eef82a73dc4 },
    { 0x7d8a7a6c8da4a98a, 0x121959d9d4d000d5, 0x43c94f59a6eb37f3, 0x278e695f56d8f6c5 },
    { 0xc9f39f658c9620b3, 0x944f1b07b3c56074, 0x7e7d03f9e6ac83bc, 0x230d17191423f48d },
    { 0x05e2e6cb0db28404, 0x557f4e7f70ec86ac, 0xe07032ac4dd9f486, 0x222d71b2bcbcebb0 },
    { 0xbf7579b9d2eebd4d, 0x4d693fdc8713f747, 0x963edac49c2696da, 0x178b92aeafc59bc1 },
    { 0xd098777bae4c5131, 0x401d8a62b9c4f076, 0x87b5b1048c572910, 0x730e62c281967ad8 },
    { 0x18d303a266992f63, 0xf495392351a789a3, 0x25302664820cb7fb, 0x058e6bb22f520df2 },
    { 0x8aab34fd0a699f92, 0x0b5b986955de3d63, 0xbb3dd6f817e65025, 0x730f5244f60d187b },
    { 0x16a0c798f162eacb, 0x788db8d2298d3f8e, 0xc48ba1f92b1fec5c, 0x6bbacf811bf1365a },
    { 0x46add4de51661716, 0x320e8aaa2c0adab6, 0xd332c8edcb31b9c5, 0x6f8c17a81ec992db },
    { 0x73ea3fa3e6fe310f, 0x4eb73f5d99585805, 0x412d801131c542d2, 0x68f0ba2461933c32 },
    { 0xb5cc4b34b05aff2c, 0xdbeecf7cd0cd4949, 0x668000c77dfd2ab5, 0x2d17c104bb6ae704 },
    { 0x08993b54226b7f93, 0x30dcd43dec9acd71, 0xfa481d537345cf65, 0x42083f58561023a7 },
    { 0xe304a47cfe2c39f0, 0xe2b0a7d87187c5c0, 0x293082360528eebe, 0x3b4acba79e856c22 },
    { 0x9b173ba8dd620212, 0xe1ffe63827d53336, 0x2b52573b968efab1, 0x0c3fd4bf2035cba6 },
    { 0xb16c92903c30681c, 0x44df8723cf6834a9, 0x4a7055b0fa4b32af, 0x2a337af602a41b0e },
    { 0x8bd63e0485773dba, 0x83be0261fa1ef074, 0xed257db1ed5ff5da, 0x6cebc5875ac931fb },
    { 0x94e53fb564bdd489, 0xb0f3bdbc0f422b0a, 0x943f2b9abaa7250d, 0x5c6170ead42b9162 },
    { 0x807b811a823f728d, 0x967a6b6cfb0faca4, 0x5ccd4631f16edba4, 0x1edc919ec91f38ac },
    { 0xf7a3f674f9b19bf4, 0x631c5b62960ddd7b, 0x400753b97514ed76, 0x1a308a0fee2cab3a },
    { 0xfdde6c4bcc3c47ac, 0xe52fb0fde29479de, 0x051f83121c342bf6, 0x3d6a7ee321cfb3ba },
    { 0x0c0871ffc19b100f, 0x2aa959dcb76fe539, 0x894506e8611524fe, 0x2f73ce8ba2c48aa4 },
    { 0x241de8ab6c75208d, 0x87c0551ac0e33765, 0x5eec2340271598ef, 0x59449d9a30240186 },
    { 0xe0a8ac1b333b6dd3, 0x138cca56e78e96b9, 0xe8378be639ffa7e0, 0x323f735d04dc0040 },
    { 0x85caa34fd9b2b6ce, 0xe540e7eb01aad13b, 0x337b8c94b4e3a208, 0x7275b1d9346b1f74 },
    { 0x12e39b8b4c1ce30a, 0xacd388dec8bdb5c9, 0x2f946b3f886734d3, 0x512a38f4465cd083 },
    { 0x7ebf2fcc0f5611ae, 0x262724b71d050aa9, 0x1e97f596a4c8da48, 0x2e3e440d3d981efb },
    { 0x2b436d7a469e3045, 0x7a6d63f8b2850344, 0x0c095cf1e3315298, 0x4c75d3a13151f5da },
    { 0xcca54ea0331495d4, 0x05b1ae62415a9910, 0xb40ec2b38999673e, 0x163daecf5af2f4ab },
    { 0x2f3ec47bd8b0ba51, 0xf4de1994dace1ccf, 0x21c1bcc99837c8b4, 0x480fec2473e12abc },
    { 0xe9dc91a650a90e49, 0x5cae4a21d39a23be, 0xf2f3e98766f8c918, 0x16c359d76ca02af7 },
    { 0xdf259f8f0b5c45d6, 0x29749ce3d6806cc2, 0x67409b01de51fdb5, 0x012e9de85005026e },
    { 0xad5b3bb2b65b60e3, 0x1140515e8a158ded, 0x18fae2b2b0ec6a98, 0x05ff8b7ffb85398c },
    { 0x187a081bc020c9e9, 0x88b1cebef9a7dbaf, 0x2eb22d78a01a1491, 0x48c649dce1168ed7 },
    { 0x11a43132b1888c36, 0x0e6466930923ab78, 0x8f907adac98af548, 0x6f70f5e67a06fbd8 },
    { 0x92b4c291774613b8, 0xe87ab3a7d22d6c55, 0xa9326e0004f6e7c7, 0x196f79855eaa576c },
    { 0x3e16064aa9a77770, 0xe401cd8bef1b2260, 0x7fb60b67a741a4ee, 0x6635214dfb1c37d9 },
    { 0xbd7360167f49690f, 0x55ed617941b103b9, 0x1486518d8c5f9689, 0x40b5b7898c657ed6 },
    { 0xaecf3d3d99feda43, 0xbaecd9567808eac2, 0x7b734cba89c47734, 0x0b55963f1644f605 },
    { 0x2ee4c0317b41459b, 0xbab9bbd9b0a3590b, 0xb5c82a603c67a3a3, 0x16fd8c1a3548e372 },
    { 0x85fcf33c21a24ad6, 0x9d80256afc11e71d, 0x4dc142b14aa24926, 0x56dacb61c12c11e7 },
    { 0x70217c6264ef06a7, 0xf3b3f165d5541509, 0xa1d384187ac0cbd3, 0x68a5b2d1c312e47b },
    { 0x476e05bf67d4973c, 0xaf9f1f01e2bbf0ac, 0xdcd9ce528178852e, 0x5a50cc64ae610371 },
    { 0xf65070e6d99ba93c, 0x73680114a074f1ba, 0xdc895e94a770ff33, 0x2096fb30ee127ca0 },
    { 0xb6ca42cf7e8096b6, 0x49b53e5a66157cff, 0xc80356e65d94e358, 0x245266ba46b38c19 },
    { 0x3df47cf236da17e9, 0xe92d7dae9287cd04, 0xc579b994cbef0c2c, 0x1306f534d4599079 },
    { 0xa8e45d0230d79fe6, 0x3d4dee80538980ec, 0xe1f7cc23d4a0a0fa, 0x5a56acc5d6a40c8d },
    { 0xbabe46ffd11fbcb3, 0x7d268d78c59e5b00, 0xf93aebe3fc216f65, 0x6a9c4100d476d6f3 },
    { 0x16a9e3e795d08887, 0x9380f5ffdc6ac2e3, 0xa189d7e4af45dab5, 0x0688ba2e026f2459 },
    { 0x04caf2400fd5ee93, 0x376c95434baa21c0, 0x3cc485d9d1f4893b, 0x5ae601e4a8a5521a },
    { 0xffffffff00000000, 0x53bda402fffe5bfe, 0x3339d80809a1d805, 0x73eda753299d7d48 },
    { 0xcc7ee15d01f39a0d, 0x3dfbf6b6977f335c, 0x463dea24c6c2f011, 0x583940eb8f3ff496 },
    { 0xd3545212d01cdd49, 0xde911f0feabd369e, 0x0092a559ef66cd15, 0x4557ccf9865fb156 },
    { 0xe99ab4b0ce6c0c7c, 0xd5ea563e74aa3185, 0xab1c2cbe2844a0dd, 0x098bcb7ba7a1102b },
    { 0x48af25b254d71df9, 0x039fa49ec41505c9, 0xa67bb3d018ed258f, 0x6c1cdf508052e8d9 },
    { 0x716d5f7d8adc97ea, 0x2593bae27d7c8966, 0x7bc9bc70a777b79a, 0x64741b0361161a43 },
    { 0x82fe7994226a7881, 0x7442551c91b1af33, 0xcb52d65ec3b820f1, 0x5b3330fb21510ba3 },
    { 0x6f9d0064fac7137d, 0xb3627ca6b51d001a, 0xefdb2f0828054b7f, 0x6f56ba9652521c23 },
    { 0x2d03a19553a24b82, 0xb293335cea2da31a, 0x09febaa04d13f22b, 0x65a566a6d1a50dea },
    { 0x522303685af9251f, 0xcc4a3619fc303084, 0x841ec896cf8d6b71, 0x3f80ec39741c1ee0 },
    { 0xecbf5d6f01ea2fe8, 0x2772c833e4cf3499, 0x69ac30e42135fbc4, 0x485adb96249a23e9 },
    { 0x9b6c9285b13538ad, 0x086f2857c36a7e1d, 0x9b5745a08aa3699d, 0x5ac018566cfd81a4 },
    { 0x9df832cfdf2062ef, 0x533c9d94a870e33f, 0xc0dcf3788fe23b2f, 0x1325b766f5943ead },
    { 0x1cfd232fb7ac2d01, 0xa34148b024d3ffa6, 0x1ac42c62e56cb955, 0x58ad8edaee2eeaed },
    { 0x72032b6dd9980aa2, 0x6bbba87982f8a3ab, 0x2297d49fc28271cf, 0x0f0a7eba81db23a0 },
    { 0x0612b0fb6cc1107c, 0x22d2201ed10a653f, 0x896fb6a2fbba8ee9, 0x6c1bcba74f737371 },
    { 0x68cc0c58459f155b, 0x963dc46688b5e117, 0x5aea51f540eb0c04, 0x2c7e0457c83a7d9c },
    { 0x2f4286ba7a4e32a8, 0x75a058e2c2a8dc2b, 0xc82a05812d8bb32c, 0x595fa84ec3c5e8ea },
    { 0x0c06f42c4fa19fd3, 0x10c93f37bda7b84b, 0x635dba604a48d7ba, 0x3d0bbb72051a32b8 },
    { 0x077d390dd7d05b42, 0x5eb169206b7f3154, 0xe5084aaf8797a96f, 0x41970a68359a3f51 },
    { 0xbfff4f4b898366d9, 0x3a0cc5569e6281d1, 0xa7a111083c39ad63, 0x3e279c52d10eaa78 },
    { 0xbf1b369c0a8445b6, 0xafef0eef02e9618b, 0xd74a7534d0a5cfbc, 0x6be4330063d404e1 },
    { 0x7ee857bf1f253512, 0xf6a33e0d6b4dc2d8, 0x20c8b3bf4746e7ab, 0x48778b55856bf493 },
    { 0x0bdbcbe1522354a4, 0xab515de81a8f54d1, 0xe134e3c781697faf, 0x294c99bc6abc5e8c },
    { 0x72d73ebbe97445d5, 0x7836750f231bcd86, 0xe4b5243a8bda7ca3, 0x0fe09ddec7fa8e98 },
    { 0x0593110cdd147867, 0x24ca9f6f63c7ee57, 0x9943b8c1f1c32bb1, 0x6d190c5a1acc4e03 },
    { 0x6678ce10f387bc87, 0x1b964479e66a29b2, 0xe14f851900aff799, 0x284a504e08859b66 },
    { 0xe9fd3487793e0a1e, 0xeb9d714edf2c5d73, 0xf776f0b322161a54, 0x0c02777daecfbc8b },
    { 0x1d3e494f87fd6d91, 0x2ae21a225b58e59f, 0xbdf7f8f0d267d1ae, 0x249a8bf565feb0f7 },
    { 0x8c8d1d91a8df6b62, 0xa922d0dee6c4fa9c, 0xd4ff231a7b85a381, 0x6f497aacf872a63a },
    { 0x0ff8423daf2fdb50, 0x946a4f579172314a, 0x524e3a763bb50b09, 0x54c0fcd83aa5a469 },
    { 0xa271966e405dcffd, 0x88a1f0d04b158d7a, 0x5e3ddfac65da256f, 0x378feac8ef44b61d },
    { 0x6a20b4c8fbee018e, 0x34c8bd90143c7a43, 0xc4a72e43a8f20dbb, 0x24c14de4b45f2d7b },
    { 0xedd01d1e9965d339, 0x236d33f723b2c096, 0xb903259bd01c07a2, 0x7091e5c62447e6c5 },
    { 0x090bcdd715521bb1, 0xf2730e303c173e1c, 0xfaaf9f04b421b462, 0x46aa7940ac524648 },
    { 0x30b5dbc87cc84197, 0x97e01bf0fda622ef, 0xe66fd8bc18071b1f, 0x430beafa5e3ec783 },
    { 0xc009cf2b0763b3d5, 0x4af0a42ec0e52a48, 0x3897e487b9c66435, 0x54b572b23615cf70 },
    { 0xbde69ad1be866e28, 0x12dc15bbb51c14b8, 0xef56d22dab86198a, 0x57414d702f536f1a },
    { 0x0ffc32908c1049f0, 0xa8fdab76f48019b8, 0x2674c1244e803b82, 0x5f809775428ee41b },
    { 0xe41960cc8f7cf554, 0xeb5b9ca898999be0, 0xeebdfa4d46a48617, 0x1be610c103e349be },
    { 0x8469ef4d246b6883, 0xe4dc0ae311f00af4, 0x71d544f7800a7e4a, 0x5391ad6a79b61c1a },
    { 0x4c72f9b057bbbeda, 0x02ba514cd0bf3bc0, 0x3102bf19312d4f8a, 0x18fead4f7c60faf3 },
    { 0xd165b2490ec7254e, 0xd9a0eb428f0d8dcc, 0x766f71f92679eccd, 0x09594dd24ebf1658 },
    { 0x2ae6e2c121bfc3c3, 0xe1c5922e39ae0bf9, 0x4af1a2d79a24d27a, 0x70009e36de006c05 },
    { 0x4f76a9059bae8f9f, 0x29f5448404284373, 0x29c34d9781b10bdf, 0x60977bd601e8bb0a },
    { 0x4287ce1144fcf019, 0x20b7b50e5693aeb6, 0xc5be3aa28cfc8101, 0x352c4f3eb4931089 },
    { 0xd78b1ef5748164e7, 0x8d38cc4f07468ceb, 0xb8a0671498f38739, 0x5e6856c04012bb93 },
    { 0x13c76b01443a1a6a, 0x494a14f4b69dcc7f, 0x4e16fbfa13619ed8, 0x455c3f2176d7176b },
    { 0x51cb57e0e3035d15, 0xe7452d43f6d5756f, 0x851425ea12dcacda, 0x1579b9c6e6797777 },
    { 0x9dc2b95bda888cc3, 0x0781b9b0030fff9b, 0x5f8efca0709e9fdc, 0x4f0a66c29c0c4d93 },
    { 0xc4d432320e1384eb, 0xe45e4d6e9cbd5e02, 0x78550062e390c312, 0x1e0b08d50d96eba4 },
    { 0x4582bcb64c16195c, 0x041bd60176f65369, 0x8382c4cf78190afc, 0x45c6f7a2a21cae9a },
    { 0x2ef7664cb2440ed4, 0x5d1e0777f7ef73e3, 0x01fe51c5b744878f, 0x510df5b7cb3dee5f },
    { 0x01583cca695cba0f, 0xc1b07fa0fdd65a6b, 0x31e2fa98dc4b1e43, 0x1a4aec810deb108a },
    { 0x72994949fe8dda46, 0x8803788dd25be1b0, 0x60f1e69f8f0320b0, 0x622c315227033bb1 },
    { 0xa0d046361160c87d, 0xf65f59426e561ac3, 0x4184a3278cbac76c, 0x1e28f67c9a365f92 },
    { 0x0bb1eb8b66cd55ce, 0xf9d6586048a1b787, 0xd9620388e8f73902, 0x3c1a56c914ef83ee },
    { 0xebf8ff080a52e66f, 0xb695ffdf3831c932, 0xae7ba896e4494d8b, 0x364c9145a9d644cc },
    { 0xadc24eba36b7578e, 0x7439e2b6fbd943d0, 0x072570e877993c3d, 0x5a0629432977ae6a },
    { 0x07da2d48f5cd0787, 0x9a201a5821e639da, 0x53122fd2b0ffde04, 0x55f95c66a3e483f1 },
    { 0x6e175e44c490cbc0, 0x9556ab6223eff040, 0x5187145dfaed8205, 0x59dc7a32e902f9e8 },
    { 0x9b2ee1a0bf112931, 0xd66c91b560c5b82c, 0x0eace99e48f3d3ca, 0x243adc55e43f779e },
    { 0x898a4a40149eac37, 0x1cf812a0fada0ad9, 0x49212bd8afe3031a, 0x2fe82f025b748d09 },
    { 0x9dac7b409d585d19, 0x5d7dea6029017fdc, 0x06dbeaab1ad52557, 0x634fc0e6aaf7c2d9 },
    { 0x7228fd3397743f7a, 0xb38b21c28713b700, 0x8c0625cd70d77ce2, 0x345766f603fa66e7 },
    { 0x6810b3b69d253b76, 0x285afb20b758d4c5, 0xbdcc28003263f82d, 0x736a48761d47bb2d },
    { 0x9ca730e689c0bf9e, 0x7a330977b7a8bfe9, 0xf5109fa0d7553d93, 0x00aa7d2fce8520d1 },
    { 0x76fd4001b4f824c8, 0xb3f7ba1663b31d03, 0x4485c4aa168e870a, 0x6fbe46853ef9fa57 },
    { 0x5b0e07816f77b3a7, 0xd482d714b1cb5d44, 0x8aeed579d92544a1, 0x519947e7840143b3 },
    { 0xf52172b7909c822f, 0x6398ce89ad3c4462, 0x3bab579958add5d5, 0x02380f6f20aebd43 },
    { 0xe6b19f0b5eadf9cb, 0xd7da7cb26fe41c7f, 0x8ea3e9254dbb27ea, 0x1c021c67b10780e1 },
    { 0x4f5bf1a980b4b953, 0x6f2d7ed96060d206, 0x2b58548adad88628, 0x67deef839c67e73b },
    { 0xddc3b03ea91bc267, 0xb802e4e461e72e18, 0x878d670fcb570ab3, 0x6358785206b5761a },
    { 0x536a984065c92adf, 0xf9e5fdb63351c0ec, 0x438d2dbf46dd5590, 0x0898e30b5b7bc5bd },
    { 0x8acad28c5f36ac67, 0xb33dd930616645bb, 0x3645eba92f93fcb1, 0x314ac138ef72e20e },
    { 0xe1d977e545af710b, 0x7d04d8e25880e9ce, 0xc973f8fca82606c2, 0x527d5fb6453833c4 },
    { 0xd5f57c79b59b2332, 0x45fb135ff413a356, 0x9c7943d6a33bc393, 0x61f273726e940997 },
    { 0x86642e87c3c5520f, 0xdbfe867dc61896f3, 0x072d1252b0ee8768, 0x2e8ed064608e5f2f },
    { 0x1622dd5a6889a8e8, 0x9104a2294bb26530, 0xa51bfee012ab18ba, 0x362f0e0589dd793a },
    { 0x8e69d125b2613b98, 0x91a08916e4882ed3, 0xc587252e3f738f02, 0x154d2412402056b9 },
    { 0xc13af36ece5c935e, 0x2d0124a02ec3ede2, 0x2d34ccafd6d0ce6e, 0x0df6e1cface780a6 },
    { 0xd2f0f5e5e994ff3a, 0x9631d6a3b689584d, 0x6dee792e47fe9ebe, 0x326898eed454988b },
    { 0xb46b6df596ba6ecf, 0x1c54e5045f96bdb5, 0x15e83527ce053b13, 0x55e9d3064ba6d186 },
    { 0x1836ad1a4285082d, 0x3e05c9aa3ad94142, 0x0baf4bd9cc81ff24, 0x156864bedefa515a },
    { 0x4eb4bb5cc301906f, 0x0447df05ce549e03, 0x597e225a1da4156c, 0x7144ace8a4aeb40b },
    { 0x39a8f2d056a4027d, 0x76712f65dddcac53, 0x99713674356834f4, 0x59ac8447f4db2f25 },
    { 0xdbbc76a74c1da9e8, 0xa1af7f13d0a74f74, 0x3b174240d6d0c662, 0x598798fa4cbff060 },
    { 0x552407971d6a01b3, 0x7c966df282c99da1, 0x1f72eaf592b1a5e3, 0x1064c4a1e86297dd },
    { 0x29b4cb21179cfb0e, 0x6a7493f160ce4cb7, 0x7f799cf20f675fde, 0x036b79931cfdd894 },
    { 0xc32c2d1d3fc57bb5, 0x6215b63f114c71ef, 0x039beacf8acebb10, 0x6195e009cb95e995 },
    { 0xc3e268216bdc4a30, 0x0ab309ae850664de, 0xc53c32396daedbf9, 0x0c116d8cebced82b },
    { 0x743e6cd3f2d8b5e4, 0xcb62629752f7b4ac, 0xc24956b7927d30ea, 0x1874b727404262a9 },
    { 0xbba97efd27ba08e2, 0xb67294c2bb71bbb2, 0xc4ae3115d25772a7, 0x20d5925014876109 },
    { 0x6cd888c85ca05ae9, 0xada005008f5fa2fe, 0x91ecc533285f28b4, 0x1b61eeb1a28cdf1a },
    { 0xb3e6eed5afa1109b, 0x613ec884963a020a, 0x7f5870bc08c40816, 0x5db4ced439e3c789 },
    { 0x69c563a89174294c, 0xf47715244985e129, 0x0cc5580a897bad41, 0x35f0146a268b13c2 },
    { 0xa1abb31fb37786b9, 0x57bc96af334c36bc, 0xcabf643eda8951f2, 0x38c7f2dd7e0c63fc },
    { 0x416d25664132e681, 0xa8f5f8fb1cfd35bf, 0x5d468a777ba29478, 0x63a1acd15cff4a08 },
    { 0xd103024fb1d9a54a, 0x890dd8d1bcb91626, 0x98e526154ae4ed79, 0x443af2c9a0e3a199 },
    { 0xe15b2a94a295c9ad, 0xd173882ea6ce7aa9, 0x6d15603c30cffb92, 0x3d747fb3c3230d55 },
    { 0x095e328eda2f8e5c, 0xa9ffeee172f8ac74, 0x0468b4bb2b446edd, 0x29048571ac60a4ce },
    { 0xdce70e087bbfc955, 0x556fbe9550966cee, 0xd2f740262a46581b, 0x0356a59c190e10e0 },
    { 0xc1f99b485bb67d21, 0xef679941d7e3344a, 0x6067482e2d9445f9, 0x5aefd9e4727786c3 },
    { 0xf9b5ad7e3464f5a5, 0x51339834601eaf9d, 0x056f4fd9e2e51744, 0x510f51053381165e },
    { 0x6220b9443bf5371d, 0x47cb9993a1e75275, 0xa1cac574d6e7aa09, 0x4b0277449923ce3c },
    { 0x7846d9e1c754b5dc, 0x8b62f6b763e08ab3, 0x08078f5f1149b3a0, 0x327c4af774526aa0 },
    { 0xfba96832adfa9266, 0x8b576cd5a085170d, 0x59b31745ff67db9e, 0x4e340f08c01d85df },
    { 0xa268f1f3f9991f29, 0x48eb78f9f7d520bb, 0x7eec9c9f7a1d45bf, 0x18eaa0cff984144a },
    { 0xa565af7a806913be, 0x41c708b8b84ee699, 0x8d16baf2bdd5e946, 0x2db7169d8ee08732 },
    { 0x578545b4e64baae6, 0xdbd0cb7ff2325177, 0x0a288c1ac768fd31, 0x344b86f9eb22d572 },
    { 0x38159f7147329ad5, 0x136eaf3c40be7b38, 0x3e013c718435ef54, 0x55f82aac2d0686c8 },
    { 0x072fff623d593acc, 0x7e786c05f26d2d14, 0xd5ad1e34af8ba829, 0x4b0f4567920d7fbd },
    { 0xe69679532ae1234c, 0xe3317ae6451bb89d, 0x86fa69d8e4e48506, 0x0461237e58fcced4 },
    { 0x6838fa701f0cdbfe, 0xf3961fc06f917f45, 0xa6b777d6a373de1d, 0x077391826d1ea37c },
    { 0x754ceec2fde25881, 0xf1ab3ea313c630b6, 0x1b2b2fbdb88c0832, 0x204329cbca5aa423 },
    { 0x3c520c2b1a297a42, 0x3fc01d3617a56336, 0xa5455416cfcec9c9, 0x57d11b34b95dfdc7 },
    { 0x5f6d85cc838aefbe, 0x9b8d00b4a1b1e1cd, 0xf1f9df7fc191d3ac, 0x431b0f15498c6f24 },
    { 0x35d1ae71abd0a54d, 0x1bc58a0b042cd4dc, 0xd6be007959cfa1c6, 0x179372419d80770c },
    { 0xd2878366fcec15ba, 0xbdca8e5c4d2dc5ff, 0xbdb6bf288d790d89, 0x5d19702dd52769ae },
    { 0x7ce50ec0e597b1be, 0xb9305485b09dd0d7, 0x188f4c46937150a9, 0x4d83bc95e93142ab },
    { 0x78f4ee1de45ab2f2, 0xd21ae51df978cc38, 0x76407b9926e20836, 0x6e5703824bef73c9 },
    { 0x49ad9eda3ab2596b, 0x571169992c0dfff8, 0xfec2c1e6f6956739, 0x6c32ed13f5196ada },
    { 0x9d47ae1b2d5cb20c, 0xef6d471fd7d619f9, 0xd2ed0c39d81ba4ed, 0x0db09cb1d4e5cd90 },
    { 0xcf2c53214fca9316, 0xdacbb1bd356f80cd, 0x6fa873d6002f921f, 0x3495e397c114f8f3 },
    { 0x440dab45cd1fac5b, 0xe19486bb67912a2b, 0x75583bdb136e9f86, 0x1a9d03d7743e9a06 },
    { 0xd5a18486a7be5e27, 0x691d256641a44b4f, 0x9db00efaaefd61d0, 0x0d5ff0d85715c238 },
    { 0xf1af8f454525fd66, 0x6178af6ba70b7705, 0x7d71287412503548, 0x4c33b1110b25238c },
    { 0x85336974811c697a, 0x286d85a7faf7c628, 0xa6266415c4d6ced2, 0x3b35bda65519ec38 },
    { 0xfffeffff00000001, 0x67baa40089fb5bfe, 0xa5e80b39939ed334, 0x73eda753299d7d47 },
    { 0x1f8dc38c14a70a7d, 0x5aa998918baa4ee0, 0x431b68c23ab353eb, 0x529a9a0c8d46e5c1 },
    { 0x148277eef8c0a297, 0xd93d29335383e69a, 0x1bd07fc9fc34abea, 0x328f64192e295d85 },
    { 0x5796130c33f27af7, 0xe9a8119ed34f6819, 0xc4a4a9bfd42acfd1, 0x3288cfc06aac46ba },
    { 0xbddd6dacba0b1d06, 0x330af27f081250e5, 0x29805a2b04c50efc, 0x5b759b0b4fa49715 },
    { 0xf214cc49a9ca287b, 0xeee0344c49d79b66, 0x7956c16f3a78ae28, 0x51ec7bd852e497f3 },
    { 0x93050b36e83ec01b, 0x22df56fce8bd22da, 0xdb43e6645492ac86, 0x7328993461faf18f },
    { 0x5f66134727f54889, 0x6e57c9facced7b91, 0x3cf6cd1d9efc7c14, 0x6c0ec12d8a6f8213 },
    { 0xcf065a270f3c324f, 0xe412abf7f3a89e7a, 0xf6ad66524f0376d9, 0x54fa64fb4536c4fc },
    { 0x1dad095b97e1f99c, 0x58d479a309a7768d, 0xb1261c30d1e2c9a2, 0x0c365f2b8f504ab5 },
    { 0x2fef56114b49c75d, 0xb6f67b913ee947b9, 0x6e492ff0b0d05658, 0x02b315ee4db709aa },
    { 0x41fed1c1f077470a, 0xe65fe456e0de7745, 0x3c011284ce2c0a5a, 0x58eaef9cfd0d5b9c },
    { 0x2433b50af8bb7619, 0x6d7d0aaebb6e8b5c, 0x2c164da00c6f5f07, 0x581ec2eca698be86 },
    { 0xb6e7d38c824464d3, 0x238bf3cd9093c0a2, 0x82782d7daff31189, 0x223a5f24ab69299e },
    { 0xa22cb0c0043581b8, 0xc08111d9b58068ed, 0xeea87dbd8b3e7293, 0x41185f69535823b4 },
    { 0xe7b70dbad015d339, 0x0a7fe3b9ce8d4477, 0x5135022b211d95bd, 0x473d391ed371c0f5 },
    { 0x20d4ed194fccfeb9, 0x01e9436124018997, 0xa8f0cfd2438f018c, 0x5303da18a9d30564 },
    { 0x3b9f40dc39226ef2, 0x244ad0183cb4d23e, 0xc7e207d405cec60f, 0x4c63bb8a5f91996c },
    { 0xe675fcb3e18fa3f3, 0x1746869d4d10052b, 0x52f66ec2c60b147c, 0x4e9195e215d7a7a4 },
    { 0xf2be473f9f510696, 0x7c3c05a40dd7360a, 0x7c96515b1b38427a, 0x4f0285d44e308ee9 },
    { 0x7528d588439e5b12, 0xbf136819ab9c98a2, 0xae3320a20450eb9b, 0x1a8f3ae1cc22ee66 },
    { 0xe67a1afdf2e1d708, 0xfa3db510e55d16a3, 0xe91596d67292f596, 0x16f9af7b83040141 },
    { 0x25c83bb50749f0af, 0x181764ae9a77652c, 0x03f012dba811a168, 0x5e0b7bc7ac9a8779 },
    { 0x7055b514a4510f6a, 0x555f34977fa34133, 0x42076ef74d0b719d, 0x5dd7373ad66cee98 },
    { 0xf8d84c914e68b10d, 0x04db96c6037b2ae2, 0x4b6f2c61beab61e4, 0x4b26d155db6e7882 },
    { 0x460e884790b8c345, 0x8ba3138bbc3a874b, 0x457a1f0b6f25f22f, 0x49a98a70e4c6426c },
    { 0x5718b817f3ccad48, 0x358469e061a1c690, 0x2bf7a6f6d02f0612, 0x533597adfcf78a92 },
    { 0x3bf2a9b9d4a639c1, 0x706d86f1951712e8, 0xd86c4cbda4eb5e62, 0x4105251c92d55cc1 },
    { 0x810d9cff570736e9, 0xc694a89651aca0ff, 0xc13494e5cc0ae758, 0x6c4346355ac0cbec },
    { 0xa4c94125ad9dc176, 0x3e0c078154d7c539, 0x2ce4ba2c4bf31f35, 0x69050931b15c6256 },
    { 0x32b49690815bdc10, 0x074b7d976c7acfe8, 0xfe74944fa524ee27, 0x677b941c73d35adb },
    { 0x4580dba9fc46a574, 0x80719dedc145d3ee, 0x73a54de6e95a9de4, 0x102b8c3a3826d767 },
    { 0x53ea61d87742bcce, 0x17beb312f20b6f76, 0xdd1c0af834cec32c, 0x20b1ce9140267af9 },
    { 0x9d93099bed238a2d, 0x938b6515f4891a07, 0x063a79a35d016c07, 0x6ecbb683645e7a9b },
    { 0x26dd05e4c4aec099, 0xafa69d8f42e2c25b, 0x2dee35b6cf12739e, 0x3dc45a6d7f643b5a },
    { 0x9281ca5182004249, 0xc112d6dbc4da70eb, 0xf7b5bc01b47b0c0c, 0x524f6ee71fba800a },
    { 0xc0f0045c15eb6cca, 0x3dc2217b84b789f1, 0xf9b36026bf15201e, 0x1bd823f0bdd367bb },
    { 0xb994f7e88da69099, 0x0d148b46fc8a9536, 0x00f2b6fdeb243499, 0x54a9c54dedb0dd5c },
    { 0xa4a7a41d55234864, 0xde785fd8b3542a38, 0x4789f746a17afd9b, 0x241f2b04f3a711b7 },
    { 0xb138b29831a31ae4, 0xfe1803cb0ce55a68, 0x3bf47374fb414144, 0x0b9ad5b1c6859a59 },
    { 0xd941e9338fb466f7, 0x232e4312e6011bf5, 0x6c54cb86cdf73e91, 0x44ed0520cdfb5d9d },
    { 0x1557c2f3467bd1ca, 0x96548acb6d790da5, 0x7471e199a39130b9, 0x06b9515b1711e666 },
    { 0x11c4c75b7ec9cc10, 0xbcef7d53496e4207, 0xf317e2f8e7ee39e7, 0x0ca9fa7c095d48bf },
    { 0x28f1221a8298a060, 0xb4e63a729649cca6, 0x855a08d1b96d6c46, 0x1272e2fcb84cd789 },
    { 0xca7dadda50f555e4, 0xb04492b6f43bb51e, 0xb6a42eb341ff879c, 0x60259040823a88e7 },
    { 0xd3873ed3a6ec005f, 0xa4206fbc4adcbd25, 0xf4382c695d1c52f9, 0x2a07a54afcaeb187 },
    { 0x8586e7bf3217bc38, 0xd66041cee0c4bdac, 0xaf33b868f0e27d4e, 0x0a7975545a9dcb2f },
    { 0x67cf9ca3e9f5b1b1, 0xd33764a3ff5f912e, 0x7cc088f970ebac3a, 0x5f20bee4fcf83629 },
    { 0x7d19743e43af5772, 0xf116d26dfeb2f7ee, 0xecaed406f9fc1065, 0x1cfa4b9a3c48cf47 },
    { 0xdaf6c1cc2b79b805, 0x48b13e62a6404a74, 0x0e536c4bf821b259, 0x2e8d1db2c4fc4043 },
    { 0xe3d5dbe0d2f73e41, 0x644628b567af1bb4, 0xbe1e72f2066186fa, 0x6ecab74a12568801 },
    { 0x3232c7280ee80ad2, 0x1c768cbb400f3ad3, 0x7ce549bde2dd6b0f, 0x4ddf20190a086268 },
    { 0x3eae9752b92f9726, 0xaf608393655b6d32, 0xc42ee040e5579a63, 0x15ae1a173d90ba01 },
    { 0x02e2f94cd781d69e, 0x36ad8bd407c8c41c, 0x074f9aa0ec1140c1, 0x17c1ec60d8a45e9d },
    { 0x109873789332cd2a, 0xca408d95d9268abf, 0x1b2911f5ddb3864a, 0x01909110624b3201 },
    { 0xcd2b2f4c41dff3cb, 0x08b504c88bc20bd7, 0x7726f871b0da235e, 0x698f1dab874c3d6a },
    { 0xa4593e1acca2cb6c, 0x46c3ebf43c92a949, 0xe3ee1645113940cf, 0x53c78adc7bff16ba },
    { 0x7c5dfd459fa42382, 0x499258044aa06058, 0xf6151fb652c0f571, 0x18b5d9cfdbfc9d66 },
    { 0x829235424bc52016, 0xbacc59c903893ca8, 0x9a8a9d78c4fed2b2, 0x4d3503442f2fb287 },
    { 0x2856121a533306a0, 0xab9741e455322d31, 0xb2dd9a95731e9ccf, 0x5d63d41c2b82dcc6 },
    { 0x3227ea10b26bd413, 0x72333e46f0700ee0, 0x2628df85d7c3f50e, 0x40b706f483d66e53 },
    { 0xa0eaaaa3583a6b80, 0x11424f00b1a2b32f, 0x045e7a34773491a6, 0x336291a1889c6ab2 },
    { 0x3f10f3a9abb257e1, 0xb11b8dd0e729d15d, 0xe6c6e2fafbc3c935, 0x371883b64fd60550 },
    { 0xa1afe59459ec7a6c, 0x69aca11799075f19, 0xfd33cb428c4702ad, 0x06b01932f58837e2 },
    { 0x6037fe81ae99502e, 0x8e74903694b04fd8, 0xbabc5affca86bf65, 0x1333b22e5ce11044 },
    { 0x4a865bf20d7fe4ff, 0x7ad1a69ef390c21d, 0xbe6bd1e602f93f1e, 0x0a607ca7fee6f701 },
    { 0xadf373b18b704af8, 0xc8483352f033ff64, 0xe80451eb57c7c2ca, 0x36e751ecd7358cb0 },
    { 0x1f0256b78db57e18, 0x680119a77a9a472b, 0x27a0943532cbc2db, 0x474cf68db38f4a7b },
    { 0xed9fa5c032ec0a23, 0x7e7d9fd5726f6b40, 0xa4512dec6b0a0337, 0x5f2fa72e47136966 },
    { 0x84ae05866017ee40, 0x93903c61723623d7, 0x53fe5729a1399f10, 0x31e339f9472de76f },
    { 0xefe8ef07b5048efa, 0xeeafd9f0df88a27e, 0x4164b50a572c9c65, 0x0ad7742370737a12 },
    { 0x452ccd3a84afddff, 0xb4df55fe0e814040, 0x7f89e05099b9346e, 0x4fc3c0bccf122cf1 },
    { 0x3f0eca84af71a186, 0xc29e4af408c2b941, 0x83e0070b973ffd92, 0x1b29a6a78265e488 },
    { 0xcb26d9489265bf28, 0x7b2db53007db7808, 0x27f2d34b0ee0bab2, 0x6103370156cdae52 },
    { 0x164881d4baa8a72e, 0x2e10ed5bae398c9c, 0xde48a52a93151b35, 0x443237284ec1415d },
    { 0xba5726e06aa67c30, 0x7eca09572342def7, 0x52e1463e0a059e7d, 0x6c8fb9bfed750844 },
    { 0x633d3e92c7ca8ccf, 0x7c71082d2903a1ac, 0x41205e1bb9264c6a, 0x3c9f59c69ed3df99 },
    { 0xdc6c5431b7a01194, 0x04ec083a342b6152, 0xa141881064cd54d3, 0x2aaf444efe927bc8 },
    { 0xf0ea8a73552c030d, 0xa350e43a80a9bd4c, 0xbb09fed64b951d7a, 0x5b0c2863a6f63f83 },
    { 0x82758592725b5677, 0x41a44a292b2e5b29, 0xef7088ae62b6a012, 0x4c5f3df3d2c48682 },
    { 0x360c60997369df4e, 0xbf6e88fb4c38fb8a, 0xb4bcd40e22f55448, 0x50e0903a157988ba },
    { 0xfa1d1933f24d7bfd, 0xfe3e55838f11d552, 0x52c9a55bbbc7e37e, 0x51c035a06ce09197 },
    { 0x408a86452d1142b4, 0x0654642678ea64b7, 0x9cfafd436d7b412b, 0x5c6214a479d7e186 },
    { 0x2f67888351b3aed0, 0x13a019a046396b88, 0xab8427037d4aaef5, 0x00df4490a807026f },
    { 0xe72cfc5c9966d09e, 0x5f286adfae56d25b, 0x0e09b1a387952009, 0x6e5f3ba0fa4b6f56 },
    { 0x7554cb01f596606f, 0x48620b99aa201e9b, 0x77fc010ff1bb87e0, 0x00de550e339064cc },
    { 0xe95f38660e9d1536, 0xdb2feb30d6711c70, 0x6eae360ede81eba8, 0x0832d7d20dac46ed },
    { 0xb9522b20ae99e8eb, 0x21af1958d3f38148, 0x60070f1a3e701e40, 0x04618fab0ad3ea6c },
    { 0x8c15c05b1901cef2, 0x050664a566a603f9, 0xf20c57f6d7dc9533, 0x0afced2ec80a4115 },
    { 0x4a33b4ca4fa500d5, 0x77ced4862f3112b5, 0xccb9d7408ba4ad4f, 0x46d5e64e6e329643 },
    { 0xf766c4aadd94806e, 0x22e0cfc513638e8d, 0x38f1bab4965c08a0, 0x31e567fad38d59a0 },
    { 0x1cfb5b8201d3c611, 0x710cfc2a8e76963e, 0x0a0955d20478e946, 0x38a2dbab8b181126 },
    { 0x64e8c456229dfdef, 0x71bdbdcad82928c8, 0x07e780cc7312dd53, 0x67add2940967b1a2 },
    { 0x4e936d6ec3cf97e5, 0x0ede1cdf30962755, 0xe8c982570f56a556, 0x49ba2c5d26f96239 },
    { 0x7429c1fa7a88c247, 0xcfffa1a105df6b8a, 0x46145a561c41e22a, 0x0701e1cbced44b4c },
    { 0x6b1ac0499b422b78, 0xa2c9e646f0bc30f4, 0x9efaac6d4efab2f7, 0x178c36685571ebe5 },
    { 0x7f847ee47dc08d74, 0xbd43389604eeaf5a, 0xd66c91d61832fc60, 0x551115b4607e449b },
    { 0x085c098a064e640d, 0xf0a148a069f07e83, 0xf332844e948cea8e, 0x59bd1d433b70d20d },
    { 0x022193b333c3b855, 0x6e8df3051d69e220, 0x2e1a54f5ed6dac0e, 0x3683287007cdc98e },
    { 0xf3f78dff3e64eff2, 0x29144a26488e76c5, 0xa9f4d11fa88cb307, 0x4479d8c786d8f2a3 },
    { 0xdbe21753938adf74, 0xcbfd4ee83f1b2499, 0xd44db4c7e28c3f15, 0x1aa909b8f9797bc1 },
    { 0x1f5753e3ccc4922e, 0x4030d9ac186fc545, 0x4b024c21cfa23025, 0x41ae33f624c17d07 },
    { 0x7a355caf264d4933, 0x6e7cbc17fe538ac3, 0xffbe4b7354be35fc, 0x0177f579f5325dd3 },
    { 0xed1c6473b3e31cf7, 0xa6ea1b243740a635, 0x03a56cc8813aa331, 0x22c36e5ee340acc5 },
    { 0x8140d032f0a9ee53, 0x2d967f4be2f95155, 0x14a1e27164d8fdbd, 0x45af6345ec055e4d },
    { 0xd4bc9284b961cfbc, 0xd950400a4d7958ba, 0x27307b162670856c, 0x2777d3b1f84b876e },
    { 0x335ab15ecceb6a2d, 0x4e0bf5a0bea3c2ee, 0x7f2b1554800870c7, 0x5daff883ceaa889c },
    { 0xd0c13b83274f45b0, 0x5edf8a6e25303f2f, 0x11781b3e716a0f50, 0x2bddbb2eb5bc528c },
    { 0x16236e58af56f1b8, 0xf70f59e12c643840, 0x4045ee80a2a90eec, 0x5d2a4d7bbcfd5250 },
    { 0x20da606ff4a3ba2b, 0x2a49071f297def3c, 0xcbf93d062b4fda50, 0x72bf096ad9987ad9 },
    { 0x52a4c44c49a49f1e, 0x427d52a475e8ce11, 0x1a3ef55558b56d6d, 0x6dee1bd32e1843bc },
    { 0xe785f7e33fdf3618, 0xcb0bd5440656804f, 0x0487aa8f6987c373, 0x2b275d764886ee71 },
    { 0xee5bcecc4e7773cb, 0x45593d6ff6dab086, 0xa3a95d2d4016e2bd, 0x047cb16caf96816f },
    { 0x6d4b3d6d88b9ec49, 0x6b42f05b2dd0efa9, 0x8a076a0804aaf03d, 0x5a7e2dcdcaf325db },
    { 0xc1e9f9b456588891, 0x6fbbd67710e3399e, 0xb383cca062603316, 0x0db886052e81456e },
    { 0x428c9fe880b696f2, 0xfdd04289be4d5845, 0x1eb3867a7d42417b, 0x3337efc99d37fe72 },
    { 0x5130c2c1660125be, 0x98d0caac87f5713c, 0xb7c68b4d7fdd60d0, 0x6898111413588742 },
    { 0xd11b3fcd84beba66, 0x9903e8294f5b02f3, 0x7d71ada7cd3a3461, 0x5cf01b38f45499d5 },
    { 0x7a030cc2de5db52b, 0xb63d7e9803ec74e1, 0xe5789556beff8ede, 0x1d12dbf168716b60 },
    { 0x8fde839c9b10f95a, 0x6009b29d2aaa46f5, 0x916653ef8ee10c31, 0x0b47f481668a98cc },
    { 0xb891fa3f982b68c5, 0xa41e85011d426b52, 0x566009b5882952d6, 0x199cdaee7b3c79d6 },
    { 0x09af8f18266456c5, 0xe055a2ee5f896a44, 0x56b079736230d8d1, 0x5356ac223b8b00a7 },
    { 0x4935bd2f817f694b, 0x0a0865a899e8deff, 0x6b368121ac0cf4ad, 0x4f9b4098e2e9f12e },
    { 0xc20b830cc925e818, 0x6a9026546d768efa, 0x6dc01e733db2cbd8, 0x60e6b21e5543ecce },
    { 0x571ba2fccf28601b, 0x166fb582ac74db12, 0x51420be43501370b, 0x1996fa8d52f970ba },
    { 0x4541b8ff2ee0434e, 0xd697168a3a6000fe, 0x39feec240d80689f, 0x095166525526a654 },
    { 0xe9561c176a2f777a, 0xc03cae032393991b, 0x91b000235a5bfd4f, 0x6d64ed25272e58ee },
    { 0xfb350dbef02a116e, 0x1c510ebfb4543a3e, 0xf675522e37ad4eca, 0x1907a56e80f82b2d },
    { 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000 }, // w**512
    { 0x007FFFFF00800001, 0x5113C530FE7E5CD1, 0x8F203B1C059D0719, 0x73B3B07F8008AE89 }, // 2**-9
    { 0xFFFFFF7F00000001, 0xEB47A282FEC35A7E, 0x32F32F21A266D682, 0x73EDA753299D7D48 }, // 2**-9/w**128
};
 
// vim: ts=4 et sw=4 si