tables.h

#define offset (-100)

/* Precomputed reduction function constants, starting at -offset */

uint64_t rft[] = {
0x36969c53beead7bf,
0x079997cad253b413,
0x5b200855b3eadc26,
0xc799f20f78a3bb8c,
0x0f2055962393d57c,
0x86598f496bee87c5,
0x62241e0f9a25035c,
0x76af2cd6a22e8d53,
0x5bb85215b2a10d7a,
0x87570b8379704540,
0xf39ce075628e94e3,
0xf4e73db9d64f1abf,
0xb0b9c8f6653a7ae3,
0x9a0676e302ac509f,
0x421a1bdf2c7ac835,
0xe08a0b0952f0a655,
0xed2910a3bb06142f,
0x7735d413d5aa4200,
0x2ac52626876f709f,
0xb7acbc6c83bc2e35,
0x7e0a41ee65d181f5,
0x06d172c5822196d1,
0x4af10d2c54a889f1,
0x8d874532cedcab57,
0x6dd384a1237b5edc,
0xffa2f1d07b61d07b,
0xdf8207e0b1f4e0b1,
0x09b49b6d0bd0bd0b,
0xf33cf3ff00000000,
0xf40924bf6fffffff,
0xf033ffc33cffffff,
0xf6d0bfd9092fffff,
0xf3f003ccc3f0ffff,
0xf4b6fd9009b66fff,
0xf0cfccccf33f0cff,
0xf642d000240b642f,
0x633030ffcf30f300,
0x3702d26fd242642f,
0xd6ec33ccc3f0c300,
0xc5d6909009b6492f,
0x4c259c3cf33f3ff0,
0x388e4799240b4bf6,
0x0fafb720ff30cc33,
0xf6889ed96f424090,
0x238ab47c9c00f33c,
0xfbf9ec7577bf6409,
0xb93a46f9ca133333,
0x06ec76ca75060000,
0x6ad6fbe5598a5fff,
0x3bb5c92af41961ff,
0x4d5d37f7802894df,
0xa972267237c4ba99,
0x1d8dac1db65dc4d0,
0xeeddeaaeff22bd90,
0x357a83f94f5a60cc,
0xd5c0c5baaa164540,
0x873b4c74ff0134e3,
0xb3cdc8f8af6e64bf,
0xd891b6eb983d83c3,
0x6dbdbfd26158d599,
0xaff0f3c3c435d740,
0xc8f664999d152483,
0x36e303f00613bfe5,
0x37df2db6fa46d3ea,
0x064953ffc876f2a3,
0x2a3fbabfd63bc573,
0x873b94e3c57d1ccc,
0x23cd6abf9cc41f00,
0x5b915be3a70d2d6f,
0xc76d372fc5e5335c,
0x9fbf26d0dc0aa053,
0xd5935cf05bb1f18a,
0x674e5326875bd799,
0xa18baa1c83970420,
0x20984f0f65e8e909,
0x19311a663200f1c3,
0xd8e35a40719f67f9,
0xbdff5673bf85317a,
0x009f1d1cd3b0a300,
0x6f357e1f12da132f,
0xac45c6cd773e0610,
0xdad43ee14acada44,
0x2eb61a5c2da5be75,
0xf12f4a6383e67299,
0x67700d47f5a81d50,
0x21aef567716c6e78,
0x18a941d1af1eed93,
0xc99da2e1a87c57ce,
0x9706e21cac35cc53,
0xd8eade8f5a9530ca,
0x2df3b80e16dba245,
0x0394d777c1ff42f4,
0xfdea94aa5adf0000,
0xfc83dadf66b96fff,
0xfd658eb930a69cff,
0xfc525f26e214972f,
0x6dcbe15cde82f8d0,
0xafb42c3318040bd0,
0x189c029039793000,
0x79b7bc5cde82e2ff,
0x223e11c318041e0f,
0x6abac5f939792cd6,
0xdbe4ac1aee82f215,
0x8f2bdaaa95040583,
0x5e560effdb893855,
0x10ad574fcf7bef0f,
0x441b7c8ad2212466,
0x952be569b3a87f60,
0x4bb62ad938cc3735,
0xec5f67bcefc096c5,
0x36c1311134db39ec,
0x77ea6355649f8e46,
0x1a63475fd3f5bfb6,
0x7a474791c2b1739f,
0xc077872df86b0ce5,
0xabba33d39b2aa43a,
0x5e543082e397f71c,
0x10ae12241fe872ff,
0x7419c7af2de03d0f,
0x18287f08538dd806,
0x094437620afdad7a,
0xf3a516b6918ceb40,
0xb4c691af9d9c32c3,
0x3c8e9da8a6c79129,
0xa96f16ec94ef2d75,
0x2d9c71d67ab45349,
0x53c7ffe510ec4a4f,
0x6a9f7fea9476dd7a,
0xabd527e3da7bfa40,
0xce07bd6f8e513873,
0x03db105cbfa96f3c,
0xcd8fb483438d9c49,
0xd1de9ce541fdc7df,
0x61e8173ae2dcbf49,
0x34c060cc9e3b430f,
0x748ba54074fdc126,
0xf8e846e3b8acba7c,
0x1bf016dfd79a4455,
0x7b36e1f9c422754f,
0x5187dcda7d0ad9ea,
0x59934b1e5401bc43,
0x340e4cbcae3eb1d1,
0x6437b84159fa2be1,
0xe31617123458262c,
0x1f3140f7b4454c62,
0x4d4323621c54e8e6,
0x19611b768fceb0f8,
0xb8945beb8ed32a6b,
0xe7ba47227f72174a,
0x891477dad72d808d,
0xdbd27a4eb4d3d72d,
0x8f03d07b2c9284d3,
0x4e6d80b1927f4192,
0x0b8fd70b8fd7028f,
0xd07ec4e07ec4ec4e,
0x00b66dbdb66db6db,
0x6f0f0ff0ff0fffff,
0x3c6666f66f66ffff,
0x49e000c30c30cfff,
0x0f4dff49249242ff,
0x66099f0ffffff00f,
0x00530566fffff6f6,
0x2f8a28d0cffff3c3,
0xf0b924d042fff499,
0x6606ff90900ff0f0,
0x005acfac3cf6f666,
0xff86a28a9923c300,
0xffb2b249d0fb992f,
0x6f9969ff606960f0,
0x0ca0995f35a99566,
0xf45130b1456d0bd0,
0x6049620b24df0000,
0x359f96909f996fff,
0x4545a99c35a09cff,
0x04e46d079561372f,
0xf9bb6f0b2bd466d0,
0x6a35fc60960660f0,
0x0b351de5395a0566,
0xf0859e8aaeb618d0,
0x66204409f92f49d0,
0xa06995335af00f60,
0x61a90ba05686f635,
0xd4adc0418d82c375,
0x66dbbb929dd42969,
0x90ff556f56a60599,
0x3c6f1fdc1db45840,
0x09ec7dcbaefc4513,
0x5346f4b4494dd496,
0xba46c0cc5fa9a6f9,
0xe476eb40c18d24ca,
0x0b7bd2c34a9d3f85,
0xf0e103294dd62bb0,
0x867c4d15a9a5665a,
0x8215d9136d26d026,
0x64832cd67f3cf0cc,
0xa3e5121517492640,
0xc3aa9783908ffc33,
0x49cfd835ec2efd90,
0xdf72cd5506814ccc,
0x592d217f8a862800,
0x14f33807b9c2647f,
0xf2a40f7b1678c377,
0x85773621b113c96a,
0x70cac768bb56979b,
0x6e45afb885dd9823,
0xfdb46897a02ac14b,
0x2cfc68b801c7aa2c,
0xa22de8877eff0f22,
0xf2a380a3a64f665a,
0xc573f713c43a3026,
0x0cccb2f69d1c32cc,
0xf4004903961f9120,
0x503f9fcde94dad79,
0xe8dba5d181a9eb42,
0x70df462196ad42c0,
0xee59066889bb602b,
0xd5a4ca08ab35f5c6,
0x776785129e85113e,
0x5ab130975400956a,
0xd6eb62389e3f3bdb,
0xc5d2f6bfb4fb4d0f,
0xec2303a39ca9c906,
0x968b2dc3e75d77ca,
0x498893b9a9924a55,
0x0f1abed62d0ffd6f,
0xb67ae2756306fc5c,
0xdf109ed9d72acdc3,
0x6974347c64d7a1b9,
0x09881475e39400b6,
0x631a62790fea3f0f,
0x073a46d2c6e33b66,
0xfbcc76f32edf0df0,
0xc910fbc411796596,
0x77d4691d25029249,
0x2a4669de3e8c5fff,
0x57760968fa0cc1ff,
0x1cab5398e8140adf,
0xdf5edae1f06231b9,
0xf9107e9cd6a6b3b6,
0xfad4b61715b4a8df,
0x58b6cf40f37cdcd9,
0xc58fe20364651b1c,
0xdc5eee9d73629bbf,
0x8bc055164c765353,
0xc81b8f9138fb2a5a,
0xe66b7ead6fe99766,
0x780ae63b5ce108b0,
0x5371987dd33c428a,
0xba6f8134a209d049,
0x944cb664d293609f,
0x4a584f03935e7535,
0xed651a6dee5099a5,
0xd7529a4f85a83026,
0x149b527ab06c52cc,
0xe2f3dbd0eaaecb20,
0x4e048f0073f96499,
0x9bd9ee6fbcba93f0,
0x930c458c9144deb6,
0xae24d45c7d25982f,
0x19ef9643f43e4140,
0x3844a931b01ab223,
0x8f15dde3baeae9ab,
0x0e732a8fd493912e,
0x479c17cec6feed71,
0x0727a0536ece574f,
0x1bdd018a7d63ac8a,
0xdb0a0e995457ca69,
0x6fa11710be4c5549,
0x3c8050f402b8cfef,
0x196788603c67c2e4,
0xb8913a25d9e1581b,
0x57bd6c2e2c4c356b,
0x6c105e81e2d895da,
0x8ea48006ce3dbb2e,
0x9f37e7fae3f8f591,
0xc54669789fbbe14d,
0x7ce60983b5952c29,
0xc5385315dd4bb285,
0x4caf0a332a6c5940,
0x48586130174ec4a3,
0x4e052462e08b6dd3,
0xfbd8bf661d28ffa2,
0x090d83304e34ef82,
0x33c5d5029bf4b4b4,
0x909c278c5330cccc,
0x3c378d3cca024000,
0x49963d29051cf3ff,
0x0f097835c89f24bf,
0x2663835536b55fc3,
0xfc07f55fa7adf1d9,
0x2dbb71f1850b97ec,
0x63f5efd790806866,
0xa7b104c42c27a820,
0x251b498d028d0c49,
0x5e9bcf1d0c4d04df,
0xb013127e04d90999,
0x0ae637d6d99cc300,
0x61987645fc07092f,
0xa4813b341dbbe3f0,
0xb7e66d842ef52fb6,
0x9e680fd10141b09f,
0x448876c14e22ba35,
0xe5ea3bea2bea6435,
0x0a033d2326234315,
0x211d083b1c6b4133,
0xc85e025dbfeac260,
0x3600dce2f3e3a8c5,
0x975f5b3e04afcccc,
0x3891178ad9d8d000,
0x4fbd5039bc6dd0ff,
0x0a9078de31efa06f,
0xb1dcb3d8f3c481ac,
0xebeb488de49de6aa,
0xe222cead8bf688bf,
0xaeaa233bd8338a83,
0x693f2b0d0d50f9c5,
0xe9eb56a505786a7c,
0x0142ddb688c32b55,
0x6e203aff8ac916df,
0x9de9dc8fb9a7d1f9,
0xd6816b6e962541da,
0x75861afd196ee2ee,
0xc9524a8c189d5e15,
0x97bbfdcca9b670c3,
0x08153cb05d3f1e49,
0x6263a94a822b7cbf,
0x76c7cdadc4a6e543,
0x0bef51ebbdd4dae1,
0xb02419c250a69e9c,
0x1acf2878e8149417,
0xeaa25433f062fa20,
0x43f2ee10b6a60829,
0xe1b515c40fb45245,
0xbcbd933d369c4bf4,
0x0140ce082797dc30,
0x9e2343d24d284b92,
0xa4eb4183f9341c6f,
0x57b2c295bae42fec,
0x2c19285b749b00e6,
0x42a8f407e8f3af78,
0x407ce03b60e4c823,
0xc3b53dddf57b864b,
0x09dda8aa91c1723c,
0xc36aec9fddfa0db9,
0xe97b9675ca9815f6,
0xa181691935d16313,
0xb09619d8e5211736,
0x1a39486dfab850c7,
0x7a3eae2f98e7084f,
0x503a39e0a1f9e21a,
0x68dc3e4d10da4e8a,
0x98db9ab9145e7b09,
0xe1df62e6d24091a3,
0xace93618f3f33da3,
0xca31e749e4b408e3,
0xd533c98f4bcc32ff,
0xc7a0971e0c10910f,
0xef0138fcd4a43d46,
0xd46e6fed16d71866,
0x566d8ce711f4f920,
0xbd0fdc39f5d0aaf9,
0xe006cb9e51201f8a,
0x4dfae464a979edb9,
0x39989b63dd8247f6,
0x0e01b3f78ad4f773,
0xb7deb8b239b6a2ac,
0xee482789be3fb27a,
0x75be4d3b32fb99d0,
0xb972b92d81096060,
0x768d66f3d64395a5,
0x1b8d50c48531eb66,
0xeb7d784de0a3c2f0,
0xd2e443198d139806,
0xb31b51381d16e17a,
0x083bd96f6e11dc00,
0x625d0c9c3dc5ebbf,
0x76e2047798bc0253,
0x5bde997a2181bcea,
0x570810802896b133,
0x8ce26427c4b9ab60,
0x5c3ec30d5dc62ef5,
0x339a692572be6141,
0xb0e249fecd628422,
0xea7eff5e6156410a,
0xc3564f10843d3241,
0x295d3a74211821f2,
0xb5b22c58085948d5,
0x1d79a2c57204aed7,
0x2e42222ccd99d974,
0x41b0aaa201c06c88,
0x72ba1ff29efbae6a,
0xed640df55449498b,
0xf7533591fe5faf18,
0x529a054ddea18879,
0xeb5218e9a8309a32,
0xc2db89f12c523231,
0x983f7b5772cbb1b3,
0xb15b21dcad245bb8,
0x1b3798eb5b3f4757,
0xab8621f2d78b079c,
0x0e7268d53438ab27,
0x079dc8d7a41f9e9d,
0x5b26b6d4072da416,
0x379caff63bd3e721,
0x562758f37d02a9d8,
0x7d6d95e4640c7d6d,
0x245fcb0b6334f45f,
0x7f41d4a0f704a041,
0xd702e6d162e9d192,
0xc4ec18f11611618f,
0x6db6a9e75145149e,
0x6fffbd49992492f4,
0xacff906f00ffff00,
0x8a2facac6f6fff6f,
0x69208a5aec3cff3c,
0x99f9296696992f49,
0xa05af5909990f00f,
0xb186814c300c66f6,
0xdb92862892f4e0c3,
0x6f6f4264bf00bd49,
0x3c3c00c3c36f006f,
0x9999bf49997c6fac,
0xd000330f0085ec8a,
0x60ffd0266f200669,
0x956fc0cc0c59fa09,
0xebdcdb40b4c45813,
0xd20b1fc30c8d4566,
0x5390bdd9246d64d0,
0x8aec00acff6f5390,
0x6996bf1a2f3c1aec,
0x0909a37a2049aa96,
0xc3c32360299f2fd9,
0x09991b75c50550cc,
0xf300dbe93c88f840,
0xb42f5f21e96aeb13,
0xac001158c19b92b6,
0x8abfe535ca836f6f,
0x69e3eaa535c57c3c,
0x994fa3f6a53cc599,
0x30aa83b3b6a90c40,
0x021fc5d8dfbdc4d3,
0x9c8ddc2dd990bd92,
0xa76dab83ac0c00cf,
0x75bfee75cab4bf42,
0xb973e59935ecc300,
0x968caa40e506092f,
0x398c5f737a8a53f0,
0x7e1cc12c60c96ab6,
0x26cf0a72e5479bef,
0x0ce2615d1ae72324,
0x643ec4321a99db1f,
0x531a6d118ad06fbd,
0x8a3a4f1599b0ac90,
0x693c7a73403a1a7c,
0xd9e9f05c43dc0a55,
0xcc415683d18bb16f,
0x00d23d8581985b1c,
0x6f53b8d0568107bf,
0x7c1ad7d08d864b13,
0x15aab4402dd23cb6,
0x736fec53c3a3b94f,
0x5c7ce6ca99c3d6aa,
0x13f538e5d07985bf,
0x36b1affa20b21073,
0x97aba8f8290984bc,
0x880e4ceb45c311c1,
0xca77b832c43935fa,
0xc55a17512d1ee518,
0x7cf60099731c5a99,
0xb5235f308c3fc6d0,
0x0dbb51422c9bdef0,
0x55f5d920a2730846,
0x2f112cf912dc2216,
0x7075722ad73b8a81,
0x1eb9cda7b4cd79c6,
0xcc2671e51c81427e,
0xe08c1fca9f6620d6,
0x0d2cadd5d5306955,
0x65325ba727a2a9bf,
0x72a1e745dd027d33,
0xbd70c9842a0cd420,
0x304e471107141609,
0x029bb7f54bf22153,
0x1c535e71ec35a83a,
0xafca509fc6956c5c,
0xc8d56835de9bdec3,
0x76d7d85528130869,
0x8bf44d0fb4662229,
0x583059069c606aa5,
0x255284ca97e5abf6,
0x1efb4185d86a6e33,
0xec49c2902d2b4df0,
0xd6df785cc336c996,
0x65f923030907e709,
0x721afb2d23cb69e3,
0x2d8a89933b94f94f,
0x23d9cb0e0d6aaaaa,
0x5b8c74a7d55bffff,
0x177cf8d547f73fff,
0x70a52bd7e772cbff,
0x2e16b60469ad243f,
0x91c1af59692b3f1b,
0x6dfaa81499f68b7b,
0x1f98fc62f05388e1,
0xada1ede6068afafc,
0xebe0c7885a89888d,
0x822d4f3a06cb1aad,
0x74a36a4c1ae4bafb,
0x88d37b78aa9bc489,
0x7ad261e39fd31deb,
0xd0b3c4cfe5c23e82,
0x90089d82ea38ba04,
0x0cf2b6d4133f8419,
0x74256ff6260bb128,
0x780edcf36c505b74,
0x33777b247ec887e8,
0xd06aa19f7666a360,
0x20abf0852b00b375,
0xf91e3620b6af0869,
0x5adcf7690fb86229,
0xf6bb22b9c69726a5,
0xc3a59a667e98dcb6,
0xd9c642401611db4f,
0xbc7e30f3e145efca,
0x71f6f264ac2404d5,
0xafd3c5c3da8f3997,
0x98c29c398ece4e08,
0x51c8579e1f63bbd2,
0x59f60c24cd37d503,
0x7453548f8126478d,
0x484a5eeeb67c373d,
0x1e1d60552f1596c8,
0x4cce558fb07349e6,
0x1803af5e9abc4f48,
0xc97dc81012e1da0e,
0x5784b664e71cee17,
0x8c31cf03b9ff35c0,
0x7c93f26dd65f453b,
0x457eb5cfa52104ad,
0xc4c62d3286b849db,
0xdd8e632142a71f6f,
0x1adf87182075fd3c,
0xdab9b3f949b91c29,
0x2ee638baaf36df85,
0xc1587f84f847f9b0,
0xaa3537b1ab177a3a,
0x5f35a61baeb0a03c,
0xb145644b492a11d9,
0x4b24d35ccff705ec,
0x3c9f925302f2e806,
0x3975afea2c05107a,
0xde8968e322b894b0,
0xb80b98ff1a67baca,
0x777061ef7a4114a5,
0x1aaea4c4207252d6,
0x9af9378d09bdeb35,
0x428ae63d03308285,
0x904998780d022440,
0xec9f0133750caf53,
0x96756e606984581a,
0xd919dd85a911456a,
0x0cd86ad06dd524db,
0x641d2bb0afa7bf9f,
0xd32e365a188513a5,
0xf211f72609a096c6,
0x4585d2dc532139ee,
0xe450233bca186e45,
0xbb48cb0d15092db4,
0x45cec4a51383f3fc,
0x64336dd696f5b4bd,
0xa3107fa599c17cc0,
0x4334b786407a050b,
0x9104ce3233b01880,
0x2d4983f1b0dae9a7,
0xb36f15b7ba5e9125,
0x287c737e14601d7e,
0x6435fc66c265ee46,
0x03151de0e8c205b6,
0x6d339e8d70c8987f,
0xbf20e40d4e46b137,
0xa3597b356bb6ab66,
0x13548185da5fbef0,
0x465ee6902e619246,
0x3620589cc1848ff6,
0x076985b70a91eef3,
0x3bb9107ee1ddc544,
0xad56d4b65ceabce5,
0xfb7df6cf2333e13a,
0x29e493e25b00ac6c,
0xe54bfeaee7af1aee,
0x0aec3e3959087a95,
0xa1969afeb4c230db,
0x8089928e2c88b25f,
0x972b0f4fe26a89e1,
0x78d6a60aeecbcb4c,
0x33d5b451956414c8,
0x70877c498bd32286,
0xde23a5df18021a42,
0x58ebc629797c8a70,
0xa5f21e658285695e,
0x16158c825440d9b0,
0x01435c64ee535c3a,
0xbe2153e3b5aa539c,
0x12e83aafdd6f6ae7,
0xd7105cf8ca5c3b99,
0x54f4832bc5639d60,
0xfea0e5161cd7e655,
0xfe317a914f14682f,
0x6ef300dd2a726840,
0x7d442f5a375dc813,
0x146500163692b666,
0xe2628fe1779f6f00,
0xeec64eec0a253c6f,
0x356e3b56b12ea9ec,
0x75ddfdddab713d46,
0x192a9caaeeef6866,
0xe8f7d75f95543820,
0x40e24491abfe1f49,
0x037ef5fdae3ecd0f,
0x5d66411ce9fa6106,
0x6250325f3158444a,
0x56e8d1e14335155d,
0xedd0d1cc210593f2,
0x07a051f088484eb5,
0x0b0189d62a1e1b2d,
0x20ae9b65670ccb93,
0xe91913f2d1e4046e,
0x81d8d6b531cb396d,
0xb6edd5ada3f48e9f,
0x7fd7a76be3b0ef15,
0x67c405ba2fda7473,
0xe15d387420ce587c,
0x0c322f380943a535,
0x8491a04f73a1c6a5,
0x81fda19a2cc0feb6,
0xb6dce082220b6e2f,
0x0ffb3d24aa90fde0,
0x06f9883fdfdc6c8d,
0x0aca1a5bc9cbee6d,
0x61a50a671774258f,
0x84a68141f0a80e5e,
0x21d48622d61c77a0,
0x78e6e26a354ffa01,
0x93f8decb35eaf81e,
0x7ebbd86485038b6c,
0x96250d23e08df8fe,
0x196e853bad2d9bee,
0x989d00ad4b33c325,
0x11b60f1b6c80991e,
0xa5bf567bfe6730dc,
0x46731d113e81c25b,
0x861c3e156a06f8e7,
0x124f9ac3db1acbf9,
0x07faa2a98fbaa43a,
0xbb78f27d1e94f71c,
0x95e3e5d41c1aa2ff,
0xab0faa262faaf20f,
0xbea68f2c608f8596,
0x32348e52e52eb049,
0x41b4efab1ab12a9f,
0xe2bcb48ebaeb77d5,
0x6e614cef2492ea47,
0xbd8428345fff1377,
0xe0d1045441ff766a,
0x2d51494e52df2b0b,
0xc3792fabab3956a0,
0xf962f08e4e8ebdb1,
0x3a96062fbb0f20fb,
0xecd95a6095a65969,
0x461cb6453b642499,
0x964f4f34adf30ff0,
0x993a0a44db9426f6,
0xe0ec11759f6a0cc3,
0x4d76a509453b1409,
0x494bb683a4adb233,
0x9fac5f85c7dbf9b0,
0xd58ac1b03f4f3a3a,
0x1759aabadb0a4c3c,
0xd0942fe4bfa17899,
0x503a00ebc38003b0,
0x68dc1f7219f7fdda,
0x88dbad2d88527cae,
0x1adf4b33da0bd559,
0x2ab90c808e1007f4,
0xc7e6c4672fc4fb70,
0x6f68ed61d0dda9ee,
0xdc38f754e05aed45,
0x9b9fe29ebd869764,
0xe365ee5420d298b3,
0xff7205ae09535188,
0x8f2d9869d3ba599a,
0x4e53c12962d46402,
0xdbaa9a759636633c,
0x6f4fd25949770709,
0x7c0ac3e4af8aebe3,
0x25b1a9abd8b9922f,
0xce7bad2e0d860fa0,
0xf3914b31d5d25681,
0xc4ed2c83e723ed86,
0x2db73265a9dba7d2,
0x13fec1c26d6f4543,
0x56be6af8cf5c04e1,
0xcda28b8bc213b9bc,
0xf1e248781886d631,
0xb7cefe3369a2f573,
0x4e534ef0792201cc,
0x9baa4b46b2fa9ef0,
0x934f7cc6a908d446,
0x9e4a250ebdc2d656,
0xc4bd2e8720b8352d,
0x9dc03103d90755b3,
0xb6bbd34d8ccb9f78,
0xdfa50249dc046523,
0x09868cff6bb962bb,
0x83128c2f3a569665,
0x45374c804c6d9902,
0xd4a6886798efc0cc,
0x56d48a2121f4db40,
0x5df6e92878d09fc3,
0xb293d1f433d035d9,
0x495e81d01080d52c,
0xffb006e0e42757b2,
0x5f9afadd7b0d9c19,
0x01a288ba41a5c7a8,
0xbea24a8472a63f0c,
0xc232fdc17d747b64,
0x98b10cba044871f3,
0xf18b4444195e3fd4,
0xc798c55528b0fbc6,
0x6f21ccffb48a691e,
0xec58f02f9ce949dc,
0x26c5e6c0a731af6b,
0x2cec08eb15c3a83a,
0x8236b2f2b339cc5c,
0xf4b7a905680e70c3,
0x50ce0dc8d8779e49,
0x1843d5b6dd3a24bf,
0x3911877ffa2c2fc3,
0xeed593a7f82280d9,
0x35774ec57b4a475c,
0x05ca8b6cc1cd7793,
0xd835c8fe0af14a2e,
0xed5536eed1872d21,
0xf77fa7d57193d338,
0xf2a78547cf8e820f,
0xc57530e752bf0496,
0x7cc9a2799b6369f9,
0x550722d203f7795a,
0x2f8bda339db2a2b6,
0x50b80e30e6f9726f,
0xc80777f278ca8dcc,
0x467baa75d3c5cdb0,
0x76114f59229c31fa,
0x3b452a14fa5793d8,
0x2dc4b702a86c2e8d,
0x33bdceec7c2e810d,
0xa0d0b356f5810645,
0xd150085dc1564a34,
0x9138f202ba3d3d34,
0xfd6fe59c64382824,
0xfc5cea47e31f444f,
0x8dc333776f3d055a,
0x8db9006abc4808f6,
0xfdf6cfabe1de72e3,
0xfc93e28e2ce89d1f,
0x9d7eae4fe230b61d,
0x164639baeeb20f4e,
0xb1367e349529960b,
0x0b6716f4fbb50950,
0x70f1f1c0a95d83b8,
0xae67d7fb1db2d5d7,
0xd9814479bef93724,
0xcc162572324ae6df,
0x70a16ecdb1fd98f9,
0x5e101d61fbdcc1ea,
0x50c4ee54d90b0ac3,
0xb84db5ae9cc0a1a9,
0xf719fd69170b10ad,
0x32f85c59d0e0b41b,
0x810b03c4607d0c2b,
0x8640ad9d65b40486,
0x42331bc6527c39e2,
0xb0b03b1e2bd59e4e,
0x5a0addbce60744bb,
0xf611baf1385b85c5,
0x2345b4876f07703c,
0xfb447ce3bc6baed9,
0x29c5753fd1ea497c,
0xb57cc9abc1c37f85,
0x0dc5072e1af967b0,
0x15bc8bd1ca8a911a,
0x03716801f5c9dd5a,
0x5d6f187ed1376a76,
0xd25c79367166bb5b,
0x43e3f2e71f10a5d7,
0x51afb519fd741624,
0x19a89d985c48216f,
0xa82cb6c103de481c,
0x8c424fea4d88be6f,
0x6cd0fae379da828c,
0xee10689f626ec44c,
0xf5c4a8b536cd6d58,
0x113ddc8da7e15f75,
0xd568ab6de56c3129,
0x27d89eff8ade9375,
0xfd4db44fb9b81e69,
0x5c69fc5a96376c89,
0xd3e95dc6d976be6b,
0xb2a1b2befc8ba28a,
0x3970b9624d684249,
0x4e8e0696f95810ff,
0x0b0fda99cab5646f,
0xb0a6ced075edd36c,
0x2a14e370b907a27e,
0x6702bf6e06cb02d6,
0xd1ec633ddae4ac35,
0x21c6e708ae9bda95,
0x98fed9e299130edb,
0xa1ee7c4e50d6277f,
0x00c595dba8556da7,
0x8f4c4b2f4c0fdfe5,
0xce08dc9008b6c9ea,
0x93d2db7cf28fe743,
0x8e833fe5254ee981,
0x8f050beabeeb5116,
0x9e688023e252d951,
0x0488a7cbaeeb3cb9,
0x59ea955449528946,
0x2443dbfe5fbb4ba6,
0x0f518f3ea195cc44,
0x86199e4a308b30d5,
0x324804bd32288257,
0x91fe79c021a4a4ec,
0x9dde927bc8a7d7b6,
0xa6a81fd11695441f,
0xe4bc6dc1519be52d,
0xabc1efba39832ab3,
0x9e1ac4943e1517e8,
0x34caadfa1ac39060,
0xa485fb980aa9eca5,
0xb7e0196171fd4656,
0xfe6de8940fdc662d,
0xbe8f80ba36cbe063,
0x120eb70437e42da7,
0x97972ee9166b03e5,
0xd828d151d10aadaa,
0xcd44d139e141fbef,
0x8165916e4c22d924,
0xb6124d1db88a3cff,
0x9f47f91ef7a9392f,
0x35077adc420deef0,
0x758ba0bbd0958546,
0x19584105003b50e6,
0x68b512488fddd878,
0x788d97feaecaad33,
0xb3adc87e3965fb20,
0x38cbb636fe921999,
0xdfc45f77ce1f8800,
0xc9dd412a53cdba7f,
0x576a62776a91f457,
0xccbb46dabbddd04c,
0xc045c6fee50aa098,
0xfb943ece5a81f131,
0xb96a1a63a6c6d763,
0x169b0a47c4eef4b7,
0xc193a1775db540ce,
0x9a8ec00a92fde343,
0x82cf6bf1df0c8f41,
0x44223a37e9646e02,
0xd50abc3661936ddc,
0x0781e197048e7fab,
0xdb36cc88e9ef978e,
0xcf87e06af144a83f,
0x12b36dab8725dc5b,
0xf7687fee73de2bc7,
0xf2b837e59c88e61f,
0x9567566a476af84d,
0x0bd19d0b77bb8b19,
0x70018600ea1578b8,
0xaefe925f7303c387,
0xc94e1fe12c2d99f3,
0x87abcdec7283c054,
0x030e1186fd459b8e,
0x6d27c592cc64437f,
0xbf3d5c4f20e35167,
0xb34873da597f5911,
0x784e3c8e648714d5,
0xa31bf96f83e3f297,
0x933b3a9cb5afb558,
0x4e0d8cd74d689df5,
0x2bd5dc148958b691,
0x36072ba2ebb58f9d,
0x775bd642125d5ea6,
0x7a97053087e27034,
0x70d8e8a2236eded4,
0x1e5df092ab7d7876,
0xbca2963f7ee4433b,
0xf152597b265b510d,
0x173be4819c27d945,
0x20cd2be6878d4ca4};