ref: f2e8e641bf8ee06fa5128c522b151a7f4d9d003b
parent: 716c18ec85b68659886408d1f81301bf4e5f43bd
author: S. Gilles <sgilles@math.umd.edu>
date: Tue Jul 31 11:57:17 EDT 2018
Correctly compute u, du for y/x in atan. Also, apparently the C tables gave negatives. That's probably a mistake.
--- a/lib/math/ancillary/generate-arctan-tuples-for-GB91.c
+++ b/lib/math/ancillary/generate-arctan-tuples-for-GB91.c
@@ -21,6 +21,9 @@
coefficients cij for pi such that ci0 and ci1, in perfect accuracy,
have a bunch of zeroes in the binary expansion after the 53rd
bit. This gives the stored cij a bit more accuracy for free.
+
+ Note that there's a sign flip somewhere: so the even-degree
+ elements need to be negated for use in atan-impl.myr.
*/
/* Something something -fno-strict-aliasing */
--- a/lib/math/atan-impl.myr
+++ b/lib/math/atan-impl.myr
@@ -59,261 +59,261 @@
const C : (uint64, uint64, uint64, uint64, uint64, uint64, uint64)[257] = [
(0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000),
(0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000),
- (0x3f80000001f83362, 0xbf7fffd559ac119a, 0x3fefff8001ffd883, 0x3f7fff0009e129ba, 0xbfd55355689e3241, 0xbf7ffdcf9a784a0c, 0x3fc995f4bed14247),
- (0x3f87ffffff37811c, 0xbf87ffb800bc4b32, 0x3feffee00a1fb7b6, 0x3f87fe5015f2c284, 0xbfd550d5b96bfd9c, 0xbf87fc076a4fd120, 0x3fc98fc8b892a7b2),
- (0x3f8fffffffc1eade, 0xbf8fff555b7d615a, 0x3feffe001ffe07ed, 0x3f8ffc005fa9b585, 0xbfd54d5693a075a5, 0xbf8ff657f61b9dd7, 0x3fc9869ee5cadbbd),
- (0x3f93fffffe0e9f70, 0xbf93ff595d2776fd, 0x3feffce04e18fad7, 0x3f93fc18907a7f60, 0xbfd548d85eda9a6c, 0xbf93f61bf2de1558, 0x3fc97abe5d2bf700),
- (0x3f97ffffffec7ecd, 0xbf97fee01836ddc0, 0x3feffb80a1e94266, 0x3f97f9416c2a7c14, 0xbfd5435ba3ccdd9c, 0xbf97eefc49b67b90, 0x3fc96b9f97155700),
- (0x3f9c000002043a2b, 0xbf9bfe36e12cee80, 0x3feff9e12be5b739, 0x3f9bf54b150fb215, 0xbfd53ce105d2bb59, 0xbf9be5104edd8ee0, 0x3fc9598af87d1c00),
- (0x3fa00000022e99a5, 0xbf9ffd55c0059267, 0x3feff801ff7df250, 0x3f9ff006025a63b6, 0xbfd5356946bb4ad9, 0xbf9fd7e22b0f4cc0, 0x3fc94484728b9380),
- (0x3fa200000058e037, 0xbfa1fe1a5c8788b8, 0x3feff5e3331c6ffa, 0x3fa1f4a166090962, 0xbfd52cf545c2c2d0, 0xbfa1e37e5b434560, 0x3fc92c909999c980),
- (0x3fa3fffffe4fe9f8, 0xbfa3fd65efba5c58, 0x3feff384e01a9106, 0x3fa3f0692146d108, 0xbfd5238601c8043d, 0xbfa3d95263db398f, 0x3fc9116fa0344708),
- (0x3fa5fffffd7d0899, 0xbfa5fc89a378731e, 0x3feff0e722c403ee, 0x3fa5eb42b2d510f3, 0xbfd5191c8f45f7ad, 0xbfa5cc83e91b1137, 0x3fc8f3b166e52899),
- (0x3fa7fffffff47d57, 0xbfa7fb8184255df7, 0x3fefee0a1a5143a8, 0x3fa7e516b6ddd4cd, 0xbfd50dba2684300b, 0xbfa7bd2cb777bd9a, 0x3fc8d317587dd676),
- (0x3fa9fffffc2c23a9, 0xbfa9fa4994982dbb, 0x3fefeaede8f76900, 0x3fa9ddcddc883e9e, 0xbfd501601a419c50, 0xbfa9ab141ce95d64, 0x3fc8afa883cd8ab3),
- (0x3fabfffffd0f0cbd, 0xbfabf8ddee4b0fc3, 0x3fefe792b3b38c6e, 0x3fabd5510839a77b, 0xbfd4f40fd8f0a91b, 0xbfab9602138cdbe9, 0x3fc8896c8f290450),
- (0x3fae000000ffdc11, 0xbfadf73aa09e1477, 0x3fefe3f8a27756be, 0x3fadcb8935b8415f, 0xbfd4e5cae94695f1, 0xbfad7d32cd68db68, 0x3fc860b09a86ff00),
- (0x3fb0000002ad31a4, 0xbfaff55bbc820c23, 0x3fefe01fe0154058, 0x3fafc05f85dd78f3, 0xbfd4d692f8f482ea, 0xbfaf617ebeb00bd8, 0x3fc834f3a9931b00),
- (0x3fb100000188824f, 0xbfb0f99ea8a41bcd, 0x3fefdc089a435d4f, 0x3fb0d9de9f1c8568, 0xbfd4c669ca505107, 0xbfb0a166428a466f, 0x3fc8063f36448e35),
- (0x3fb20000009bc757, 0xbfb1f86dbfa33080, 0x3fefd7b3016f7596, 0x3fb1d2c5eedc6080, 0xbfd4b55130ac22d8, 0xbfb18fd8c2bb0ee4, 0x3fc7d526db38f039),
- (0x3fb3000024c171ae, 0xbfb2f7195618302f, 0x3fefd31f48358ab4, 0x3fb2cadaa8a559c1, 0xbfd4a34b240cff5f, 0xbfb27c47c2ad49a6, 0x3fc7a1702e4d8d69),
- (0x3fb4000000068d16, 0xbfb3f59f0e82d887, 0x3fefce4da6ab73c7, 0x3fb3c2114d1e9dc2, 0xbfd49059bce708bf, 0xbfb36699156cde19, 0x3fc76b264479966d),
- (0x3fb4ffffffdaf503, 0xbfb4f3fd674dc761, 0x3fefc93e53a2ae2c, 0x3fb4b85f4a8c15c6, 0xbfd47c7f1d6673be, 0xbfb44eb3ca7ef180, 0x3fc7325487c15892),
- (0x3fb60000005453f7, 0xbfb5f23250268d66, 0x3fefc3f18b52cb50, 0x3fb5adb99d22e5c3, 0xbfd467bd8b4de796, 0xbfb5347ee36faada, 0x3fc6f706fed2d6e1),
- (0x3fb7000000057dfc, 0xbfb6f03bdcefbdc7, 0x3fefbe678c078564, 0x3fb6a2157e35172d, 0xbfd452176286cdb9, 0xbfb617e1fe0c1388, 0x3fc6b94a23d2539a),
- (0x3fb7fffffe7c548b, 0xbfb7ee182482a642, 0x3fefb8a096b5e8ba, 0x3fb7956844e7782f, 0xbfd43b8f17095f3f, 0xbfb6f8c53a2a94dc, 0x3fc6792ae7109ee3),
- (0x3fb9000000399ffa, 0xbfb8ebc544b20fc7, 0x3fefb29ceedb75bc, 0x3fb887a76b0a59ee, 0xbfd4242733f64aa6, 0xbfb7d7114183708e, 0x3fc636b6a9a36669),
- (0x3fba000000503ea3, 0xbfb9e941541f49d9, 0x3fefac5cdacc38c0, 0x3fb978c880930264, 0xbfd40be25c5cc9fc, 0xbfb8b2af3f76ad1f, 0x3fc5f1fb3caa1a83),
- (0x3fbafffffefd604e, 0xbfbae68a70c75b65, 0x3fefa5e0a3559ff9, 0x3fba68c13a88c726, 0xbfd3f2c349624f3b, 0xbfb98b88f1f263f7, 0x3fc5ab06d90ee046),
- (0x3fbc0000027ada67, 0xbfbbe39ec0e260e9, 0x3fef9f2893aa9d84, 0x3fbb578774c87524, 0xbfd3d8ccc2282c36, 0xbfba6104a32547f8, 0x3fc5622c6b5cdc00),
- (0x3fbcfffffe2aae0e, 0xbfbce07c5a6d6a81, 0x3fef9834fa03c879, 0x3fbc45111ba09bf8, 0xbfd3be01baf8bc7a, 0xbfbb3410872e3840, 0x3fc516f2437f8a00),
- (0x3fbe000001dab907, 0xbfbddd2171f3051f, 0x3fef910626538a70, 0x3fbd3154591dc7f9, 0xbfd3a2652c4d0b90, 0xbfbc04a65d78b257, 0x3fc4c967e0fd9461),
- (0x3fbeffffffa53a79, 0xbfbed98c21368e87, 0x3fef899c6bd1f677, 0x3fbe1c47601d7e8f, 0xbfd385fa159fbfca, 0xbfbcd19beca90b8c, 0x3fc47a256b36705a),
- (0x3fc000000f142d5a, 0xbfbfd5bab85dc3d0, 0x3fef81f81e981366, 0x3fbf05e0b86e7006, 0xbfd368c39b4690e4, 0xbfbd9b66d4a9b7f8, 0x3fc428f6923eacde),
- (0x3fc07ffffcdf1951, 0xbfc068d5810d5bd4, 0x3fef7a19994da3f1, 0x3fbfee169210a60e, 0xbfd34ac4fcd8967e, 0xbfbe61f4253945ff, 0x3fc3d5ebc0588a79),
- (0x3fc1000002aa39f4, 0xbfc0e6adcf926f2e, 0x3fef7201326bccc1, 0x3fc06a70037899d2, 0xbfd32c01735432c2, 0xbfbf25323b0051d6, 0x3fc38115615f521e),
- (0x3fc18000001fea3b, 0xbfc1646541255ca1, 0x3fef69af483d2f52, 0x3fc0dd19dadefc1f, 0xbfd30c7c5e62ba59, 0xbfbfe50f8f51460e, 0x3fc32a845cd3502a),
- (0x3fc1fffffe8823bc, 0xbfc1e1faf993a4c8, 0x3fef612438bab95f, 0x3fc14f04587e458a, 0xbfd2ec3924d36b33, 0xbfc050bdc309e406, 0x3fc2d249bb3c927d),
- (0x3fc27ffffc9337b0, 0xbfc25f6e13bf7bd7, 0x3fef586064c338f8, 0x3fc1c02b10b43292, 0xbfd2cb3b4055087c, 0xbfc0ad330fd21a61, 0x3fc27876c32ba8fe),
- (0x3fc2fffffdc6bf7b, 0xbfc2dcbdb0cea731, 0x3fef4f642f0fe16c, 0x3fc23089b1286391, 0xbfd2a98638fb0d98, 0xbfc107e008ee7ac7, 0x3fc21d1ce9880c12),
- (0x3fc3800000c2fb33, 0xbfc359e8eeaa28a7, 0x3fef462ffcd452fe, 0x3fc2a01bf88e9498, 0xbfd2871da71092b5, 0xbfc160bd5de46b03, 0x3fc1c04dd31f291d),
- (0x3fc4000000d8f876, 0xbfc3d6eee99a2f23, 0x3fef3cc435a04a95, 0x3fc30eddb88397f1, 0xbfd26405321912f4, 0xbfc1b7c415010900, 0x3fc1621b4e780103),
- (0x3fc48000000de728, 0xbfc453cec616b8c4, 0x3fef332142989e5d, 0x3fc37ccade8e0ca6, 0xbfd240408d609878, 0xbfc20ced92d9e381, 0x3fc1029747314f3d),
- (0x3fc4ffffff0e7ab0, 0xbfc4d087a8ef1e63, 0x3fef29478efdfd42, 0x3fc3e9df6d60cba2, 0xbfd21bd3796a9ce3, 0xbfc26033953388f3, 0x3fc0a1d3c688050b),
- (0x3fc57ffffc7377dc, 0xbfc54d18b69dbcdb, 0x3fef1f3788337a10, 0x3fc456177c933fea, 0xbfd1f6c1c37d2372, 0xbfc2b190331b73b1, 0x3fc03fe2eebeac95),
- (0x3fc5ffffff069c34, 0xbfc5c9811d4c8683, 0x3fef14f19ce2618f, 0x3fc4c16f418df8ce, 0xbfd1d10f41eb9d16, 0xbfc300fde3b8367f, 0x3fbfb9addc08f782),
- (0x3fc67ffffe3dace2, 0xbfc645bffdfed6b5, 0x3fef0a763ecf8d44, 0x3fc52be2fc09f17c, 0xbfd1aabfda46e407, 0xbfc34e776fde19e4, 0x3fbef18416e713f0),
- (0x3fc6fffffe88eb88, 0xbfc6c1d4881ddaae, 0x3feeffc5e08c9b3d, 0x3fc5956f0e16385c, 0xbfd183d77857c309, 0xbfc399f803dfed36, 0x3fbe276d18332ee6),
- (0x3fc77fffffbe804c, 0xbfc73dbde868750f, 0x3feef4e0f6d3f675, 0x3fc5fe0fed8db872, 0xbfd15c5a1291701e, 0xbfc3e37b24a92e8d, 0x3fbd5b8d76fa3afe),
- (0x3fc7fffffc35d1d7, 0xbfc7b97b48251fed, 0x3feee9c7f89a7009, 0x3fc665c223be9680, 0xbfd1344ba9bdc601, 0xbfc42afcaf9262f8, 0x3fbc8e09cf02b355),
- (0x3fc8800000a239dc, 0xbfc8350be43569e9, 0x3feede7b5cee6e27, 0x3fc6cc8260df5e45, 0xbfd10bb040c61a32, 0xbfc47078e771a1fe, 0x3fbbbf06908b1814),
- (0x3fc90000027df7fa, 0xbfc8b06ee4ee22e7, 0x3feed2fb9e8bb11b, 0x3fc7324d5aa33c81, 0xbfd0e28be90da705, 0xbfc4b3ec5d56fe5c, 0x3fbaeea83980b70d),
- (0x3fc9800002d31c2a, 0xbfc92ba37fbc8427, 0x3feec74938c8c904, 0x3fc7971fe886b4de, 0xbfd0b8e2b6d26476, 0xbfc4f55403930d95, 0x3fba1d131409b3ab),
- (0x3fc9fffffcddfcfd, 0xbfc9a6a8e66a4ab7, 0x3feebb64a91453c7, 0x3fc7faf6f60a4367, 0xbfd08eb8c5fc4160, 0xbfc534ad23ed705c, 0x3fb94a6b493e7c18),
- (0x3fca7fffff8b55ee, 0xbfca217e5fa0a315, 0x3feeaf4e6c86c253, 0x3fc85dcf96a2bb00, 0xbfd0641230fa59ed, 0xbfc571f56b9c5c8a, 0x3fb876d4adfc5ac3),
- (0x3fcafffffd414cf5, 0xbfca9c23189f6ea5, 0x3feea30704596a99, 0x3fc8bfa6e0659b60, 0xbfd038f3200791fd, 0xbfc5ad2ad32c8d7a, 0x3fb7a273097623dd),
- (0x3fcb7ffffe765c40, 0xbfcb169655d5327a, 0x3fee968ef1197db7, 0x3fc9207a13521ece, 0xbfd00d5fb7ad7b56, 0xbfc5e64bb64ff60a, 0x3fb6cd69b8f6e504),
- (0x3fcc000000abc4ff, 0xbfcb90d753364d8b, 0x3fee89e6b5bbd593, 0x3fc980467fefa357, 0xbfcfc2b8463315e8, 0xbfc61d56c362a69c, 0x3fb5f7dbddfa3d81),
- (0x3fcc7fffffda3e36, 0xbfcc0ae54d528b2b, 0x3fee7d0ed6b1420d, 0x3fc9df098ebe3358, 0xbfcf69d920a9cf8c, 0xbfc6524aff4b3332, 0x3fb521ec46597687),
- (0x3fccfffffff895a3, 0xbfcc84bf8a6d20c0, 0x3fee7007d8e2c735, 0x3fca3cc0c754ee99, 0xbfcf102a3a0ed514, 0xbfc6849fe6a47028, 0x3fb44c40e5060800),
- (0x3fcd800002e87b67, 0xbfccfe6550e0425b, 0x3fee62d242a27514, 0x3fca9969c88af14c, 0xbfceb5b42bd588bd, 0xbfc6b562a8259298, 0x3fb375f45f6e7800),
- (0x3fce0000007c3fa1, 0xbfcd77d5df961e94, 0x3fee556e9c79c2d5, 0x3fcaf502433f724e, 0xbfce5a7f5c4a951a, 0xbfc6e49a1c28bf4d, 0x3fb29f2902804d52),
- (0x3fce8000018c9844, 0xbfcdf11087c3e708, 0x3fee47dd6e4b27d1, 0x3fcb4f880dd31913, 0xbfcdfe93e4e6b22c, 0xbfc71130057e8a97, 0x3fb1c906570f0d02),
- (0x3fcf0000011971a7, 0xbfce6a148fa0c60b, 0x3fee3a1f427d6bd1, 0x3fcba8f90d9b0ad8, 0xbfcda1fa4468eaa4, 0xbfc73baf35ad6fbc, 0x3fb0f329b1d71c3b),
- (0x3fcf7fffffae07f0, 0xbfcee2e144d04e42, 0x3fee2c34a3e84e63, 0x3fcc015345086350, 0xbfcd44bad359c3db, 0xbfc76418a7b6f7b9, 0x3fb01db333c0e897),
- (0x3fd0000003c8cfe7, 0xbfcf5b76004c2654, 0x3fee1e1e1d47929d, 0x3fcc5894d623e3cd, 0xbfcce6ddde8c38ac, 0xbfc78a6da87d134e, 0x3fae9184c911f786),
- (0x3fd0400003e0f35b, 0xbfcfd3d2038a7c77, 0x3fee0fdc3d4407ce, 0x3fccaebbe9509c5a, 0xbfcc886bc113543a, 0xbfc7aeafca638093, 0x3face8ecd45e8a40),
- (0x3fd08000032761cb, 0xbfd025fa53fb759e, 0x3fee016f90dfb3ea, 0x3fcd03c6cfa46b13, 0xbfcc296cbe2c693a, 0xbfc7d0e0f31c6cc9, 0x3fab41db5e90e29b),
- (0x3fd0bffffd1bbae5, 0xbfd061ee9d889212, 0x3fedf2d8a7a1ddae, 0x3fcd57b3e8faad27, 0xbfcbc9e91c1a6c4e, 0xbfc7f1034f0598ee, 0x3fa99c8c39820b78),
- (0x3fd0fffffda7b6b5, 0xbfd09dc595a7aa29, 0x3fede4180e167b90, 0x3fcdaa81c348841c, 0xbfcb69e8ff46f764, 0xbfc80f195bae93a5, 0x3fa7f9398b9c2669),
- (0x3fd1400002df4b88, 0xbfd0d97ee7b72b9e, 0x3fedd52e54a32e74, 0x3fcdfc2ef2b6e464, 0xbfcb0974963c35fd, 0xbfc82b25d6d98068, 0x3fa6581c8d5f3f91),
- (0x3fd18000007fef6f, 0xbfd1151a369b3ad0, 0x3fedc61c0ed3a8b3, 0x3fce4cba17180e39, 0xbfcaa89413bba312, 0xbfc8452bc0669ca5, 0x3fa4b96d672b82b0),
- (0x3fd1bffffd750e56, 0xbfd1509738407215, 0x3fedb6e1cc5e56bc, 0x3fce9c22010b8ec2, 0xbfca474f8102a8b8, 0xbfc85d2e64dd2c0a, 0x3fa31d6268e4aace),
- (0x3fd2000003ca0de4, 0xbfd18bf5a68ee3b3, 0x3feda7801cbd34e3, 0x3fceea659ca4de3f, 0xbfc9e5aed4b250a4, 0xbfc87331536725ba, 0x3fa184306c2c9ae3),
- (0x3fd2400002036234, 0xbfd1c735230a790e, 0x3fed97f79692b2ec, 0x3fcf3783cc4f0a97, 0xbfc983ba20bb093a, 0xbfc887385275eb6c, 0x3f9fdc171f589263),
- (0x3fd27fffffdfc6c4, 0xbfd2025567c6bf7b, 0x3fed8848caf35b89, 0x3fcf837ba93cd7cf, 0xbfc9217940ea8bf9, 0xbfc89947704663ae, 0x3f9cb64bbd3e6b8a),
- (0x3fd2bffffed8628c, 0xbfd23d562a27d0d0, 0x3fed78744ce26842, 0x3fcfce4c5c6a3c83, 0xbfc8bef409ec6215, 0xbfc8a962f5b80e45, 0x3f999760297b6b81),
- (0x3fd2fffffd9ac75c, 0xbfd278371e2461ca, 0x3fed687ab0799710, 0x3fd00bfa9178bb91, 0xbfc85c32431fb914, 0xbfc8b78f661ebb08, 0x3f967fb3033009f6),
- (0x3fd33ffffe5a26b1, 0xbfd2b2f7fc188619, 0x3fed585c894c7f41, 0x3fd0303aaa9777f1, 0xbfc7f93b9bf3c072, 0xbfc8c3d17ee8c3ea, 0x3f936f9fb86fef86),
- (0x3fd37ffffec1b143, 0xbfd2ed98795ef86b, 0x3fed481a6c610cdd, 0x3fd053e62ea7a861, 0xbfc79617b7755508, 0xbfc8ce2e3400f439, 0x3f90677ee0a18b9f),
- (0x3fd3c000003531d6, 0xbfd328184fe61b16, 0x3fed37b4ee113238, 0x3fd076fce03b5660, 0xbfc732ce1eb44786, 0xbfc8d6aaaf852261, 0x3f8acf4b9ec59d46),
- (0x3fd40000014b4f1a, 0xbfd362773835c112, 0x3fed272ca3a66d1e, 0x3fd0997e8b99570c, 0xbfc6cf664a09a01d, 0xbfc8dd4c4eb42bdc, 0x3f84e0cdba8b378e),
- (0x3fd44000002a76ab, 0xbfd39cb4eb9caee5, 0x3fed168222b7fc82, 0x3fd0bb6b07fba0fc, 0xbfc66be79ca66f40, 0xbfc8e218a084b591, 0x3f7e0845137e79a8),
- (0x3fd4800002f0ac40, 0xbfd3d6d12bd1b3a2, 0x3fed05b5fee9e15f, 0x3fd0dcc23bca443d, 0xbfc6085956bc3e59, 0xbfc8e5156401dd74, 0x3f7273c2f54049f0),
- (0x3fd4c0000398c9cd, 0xbfd410cbb0adb15b, 0x3fecf4c8cf23b4a7, 0x3fd0fd8411e92f76, 0xbfc5a4c2b406c729, 0xbfc8e648851b1c4d, 0x3f5c14e6132786eb),
- (0x3fd5000000d2b414, 0xbfd44aa43780e819, 0x3fece3bb2923ae3c, 0x3fd11db082866efc, 0xbfc5412ad0e80c83, 0xbfc8e5b81bf6df1b, 0xbf51090196534ac1),
- (0x3fd5400000d97ce4, 0xbfd4845a8594a669, 0x3fecd28da0a43a9e, 0x3fd13d479421cbf8, 0xbfc4dd98a5510238, 0xbfc8e36a6a29d4e3, 0xbf6ec343ef3f561f),
- (0x3fd580000083fbd8, 0xbfd4bdee58df2a56, 0x3fecc140cbd716cb, 0x3fd15c4952ee964a, 0xbfc47a131e7a5564, 0xbfc8df65d90205c1, 0xbf7a57ed6c513309),
- (0x3fd5c0000018a579, 0xbfd4f75f739cb1b0, 0x3fecafd53ff0fa50, 0x3fd17ab5d724d2b5, 0xbfc416a10a536704, 0xbfc8d9b0f77c529d, 0xbf8292192630d9e3),
- (0x3fd5fffffe824f64, 0xbfd530ad97fc72a4, 0x3fec9e4b92687e96, 0x3fd1988d427b2e5c, 0xbfc3b3491e63dea3, 0xbfc8d25278721643, 0xbf87e2c648beb0b9),
- (0x3fd63fffff3a13ec, 0xbfd569d88d6ab865, 0x3fec8ca4574c4517, 0x3fd1b5cfc2bbdc5f, 0xbfc35011ee14077d, 0xbfc8c9512fe43c8d, 0xbf8d1d92ca8d1ca8),
- (0x3fd67fffff856d0c, 0xbfd5a2e016f0f80e, 0x3fec7ae0242da62e, 0x3fd1d27d8ca121f4, 0xbfc2ed01fadabe3b, 0xbfc8beb4125cd6e8, 0xbf91210c8ebe0b06),
- (0x3fd6bffffe40da9f, 0xbfd5dbc3fa317aac, 0x3fec68ff8df60300, 0x3fd1ee96df565754, 0xbfc28a1fa7a73942, 0xbfc8b282322cefbb, 0xbf93a7fd0b2cabf4),
- (0x3fd7000000850018, 0xbfd61484037f999c, 0x3fec5703278a5d34, 0x3fd20a1c0634f09a, 0xbfc22771314a492b, 0xbfc8a4c2bc3a467a, 0xbf96236e9d5027af),
- (0x3fd74000032958c9, 0xbfd64d1ff900be97, 0x3fec44eb85d056c0, 0x3fd2250d52489ac7, 0xbfc1c4fcc46a8260, 0xbfc8957cf8f5c2e9, 0xbf989337c85e3c31),
- (0x3fd7800001f42af4, 0xbfd68597a1186566, 0x3fec32b93da9d11a, 0x3fd23f6b1d709665, 0xbfc162c871f645a7, 0xbfc884b849764b83, 0xbf9af73214886454),
- (0x3fd7c000020a1e4e, 0xbfd6bdeacb96c300, 0x3fec206ce0efcd02, 0x3fd25935ce6835b1, 0xbfc100da1ecc4e75, 0xbfc8727c22994bf1, 0xbf9d4f3a6910e69e),
- (0x3fd7ffffef4b942f, 0xbfd6f619333fae00, 0x3fec0e0708525d88, 0x3fd2726dcab05fb8, 0xbfc09f37b85d7a7c, 0xbfc85ed0151cb6ca, 0xbf9f9b2fc00147e3),
- (0x3fd84000000e1b33, 0xbfd72e22d546f87e, 0x3febfb88369c3125, 0x3fd28b139d7910a3, 0xbfc03de69c5c8f9e, 0xbfc849bbac9f2806, 0xbfa0ed7b56485e08),
- (0x3fd88000025752bc, 0xbfd76607548c2d8b, 0x3febe8f10c2b5b27, 0x3fd2a327b1acf5d8, 0xbfbfb9d951a88eda, 0xbfc83346a668b00a, 0xbfa207397a81490f),
- (0x3fd8c000030eff1b, 0xbfd79dc68c3a3aab, 0x3febd64216bfa88e, 0x3fd2baaa9313a44f, 0xbfbef89e7a4b8711, 0xbfc81b78bad06d46, 0xbfa31ac6be01f8d3),
- (0x3fd9000001646b31, 0xbfd7d5604c98efba, 0x3febc37be783ad55, 0x3fd2d19cd038f707, 0xbfbe38275d0e35cf, 0xbfc80259b3ae8770, 0xbfa42818bdbf14e0),
- (0x3fd93fffff640ee2, 0xbfd80cd4698dc1aa, 0x3febb09f0e37b37e, 0x3fd2e7ff0093da3c, 0xbfbd787e5d4923f4, 0xbfc7e7f16509a908, 0xbfa52f26866c2b8d),
- (0x3fd97ffffdf78491, 0xbfd84422b71e6925, 0x3feb9dac1a54d801, 0x3fd2fdd1c2de7d30, 0xbfbcb9ada303e230, 0xbfc7cc47acdded50, 0xbfa62fe87d13430b),
- (0x3fd9c00001035746, 0xbfd87b4b0cfdf415, 0x3feb8aa399cd687a, 0x3fd31315be4d8968, 0xbfbbfbbf0e6d9a58, 0xbfc7af646fa7c2bc, 0xbfa72a586923b8a6),
- (0x3fda000000ffe340, 0xbfd8b24d3a25bea9, 0x3feb77861d504643, 0x3fd327cb9da69e4a, 0xbfbb3ebc624b5dfa, 0xbfc7914f9d605de4, 0xbfa81e71361d0a89),
- (0x3fda400000100095, 0xbfd8e92917038092, 0x3feb645431fd7c4a, 0x3fd33bf4161c483a, 0xbfba82af05253ec0, 0xbfc7721126702f2c, 0xbfa90c2f3fa9f863),
- (0x3fda7fffffe222b8, 0xbfd91fde7cb74808, 0x3feb510e645d7829, 0x3fd34f8fe3a4d491, 0xbfb9c7a01f5fd899, 0xbfc751b0fe6efdd3, 0xbfa9f39021b08a68),
- (0x3fdabffffed95691, 0xbfd9566d42a871d9, 0x3feb3db541373664, 0x3fd3629fc80afeac, 0xbfb90d98369c90d3, 0xbfc72f44fbe48540, 0xbfaad3a70aefe000),
- (0x3fdb0000004583fc, 0xbfd98cd545886e51, 0x3feb2a49530ec627, 0x3fd375248cf7a4e4, 0xbfb854a0c7dada4b, 0xbfc70cb749bdaee0, 0xbfabae4bec818000),
- (0x3fdb3ffffc2050fd, 0xbfd9c316597e02fc, 0x3feb16cb270de8bf, 0x3fd3871eff703673, 0xbfb79cc1ecb3e3f8, 0xbfc6e91fcc119ab0, 0xbfac829399932000),
- (0x3fdb800003ac36ec, 0xbfd9f93069302d4b, 0x3feb033b41d7016a, 0x3fd3988ff9a15401, 0xbfb6e60411f5449e, 0xbfc6c57ea4699da3, 0xbfad516a451d0115),
- (0x3fdbc00003fd5a1f, 0xbfda2f2341ba0bb7, 0x3feaef9a323ef369, 0x3fd3a97851fa0ac4, 0xbfb6306e7ee85ebe, 0xbfc69fed5d8e28b3, 0xbfae18ff332609af),
- (0x3fdc0000039b3621, 0xbfda64eec6d30865, 0x3feadbe87e780073, 0x3fd3b9d8ebacdb82, 0xbfb57c08cdfb1b0a, 0xbfc6786dcb5c4d60, 0xbfaed958fd6d6000),
- (0x3fdc400000a49b57, 0xbfda9a92d6285c97, 0x3feac826ae62f6c8, 0x3fd3c9b2ad31c963, 0xbfb4c8db56e0aecb, 0xbfc650fe5384d100, 0xbfaf944e806c6000),
- (0x3fdc800001b0d7d2, 0xbfdad00f558b3c25, 0x3feab455465812ed, 0x3fd3d90684bfac31, 0xbfb416ecc8a08e19, 0xbfc628ac8bd8a750, 0xbfb0247eb73f7000),
- (0x3fdcbfffff851ce5, 0xbfdb05642048528d, 0x3feaa074ce0698a1, 0x3fd3e7d5626ee3ae, 0xbfb366442a9359be, 0xbfc5ff804857c080, 0xbfb07bb6a4d84000),
- (0x3fdcfffffe193401, 0xbfdb3a911c127cfd, 0x3fea8c85c8b1f3e1, 0x3fd3f6203e274e24, 0xbfb2b6e8269a6794, 0xbfc5d5814b5a6c10, 0xbfb0cfd354252000),
- (0x3fdd400000235500, 0xbfdb6f962e90b921, 0x3fea7888b9051e04, 0x3fd403e8145c9461, 0xbfb208df2c5981f4, 0xbfc5aab74c19a030, 0xbfb120d984141000),
- (0x3fdd80000286b038, 0xbfdba473399b82ae, 0x3fea647e227e11d3, 0x3fd4112de4ff3e7d, 0xbfb15c2f7dc2395e, 0xbfc57f29f8cba630, 0xbfb16ece5dded000),
- (0x3fddc00001cef7fd, 0xbfdbd9281fcf3646, 0x3fea506687b5fab0, 0x3fd41df2b49c19d6, 0xbfb0b0df2042c910, 0xbfc552e0f214fba0, 0xbfb1b9b778d7e000),
- (0x3fde0000004fc0e4, 0xbfdc0db4c9902cd8, 0x3fea3c42686ef7da, 0x3fd42a378d455f59, 0xbfb006f4457a3232, 0xbfc526eff3475f6d, 0xbfb2020c549fc7a9),
- (0x3fde3fffff53e727, 0xbfdc42191f647305, 0x3fea281243b119b3, 0x3fd435fd7d3b143b, 0xbfaebce6fa454208, 0xbfc4f948161b503f, 0xbfb246f01632fcd7),
- (0x3fde7ffffe4a0194, 0xbfdc7655094883b8, 0x3fea13d6980a5b5d, 0x3fd4414596489a02, 0xbfad6ec41b47fbf8, 0xbfc4c9eae58de1a0, 0xbfb2886a8dcd0000),
- (0x3fdebfffff2d0b48, 0xbfdcaa687247ff28, 0x3fe9ff8fe22665c0, 0x3fd44c10ee631c8a, 0xbfac238be3c9f536, 0xbfc49afdfb9c85b0, 0xbfb2c764d01a0000),
- (0x3fdefffffe2211e5, 0xbfdcde5341a8f7d7, 0x3fe9eb3e9f72a6e7, 0x3fd456609e708e83, 0xbfaadb471890deec, 0xbfc46b7a80ae40e0, 0xbfb303753a5c2000),
- (0x3fdf400001e3314b, 0xbfdd1215683e1df1, 0x3fe9d6e348e546c7, 0x3fd46035c47f98ab, 0xbfa995fec6e063a5, 0xbfc43b67a5f30860, 0xbfb33ca3a9377000),
- (0x3fdf800003a8d041, 0xbfdd45aeccdea6bf, 0x3fe9c27e5aa08505, 0x3fd469917fdb4a8f, 0xbfa853bbce31875a, 0xbfc40acc925a23f0, 0xbfb372f83dba2000),
- (0x3fdfc000001f74ac, 0xbfdd791f5a2b6535, 0x3fe9ae104e8e2ac4, 0x3fd47274f3aafe74, 0xbfa714868a1a99ad, 0xbfc3d9b055497f10, 0xbfb3a67b69c57000),
- (0x3fe0000003558fd9, 0xbfddac670ab76e44, 0x3fe999999777521d, 0x3fd47ae148877e35, 0xbfa5d867886713de, 0xbfc3a935919c77de, 0xbfb3d7a4b03bed7b),
- (0x3fe020000337d712, 0xbfdddf85c0246f0a, 0x3fe9851ab14b1526, 0x3fd482d7a5dddc15, 0xbfa49f638c34686a, 0xbfc376100d9d1a30, 0xbfb40530d8726000),
- (0x3fe0400000b62087, 0xbfde127b6c28d8fc, 0x3fe9709410c8e4b3, 0x3fd48a5937e72e68, 0xbfa36985896d6846, 0xbfc344b94377092e, 0xbfb430e35d9d8543),
- (0x3fe06000020fc2e6, 0xbfde454809b1710d, 0x3fe95c062621c687, 0x3fd491672f00db4b, 0xbfa236d0d50efa28, 0xbfc311def4833020, 0xbfb4597aa3dcba29),
- (0x3fe07ffffd1dd2ee, 0xbfde77eb7a8913af, 0x3fe947716adf56d1, 0x3fd49802ba11dc1c, 0xbfa1074bf3e6c5f4, 0xbfc2dd82145369e0, 0xbfb47f0161fcf000),
- (0x3fe0a0000020ae23, 0xbfdeaa65c802a0b0, 0x3fe932d647a7f8b0, 0x3fd49e2d0f2d17c5, 0xbf9fb5fc526b9153, 0xbfc2a9edd8a10d00, 0xbfb4a25c9eca4000),
- (0x3fe0bffffe62365e, 0xbfdedcb6d1b5ebed, 0x3fe91e35354713b3, 0x3fd4a3e76149657c, 0xbf9d63d88329f12e, 0xbfc276074acdc500, 0xbfb4c328bc780000),
- (0x3fe0dfffff058c1a, 0xbfdf0ede976ba91e, 0x3fe9098e9e8a0791, 0x3fd4a932e90f89aa, 0xbf9b1835db6a2a2c, 0xbfc241d4acd80770, 0xbfb4e170117a3000),
- (0x3fe1000000022af6, 0xbfdf40dd0b5775b6, 0x3fe8f4e2f2ee66e0, 0x3fd4ae10df38f0de, 0xbf98d31d9fe7cbba, 0xbfc20d5c35659f70, 0xbfb4fd3d151e8000),
- (0x3fe11fffff8ab5a0, 0xbfdf72b220ee8980, 0x3fe8e032a092e141, 0x3fd4b2827e460418, 0xbf9694984ad2cdcb, 0xbfc1d8a4004008f0, 0xbfb5169a66a9f000),
- (0x3fe14000015e176d, 0xbfdfa45dd5211a0b, 0x3fe8cb7e10c43f1d, 0x3fd4b68902f758ed, 0xbf945cad318f03e8, 0xbfc1a3b205241980, 0xbfb52d92cd84c000),
- (0x3fe1600002c01245, 0xbfdfd5e01b9f65b5, 0x3fe8b6c5afc33871, 0x3fd4ba25aa85f813, 0xbf922b635f92cdb3, 0xbfc16e8c2b465870, 0xbfb542312c6ec000),
- (0x3fe180000005b0df, 0xbfe0039c73c60584, 0x3fe8a209e92e4ca4, 0x3fd4bd59b35af61d, 0xbf9000c35a24191f, 0xbfc13a6a8ec6fa74, 0xbfb554eb109f6098),
- (0x3fe19ffffcfd1f74, 0xbfe01c341c32ce05, 0x3fe88d4b228d3bc7, 0x3fd4c0265dfd8ea5, 0xbf8bb99bf9151606, 0xbfc104f00f064a5c, 0xbfb564f624f07b1f),
- (0x3fe1bffffcc45037, 0xbfe034b706ac12f3, 0x3fe87889c0984b64, 0x3fd4c28ceb80b949, 0xbf877f0f7a3534d6, 0xbfc0ce1caea5dc80, 0xbfb5725eaa28f000),
- (0x3fe1e000015d0939, 0xbfe04d25324d4a16, 0x3fe863c6277e23ec, 0x3fd4c48e9d66b268, 0xbf8351f1b06feba3, 0xbfc0986002b15e50, 0xbfb57e03f43a2000),
- (0x3fe20000034260ab, 0xbfe0657e97550542, 0x3fe84f00c05a567c, 0x3fd4c62cb59d4924, 0xbf7e648be9263288, 0xbfc0628b48095ca0, 0xbfb5878723eec000),
- (0x3fe220000196bcfb, 0xbfe07dc333828d0b, 0x3fe83a39eeb54b5a, 0x3fd4c76877223817, 0xbf7640237a6d6d30, 0xbfc02ca3ba99f440, 0xbfb58ef39ecd5000),
- (0x3fe2400003756189, 0xbfe095f30afdbac3, 0x3fe825720fa6bb7d, 0x3fd4c8432598c0d4, 0xbf6c6d60d75bea04, 0xbfbfed5cd887c340, 0xbfb59454d68b4000),
- (0x3fe26000013bdd1f, 0xbfe0ae0e172710bb, 0x3fe810a9889533b2, 0x3fd4c8be047e8fed, 0xbf5920e914dd15b8, 0xbfbf8160d625d180, 0xbfb597b64277d000),
- (0x3fe28000026e7197, 0xbfe0c6145d2dc8dc, 0x3fe7fbe0b3cc857c, 0x3fd4c8da57d785da, 0x3f38b3db2033b920, 0xbfbf155d1d93f540, 0xbfb59923618c3000),
- (0x3fe29ffffe4c855d, 0xbfe0de05d6652674, 0x3fe7e717f4e58b05, 0x3fd4c899639f2b70, 0x3f6287693d7864dc, 0xbfbea95b5bb7e400, 0xbfb598a7b4b93000),
- (0x3fe2bfffffef534f, 0xbfe0f5e28b5b78df, 0x3fe7d24fa150837b, 0x3fd4c7fc6b9c5931, 0x3f70e125b375ae70, 0xbfbe3fedafd71237, 0xbfb596b5c99673e4),
- (0x3fe2e000002e77a2, 0xbfe10daa7752f342, 0x3fe7bd8819154572, 0x3fd4c704b3dfd892, 0x3f7863a555ac2266, 0xbfbdd40f01365dd6, 0xbfb5928aaeb4bdf7),
- (0x3fe2fffffd7c9d64, 0xbfe1255d9a2022cc, 0x3fe7a8c1b753a014, 0x3fd4c5b3801f820e, 0x3f7fcb39853a1bb2, 0xbfbd65bd8613d740, 0xbfb58c32edd58000),
- (0x3fe31ffffd82cc9f, 0xbfe13cfbf94585b2, 0x3fe793fcd1396a06, 0x3fd4c40a1333413b, 0x3f838becc98b0eda, 0xbfbcfa1e649f96c0, 0xbfb5848705fe2000),
- (0x3fe34000020760dc, 0xbfe1548597b4c2f9, 0x3fe77f39bd37da50, 0x3fd4c209afca8f6f, 0x3f8724ccc6f52d4f, 0xbfbc8ead87d86800, 0xbfb57b2bb11af000),
- (0x3fe35fffffb1e89e, 0xbfe16bfa6f18133e, 0x3fe76a78d9002ba2, 0x3fd4bfb398e809ba, 0x3f8ab041c34cb79c, 0xbfbc23734d502d00, 0xbfb5702c550c2000),
- (0x3fe37fffffa9dc9d, 0xbfe1835a887fabe0, 0x3fe755ba73b51888, 0x3fd4bd090f92bb18, 0x3f8e2e5415de4536, 0xbfbbb877951c57c0, 0xbfb5639444c5d000),
- (0x3fe39fffffefd1ad, 0xbfe19aa5e51ddd70, 0x3fe740fee2743c7b, 0x3fd4ba0b54cf55f0, 0x3f90cf85e930af26, 0xbfbb4dc22c569940, 0xbfb5556ec8357000),
- (0x3fe3bffffd025245, 0xbfe1b1dc8565ca41, 0x3fe72c467a13e900, 0x3fd4b6bba90e7725, 0x3f928138ee4f6ff2, 0xbfbae35aacf0e740, 0xbfb545c718118000),
- (0x3fe3dffffcd8d6cc, 0xbfe1c8fe70fb7e35, 0x3fe717918808a566, 0x3fd4b31b4adbcf04, 0x3f942c4883ade35b, 0xbfba794859a0afc0, 0xbfb534a856177000),
- (0x3fe3fffffd8e408d, 0xbfe1e00baa1d04da, 0x3fe702e05d9ffa6f, 0x3fd4af2b7871ca67, 0x3f95d0b7b3fb36e7, 0xbfba123e6124474e, 0xbfb522811fd8a133),
- (0x3fe42000006e901a, 0xbfe1f70435a64d9d, 0x3fe6ee3348d92b91, 0x3fd4aaed6edf3dea, 0x3f976e91566dba37, 0xbfb9a8ef06a89b9d, 0xbfb50e94ff1867d4),
- (0x3fe4400000a09097, 0xbfe20de8145acaa5, 0x3fe6d98a9a6f0264, 0x3fd4a6626ab55f2a, 0x3f9905db9ee4b8fd, 0xbfb93d56b7355c80, 0xbfb4f8efe7802000),
- (0x3fe4600001861467, 0xbfe224b74d32a769, 0x3fe6c4e69c8fc28a, 0x3fd4a18ba5fdcca6, 0x3f9a9698b458c01f, 0xbfb8d4de4a82d700, 0xbfb4e262aeb99000),
- (0x3fe47fffff909a16, 0xbfe23b71e27da2af, 0x3fe6b0479ca9c160, 0x3fd49c6a5abcf1e6, 0x3f9c20d20d8f992c, 0xbfb86cdc97970200, 0xbfb4ca94d76a4000),
- (0x3fe49fffffb90e67, 0xbfe25217dce5c5c4, 0x3fe69bade1736aaf, 0x3fd496ffc020ed51, 0x3f9da48f8358d98f, 0xbfb805579f80a400, 0xbfb4b190f53f0000),
- (0x3fe4c00000128cd2, 0xbfe268a940767cc7, 0x3fe68719b4de44dd, 0x3fd4914d0cf6c50f, 0x3f9f21d8f8715491, 0xbfb79e5545549d80, 0xbfb4976184a36000),
- (0x3fe4dfffff3e5755, 0xbfe27f2611ebf889, 0x3fe6728b5f498085, 0x3fd48b53767a07ea, 0x3fa04c5b59e2627a, 0xbfb737db36653c00, 0xbfb47c10e4598000),
- (0x3fe500000148f840, 0xbfe2958e5a167f56, 0x3fe65e032465797a, 0x3fd485142f44c956, 0x3fa10498ca140c07, 0xbfb6d1eedb71be40, 0xbfb45fa94fe02000),
- (0x3fe52000018790be, 0xbfe2abe21bef8766, 0x3fe649814c4855c7, 0x3fd47e9069f4e9e3, 0x3fa1b9a9349c106a, 0xbfb66c95866404c0, 0xbfb44234ea994000),
- (0x3fe540000064c499, 0xbfe2c2215e483288, 0x3fe635061a93197b, 0x3fd477c956655f3a, 0x3fa26b9005b791fd, 0xbfb60aa234b1e8ae, 0xbfb4241dc5417ce3),
- (0x3fe5600002c99e32, 0xbfe2d84c2b4f57a0, 0x3fe62091ced9107e, 0x3fd470c021eda05c, 0x3fa31a54b048ef02, 0xbfb5a6812d9df714, 0xbfb404ad3b9865e5),
- (0x3fe5800000512c22, 0xbfe2ee62843eb8ef, 0x3fe60c24b0014185, 0x3fd46975facafcfc, 0x3fa3c5fc054af685, 0xbfb5402d421a8b40, 0xbfb3e3ee1a090000),
- (0x3fe5a0000334351e, 0xbfe30464776e19ff, 0x3fe5f7bef7e40401, 0x3fd461ec08f203ca, 0x3fa46e88d0626c5c, 0xbfb4dd50a5475c80, 0xbfb3c2a9098b8000),
- (0x3fe5bffffe315006, 0xbfe31a52034bf998, 0x3fe5e360ee28562d, 0x3fd45a23782bc020, 0x3fa51401526e2908, 0xbfb47b1e8f091a80, 0xbfb3a087d2364000),
- (0x3fe5e00000a1545d, 0xbfe3302b3a257b83, 0x3fe5cf0ac716d488, 0x3fd4521d6b4842ab, 0x3fa5b66b3eb3bc3a, 0xbfb4199af14bd180, 0xbfb37d93b34fe000),
- (0x3fe5ffffff69b013, 0xbfe345f01c682620, 0x3fe5babcc6a742c0, 0x3fd449db09841112, 0x3fa655cbe07609ee, 0xbfb3b8c9e12c1d00, 0xbfb359d5e3704000),
- (0x3fe61fffffac056a, 0xbfe35ba0b5d5fb7f, 0x3fe5a677255bb094, 0x3fd4415d73f9ab8d, 0x3fa6f228f4a18aac, 0xbfb358af15142d80, 0xbfb3355762050000),
- (0x3fe63ffffff36e95, 0xbfe3713d0dee4c27, 0x3fe5923a1ec404b6, 0x3fd438a5cb4c88be, 0x3fa78b88346f22ca, 0xbfb2f94e2b0e0300, 0xbfb310210f69a000),
- (0x3fe6600002e268dc, 0xbfe386c52f2da1f4, 0x3fe57e05eabaaeda, 0x3fd42fb52cd4f99a, 0x3fa821ef88cc1c46, 0xbfb29aaa894e96c0, 0xbfb2ea3ba114c000),
- (0x3fe67ffffca43b52, 0xbfe39c391a94c1f4, 0x3fe569dac91c1aae, 0x3fd4268cb7b7c4c8, 0x3fa8b56360fbfb90, 0xbfb23fb635b482a9, 0xbfb2c40c5aced0ef),
- (0x3fe6a0000087414b, 0xbfe3b198e63c8377, 0x3fe555b8e509d4d9, 0x3fd41d2d803d48ce, 0x3fa945ecc8324226, 0xbfb1e29a04de9b6e, 0xbfb29ce1f03b462c),
- (0x3fe6bffffca9ca2a, 0xbfe3c6e48f902296, 0x3fe541a07ff88a58, 0x3fd41398a2ef107f, 0x3fa9d3919aace755, 0xbfb1834f7d89ce40, 0xbfb274c5bef82000),
- (0x3fe6e00003fa3010, 0xbfe3dc1c2cba5e80, 0x3fe52d91c323fcee, 0x3fd409cf2ee4f9e8, 0x3faa5e55c45b939a, 0xbfb127c00d4bf6c0, 0xbfb24c780da48000),
- (0x3fe6fffffff5c5b2, 0xbfe3f13fb897d886, 0x3fe5198cf0b1cf1f, 0x3fd3ffd23dbec556, 0x3faae6408c051ffe, 0xbfb0ccfcbf6e6a40, 0xbfb223a49e696000),
- (0x3fe71fffffa86b8e, 0xbfe4064f471d169e, 0x3fe50592322d092f, 0x3fd3f5a2db1bb316, 0x3fab6b589c6aa3fa, 0xbfb07307e1378480, 0xbfb1fa5329170000),
- (0x3fe7400001ee24e8, 0xbfe41b4ae1b35499, 0x3fe4f1a1ba383080, 0x3fd3eb42151dc89b, 0x3fabeda46cf6c88a, 0xbfb019e3c81c74c0, 0xbfb1d08b51ab4000),
- (0x3fe76000004807ad, 0xbfe430328e7a1ebd, 0x3fe4ddbbbdbb66b6, 0x3fd3e0b0f944ff81, 0x3fac6d2a725bb64f, 0xbfaf832565793f00, 0xbfb1a6549afec000),
- (0x3fe7800000c376a9, 0xbfe445065bf8569b, 0x3fe4c9e068c4d1e4, 0x3fd3d5f08e7e91ba, 0x3face9f164bddc9a, 0xbfaed42d30818400, 0xbfb17bb64ef82000),
- (0x3fe7a00000bb278d, 0xbfe459c65333fe05, 0x3fe4b60febc4560b, 0x3fd3cb01dc145c05, 0x3fad63ffe9117670, 0xbfae26e2c80dc580, 0xbfb150b79aec4000),
- (0x3fe7bffffdb2e507, 0xbfe46e727d826a87, 0x3fe4a24a7607bef5, 0x3fd3bfe5e6b19c89, 0x3faddb5b54b3040c, 0xbfad816604197de2, 0xbfb125b8c8b0881c),
- (0x3fe7e0000252f58a, 0xbfe4830aecddb00e, 0x3fe48e902dbec701, 0x3fd3b49dac459984, 0x3fae500eb957d5e6, 0xbfacd1650ee54e80, 0xbfb0f9b4d2d88000),
- (0x3fe7fffffc963c19, 0xbfe4978fa0f7692e, 0x3fe47ae149c6e6d9, 0x3fd3a92a31ac4439, 0x3faec21c8e9fe30c, 0xbfac29381cb8a880, 0xbfb0cdbe52f5c000),
- (0x3fe81ffffd933f52, 0xbfe4ac00b03b4c38, 0x3fe4673dea60cfe4, 0x3fd39d8c6d24080f, 0x3faf318d54f3de26, 0xbfab82c543a90280, 0xbfb0a1827562e000),
- (0x3fe8400002a90411, 0xbfe4c05e248f2ba3, 0x3fe453a63af9e7a4, 0x3fd391c5592e5cad, 0x3faf9e67efa37f40, 0xbfaade0f0b5e4c00, 0xbfb075079e842000),
- (0x3fe85ffffeda28ed, 0xbfe4d4a8017a21db, 0x3fe4401a6c55b7ff, 0x3fd385d5f1a3c88b, 0x3fb0045995221920, 0xbfaa3b17f114e780, 0xbfb048541a0ac000),
- (0x3fe87ffffcb5e629, 0xbfe4e8de59a40615, 0x3fe42c9a9fd97bd7, 0x3fd379bf270aa8eb, 0x3fb0383b14344703, 0xbfa999e1bc66d880, 0xbfb01b6deb596000),
- (0x3fe8a0000170c515, 0xbfe4fd013c656e86, 0x3fe41926f94766d6, 0x3fd36d81e923c791, 0x3fb06adc00899d63, 0xbfa8fa6e1683e780, 0xbfafdcb5ebc98000),
- (0x3fe8c0000013189d, 0xbfe51110add1e051, 0x3fe405bfa67ab9da, 0x3fd3611f2c074f8a, 0x3fb09c3fcc701a50, 0xbfa85cbec910c700, 0xbfaf82421fc08000),
- (0x3fe8dffffea5a4e4, 0xbfe5250cbe1a044e, 0x3fe3f264c8d246d0, 0x3fd35497d9e7b6f1, 0x3fb0cc6a0b4acaae, 0xbfa7c0d506895100, 0xbfaf278b9c710000),
- (0x3fe8fffffff532e7, 0xbfe538f57b82510b, 0x3fe3df1682be020a, 0x3fd347ecdb613f48, 0x3fb0fb5d96a0b379, 0xbfa72d0add537aa4, 0xbfaecd493ac67089),
- (0x3fe9200000e0371d, 0xbfe54ccaf0c0e17a, 0x3fe3cbd4f95a3d43, 0x3fd33b1f192ca5ae, 0x3fb129201bd9bcf5, 0xbfa68e563bf5ca00, 0xbfae7181cd9f0000),
- (0x3fe93ffffed17bb8, 0xbfe5608d290c9c45, 0x3fe3b8a0508476b6, 0x3fd32e2f7884690d, 0x3fb155b3032aa8fb, 0xbfa5f7c2e4e4cd80, 0xbfae16438ba38000),
- (0x3fe95fffffb19d46, 0xbfe5743c34fb13c6, 0x3fe3a578a61f34cc, 0x3fd3211ed8f518b9, 0x3fb1811a9c607ce3, 0xbfa562f8391c6200, 0xbfadbaec7dd30000),
- (0x3fe9800001fbd6cc, 0xbfe587d820a9ca1d, 0x3fe3925e1ba3c385, 0x3fd313ee1a3ddcff, 0x3fb1ab5a76e24f11, 0xbfa4cff68dc4ae00, 0xbfad5f866b46c000),
- (0x3fe9a000028625b6, 0xbfe59b60f7595cc7, 0x3fe37f50d2a59cb4, 0x3fd3069e1a26c510, 0x3fb1d47620a6ae76, 0xbfa43ebe0fa40580, 0xbfad041ad7158000),
- (0x3fe9c0000013e88f, 0xbfe5aed6c59caa8f, 0x3fe36c50eab346d4, 0x3fd2f92fb30656ff, 0x3fb1fc712a84e7c4, 0xbfa3af4eb4269c00, 0xbfaca8b2f6dac000),
- (0x3fe9e00000c59ba9, 0xbfe5c2399c9bbead, 0x3fe3595e7e2616dd, 0x3fd2eba3b9686805, 0x3fb2234f2e03dca7, 0xbfa321a82363d200, 0xbfac4d57a3e34000),
- (0x3fe9ffffff9af828, 0xbfe5d58986d9bfee, 0x3fe34679ad1b9f34, 0x3fd2ddfb03da55d4, 0x3fb24913b63c63f4, 0xbfa295ca0bd98800, 0xbfabf211910ac000),
- (0x3fea1ffffe6f5c7c, 0xbfe5e8c6931fdc41, 0x3fe333a292cda05f, 0x3fd2d036635848cf, 0x3fb26dc255bbabd0, 0xbfa20bb3d390e000, 0xbfab96e9186cc000),
- (0x3fea3ffffddba306, 0xbfe5fbf0cf8e022d, 0x3fe320d94a65b14d, 0x3fd2c256a69b9f29, 0x3fb2915ddee0c8a5, 0xbfa189f836ccd898, 0xbfab3c8bd862fbc5),
- (0x3fea5ffffe550ddd, 0xbfe60f084a48a440, 0x3fe30e1dee5569d2, 0x3fd2b45c9a3476c6, 0x3fb2b3ec17359215, 0xbfa0fcdbe6e84800, 0xbfaae111172ec000),
- (0x3fea800000e4f98f, 0xbfe6220d11e54f19, 0x3fe2fb7097ede8aa, 0x3fd2a64907194c54, 0x3fb2d56e5363f0a3, 0xbfa07818437a3900, 0xbfaa8670f6f14000),
- (0x3fea9ffffda78430, 0xbfe634ff2fca48bb, 0x3fe2e8d164e983b8, 0x3fd2981cb8011622, 0x3fb2f5e8d1d6530f, 0xbf9fea318f2ad100, 0xbfaa2c0d5c400000),
- (0x3feac00000a7650e, 0xbfe647deb944952c, 0x3fe2d64066a2b0d9, 0x3fd289d86c0d2d1b, 0x3fb3155f2583e8e6, 0xbf9ee7b7e4800000, 0xbfa9d1ed38234000),
- (0x3feadffffedf751c, 0xbfe65aabb61747e5, 0x3fe2c3bdbb183012, 0x3fd27b7ce9f8bb53, 0x3fb333d4c786c2ea, 0xbf9de8c0fc5ad200, 0xbfa978177dbb8000),
- (0x3feafffffd65ea17, 0xbfe66d66379ec9f1, 0x3fe2b149762e2d21, 0x3fd26d0aeeb178ab, 0x3fb3514d3de8eaea, 0xbf9ced4987a4d100, 0xbfa91e92b3a98000),
- (0x3feb200000caf460, 0xbfe6800e4ef44188, 0x3fe29ee3ab610acd, 0x3fd25e8334b45cff, 0x3fb36dcc0a58c590, 0xbf9bf54dfdf31300, 0xbfa8c56525bc0000),
- (0x3feb4000000e26ac, 0xbfe692a4055f2f52, 0x3fe28c8c753d776e, 0x3fd24fe67a0bb733, 0x3fb389549efd4d08, 0xbf9b00cb02862100, 0xbfa86c9508b40000),
- (0x3feb6000018849cd, 0xbfe6a5276d2d89d2, 0x3fe27a43e4c58f7d, 0x3fd24135732df900, 0x3fb3a3ea77d68263, 0xbf9a0fbc87055500, 0xbfa814282ba74000),
- (0x3feb8000010d9519, 0xbfe6b79892a64df0, 0x3fe2680a104c3459, 0x3fd23270d6aa460d, 0x3fb3bd90404e0eb5, 0xbf992fb610f8b7a1, 0xbfa7bcc387688703),
- (0x3feb9ffffe599af5, 0xbfe6c9f7846a2b45, 0x3fe255df0b3288ee, 0x3fd22399572c6060, 0x3fb3d64bb1660697, 0xbf9837ece0652d00, 0xbfa7648eb5fe0000),
- (0x3febc00000284356, 0xbfe6dc44552c4ed1, 0x3fe243c2e433adbd, 0x3fd214afa0d6b3b1, 0x3fb3ee1def591e9a, 0xbf975122b84b5a00, 0xbfa70d6caea6c000),
- (0x3febdffffe085993, 0xbfe6ee7f0f01eeef, 0x3fe231b5b1f500b7, 0x3fd205b464c5bfb6, 0x3fb4050b1cb5f2a6, 0xbf966dbba68c0400, 0xbfa6b6c3404c0000),
- (0x3fec0000034fb3e6, 0xbfe700a7c7586398, 0x3fe21fb77f46182c, 0x3fd1f6a8482e18b6, 0x3fb41b16a1f46d60, 0xbf958db278506e00, 0xbfa66097156f0000),
- (0x3fec1ffffdfe62e8, 0xbfe712be83078c02, 0x3fe20dc866cc799f, 0x3fd1e78bfb883685, 0x3fb43043ce52cf56, 0xbf94b1029a5ec700, 0xbfa60aecf2b30000),
- (0x3fec3fffff94c963, 0xbfe724c35b136d78, 0x3fe1fbe86e98a7b2, 0x3fd1d8601c0fd209, 0x3fb4449603e9797b, 0xbf93d7a656cf6400, 0xbfa5b5c9094d0000),
- (0x3fec60000082bdf4, 0xbfe736b65a605f56, 0x3fe1ea17aa267316, 0x3fd1c92550541ec4, 0x3fb458108eb64abd, 0xbf9301987b6f8700, 0xbfa5612f9c3b8000),
- (0x3fec800000df6764, 0xbfe748979037234f, 0x3fe1d85628043564, 0x3fd1b9dc38ce0a23, 0x3fb46ab6ba64e101, 0xbf922ed378f00200, 0xbfa50d24a7678000),
- (0x3fec9fffff08b5c1, 0xbfe75a670af97a58, 0x3fe1c6a3f714bf96, 0x3fd1aa8574538e0f, 0x3fb47c8bcc0c4e1c, 0xbf915f51a50a7500, 0xbfa4b9abfb4dc000),
- (0x3fecbfffff264192, 0xbfe76c24dc4e49f1, 0x3fe1b501226bbf38, 0x3fd19b219c625478, 0x3fb48d923c79c7f8, 0xbf90a110cf52e4ae, 0xbfa4676263f4c032),
- (0x3fece00000316893, 0xbfe77dd113055eab, 0x3fe1a36db76194ae, 0x3fd18bb14affb17d, 0x3fb49dcfa250598d, 0xbf8f93ff72a6f600, 0xbfa4147fa51d0000),
- (0x3fed0000028a12de, 0xbfe78f6bbec21f96, 0x3fe191e9c1f0e9ca, 0x3fd17c351662872d, 0x3fb4ad44d4d39570, 0xbf8e08471e932a00, 0xbfa3c2d2ad154000),
- (0x3fed200003373601, 0xbfe7a0f4ed5e56f4, 0x3fe180754f521d39, 0x3fd16cad947835ea, 0x3fb4bbf5ca4e213b, 0xbf8c82e4ca8e1c00, 0xbfa371c55ec44000),
- (0x3fed400000e2fa29, 0xbfe7b26cada9f9ab, 0x3fe16f106b412869, 0x3fd15d1b57e6e3de, 0x3fb4c9e5aa0c4652, 0xbf8b03cbd541a800, 0xbfa3215aa7d68000),
- (0x3fed5ffffc647157, 0xbfe7c3d30fb0d432, 0x3fe15dbb1fb975b9, 0x3fd14d7eefeac143, 0x3fb4d71795f22c94, 0xbf898aef4bb08a00, 0xbfa2d19546608000),
- (0x3fed8000030878d4, 0xbfe7d5282a436004, 0x3fe14c756f72ef0b, 0x3fd13dd8e34e747c, 0x3fb4e38eae04b3a6, 0xbf881841786e0000, 0xbfa28277b07e0000),
- (0x3feda0000038b7ba, 0xbfe7e66c01df9f9b, 0x3fe13b3f6ee50309, 0x3fd12e29c71cae76, 0x3fb4ef4dfe6e2bfe, 0xbf86abb5fe255e00, 0xbfa2340488c34000),
- (0x3fedc000024cc650, 0xbfe7f79eadf54885, 0x3fe12a191f2548cb, 0x3fd11e721cfd633f, 0x3fb4fa589a26b592, 0xbf85453ebe0b9e00, 0xbfa1e63df3f04000),
- (0x3fede000009d89d2, 0xbfe808c0399495a2, 0x3fe119028d1fda26, 0x3fd10eb26f95f279, 0x3fb504b184ed26c3, 0xbf83e4ce746a9e00, 0xbfa1992629544000),
- (0x3fee00000039743a, 0xbfe819d0b7341e61, 0x3fe107fbbde28c9e, 0x3fd0feeb406dd82e, 0x3fb50e5af0d5593e, 0xbf82a72ef1e0c167, 0xbfa14d527b168f8a),
- (0x3fee1ffffe5cc00a, 0xbfe82ad03521bbb6, 0x3fe0f704ba259f97, 0x3fd0ef1d13273fc2, 0x3fb5175a44a65f21, 0xbf8135cae0939400, 0xbfa1010aa6568000),
- (0x3fee4000019b115b, 0xbfe83bbec6a702d7, 0x3fe0e61d852e5196, 0x3fd0df4863d03473, 0x3fb51fb00570e1c7, 0xbf7fce36d18fd400, 0xbfa0b60a74c20000),
- (0x3fee5ffffdf4f7e1, 0xbfe84c9c7540d5f2, 0x3fe0d5462b922e3d, 0x3fd0cf6db5f37b20, 0x3fb5275fea93680c, 0xbf7d3c75fad99000, 0xbfa06bc035858000),
- (0x3fee80000323ee64, 0xbfe85d6959120279, 0x3fe0c47eaad03167, 0x3fd0bf8d7d13d57e, 0x3fb52e6cdb8a684c, 0xbf7ab635583b0400, 0xbfa0222d3764c000),
- (0x3feea000027f9467, 0xbfe86e257a464e49, 0x3fe0b3c70fe40a0e, 0x3fd0afa8399b9a17, 0x3fb534d9b198efb2, 0xbf783b593b7d2000, 0xbf9fb2a5de1a8000),
- (0x3feec000016d28f0, 0xbfe87ed0eb9a3410, 0x3fe0a31f5cc9486a, 0x3fd09fbe5fe0dff2, 0x3fb53aa9435bdcf3, 0xbf75cbc42e130c00, 0xbf9f226507280000),
- (0x3feee0000186b339, 0xbfe88f6bbdcc87be, 0x3fe092879506eb54, 0x3fd08fd063fd06b3, 0x3fb53fde5f2950c0, 0xbf736758dd6aac00, 0xbf9e939a0cb08000),
- (0x3feeffffffce4723, 0xbfe89ff5ff3e4b8a, 0x3fe081ffbe119e2e, 0x3fd07fdeba3b0de8, 0x3fb5447bcb488540, 0xbf710dfa27bda400, 0xbf9e0646ebfc0000),
- (0x3fef20000017d916, 0xbfe8b06fc1db7f25, 0x3fe07187d965874a, 0x3fd06fe9d16dfdc9, 0x3fb5488447a9ed9c, 0xbf6d7f1490008000, 0xbf9d7a6d4a5b0000),
- (0x3fef3ffffe33911c, 0xbfe8c0d9137147b0, 0x3fe0611fec30af7f, 0x3fd05ff21a3a42d4, 0x3fb54bf9b699774b, 0xbf696e589b06ec6f, 0xbf9cf12a32a34060),
- (0x3fef5ffffe084599, 0xbfe8d13205f7eff9, 0x3fe050c7f70b73f8, 0x3fd04ff7ffb69502, 0x3fb54ee148abcb5e, 0xbf648602474d4800, 0xbf9c672c6e7a8000),
- (0x3fef7ffffdfbe7bb, 0xbfe8e17aa896a3fa, 0x3fe0407ffcf5ee0b, 0x3fd03ffbecf3660f, 0x3fb5513b2748a2d9, 0xbf6029586a500800, 0xbf9bdfc7884c0000),
- (0x3fef9fffff0fa180, 0xbfe8f1b30bcb577c, 0x3fe03047ff31c004, 0x3fd02ffe4a3a5b50, 0x3fb5530ac95cb722, 0xbf57c33cda611000, 0xbf9b59e0e3a28000),
- (0x3fefc00001a24bf4, 0xbfe901db3fc1bb6f, 0x3fe0201ffeecb132, 0x3fd01fff7e0f13c7, 0x3fb55452c9166f13, 0xbf4eba61be0c4000, 0xbf9ad57931778000),
- (0x3fefdfffffe38639, 0xbfe911f3518b3813, 0x3fe01008000a410c, 0x3fd00ffff01bf387, 0x3fb55515b9099fdd, 0xbf3c805a37250000, 0xbf9a52910b908000),
- (0x3feff0000008727f, 0xbfe919f953f31326, 0x3fe00801fffb8473, 0x3fd007fffdfb4766, 0x3fb555453ecbbd3f, 0xbf30045a21318845, 0xbf9a12c2520fd1de),
+ (0x3f80000001f83362, 0x3f7fffd559ac119a, 0x3fefff8001ffd883, 0xbf7fff0009e129ba, 0xbfd55355689e3241, 0x3f7ffdcf9a784a0c, 0x3fc995f4bed14247),
+ (0x3f87ffffff37811c, 0x3f87ffb800bc4b32, 0x3feffee00a1fb7b6, 0xbf87fe5015f2c284, 0xbfd550d5b96bfd9c, 0x3f87fc076a4fd120, 0x3fc98fc8b892a7b2),
+ (0x3f8fffffffc1eade, 0x3f8fff555b7d615a, 0x3feffe001ffe07ed, 0xbf8ffc005fa9b585, 0xbfd54d5693a075a5, 0x3f8ff657f61b9dd7, 0x3fc9869ee5cadbbd),
+ (0x3f93fffffe0e9f70, 0x3f93ff595d2776fd, 0x3feffce04e18fad7, 0xbf93fc18907a7f60, 0xbfd548d85eda9a6c, 0x3f93f61bf2de1558, 0x3fc97abe5d2bf700),
+ (0x3f97ffffffec7ecd, 0x3f97fee01836ddc0, 0x3feffb80a1e94266, 0xbf97f9416c2a7c14, 0xbfd5435ba3ccdd9c, 0x3f97eefc49b67b90, 0x3fc96b9f97155700),
+ (0x3f9c000002043a2b, 0x3f9bfe36e12cee80, 0x3feff9e12be5b739, 0xbf9bf54b150fb215, 0xbfd53ce105d2bb59, 0x3f9be5104edd8ee0, 0x3fc9598af87d1c00),
+ (0x3fa00000022e99a5, 0x3f9ffd55c0059267, 0x3feff801ff7df250, 0xbf9ff006025a63b6, 0xbfd5356946bb4ad9, 0x3f9fd7e22b0f4cc0, 0x3fc94484728b9380),
+ (0x3fa200000058e037, 0x3fa1fe1a5c8788b8, 0x3feff5e3331c6ffa, 0xbfa1f4a166090962, 0xbfd52cf545c2c2d0, 0x3fa1e37e5b434560, 0x3fc92c909999c980),
+ (0x3fa3fffffe4fe9f8, 0x3fa3fd65efba5c58, 0x3feff384e01a9106, 0xbfa3f0692146d108, 0xbfd5238601c8043d, 0x3fa3d95263db398f, 0x3fc9116fa0344708),
+ (0x3fa5fffffd7d0899, 0x3fa5fc89a378731e, 0x3feff0e722c403ee, 0xbfa5eb42b2d510f3, 0xbfd5191c8f45f7ad, 0x3fa5cc83e91b1137, 0x3fc8f3b166e52899),
+ (0x3fa7fffffff47d57, 0x3fa7fb8184255df7, 0x3fefee0a1a5143a8, 0xbfa7e516b6ddd4cd, 0xbfd50dba2684300b, 0x3fa7bd2cb777bd9a, 0x3fc8d317587dd676),
+ (0x3fa9fffffc2c23a9, 0x3fa9fa4994982dbb, 0x3fefeaede8f76900, 0xbfa9ddcddc883e9e, 0xbfd501601a419c50, 0x3fa9ab141ce95d64, 0x3fc8afa883cd8ab3),
+ (0x3fabfffffd0f0cbd, 0x3fabf8ddee4b0fc3, 0x3fefe792b3b38c6e, 0xbfabd5510839a77b, 0xbfd4f40fd8f0a91b, 0x3fab9602138cdbe9, 0x3fc8896c8f290450),
+ (0x3fae000000ffdc11, 0x3fadf73aa09e1477, 0x3fefe3f8a27756be, 0xbfadcb8935b8415f, 0xbfd4e5cae94695f1, 0x3fad7d32cd68db68, 0x3fc860b09a86ff00),
+ (0x3fb0000002ad31a4, 0x3faff55bbc820c23, 0x3fefe01fe0154058, 0xbfafc05f85dd78f3, 0xbfd4d692f8f482ea, 0x3faf617ebeb00bd8, 0x3fc834f3a9931b00),
+ (0x3fb100000188824f, 0x3fb0f99ea8a41bcd, 0x3fefdc089a435d4f, 0xbfb0d9de9f1c8568, 0xbfd4c669ca505107, 0x3fb0a166428a466f, 0x3fc8063f36448e35),
+ (0x3fb20000009bc757, 0x3fb1f86dbfa33080, 0x3fefd7b3016f7596, 0xbfb1d2c5eedc6080, 0xbfd4b55130ac22d8, 0x3fb18fd8c2bb0ee4, 0x3fc7d526db38f039),
+ (0x3fb3000024c171ae, 0x3fb2f7195618302f, 0x3fefd31f48358ab4, 0xbfb2cadaa8a559c1, 0xbfd4a34b240cff5f, 0x3fb27c47c2ad49a6, 0x3fc7a1702e4d8d69),
+ (0x3fb4000000068d16, 0x3fb3f59f0e82d887, 0x3fefce4da6ab73c7, 0xbfb3c2114d1e9dc2, 0xbfd49059bce708bf, 0x3fb36699156cde19, 0x3fc76b264479966d),
+ (0x3fb4ffffffdaf503, 0x3fb4f3fd674dc761, 0x3fefc93e53a2ae2c, 0xbfb4b85f4a8c15c6, 0xbfd47c7f1d6673be, 0x3fb44eb3ca7ef180, 0x3fc7325487c15892),
+ (0x3fb60000005453f7, 0x3fb5f23250268d66, 0x3fefc3f18b52cb50, 0xbfb5adb99d22e5c3, 0xbfd467bd8b4de796, 0x3fb5347ee36faada, 0x3fc6f706fed2d6e1),
+ (0x3fb7000000057dfc, 0x3fb6f03bdcefbdc7, 0x3fefbe678c078564, 0xbfb6a2157e35172d, 0xbfd452176286cdb9, 0x3fb617e1fe0c1388, 0x3fc6b94a23d2539a),
+ (0x3fb7fffffe7c548b, 0x3fb7ee182482a642, 0x3fefb8a096b5e8ba, 0xbfb7956844e7782f, 0xbfd43b8f17095f3f, 0x3fb6f8c53a2a94dc, 0x3fc6792ae7109ee3),
+ (0x3fb9000000399ffa, 0x3fb8ebc544b20fc7, 0x3fefb29ceedb75bc, 0xbfb887a76b0a59ee, 0xbfd4242733f64aa6, 0x3fb7d7114183708e, 0x3fc636b6a9a36669),
+ (0x3fba000000503ea3, 0x3fb9e941541f49d9, 0x3fefac5cdacc38c0, 0xbfb978c880930264, 0xbfd40be25c5cc9fc, 0x3fb8b2af3f76ad1f, 0x3fc5f1fb3caa1a83),
+ (0x3fbafffffefd604e, 0x3fbae68a70c75b65, 0x3fefa5e0a3559ff9, 0xbfba68c13a88c726, 0xbfd3f2c349624f3b, 0x3fb98b88f1f263f7, 0x3fc5ab06d90ee046),
+ (0x3fbc0000027ada67, 0x3fbbe39ec0e260e9, 0x3fef9f2893aa9d84, 0xbfbb578774c87524, 0xbfd3d8ccc2282c36, 0x3fba6104a32547f8, 0x3fc5622c6b5cdc00),
+ (0x3fbcfffffe2aae0e, 0x3fbce07c5a6d6a81, 0x3fef9834fa03c879, 0xbfbc45111ba09bf8, 0xbfd3be01baf8bc7a, 0x3fbb3410872e3840, 0x3fc516f2437f8a00),
+ (0x3fbe000001dab907, 0x3fbddd2171f3051f, 0x3fef910626538a70, 0xbfbd3154591dc7f9, 0xbfd3a2652c4d0b90, 0x3fbc04a65d78b257, 0x3fc4c967e0fd9461),
+ (0x3fbeffffffa53a79, 0x3fbed98c21368e87, 0x3fef899c6bd1f677, 0xbfbe1c47601d7e8f, 0xbfd385fa159fbfca, 0x3fbcd19beca90b8c, 0x3fc47a256b36705a),
+ (0x3fc000000f142d5a, 0x3fbfd5bab85dc3d0, 0x3fef81f81e981366, 0xbfbf05e0b86e7006, 0xbfd368c39b4690e4, 0x3fbd9b66d4a9b7f8, 0x3fc428f6923eacde),
+ (0x3fc07ffffcdf1951, 0x3fc068d5810d5bd4, 0x3fef7a19994da3f1, 0xbfbfee169210a60e, 0xbfd34ac4fcd8967e, 0x3fbe61f4253945ff, 0x3fc3d5ebc0588a79),
+ (0x3fc1000002aa39f4, 0x3fc0e6adcf926f2e, 0x3fef7201326bccc1, 0xbfc06a70037899d2, 0xbfd32c01735432c2, 0x3fbf25323b0051d6, 0x3fc38115615f521e),
+ (0x3fc18000001fea3b, 0x3fc1646541255ca1, 0x3fef69af483d2f52, 0xbfc0dd19dadefc1f, 0xbfd30c7c5e62ba59, 0x3fbfe50f8f51460e, 0x3fc32a845cd3502a),
+ (0x3fc1fffffe8823bc, 0x3fc1e1faf993a4c8, 0x3fef612438bab95f, 0xbfc14f04587e458a, 0xbfd2ec3924d36b33, 0x3fc050bdc309e406, 0x3fc2d249bb3c927d),
+ (0x3fc27ffffc9337b0, 0x3fc25f6e13bf7bd7, 0x3fef586064c338f8, 0xbfc1c02b10b43292, 0xbfd2cb3b4055087c, 0x3fc0ad330fd21a61, 0x3fc27876c32ba8fe),
+ (0x3fc2fffffdc6bf7b, 0x3fc2dcbdb0cea731, 0x3fef4f642f0fe16c, 0xbfc23089b1286391, 0xbfd2a98638fb0d98, 0x3fc107e008ee7ac7, 0x3fc21d1ce9880c12),
+ (0x3fc3800000c2fb33, 0x3fc359e8eeaa28a7, 0x3fef462ffcd452fe, 0xbfc2a01bf88e9498, 0xbfd2871da71092b5, 0x3fc160bd5de46b03, 0x3fc1c04dd31f291d),
+ (0x3fc4000000d8f876, 0x3fc3d6eee99a2f23, 0x3fef3cc435a04a95, 0xbfc30eddb88397f1, 0xbfd26405321912f4, 0x3fc1b7c415010900, 0x3fc1621b4e780103),
+ (0x3fc48000000de728, 0x3fc453cec616b8c4, 0x3fef332142989e5d, 0xbfc37ccade8e0ca6, 0xbfd240408d609878, 0x3fc20ced92d9e381, 0x3fc1029747314f3d),
+ (0x3fc4ffffff0e7ab0, 0x3fc4d087a8ef1e63, 0x3fef29478efdfd42, 0xbfc3e9df6d60cba2, 0xbfd21bd3796a9ce3, 0x3fc26033953388f3, 0x3fc0a1d3c688050b),
+ (0x3fc57ffffc7377dc, 0x3fc54d18b69dbcdb, 0x3fef1f3788337a10, 0xbfc456177c933fea, 0xbfd1f6c1c37d2372, 0x3fc2b190331b73b1, 0x3fc03fe2eebeac95),
+ (0x3fc5ffffff069c34, 0x3fc5c9811d4c8683, 0x3fef14f19ce2618f, 0xbfc4c16f418df8ce, 0xbfd1d10f41eb9d16, 0x3fc300fde3b8367f, 0x3fbfb9addc08f782),
+ (0x3fc67ffffe3dace2, 0x3fc645bffdfed6b5, 0x3fef0a763ecf8d44, 0xbfc52be2fc09f17c, 0xbfd1aabfda46e407, 0x3fc34e776fde19e4, 0x3fbef18416e713f0),
+ (0x3fc6fffffe88eb88, 0x3fc6c1d4881ddaae, 0x3feeffc5e08c9b3d, 0xbfc5956f0e16385c, 0xbfd183d77857c309, 0x3fc399f803dfed36, 0x3fbe276d18332ee6),
+ (0x3fc77fffffbe804c, 0x3fc73dbde868750f, 0x3feef4e0f6d3f675, 0xbfc5fe0fed8db872, 0xbfd15c5a1291701e, 0x3fc3e37b24a92e8d, 0x3fbd5b8d76fa3afe),
+ (0x3fc7fffffc35d1d7, 0x3fc7b97b48251fed, 0x3feee9c7f89a7009, 0xbfc665c223be9680, 0xbfd1344ba9bdc601, 0x3fc42afcaf9262f8, 0x3fbc8e09cf02b355),
+ (0x3fc8800000a239dc, 0x3fc8350be43569e9, 0x3feede7b5cee6e27, 0xbfc6cc8260df5e45, 0xbfd10bb040c61a32, 0x3fc47078e771a1fe, 0x3fbbbf06908b1814),
+ (0x3fc90000027df7fa, 0x3fc8b06ee4ee22e7, 0x3feed2fb9e8bb11b, 0xbfc7324d5aa33c81, 0xbfd0e28be90da705, 0x3fc4b3ec5d56fe5c, 0x3fbaeea83980b70d),
+ (0x3fc9800002d31c2a, 0x3fc92ba37fbc8427, 0x3feec74938c8c904, 0xbfc7971fe886b4de, 0xbfd0b8e2b6d26476, 0x3fc4f55403930d95, 0x3fba1d131409b3ab),
+ (0x3fc9fffffcddfcfd, 0x3fc9a6a8e66a4ab7, 0x3feebb64a91453c7, 0xbfc7faf6f60a4367, 0xbfd08eb8c5fc4160, 0x3fc534ad23ed705c, 0x3fb94a6b493e7c18),
+ (0x3fca7fffff8b55ee, 0x3fca217e5fa0a315, 0x3feeaf4e6c86c253, 0xbfc85dcf96a2bb00, 0xbfd0641230fa59ed, 0x3fc571f56b9c5c8a, 0x3fb876d4adfc5ac3),
+ (0x3fcafffffd414cf5, 0x3fca9c23189f6ea5, 0x3feea30704596a99, 0xbfc8bfa6e0659b60, 0xbfd038f3200791fd, 0x3fc5ad2ad32c8d7a, 0x3fb7a273097623dd),
+ (0x3fcb7ffffe765c40, 0x3fcb169655d5327a, 0x3fee968ef1197db7, 0xbfc9207a13521ece, 0xbfd00d5fb7ad7b56, 0x3fc5e64bb64ff60a, 0x3fb6cd69b8f6e504),
+ (0x3fcc000000abc4ff, 0x3fcb90d753364d8b, 0x3fee89e6b5bbd593, 0xbfc980467fefa357, 0xbfcfc2b8463315e8, 0x3fc61d56c362a69c, 0x3fb5f7dbddfa3d81),
+ (0x3fcc7fffffda3e36, 0x3fcc0ae54d528b2b, 0x3fee7d0ed6b1420d, 0xbfc9df098ebe3358, 0xbfcf69d920a9cf8c, 0x3fc6524aff4b3332, 0x3fb521ec46597687),
+ (0x3fccfffffff895a3, 0x3fcc84bf8a6d20c0, 0x3fee7007d8e2c735, 0xbfca3cc0c754ee99, 0xbfcf102a3a0ed514, 0x3fc6849fe6a47028, 0x3fb44c40e5060800),
+ (0x3fcd800002e87b67, 0x3fccfe6550e0425b, 0x3fee62d242a27514, 0xbfca9969c88af14c, 0xbfceb5b42bd588bd, 0x3fc6b562a8259298, 0x3fb375f45f6e7800),
+ (0x3fce0000007c3fa1, 0x3fcd77d5df961e94, 0x3fee556e9c79c2d5, 0xbfcaf502433f724e, 0xbfce5a7f5c4a951a, 0x3fc6e49a1c28bf4d, 0x3fb29f2902804d52),
+ (0x3fce8000018c9844, 0x3fcdf11087c3e708, 0x3fee47dd6e4b27d1, 0xbfcb4f880dd31913, 0xbfcdfe93e4e6b22c, 0x3fc71130057e8a97, 0x3fb1c906570f0d02),
+ (0x3fcf0000011971a7, 0x3fce6a148fa0c60b, 0x3fee3a1f427d6bd1, 0xbfcba8f90d9b0ad8, 0xbfcda1fa4468eaa4, 0x3fc73baf35ad6fbc, 0x3fb0f329b1d71c3b),
+ (0x3fcf7fffffae07f0, 0x3fcee2e144d04e42, 0x3fee2c34a3e84e63, 0xbfcc015345086350, 0xbfcd44bad359c3db, 0x3fc76418a7b6f7b9, 0x3fb01db333c0e897),
+ (0x3fd0000003c8cfe7, 0x3fcf5b76004c2654, 0x3fee1e1e1d47929d, 0xbfcc5894d623e3cd, 0xbfcce6ddde8c38ac, 0x3fc78a6da87d134e, 0x3fae9184c911f786),
+ (0x3fd0400003e0f35b, 0x3fcfd3d2038a7c77, 0x3fee0fdc3d4407ce, 0xbfccaebbe9509c5a, 0xbfcc886bc113543a, 0x3fc7aeafca638093, 0x3face8ecd45e8a40),
+ (0x3fd08000032761cb, 0x3fd025fa53fb759e, 0x3fee016f90dfb3ea, 0xbfcd03c6cfa46b13, 0xbfcc296cbe2c693a, 0x3fc7d0e0f31c6cc9, 0x3fab41db5e90e29b),
+ (0x3fd0bffffd1bbae5, 0x3fd061ee9d889212, 0x3fedf2d8a7a1ddae, 0xbfcd57b3e8faad27, 0xbfcbc9e91c1a6c4e, 0x3fc7f1034f0598ee, 0x3fa99c8c39820b78),
+ (0x3fd0fffffda7b6b5, 0x3fd09dc595a7aa29, 0x3fede4180e167b90, 0xbfcdaa81c348841c, 0xbfcb69e8ff46f764, 0x3fc80f195bae93a5, 0x3fa7f9398b9c2669),
+ (0x3fd1400002df4b88, 0x3fd0d97ee7b72b9e, 0x3fedd52e54a32e74, 0xbfcdfc2ef2b6e464, 0xbfcb0974963c35fd, 0x3fc82b25d6d98068, 0x3fa6581c8d5f3f91),
+ (0x3fd18000007fef6f, 0x3fd1151a369b3ad0, 0x3fedc61c0ed3a8b3, 0xbfce4cba17180e39, 0xbfcaa89413bba312, 0x3fc8452bc0669ca5, 0x3fa4b96d672b82b0),
+ (0x3fd1bffffd750e56, 0x3fd1509738407215, 0x3fedb6e1cc5e56bc, 0xbfce9c22010b8ec2, 0xbfca474f8102a8b8, 0x3fc85d2e64dd2c0a, 0x3fa31d6268e4aace),
+ (0x3fd2000003ca0de4, 0x3fd18bf5a68ee3b3, 0x3feda7801cbd34e3, 0xbfceea659ca4de3f, 0xbfc9e5aed4b250a4, 0x3fc87331536725ba, 0x3fa184306c2c9ae3),
+ (0x3fd2400002036234, 0x3fd1c735230a790e, 0x3fed97f79692b2ec, 0xbfcf3783cc4f0a97, 0xbfc983ba20bb093a, 0x3fc887385275eb6c, 0x3f9fdc171f589263),
+ (0x3fd27fffffdfc6c4, 0x3fd2025567c6bf7b, 0x3fed8848caf35b89, 0xbfcf837ba93cd7cf, 0xbfc9217940ea8bf9, 0x3fc89947704663ae, 0x3f9cb64bbd3e6b8a),
+ (0x3fd2bffffed8628c, 0x3fd23d562a27d0d0, 0x3fed78744ce26842, 0xbfcfce4c5c6a3c83, 0xbfc8bef409ec6215, 0x3fc8a962f5b80e45, 0x3f999760297b6b81),
+ (0x3fd2fffffd9ac75c, 0x3fd278371e2461ca, 0x3fed687ab0799710, 0xbfd00bfa9178bb91, 0xbfc85c32431fb914, 0x3fc8b78f661ebb08, 0x3f967fb3033009f6),
+ (0x3fd33ffffe5a26b1, 0x3fd2b2f7fc188619, 0x3fed585c894c7f41, 0xbfd0303aaa9777f1, 0xbfc7f93b9bf3c072, 0x3fc8c3d17ee8c3ea, 0x3f936f9fb86fef86),
+ (0x3fd37ffffec1b143, 0x3fd2ed98795ef86b, 0x3fed481a6c610cdd, 0xbfd053e62ea7a861, 0xbfc79617b7755508, 0x3fc8ce2e3400f439, 0x3f90677ee0a18b9f),
+ (0x3fd3c000003531d6, 0x3fd328184fe61b16, 0x3fed37b4ee113238, 0xbfd076fce03b5660, 0xbfc732ce1eb44786, 0x3fc8d6aaaf852261, 0x3f8acf4b9ec59d46),
+ (0x3fd40000014b4f1a, 0x3fd362773835c112, 0x3fed272ca3a66d1e, 0xbfd0997e8b99570c, 0xbfc6cf664a09a01d, 0x3fc8dd4c4eb42bdc, 0x3f84e0cdba8b378e),
+ (0x3fd44000002a76ab, 0x3fd39cb4eb9caee5, 0x3fed168222b7fc82, 0xbfd0bb6b07fba0fc, 0xbfc66be79ca66f40, 0x3fc8e218a084b591, 0x3f7e0845137e79a8),
+ (0x3fd4800002f0ac40, 0x3fd3d6d12bd1b3a2, 0x3fed05b5fee9e15f, 0xbfd0dcc23bca443d, 0xbfc6085956bc3e59, 0x3fc8e5156401dd74, 0x3f7273c2f54049f0),
+ (0x3fd4c0000398c9cd, 0x3fd410cbb0adb15b, 0x3fecf4c8cf23b4a7, 0xbfd0fd8411e92f76, 0xbfc5a4c2b406c729, 0x3fc8e648851b1c4d, 0x3f5c14e6132786eb),
+ (0x3fd5000000d2b414, 0x3fd44aa43780e819, 0x3fece3bb2923ae3c, 0xbfd11db082866efc, 0xbfc5412ad0e80c83, 0x3fc8e5b81bf6df1b, 0xbf51090196534ac1),
+ (0x3fd5400000d97ce4, 0x3fd4845a8594a669, 0x3fecd28da0a43a9e, 0xbfd13d479421cbf8, 0xbfc4dd98a5510238, 0x3fc8e36a6a29d4e3, 0xbf6ec343ef3f561f),
+ (0x3fd580000083fbd8, 0x3fd4bdee58df2a56, 0x3fecc140cbd716cb, 0xbfd15c4952ee964a, 0xbfc47a131e7a5564, 0x3fc8df65d90205c1, 0xbf7a57ed6c513309),
+ (0x3fd5c0000018a579, 0x3fd4f75f739cb1b0, 0x3fecafd53ff0fa50, 0xbfd17ab5d724d2b5, 0xbfc416a10a536704, 0x3fc8d9b0f77c529d, 0xbf8292192630d9e3),
+ (0x3fd5fffffe824f64, 0x3fd530ad97fc72a4, 0x3fec9e4b92687e96, 0xbfd1988d427b2e5c, 0xbfc3b3491e63dea3, 0x3fc8d25278721643, 0xbf87e2c648beb0b9),
+ (0x3fd63fffff3a13ec, 0x3fd569d88d6ab865, 0x3fec8ca4574c4517, 0xbfd1b5cfc2bbdc5f, 0xbfc35011ee14077d, 0x3fc8c9512fe43c8d, 0xbf8d1d92ca8d1ca8),
+ (0x3fd67fffff856d0c, 0x3fd5a2e016f0f80e, 0x3fec7ae0242da62e, 0xbfd1d27d8ca121f4, 0xbfc2ed01fadabe3b, 0x3fc8beb4125cd6e8, 0xbf91210c8ebe0b06),
+ (0x3fd6bffffe40da9f, 0x3fd5dbc3fa317aac, 0x3fec68ff8df60300, 0xbfd1ee96df565754, 0xbfc28a1fa7a73942, 0x3fc8b282322cefbb, 0xbf93a7fd0b2cabf4),
+ (0x3fd7000000850018, 0x3fd61484037f999c, 0x3fec5703278a5d34, 0xbfd20a1c0634f09a, 0xbfc22771314a492b, 0x3fc8a4c2bc3a467a, 0xbf96236e9d5027af),
+ (0x3fd74000032958c9, 0x3fd64d1ff900be97, 0x3fec44eb85d056c0, 0xbfd2250d52489ac7, 0xbfc1c4fcc46a8260, 0x3fc8957cf8f5c2e9, 0xbf989337c85e3c31),
+ (0x3fd7800001f42af4, 0x3fd68597a1186566, 0x3fec32b93da9d11a, 0xbfd23f6b1d709665, 0xbfc162c871f645a7, 0x3fc884b849764b83, 0xbf9af73214886454),
+ (0x3fd7c000020a1e4e, 0x3fd6bdeacb96c300, 0x3fec206ce0efcd02, 0xbfd25935ce6835b1, 0xbfc100da1ecc4e75, 0x3fc8727c22994bf1, 0xbf9d4f3a6910e69e),
+ (0x3fd7ffffef4b942f, 0x3fd6f619333fae00, 0x3fec0e0708525d88, 0xbfd2726dcab05fb8, 0xbfc09f37b85d7a7c, 0x3fc85ed0151cb6ca, 0xbf9f9b2fc00147e3),
+ (0x3fd84000000e1b33, 0x3fd72e22d546f87e, 0x3febfb88369c3125, 0xbfd28b139d7910a3, 0xbfc03de69c5c8f9e, 0x3fc849bbac9f2806, 0xbfa0ed7b56485e08),
+ (0x3fd88000025752bc, 0x3fd76607548c2d8b, 0x3febe8f10c2b5b27, 0xbfd2a327b1acf5d8, 0xbfbfb9d951a88eda, 0x3fc83346a668b00a, 0xbfa207397a81490f),
+ (0x3fd8c000030eff1b, 0x3fd79dc68c3a3aab, 0x3febd64216bfa88e, 0xbfd2baaa9313a44f, 0xbfbef89e7a4b8711, 0x3fc81b78bad06d46, 0xbfa31ac6be01f8d3),
+ (0x3fd9000001646b31, 0x3fd7d5604c98efba, 0x3febc37be783ad55, 0xbfd2d19cd038f707, 0xbfbe38275d0e35cf, 0x3fc80259b3ae8770, 0xbfa42818bdbf14e0),
+ (0x3fd93fffff640ee2, 0x3fd80cd4698dc1aa, 0x3febb09f0e37b37e, 0xbfd2e7ff0093da3c, 0xbfbd787e5d4923f4, 0x3fc7e7f16509a908, 0xbfa52f26866c2b8d),
+ (0x3fd97ffffdf78491, 0x3fd84422b71e6925, 0x3feb9dac1a54d801, 0xbfd2fdd1c2de7d30, 0xbfbcb9ada303e230, 0x3fc7cc47acdded50, 0xbfa62fe87d13430b),
+ (0x3fd9c00001035746, 0x3fd87b4b0cfdf415, 0x3feb8aa399cd687a, 0xbfd31315be4d8968, 0xbfbbfbbf0e6d9a58, 0x3fc7af646fa7c2bc, 0xbfa72a586923b8a6),
+ (0x3fda000000ffe340, 0x3fd8b24d3a25bea9, 0x3feb77861d504643, 0xbfd327cb9da69e4a, 0xbfbb3ebc624b5dfa, 0x3fc7914f9d605de4, 0xbfa81e71361d0a89),
+ (0x3fda400000100095, 0x3fd8e92917038092, 0x3feb645431fd7c4a, 0xbfd33bf4161c483a, 0xbfba82af05253ec0, 0x3fc7721126702f2c, 0xbfa90c2f3fa9f863),
+ (0x3fda7fffffe222b8, 0x3fd91fde7cb74808, 0x3feb510e645d7829, 0xbfd34f8fe3a4d491, 0xbfb9c7a01f5fd899, 0x3fc751b0fe6efdd3, 0xbfa9f39021b08a68),
+ (0x3fdabffffed95691, 0x3fd9566d42a871d9, 0x3feb3db541373664, 0xbfd3629fc80afeac, 0xbfb90d98369c90d3, 0x3fc72f44fbe48540, 0xbfaad3a70aefe000),
+ (0x3fdb0000004583fc, 0x3fd98cd545886e51, 0x3feb2a49530ec627, 0xbfd375248cf7a4e4, 0xbfb854a0c7dada4b, 0x3fc70cb749bdaee0, 0xbfabae4bec818000),
+ (0x3fdb3ffffc2050fd, 0x3fd9c316597e02fc, 0x3feb16cb270de8bf, 0xbfd3871eff703673, 0xbfb79cc1ecb3e3f8, 0x3fc6e91fcc119ab0, 0xbfac829399932000),
+ (0x3fdb800003ac36ec, 0x3fd9f93069302d4b, 0x3feb033b41d7016a, 0xbfd3988ff9a15401, 0xbfb6e60411f5449e, 0x3fc6c57ea4699da3, 0xbfad516a451d0115),
+ (0x3fdbc00003fd5a1f, 0x3fda2f2341ba0bb7, 0x3feaef9a323ef369, 0xbfd3a97851fa0ac4, 0xbfb6306e7ee85ebe, 0x3fc69fed5d8e28b3, 0xbfae18ff332609af),
+ (0x3fdc0000039b3621, 0x3fda64eec6d30865, 0x3feadbe87e780073, 0xbfd3b9d8ebacdb82, 0xbfb57c08cdfb1b0a, 0x3fc6786dcb5c4d60, 0xbfaed958fd6d6000),
+ (0x3fdc400000a49b57, 0x3fda9a92d6285c97, 0x3feac826ae62f6c8, 0xbfd3c9b2ad31c963, 0xbfb4c8db56e0aecb, 0x3fc650fe5384d100, 0xbfaf944e806c6000),
+ (0x3fdc800001b0d7d2, 0x3fdad00f558b3c25, 0x3feab455465812ed, 0xbfd3d90684bfac31, 0xbfb416ecc8a08e19, 0x3fc628ac8bd8a750, 0xbfb0247eb73f7000),
+ (0x3fdcbfffff851ce5, 0x3fdb05642048528d, 0x3feaa074ce0698a1, 0xbfd3e7d5626ee3ae, 0xbfb366442a9359be, 0x3fc5ff804857c080, 0xbfb07bb6a4d84000),
+ (0x3fdcfffffe193401, 0x3fdb3a911c127cfd, 0x3fea8c85c8b1f3e1, 0xbfd3f6203e274e24, 0xbfb2b6e8269a6794, 0x3fc5d5814b5a6c10, 0xbfb0cfd354252000),
+ (0x3fdd400000235500, 0x3fdb6f962e90b921, 0x3fea7888b9051e04, 0xbfd403e8145c9461, 0xbfb208df2c5981f4, 0x3fc5aab74c19a030, 0xbfb120d984141000),
+ (0x3fdd80000286b038, 0x3fdba473399b82ae, 0x3fea647e227e11d3, 0xbfd4112de4ff3e7d, 0xbfb15c2f7dc2395e, 0x3fc57f29f8cba630, 0xbfb16ece5dded000),
+ (0x3fddc00001cef7fd, 0x3fdbd9281fcf3646, 0x3fea506687b5fab0, 0xbfd41df2b49c19d6, 0xbfb0b0df2042c910, 0x3fc552e0f214fba0, 0xbfb1b9b778d7e000),
+ (0x3fde0000004fc0e4, 0x3fdc0db4c9902cd8, 0x3fea3c42686ef7da, 0xbfd42a378d455f59, 0xbfb006f4457a3232, 0x3fc526eff3475f6d, 0xbfb2020c549fc7a9),
+ (0x3fde3fffff53e727, 0x3fdc42191f647305, 0x3fea281243b119b3, 0xbfd435fd7d3b143b, 0xbfaebce6fa454208, 0x3fc4f948161b503f, 0xbfb246f01632fcd7),
+ (0x3fde7ffffe4a0194, 0x3fdc7655094883b8, 0x3fea13d6980a5b5d, 0xbfd4414596489a02, 0xbfad6ec41b47fbf8, 0x3fc4c9eae58de1a0, 0xbfb2886a8dcd0000),
+ (0x3fdebfffff2d0b48, 0x3fdcaa687247ff28, 0x3fe9ff8fe22665c0, 0xbfd44c10ee631c8a, 0xbfac238be3c9f536, 0x3fc49afdfb9c85b0, 0xbfb2c764d01a0000),
+ (0x3fdefffffe2211e5, 0x3fdcde5341a8f7d7, 0x3fe9eb3e9f72a6e7, 0xbfd456609e708e83, 0xbfaadb471890deec, 0x3fc46b7a80ae40e0, 0xbfb303753a5c2000),
+ (0x3fdf400001e3314b, 0x3fdd1215683e1df1, 0x3fe9d6e348e546c7, 0xbfd46035c47f98ab, 0xbfa995fec6e063a5, 0x3fc43b67a5f30860, 0xbfb33ca3a9377000),
+ (0x3fdf800003a8d041, 0x3fdd45aeccdea6bf, 0x3fe9c27e5aa08505, 0xbfd469917fdb4a8f, 0xbfa853bbce31875a, 0x3fc40acc925a23f0, 0xbfb372f83dba2000),
+ (0x3fdfc000001f74ac, 0x3fdd791f5a2b6535, 0x3fe9ae104e8e2ac4, 0xbfd47274f3aafe74, 0xbfa714868a1a99ad, 0x3fc3d9b055497f10, 0xbfb3a67b69c57000),
+ (0x3fe0000003558fd9, 0x3fddac670ab76e44, 0x3fe999999777521d, 0xbfd47ae148877e35, 0xbfa5d867886713de, 0x3fc3a935919c77de, 0xbfb3d7a4b03bed7b),
+ (0x3fe020000337d712, 0x3fdddf85c0246f0a, 0x3fe9851ab14b1526, 0xbfd482d7a5dddc15, 0xbfa49f638c34686a, 0x3fc376100d9d1a30, 0xbfb40530d8726000),
+ (0x3fe0400000b62087, 0x3fde127b6c28d8fc, 0x3fe9709410c8e4b3, 0xbfd48a5937e72e68, 0xbfa36985896d6846, 0x3fc344b94377092e, 0xbfb430e35d9d8543),
+ (0x3fe06000020fc2e6, 0x3fde454809b1710d, 0x3fe95c062621c687, 0xbfd491672f00db4b, 0xbfa236d0d50efa28, 0x3fc311def4833020, 0xbfb4597aa3dcba29),
+ (0x3fe07ffffd1dd2ee, 0x3fde77eb7a8913af, 0x3fe947716adf56d1, 0xbfd49802ba11dc1c, 0xbfa1074bf3e6c5f4, 0x3fc2dd82145369e0, 0xbfb47f0161fcf000),
+ (0x3fe0a0000020ae23, 0x3fdeaa65c802a0b0, 0x3fe932d647a7f8b0, 0xbfd49e2d0f2d17c5, 0xbf9fb5fc526b9153, 0x3fc2a9edd8a10d00, 0xbfb4a25c9eca4000),
+ (0x3fe0bffffe62365e, 0x3fdedcb6d1b5ebed, 0x3fe91e35354713b3, 0xbfd4a3e76149657c, 0xbf9d63d88329f12e, 0x3fc276074acdc500, 0xbfb4c328bc780000),
+ (0x3fe0dfffff058c1a, 0x3fdf0ede976ba91e, 0x3fe9098e9e8a0791, 0xbfd4a932e90f89aa, 0xbf9b1835db6a2a2c, 0x3fc241d4acd80770, 0xbfb4e170117a3000),
+ (0x3fe1000000022af6, 0x3fdf40dd0b5775b6, 0x3fe8f4e2f2ee66e0, 0xbfd4ae10df38f0de, 0xbf98d31d9fe7cbba, 0x3fc20d5c35659f70, 0xbfb4fd3d151e8000),
+ (0x3fe11fffff8ab5a0, 0x3fdf72b220ee8980, 0x3fe8e032a092e141, 0xbfd4b2827e460418, 0xbf9694984ad2cdcb, 0x3fc1d8a4004008f0, 0xbfb5169a66a9f000),
+ (0x3fe14000015e176d, 0x3fdfa45dd5211a0b, 0x3fe8cb7e10c43f1d, 0xbfd4b68902f758ed, 0xbf945cad318f03e8, 0x3fc1a3b205241980, 0xbfb52d92cd84c000),
+ (0x3fe1600002c01245, 0x3fdfd5e01b9f65b5, 0x3fe8b6c5afc33871, 0xbfd4ba25aa85f813, 0xbf922b635f92cdb3, 0x3fc16e8c2b465870, 0xbfb542312c6ec000),
+ (0x3fe180000005b0df, 0x3fe0039c73c60584, 0x3fe8a209e92e4ca4, 0xbfd4bd59b35af61d, 0xbf9000c35a24191f, 0x3fc13a6a8ec6fa74, 0xbfb554eb109f6098),
+ (0x3fe19ffffcfd1f74, 0x3fe01c341c32ce05, 0x3fe88d4b228d3bc7, 0xbfd4c0265dfd8ea5, 0xbf8bb99bf9151606, 0x3fc104f00f064a5c, 0xbfb564f624f07b1f),
+ (0x3fe1bffffcc45037, 0x3fe034b706ac12f3, 0x3fe87889c0984b64, 0xbfd4c28ceb80b949, 0xbf877f0f7a3534d6, 0x3fc0ce1caea5dc80, 0xbfb5725eaa28f000),
+ (0x3fe1e000015d0939, 0x3fe04d25324d4a16, 0x3fe863c6277e23ec, 0xbfd4c48e9d66b268, 0xbf8351f1b06feba3, 0x3fc0986002b15e50, 0xbfb57e03f43a2000),
+ (0x3fe20000034260ab, 0x3fe0657e97550542, 0x3fe84f00c05a567c, 0xbfd4c62cb59d4924, 0xbf7e648be9263288, 0x3fc0628b48095ca0, 0xbfb5878723eec000),
+ (0x3fe220000196bcfb, 0x3fe07dc333828d0b, 0x3fe83a39eeb54b5a, 0xbfd4c76877223817, 0xbf7640237a6d6d30, 0x3fc02ca3ba99f440, 0xbfb58ef39ecd5000),
+ (0x3fe2400003756189, 0x3fe095f30afdbac3, 0x3fe825720fa6bb7d, 0xbfd4c8432598c0d4, 0xbf6c6d60d75bea04, 0x3fbfed5cd887c340, 0xbfb59454d68b4000),
+ (0x3fe26000013bdd1f, 0x3fe0ae0e172710bb, 0x3fe810a9889533b2, 0xbfd4c8be047e8fed, 0xbf5920e914dd15b8, 0x3fbf8160d625d180, 0xbfb597b64277d000),
+ (0x3fe28000026e7197, 0x3fe0c6145d2dc8dc, 0x3fe7fbe0b3cc857c, 0xbfd4c8da57d785da, 0x3f38b3db2033b920, 0x3fbf155d1d93f540, 0xbfb59923618c3000),
+ (0x3fe29ffffe4c855d, 0x3fe0de05d6652674, 0x3fe7e717f4e58b05, 0xbfd4c899639f2b70, 0x3f6287693d7864dc, 0x3fbea95b5bb7e400, 0xbfb598a7b4b93000),
+ (0x3fe2bfffffef534f, 0x3fe0f5e28b5b78df, 0x3fe7d24fa150837b, 0xbfd4c7fc6b9c5931, 0x3f70e125b375ae70, 0x3fbe3fedafd71237, 0xbfb596b5c99673e4),
+ (0x3fe2e000002e77a2, 0x3fe10daa7752f342, 0x3fe7bd8819154572, 0xbfd4c704b3dfd892, 0x3f7863a555ac2266, 0x3fbdd40f01365dd6, 0xbfb5928aaeb4bdf7),
+ (0x3fe2fffffd7c9d64, 0x3fe1255d9a2022cc, 0x3fe7a8c1b753a014, 0xbfd4c5b3801f820e, 0x3f7fcb39853a1bb2, 0x3fbd65bd8613d740, 0xbfb58c32edd58000),
+ (0x3fe31ffffd82cc9f, 0x3fe13cfbf94585b2, 0x3fe793fcd1396a06, 0xbfd4c40a1333413b, 0x3f838becc98b0eda, 0x3fbcfa1e649f96c0, 0xbfb5848705fe2000),
+ (0x3fe34000020760dc, 0x3fe1548597b4c2f9, 0x3fe77f39bd37da50, 0xbfd4c209afca8f6f, 0x3f8724ccc6f52d4f, 0x3fbc8ead87d86800, 0xbfb57b2bb11af000),
+ (0x3fe35fffffb1e89e, 0x3fe16bfa6f18133e, 0x3fe76a78d9002ba2, 0xbfd4bfb398e809ba, 0x3f8ab041c34cb79c, 0x3fbc23734d502d00, 0xbfb5702c550c2000),
+ (0x3fe37fffffa9dc9d, 0x3fe1835a887fabe0, 0x3fe755ba73b51888, 0xbfd4bd090f92bb18, 0x3f8e2e5415de4536, 0x3fbbb877951c57c0, 0xbfb5639444c5d000),
+ (0x3fe39fffffefd1ad, 0x3fe19aa5e51ddd70, 0x3fe740fee2743c7b, 0xbfd4ba0b54cf55f0, 0x3f90cf85e930af26, 0x3fbb4dc22c569940, 0xbfb5556ec8357000),
+ (0x3fe3bffffd025245, 0x3fe1b1dc8565ca41, 0x3fe72c467a13e900, 0xbfd4b6bba90e7725, 0x3f928138ee4f6ff2, 0x3fbae35aacf0e740, 0xbfb545c718118000),
+ (0x3fe3dffffcd8d6cc, 0x3fe1c8fe70fb7e35, 0x3fe717918808a566, 0xbfd4b31b4adbcf04, 0x3f942c4883ade35b, 0x3fba794859a0afc0, 0xbfb534a856177000),
+ (0x3fe3fffffd8e408d, 0x3fe1e00baa1d04da, 0x3fe702e05d9ffa6f, 0xbfd4af2b7871ca67, 0x3f95d0b7b3fb36e7, 0x3fba123e6124474e, 0xbfb522811fd8a133),
+ (0x3fe42000006e901a, 0x3fe1f70435a64d9d, 0x3fe6ee3348d92b91, 0xbfd4aaed6edf3dea, 0x3f976e91566dba37, 0x3fb9a8ef06a89b9d, 0xbfb50e94ff1867d4),
+ (0x3fe4400000a09097, 0x3fe20de8145acaa5, 0x3fe6d98a9a6f0264, 0xbfd4a6626ab55f2a, 0x3f9905db9ee4b8fd, 0x3fb93d56b7355c80, 0xbfb4f8efe7802000),
+ (0x3fe4600001861467, 0x3fe224b74d32a769, 0x3fe6c4e69c8fc28a, 0xbfd4a18ba5fdcca6, 0x3f9a9698b458c01f, 0x3fb8d4de4a82d700, 0xbfb4e262aeb99000),
+ (0x3fe47fffff909a16, 0x3fe23b71e27da2af, 0x3fe6b0479ca9c160, 0xbfd49c6a5abcf1e6, 0x3f9c20d20d8f992c, 0x3fb86cdc97970200, 0xbfb4ca94d76a4000),
+ (0x3fe49fffffb90e67, 0x3fe25217dce5c5c4, 0x3fe69bade1736aaf, 0xbfd496ffc020ed51, 0x3f9da48f8358d98f, 0x3fb805579f80a400, 0xbfb4b190f53f0000),
+ (0x3fe4c00000128cd2, 0x3fe268a940767cc7, 0x3fe68719b4de44dd, 0xbfd4914d0cf6c50f, 0x3f9f21d8f8715491, 0x3fb79e5545549d80, 0xbfb4976184a36000),
+ (0x3fe4dfffff3e5755, 0x3fe27f2611ebf889, 0x3fe6728b5f498085, 0xbfd48b53767a07ea, 0x3fa04c5b59e2627a, 0x3fb737db36653c00, 0xbfb47c10e4598000),
+ (0x3fe500000148f840, 0x3fe2958e5a167f56, 0x3fe65e032465797a, 0xbfd485142f44c956, 0x3fa10498ca140c07, 0x3fb6d1eedb71be40, 0xbfb45fa94fe02000),
+ (0x3fe52000018790be, 0x3fe2abe21bef8766, 0x3fe649814c4855c7, 0xbfd47e9069f4e9e3, 0x3fa1b9a9349c106a, 0x3fb66c95866404c0, 0xbfb44234ea994000),
+ (0x3fe540000064c499, 0x3fe2c2215e483288, 0x3fe635061a93197b, 0xbfd477c956655f3a, 0x3fa26b9005b791fd, 0x3fb60aa234b1e8ae, 0xbfb4241dc5417ce3),
+ (0x3fe5600002c99e32, 0x3fe2d84c2b4f57a0, 0x3fe62091ced9107e, 0xbfd470c021eda05c, 0x3fa31a54b048ef02, 0x3fb5a6812d9df714, 0xbfb404ad3b9865e5),
+ (0x3fe5800000512c22, 0x3fe2ee62843eb8ef, 0x3fe60c24b0014185, 0xbfd46975facafcfc, 0x3fa3c5fc054af685, 0x3fb5402d421a8b40, 0xbfb3e3ee1a090000),
+ (0x3fe5a0000334351e, 0x3fe30464776e19ff, 0x3fe5f7bef7e40401, 0xbfd461ec08f203ca, 0x3fa46e88d0626c5c, 0x3fb4dd50a5475c80, 0xbfb3c2a9098b8000),
+ (0x3fe5bffffe315006, 0x3fe31a52034bf998, 0x3fe5e360ee28562d, 0xbfd45a23782bc020, 0x3fa51401526e2908, 0x3fb47b1e8f091a80, 0xbfb3a087d2364000),
+ (0x3fe5e00000a1545d, 0x3fe3302b3a257b83, 0x3fe5cf0ac716d488, 0xbfd4521d6b4842ab, 0x3fa5b66b3eb3bc3a, 0x3fb4199af14bd180, 0xbfb37d93b34fe000),
+ (0x3fe5ffffff69b013, 0x3fe345f01c682620, 0x3fe5babcc6a742c0, 0xbfd449db09841112, 0x3fa655cbe07609ee, 0x3fb3b8c9e12c1d00, 0xbfb359d5e3704000),
+ (0x3fe61fffffac056a, 0x3fe35ba0b5d5fb7f, 0x3fe5a677255bb094, 0xbfd4415d73f9ab8d, 0x3fa6f228f4a18aac, 0x3fb358af15142d80, 0xbfb3355762050000),
+ (0x3fe63ffffff36e95, 0x3fe3713d0dee4c27, 0x3fe5923a1ec404b6, 0xbfd438a5cb4c88be, 0x3fa78b88346f22ca, 0x3fb2f94e2b0e0300, 0xbfb310210f69a000),
+ (0x3fe6600002e268dc, 0x3fe386c52f2da1f4, 0x3fe57e05eabaaeda, 0xbfd42fb52cd4f99a, 0x3fa821ef88cc1c46, 0x3fb29aaa894e96c0, 0xbfb2ea3ba114c000),
+ (0x3fe67ffffca43b52, 0x3fe39c391a94c1f4, 0x3fe569dac91c1aae, 0xbfd4268cb7b7c4c8, 0x3fa8b56360fbfb90, 0x3fb23fb635b482a9, 0xbfb2c40c5aced0ef),
+ (0x3fe6a0000087414b, 0x3fe3b198e63c8377, 0x3fe555b8e509d4d9, 0xbfd41d2d803d48ce, 0x3fa945ecc8324226, 0x3fb1e29a04de9b6e, 0xbfb29ce1f03b462c),
+ (0x3fe6bffffca9ca2a, 0x3fe3c6e48f902296, 0x3fe541a07ff88a58, 0xbfd41398a2ef107f, 0x3fa9d3919aace755, 0x3fb1834f7d89ce40, 0xbfb274c5bef82000),
+ (0x3fe6e00003fa3010, 0x3fe3dc1c2cba5e80, 0x3fe52d91c323fcee, 0xbfd409cf2ee4f9e8, 0x3faa5e55c45b939a, 0x3fb127c00d4bf6c0, 0xbfb24c780da48000),
+ (0x3fe6fffffff5c5b2, 0x3fe3f13fb897d886, 0x3fe5198cf0b1cf1f, 0xbfd3ffd23dbec556, 0x3faae6408c051ffe, 0x3fb0ccfcbf6e6a40, 0xbfb223a49e696000),
+ (0x3fe71fffffa86b8e, 0x3fe4064f471d169e, 0x3fe50592322d092f, 0xbfd3f5a2db1bb316, 0x3fab6b589c6aa3fa, 0x3fb07307e1378480, 0xbfb1fa5329170000),
+ (0x3fe7400001ee24e8, 0x3fe41b4ae1b35499, 0x3fe4f1a1ba383080, 0xbfd3eb42151dc89b, 0x3fabeda46cf6c88a, 0x3fb019e3c81c74c0, 0xbfb1d08b51ab4000),
+ (0x3fe76000004807ad, 0x3fe430328e7a1ebd, 0x3fe4ddbbbdbb66b6, 0xbfd3e0b0f944ff81, 0x3fac6d2a725bb64f, 0x3faf832565793f00, 0xbfb1a6549afec000),
+ (0x3fe7800000c376a9, 0x3fe445065bf8569b, 0x3fe4c9e068c4d1e4, 0xbfd3d5f08e7e91ba, 0x3face9f164bddc9a, 0x3faed42d30818400, 0xbfb17bb64ef82000),
+ (0x3fe7a00000bb278d, 0x3fe459c65333fe05, 0x3fe4b60febc4560b, 0xbfd3cb01dc145c05, 0x3fad63ffe9117670, 0x3fae26e2c80dc580, 0xbfb150b79aec4000),
+ (0x3fe7bffffdb2e507, 0x3fe46e727d826a87, 0x3fe4a24a7607bef5, 0xbfd3bfe5e6b19c89, 0x3faddb5b54b3040c, 0x3fad816604197de2, 0xbfb125b8c8b0881c),
+ (0x3fe7e0000252f58a, 0x3fe4830aecddb00e, 0x3fe48e902dbec701, 0xbfd3b49dac459984, 0x3fae500eb957d5e6, 0x3facd1650ee54e80, 0xbfb0f9b4d2d88000),
+ (0x3fe7fffffc963c19, 0x3fe4978fa0f7692e, 0x3fe47ae149c6e6d9, 0xbfd3a92a31ac4439, 0x3faec21c8e9fe30c, 0x3fac29381cb8a880, 0xbfb0cdbe52f5c000),
+ (0x3fe81ffffd933f52, 0x3fe4ac00b03b4c38, 0x3fe4673dea60cfe4, 0xbfd39d8c6d24080f, 0x3faf318d54f3de26, 0x3fab82c543a90280, 0xbfb0a1827562e000),
+ (0x3fe8400002a90411, 0x3fe4c05e248f2ba3, 0x3fe453a63af9e7a4, 0xbfd391c5592e5cad, 0x3faf9e67efa37f40, 0x3faade0f0b5e4c00, 0xbfb075079e842000),
+ (0x3fe85ffffeda28ed, 0x3fe4d4a8017a21db, 0x3fe4401a6c55b7ff, 0xbfd385d5f1a3c88b, 0x3fb0045995221920, 0x3faa3b17f114e780, 0xbfb048541a0ac000),
+ (0x3fe87ffffcb5e629, 0x3fe4e8de59a40615, 0x3fe42c9a9fd97bd7, 0xbfd379bf270aa8eb, 0x3fb0383b14344703, 0x3fa999e1bc66d880, 0xbfb01b6deb596000),
+ (0x3fe8a0000170c515, 0x3fe4fd013c656e86, 0x3fe41926f94766d6, 0xbfd36d81e923c791, 0x3fb06adc00899d63, 0x3fa8fa6e1683e780, 0xbfafdcb5ebc98000),
+ (0x3fe8c0000013189d, 0x3fe51110add1e051, 0x3fe405bfa67ab9da, 0xbfd3611f2c074f8a, 0x3fb09c3fcc701a50, 0x3fa85cbec910c700, 0xbfaf82421fc08000),
+ (0x3fe8dffffea5a4e4, 0x3fe5250cbe1a044e, 0x3fe3f264c8d246d0, 0xbfd35497d9e7b6f1, 0x3fb0cc6a0b4acaae, 0x3fa7c0d506895100, 0xbfaf278b9c710000),
+ (0x3fe8fffffff532e7, 0x3fe538f57b82510b, 0x3fe3df1682be020a, 0xbfd347ecdb613f48, 0x3fb0fb5d96a0b379, 0x3fa72d0add537aa4, 0xbfaecd493ac67089),
+ (0x3fe9200000e0371d, 0x3fe54ccaf0c0e17a, 0x3fe3cbd4f95a3d43, 0xbfd33b1f192ca5ae, 0x3fb129201bd9bcf5, 0x3fa68e563bf5ca00, 0xbfae7181cd9f0000),
+ (0x3fe93ffffed17bb8, 0x3fe5608d290c9c45, 0x3fe3b8a0508476b6, 0xbfd32e2f7884690d, 0x3fb155b3032aa8fb, 0x3fa5f7c2e4e4cd80, 0xbfae16438ba38000),
+ (0x3fe95fffffb19d46, 0x3fe5743c34fb13c6, 0x3fe3a578a61f34cc, 0xbfd3211ed8f518b9, 0x3fb1811a9c607ce3, 0x3fa562f8391c6200, 0xbfadbaec7dd30000),
+ (0x3fe9800001fbd6cc, 0x3fe587d820a9ca1d, 0x3fe3925e1ba3c385, 0xbfd313ee1a3ddcff, 0x3fb1ab5a76e24f11, 0x3fa4cff68dc4ae00, 0xbfad5f866b46c000),
+ (0x3fe9a000028625b6, 0x3fe59b60f7595cc7, 0x3fe37f50d2a59cb4, 0xbfd3069e1a26c510, 0x3fb1d47620a6ae76, 0x3fa43ebe0fa40580, 0xbfad041ad7158000),
+ (0x3fe9c0000013e88f, 0x3fe5aed6c59caa8f, 0x3fe36c50eab346d4, 0xbfd2f92fb30656ff, 0x3fb1fc712a84e7c4, 0x3fa3af4eb4269c00, 0xbfaca8b2f6dac000),
+ (0x3fe9e00000c59ba9, 0x3fe5c2399c9bbead, 0x3fe3595e7e2616dd, 0xbfd2eba3b9686805, 0x3fb2234f2e03dca7, 0x3fa321a82363d200, 0xbfac4d57a3e34000),
+ (0x3fe9ffffff9af828, 0x3fe5d58986d9bfee, 0x3fe34679ad1b9f34, 0xbfd2ddfb03da55d4, 0x3fb24913b63c63f4, 0x3fa295ca0bd98800, 0xbfabf211910ac000),
+ (0x3fea1ffffe6f5c7c, 0x3fe5e8c6931fdc41, 0x3fe333a292cda05f, 0xbfd2d036635848cf, 0x3fb26dc255bbabd0, 0x3fa20bb3d390e000, 0xbfab96e9186cc000),
+ (0x3fea3ffffddba306, 0x3fe5fbf0cf8e022d, 0x3fe320d94a65b14d, 0xbfd2c256a69b9f29, 0x3fb2915ddee0c8a5, 0x3fa189f836ccd898, 0xbfab3c8bd862fbc5),
+ (0x3fea5ffffe550ddd, 0x3fe60f084a48a440, 0x3fe30e1dee5569d2, 0xbfd2b45c9a3476c6, 0x3fb2b3ec17359215, 0x3fa0fcdbe6e84800, 0xbfaae111172ec000),
+ (0x3fea800000e4f98f, 0x3fe6220d11e54f19, 0x3fe2fb7097ede8aa, 0xbfd2a64907194c54, 0x3fb2d56e5363f0a3, 0x3fa07818437a3900, 0xbfaa8670f6f14000),
+ (0x3fea9ffffda78430, 0x3fe634ff2fca48bb, 0x3fe2e8d164e983b8, 0xbfd2981cb8011622, 0x3fb2f5e8d1d6530f, 0x3f9fea318f2ad100, 0xbfaa2c0d5c400000),
+ (0x3feac00000a7650e, 0x3fe647deb944952c, 0x3fe2d64066a2b0d9, 0xbfd289d86c0d2d1b, 0x3fb3155f2583e8e6, 0x3f9ee7b7e4800000, 0xbfa9d1ed38234000),
+ (0x3feadffffedf751c, 0x3fe65aabb61747e5, 0x3fe2c3bdbb183012, 0xbfd27b7ce9f8bb53, 0x3fb333d4c786c2ea, 0x3f9de8c0fc5ad200, 0xbfa978177dbb8000),
+ (0x3feafffffd65ea17, 0x3fe66d66379ec9f1, 0x3fe2b149762e2d21, 0xbfd26d0aeeb178ab, 0x3fb3514d3de8eaea, 0x3f9ced4987a4d100, 0xbfa91e92b3a98000),
+ (0x3feb200000caf460, 0x3fe6800e4ef44188, 0x3fe29ee3ab610acd, 0xbfd25e8334b45cff, 0x3fb36dcc0a58c590, 0x3f9bf54dfdf31300, 0xbfa8c56525bc0000),
+ (0x3feb4000000e26ac, 0x3fe692a4055f2f52, 0x3fe28c8c753d776e, 0xbfd24fe67a0bb733, 0x3fb389549efd4d08, 0x3f9b00cb02862100, 0xbfa86c9508b40000),
+ (0x3feb6000018849cd, 0x3fe6a5276d2d89d2, 0x3fe27a43e4c58f7d, 0xbfd24135732df900, 0x3fb3a3ea77d68263, 0x3f9a0fbc87055500, 0xbfa814282ba74000),
+ (0x3feb8000010d9519, 0x3fe6b79892a64df0, 0x3fe2680a104c3459, 0xbfd23270d6aa460d, 0x3fb3bd90404e0eb5, 0x3f992fb610f8b7a1, 0xbfa7bcc387688703),
+ (0x3feb9ffffe599af5, 0x3fe6c9f7846a2b45, 0x3fe255df0b3288ee, 0xbfd22399572c6060, 0x3fb3d64bb1660697, 0x3f9837ece0652d00, 0xbfa7648eb5fe0000),
+ (0x3febc00000284356, 0x3fe6dc44552c4ed1, 0x3fe243c2e433adbd, 0xbfd214afa0d6b3b1, 0x3fb3ee1def591e9a, 0x3f975122b84b5a00, 0xbfa70d6caea6c000),
+ (0x3febdffffe085993, 0x3fe6ee7f0f01eeef, 0x3fe231b5b1f500b7, 0xbfd205b464c5bfb6, 0x3fb4050b1cb5f2a6, 0x3f966dbba68c0400, 0xbfa6b6c3404c0000),
+ (0x3fec0000034fb3e6, 0x3fe700a7c7586398, 0x3fe21fb77f46182c, 0xbfd1f6a8482e18b6, 0x3fb41b16a1f46d60, 0x3f958db278506e00, 0xbfa66097156f0000),
+ (0x3fec1ffffdfe62e8, 0x3fe712be83078c02, 0x3fe20dc866cc799f, 0xbfd1e78bfb883685, 0x3fb43043ce52cf56, 0x3f94b1029a5ec700, 0xbfa60aecf2b30000),
+ (0x3fec3fffff94c963, 0x3fe724c35b136d78, 0x3fe1fbe86e98a7b2, 0xbfd1d8601c0fd209, 0x3fb4449603e9797b, 0x3f93d7a656cf6400, 0xbfa5b5c9094d0000),
+ (0x3fec60000082bdf4, 0x3fe736b65a605f56, 0x3fe1ea17aa267316, 0xbfd1c92550541ec4, 0x3fb458108eb64abd, 0x3f9301987b6f8700, 0xbfa5612f9c3b8000),
+ (0x3fec800000df6764, 0x3fe748979037234f, 0x3fe1d85628043564, 0xbfd1b9dc38ce0a23, 0x3fb46ab6ba64e101, 0x3f922ed378f00200, 0xbfa50d24a7678000),
+ (0x3fec9fffff08b5c1, 0x3fe75a670af97a58, 0x3fe1c6a3f714bf96, 0xbfd1aa8574538e0f, 0x3fb47c8bcc0c4e1c, 0x3f915f51a50a7500, 0xbfa4b9abfb4dc000),
+ (0x3fecbfffff264192, 0x3fe76c24dc4e49f1, 0x3fe1b501226bbf38, 0xbfd19b219c625478, 0x3fb48d923c79c7f8, 0x3f90a110cf52e4ae, 0xbfa4676263f4c032),
+ (0x3fece00000316893, 0x3fe77dd113055eab, 0x3fe1a36db76194ae, 0xbfd18bb14affb17d, 0x3fb49dcfa250598d, 0x3f8f93ff72a6f600, 0xbfa4147fa51d0000),
+ (0x3fed0000028a12de, 0x3fe78f6bbec21f96, 0x3fe191e9c1f0e9ca, 0xbfd17c351662872d, 0x3fb4ad44d4d39570, 0x3f8e08471e932a00, 0xbfa3c2d2ad154000),
+ (0x3fed200003373601, 0x3fe7a0f4ed5e56f4, 0x3fe180754f521d39, 0xbfd16cad947835ea, 0x3fb4bbf5ca4e213b, 0x3f8c82e4ca8e1c00, 0xbfa371c55ec44000),
+ (0x3fed400000e2fa29, 0x3fe7b26cada9f9ab, 0x3fe16f106b412869, 0xbfd15d1b57e6e3de, 0x3fb4c9e5aa0c4652, 0x3f8b03cbd541a800, 0xbfa3215aa7d68000),
+ (0x3fed5ffffc647157, 0x3fe7c3d30fb0d432, 0x3fe15dbb1fb975b9, 0xbfd14d7eefeac143, 0x3fb4d71795f22c94, 0x3f898aef4bb08a00, 0xbfa2d19546608000),
+ (0x3fed8000030878d4, 0x3fe7d5282a436004, 0x3fe14c756f72ef0b, 0xbfd13dd8e34e747c, 0x3fb4e38eae04b3a6, 0x3f881841786e0000, 0xbfa28277b07e0000),
+ (0x3feda0000038b7ba, 0x3fe7e66c01df9f9b, 0x3fe13b3f6ee50309, 0xbfd12e29c71cae76, 0x3fb4ef4dfe6e2bfe, 0x3f86abb5fe255e00, 0xbfa2340488c34000),
+ (0x3fedc000024cc650, 0x3fe7f79eadf54885, 0x3fe12a191f2548cb, 0xbfd11e721cfd633f, 0x3fb4fa589a26b592, 0x3f85453ebe0b9e00, 0xbfa1e63df3f04000),
+ (0x3fede000009d89d2, 0x3fe808c0399495a2, 0x3fe119028d1fda26, 0xbfd10eb26f95f279, 0x3fb504b184ed26c3, 0x3f83e4ce746a9e00, 0xbfa1992629544000),
+ (0x3fee00000039743a, 0x3fe819d0b7341e61, 0x3fe107fbbde28c9e, 0xbfd0feeb406dd82e, 0x3fb50e5af0d5593e, 0x3f82a72ef1e0c167, 0xbfa14d527b168f8a),
+ (0x3fee1ffffe5cc00a, 0x3fe82ad03521bbb6, 0x3fe0f704ba259f97, 0xbfd0ef1d13273fc2, 0x3fb5175a44a65f21, 0x3f8135cae0939400, 0xbfa1010aa6568000),
+ (0x3fee4000019b115b, 0x3fe83bbec6a702d7, 0x3fe0e61d852e5196, 0xbfd0df4863d03473, 0x3fb51fb00570e1c7, 0x3f7fce36d18fd400, 0xbfa0b60a74c20000),
+ (0x3fee5ffffdf4f7e1, 0x3fe84c9c7540d5f2, 0x3fe0d5462b922e3d, 0xbfd0cf6db5f37b20, 0x3fb5275fea93680c, 0x3f7d3c75fad99000, 0xbfa06bc035858000),
+ (0x3fee80000323ee64, 0x3fe85d6959120279, 0x3fe0c47eaad03167, 0xbfd0bf8d7d13d57e, 0x3fb52e6cdb8a684c, 0x3f7ab635583b0400, 0xbfa0222d3764c000),
+ (0x3feea000027f9467, 0x3fe86e257a464e49, 0x3fe0b3c70fe40a0e, 0xbfd0afa8399b9a17, 0x3fb534d9b198efb2, 0x3f783b593b7d2000, 0xbf9fb2a5de1a8000),
+ (0x3feec000016d28f0, 0x3fe87ed0eb9a3410, 0x3fe0a31f5cc9486a, 0xbfd09fbe5fe0dff2, 0x3fb53aa9435bdcf3, 0x3f75cbc42e130c00, 0xbf9f226507280000),
+ (0x3feee0000186b339, 0x3fe88f6bbdcc87be, 0x3fe092879506eb54, 0xbfd08fd063fd06b3, 0x3fb53fde5f2950c0, 0x3f736758dd6aac00, 0xbf9e939a0cb08000),
+ (0x3feeffffffce4723, 0x3fe89ff5ff3e4b8a, 0x3fe081ffbe119e2e, 0xbfd07fdeba3b0de8, 0x3fb5447bcb488540, 0x3f710dfa27bda400, 0xbf9e0646ebfc0000),
+ (0x3fef20000017d916, 0x3fe8b06fc1db7f25, 0x3fe07187d965874a, 0xbfd06fe9d16dfdc9, 0x3fb5488447a9ed9c, 0x3f6d7f1490008000, 0xbf9d7a6d4a5b0000),
+ (0x3fef3ffffe33911c, 0x3fe8c0d9137147b0, 0x3fe0611fec30af7f, 0xbfd05ff21a3a42d4, 0x3fb54bf9b699774b, 0x3f696e589b06ec6f, 0xbf9cf12a32a34060),
+ (0x3fef5ffffe084599, 0x3fe8d13205f7eff9, 0x3fe050c7f70b73f8, 0xbfd04ff7ffb69502, 0x3fb54ee148abcb5e, 0x3f648602474d4800, 0xbf9c672c6e7a8000),
+ (0x3fef7ffffdfbe7bb, 0x3fe8e17aa896a3fa, 0x3fe0407ffcf5ee0b, 0xbfd03ffbecf3660f, 0x3fb5513b2748a2d9, 0x3f6029586a500800, 0xbf9bdfc7884c0000),
+ (0x3fef9fffff0fa180, 0x3fe8f1b30bcb577c, 0x3fe03047ff31c004, 0xbfd02ffe4a3a5b50, 0x3fb5530ac95cb722, 0x3f57c33cda611000, 0xbf9b59e0e3a28000),
+ (0x3fefc00001a24bf4, 0x3fe901db3fc1bb6f, 0x3fe0201ffeecb132, 0xbfd01fff7e0f13c7, 0x3fb55452c9166f13, 0x3f4eba61be0c4000, 0xbf9ad57931778000),
+ (0x3fefdfffffe38639, 0x3fe911f3518b3813, 0x3fe01008000a410c, 0xbfd00ffff01bf387, 0x3fb55515b9099fdd, 0x3f3c805a37250000, 0xbf9a52910b908000),
+ (0x3feff0000008727f, 0x3fe919f953f31326, 0x3fe00801fffb8473, 0xbfd007fffdfb4766, 0x3fb555453ecbbd3f, 0x3f30045a21318845, 0xbf9a12c2520fd1de),
]
const atan32 = {x@@ -364,7 +364,7 @@
var u = y / x
var t1, t2
(t1, t2) = two_by_two(u, x)
- var du = u * ((1.0 - t1) - t2)
+ var du = y * ((y - t1) - t2)/x
var ret = atan_reduced(u, du)
--- a/lib/math/test/atan-impl.myr
+++ b/lib/math/test/atan-impl.myr
@@ -43,6 +43,10 @@
var inputs : (uint32, uint32)[:] = [
(0x00000000, 0x00000000),
(0xec0c0000, 0xbfc90fdb),
+ (0xd30d0000, 0xbfc90fdb),
+ (0x4c120000, 0x3fc90fda),
+ (0x0c010000, 0x0c010000),
+ (0xc0070000, 0xbf9065b4),
][:]
for (x, y) : inputs