blob: f61f7a34273f3b1843e00d372f49b9ab0a33e022 [file] [log] [blame]
/* city-test.c - cityhash-c
* CityHash on C
* Copyright (c) 2011-2012, Alexander Nusov
*
* - original copyright notice -
* Copyright (c) 2011 Google, Inc.
*
* Permission is hereby granted, free of charge, to any person obtaining a copy
* of this software and associated documentation files (the "Software"), to deal
* in the Software without restriction, including without limitation the rights
* to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
* copies of the Software, and to permit persons to whom the Software is
* furnished to do so, subject to the following conditions:
*
* The above copyright notice and this permission notice shall be included in
* all copies or substantial portions of the Software.
*
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
* AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
* OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
* THE SOFTWARE.
*/
#include <string.h>
#include <stdio.h>
#include "city.h"
#ifdef __SSE4_2__
#include "citycrc.h"
#endif
static const uint64 k0 = 0xc3a5c85c97cb3127ULL;
static const uint64 kSeed0 = 1234567;
static const uint64 kSeed1 = 0xc3a5c85c97cb3127ULL;
static const uint128 kSeed128 = { 1234567, 0xc3a5c85c97cb3127ULL };
static const int kDataSize = 1 << 20;
static const int kTestSize = 300;
static char data[1 << 20];
static int errors; /* global error count */
/* Initialize data to pseudorandom values.
*/
void setup(void)
{
uint64 a = 9;
uint64 b = 777;
int i;
for (i = 0; i < kDataSize; i++) {
a = (a ^ (a >> 41)) * k0 + b;
b = (b ^ (b >> 41)) * k0 + i;
uint8 u = b >> 37;
memcpy(data + i, &u, 1); /* uint8 -> char */
}
}
#define C(x) (0x ## x ## ULL)
static const uint64 testdata[300][15] = {
{C(9 ae16a3b2f90404f), C(75106 db890237a4a), C(3f eac5f636039766),
C(3df 09df c64c09a2b), C(3 cb540c392e51e29), C(6 b56343feac0663),
C(5 b7bc50fd8e8ad92),
C(3df 09df c64c09a2b), C(3 cb540c392e51e29), C(6 b56343feac0663),
C(5 b7bc50fd8e8ad92),
C(889f 555 a0f5b2dc0), C(7767800902 c8a8ce), C(bcd2a808f4cb4a44),
C(e9024dba8f94f2f3)},
{C(75e9 dee28ded761d), C(931992 c1b14334c5), C(245ee b25ba2c172e),
C(1290f 0e8 a5caa74d), C(ca4c6bf7583f5cda), C(e1d60d51632c536d),
C(cbc54a1db641910a),
C(1290f 0e8 a5caa74d), C(ca4c6bf7583f5cda), C(e1d60d51632c536d),
C(cbc54a1db641910a),
C(9866 d68d17c2c08e), C(8 d84ba63eb4d020a), C(df0ad99c78cbce44),
C(7 c98593ef62573ed)},
{C(75 de892fdc5ba914), C(f89832e71f764c86), C(39 a82df1f278a297),
C(b4af8ae673acb930), C(992 b7acb203d8885), C(57 b533f3f8b94d50),
C(bbb69298a5dcf1a1),
C(b4af8ae673acb930), C(992 b7acb203d8885), C(57 b533f3f8b94d50),
C(bbb69298a5dcf1a1),
C(433495196 af9ac4f), C(53445 c0896ae1fe6), C(f7b939315f6fb56f),
C(ac1b05e5a2e0335e)},
{C(69 cfe9fca1cc683a), C(e65f2a81e19b8067), C(20575ea6370 a9d14),
C(8f 52532f c6f005b7), C(4eb e60df371ec129), C(c6ef8a7f8deb8116),
C(83df 17e3 c9bb9a67),
C(8f 52532f c6f005b7), C(4eb e60df371ec129), C(c6ef8a7f8deb8116),
C(83df 17e3 c9bb9a67),
C(6 a0aaf51016e19cd), C(fb0d1e89f39dbf6a), C(c73095102872943a),
C(405ea97456 c28a75)},
{C(675 b04c582a34966), C(53624 b5ef8cd4f45), C(c412e0931ac8c9b1),
C(798637e677 c65a3), C(83e3 b06adc4cd3ff), C(f3e76e8a7135852f),
C(111e66 cfbb05366d),
C(798637e677 c65a3), C(83e3 b06adc4cd3ff), C(f3e76e8a7135852f),
C(111e66 cfbb05366d),
C(29 c4f84aa48e8682), C(b77a8685750c94d0), C(7 cab65571969123f),
C(fb1dbd79f68a8519)},
{C(46f a817397ea8b68), C(cc960c1c15ce2d20), C(e5f9f947bafb9e79),
C(b342cdf0d7ac4b2a), C(66914 d44b373b232), C(261194e76 cb43966),
C(45 a0010190365048),
C(b342cdf0d7ac4b2a), C(66914 d44b373b232), C(261194e76 cb43966),
C(45 a0010190365048),
C(e2586947ca8eac83), C(6650 daf2d9677cdc), C(2f 9533 d8f4951a9),
C(a5bdc0f3edc4bd7b)},
{C(406e959 cdffadec7), C(e80dc125dca28ed1), C(e5beb146d4b79a21),
C(e66d5c1bb441541a), C(d14961bc1fd265a2), C(e4cc669d4fc0577f),
C(abf4a51e36da2702),
C(e66d5c1bb441541a), C(d14961bc1fd265a2), C(e4cc669d4fc0577f),
C(abf4a51e36da2702),
C(21236 d12df338f75), C(54 b8c4a5ad2ae4a4), C(202 d50ef9c2d4465),
C(5ec c6a128e51a797)},
{C(46663908 b4169b95), C(4e7 e90b5c426bf1d), C(dc660b58daaf8b2c),
C(b298265ebd1bd55f), C(4 a5f6838b55c0b08), C(fc003c97aa05d397),
C(2f b5adad3380c3bc),
C(b298265ebd1bd55f), C(4 a5f6838b55c0b08), C(fc003c97aa05d397),
C(2f b5adad3380c3bc),
C(c46fd01d253b4a0b), C(4 c799235c2a33188), C(7e21 bc57487a11bf),
C(e1392bb1994bd4f2)},
{C(f214b86cffeab596), C(5f ccb0b132da564f), C(86e7 aa8b4154b883),
C(763529 c8d4189ea8), C(860 d77e7fef74ca3), C(3 b1ba41191219b6b),
C(722 b25dfa6d0a04b),
C(763529 c8d4189ea8), C(860 d77e7fef74ca3), C(3 b1ba41191219b6b),
C(722 b25dfa6d0a04b),
C(5f 7 b463094e22a91), C(75 d6f57376b31bd7), C(d253c7f89efec8e6),
C(efe56ac880a2b8a3)},
{C(eba670441d1a4f7d), C(eb6b272502d975fa), C(69f 8 d424d50c083e),
C(313 d49cb51b8cd2c), C(6e982 d8b4658654a), C(dd59629a17e5492d),
C(81 cb23bdab95e30e),
C(313 d49cb51b8cd2c), C(6e982 d8b4658654a), C(dd59629a17e5492d),
C(81 cb23bdab95e30e),
C(1e6 c3e6c454c774f), C(177655172666 d5ea), C(9 cc67e0d38d80886),
C(36 a2d64d7bc58d22)},
{C(172 c17ff21dbf88d), C(1f 5104e320f 0 c815), C(1e34 e9f1fa63bcef),
C(3506 ae8fae368d2a), C(59f a2b2de5306203), C(67 d1119dcfa6007e),
C(1f 7190 c648ad9aef),
C(3506 ae8fae368d2a), C(59f a2b2de5306203), C(67 d1119dcfa6007e),
C(1f 7190 c648ad9aef),
C(7e8 b1e689137b637), C(cbe373368a31db3c), C(dbc79d82cd49c671),
C(641399520 c452c99)},
{C(5 a0838df8a019b8c), C(73f c859b4952923), C(45e39 daf153491bd),
C(a9b91459a5fada46), C(de0fbf8800a2da3), C(21800e4 b5af9dedb),
C(517 c3726ae0dbae7),
C(a9b91459a5fada46), C(de0fbf8800a2da3), C(21800e4 b5af9dedb),
C(517 c3726ae0dbae7),
C(1 ccffbd74acf9d66), C(cbb08cf95e7eda99), C(61444f 09e2 a29587),
C(35 c0d15745f96455)},
{C(8f 42 b1fbb2fc0302), C(5 ae31626076ab6ca), C(b87f0cb67cb75d28),
C(2498586 ac2e1fab2), C(e683f9cbea22809a), C(a9728d0b2bbe377c),
C(46 baf5cae53dc39a),
C(2498586 ac2e1fab2), C(e683f9cbea22809a), C(a9728d0b2bbe377c),
C(46 baf5cae53dc39a),
C(806f 4352 c99229e), C(d4643728fc71754a), C(998 c1647976bc893),
C(d8094fdc2d6bb032)},
{C(72085e82 d70dcea9), C(32f 502 c43349ba16), C(5eb c98c3645a018f),
C(c7fa762238fd90ac), C(8 d03b5652d615677), C(a3f5226e51d42217),
C(46 d5010a7cae8c1e),
C(c7fa762238fd90ac), C(8 d03b5652d615677), C(a3f5226e51d42217),
C(46 d5010a7cae8c1e),
C(4293122580 db7f5f), C(3df 6042f 39 c6d487), C(439124809 cf5c90e),
C(90 b704e4f71d0ccf)},
{C(32 b75fc2223b5032), C(246f ff80eb230868), C(a6fdbc82c9aeecc0),
C(c089498074167021), C(ab094a9f9ab81c23), C(4f acf3d9466bcb03),
C(57 aa9c67938cf3eb),
C(c089498074167021), C(ab094a9f9ab81c23), C(4f acf3d9466bcb03),
C(57 aa9c67938cf3eb),
C(79 a769ca1c762117), C(9 c8dee60337f87a8), C(dabf1b96535a3abb),
C(f87e9fbb590ba446)},
{C(e1dd010487d2d647), C(12352858295 d2167), C(acc5e9b6f6b02dbb),
C(1 c66ceea473413df), C(dc3f70a124b25a40), C(66 a6dfe54c441cd8),
C(b436dabdaaa37121),
C(1 c66ceea473413df), C(dc3f70a124b25a40), C(66 a6dfe54c441cd8),
C(b436dabdaaa37121),
C(6 d95aa6890f51674), C(42 c6c0fc7ab3c107), C(83 b9dfe082e76140),
C(939 cdbd3614d6416)},
{C(2994f 9245194 a7e2), C(b7cd7249d6db6c0c), C(2170 a7d119c5c6c3),
C(8505 c996b70ee9fc), C(b92bba6b5d778eb7), C(4 db4c57f3a7a4aee),
C(3 cfd441cb222d06f),
C(8505 c996b70ee9fc), C(b92bba6b5d778eb7), C(4 db4c57f3a7a4aee),
C(3 cfd441cb222d06f),
C(4 d940313c96ac6bd), C(43762837 c9ffac4b), C(480f cf58920722e3),
C(4 bbd1e1a1d06752f)},
{C(32e2 ed6fa03e5b22), C(58 baf09d7c71c62b), C(a9c599f3f8f50b5b),
C(1660 a2c4972d0fa1), C(1 a1538d6b50a57c), C(8 a5362485bbc9363),
C(e8eec3c84fd9f2f8),
C(1660 a2c4972d0fa1), C(1 a1538d6b50a57c), C(8 a5362485bbc9363),
C(e8eec3c84fd9f2f8),
C(2562514461 d373da), C(33857675f ed52b4), C(e58d2a17057f1943),
C(fe7d3f30820e4925)},
{C(37 a72b6e89410c9f), C(139f ec53b78cee23), C(4f ccd8f0da7575c3),
C(3 a5f04166518ac75), C(f49afe05a44fc090), C(cb01b4713cfda4bd),
C(9027 bd37ffc0a5de),
C(3 a5f04166518ac75), C(f49afe05a44fc090), C(cb01b4713cfda4bd),
C(9027 bd37ffc0a5de),
C(e15144d3ad46ec1b), C(736f d99679a5ae78), C(b3d7ed9ed0ddfe57),
C(cef60639457867d7)},
{C(10836563 cb8ff3a1), C(d36f67e2dfc085f7), C(edc1bb6a3dcba8df),
C(bd4f3a0566df3bed), C(81f c8230c163dcbe), C(4168 bc8417a8281b),
C(7100 c9459827c6a6),
C(bd4f3a0566df3bed), C(81f c8230c163dcbe), C(4168 bc8417a8281b),
C(7100 c9459827c6a6),
C(21 cad59eaf79e72f), C(61 c8af6fb71469f3), C(b0dfc42ce4f578b),
C(33ea34 ccea305d4e)},
{C(4 dabcb5c1d382e5c), C(9 a868c608088b7a4), C(7 b2b6c389b943be5),
C(c914b925ab69fda0), C(6 bafe864647c94d7), C(7 a48682dd4afa22),
C(40f e01210176ba10),
C(c914b925ab69fda0), C(6 bafe864647c94d7), C(7 a48682dd4afa22),
C(40f e01210176ba10),
C(88dd 28f 33ec31388), C(c6db60abf1d45381), C(7 b94c447298824d5),
C(6 b2a5e05ad0b9fc0)},
{C(296 afb509046d945), C(c38fe9eb796bd4be), C(d7b17535df110279),
C(dd2482b87d1ade07), C(662785 d2e3e78ddf), C(eae39994375181bb),
C(9994500 c077ee1db),
C(dd2482b87d1ade07), C(662785 d2e3e78ddf), C(eae39994375181bb),
C(9994500 c077ee1db),
C(a275489f8c6bb289), C(30695ea31df 1 a369), C(1 aeeb31802d701b5),
C(7799 d5a6d5632838)},
{C(f7c0257efde772ea), C(af6af9977ecf7bff), C(1 cdff4bd07e8d973),
C(fab1f4acd2cd4ab4), C(b4e19ba52b566bd), C(7f 1 db45725fe2881),
C(70276f f8763f8396),
C(fab1f4acd2cd4ab4), C(b4e19ba52b566bd), C(7f 1 db45725fe2881),
C(70276f f8763f8396),
C(1 b0f2b546dddd16b), C(aa066984b5fd5144), C(7 c3f9386c596a5a8),
C(e5befdb24b665d5f)},
{C(61e021 c8da344ba1), C(cf9c720676244755), C(354f fa8e9d3601f6),
C(44e40 a03093fbd92), C(bda9481cc5b93cae), C(986 b589cbc0cf617),
C(210f 59f 074044831),
C(44e40 a03093fbd92), C(bda9481cc5b93cae), C(986 b589cbc0cf617),
C(210f 59f 074044831),
C(ac32cbbb6f50245a), C(afa6f712efb22075), C(47289f 7 af581719f),
C(31 b6e75d3aa0e54b)},
{C(c0a86ed83908560b), C(440 c8b6f97bd1749), C(a99bf2891726ea93),
C(ac0c0b84df66df9d), C(3ee2337 b437eb264), C(8 a341daed9a25f98),
C(cc665499aa38c78c),
C(ac0c0b84df66df9d), C(3ee2337 b437eb264), C(8 a341daed9a25f98),
C(cc665499aa38c78c),
C(af7275299d79a727), C(874f a8434b45d0e), C(ca7b67388950dd33),
C(2 db5cd3675ec58f7)},
{C(35 c9cf87e4accbf3), C(2267eb4 d2191b2a3), C(80217695666 b2c9),
C(cd43a24abbaae6d), C(a88abf0ea1b2a8ff), C(e297ff01427e2a9d),
C(935 d545695b2b41d),
C(cd43a24abbaae6d), C(a88abf0ea1b2a8ff), C(e297ff01427e2a9d),
C(935 d545695b2b41d),
C(6 accd4dbcb52e849), C(261295 acb662fd49), C(f9d91f1ac269a8a2),
C(5e45f 39df 355e395)},
{C(e74c366b3091e275), C(522e657 c5da94b06), C(ca9afa806f1a54ac),
C(b545042f67929471), C(90 d10e75ed0e75d8), C(3ea60f 8f 158df 77e),
C(8863eff 3 c2d670b7),
C(b545042f67929471),
C(90 d10e75ed0e75d8),
C(3ea60f 8f 158df 77e),
C(8863eff 3 c2d670b7),
C(5799296e97f 144 a7),
C(1 d6e517c12a88271),
C(da579e9e1add90ef),
C(942f b4cdbc3a4da)},
{C(a3f2ca45089ad1a6),
C(13f 6270f e56fbce4),
C(1f 93 a534bf03e705),
C(aaea14288ae2d90c),
C(1 be3cd51ef0f15e8),
C(e8b47c84d5a4aac1),
C(297 d27d55b766782),
C(aaea14288ae2d90c),
C(1 be3cd51ef0f15e8),
C(e8b47c84d5a4aac1),
C(297 d27d55b766782),
C(e922d1d8bb2afd0),
C(b4481c4fa2e7d8d5),
C(691e21538 af794d5),
C(9 bd4fb0a53962a72)},
{C(e5181466d8e60e26),
C(cf31f3a2d582c4f3),
C(d9cee87cb71f75b2),
C(4750 ca6050a2d726),
C(d6e6dd8940256849),
C(f3b3749fdab75b0),
C(c55d8a0f85ba0ccf),
C(4750 ca6050a2d726),
C(d6e6dd8940256849),
C(f3b3749fdab75b0),
C(c55d8a0f85ba0ccf),
C(47f 134f 9544 c6da6),
C(e1cdd9cb74ad764),
C(3 ce2d096d844941e),
C(321f e62f608d2d4e)},
{C(fb528a8dd1e48ad7),
C(98 c4fd149c8a63dd),
C(4 abd8fc3377ae1f),
C(d7a9304abbb47cc5),
C(7f 2 b9a27aa57f99),
C(353 ab332d4ef9f18),
C(47 d56b8d6c8cf578),
C(d7a9304abbb47cc5),
C(7f 2 b9a27aa57f99),
C(353 ab332d4ef9f18),
C(47 d56b8d6c8cf578),
C(df55f58ae09f311f),
C(dba9511784fa86e3),
C(c43ce0288858a47e),
C(62971e94270 b78e1)},
{C(da6d2b7ea9d5f9b6),
C(57 b11153ee3b4cc8),
C(7 d3bd1256037142f),
C(90 b16ff331b719b5),
C(fc294e7ad39e01e6),
C(d2145386bab41623),
C(7045 a63d44d76011),
C(90 b16ff331b719b5),
C(fc294e7ad39e01e6),
C(d2145386bab41623),
C(7045 a63d44d76011),
C(a232222ed0fe2fa4),
C(e6c17dff6c323a8a),
C(bbcb079be123ac6c),
C(4121f e2c5de7d850)},
{C(61 d95225bc2293e),
C(f6c52cb6be9889a8),
C(91 a0667a7ed6a113),
C(441133 d221486a3d),
C(fb9c5a40e19515b),
C(6 c967b6c69367c2d),
C(145 bd9ef258c4099),
C(441133 d221486a3d),
C(fb9c5a40e19515b),
C(6 c967b6c69367c2d),
C(145 bd9ef258c4099),
C(a0197657160c686e),
C(91 ada0871c23f379),
C(2f d74fceccb5c80c),
C(bf04f24e2dc17913)},
{C(81247 c01ab6a9cc1),
C(fbccea953e810636),
C(ae18965000c31be0),
C(15 bb46383daec2a5),
C(716294063 b4ba089),
C(f3bd691ce02c3014),
C(14 ccaad685a20764),
C(15 bb46383daec2a5),
C(716294063 b4ba089),
C(f3bd691ce02c3014),
C(14 ccaad685a20764),
C(5 db25914279d6f24),
C(25 c451fce3b2ed06),
C(e6bacb43ba1ddb9a),
C(6 d77493a2e6fd76)},
{C(c17f3ebd3257cb8b),
C(e9e68c939c118c8d),
C(72 a5572be35bfc1b),
C(f6916c341cb31f2a),
C(591 da1353ee5f31c),
C(f1313c98a836b407),
C(e0b8473eada48cd1),
C(f6916c341cb31f2a),
C(591 da1353ee5f31c),
C(f1313c98a836b407),
C(e0b8473eada48cd1),
C(ac5c2fb40b09ba46),
C(3 a3e8a9344eb6548),
C(3 bf9349a9d8483a6),
C(c30dd0d9b15e92d0)},
{C(9802438969 c3043b),
C(6 cd07575c948dd82),
C(83e26 b6830ea8640),
C(d52f1fa190576961),
C(11 d182e4f0d419cc),
C(5 d9ccf1b56617424),
C(c8a16debb585e452),
C(d52f1fa190576961),
C(11 d182e4f0d419cc),
C(5 d9ccf1b56617424),
C(c8a16debb585e452),
C(2158 a752d2686d40),
C(b93c1fdf54789e8c),
C(3 a9a435627b2a30b),
C(de6e5e551e7e5ad5)},
{C(3dd 8ed248 a03d754),
C(d8c1fcf001cb62e0),
C(87 a822141ed64927),
C(4 bfaf6fd26271f47),
C(aefeae8222ad3c77),
C(cfb7b24351a60585),
C(8678904e9 e890b8f),
C(4 bfaf6fd26271f47),
C(aefeae8222ad3c77),
C(cfb7b24351a60585),
C(8678904e9 e890b8f),
C(968dd 1 aa4d7dcf31),
C(7 ac643b015007a39),
C(d1e1bac3d94406ec),
C(babfa52474a404fa)},
{C(c5bf48d7d3e9a5a3),
C(8f 0249 b5c5996341),
C(c6d2c8a606f45125),
C(fd1779db740e2c48),
C(1950ef50f efab3f8),
C(e4536426a6196809),
C(699556 c502a01a6a),
C(fd1779db740e2c48),
C(1950ef50f efab3f8),
C(e4536426a6196809),
C(699556 c502a01a6a),
C(2f 49 d268bb57b946),
C(b205baa6c66ebfa5),
C(ab91ebe4f48b0da1),
C(c7e0718ccc360328)},
{C(bc4a21d00cf52288),
C(28df 3eb5 a533fa87),
C(6081 bbc2a18dd0d),
C(8ee d355d219e58b9),
C(2 d7b9f1a3d645165),
C(5758 d1aa8d85f7b2),
C(9 c90c65920041dff),
C(8ee d355d219e58b9),
C(2 d7b9f1a3d645165),
C(5758 d1aa8d85f7b2),
C(9 c90c65920041dff),
C(3 c5c4ea46645c7f1),
C(346879ec c0e2eb90),
C(8434f ec461bb5a0f),
C(783 ccede50ef5ce9)},
{C(172 c8674913ff413),
C(1815 a22400e832bf),
C(7e011f 9467 a06650),
C(161 be43353a31dd0),
C(79 a8afddb0642ac3),
C(df43af54e3e16709),
C(6e12553 a75b43f07),
C(161 be43353a31dd0),
C(79 a8afddb0642ac3),
C(df43af54e3e16709),
C(6e12553 a75b43f07),
C(3 ac1b1121e87d023),
C(2 d47d33df7b9b027),
C(e2d3f71f4e817ff5),
C(70 b3a11ca85f8a39)},
{C(17 a361dbdaaa7294),
C(c67d368223a3b83c),
C(f49cf8d51ab583d2),
C(666eb21 e2eaa596),
C(778f 3e1 b6650d56),
C(3f 6 be451a668fe2d),
C(5452892 b0b101388),
C(666eb21 e2eaa596),
C(778f 3e1 b6650d56),
C(3f 6 be451a668fe2d),
C(5452892 b0b101388),
C(cc867fceaeabdb95),
C(f238913c18aaa101),
C(f5236b44f324cea1),
C(c507cc892ff83dd1)},
{C(5 cc268bac4bd55f),
C(232717 a35d5b2f1),
C(38 da1393365c961d),
C(2 d187f89c16f7b62),
C(4eb504204f a1be8),
C(222 bd53d2efe5fa),
C(a4dcd6d721ddb187),
C(2 d187f89c16f7b62),
C(4eb504204f a1be8),
C(222 bd53d2efe5fa),
C(a4dcd6d721ddb187),
C(d86bbe67666eca70),
C(c8bbae99d8e6429f),
C(41 dac4ceb2cb6b10),
C(2f 90 c331755f6c48)},
{C(db04969cc06547f1),
C(fcacc8a75332f120),
C(967 ccec4ed0c977e),
C(ac5d1087e454b6cd),
C(c1f8b2e284d28f6c),
C(cc3994f4a9312cfa),
C(8 d61606dbc4e060d),
C(ac5d1087e454b6cd),
C(c1f8b2e284d28f6c),
C(cc3994f4a9312cfa),
C(8 d61606dbc4e060d),
C(17315 af3202a1307),
C(850775145e01163 a),
C(96f 10e7357f 930 d2),
C(abf27049cf07129)},
{C(25 bd8d3ca1b375b2),
C(4 ad34c2c865816f9),
C(9 be30ad32f8f28aa),
C(7755ea02 dbccad6a),
C(cb8aaf8886247a4a),
C(8f 6966 ce7ea1b6e6),
C(3f 2863090f a45a70),
C(7755ea02 dbccad6a),
C(cb8aaf8886247a4a),
C(8f 6966 ce7ea1b6e6),
C(3f 2863090f a45a70),
C(1e46 d73019c9fb06),
C(af37f39351616f2c),
C(657efdf ff20ea2ed),
C(93 bdf4c58ada3ecb)},
{C(166 c11fbcbc89fd8),
C(cce1af56c48a48aa),
C(78908959 b8ede084),
C(19032925 ba2c951a),
C(a53ed6e81b67943a),
C(edc871a9e8ef4bdf),
C(ae66cf46a8371aba),
C(19032925 ba2c951a),
C(a53ed6e81b67943a),
C(edc871a9e8ef4bdf),
C(ae66cf46a8371aba),
C(a37b97790fe75861),
C(eda28c8622708b98),
C(3f 0 a23509d3d5c9d),
C(5787 b0e7976c97cf)},
{C(3565 bcc4ca4ce807),
C(ec35bfbe575819d5),
C(6 a1f690d886e0270),
C(1 ab8c584625f6a04),
C(ccfcdafb81b572c4),
C(53 b04ba39fef5af9),
C(64 ce81828eefeed4),
C(1 ab8c584625f6a04),
C(ccfcdafb81b572c4),
C(53 b04ba39fef5af9),
C(64 ce81828eefeed4),
C(131 af99997fc662c),
C(8 d9081192fae833c),
C(2828064791 cb2eb),
C(80554 d2e8294065c)},
{C(b7897fd2f274307d),
C(6 d43a9e5dd95616d),
C(31 a2218e64d8fce0),
C(664e581f c1cf769b),
C(415110942f c97022),
C(7 a5d38fee0bfa763),
C(dc87ddb4d7495b6c),
C(664e581f c1cf769b),
C(415110942f c97022),
C(7 a5d38fee0bfa763),
C(dc87ddb4d7495b6c),
C(7 c3b66372e82e64b),
C(1 c89c0ceeeb2dd1),
C(dad76d2266214dbd),
C(744783486e43 cc61)},
{C(aba98113ab0e4a16),
C(287f 883 aede0274d),
C(3ec d2a607193ba3b),
C(e131f6cc9e885c28),
C(b399f98d827e4958),
C(6eb90 c8ed6c9090c),
C(ec89b378612a2b86),
C(e131f6cc9e885c28),
C(b399f98d827e4958),
C(6eb90 c8ed6c9090c),
C(ec89b378612a2b86),
C(cfc0e126e2f860c0),
C(a9a8ab5dec95b1c),
C(d06747f372f7c733),
C(fbd643f943a026d3)},
{C(17f 7796e0 d4b636c),
C(ddba5551d716137b),
C(65f 9735375df 1 ada),
C(a39e946d02e14ec2),
C(1 c88cc1d3822a193),
C(663f 8074 a5172bb4),
C(8 ad2934942e4cb9c),
C(a39e946d02e14ec2),
C(1 c88cc1d3822a193),
C(663f 8074 a5172bb4),
C(8 ad2934942e4cb9c),
C(3 da03b033a95f16c),
C(54 a52f1932a1749d),
C(779ee b734199bc25),
C(359 ce8c8faccc57b)},
{C(33 c0128e62122440),
C(b23a588c8c37ec2b),
C(f2608199ca14c26a),
C(acab0139dc4f36df),
C(9502 b1605ca1345a),
C(32174ef1 e06a5e9c),
C(d824b7869258192b),
C(acab0139dc4f36df),
C(9502 b1605ca1345a),
C(32174ef1 e06a5e9c),
C(d824b7869258192b),
C(681 d021b52064762),
C(30 b6c735f80ac371),
C(6 a12d8d7f78896b3),
C(157111657 a972144)},
{C(988 bc5d290b97aef),
C(6754 bb647eb47666),
C(44 b5cf8b5b8106a8),
C(a1c5ba961937f723),
C(32 d6bc7214dfcb9b),
C(6863397e0f 4 c6758),
C(e644bcb87e3eef70),
C(a1c5ba961937f723),
C(32 d6bc7214dfcb9b),
C(6863397e0f 4 c6758),
C(e644bcb87e3eef70),
C(bf25ae22e7aa7c97),
C(f5f3177da5756312),
C(56 a469cb0dbb58cd),
C(5233184 bb6130470)},
{C(23 c8c25c2ab72381),
C(d6bc672da4175fba),
C(6 aef5e6eb4a4eb10),
C(3df 880 c945e68aed),
C(5e08 a75e956d456f),
C(f984f088d1a322d7),
C(7 d44a1b597b7a05e),
C(3df 880 c945e68aed),
C(5e08 a75e956d456f),
C(f984f088d1a322d7),
C(7 d44a1b597b7a05e),
C(cbd7d157b7fcb020),
C(2e2945 e90749c2aa),
C(a86a13c934d8b1bb),
C(fbe3284bb4eab95f)},
{C(450f e4acc4ad3749),
C(3111 b29565e4f852),
C(db570fc2abaf13a9),
C(35107 d593ba38b22),
C(fd8212a125073d88),
C(72805 d6e015bfacf),
C(6 b22ae1a29c4b853),
C(35107 d593ba38b22),
C(fd8212a125073d88),
C(72805 d6e015bfacf),
C(6 b22ae1a29c4b853),
C(df2401f5c3c1b633),
C(c72307e054c81c8f),
C(3ef bfe65bd2922c0),
C(b4f632e240b3190c)},
{C(48e1 eff032d90c50),
C(dee0fe333d962b62),
C(c845776990c96775),
C(8ea71758346 b71c9),
C(d84258cab79431fd),
C(af566b4975cce10a),
C(5 c5c7e70a91221d2),
C(8ea71758346 b71c9),
C(d84258cab79431fd),
C(af566b4975cce10a),
C(5 c5c7e70a91221d2),
C(c33202c7be49ea6f),
C(e8ade53b6cbf4caf),
C(102ea04f c82ce320),
C(c1f7226614715e5e)},
{C(c048604ba8b6c753),
C(21ea6 d24b417fdb6),
C(4e40 a127ad2d6834),
C(5234231 bf173c51),
C(62319525583eaf 29),
C(87632ef a9144cc04),
C(1749 de70c8189067),
C(5234231 bf173c51),
C(62319525583eaf 29),
C(87632ef a9144cc04),
C(1749 de70c8189067),
C(29672240923e8207),
C(11dd 247 a815f6d0d),
C(8 d64e16922487ed0),
C(9f a6f45d50d83627)},
{C(67f f1cbe469ebf84),
C(3 a828ac9e5040eb0),
C(85 bf1ad6b363a14b),
C(2f c6c0783390d035),
C(ef78307f5be5524e),
C(a46925b7a1a77905),
C(fea37470f9a51514),
C(2f c6c0783390d035),
C(ef78307f5be5524e),
C(a46925b7a1a77905),
C(fea37470f9a51514),
C(9 d6504cf6d3947ce),
C(174 cc006b8e96e7),
C(d653a06d8a009836),
C(7 d22b5399326a76c)},
{C(b45c7536bd7a5416),
C(e2d17c16c4300d3c),
C(b70b641138765ff5),
C(a5a859ab7d0ddcfc),
C(8730164 a0b671151),
C(af93810c10348dd0),
C(7256010 c74f5d573),
C(a5a859ab7d0ddcfc),
C(8730164 a0b671151),
C(af93810c10348dd0),
C(7256010 c74f5d573),
C(e22a335be6cd49f3),
C(3 bc9c8b40c9c397a),
C(18 da5c08e28d3fb5),
C(f58ea5a00404a5c9)},
{C(215 c2eaacdb48f6f),
C(33 b09acf1bfa2880),
C(78 c4e94ba9f28bf),
C(981 b7219224443d1),
C(1f 476f c4344d7bba),
C(abad36e07283d3a5),
C(831 bf61190eaaead),
C(981 b7219224443d1),
C(1f 476f c4344d7bba),
C(abad36e07283d3a5),
C(831 bf61190eaaead),
C(4 c90729f62432254),
C(2f fadc94c89f47b3),
C(677e790 b43d20e9a),
C(bb0a1686e7c3ae5f)},
{C(241 baf16d80e0fe8),
C(b6b3c5b53a3ce1d),
C(6 ae6b36209eecd70),
C(a560b6a4aa3743a4),
C(b3e04f202b7a99b),
C(3 b3b1573f4c97d9f),
C(ccad8715a65af186),
C(a560b6a4aa3743a4),
C(b3e04f202b7a99b),
C(3 b3b1573f4c97d9f),
C(ccad8715a65af186),
C(d0c93a838b0c37e7),
C(7150 aa1be7eb1aad),
C(755 b1e60b84d8d),
C(51916e77 b1b05ba9)},
{C(d10a9743b5b1c4d1),
C(f16e0e147ff9ccd6),
C(fbd20a91b6085ed3),
C(43 d309eb00b771d5),
C(a6d1f26105c0f61b),
C(d37ad62406e5c37e),
C(75 d9b28c717c8cf7),
C(43 d309eb00b771d5),
C(a6d1f26105c0f61b),
C(d37ad62406e5c37e),
C(75 d9b28c717c8cf7),
C(8f 5f 118 b425b57cd),
C(5 d806318613275f3),
C(8150848 bcf89d009),
C(d5531710d53e1462)},
{C(919ef9 e209f2edd1),
C(684 c33fb726a720a),
C(540353f 94e8033),
C(26 da1a143e7d4ec4),
C(55095ea e445aacf4),
C(31ef ad866d075938),
C(f9b580cff4445f94),
C(26 da1a143e7d4ec4),
C(55095ea e445aacf4),
C(31ef ad866d075938),
C(f9b580cff4445f94),
C(b1bea6b8716d9c48),
C(9ed2 a3df4a15dc53),
C(11f 1 be58843eb8e9),
C(d9899ecaaef3c77c)},
{C(b5f9519b6c9280b),
C(7823 a2fe2e103803),
C(d379a205a3bd4660),
C(466ec55 ee4b4302a),
C(714f 1 b9985deeaf0),
C(728595f 26e633 cf7),
C(25ec d0738e1bee2b),
C(466ec55 ee4b4302a),
C(714f 1 b9985deeaf0),
C(728595f 26e633 cf7),
C(25ec d0738e1bee2b),
C(db51771ad4778278),
C(763e5742 ac55639e),
C(df040e92d38aa785),
C(5df 997 d298499bf1)},
{C(77 a75e89679e6757),
C(25 d31fee616b5dd0),
C(d81f2dfd08890060),
C(7598df 8911dd 40 a4),
C(3 b6dda517509b41b),
C(7 dae29d248dfffae),
C(6697 c427733135f),
C(7598df 8911dd 40 a4),
C(3 b6dda517509b41b),
C(7 dae29d248dfffae),
C(6697 c427733135f),
C(834 d6c0444c90899),
C(c790675b3cd53818),
C(28 bb4c996ecadf18),
C(92 c648513e6e6064)},
{C(9 d709e1b086aabe2),
C(4 d6d6a6c543e3fec),
C(df73b01acd416e84),
C(d54f613658e35418),
C(fcc88fd0567afe77),
C(d18f2380980db355),
C(ec3896137dfbfa8b),
C(d54f613658e35418),
C(fcc88fd0567afe77),
C(d18f2380980db355),
C(ec3896137dfbfa8b),
C(eb48dbd9a1881600),
C(ca7bd7415ab43ca9),
C(e6c5a362919e2351),
C(2f 4e4 bd2d5267c21)},
{C(91 c89971b3c20a8a),
C(87 b82b1d55780b5),
C(bc47bb80dfdaefcd),
C(87e11 c0f44454863),
C(2df 1 aedb5871cc4b),
C(ba72fd91536382c8),
C(52 cebef9e6ea865d),
C(87e11 c0f44454863),
C(2df 1 aedb5871cc4b),
C(ba72fd91536382c8),
C(52 cebef9e6ea865d),
C(5 befc3fc66bc7fc5),
C(b128bbd735a89061),
C(f8f500816fa012b3),
C(f828626c9612f04)},
{C(16468 c55a1b3f2b4),
C(40 b1e8d6c63c9ff4),
C(143 adc6fee592576),
C(4 caf4deeda66a6ee),
C(264720f 6f 35f 7840),
C(71 c3aef9e59e4452),
C(97886 ca1cb073c55),
C(4 caf4deeda66a6ee),
C(264720f 6f 35f 7840),
C(71 c3aef9e59e4452),
C(97886 ca1cb073c55),
C(16155f ef16fc08e8),
C(9 d0c1d1d5254139a),
C(246513 bf2ac95ee2),
C(22 c8440f59925034)},
{C(1 a2bd6641870b0e4),
C(e4126e928f4a7314),
C(1e9227 d52aab00b2),
C(d82489179f16d4e8),
C(a3c59f65e2913cc5),
C(36 cbaecdc3532b3b),
C(f1b454616cfeca41),
C(d82489179f16d4e8),
C(a3c59f65e2913cc5),
C(36 cbaecdc3532b3b),
C(f1b454616cfeca41),
C(99393e31 e3eefc16),
C(3 ca886eac5754cdf),
C(c11776fc3e4756dd),
C(ca118f7059198ba)},
{C(1 d2f92f23d3e811a),
C(e0812edbcd475412),
C(92 d2d6ad29c05767),
C(fd7feb3d2956875e),
C(d7192a886b8b01b6),
C(16e71 dba55f5b85a),
C(93 dabd3ff22ff144),
C(fd7feb3d2956875e),
C(d7192a886b8b01b6),
C(16e71 dba55f5b85a),
C(93 dabd3ff22ff144),
C(14f f0a5444c272c9),
C(fb024d3bb8d915c2),
C(1 bc3229a94cab5fe),
C(6f 6f 1f b3c0dccf09)},
{C(a47c08255da30ca8),
C(cf6962b7353f4e68),
C(2808051ea18946 b1),
C(b5b472960ece11ec),
C(13935 c99b9abbf53),
C(3e80 d95687f0432c),
C(3516 ab536053be5),
C(b5b472960ece11ec),
C(13935 c99b9abbf53),
C(3e80 d95687f0432c),
C(3516 ab536053be5),
C(748 ce6a935755e20),
C(2961 b51d61b0448c),
C(864624113 aae88d2),
C(a143805366f91338)},
{C(efb3b0262c9cd0c),
C(1273901e9 e7699b3),
C(58633f 4 ad0dcd5bb),
C(62e33 ba258712d51),
C(fa085c15d779c0e),
C(2 c15d9142308c5ad),
C(feb517011f27be9e),
C(62e33 ba258712d51),
C(fa085c15d779c0e),
C(2 c15d9142308c5ad),
C(feb517011f27be9e),
C(1 b2b049793b9eedb),
C(d26be505fabc5a8f),
C(adc483e42a5c36c5),
C(c81ff37d56d3b00b)},
{C(5029700 a7773c3a4),
C(d01231e97e300d0f),
C(397 cdc80f1f0ec58),
C(e4041579de57c879),
C(bbf513cb7bab5553),
C(66 ad0373099d5fa0),
C(44 bb6b21b87f3407),
C(e4041579de57c879),
C(bbf513cb7bab5553),
C(66 ad0373099d5fa0),
C(44 bb6b21b87f3407),
C(a8108c43b4daba33),
C(c0b5308c311e865e),
C(cdd265ada48f6fcf),
C(efbc1dae0a95ac0a)},
{C(71 c8287225d96c9a),
C(eb836740524735c4),
C(4777522 d0e09846b),
C(16f de90d02a1343b),
C(ad14e0ed6e165185),
C(8df 6e0 b2f24085dd),
C(caa8a47292d50263),
C(16f de90d02a1343b),
C(ad14e0ed6e165185),
C(8df 6e0 b2f24085dd),
C(caa8a47292d50263),
C(a020413ba660359d),
C(9 de401413f7c8a0c),
C(20 bfb965927a7c85),
C(b52573e5f817ae27)},
{C(4e8 b9ad9347d7277),
C(c0f195eeee7641cf),
C(dbd810bee1ad5e50),
C(8459801016414808),
C(6f bf75735353c2d1),
C(6e69 aaf2d93ed647),
C(85 bb5b90167cce5e),
C(8459801016414808),
C(6f bf75735353c2d1),
C(6e69 aaf2d93ed647),
C(85 bb5b90167cce5e),
C(39 d79ee490d890cc),
C(ac9f31f7ec97deb0),
C(3 bdc1cae4ed46504),
C(eb5c63cfaee05622)},
{C(1 d5218d6ee2e52ab),
C(cb25025c4daeff3b),
C(aaf107566f31bf8c),
C(aad20d70e231582b),
C(eab92d70d9a22e54),
C(cc5ab266375580c0),
C(85091463e3630 dce),
C(aad20d70e231582b),
C(eab92d70d9a22e54),
C(cc5ab266375580c0),
C(85091463e3630 dce),
C(b830b617a4690089),
C(9 dacf13cd76f13cf),
C(d47cc5224265c68f),
C(f04690880202b002)},
{C(162360 be6c293c8b),
C(ff672b4a831953c8),
C(dda57487ab6f78b5),
C(38 a42e0db55a4275),
C(585971 da56bb56d6),
C(cd957009adc1482e),
C(d6a96021e427567d),
C(38 a42e0db55a4275),
C(585971 da56bb56d6),
C(cd957009adc1482e),
C(d6a96021e427567d),
C(8e2 b1a5a63cd96fe),
C(426ef8 ce033d722d),
C(c4d1c3d8acdda5f),
C(4e694 c9be38769b2)},
{C(31459914f 13 c8867),
C(ef96f4342d3bef53),
C(a4e944ee7a1762fc),
C(3526 d9b950a1d910),
C(a58ba01135bca7c0),
C(cbad32e86d60a87c),
C(adde1962aad3d730),
C(3526 d9b950a1d910),
C(a58ba01135bca7c0),
C(cbad32e86d60a87c),
C(adde1962aad3d730),
C(55f aade148929704),
C(bfc06376c72a2968),
C(97762698 b87f84be),
C(117483 d4828cbaf7)},
{C(6 b4e8fca9b3aecff),
C(3ea0 a33def0a296c),
C(901f cb5fe05516f5),
C(7 c909e8cd5261727),
C(c5acb3d5fbdc832e),
C(54eff 5 c782ad3cdd),
C(9 d54397f3caf5bfa),
C(7 c909e8cd5261727),
C(c5acb3d5fbdc832e),
C(54eff 5 c782ad3cdd),
C(9 d54397f3caf5bfa),
C(6 b53ce24c4fc3092),
C(2789 abfdd4c9a14d),
C(94 d6a2261637276c),
C(648 aa4a2a1781f25)},
{C(dd3271a46c7aec5d),
C(fb1dcb0683d711c3),
C(240332e9 ebe5da44),
C(479f 936 b6d496dca),
C(dc2dc93d63739d4a),
C(27e4151 c3870498c),
C(3 a3a22ba512d13ba),
C(479f 936 b6d496dca),
C(dc2dc93d63739d4a),
C(27e4151 c3870498c),
C(3 a3a22ba512d13ba),
C(5 da92832f96d3cde),
C(439 b9ad48c4e7644),
C(d2939279030accd9),
C(6829f 920e2950 dbe)},
{C(109 b226238347d6e),
C(e27214c32c43b7e7),
C(eb71b0afaf0163ef),
C(464f 1 adf4c68577),
C(acf3961e1c9d897f),
C(985 b01ab89b41fe1),
C(6972 d6237390aac0),
C(464f 1 adf4c68577),
C(acf3961e1c9d897f),
C(985 b01ab89b41fe1),
C(6972 d6237390aac0),
C(122 d89898e256a0e),
C(ac830561bd8be599),
C(5744312574f bf0ad),
C(7 bff7f480a924ce9)},
{C(cc920608aa94cce4),
C(d67efe9e097bce4f),
C(5687727 c2c9036a9),
C(8 af42343888843c),
C(191433f fcbab7800),
C(7eb45f c94f88a71),
C(31 bc5418ffb88fa8),
C(8 af42343888843c),
C(191433f fcbab7800),
C(7eb45f c94f88a71),
C(31 bc5418ffb88fa8),
C(4 b53a37d8f446cb7),
C(a6a7dfc757a60d28),
C(a074be7bacbc013a),
C(cc6db5f270de7adc)},
{C(901f f46f22283dbe),
C(9dd 59794 d049a066),
C(3 c7d9c3b0e77d2c6),
C(dc46069eec17bfdf),
C(cacb63fe65d9e3e),
C(362f b57287d530c6),
C(5854 a4fbe1762d9),
C(dc46069eec17bfdf),
C(cacb63fe65d9e3e),
C(362f b57287d530c6),
C(5854 a4fbe1762d9),
C(3197427495021ef c),
C(5f abf34386aa4205),
C(ca662891de36212),
C(21f 603e4 d39bca84)},
{C(11 b3bdda68b0725d),
C(2366 bf0aa97a00bd),
C(55 dc4a4f6bf47e2b),
C(69437142 dae5a255),
C(f2980cc4816965ac),
C(dbbe76ba1d9adfcf),
C(49 c18025c0a8b0b5),
C(69437142 dae5a255),
C(f2980cc4816965ac),
C(dbbe76ba1d9adfcf),
C(49 c18025c0a8b0b5),
C(fe25c147c9001731),
C(38 b99cad0ca30c81),
C(c7ff06ac47eb950),
C(a10f92885a6b3c02)},
{C(9f 5f 03e84 a40d232),
C(1151 a9ff99da844),
C(d6f2e7c559ac4657),
C(5e351 e20f30377bf),
C(91 b3805daf12972c),
C(94417f a6452a265e),
C(bfa301a26765a7c),
C(5e351 e20f30377bf),
C(91 b3805daf12972c),
C(94417f a6452a265e),
C(bfa301a26765a7c),
C(6924e2 a053297d13),
C(ed4a7904ed30d77e),
C(d734abaad66d6eab),
C(ce373e6c09e6e8a1)},
{C(39eef f4f60f439be),
C(1f 7559 c118517c70),
C(6139 d2492237a36b),
C(fd39b7642cecf78f),
C(104f 1 af4e9201df5),
C(ab1a3cc7eaeab609),
C(cee3363f210a3d8b),
C(fd39b7642cecf78f),
C(104f 1 af4e9201df5),
C(ab1a3cc7eaeab609),
C(cee3363f210a3d8b),
C(51490f 65f e56c884),
C(6 a8c8322cda993c),
C(1f 90609 a017de1f0),
C(9f 3 acea480a41edf)},
{C(9 b9e0126fe4b8b04),
C(6 a6190d520886c41),
C(69640 b27c16b3ed8),
C(18865f f87619fd8f),
C(dec5293e665663d8),
C(ea07c345872d3201),
C(6f ce64da038a17ab),
C(18865f f87619fd8f),
C(dec5293e665663d8),
C(ea07c345872d3201),
C(6f ce64da038a17ab),
C(ad48f3c826c6a83e),
C(70 a1ff080a4da737),
C(ecdac686c7d7719),
C(700338424 b657470)},
{C(3ec4 b8462b36df47),
C(ff8de4a1cbdb7e37),
C(4ed e0449884716ac),
C(b5f630ac75a8ce03),
C(7 cf71ae74fa8566a),
C(e068f2b4618df5d),
C(369df 952 ad3fd0b8),
C(b5f630ac75a8ce03),
C(7 cf71ae74fa8566a),
C(e068f2b4618df5d),
C(369df 952 ad3fd0b8),
C(5e1 ba38fea018eb6),
C(5ea5 edce48e3da30),
C(9 b3490c941069dcb),
C(e17854a44cc2fff)},
{C(5e3f d9298fe7009f),
C(d2058a44222d5a1d),
C(cc25df39bfeb005c),
C(1 b0118c5c60a99c7),
C(6 ae919ef932301b8),
C(cde25defa089c2fc),
C(c2a3776e3a7716c4),
C(1 b0118c5c60a99c7),
C(6 ae919ef932301b8),
C(cde25defa089c2fc),
C(c2a3776e3a7716c4),
C(2557 bf65fb26269e),
C(b2edabba58f2ae4f),
C(264144e9f 0e632 cb),
C(ad6481273c979566)},
{C(7504ec b4727b274e),
C(f698cfed6bc11829),
C(71 b62c425ecd348e),
C(2 a5e555fd35627db),
C(55 d5da439c42f3b8),
C(a758e451732a1c6f),
C(18 caa6b46664b484),
C(2 a5e555fd35627db),
C(55 d5da439c42f3b8),
C(a758e451732a1c6f),
C(18 caa6b46664b484),
C(6ec1 c7d1524bbad7),
C(1 cc3531dc422529d),
C(61 a6eeb29c0e5110),
C(9 cc8652016784a6a)},
{C(4 bdedc104d5eaed5),
C(531 c4bb4fd721e5d),
C(1 d860834e94a219f),
C(1944ec723253392 b),
C(7ea6 aa6a2f278ea5),
C(5f f786af8113b3d5),
C(194832eb9 b0b8d0f),
C(1944ec723253392 b),
C(7ea6 aa6a2f278ea5),
C(5f f786af8113b3d5),
C(194832eb9 b0b8d0f),
C(56 ab0396ed73fd38),
C(2 c88725b3dfbf89d),
C(7f f57adf6275c816),
C(b32f7630bcdb218)},
{C(da0b4a6fb26a4748),
C(8 a3165320ae1af74),
C(4803664ee3 d61d09),
C(81 d90ddff0d00fdb),
C(2 c8c7ce1173b5c77),
C(18 c6b6c8d3f91dfb),
C(415 d5cbbf7d9f717),
C(81 d90ddff0d00fdb),
C(2 c8c7ce1173b5c77),
C(18 c6b6c8d3f91dfb),
C(415 d5cbbf7d9f717),
C(b683e956f1eb3235),
C(43166dd e2b64d11f),
C(f9689c90f5aad771),
C(ca0ebc253c2eec38)},
{C(bad6dd64d1b18672),
C(6 d4c4b91c68bd23f),
C(d8f1507176822db7),
C(381068e0f 65f 708 b),
C(b4f3762e451b12a6),
C(6 d61ed2f6d4e741),
C(8 b3b9df537b91a2c),
C(381068e0f 65f 708 b),
C(b4f3762e451b12a6),
C(6 d61ed2f6d4e741),
C(8 b3b9df537b91a2c),
C(b0759e599a91575c),
C(9e7 adbcc77212239),
C(cf0eba98436555fe),
C(b1fcc9c42c4cd1e6)},
{C(98 da3fe388d5860e),
C(14 a9fda8b3adb103),
C(d85f5f798637994b),
C(6e8 e8ff107799274),
C(24 a2ef180891b531),
C(c0eaf33a074bcb9d),
C(1f a399a82974e17e),
C(6e8 e8ff107799274),
C(24 a2ef180891b531),
C(c0eaf33a074bcb9d),
C(1f a399a82974e17e),
C(e7c116bef933725d),
C(859908 c7d17b93de),
C(f6cfa27113af4a72),
C(edf41c5d83c721a8)},
{C(ef243a576431d7ac),
C(92 a32619ecfae0a5),
C(fb34d2c062dc803a),
C(f5f8b21ec30bd3a0),
C(80 a442fd5c6482a8),
C(4f de11e5ccde5169),
C(55671451f 661 a885),
C(f5f8b21ec30bd3a0),
C(80 a442fd5c6482a8),
C(4f de11e5ccde5169),
C(55671451f 661 a885),
C(94f 27 bc2d5d8d63e),
C(2156968 b87f084dc),
C(b591bcae146f6fea),
C(f57f4c01e41ac7fe)},
{C(97854 de6f22c97b6),
C(1292 ac07b0f426bb),
C(9 a099a28b22d3a38),
C(caac64f5865d87f3),
C(771 b9fdbd3aa4bd2),
C(88446393 c3606c2d),
C(bc3d3dcd5b7d6d7f),
C(caac64f5865d87f3),
C(771 b9fdbd3aa4bd2),
C(88446393 c3606c2d),
C(bc3d3dcd5b7d6d7f),
C(56e22512 b832d3ee),
C(bbc677fe5ce0b665),
C(f1914b0f070e5c32),
C(c10d40362472dcd1)},
{C(d26ce17bfc1851d),
C(db30fb632c7da294),
C(26 cb7b1a465400a5),
C(401 a0581221957e2),
C(fc04e99ae3a283ce),
C(fe895303ab2d1e3e),
C(35 ab7c498403975b),
C(401 a0581221957e2),
C(fc04e99ae3a283ce),
C(fe895303ab2d1e3e),
C(35 ab7c498403975b),
C(c6e4c8dc6f52fb11),
C(63f 0 b484c2c7502f),
C(93693 da3439bdbe9),
C(1264 dbaaaaf6b7f1)},
{C(97477 bac0ba4c7f1),
C(788ef8729 dca29ac),
C(63 d88e226d36132c),
C(330 b7e93663affbd),
C(3 c59913fcf0d603f),
C(e207e6572672fd0a),
C(8 a5dc17019c8a667),
C(330 b7e93663affbd),
C(3 c59913fcf0d603f),
C(e207e6572672fd0a),
C(8 a5dc17019c8a667),
C(5 c8f47ade659d40),
C(6e0838 e5a808e9a2),
C(8 a2d9a0afcd48b19),
C(d1c9d5af7b48418d)},
{C(f6bbcba92b11f5c8),
C(72 cf221cad20f191),
C(a04726593764122d),
C(77f bb70409d316e2),
C(c864432c5208e583),
C(d3f593922668c184),
C(23307562648 bdb54),
C(77f bb70409d316e2),
C(c864432c5208e583),
C(d3f593922668c184),
C(23307562648 bdb54),
C(b03e0b274f848a74),
C(c6121e3af71f4281),
C(2e48dd 2 a16ca63ec),
C(f4cd44c69ae024df)},
{C(1 ac8b67c1c82132),
C(7536 db9591be9471),
C(42f 18f be7141e565),
C(20085827 a39ff749),
C(42e6 c504df174606),
C(839 da16331fea7ac),
C(7f d768552b10ffc6),
C(20085827 a39ff749),
C(42e6 c504df174606),
C(839 da16331fea7ac),
C(7f d768552b10ffc6),
C(d1c53c90fde72640),
C(c61ae7cf4e266556),
C(127561e440 e4c156),
C(f329cae8c26af3e1)},
{C(9 cd716ca0eee52fa),
C(67 c1076e1ef11f93),
C(927342024f 36f 5 d7),
C(d0884af223fd056b),
C(bb33aafc7b80b3e4),
C(36 b722fea81a4c88),
C(6e72 e3022c0ed97),
C(d0884af223fd056b),
C(bb33aafc7b80b3e4),
C(36 b722fea81a4c88),
C(6e72 e3022c0ed97),
C(5 db446a3ba66e0ba),
C(2e138f b81b28ad9),
C(16e8 e82995237c85),
C(9730 dbfb072fbf03)},
{C(1909f 39123 d9ad44),
C(c0bdd71c5641fdb7),
C(112e5 d19abda9b14),
C(984 cf3f611546e28),
C(d7d9c9c4e7efb5d7),
C(b3152c389532b329),
C(1 c168b512ec5f659),
C(984 cf3f611546e28),
C(d7d9c9c4e7efb5d7),
C(b3152c389532b329),
C(1 c168b512ec5f659),
C(eca67cc49e26069a),
C(73 cb0b224d36d541),
C(df8379190ae6c5fe),
C(e0f6bde7c4726211)},
{C(1 d206f99f535efeb),
C(882e15548 afc3422),
C(c94f203775c8c634),
C(24940 a3adac420b8),
C(5 adf73051c52bce0),
C(1 aa5030247ed3d32),
C(e1ae74ab6804c08b),
C(24940 a3adac420b8),
C(5 adf73051c52bce0),
C(1 aa5030247ed3d32),
C(e1ae74ab6804c08b),
C(95217 bf71b0da84c),
C(ca9bb91c0126a36e),
C(741 b9a99ea470974),
C(2 adc4e34b8670f41)},
{C(b38c3a83042eb802),
C(ea134be7c6e0c326),
C(81 d396c683df4f35),
C(2 a55645640911e27),
C(4f ac2eefbd36e26f),
C(79 ad798fb4c5835c),
C(359 aa2faec050131),
C(2 a55645640911e27),
C(4f ac2eefbd36e26f),
C(79 ad798fb4c5835c),
C(359 aa2faec050131),
C(5 b802dcec21a7157),
C(6ec de915b75ede0a),
C(f2e653587e89058b),
C(a661be80528d3385)},
{C(488 d6b45d927161b),
C(f5cac66d869a8aaf),
C(c326d56c643a214e),
C(10 a7228693eb083e),
C(1054f b19cbacf01c),
C(a8f389d24587ebd8),
C(afcb783a39926dba),
C(10 a7228693eb083e),
C(1054f b19cbacf01c),
C(a8f389d24587ebd8),
C(afcb783a39926dba),
C(fe83e658532edf8f),
C(6f dcf97f147dc4db),
C(dc5e487845abef4b),
C(137693f 4ea b77e27)},
{C(3 d6aaa43af5d4f86),
C(44 c7d370910418d8),
C(d099515f7c5c4eca),
C(39756960441f be2f),
C(fb68e5fedbe3d874),
C(3f f380fbdd27b8e),
C(f48832fdda648998),
C(39756960441f be2f),
C(fb68e5fedbe3d874),
C(3f f380fbdd27b8e),
C(f48832fdda648998),
C(270dd bf2327058c9),
C(9ee ad83a8319d0c4),
C(b4c3356e162b086d),
C(88f 013588f 411 b7)},
{C(e5c40a6381e43845),
C(312 a18e66bbceaa3),
C(31365186 c2059563),
C(cba4c10e65410ba0),
C(3 c250c8b2d72c1b6),
C(177e82f 415595117),
C(8 c8dcfb9e73d3f6),
C(cba4c10e65410ba0),
C(3 c250c8b2d72c1b6),
C(177e82f 415595117),
C(8 c8dcfb9e73d3f6),
C(c017a797e49c0f7),
C(ea2b233b2e7d5aea),
C(878 d204c55a56cb1),
C(7 b1b62cc0dfdc523)},
{C(86f b323e5a4b710b),
C(710 c1092c23a79e0),
C(bd2c6d3fc949402e),
C(951f 2078 aa4b8099),
C(e68b7fefa1cfd190),
C(41525 a4990ba6d4a),
C(c373552ef4b51712),
C(951f 2078 aa4b8099),
C(e68b7fefa1cfd190),
C(41525 a4990ba6d4a),
C(c373552ef4b51712),
C(73eb44 c6122bdf5a),
C(58047289 a314b013),
C(e31d30432521705b),
C(6 cf856774873faa4)},
{C(7930 c09adaf6e62e),
C(f230d3311593662c),
C(a795b9bf6c37d211),
C(b57ec44bc7101b96),
C(6 cb710e77767a25a),
C(2f 446152 d5e3a6d0),
C(cd69172f94543ce3),
C(b57ec44bc7101b96),
C(6 cb710e77767a25a),
C(2f 446152 d5e3a6d0),
C(cd69172f94543ce3),
C(e6c2483cf425f072),
C(2060 d5d4379d6d5a),
C(86 a3c04c2110d893),
C(561 d3b8a509313c6)},
{C(e505e86f0eff4ecd),
C(cf31e1ccb273b9e6),
C(d8efb8e9d0fe575),
C(ed094f47671e359d),
C(d9ebdb047d57611a),
C(1 c620e4d301037a3),
C(df6f401c172f68e8),
C(ed094f47671e359d),
C(d9ebdb047d57611a),
C(1 c620e4d301037a3),
C(df6f401c172f68e8),
C(af0a2c7f72388ec7),
C(6 d4c4a087fa4564a),
C(411 b30def69700a),
C(67e5 c84557a47e01)},
{C(dedccb12011e857),
C(d831f899174feda8),
C(ee4bcdb5804c582a),
C(5 d765af4e88f3277),
C(d2abe1c63ad4d103),
C(342 a8ce0bc7af6e4),
C(31 bfda956f3e5058),
C(5 d765af4e88f3277),
C(d2abe1c63ad4d103),
C(342 a8ce0bc7af6e4),
C(31 bfda956f3e5058),
C(4 c7a1fec9af54bbb),
C(84 a88f0655899bf4),
C(66f b60d0582ac601),
C(be0dd1ffe967bd4a)},
{C(4 d679bda26f5555f),
C(7 deb387eb7823c1c),
C(a65ef3b4fecd6888),
C(a6814d3dc578b9df),
C(3372111 a3292b691),
C(e97589c81d92b513),
C(74ed d943d1b9b5bf),
C(a6814d3dc578b9df),
C(3372111 a3292b691),
C(e97589c81d92b513),
C(74ed d943d1b9b5bf),
C(889e38 b0af80bb7a),
C(a416349af3c5818b),
C(f5f5bb25576221c1),
C(3 be023fa6912c32e)},
{C(e47cd22995a75a51),
C(3686350 c2569a162),
C(861 afcb185b8efd9),
C(63672 de7951e1853),
C(3 ca0c763273b99db),
C(29e04f a994cccb98),
C(b02587d792be5ee8),
C(63672 de7951e1853),
C(3 ca0c763273b99db),
C(29e04f a994cccb98),
C(b02587d792be5ee8),
C(c85ada4858f7e4fc),
C(3f 280 ab7d5864460),
C(4109822f 92f 68326),
C(2 d73f61314a2f630)},
{C(92 ba8e12e0204f05),
C(4e29321580273802),
C(aa83b675ed74a851),
C(a16cd2e8b445a3fd),
C(f0d4f9fb613c38ef),
C(eee7755d444d8f2f),
C(b530591eb67ae30d),
C(a16cd2e8b445a3fd),
C(f0d4f9fb613c38ef),
C(eee7755d444d8f2f),
C(b530591eb67ae30d),
C(6f b3031a6edf8fec),
C(65118 d08aecf56d8),
C(9 a2117bbef1faa8),
C(97055 c5fd310aa93)},
{C(bb3a8427c64f8939),
C(b5902af2ec095a04),
C(89f 1 b440667b2a28),
C(5386ef0 b438d0330),
C(d39e03c686f8a2da),
C(9555249 bb9073d78),
C(8 c0b3623fdf0b156),
C(5386ef0 b438d0330),
C(d39e03c686f8a2da),
C(9555249 bb9073d78),
C(8 c0b3623fdf0b156),
C(354f c5d3a5504e5e),
C(b2fd7391719aa614),
C(13 cd4ce3dfe27b3d),
C(a2d63a85dc3cae4b)},
{C(998988f 7 d6dacc43),
C(5f 2 b853d841152db),
C(d76321badc5cb978),
C(e381f24ee1d9a97d),
C(7 c5d95b2a3af2e08),
C(ca714acc461cdc93),
C(1 a8ee94bc847aa3e),
C(e381f24ee1d9a97d),
C(7 c5d95b2a3af2e08),
C(ca714acc461cdc93),
C(1 a8ee94bc847aa3e),
C(ee59ee4c21a36f47),
C(d476e8bba5bf5143),
C(22 a03cb5900f6ec8),
C(19 d954e14f35d7a8)},
{C(3f 1049221dd 72 b98),
C(8 d9200d7a0664c37),
C(3925704 c83a5f406),
C(4 cbef49086e62678),
C(d77dfecc2819ef19),
C(c327e4deaf4c7e72),
C(b4d58c73a262a32d),
C(4 cbef49086e62678),
C(d77dfecc2819ef19),
C(c327e4deaf4c7e72),
C(b4d58c73a262a32d),
C(78 cd002324861653),
C(7 c3f3977576efb88),
C(d1c9975fd4a4cc26),
C(3e3 cbc90a9baa442)},
{C(419e4f f78c3e06f3),
C(aa8ff514c8a141d7),
C(5 bb176e21f89f10d),
C(becb065dc12d8b4e),
C(ebee135492a2018),
C(d3f07e65bcd9e13a),
C(85 c933e85382e9f9),
C(becb065dc12d8b4e),
C(ebee135492a2018),
C(d3f07e65bcd9e13a),
C(85 c933e85382e9f9),
C(2 c19ab7c419ebaca),
C(982375 b2999bdb46),
C(652 ca1c6325d9296),
C(e9c790fa8561940a)},
{C(9 ba090af14171317),
C(b0445c5232d7be53),
C(72 cc929d1577ddb8),
C(bc944c1b5ba2184d),
C(ab3d57e5e60e9714),
C(5 d8d27e7dd0a365a),
C(4dd 809e11740 af1a),
C(bc944c1b5ba2184d),
C(ab3d57e5e60e9714),
C(5 d8d27e7dd0a365a),
C(4dd 809e11740 af1a),
C(6f 42 d856faad44df),
C(5118 dc58d7eaf56e),
C(829 bbc076a43004),
C(1747f bbfaca6da98)},
{C(6 ad739e4ada9a340),
C(2 c6c4fb3a2e9b614),
C(ab58620e94ca8a77),
C(aaa144fbe3e6fda2),
C(52 a9291d1e212bc5),
C(2 b4c68291f26b570),
C(45351 ab332855267),
C(aaa144fbe3e6fda2),
C(52 a9291d1e212bc5),
C(2 b4c68291f26b570),
C(45351 ab332855267),
C(1149f 55400 bc9799),
C(8 c6ec1a0c617771f),
C(e9966cc03f3bec05),
C(3e6889140 ccd2646)},
{C(8ecf f07fd67e4abd),
C(f1b8029b17006ece),
C(21 d96d5859229a61),
C(b8c18d66154ac51),
C(5807350371 ad7388),
C(81f 783f 4f 5 ab2b8),
C(fa4e659f90744de7),
C(b8c18d66154ac51),
C(5807350371 ad7388),
C(81f 783f 4f 5 ab2b8),
C(fa4e659f90744de7),
C(809 da4baa51cad2c),
C(88 d5c11ff5598342),
C(7 c7125b0681d67d0),
C(1 b5ba6124bfed8e8)},
{C(497 ca8dbfee8b3a7),
C(58 c708155d70e20e),
C(90428 a7e349d6949),
C(b744f5056e74ca86),
C(88 aa27b96f3d84a5),
C(b4b1ee0470ac3826),
C(aeb46264f4e15d4f),
C(b744f5056e74ca86),
C(88 aa27b96f3d84a5),
C(b4b1ee0470ac3826),
C(aeb46264f4e15d4f),
C(14921 b1ee856bc55),
C(a341d74aaba00a02),
C(4f 50 aa8e3d08a919),
C(75 a148668ff3869e)},
{C(a929cd66daa65b0a),
C(7 c0150a2d9ca564d),
C(46dd ec37e2ec0a6d),
C(4323852 cc57e4af3),
C(1f 5f 638 bbf9d2e5b),
C(578f b6ac89a31d9),
C(7792536 d9ac4bf12),
C(4323852 cc57e4af3),
C(1f 5f 638 bbf9d2e5b),
C(578f b6ac89a31d9),
C(7792536 d9ac4bf12),
C(60 be62e795ef5798),
C(c276cc5b44febefe),
C(519 ba0b9f6d1be95),
C(1f dce3561ed35bb8)},
{C(4107 c4156bc8d4bc),
C(1 cda0c6f3f0f48af),
C(cf11a23299cf7181),
C(766 b71bff7d6f461),
C(b004f2c910a6659e),
C(4 c0eb3848e1a7c8),
C(3f 90439 d05c3563b),
C(766 b71bff7d6f461),
C(b004f2c910a6659e),
C(4 c0eb3848e1a7c8),
C(3f 90439 d05c3563b),
C(4 a2a013f4bc2c1d7),
C(888779 ab0c272548),
C(ae0f8462d89a4241),
C(c5c85b7c44679abd)},
{C(15 b38dc0e40459d1),
C(344f edcfc00fff43),
C(b9215c5a0fcf17df),
C(d178444a236c1f2d),
C(5576 deee27f3f103),
C(943611 bb5b1b0736),
C(a0fde17cb5c2316d),
C(d178444a236c1f2d),
C(5576 deee27f3f103),
C(943611 bb5b1b0736),
C(a0fde17cb5c2316d),
C(feaa1a047f4375f3),
C(5435f 313e84767 e),
C(522e4333 cd0330c1),
C(7e6 b609b0ea9e91f)},
{C(e5e5370ed3186f6c),
C(4592e75 db47ea35d),
C(355 d452b82250e83),
C(7 a265e37da616168),
C(6 a1f06c34bafa27),
C(fbae175e7ed22a9c),
C(b144e84f6f33c098),
C(7 a265e37da616168),
C(6 a1f06c34bafa27),
C(fbae175e7ed22a9c),
C(b144e84f6f33c098),
C(bd444561b0db41fc),
C(2072 c85731e7b0b0),
C(ce1b1fac436b51f3),
C(4f 5 d44f31a3dcdb9)},
{C(ea2785c8f873e28f),
C(3e257272f 4464f 5f),
C(9267e7 e0cc9c7fb5),
C(9f d4d9362494cbbc),
C(e562bc615befb1b9),
C(8096808 d8646cfde),
C(c4084a587b9776ec),
C(9f d4d9362494cbbc),
C(e562bc615befb1b9),
C(8096808 d8646cfde),
C(c4084a587b9776ec),
C(a9135db8a850d8e4),
C(fffc4f8b1a11f5af),
C(c50e9173c2c6fe64),
C(a32630581df4ceda)},
{C(e7bf98235fc8a4a8),
C(4042ef2 aae400e64),
C(6538 ba9ffe72dd70),
C(c84bb7b3881ab070),
C(36f e6c51023fbda0),
C(d62838514bb87ea4),
C(9ee b5e7934373d86),
C(c84bb7b3881ab070),
C(36f e6c51023fbda0),
C(d62838514bb87ea4),
C(9ee b5e7934373d86),
C(5f 8480 d0a2750a96),
C(40 afa38506456ad9),
C(e4012b7ef2e0ddea),
C(659 da200a011836b)},
{C(b94e261a90888396),
C(1f 468 d07e853294c),
C(cb2c9b863a5317b9),
C(4473 c8e2a3458ee0),
C(258053945 ab4a39a),
C(f8d745ca41962817),
C(7 afb6d40df9b8f71),
C(4473 c8e2a3458ee0),
C(258053945 ab4a39a),
C(f8d745ca41962817),
C(7 afb6d40df9b8f71),
C(9030 c2349604f677),
C(f544dcd593087faf),
C(77 a3b0efe6345d12),
C(fff4e398c05817cc)},
{C(4 b0226e5f5cdc9c),
C(a836ae7303dc4301),
C(8505e1 b628bac101),
C(b5f52041a698da7),
C(29864874 b5f1936d),
C(49 b3a0c6d78f98da),
C(93 a1a8c7d90de296),
C(b5f52041a698da7),
C(29864874 b5f1936d),
C(49 b3a0c6d78f98da),
C(93 a1a8c7d90de296),
C(ed62288423c17b7f),
C(685 afa2cfba09660),
C(6 d9b6f59585452c6),
C(e505535c4010efb9)},
{C(e07edbe7325c718c),
C(9 db1eda964f06827),
C(2f 245 ad774e4cb1b),
C(664ec3f ad8521859),
C(406f 082 beb9ca29a),
C(b6b0fb3a7981c7c8),
C(3eb d280b598a9721),
C(664ec3f ad8521859),
C(406f 082 beb9ca29a),
C(b6b0fb3a7981c7c8),
C(3eb d280b598a9721),
C(d9a6ceb072eab22a),
C(d5bc5df5eb2ff6f1),
C(488 db3cab48daa0b),
C(9916f 14f a5672f37)},
{C(f4b56421eae4c4e7),
C(5 da0070cf40937a0),
C(aca4a5e01295984a),
C(5414e385f 5677 a6d),
C(41ef105f 8 a682a28),
C(4 cd2e95ea7f5e7b0),
C(775 bb1e0d57053b2),
C(5414e385f 5677 a6d),
C(41ef105f 8 a682a28),
C(4 cd2e95ea7f5e7b0),
C(775 bb1e0d57053b2),
C(8919017805e84 b3f),
C(15402f 44e0 e2b259),
C(483 b1309e1403c87),
C(85 c7b4232d45b0d9)},
{C(c07fcb8ae7b4e480),
C(4eb cad82e0b53976),
C(8643 c63d6c78a6ce),
C(d4bd358fed3e6aa5),
C(8 a1ba396356197d9),
C(7 afc2a54733922cc),
C(b813bdac4c7c02ef),
C(d4bd358fed3e6aa5),
C(8 a1ba396356197d9),
C(7 afc2a54733922cc),
C(b813bdac4c7c02ef),
C(f6c610cf7e7c955),
C(dab6a53e1c0780f8),
C(837 c9ffec33e5d48),
C(8 cb8c20032af152d)},
{C(3ed ad9568a9aaab),
C(23891 bbaeb3a17bc),
C(4eb7238738 b0c51a),
C(db0c32f76f5b7fc1),
C(5e41 b711f0abd1a0),
C(bcb758f01ded0a11),
C(7 d15f7d87955e28b),
C(db0c32f76f5b7fc1),
C(5e41 b711f0abd1a0),
C(bcb758f01ded0a11),
C(7 d15f7d87955e28b),
C(cd2dc1f0b05939b),
C(9f d6d680462e4c47),
C(95 d5846e993bc8ff),
C(f0b3cafc2697b8a8)},
{C(fcabde8700de91e8),
C(63784 d19c60bf366),
C(8f 3 af9a056b1a1c8),
C(32 d3a29cf49e2dc9),
C(3079 c0b0c2269bd0),
C(ed76ba44f04e7b82),
C(6ee e76a90b83035f),
C(32 d3a29cf49e2dc9),
C(3079 c0b0c2269bd0),
C(ed76ba44f04e7b82),
C(6ee e76a90b83035f),
C(4 a9286f545bbc09),
C(bd36525be4dd1b51),
C(5f 7 a9117228fdee5),
C(543 c96a08f03151c)},
{C(362f c5ba93e8eb31),
C(7549 ae99fa609d61),
C(47e4 cf524e37178f),
C(a54eaa5d7f3a7227),
C(9 d26922965d54727),
C(27 d22acb31a194d4),
C(e9b8e68771db0da6),
C(a54eaa5d7f3a7227),
C(9 d26922965d54727),
C(27 d22acb31a194d4),
C(e9b8e68771db0da6),
C(16f d0e006209abe8),
C(81 d3f72987a6a81a),
C(74e96 e4044817bc7),
C(924 ca5f08572fef9)},
{C(e323b1c5b55a4dfb),
C(719993 d7d1ad77fb),
C(555 ca6c6166e989c),
C(ea37f61c0c2f6d53),
C(9 b0c2174f14a01f5),
C(7 bbe6921e26293f3),
C(2 ab6c72235b6c98a),
C(ea37f61c0c2f6d53),
C(9 b0c2174f14a01f5),
C(7 bbe6921e26293f3),
C(2 ab6c72235b6c98a),
C(2 c6e7668f37f6d23),
C(3e8 edb057a57c2dd),
C(2595f c79768c8b34),
C(ffc541f5efed9c43)},
{C(9461913 a153530ef),
C(83f c6d9ed7d1285a),
C(73df 90 bdc50807cf),
C(a32c192f6e3c3f66),
C(8f 10077 b8a902d00),
C(61 a227f2faac29b4),
C(1 a71466fc005a61d),
C(a32c192f6e3c3f66),
C(8f 10077 b8a902d00),
C(61 a227f2faac29b4),
C(1 a71466fc005a61d),
C(12545812f 3 d01a92),
C(aece72f823ade07d),
C(52634 cdd5f9e5260),
C(cb48f56805c08e98)},
{C(ec2332acc6df0c41),
C(59f 5ee17 e20a8263),
C(1087 d756afcd8e7b),
C(a82a7bb790678fc9),
C(d197682c421e4373),
C(dd78d25c7f0f935a),
C(9850 cb6fbfee520f),
C(a82a7bb790678fc9),
C(d197682c421e4373),
C(dd78d25c7f0f935a),
C(9850 cb6fbfee520f),
C(2590847398688 a46),
C(ad266f08713ca5fe),
C(25 b978be91e830b5),
C(2996 c8f2b4c8f231)},
{C(aae00b3a289bc82),
C(4f 6 d69f5a5a5b659),
C(3f f5abc145614e3),
C(33322363 b5f45216),
C(7e83f 1f e4189e843),
C(df384b2adfc35b03),
C(396 ce7790a5ada53),
C(33322363 b5f45216),
C(7e83f 1f e4189e843),
C(df384b2adfc35b03),
C(396 ce7790a5ada53),
C(c3286e44108b8d36),
C(6 db8716c498d703f),
C(d1db09466f37f4e7),
C(56 c98e7f68a41388)},
{C(4 c842e732fcd25f),
C(e7dd7b953cf9c2b2),
C(911ee248 a76ae3),
C(33 c6690937582317),
C(fe6d61a77985d7bb),
C(97 b153d04a115535),
C(d3fde02e42cfe6df),
C(33 c6690937582317),
C(fe6d61a77985d7bb),
C(97 b153d04a115535),
C(d3fde02e42cfe6df),
C(d1c7d1efa52a016),
C(1 d6ed137f4634c),
C(1 a260ec505097081),
C(8 d1e70861a1c7db6)},
{C(40e23 ca5817a91f3),
C(353e2935809 b7ad1),
C(f7820021b86391bb),
C(f3d41b3d4717eb83),
C(2670 d457dde68842),
C(19707 a6732c49278),
C(5 d0f05a83569ba26),
C(f3d41b3d4717eb83),
C(2670 d457dde68842),
C(19707 a6732c49278),
C(5 d0f05a83569ba26),
C(6f e5bc84e528816a),
C(94df 3 dca91a29ace),
C(420196ed097 e8b6f),
C(7 c52da0e1f043ad6)},
{C(2564527f ad710b8d),
C(2 bdcca8d57f890f),
C(81f 7 bfcd9ea5a532),
C(dd70e407984cfa80),
C(66996 d6066db6e1a),
C(36 a812bc418b97c9),
C(18ea2 c63da57f36e),
C(dd70e407984cfa80),
C(66996 d6066db6e1a),
C(36 a812bc418b97c9),
C(18ea2 c63da57f36e),
C(937f d7ad09be1a8f),
C(163 b12cab35d5d15),
C(3606 c3e441335cce),
C(949f 6ea5 bb241ae8)},
{C(6 bf70df9d15a2bf6),
C(81 cad17764b8e0dd),
C(58 b349a9ba22a7ef),
C(9432536dd 9f 65229),
C(192 dc54522da3e3d),
C(274 c6019e0227ca9),
C(160 abc932a4e4f35),
C(9432536dd 9f 65229),
C(192 dc54522da3e3d),
C(274 c6019e0227ca9),
C(160 abc932a4e4f35),
C(1204f 2f b5aa79dc6),
C(2536ed af890f0760),
C(6f 2 b561f44ff46b4),
C(8 c7b3e95baa8d984)},
{C(45e6f 446eb6 bbcf5),
C(98 ab0ef06f1a7d84),
C(85 ae96bacca50de6),
C(b9aa5bead3352801),
C(8 a6d9e02a19a4229),
C(c352f5b6d5ee1d9d),
C(ce562bdb0cfa84fb),
C(b9aa5bead3352801),
C(8 a6d9e02a19a4229),
C(c352f5b6d5ee1d9d),
C(ce562bdb0cfa84fb),
C(d47b768a85283981),
C(1f e72557be57a11b),
C(95 d8afe4af087d51),
C(2f 59 c4e383f30045)},
{C(620 d3fe4b8849c9e),
C(975 a15812a429ec2),
C(437 c453593dcaf13),
C(8 d8e7c63385df78e),
C(16 d55add72a5e25e),
C(aa6321421dd87eb5),
C(6f 27f 62e785f 0203),
C(8 d8e7c63385df78e),
C(16 d55add72a5e25e),
C(aa6321421dd87eb5),
C(6f 27f 62e785f 0203),
C(829030 a61078206e),
C(ae1f30fcfa445cc8),
C(f61f21c9df4ef68d),
C(1e5 b1945f858dc4c)},
{C(535 aa7340b3c168f),
C(bed5d3c3cd87d48a),
C(266 d40ae10f0cbc1),
C(ce218d5b44f7825a),
C(2 ae0c64765800d3a),
C(f22dc1ae0728fc01),
C(48 a171bc666d227f),
C(ce218d5b44f7825a),
C(2 ae0c64765800d3a),
C(f22dc1ae0728fc01),
C(48 a171bc666d227f),
C(e7367aff24203c97),
C(da39d2be1db3a58d),
C(85 ce86523003933a),
C(dfd4ef2ae83f138a)},
{C(dd3e761d4eada300),
C(893 d7e4c3bea5bb6),
C(cc6d6783bf43eea),
C(eb8eed7c391f0044),
C(b58961c3abf80753),
C(3 d75ea687191521),
C(389 be7bbd8e478f3),
C(eb8eed7c391f0044),
C(b58961c3abf80753),
C(3 d75ea687191521),
C(389 be7bbd8e478f3),
C(917070 a07441ee47),
C(d78efa8cd65b313),
C(a8a16f4c1c08c8a1),
C(b69cb8ee549eb113)},
{C(4 ac1902ccde06545),
C(2 c44aeb0983a7a07),
C(b566035215b309f9),
C(64 c136fe9404a7b3),
C(99f 3 d8c98a399d5e),
C(6319 c7cb14180185),
C(fbacdbd277d33f4c),
C(64 c136fe9404a7b3),
C(99f 3 d8c98a399d5e),
C(6319 c7cb14180185),
C(fbacdbd277d33f4c),
C(a96a5626c2adda86),
C(39ea72f d2ad133ed),
C(b5583f2f736df73e),
C(ef2c63619782b7ba)},
{C(aee339a23bb00a5e),
C(cbb402255318f919),
C(9922948e99 aa0781),
C(df367034233fedc4),
C(dcbe14db816586e5),
C(f4b1cb814adf21d3),
C(f4690695102fa00a),
C(df367034233fedc4),
C(dcbe14db816586e5),
C(f4b1cb814adf21d3),
C(f4690695102fa00a),
C(6 b4f01dd6b76dafc),
C(b79388676b50da5d),
C(cb64f8bde5ed3393),
C(9 b422781f13219d3)},
{C(627599e91148df 4f),
C(3e2 d01e8baab062b),
C(2 daab20edb245251),
C(9 a958bc3a895a223),
C(331058dd 6 c5d2064),
C(46 c4d962072094fa),
C(e6207c19160e58eb),
C(9 a958bc3a895a223),
C(331058dd 6 c5d2064),
C(46 c4d962072094fa),
C(e6207c19160e58eb),
C(5655e4 dbf7272728),
C(67 b217b1f56c747d),
C(3 ac0be79691b9a0d),
C(9 d0954dd0b57073)},
{C(cfb04cf00cfed6b3),
C(5f e75fc559af22fa),
C(c440a935d72cdc40),
C(3 ab0d0691b251b8b),
C(47181 a443504a819),
C(9 bcaf1253f99f499),
C(8ee002 b89c1b6b3f),
C(3 ab0d0691b251b8b),
C(47181 a443504a819),
C(9 bcaf1253f99f499),
C(8ee002 b89c1b6b3f),
C(55df e8eedcd1ec5e),
C(1 bf50f0bbad796a5),
C(9044369 a042d7fd6),
C(d423df3e3738ba8f)},
{C(942631 c47a26889),
C(427962 c82d8a6e00),
C(224071 a6592537ff),
C(d3e96f4fb479401),
C(68 b3f2ec11de9368),
C(cb51b01083acad4f),
C(500 cec4564d62aeb),
C(d3e96f4fb479401),
C(68 b3f2ec11de9368),
C(cb51b01083acad4f),
C(500 cec4564d62aeb),
C(4 ce547491e732887),
C(9423883 a9a11df4c),
C(1 a0fc7a14214360),
C(9e837914505 da6ed)},
{C(4 c9eb4e09726b47e),
C(fd927483a2b38cf3),
C(6 d7e56407d1ba870),
C(9f 5 dc7db69fa1e29),
C(f42fff56934533d5),
C(92 d768c230a53918),
C(f3360ff11642136c),
C(9f 5 dc7db69fa1e29),
C(f42fff56934533d5),
C(92 d768c230a53918),
C(f3360ff11642136c),
C(9e989932 eb86d1b5),
C(449 a77f69a8a9d65),
C(efabaf8a7789ed9a),
C(2798eb4 c50c826fd)},
{C(cf7f208ef20e887a),
C(f4ce4edeadcaf1a1),
C(7ee15226 eaf4a74d),
C(17 ab41ab2ae0705d),
C(9dd 56694 aa2dcd4e),
C(dd4fa2add9baced2),
C(7 ad99099c9e199a3),
C(17 ab41ab2ae0705d),
C(9dd 56694 aa2dcd4e),
C(dd4fa2add9baced2),
C(7 ad99099c9e199a3),
C(a59112144accef0e),
C(5838df 47e38 d251d),
C(8750f e45760331e5),
C(4 b2ce14732e0312a)},
{C(a8dc4687bcf27f4),
C(c4aadd7802553f15),
C(5401eb9912 be5269),
C(5 c2a2b5b0657a928),
C(1e1968 ebb38fcb99),
C(a082d0e067c4a59c),
C(18 b616495ad9bf5d),
C(5 c2a2b5b0657a928),
C(1e1968 ebb38fcb99),
C(a082d0e067c4a59c),
C(18 b616495ad9bf5d),
C(18 c5dc6c78a7f9ed),
C(b3cc94fe34b68aa1),
C(3 b77e91292be38cc),
C(61 d1786ec5097971)},
{C(daed638536ed19df),
C(1 a762ea5d7ac6f7e),
C(48 a1cc07a798b84f),
C(7f 15 bdaf50d550f9),
C(4 c1d48aa621a037e),
C(2 b1d7a389d497ee0),
C(81 c6775d46f4b517),
C(7f 15 bdaf50d550f9),
C(4 c1d48aa621a037e),
C(2 b1d7a389d497ee0),
C(81 c6775d46f4b517),
C(35296005 cbba3ebe),
C(db1642f825b53532),
C(3e07588 a9fd829a4),
C(60f 13 b5446bc7638)},
{C(90 a04b11ee1e4af3),
C(ab09a35f8f2dff95),
C(d7cbe82231ae1e83),
C(3262e9017 bb788c4),
C(1612017731 c997bc),
C(e789d66134aff5e1),
C(275642f d17048af1),
C(3262e9017 bb788c4),
C(1612017731 c997bc),
C(e789d66134aff5e1),
C(275642f d17048af1),
C(99255 b68d0b46b51),
C(74 a6f1ad4b2bb296),
C(4164222761 af840e),
C(54 d59bf6211a8fe6)},
{C(511f 29e1 b732617d),
C(551 cb47a9a83d769),
C(df6f56fbda20e7a),
C(f27583a930221d44),
C(d7d2c46de69b2ed8),
C(add24ddd2be4a850),
C(5 cf2f688dbb93585),
C(f27583a930221d44),
C(d7d2c46de69b2ed8),
C(add24ddd2be4a850),
C(5 cf2f688dbb93585),
C(a7f8e42d5dd4aa00),
C(72 dc11fd76b4dea9),
C(8886f 194e6f 8e3f f),
C(7e8 ead04a0e0b1ef)},
{C(95567f 03939e651f),
C(62 a426f09d81d884),
C(15 cb96e36a8e712c),
C(1 a2f43bdeaea9c28),
C(bca2fd840831291f),
C(83446 d4a1f7dcc1a),
C(449 a211df83b6187),
C(1 a2f43bdeaea9c28),
C(bca2fd840831291f),
C(83446 d4a1f7dcc1a),
C(449 a211df83b6187),
C(553 ce97832b2f695),
C(3110 a2ba303db75),
C(b91d6d399a02f453),
C(3 cb148561e0ef2bb)},
{C(248 a32ad10e76bc3),
C(dac39c8b036985e9),
C(79 d38c4af2958b56),
C(cc954b4e56275f54),
C(700 cd864e04e8aaa),
C(d6ba03cbff7cc34b),
C(da297d7891c9c046),
C(cc954b4e56275f54),
C(700 cd864e04e8aaa),
C(d6ba03cbff7cc34b),
C(da297d7891c9c046),
C(c05d2be8f8ee8114),
C(7f 4541 cbe2ec0025),
C(8f 0 a7a70af6ea926),
C(3837dd ce693781b5)},
{C(f9f05a2a892242eb),
C(de00b6b2e0998460),
C(f1f4bd817041497a),
C(3 deac49eb42a1e26),
C(642f 77f 7 c57e84b7),
C(2f 2 c231222651e8b),
C(380202ec06 bdc29e),
C(3 deac49eb42a1e26),
C(642f 77f 7 c57e84b7),
C(2f 2 c231222651e8b),
C(380202ec06 bdc29e),
C(59 abc4ff54765e66),
C(8561ea1dd dd1f742),
C(9 ca1f94b0d3f3875),
C(b7fa93c3a9fa4ec4)},
{C(3 a015cea8c3f5bdf),
C(5583521 b852fc3ac),
C(53 d5cd66029a1014),
C(ac2eeca7bb04412a),
C(daba45cb16ccff2b),
C(ddd90b51209e414),
C(d90e74ee28cb6271),
C(ac2eeca7bb04412a),
C(daba45cb16ccff2b),
C(ddd90b51209e414),
C(d90e74ee28cb6271),
C(117027648 ca9db68),
C(29 c1dba39bbcf072),
C(787f 6 bb010a34cd9),
C(e099f487e09b847)},
{C(670e43506 aa1f71b),
C(1 cd7929573e54c05),
C(cbb00a0aaba5f20a),
C(f779909e3d5688d1),
C(88211 b9117678271),
C(59f 44f 73759 a8bc6),
C(ef14f73c405123b4),
C(f779909e3d5688d1),
C(88211 b9117678271),
C(59f 44f 73759 a8bc6),
C(ef14f73c405123b4),
C(78775601f 11186f),
C(fc4641d676fbeed9),
C(669 ca96b5a2ae5b),
C(67 b5f0d072025f8d)},
{C(977 bb79b58bbd984),
C(26 d45cfcfb0e9756),
C(df8885db518d5f6a),
C(6 a1d2876488bed06),
C(ae35d83c3afb5769),
C(33667427 d99f9f4e),
C(d84c31c17495e3ba),
C(6 a1d2876488bed06),
C(ae35d83c3afb5769),
C(33667427 d99f9f4e),
C(d84c31c17495e3ba),
C(31357 cded7495ffc),
C(295e2 eefcd383a2e),
C(25063ef4 a24c29ae),
C(88 c694170fcbf0b7)},
{C(e6264fbccd93a530),
C(c92f420494e99a7d),
C(c14001a298cf976),
C(5 c8685fee2e4ce55),
C(228 c49268d6a4345),
C(3 b04ee2861baec6d),
C(7334878 a00e96e72),
C(5 c8685fee2e4ce55),
C(228 c49268d6a4345),
C(3 b04ee2861baec6d),
C(7334878 a00e96e72),
C(7317164 b2ce711bb),
C(e645447e363e8ca1),
C(d326d129ad7b4e7f),
C(58 b9b76d5c2eb272)},
{C(54e4 d0cab7ec5c27),
C(31 ca61d2262a9acc),
C(30 bd3a50d8082ff6),
C(46 b3b963bf7e2847),
C(b319d04e16ad10b0),
C(76 c8dd82e6f5a0eb),
C(2070363 cefb488bc),
C(46 b3b963bf7e2847),
C(b319d04e16ad10b0),
C(76 c8dd82e6f5a0eb),
C(2070363 cefb488bc),
C(6f 9 dbacb2bdc556d),
C(88 a5fb0b293c1e22),
C(cb131d9b9abd84b7),
C(21 db6f0e147a0040)},
{C(882 a598e98cf5416),
C(36 c8dca4a80d9788),
C(c386480f07591cfe),
C(5 b517bcf2005fd9c),
C(b9b8f8e5f90e7025),
C(2 a833e6199e21708),
C(bcb7549de5fda812),
C(5 b517bcf2005fd9c),
C(b9b8f8e5f90e7025),
C(2 a833e6199e21708),
C(bcb7549de5fda812),
C(44f c96a3cafa1c34),
C(fb7724d4899ec7c7),
C(4662e3 b87df93e13),
C(bcf22545acbcfd4e)},
{C(7 c37a5376c056d55),
C(e0cce8936a06b6f6),
C(d32f933fdbec4c7d),
C(7 ac50423e2be4703),
C(546 d4b42340d6dc7),
C(624f 56ee027f 12 bf),
C(5f 7f 65 d1e90c30f9),
C(7 ac50423e2be4703),
C(546 d4b42340d6dc7),
C(624f 56ee027f 12 bf),
C(5f 7f 65 d1e90c30f9),
C(d6f15c19625d2621),
C(c7afd12394f24b50),
C(2 c6adde5d249bcd0),
C(6 c857e6aa07b9fd2)},
{C(21 c5e9616f24be97),
C(ba3536c86e4b6fe9),
C(6 d3a65cfe3a9ae06),
C(2113903eb d760a31),
C(e561f76a5eac8beb),
C(86 b5b3e76392e166),
C(68 c8004ccc53e049),
C(2113903eb d760a31),
C(e561f76a5eac8beb),
C(86 b5b3e76392e166),
C(68 c8004ccc53e049),
C(b51a28fe4251dd79),
C(fd9c2d4d2a84c3c7),
C(5 bf2ec8a470d2553),
C(135 a52cdc76241c9)},
{C(a6eaefe74fa7d62b),
C(cb34669c751b10eb),
C(80 da952ad8abd5f3),
C(3368262 b0e172d82),
C(1 d51f6c982476285),
C(4497675 ac57228a9),
C(2 a71766a71d0b83f),
C(3368262 b0e172d82),
C(1 d51f6c982476285),
C(4497675 ac57228a9),
C(2 a71766a71d0b83f),
C(79 ad94d1e9c1dedd),
C(cbf1a1c9f23bfa40),
C(3ebf 24e068 cd638b),
C(be8e63472edfb462)},
{C(764 af88ed4b0b828),
C(36946775f 20457 ce),
C(d4bc88ac8281c22e),
C(3 b2104d68dd9ac02),
C(2ec a14fcdc0892d0),
C(7913 b0c09329cd47),
C(9373f 458938688 c8),
C(3 b2104d68dd9ac02),
C(2ec a14fcdc0892d0),
C(7913 b0c09329cd47),
C(9373f 458938688 c8),
C(b4448f52a5bf9425),
C(9f 8 c8b90b61ed532),
C(78f 6774f 48e72961),
C(e47c00bf9c1206f4)},
{C(5f 55 a694fb173ea3),
C(7 db02b80ef5a918b),
C(d87ff079f476ca3a),
C(1 d11117374e0da3),
C(744 bfbde42106439),
C(93 a99fab10bb1789),
C(246 ba292a85d8d7c),
C(1 d11117374e0da3),
C(744 bfbde42106439),
C(93 a99fab10bb1789),
C(246 ba292a85d8d7c),
C(e5bd7838e9edd53a),
C(d9c0b104c79d9019),
C(ee3dcc7a8e565de5),
C(619 c9e0a9cf3596d)},
{C(86 d086738b0a7701),
C(d2402313a4280dda),
C(b327aa1a25278366),
C(49efdd e5d1f98163),
C(cbcffcee90f22824),
C(951 aec1daeb79bab),
C(7055e2 c70d2eeb4c),
C(49efdd e5d1f98163),
C(cbcffcee90f22824),
C(951 aec1daeb79bab),
C(7055e2 c70d2eeb4c),
C(1f c0de9399bacb96),
C(dab7bbe67901959e),
C(375805ec cf683ef0),
C(bbb6f465c4bae04e)},
{C(acfc8be97115847b),
C(c8f0d887bf8d9d1),
C(e698fbc6d39bf837),
C(61f d1d6b13c1ea77),
C(527ed97f f4ae24f0),
C(af51a9ebb322c0),
C(14f 7 c25058864825),
C(61f d1d6b13c1ea77),
C(527ed97f f4ae24f0),
C(af51a9ebb322c0),
C(14f 7 c25058864825),
C(f40b2bbeaf9f021d),
C(80 d827160dfdc2d2),
C(77 baea2e3650486e),
C(5 de2d256740a1a97)},
{C(dc5ad3c016024d4),
C(a0235e954da1a152),
C(6 daa8a4ed194cc43),
C(185e650 afc8d39f8),
C(adba03a4d40de998),
C(9975 c776b499b26f),
C(9770 c59368a43a2),
C(185e650 afc8d39f8),
C(adba03a4d40de998),
C(9975 c776b499b26f),
C(9770 c59368a43a2),
C(d2776f0cf0e4f66c),
C(38ea aabfb743f7f6),
C(c066f03d959b3f07),
C(9 d91c2d52240d546)},
{C(a0e91182f03277f7),
C(15 c6ebef7376556),
C(516f 887657 ab5a),
C(f95050524c7f4b84),
C(460 dcebbaaa09ae3),
C(a9f7a9f0b1b2a961),
C(5f 8 dc5e198e34539),
C(f95050524c7f4b84),
C(460 dcebbaaa09ae3),
C(a9f7a9f0b1b2a961),
C(5f 8 dc5e198e34539),
C(9 c49227ffcff07cb),
C(a29388e9fcb794c8),
C(475867910 d110cba),
C(8 c9a5cee480b5bac)},
{C(767f 1 dbd1dba673b),
C(1e466 a3848a5b01e),
C(483ea def1347cd6e),
C(a67645c72f54fe24),
C(c7a5562c69bd796b),
C(e14201a35b55e4a6),
C(b3a6d89f19d8f774),
C(a67645c72f54fe24),
C(c7a5562c69bd796b),
C(e14201a35b55e4a6),
C(b3a6d89f19d8f774),
C(bb4d607ac22bebe5),
C(792030ed eaa924e0),
C(138730 dcb60f7e32),
C(699 d9dcc326c72dc)},
{C(a5e30221500dcd53),
C(3 a1058d71c9fad93),
C(510520710 c6444e8),
C(a6a5e60c2c1d0108),
C(45 c8ea4e14bf8c6b),
C(213 a7235416b86df),
C(c186072f80d56ad3),
C(a6a5e60c2c1d0108),
C(45 c8ea4e14bf8c6b),
C(213 a7235416b86df),
C(c186072f80d56ad3),
C(2e7 be098db59d832),
C(d5fa382f3717a0ee),
C(b168b26921d243d),
C(61601 a60c2addfbb)},
{C(ebaed82e48e18ce4),
C(cfe6836b65ebe7c7),
C(504 d9d388684d449),
C(bd9c744ee9e3308e),
C(faefbb8d296b65d4),
C(eba051fe2404c25f),
C(250 c8510b8931f87),
C(bd9c744ee9e3308e),
C(faefbb8d296b65d4),
C(eba051fe2404c25f),
C(250 c8510b8931f87),
C(3 c4a49150dc5676f),
C(6 c28793c565345c4),
C(9df 6dd 8829 a6d8fb),
C(760 d3a023fab72e7)},
{C(ffa50913362b118d),
C(626 d52251a8ec3e0),
C(76 ce4b9dde2e8c5e),
C(fc57418d92e52355),
C(6 b46c559e67a063),
C(3f 5 c269e10690c5c),
C(6870 de8d49e65349),
C(fc57418d92e52355),
C(6 b46c559e67a063),
C(3f 5 c269e10690c5c),
C(6870 de8d49e65349),
C(88737e5 c672de296),
C(ca71fca5f4c4f1ce),
C(42f ca3fa7f60e031),
C(4 a70246d0d4c2bd8)},
{C(256186 bcda057f54),
C(fb059b012049fd8e),
C(304e07418 b5f739b),
C(3e166f 9f ac2eec0b),
C(82 bc11707ec4a7a4),
C(e29acd3851ce36b6),
C(9765 ca9323d30046),
C(3e166f 9f ac2eec0b),
C(82 bc11707ec4a7a4),
C(e29acd3851ce36b6),
C(9765 ca9323d30046),
C(dab63e7790017f7c),
C(b9559988bff0f170),
C(48 d9ef8aea13eee8),
C(e31e47857c511ec2)},
{C(382 b15315e84f28b),
C(f9a2578b79590b72),
C(708936 af6d4450e8),
C(76 a9d4843df75c1c),
C(2 c33447da3f2c70a),
C(5e4 dcf2eaeace0d6),
C(2 ae1727aa7220634),
C(76 a9d4843df75c1c),
C(2 c33447da3f2c70a),
C(5e4 dcf2eaeace0d6),
C(2 ae1727aa7220634),
C(a122f6b52e1130ba),
C(a17ae9a21f345e91),
C(ff67313f1d0906a9),
C(bb16dc0acd6ebecc)},
{C(9983 a9cc5576d967),
C(29e37689 a173109f),
C(c526073a91f2808c),
C(fe9a9d4a799cf817),
C(7 ca841999012c0d1),
C(8 b3abfa4bd2aa28e),
C(4ed49274526602 eb),
C(fe9a9d4a799cf817),
C(7 ca841999012c0d1),
C(8 b3abfa4bd2aa28e),
C(4ed49274526602 eb),
C(40995df 99063f e23),
C(7f 51 b7ceded05144),
C(743 c89732b265bf2),
C(10 c8e1fd835713fd)},
{C(c2c58a843f733bdb),
C(516 c47c97b4ba886),
C(abc3cae0339517db),
C(be29af0dad5c9d27),
C(70f 802599 d97fe08),
C(23 af3f67d941e52b),
C(a031edd8b3a008fb),
C(be29af0dad5c9d27),
C(70f 802599 d97fe08),
C(23 af3f67d941e52b),
C(a031edd8b3a008fb),
C(43431336 b198f8fd),
C(7 c4b60284e1c2245),
C(51ee580dd abae1b3),
C(ca99bd13845d8f7f)},
{C(648f f27fabf93521),
C(d7fba33cbc153035),
C(3 dbcdcf87ad06c9e),
C(52dd bdc9dfd26990),
C(d46784cd2aeabb28),
C(bd3a15e5e4eb7177),
C(b5d7632e19a2cd),
C(52dd bdc9dfd26990),
C(d46784cd2aeabb28),
C(bd3a15e5e4eb7177),
C(b5d7632e19a2cd),
C(8007450f a355dc04),
C(41 ca59f64588bb5c),
C(66f 2 ca6b7487499d),
C(8098716530 db9bea)},
{C(99 be55475dcb3461),
C(d94ffa462f6ba8dc),
C(dbab2b456bdf13bb),
C(f28f496e15914b2d),
C(1171 ce20f49cc87d),
C(1 b5f514bc1b377a9),
C(8 a02cb12ec4d6397),
C(f28f496e15914b2d),
C(1171 ce20f49cc87d),
C(1 b5f514bc1b377a9),
C(8 a02cb12ec4d6397),
C(1 c6540740c128d79),
C(d085b67114969f41),
C(af8c1988085306f3),
C(4681f 415 d9ce8038)},
{C(e16fbb9303dd6d92),
C(4 d92b99dd164db74),
C(3f 98f 2 c9da4f5ce3),
C(c65b38c5a47eeed0),
C(5 c5301c8ee3923a6),
C(51 bf9f9eddec630e),
C(b1cbf1a68be455c2),
C(c65b38c5a47eeed0),
C(5 c5301c8ee3923a6),
C(51 bf9f9eddec630e),
C(b1cbf1a68be455c2),
C(c356f5f98499bdb8),
C(d897df1ad63fc1d4),
C(9 bf2a3a69982e93a),
C(a2380d43e271bcc8)},
{C(4 a57a4899834e4c0),
C(836 c4df2aac32257),
C(cdb66b29e3e12147),
C(c734232cbda1eb4c),
C(30 a3cffff6b9dda0),
C(d199313e17cca1ed),
C(594 d99e4c1360d82),
C(c734232cbda1eb4c),
C(30 a3cffff6b9dda0),
C(d199313e17cca1ed),
C(594 d99e4c1360d82),
C(ccc37662829a65b7),
C(cae30ff4d2343ce9),
C(54 da907f7aade4fa),
C(5 d6e4a0272958922)},
{C(f658958cdf49f149),
C(de8e4a622b7a16b),
C(a227ebf448c80415),
C(3 de9e38b3a369785),
C(84 d160d688c573a9),
C(8f 562593 add0ad54),
C(4446 b762cc34e6bf),
C(3 de9e38b3a369785),
C(84 d160d688c573a9),
C(8f 562593 add0ad54),
C(4446 b762cc34e6bf),
C(2f 795f 1594 c7d598),
C(29e05 bd1e0dceaff),
C(a9a88f2962b49589),
C(4 b9c86c141ac120b)},
{C(ae1befc65d3ea04d),
C(cfd9bc0388c8fd00),
C(522f 2e1f 6 cdb31af),
C(585447eb e078801a),
C(14 a31676ec4a2cbd),
C(b274e7e6af86a5e1),
C(2 d487019570bedce),
C(585447eb e078801a),
C(14 a31676ec4a2cbd),
C(b274e7e6af86a5e1),
C(2 d487019570bedce),
C(ea1dc9ef3c7b2fcc),
C(bde99d4af2f4ee8c),
C(64e4 c43cd7c43442),
C(9 b5262ee2eed2f99)},
{C(2f c8f9fc5946296d),
C(6 a2b94c6765ebfa2),
C(f4108b8c79662fd8),
C(3 a48de4a1e994623),
C(6318e6 e1ff7bc092),
C(84 aee2ea26a048fb),
C(cf3c393fdad7b184),
C(3 a48de4a1e994623),
C(6318e6 e1ff7bc092),
C(84 aee2ea26a048fb),
C(cf3c393fdad7b184),
C(28 b265bd8985a71e),
C(bd3d97dbd76d89a5),
C(b04ba1623c0937d),
C(b6de821229693515)},
{C(efdb4dc26e84dce4),
C(9 ce45b6172dffee8),
C(c15ad8c8bcaced19),
C(f10cc2bcf0475411),
C(1126f 457 c160d8f5),
C(34 c67f6ea249d5cc),
C(3 ab7633f4557083),
C(f10cc2bcf0475411),
C(1126f 457 c160d8f5),
C(34 c67f6ea249d5cc),
C(3 ab7633f4557083),
C(3 b2e4d8611a03bd7),
C(3103 d6e63d71c3c9),
C(43 a56a0b93bb9d53),
C(50 aa3ae25803c403)},
{C(e84a123b3e1b0c91),
C(735 cc1d493c5e524),
C(287030 af8f4ac951),
C(fb46abaf4713dda0),
C(e8835b9a08cf8cb2),
C(3 b85a40e6bee4cce),
C(eea02a3930757200),
C(fb46abaf4713dda0),
C(e8835b9a08cf8cb2),
C(3 b85a40e6bee4cce),
C(eea02a3930757200),
C(fe7057d5fb18ee87),
C(723 d258b36eada2a),
C(67641393692 a716c),
C(c8539a48dae2e539)},
{C(686 c22d2863c48a6),
C(1ee6804 e3ddde627),
C(8 d66184dd34ddac8),
C(35 ac1bc76c11976),
C(fed58f898503280d),
C(ab6fcb01c630071e),
C(edabf3ec7663c3c9),
C(35 ac1bc76c11976),
C(fed58f898503280d),
C(ab6fcb01c630071e),
C(edabf3ec7663c3c9),
C(591ec5025592 b76e),
C(918 a77179b072163),
C(25421 d9db4c81e1a),
C(96f 1 b3be51f0b548)},
{C(2 c5c1c9fa0ecfde0),
C(266 a71b430afaec3),
C(53 ab2d731bd8184a),
C(5722f 16 b15e7f206),
C(35 bb5922c0946610),
C(b8d72c08f927f2aa),
C(65f 2 c378cb9e8c51),
C(5722f 16 b15e7f206),
C(35 bb5922c0946610),
C(b8d72c08f927f2aa),
C(65f 2 c378cb9e8c51),
C(cd42fec772c2d221),
C(10 ccd5d7bacffdd9),
C(a75ecb52192f60e2),
C(a648f5fe45e5c164)},
{C(7 a0ac8dd441c9a9d),
C(4 a4315964b7377f0),
C(24092991 c8f27459),
C(9 c6868d561691eb6),
C(78 b7016996f98828),
C(651e072f 06 c9e7b7),
C(fed953d1251ae90),
C(9 c6868d561691eb6),
C(78 b7016996f98828),
C(651e072f 06 c9e7b7),
C(fed953d1251ae90),
C(7 a4d19fdd89e368c),
C(d8224d83b6b9a753),
C(3 a93520a455ee9c9),
C(159942 bea42b999c)},
{C(c6f9a31dfc91537c),
C(b3a250ae029272f8),
C(d065fc76d79ec222),
C(d2baa99749c71d52),
C(5f 90 a2cfc2a3f637),
C(79e4 aca7c8bb0998),
C(981633149 c85c0ba),
C(d2baa99749c71d52),
C(5f 90 a2cfc2a3f637),
C(79e4 aca7c8bb0998),
C(981633149 c85c0ba),
C(5 ded415df904b2ee),
C(d37d1fc032ebca94),
C(ed5b024594967bf7),
C(ed7ae636d467e961)},
{C(2 d12010eaf7d8d3d),
C(eaec74ccd9b76590),
C(541338571 d45608b),
C(e97454e4191065f3),
C(afb357655f2a5d1c),
C(521 ac1614653c130),
C(c8a8cac96aa7f32c),
C(e97454e4191065f3),
C(afb357655f2a5d1c),
C(521 ac1614653c130),
C(c8a8cac96aa7f32c),
C(196 d7f3f386dfd29),
C(1 dcd2da5227325cc),
C(10e3 b9fa712d3405),
C(fdf7864ede0856c0)},
{C(f46de22b2d79a5bd),
C(e3e198ba766c0a29),
C(828 d8c137216b797),
C(bafdb732c8a29420),
C(2ed0 b9f4548a9ac3),
C(f1ed2d5417d8d1f7),
C(451462f 90354 d097),
C(bafdb732c8a29420),
C(2ed0 b9f4548a9ac3),
C(f1ed2d5417d8d1f7),
C(451462f 90354 d097),
C(bdd091094408851a),
C(c4c1731c1ea46c2c),
C(615 a2348d60409a8),
C(fbc2f058d5539bcc)},
{C(2 ce2f3e89fa141fe),
C(ac588fe6ab2b719),
C(59 b848c80739487d),
C(423722957 b566d10),
C(ae4be02664998dc6),
C(64017 aacfa69ef80),
C(28076dd dbf65a40a),
C(423722957 b566d10),
C(ae4be02664998dc6),
C(64017 aacfa69ef80),
C(28076dd dbf65a40a),
C(873 bc41acb810f94),
C(ac0edafb574b7c0d),
C(937 d5d5fd95330bf),
C(4ea91171 e208bd7e)},
{C(8 aa75419d95555dd),
C(bdb046419d0bf1b0),
C(aadf49f217b153da),
C(c3cbbe7eb0f5e126),
C(fd1809c329311bf6),
C(9 c26cc255714d79d),
C(67093 aeb89f5d8c8),
C(c3cbbe7eb0f5e126),
C(fd1809c329311bf6),
C(9 c26cc255714d79d),
C(67093 aeb89f5d8c8),
C(265954 c61009eaf7),
C(a5703e8073eaf83f),
C(855382 b1aed9c128),
C(a6652d5a53d4a008)},
{C(1f bf19dd9207e6aa),
C(722834f 3 c5e43cb7),
C(e3c13578c5a69744),
C(db9120bc83472135),
C(f3d9f715e669cfd5),
C(63f acc852f487dda),
C(9f 08f d85a3a78111),
C(db9120bc83472135),
C(f3d9f715e669cfd5),
C(63f acc852f487dda),
C(9f 08f d85a3a78111),
C(6 c1e5c694b51b7ca),
C(bbceb2e47d44f6a1),
C(2eb472 efe06f8330),
C(1844408e2 bb87ee)},
{C(6f 11f 9 c1131f1182),
C(6f 90740 debc7bad2),
C(8 d6e4e2d46ee614b),
C(403e3793f 0805 ac3),
C(6278 da3d8667a055),
C(98ec eadb4f237978),
C(4 daa96284c847b0),
C(403e3793f 0805 ac3),
C(6278 da3d8667a055),
C(98ec eadb4f237978),
C(4 daa96284c847b0),
C(ab119ac9f803d770),
C(ab893fe847208376),
C(f9d9968ae4472ac3),
C(b149ff3b35874201)},
{C(92e896 d8bfdebdb5),
C(2 d5c691a0acaeba7),
C(377 d7f86b7cb2f8b),
C(b8a0738135dde772),
C(57f b6c9033fc5f35),
C(20e628f 266e63 e1),
C(1 ad6647eaaa153a3),
C(b8a0738135dde772),
C(57f b6c9033fc5f35),
C(20e628f 266e63 e1),
C(1 ad6647eaaa153a3),
C(10005 c85a89e601a),
C(cc9088ed03a78e4a),
C(c8d3049b8c0d26a1),
C(26e8 c0e936cf8cce)},
{C(369 ba54df3c534d1),
C(972 c7d2be5f62834),
C(112 c8d0cfcc8b1e),
C(bcddd22a14192678),
C(446 cf170a4f05e72),
C(c9e992c7a79ce219),
C(fa4762e60a93cf84),
C(bcddd22a14192678),
C(446 cf170a4f05e72),
C(c9e992c7a79ce219),
C(fa4762e60a93cf84),
C(b2e11a375a352f),
C(a70467d0fd624cf1),
C(776 b638246febf88),
C(e7d1033f7faa39b5)},
{C(bcc4229e083e940e),
C(7 a42ebe9e8f526b5),
C(bb8d1f389b0769ee),
C(ae6790e9fe24c57a),
C(659 a16feab53eb5),
C(6f d4cfade750bf16),
C(31 b1acd328815c81),
C(ae6790e9fe24c57a),
C(659 a16feab53eb5),
C(6f d4cfade750bf16),
C(31 b1acd328815c81),
C(8 a711090a6ccfd44),
C(363240 c31681b80e),
C(ad791f19de0b07e9),
C(d512217d21c7c370)},
{C(17 c648f416fb15ca),
C(fe4d070d14d71a1d),
C(ff22eac66f7eb0d3),
C(fa4c10f92facc6c7),
C(94 cad9e4daecfd58),
C(6f fcf829a275d7ef),
C(2 a35d2436894d549),
C(fa4c10f92facc6c7),
C(94 cad9e4daecfd58),
C(6f fcf829a275d7ef),
C(2 a35d2436894d549),
C(c9ea25549513f5a),
C(93f 7 cf06df2d0206),
C(ef0da319d38fe57c),
C(f715dc84df4f4a75)},
{C(8 b752dfa2f9fa592),
C(ca95e87b662fe94d),
C(34 da3aadfa49936d),
C(bf1696df6e61f235),
C(9724f ac2c03e3859),
C(d9fd1463b07a8b61),
C(f8e397251053d8ca),
C(bf1696df6e61f235),
C(9724f ac2c03e3859),
C(d9fd1463b07a8b61),
C(f8e397251053d8ca),
C(c6d26d868c9e858e),
C(2f 4 a1cb842ed6105),
C(6 cc48927bd59d1c9),
C(469e836 d0b7901e1)},
{C(3ed da5262a7869bf),
C(a15eab8c522050c9),
C(ba0853c48707207b),
C(4 d751c1a836dcda3),
C(9747 a6e96