simplicity-sys 0.6.2

/* This file has been automatically generated by GenPecomputed.hs */
#ifndef SIMPLICITY_PRECOMPUTED_H
#define SIMPLICITY_PRECOMPUTED_H

#include "sha256.h"

/* Initial values for Simplicity's standard tagged message digest. */
static const sha256_midstate signatureIV =
  {{0xedebc74bu, 0x774c1bb2u, 0xcb6be27eu, 0x38d63c82u, 0x6f0c6ee6u, 0x02399eb6u, 0x483bde91u, 0x270a1b9bu}};

/* Initial values for all the 'typeName's. */
static const sha256_midstate unitIV =
  {{0x50b38cd7u, 0x6475ff89u, 0x29288bfcu, 0xd0d9df0eu, 0x4a241c0au, 0x5708572au, 0xd264192au, 0x4fe67beeu}};
static const sha256_midstate sumIV =
  {{0x920cfd83u, 0xcf96bb32u, 0x7317360fu, 0x6d3ad760u, 0x1eef0a16u, 0xdd53146cu, 0x2e5de35fu, 0x51ef8da4u}};
static const sha256_midstate prodIV =
  {{0xae992a3eu, 0xe0713bf6u, 0x195d3bacu, 0x1af505a7u, 0x29c14d47u, 0x9558f0d6u, 0x299630f7u, 0xfa972ef8u}};

/* Initial values for all the tags for 'CMR's, 'AMR's and 'IMR's. */
static const sha256_midstate cmr_compIV =
  {{0x57ec23a2u, 0xa4778e01u, 0x58a6217au, 0xea3ef742u, 0x8ba09092u, 0x73b973fau, 0x1432a927u, 0x843e927au}};
static const sha256_midstate cmr_caseIV =
  {{0x295e2a6du, 0xc8c5ce59u, 0xe4edcfe9u, 0xb4d8f764u, 0x133aa551u, 0x4bd3ee8bu, 0x4b75ec8fu, 0x4deb08beu}};
static const sha256_midstate cmr_pairIV =
  {{0x7d5e6dacu, 0x15b1428au, 0x0d260c94u, 0x29dbe889u, 0x6593f31fu, 0x708627eeu, 0x75b27eeeu, 0xfdd05005u}};
static const sha256_midstate cmr_disconnectIV =
  {{0x35338b5bu, 0x81740c6du, 0x67dc1ea3u, 0xc831e4c0u, 0xafd86409u, 0xbc04d0ddu, 0x4324b7d9u, 0xd583f4ebu}};
static const sha256_midstate cmr_injlIV =
  {{0x54e91d18u, 0xd8f81f6du, 0x2986bb58u, 0x479a54ebu, 0x630e9523u, 0xb69ee853u, 0x2980d055u, 0x58194f15u}};
static const sha256_midstate cmr_injrIV =
  {{0xd70ffdceu, 0x97777b4du, 0xfe31fd9fu, 0xf5d017a6u, 0x305d7ec6u, 0x0df3b1bfu, 0x6d25e816u, 0x33ded4bfu}};
static const sha256_midstate cmr_takeIV =
  {{0x505fc081u, 0xb5ba2acdu, 0x095067c3u, 0xdfb8ea12u, 0x6fa15d55u, 0xcb211e6au, 0xed34e8d1u, 0xe37af0fau}};
static const sha256_midstate cmr_dropIV =
  {{0x8a308d38u, 0xa113a260u, 0xb4c7145au, 0xbdc5224du, 0xeb701379u, 0x590e0c8cu, 0x38860babu, 0x1271a8a8u}};
static const sha256_midstate cmr_idenIV =
  {{0x541a1a69u, 0xbd4bcbdau, 0x7f34310eu, 0x3078f726u, 0x443122fbu, 0xcc1cb536u, 0x0c7864ecu, 0x0d323ac0u}};
static const sha256_midstate cmr_unitIV =
  {{0xc40a1026u, 0x3f7436b4u, 0x160acbefu, 0x1c36fba4u, 0xbe4d95dfu, 0x181a968au, 0xfeab5eacu, 0x247adff7u}};
static const sha256_midstate cmr_witnessIV =
  {{0xa0fc8debu, 0xd6796917u, 0xc86b77adu, 0xed82e6c6u, 0x1649889au, 0xe8f2ed65u, 0xb57b41aau, 0x9d90e375u}};
static const sha256_midstate amr_assertlIV =
  {{0xd5ddd741u, 0xd727e220u, 0x3556b0f8u, 0xba4f7fd0u, 0xb48f8dbfu, 0x7a858487u, 0x9baba8d6u, 0xecaa43efu}};
static const sha256_midstate amr_assertrIV =
  {{0xc5fecd9cu, 0xadc16a7au, 0x08cf215au, 0xe75840f6u, 0xd205e7aau, 0x27f6fff2u, 0x6bfa1e6bu, 0x3a0f76fau}};
static const sha256_midstate amr_compIV =
  {{0x737fd053u, 0x08d60500u, 0x3bde8eb2u, 0x0a3b9397u, 0xc1daaae5u, 0x43d8a4e4u, 0xfeef4838u, 0x76859384u}};
static const sha256_midstate amr_caseIV =
  {{0x595814f9u, 0xe0c889b4u, 0x847aba1du, 0x51e14e04u, 0x8f95344bu, 0x2a432091u, 0xf81bd3b8u, 0x36ec3504u}};
static const sha256_midstate amr_pairIV =
  {{0x7996b3bfu, 0xa6033673u, 0x2515a124u, 0x3f6b3c23u, 0x6bff0eb0u, 0x662f8addu, 0x54af0c98u, 0xd1fddda7u}};
static const sha256_midstate amr_disconnectIV =
  {{0x27ebbcaau, 0x5a537c25u, 0xd8bb4340u, 0x37bb2fffu, 0x6b881535u, 0x435e6d60u, 0xa5f85cd0u, 0xf05a6147u}};
static const sha256_midstate amr_injlIV =
  {{0xbacb6356u, 0x6980dcacu, 0x45591f5au, 0xef0d91d4u, 0x9ea4c1e0u, 0x072b1ce3u, 0xdd207521u, 0xc9ead808u}};
static const sha256_midstate amr_injrIV =
  {{0x7b116ebcu, 0x3f909eefu, 0x13879871u, 0x99844b91u, 0xbcc7402cu, 0x2430c485u, 0x2975d48fu, 0x490c547au}};
static const sha256_midstate amr_takeIV =
  {{0x4175a134u, 0xe6b4d15bu, 0xb48ac582u, 0xd9bc83a2u, 0x9484c7ecu, 0x27004dffu, 0x94aae4cbu, 0x5d876fb6u}};
static const sha256_midstate amr_dropIV =
  {{0x3b3293abu, 0xbcc9b9dbu, 0xe1bd70a3u, 0x315f38ffu, 0x2605fb30u, 0xe31f3ceeu, 0x7b251a88u, 0x31c15689u}};
static const sha256_midstate amr_idenIV =
  {{0x451f688cu, 0x41509968u, 0x3a8d36a7u, 0x09ba4249u, 0xe6def71bu, 0x3529b4c1u, 0xf2e4d563u, 0x855491afu}};
static const sha256_midstate amr_unitIV =
  {{0xdbfee784u, 0x3b591e8fu, 0x7ce485dcu, 0xb5d66bccu, 0x23984810u, 0xbd6be52au, 0xa76eaf2bu, 0x25cb4423u}};
static const sha256_midstate amr_witnessIV =
  {{0x6bc620cbu, 0x52f90c63u, 0x0ef8c80du, 0x5f690db4u, 0xe9930ad0u, 0xfa707136u, 0x5b5c93e0u, 0x391bd796u}};
static const sha256_midstate imr_disconnectIV =
  {{0x4eb7995fu, 0xb5dde5d0u, 0x85f47085u, 0xcd953d16u, 0x845411edu, 0xc689e27au, 0xf9c3dea2u, 0xfb1225d5u}};
static const sha256_midstate imr_witnessIV =
  {{0xcb37ff70u, 0x01c62d94u, 0x424f987fu, 0x3023b35eu, 0x30d21723u, 0x96276f89u, 0xd09f07aau, 0x67b62196u}};
static const sha256_midstate identityIV =
  {{0x0c5bc1ceu, 0xc8f14185u, 0x0e333e28u, 0xea01c05au, 0xc642eb30u, 0xb49e692cu, 0x56b122bbu, 0x6949c5cdu}};
static const sha256_midstate hiddenIV =
  {{0x104d6d85u, 0x2466c4b4u, 0x18aee81au, 0x256f3432u, 0x00bead20u, 0x2c95ccd6u, 0x8c1ef894u, 0x956a16d9u}};
static const sha256_midstate jetIV =
  {{0x9532ee28u, 0xcdca69deu, 0xc8a0a218u, 0xb79be362u, 0xf740ceafu, 0x647f15b3u, 0x8aed9168u, 0x163f921bu}};

/* This array contains the cmr of all canonical expressions of type X |- TWO through X |- TWO^8 that output distinct values.
 * word_cmr[0..1] contain the cmrs for scribe(0) .. scribe(1) : X | - TWO
 * word_cmr[2..5] contain the cmrs for scribe(0) .. scribe(3) : X | - TWO^2
 * word_cmr[6..21] contain the cmrs for scribe(0) .. scribe(15) : X | - TWO^4
 * word_cmr[22..277] contain the cmrs for scribe(0) .. scribe(255) : X | - TWO^8
 */
static const sha256_midstate word_cmr[] =
  { {{0x8881aff5u, 0x160cc0c9u, 0xf8ecead8u, 0xb401fa97u, 0xeef5fc60u, 0x752e98d2u, 0x47561a4du, 0xa6ce965eu}}
  , {{0xa0438b72u, 0x3648727bu, 0x3f2d185fu, 0xcd9569e0u, 0x22a4478eu, 0xb25fdfa5u, 0x38eac59du, 0x817c311cu}}
  , {{0xd7fe8db3u, 0x4cbe07fbu, 0xbbbe2dfbu, 0x5f93f678u, 0x35f28251u, 0xc5699d69u, 0x7e5329b1u, 0x098e557du}}
  , {{0xc8acfd1eu, 0xc3362653u, 0xd5116e84u, 0x1ed1c856u, 0x56a1b140u, 0x4b27285cu, 0xd5583292u, 0x869dbea0u}}
  , {{0xc05e06a0u, 0x597a5ca6u, 0x380337fau, 0x9ee62e6cu, 0x756b80b9u, 0x8e26ec2eu, 0x4cd8854du, 0x53a53ce1u}}
  , {{0xcadff522u, 0xee374c32u, 0x9fa84480u, 0x7ac2d8e7u, 0x4034c5efu, 0x19a40043u, 0x149fcc1du, 0x5e14c2cbu}}
  , {{0x93e415c1u, 0x81757105u, 0x3d8603feu, 0x85585840u, 0xe43c6af1u, 0x699fbc63u, 0x74018768u, 0x7793713fu}}
  , {{0xa50f9ad3u, 0x2f7b9900u, 0x4c1d1354u, 0x1cb3202bu, 0x20edcbbau, 0xdf50d062u, 0xf0b4a4edu, 0x0b741549u}}
  , {{0x7a1223a2u, 0x8ac472d8u, 0xc64f003fu, 0x88d8a2d1u, 0x81045f4cu, 0x32b95bd4u, 0x9f1df21fu, 0x371d5ab0u}}
  , {{0x04f7548fu, 0xb4659eb8u, 0xce4e38dau, 0x517cb5a9u, 0x19e9bb82u, 0x8abb2fa2u, 0xeb5f5d0bu, 0x7a09aa0bu}}
  , {{0xc4a49fc4u, 0xceadccc2u, 0x34b9d2eau, 0xabdba05fu, 0xee8627b5u, 0xa93898fau, 0x1b7b5b54u, 0x36dcdf25u}}
  , {{0x60e08b90u, 0x8aac6e49u, 0x242aeaadu, 0x15883170u, 0x4da76a92u, 0xc31971d4u, 0xb8783db7u, 0x77bd9cd9u}}
  , {{0x7b9d9624u, 0xa92159e0u, 0xc0240863u, 0x041f3049u, 0x130f6965u, 0xa7f8e3b7u, 0x8037469bu, 0xf9b0a971u}}
  , {{0xd0018e78u, 0x8cec5176u, 0x93687f27u, 0x42c86d09u, 0xf7c7749fu, 0xb15da620u, 0x0871fbbau, 0x88945e73u}}
  , {{0xece5ca22u, 0xe2b1a94bu, 0xd10a64aeu, 0x731a3223u, 0xf42e5bbeu, 0x5feb55cbu, 0x453b5484u, 0xdb5837a0u}}
  , {{0x7090ebfbu, 0xa23c088cu, 0xd4b3050au, 0xfa96246eu, 0xbeda85c0u, 0x700e3ae5u, 0x3b321f29u, 0x647097f0u}}
  , {{0x0513c250u, 0xb0b5f8d8u, 0x3de6b1ecu, 0xfed51b4cu, 0xe57682a9u, 0x5a78c03du, 0x06de85d6u, 0x34213f8bu}}
  , {{0x534b3c8bu, 0xe145a334u, 0x7725f932u, 0x141fcc04u, 0x04f0aa53u, 0x42ee18efu, 0xa5fc9a4bu, 0xc65a22c7u}}
  , {{0xe64a6c69u, 0xb1abc702u, 0xa217faa9u, 0x967f6059u, 0xe884565fu, 0xdcf472ffu, 0xea8f5f4fu, 0x9aa642d8u}}
  , {{0xd5dd3331u, 0xf2ff9417u, 0x607ab989u, 0x91218d15u, 0xbb09575cu, 0x02ecb7dfu, 0x1bfc1445u, 0x146e2a90u}}
  , {{0xb93d3419u, 0x19ae147du, 0x305b477au, 0x4b5a1728u, 0x2f935014u, 0x1c3808ffu, 0xc8df5633u, 0x64f6f456u}}
  , {{0x3a95256eu, 0x380d2cb8u, 0x2c38d940u, 0x3f358478u, 0x6fef84a5u, 0x08dd1ddau, 0x3eded3bcu, 0x93e198bbu}}
  , {{0x7af386bau, 0x2dba1bcbu, 0x4cddb26fu, 0xfd493045u, 0x8f02c364u, 0xd7df7cbfu, 0xa351055eu, 0x045a5624u}}
  , {{0xdc8b76c8u, 0x65959c63u, 0x1049ec2au, 0x3f6061aeu, 0x2789a890u, 0x5a8657e8u, 0x05c06ac3u, 0xfaf3f20au}}
  , {{0xa74f73d3u, 0x71924a85u, 0x342d08a6u, 0x0882d544u, 0x3ab1cac3u, 0xdebe1f85u, 0xcd8d2b8au, 0x70ffa2b4u}}
  , {{0x7c2151ecu, 0x89df8159u, 0x0d4a67b3u, 0x08fae25bu, 0x502d0fc2u, 0xf3e960d4u, 0xf42cc7bfu, 0xaf33c46bu}}
  , {{0x085a83d4u, 0x649cbf51u, 0x0aaa3885u, 0x230c0150u, 0x2d0a2e71u, 0xe2b2a153u, 0x054c8b95u, 0x67941422u}}
  , {{0xddfee6aau, 0x30ccfbb8u, 0x24c56798u, 0x52bbad8eu, 0xe543bf78u, 0x8c962badu, 0x38a4a141u, 0x5cfe3a76u}}
  , {{0x2f348af8u, 0xb030cad1u, 0x7ae72777u, 0x83b829a0u, 0xc2d19f52u, 0x9a77dfc8u, 0xc2baf39fu, 0x2fae450cu}}
  , {{0x2d570cf0u, 0x76e8d4e2u, 0x7543a45du, 0x1f5bee5au, 0x81be4535u, 0xf23930bbu, 0x987a68dcu, 0xb60f1f86u}}
  , {{0x576c5225u, 0x997d8223u, 0x3019bcc9u, 0xe5d3c8dfu, 0xaf078862u, 0xd3b7ea3eu, 0x16dc7330u, 0xe16a2cbfu}}
  , {{0xce8ca19au, 0x8407af50u, 0x6f3edbc4u, 0xd3ee91a5u, 0xc968e144u, 0xc41e28b2u, 0x7ecf0745u, 0xdefa07c5u}}
  , {{0xda82e2beu, 0x43bd8bbcu, 0x1cafb331u, 0xf3750d68u, 0x5f97e5adu, 0x2d7000a0u, 0xc7037536u, 0x8a510714u}}
  , {{0x7395c56cu, 0x670c8f34u, 0x03683dbdu, 0x862ca100u, 0x164e8b9du, 0xb2027299u, 0xe17a1645u, 0xa0801ab8u}}
  , {{0xef0bf612u, 0x951a8e36u, 0x43819010u, 0x2706aa8bu, 0x1892a3a3u, 0x6db218b9u, 0x340a69a4u, 0xa55862a3u}}
  , {{0xf06564ccu, 0x99b9724du, 0x3efd8362u, 0xdfd36b4bu, 0x390b6124u, 0xfdadfe00u, 0x9c894204u, 0x617f0078u}}
  , {{0x1b33142eu, 0x08b15183u, 0xbf91fc20u, 0xaf3e9b6au, 0xa5836c51u, 0xbb4d77b9u, 0x996a5261u, 0x6f769a25u}}
  , {{0x3a838808u, 0x7015d689u, 0x0dd6717au, 0x8610b2cfu, 0xda3c40cfu, 0xf0137c21u, 0x6169ce21u, 0x3e0ffdc5u}}
  , {{0xff46be6bu, 0x5d9754e6u, 0x09038295u, 0xbf0a3802u, 0xf365e046u, 0x54f92221u, 0x2a530f8au, 0x3e222141u}}
  , {{0x86eec208u, 0x2178d995u, 0x5aa89733u, 0x6a724bf9u, 0x65fd9f63u, 0x71b62259u, 0x3bb05a9du, 0x51055d82u}}
  , {{0x04ae4eacu, 0xdfd605a7u, 0x4f2750f5u, 0xdf8b2b1bu, 0xbc7d8945u, 0x1fd724b2u, 0xfe4dddebu, 0x3211b6e9u}}
  , {{0xe228a2f7u, 0x32bb3aedu, 0x6f300730u, 0x1546921fu, 0x8157829cu, 0x53747272u, 0x7f9c4213u, 0x5775dba6u}}
  , {{0x7718994fu, 0x958c3720u, 0x0875df07u, 0xa114a10bu, 0x8c1e8e93u, 0x5021f268u, 0xb04d53e0u, 0xd654cc48u}}
  , {{0xb84e0c64u, 0x57dd2154u, 0x71856fc4u, 0x5a0b4106u, 0x6eee35dcu, 0xa74cfdcfu, 0xee7bae6eu, 0xb54ed8d4u}}
  , {{0xc65d5665u, 0x63138546u, 0xcf0ecde9u, 0x8e9c7300u, 0xd7062243u, 0x557cf251u, 0x6113c746u, 0x87afc6bdu}}
  , {{0x774f921cu, 0x22654db7u, 0x665ac7e4u, 0x836eccbau, 0x60ff12c3u, 0x18332504u, 0x365b2d74u, 0xcb82c9b9u}}
  , {{0x6fdd10b6u, 0x3568dea4u, 0x43523abeu, 0x2db21e75u, 0x44ac3d9fu, 0x537fc089u, 0xe9d367a3u, 0x1d730620u}}
  , {{0x528b7e54u, 0x2d73ee93u, 0x428d1c04u, 0x6c1b074bu, 0x63f9b150u, 0x8257c564u, 0x4437aebdu, 0x8da9a3b2u}}
  , {{0x93ec0116u, 0x9ef97b96u, 0xf80b5fd6u, 0x35bed90fu, 0xa72f50ceu, 0x8c2f542cu, 0x05ed2a7eu, 0xa086905cu}}
  , {{0xabadfbd9u, 0x7b91ebeeu, 0xc3977bc9u, 0x35f4163fu, 0xf8a09ef3u, 0xa835ba5eu, 0x145587b8u, 0x8d93ce70u}}
  , {{0x92e8a32eu, 0xc0e57496u, 0xc879e9c3u, 0xc0ba82eeu, 0xd79e3df4u, 0xb7856e9bu, 0x5b351b23u, 0x584299a4u}}
  , {{0xa08d6434u, 0x035f00c7u, 0x425c4e4cu, 0x34bc182fu, 0x88086971u, 0x69819395u, 0x85906ca7u, 0x73e5db87u}}
  , {{0x3bbf58e0u, 0x104a8656u, 0x569b2b72u, 0xd80508eau, 0xb56530ffu, 0xdcd10bfau, 0x79d860efu, 0x1e6bf4ecu}}
  , {{0xbf43761eu, 0x6c61aa76u, 0xdd83c661u, 0xc3ca525du, 0x1572beb3u, 0x8ed941c6u, 0x399b091bu, 0x49d9c94eu}}
  , {{0x335787ceu, 0xe4790768u, 0xd626d0c1u, 0x620cd412u, 0x7553fc4fu, 0x31d32b31u, 0xe22e3531u, 0xafde9be6u}}
  , {{0x3c89503du, 0x06382c53u, 0xd609d313u, 0x59dcbaceu, 0xf90c33d2u, 0x7dd98f14u, 0xae1c8b1au, 0x169eb72au}}
  , {{0xf2c5c8afu, 0xd7f16b6cu, 0xcca7198bu, 0x950a458cu, 0x36ffeec7u, 0x57899517u, 0x34e0daa8u, 0x04f98167u}}
  , {{0xa2d4ce23u, 0x2ce7a434u, 0x4c4030e7u, 0xa2d7ec4au, 0xf825d95cu, 0xa7e69cd9u, 0xf810c342u, 0x67ef5e19u}}
  , {{0x112a580bu, 0xe7b645edu, 0x9f612d82u, 0xf6624e6fu, 0x224acea1u, 0xf0821ccfu, 0x9af5e277u, 0xcef4e11bu}}
  , {{0x1294d6a3u, 0x0fda6450u, 0xf611d0dfu, 0x7f894fa2u, 0x4b6df6deu, 0x13114b7du, 0x28a64223u, 0xde243d99u}}
  , {{0x40177006u, 0xb04b8ce8u, 0x7446db11u, 0xdf60ff64u, 0xb543a571u, 0x4d71eeb1u, 0x39e81fb2u, 0x161bb453u}}
  , {{0x003ec054u, 0x98e706a2u, 0xcaeceed4u, 0xf359a871u, 0x237368ceu, 0xd508d9fcu, 0xf91f712cu, 0x0f120945u}}
  , {{0xe017e771u, 0xbf1aa56bu, 0xa842da71u, 0x3726cd00u, 0x0e14ac94u, 0xa2485260u, 0xc0a0bc86u, 0xd3afefdau}}
  , {{0xc71c3c3eu, 0x8c6413d4u, 0xb47f6d14u, 0xc76e04a4u, 0x95a58d0bu, 0xf513f744u, 0x4fc25e3cu, 0x3779c94fu}}
  , {{0x11214efcu, 0x6772d86au, 0x06ae1070u, 0x96e34304u, 0x40580232u, 0x70d82997u, 0x126f5ebeu, 0x58ffd0cdu}}
  , {{0x1dabf0d7u, 0xc373eadcu, 0xe71013fbu, 0x2003af54u, 0xf779e7abu, 0x726b893du, 0xcbf997d1u, 0x6a63c74cu}}
  , {{0x5c5a1d47u, 0x669c9180u, 0x5c821252u, 0x8d1cb84du, 0x4340aeb1u, 0x5bdf28dcu, 0x9b8c064fu, 0x642ec9f0u}}
  , {{0x7b45407cu, 0xf7763dabu, 0xee06fcf2u, 0xc615738du, 0x15b20a54u, 0x2e5b9fa8u, 0xd5724994u, 0x6be06582u}}
  , {{0xbef11188u, 0x0909ae61u, 0x9732762du, 0x12808df4u, 0xe4c2f2fcu, 0xac70d5d5u, 0x642a996bu, 0x3a56bcd0u}}
  , {{0x8b721a4du, 0x80ac5b88u, 0x8944ae2fu, 0xbe233738u, 0x4edbae77u, 0xe6bc121au, 0x999a426du, 0x676fca18u}}
  , {{0x78288b41u, 0x565dbfbau, 0x4a26d6bcu, 0x358a565fu, 0x7981f946u, 0xba70e14au, 0x5022adf3u, 0x2da1a8b8u}}
  , {{0x32e1aaaau, 0xf2a3c56eu, 0xcfbb82c0u, 0xf0077491u, 0xedb21b37u, 0xb2399c89u, 0x6a844b58u, 0x42cd1a0du}}
  , {{0xb2c2b29au, 0x5cfbbdc6u, 0xb7645201u, 0x82ca33d0u, 0x9128060du, 0x45b057efu, 0xecaa5055u, 0xdb42d3d9u}}
  , {{0x5826dab9u, 0x024e7b4cu, 0x4358613eu, 0x33d5ca04u, 0xd0de2a11u, 0x7cd421a8u, 0x7f4bb4c8u, 0x3aa74ad8u}}
  , {{0x594385a2u, 0x82fae7e9u, 0xf8e1d695u, 0x09bbe964u, 0x9df669b2u, 0x9c3838e4u, 0x9f08c079u, 0x1618f8e8u}}
  , {{0xb84ca35fu, 0x17078b58u, 0x58e21da6u, 0x0aaaae22u, 0x1536c234u, 0xed4fdc92u, 0x00500267u, 0x6f7053a5u}}
  , {{0x00ece731u, 0x0ba27fd6u, 0xb2895533u, 0x46a6edc4u, 0xebbc7971u, 0xb0fa8ca0u, 0x5c5bb51bu, 0xce90dec1u}}
  , {{0x86e74263u, 0x7060d5aau, 0xcb006749u, 0x364ee363u, 0x77dd0a42u, 0x58724ab5u, 0x6c6a5e8au, 0xc3934a3eu}}
  , {{0x49902ee2u, 0xa9b81468u, 0x7f684d28u, 0x717def47u, 0x1dba668cu, 0x360cfadbu, 0x8a2bce66u, 0xcdfecc74u}}
  , {{0x510783b0u, 0x73eb460eu, 0xa6b34d54u, 0x58f6045eu, 0x79020b94u, 0xda666351u, 0xf1e8bab0u, 0x7a73dbd8u}}
  , {{0x5a5c0326u, 0xde3b7cb5u, 0x11251baau, 0xc579c859u, 0xd7c5e905u, 0x9779a170u, 0x70858233u, 0x78e6b376u}}
  , {{0xa1933200u, 0xb5b1dfbau, 0xddc2f9b9u, 0xdb601632u, 0xe5e2a795u, 0xf2785d4du, 0x365e92bcu, 0xe6fa605au}}
  , {{0xae10d77au, 0x1c3cc3bbu, 0x88631cc9u, 0xc749ec95u, 0x92e90a98u, 0x298cfd39u, 0xebf35bfbu, 0xc09d9d14u}}
  , {{0x6bd30773u, 0x5ac41660u, 0x63b74b6bu, 0xef346c6au, 0x5b7c3f48u, 0x6e54b40au, 0x0f4ff301u, 0x6dcd69acu}}
  , {{0xa63f0760u, 0x8957b089u, 0x91724dbcu, 0x9f1dcf1fu, 0xb7ecce71u, 0x3442af80u, 0x8c75fcb6u, 0x76a2cd1du}}
  , {{0x95e8b5f2u, 0xee0c1bdfu, 0x0b230fe5u, 0xe7f67345u, 0xdb138f02u, 0x7f20b43cu, 0x2fee5c16u, 0x379181d6u}}
  , {{0x37a76af1u, 0x334d475du, 0x5fb22a4du, 0xc9b664e1u, 0xa4274c0au, 0x604369f3u, 0x8ecc14c4u, 0xc3ec4a41u}}
  , {{0x2ca9322eu, 0x3ab25ba6u, 0x9a7c8d90u, 0x325789aau, 0x7dd4a212u, 0x93e6465au, 0x9c9913eau, 0x55bfa458u}}
  , {{0x95bd1d21u, 0xeddac5b2u, 0x081a12d0u, 0xc25f96edu, 0x671d9860u, 0xb3bc8c5eu, 0xad62cfd2u, 0xf5410bb9u}}
  , {{0x689e2a53u, 0x16a6f286u, 0xec59ae9du, 0xc99d9aa5u, 0x3fb75854u, 0x3bdc86f2u, 0x5d1152d6u, 0x8005afe0u}}
  , {{0x817bbba4u, 0x6e72d2ccu, 0x38bb1b02u, 0xeacdf1a3u, 0x09544e88u, 0x4b620eb7u, 0x37eb0345u, 0xbbb686afu}}
  , {{0x9446e9c6u, 0xd7ea74f0u, 0x07f57646u, 0x65b79b9cu, 0x2f6f6586u, 0x149bac74u, 0x805d3b25u, 0xaadfa18au}}
  , {{0x8a4d77c2u, 0x0051373fu, 0x021c5271u, 0x3c45af4au, 0x9ac374c8u, 0x31030728u, 0x5693cc99u, 0x19d50d5eu}}
  , {{0x7317b344u, 0x700bbca6u, 0xb18b51eau, 0x838a31dfu, 0x28803ab8u, 0xa9a15ca5u, 0x3b2af97fu, 0x9428102du}}
  , {{0x58fbea49u, 0x5a05759fu, 0x88c32195u, 0x9ad75f2fu, 0x9d2d2b97u, 0x45ab6995u, 0xfa4330fcu, 0x132b5effu}}
  , {{0x10bc5aafu, 0xae2a5de3u, 0x73c80018u, 0x397410e0u, 0x286f3834u, 0xbf7e1203u, 0xa4727050u, 0x7eb64e45u}}
  , {{0xb547c037u, 0xade214d4u, 0x796bb50bu, 0xaf8ce99eu, 0xdfe33427u, 0xf8aa8395u, 0x16ea3b94u, 0xcee0d95du}}
  , {{0x2ad83c37u, 0xccec3890u, 0xb3c5b30au, 0x5575adfcu, 0xc6311cc9u, 0x55c10b8fu, 0x7f049030u, 0x603b0835u}}
  , {{0xa2abb142u, 0x1ede519bu, 0x82877fb1u, 0x0ca9c014u, 0x87c9026du, 0x5d224cf5u, 0xd7f0dd34u, 0x626b72bbu}}
  , {{0x8a81fd8au, 0xf1400fc9u, 0xf6c9a63fu, 0x90ee83b3u, 0xd5b2e7d0u, 0x57903fd6u, 0xea0a2ceeu, 0x5857bb2du}}
  , {{0x720358b3u, 0x3aabc2c0u, 0xfd0009a7u, 0x7a593883u, 0x349cd076u, 0x2026347fu, 0xbe8d0959u, 0x20f5eb05u}}
  , {{0xad38b4c4u, 0x75a32d41u, 0x8be764c1u, 0x7c9ea0aau, 0xc84aa8d8u, 0xbf970a51u, 0xea1b5d68u, 0xb51428ddu}}
  , {{0xe234ec92u, 0x7a048d41u, 0x4814c73fu, 0x220cd890u, 0x63821238u, 0x247c7c06u, 0x8dba1ca6u, 0x882718e9u}}
  , {{0xae03e99au, 0xff0e082fu, 0xc239043fu, 0x089d6765u, 0xeb57fd63u, 0x0d55602eu, 0xdd02cc06u, 0xf21f851fu}}
  , {{0x6ce618c6u, 0x2008977fu, 0xaf2a1654u, 0x09bff5cdu, 0xcb5c9d0bu, 0xf8a61e96u, 0x887f2c6eu, 0x1d0c1955u}}
  , {{0x8ee10390u, 0x3d620adeu, 0x5e0899f5u, 0xc632f709u, 0x0ba0d949u, 0x2908d785u, 0x8a3497ffu, 0x2bcfaafeu}}
  , {{0xcfe85a6fu, 0xda12d49eu, 0x13ac4f2bu, 0xc9cab203u, 0xd8cd0cabu, 0x1f9fe0ddu, 0xb1504fb0u, 0x3f50f184u}}
  , {{0x5db317b3u, 0xeba483c7u, 0xa89f3b27u, 0xe9bd4d70u, 0xde78f8ceu, 0x7ab815f7u, 0x8b88b45cu, 0x7a370a41u}}
  , {{0x36ccbcdau, 0x0431a6d8u, 0x2c1d98deu, 0x91003adfu, 0x697505b0u, 0xefac170au, 0xe8065645u, 0x4577e8dbu}}
  , {{0x8cff3cb5u, 0x177087cbu, 0xda437870u, 0x3458a663u, 0x2e96f5acu, 0x7e6909e4u, 0x72e1a8bbu, 0x9589cf79u}}
  , {{0x035f48b3u, 0xa8a1defcu, 0x2593f837u, 0xcb64fe74u, 0xe548ebb1u, 0x6966a690u, 0x8ace11bau, 0x52b03f5cu}}
  , {{0xd8f4c06du, 0x0258f2f4u, 0x5c0f0d93u, 0x6516d9a7u, 0x8487db6fu, 0x19c8d23cu, 0x699360b0u, 0x6c30bf63u}}
  , {{0x45a27b9au, 0xdc0eaa64u, 0x40681c5eu, 0x58ea6736u, 0x3bcb8eafu, 0xf176393au, 0xc60073cau, 0x4a775ce4u}}
  , {{0x7c0808a9u, 0xa43174d9u, 0x32d86268u, 0xb1b3c01du, 0x4f5b64edu, 0x2502510fu, 0x02392347u, 0xd538b82bu}}
  , {{0x9ae50028u, 0x7372249bu, 0x965cdf67u, 0xf3a833aeu, 0xce688ccfu, 0xaaff863du, 0x0a017fb5u, 0x24fff828u}}
  , {{0xc8cbe524u, 0x4bde4a6eu, 0xc7e5d793u, 0x3d25d7cfu, 0x8b75e238u, 0x27922b3bu, 0xf0623d7fu, 0xc8c8142du}}
  , {{0x7338081au, 0xd9090720u, 0x40f3243du, 0x1acefe20u, 0xd825518au, 0xcf51bfeeu, 0xa0f288a0u, 0x05f456ecu}}
  , {{0x6c220d6au, 0x62fdf981u, 0xab22fd10u, 0x4ace7eccu, 0x42f42570u, 0x7d202bccu, 0x8b865ae1u, 0xabf85d97u}}
  , {{0xecdfaf14u, 0x8dabc954u, 0xa06e5176u, 0x19fba2a1u, 0x88cbefdau, 0x2560a82cu, 0xf926f46bu, 0xe3d4713fu}}
  , {{0x6bc2637fu, 0xef5178a0u, 0xee7571fcu, 0x5e4e9dccu, 0x45ce4662u, 0xd7e3854du, 0x5a3596a1u, 0x4da1e0cbu}}
  , {{0x5fb15b2du, 0xd674f9e7u, 0x4b93904au, 0xe3dbd15cu, 0x68bf4990u, 0xf7510666u, 0x64b7711eu, 0x29e10024u}}
  , {{0x7b7094f3u, 0x940f6395u, 0x1ce1d63bu, 0x0a6f22e3u, 0x4ccf5064u, 0x0ac42beau, 0xa39118f8u, 0xec84c974u}}
  , {{0x086676eeu, 0xbbfce104u, 0xaf841c81u, 0xd067dda0u, 0x16d4c87fu, 0xa53317dcu, 0xbcda8f86u, 0x847a62a7u}}
  , {{0x2c081733u, 0xb9f6f047u, 0xc7332df9u, 0xce7c66b7u, 0x1bef3a19u, 0x3a1ffd91u, 0x051db82bu, 0x5f20a004u}}
  , {{0x78dfc225u, 0x397d87e8u, 0x9258aafbu, 0xb0ae997au, 0xd7d3a627u, 0x0628a32du, 0x7e44b2a1u, 0x352bbcbfu}}
  , {{0xd2905a9bu, 0xe541b58eu, 0xbecf1464u, 0x07dedf96u, 0x577abd7bu, 0x0c16a93bu, 0xc553f854u, 0xb1d7f29eu}}
  , {{0x7ed7c765u, 0x9000e0a7u, 0x3c1f3815u, 0xaeca6f9fu, 0x03334dd5u, 0x56b7d69du, 0x85d4ce57u, 0x7a665ab0u}}
  , {{0xbd06db38u, 0x62d73dd5u, 0x86eebef1u, 0x4da03fa8u, 0x3693ea45u, 0x6ca89a49u, 0xaa9fb74du, 0x08a8599du}}
  , {{0x6f5c80b5u, 0x48497abdu, 0x0021959fu, 0x1e7606e2u, 0x83e6e733u, 0xb32928f4u, 0x1ee3017fu, 0xb6a6a8f0u}}
  , {{0xc64061f8u, 0x13b20e04u, 0xf126e92cu, 0x284de8b4u, 0xbe3eb7a5u, 0x32b7578fu, 0x9a5f615fu, 0xc82fa3acu}}
  , {{0x61c40db2u, 0x736a1f2cu, 0xa04eaa5fu, 0x6c99aa1fu, 0x9a732428u, 0x62d963ccu, 0xa6f23ca8u, 0x67e35d89u}}
  , {{0x591ecd64u, 0x95b8457bu, 0x424b2068u, 0xa9ba4a7au, 0xb423667bu, 0x80331407u, 0xd495c111u, 0x909a1979u}}
  , {{0x2f1f9101u, 0x30bb343bu, 0x53671b2cu, 0xd623b95eu, 0xf034bf93u, 0xba473eaeu, 0x70c001fdu, 0x47f57248u}}
  , {{0x84e2e69du, 0x5f1609c2u, 0x356b3cb1u, 0x0c052276u, 0x9ac1985du, 0x66a3993fu, 0x23bcd574u, 0xbfdb33c3u}}
  , {{0xca29e6f4u, 0xb89f869fu, 0x20392386u, 0xe3ca2bc5u, 0x7eb0468cu, 0x17f39441u, 0x6a44797cu, 0xa118224bu}}
  , {{0x8c70f23fu, 0xbd648e3du, 0x820c22d7u, 0xfaba113au, 0xae6d6625u, 0xe92d9f00u, 0xb5442c17u, 0x2f2ce0dfu}}
  , {{0x9e2d45f8u, 0x6f0bce71u, 0x2c9b25bbu, 0xe67792e4u, 0x5986178bu, 0xb4d241e1u, 0x42b63f98u, 0x8c133a2fu}}
  , {{0x06fadaf1u, 0x9d6b44cbu, 0x87afaf2du, 0x58bfe1beu, 0x5a1cafb1u, 0x19bf0313u, 0x2395a67au, 0x287553fdu}}
  , {{0x3feb8cb3u, 0xbc7d3238u, 0xa5db2b43u, 0xa0afb89fu, 0x47660580u, 0xb4f5e17au, 0x6b1f4ef3u, 0xd1c0bb99u}}
  , {{0x28f2000fu, 0x7f878befu, 0xe1ab3167u, 0x082a32abu, 0x5da2b30du, 0xe3e049f3u, 0x335b2be2u, 0x89ebc172u}}
  , {{0x1a9d7cd6u, 0xfd9cf159u, 0xd8ecb47eu, 0x74f8b22au, 0xe32ff663u, 0x6c38f85bu, 0x7e305932u, 0xc48a521au}}
  , {{0x6327cafau, 0x7750f660u, 0xb0be35eau, 0xcd725011u, 0x9a61d94bu, 0xe0b93e24u, 0xc4b98d92u, 0x161f4b8du}}
  , {{0x4b4b1b00u, 0x7d849c50u, 0xf37ed980u, 0x58a1bdbfu, 0x2c201ecfu, 0xddf66277u, 0x252470e5u, 0x90615a58u}}
  , {{0x184b7b4au, 0x9f2c8001u, 0x2f6494c2u, 0x99ebca93u, 0x93a9bf75u, 0x187de481u, 0x01b3460eu, 0x594986e8u}}
  , {{0xda98ab73u, 0x32ae887eu, 0x337ed116u, 0xb11065c8u, 0x4a17e7c8u, 0xa0f91481u, 0x4a8cbcbau, 0x99a25188u}}
  , {{0xf910c893u, 0x775caafdu, 0x93747d15u, 0xa2205ed2u, 0x9972b702u, 0x8c376bf0u, 0xf21305dbu, 0x6fc8ab7cu}}
  , {{0xd1efcc17u, 0x8558c3cau, 0x12e6c646u, 0xeef412dcu, 0x33ae886bu, 0x994e1ba5u, 0x6a7b4d24u, 0xc22bd303u}}
  , {{0xce8e5d29u, 0x7bdb24bfu, 0x83d7832cu, 0x49b47ab5u, 0xa57552f0u, 0xc817bec2u, 0x21661502u, 0x7fe0f638u}}
  , {{0x911fd813u, 0x96bd4782u, 0xe2a9e2dbu, 0xaa7ab5c5u, 0x172cdb49u, 0x4ec4d2f5u, 0x259d2c1au, 0xd1b1e83eu}}
  , {{0xb3cb70b7u, 0x949a4792u, 0x9cd2753fu, 0xf6b68487u, 0xca6cd0b3u, 0x1a65cf4eu, 0xdf56c447u, 0x4c4e4227u}}
  , {{0x86498119u, 0x58ce17d4u, 0xf0a32405u, 0xfed9ef3eu, 0x35f0df5bu, 0x8809dc4au, 0xa120e67eu, 0x3deb0842u}}
  , {{0x62c04f9fu, 0x816c4bd1u, 0xea6ac04cu, 0xdc4600b8u, 0x3f7bcba3u, 0xfffcecceu, 0xa7679292u, 0xa53aef23u}}
  , {{0x07bc00acu, 0xcae840c8u, 0x408a2c40u, 0xf608310au, 0x9171b4e2u, 0x223b7e6au, 0x71eb99d4u, 0x5072bfb1u}}
  , {{0x026f105du, 0x623151d4u, 0x5586d9a5u, 0x0bbde830u, 0xbf8c487du, 0xf338083bu, 0xf639a777u, 0xfdc2eb1eu}}
  , {{0x56939254u, 0x21e8c198u, 0xbddb71f8u, 0x9282da1du, 0x043f0272u, 0x92f8c5e4u, 0xafa5a733u, 0x9c6e8ef2u}}
  , {{0x2cb8b721u, 0x491a2bbdu, 0x4ebbc5feu, 0xbdaecb46u, 0x5194c580u, 0xe9341942u, 0x1c93307du, 0x6da78311u}}
  , {{0x74834eedu, 0x49e94e99u, 0xaa83043bu, 0x61dd1755u, 0x5b7af916u, 0xfd5d444du, 0xc369991bu, 0xe7cb9c50u}}
  , {{0x9db79ffdu, 0x4486c177u, 0x59e8e5e9u, 0xda7ac2f9u, 0x0bb922e1u, 0xc9d3cce5u, 0xc949886bu, 0x393b3a23u}}
  , {{0x9130caecu, 0x4b423f18u, 0x7e61830au, 0x1be27f02u, 0x85c8dffcu, 0xadb4203cu, 0x9042ff76u, 0x680d9543u}}
  , {{0xdabccd0fu, 0x34950409u, 0x9ee227f6u, 0xf4865405u, 0x9402a46fu, 0x29afa893u, 0x81f23d91u, 0x525b62edu}}
  , {{0xd9774b6eu, 0x64174d48u, 0x50df0d50u, 0xbb8e7b46u, 0x70017a1cu, 0x3dca99d8u, 0xa2c3ce42u, 0xcb8b5d33u}}
  , {{0xa8e8a5bau, 0xdfb1fae7u, 0xc50342dfu, 0x7ef60084u, 0xb9b1e1d0u, 0xb424e72bu, 0x440c2572u, 0xf4ab40efu}}
  , {{0x28bfd97cu, 0xa7a93bfeu, 0x1e66ca17u, 0x60bf4f82u, 0x91c2becau, 0x209181bbu, 0xee3b86c4u, 0xd4a5e21du}}
  , {{0x44270abdu, 0x9e8f8af5u, 0x2435c2adu, 0x20c71e3bu, 0x744242c6u, 0xc5b1c529u, 0x2706d6f1u, 0x9129aeecu}}
  , {{0x7cfc0331u, 0x0aa3e6c2u, 0x2eab8f15u, 0x0b590e4fu, 0x94b0ac31u, 0x3f964065u, 0x8d841245u, 0xddfaea03u}}
  , {{0xc4b150a3u, 0x9f4d47c3u, 0x1f032ba4u, 0x5b4d225cu, 0x611493ddu, 0x41c80959u, 0x5b0c8414u, 0xdc40bfb2u}}
  , {{0x47f29041u, 0xd9671966u, 0x2ed87b95u, 0xf1a6373bu, 0xee156b12u, 0x82c31f15u, 0x565eab23u, 0x89012f13u}}
  , {{0xd64df74cu, 0xb4f8c0a2u, 0xac12c43fu, 0x08dc865eu, 0xfe43333bu, 0x069f896fu, 0x503dc328u, 0xe3e91b5au}}
  , {{0xbae755b4u, 0x5e457cfcu, 0xd06e4ef0u, 0x9baa13c0u, 0xa19ad608u, 0xcfa2874fu, 0xe08679ecu, 0xd5577456u}}
  , {{0x5946aaecu, 0x93249c62u, 0x4ebd6fbbu, 0x28df54fcu, 0x1b01954du, 0xbb2c3ceeu, 0x6c00471fu, 0x22a999bfu}}
  , {{0x73b65849u, 0xe783acc3u, 0xc766b53eu, 0xc4b851b2u, 0xb80d5f11u, 0xed2228f3u, 0x0b4fe370u, 0x6bcf163au}}
  , {{0x633f8ca7u, 0xb2924d50u, 0xb701ef5au, 0xd86df4adu, 0x8cf48f5eu, 0x46903a43u, 0x51ec8c38u, 0x288271d4u}}
  , {{0x1593c5a1u, 0x12044a28u, 0xe057f893u, 0x1fef0a22u, 0x3f8cc57fu, 0xaa6cd14bu, 0xb4898df3u, 0xa1acc3beu}}
  , {{0x97b0f607u, 0x640bdf95u, 0x176cf9dbu, 0xd802cfcbu, 0x1f80fa8du, 0x0f64746cu, 0x51f26a85u, 0x0748f57du}}
  , {{0x99453d1fu, 0x55fa3326u, 0x63faccb9u, 0x05c3d1a7u, 0xacbaac0fu, 0x6a0d07a9u, 0xe653b602u, 0x66ff8c8eu}}
  , {{0x50dafa99u, 0x9bef043au, 0xa18779dbu, 0x0b66a1bau, 0xd5c2cdeeu, 0xc5f6c915u, 0xdc9d91d2u, 0xbcfdb7b2u}}
  , {{0x3d1a146cu, 0x0faca35au, 0xa3ce32dbu, 0x5c1838a0u, 0x07e1378eu, 0x9ae92bd7u, 0x3ae6f193u, 0x968403aau}}
  , {{0x9f3577f3u, 0xf70a09ccu, 0xf845199cu, 0x752c9f01u, 0xff7a0760u, 0x4ac8d6abu, 0x16071074u, 0xf95e366fu}}
  , {{0x21ac87bau, 0xedc2ffb8u, 0x525de77au, 0x45580a01u, 0xdc4703bbu, 0xfc7b832du, 0xd806a989u, 0xce467334u}}
  , {{0x43eebf50u, 0x5f5a341au, 0x2d2145dau, 0x95337d81u, 0x11ec5a46u, 0x36b80734u, 0x1158c995u, 0xbb291b38u}}
  , {{0xf80de696u, 0x93c9d7d1u, 0x0205dc3du, 0xe4d52138u, 0x525b548cu, 0xd2960d07u, 0x3a1dc5edu, 0x13df4ff6u}}
  , {{0xcda15b5bu, 0xb8da7b0du, 0x2881e1e5u, 0xfaaf4796u, 0x9bf0f3ffu, 0x246a58c7u, 0x9ee8e88du, 0xde19f9b5u}}
  , {{0xd647006au, 0x138f229bu, 0x54cf5891u, 0x4c4eaceeu, 0x4ad5521eu, 0x641adf44u, 0x5ae9e9b6u, 0x2de36b3fu}}
  , {{0x579b656cu, 0x26f32bb4u, 0x3d314711u, 0xfb8e800cu, 0x0d3e5269u, 0x10cd983fu, 0xecdcb79fu, 0xb9825518u}}
  , {{0x97b9b35au, 0x8f0009e9u, 0x4415aee7u, 0x0fe5e44au, 0x5158cb85u, 0x7afc0ce3u, 0xa61c8aadu, 0xbce307f6u}}
  , {{0x7a5c0e10u, 0x4ceadd76u, 0x6a1e791fu, 0x39a166ebu, 0x811ea154u, 0x6c92ceedu, 0xa1601d6du, 0x8813c256u}}
  , {{0x8ad81c44u, 0xe8064c20u, 0x04e11f02u, 0xd466d3d0u, 0x36253252u, 0xda759fefu, 0xe0eb2296u, 0x9c927e26u}}
  , {{0x391275c4u, 0x29786f8eu, 0x97402e28u, 0xa7dda26eu, 0x0c5f5561u, 0x3a235411u, 0x45e58fbfu, 0x082b9661u}}
  , {{0xa8424715u, 0x1cc3ebe3u, 0xc07208b9u, 0xb936a09du, 0x2ada1fd3u, 0xa81d3a7du, 0x8e3a6d23u, 0x1f5485c0u}}
  , {{0x2a42095cu, 0x58bc6325u, 0x604e59bdu, 0x43054802u, 0xbf7bd71au, 0xd837d3bfu, 0x6d37da62u, 0x6458fa12u}}
  , {{0x0c8309c0u, 0xca0f8df8u, 0x3f16a2aeu, 0x71c09750u, 0x160c402du, 0x170f24d2u, 0xc79545e3u, 0x285cbf1bu}}
  , {{0x6ec57517u, 0x8c1018d0u, 0xd6c4f51fu, 0xb8e3ff5au, 0xc4f0831eu, 0x642fa9d7u, 0x7d39e19fu, 0x20426abfu}}
  , {{0x1d553e53u, 0x5bdfb6cfu, 0x22b31f05u, 0x83c9ebe1u, 0xab636504u, 0xc05aa703u, 0x4fa3bc93u, 0x87e64ed3u}}
  , {{0x437f4bffu, 0x872d10c9u, 0x6f7a7760u, 0x925c3754u, 0x9fdcfb1fu, 0x35c65249u, 0x7d6156e2u, 0x891587c0u}}
  , {{0x8d5bec24u, 0x94cc41ecu, 0x7ce875d6u, 0x452bb540u, 0x64e74605u, 0x343ca4d7u, 0x7e2cdfeeu, 0xe88010ceu}}
  , {{0x7f6b100au, 0x58dbc757u, 0x02a5c8c4u, 0x65b0d0b9u, 0x06c82edcu, 0x294355f0u, 0x9f943bbcu, 0x1e597447u}}
  , {{0x0db209b9u, 0x0b78d2beu, 0x870df440u, 0x81e4bce4u, 0x01e0c2a2u, 0xc4f33c28u, 0xf246e49au, 0x6f66976au}}
  , {{0x81b892efu, 0x24b78228u, 0x17691ff0u, 0x455f9207u, 0xf941fbcbu, 0x11c980e1u, 0x45c617b1u, 0x02178859u}}
  , {{0xff91e758u, 0x48a55007u, 0x605458f9u, 0x68619833u, 0xafeeeae3u, 0x82540ebdu, 0xfc9d3f12u, 0x5e53a897u}}
  , {{0xf224084du, 0x98efd35au, 0xda99ce75u, 0x99f27640u, 0x719efa11u, 0x69f15a45u, 0xa34861a1u, 0xa79d5ef3u}}
  , {{0x624cf155u, 0x2af774f0u, 0xb8b71a81u, 0x629d8f33u, 0x240b6138u, 0x27030c75u, 0x61b15751u, 0xe8871eb6u}}
  , {{0x6eee4475u, 0x5f014a5bu, 0xbc724336u, 0xf364403cu, 0x1f45b32bu, 0xc81ddc5eu, 0x836f51beu, 0xba92ef74u}}
  , {{0x8ecb6a9eu, 0x4d20d935u, 0x2e2bab8bu, 0x67cae793u, 0x8533338du, 0xd43d05b4u, 0x48fecccdu, 0xdba4901au}}
  , {{0x7ba358f9u, 0x03b0f67fu, 0x8dec7c4eu, 0xbea69a77u, 0x5c118944u, 0x928178eau, 0xaad0e2e0u, 0x2228a989u}}
  , {{0xbcd86730u, 0xfb320141u, 0xd6d0bb5cu, 0x3c262042u, 0xe50cd398u, 0x3d934e15u, 0xfaac21d4u, 0xd3910232u}}
  , {{0x5fbdde64u, 0x60ca1aa2u, 0xb6c01000u, 0xde6ef674u, 0xa192fb3bu, 0x1862a85fu, 0x08285c29u, 0x0d2acef6u}}
  , {{0x5b613c33u, 0xeab49406u, 0x6a1aff5au, 0x71743c9bu, 0x0f49d921u, 0xb3a447c0u, 0x2be157dcu, 0xcb9d8ec1u}}
  , {{0x97073c08u, 0xd57e8a2fu, 0x5397126fu, 0x17074a29u, 0x353528b5u, 0x65ad3b97u, 0x642784a9u, 0x6c734426u}}
  , {{0xd2291db2u, 0xd501e9fbu, 0x4d6cefe1u, 0x8faa9bfcu, 0x78e3eb0au, 0x1b910da3u, 0xabb03144u, 0x2b772712u}}
  , {{0x5babcd3au, 0xc364f6e7u, 0x1052de02u, 0x3f870903u, 0x7677d682u, 0x3884cae5u, 0x4d970746u, 0x8e9c8ca5u}}
  , {{0xbbaa82a5u, 0xc665e47eu, 0x5659b399u, 0x741f89bdu, 0xe6526ac2u, 0x0b3db8feu, 0x52aa30cau, 0x2f698dadu}}
  , {{0x3c292246u, 0x623a5860u, 0x642cfb41u, 0xf41f56d5u, 0x9e19b345u, 0x6befa319u, 0xb73797adu, 0x15538874u}}
  , {{0xc3be2380u, 0xbb222cc0u, 0xe2a9965cu, 0x22da2a89u, 0x4e2cefc8u, 0x32e714feu, 0x860f3495u, 0xf04b5b99u}}
  , {{0x996c3463u, 0x3e0e5f63u, 0x970730b7u, 0xc13a8a0au, 0xe65ac408u, 0x4882ab16u, 0x3b68e5ecu, 0xce616620u}}
  , {{0x0d39ca65u, 0x451af6a7u, 0x4dc33900u, 0x4615bf50u, 0x92c783e0u, 0xf7be031bu, 0x13a69127u, 0x5796e260u}}
  , {{0x45a63234u, 0xc81f6235u, 0x13ab2474u, 0x070682d7u, 0xf1a52234u, 0x6c080863u, 0x63a61fddu, 0xf8fcc539u}}
  , {{0x7da0701eu, 0xbfdbb918u, 0x52219ed9u, 0x261d6f65u, 0x454a13e4u, 0x537ac788u, 0xaa9abfd3u, 0x4f42b60bu}}
  , {{0x8855a91cu, 0x921f8fe2u, 0x630b5368u, 0x139a14d2u, 0xea0bc7d6u, 0xcf93e506u, 0xa3846410u, 0xd0a7468eu}}
  , {{0x83ad6566u, 0x1de347c2u, 0x92266fcbu, 0x78bf6ad4u, 0xad27f915u, 0xbe50c53au, 0x119c5d28u, 0xa42cff20u}}
  , {{0x851a3c3cu, 0xf89f7be6u, 0xd7c59fdfu, 0xa9052fd8u, 0x31670667u, 0x6155b367u, 0xbb7a0f7au, 0x4d854288u}}
  , {{0x59621ebcu, 0x5a011db1u, 0x5e2ab89bu, 0xfaf6b4f9u, 0x828568a8u, 0xaf32ae94u, 0xff151df2u, 0xd417ba5eu}}
  , {{0x5d3eefedu, 0x83c56c91u, 0xca413d0bu, 0x98dd1669u, 0xf9099fe5u, 0xee266e4au, 0x65f8c3d7u, 0xf8155d37u}}
  , {{0xb419a583u, 0xd6dfe1abu, 0x72b7349au, 0xdb66489fu, 0x0a43caa7u, 0xceb259e4u, 0x4343cac5u, 0xb84cfe69u}}
  , {{0x9d9d77ddu, 0x8717759cu, 0x959499b8u, 0x18b70b1eu, 0xa55bf8f4u, 0xa18941b8u, 0x7b82c31fu, 0xf2cf21dau}}
  , {{0xafbad0d0u, 0xa3895ac7u, 0x469903e3u, 0x5449558du, 0x8842a578u, 0x68755aaau, 0x88702018u, 0x26fda7b7u}}
  , {{0x815a828cu, 0x2d0cd41du, 0xa1ed61f2u, 0x2914df98u, 0x72e8d28bu, 0x98a0dee9u, 0x493706e7u, 0xb2700c78u}}
  , {{0x53ff110fu, 0x1e8ac892u, 0xd3cbba91u, 0x987434cdu, 0x61f34407u, 0xee742f9fu, 0xb97cdd80u, 0x0dcfd719u}}
  , {{0x8cce2a93u, 0xf1cd10acu, 0x004cf1bfu, 0x2bb67328u, 0xd455f4a2u, 0xcf85d7f1u, 0xaedcb905u, 0xa2cfb840u}}
  , {{0x675dc32bu, 0xe9c55317u, 0xeb4da59eu, 0xb5833bc2u, 0x5bd8468eu, 0xf84bd69au, 0x312d160fu, 0x6c541b09u}}
  , {{0xd02036a5u, 0xad7498e7u, 0xd2562389u, 0x1311da79u, 0x8c2790edu, 0xe75660f7u, 0xd9c25a42u, 0xcd81de59u}}
  , {{0xa71a6371u, 0xacae3841u, 0x3aa6a748u, 0x4f143459u, 0xc7e3fc57u, 0x2164b2f0u, 0xbf0aad80u, 0x80ac3c46u}}
  , {{0x0d8a20ebu, 0x4f02c90au, 0xae14abb1u, 0xfca46237u, 0xe02ce550u, 0x7b5f8f92u, 0xe4ffb942u, 0xf8ec1910u}}
  , {{0x3a4d5afdu, 0xfc7e1438u, 0x92e105e2u, 0xc4724671u, 0xc076ea27u, 0xfee68c89u, 0x1e4607edu, 0x4801fa30u}}
  , {{0x07fb0b10u, 0xe7dbb106u, 0x64e26a2fu, 0xd25ecb2du, 0xdfb17f78u, 0x01f1807au, 0xfa17d9f1u, 0xbef0cbbau}}
  , {{0x6798e89cu, 0xbc3c9eebu, 0x33843251u, 0x901fd826u, 0x34ab8ea8u, 0xe0a10a58u, 0x8991998eu, 0x4bb781b5u}}
  , {{0x559cea96u, 0x57cbceb5u, 0xa9ed0ebau, 0x4eefadacu, 0xec12e596u, 0xa4f25834u, 0x1a929036u, 0xbe058561u}}
  , {{0x125e31f8u, 0x2eb6bd56u, 0xfbbcf45bu, 0xb9c7370fu, 0xd29d066cu, 0x27e11154u, 0xf5b5a2b0u, 0x909faae0u}}
  , {{0xa738e749u, 0x3be6cde5u, 0x38fecc05u, 0x99419484u, 0x5369123cu, 0x73e2aab0u, 0x6a81eec8u, 0xfffea92du}}
  , {{0x32e1b335u, 0x6ab69305u, 0x08520477u, 0xffca0098u, 0x62fd2e63u, 0xcf706d45u, 0x96c5e2d1u, 0xb83140cfu}}
  , {{0xd0c746b7u, 0xb4e3af74u, 0xfb1557ccu, 0x40a60b38u, 0x112934c2u, 0xa8c0b0a0u, 0x2efc3194u, 0x45cda8f7u}}
  , {{0x27997665u, 0x67db5937u, 0xcb66d8ebu, 0xbe2e4e07u, 0x393077d3u, 0x1f128668u, 0x4a68bcc1u, 0xce8e0041u}}
  , {{0x19d64885u, 0x1c9f40aau, 0xf0a1cfe9u, 0x9d14a634u, 0x5956b543u, 0x982b6c13u, 0x8499d6e6u, 0x7bed2782u}}
  , {{0x10272b2fu, 0x79b00972u, 0x35263c59u, 0x10f00216u, 0x7d0735bau, 0x652f3a98u, 0x7f45773au, 0x225ce8e6u}}
  , {{0xf6ff5664u, 0xc0f7783du, 0x2fe858bcu, 0x4e5203bau, 0x1263c2edu, 0x06c81bb2u, 0xc2dbb7a4u, 0xd02cd35du}}
  , {{0xe4829d2bu, 0xf98b3486u, 0x43a2eee7u, 0x8b5c2218u, 0xe180e73bu, 0x183ccca3u, 0xad96a88eu, 0x6ba8af4au}}
  , {{0x3675668au, 0x3991f960u, 0xbbd4e887u, 0x10de87cfu, 0x544b554eu, 0x4a9895d0u, 0x4fe5e6c5u, 0x3527b39fu}}
  , {{0x709c2eb2u, 0xfb759d30u, 0x12cdced6u, 0x8d33b266u, 0x86c1fbddu, 0xc6c3ddffu, 0x80429129u, 0x6d014bc5u}}
  , {{0xccb5dedau, 0xe6888c9fu, 0xf5c63104u, 0x6891c3f1u, 0xa93f432eu, 0xb715dd7au, 0xe55a7a3cu, 0x67304423u}}
  , {{0x00790e93u, 0xa9532f30u, 0x46de3e2au, 0x38b79242u, 0x7258614eu, 0x11f40dc2u, 0x0fdf33a8u, 0xb5d82625u}}
  , {{0x5a8fd5edu, 0x42ea2ed6u, 0x388da92au, 0x2e574f66u, 0x3672eec8u, 0x453e50a5u, 0xde631cdau, 0xbf253394u}}
  , {{0x75543666u, 0xa82c1c19u, 0xd914a943u, 0x0639a3c9u, 0xedd12fb3u, 0xd4bc83aeu, 0x00bf9b09u, 0x6ea321f6u}}
  , {{0xe10eb310u, 0x0fa7be69u, 0x08cfeb8cu, 0x797fbe5au, 0x4b12f9d1u, 0xed857a7fu, 0x17adc968u, 0x84f723e2u}}
  , {{0x4bc32595u, 0x0fb88e2au, 0x92860fa8u, 0x71238772u, 0x24fede8cu, 0x8231982bu, 0xd28156a1u, 0x657134e6u}}
  , {{0xd39514b6u, 0xe75ed246u, 0xe0a572cdu, 0x1ca95222u, 0x2a7ce8c0u, 0x79cccc9du, 0x4842b1dbu, 0xc995a67au}}
  , {{0x19640f96u, 0x448114ecu, 0xdc30139du, 0xcbdff79bu, 0x264a933cu, 0xc8c5a32fu, 0x9745de2du, 0xbdc10085u}}
  , {{0xbea2163du, 0xd4861003u, 0x5da78be1u, 0xa7545006u, 0x981f2b5au, 0x91f2d1cdu, 0xade23398u, 0xde59cef5u}}
  , {{0xfad705d3u, 0x86889cb6u, 0x60d0bc19u, 0x0dbd1c2cu, 0x582badfeu, 0x7565647du, 0x79d38681u, 0xccd9b9adu}}
  , {{0xdfec881fu, 0x681227abu, 0xd922d952u, 0xa27c6fb8u, 0x2f6b3adeu, 0x1ec605aau, 0x5d3347a1u, 0x7e036865u}}
  , {{0x4a225c47u, 0x38987e6eu, 0x23876ea9u, 0x03dcb053u, 0x1a50f3b9u, 0xd00c0272u, 0x5797c032u, 0xda753132u}}
  , {{0xca0d5c3cu, 0x68e28ce8u, 0x8edd2a1bu, 0x9113bdb8u, 0xc64ce2f6u, 0x2420127cu, 0xc60b0fabu, 0x59632173u}}
  , {{0xc8ed088bu, 0xb317143du, 0x4ecdb573u, 0x04fde044u, 0xa5db2ef6u, 0x112ecd16u, 0xbe002ec9u, 0xa368ce39u}}
  , {{0xaf57849fu, 0xd42e8638u, 0xf990ac40u, 0xbf0b852eu, 0xf6e99bf1u, 0x307df888u, 0xf555eca0u, 0x47c46112u}}
  , {{0x2af14e2cu, 0x9be86b3cu, 0xae1a2d7bu, 0x914deda1u, 0xc3aa0319u, 0x45d3f7feu, 0x983426fbu, 0xcc90ed6bu}}
  , {{0x64b0f02fu, 0xab280716u, 0x803b2b44u, 0xefda680bu, 0x12b94f13u, 0xe8ac1f23u, 0xb775dae8u, 0xf0e7c3abu}}
  , {{0x9c1989d9u, 0x7fc6ad53u, 0xd5807b12u, 0x6d9f22ebu, 0x8120c767u, 0x0c107b58u, 0x0088b630u, 0x5b1aff80u}}
  , {{0xe1571617u, 0x46970d7cu, 0x4645e23bu, 0x903a537eu, 0xac56c358u, 0x63a81e08u, 0xfe420b78u, 0x1b12a8feu}}
  , {{0x0ee369a9u, 0x97c8fb63u, 0x6b4762b5u, 0x4624bc82u, 0x932cde16u, 0xfb3fcdbdu, 0x19fe3c41u, 0x2ad6ed6bu}}
  , {{0x83c36c89u, 0xdd96b088u, 0xb010995fu, 0x50d1f4aau, 0x25f2240du, 0x3ff7e691u, 0xe0c96800u, 0x493d34d9u}}
  , {{0xeadedcaeu, 0x45ec7f03u, 0x47420869u, 0xe4073311u, 0x2fe75d42u, 0x14e64af7u, 0x7e5706feu, 0xb44fbb07u}}
  , {{0xe19c92b2u, 0x3abc447eu, 0x89ba0cdau, 0xdd020377u, 0x522f42d2u, 0xa03cfee5u, 0xc5ccf7b6u, 0x2def4e34u}}
  , {{0xc524fcbcu, 0x1fca61a8u, 0x788aedc0u, 0x151c7988u, 0xc9aef898u, 0xa7933be4u, 0x305490f1u, 0xf6b36a48u}}
  , {{0x9ae6cd99u, 0x0e7dba7cu, 0x58377496u, 0xac228a91u, 0x23de5910u, 0x24189780u, 0x9b6c6d6cu, 0xc0cf3dd3u}}
  , {{0x109a6c47u, 0xa79efb78u, 0x7c678ce0u, 0x76c5727du, 0xc408fecfu, 0x95858794u, 0x4e885c8au, 0x7f050e06u}}
  , {{0x92bb2826u, 0xb52ab062u, 0x5e04cbcfu, 0xab35462au, 0xf7fbb1c8u, 0x2cb2c8e0u, 0x4a537755u, 0xfe9e57b3u}}
  , {{0x6c2c48b8u, 0x52ac9e1fu, 0x13226c66u, 0x80099d96u, 0xd7e29b9au, 0x3abe558eu, 0xdbd659c1u, 0xd9b72c35u}}
  , {{0x2fbae8e1u, 0x66edb0deu, 0x34f72e99u, 0xd748bb85u, 0xe8d30e01u, 0x28aa3d64u, 0xd9c420a6u, 0xcd1a82e2u}}
  , {{0x93bed54eu, 0xc80f5a0bu, 0x4a94d31au, 0x2cedd559u, 0x865fecb1u, 0x8e5a6485u, 0x78891723u, 0x2e205115u}}
  , {{0xcb4c3a4cu, 0x805bb36fu, 0xe35b1793u, 0x64c756bdu, 0x5275b49au, 0x82f1bfecu, 0x77784f53u, 0xc0bf962cu}} };

/* word_type_root[0] contains the type root of the ONE type.
 * word_type_root[1] contains the type root of the TWO type.
 * word_type_root[2] contains the type root of the TWO^2 type.
 * word_type_root[3] contains the type root of the TWO^4 type.
 * ...
 * word_type_root[32] contains the type root of the TWO^(2^31) type.
 */
static const sha256_midstate word_type_root[] =
  { {{0x50b38cd7u, 0x6475ff89u, 0x29288bfcu, 0xd0d9df0eu, 0x4a241c0au, 0x5708572au, 0xd264192au, 0x4fe67beeu}}
  , {{0x885a22deu, 0x3edb3f40u, 0xdb0609c2u, 0x4023303fu, 0xec6787beu, 0x4d4921e4u, 0x5ee9d983u, 0xacb5d89du}}
  , {{0x5522ba1cu, 0x92894df2u, 0x5723cfebu, 0x5af259f4u, 0xc55a5cfcu, 0x8200d59bu, 0xad096499u, 0x7f9b2b04u}}
  , {{0xfa28ba9fu, 0x0f07b4fau, 0xe4dd8623u, 0x614112ffu, 0x3bafabe2u, 0x9c415d2eu, 0x0c1ed3c4u, 0x135128e0u}}
  , {{0xd343e4d5u, 0xfaa4cea4u, 0x4bb711efu, 0x4b1b96b7u, 0xe0fb26cfu, 0xa85a9604u, 0x39ba8458u, 0xc0b6c5c3u}}
  , {{0x628c361fu, 0x09cb2e5bu, 0xaad9c6b7u, 0x26a9fa95u, 0xd1da6779u, 0x7ee24ccfu, 0x01410c97u, 0x93399500u}}
  , {{0xb1a9f968u, 0x7833dc44u, 0xbc8f17d3u, 0xcbc255b7u, 0xaa499a78u, 0xfec85cc9u, 0x8a0c335cu, 0x86ed26e9u}}
  , {{0xfd75bcd8u, 0xcb55a5e4u, 0x24e09288u, 0xac8eb429u, 0x42534ec1u, 0x099b72beu, 0xce0ea2c5u, 0x479bf3e7u}}
  , {{0xe394d2a0u, 0x516d738du, 0x6e0459b9u, 0x1bb0dd47u, 0x1d0daa77u, 0x9671a531u, 0x3b62140eu, 0xc70a226eu}}
  , {{0xe4c4728du, 0x876749beu, 0xbe4d6297u, 0xdfadd42cu, 0xe2684450u, 0x0d96c5e9u, 0x14615750u, 0x8eb9098fu}}
  , {{0x1ae545b7u, 0xc3fd85feu, 0x816c70eau, 0x4c78b741u, 0x9d8be3c1u, 0xfb3f7223u, 0xfa7d8d50u, 0x3675518fu}}
  , {{0x6a9c7240u, 0xe5d71d5au, 0x8330b3b3u, 0xb6650bc3u, 0x666c3fefu, 0x2e803ed8u, 0x64f12fcdu, 0x8feac1cau}}
  , {{0x0a2a587au, 0xebc96b0eu, 0x3e260138u, 0x2eb32a9fu, 0x1e29c850u, 0x1cbdd80eu, 0x8705c0e7u, 0xd3f5b34fu}}
  , {{0xb3edb6fdu, 0x838ec405u, 0x7b768c86u, 0xb0e8a96du, 0x1ce3f169u, 0x54314dcdu, 0x3dbf7285u, 0xeba563a9u}}
  , {{0xd0474c0cu, 0x1e2c09d9u, 0xc5f05098u, 0x9357ce71u, 0xab5d904eu, 0x8e2e8287u, 0x4286c0c2u, 0x12de3e71u}}
  , {{0x379246dcu, 0x866d370du, 0xbfc9704fu, 0xbc57cd7au, 0x6eb5ede7u, 0x97a00c4au, 0x72b3b4a5u, 0xd9f09fe1u}}
  , {{0x8a59e83fu, 0x43e2a1f9u, 0x07d3a296u, 0x6753336au, 0x1da20d23u, 0xfe636328u, 0x58f94ec0u, 0x7d1913d2u}}
  , {{0x0f519568u, 0x9f556d00u, 0xbe92fc2du, 0xc57bcbb1u, 0x25620ffcu, 0x00963c09u, 0x14b19615u, 0x1a77841cu}}
  , {{0x6d2a4799u, 0xa16eb678u, 0x4e4966b8u, 0x1da627d3u, 0x5aa708fdu, 0x9725d604u, 0x777b143eu, 0x28d4acf0u}}
  , {{0x2a075c50u, 0xca10e500u, 0x927786cau, 0x86a52bb7u, 0xe52ddb16u, 0x42e37745u, 0xfb441491u, 0x39b32d67u}}
  , {{0xf567c81bu, 0x825dc900u, 0xe0bc0c59u, 0xcea6aa1fu, 0x1f34283fu, 0xcbeeff73u, 0x2db8e217u, 0x576c2255u}}
  , {{0x0aee1039u, 0xd3c8af91u, 0x41bcb9fdu, 0xf3f8241eu, 0xf9fd4b85u, 0x853a79bau, 0xbcfb2ab4u, 0xdb8ef38cu}}
  , {{0x30aae9b8u, 0xf2c6faf0u, 0x7a62072fu, 0x55b29698u, 0x5dd73bc1u, 0x0442c802u, 0x7932fff4u, 0x1f2a2d72u}}
  , {{0xbc146cb5u, 0xae67e00au, 0x6d8e3fd0u, 0x56fb7a72u, 0x820484c6u, 0x1acf17feu, 0xccf130cbu, 0xa622d27fu}}
  , {{0xa867bacfu, 0xf8d1c25cu, 0x9e824f1bu, 0x63a49c17u, 0x679bba8au, 0xd87699a0u, 0xcdf77defu, 0x0a1b7511u}}
  , {{0xc128dc7eu, 0x8d794a7au, 0x48081495u, 0xa6eb2b2du, 0x3cb66bc0u, 0xe033273bu, 0xf9ddbc98u, 0x6c226892u}}
  , {{0x199ffde4u, 0x7d2791a3u, 0x58f23ae5u, 0x082516c6u, 0x5e57f55au, 0xe66ddf44u, 0x65baab4bu, 0xfa3c3a5fu}}
  , {{0x4038095du, 0xbb32e27eu, 0x6e316652u, 0x7bcedda8u, 0x4e8b21f6u, 0xd42f7e56u, 0xeaff2185u, 0x6ad204a2u}}
  , {{0xc3a0a6f8u, 0x7e6c3f02u, 0xbf98051cu, 0xe45d6d69u, 0x55382478u, 0xf10fa06au, 0xdd5130e5u, 0x9917f8c7u}}
  , {{0x7c25bf44u, 0x7a45ba13u, 0x23e8db8bu, 0x817887a8u, 0x858bee25u, 0x6e5ca352u, 0x8e79cfbcu, 0x2d419ce3u}}
  , {{0x75a77a6cu, 0x7b6de91du, 0x23c1004du, 0x8eb0b35du, 0x9cdf6fa1u, 0xdfc7cabdu, 0x046692f1u, 0xa2431417u}}
  , {{0x9fc24ab6u, 0x9970f866u, 0x6d7b1e52u, 0x5a3a8e79u, 0x439976e7u, 0x792bfe1au, 0x1b0d0d84u, 0xff038434u}}
  , {{0x64251ab9u, 0x7077170eu, 0x19911576u, 0x5e9343e7u, 0x1b590e41u, 0x7888f2a8u, 0x364311d8u, 0x6540edfau}} };

#endif