static const uint32_t in_com1[512] = {
    0x3f0084e4, 0xbe9995e3, 0xbf0170b0, 0xbec86a88,
    0x3dec3214, 0xbd8eec8f, 0xbdd35476, 0x3e7f37ac,
    0xbf192f01, 0x3eba0432, 0xbeb508e5, 0xbf800000,
    0xbe012612, 0xbe6ff3e2, 0xbe618246, 0x3cb5cf30,
    0xbd2f26d7, 0x3e3c1b4d, 0x3eb9a1c1, 0xbe05ea3b,
    0xbd0135fb, 0x3dd144d4, 0xbd525df7, 0xbe87ce15,
    0x3d8d64c4, 0xbe75b299, 0xbee8617b, 0x3f116a51,
    0x3e207a78, 0xbe1ac2a1, 0xbe3ca86a, 0x3e2a5dc1,
    0xbe5bd91f, 0xbf23b59b, 0x3d1f02a1, 0x3e62f5b9,
    0xbe0dab93, 0xbdad40bd, 0xbe210a11, 0x3e2498dd,
    0xbefb7d10, 0xbf453d90, 0x3de65c60, 0x3e58b385,
    0xbe804335, 0x3ead7f62, 0xbe38c32b, 0xbe906b71,
    0xbe805acd, 0xbe9cdd57, 0x3e798c7e, 0x3e8066f3,
    0x3e4741ed, 0xbe8e103f, 0xbe436b7e, 0xbc219363,
    0xbede5dbf, 0xbe00b338, 0x3e5c9f1a, 0x3e47fd62,
    0xbea64f65, 0xbde8237c, 0x3dbab144, 0x3dfb9ab8,
    0x3dd2b694, 0x3beb2279, 0x3eaf3b7b, 0x3e70bea7,
    0xbea34614, 0xbf022556, 0x3da9b165, 0xbef79918,
    0xbdf5a582, 0xbe889a61, 0xbe65d795, 0x3d808006,
    0x3efe6870, 0xbe6b90c0, 0xbe00f1b3, 0xbdd6434c,
    0x3d9bd9ab, 0x3d432fec, 0x3f09c4f5, 0x3dea590e,
    0xbf053ba3, 0x3f10c823, 0xbf06e797, 0x3f3c1977,
    0xbeb79027, 0xbd79a321, 0x3cea4743, 0xbebc2f10,
    0x3edcc01d, 0xbc3c9e0c, 0xbbf272a3, 0x3ea05605,
    0x3b329f0b, 0x3e51c569, 0x3e110b95, 0xbe8bf5a5,
    0xbe364836, 0xbef16501, 0xbde029c5, 0xbdb849ec,
    0xba17a81d, 0x3db912a1, 0xbd7fde8e, 0x3ee63968,
    0xbe25db83, 0xbe30b0cf, 0xbe2a6736, 0x3e57cd8b,
    0xbe4d8066, 0x3e5a83ce, 0x3e8e52d0, 0xbd99674c,
    0x3e8c8260, 0x3ed0baac, 0x3eeb4a92, 0x3d17a9e7,
    0xbe7f7c11, 0x3d52b379, 0x3d3dd8c7, 0x3e4a8f3f,
    0x3eabd769, 0xbdd78558, 0x3f07ea3a, 0x3d011075,
    0x3e12192f, 0x3d8d2f3c, 0x3e814a5e, 0x3db9e93b,
    0x3ead5d94, 0x3d928b21, 0x3e4353a8, 0xbd0f5662,
    0x3da08f6a, 0x3d322a17, 0x3d836e97, 0x3d49ead5,
    0x3e3f890f, 0x3e2a704b, 0xbcf20e17, 0xbe8d80da,
    0xbe93ac47, 0x3e6fc470, 0x3dd656f5, 0x3f3c9b4e,
    0x3ee45d2f, 0xbdb9e4e3, 0xbd2330a8, 0x3e33e8b5,
    0x3ec9467a, 0xbd534d3c, 0x3e53fd7f, 0xbeab7fb2,
    0x3c3aebee, 0x3d8fea35, 0xbe592a72, 0xbe3d3053,
    0xbe1e94b0, 0xbe52fde4, 0xbcd33d2a, 0x3e906d93,
    0x3e864005, 0xbe3d8f1a, 0x3eb9a66f, 0xbe3558d4,
    0x3ef08d8f, 0xbe97b919, 0xbe5b6e7f, 0x3d997813,
    0x3e6f31f8, 0x3ebb5882, 0x3e81484b, 0x3e9d7e60,
    0xbdfb6ac2, 0x3ed4bb64, 0xbf204164, 0x3e1d18e9,
    0xbe7277ed, 0xbdbc0d5b, 0xbe194df6, 0x3e337c23,
    0xbf0480d3, 0x3e8f0a8c, 0xbf033627, 0xbf069f49,
    0x3e90b4d7, 0x3cd67239, 0xbe1f1b95, 0x3da94b48,
    0x3cd8c19d, 0xbf09b38e, 0x3ee3e6f1, 0xbd93b24b,
    0xbd7223b7, 0xbdbf7635, 0x3bc0a48b, 0x3dee2421,
    0x3f13a1a2, 0x3dc445c9, 0xbef196cc, 0x3eaecc75,
    0x3b2f51b6, 0x3e43154f, 0xbe474e85, 0x3e5f1885,
    0xbe247b90, 0xbee7c404, 0x3e8d8a08, 0x3f0cc0b8,
    0xbe5e28da, 0x3ec20ea5, 0x3db91c9c, 0xbd78e11c,
    0xbd833aa6, 0x3ddd7f45, 0xbeca6186, 0x3e959a63,
    0x3e99d15a, 0x3e7d1ac8, 0x3f05415f, 0xbea79f57,
    0xbd6fc62c, 0xbe23c97a, 0xbd1885ee, 0xbe0e813e,
    0x3dab0752, 0xbe6026e7, 0x3e6e3c5b, 0xbe5efa50,
    0xbf032707, 0xbf03d653, 0xbf126305, 0x3e4d603e,
    0x3e5bb268, 0xbf03fb5f, 0x3d8c9de8, 0x3e9b08b4,
    0x3dcd890a, 0x3dc5cd85, 0x3e0dfb17, 0x3e4d714f,
    0xbea3977e, 0x3eef8f5d, 0x3e954442, 0xbda16259,
    0xbe64284f, 0xbba68454, 0x3ec1f226, 0x3e612c82,
    0x3e9bfbaa, 0xbcd0d356, 0xbf3c56af, 0x3e5bde84,
    0x3c37b128, 0xbe0457e1, 0x3e4e71de, 0xbe30b507,
    0xbe3b5e77, 0x3ee7c54b, 0xbeb0788a, 0xbd82b1a5,
    0x3ec10b77, 0xbe75f88e, 0xbcc0d96a, 0x3f01f431,
    0x3d619de9, 0x3dd1d4d6, 0xbe6cc086, 0x3d62a209,
    0x3e69615d, 0x3e83fb0e, 0xbe03cd95, 0x3c3e6f95,
    0xbe5b2cd7, 0x3d99ee78, 0xbe9f4ce5, 0xbe58dc84,
    0xbf35bf34, 0x3aca4388, 0xbeb31f40, 0xbe8b2a83,
    0x3d814c1a, 0xbd0c9731, 0x3daf8002, 0x3e8ad963,
    0xbea0d38f, 0x3dea59a4, 0x3ddff794, 0xbee608b9,
    0x3f24b219, 0x3e91b85a, 0x3cfa28b4, 0xbdeeaf7a,
    0xbd2ff925, 0x3f2801de, 0x3e9ea6d2, 0xbe1c10b2,
    0x3e32ac2b, 0xbe97a379, 0xbf12824d, 0x3f19b99d,
    0x3ef151dd, 0xbde870a4, 0x3f4f4b0f, 0x3ea95ab9,
    0xbf1cb630, 0x3df20730, 0x3d77a811, 0x3dcb568f,
    0xbb77be48, 0xbed03bca, 0xbecb2f31, 0xbf446e23,
    0xbed77cd3, 0xbecb648f, 0x3f28e9f6, 0x3e87aad8,
    0xbdba4dd4, 0x3ea519d8, 0xbeac6589, 0xbee4690e,
    0x3dedaaf1, 0x3d898771, 0x3e3deee4, 0xbbaf2e62,
    0x3de43b30, 0x3c1f2a67, 0xbe917c84, 0xbe1a200d,
    0x3f13b223, 0xbe5b1d1e, 0xbf0e4d3b, 0xbdc4064d,
    0x3e4f7e12, 0xbeb643a2, 0xbef60d0e, 0xbf182828,
    0x3d7e4a65, 0x3dd4ca17, 0x3d9c24e1, 0xbb694f77,
    0xbed7bbe7, 0xbd0af39a, 0xbd499f39, 0x3ecf0f65,
    0x3f20aa2b, 0xbcfaa14f, 0x3ee7f59b, 0x3e30e185,
    0x3e12800e, 0x3e876f25, 0x3bf409ca, 0x3e86555e,
    0xbd510d02, 0xbdf1bea6, 0xbf106379, 0x3ba7de0d,
    0x3eccb87b, 0x3e9f3970, 0x3e25e58a, 0x3e0061fd,
    0x3eca507b, 0xbdb684a8, 0x3ea3707b, 0xbe75e8d6,
    0x3f16d481, 0x3e1f515e, 0xbe12d84a, 0x3e41bef7,
    0xbdaf7eae, 0xbeb0ca4e, 0xbded2b8e, 0xbd589643,
    0xbd62255e, 0xbf0e7a04, 0xbf1de906, 0xbe6e842c,
    0x3e3f32bb, 0xbd7c3e39, 0xbec3ffa7, 0x3e46ab63,
    0x3e95a600, 0xbcf42638, 0xbe5222d3, 0x3e0c0f46,
    0x3e48255c, 0x3e00b6c1, 0xbc18ccc6, 0xbe74e1d4,
    0xbeeaa1fb, 0xbd944a0d, 0xbe7f2ed5, 0xbe4b95bc,
    0xbe315ab8, 0x3dd25497, 0xbf265207, 0x3f00db75,
    0x3e38fbfe, 0xbf5adeb2, 0xbdef1655, 0xbe19a85e,
    0xbeaa1219, 0x3dd39454, 0xbd9ec21a, 0x3ddf9139,
    0xbe9f2506, 0xbe287528, 0x3dd57c9e, 0x3bd34c0f,
    0x3e9c3531, 0x3c058c9a, 0x3f27607f, 0xbea90d65,
    0x3becf53c, 0xbf03dead, 0x3f0c39ce, 0xbef4017c,
    0x3e54a235, 0xbf4c7ea8, 0x3dfc773a, 0xbea08b87,
    0xbeddf85b, 0xbe8b1552, 0x3d8d7693, 0xbe30723c,
    0xbdaf0a55, 0xbe9ac467, 0xbe52d73b, 0xbea1e4d3,
    0xbddae9e1, 0xbe93431e, 0x3d174f8a, 0x3e81ba72,
    0x3eb0b74f, 0xbeacf23a, 0x3d114646, 0x3ed371aa,
    0xbe588ee9, 0xbd81fc1c, 0x3e3ae3cf, 0x3dd15023,
    0x3d96922f, 0x3ef3bbc7, 0xbe7556ce, 0xbea7398e,
    0xbd893c6e, 0xbe4516c0, 0xbebd212e, 0x3d0488c9,
    0xbe65b702, 0xbdf49516, 0x3ddad8bd, 0xbe06c415,
    0x3e18a376, 0xbeab3fde, 0x3e9af923, 0x3e12fda1,
    0xbec066e5, 0xbec9cfd4, 0xbe89c552, 0x3e95b2ea,
    0x3e3bfa4f, 0x3ea3d210, 0x3c73b123, 0xbd2dccec,
    0x3f02315e, 0xbec58fd6, 0x3e2fdfef, 0x3e94db5f,
    0xbe860bc2, 0x3ecec451, 0x3d1701f0, 0x3cf8e19f,
    0x3f118e88, 0xbe79f69e, 0xbebeeb83, 0x3c69c7ef,
    0x3e576240, 0x3f2c20ac, 0x3d3bc289, 0xbc2cd316,
    0xbcb9f90b, 0x3e1b3ac8, 0x3e81fcae, 0xbe38f38e,
    0x3eafea2f, 0xbed174ec, 0xbdc8c0fb, 0x3ef8ec15,
    0x3d0f8044, 0xbecaebcc, 0xbe10fae7, 0xbe2254e5,
    0xbedafb89, 0xbe1a8f3d, 0xbbb48407, 0x38a51912,
    0xbbeb4d97, 0x3df6eb0c, 0xbe9235c4, 0xbeefe606,
    0x3f04b735, 0x3d1ed892, 0xbc5ca85e, 0x3ecfb4ff,
    0xbee5eaf7, 0xbe0a66c7, 0x3e92fdc0, 0xbf0e5137
    };

static const uint32_t in_com2[512] = {
    0x3d0374a2, 0xbe7c4005, 0xbe27c5cb, 0xbf137977,
    0x3e4c3c5f, 0xbd786d9f, 0xbede7347, 0xbc4c85b1,
    0x3d8fab5a, 0xbe9d8230, 0x3edd67fa, 0xbf5a2244,
    0xbe9a4e44, 0x3eb696f2, 0x3e843982, 0x3d3435ca,
    0xbd85f601, 0xbe226ffe, 0xbe99c07f, 0xbddb987b,
    0x3e18d9f0, 0x3f4457fb, 0x3e350b79, 0x3dfafa13,
    0xbdeb3d68, 0xbe002d1e, 0x3e950548, 0x3d3c97f1,
    0xbe1e3d27, 0xbf6f6109, 0xbf3c6df2, 0xbec4988f,
    0xbf1f6cd9, 0xbebc3c18, 0x3e3d54d5, 0xbd8d321a,
    0x3eafe0ab, 0x3f0795ba, 0xbdc8e18b, 0x3effa2c4,
    0xbe9225c3, 0xbec738f6, 0x3f3d8f18, 0x3e60a7b6,
    0xbda1a9ce, 0xbba343ae, 0xbe5d2efe, 0xbdfcac82,
    0xbe398455, 0x3ecb992b, 0xbdfc7ddd, 0xbe8af453,
    0xbe3b128c, 0x3ca31782, 0x3eeab580, 0x3e785a19,
    0xbe190df3, 0x3e378b94, 0x3d105bfe, 0x3e8c5156,
    0x3f06e5ca, 0xbddb605a, 0x3ecf94c7, 0xbcda1dc2,
    0x3e85e3af, 0xbe2473c4, 0xbd2b15f7, 0x3e21dc33,
    0x3ef14a2d, 0x3e57ba60, 0x3e91bbf4, 0xbedbb225,
    0x3d5b9324, 0x3e539212, 0x3dad42c9, 0x3df39fb0,
    0xbe8ad4a4, 0xbdfe2705, 0xbe8ce477, 0xbd98d6bb,
    0x3f0f74df, 0xbe568222, 0xbddf3ff6, 0x3e0aa14f,
    0x3e3090e6, 0xbef3fbe0, 0xbe7524f8, 0x3f0e90e8,
    0xbe26b50f, 0xbf1ddf70, 0xbe080259, 0xbf057a59,
    0x3effcd8f, 0xbedaec4c, 0xbdfca709, 0x3e394304,
    0xbe20b46b, 0x3f113976, 0xbe88e6a3, 0x3ef67d76,
    0xbe480c4f, 0x3d228932, 0x3ef4ac9d, 0x3e864d68,
    0xbd283c15, 0x3ec07cb5, 0xbea5f6a9, 0x3df441d1,
    0x3e97be7d, 0xbef2e686, 0xbd8dea27, 0xbdaf1af3,
    0xbeafa31f, 0x3e1933c8, 0x3e0eff33, 0x3dd44ce9,
    0xbe8767f4, 0xbeafeb07, 0xbf0374c6, 0x3e731266,
    0xbca67317, 0xbdfe9479, 0x3ca09c5c, 0xbec55962,
    0xbe94383a, 0x3eb432d8, 0xbd4bf3dd, 0x3eeab363,
    0x3ec8f710, 0x3e67a8ca, 0xbeb3795d, 0xbf0ecfb4,
    0xbecb9af4, 0x3e2010ce, 0xbea09cf3, 0x3e9c7810,
    0x3e639e45, 0x3e802493, 0x3e9e8fd3, 0xbecd220a,
    0xbe15ce9f, 0x3e939da3, 0xbe606627, 0x3e9946ba,
    0x3ea84c91, 0x3e2edf30, 0xbdbea9c7, 0xbe58fff2,
    0x3db316ff, 0xbe7ceb8b, 0xbef9859a, 0x3d5f76f7,
    0xbea1b64c, 0x3e88f86d, 0x3eb6d6be, 0x3f17cd56,
    0x3f1a7d91, 0xbf277ddb, 0xbf06dc6f, 0x3e8c4cf3,
    0x3e74ac0a, 0xbe1f73da, 0x3e6cad28, 0xbd68fe94,
    0xbea1e47d, 0x3dabc69b, 0x3cdcd49f, 0xbe56c28a,
    0x3e7ab866, 0xbdfafb4a, 0x3ece11e1, 0x3df80259,
    0xbd171f00, 0xbe61f18f, 0xbe8d1d75, 0xbd4e5998,
    0x3ea5697a, 0x3ebd1f0d, 0xbdcbafb4, 0xbe8acd12,
    0xbb86e966, 0xbeeef063, 0x3e5eb73c, 0x3ef9e268,
    0x3e9960b9, 0xbf115029, 0x3e73e41e, 0xbf366831,
    0xbd07ea80, 0xbe0d53a9, 0x3ee007bd, 0x3ea936a6,
    0x3de2e856, 0xbe487c2a, 0xbdd4fa4c, 0xbd818a17,
    0x3ec938a0, 0x3e44b9c9, 0xbe124098, 0xbf061048,
    0xbe794070, 0xbde8f629, 0xbe853868, 0xbef3ecee,
    0xbe7d4c1e, 0x3e86f810, 0x3d6fe47b, 0xbdb180dd,
    0xbe276077, 0xbd40e440, 0xbe212bb1, 0xbe916d94,
    0xbea30712, 0x3efd1bf2, 0xbe7ced34, 0xbe61ec92,
    0x3e8e2451, 0xbe4df2a5, 0xbf42e9ef, 0xbe2c4806,
    0xbd282f8e, 0x3f0202f4, 0xbf50b95e, 0x3e9c52bb,
    0xbe676421, 0x3ed88ab5, 0xbed2ffaf, 0x3d771353,
    0x3d5cc2e9, 0x3ee09baf, 0xbe40187d, 0x3ab3cc8d,
    0xbe4fd88b, 0x3ef9b4fe, 0x3f06c044, 0x3f143225,
    0x3c53f47d, 0xbe412645, 0xbaaf9ab8, 0xbed72380,
    0x3d13d63e, 0xbde6e2ee, 0x3e36070c, 0xbd720960,
    0xbe83579a, 0xbcd5ded3, 0xbd29e843, 0x3df76fbd,
    0xbe12a304, 0xbea6816e, 0x3d92171f, 0xbe56d6f6,
    0x3dd85c3a, 0xbe75b6e7, 0x3d3b86a5, 0x3db22ecc,
    0x3ed25563, 0x3ea32cc2, 0xbf0cd38e, 0xbecb5893,
    0xbdf0380c, 0xbeb239f5, 0x3e53eedd, 0xbf04acde,
    0xbf3501db, 0x3d8dd505, 0x3edb6039, 0x3e891060,
    0xbd84a867, 0xbe7f39a4, 0x3e36640a, 0xbf76e899,
    0x3cab87ee, 0x3ea3c20d, 0x3e1a18ce, 0xbe7d302e,
    0x3ed56d73, 0x3ebf15b8, 0x3dddecee, 0xbdd5935a,
    0x3e78b866, 0xbef1cf31, 0xbe0a6b49, 0xbf2a2c71,
    0xbe04cecb, 0xbeff655d, 0x3dde29b3, 0xbe1c23b0,
    0xbe3a7c3d, 0xbe85e9d2, 0xbb7e2d8f, 0xbe2b0f0f,
    0xbf031303, 0x3eeff082, 0xbea01756, 0xbede0aa7,
    0x3e04d7dd, 0xbd407f7b, 0xbca8627e, 0x3f1f8119,
    0x3ecff677, 0x3e34748e, 0xbca340e4, 0xbdf4d802,
    0xbd185c40, 0x3df131e3, 0xbdcde019, 0xbeedbbcc,
    0xbe0d79e4, 0xbf08e159, 0x3d418aa5, 0xbc70f893,
    0xbf274e14, 0x3d5887d5, 0x3d0bfd8d, 0xbe5ec0d4,
    0xbf7a441e, 0xbccf6d99, 0xbea5ff47, 0xbeb2d551,
    0x3eb6af6d, 0x3cf753f1, 0x3eadaf91, 0x3efd34fd,
    0xbe0a356f, 0xbe984591, 0x3cf6c8f8, 0xbcbf5f0a,
    0x3e783484, 0xbe0940b6, 0xbeb42314, 0xbd1f3d30,
    0x3edd2950, 0xbe0acd3d, 0xbd91b826, 0x3e1df0cb,
    0x3d324cd2, 0xbea273f6, 0x3e8c45fe, 0x3ee56c7e,
    0x3df0fc82, 0x3eabcf2c, 0xbef25b35, 0x3d6fc801,
    0xbcd142a4, 0x3eb694a9, 0x3d38c3f7, 0x3ef210af,
    0xbe4c442b, 0x3ea3e012, 0x3e58f4e3, 0xbebcbd4c,
    0xbe935695, 0xbc7e8561, 0x3e92be7a, 0xbe9e73b4,
    0x3e87ceec, 0x3d3cbeae, 0xbd6f1afb, 0xbd9c76c4,
    0xbe30a62c, 0xbe2f6f1b, 0xbdb2825c, 0x3c4fb4b4,
    0x3ebb616f, 0xbe97a261, 0xbed982b9, 0x3db53594,
    0x3e8870d7, 0x3df36f3e, 0x3de5f129, 0xbea7ae81,
    0xbe457b0c, 0x3e11320e, 0xbdcdcfe9, 0x3cb6d7c0,
    0xbda67f58, 0xbc3ea52f, 0x3edf5dfc, 0xbf365a98,
    0x3cfa2fe5, 0x3e762168, 0xbe4c96d5, 0x3ecf8f3e,
    0x3eb04a52, 0x3e892efa, 0xbe2c8c63, 0xbd40de7b,
    0xbe8b9751, 0xbe885a19, 0xbedf3405, 0xbe9e247e,
    0x3f08942c, 0x3e04f70d, 0x3ea44b0d, 0x3e3be5e5,
    0xbddba100, 0x3e4ca7dc, 0x3f172a4a, 0x3dc07f78,
    0x3f1209e5, 0x3dd5416e, 0xbeb04eeb, 0x3ea6969f,
    0x3f800000, 0xbeb9e7c1, 0xbe82e9d7, 0xbe3ed311,
    0x3e9d40b0, 0x3e6ecfec, 0xbe802f88, 0xbf340dd5,
    0xbee11ac7, 0x3d1267e4, 0x3f0a81c8, 0xbeec64dc,
    0x3e84afe9, 0xbeb03b52, 0x3e1662df, 0x3e9fe162,
    0xbc1787f8, 0x3f1845ad, 0xbe1be6a8, 0x3b8431be,
    0xbf4311cd, 0x3d80a29d, 0xbe38c0a4, 0x3c1d1438,
    0x3d89ca14, 0x3de9fdef, 0x3d99d2ea, 0xbb129695,
    0x3e6edf77, 0xbef79a85, 0xbec6940d, 0xbf2f8652,
    0x3effa523, 0x3f0c3396, 0x3dc2c55b, 0x3c506460,
    0xbeac7c7d, 0xbe34c59d, 0xbd4baf80, 0xbebc2b21,
    0x3f01aa9c, 0x3e4629e8, 0xbe33701e, 0xbe1a2c51,
    0xbeb39096, 0x3e482386, 0x3e6e524d, 0xbe2df940,
    0xbe655503, 0x3ecd2897, 0xbe1ac5af, 0xbea2df0a,
    0x3cf5dfe2, 0xbec78583, 0xbd13adaf, 0xbeb73769,
    0x3ee1cb88, 0xbe931d61, 0xbddf6adb, 0x3df89fef,
    0x3da5f390, 0x3f21bbdf, 0x3f2e8a40, 0x3e907dc1,
    0x3ec6deeb, 0xbd8e99e8, 0x3f090920, 0x3f17c2d5,
    0x3f472c54, 0x3ca16f34, 0x3e37622f, 0x3d6127e4,
    0x3e750d9d, 0xbf12800b, 0x3eb1e72b, 0xbe954668,
    0xbd44521d, 0xbecaeea6, 0xbe3b9109, 0x3dd53206,
    0xbe065c2f, 0x3e4ec3c4, 0xbf1f740f, 0xbe35e07d,
    0x3d284a82, 0xbe02bd05, 0xbec7c7bc, 0x3ec535f7,
    0xbefcb194, 0xbf38dc67, 0x3e3def7a, 0xbea1c018,
    0xbeaf9f6e, 0x3f00358b, 0x3de0ff3c, 0x3e3206b1,
    0xbe830c52, 0xbdb513c8, 0xbebdd9ad, 0xbd5c7c40,
    0xbd03db95, 0xbf173a51, 0xbeae7b04, 0x3dae812c,
    0xbe8eec06, 0x3e3dbfb3, 0x3dd5bf9d, 0x3f10e788
    };

static const uint32_t in_com3[256] = {
    0xbdbc9f60, 0xbe21fcaa, 0xbd28b2fc, 0xbdf3f8a9,
    0xbe4de49e, 0xbd9f8558, 0x3eb1619f, 0x3d61f3d8,
    0x3dc1b32d, 0xbe84ce4c, 0xbdb74dda, 0xbea650c8,
    0x3e62a7be, 0x3e87ff2b, 0xbe4d9e81, 0x3e98df9d,
    0x3e1d8219, 0x3ead97c0, 0x3c3858c1, 0xbe71b2d9,
    0x3eabab78, 0xbeb52b31, 0x3f17a075, 0xbe905fe2,
    0xbe491086, 0x3ca01013, 0x3ee98d85, 0x3bbd6f33,
    0xbe946bbb, 0x3eac082c, 0x3ebc0115, 0xbea7e42b,
    0x3e9604b8, 0x3d6ceff7, 0x3e2b699b, 0xbdc30cb5,
    0x3ee2e62c, 0xbf1e5787, 0xbe3422f0, 0x3e18ef6f,
    0x3e391bfb, 0xbf423f46, 0xbc83d2b1, 0x3e437afb,
    0x3d9f34b3, 0x3e8348ce, 0xbea1eeca, 0xbdfeb70a,
    0x3f2d09ea, 0xbeabb3a0, 0xbe24d5d9, 0x3e4e085d,
    0x3e07667c, 0x3da3ee8f, 0x3e5eb530, 0x3dc41b79,
    0x3ea03476, 0x3cc43d2a, 0xbdafd628, 0x3e4f19f4,
    0xbe9cdd75, 0xbd706a89, 0x3e86c82e, 0x3e77e6b8,
    0xbec14dc7, 0xbda08569, 0x3f1d6be5, 0x3e2b4b32,
    0x3db605a2, 0xbc665582, 0xbd577fe5, 0xbe2d6b03,
    0xbf03a2b5, 0xbf50d468, 0xbea8e3c2, 0x3ec1e20d,
    0x3e906b70, 0x3e05ed36, 0xbed40b2d, 0x3d0c0e59,
    0x3ee9c12e, 0xbe1b1c74, 0x3eb56937, 0x3da06290,
    0x3e2a71a9, 0xbd84aeee, 0xbdbfd6b3, 0xbddf3817,
    0xbef84c61, 0x3e0ad4a5, 0x3db21808, 0x3e504425,
    0x3ebf675f, 0x3eca584b, 0x3e9d34a8, 0xbec681b0,
    0xbdc44a89, 0x3e82ba3e, 0x3cf1667c, 0xbccd6d55,
    0x3df41d7f, 0xbd2ff275, 0xbd4799a4, 0x3ecddea3,
    0xbc9d0985, 0xbddc74d8, 0x3c8475ea, 0x3e8662c0,
    0xbdcf550f, 0x3e8b7fb5, 0xbe2d5db6, 0xbe85afb9,
    0xbe33ace2, 0xbea1e30c, 0x3deed705, 0x3dd59f0f,
    0x3df506a9, 0x3b9c05c1, 0xbe9bda1e, 0x3e731b68,
    0x3ddfaad7, 0xbe11e842, 0xbe1becc9, 0x3ec66191,
    0x3e624293, 0x3da31cd6, 0x3e577476, 0x3e09b5da,
    0xbf5b770b, 0x3de8098b, 0xbe86f686, 0xbd3d4f87,
    0xbc1cedbe, 0x3d50ce58, 0xbf02003a, 0x3f292023,
    0xbe2c4a7d, 0xbd3ca14f, 0xbea3a0bf, 0xbd6867dd,
    0x3d2a82ce, 0x3e680bb3, 0xbe8e1ec2, 0x3ecb17f2,
    0x3e19eee9, 0xbd1b6fe3, 0xbea446ee, 0xbe0db770,
    0xbe0d3473, 0xbe2dafb2, 0x3c191167, 0x3ce2963a,
    0xbdc57f4c, 0x3d05d801, 0xbe8ce2c5, 0x3f800000,
    0xbec05ad6, 0x3e80b9ea, 0xbe121b47, 0x3df50772,
    0xbe280dcd, 0xbeb80d87, 0xbd12eaf2, 0xbef590e5,
    0x3e92695f, 0xbedc1d62, 0xbe1f04f2, 0xbebded34,
    0xbef0f5f4, 0x3da326ac, 0x3e64ce32, 0xbe3ed3d6,
    0xbf3a3b42, 0xbd7c7d33, 0x3db60e45, 0x3da19cca,
    0xbdbfff0f, 0x3cb41567, 0xbd87561f, 0xbc1fa852,
    0xbdab2204, 0xbd9da0b8, 0x3e6774e0, 0x3d408bc8,
    0x3e846181, 0xbe97486e, 0xbd2c16d2, 0xbe933eec,
    0xbdfadf72, 0xbda03276, 0x3e9595c6, 0x3ea2e316,
    0xbe1cf43d, 0x3e93d698, 0xbe48852d, 0xbea6e0c9,
    0x3ea48fff, 0xbd47a9fc, 0xbd1b6439, 0x3f584aaf,
    0x3e8878d5, 0xbd3076a8, 0xbde50a31, 0xbe5d7ab8,
    0x3e10e0a1, 0xbcaa6be6, 0xbdac1270, 0xbe76c07c,
    0xbe2fbcaa, 0xbed87381, 0xbe03c9cc, 0x3e970c49,
    0x3c8ba245, 0xbe0cb54c, 0xbd7b74ba, 0x3db0e3aa,
    0xbe00875c, 0x3e9a2294, 0xbeadf4b3, 0x3f5b8e28,
    0xbe3a011b, 0xbdf75f87, 0x3bb69434, 0x3c019571,
    0x3d8e236b, 0xbe1307a2, 0xbe2f89e0, 0x3ec992fc,
    0xbd9e16bd, 0xbe850eb7, 0xbecb44a6, 0xbe1c4ba9,
    0x3d8aa628, 0xbe62d079, 0xbd52b2a2, 0xbc8ccf3e,
    0xbe4f7d21, 0x3dd7dd25, 0xbe13aeef, 0xbe918de1,
    0x3df7fa67, 0xbe177863, 0xbed58b0e, 0x3e273e15,
    0xbdeefaa8, 0xbdb9c765, 0x3ea87f7e, 0xbf493b03,
    0xbe8e4af2, 0xbe50b6b2, 0x3df1ee7d, 0xbe4aa5d7,
    0xbdcc37d2, 0x3bd87746, 0xbda912c5, 0x3e69ca72
    };

static const uint32_t ref_conj[512] = {
    0x3f0084e4, 0x3e9995e3, 0xbf0170b0, 0x3ec86a88,
    0x3dec3214, 0x3d8eec8f, 0xbdd35476, 0xbe7f37ac,
    0xbf192f01, 0xbeba0432, 0xbeb508e5, 0x3f800000,
    0xbe012612, 0x3e6ff3e2, 0xbe618246, 0xbcb5cf30,
    0xbd2f26d7, 0xbe3c1b4d, 0x3eb9a1c1, 0x3e05ea3b,
    0xbd0135fb, 0xbdd144d4, 0xbd525df7, 0x3e87ce15,
    0x3d8d64c4, 0x3e75b299, 0xbee8617b, 0xbf116a51,
    0x3e207a78, 0x3e1ac2a1, 0xbe3ca86a, 0xbe2a5dc1,
    0xbe5bd91f, 0x3f23b59b, 0x3d1f02a1, 0xbe62f5b9,
    0xbe0dab93, 0x3dad40bd, 0xbe210a11, 0xbe2498dd,
    0xbefb7d10, 0x3f453d90, 0x3de65c60, 0xbe58b385,
    0xbe804335, 0xbead7f62, 0xbe38c32b, 0x3e906b71,
    0xbe805acd, 0x3e9cdd57, 0x3e798c7e, 0xbe8066f3,
    0x3e4741ed, 0x3e8e103f, 0xbe436b7e, 0x3c219363,
    0xbede5dbf, 0x3e00b338, 0x3e5c9f1a, 0xbe47fd62,
    0xbea64f65, 0x3de8237c, 0x3dbab144, 0xbdfb9ab8,
    0x3dd2b694, 0xbbeb2279, 0x3eaf3b7b, 0xbe70bea7,
    0xbea34614, 0x3f022556, 0x3da9b165, 0x3ef79918,
    0xbdf5a582, 0x3e889a61, 0xbe65d795, 0xbd808006,
    0x3efe6870, 0x3e6b90c0, 0xbe00f1b3, 0x3dd6434c,
    0x3d9bd9ab, 0xbd432fec, 0x3f09c4f5, 0xbdea590e,
    0xbf053ba3, 0xbf10c823, 0xbf06e797, 0xbf3c1977,
    0xbeb79027, 0x3d79a321, 0x3cea4743, 0x3ebc2f10,
    0x3edcc01d, 0x3c3c9e0c, 0xbbf272a3, 0xbea05605,
    0x3b329f0b, 0xbe51c569, 0x3e110b95, 0x3e8bf5a5,
    0xbe364836, 0x3ef16501, 0xbde029c5, 0x3db849ec,
    0xba17a81d, 0xbdb912a1, 0xbd7fde8e, 0xbee63968,
    0xbe25db83, 0x3e30b0cf, 0xbe2a6736, 0xbe57cd8b,
    0xbe4d8066, 0xbe5a83ce, 0x3e8e52d0, 0x3d99674c,
    0x3e8c8260, 0xbed0baac, 0x3eeb4a92, 0xbd17a9e7,
    0xbe7f7c11, 0xbd52b379, 0x3d3dd8c7, 0xbe4a8f3f,
    0x3eabd769, 0x3dd78558, 0x3f07ea3a, 0xbd011075,
    0x3e12192f, 0xbd8d2f3c, 0x3e814a5e, 0xbdb9e93b,
    0x3ead5d94, 0xbd928b21, 0x3e4353a8, 0x3d0f5662,
    0x3da08f6a, 0xbd322a17, 0x3d836e97, 0xbd49ead5,
    0x3e3f890f, 0xbe2a704b, 0xbcf20e17, 0x3e8d80da,
    0xbe93ac47, 0xbe6fc470, 0x3dd656f5, 0xbf3c9b4e,
    0x3ee45d2f, 0x3db9e4e3, 0xbd2330a8, 0xbe33e8b5,
    0x3ec9467a, 0x3d534d3c, 0x3e53fd7f, 0x3eab7fb2,
    0x3c3aebee, 0xbd8fea35, 0xbe592a72, 0x3e3d3053,
    0xbe1e94b0, 0x3e52fde4, 0xbcd33d2a, 0xbe906d93,
    0x3e864005, 0x3e3d8f1a, 0x3eb9a66f, 0x3e3558d4,
    0x3ef08d8f, 0x3e97b919, 0xbe5b6e7f, 0xbd997813,
    0x3e6f31f8, 0xbebb5882, 0x3e81484b, 0xbe9d7e60,
    0xbdfb6ac2, 0xbed4bb64, 0xbf204164, 0xbe1d18e9,
    0xbe7277ed, 0x3dbc0d5b, 0xbe194df6, 0xbe337c23,
    0xbf0480d3, 0xbe8f0a8c, 0xbf033627, 0x3f069f49,
    0x3e90b4d7, 0xbcd67239, 0xbe1f1b95, 0xbda94b48,
    0x3cd8c19d, 0x3f09b38e, 0x3ee3e6f1, 0x3d93b24b,
    0xbd7223b7, 0x3dbf7635, 0x3bc0a48b, 0xbdee2421,
    0x3f13a1a2, 0xbdc445c9, 0xbef196cc, 0xbeaecc75,
    0x3b2f51b6, 0xbe43154f, 0xbe474e85, 0xbe5f1885,
    0xbe247b90, 0x3ee7c404, 0x3e8d8a08, 0xbf0cc0b8,
    0xbe5e28da, 0xbec20ea5, 0x3db91c9c, 0x3d78e11c,
    0xbd833aa6, 0xbddd7f45, 0xbeca6186, 0xbe959a63,
    0x3e99d15a, 0xbe7d1ac8, 0x3f05415f, 0x3ea79f57,
    0xbd6fc62c, 0x3e23c97a, 0xbd1885ee, 0x3e0e813e,
    0x3dab0752, 0x3e6026e7, 0x3e6e3c5b, 0x3e5efa50,
    0xbf032707, 0x3f03d653, 0xbf126305, 0xbe4d603e,
    0x3e5bb268, 0x3f03fb5f, 0x3d8c9de8, 0xbe9b08b4,
    0x3dcd890a, 0xbdc5cd85, 0x3e0dfb17, 0xbe4d714f,
    0xbea3977e, 0xbeef8f5d, 0x3e954442, 0x3da16259,
    0xbe64284f, 0x3ba68454, 0x3ec1f226, 0xbe612c82,
    0x3e9bfbaa, 0x3cd0d356, 0xbf3c56af, 0xbe5bde84,
    0x3c37b128, 0x3e0457e1, 0x3e4e71de, 0x3e30b507,
    0xbe3b5e77, 0xbee7c54b, 0xbeb0788a, 0x3d82b1a5,
    0x3ec10b77, 0x3e75f88e, 0xbcc0d96a, 0xbf01f431,
    0x3d619de9, 0xbdd1d4d6, 0xbe6cc086, 0xbd62a209,
    0x3e69615d, 0xbe83fb0e, 0xbe03cd95, 0xbc3e6f95,
    0xbe5b2cd7, 0xbd99ee78, 0xbe9f4ce5, 0x3e58dc84,
    0xbf35bf34, 0xbaca4388, 0xbeb31f40, 0x3e8b2a83,
    0x3d814c1a, 0x3d0c9731, 0x3daf8002, 0xbe8ad963,
    0xbea0d38f, 0xbdea59a4, 0x3ddff794, 0x3ee608b9,
    0x3f24b219, 0xbe91b85a, 0x3cfa28b4, 0x3deeaf7a,
    0xbd2ff925, 0xbf2801de, 0x3e9ea6d2, 0x3e1c10b2,
    0x3e32ac2b, 0x3e97a379, 0xbf12824d, 0xbf19b99d,
    0x3ef151dd, 0x3de870a4, 0x3f4f4b0f, 0xbea95ab9,
    0xbf1cb630, 0xbdf20730, 0x3d77a811, 0xbdcb568f,
    0xbb77be48, 0x3ed03bca, 0xbecb2f31, 0x3f446e23,
    0xbed77cd3, 0x3ecb648f, 0x3f28e9f6, 0xbe87aad8,
    0xbdba4dd4, 0xbea519d8, 0xbeac6589, 0x3ee4690e,
    0x3dedaaf1, 0xbd898771, 0x3e3deee4, 0x3baf2e62,
    0x3de43b30, 0xbc1f2a67, 0xbe917c84, 0x3e1a200d,
    0x3f13b223, 0x3e5b1d1e, 0xbf0e4d3b, 0x3dc4064d,
    0x3e4f7e12, 0x3eb643a2, 0xbef60d0e, 0x3f182828,
    0x3d7e4a65, 0xbdd4ca17, 0x3d9c24e1, 0x3b694f77,
    0xbed7bbe7, 0x3d0af39a, 0xbd499f39, 0xbecf0f65,
    0x3f20aa2b, 0x3cfaa14f, 0x3ee7f59b, 0xbe30e185,
    0x3e12800e, 0xbe876f25, 0x3bf409ca, 0xbe86555e,
    0xbd510d02, 0x3df1bea6, 0xbf106379, 0xbba7de0d,
    0x3eccb87b, 0xbe9f3970, 0x3e25e58a, 0xbe0061fd,
    0x3eca507b, 0x3db684a8, 0x3ea3707b, 0x3e75e8d6,
    0x3f16d481, 0xbe1f515e, 0xbe12d84a, 0xbe41bef7,
    0xbdaf7eae, 0x3eb0ca4e, 0xbded2b8e, 0x3d589643,
    0xbd62255e, 0x3f0e7a04, 0xbf1de906, 0x3e6e842c,
    0x3e3f32bb, 0x3d7c3e39, 0xbec3ffa7, 0xbe46ab63,
    0x3e95a600, 0x3cf42638, 0xbe5222d3, 0xbe0c0f46,
    0x3e48255c, 0xbe00b6c1, 0xbc18ccc6, 0x3e74e1d4,
    0xbeeaa1fb, 0x3d944a0d, 0xbe7f2ed5, 0x3e4b95bc,
    0xbe315ab8, 0xbdd25497, 0xbf265207, 0xbf00db75,
    0x3e38fbfe, 0x3f5adeb2, 0xbdef1655, 0x3e19a85e,
    0xbeaa1219, 0xbdd39454, 0xbd9ec21a, 0xbddf9139,
    0xbe9f2506, 0x3e287528, 0x3dd57c9e, 0xbbd34c0f,
    0x3e9c3531, 0xbc058c9a, 0x3f27607f, 0x3ea90d65,
    0x3becf53c, 0x3f03dead, 0x3f0c39ce, 0x3ef4017c,
    0x3e54a235, 0x3f4c7ea8, 0x3dfc773a, 0x3ea08b87,
    0xbeddf85b, 0x3e8b1552, 0x3d8d7693, 0x3e30723c,
    0xbdaf0a55, 0x3e9ac467, 0xbe52d73b, 0x3ea1e4d3,
    0xbddae9e1, 0x3e93431e, 0x3d174f8a, 0xbe81ba72,
    0x3eb0b74f, 0x3eacf23a, 0x3d114646, 0xbed371aa,
    0xbe588ee9, 0x3d81fc1c, 0x3e3ae3cf, 0xbdd15023,
    0x3d96922f, 0xbef3bbc7, 0xbe7556ce, 0x3ea7398e,
    0xbd893c6e, 0x3e4516c0, 0xbebd212e, 0xbd0488c9,
    0xbe65b702, 0x3df49516, 0x3ddad8bd, 0x3e06c415,
    0x3e18a376, 0x3eab3fde, 0x3e9af923, 0xbe12fda1,
    0xbec066e5, 0x3ec9cfd4, 0xbe89c552, 0xbe95b2ea,
    0x3e3bfa4f, 0xbea3d210, 0x3c73b123, 0x3d2dccec,
    0x3f02315e, 0x3ec58fd6, 0x3e2fdfef, 0xbe94db5f,
    0xbe860bc2, 0xbecec451, 0x3d1701f0, 0xbcf8e19f,
    0x3f118e88, 0x3e79f69e, 0xbebeeb83, 0xbc69c7ef,
    0x3e576240, 0xbf2c20ac, 0x3d3bc289, 0x3c2cd316,
    0xbcb9f90b, 0xbe1b3ac8, 0x3e81fcae, 0x3e38f38e,
    0x3eafea2f, 0x3ed174ec, 0xbdc8c0fb, 0xbef8ec15,
    0x3d0f8044, 0x3ecaebcc, 0xbe10fae7, 0x3e2254e5,
    0xbedafb89, 0x3e1a8f3d, 0xbbb48407, 0xb8a51912,
    0xbbeb4d97, 0xbdf6eb0c, 0xbe9235c4, 0x3eefe606,
    0x3f04b735, 0xbd1ed892, 0xbc5ca85e, 0xbecfb4ff,
    0xbee5eaf7, 0x3e0a66c7, 0x3e92fdc0, 0x3f0e5137
    };

static const uint32_t ref_dot_prod_3[2] = {
    0xbe3a06f7, 0x3e4e078d
    };

static const uint32_t ref_dot_prod_4n[2] = {
    0xbf80aa21, 0x3e46f7ea
    };

static const uint32_t ref_dot_prod_4n1[2] = {
    0xbf96f117, 0x3e38dc0c
    };

static const uint32_t ref_mag[256] = {
    0x3f15b6ca, 0x3f23b235, 0x3e0a0932, 0x3e8a1cfb,
    0x3f33356b, 0x3f87c40b, 0x3e88401a, 0x3e62a6b1,
    0x3e4122cd, 0x3ec556a9, 0x3ddb03b2, 0x3e8a53d2,
    0x3e7faaa1, 0x3f3a2245, 0x3e5ef1ae, 0x3e7e3299,
    0x3f2cb076, 0x3e666a39, 0x3e260e55, 0x3e664603,
    0x3f69e9cd, 0x3e7568e7, 0x3ed7c2be, 0x3eab7062,
    0x3ecaaf80, 0x3eb30a8e, 0x3ead842e, 0x3e43ae3f,
    0x3ee77d75, 0x3e94e328, 0x3eb02523, 0x3e1ca6cc,
    0x3dd3399d, 0x3ed497de, 0x3f19a191, 0x3efb34c4,
    0x3e95c5bd, 0x3e6ea749, 0x3f0c2cd0, 0x3e27a446,
    0x3db7e2a5, 0x3f0cd967, 0x3f44c172, 0x3f67799a,
    0x3eba324f, 0x3ebcc0ad, 0x3edcd441, 0x3ea0617a,
    0x3e51ca2a, 0x3e9da215, 0x3f01037a, 0x3e111898,
    0x3db9139a, 0x3ee86f6e, 0x3e7256d5, 0x3e897c13,
    0x3e95fba8, 0x3e936667, 0x3efb9dc2, 0x3eec0dc6,
    0x3e826ddf, 0x3e500baf, 0x3eb41726, 0x3f082774,
    0x3e224252, 0x3e896407, 0x3eb131b9, 0x3e46962e,
    0x3db79df7, 0x3da5bb55, 0x3e8031bf, 0x3e8e4f4b,
    0x3ebe3575, 0x3f3e800a, 0x3ee90b7c, 0x3e387a0f,
    0x3ecb003d, 0x3ec99c4b, 0x3d91cc9c, 0x3e900215,
    0x3e83f895, 0x3e9107bb, 0x3ea455f3, 0x3ece9c23,
    0x3f0e33b5, 0x3e687630, 0x3ede4400, 0x3ecbc297,
    0x3eddd2c1, 0x3f24ff71, 0x3e8207d7, 0x3e6c0b73,
    0x3f1692c0, 0x3f3bfd02, 0x3e915366, 0x3e343923,
    0x3f09de2e, 0x3ee6dfb9, 0x3de2877b, 0x3dee7200,
    0x3f15a7f6, 0x3f1518df, 0x3e431a3c, 0x3e959418,
    0x3ef5ecbb, 0x3f1d8aeb, 0x3edf9993, 0x3ddf0cf8,
    0x3e00b9fd, 0x3efbac34, 0x3ec72fd4, 0x3f1d6bb9,
    0x3e2e6960, 0x3e1384a3, 0x3e6fe8f4, 0x3ea3271f,
    0x3f39f660, 0x3f1b2144, 0x3f0ef445, 0x3e9ef83c,
    0x3e0ea0b5, 0x3e79baf5, 0x3f110b50, 0x3e9a9f89,
    0x3e643780, 0x3ee04194, 0x3e9c8735, 0x3f443227,
    0x3e04d71f, 0x3e87df3f, 0x3ef9fd26, 0x3eb37859,
    0x3ee4e472, 0x3f0217f2, 0x3dee3ba4, 0x3e736fee,
    0x3eb02b3f, 0x3e0456e1, 0x3e684bcd, 0x3ec0b38e,
    0x3f35bf51, 0x3ee2d483, 0x3d932bb2, 0x3e919dc6,
    0x3eab2a5f, 0x3eecc01b, 0x3f3417a5, 0x3df6be22,
    0x3f285ded, 0x3eb0cdaa, 0x3eafff70, 0x3f545bdd,
    0x3ef837b9, 0x3f5febd3, 0x3f1f9aef, 0x3dee1344,
    0x3ed03e18, 0x3f5d2585, 0x3f142887, 0x3f36068d,
    0x3eab8b7d, 0x3f0f1574, 0x3e094ba5, 0x3e3e0316,
    0x3de518c4, 0x3ea4a2c2, 0x3f1d86e6, 0x3f106558,
    0x3ed1b8f4, 0x3f43abac, 0x3df7e1ad, 0x3d9c506f,
    0x3ed86e9c, 0x3ed0969a, 0x3f20db03, 0x3ef83f64,
    0x3e99f957, 0x3e866338, 0x3e03afec, 0x3f106500,
    0x3f01aced, 0x3e51c559, 0x3ecf656a, 0x3ecc864a,
    0x3f1c0016, 0x3e731b58, 0x3eb62727, 0x3e025cb5,
    0x3f0f2d0d, 0x3f28cb28, 0x3e49543e, 0x3edbbbce,
    0x3e966ca6, 0x3e7c88ed, 0x3e6df623, 0x3e75117b,
    0x3eed8b1e, 0x3ea338ba, 0x3e4e30a0, 0x3f52657f,
    0x3f5fb3cd, 0x3e42aec7, 0x3eb21b40, 0x3e0919cd,
    0x3eb40f4a, 0x3dd5e515, 0x3e9c4376, 0x3f3b825d,
    0x3f03e200, 0x3f39def2, 0x3f534a84, 0x3eac8196,
    0x3f02f8e4, 0x3e3e1867, 0x3ea0d5b5, 0x3ec1311a,
    0x3e9d1a5d, 0x3e83198e, 0x3ef7434e, 0x3ed438ec,
    0x3e6219c2, 0x3e5632b4, 0x3ef69f89, 0x3ecf64ab,
    0x3e50b137, 0x3ebdda93, 0x3e821e86, 0x3e2d9864,
    0x3ebb7c6d, 0x3eab847d, 0x3f0b6a52, 0x3ecb7259,
    0x3ebcde2f, 0x3d382b43, 0x3f236ce4, 0x3eace425,
    0x3ef66a7f, 0x3d43acd7, 0x3f1e6777, 0x3ebf0f48,
    0x3f345a71, 0x3d40aabd, 0x3e1cf5eb, 0x3e9f8687,
    0x3f08c3b7, 0x3efdee6e, 0x3ecbb65c, 0x3e59a5f7,
    0x3ee837fc, 0x3bb488bf, 0x3df75b11, 0x3f0c78a3,
    0x3f051623, 0x3ecfd24a, 0x3ef01b2b, 0x3f202c9e
    };

static const uint32_t ref_mag_squared[256] = {
    0x3eaf1c92, 0x3ed158d7, 0x3c94dbd4, 0x3d950685,
    0x3efae77d, 0x3f9000b2, 0x3d910856, 0x3d48aabd,
    0x3d11b57e, 0x3e181e7d, 0x3c3b5f52, 0x3d957cf3,
    0x3d7f555f, 0x3f0755d1, 0x3d42280e, 0x3d7c6871,
    0x3ee8fb2f, 0x3d4f630b, 0x3cd76d2e, 0x3d4f21e0,
    0x3f55bb6c, 0x3d6b41f5, 0x3e35d8b0, 0x3de59ea9,
    0x3e20796e, 0x3dfa6f85, 0x3deb37d6, 0x3d1592ea,
    0x3e5153a6, 0x3dad2ee0, 0x3df2662b, 0x3cbfb76b,
    0x3c2e4806, 0x3e308be2, 0x3eb86509, 0x3e768083,
    0x3daf3f8f, 0x3d5e7b78, 0x3e998216, 0x3cdb8f79,
    0x3c0415d1, 0x3e9afd03, 0x3f1738c9, 0x3f514cae,
    0x3e076d24, 0x3e0b2b8f, 0x3e3e7d80, 0x3dc8f3fa,
    0x3d2bebb8, 0x3dc2206a, 0x3e820902, 0x3ca479bc,
    0x3c05cd55, 0x3e530a28, 0x3d656849, 0x3d93ac11,
    0x3dafbdd1, 0x3da9bd87, 0x3e774ebb, 0x3e59a966,
    0x3d84e78a, 0x3d2912fd, 0x3dfd611f, 0x3e90d3e2,
    0x3ccdb001, 0x3d93786e, 0x3df54b98, 0x3d1a0ca7,
    0x3c03b338, 0x3bd6960a, 0x3d806392, 0x3d9e3820,
    0x3e0d5365, 0x3f0dc24f, 0x3e5425e8, 0x3d04efb0,
    0x3e20f961, 0x3e1ec6ce, 0x3ba612da, 0x3da204b0,
    0x3d8810b3, 0x3da45385, 0x3dd2fc78, 0x3e26bfa8,
    0x3e9dface, 0x3d53166d, 0x3e40fa03, 0x3e222e30,
    0x3e40358f, 0x3ed4b08e, 0x3d8417ed, 0x3d59a51d,
    0x3eb1209a, 0x3f0a0b9b, 0x3da4ff29, 0x3cfdc0cb,
    0x3e947f1c, 0x3e5036c3, 0x3c48737d, 0x3c5e182a,
    0x3eaef9e4, 0x3eadabec, 0x3d14b0fa, 0x3daecb73,
    0x3e6c3ef9, 0x3ec1e760, 0x3e434cea, 0x3c425798,
    0x3c817508, 0x3e776b21, 0x3e1afb65, 0x3ec19a9d,
    0x3ceda6d5, 0x3caa032f, 0x3d60d4cc, 0x3dcff5af,
    0x3f071603, 0x3ebc0298, 0x3e9fa7cb, 0x3dc56eb7,
    0x3c9eed5c, 0x3d739d38, 0x3ea45ba1, 0x3dbac8a9,
    0x3d4b72e7, 0x3e4472d4, 0x3dbf6a20, 0x3f165cd5,
    0x3c89dd1a, 0x3d903a6f, 0x3e741e6e, 0x3dfba309,
    0x3e4ca7b7, 0x3e8438a8, 0x3c5db2f4, 0x3d677daf,
    0x3df276fd, 0x3c88d36b, 0x3d52c97a, 0x3e110dd3,
    0x3f010817, 0x3e48fbe8, 0x3ba9366c, 0x3da5a838,
    0x3de4e343, 0x3e5af2c2, 0x3efd6284, 0x3c6dd1f7,
    0x3edd76d3, 0x3df436dd, 0x3df1fe73, 0x3f302847,
    0x3e70ac02, 0x3f43dcb3, 0x3ec703a5, 0x3c5d67d4,
    0x3e2964f6, 0x3f3f09cd, 0x3eab7dc5, 0x3f016d51,
    0x3de5e74b, 0x3e9ff1f2, 0x3c93441a, 0x3d0d0894,
    0x3c4d0552, 0x3dd3c1df, 0x3ec1dd7a, 0x3ea2e457,
    0x3e2bcf84, 0x3f158efb, 0x3c700544, 0x3bbee441,
    0x3e36fad6, 0x3e29f513, 0x3eca24fe, 0x3e70bae1,
    0x3db937fb, 0x3d8d180b, 0x3c877b09, 0x3ea2e38f,
    0x3e835f77, 0x3d2be3d3, 0x3e280529, 0x3e23664d,
    0x3ebe2036, 0x3d66dceb, 0x3e019bb2, 0x3c84c493,
    0x3ea026ba, 0x3ede968c, 0x3d1e5566, 0x3e3c9adc,
    0x3db0c700, 0x3d791ddc, 0x3d5d31a9, 0x3d6a9a77,
    0x3e5c6ae1, 0x3dd02292, 0x3d26124b, 0x3f2ceaad,
    0x3f437abd, 0x3d140d5c, 0x3df7d3d0, 0x3c92d93f,
    0x3dfd4b02, 0x3c32b701, 0x3dbec494, 0x3f0957b6,
    0x3e87e227, 0x3f06f3fc, 0x3f2e63eb, 0x3de87cc7,
    0x3e860373, 0x3d0d283b, 0x3dca17a9, 0x3e11cb13,
    0x3dc0d2b1, 0x3d864654, 0x3e6ed2f3, 0x3e2fee53,
    0x3d47b17d, 0x3d3338d0, 0x3e6d96ff, 0x3e2803f4,
    0x3d2a2075, 0x3e0ccc77, 0x3d844607, 0x3ceb6ea5,
    0x3e094f04, 0x3de5d486, 0x3e97d942, 0x3e21ae8c,
    0x3e0b5715, 0x3b047e38, 0x3ed0a7b2, 0x3de986ba,
    0x3e6d30d9, 0x3b1590c4, 0x3ec407c1, 0x3e0e97cf,
    0x3efe1e9d, 0x3b11008e, 0x3cc07946, 0x3dc6d0c4,
    0x3e922110, 0x3e7be124, 0x3e221ab9, 0x3d390ac8,
    0x3e52a585, 0x37fea12c, 0x3c6f00db, 0x3e9a2856,
    0x3e8a6004, 0x3e28b5c0, 0x3e6132f4, 0x3ec86f9b
    };

static const uint32_t ref_mult_cmplx[512] = {
    0xbd6cad5a, 0xbe087ea9, 0xbe121401, 0x3eb5f855,
    0x3c99c304, 0xbcab53a0, 0x3d4460c3, 0xbddb21dd,
    0x3d8eee8d, 0x3e5698ac, 0xbf80a368, 0xbe064c58,
    0x3df8fd42, 0x3cd2136b, 0xbd6cf389, 0xbb81ae9f,
    0x3d02d081, 0xbbab7561, 0xbdfbb24d, 0x39cfb6ac,
    0xbdaa2560, 0xbc1280e5, 0x3cbfe4e5, 0xbd59dd3f,
    0xbd1b7ff4, 0x3c9afa95, 0xbe220da0, 0x3e13e592,
    0xbe2982d9, 0xbdfc49c8, 0x3e4c475b, 0xbd53d558,
    0xbdcfac86, 0x3ef45091, 0x3cb7fa93, 0x3d1ce42d,
    0xbb3244bf, 0xbdd19454, 0xbd84c57b, 0xbdc11987,
    0xbe236b0f, 0x3ed2754a, 0x3d16fae0, 0x3e39baa1,
    0x3cafd36f, 0xbcd0e6cc, 0x3b88ba8d, 0x3daa5e6b,
    0x3e2b435a, 0xbd34f91f, 0x3d1bb7ab, 0xbdc6c623,
    0xbcf5f67e, 0x3d5f7e7a, 0xbdae44d1, 0xbd501952,
    0x3db31549, 0xbd71ea63, 0xbd3c2206, 0x3d8705e7,
    0xbe3bb48a, 0xbccc42bf, 0x3d24c7c6, 0x3d421349,
    0x3ce5d94c, 0xbc6ff9fd, 0xbd52c4dd, 0x3d355d44,
    0xbd30e0b5, 0xbe9d108a, 0xbe3c55c0, 0xbe315bb5,
    0x3d477426, 0xbd201714, 0xbcd8b37c, 0xbcaf3efd,
    0xbe27334e, 0x3a3b3f82, 0x3cdbe72f, 0x3d1c69db,
    0x3d578ecc, 0x3c305526, 0xbd97dee8, 0x3d775466,
    0x3e38146f, 0x3eb0e877, 0xbe90e9a2, 0xbef05169,
    0x3caa3f58, 0x3e6c9044, 0xbe482086, 0x3d0ae1f7,
    0x3e578a39, 0xbe42ab22, 0xbd64532a, 0xbd23b8ed,
    0xbdeee00f, 0xbcfab3ea, 0x3dbff475, 0x3e10acb3,
    0x3d5b12d2, 0x3dae2b18, 0xbceb2117, 0xbd92de2e,
    0xbd0b0f36, 0xbb80c029, 0xbd08b96a, 0xbe1ce1e2,
    0xbe04fb11, 0x3cd28c61, 0x3cf212ef, 0xb9c4c67d,
    0x3d173675, 0xbdd368fd, 0x3d3ecd88, 0x3c965e74,
    0x3d8a3adb, 0xbe4ef552, 0xbe7aa50c, 0x3db87822,
    0x3c3bd2ca, 0x3cf58154, 0x3d9e0362, 0xbc652993,
    0xbd76448a, 0x3e1827b2, 0xbd2771f2, 0x3e779b61,
    0x3d257ffe, 0x3d730a36, 0xbd1b24c2, 0xbe30d5da,
    0xbe155636, 0x3cc87d6a, 0xbd494a25, 0x3d8dde0d,
    0x3bd64fba, 0x3ceff207, 0x3d224e0b, 0xbc2b2364,
    0xbd9a521d, 0x3cf24cbc, 0x3db6b503, 0x3d53d719,
    0xbe0a075d, 0x3ce30323, 0x3e15e570, 0xbdb9e444,
    0x3c87dafe, 0xbdf1df50, 0x3c2113ac, 0xbdb3ced5,
    0xbde205c9, 0x3df8c008, 0x3e8b8be4, 0x3b4dfab7,
    0x3d58847a, 0x3d0f2003, 0x3e263edc, 0x3d209fd0,
    0xbd8d7dbb, 0xbccdc357, 0x3c254039, 0x3d8887ba,
    0xbd89ffc1, 0x3da4eaa4, 0xbce03184, 0xbda58525,
    0x3da137ac, 0xbe05419e, 0xbdc337f5, 0x3b89f67b,
    0x3d93b323, 0xbd853448, 0xbd5d955e, 0xbdc7aecf,
    0xbe45c500, 0x3db60ab4, 0x3dd4af1e, 0x3e1e276d,
    0xbd2b86c1, 0x3de31561, 0xbdf1e226, 0xbd0f22b6,
    0x3b675aa0, 0x3ec14697, 0xbefe58ba, 0x3e75b672,
    0xbbbcecad, 0xbd23549e, 0xbdc3305d, 0xbc78bd6d,
    0xbdd1ad25, 0xbd84a983, 0xbd504934, 0xbca93495,
    0xbbacc89b, 0xbd4502ee, 0x3d75fbaa, 0xbca14549,
    0xbe0493a0, 0xbdb61ec2, 0x3e922337, 0x3e0b3afe,
    0xbd506a40, 0xbd3e229c, 0x3bf538a1, 0x3cf2b91e,
    0x3ba1ce12, 0x3da7061e, 0x3de6b9a7, 0xbe2904fd,
    0xbdf2412b, 0xbe6967ff, 0xbd125acd, 0xbba1ac6f,
    0x3b81da42, 0x3d2fc531, 0x3eb3424b, 0xbe1fb62d,
    0xbe0d2c43, 0x3e11d7a2, 0xbea61d92, 0x3eda09bc,
    0x3da5a1f1, 0x3c3a8937, 0x3cc27aed, 0x3d61b566,
    0x3dcde223, 0x3ccb76c7, 0xbd318ad8, 0x3d289fb6,
    0x3eb5d66c, 0xbe14d18c, 0xbed58d7b, 0xbe66dd0d,
    0xbdc1794c, 0xbd4113e7, 0x3e0231b2, 0xbcefab02,
    0x3c6dbed6, 0xbc00420b, 0x3d158394, 0x3ce10a24,
    0x3dc0e15a, 0xbde4bb3e, 0xbb289a8f, 0x3d1da98e,
    0x3cf7d6cd, 0x3d95e304, 0x3d95d2f3, 0xbd82a359,
    0x3cd58d36, 0xbd9b3b38, 0xbd567ad5, 0xbd5de99b,
    0x3d3b93c2, 0xbd4ad5b8, 0xbe37bf38, 0x3c7372a9,
    0x3e3755d9, 0x3c2da202, 0xbdd5d3dc, 0x3e296456,
    0xbe7ff431, 0x3e48a781, 0xbe157c24, 0x3e584573,
    0x3cb3f7cb, 0xbca6d56f, 0x3c47a0ec, 0x3e6e6f98,
    0xbd9f13ca, 0x3da057bf, 0xbc8721de, 0x3d098514,
    0xbdf02d01, 0xbd46dce0, 0xbd648ef7, 0x3c1b9c8a,
    0xbe2fd517, 0x3eabdd39, 0xbe0897d2, 0x3e89e1a8,
    0xbccf55f3, 0xbcdd843c, 0x3d4f730d, 0x3c85f3cb,
    0x3db27312, 0x3d7b27c9, 0xbd9a93bb, 0xbc876133,
    0xbeecf0bd, 0x3e1f81af, 0xbd76222a, 0x3cbe0a02,
    0x3ccf01b4, 0x3db27fd6, 0x3db56ed4, 0x3e48e874,
    0x3dfc0937, 0xbdb76526, 0x3daa6227, 0x3d673b8e,
    0xbb887f99, 0x3d74a7ed, 0x3d93d5e2, 0xbed186cb,
    0x3e174f65, 0x3e9f3965, 0x3b8d7790, 0x3b792d41,
    0x3cc45e05, 0x3e87fc52, 0xbe38cef4, 0x3d762d95,
    0x3ecd82d1, 0x3ecc4b23, 0xbdf89143, 0xbea1fba0,
    0xbd2cd384, 0x3de60314, 0x3dd9e881, 0xbea2bdd6,
    0x3b8d2f4f, 0xbd327df1, 0x3bb30105, 0xbb9342c0,
    0x3ce7f2e5, 0xbc4e264d, 0x3dc0c321, 0x3d83136e,
    0x3e617de4, 0xbe2eba2f, 0x3d5e7855, 0xbda1a3db,
    0xbdd5423b, 0xbda36833, 0x3e09e666, 0xbec1a089,
    0xbce1c63e, 0x3d076894, 0xbd12f7f7, 0x3bc9787b,
    0x3cbb4628, 0xbe18f9b3, 0xbe46101f, 0xbba4d05c,
    0xbdec56c3, 0x3e53f1cd, 0x3e237ec4, 0xbe058a04,
    0xbd17cd4e, 0xbda0727c, 0x3daaa9e7, 0x3d9548e3,
    0xbc04afa2, 0xbd09e104, 0x3d08767b, 0x3d2f45a1,
    0xbc809961, 0xbdfa29cd, 0xbc80b34f, 0xbc116496,
    0x3df21d92, 0xbe193be4, 0xbdea3756, 0x3e056427,
    0x3e0dd6d2, 0x3de456b5, 0x3d3bdc61, 0x3d8bb0c7,
    0x3d861d5d, 0x3d5efcc6, 0x3c5202aa, 0x3b32db9c,
    0xbb024086, 0x3d3bf5a4, 0xbedebb25, 0x3eacefeb,
    0x3ca7f92e, 0x3d301f93, 0xbb0e1153, 0xbe469acc,
    0x3dde75cc, 0x3d8b5e73, 0x3d2803ed, 0xbc5b4b89,
    0xbca250ca, 0xbdb0c999, 0xbd8ef2b3, 0x3ddb68bd,
    0xbe70bb0d, 0xbdc8fb1f, 0xbd321c6d, 0xbde04dcb,
    0xbaffd2d4, 0xbd3ae53e, 0xbedca4e8, 0x3e71d2c2,
    0x3e44b07b, 0xbef0155f, 0x3db6521c, 0x3c604460,
    0xbe96dd61, 0x3e654b35, 0x3d2482a3, 0xbc5ca1ee,
    0xbd69e1f0, 0xbdfbf017, 0xbcb0a4ab, 0xbd997592,
    0xbe09a777, 0x3befe861, 0x3e4e2086, 0xbef605d3,
    0xbe33a405, 0xbe0b3f5b, 0x3e6ac3c6, 0x3dcef653,
    0x3ef249fe, 0x3e060ae4, 0xbc8f62c4, 0x3d4593bc,
    0x3eb1dffd, 0x3e381387, 0xbc311e5b, 0x3d020d49,
    0x3cebd133, 0xbcf69991, 0xbc847b93, 0xbcbec872,
    0xbe27f736, 0xbc7c5866, 0x3e233929, 0xbdfd21d6,
    0x3eb6f39c, 0x3ca6d6fb, 0xbaf66009, 0x3d22b82c,
    0x3d75eddb, 0x3d70803f, 0x3ce95ad9, 0xbd93c769,
    0xbd60ce40, 0x3e82bce9, 0xbbeb9ffc, 0x3dbf16d2,
    0x3d7a57e2, 0x3d5ed750, 0xbda4cf77, 0x3d8ff3c9,
    0x3dc8e593, 0xbd815153, 0xbd6da2af, 0xbc670738,
    0xbe00e326, 0xbd8b85e9, 0x3d25b325, 0xbde86cb3,
    0xbe8ed674, 0xbd86dde6, 0xbbc933a1, 0xbd843948,
    0xbe3fc344, 0x3e114ef0, 0x3cb52ba5, 0xbcca9b73,
    0x3e2ec3f7, 0xbe3dbc1b, 0xbda4b084, 0x3e83d02c,
    0xbe58bae8, 0x3e9e3a2c, 0x3ba19f54, 0x3bf4b0da,
    0xbb6da1de, 0xbec480f9, 0xbe006aaf, 0x3de8ce90,
    0x3e8348dc, 0xbdecbc6d, 0xbbef279b, 0x3bdbad9a,
    0xbce2592d, 0xbcc87e7c, 0xbe42c755, 0x3d8a0c98,
    0xbd1c1d9e, 0xbd788677, 0xbe18977c, 0xbe68eb6f,
    0xbe9b628c, 0x3e2e64ef, 0xbd9c59a1, 0x3c7b1283,
    0x3e63a245, 0xbe26530e, 0xba223dfe, 0xba78cca0,
    0x3c4cc446, 0xbcf798d3, 0x3da53480, 0x3e41a674,
    0x3bcbd2b9, 0xbe9d703a, 0xbcf59288, 0xbe0ebda8,
    0x3e1a01b1, 0xbd3a4c0e, 0x3eb07431, 0x3dd5fa9e
    };

static const uint32_t ref_mult_real[512] = {
    0xbd3d6335, 0x3ce25362, 0x3da3cf3f, 0x3d7da19a,
    0xbb9ba601, 0x3b3c5e56, 0x3c496671, 0xbcf339be,
    0x3df666e1, 0xbd959b7b, 0x3ce19da4, 0x3d9f8558,
    0xbd32f924, 0xbda6431f, 0xbc470a4d, 0x3aa07846,
    0xbb8486df, 0x3c8e543d, 0xbdc099fe, 0x3d0af161,
    0x3b3909c4, 0xbc15d7d8, 0x3c88ab50, 0x3db074f9,
    0x3c7a5f35, 0xbd5988a9, 0xbdf6e610, 0x3e1a8005,
    0xbd00e56e, 0x3cf89b5b, 0xbd615192, 0x3d4b78f5,
    0xbd0743e2, 0xbdc97325, 0x3c57a611, 0x3d99e697,
    0xbacc08df, 0xba798532, 0x3d180afc, 0xbd1b66e6,
    0xbe28a4fc, 0xbe84443c, 0xbd23062d, 0xbd995b7d,
    0xbe17f011, 0x3e4d85c3, 0x3d5065f7, 0x3da2e50d,
    0x3d499f27, 0x3d7667d1, 0x3b9c077a, 0x3ba090d0,
    0x3db5c928, 0xbe019b52, 0xba909b3f, 0xb86f1fff,
    0x3e00ebc5, 0x3d153b8a, 0x3d9441f0, 0x3d8664a0,
    0xbdf44605, 0xbd2a7b0a, 0xbcf4e011, 0xbd25022e,
    0x3cf6f5ba, 0x3b09ca89, 0x3ca22f17, 0x3c5ed16c,
    0xbd5aa654, 0xbdae4941, 0xbc014a8c, 0x3d3ca5e8,
    0xbd59b8fa, 0xbdf22637, 0x3e0e29a4, 0xbd1ef5e7,
    0xbdb30427, 0x3d25c1ed, 0xbc9a1038, 0xbc80005b,
    0x3c6162ab, 0x3c0d22f7, 0xbed1129e, 0xbdb1d168,
    0x3c093657, 0xbc151b25, 0xbdce066e, 0x3e0fa1c2,
    0xbce450a5, 0xbb9b3fb5, 0x3bf04a2f, 0xbdc10334,
    0xbe0ba2bb, 0x3b6e9eab, 0x3a713b17, 0xbd1f87fd,
    0x3af178cb, 0x3e0dca88, 0xbd429104, 0x3dbbbe93,
    0x3ceabd0f, 0x3d9b6e5b, 0xbcb468ef, 0xbc945181,
    0xb8a06cbc, 0x3c43c5d4, 0xbba3d925, 0x3d136d17,
    0xbd1049bf, 0xbd19b661, 0xbc82894f, 0x3ca55087,
    0xbd809a5d, 0x3d88bf28, 0x3bda32d0, 0xbaeb2f79,
    0xbcc10555, 0xbd0f5e38, 0x3dbe5926, 0x3bf56384,
    0x3d9c8c9e, 0xbc811ba3, 0xbb324a3c, 0xbc3e3a97,
    0x3db4f240, 0xbce2f0a6, 0x3e039d7c, 0x3bf9f664,
    0xbd5ca2c0, 0xbcd53702, 0xbca223b7, 0xbbe9254f,
    0x3e5536ea, 0x3d343a2d, 0x3d02b241, 0xbbbfd19b,
    0x3be452fb, 0x3b7d5bb0, 0xba6c8284, 0xba35ac6d,
    0xbc213bcc, 0xbc0f7976, 0x3ba3f8b4, 0x3d3fb674,
    0x3e17de07, 0xbdf693d1, 0xbdaed87e, 0xbf19daad,
    0xbe16a853, 0x3cf54731, 0xbc772f90, 0x3d88414d,
    0x3de3183a, 0xbc6e683e, 0x3cddce43, 0xbd337082,
    0xbb9ad38a, 0xbcee6879, 0xbbed9ec6, 0xbbcf0210,
    0xbd90ccff, 0xbdc0a84c, 0x3b7ffb06, 0xbd2f04cb,
    0x3dbe44e0, 0xbd865416, 0x3ce89f00, 0xbc633aad,
    0x3da028cf, 0xbd4a088f, 0x3c6375d5, 0xbb9f1590,
    0xbcb33ee3, 0xbd0c6428, 0xbce1749a, 0xbd095398,
    0x3d73da6e, 0xbe4e5501, 0xbdadd0bb, 0x3caa63d7,
    0xbca8ae26, 0xbc02d2f0, 0xbcf9704e, 0x3d1204a3,
    0xbe46233d, 0x3dd5e541, 0xbe4f6bf7, 0xbe54d03b,
    0x3db1b956, 0x3c03b029, 0x3d76bfe0, 0xbd0345fe,
    0xbb263358, 0x3d532b21, 0x3de8c227, 0xbc96d7fc,
    0xbae4548f, 0xbb348aee, 0xb91a9609, 0xbb3f18a3,
    0x3d8cc711, 0x3c3b2921, 0x3ca60ae4, 0xbc7046a2,
    0xb908b1bd, 0xbc181aa6, 0xbda04736, 0x3db368a8,
    0x3b49cbcb, 0x3c0e2bd5, 0xbcf3c672, 0xbd726bb8,
    0xbb65e6c8, 0x3bc8d1de, 0x3cc258c4, 0xbc82a5d6,
    0x3bd4900d, 0xbc336381, 0xbddc8fd3, 0x3da30aea,
    0xbd505590, 0xbd2b67c0, 0xbe0b2cdc, 0x3daf11ae,
    0x3c28497d, 0x3ce5e8f9, 0x3c40e701, 0x3d343b57,
    0x3c1f9074, 0xbcd12070, 0x3cc6cc3d, 0xbcba10cf,
    0xbd7b0f85, 0xbd7c5f18, 0xbb326f43, 0x3a7a5688,
    0xbd85c035, 0x3e20b34c, 0x3c8588f2, 0x3d9339dc,
    0x3c33938a, 0x3c2cd208, 0xbca1d811, 0xbcea2f23,
    0x3d474812, 0xbd91e961, 0x3de7575c, 0xbcfa1f25,
    0xbd49a6eb, 0xba932c20, 0x3cf7260f, 0x3c8f78b4,
    0x3d834752, 0xbbafc07d, 0xbdcaa05a, 0x3cec8c89,
    0xbc1d79f8, 0x3de2e970, 0x3cbb1ee4, 0xbca02aa5,
    0x3d458fc3, 0xbdf460ed, 0x3c827fd0, 0x3b414b82,
    0xbb6cac87, 0x3b16c7e4, 0xba9d4c17, 0x3cd3fe4e,
    0xbce524c7, 0xbd551c89, 0xbe1c68d1, 0x3d15b96b,
    0xbd1d1153, 0xbd31a629, 0x3bc23c0d, 0xba0c51f0,
    0x3d8c172c, 0xbcc4c6fc, 0x3c909e52, 0x3c44dfd4,
    0xbcf21bac, 0x3886b832, 0xbda25c82, 0xbd7c49c5,
    0xbc8f8f7f, 0x3c1c1983, 0x3d0b3aec, 0x3ddc4ebc,
    0xbd41690e, 0x3c8cea47, 0xbb87fcca, 0x3c8babd2,
    0xbe535f73, 0xbdbb04f3, 0xbb8a7bab, 0x3c8421ae,
    0x3bc2208f, 0xbdb956e6, 0xbd57473c, 0x3cd3c4c8,
    0x3ad5aa17, 0xbb355605, 0xbc81ad02, 0x3c881013,
    0xbd3a2bfe, 0x3c335243, 0x3cd8c1cd, 0x3c31160e,
    0x3e2c7ce7, 0xbd053252, 0x3d77a811, 0x3dcb568f,
    0x3aba269e, 0x3e1c76bb, 0xbdcc564d, 0xbe458b71,
    0x3d75f84d, 0x3d682a0b, 0x3da1acd2, 0x3d01da72,
    0x3c749a3c, 0xbd58c3b8, 0x3df7e42d, 0x3e243793,
    0xbb88659c, 0xbb1ddaec, 0xbdb63121, 0x3b280a8a,
    0x3d0287b3, 0x3b360f65, 0x3dfa2f6a, 0x3d84853c,
    0xbdb77cfc, 0x3d081b51, 0x3e5325be, 0x3d116e48,
    0xbdc34d8a, 0x3e2b8e84, 0xbd1ccf7b, 0xbd41f11b,
    0x3c634713, 0x3cbe2f61, 0xbc68c929, 0x3a2dea0a,
    0x3e9cf076, 0x3cca2a4f, 0x3b46db57, 0xbccc386b,
    0x3d6483de, 0xbb323ca6, 0x3d126f87, 0x3c5f5454,
    0xbc5bbf02, 0xbccb25b9, 0x392bab49, 0x3bbcfe83,
    0x3b5d085f, 0x3bff99b9, 0x3bb41970, 0xb8516294,
    0xbd08da6e, 0xbcd4e10c, 0xbc4c4bd9, 0xbc1e1963,
    0x3db6eafc, 0xbca50507, 0x3c75db34, 0xbc38f4e6,
    0x3e1bfe0b, 0x3d24c545, 0x3d2d8e40, 0xbd64fcea,
    0x3b6bf184, 0x3c6daf5e, 0x3d086a4d, 0x3c792709,
    0x3bdd9de0, 0x3d8b9f84, 0x3d45a188, 0x3c95419f,
    0x3d5f70c6, 0xbc9363ca, 0xbdf96b49, 0x3d7cd160,
    0xbd377fdb, 0x3b95b038, 0xbd72b44a, 0x3d21c45a,
    0xbd1cc54f, 0xbcc9a379, 0x3b4735e7, 0x3d9fa176,
    0xbe16d3bf, 0xbcbea5b3, 0x3c4706d9, 0x3c1ec894,
    0x3bd74eb9, 0xbb7f571f, 0xbf0c85bc, 0x3ed9bd85,
    0x3d453a5e, 0xbe695b3b, 0x3ba4ce2c, 0x3bd3d5f2,
    0x3d1828f5, 0xbc3d4c1c, 0x3c8959ab, 0xbcc16b8a,
    0xbd3420f0, 0xbcbeab6d, 0xbb0e1ebc, 0xb90ca991,
    0xbcd1fdfa, 0xba33882b, 0xbe215493, 0x3da2f1fb,
    0xbaa2aa46, 0x3db50ccf, 0xbe6d2016, 0x3e4e4f58,
    0xbcdaed3c, 0x3dd28c04, 0x3d14f671, 0xbdbd7402,
    0xbbf22519, 0xbb97b979, 0xbc1b820f, 0x3cc1f6dc,
    0x3babeef2, 0x3c980523, 0xbc91af79, 0xbcdfba95,
    0x3c5bd161, 0x3d13ded9, 0x3c363493, 0x3d9c375d,
    0xbdf02996, 0x3deb0a02, 0x3cf92f93, 0x3eb557a6,
    0x3d1d58c5, 0x3c3ce378, 0xbcb4978a, 0xbc4a426d,
    0x39d6c631, 0x3b2dd49a, 0xbaf85feb, 0xbb294b3d,
    0xbb986503, 0xbc5adbc6, 0x3d593f62, 0xbb983cfe,
    0x3d1d83d2, 0x3ca7b5a4, 0x3d2c51d4, 0xbd543aaa,
    0xbc3c84e3, 0x3cd38142, 0xbda118b0, 0xbd18cc6f,
    0x3e18c530, 0x3e203dec, 0x3d2839eb, 0xbd36ca8a,
    0x3c4b9de0, 0x3cb17320, 0xbb57e8d4, 0x3c19fc71,
    0xbcd64eb0, 0x3ca299d8, 0xbb4179af, 0xbba3c0f3,
    0x3d594a0d, 0xbda795ce, 0x3b7eaa26, 0x3b51dc7c,
    0xbda7f09d, 0x3d10336c, 0x3dd91a69, 0xbb84ebcf,
    0x3cd0a278, 0x3da6bbe3, 0xbbde3016, 0x3acc8390,
    0x3c1b213a, 0xbd817c39, 0x3d29d6b8, 0xbcf1a778,
    0xbd2437f6, 0x3d4387c9, 0x3c11afd3, 0xbd34a47d,
    0x3c3ce748, 0xbe058fcd, 0x3de3ecd5, 0x3dff3427,
    0x3df36f44, 0x3d2bd167, 0x3a932c19, 0xb7869a31,
    0xba5e5f40, 0x3c69594e, 0x3d677a47, 0x3dbde6e9,
    0xbd53bdde, 0xbb7d6e6f, 0xb8ba94de, 0x3b2fa17d,
    0x3d17d8f9, 0x3c36cfff, 0x3d863d32, 0xbe01f876
    };