// Copyright 2023 RISC Zero, Inc.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

// This file is automatically generated by:
// cargo run --bin bootstrap-poseidon -- rust

use risc0_core::field::baby_bear::Elem;

macro_rules! baby_bear_array {
    [$($x:literal),* $(,)?] => {
        [$(Elem::new($x)),* ]
    }
}

// TODO: Document
#[doc(hidden)]
pub const CELLS: usize = 24;
pub const ROUNDS_HALF_FULL: usize = 4;
pub const ROUNDS_PARTIAL: usize = 21;

pub const ROUND_CONSTANTS: &[Elem] = &baby_bear_array![
    0x0fa20c37, 0x0795bb97, 0x12c60b9c, 0x0eabd88e, 0x096485ca, 0x07093527, 0x1b1d4e50, 0x30a01ace,
    0x3bd86f5a, 0x69af7c28, 0x3f94775f, 0x731560e8, 0x465a0ecd, 0x574ef807, 0x62fd4870, 0x52ccfe44,
    0x14772b14, 0x4dedf371, 0x260acd7c, 0x1f51dc58, 0x75125532, 0x686a4d7b, 0x54bac179, 0x31947706,
    0x29799d3b, 0x6e01ae90, 0x203a7a64, 0x4f7e25be, 0x72503f77, 0x45bd3b69, 0x769bd6b4, 0x5a867f08,
    0x4fdba082, 0x251c4318, 0x28f06201, 0x6788c43a, 0x4c6d6a99, 0x357784a8, 0x2abaf051, 0x770f7de6,
    0x1794b784, 0x4796c57a, 0x724b7a10, 0x449989a7, 0x64935cf1, 0x59e14aac, 0x0e620bb8, 0x3af5a33b,
    0x4465cc0e, 0x019df68f, 0x4af8d068, 0x08784f82, 0x0cefdeae, 0x6337a467, 0x32fa7a16, 0x486f62d6,
    0x386a7480, 0x20f17c4a, 0x54e50da8, 0x2012cf03, 0x5fe52950, 0x09afb6cd, 0x2523044e, 0x5c54d0ef,
    0x71c01f3c, 0x60b2c4fb, 0x4050b379, 0x5e6a70a5, 0x418543f5, 0x71debe56, 0x1aad2994, 0x3368a483,
    0x07a86f3a, 0x5ea43ff1, 0x2443780e, 0x4ce444f7, 0x146f9882, 0x3132b089, 0x197ea856, 0x667030c3,
    0x2317d5dc, 0x0c2c48a7, 0x56b2df66, 0x67bd81e9, 0x4fcdfb19, 0x4baaef32, 0x0328d30a, 0x6235760d,
    0x12432912, 0x0a49e258, 0x030e1b70, 0x48caeb03, 0x49e4d9e9, 0x1051b5c6, 0x6a36dbbe, 0x4cff27a5,
    0x1da78ec2, 0x730b0924, 0x3eb56cf3, 0x5bd93073, 0x37204c97, 0x51642d89, 0x66e943e8, 0x1a3e72de,
    0x70beb1e9, 0x30ff3b3f, 0x4240d1c4, 0x12647b8d, 0x65d86965, 0x49ef4d7c, 0x47785697, 0x46b3969f,
    0x5c7b7a0e, 0x7078fc60, 0x4f22d482, 0x482a9aee, 0x6beb839d, 0x032959ad, 0x2b18af6a, 0x55d3dc8c,
    0x43bd26c8, 0x0c41595f, 0x7048d2e2, 0x00db8983, 0x2af563d7, 0x6e84758f, 0x611d64e1, 0x1f9977e2,
    0x64163a0a, 0x5c5fc27b, 0x02e22561, 0x3a2d75db, 0x1ba7b71a, 0x34343f64, 0x7406b35d, 0x19df8299,
    0x6ff4480a, 0x514a81c8, 0x57ab52ce, 0x6ad69f52, 0x3e0c0e0d, 0x48126114, 0x2a9d62cc, 0x17441f23,
    0x485762bb, 0x2f218674, 0x06fdc64a, 0x0861b7f2, 0x3b36eee6, 0x70a11040, 0x04b31737, 0x3722a872,
    0x2a351c63, 0x623560dc, 0x62584ab2, 0x382c7c04, 0x3bf9edc7, 0x0e38fe51, 0x376f3b10, 0x5381e178,
    0x3afc61c7, 0x5c1bcb4d, 0x6643ce1f, 0x2d0af1c1, 0x08f583cc, 0x5d6ff60f, 0x6324c1e5, 0x74412fb7,
    0x70c0192e, 0x0b72f141, 0x4067a111, 0x57388c4f, 0x351009ec, 0x0974c159, 0x539a58b3, 0x038c0cff,
    0x476c0392, 0x3f7bc15f, 0x4491dd2c, 0x4d1fef55, 0x04936ae3, 0x58214dd4, 0x683c6aad, 0x1b42f16b,
    0x6dc79135, 0x2d4e71ec, 0x3e2946ea, 0x59dce8db, 0x6cee892a, 0x47f07350, 0x7106ce93, 0x3bd4a7a9,
    0x2bfe636a, 0x430011e9, 0x001cd66a, 0x307faf5b, 0x0d9ef3fe, 0x6d40043a, 0x2e8f470c, 0x1b6865e8,
    0x0c0e6c01, 0x4d41981f, 0x423b9d3d, 0x410408cc, 0x263f0884, 0x5311bbd0, 0x4dae58d8, 0x30401cea,
    0x09afa575, 0x4b3d5b42, 0x63ac0b37, 0x5fe5bb14, 0x5244e9d4, 0x211c1eac, 0x06ae5d7e, 0x5092f65b,
    0x28080606, 0x7674412b, 0x07af1270, 0x4367417f, 0x50cb1c2a, 0x0fc8ebad, 0x2816abbc, 0x3f16a59a,
    0x4d633c22, 0x71dbd897, 0x6f2b378c, 0x0936e659, 0x0ba9fd23, 0x49969750, 0x4bfd5a2c, 0x1f9b3a31,
    0x613fe177, 0x2e17149d, 0x05431faa, 0x0706f03b, 0x5a810ed3, 0x345424dd, 0x3111b0ce, 0x0b7753d3,
    0x68dc180d, 0x3d51624f, 0x1f72ce83, 0x6f68c901, 0x39f01403, 0x3e496c94, 0x0f8d6022, 0x3b90f26b,
    0x0ac4ff19, 0x38b0519e, 0x1ec6af68, 0x463243e8, 0x354d173c, 0x13bcaaa5, 0x2840d845, 0x33d63611,
    0x675d9dd9, 0x6e11b2e0, 0x3d626b93, 0x06131077, 0x3e508d01, 0x5feea10f, 0x0abf698c, 0x0a4b3856,
    0x124dede5, 0x6805de45, 0x73cfbf3c, 0x47f8d207, 0x478b009b, 0x67be1c2e, 0x2bb6a2f5, 0x62fa3b51,
    0x4119d1c4, 0x454386c4, 0x45ef075a, 0x590aa38f, 0x0fdcef79, 0x0581f7b1, 0x13d763c5, 0x061e601f,
    0x33dd05e0, 0x23ffe142, 0x2b29ac8e, 0x47c382f6, 0x3e787c86, 0x3f20b08d, 0x4d935dfa, 0x3a3c23df,
    0x4d9dad01, 0x4e5ddddc, 0x722bab01, 0x1a51d5ce, 0x27e556b7, 0x3fa18fe1, 0x6d0f2958, 0x3059f7d1,
    0x230519d7, 0x3952f12a, 0x46619d26, 0x62a8ebf8, 0x644fb0ab, 0x22a0f3d6, 0x21fd764f, 0x32866049,
    0x409133f1, 0x1667a8a2, 0x06a6c7b7, 0x6f53160f, 0x273b11d2, 0x03176c5e, 0x72f9bbfa, 0x73ceba92,
    0x5cdef81e, 0x01393286, 0x46daee07, 0x065d7ba7, 0x52d72d70, 0x3bab4b64, 0x6ada3843, 0x2fc5fbed,
    0x770d61b1, 0x5715aaea, 0x03ef0e91, 0x75b6c771, 0x242adf60, 0x00d0ca4d, 0x36c0e389, 0x6602a85b,
    0x1a2a3e30, 0x08e8402e, 0x4f427415, 0x4ca090cb, 0x112be00b, 0x68942c71, 0x5ae9a9d9, 0x0fd80700,
    0x710937b7, 0x22263d8a, 0x693f8325, 0x5ad70998, 0x337c7833, 0x64f3e8aa, 0x50de3c29, 0x5b4d4100,
    0x64fd2dcf, 0x76e3bf54, 0x1c254781, 0x5500ad0a, 0x213f01e0, 0x05860297, 0x0a1006cb, 0x77048a99,
    0x5d62287e, 0x15b9c906, 0x1f496f00, 0x00c0c7e0, 0x322b6472, 0x278f62c7, 0x0dc1ebb9, 0x4dd5a99e,
    0x32e5b93a, 0x5e37fb0d, 0x480448df, 0x1b473c1c, 0x4ef02492, 0x01d34c64, 0x1823e880, 0x15658531,
    0x5b192ad9, 0x595581d0, 0x13579188, 0x4a8dc02b, 0x1179a528, 0x3232c1c5, 0x76026f85, 0x23d0b156,
    0x371578fb, 0x541b82cf, 0x70d62891, 0x361b0736, 0x7495f131, 0x4d5f3c2f, 0x14c92dfd, 0x08b45e27,
    0x3a75137f, 0x473c3745, 0x4b91cc24, 0x0cd72859, 0x0e1fe6f0, 0x136d6cb4, 0x768b6779, 0x0cb9cd80,
    0x13ec6cf9, 0x22c85a46, 0x3f108b3b, 0x18a1a088, 0x3e5a4e5f, 0x439e9682, 0x6167c1db, 0x03ef6829,
    0x47ec4179, 0x34eab8cd, 0x7174d996, 0x677070f9, 0x3b9021cf, 0x5f8a718e, 0x42bd5b38, 0x1d916068,
    0x474976a3, 0x7509fdec, 0x13403014, 0x67bd93b4, 0x1d39399b, 0x3f92f399, 0x48222be6, 0x6115c6be,
    0x2ea139c5, 0x4c7db79d, 0x5b1669af, 0x4fb62878, 0x62d070ea, 0x631cb189, 0x081e67db, 0x379e8018,
    0x13668ff5, 0x3771cd2c, 0x630ab736, 0x53a679ec, 0x125d4ccd, 0x0953a209, 0x36fdc8df, 0x77be669b,
    0x5b4ea7fa, 0x17ea3f57, 0x6fa0454f, 0x07ef0ea5, 0x13dbb0bb, 0x19329741, 0x01082270, 0x3dfdc9ba,
    0x054e9eb1, 0x5fdc6fab, 0x68c5095d, 0x3820abbb, 0x18c49ea6, 0x2e9e188a, 0x2ae6ba8e, 0x3316e9b4,
    0x1198f546, 0x6d48ac8c, 0x11da719f, 0x4d8971e9, 0x3eada1b5, 0x322bd9ba, 0x2952c026, 0x3615a986,
    0x1c4df5d1, 0x3d0271a0, 0x11825b34, 0x44020592, 0x10adcc7f, 0x74724522, 0x1a7d3cc7, 0x3c051d52,
    0x688a979a, 0x19d3e91c, 0x6f4d5844, 0x3b366285, 0x3bab9ff4, 0x4fab2833, 0x53b0a92c, 0x0f35a1f3,
    0x0a6700b4, 0x219ce3cf, 0x58aaad93, 0x015c6972, 0x62bf3753, 0x4c0c22ab, 0x06159dac, 0x747a77db,
    0x122ae678, 0x040b047b, 0x0d704a7b, 0x4173964d, 0x5dd358db, 0x12844624, 0x19e307d1, 0x546cde54,
    0x205c95d6, 0x6f4a0c40, 0x5b4341fb, 0x666b78d6, 0x0443be7a, 0x3b981801, 0x61e2e930, 0x08767993,
    0x7301b3ae, 0x338a237d, 0x5c6235d0, 0x4e8738e9, 0x3abf961d, 0x083a0e7d, 0x32013dd4, 0x067194e2,
    0x0c959b6a, 0x63599487, 0x6a5dc6bc, 0x22e70afa, 0x31791344, 0x18dba091, 0x4fb0cfd4, 0x756bdf68,
    0x643ddd4a, 0x1737a0da, 0x4ba1da4f, 0x3e5903b0, 0x19143f40, 0x40230ee6, 0x348ca8a7, 0x0ee0e8c2,
    0x2fd2cab9, 0x21d83fd9, 0x16350cd5, 0x2a74f8d1, 0x3f4509c8, 0x5dfeee95, 0x604bc769, 0x74483c22,
    0x7258f84d, 0x38ea3718, 0x5d0bc047, 0x470fa0a8, 0x342768f7, 0x6e7d3fc4, 0x2c3b121d, 0x6cdb42b0,
    0x517dae8e, 0x036790e6, 0x35f5cc07, 0x0b4320e6, 0x5bc6356f, 0x3ddeffd2, 0x630745f4, 0x3d294495,
    0x0c631df0, 0x37b887f2, 0x13847e31, 0x2117bd80, 0x31b19840, 0x3cca21e7, 0x359dff03, 0x350b873d,
    0x6e09a5ec, 0x7227eb0a, 0x2cb61c48, 0x42b94b58, 0x74641f5d, 0x2b4b970f, 0x5edcd109, 0x16471628,
    0x4eade53b, 0x15778bd8, 0x0f63d6ec, 0x7541ff2d, 0x668283da, 0x70052aab, 0x6463f544, 0x15d577ee,
    0x634f67b8, 0x3985d088, 0x0455bddf, 0x3c2c3650, 0x523e91cc, 0x13d37dd0, 0x6dc4ecf0, 0x01d27ccd,
    0x0978f179, 0x6a5e0ac0, 0x0562d555, 0x2938fd4f, 0x442c8e97, 0x282ea5ea, 0x26d34fd4, 0x4daacbcd,
    0x4b2aab64, 0x19f2ec4a, 0x073cc19b, 0x77771cc2, 0x70adc427, 0x4aab0883, 0x4f942ad8, 0x680ee898,
    0x73dd609f, 0x2f386740, 0x5a447572, 0x4661fbfc, 0x1138e81f, 0x2e4bc025, 0x4b4eb6af, 0x43e1f164,
    0x0fc4efce, 0x62ecb9d9, 0x33fd96c4, 0x69975a21, 0x1448aab1, 0x2021b32d, 0x02761f78, 0x36d32b9a,
    0x49f27e6b, 0x6b3c0905, 0x3ec37660, 0x294b9aef, 0x6f91b6ca, 0x72916b26, 0x05f0a48a, 0x00625502,
    0x15fdb305, 0x167d5214, 0x4679ee70, 0x746d93b3, 0x3df48789, 0x4f5e66f6, 0x57100659, 0x6d511c3f,
    0x41446816, 0x34a9a45e, 0x11789802, 0x0e6e7543, 0x3543a894, 0x271aa58f, 0x6c18fabe, 0x6716e081,
    0x4e7ebd9f, 0x6ac3f192, 0x5b81c87d, 0x4d5994fd, 0x0b1de23a, 0x57a1ab89, 0x2d651a8f, 0x1cee7cf3,
    0x2ebacc98, 0x0f627a88, 0x10df6935, 0x0e71678d, 0x34d4613a, 0x677b1b3c, 0x47812824, 0x41c6a57e,
    0x151419e4, 0x4f91c429, 0x5ef4f800, 0x666ef479, 0x32a1775a, 0x720ce960, 0x1e3f9af6, 0x718d884d,
    0x1a15cd27, 0x335d850c, 0x49c98fa3, 0x69cc0acb, 0x1cff3339, 0x5408e304, 0x4e6e866e, 0x3be35d35,
    0x3e1f2905, 0x23f1d80d, 0x662e279f, 0x1435e4a3, 0x75e2dd05, 0x0988624a, 0x377a1b05, 0x7628ec95,
    0x61010841, 0x42bbccb9, 0x078cfd5b, 0x494f7cbd, 0x67e80643, 0x29c7d710, 0x346f1642, 0x5e50b089,
    0x683a9d1c, 0x6d85d09f, 0x74c82186, 0x2a09cc00, 0x57035a44, 0x5851c292, 0x032bf1f1, 0x29920074,
    0x11b31845, 0x3a6424f5, 0x15d2972b, 0x3f3fcaf7, 0x03eb9631, 0x67a5df9c, 0x6bb87fbf, 0x4ad8f8b6,
];

pub const MDS: &[Elem] = &baby_bear_array![
    0x0925f057, 0x5bd30478, 0x07ebbe62, 0x2c815225, 0x4d84dac1, 0x4c7998ba, 0x3a7fea49, 0x3aa9a481,
    0x49c11a1e, 0x04d8979d, 0x5fbfade1, 0x2429dfd7, 0x272efaae, 0x46f9efea, 0x22bc6d5a, 0x4f62ff6c,
    0x0cda4bdd, 0x2331370f, 0x02623b6d, 0x195478b1, 0x37dc87b8, 0x59ea764c, 0x00e4d93f, 0x2a00959b,
    0x1be1ea19, 0x22632b65, 0x2b39a730, 0x599f41fa, 0x2bcc4ef2, 0x35d53004, 0x71093d6b, 0x1601d8eb,
    0x18ff56ea, 0x45b3166e, 0x26676a4c, 0x6c61d068, 0x08045c46, 0x62db29fd, 0x3be5970a, 0x4eafdf1c,
    0x57400877, 0x457966f3, 0x51663e1f, 0x28483bb1, 0x0196ae3f, 0x70cb51e6, 0x065450de, 0x36f5e610,
    0x0da76953, 0x6360267c, 0x649bcf3e, 0x5d146c16, 0x2ba614a5, 0x6254afca, 0x5141dd28, 0x3a1b182c,
    0x59d7bd8c, 0x59d8d654, 0x2d93170c, 0x5a5799eb, 0x1898b04f, 0x046d0280, 0x7346d1af, 0x5eddb85c,
    0x0003a191, 0x15756d99, 0x0ced69e1, 0x176bd942, 0x334cc69f, 0x04d66783, 0x191b55d6, 0x054a3fb0,
    0x7310de95, 0x08869524, 0x15345fa8, 0x4e4be25a, 0x453c4ca2, 0x64ede5d9, 0x7061392b, 0x23b4bc9e,
    0x25943dde, 0x42f43c1f, 0x1c2e09bb, 0x1b035428, 0x288bd9f8, 0x4efd9ccc, 0x2d2d3e48, 0x3b6f9770,
    0x445e8fb1, 0x347b6137, 0x4aced0cd, 0x4ac94fcf, 0x49fbc261, 0x6f7c9284, 0x46225cec, 0x123b099e,
    0x3e5c53ed, 0x5f8242d0, 0x56ee4d17, 0x1e6c4fcb, 0x5f339894, 0x4f5159f3, 0x66f69ac5, 0x2204cc14,
    0x5e14f5ae, 0x72eb2590, 0x71a91997, 0x2b48356e, 0x16cded03, 0x075fe86b, 0x26972bbf, 0x3ad0285e,
    0x41b69d6d, 0x578414e5, 0x2c111bdd, 0x4eddc239, 0x6c8bb56e, 0x144580e7, 0x2b36591a, 0x49e5e75c,
    0x6999c112, 0x65413605, 0x30cda1fa, 0x3d259a65, 0x583d5e9f, 0x0bd02653, 0x019c0847, 0x42484053,
    0x190a61d5, 0x0f7739e9, 0x707b8505, 0x3f4ebca9, 0x63ad34a6, 0x27a8fc11, 0x53dd908b, 0x5acc1bdf,
    0x287cf6cb, 0x2fe01473, 0x636b6843, 0x5daff065, 0x490cd097, 0x7676ba60, 0x2f678799, 0x25c761b9,
    0x01a043b3, 0x0a06b251, 0x61fa125e, 0x54ca6575, 0x07356fbe, 0x33e226e5, 0x51e61933, 0x7268cd6f,
    0x1b21302d, 0x0f4af69a, 0x508fb194, 0x6cc4f14e, 0x72dd7fe4, 0x51b4f177, 0x35d45e03, 0x69fc8c9b,
    0x281e9120, 0x1fcdc07a, 0x76aa9262, 0x282f5ff8, 0x7480999c, 0x73e3cd28, 0x2be5ae1c, 0x5db93f16,
    0x369500c4, 0x2941e8f7, 0x27f4bd6c, 0x0348fad8, 0x6a5c67cb, 0x3739b4d1, 0x276d5b5e, 0x60d58142,
    0x4ebdf918, 0x37cfc54b, 0x2b4de0cf, 0x10d601d5, 0x3a8df00d, 0x35e89b3f, 0x548da971, 0x03f5f997,
    0x68628587, 0x3893210d, 0x24043cae, 0x5b227372, 0x3ee8ed86, 0x40bbbf3b, 0x6cf9338c, 0x6fcfe498,
    0x5a48cf60, 0x1a7f7a18, 0x42709932, 0x1ae4dc98, 0x6928eb2c, 0x0de4538e, 0x68268248, 0x6ebcea28,
    0x0e372c10, 0x39f53425, 0x25d12fce, 0x4d1fe6a5, 0x4bd1c661, 0x432c0744, 0x3874139f, 0x15114aee,
    0x2fc6b6f7, 0x694a14a5, 0x473565eb, 0x3922ae25, 0x2c853bc1, 0x23b8ab07, 0x1140d139, 0x64b8711d,
    0x70d4bd89, 0x284410d0, 0x4b6930d0, 0x35d7af94, 0x4da3d9b4, 0x754ab306, 0x3acb5b63, 0x2dc805e3,
    0x1ca07765, 0x569c4ed2, 0x2457a9a6, 0x12b339c9, 0x129ef929, 0x4497c160, 0x704b1ae5, 0x67a01685,
    0x1342fc31, 0x5b0e8ea9, 0x39fb311c, 0x54494150, 0x39f504ac, 0x22413dd9, 0x65bc3ab4, 0x467309a0,
    0x3c329434, 0x60ce4e7a, 0x5aaabf5a, 0x34bd43ae, 0x370e36f4, 0x54ce6827, 0x5b2f8506, 0x4402d3c2,
    0x29e7c9dd, 0x25e76027, 0x57e7c180, 0x60fac76e, 0x015527ab, 0x1413b075, 0x38f2a6e1, 0x130e0153,
    0x0c8b0c05, 0x73efc6c4, 0x069e01a3, 0x3b70f938, 0x70a6f6b8, 0x33293983, 0x71fe5d22, 0x1f3accca,
    0x5a7b5790, 0x08dd413f, 0x09a6d072, 0x676c15b2, 0x41b1dea1, 0x5f19064a, 0x6e60fd03, 0x74bfd7cc,
    0x344cbfa9, 0x631c9696, 0x2924dc64, 0x33136084, 0x0d13c3a4, 0x4f7d76aa, 0x5089da22, 0x5925f2a3,
    0x764a21b3, 0x594165ca, 0x26dfba44, 0x50ae3c38, 0x643d4e05, 0x6905dbf2, 0x03c56d5b, 0x2d7d6a71,
    0x415b9d64, 0x1afd63f4, 0x76059483, 0x38fdca00, 0x0b42f518, 0x35564f98, 0x60051034, 0x6b46ae98,
    0x1a5cae77, 0x3015a332, 0x17858a7e, 0x44ef21ee, 0x3d5a7d20, 0x24b48ec5, 0x7074ae8e, 0x694e64ed,
    0x5ed5d4a5, 0x07c9fbb8, 0x26407f68, 0x2e9722eb, 0x690be9aa, 0x5bb05c66, 0x736c2a3d, 0x1f43c242,
    0x1e5e97aa, 0x67a1e3f6, 0x3a636104, 0x400cdfbc, 0x1041f8d2, 0x58f7e7a6, 0x521fdfc9, 0x53eec74f,
    0x4a2c3859, 0x62d09339, 0x778e9ee0, 0x32ffa9cc, 0x73a1a0f1, 0x531f7686, 0x291bbaf8, 0x2a9b0999,
    0x2ed9a967, 0x3558946d, 0x51a16aee, 0x6dee7dcc, 0x5f8e2e50, 0x1d1db308, 0x38e86590, 0x3e553f81,
    0x33b0eb77, 0x6cfe1511, 0x53cab467, 0x61ce93ad, 0x53c2b2bf, 0x1ca9f922, 0x30ecad90, 0x4571fac6,
    0x08bec418, 0x0cfe39f5, 0x581a27f9, 0x735e6fe6, 0x067c6e66, 0x6e6a2a64, 0x6dd27e02, 0x242937d2,
    0x3bd55ad4, 0x568f129b, 0x63f1b1fe, 0x212c0bff, 0x1ab1333d, 0x54776b6d, 0x42625d9e, 0x3be659b9,
    0x36679280, 0x0a40d878, 0x2961758d, 0x4c9790e0, 0x0fef0621, 0x2ff938f4, 0x66e96dbe, 0x6515861c,
    0x5bb6f737, 0x10229384, 0x0617aaa2, 0x48a27437, 0x25023a30, 0x210ed00f, 0x1b54155c, 0x24dd7b97,
    0x75a3a872, 0x34db5061, 0x0b92a052, 0x226376a9, 0x40fa919c, 0x1e1d0bf8, 0x18273d85, 0x5c15896c,
    0x006a92a1, 0x3af8d5bd, 0x4487ad5e, 0x39087d11, 0x4f159150, 0x2bb040d7, 0x31f595bd, 0x4a2047fa,
    0x25bd0741, 0x36018f9a, 0x5c0ce06a, 0x1d9e9d18, 0x420ebe0f, 0x58891fad, 0x10125523, 0x730eb67d,
    0x51d0429f, 0x0adaf59f, 0x71bb943d, 0x0adf7774, 0x215cf5a0, 0x644212e3, 0x42e40284, 0x3c7b3a58,
    0x6342596d, 0x669292fa, 0x2e5320e8, 0x4a6322d0, 0x3049d594, 0x59382436, 0x4c868c1a, 0x4af57fe8,
    0x2ba63a1f, 0x356288fd, 0x32e3c785, 0x08461bd2, 0x6f13e7c6, 0x43f66a43, 0x337aa954, 0x7751a941,
    0x01f6b2ae, 0x14363b26, 0x40f20ed5, 0x3e0c7ec0, 0x573e1600, 0x3f428f42, 0x6b702983, 0x700456fe,
    0x2b8ed50d, 0x7753512f, 0x08e9fd9b, 0x2373ddae, 0x1dbf1c53, 0x6cffa570, 0x34c27996, 0x0ed6ac67,
    0x2bebcc23, 0x699b5f40, 0x7401ce2d, 0x38a0c2e7, 0x43a13902, 0x38a1d22b, 0x0fe9b309, 0x2eee4333,
    0x0d760063, 0x54fe7427, 0x3d6828a8, 0x19967b11, 0x65d13bc4, 0x4e3d0222, 0x069d76c3, 0x2eda069a,
    0x48ddb980, 0x1429a139, 0x33b482fc, 0x4e9c25e8, 0x6a65cfad, 0x4ad014c1, 0x4a87f95a, 0x4df7e92a,
    0x01dc838f, 0x04693906, 0x4054c5cf, 0x590853bd, 0x2f24f4b8, 0x75225b01, 0x22c7029f, 0x47eb658c,
    0x6dc3bbd9, 0x4b281a5b, 0x08dcd650, 0x0d5c5101, 0x6f053db2, 0x5817ef9d, 0x28f3145c, 0x12be5a0d,
    0x49aa0377, 0x0b59edff, 0x16b8b6e9, 0x54eca830, 0x1b17774f, 0x2717f533, 0x67a6cfb1, 0x48b2d969,
    0x2592ee6d, 0x0682e514, 0x2f4b7d93, 0x29987e45, 0x1c8a95c9, 0x6ec54f61, 0x0ac051c6, 0x0b4547ec,
    0x27954891, 0x53d86bd0, 0x0190b333, 0x3d5e071f, 0x1fc8e989, 0x49117c77, 0x6039d94f, 0x3bd38ce0,
    0x20a52f8b, 0x21114a75, 0x14ff5479, 0x0541e715, 0x479e4333, 0x50a682da, 0x2ad2c099, 0x602118de,
    0x608e2f9f, 0x67f80f52, 0x651c3bae, 0x23d9d908, 0x4ff9730c, 0x3d85fe89, 0x4ea4b49e, 0x6002eefc,
    0x1c3bb2a9, 0x6ccc1661, 0x5c648b55, 0x27be661f, 0x00ab2809, 0x1a85557e, 0x4943fc8c, 0x64907221,
    0x4702b2ac, 0x17b6bbaa, 0x2cc138b7, 0x5160fa0d, 0x1d09780d, 0x11a8d68a, 0x05c60089, 0x12f7d668,
    0x190f2b66, 0x75723f70, 0x371c0a9d, 0x74661a50, 0x25f4cf94, 0x61e4062b, 0x59c81acc, 0x3006c21c,
    0x263237eb, 0x128a2bec, 0x6e0b8699, 0x37f9f129, 0x368d1785, 0x5e012d80, 0x225e6aca, 0x27b80004,
    0x1681937c, 0x29bc22e5, 0x3ecae7ce, 0x6ee8208b, 0x5b962b3e, 0x117876c4, 0x6d8bba88, 0x6f88b0e5,
    0x41c02969, 0x5b5fa8e3, 0x52b409fc, 0x2f3c432f, 0x38fb2c2d, 0x61cbc601, 0x2d15a7e2, 0x3514073d,
    0x1cab657a, 0x065031f7, 0x09f468c3, 0x69f29f12, 0x75918d89, 0x6b0b3c00, 0x1a89fae5, 0x1827d23b,
];

pub const PARTIAL_COMP_MATRIX: &[Elem] = &baby_bear_array![
    0x00000000, 0x2d4ee593, 0x6e5b6ad0, 0x2cf43ad5, 0x71b22fcd, 0x4e15d247, 0x3fa282ba, 0x6a48cac3,
    0x41c3fe03, 0x53d79cec, 0x53db9c55, 0x4b2634a7, 0x02b419da, 0x58dc018e, 0x111ee3f5, 0x53366a81,
    0x3f15a4e4, 0x25782723, 0x74c1ba22, 0x329c7226, 0x39ac5313, 0x3ec7ef59, 0x19b6d181, 0x2c3da0d2,
    0x0def623c, 0x5298d425, 0x102e141d, 0x39e79288, 0x2a3dab37, 0x4f5e29b5, 0x09095e73, 0x21911145,
    0x15d3b023, 0x132a1bb4, 0x08dabcd3, 0x2912331d, 0x168d2b45, 0x65bec109, 0x616753e7, 0x4b1b50e7,
    0x3da2e887, 0x58ac0bf3, 0x311688d7, 0x2ed079d2, 0x0925f057, 0x00000000, 0x3c7778ad, 0x2236b13c,
    0x697f93ba, 0x368d1cb8, 0x62a6fa88, 0x0688a8cb, 0x2888379a, 0x0fb2994c, 0x496d93da, 0x522f7e88,
    0x511d6159, 0x724a3666, 0x04abbd7f, 0x3f1c4424, 0x7000c362, 0x2d58159f, 0x02b7439d, 0x443c3296,
    0x20232392, 0x03d46d7a, 0x35e54155, 0x01b7c886, 0x487918b6, 0x5cd266e6, 0x63bb4810, 0x1f99429f,
    0x762f6845, 0x3fe29e19, 0x6e1aef40, 0x76fcf2be, 0x26212180, 0x577598e4, 0x532e5388, 0x27ef70fe,
    0x3ea3a1a2, 0x1ba84d1e, 0x776ee727, 0x6fae872c, 0x32157737, 0x08a3ffe4, 0x0efcafc9, 0x09b69333,
    0x3d8e70a7, 0x1be1ea19, 0x00000000, 0x18cab1ca, 0x156a5d38, 0x094b8695, 0x3eed2216, 0x56c41c81,
    0x23d62059, 0x28cceb72, 0x127497ed, 0x0ebaa03c, 0x6fda7527, 0x3db4e045, 0x01eee288, 0x6ad4690d,
    0x4fff28aa, 0x01e116a8, 0x28f3eeb6, 0x21ef9fb8, 0x3f8d87b1, 0x4a90f5a7, 0x6b0f5eec, 0x542bf3fa,
    0x62ade0b4, 0x75cbacdf, 0x52e9efa6, 0x6fa87a9a, 0x6bdc139d, 0x01353eb5, 0x3a6d134a, 0x702d243f,
    0x2ec6b2e3, 0x1672f3aa, 0x4a275584, 0x562913e6, 0x3e0f169b, 0x38cd24ac, 0x41f5e416, 0x057c3f20,
    0x7337d80c, 0x14192172, 0x22b2a9f9, 0x5bf94aab, 0x158df564, 0x5dcb7ce4, 0x0da76953, 0x00000000,
    0x6c86e55a, 0x4c3e43dd, 0x3ac7a8ad, 0x157731df, 0x3b8b7296, 0x4a4e97f1, 0x41f72354, 0x5d65aa18,
    0x2fa6951b, 0x375a5d4b, 0x1cec952f, 0x3ae984fd, 0x2137247f, 0x314ccd5c, 0x5118ff3b, 0x3ed70855,
    0x6e07654c, 0x083069a4, 0x61852251, 0x6ac9ea6a, 0x52416ce4, 0x4e014b5f, 0x4bb685f3, 0x07f3aaa4,
    0x24a512cc, 0x109d1705, 0x646ac368, 0x16362338, 0x291f0fd7, 0x23164c94, 0x6032461b, 0x517986bb,
    0x4d36b26a, 0x6db25ed6, 0x5841657f, 0x3f8cbb8f, 0x4d87cd2a, 0x37d8806c, 0x0befce1a, 0x6c048ab8,
    0x06a41892, 0x3ce3c2b9, 0x199f8c6d, 0x7310de95, 0x00000000, 0x4755eb57, 0x2d1f2392, 0x13f9a857,
    0x47a2f346, 0x4081e6a8, 0x76251a9e, 0x1bbe15e5, 0x32d5a948, 0x108a4510, 0x413fcdf9, 0x336beeeb,
    0x0c008b19, 0x5beec8f7, 0x710f9076, 0x2f5a2fc2, 0x3d1c9e78, 0x1863fba4, 0x4dc104d2, 0x60c1a865,
    0x29f67bd9, 0x172e1cd8, 0x30e79585, 0x1a8a5d2c, 0x18dc54b9, 0x5c934f54, 0x0de42cb1, 0x2eb59cf7,
    0x4f121bb0, 0x0d690664, 0x452eea27, 0x0383c5ed, 0x6a573ff0, 0x68c76d4b, 0x3383628e, 0x515c5321,
    0x283219b5, 0x61867312, 0x6682efc3, 0x228b74ec, 0x4cded7dd, 0x68a6340f, 0x4a68ad6e, 0x75972b6f,
    0x3e5c53ed, 0x00000000, 0x443c8aef, 0x6d26936c, 0x1db784c8, 0x54352935, 0x3d44bf92, 0x4bb79403,
    0x5fd4f123, 0x1c488ac6, 0x05b63e43, 0x40ba9027, 0x514e6d6c, 0x3b7efc23, 0x21777dbf, 0x2eb25378,
    0x6a23389f, 0x57ab3ccb, 0x2a11aa43, 0x6a05c53f, 0x44a68358, 0x13d38277, 0x55ecac2e, 0x0c548ede,
    0x1c49d586, 0x11a97ed2, 0x6814a9e7, 0x5906b1aa, 0x28e309dc, 0x166274d4, 0x055f55d5, 0x39b678c7,
    0x019a7ef2, 0x690b035b, 0x3f00a97e, 0x2b4da9fd, 0x75118788, 0x57733453, 0x253a8abd, 0x18436369,
    0x48f28587, 0x047fb3bf, 0x5e064a44, 0x20ed0fd1, 0x0f3a0aeb, 0x6999c112, 0x00000000, 0x66ab3502,
    0x4c314e58, 0x340755b8, 0x70e7e372, 0x047d4923, 0x64af757c, 0x2b0c69a7, 0x6a555e15, 0x2a3493a2,
    0x378f039a, 0x2970c2bf, 0x3919c368, 0x0d398bff, 0x5ee58693, 0x63a0c148, 0x71fca2e9, 0x3e065931,
    0x4e7fc800, 0x74be0b61, 0x4686d6cc, 0x2335486a, 0x29a99c7e, 0x3ff73492, 0x34f8d208, 0x318cfa7a,
    0x195ba9f6, 0x06ef3420, 0x7045bd97, 0x03e68568, 0x5f7a7707, 0x762c5f1e, 0x3cd5fb89, 0x7590fff0,
    0x0c7f48cc, 0x5490ac07, 0x1f6a550b, 0x3ca9f5c6, 0x1beedacb, 0x75f612e5, 0x4170c144, 0x4a3142d0,
    0x200becc2, 0x08ab7b2e, 0x01a043b3, 0x00000000, 0x6a4225bb, 0x0f9864d3, 0x5090a521, 0x052cc162,
    0x01449fa2, 0x39827b02, 0x4e5d2b7a, 0x41097acd, 0x47be7448, 0x5f70244f, 0x276ce862, 0x4792a260,
    0x2e2b6b40, 0x770b3545, 0x24b7aa6c, 0x634320bc, 0x666c38b4, 0x161d6559, 0x2fd222fb, 0x1034e43b,
    0x3ee034c5, 0x583be879, 0x545b42b0, 0x640e6c17, 0x1f368a35, 0x4150a413, 0x56a9be1a, 0x65ea5741,
    0x41091a13, 0x5700d495, 0x05dcff92, 0x66288b21, 0x6c61e9e0, 0x46f19a0d, 0x5f88a6be, 0x1bba4896,
    0x40c8ad2b, 0x597fe831, 0x3d066b87, 0x3498fc99, 0x71a1b0cf, 0x0a8f4116, 0x4966194d, 0x369500c4,
    0x00000000, 0x1a83a5fd, 0x5fb60b8d, 0x2f28e934, 0x6bfe5f1e, 0x22d386df, 0x35046988, 0x1053c428,
    0x6afaa275, 0x62001f75, 0x706fba48, 0x0a9d7fa4, 0x4d58a327, 0x4577d9b7, 0x57b4c306, 0x043be4d6,
    0x61994a88, 0x12f52d88, 0x5285ebfd, 0x0b225df6, 0x1aad3981, 0x3a37723b, 0x5e9aebcd, 0x5dace4a6,
    0x324197ad, 0x1e4fb9f3, 0x6a92f749, 0x0db87e38, 0x34a019bb, 0x6862593c, 0x650d0eb0, 0x32c61d2c,
    0x6ae30d91, 0x164dfa84, 0x5006da30, 0x67fa7f2e, 0x2247ee00, 0x4f9ee18a, 0x37df9966, 0x471e941f,
    0x37949d6b, 0x1e068a68, 0x3e73b1cb, 0x13a711f4, 0x5a48cf60, 0x00000000, 0x17f8da82, 0x57b3b3ec,
    0x35fd2fb6, 0x654075f6, 0x160b0323, 0x5d676a56, 0x5900cda1, 0x4cfe91be, 0x1b8b37a0, 0x14cd772b,
    0x474e4f40, 0x507e951a, 0x1fc17b23, 0x4b7b7b20, 0x02800377, 0x136d89a5, 0x5a4d6cd1, 0x4f83e80f,
    0x251aaee5, 0x635ef20f, 0x153b1fc6, 0x4964a63e, 0x6ee4fdad, 0x3518b7aa, 0x113c0efb, 0x2c5ec5b7,
    0x474fd566, 0x5ed4da30, 0x635085fb, 0x37107532, 0x5ac7ed65, 0x6c7a60f0, 0x173b3d1b, 0x23629578,
    0x4fc8f851, 0x322f3762, 0x09738160, 0x4d11938c, 0x6d7036da, 0x125aee4b, 0x0977bc35, 0x45421599,
    0x1416e2b8, 0x70d4bd89, 0x00000000, 0x205f20e0, 0x65f72a7c, 0x3d0e9908, 0x5bd05d08, 0x4edd62f0,
    0x11a11c5e, 0x2a842a7f, 0x3eab5fc4, 0x18e3f466, 0x090d4431, 0x7085df7d, 0x05edcb21, 0x59ca2acf,
    0x08141197, 0x0e5cbcf3, 0x12a4b982, 0x13716a41, 0x1ebaaf29, 0x565465ea, 0x62aa4894, 0x4b5c0678,
    0x3d611f50, 0x1f7bab0e, 0x24ee1521, 0x4d39594b, 0x08392d8d, 0x09ee727a, 0x5af64fbe, 0x0646a6c3,
    0x1169f5ce, 0x24f26494, 0x4a457cf5, 0x4b407d38, 0x1a94f731, 0x21a84aab, 0x081f9085, 0x526c97d7,
    0x042e56ed, 0x2badbf3d, 0x266932e3, 0x4c80d242, 0x6211c0c5, 0x2b52b241, 0x3c329434, 0x00000000,
    0x0376f946, 0x36ef7829, 0x26ab710c, 0x45b4f08d, 0x1e248416, 0x1f80154d, 0x454ada43, 0x2e21f4df,
    0x3b8ed75d, 0x5fc2b817, 0x15a602eb, 0x46c08273, 0x533c47e3, 0x027f8d07, 0x4a5d60f5, 0x196f2cc8,
    0x5517fc96, 0x05cec662, 0x4a083a89, 0x62b5d382, 0x6aa99e3e, 0x452ccbab, 0x2b0e1261, 0x384568fe,
    0x2fd7e232, 0x6166ba74, 0x6293c0d7, 0x6b81104b, 0x2b4a573e, 0x75b61f66, 0x63c9d880, 0x1524741d,
    0x092f6c4d, 0x393e8086, 0x67a4d8be, 0x45844fed, 0x33114582, 0x17748f77, 0x57cded25, 0x38112911,
    0x197ad9d2, 0x3e84f408, 0x530aa939, 0x5a7b5790, 0x00000000, 0x1525da32, 0x191b73c2, 0x21cb332d,
    0x223a8a3e, 0x43fa5051, 0x2b387582, 0x308d9ae5, 0x433b082b, 0x232681c3, 0x46937193, 0x1a8ce87c,
    0x3bd3044a, 0x2e8fb27c, 0x0266be04, 0x2d4669ec, 0x6c5ef150, 0x17ab81ea, 0x1602446e, 0x56a41a7a,
    0x4114589a, 0x30166be0, 0x1faae08f, 0x51000ce3, 0x0a02fa42, 0x68d97f4d, 0x663160e1, 0x342da50e,
    0x0c9f0b46, 0x2f883a2f, 0x75529f4f, 0x1a99454f, 0x33b1e47b, 0x76bb3a07, 0x18eb2376, 0x45fd3961,
    0x1477afb2, 0x54b7aea8, 0x4fc0c161, 0x56e694c2, 0x550e9326, 0x27d76b6f, 0x19c699e9, 0x60855069,
    0x415b9d64, 0x00000000, 0x3b9200b4, 0x062afe73, 0x5ea23a96, 0x295c3423, 0x30af6ff2, 0x2edaf542,
    0x1101031c, 0x3b3f9300, 0x758a7a41, 0x6200a00c, 0x541c3683, 0x5ebe2d29, 0x11e0d5c8, 0x72788d5e,
    0x3d6c3669, 0x5c2394d6, 0x24b962ec, 0x3bdf537e, 0x6fc6d16f, 0x481568fa, 0x62ee6c7e, 0x457ae9c8,
    0x47dc2874, 0x4de25cd7, 0x37b22c42, 0x1710fa90, 0x1d0df34f, 0x5b2b516c, 0x3c6e7818, 0x1c489c87,
    0x087a0c79, 0x0bf93634, 0x50081ccd, 0x30e94f34, 0x70a761ea, 0x027cbc35, 0x6b8bc9b1, 0x711ad9e0,
    0x4eccdf89, 0x42af4fd9, 0x07605413, 0x3bcebe1e, 0x35864612, 0x1e5e97aa, 0x00000000, 0x5763221a,
    0x45c4c8b8, 0x5ed0f463, 0x685e766a, 0x3fda5934, 0x427cea3a, 0x68284507, 0x67382d38, 0x39b04018,
    0x2c583f99, 0x70bdaa2e, 0x4c2181ec, 0x655e5f0f, 0x4189279c, 0x646b2c95, 0x4911e363, 0x7738b0f6,
    0x3f1b109e, 0x2249a761, 0x29039862, 0x2ce57e1c, 0x33ade99e, 0x09aa9a76, 0x1b279119, 0x26de9344,
    0x41c098c2, 0x66ba276a, 0x0b8ae386, 0x5d70796b, 0x22c7dfe9, 0x692e5d7b, 0x018c7153, 0x0d1a713b,
    0x166b95c6, 0x4f5367a8, 0x127231e2, 0x177b4d05, 0x01a61186, 0x38594b6f, 0x15b66634, 0x1c60e0a0,
    0x510030c7, 0x6b9b7833, 0x33b0eb77, 0x00000000, 0x3da43075, 0x27663a8a, 0x3d0514d4, 0x15ea0075,
    0x6826c00b, 0x401567aa, 0x4fcda66f, 0x5449a522, 0x3e9adde6, 0x27a8cd12, 0x19560070, 0x53243950,
    0x3e04955a, 0x4391585c, 0x15b362ad, 0x2574ddd1, 0x0b867b40, 0x1d9a0ada, 0x035303a5, 0x166d2a72,
    0x0aa58abb, 0x3575d744, 0x3cb592df, 0x086e1579, 0x37a882c8, 0x0c8f80b6, 0x689a3132, 0x1b655eba,
    0x50e52662, 0x16707100, 0x0d54979c, 0x71e0276f, 0x1fadd67c, 0x254aad22, 0x291873f5, 0x6c8dbf6b,
    0x24c29cb5, 0x202b1f74, 0x381b86b1, 0x365d836e, 0x47787319, 0x4b0760b2, 0x4663f7cf, 0x36679280,
    0x00000000, 0x23463b9c, 0x33992cb4, 0x37bec9ce, 0x3fea6662, 0x71c10898, 0x21350e86, 0x397e6959,
    0x087dd2a5, 0x68f99b73, 0x5005917b, 0x636b9b75, 0x4e5b340d, 0x3d290e91, 0x10401180, 0x5cae1a28,
    0x36136ef7, 0x3ce36d97, 0x72467e09, 0x2ad0d940, 0x28e92702, 0x3555709c, 0x1a5812b1, 0x6aae6216,
    0x69d087e5, 0x48bc22f5, 0x26f5e30d, 0x0ed5b1e7, 0x2c50cdfa, 0x3d41e6b9, 0x573f2287, 0x67f773bf,
    0x5b25cf0f, 0x279b247e, 0x4b999765, 0x063beae2, 0x18e2c36d, 0x7660e697, 0x462619c1, 0x31008a50,
    0x687a5379, 0x6d589ce2, 0x212e9f3c, 0x0d37c638, 0x006a92a1, 0x00000000, 0x1c49ca69, 0x08e8f5e6,
    0x346e1ad0, 0x70028f6c, 0x02aeda87, 0x04178fa8, 0x1ccfb499, 0x0017271d, 0x129169db, 0x0c8a5f39,
    0x509b82e1, 0x1670194c, 0x1c0cebc2, 0x57b70d57, 0x601c847c, 0x1ca2efe2, 0x46b81b52, 0x4b3e7df8,
    0x59af00fa, 0x28584ebb, 0x61fe3972, 0x0d1eff3e, 0x3766dda7, 0x4ecd8148, 0x775ad165, 0x37707685,
    0x5ac835b9, 0x282f1cfa, 0x17ba8cf0, 0x59ecc93f, 0x76eb6b02, 0x255a827f, 0x34004786, 0x2b785742,
    0x6773abdd, 0x2bba7776, 0x21fc5288, 0x1737bf29, 0x619b6c6b, 0x13c642f5, 0x48896581, 0x49d448c5,
    0x472777a4, 0x6342596d, 0x00000000, 0x5dde2d0f, 0x4d667b2a, 0x316c6994, 0x7597157b, 0x46fa7d22,
    0x50a9c824, 0x1e355d9b, 0x09b6350f, 0x40752d6e, 0x3923bcd9, 0x756b0cb0, 0x35f8c7a2, 0x4ef33aff,
    0x45a940ee, 0x148fc9dc, 0x67c35371, 0x286f769b, 0x5604e052, 0x053067c8, 0x072b1604, 0x743bc359,
    0x57ea0f9d, 0x428b837b, 0x2daef9f2, 0x7463d192, 0x33d6041a, 0x5b4e4a4a, 0x5826e479, 0x3d512a5d,
    0x4a05d7b4, 0x29f74db4, 0x5b51f7cf, 0x4d306a04, 0x67c32ed3, 0x6462eceb, 0x64877ed1, 0x67966589,
    0x562d7763, 0x42e430a2, 0x4a452c50, 0x36eeeba3, 0x68f262de, 0x6978d88b, 0x2b8ed50d, 0x00000000,
    0x1e9d2e1e, 0x68f5f562, 0x21786b7d, 0x69db68af, 0x25aa36e8, 0x641a9c2d, 0x71097e58, 0x65df2997,
    0x36a33d15, 0x15380ea9, 0x1ed6a55d, 0x6e55b2cd, 0x460a3017, 0x74a8683c, 0x63e85379, 0x2faf68d3,
    0x09cfbc52, 0x08dcc0d6, 0x67b1e6f7, 0x571d3c2d, 0x2f6ff3b6, 0x51161796, 0x362b28af, 0x33aec721,
    0x4a397889, 0x2ad1a148, 0x6c127ea3, 0x3cf79101, 0x3008f715, 0x4ee6f8fb, 0x6a477b1a, 0x694f8366,
    0x09cb2061, 0x32bc269e, 0x5a815585, 0x6ad4fa1f, 0x6af77830, 0x67214722, 0x3707e8ca, 0x28bccc81,
    0x291d5899, 0x1eb554c8, 0x5083d508, 0x48ddb980, 0x00000000, 0x17c6a447, 0x51ce7fe0, 0x72310e83,
    0x58942237, 0x481215b9, 0x1f85458a, 0x117d2c9b, 0x262fa404, 0x0c6d662c, 0x128c5d42, 0x3041010e,
    0x4cf19b26, 0x02988e07, 0x3bcd74d3, 0x2c1beeaf, 0x350c3613, 0x3e5c0f4f, 0x00e7eec7, 0x671a47e3,
    0x7574655c, 0x551da81c, 0x64f55900, 0x00d89754, 0x501e64b0, 0x018103d6, 0x48414248, 0x377e461e,
    0x5f247ec2, 0x2198f798, 0x2ea90b49, 0x29c89d2e, 0x5ba4a47a, 0x6141421c, 0x3ab28761, 0x4aa3ea39,
    0x4fcfa80a, 0x37d26f76, 0x3b8acd8c, 0x5b5fb25f, 0x5cfa30a3, 0x75a0b3e7, 0x55150736, 0x3536456e,
    0x49aa0377, 0x00000000, 0x05269f62, 0x74dbce48, 0x378bbdcd, 0x70638894, 0x0826d099, 0x419af1f9,
    0x475832ca, 0x09eccbda, 0x44ff095d, 0x1e4824f2, 0x2f81d865, 0x4f283eda, 0x2203523e, 0x73d4fa19,
    0x56c12268, 0x486665bc, 0x63914583, 0x64a18116, 0x0b6e0190, 0x03e53a65, 0x54c70f06, 0x536d2dec,
    0x33fcf7a0, 0x6c5c1c18, 0x13980207, 0x7570ff6c, 0x3a38ab85, 0x00a39da4, 0x26a10890, 0x40e4247e,
    0x1f5c3ac9, 0x6aeb6223, 0x2078af71, 0x368983b2, 0x39425ff2, 0x0117f576, 0x680b8832, 0x1d3ad038,
    0x553048b5, 0x66a4dce8, 0x288a9585, 0x6b8acf68, 0x29dfed3d, 0x20a52f8b, 0x00000000, 0x2be73fa0,
    0x281a8ed7, 0x1281ce35, 0x1188c0a3, 0x382742b4, 0x061d3891, 0x7219089d, 0x43c129ec, 0x3db29dda,
    0x29819b58, 0x561088ab, 0x186d70c5, 0x2807809b, 0x36b56c05, 0x68015764, 0x11a42e5e, 0x74ed3458,
    0x4cdfbf1b, 0x0355c64f, 0x0bfe0972, 0x71df59d2, 0x7382b166, 0x12da7188, 0x4643e7ab, 0x3206eb9e,
    0x70034d0a, 0x0022947a, 0x5d37327d, 0x395a2a25, 0x5e9c74bd, 0x604a2669, 0x4124308b, 0x09538816,
    0x13ea5fca, 0x74ce4a43, 0x6cf0467c, 0x3578235b, 0x6bfaf0b0, 0x765f0927, 0x63b10fcc, 0x601f8f14,
    0x6f349a45, 0x4b50e42e, 0x4702b2ac, 0x00000000, 0x14a0ea86, 0x0ab1dcfd, 0x289ce702, 0x4fe55cf6,
    0x6bed7340, 0x3a66900f, 0x5a228ae4, 0x303f0f3f, 0x26c9fbb1, 0x17748f2f, 0x5233730e, 0x29464d41,
    0x655f4050, 0x37b2b172, 0x6a249c18, 0x6f3b241f, 0x5e1a21ed, 0x5e492412, 0x72533145, 0x4d14a673,
    0x152f8cfb, 0x77f2ac8f, 0x5659007d, 0x68609f82, 0x18cc5d5e, 0x5c99632c, 0x00c5b70f, 0x3f131e8e,
    0x1ec13503, 0x76cc3e2c, 0x745972f1, 0x2f513316, 0x25333b08, 0x437a21c5, 0x37688313, 0x4e0fcf38,
    0x652477a0, 0x52f00188, 0x16ad4ee1, 0x6b3859f4, 0x52f75eb8, 0x361c2498, 0x038b594e, 0x1681937c,
    0x00000001, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x5bd30478, 0x07ebbe62,
    0x2c815225, 0x4d84dac1, 0x4c7998ba, 0x3a7fea49, 0x3aa9a481, 0x49c11a1e, 0x04d8979d, 0x5fbfade1,
    0x2429dfd7, 0x272efaae, 0x46f9efea, 0x22bc6d5a, 0x4f62ff6c, 0x0cda4bdd, 0x2331370f, 0x02623b6d,
    0x195478b1, 0x37dc87b8, 0x59ea764c, 0x00e4d93f, 0x2a00959b, 0x0925f057, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x46702088, 0x3681d0e7, 0x388f5aba, 0x4e3cf108, 0x4c61fd93,
    0x03f2badd, 0x228ca0e0, 0x1c1113ac, 0x3e549f9b, 0x2e44a9a4, 0x386410a8, 0x54b008ad, 0x2079d36b,
    0x3c77339e, 0x715665f9, 0x49b3a0f6, 0x272ed7c2, 0x0bab54d8, 0x2c5dbb86, 0x16adc2b8, 0x15d23ab1,
    0x6953de0e, 0x0058e2d0, 0x2ed079d2, 0x0925f057, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x16c2083e, 0x36bdb90c, 0x20a7f7d2, 0x443a5cb8, 0x0542c817, 0x15c458fa, 0x639a110a, 0x4b072d2c,
    0x1dc834d2, 0x5bd14716, 0x5d839e47, 0x644e77aa, 0x4d1a9117, 0x40f8a6a0, 0x737d4451, 0x6ddd31e0,
    0x72844e61, 0x5f331986, 0x2889f36d, 0x6ae5da0f, 0x719d1c89, 0x575fe7b9, 0x64256fe6, 0x311688d7,
    0x2ed079d2, 0x0925f057, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x0dde62ff, 0x64efd18f, 0x5f95a3c1,
    0x68071a29, 0x613c0cac, 0x0a004a4b, 0x694c10a8, 0x49f4b347, 0x51f9c09e, 0x4349caa2, 0x1970256c,
    0x5aa1364f, 0x53a1d3e6, 0x0d3c04d0, 0x6e6f03f1, 0x6ca47ce4, 0x075b0d98, 0x0cb946ae, 0x120a777b,
    0x3c6d5d98, 0x674db665, 0x1f37d6c8, 0x69c8358c, 0x58ac0bf3, 0x311688d7, 0x2ed079d2, 0x0925f057,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x0a55a9d6, 0x63a7100a, 0x5f67d79d, 0x2fa62ff6, 0x2e6b363b, 0x639137f5,
    0x572b110a, 0x4bebd317, 0x5d7ed78d, 0x5b842b6d, 0x22fd01f2, 0x108b5719, 0x3f8d5e3b, 0x206e828e,
    0x1b9696e9, 0x3ec7c45c, 0x631f1e3a, 0x6ab548eb, 0x19ac6a7e, 0x6271ce05, 0x4658311d, 0x2a2ade9d,
    0x2ce3650c, 0x3da2e887, 0x58ac0bf3, 0x311688d7, 0x2ed079d2, 0x0925f057, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x7501a157,
    0x2438d2ba, 0x57cb1b5f, 0x4eef0583, 0x404b6e85, 0x701efac2, 0x4ff4fe63, 0x04d8c0ea, 0x15585c8a,
    0x1e31cb7e, 0x0f1da046, 0x69faf9e2, 0x556599cf, 0x0fabce43, 0x4679d145, 0x3bfcca51, 0x76eca08f,
    0x44f56239, 0x608e658f, 0x23a19312, 0x2755f206, 0x040bd6a0, 0x07958343, 0x4b1b50e7, 0x3da2e887,
    0x58ac0bf3, 0x311688d7, 0x2ed079d2, 0x0925f057, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x6b8878d2, 0x5732547a, 0x27060228, 0x2b391c3f,
    0x1281f081, 0x0839a83e, 0x5ab4733d, 0x600a943e, 0x49e2493b, 0x2b439232, 0x63df95be, 0x4fc54ab0,
    0x439f0d81, 0x35204e6a, 0x4838fe17, 0x72ddcdda, 0x43af925c, 0x6a69a898, 0x5cde3353, 0x363034a5,
    0x74e51999, 0x1596af62, 0x5ef2c0dd, 0x616753e7, 0x4b1b50e7, 0x3da2e887, 0x58ac0bf3, 0x311688d7,
    0x2ed079d2, 0x0925f057, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x5c50250c, 0x104ec6d1, 0x18d22783, 0x6d065609, 0x7404b3b1, 0x2eb93679, 0x0bedfc2e,
    0x5fdb4812, 0x4601facc, 0x12c3701f, 0x2decc195, 0x6fb27425, 0x3c03b816, 0x441b0427, 0x2241035f,
    0x1477e9e9, 0x38cf401d, 0x6b75f532, 0x74e3dc4e, 0x3abb3bb3, 0x41746ad2, 0x5d20c19a, 0x44b4500d,
    0x65bec109, 0x616753e7, 0x4b1b50e7, 0x3da2e887, 0x58ac0bf3, 0x311688d7, 0x2ed079d2, 0x0925f057,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x18c4b873, 0x374d7f97,
    0x5f850453, 0x6e4d4278, 0x2f498c2c, 0x3fa1b537, 0x05d575e2, 0x2693e468, 0x1fe98c7a, 0x3c637629,
    0x25b67f09, 0x75d41066, 0x4bf529b5, 0x7335d99d, 0x70a70fb4, 0x425092d7, 0x67caf6f0, 0x2a4d4595,
    0x20156f9a, 0x77bbfeb5, 0x1e8b210e, 0x0e339a83, 0x27433130, 0x168d2b45, 0x65bec109, 0x616753e7,
    0x4b1b50e7, 0x3da2e887, 0x58ac0bf3, 0x311688d7, 0x2ed079d2, 0x0925f057, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x02f2b6d7, 0x27b4628d, 0x434bb31d, 0x52b2fe45, 0x4fdaa140,
    0x4973d398, 0x4407f61e, 0x0111892c, 0x7402d906, 0x12dc43c8, 0x60908e1d, 0x4e098dc6, 0x77814892,
    0x0dab74aa, 0x206be50f, 0x61ee01da, 0x28f8eb53, 0x3467e8a4, 0x10281174, 0x17f47cc4, 0x6dad5fd7,
    0x0b5df976, 0x14e40424, 0x2912331d, 0x168d2b45, 0x65bec109, 0x616753e7, 0x4b1b50e7, 0x3da2e887,
    0x58ac0bf3, 0x311688d7, 0x2ed079d2, 0x0925f057, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x3a388ed0, 0x12a02a01, 0x32fbe1ac, 0x39dd2668, 0x52a44bdb, 0x1c23b181, 0x582d2549, 0x05cffc21,
    0x521516ed, 0x2043dc59, 0x36570d5a, 0x42c947cc, 0x0842830c, 0x191f4d46, 0x47d6ca89, 0x6120b74d,
    0x2f3056e0, 0x0c4ef429, 0x3a86c8d9, 0x6734e574, 0x4bc01eda, 0x1cbd0d1f, 0x6d9ec9a6, 0x08dabcd3,
    0x2912331d, 0x168d2b45, 0x65bec109, 0x616753e7, 0x4b1b50e7, 0x3da2e887, 0x58ac0bf3, 0x311688d7,
    0x2ed079d2, 0x0925f057, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x70f5c334, 0x59ccf837, 0x35553e32,
    0x687d756e, 0x615bd10d, 0x4fa80b4f, 0x1a7eb9fc, 0x0b701939, 0x3fab2514, 0x3060050f, 0x74dc6635,
    0x069c761e, 0x23c40e93, 0x235b7576, 0x325e249a, 0x667b30ec, 0x2732efac, 0x44acbfa7, 0x4412c5d0,
    0x77d567c4, 0x295e71de, 0x2c84ce30, 0x6d08de55, 0x132a1bb4, 0x08dabcd3, 0x2912331d, 0x168d2b45,
    0x65bec109, 0x616753e7, 0x4b1b50e7, 0x3da2e887, 0x58ac0bf3, 0x311688d7, 0x2ed079d2, 0x0925f057,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x07ddd991, 0x7030f640, 0x094b50e7, 0x54c2aab7, 0x4cae9421, 0x1df6d203,
    0x1543f7e0, 0x10fc5b70, 0x318a5702, 0x4485985d, 0x68026aa7, 0x0dac0565, 0x0a0bb71c, 0x5afbd2d8,
    0x4d05c635, 0x1a8d8a52, 0x58442f22, 0x6abaadd6, 0x44a0cc58, 0x44239fef, 0x0ca40522, 0x3168a126,
    0x1e256a61, 0x15d3b023, 0x132a1bb4, 0x08dabcd3, 0x2912331d, 0x168d2b45, 0x65bec109, 0x616753e7,
    0x4b1b50e7, 0x3da2e887, 0x58ac0bf3, 0x311688d7, 0x2ed079d2, 0x0925f057, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x54dfaa27,
    0x0c1fc6e5, 0x6126cd8b, 0x24501a4d, 0x6a1b6ffd, 0x60cf56f0, 0x6c14532b, 0x367d8d08, 0x4ed49221,
    0x01e8050d, 0x4b2fc773, 0x26fdd612, 0x1532ea82, 0x6bf8c177, 0x32c7b51a, 0x3b51f82c, 0x44d03643,
    0x0bef9a5a, 0x3a84d3b5, 0x5dfc5641, 0x2f5719a9, 0x4bf13e5f, 0x03cd8cec, 0x21911145, 0x15d3b023,
    0x132a1bb4, 0x08dabcd3, 0x2912331d, 0x168d2b45, 0x65bec109, 0x616753e7, 0x4b1b50e7, 0x3da2e887,
    0x58ac0bf3, 0x311688d7, 0x2ed079d2, 0x0925f057, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x3d24e21a, 0x398d85ec, 0x4ad9defb, 0x63750d04,
    0x122c3f0a, 0x3faf68cb, 0x292dd321, 0x2a997a1d, 0x29bfdfa0, 0x430d9f8d, 0x1926748d, 0x539f6434,
    0x644bc208, 0x2437521f, 0x32423d95, 0x34dd55c3, 0x3a661111, 0x44b12796, 0x024f6e3a, 0x5a119075,
    0x0e19694c, 0x08374d2f, 0x133513c9, 0x09095e73, 0x21911145, 0x15d3b023, 0x132a1bb4, 0x08dabcd3,
    0x2912331d, 0x168d2b45, 0x65bec109, 0x616753e7, 0x4b1b50e7, 0x3da2e887, 0x58ac0bf3, 0x311688d7,
    0x2ed079d2, 0x0925f057, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x2bdbb46a, 0x30897f04, 0x08acd118, 0x4221d8e4, 0x0ddf6b2d, 0x1e59e353, 0x4748e4f3,
    0x5ee30464, 0x3e515650, 0x4d1b4454, 0x23e8e728, 0x2d8992ea, 0x05a21e62, 0x697b76e9, 0x674137d6,
    0x5961a7ae, 0x699b763c, 0x1fdf120a, 0x6637ad1a, 0x0f8267eb, 0x06645b45, 0x46a1748b, 0x06775ba0,
    0x4f5e29b5, 0x09095e73, 0x21911145, 0x15d3b023, 0x132a1bb4, 0x08dabcd3, 0x2912331d, 0x168d2b45,
    0x65bec109, 0x616753e7, 0x4b1b50e7, 0x3da2e887, 0x58ac0bf3, 0x311688d7, 0x2ed079d2, 0x0925f057,
    0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x5f149b88, 0x41c7b6aa,
    0x71cd67e0, 0x205251d7, 0x5be4b7c1, 0x104275d5, 0x44872f9a, 0x73dca4f9, 0x3d3f9a0f, 0x0d821c36,
    0x5037f93d, 0x672a9d35, 0x5d97e6d0, 0x487c1468, 0x1e6184b0, 0x6b98e0e1, 0x701fca8a, 0x740dbc52,
    0x5f438f78, 0x2f500f81, 0x2d0a5209, 0x359024e7, 0x307106b9, 0x2a3dab37, 0x4f5e29b5, 0x09095e73,
    0x21911145, 0x15d3b023, 0x132a1bb4, 0x08dabcd3, 0x2912331d, 0x168d2b45, 0x65bec109, 0x616753e7,
    0x4b1b50e7, 0x3da2e887, 0x58ac0bf3, 0x311688d7, 0x2ed079d2, 0x0925f057, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x303a8cdd, 0x09861832, 0x26302acb, 0x2ddcc23a, 0x089b7ff8,
    0x27ddd6e2, 0x1d343f02, 0x62e57822, 0x39c57b53, 0x091a9c99, 0x1dab6f62, 0x0da9d162, 0x34125a2b,
    0x2477766d, 0x1417d261, 0x0086ade5, 0x66ac9aaf, 0x62fb976a, 0x43ea98ff, 0x1b4f74a7, 0x4a5e3876,
    0x27756935, 0x2f897e5c, 0x39e79288, 0x2a3dab37, 0x4f5e29b5, 0x09095e73, 0x21911145, 0x15d3b023,
    0x132a1bb4, 0x08dabcd3, 0x2912331d, 0x168d2b45, 0x65bec109, 0x616753e7, 0x4b1b50e7, 0x3da2e887,
    0x58ac0bf3, 0x311688d7, 0x2ed079d2, 0x0925f057, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x6dd0aa6d, 0x164268c2, 0x1b96c263, 0x1f970a85, 0x0ee29ddb, 0x6128705a, 0x5a5df10f, 0x7420984f,
    0x1eab485b, 0x690fc10c, 0x10b28254, 0x7318d95d, 0x29c1e960, 0x2245d9b6, 0x3ed750b6, 0x086a4103,
    0x1da61d3a, 0x381b8eec, 0x212451dd, 0x2c6f720d, 0x24d2f493, 0x4ef49224, 0x01504464, 0x102e141d,
    0x39e79288, 0x2a3dab37, 0x4f5e29b5, 0x09095e73, 0x21911145, 0x15d3b023, 0x132a1bb4, 0x08dabcd3,
    0x2912331d, 0x168d2b45, 0x65bec109, 0x616753e7, 0x4b1b50e7, 0x3da2e887, 0x58ac0bf3, 0x311688d7,
    0x2ed079d2, 0x0925f057, 0x00000000, 0x00000000, 0x00000000, 0x10f32be8, 0x4a1ad204, 0x01e59a20,
    0x2a91fc6e, 0x4b444e35, 0x4ec381af, 0x62d2a09b, 0x644054d2, 0x308a3258, 0x303ff229, 0x3834cf09,
    0x2cd89198, 0x61956917, 0x2d9c3305, 0x21734049, 0x16d9dd3f, 0x0d0fe3e1, 0x0726ec21, 0x2677b57e,
    0x7258b965, 0x314524d3, 0x3939f851, 0x76860c74, 0x5298d425, 0x102e141d, 0x39e79288, 0x2a3dab37,
    0x4f5e29b5, 0x09095e73, 0x21911145, 0x15d3b023, 0x132a1bb4, 0x08dabcd3, 0x2912331d, 0x168d2b45,
    0x65bec109, 0x616753e7, 0x4b1b50e7, 0x3da2e887, 0x58ac0bf3, 0x311688d7, 0x2ed079d2, 0x0925f057,
    0x00000000,
];

pub const PARTIAL_COMP_OFFSET: &[Elem] = &baby_bear_array![
    0x55827d1b, 0x4653e46d, 0x0af39e48, 0x0fdd2c84, 0x25b7f5da, 0x4124ec0d, 0x60cf949e, 0x446d5262,
    0x4be29a19, 0x63f1436a, 0x5f9ff71b, 0x15944dc4, 0x2bee7deb, 0x0b8c3078, 0x412b1077, 0x3a39281c,
    0x60dd3778, 0x54339102, 0x64c10449, 0x0c6b767f, 0x2def1f32, 0x0e501e9a, 0x06bb760b, 0x08244280,
    0x1da78ec2, 0x65774dd6, 0x11beaee2, 0x35292a4d, 0x39c992f2, 0x15dc5da8, 0x3e474633, 0x2530e3bf,
    0x00c497ac, 0x6627f850, 0x37389bff, 0x3585f559, 0x5fd89037, 0x49ee2bb9, 0x12fec308, 0x083ac6bb,
    0x4361e8cf, 0x3620e7ef, 0x58fe78df, 0x0dcbb58a, 0x43b6e06b,
];