/* 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 = {{0x9470c4e3u, 0xe445a32fu, 0x7e5273b8u, 0x33ead715u, 0xd509cbc5u, 0x1fd3feb9u, 0xacdac827u, 0xf31f4123u}}; /* Initial values for all the 'typeName's. */ static const sha256_midstate unitIV = {{0x12b4c4a9u, 0xa4b0edf6u, 0x5a44f30eu, 0xa762578fu, 0xdd59f105u, 0xf0e4d8f3u, 0x88cb9b6bu, 0xd2c13adfu}}; static const sha256_midstate sumIV = {{0x05cc9dddu, 0x0e50b0ecu, 0x99fd5fadu, 0xdc4d9506u, 0xcd3e7bb8u, 0xedeb40cau, 0x9833866eu, 0x3a0abc33u}}; static const sha256_midstate prodIV = {{0xc1719687u, 0x4b5121fdu, 0x5dbe2fefu, 0x5ba0d2edu, 0xce2392e3u, 0x5515a2f2u, 0x06b22bbeu, 0x088bb1afu}}; /* Initial values for all the tags for 'CMR's, 'AMR's and 'IMR's. */ static const sha256_midstate cmr_compIV = {{0x259190d1u, 0xc4690c86u, 0x4974c5cau, 0x25752133u, 0x7c94edf5u, 0xeeb490aeu, 0x568944bdu, 0x8509e058u}}; static const sha256_midstate cmr_caseIV = {{0xacb7606du, 0x3c55cea3u, 0x61e3e4a0u, 0x9142f5ecu, 0x6bb979ddu, 0x1cf8a192u, 0x9124444cu, 0xc5cbb93au}}; static const sha256_midstate cmr_pairIV = {{0x8c8665b4u, 0x6b903c23u, 0x7a2e1c54u, 0x77b69ac3u, 0x28987661u, 0x287092d3u, 0x6a3c9976u, 0x9685c658u}}; static const sha256_midstate cmr_disconnectIV = {{0x36134881u, 0x7e0b72d2u, 0xfa283822u, 0x5d0eca86u, 0xe8cc75dau, 0x29efd14au, 0x0bcb0d2eu, 0x1b3b0d1eu}}; static const sha256_midstate cmr_injlIV = {{0xd80718a9u, 0xdf51d764u, 0x362211abu, 0xa47dafc9u, 0x3af0701bu, 0x5dd536a5u, 0x7b25b949u, 0xdf494f71u}}; static const sha256_midstate cmr_injrIV = {{0x3a3ae1a1u, 0xc62bcf45u, 0x6b5da2c1u, 0x1d60c898u, 0xbc3bd06fu, 0xe9c66d56u, 0xc7032a63u, 0x207a7bf6u}}; static const sha256_midstate cmr_takeIV = {{0xeae2b689u, 0x82ba678fu, 0x976e6d96u, 0xc7704207u, 0x867b4fdbu, 0xc76da80du, 0xb7b95969u, 0x203cbf17u}}; static const sha256_midstate cmr_dropIV = {{0xb305bdafu, 0x53932989u, 0x1281cb21u, 0xa4a6e9ccu, 0x9e568515u, 0x8079cacau, 0xa941fe65u, 0x7567ddb7u}}; static const sha256_midstate cmr_idenIV = {{0xdbfefcfcu, 0x7796acfcu, 0x86b435c1u, 0xf81ed8a1u, 0x65dab264u, 0x9dc48b0fu, 0x35f83264u, 0x7868fb5eu}}; static const sha256_midstate cmr_unitIV = {{0x62274a89u, 0x833ece8bu, 0xa5ff57b2u, 0x8118c006u, 0x3d3d4a85u, 0xdd25aae0u, 0x6f876176u, 0x04402715u}}; static const sha256_midstate cmr_witnessIV = {{0xbf12681au, 0x76fc7c00u, 0xc63e583cu, 0x25cc9723u, 0x7337d6acu, 0xa30d3f4au, 0x66407544u, 0x5385c648u}}; static const sha256_midstate amr_assertlIV = {{0x5c376038u, 0x81c5e4c3u, 0x9d4a057eu, 0xf12b860bu, 0xbdcbb4dbu, 0x08b63587u, 0x99e23c4bu, 0x94a9745bu}}; static const sha256_midstate amr_assertrIV = {{0xe7604dc0u, 0xa1e16e73u, 0x8c7b1378u, 0xa3f16306u, 0x19479087u, 0x95aa2c2au, 0x51976fcdu, 0x0cd5b68bu}}; static const sha256_midstate amr_compIV = {{0x614523eeu, 0x8f531e69u, 0x6d688301u, 0x41cb8518u, 0x841b0dd1u, 0x98b97b54u, 0xe808b82cu, 0x210991ccu}}; static const sha256_midstate amr_caseIV = {{0x9e6e5a58u, 0x03002bc6u, 0x19e2d012u, 0xfd09ea31u, 0x73abd01du, 0x940cb59bu, 0x1935894eu, 0xc3fedf04u}}; static const sha256_midstate amr_pairIV = {{0xffe83ac0u, 0x36a20ba2u, 0x1601c5d1u, 0xcefbb051u, 0x2558a039u, 0xf141b6a4u, 0xcfbe3386u, 0x956247deu}}; static const sha256_midstate amr_disconnectIV = {{0x428dfbc9u, 0x8ca7e553u, 0x8eeb05a6u, 0xd167fb49u, 0x63f7e42au, 0x74a37436u, 0x3c6940acu, 0x9aa1a3efu}}; static const sha256_midstate amr_injlIV = {{0xc2a12f43u, 0x6e0331e4u, 0x36c81e87u, 0xeb72c6d8u, 0xd390a5a8u, 0x0795e36cu, 0x6b8f91b4u, 0x60deeecdu}}; static const sha256_midstate amr_injrIV = {{0x18c6f138u, 0x18afd4e2u, 0x48cdf27au, 0xa6057f91u, 0xca393da5u, 0x01de6947u, 0xdc8961abu, 0x77582ad1u}}; static const sha256_midstate amr_takeIV = {{0xb2b1ede0u, 0xedd5e713u, 0x84f913c7u, 0x14a63f24u, 0x405ef61au, 0x01ef02adu, 0x409a84e9u, 0x095a4b13u}}; static const sha256_midstate amr_dropIV = {{0x09f52a27u, 0xa9fac46eu, 0x2326bc62u, 0xf86b819cu, 0xad70f260u, 0x4c204858u, 0xa914f929u, 0x159a7b5fu}}; static const sha256_midstate amr_idenIV = {{0xb17c6f06u, 0x6661cfbbu, 0x685df815u, 0x0186b593u, 0xe4fccacfu, 0x8a8796c4u, 0xcb15ccd4u, 0x7d9fa458u}}; static const sha256_midstate amr_unitIV = {{0x950d69a6u, 0x6004a0e2u, 0x03e95de2u, 0x3d4abd1au, 0xcb6ad14fu, 0x9a1f74fbu, 0x60c24759u, 0x87c578b7u}}; static const sha256_midstate amr_witnessIV = {{0xedb29895u, 0xbe3530b7u, 0xb6ccae11u, 0xffbd0b2cu, 0xa84ab6cau, 0xecf3b0cfu, 0x641aa710u, 0x39dc4397u}}; static const sha256_midstate imr_disconnectIV = {{0xbbd4996bu, 0x6ab7cfc2u, 0xf17e4cb6u, 0xc8dadde5u, 0xe40af23bu, 0xce2da63bu, 0x80918526u, 0x5d3e5311u}}; static const sha256_midstate imr_witnessIV = {{0xd7f8834au, 0x2571f9abu, 0x85c10cceu, 0xb4563b83u, 0x795e358au, 0xbd1410ddu, 0x737df982u, 0x91317825u}}; static const sha256_midstate identityIV = {{0x84d0d2c2u, 0x289093d6u, 0x4b068585u, 0x04cf5fb3u, 0x36dc4043u, 0x71b28864u, 0x81ee6783u, 0xa4fb0010u}}; static const sha256_midstate hiddenIV = {{0x0308705du, 0xdc7485ebu, 0x94f05f48u, 0xf01c92cbu, 0x62a1e057u, 0xaae4ece6u, 0xfd271c8fu, 0x1c49654bu}}; static const sha256_midstate jetIV = {{0xb3f14291u, 0xa2787fa8u, 0x14f81466u, 0x27815668u, 0x6d7d3f43u, 0x24e81bd4u, 0x61abf4ddu, 0x201ad3a8u}}; /* 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[] = { {{0xbd0cce93u, 0xe713a2aeu, 0x961bf91cu, 0x7d113edbu, 0x0671c786u, 0x9c722513u, 0x64682ac8u, 0x977eade7u}} , {{0x79a70c6au, 0xe11897acu, 0xc1428c38u, 0x568a4522u, 0x2e7c3ea6u, 0x4c66ab4au, 0x104324eeu, 0x391bff9du}} , {{0x34faa8c7u, 0xa8b00421u, 0xfd27c6ddu, 0x18f29108u, 0xb15f9504u, 0xbbba7ff5u, 0xc2a2d7eeu, 0xd140ea68u}} , {{0x94c6b321u, 0xa3c9d595u, 0xeeb3f70au, 0xb6c461b0u, 0x961dc74fu, 0x33b5c175u, 0x31adca58u, 0x26274a34u}} , {{0x69290aceu, 0x96d7a632u, 0xadd27fa8u, 0x02c7d70fu, 0x6d6591e9u, 0xc41974d4u, 0x350f04c3u, 0x99f442dbu}} , {{0x864eb292u, 0xceff99c9u, 0x4a99d9e8u, 0xf46983c0u, 0x6b1800d8u, 0x4bc7c32fu, 0xc19bf49au, 0xc704c55fu}} , {{0xe348cea0u, 0x8dda9ae3u, 0xd0531bb0u, 0x49a54145u, 0x6d0c543du, 0x9da58602u, 0x64c46a0cu, 0x1a8917a2u}} , {{0x2298d3d6u, 0x09e31c67u, 0xd34b709au, 0x8947f563u, 0x969dd453u, 0xdbeaed0du, 0x52cf12ebu, 0x40ac4d2au}} , {{0x8bfd749cu, 0x2ba5dcc4u, 0x50897c6cu, 0x42cbfabdu, 0xb48dabcau, 0xb3202fdcu, 0x3af061a6u, 0xecbc2257u}} , {{0x561a1c02u, 0x497fc7cbu, 0x3d27f5ccu, 0x673b6ae1u, 0x64a93848u, 0x7b619894u, 0x7def17b3u, 0x5c91334du}} , {{0xa63ba58bu, 0xd4559ca8u, 0x457edc72u, 0xb7d4277eu, 0x35370082u, 0x9764c512u, 0x94d71441u, 0x5a4f84d0u}} , {{0x2fea2592u, 0x0177ad68u, 0xc5296cdfu, 0x8c3124d7u, 0x19ba853au, 0x39f99969u, 0xd384cc9cu, 0xaa7bb605u}} , {{0x817eafddu, 0xe941a5b2u, 0xfafeff03u, 0x5e0df6dbu, 0xa5c083c3u, 0x85c112efu, 0xf5bdb7e7u, 0x8223518eu}} , {{0x96ce840fu, 0x0a10625au, 0x6091e9a0u, 0x9fe6149au, 0x65803d66u, 0x4c380cb6u, 0x34a6f1b0u, 0x9c09c658u}} , {{0x26bcfb68u, 0x1b250310u, 0x6b7d4168u, 0xefca7663u, 0x5615bd28u, 0x8859c90au, 0x686f573du, 0x7d550b88u}} , {{0xef0ed9a3u, 0xd0788432u, 0xfde434e4u, 0x10751503u, 0xff06081bu, 0x8565d97au, 0xb34d56d1u, 0x0c7a53fbu}} , {{0x1f20155du, 0x691c9b81u, 0xa511a9c4u, 0xa8109dceu, 0xa7652101u, 0x498efe36u, 0x608263efu, 0xa3c3e91fu}} , {{0xc1ca6fa3u, 0xc6005b88u, 0x5c718877u, 0xf1994988u, 0x68c4e636u, 0x00c4aed4u, 0xd6331b35u, 0xf417dcf5u}} , {{0x210d5087u, 0x6667ece5u, 0xe1634da6u, 0xcfdda129u, 0xac15a54eu, 0x0221fd9au, 0x652c9892u, 0x9a084072u}} , {{0x9265f0ceu, 0xeb608b64u, 0xfa9b2aacu, 0xc2eecaf4u, 0x04beca43u, 0x433ffda4u, 0xadf0c010u, 0x6fa1c52au}} , {{0x8e5b1cbcu, 0x39c65083u, 0xe211ef4cu, 0x85180abeu, 0x7af75b08u, 0x1cbbb00fu, 0xd24c244du, 0x7033334du}} , {{0x3d8155a3u, 0x34a81df0u, 0x122ae8c6u, 0xaceb0415u, 0x08a73549u, 0xee8d65a6u, 0xd584f7d0u, 0xb9ccb852u}} , {{0x10df87dcu, 0x2281018du, 0x1a9a7515u, 0xcfcbb097u, 0xea3ad5bau, 0x03c0fd30u, 0x5114db9au, 0xfae7a235u}} , {{0x9e8bd468u, 0x69bd96e6u, 0xac97e0c6u, 0x31374718u, 0xe39a894bu, 0xd86a9a30u, 0x354d0121u, 0xc36b0114u}} , {{0xc55ab128u, 0xff490dbdu, 0x012ebb50u, 0x6edd8348u, 0x7603fd78u, 0xa9cc7b08u, 0x6e243181u, 0x6fe4115eu}} , {{0x69e31500u, 0xf6eca57au, 0xec8583abu, 0x62f21a14u, 0x892da65bu, 0x8599805fu, 0x1817ceafu, 0xfb767358u}} , {{0x56e271c5u, 0xfa787f6du, 0xeaadaee2u, 0xcdc826f1u, 0xc8e539a0u, 0x1b908d09u, 0x95adbdabu, 0x1b48420du}} , {{0x6623f2a7u, 0x60812aacu, 0x67af5e0au, 0x16d2c08du, 0x2b36f9a0u, 0x59a565c8u, 0x16a27886u, 0x58d93ddfu}} , {{0x94a3c121u, 0xf7467967u, 0xa8553443u, 0xf38f911au, 0x9d4f90aau, 0x2b2ac7c7u, 0xd35f1dccu, 0x446961d4u}} , {{0xf0b181f9u, 0x2fdff56eu, 0xa25c5615u, 0x13e53a6eu, 0xee16c3c9u, 0x76ca50bcu, 0x016241bcu, 0xaab36d43u}} , {{0x308684e6u, 0x63a6a52bu, 0xf9cb70d9u, 0x7e0c163fu, 0xc3432ccau, 0x4eb8ced3u, 0x75d94f78u, 0xb5561ca5u}} , {{0x44921410u, 0x5436c135u, 0x7dbff161u, 0xc4fb556du, 0x06d40e40u, 0xa9bcb027u, 0x75ce868bu, 0x94959645u}} , {{0x7869b4a7u, 0x536efd9bu, 0xac85e9a3u, 0x8ce2489cu, 0xd1a6f012u, 0x7a048b20u, 0x57eb59e9u, 0x534f4022u}} , {{0xdc27b21eu, 0x8d436611u, 0xed038094u, 0x9b172fedu, 0xbe464ac4u, 0x4ceee53fu, 0x423dc5bcu, 0x365eb12eu}} , {{0x0ca1ed28u, 0x49ec7313u, 0x322837e1u, 0x550ae951u, 0x1adf6962u, 0x17261021u, 0x5b075dbau, 0x27f34770u}} , {{0x2a177f23u, 0xa95bac14u, 0x78576a38u, 0x7046d0d0u, 0x33a8c0a8u, 0xc8ad8956u, 0x6d5be67cu, 0xad17cc68u}} , {{0x9ce6d720u, 0x54fff5afu, 0x6c4fba17u, 0xcd0dab59u, 0xf2096fe6u, 0xae198973u, 0x417e2190u, 0xf73f39eau}} , {{0x985a6ed7u, 0xb4a85ae8u, 0x692be24du, 0x292f0145u, 0xed4d52e1u, 0xff362363u, 0x2e9de6e2u, 0x9fe8614au}} , {{0x54598539u, 0xdf62637du, 0x5a7008b3u, 0x04167eb6u, 0x821bd9e4u, 0x44cd84fbu, 0x7842f64du, 0x2adeb138u}} , {{0x81b0bc69u, 0xc5c4fe61u, 0x0245cbcdu, 0xa5d71b56u, 0xea7efb91u, 0xc3e433bdu, 0x70a0d420u, 0xc2ca26b1u}} , {{0x9f972a43u, 0x0bcb84b7u, 0x137c5811u, 0x9427cd01u, 0x68ae1956u, 0xc107417bu, 0x9f47fdedu, 0x42244aeeu}} , {{0xd7e90fddu, 0x6e4e2129u, 0x5789dd24u, 0x72c1a27au, 0xd97b4f6bu, 0xe2b21041u, 0xaf1efbecu, 0xa6853d42u}} , {{0x4fed6606u, 0xafeb5112u, 0x6e56271fu, 0x87e17dc3u, 0x29df99beu, 0xb4268bc4u, 0xe505d98eu, 0xd594ea58u}} , {{0xce06a2a7u, 0xe9562611u, 0x49753c5eu, 0xea781a52u, 0x8028f89eu, 0xf3cd1225u, 0x9a86d519u, 0x820a61f2u}} , {{0x1683d63fu, 0x43c94706u, 0x62f54f8cu, 0xb90f2cbau, 0xfd07de70u, 0x04ac0f02u, 0x7fe49b57u, 0x93b6718au}} , {{0xc15e0ab4u, 0xbbb7d480u, 0x3439e998u, 0x8a516fa6u, 0x0c6319b8u, 0x5c29e67cu, 0x356a48a0u, 0x359f6591u}} , {{0x840b3451u, 0xb067915eu, 0xf9d020f6u, 0x8f5a0d32u, 0x1b0ba71bu, 0xbff54714u, 0xb0ec8e4au, 0xef6017a0u}} , {{0x4fcc2dfdu, 0x2f938992u, 0x92aba19du, 0x8db819d6u, 0x3b514697u, 0x37dfab55u, 0x2d0e1e5eu, 0x90cbab93u}} , {{0x0c287e96u, 0x2597aeb9u, 0x990baa67u, 0x214d4ab3u, 0x244c0879u, 0x9991915bu, 0xcf80b939u, 0xc5f65802u}} , {{0x02ad6f4fu, 0xbd46670bu, 0xbaea48cfu, 0xd816397bu, 0xfbab05a3u, 0x6f4ce195u, 0x40b60168u, 0xd083d135u}} , {{0x378de1abu, 0x4ed303fdu, 0xa17fb791u, 0x8ce52af6u, 0x8df81374u, 0x75b58348u, 0x97afdee6u, 0x5966a662u}} , {{0x0978b025u, 0xda373c7eu, 0xdb9e04c3u, 0x2c52b263u, 0x575345f1u, 0x63bc987fu, 0x76b3a0f9u, 0xa9f2a097u}} , {{0x23d3c923u, 0xcef31bb9u, 0x93de00a0u, 0x34801191u, 0x5d0dc021u, 0x80249617u, 0xe71b7255u, 0x4138fe72u}} , {{0x858b8e53u, 0x9d1f37ceu, 0xa2ccce0au, 0x5eced510u, 0x760946c0u, 0x8435d32cu, 0xd1a19656u, 0x415f3875u}} , {{0x15fc9198u, 0x53b19740u, 0xfd6a78b4u, 0x83539073u, 0x1dc4a7c0u, 0x8ce81b14u, 0xff9ed80fu, 0x7c49b1f1u}} , {{0x0ad1bf3du, 0xe53f2d7fu, 0xa8180c87u, 0xf06bb787u, 0x2b59c576u, 0x6fe883d3u, 0x7d97a181u, 0x095fdf6eu}} , {{0x41c5912du, 0x5f8314b8u, 0xb00502b7u, 0xad5c778eu, 0xe8628019u, 0x135b4250u, 0x677c6e92u, 0x6a51345du}} , {{0x3811b751u, 0xea492919u, 0xa91f201cu, 0x09efc10bu, 0x03372ff0u, 0x5793e9ddu, 0x63e32c58u, 0xf0e0e8a3u}} , {{0x46403ecau, 0xf6a6e725u, 0x2d372b99u, 0x5857efc3u, 0xf017943du, 0x19e5e5f5u, 0x594a5d98u, 0x2fe8fff3u}} , {{0x53ed84d7u, 0x932fc826u, 0x3caf949eu, 0xf8cff4c3u, 0xacf725f5u, 0x55720acau, 0x1310a0e4u, 0xe9901405u}} , {{0x00bf49e5u, 0x5e7cbbdbu, 0x59085bb6u, 0x59ceab75u, 0xabb914e9u, 0x0e356619u, 0x4fe10f99u, 0x916eda55u}} , {{0x6200d011u, 0xd369623bu, 0x7ff4223eu, 0x23cc7251u, 0x7bfbf50bu, 0x13bcf210u, 0xf9542aa7u, 0xa5713798u}} , {{0x6fb06776u, 0xe75cb298u, 0xc8f8e08bu, 0xbe86ac1au, 0x35316eb7u, 0xbf677f5fu, 0xb2166560u, 0x761978bdu}} , {{0x8b955c7eu, 0x394ace42u, 0x668c4787u, 0x09a4ef14u, 0x8a300745u, 0xabb1fdb1u, 0x083eec05u, 0xf6c63ef4u}} , {{0x47f63ff2u, 0x803900afu, 0xbeec3503u, 0xaf79ee9bu, 0x3403f899u, 0x185f780bu, 0x6046b4e2u, 0x1f1d4462u}} , {{0x17a6953fu, 0xd67ecdc1u, 0x4e533fd2u, 0x9f564d72u, 0xd33ec6b1u, 0xc8311fa9u, 0x2fe32da5u, 0xed76d071u}} , {{0xe90c9617u, 0xded1f46au, 0xb856db7fu, 0xb893d794u, 0x04019443u, 0x9a761c3cu, 0xaaac4f1du, 0x9d3f06d2u}} , {{0x4d5971b4u, 0xdc19e738u, 0x596be304u, 0x662b56b4u, 0x9772eef1u, 0x7b777e46u, 0x5f811c7eu, 0x7f429648u}} , {{0xb332927du, 0x564d53efu, 0x3b847db0u, 0x3d0709a8u, 0x99645fd3u, 0x41d93f7eu, 0xe24b66d4u, 0x429d1a0bu}} , {{0xdce6be95u, 0xccb39ab7u, 0x48de6d87u, 0x58d6bf56u, 0xaf894becu, 0x85f1eb24u, 0xff3a21b0u, 0x6f935404u}} , {{0x5b4c1b62u, 0xcfb48dfbu, 0xe73b0c9du, 0xc09334deu, 0x9ff1fcbau, 0xb7cf39efu, 0x8b25827eu, 0x69eb9347u}} , {{0xe970e231u, 0x34c8455au, 0xca009223u, 0x482d9f20u, 0x7c3d336au, 0xec0a942fu, 0x13ae01dfu, 0x1398683eu}} , {{0x172fdcaau, 0x3e3d2924u, 0x56f4f521u, 0x6b0a75a5u, 0xa67a94a4u, 0x1a0cd37au, 0x3b80e433u, 0xf72d5954u}} , {{0x4b421c8cu, 0xe1015e0bu, 0xbdb55977u, 0x014afccau, 0x86bd24a9u, 0xc0587966u, 0x77f25177u, 0x38876972u}} , {{0x7ecd3a29u, 0xf4f4b60fu, 0xc9e379aau, 0xd7a5af67u, 0xa78f6e8bu, 0xebbc4c7cu, 0x10d0dc8cu, 0xad92da1eu}} , {{0xb271931bu, 0x76bfacbfu, 0x5c5e8a21u, 0x0e91a502u, 0xadb9f8e2u, 0x196e1396u, 0xba960ac1u, 0xe5f22d9cu}} , {{0x23b4af88u, 0xae526c32u, 0x684a8221u, 0xec2ab6b7u, 0x47408addu, 0x2fe373a1u, 0xe7ca15e8u, 0x6f19d453u}} , {{0xc7e603bbu, 0xc894563cu, 0x51e3e5cfu, 0xd6b423b7u, 0xc22bcdd7u, 0xbcdb3119u, 0x0066b1e6u, 0x9acdf6a9u}} , {{0x9adb0e64u, 0x5a68953bu, 0x604224d8u, 0x76a7ce70u, 0x9ea6c56au, 0x917b81feu, 0x68eb6f11u, 0x46301257u}} , {{0xb7aac2b0u, 0x10b727bfu, 0xcf6ee75au, 0x3b517647u, 0x20265dc6u, 0x9c23b95au, 0x1246a5bcu, 0x7e11aae5u}} , {{0x049f84edu, 0xd55c5b80u, 0x0e933e2du, 0xa7e3a09fu, 0x71537465u, 0x1a1eb94du, 0xc8e2ae69u, 0x3a51eb65u}} , {{0xddeeca1fu, 0x68135d7bu, 0xb0fcd0b7u, 0x62ac5be9u, 0x901be52au, 0xedc1b07cu, 0x68f5c926u, 0x1f4990a4u}} , {{0xb64f52c3u, 0xfd1838cbu, 0x1b3fe6ccu, 0xe80cd5d0u, 0x1af5a3e7u, 0xa06b10f9u, 0x6a04118eu, 0xa4f8c565u}} , {{0xfeda8baau, 0x1ab9832eu, 0xbf1228e7u, 0x3900f61du, 0x41c41518u, 0x4c5cb025u, 0xcc2aedd4u, 0x2658b617u}} , {{0x2b487764u, 0x97251967u, 0x7a1899adu, 0x50740840u, 0xf5f2e17bu, 0x7a37a16du, 0x1b717116u, 0x21a8c050u}} , {{0x216038ffu, 0x70ff574cu, 0xab0be742u, 0x128bc6d5u, 0x51ccc154u, 0xf77b3996u, 0xa91c2f65u, 0xc5246761u}} , {{0x248d6cb7u, 0xd3908d76u, 0xc2e5f252u, 0xa56af337u, 0xd8c87d01u, 0x36a80112u, 0x2e5d87afu, 0x47bbc752u}} , {{0xb9023978u, 0x667893f0u, 0x1b3bc93du, 0xde6ec84du, 0x8bd67d92u, 0x7e12d89fu, 0x9583b89cu, 0xb4698b37u}} , {{0x2b345b7bu, 0xf2673030u, 0x75e99692u, 0xfceed61eu, 0xbecf1899u, 0x3497e45cu, 0x613f26a2u, 0xb3a9d1a8u}} , {{0x8677e1dau, 0x2234d5b0u, 0xfed1f3b4u, 0x70e5c897u, 0x7ff4c0bbu, 0x6b464cfbu, 0x770cdfe6u, 0xaf28a05eu}} , {{0xc160d89fu, 0xb1c96bdau, 0xb3a6c78fu, 0xf6c374e8u, 0xe3ea718au, 0x22a7529cu, 0x01be073bu, 0x762b7034u}} , {{0x8142dd81u, 0xfadf33b2u, 0x2627a2dcu, 0x53096c11u, 0xa35d1834u, 0xfac30ee1u, 0x2236c8ccu, 0xd74756d4u}} , {{0xeefbf707u, 0xbd6c4371u, 0x9f5b4cb5u, 0xd874fbf8u, 0xa1fe1b20u, 0x166c879cu, 0x9413ad4du, 0x85debbfcu}} , {{0xb2f137a2u, 0x43502169u, 0x44059e2du, 0x52df2710u, 0xc96f3faau, 0x13e064a2u, 0xc4692999u, 0x2be805f2u}} , {{0x748fe501u, 0xb086c503u, 0x172aad57u, 0xfc86f38du, 0x018a4ac5u, 0xc2e370feu, 0x424e7ecfu, 0x3da16dd9u}} , {{0xbffb33acu, 0x0fdb8e33u, 0x547fb4d2u, 0x915071c2u, 0xc18ec23du, 0x15a77997u, 0xce28cd0du, 0xadff2604u}} , {{0x3970085du, 0x5f6e2c5bu, 0x94f7981du, 0xe2775c9eu, 0xa1ed6057u, 0x16af5668u, 0xb17068b7u, 0x9541e9edu}} , {{0x04b194d0u, 0xc7434394u, 0x0fa4b9b3u, 0x6360c7dbu, 0x35023699u, 0x91aebcb8u, 0x57e53228u, 0xbdf059fbu}} , {{0xf942e061u, 0x72120acbu, 0x9a4287feu, 0xd83d9d31u, 0x40217fe5u, 0x4246a2afu, 0xcd04742bu, 0x7b39019au}} , {{0x3f6b6ff7u, 0xdff51e5du, 0xecdb2c7cu, 0xfa87cf3au, 0x334f2ed9u, 0xdf174a13u, 0x613bc6d1u, 0xa96310bau}} , {{0x911a8851u, 0xf809e41au, 0xda931f64u, 0x0ed0e37au, 0xe38fee5cu, 0x28c7ab92u, 0xfa492aa8u, 0xd442c79eu}} , {{0x7a3f2191u, 0x1708e4b0u, 0x1fffeb28u, 0x8bd9db80u, 0xb085b077u, 0x7c222e86u, 0x925192acu, 0xb740853du}} , {{0xb09c2787u, 0x5502cf64u, 0xbc7912beu, 0x40a3b960u, 0xd0b349f2u, 0x5e056abbu, 0x6a25d402u, 0x3af6b3c9u}} , {{0xcb1d9c66u, 0x134f1b5eu, 0x9993ca1cu, 0xcca501b9u, 0x09782391u, 0xef425ca2u, 0xf4588f55u, 0x635ecec3u}} , {{0x2378f42cu, 0xe5176a8au, 0x95a63ba9u, 0xe430c3f3u, 0x98862763u, 0xc32c364bu, 0x15b944b9u, 0x8eeecd2au}} , {{0x4819a091u, 0x5a7168b3u, 0x761d4d1fu, 0x4e504049u, 0x5f4ea8e7u, 0xe51ec726u, 0x96129cbau, 0x32faf1e2u}} , {{0x7f3a008du, 0xb2b5757au, 0xded57794u, 0x01f422c6u, 0x115ce49cu, 0x2fe8f1cbu, 0x732490b4u, 0x2c8e5729u}} , {{0xd2a16d0eu, 0x122e2e66u, 0xce72308fu, 0x063b877bu, 0x47f0400cu, 0x07b0908au, 0x08d3eac1u, 0xfd6ac85bu}} , {{0x5af57669u, 0xf452744cu, 0xd3e8458du, 0x6549f234u, 0x85327c60u, 0x548b8206u, 0x70e35bfeu, 0xfc9b89c3u}} , {{0x114624a0u, 0xd9428a31u, 0xfef5046cu, 0x5760658du, 0x3f222330u, 0x09c80aefu, 0xcd98bacfu, 0x58aaaadau}} , {{0xdabeee58u, 0x87d1b6a0u, 0xf08f5dd0u, 0x27cb5277u, 0x35e63229u, 0x714607b8u, 0xf62ec434u, 0x951fc87eu}} , {{0xaf4a5cf0u, 0x0129243du, 0xaa0ee136u, 0xf284ccb8u, 0xa29d640fu, 0x3959fab3u, 0x46931995u, 0xd2f64c00u}} , {{0x70b45deau, 0xbf916873u, 0xdc10077au, 0x388b5f45u, 0x48e20351u, 0x0c291336u, 0xd8c1a4c1u, 0x4cc4bcc1u}} , {{0x338da171u, 0xef57ab1au, 0xca45e8dau, 0x870792e6u, 0x9834e42cu, 0xc20f72bau, 0x4c9dc471u, 0xfbfde573u}} , {{0x28e48b4bu, 0xcdb9fd61u, 0x12840c82u, 0xb9009ba1u, 0x247ac586u, 0x88184090u, 0xe3ac9d10u, 0x71324db5u}} , {{0xb4c72912u, 0xe07b6dd7u, 0xf433b7f7u, 0xee0db173u, 0x4049a4b6u, 0x2a8f40cau, 0xbf872a77u, 0x8ebecb2fu}} , {{0xee3f728fu, 0xba79b341u, 0xf38ee7c7u, 0x4ccda428u, 0x4c3bd6e3u, 0x7deb43d1u, 0x9f926026u, 0xa3c6f655u}} , {{0xac2c3869u, 0x93cc1ed8u, 0xe738d582u, 0x3c1570f8u, 0x3a913779u, 0x629c189bu, 0xf733cb20u, 0x4de10cc0u}} , {{0x692c6dc2u, 0x751ea1bcu, 0xcbac3fcau, 0xa24365f7u, 0x76005990u, 0x320d939bu, 0xce16336cu, 0x8d43d76cu}} , {{0xf1f60eafu, 0x8fbc47d2u, 0xef578b8au, 0x435b9ad3u, 0xe8ad523du, 0xaede6850u, 0x0086b3feu, 0x53a40e92u}} , {{0xa4daa93au, 0x3b06a038u, 0x02ef3dc4u, 0x56ad9487u, 0x7f478b28u, 0x6ea6c6acu, 0x4b9fbb39u, 0xc87f532du}} , {{0xc431441cu, 0xb00af4c2u, 0x9d5b9038u, 0x0074ce98u, 0x2979c3b5u, 0xbaf9ba74u, 0x22506834u, 0x0f8a664bu}} , {{0xccfbc87cu, 0xf458a489u, 0xca5163d6u, 0x748e5433u, 0x8e981cdbu, 0xfee5dc7du, 0x4248209cu, 0xb2466b4fu}} , {{0xeb061ed5u, 0x4bfe5d5cu, 0x6dc9fbddu, 0xd9aa8f4au, 0xc961b7c9u, 0x41378767u, 0x191606f1u, 0xc5a43d04u}} , {{0x5c8d3dcbu, 0xa154f651u, 0x7a7affd1u, 0x04f7757au, 0x7fb08f84u, 0x26067f11u, 0x526c0951u, 0x245cb5b9u}} , {{0x9fc15844u, 0xf4e6a53fu, 0x6cf46932u, 0x41679c2du, 0xc786842cu, 0xffff0e65u, 0xf9bd8ea5u, 0xafa6fe11u}} , {{0x8d9bdee2u, 0xa53805ecu, 0x50135048u, 0xb2c47aa9u, 0xf87a3cfbu, 0x3693ac5bu, 0x87b7172du, 0x82a42ef6u}} , {{0xf48f9c46u, 0xffd18c82u, 0xb267107fu, 0xffd56661u, 0xd3911fb5u, 0xc14eaac4u, 0xdee070efu, 0x4c0fa255u}} , {{0xd414a856u, 0x52af7233u, 0x785f6bccu, 0x39667a20u, 0xbe03aa0eu, 0xbe5237fcu, 0x0e8877bau, 0x33c182dfu}} , {{0x9ffc88c1u, 0x77eb98a9u, 0x1c11b7e2u, 0x13d2750fu, 0xa5d25475u, 0x646d4d03u, 0x62e385dbu, 0x4688499bu}} , {{0xb4d20b2cu, 0xe43b9d0cu, 0xc0b4bd5bu, 0x6f53121eu, 0xe985de52u, 0xe23a44afu, 0xe3ada016u, 0x42e9c741u}} , {{0x5fb5d0b7u, 0xd9357447u, 0xd23cbcd6u, 0xdd39eb61u, 0xda373522u, 0x217f5b5bu, 0x23a51a92u, 0xd155e9beu}} , {{0x6b0cc7a4u, 0x2822c8d2u, 0x82e05b78u, 0x3772230cu, 0x6e1d7514u, 0x1f85e325u, 0xe423156cu, 0xe699a32fu}} , {{0x626b4ea8u, 0xcc555827u, 0x86d54563u, 0xbcf778b8u, 0x333b820bu, 0xe87496d9u, 0x930165deu, 0x18508bfeu}} , {{0x6f775d39u, 0x1645bf33u, 0x460cc363u, 0xf649a9cfu, 0x9ad8b9aau, 0x5918ce8du, 0x4309a47eu, 0xe43f0025u}} , {{0x71cfa14au, 0xf4a75ac1u, 0x8f077d75u, 0x5fff531du, 0x439ceeefu, 0x1388dee4u, 0x9e9aa171u, 0xd8c8773fu}} , {{0x133db961u, 0xbe2d1f76u, 0xacafe6a0u, 0x8a825383u, 0xe942f989u, 0x101b79cdu, 0x27b19e5du, 0x2ee99468u}} , {{0x1439a9aau, 0x12f3e8cdu, 0x89d65d12u, 0x3c293b68u, 0xc9de6ef4u, 0x9421d122u, 0x3e1008cdu, 0xc67598d1u}} , {{0x07a10a11u, 0xcf9d406eu, 0xa9bdb5e5u, 0x2f6e5d75u, 0x40de6e0au, 0x8d9e7954u, 0x49916494u, 0xd1820606u}} , {{0x1160db6bu, 0x184bd7eeu, 0x4e0f233du, 0x82644a29u, 0x7e9e3c42u, 0x1b21d4bdu, 0x0eee9f56u, 0xfd10a8e8u}} , {{0xc32c6996u, 0xff2e4f4du, 0xe1e4e09bu, 0xca3f813eu, 0x9104dc7fu, 0xe31b9ee5u, 0xdce67d33u, 0x15fb74a5u}} , {{0x15f3e47eu, 0x42971422u, 0xab8c0ce4u, 0xd8771debu, 0xa5aadfd4u, 0xf9c7a90fu, 0x482bc937u, 0xebe5e23du}} , {{0xe3ef5b12u, 0x17a5cc94u, 0x621a06fbu, 0xc16fd529u, 0x3360d96eu, 0x3aa52634u, 0xe7a1310cu, 0xf981e927u}} , {{0x421602e7u, 0x37c6ee0au, 0xfafece2eu, 0x3b619ce0u, 0x61279dbfu, 0xb33f3b66u, 0x779a13d7u, 0x3e204d3au}} , {{0x513e73aeu, 0x7695eb01u, 0x9757077fu, 0x4e15a3e7u, 0xdae05936u, 0x940bfe08u, 0x0602492bu, 0xf4cd6da6u}} , {{0xd62dbd19u, 0xa60c2b64u, 0xb0c76eb8u, 0x1edc0944u, 0xbb82f064u, 0x14c504d9u, 0x2a4bad97u, 0xa8c700d7u}} , {{0xd409702eu, 0xcd0f9e24u, 0xc3c089c2u, 0xb23e2924u, 0x0d30eb67u, 0xd3344f23u, 0x41839000u, 0x9cfd8702u}} , {{0xc0ea4563u, 0xd27a3330u, 0x44740d00u, 0xaff47de5u, 0x605659b7u, 0x5184d5f9u, 0x660593c1u, 0xbb834cafu}} , {{0xee2a473fu, 0x505d3ebdu, 0x93451825u, 0xa1d44914u, 0x6ad5fcb6u, 0x27cf36d4u, 0xd700ee5bu, 0x097bafbeu}} , {{0x33d3b18au, 0xe7c852f1u, 0xb9ef8e96u, 0x427782e9u, 0x542571f5u, 0x19efff56u, 0xc882cc44u, 0x949dff62u}} , {{0x1866b2c5u, 0x461314a0u, 0x95e2cd67u, 0x779c116au, 0xa97cdeacu, 0x8dc3822cu, 0xf5d035e6u, 0x8c55260au}} , {{0x1fa2dff5u, 0x06565504u, 0xa826c3bfu, 0x2e41bf97u, 0xafb6e7a4u, 0xd1ed6dd4u, 0x9051d3f9u, 0x9040a7d4u}} , {{0x332e34ecu, 0xa1119232u, 0x3992abeeu, 0xb7ea1c75u, 0x823477ceu, 0xee4f4367u, 0xf4d79788u, 0x4ea9d61fu}} , {{0xf1c12135u, 0x930b828au, 0xe26357b4u, 0x9730763du, 0x87425482u, 0x14c2d79fu, 0xf97ff33bu, 0xda009911u}} , {{0xcee2dea1u, 0x01a9f646u, 0x1c9eb827u, 0xb96ec411u, 0x205bba29u, 0x26109e3cu, 0x1a423ddeu, 0x13ce72ceu}} , {{0x6fe60d7cu, 0x61e8df5cu, 0xba2fc725u, 0x93c0d703u, 0xbcef933fu, 0x777f9d1du, 0xb1da9c04u, 0xc8bef714u}} , {{0x47b9e5ddu, 0x013e4a5cu, 0x620ef1b9u, 0x1a3b809fu, 0xa8357b89u, 0x96bbb59du, 0x83ae02d3u, 0x3ae66462u}} , {{0xfc5177bbu, 0x7b495e91u, 0x872fc5dau, 0x5ce931a3u, 0xc34034e8u, 0x6a6f02a9u, 0xdbadcda3u, 0xb845f275u}} , {{0x822fae4cu, 0xacd377b8u, 0x1b91d1fdu, 0xefa0aaabu, 0xcdffb0beu, 0x04fabe47u, 0xa2e13b59u, 0x01d0d103u}} , {{0x1ee06350u, 0x3a0d28adu, 0xe85708f9u, 0x459a00f6u, 0x1049aa43u, 0x86084e9eu, 0xf9cfd9abu, 0xd6890807u}} , {{0x03045b90u, 0x772a0579u, 0xb6e487d5u, 0x96338a3bu, 0x9a1495d0u, 0xc7339d36u, 0x52df2f28u, 0x45d05c13u}} , {{0x155b47c6u, 0xb3e98050u, 0x5ac97631u, 0xd0ae000eu, 0xe5483b58u, 0x1571b030u, 0x2f68e1c7u, 0x9fcbbedcu}} , {{0x76cb024cu, 0xc123f92du, 0x36699a76u, 0xe370000eu, 0x4adf1307u, 0x1263b906u, 0x21ab2667u, 0x3c3e8651u}} , {{0xd2a64a9du, 0x64704ef1u, 0x34a1c509u, 0xb3a3fe22u, 0x6afca2fdu, 0x64fe364du, 0x3d493071u, 0x0b4b467fu}} , {{0x50f8f044u, 0xef9b3494u, 0xc93f8b68u, 0x8c276bc3u, 0x45277af2u, 0xc04318f5u, 0xebf0350bu, 0x38290b21u}} , {{0x7c30f4fbu, 0x5becd191u, 0xadda609au, 0x6c33a3b9u, 0x5dea5c6bu, 0x8f3ee583u, 0xcae8f80fu, 0x49cc0004u}} , {{0x0b7442f8u, 0x09968e8au, 0xb537e281u, 0x7303e877u, 0xac33c216u, 0xb31453a1u, 0xc24dd7e9u, 0x20691affu}} , {{0x3ab7e72du, 0x148eca81u, 0x1a31624cu, 0x2fdc26a8u, 0x912d2915u, 0xe61377f6u, 0xc6425b6cu, 0xbb6ca7d1u}} , {{0xa981ef7eu, 0xfead688au, 0xcc5ba4a9u, 0xfad83f98u, 0xd7acd541u, 0x89080e9eu, 0x319fefddu, 0x5beaf95au}} , {{0xe7e9b44fu, 0x62ed1dd6u, 0xef978b04u, 0x0ca814a2u, 0x9178adcbu, 0x4caeebeeu, 0x8389ddf9u, 0xa5fe3c6cu}} , {{0xa86d390eu, 0x3556de2fu, 0xf6ee23fcu, 0x1997c4ffu, 0x198963d8u, 0x432e33edu, 0x50c091b1u, 0xc23910c8u}} , {{0xc2b3f31bu, 0xb90c67f9u, 0x3d130987u, 0x61ae51c3u, 0x2c57f497u, 0xb16a68f4u, 0xe98871dau, 0x5728ff3bu}} , {{0x951dcd30u, 0x3f633091u, 0x88941531u, 0xf8de05f3u, 0x42d68627u, 0x17fa44b7u, 0x14a7c8a8u, 0x2dd34b5bu}} , {{0xb4faf107u, 0xcb75cc00u, 0x83a545c4u, 0x16614741u, 0x8a2bf695u, 0x15152b3bu, 0xbb3a4884u, 0x6486efa0u}} , {{0xc7fb5752u, 0xb769ebbbu, 0x10ca828du, 0x1563f30du, 0x66fda5c7u, 0x3bbef5eau, 0xda04e8c8u, 0x8ff655a5u}} , {{0xa2c0f68du, 0xe506ea35u, 0x192e8004u, 0x247552afu, 0x90dfbb6eu, 0x1c02a8c4u, 0x810816f1u, 0xf2acff6au}} , {{0x3d72cd7au, 0xda3ea87du, 0xb4342c84u, 0xd30e9ad6u, 0x06e73cd8u, 0xde9a9ccdu, 0x5f05a8fdu, 0x36f5db82u}} , {{0xc1cdc95eu, 0xaed5f27cu, 0xe0e1930du, 0xa823a16fu, 0x08d96b5eu, 0x7b4bb833u, 0x994b6ca1u, 0x9c2ecd3fu}} , {{0x2c917c7au, 0x10ba2503u, 0xa4cb3b00u, 0xdbaac43eu, 0x7bc4ad7bu, 0x6b6f6447u, 0x4f06a151u, 0x9e27df87u}} , {{0x28a99897u, 0xe93da824u, 0x78113678u, 0x2bba23f0u, 0x47926d16u, 0x1ec35598u, 0x7dc3a2f6u, 0x85bc975du}} , {{0xd36e79dbu, 0x0e1b2cd6u, 0xab3f8b23u, 0xfe507db6u, 0x1917e1dfu, 0x0c72f6cdu, 0x47014d33u, 0x928e4288u}} , {{0x892812a2u, 0xa4708059u, 0x2ed20b5du, 0x057d1654u, 0x129e7cf4u, 0x18a21702u, 0x5a53145du, 0x2fdf4b42u}} , {{0xd4bab947u, 0xc522fbafu, 0x8a58e057u, 0x2de11e52u, 0x218ef0b6u, 0xf322dd45u, 0x20b2d6a1u, 0x6d73cbd2u}} , {{0x7e759ea3u, 0x33c44664u, 0xa8e466a9u, 0xd378f094u, 0x8f6c6686u, 0x71a17685u, 0xfcd7a89cu, 0xc41462b6u}} , {{0xa15e4f4fu, 0x6d9ab98cu, 0xeb470ac8u, 0x62d8920eu, 0x6b936814u, 0x895d47c0u, 0x8913bbeeu, 0x67bcace5u}} , {{0xb7b565b8u, 0x7f8abb69u, 0x8dabd9f3u, 0xb688be77u, 0x60dc1cd4u, 0x3d9a0533u, 0x44ed7eb5u, 0x7672315cu}} , {{0xe1268196u, 0xb74ec65bu, 0xb6ed1d12u, 0x2729c61eu, 0xb2411c71u, 0x443e7422u, 0xb9ea9b76u, 0xb7ac6754u}} , {{0x64868f8fu, 0xbbf58d1du, 0x402a71f0u, 0x8b7dd6f7u, 0x63e23852u, 0xa44faa58u, 0x624cea8au, 0x0a92fcc8u}} , {{0x359642bau, 0x39ef4789u, 0xde201df1u, 0x08e67c37u, 0x4d4fd9b7u, 0x09ca476fu, 0x80315b6au, 0xbef5c250u}} , {{0x1962ee11u, 0x50cfa8efu, 0x80f4580au, 0xa88a14ffu, 0xd44c0588u, 0x4d5ad4c4u, 0xe324f4f6u, 0xd8ece56fu}} , {{0x3faa86a6u, 0x70e8804du, 0xfcaa6a38u, 0x4cc0a916u, 0x2b9f9043u, 0xfd297916u, 0x93003b2au, 0xdb4c55e6u}} , {{0xae6927eau, 0x7b41922bu, 0xc2d19163u, 0x58bc1eb0u, 0x539b15c1u, 0x097d2577u, 0xfa4d67ceu, 0xbc86b028u}} , {{0x5367328eu, 0x840dbeb6u, 0x5a346139u, 0xf58cf454u, 0x007917dau, 0x31eadff2u, 0x1fb385aau, 0x86b90176u}} , {{0x442a0dd2u, 0xf9581f47u, 0xf06fe3dbu, 0xe11772cau, 0x6f5abc1au, 0x8b268eb0u, 0x60953727u, 0x023de593u}} , {{0xebc55810u, 0x84136e73u, 0x5bd8a939u, 0x13bb6ec8u, 0xaed51cb9u, 0x8eb7c02bu, 0xe5325338u, 0x75cf5d24u}} , {{0xbbe05a1cu, 0x33b9f97au, 0x4de6d75cu, 0x8927686bu, 0xb260d09bu, 0xd1ec8403u, 0xa5646d72u, 0xec486d4fu}} , {{0x925ab2cdu, 0x7948b751u, 0x5894310cu, 0xb6e1530bu, 0x95a56c0eu, 0x6ff83bdeu, 0x2887aff3u, 0xe63f0176u}} , {{0xd2203d45u, 0xcf51ad73u, 0x7f65fa51u, 0x1a9afd98u, 0x3abcbb86u, 0x52da00cfu, 0x9de7e183u, 0x828b8abdu}} , {{0xb1e09827u, 0xf33cce04u, 0xb856a2a7u, 0x9786a67au, 0x4c95034eu, 0x9c8efc33u, 0x37d66918u, 0x85d57d7fu}} , {{0xecf79cb2u, 0x3ca270c8u, 0xd77a33e8u, 0x276b1e34u, 0xb27277d6u, 0xb37a3141u, 0xa7601d3bu, 0x8d3c2b61u}} , {{0x1195d608u, 0x79202167u, 0x612badf7u, 0xb7186fa5u, 0xb231271cu, 0xc7ecc2e2u, 0xa7f0cc92u, 0xc67ccd69u}} , {{0x7141597fu, 0xd410eb87u, 0x3ebfab06u, 0x1e5416c9u, 0x240029ddu, 0xddaeeb20u, 0x1b0151a4u, 0x031544cbu}} , {{0x31e9e72fu, 0x3bdb7582u, 0x72c29074u, 0xb6f12edau, 0xd68a558eu, 0x11885a42u, 0xc91ff6b2u, 0x7b83b448u}} , {{0xa38e79fdu, 0x1ad5cadcu, 0xb97fa93eu, 0x5ce75053u, 0x18baa38bu, 0x2d7baed5u, 0x522e5fb3u, 0xa47c334eu}} , {{0xc4862172u, 0x11a30248u, 0x85ad4e4au, 0xe645b391u, 0x423008aau, 0xbe4ec06du, 0xf2e8ed92u, 0x966c8c38u}} , {{0xaa1895e3u, 0xfccd94b7u, 0x87cd9c24u, 0x02a19b72u, 0xae27feedu, 0x8fb1de44u, 0x4872f341u, 0xe5bd5630u}} , {{0xa35bb460u, 0xa42226f0u, 0x885a024eu, 0xd3337bbfu, 0x20a166a4u, 0xdb2818abu, 0xcce2fab8u, 0xbb68711eu}} , {{0xd8730cdcu, 0xcd54974bu, 0x9d88b561u, 0xef6b8debu, 0xcc83d5e5u, 0x44ab20b0u, 0xc24d960bu, 0x1e89ca40u}} , {{0x6ef7c6a7u, 0xc3db6683u, 0xaf286619u, 0xe1edc55eu, 0x3314124eu, 0x582e935fu, 0xff7e20adu, 0x73c3a544u}} , {{0x07056f86u, 0xc9106359u, 0x2b3bc110u, 0xc8f387c7u, 0x74fc7fa2u, 0x007754f9u, 0x2334e485u, 0x8c16129fu}} , {{0x7fedb94cu, 0x82d7acefu, 0x6cca7445u, 0xcaee842du, 0x42b3009bu, 0x94ee4ba4u, 0x8edfda56u, 0xec51dd78u}} , {{0xca5241c6u, 0x9bb203a2u, 0x21ba8f5du, 0x1bb65e9cu, 0xb9a2958eu, 0x80b151ecu, 0xc30551adu, 0xdbab3522u}} , {{0xa575c721u, 0x6016b9b2u, 0x8bf7ff31u, 0x4285e550u, 0x35f9d912u, 0x0b1322dbu, 0xfd5db5a9u, 0xb97dc6a4u}} , {{0xbcb9eb97u, 0xb3e74169u, 0x07d500f4u, 0xca9a5542u, 0x12d4ec7cu, 0xe85490d3u, 0x31ba85c5u, 0x83b076deu}} , {{0x0de83b90u, 0x0ddb4efbu, 0x9a02d793u, 0x0815ad9fu, 0x4696b694u, 0x47836c38u, 0xd15a0bebu, 0x02a88087u}} , {{0x4382b6c1u, 0xf71cfd40u, 0x7eb819f5u, 0x73302ffcu, 0x071e97c7u, 0x44efa229u, 0x0ddc82e5u, 0x86ccf4e2u}} , {{0x0d984a45u, 0x037c6440u, 0x2135f147u, 0xbe845049u, 0x19655538u, 0xf81898aau, 0xd2369575u, 0xbbf32157u}} , {{0x5cfda8afu, 0xa1474542u, 0x48ab0128u, 0x11c9a1f2u, 0xac5ffbd4u, 0x2778c7e3u, 0x3183ba10u, 0x145ba5efu}} , {{0x55b6783eu, 0x12f9e60du, 0x6e95d510u, 0xe2ae787bu, 0xdf749e50u, 0xd6f5ae26u, 0x99aca708u, 0x27038e82u}} , {{0x4eb0832bu, 0x2b4ac369u, 0xf2a111e6u, 0xf33a6830u, 0xeb42753fu, 0x4ae72480u, 0xaa7088bbu, 0xc7b5a2e3u}} , {{0x0b80a156u, 0x2e5746a9u, 0x2cb64b26u, 0x8bb3f8b2u, 0xddb0b4f7u, 0x89371996u, 0x915059d9u, 0x8060f79cu}} , {{0x687e2ce2u, 0x822607f4u, 0xf24f1209u, 0x59114b4fu, 0x2d532a2eu, 0xe673a23bu, 0x4b07da11u, 0x19806297u}} , {{0xea24366eu, 0x3e33efdeu, 0x1c2e98f9u, 0x458976d2u, 0x2e8ece33u, 0x8c184de0u, 0x9f29cebcu, 0xf27451a3u}} , {{0x9ee67f94u, 0x6f9c9202u, 0x5cbc845au, 0xc91cbfbcu, 0x7522885eu, 0x4638d8e9u, 0xd22cff56u, 0xed2df3acu}} , {{0x6b345583u, 0xbf6981a3u, 0x87c88e28u, 0x28273d1eu, 0x78bea64au, 0x4f8d4f70u, 0x312cfdc5u, 0xf2e72cc3u}} , {{0x968a9008u, 0xc59a3012u, 0x1967093bu, 0x23d03c4du, 0x59696868u, 0xcaf7a252u, 0xa9ea1ee6u, 0x3b9aa5adu}} , {{0x0456541cu, 0x0c9def9bu, 0x2f9ba149u, 0x4e21e0a6u, 0x4cc9634eu, 0xc1a6ecf7u, 0x90abc5ccu, 0x725faccbu}} , {{0xf17db1a8u, 0x3079b4e8u, 0xe672f104u, 0xcd645086u, 0x7b70d94cu, 0xb2dc697fu, 0xd70fb889u, 0x2c3f1a05u}} , {{0x317eb19cu, 0x6f436962u, 0x53ebb2b4u, 0xc54bdbccu, 0x6a3d6784u, 0x1c44c55cu, 0x36e1de69u, 0x70537781u}} , {{0xbfa9d701u, 0x672a3066u, 0x4e2de109u, 0x2351f09au, 0x20813f1bu, 0x4f50748bu, 0x89eb197eu, 0x942f8e90u}} , {{0x23cbc03eu, 0xd1b8d66fu, 0x592562a5u, 0xebbea2b4u, 0xf2f81341u, 0x760253a9u, 0x52f97356u, 0x2e7664feu}} , {{0x1ecb0f73u, 0x2e65bff2u, 0x5a1237c9u, 0xdbb577c5u, 0xc8eed538u, 0x26b33ed2u, 0x419dfddfu, 0xeae3d018u}} , {{0x198ee091u, 0x94eae71bu, 0x23bb9b7bu, 0x5ae917ddu, 0x564d36f9u, 0xa4af4a1fu, 0xbc824702u, 0x99e22cbau}} , {{0x319181aau, 0xe3ab2605u, 0x8df08233u, 0xd8a67eedu, 0x7a8f9316u, 0x87c61291u, 0x7feefec9u, 0x2ed158abu}} , {{0x41fb63e9u, 0xee37f8abu, 0x60c0c97eu, 0x048eed5fu, 0xb3a43a27u, 0x550a1378u, 0xc4529302u, 0x55e4b862u}} , {{0x82f56c79u, 0xc812b803u, 0x87388c26u, 0xcc388584u, 0x06af6c37u, 0xb8545bffu, 0xdf1bfea2u, 0xc807f291u}} , {{0xd700eadau, 0x03ef46fcu, 0x7d7aa674u, 0x2170d296u, 0x2205774fu, 0xcc37b2ecu, 0xfdfc1651u, 0xc98654d9u}} , {{0xd73aa7b2u, 0x444dca9eu, 0xa6007b26u, 0x318274bdu, 0x12070f1au, 0x5a4e2064u, 0xcfbc995au, 0x940adbb3u}} , {{0x0ef2cba3u, 0x3c228111u, 0x0d94d97eu, 0x71730797u, 0x8d275ccau, 0xc53cf298u, 0xd69f0adeu, 0x8b225a63u}} , {{0xe909fac3u, 0x9501d9f3u, 0x07da2069u, 0x135de4d2u, 0x386e6e94u, 0xaf873197u, 0xb6b5be78u, 0x3c190f32u}} , {{0x1a5bf2c3u, 0xdecea0c0u, 0xf9a226b1u, 0xac7e339au, 0xd46023f0u, 0x96059966u, 0xdcee4842u, 0xc7e8306eu}} , {{0xc66768adu, 0x9c5b818fu, 0x567632fau, 0x36270ee1u, 0xd7350518u, 0xaab2951bu, 0xff3beb2eu, 0xe7c3b17au}} , {{0x94647fa2u, 0x89e5637fu, 0x49ff9e3fu, 0x8034aa0cu, 0xd8099cbbu, 0x88d5a86eu, 0xfbdde7dfu, 0x79659ac9u}} , {{0xa00198d2u, 0xc7146232u, 0xca10a8c2u, 0xffb2be85u, 0xdb5b3000u, 0x95b72468u, 0x90e7ca0cu, 0xfc4f9323u}} , {{0x3067c994u, 0xf27426e1u, 0x3c861a70u, 0xa4c58584u, 0x99dbd79cu, 0xbbc04505u, 0x167a1eb8u, 0x897ef571u}} , {{0x05f0ef3cu, 0x0e51b025u, 0x44024375u, 0xe3017752u, 0xac3889d9u, 0x2407508cu, 0x88e24987u, 0x0c02e952u}} , {{0x0a802fcbu, 0x95abda6cu, 0x6230e8f4u, 0x93255accu, 0x36dccd72u, 0xfbad9da0u, 0x5b54590fu, 0x177da1dau}} , {{0xe88156dau, 0x0085e316u, 0xd03210a2u, 0x93544a0du, 0x9697dec8u, 0x083f6d76u, 0x6a9e485du, 0xc10105fcu}} , {{0x56adf81eu, 0x5db0acfeu, 0xe199d372u, 0xb8ecbe6eu, 0x32a0659eu, 0xb8cc963eu, 0x774b87fbu, 0x865bbee9u}} , {{0x6ccf0ab4u, 0xa89ad53fu, 0x6ed21a44u, 0x52c5cf77u, 0xabf58f39u, 0xa7b9d428u, 0x67360834u, 0xdc9d7c33u}} , {{0x43a19d27u, 0xb445eff6u, 0x56f1a5e4u, 0x8b0c8415u, 0x60085b77u, 0xcc728a26u, 0x5d03ec1au, 0xe2c2bf49u}} , {{0xae2d5990u, 0x8a732b90u, 0xcb233c1du, 0x98d20237u, 0xbdd40f2eu, 0x88d4962au, 0x9ea15822u, 0x82b4e637u}} , {{0xaa4fdba8u, 0xf03f2c2cu, 0xeab22691u, 0x664b340fu, 0x4bc579ebu, 0x9be8f90fu, 0x0fc74874u, 0x91e1047fu}} , {{0x99cb5d31u, 0x13d0b0beu, 0xdcef4467u, 0xdeb8e8c2u, 0x84f5a45du, 0x7dc140a4u, 0xdccf98a5u, 0x4d8f51d0u}} , {{0x6342e599u, 0x0e3366a8u, 0x319647edu, 0x2d628895u, 0x8123aebau, 0xa2bf7e01u, 0xe1fbe1a6u, 0x07ad426du}} , {{0xa91d39d8u, 0x44c05056u, 0x7e733983u, 0x3da422e5u, 0x69aed255u, 0xdde87dacu, 0x6a78efc2u, 0x37f7bbb9u}} , {{0x39b0ded8u, 0xb55cc729u, 0xd45a9fc2u, 0x40374a3fu, 0xf5d43734u, 0xdd95b492u, 0xd2138dabu, 0xa40e9a6eu}} , {{0x0812e853u, 0x178dc6b0u, 0x8d05d569u, 0x56f05ce3u, 0x8bcb0d51u, 0x936f583du, 0xb59ef0cdu, 0xa6f24f9eu}} , {{0xbc5f4e10u, 0x07785d8eu, 0x36556286u, 0x69594277u, 0x90f55867u, 0x89efef8bu, 0x00af04a4u, 0x71f628d4u}} , {{0x32f58455u, 0x3527c194u, 0xd1c0a724u, 0xff6c02b7u, 0xe8058e81u, 0x57180a3du, 0xf0c02cb8u, 0xa135b6c4u}} , {{0x2bb53b69u, 0xba765f8du, 0x700de298u, 0x9884ff5eu, 0x02fc7547u, 0xa6c417cau, 0xfe34e2e6u, 0xf2622fe4u}} , {{0x0a0c3ddau, 0x285273bau, 0xe7710fc0u, 0x5572ed73u, 0x48da7e11u, 0xa7ad2563u, 0x16400e6bu, 0x7f19f406u}} , {{0xf84f6d5eu, 0xe415d0c1u, 0x995e3b4du, 0xe8a47846u, 0x7b54f2b4u, 0x5be5a657u, 0x40647eb1u, 0x12556931u}} , {{0x4094b8b9u, 0xdd2f76fdu, 0x5040a3cfu, 0x83b4899du, 0xe1fc4aceu, 0xb013f6beu, 0x2c96acc0u, 0x33bc812fu}} , {{0xed238753u, 0x9d9216acu, 0x8628d539u, 0x5dcbc883u, 0xc83151c6u, 0xb724a173u, 0xda96677bu, 0x7ce5a22fu}} , {{0x3588143bu, 0x656fe89eu, 0x8482cf38u, 0x41b3565du, 0x12d8dee5u, 0xca364a19u, 0x2bec193du, 0x0eca4342u}} , {{0x270d1a84u, 0x132e2a0bu, 0x6714f4b9u, 0xdaf4f35fu, 0x9fabb3dbu, 0x1c6dfbc4u, 0x0f40e8d1u, 0x04871edfu}} , {{0xa20800bfu, 0x23b62aa1u, 0x2a163e88u, 0xa9f7acc1u, 0x1643095fu, 0x13b3421eu, 0xedfb9262u, 0x0de8e884u}} , {{0xf9368eaau, 0xcecbee56u, 0x442d5f75u, 0xa7587a4du, 0x66e25a48u, 0x388ca70fu, 0x3237a98cu, 0xdbcc1196u}} , {{0x46340cc4u, 0xf57720acu, 0x9f0cdf6bu, 0xa39eeb44u, 0x164ee8c2u, 0x51b01950u, 0x746f5ed1u, 0x3870b427u}} , {{0x7ae68700u, 0x442472c2u, 0xb9b68d3bu, 0x1c35a74au, 0x29aecd7fu, 0xc180fc24u, 0x2a6cd169u, 0x49c56e63u}} , {{0xeed65980u, 0x94de1067u, 0x84b604b3u, 0x58233366u, 0x0e6f47d5u, 0x751726a3u, 0x6dd805e0u, 0x14dcd4ccu}} , {{0x3213a456u, 0x8c00d2b2u, 0xa2a25346u, 0x85038542u, 0xa4ef6cabu, 0x9d8f071du, 0x1b2a6d1fu, 0x3d9e1f0du}} , {{0x486b9d97u, 0xb316edd0u, 0xd508b437u, 0x9bd37456u, 0x0d189910u, 0xc7959475u, 0x4b360995u, 0x7a958ee6u}} , {{0xb4f80b99u, 0x9be52345u, 0x6d575eb9u, 0xcfedc7b4u, 0xa43c40c8u, 0x26f9e828u, 0x2e5bcd66u, 0x32b55f65u}} , {{0xd8cbdbdbu, 0x746123acu, 0x880e13ccu, 0x70ee79b8u, 0xf8c6d6bau, 0x10ca31ffu, 0xba6196f4u, 0x1efdb65eu}} , {{0xf8b2a448u, 0xc2369b93u, 0xe4a16c86u, 0x78393760u, 0x0e8b60b4u, 0xc50bcbacu, 0x20b6ee7au, 0x590c4fc1u}} , {{0xb2797088u, 0x35f6dc36u, 0x89bc529au, 0x01cfe1a7u, 0x18d53629u, 0x2ef82407u, 0x6f1b1a33u, 0xd3931e0fu}} }; /* 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[] = { {{0x12b4c4a9u, 0xa4b0edf6u, 0x5a44f30eu, 0xa762578fu, 0xdd59f105u, 0xf0e4d8f3u, 0x88cb9b6bu, 0xd2c13adfu}} , {{0x07182be8u, 0x37cfdd22u, 0xce79442eu, 0x00b6af5au, 0xd9d3a3d8u, 0x7df28194u, 0x43be3fc5u, 0xfe53b988u}} , {{0x56e61352u, 0x92caeddeu, 0xf10a6830u, 0x408e14d8u, 0x86474d75u, 0xd3a566f0u, 0x5568ae8bu, 0x98584f29u}} , {{0xd5748fd3u, 0xc061e3f1u, 0x33f5e9a3u, 0xa2e4cbcbu, 0x7c58cf62u, 0x15ed2d9fu, 0x5e81a53du, 0xd40ad309u}} , {{0xd72f4729u, 0x9992c427u, 0x0aa60fdcu, 0x4c4703d1u, 0x8055f578u, 0xd03e7a24u, 0x48d96406u, 0xe2bb8d6fu}} , {{0xfd2c7e26u, 0xebf131b4u, 0x160a5d95u, 0xd4070b7du, 0xeb67fccbu, 0xdf1f96e1u, 0x7c87f121u, 0xc762d16fu}} , {{0xdc18653au, 0xfff1ba26u, 0xbf0efdc3u, 0x26c87138u, 0xe1689941u, 0xc3e90f94u, 0xdccdf1c2u, 0xa4c38129u}} , {{0xdff38907u, 0x1e1aade0u, 0xf4845c2fu, 0x3223f6c4u, 0x9d15a162u, 0x650980c9u, 0x7f3c1148u, 0x8e3b62b6u}} , {{0x355c2115u, 0xb143eb6au, 0xe544866fu, 0x79d026f2u, 0xcd9bbc70u, 0xbe92dd5du, 0x160e0362u, 0x349adb2bu}} , {{0x10f1fc6fu, 0x17c40d52u, 0xa801ce38u, 0xd791dcc5u, 0xba7a5882u, 0xbd286595u, 0xc588af6bu, 0x6853facbu}} , {{0x4614fa1au, 0x08820245u, 0x042fa54bu, 0x7eaf83ecu, 0xaf235f35u, 0x3d5a6e2fu, 0x0b2bc058u, 0xae56ada5u}} , {{0x590ed90eu, 0x096efc99u, 0x6a264056u, 0xb789f8bcu, 0x280b88f8u, 0x20354278u, 0x718efad0u, 0xb90f34d2u}} , {{0xe40826b1u, 0x173e0e25u, 0x118f0b3au, 0x74553580u, 0x67c6241cu, 0x47dbeb87u, 0xd8f8f3f7u, 0xba30b6d0u}} , {{0x654eedfeu, 0x51487de7u, 0x5c70ecd6u, 0x09a94f47u, 0x92ee4e8cu, 0x1f19cf86u, 0x547f67c8u, 0xdf29474cu}} , {{0xcc705c34u, 0x1dc4da07u, 0xfde28d3cu, 0x47a3290fu, 0x692dee07u, 0x0f1eef2du, 0x2e8cd82fu, 0xd20e310cu}} , {{0xea08c853u, 0xe8e89828u, 0xc5bebfceu, 0xb8e24ea0u, 0x12fbd629u, 0x3cd941f3u, 0xc0db244eu, 0x501a3a86u}} , {{0x71cbe799u, 0x84203e59u, 0x4180ee67u, 0x55b84b44u, 0xab613012u, 0xfad37395u, 0x46da408bu, 0xa05d4d9au}} , {{0x3e828931u, 0xf36f6ae6u, 0x6ab13e31u, 0x7703080du, 0x89acb530u, 0xedf74614u, 0x5f32045cu, 0x3ae179a3u}} , {{0x38930a55u, 0x7759db60u, 0x40292b95u, 0x2a045d65u, 0xbd2091eau, 0xe2b9f525u, 0xaa84c7b8u, 0xa05ed7d7u}} , {{0xf8fbbe3du, 0xdb9df546u, 0xfb71ff79u, 0x8c4928fbu, 0x41b4fae0u, 0xb4ac1037u, 0x32877e12u, 0x51612ed1u}} , {{0x5f8feab9u, 0x31be75f2u, 0x8205b2eeu, 0x1ed9582eu, 0xf3f39840u, 0xfc4a06cfu, 0x6f6ef72cu, 0x7a58248bu}} , {{0x5c12191au, 0x1da94222u, 0x8f94750cu, 0x83ce1a6eu, 0x55d88ecbu, 0x410c2e8eu, 0x8fb0e7beu, 0x67cb4f45u}} , {{0x92797ffcu, 0x16c2b033u, 0x62723bd5u, 0x760050b4u, 0x02238052u, 0x53bd8f15u, 0x0f65babbu, 0x40ea253fu}} , {{0xe6509f99u, 0xc2998f33u, 0xa12d6498u, 0x2b7c781fu, 0xa1f55545u, 0x82dbc372u, 0x7d4c3b4du, 0x3993706bu}} , {{0xad386542u, 0x681dcf7eu, 0x45ab7b3eu, 0x6da69676u, 0xbfd4f728u, 0xaa8e1c2bu, 0x62a695e4u, 0x9b09471du}} , {{0xc1d496a9u, 0x822394deu, 0x42331e75u, 0x16f27f5eu, 0xf62f58f6u, 0x4c8ef91au, 0x121e3bdcu, 0x449a6b99u}} , {{0xa160a327u, 0x73cf3508u, 0xdf399538u, 0x5aa5f391u, 0xcf3dbab0u, 0x6b81bf38u, 0x736e2d81u, 0xa615691du}} , {{0x2853c986u, 0xa6215abeu, 0x312487c9u, 0x113d772bu, 0xbe528e86u, 0xbf5c0694u, 0xebdc7fe7u, 0x29782b27u}} , {{0x7a132f33u, 0xbd6ecca3u, 0xff7916b1u, 0x35271940u, 0x159e3142u, 0x13111101u, 0x3a68e0b2u, 0xc7addac5u}} , {{0x979e5528u, 0x99103968u, 0x9fc49d38u, 0xfceac8c0u, 0x347fde1du, 0xeee2f812u, 0xe1e4718fu, 0xddcd0eaau}} , {{0x7649c4f5u, 0x3b70d8beu, 0x278cdfd9u, 0x2d0e1378u, 0x7bf62a9cu, 0x5b787957u, 0xd71ddfaeu, 0xc6e06458u}} , {{0xf33dc39bu, 0x53d6cd1au, 0x3fdff95du, 0x426ee01bu, 0x8dd3fd32u, 0x1bebc7ecu, 0xb67ef3d2u, 0x36e6b8f1u}} , {{0x540c286cu, 0xbc6ff0abu, 0x27e1613du, 0x177887dau, 0x488e7f5bu, 0xc1ae4416u, 0x424d14c5u, 0x6adfc2d4u}} }; #endif