diff --git a/vlib/builtin/int_test.v b/vlib/builtin/int_test.v index 6a6b7ffab8..8180d4b3ec 100644 --- a/vlib/builtin/int_test.v +++ b/vlib/builtin/int_test.v @@ -150,8 +150,9 @@ fn test_int_decl() { assert typeof(x3) == 'int' assert typeof(x4) == 'int' assert typeof(x5) == 'int' + // integers are always 'int' by default x6 := 989898932113111 - x7 := -321314588900011 - assert typeof(x6) == 'u64' + x7 := u64(-321314588900011) + assert typeof(x6) == 'int' assert typeof(x7) == 'u64' } diff --git a/vlib/compiler/expression.v b/vlib/compiler/expression.v index b311dfe4cf..13fa42a0bd 100644 --- a/vlib/compiler/expression.v +++ b/vlib/compiler/expression.v @@ -787,13 +787,7 @@ fn (p mut Parser) factor() string { } .number { // Check if float (`1.0`, `1e+3`) but not if is hexa (e.g. 0xEE contains `E` but is not float) - if (p.lit.contains('.') || p.lit.contains('e') || p.lit.contains('E')) && !(p.lit[..2] in ['0x', '0X']) { - typ = 'f64' - } - else { - v_u64 := p.lit.u64() - typ = if u64(u32(v_u64)) < v_u64 { 'u64' } else { 'int' } - } + typ = if (p.lit.contains('.') || p.lit.contains('e') || p.lit.contains('E')) && !(p.lit[..2] in ['0x', '0X']) { 'f64' } else { 'int' } if p.expected_type != '' && !is_valid_int_const(p.lit, p.expected_type) { p.error('constant `$p.lit` overflows `$p.expected_type`') } diff --git a/vlib/crypto/sha512/sha512.v b/vlib/crypto/sha512/sha512.v index 5bcaa0fc92..6c0efa72e9 100644 --- a/vlib/crypto/sha512/sha512.v +++ b/vlib/crypto/sha512/sha512.v @@ -28,38 +28,38 @@ pub const ( const ( chunk = 128 - init0 = 0x6a09e667f3bcc908 - init1 = 0xbb67ae8584caa73b - init2 = 0x3c6ef372fe94f82b - init3 = 0xa54ff53a5f1d36f1 - init4 = 0x510e527fade682d1 - init5 = 0x9b05688c2b3e6c1f - init6 = 0x1f83d9abfb41bd6b - init7 = 0x5be0cd19137e2179 - init0_224 = 0x8c3d37c819544da2 - init1_224 = 0x73e1996689dcd4d6 - init2_224 = 0x1dfab7ae32ff9c82 - init3_224 = 0x679dd514582f9fcf - init4_224 = 0x0f6d2b697bd44da8 - init5_224 = 0x77e36f7304c48942 - init6_224 = 0x3f9d85a86a1d36c8 - init7_224 = 0x1112e6ad91d692a1 - init0_256 = 0x22312194fc2bf72c - init1_256 = 0x9f555fa3c84c64c2 - init2_256 = 0x2393b86b6f53b151 - init3_256 = 0x963877195940eabd - init4_256 = 0x96283ee2a88effe3 - init5_256 = 0xbe5e1e2553863992 - init6_256 = 0x2b0199fc2c85b8aa - init7_256 = 0x0eb72ddc81c52ca2 - init0_384 = 0xcbbb9d5dc1059ed8 - init1_384 = 0x629a292a367cd507 - init2_384 = 0x9159015a3070dd17 - init3_384 = 0x152fecd8f70e5939 - init4_384 = 0x67332667ffc00b31 - init5_384 = 0x8eb44a8768581511 - init6_384 = 0xdb0c2e0d64f98fa7 - init7_384 = 0x47b5481dbefa4fa4 + init0 = u64(0x6a09e667f3bcc908) + init1 = u64(0xbb67ae8584caa73b) + init2 = u64(0x3c6ef372fe94f82b) + init3 = u64(0xa54ff53a5f1d36f1) + init4 = u64(0x510e527fade682d1) + init5 = u64(0x9b05688c2b3e6c1f) + init6 = u64(0x1f83d9abfb41bd6b) + init7 = u64(0x5be0cd19137e2179) + init0_224 = u64(0x8c3d37c819544da2) + init1_224 = u64(0x73e1996689dcd4d6) + init2_224 = u64(0x1dfab7ae32ff9c82) + init3_224 = u64(0x679dd514582f9fcf) + init4_224 = u64(0x0f6d2b697bd44da8) + init5_224 = u64(0x77e36f7304c48942) + init6_224 = u64(0x3f9d85a86a1d36c8) + init7_224 = u64(0x1112e6ad91d692a1) + init0_256 = u64(0x22312194fc2bf72c) + init1_256 = u64(0x9f555fa3c84c64c2) + init2_256 = u64(0x2393b86b6f53b151) + init3_256 = u64(0x963877195940eabd) + init4_256 = u64(0x96283ee2a88effe3) + init5_256 = u64(0xbe5e1e2553863992) + init6_256 = u64(0x2b0199fc2c85b8aa) + init7_256 = u64(0x0eb72ddc81c52ca2) + init0_384 = u64(0xcbbb9d5dc1059ed8) + init1_384 = u64(0x629a292a367cd507) + init2_384 = u64(0x9159015a3070dd17) + init3_384 = u64(0x152fecd8f70e5939) + init4_384 = u64(0x67332667ffc00b31) + init5_384 = u64(0x8eb44a8768581511) + init6_384 = u64(0xdb0c2e0d64f98fa7) + init7_384 = u64(0x47b5481dbefa4fa4) ) // digest represents the partial evaluation of a checksum. struct Digest { diff --git a/vlib/crypto/sha512/sha512block_generic.v b/vlib/crypto/sha512/sha512block_generic.v index 134442be30..fcb36f5f14 100644 --- a/vlib/crypto/sha512/sha512block_generic.v +++ b/vlib/crypto/sha512/sha512block_generic.v @@ -10,86 +10,86 @@ module sha512 import math.bits const ( - _k = [0x428a2f98d728ae22, - 0x7137449123ef65cd, - 0xb5c0fbcfec4d3b2f, - 0xe9b5dba58189dbbc, - 0x3956c25bf348b538, - 0x59f111f1b605d019, - 0x923f82a4af194f9b, - 0xab1c5ed5da6d8118, - 0xd807aa98a3030242, - 0x12835b0145706fbe, - 0x243185be4ee4b28c, - 0x550c7dc3d5ffb4e2, - 0x72be5d74f27b896f, - 0x80deb1fe3b1696b1, - 0x9bdc06a725c71235, - 0xc19bf174cf692694, - 0xe49b69c19ef14ad2, - 0xefbe4786384f25e3, - 0x0fc19dc68b8cd5b5, - 0x240ca1cc77ac9c65, - 0x2de92c6f592b0275, - 0x4a7484aa6ea6e483, - 0x5cb0a9dcbd41fbd4, - 0x76f988da831153b5, - 0x983e5152ee66dfab, - 0xa831c66d2db43210, - 0xb00327c898fb213f, - 0xbf597fc7beef0ee4, - 0xc6e00bf33da88fc2, - 0xd5a79147930aa725, - 0x06ca6351e003826f, - 0x142929670a0e6e70, - 0x27b70a8546d22ffc, - 0x2e1b21385c26c926, - 0x4d2c6dfc5ac42aed, - 0x53380d139d95b3df, - 0x650a73548baf63de, - 0x766a0abb3c77b2a8, - 0x81c2c92e47edaee6, - 0x92722c851482353b, - 0xa2bfe8a14cf10364, - 0xa81a664bbc423001, - 0xc24b8b70d0f89791, - 0xc76c51a30654be30, - 0xd192e819d6ef5218, - 0xd69906245565a910, - 0xf40e35855771202a, - 0x106aa07032bbd1b8, - 0x19a4c116b8d2d0c8, - 0x1e376c085141ab53, - 0x2748774cdf8eeb99, - 0x34b0bcb5e19b48a8, - 0x391c0cb3c5c95a63, - 0x4ed8aa4ae3418acb, - 0x5b9cca4f7763e373, - 0x682e6ff3d6b2b8a3, - 0x748f82ee5defb2fc, - 0x78a5636f43172f60, - 0x84c87814a1f0ab72, - 0x8cc702081a6439ec, - 0x90befffa23631e28, - 0xa4506cebde82bde9, - 0xbef9a3f7b2c67915, - 0xc67178f2e372532b, - 0xca273eceea26619c, - 0xd186b8c721c0c207, - 0xeada7dd6cde0eb1e, - 0xf57d4f7fee6ed178, - 0x06f067aa72176fba, - 0x0a637dc5a2c898a6, - 0x113f9804bef90dae, - 0x1b710b35131c471b, - 0x28db77f523047d84, - 0x32caab7b40c72493, - 0x3c9ebe0a15c9bebc, - 0x431d67c49c100d4c, - 0x4cc5d4becb3e42b6, - 0x597f299cfc657e2a, - 0x5fcb6fab3ad6faec, - 0x6c44198c4a475817, + _k = [u64(0x428a2f98d728ae22), + u64(0x7137449123ef65cd), + u64(0xb5c0fbcfec4d3b2f), + u64(0xe9b5dba58189dbbc), + u64(0x3956c25bf348b538), + u64(0x59f111f1b605d019), + u64(0x923f82a4af194f9b), + u64(0xab1c5ed5da6d8118), + u64(0xd807aa98a3030242), + u64(0x12835b0145706fbe), + u64(0x243185be4ee4b28c), + u64(0x550c7dc3d5ffb4e2), + u64(0x72be5d74f27b896f), + u64(0x80deb1fe3b1696b1), + u64(0x9bdc06a725c71235), + u64(0xc19bf174cf692694), + u64(0xe49b69c19ef14ad2), + u64(0xefbe4786384f25e3), + u64(0x0fc19dc68b8cd5b5), + u64(0x240ca1cc77ac9c65), + u64(0x2de92c6f592b0275), + u64(0x4a7484aa6ea6e483), + u64(0x5cb0a9dcbd41fbd4), + u64(0x76f988da831153b5), + u64(0x983e5152ee66dfab), + u64(0xa831c66d2db43210), + u64(0xb00327c898fb213f), + u64(0xbf597fc7beef0ee4), + u64(0xc6e00bf33da88fc2), + u64(0xd5a79147930aa725), + u64(0x06ca6351e003826f), + u64(0x142929670a0e6e70), + u64(0x27b70a8546d22ffc), + u64(0x2e1b21385c26c926), + u64(0x4d2c6dfc5ac42aed), + u64(0x53380d139d95b3df), + u64(0x650a73548baf63de), + u64(0x766a0abb3c77b2a8), + u64(0x81c2c92e47edaee6), + u64(0x92722c851482353b), + u64(0xa2bfe8a14cf10364), + u64(0xa81a664bbc423001), + u64(0xc24b8b70d0f89791), + u64(0xc76c51a30654be30), + u64(0xd192e819d6ef5218), + u64(0xd69906245565a910), + u64(0xf40e35855771202a), + u64(0x106aa07032bbd1b8), + u64(0x19a4c116b8d2d0c8), + u64(0x1e376c085141ab53), + u64(0x2748774cdf8eeb99), + u64(0x34b0bcb5e19b48a8), + u64(0x391c0cb3c5c95a63), + u64(0x4ed8aa4ae3418acb), + u64(0x5b9cca4f7763e373), + u64(0x682e6ff3d6b2b8a3), + u64(0x748f82ee5defb2fc), + u64(0x78a5636f43172f60), + u64(0x84c87814a1f0ab72), + u64(0x8cc702081a6439ec), + u64(0x90befffa23631e28), + u64(0xa4506cebde82bde9), + u64(0xbef9a3f7b2c67915), + u64(0xc67178f2e372532b), + u64(0xca273eceea26619c), + u64(0xd186b8c721c0c207), + u64(0xeada7dd6cde0eb1e), + u64(0xf57d4f7fee6ed178), + u64(0x06f067aa72176fba), + u64(0x0a637dc5a2c898a6), + u64(0x113f9804bef90dae), + u64(0x1b710b35131c471b), + u64(0x28db77f523047d84), + u64(0x32caab7b40c72493), + u64(0x3c9ebe0a15c9bebc), + u64(0x431d67c49c100d4c), + u64(0x4cc5d4becb3e42b6), + u64(0x597f299cfc657e2a), + u64(0x5fcb6fab3ad6faec), + u64(0x6c44198c4a475817), ] ) diff --git a/vlib/hash/fnv1a/fnv1a.v b/vlib/hash/fnv1a/fnv1a.v index 24c35b2690..83cca7c09b 100644 --- a/vlib/hash/fnv1a/fnv1a.v +++ b/vlib/hash/fnv1a/fnv1a.v @@ -1,8 +1,8 @@ module fnv1a const ( - fnv64_prime = 1099511628211 - fnv64_offset_basis = 14695981039346656037 + fnv64_prime = u64(1099511628211) + fnv64_offset_basis = u64(14695981039346656037) fnv32_offset_basis = u32(2166136261) fnv32_prime = u32(16777619) ) diff --git a/vlib/hash/wyhash/wyhash.v b/vlib/hash/wyhash/wyhash.v index 1e5ed3f30c..3e9b85a641 100644 --- a/vlib/hash/wyhash/wyhash.v +++ b/vlib/hash/wyhash/wyhash.v @@ -21,11 +21,11 @@ fn C.wyhash(byteptr, u64, u64) u64 const ( - wyp0 = 0xa0761d6478bd642f - wyp1 = 0xe7037ed1a0b428db - wyp2 = 0x8ebc6af09c88c6e3 - wyp3 = 0x589965cc75374cc3 - wyp4 = 0x1d8e4e27c47d124f + wyp0 = u64(0xa0761d6478bd642f) + wyp1 = u64(0xe7037ed1a0b428db) + wyp2 = u64(0x8ebc6af09c88c6e3) + wyp3 = u64(0x589965cc75374cc3) + wyp4 = u64(0x1d8e4e27c47d124f) ) [inline] diff --git a/vlib/math/bits.v b/vlib/math/bits.v index 79318297c2..9a93974a23 100644 --- a/vlib/math/bits.v +++ b/vlib/math/bits.v @@ -4,10 +4,10 @@ module math const ( - uvnan = 0x7FF8000000000001 - uvinf = 0x7FF0000000000000 - uvneginf = 0xFFF0000000000000 - uvone = 0x3FF0000000000000 + uvnan = u64(0x7FF8000000000001) + uvinf = u64(0x7FF0000000000000) + uvneginf = u64(0xFFF0000000000000) + uvone = u64(0x3FF0000000000000) mask = 0x7FF shift = 64 - 11 - 1 bias = 1023 diff --git a/vlib/math/bits/bits.v b/vlib/math/bits/bits.v index ce36fdd074..88d999465c 100644 --- a/vlib/math/bits/bits.v +++ b/vlib/math/bits/bits.v @@ -9,7 +9,7 @@ const ( de_bruijn32tab = [byte(0), 1, 28, 2, 29, 14, 24, 3, 30, 22, 20, 15, 25, 17, 4, 8, 31, 27, 13, 23, 21, 19, 16, 7, 26, 12, 18, 6, 11, 5, 10, 9, ] - de_bruijn64 = (0x03f79d71b4ca8b09) + de_bruijn64 = u64(0x03f79d71b4ca8b09) de_bruijn64tab = [byte(0), 1, 56, 2, 57, 49, 28, 3, 61, 58, 42, 50, 38, 29, 17, 4, 62, 47, 59, 36, 45, 43, 51, 22, 53, 39, 33, 30, 24, 18, 12, 5, 63, 55, 48, 27, 60, 41, 37, 16, 46, 35, 44, 21, 52, 32, 23, 11, @@ -18,17 +18,17 @@ const ( ) const ( - m0 = 0x5555555555555555 // 01010101 ... - m1 = 0x3333333333333333 // 00110011 ... - m2 = 0x0f0f0f0f0f0f0f0f // 00001111 ... - m3 = 0x00ff00ff00ff00ff // etc. - m4 = 0x0000ffff0000ffff + m0 = u64(0x5555555555555555) // 01010101 ... + m1 = u64(0x3333333333333333) // 00110011 ... + m2 = u64(0x0f0f0f0f0f0f0f0f) // 00001111 ... + m3 = u64(0x00ff00ff00ff00ff) // etc. + m4 = u64(0x0000ffff0000ffff) ) const ( // save importing math mod just for these - max_u32 = 4294967295 - max_u64 = 18446744073709551615 + max_u32 = u32(4294967295) + max_u64 = u64(18446744073709551615) ) // --- LeadingZeros --- @@ -371,7 +371,7 @@ pub fn sub_64(x u64, y u64, borrow u64) (u64, u64) { // --- Full-width multiply --- const ( - two32 = 0x1_0000_0000 + two32 = u64(0x1_0000_0000) mask32 = two32 - 1 overflow_error = "Overflow Error" divide_error = "Divide Error" diff --git a/vlib/math/bits/bits_test.v b/vlib/math/bits/bits_test.v index 79eb059d63..e2b59007ec 100644 --- a/vlib/math/bits/bits_test.v +++ b/vlib/math/bits/bits_test.v @@ -277,7 +277,7 @@ fn test_bits(){ for x in 0..62 { hi := u64(i) << x lo := u64(2) //hi - 1 - y := 0x4000_0000_0000_0000 + y := u64(0x4000_0000_0000_0000) quo, rem := div_64(hi, lo, y) //C.printf("[%016llx_%016llx] %016llx (%016llx,%016llx)\n", hi, lo, y, quo, rem) assert quo == u64(2)<<(x+1) diff --git a/vlib/math/const.v b/vlib/math/const.v index e72e5a1899..ba228ffe67 100644 --- a/vlib/math/const.v +++ b/vlib/math/const.v @@ -38,11 +38,11 @@ pub const ( // -9223372036854775808 is wrong because C compilers parse litteral values // without sign first, and 9223372036854775808 overflows i64, hence the // consecutive subtraction by 1 - min_i64 = -9223372036854775807 - 1 - max_i64 = 9223372036854775807 + min_i64 = i64(-9223372036854775807 - 1) + max_i64 = i64(9223372036854775807) max_u8 = 255 max_u16 = 65535 - max_u32 = 4294967295 - max_u64 = 18446744073709551615 + max_u32 = u32(4294967295) + max_u64 = u64(18446744073709551615) ) diff --git a/vlib/strconv/atof.v b/vlib/strconv/atof.v index 1328252e27..f1f0ca6748 100644 --- a/vlib/strconv/atof.v +++ b/vlib/strconv/atof.v @@ -102,9 +102,9 @@ const ( // DIGITS = 18 DOUBLE_PLUS_ZERO = u64(0x0000000000000000) - DOUBLE_MINUS_ZERO = 0x8000000000000000 - DOUBLE_PLUS_INFINITY = 0x7FF0000000000000 - DOUBLE_MINUS_INFINITY = 0xFFF0000000000000 + DOUBLE_MINUS_ZERO = u64(0x8000000000000000) + DOUBLE_PLUS_INFINITY = u64(0x7FF0000000000000) + DOUBLE_MINUS_INFINITY = u64(0xFFF0000000000000) // // parser state machine states // diff --git a/vlib/strconv/atofq/atofq.v b/vlib/strconv/atofq/atofq.v index 797c6dda29..124e3e06c5 100644 --- a/vlib/strconv/atofq/atofq.v +++ b/vlib/strconv/atofq/atofq.v @@ -21,9 +21,9 @@ module atofq // same used in atof, here only for references const( DOUBLE_PLUS_ZERO = u64(0x0000000000000000) - DOUBLE_MINUS_ZERO = 0x8000000000000000 - DOUBLE_PLUS_INFINITY = 0x7FF0000000000000 - DOUBLE_MINUS_INFINITY = 0xFFF0000000000000 + DOUBLE_MINUS_ZERO = u64(0x8000000000000000) + DOUBLE_PLUS_INFINITY = u64(0x7FF0000000000000) + DOUBLE_MINUS_INFINITY = u64(0xFFF0000000000000) ) union Float64u { @@ -151,7 +151,7 @@ pub fn atof_quick(s string) f64 { const ( // positive exp of 10 binary form - pos_exp = [0x3ff0000000000000, 0x4024000000000000, 0x4059000000000000, 0x408f400000000000, 0x40c3880000000000, 0x40f86a0000000000, 0x412e848000000000, 0x416312d000000000, 0x4197d78400000000, 0x41cdcd6500000000, 0x4202a05f20000000, 0x42374876e8000000, 0x426d1a94a2000000, 0x42a2309ce5400000, 0x42d6bcc41e900000, 0x430c6bf526340000, 0x4341c37937e08000, 0x4376345785d8a000, 0x43abc16d674ec800, 0x43e158e460913d00, 0x4415af1d78b58c40, 0x444b1ae4d6e2ef50, 0x4480f0cf064dd592, 0x44b52d02c7e14af6, 0x44ea784379d99db4, 0x45208b2a2c280291, 0x4554adf4b7320335, 0x4589d971e4fe8402, 0x45c027e72f1f1281, 0x45f431e0fae6d721, 0x46293e5939a08cea, 0x465f8def8808b024, 0x4693b8b5b5056e17, 0x46c8a6e32246c99c, 0x46fed09bead87c03, 0x4733426172c74d82, 0x476812f9cf7920e3, 0x479e17b84357691b, 0x47d2ced32a16a1b1, 0x48078287f49c4a1d, 0x483d6329f1c35ca5, 0x48725dfa371a19e7, 0x48a6f578c4e0a061, 0x48dcb2d6f618c879, 0x4911efc659cf7d4c, 0x49466bb7f0435c9e, 0x497c06a5ec5433c6, 0x49b18427b3b4a05c, 0x49e5e531a0a1c873, 0x4a1b5e7e08ca3a8f, 0x4a511b0ec57e649a, 0x4a8561d276ddfdc0, 0x4ababa4714957d30, 0x4af0b46c6cdd6e3e, 0x4b24e1878814c9ce, 0x4b5a19e96a19fc41, 0x4b905031e2503da9, 0x4bc4643e5ae44d13, 0x4bf97d4df19d6057, 0x4c2fdca16e04b86d, 0x4c63e9e4e4c2f344, 0x4c98e45e1df3b015, 0x4ccf1d75a5709c1b, 0x4d03726987666191, 0x4d384f03e93ff9f5, 0x4d6e62c4e38ff872, 0x4da2fdbb0e39fb47, 0x4dd7bd29d1c87a19, 0x4e0dac74463a989f, 0x4e428bc8abe49f64, 0x4e772ebad6ddc73d, 0x4eacfa698c95390c, 0x4ee21c81f7dd43a7, 0x4f16a3a275d49491, 0x4f4c4c8b1349b9b5, 0x4f81afd6ec0e1411, 0x4fb61bcca7119916, 0x4feba2bfd0d5ff5b, 0x502145b7e285bf99, 0x50559725db272f7f, 0x508afcef51f0fb5f, 0x50c0de1593369d1b, 0x50f5159af8044462, 0x512a5b01b605557b, 0x516078e111c3556d, 0x5194971956342ac8, 0x51c9bcdfabc1357a, 0x5200160bcb58c16c, 0x52341b8ebe2ef1c7, 0x526922726dbaae39, 0x529f6b0f092959c7, 0x52d3a2e965b9d81d, 0x53088ba3bf284e24, 0x533eae8caef261ad, 0x53732d17ed577d0c, 0x53a7f85de8ad5c4f, 0x53ddf67562d8b363, 0x5412ba095dc7701e, 0x5447688bb5394c25, 0x547d42aea2879f2e, 0x54b249ad2594c37d, 0x54e6dc186ef9f45c, 0x551c931e8ab87173, 0x5551dbf316b346e8, 0x558652efdc6018a2, 0x55bbe7abd3781eca, 0x55f170cb642b133f, 0x5625ccfe3d35d80e, 0x565b403dcc834e12, 0x569108269fd210cb, 0x56c54a3047c694fe, 0x56fa9cbc59b83a3d, 0x5730a1f5b8132466, 0x5764ca732617ed80, 0x5799fd0fef9de8e0, 0x57d03e29f5c2b18c, 0x58044db473335def, 0x583961219000356b, 0x586fb969f40042c5, 0x58a3d3e2388029bb, 0x58d8c8dac6a0342a, 0x590efb1178484135, 0x59435ceaeb2d28c1, 0x59783425a5f872f1, 0x59ae412f0f768fad, 0x59e2e8bd69aa19cc, 0x5a17a2ecc414a03f, 0x5a4d8ba7f519c84f, 0x5a827748f9301d32, 0x5ab7151b377c247e, 0x5aecda62055b2d9e, 0x5b22087d4358fc82, 0x5b568a9c942f3ba3, 0x5b8c2d43b93b0a8c, 0x5bc19c4a53c4e697, 0x5bf6035ce8b6203d, 0x5c2b843422e3a84d, 0x5c6132a095ce4930, 0x5c957f48bb41db7c, 0x5ccadf1aea12525b, 0x5d00cb70d24b7379, 0x5d34fe4d06de5057, 0x5d6a3de04895e46d, 0x5da066ac2d5daec4, 0x5dd4805738b51a75, 0x5e09a06d06e26112, 0x5e400444244d7cab, 0x5e7405552d60dbd6, 0x5ea906aa78b912cc, 0x5edf485516e7577f, 0x5f138d352e5096af, 0x5f48708279e4bc5b, 0x5f7e8ca3185deb72, 0x5fb317e5ef3ab327, 0x5fe7dddf6b095ff1, 0x601dd55745cbb7ed, 0x6052a5568b9f52f4, 0x60874eac2e8727b1, 0x60bd22573a28f19d, 0x60f2357684599702, 0x6126c2d4256ffcc3, 0x615c73892ecbfbf4, 0x6191c835bd3f7d78, 0x61c63a432c8f5cd6, 0x61fbc8d3f7b3340c, 0x62315d847ad00087, 0x6265b4e5998400a9, 0x629b221effe500d4, 0x62d0f5535fef2084, 0x630532a837eae8a5, 0x633a7f5245e5a2cf, 0x63708f936baf85c1, 0x63a4b378469b6732, 0x63d9e056584240fe, 0x64102c35f729689f, 0x6444374374f3c2c6, 0x647945145230b378, 0x64af965966bce056, 0x64e3bdf7e0360c36, 0x6518ad75d8438f43, 0x654ed8d34e547314, 0x6583478410f4c7ec, 0x65b819651531f9e8, 0x65ee1fbe5a7e7861, 0x6622d3d6f88f0b3d, 0x665788ccb6b2ce0c, 0x668d6affe45f818f, 0x66c262dfeebbb0f9, 0x66f6fb97ea6a9d38, 0x672cba7de5054486, 0x6761f48eaf234ad4, 0x679671b25aec1d89, 0x67cc0e1ef1a724eb, 0x680188d357087713, 0x6835eb082cca94d7, 0x686b65ca37fd3a0d, 0x68a11f9e62fe4448, 0x68d56785fbbdd55a, 0x690ac1677aad4ab1, 0x6940b8e0acac4eaf, 0x6974e718d7d7625a, 0x69aa20df0dcd3af1, 0x69e0548b68a044d6, 0x6a1469ae42c8560c, 0x6a498419d37a6b8f, 0x6a7fe52048590673, 0x6ab3ef342d37a408, 0x6ae8eb0138858d0a, 0x6b1f25c186a6f04c, 0x6b537798f4285630, 0x6b88557f31326bbb, 0x6bbe6adefd7f06aa, 0x6bf302cb5e6f642a, 0x6c27c37e360b3d35, 0x6c5db45dc38e0c82, 0x6c9290ba9a38c7d1, 0x6cc734e940c6f9c6, 0x6cfd022390f8b837, 0x6d3221563a9b7323, 0x6d66a9abc9424feb, 0x6d9c5416bb92e3e6, 0x6dd1b48e353bce70, 0x6e0621b1c28ac20c, 0x6e3baa1e332d728f, 0x6e714a52dffc6799, 0x6ea59ce797fb817f, 0x6edb04217dfa61df, 0x6f10e294eebc7d2c, 0x6f451b3a2a6b9c76, 0x6f7a6208b5068394, 0x6fb07d457124123d, 0x6fe49c96cd6d16cc, 0x7019c3bc80c85c7f, 0x70501a55d07d39cf, 0x708420eb449c8843, 0x70b9292615c3aa54, 0x70ef736f9b3494e9, 0x7123a825c100dd11, 0x7158922f31411456, 0x718eb6bafd91596b, 0x71c33234de7ad7e3, 0x71f7fec216198ddc, 0x722dfe729b9ff153, 0x7262bf07a143f6d4, 0x72976ec98994f489, 0x72cd4a7bebfa31ab, 0x73024e8d737c5f0b, 0x7336e230d05b76cd, 0x736c9abd04725481, 0x73a1e0b622c774d0, 0x73d658e3ab795204, 0x740bef1c9657a686, 0x74417571ddf6c814, 0x7475d2ce55747a18, 0x74ab4781ead1989e, 0x74e10cb132c2ff63, 0x75154fdd7f73bf3c, 0x754aa3d4df50af0b, 0x7580a6650b926d67, 0x75b4cffe4e7708c0, 0x75ea03fde214caf1, 0x7620427ead4cfed6, 0x7654531e58a03e8c, 0x768967e5eec84e2f, 0x76bfc1df6a7a61bb, 0x76f3d92ba28c7d15, 0x7728cf768b2f9c5a, 0x775f03542dfb8370, 0x779362149cbd3226, 0x77c83a99c3ec7eb0, 0x77fe494034e79e5c, 0x7832edc82110c2f9, 0x7867a93a2954f3b8, 0x789d9388b3aa30a5, 0x78d27c35704a5e67, 0x79071b42cc5cf601, 0x793ce2137f743382, 0x79720d4c2fa8a031, 0x79a6909f3b92c83d, 0x79dc34c70a777a4d, 0x7a11a0fc668aac70, 0x7a46093b802d578c, 0x7a7b8b8a6038ad6f, 0x7ab137367c236c65, 0x7ae585041b2c477f, 0x7b1ae64521f7595e, 0x7b50cfeb353a97db, 0x7b8503e602893dd2, 0x7bba44df832b8d46, 0x7bf06b0bb1fb384c, 0x7c2485ce9e7a065f, 0x7c59a742461887f6, 0x7c9008896bcf54fa, 0x7cc40aabc6c32a38, 0x7cf90d56b873f4c7, 0x7d2f50ac6690f1f8, 0x7d63926bc01a973b, 0x7d987706b0213d0a, 0x7dce94c85c298c4c, 0x7e031cfd3999f7b0, 0x7e37e43c8800759c, 0x7e6ddd4baa009303, 0x7ea2aa4f4a405be2, 0x7ed754e31cd072da, 0x7f0d2a1be4048f90, 0x7f423a516e82d9ba, 0x7f76c8e5ca239029, 0x7fac7b1f3cac7433, 0x7fe1ccf385ebc8a0] + pos_exp = [u64(0x3ff0000000000000), u64(0x4024000000000000), u64(0x4059000000000000), u64(0x408f400000000000), u64(0x40c3880000000000), u64(0x40f86a0000000000), u64(0x412e848000000000), u64(0x416312d000000000), u64(0x4197d78400000000), u64(0x41cdcd6500000000), u64(0x4202a05f20000000), u64(0x42374876e8000000), u64(0x426d1a94a2000000), u64(0x42a2309ce5400000), u64(0x42d6bcc41e900000), u64(0x430c6bf526340000), u64(0x4341c37937e08000), u64(0x4376345785d8a000), u64(0x43abc16d674ec800), u64(0x43e158e460913d00), u64(0x4415af1d78b58c40), u64(0x444b1ae4d6e2ef50), u64(0x4480f0cf064dd592), u64(0x44b52d02c7e14af6), u64(0x44ea784379d99db4), u64(0x45208b2a2c280291), u64(0x4554adf4b7320335), u64(0x4589d971e4fe8402), u64(0x45c027e72f1f1281), u64(0x45f431e0fae6d721), u64(0x46293e5939a08cea), u64(0x465f8def8808b024), u64(0x4693b8b5b5056e17), u64(0x46c8a6e32246c99c), u64(0x46fed09bead87c03), u64(0x4733426172c74d82), u64(0x476812f9cf7920e3), u64(0x479e17b84357691b), u64(0x47d2ced32a16a1b1), u64(0x48078287f49c4a1d), u64(0x483d6329f1c35ca5), u64(0x48725dfa371a19e7), u64(0x48a6f578c4e0a061), u64(0x48dcb2d6f618c879), u64(0x4911efc659cf7d4c), u64(0x49466bb7f0435c9e), u64(0x497c06a5ec5433c6), u64(0x49b18427b3b4a05c), u64(0x49e5e531a0a1c873), u64(0x4a1b5e7e08ca3a8f), u64(0x4a511b0ec57e649a), u64(0x4a8561d276ddfdc0), u64(0x4ababa4714957d30), u64(0x4af0b46c6cdd6e3e), u64(0x4b24e1878814c9ce), u64(0x4b5a19e96a19fc41), u64(0x4b905031e2503da9), u64(0x4bc4643e5ae44d13), u64(0x4bf97d4df19d6057), u64(0x4c2fdca16e04b86d), u64(0x4c63e9e4e4c2f344), u64(0x4c98e45e1df3b015), u64(0x4ccf1d75a5709c1b), u64(0x4d03726987666191), u64(0x4d384f03e93ff9f5), u64(0x4d6e62c4e38ff872), u64(0x4da2fdbb0e39fb47), u64(0x4dd7bd29d1c87a19), u64(0x4e0dac74463a989f), u64(0x4e428bc8abe49f64), u64(0x4e772ebad6ddc73d), u64(0x4eacfa698c95390c), u64(0x4ee21c81f7dd43a7), u64(0x4f16a3a275d49491), u64(0x4f4c4c8b1349b9b5), u64(0x4f81afd6ec0e1411), u64(0x4fb61bcca7119916), u64(0x4feba2bfd0d5ff5b), u64(0x502145b7e285bf99), u64(0x50559725db272f7f), u64(0x508afcef51f0fb5f), u64(0x50c0de1593369d1b), u64(0x50f5159af8044462), u64(0x512a5b01b605557b), u64(0x516078e111c3556d), u64(0x5194971956342ac8), u64(0x51c9bcdfabc1357a), u64(0x5200160bcb58c16c), u64(0x52341b8ebe2ef1c7), u64(0x526922726dbaae39), u64(0x529f6b0f092959c7), u64(0x52d3a2e965b9d81d), u64(0x53088ba3bf284e24), u64(0x533eae8caef261ad), u64(0x53732d17ed577d0c), u64(0x53a7f85de8ad5c4f), u64(0x53ddf67562d8b363), u64(0x5412ba095dc7701e), u64(0x5447688bb5394c25), u64(0x547d42aea2879f2e), u64(0x54b249ad2594c37d), u64(0x54e6dc186ef9f45c), u64(0x551c931e8ab87173), u64(0x5551dbf316b346e8), u64(0x558652efdc6018a2), u64(0x55bbe7abd3781eca), u64(0x55f170cb642b133f), u64(0x5625ccfe3d35d80e), u64(0x565b403dcc834e12), u64(0x569108269fd210cb), u64(0x56c54a3047c694fe), u64(0x56fa9cbc59b83a3d), u64(0x5730a1f5b8132466), u64(0x5764ca732617ed80), u64(0x5799fd0fef9de8e0), u64(0x57d03e29f5c2b18c), u64(0x58044db473335def), u64(0x583961219000356b), u64(0x586fb969f40042c5), u64(0x58a3d3e2388029bb), u64(0x58d8c8dac6a0342a), u64(0x590efb1178484135), u64(0x59435ceaeb2d28c1), u64(0x59783425a5f872f1), u64(0x59ae412f0f768fad), u64(0x59e2e8bd69aa19cc), u64(0x5a17a2ecc414a03f), u64(0x5a4d8ba7f519c84f), u64(0x5a827748f9301d32), u64(0x5ab7151b377c247e), u64(0x5aecda62055b2d9e), u64(0x5b22087d4358fc82), u64(0x5b568a9c942f3ba3), u64(0x5b8c2d43b93b0a8c), u64(0x5bc19c4a53c4e697), u64(0x5bf6035ce8b6203d), u64(0x5c2b843422e3a84d), u64(0x5c6132a095ce4930), u64(0x5c957f48bb41db7c), u64(0x5ccadf1aea12525b), u64(0x5d00cb70d24b7379), u64(0x5d34fe4d06de5057), u64(0x5d6a3de04895e46d), u64(0x5da066ac2d5daec4), u64(0x5dd4805738b51a75), u64(0x5e09a06d06e26112), u64(0x5e400444244d7cab), u64(0x5e7405552d60dbd6), u64(0x5ea906aa78b912cc), u64(0x5edf485516e7577f), u64(0x5f138d352e5096af), u64(0x5f48708279e4bc5b), u64(0x5f7e8ca3185deb72), u64(0x5fb317e5ef3ab327), u64(0x5fe7dddf6b095ff1), u64(0x601dd55745cbb7ed), u64(0x6052a5568b9f52f4), u64(0x60874eac2e8727b1), u64(0x60bd22573a28f19d), u64(0x60f2357684599702), u64(0x6126c2d4256ffcc3), u64(0x615c73892ecbfbf4), u64(0x6191c835bd3f7d78), u64(0x61c63a432c8f5cd6), u64(0x61fbc8d3f7b3340c), u64(0x62315d847ad00087), u64(0x6265b4e5998400a9), u64(0x629b221effe500d4), u64(0x62d0f5535fef2084), u64(0x630532a837eae8a5), u64(0x633a7f5245e5a2cf), u64(0x63708f936baf85c1), u64(0x63a4b378469b6732), u64(0x63d9e056584240fe), u64(0x64102c35f729689f), u64(0x6444374374f3c2c6), u64(0x647945145230b378), u64(0x64af965966bce056), u64(0x64e3bdf7e0360c36), u64(0x6518ad75d8438f43), u64(0x654ed8d34e547314), u64(0x6583478410f4c7ec), u64(0x65b819651531f9e8), u64(0x65ee1fbe5a7e7861), u64(0x6622d3d6f88f0b3d), u64(0x665788ccb6b2ce0c), u64(0x668d6affe45f818f), u64(0x66c262dfeebbb0f9), u64(0x66f6fb97ea6a9d38), u64(0x672cba7de5054486), u64(0x6761f48eaf234ad4), u64(0x679671b25aec1d89), u64(0x67cc0e1ef1a724eb), u64(0x680188d357087713), u64(0x6835eb082cca94d7), u64(0x686b65ca37fd3a0d), u64(0x68a11f9e62fe4448), u64(0x68d56785fbbdd55a), u64(0x690ac1677aad4ab1), u64(0x6940b8e0acac4eaf), u64(0x6974e718d7d7625a), u64(0x69aa20df0dcd3af1), u64(0x69e0548b68a044d6), u64(0x6a1469ae42c8560c), u64(0x6a498419d37a6b8f), u64(0x6a7fe52048590673), u64(0x6ab3ef342d37a408), u64(0x6ae8eb0138858d0a), u64(0x6b1f25c186a6f04c), u64(0x6b537798f4285630), u64(0x6b88557f31326bbb), u64(0x6bbe6adefd7f06aa), u64(0x6bf302cb5e6f642a), u64(0x6c27c37e360b3d35), u64(0x6c5db45dc38e0c82), u64(0x6c9290ba9a38c7d1), u64(0x6cc734e940c6f9c6), u64(0x6cfd022390f8b837), u64(0x6d3221563a9b7323), u64(0x6d66a9abc9424feb), u64(0x6d9c5416bb92e3e6), u64(0x6dd1b48e353bce70), u64(0x6e0621b1c28ac20c), u64(0x6e3baa1e332d728f), u64(0x6e714a52dffc6799), u64(0x6ea59ce797fb817f), u64(0x6edb04217dfa61df), u64(0x6f10e294eebc7d2c), u64(0x6f451b3a2a6b9c76), u64(0x6f7a6208b5068394), u64(0x6fb07d457124123d), u64(0x6fe49c96cd6d16cc), u64(0x7019c3bc80c85c7f), u64(0x70501a55d07d39cf), u64(0x708420eb449c8843), u64(0x70b9292615c3aa54), u64(0x70ef736f9b3494e9), u64(0x7123a825c100dd11), u64(0x7158922f31411456), u64(0x718eb6bafd91596b), u64(0x71c33234de7ad7e3), u64(0x71f7fec216198ddc), u64(0x722dfe729b9ff153), u64(0x7262bf07a143f6d4), u64(0x72976ec98994f489), u64(0x72cd4a7bebfa31ab), u64(0x73024e8d737c5f0b), u64(0x7336e230d05b76cd), u64(0x736c9abd04725481), u64(0x73a1e0b622c774d0), u64(0x73d658e3ab795204), u64(0x740bef1c9657a686), u64(0x74417571ddf6c814), u64(0x7475d2ce55747a18), u64(0x74ab4781ead1989e), u64(0x74e10cb132c2ff63), u64(0x75154fdd7f73bf3c), u64(0x754aa3d4df50af0b), u64(0x7580a6650b926d67), u64(0x75b4cffe4e7708c0), u64(0x75ea03fde214caf1), u64(0x7620427ead4cfed6), u64(0x7654531e58a03e8c), u64(0x768967e5eec84e2f), u64(0x76bfc1df6a7a61bb), u64(0x76f3d92ba28c7d15), u64(0x7728cf768b2f9c5a), u64(0x775f03542dfb8370), u64(0x779362149cbd3226), u64(0x77c83a99c3ec7eb0), u64(0x77fe494034e79e5c), u64(0x7832edc82110c2f9), u64(0x7867a93a2954f3b8), u64(0x789d9388b3aa30a5), u64(0x78d27c35704a5e67), u64(0x79071b42cc5cf601), u64(0x793ce2137f743382), u64(0x79720d4c2fa8a031), u64(0x79a6909f3b92c83d), u64(0x79dc34c70a777a4d), u64(0x7a11a0fc668aac70), u64(0x7a46093b802d578c), u64(0x7a7b8b8a6038ad6f), u64(0x7ab137367c236c65), u64(0x7ae585041b2c477f), u64(0x7b1ae64521f7595e), u64(0x7b50cfeb353a97db), u64(0x7b8503e602893dd2), u64(0x7bba44df832b8d46), u64(0x7bf06b0bb1fb384c), u64(0x7c2485ce9e7a065f), u64(0x7c59a742461887f6), u64(0x7c9008896bcf54fa), u64(0x7cc40aabc6c32a38), u64(0x7cf90d56b873f4c7), u64(0x7d2f50ac6690f1f8), u64(0x7d63926bc01a973b), u64(0x7d987706b0213d0a), u64(0x7dce94c85c298c4c), u64(0x7e031cfd3999f7b0), u64(0x7e37e43c8800759c), u64(0x7e6ddd4baa009303), u64(0x7ea2aa4f4a405be2), u64(0x7ed754e31cd072da), u64(0x7f0d2a1be4048f90), u64(0x7f423a516e82d9ba), u64(0x7f76c8e5ca239029), u64(0x7fac7b1f3cac7433), u64(0x7fe1ccf385ebc8a0)] // negative exp of 10 binary form - neg_exp = [0x3ff0000000000000, 0x3fb999999999999a, 0x3f847ae147ae147b, 0x3f50624dd2f1a9fc, 0x3f1a36e2eb1c432d, 0x3ee4f8b588e368f1, 0x3eb0c6f7a0b5ed8d, 0x3e7ad7f29abcaf48, 0x3e45798ee2308c3a, 0x3e112e0be826d695, 0x3ddb7cdfd9d7bdbb, 0x3da5fd7fe1796495, 0x3d719799812dea11, 0x3d3c25c268497682, 0x3d06849b86a12b9b, 0x3cd203af9ee75616, 0x3c9cd2b297d889bc, 0x3c670ef54646d497, 0x3c32725dd1d243ac, 0x3bfd83c94fb6d2ac, 0x3bc79ca10c924223, 0x3b92e3b40a0e9b4f, 0x3b5e392010175ee6, 0x3b282db34012b251, 0x3af357c299a88ea7, 0x3abef2d0f5da7dd9, 0x3a88c240c4aecb14, 0x3a53ce9a36f23c10, 0x3a1fb0f6be506019, 0x39e95a5efea6b347, 0x39b4484bfeebc2a0, 0x398039d665896880, 0x3949f623d5a8a733, 0x3914c4e977ba1f5c, 0x38e09d8792fb4c49, 0x38aa95a5b7f87a0f, 0x38754484932d2e72, 0x3841039d428a8b8f, 0x380b38fb9daa78e4, 0x37d5c72fb1552d83, 0x37a16c262777579c, 0x376be03d0bf225c7, 0x37364cfda3281e39, 0x3701d7314f534b61, 0x36cc8b8218854567, 0x3696d601ad376ab9, 0x366244ce242c5561, 0x362d3ae36d13bbce, 0x35f7624f8a762fd8, 0x35c2b50c6ec4f313, 0x358dee7a4ad4b81f, 0x3557f1fb6f10934c, 0x352327fc58da0f70, 0x34eea6608e29b24d, 0x34b8851a0b548ea4, 0x34839dae6f76d883, 0x344f62b0b257c0d2, 0x34191bc08eac9a41, 0x33e41633a556e1ce, 0x33b011c2eaabe7d8, 0x3379b604aaaca626, 0x3344919d5556eb52, 0x3310747ddddf22a8, 0x32da53fc9631d10d, 0x32a50ffd44f4a73d, 0x3270d9976a5d5297, 0x323af5bf109550f2, 0x32059165a6ddda5b, 0x31d1411e1f17e1e3, 0x319b9b6364f30304, 0x316615e91d8f359d, 0x3131ab20e472914a, 0x30fc45016d841baa, 0x30c69d9abe034955, 0x309217aefe690777, 0x305cf2b1970e7258, 0x3027288e1271f513, 0x2ff286d80ec190dc, 0x2fbda48ce468e7c7, 0x2f87b6d71d20b96c, 0x2f52f8ac174d6123, 0x2f1e5aacf2156838, 0x2ee8488a5b445360, 0x2eb36d3b7c36a91a, 0x2e7f152bf9f10e90, 0x2e48ddbcc7f40ba6, 0x2e13e497065cd61f, 0x2ddfd424d6faf031, 0x2da97683df2f268d, 0x2d745ecfe5bf520b, 0x2d404bd984990e6f, 0x2d0a12f5a0f4e3e5, 0x2cd4dbf7b3f71cb7, 0x2ca0aff95cc5b092, 0x2c6ab328946f80ea, 0x2c355c2076bf9a55, 0x2c0116805effaeaa, 0x2bcb5733cb32b111, 0x2b95df5ca28ef40d, 0x2b617f7d4ed8c33e, 0x2b2bff2ee48e0530, 0x2af665bf1d3e6a8d, 0x2ac1eaff4a98553d, 0x2a8cab3210f3bb95, 0x2a56ef5b40c2fc77, 0x2a225915cd68c9f9, 0x29ed5b561574765b, 0x29b77c44ddf6c516, 0x2982c9d0b1923745, 0x294e0fb44f50586e, 0x29180c903f7379f2, 0x28e33d4032c2c7f5, 0x28aec866b79e0cba, 0x2878a0522c7e7095, 0x2843b374f06526de, 0x280f8587e7083e30, 0x27d9379fec069826, 0x27a42c7ff0054685, 0x277023998cd10537, 0x2739d28f47b4d525, 0x2704a8729fc3ddb7, 0x26d086c219697e2c, 0x269a71368f0f3047, 0x2665275ed8d8f36c, 0x2630ec4be0ad8f89, 0x25fb13ac9aaf4c0f, 0x25c5a956e225d672, 0x2591544581b7dec2, 0x255bba08cf8c979d, 0x25262e6d72d6dfb0, 0x24f1bebdf578b2f4, 0x24bc6463225ab7ec, 0x2486b6b5b5155ff0, 0x24522bc490dde65a, 0x241d12d41afca3c3, 0x23e7424348ca1c9c, 0x23b29b69070816e3, 0x237dc574d80cf16b, 0x2347d12a4670c123, 0x23130dbb6b8d674f, 0x22de7c5f127bd87e, 0x22a8637f41fcad32, 0x227382cc34ca2428, 0x223f37ad21436d0c, 0x2208f9574dcf8a70, 0x21d3faac3e3fa1f3, 0x219ff779fd329cb9, 0x216992c7fdc216fa, 0x2134756ccb01abfb, 0x21005df0a267bcc9, 0x20ca2fe76a3f9475, 0x2094f31f8832dd2a, 0x2060c27fa028b0ef, 0x202ad0cc33744e4b, 0x1ff573d68f903ea2, 0x1fc1297872d9cbb5, 0x1f8b758d848fac55, 0x1f55f7a46a0c89dd, 0x1f2192e9ee706e4b, 0x1eec1e43171a4a11, 0x1eb67e9c127b6e74, 0x1e81fee341fc585d, 0x1e4ccb0536608d61, 0x1e1708d0f84d3de7, 0x1de26d73f9d764b9, 0x1dad7becc2f23ac2, 0x1d779657025b6235, 0x1d42deac01e2b4f7, 0x1d0e3113363787f2, 0x1cd8274291c6065b, 0x1ca3529ba7d19eaf, 0x1c6eea92a61c3118, 0x1c38bba884e35a7a, 0x1c03c9539d82aec8, 0x1bcfa885c8d117a6, 0x1b99539e3a40dfb8, 0x1b6442e4fb671960, 0x1b303583fc527ab3, 0x1af9ef3993b72ab8, 0x1ac4bf6142f8eefa, 0x1a90991a9bfa58c8, 0x1a5a8e90f9908e0d, 0x1a253eda614071a4, 0x19f0ff151a99f483, 0x19bb31bb5dc320d2, 0x1985c162b168e70e, 0x1951678227871f3e, 0x191bd8d03f3e9864, 0x18e6470cff6546b6, 0x18b1d270cc51055f, 0x187c83e7ad4e6efe, 0x1846cfec8aa52598, 0x18123ff06eea847a, 0x17dd331a4b10d3f6, 0x17a75c1508da432b, 0x1772b010d3e1cf56, 0x173de6815302e556, 0x1707eb9aa8cf1dde, 0x16d322e220a5b17e, 0x169e9e369aa2b597, 0x16687e92154ef7ac, 0x16339874ddd8c623, 0x15ff5a549627a36c, 0x15c91510781fb5f0, 0x159410d9f9b2f7f3, 0x15600d7b2e28c65c, 0x1529af2b7d0e0a2d, 0x14f48c22ca71a1bd, 0x14c0701bd527b498, 0x148a4cf9550c5426, 0x14550a6110d6a9b8, 0x1420d51a73deee2d, 0x13eaee90b964b047, 0x13b58ba6fab6f36c, 0x13813c85955f2923, 0x134b9408eefea839, 0x1316100725988694, 0x12e1a66c1e139edd, 0x12ac3d79c9b8fe2e, 0x12769794a160cb58, 0x124212dd4de70913, 0x120ceafbafd80e85, 0x11d72262f3133ed1, 0x11a281e8c275cbda, 0x116d9ca79d89462a, 0x1137b08617a104ee, 0x1102f39e794d9d8b, 0x10ce5297287c2f45, 0x1098421286c9bf6b, 0x1063680ed23aff89, 0x102f0ce4839198db, 0x0ff8d71d360e13e2, 0x0fc3df4a91a4dcb5, 0x0f8fcbaa82a16121, 0x0f596fbb9bb44db4, 0x0f245962e2f6a490, 0x0ef047824f2bb6da, 0x0eba0c03b1df8af6, 0x0e84d6695b193bf8, 0x0e50ab877c142ffa, 0x0e1aac0bf9b9e65c, 0x0de5566ffafb1eb0, 0x0db111f32f2f4bc0, 0x0d7b4feb7eb212cd, 0x0d45d98932280f0a, 0x0d117ad428200c08, 0x0cdbf7b9d9cce00d, 0x0ca65fc7e170b33e, 0x0c71e6398126f5cb, 0x0c3ca38f350b22df, 0x0c06e93f5da2824c, 0x0bd25432b14ecea3, 0x0b9d53844ee47dd1, 0x0b677603725064a8, 0x0b32c4cf8ea6b6ec, 0x0afe07b27dd78b14, 0x0ac8062864ac6f43, 0x0a9338205089f29c, 0x0a5ec033b40fea93, 0x0a2899c2f6732210, 0x09f3ae3591f5b4d9, 0x09bf7d228322baf5, 0x098930e868e89591, 0x0954272053ed4474, 0x09201f4d0ff10390, 0x08e9cbae7fe805b3, 0x08b4a2f1ffecd15c, 0x0880825b3323dab0, 0x084a6a2b85062ab3, 0x081521bc6a6b555c, 0x07e0e7c9eebc444a, 0x07ab0c764ac6d3a9, 0x0775a391d56bdc87, 0x07414fa7ddefe3a0, 0x070bb2a62fe638ff, 0x06d62884f31e93ff, 0x06a1ba03f5b21000, 0x066c5cd322b67fff, 0x0636b0a8e891ffff, 0x060226ed86db3333, 0x05cd0b15a491eb84, 0x05973c115074bc6a, 0x05629674405d6388, 0x052dbd86cd6238d9, 0x04f7cad23de82d7b, 0x04c308a831868ac9, 0x048e74404f3daadb, 0x04585d003f6488af, 0x04237d99cc506d59, 0x03ef2f5c7a1a488e, 0x03b8f2b061aea072, 0x0383f559e7bee6c1, 0x034feef63f97d79c, 0x03198bf832dfdfb0, 0x02e46ff9c24cb2f3, 0x02b059949b708f29, 0x027a28edc580e50e, 0x0244ed8b04671da5, 0x0210be08d0527e1d, 0x01dac9a7b3b7302f, 0x01a56e1fc2f8f359, 0x017124e63593f5e1, 0x013b6e3d22865634, 0x0105f1ca820511c3, 0x00d18e3b9b374169, 0x009c16c5c5253575, 0x0066789e3750f791, 0x0031fa182c40c60d, 0x000730d67819e8d2, 0x0000b8157268fdaf, 0x000012688b70e62b, 0x000001d74124e3d1, 0x0000002f201d49fb, 0x00000004b6695433, 0x0000000078a42205, 0x000000000c1069cd, 0x000000000134d761, 0x00000000001ee257, 0x00000000000316a2, 0x0000000000004f10, 0x00000000000007e8, 0x00000000000000ca, 0x0000000000000014, 0x0000000000000002] + neg_exp = [u64(0x3ff0000000000000), u64(0x3fb999999999999a), u64(0x3f847ae147ae147b), u64(0x3f50624dd2f1a9fc), u64(0x3f1a36e2eb1c432d), u64(0x3ee4f8b588e368f1), u64(0x3eb0c6f7a0b5ed8d), u64(0x3e7ad7f29abcaf48), u64(0x3e45798ee2308c3a), u64(0x3e112e0be826d695), u64(0x3ddb7cdfd9d7bdbb), u64(0x3da5fd7fe1796495), u64(0x3d719799812dea11), u64(0x3d3c25c268497682), u64(0x3d06849b86a12b9b), u64(0x3cd203af9ee75616), u64(0x3c9cd2b297d889bc), u64(0x3c670ef54646d497), u64(0x3c32725dd1d243ac), u64(0x3bfd83c94fb6d2ac), u64(0x3bc79ca10c924223), u64(0x3b92e3b40a0e9b4f), u64(0x3b5e392010175ee6), u64(0x3b282db34012b251), u64(0x3af357c299a88ea7), u64(0x3abef2d0f5da7dd9), u64(0x3a88c240c4aecb14), u64(0x3a53ce9a36f23c10), u64(0x3a1fb0f6be506019), u64(0x39e95a5efea6b347), u64(0x39b4484bfeebc2a0), u64(0x398039d665896880), u64(0x3949f623d5a8a733), u64(0x3914c4e977ba1f5c), u64(0x38e09d8792fb4c49), u64(0x38aa95a5b7f87a0f), u64(0x38754484932d2e72), u64(0x3841039d428a8b8f), u64(0x380b38fb9daa78e4), u64(0x37d5c72fb1552d83), u64(0x37a16c262777579c), u64(0x376be03d0bf225c7), u64(0x37364cfda3281e39), u64(0x3701d7314f534b61), u64(0x36cc8b8218854567), u64(0x3696d601ad376ab9), u64(0x366244ce242c5561), u64(0x362d3ae36d13bbce), u64(0x35f7624f8a762fd8), u64(0x35c2b50c6ec4f313), u64(0x358dee7a4ad4b81f), u64(0x3557f1fb6f10934c), u64(0x352327fc58da0f70), u64(0x34eea6608e29b24d), u64(0x34b8851a0b548ea4), u64(0x34839dae6f76d883), u64(0x344f62b0b257c0d2), u64(0x34191bc08eac9a41), u64(0x33e41633a556e1ce), u64(0x33b011c2eaabe7d8), u64(0x3379b604aaaca626), u64(0x3344919d5556eb52), u64(0x3310747ddddf22a8), u64(0x32da53fc9631d10d), u64(0x32a50ffd44f4a73d), u64(0x3270d9976a5d5297), u64(0x323af5bf109550f2), u64(0x32059165a6ddda5b), u64(0x31d1411e1f17e1e3), u64(0x319b9b6364f30304), u64(0x316615e91d8f359d), u64(0x3131ab20e472914a), u64(0x30fc45016d841baa), u64(0x30c69d9abe034955), u64(0x309217aefe690777), u64(0x305cf2b1970e7258), u64(0x3027288e1271f513), u64(0x2ff286d80ec190dc), u64(0x2fbda48ce468e7c7), u64(0x2f87b6d71d20b96c), u64(0x2f52f8ac174d6123), u64(0x2f1e5aacf2156838), u64(0x2ee8488a5b445360), u64(0x2eb36d3b7c36a91a), u64(0x2e7f152bf9f10e90), u64(0x2e48ddbcc7f40ba6), u64(0x2e13e497065cd61f), u64(0x2ddfd424d6faf031), u64(0x2da97683df2f268d), u64(0x2d745ecfe5bf520b), u64(0x2d404bd984990e6f), u64(0x2d0a12f5a0f4e3e5), u64(0x2cd4dbf7b3f71cb7), u64(0x2ca0aff95cc5b092), u64(0x2c6ab328946f80ea), u64(0x2c355c2076bf9a55), u64(0x2c0116805effaeaa), u64(0x2bcb5733cb32b111), u64(0x2b95df5ca28ef40d), u64(0x2b617f7d4ed8c33e), u64(0x2b2bff2ee48e0530), u64(0x2af665bf1d3e6a8d), u64(0x2ac1eaff4a98553d), u64(0x2a8cab3210f3bb95), u64(0x2a56ef5b40c2fc77), u64(0x2a225915cd68c9f9), u64(0x29ed5b561574765b), u64(0x29b77c44ddf6c516), u64(0x2982c9d0b1923745), u64(0x294e0fb44f50586e), u64(0x29180c903f7379f2), u64(0x28e33d4032c2c7f5), u64(0x28aec866b79e0cba), u64(0x2878a0522c7e7095), u64(0x2843b374f06526de), u64(0x280f8587e7083e30), u64(0x27d9379fec069826), u64(0x27a42c7ff0054685), u64(0x277023998cd10537), u64(0x2739d28f47b4d525), u64(0x2704a8729fc3ddb7), u64(0x26d086c219697e2c), u64(0x269a71368f0f3047), u64(0x2665275ed8d8f36c), u64(0x2630ec4be0ad8f89), u64(0x25fb13ac9aaf4c0f), u64(0x25c5a956e225d672), u64(0x2591544581b7dec2), u64(0x255bba08cf8c979d), u64(0x25262e6d72d6dfb0), u64(0x24f1bebdf578b2f4), u64(0x24bc6463225ab7ec), u64(0x2486b6b5b5155ff0), u64(0x24522bc490dde65a), u64(0x241d12d41afca3c3), u64(0x23e7424348ca1c9c), u64(0x23b29b69070816e3), u64(0x237dc574d80cf16b), u64(0x2347d12a4670c123), u64(0x23130dbb6b8d674f), u64(0x22de7c5f127bd87e), u64(0x22a8637f41fcad32), u64(0x227382cc34ca2428), u64(0x223f37ad21436d0c), u64(0x2208f9574dcf8a70), u64(0x21d3faac3e3fa1f3), u64(0x219ff779fd329cb9), u64(0x216992c7fdc216fa), u64(0x2134756ccb01abfb), u64(0x21005df0a267bcc9), u64(0x20ca2fe76a3f9475), u64(0x2094f31f8832dd2a), u64(0x2060c27fa028b0ef), u64(0x202ad0cc33744e4b), u64(0x1ff573d68f903ea2), u64(0x1fc1297872d9cbb5), u64(0x1f8b758d848fac55), u64(0x1f55f7a46a0c89dd), u64(0x1f2192e9ee706e4b), u64(0x1eec1e43171a4a11), u64(0x1eb67e9c127b6e74), u64(0x1e81fee341fc585d), u64(0x1e4ccb0536608d61), u64(0x1e1708d0f84d3de7), u64(0x1de26d73f9d764b9), u64(0x1dad7becc2f23ac2), u64(0x1d779657025b6235), u64(0x1d42deac01e2b4f7), u64(0x1d0e3113363787f2), u64(0x1cd8274291c6065b), u64(0x1ca3529ba7d19eaf), u64(0x1c6eea92a61c3118), u64(0x1c38bba884e35a7a), u64(0x1c03c9539d82aec8), u64(0x1bcfa885c8d117a6), u64(0x1b99539e3a40dfb8), u64(0x1b6442e4fb671960), u64(0x1b303583fc527ab3), u64(0x1af9ef3993b72ab8), u64(0x1ac4bf6142f8eefa), u64(0x1a90991a9bfa58c8), u64(0x1a5a8e90f9908e0d), u64(0x1a253eda614071a4), u64(0x19f0ff151a99f483), u64(0x19bb31bb5dc320d2), u64(0x1985c162b168e70e), u64(0x1951678227871f3e), u64(0x191bd8d03f3e9864), u64(0x18e6470cff6546b6), u64(0x18b1d270cc51055f), u64(0x187c83e7ad4e6efe), u64(0x1846cfec8aa52598), u64(0x18123ff06eea847a), u64(0x17dd331a4b10d3f6), u64(0x17a75c1508da432b), u64(0x1772b010d3e1cf56), u64(0x173de6815302e556), u64(0x1707eb9aa8cf1dde), u64(0x16d322e220a5b17e), u64(0x169e9e369aa2b597), u64(0x16687e92154ef7ac), u64(0x16339874ddd8c623), u64(0x15ff5a549627a36c), u64(0x15c91510781fb5f0), u64(0x159410d9f9b2f7f3), u64(0x15600d7b2e28c65c), u64(0x1529af2b7d0e0a2d), u64(0x14f48c22ca71a1bd), u64(0x14c0701bd527b498), u64(0x148a4cf9550c5426), u64(0x14550a6110d6a9b8), u64(0x1420d51a73deee2d), u64(0x13eaee90b964b047), u64(0x13b58ba6fab6f36c), u64(0x13813c85955f2923), u64(0x134b9408eefea839), u64(0x1316100725988694), u64(0x12e1a66c1e139edd), u64(0x12ac3d79c9b8fe2e), u64(0x12769794a160cb58), u64(0x124212dd4de70913), u64(0x120ceafbafd80e85), u64(0x11d72262f3133ed1), u64(0x11a281e8c275cbda), u64(0x116d9ca79d89462a), u64(0x1137b08617a104ee), u64(0x1102f39e794d9d8b), u64(0x10ce5297287c2f45), u64(0x1098421286c9bf6b), u64(0x1063680ed23aff89), u64(0x102f0ce4839198db), u64(0x0ff8d71d360e13e2), u64(0x0fc3df4a91a4dcb5), u64(0x0f8fcbaa82a16121), u64(0x0f596fbb9bb44db4), u64(0x0f245962e2f6a490), u64(0x0ef047824f2bb6da), u64(0x0eba0c03b1df8af6), u64(0x0e84d6695b193bf8), u64(0x0e50ab877c142ffa), u64(0x0e1aac0bf9b9e65c), u64(0x0de5566ffafb1eb0), u64(0x0db111f32f2f4bc0), u64(0x0d7b4feb7eb212cd), u64(0x0d45d98932280f0a), u64(0x0d117ad428200c08), u64(0x0cdbf7b9d9cce00d), u64(0x0ca65fc7e170b33e), u64(0x0c71e6398126f5cb), u64(0x0c3ca38f350b22df), u64(0x0c06e93f5da2824c), u64(0x0bd25432b14ecea3), u64(0x0b9d53844ee47dd1), u64(0x0b677603725064a8), u64(0x0b32c4cf8ea6b6ec), u64(0x0afe07b27dd78b14), u64(0x0ac8062864ac6f43), u64(0x0a9338205089f29c), u64(0x0a5ec033b40fea93), u64(0x0a2899c2f6732210), u64(0x09f3ae3591f5b4d9), u64(0x09bf7d228322baf5), u64(0x098930e868e89591), u64(0x0954272053ed4474), u64(0x09201f4d0ff10390), u64(0x08e9cbae7fe805b3), u64(0x08b4a2f1ffecd15c), u64(0x0880825b3323dab0), u64(0x084a6a2b85062ab3), u64(0x081521bc6a6b555c), u64(0x07e0e7c9eebc444a), u64(0x07ab0c764ac6d3a9), u64(0x0775a391d56bdc87), u64(0x07414fa7ddefe3a0), u64(0x070bb2a62fe638ff), u64(0x06d62884f31e93ff), u64(0x06a1ba03f5b21000), u64(0x066c5cd322b67fff), u64(0x0636b0a8e891ffff), u64(0x060226ed86db3333), u64(0x05cd0b15a491eb84), u64(0x05973c115074bc6a), u64(0x05629674405d6388), u64(0x052dbd86cd6238d9), u64(0x04f7cad23de82d7b), u64(0x04c308a831868ac9), u64(0x048e74404f3daadb), u64(0x04585d003f6488af), u64(0x04237d99cc506d59), u64(0x03ef2f5c7a1a488e), u64(0x03b8f2b061aea072), u64(0x0383f559e7bee6c1), u64(0x034feef63f97d79c), u64(0x03198bf832dfdfb0), u64(0x02e46ff9c24cb2f3), u64(0x02b059949b708f29), u64(0x027a28edc580e50e), u64(0x0244ed8b04671da5), u64(0x0210be08d0527e1d), u64(0x01dac9a7b3b7302f), u64(0x01a56e1fc2f8f359), u64(0x017124e63593f5e1), u64(0x013b6e3d22865634), u64(0x0105f1ca820511c3), u64(0x00d18e3b9b374169), u64(0x009c16c5c5253575), u64(0x0066789e3750f791), u64(0x0031fa182c40c60d), u64(0x000730d67819e8d2), u64(0x0000b8157268fdaf), u64(0x000012688b70e62b), u64(0x000001d74124e3d1), u64(0x0000002f201d49fb), u64(0x00000004b6695433), u64(0x0000000078a42205), u64(0x000000000c1069cd), u64(0x000000000134d761), u64(0x00000000001ee257), u64(0x00000000000316a2), u64(0x0000000000004f10), u64(0x00000000000007e8), u64(0x00000000000000ca), u64(0x0000000000000014), u64(0x0000000000000002)] ) diff --git a/vlib/strconv/ftoa/f64_str.v b/vlib/strconv/ftoa/f64_str.v index f13e02cb28..e7ffd5f7f5 100644 --- a/vlib/strconv/ftoa/f64_str.v +++ b/vlib/strconv/ftoa/f64_str.v @@ -157,7 +157,7 @@ fn f64_to_decimal_exact_int(i_mant u64, exp u64) (Dec64, bool) { return d, false } shift := mantbits64 - e - mant := i_mant | 0x0010_0000_0000_0000 // implicit 1 + mant := i_mant | u64(0x0010_0000_0000_0000) // implicit 1 //mant := i_mant | (1 << mantbits64) // implicit 1 d.m = mant >> shift if (d.m << shift) != mant { diff --git a/vlib/strconv/ftoa/tables.v b/vlib/strconv/ftoa/tables.v index 65e772d6ff..ce2d52d13b 100644 --- a/vlib/strconv/ftoa/tables.v +++ b/vlib/strconv/ftoa/tables.v @@ -29,652 +29,652 @@ powers_of_10 = [ ] pow5_split_32 = [ - 1152921504606846976, 1441151880758558720, 1801439850948198400, 2251799813685248000, - 1407374883553280000, 1759218604441600000, 2199023255552000000, 1374389534720000000, - 1717986918400000000, 2147483648000000000, 1342177280000000000, 1677721600000000000, - 2097152000000000000, 1310720000000000000, 1638400000000000000, 2048000000000000000, - 1280000000000000000, 1600000000000000000, 2000000000000000000, 1250000000000000000, - 1562500000000000000, 1953125000000000000, 1220703125000000000, 1525878906250000000, - 1907348632812500000, 1192092895507812500, 1490116119384765625, 1862645149230957031, - 1164153218269348144, 1455191522836685180, 1818989403545856475, 2273736754432320594, - 1421085471520200371, 1776356839400250464, 2220446049250313080, 1387778780781445675, - 1734723475976807094, 2168404344971008868, 1355252715606880542, 1694065894508600678, - 2117582368135750847, 1323488980084844279, 1654361225106055349, 2067951531382569187, - 1292469707114105741, 1615587133892632177, 2019483917365790221 + u64(1152921504606846976), u64(1441151880758558720), u64(1801439850948198400), u64(2251799813685248000), + u64(1407374883553280000), u64(1759218604441600000), u64(2199023255552000000), u64(1374389534720000000), + u64(1717986918400000000), u64(2147483648000000000), u64(1342177280000000000), u64(1677721600000000000), + u64(2097152000000000000), u64(1310720000000000000), u64(1638400000000000000), u64(2048000000000000000), + u64(1280000000000000000), u64(1600000000000000000), u64(2000000000000000000), u64(1250000000000000000), + u64(1562500000000000000), u64(1953125000000000000), u64(1220703125000000000), u64(1525878906250000000), + u64(1907348632812500000), u64(1192092895507812500), u64(1490116119384765625), u64(1862645149230957031), + u64(1164153218269348144), u64(1455191522836685180), u64(1818989403545856475), u64(2273736754432320594), + u64(1421085471520200371), u64(1776356839400250464), u64(2220446049250313080), u64(1387778780781445675), + u64(1734723475976807094), u64(2168404344971008868), u64(1355252715606880542), u64(1694065894508600678), + u64(2117582368135750847), u64(1323488980084844279), u64(1654361225106055349), u64(2067951531382569187), + u64(1292469707114105741), u64(1615587133892632177), u64(2019483917365790221) ] pow5_inv_split_32 = [ - 576460752303423489, 461168601842738791, 368934881474191033, 295147905179352826, - 472236648286964522, 377789318629571618, 302231454903657294, 483570327845851670, - 386856262276681336, 309485009821345069, 495176015714152110, 396140812571321688, - 316912650057057351, 507060240091291761, 405648192073033409, 324518553658426727, - 519229685853482763, 415383748682786211, 332306998946228969, 531691198313966350, - 425352958651173080, 340282366920938464, 544451787073501542, 435561429658801234, - 348449143727040987, 557518629963265579, 446014903970612463, 356811923176489971, - 570899077082383953, 456719261665907162, 365375409332725730 + u64(576460752303423489), u64(461168601842738791), u64(368934881474191033), u64(295147905179352826), + u64(472236648286964522), u64(377789318629571618), u64(302231454903657294), u64(483570327845851670), + u64(386856262276681336), u64(309485009821345069), u64(495176015714152110), u64(396140812571321688), + u64(316912650057057351), u64(507060240091291761), u64(405648192073033409), u64(324518553658426727), + u64(519229685853482763), u64(415383748682786211), u64(332306998946228969), u64(531691198313966350), + u64(425352958651173080), u64(340282366920938464), u64(544451787073501542), u64(435561429658801234), + u64(348449143727040987), u64(557518629963265579), u64(446014903970612463), u64(356811923176489971), + u64(570899077082383953), u64(456719261665907162), u64(365375409332725730) ] pow5_split_64 =[ - Uint128{0x0000000000000000, 0x0100000000000000}, - Uint128{0x0000000000000000, 0x0140000000000000}, - Uint128{0x0000000000000000, 0x0190000000000000}, - Uint128{0x0000000000000000, 0x01f4000000000000}, - Uint128{0x0000000000000000, 0x0138800000000000}, - Uint128{0x0000000000000000, 0x0186a00000000000}, - Uint128{0x0000000000000000, 0x01e8480000000000}, - Uint128{0x0000000000000000, 0x01312d0000000000}, - Uint128{0x0000000000000000, 0x017d784000000000}, - Uint128{0x0000000000000000, 0x01dcd65000000000}, - Uint128{0x0000000000000000, 0x012a05f200000000}, - Uint128{0x0000000000000000, 0x0174876e80000000}, - Uint128{0x0000000000000000, 0x01d1a94a20000000}, - Uint128{0x0000000000000000, 0x012309ce54000000}, - Uint128{0x0000000000000000, 0x016bcc41e9000000}, - Uint128{0x0000000000000000, 0x01c6bf5263400000}, - Uint128{0x0000000000000000, 0x011c37937e080000}, - Uint128{0x0000000000000000, 0x016345785d8a0000}, - Uint128{0x0000000000000000, 0x01bc16d674ec8000}, - Uint128{0x0000000000000000, 0x01158e460913d000}, - Uint128{0x0000000000000000, 0x015af1d78b58c400}, - Uint128{0x0000000000000000, 0x01b1ae4d6e2ef500}, - Uint128{0x0000000000000000, 0x010f0cf064dd5920}, - Uint128{0x0000000000000000, 0x0152d02c7e14af68}, - Uint128{0x0000000000000000, 0x01a784379d99db42}, - Uint128{0x4000000000000000, 0x0108b2a2c2802909}, - Uint128{0x9000000000000000, 0x014adf4b7320334b}, - Uint128{0x7400000000000000, 0x019d971e4fe8401e}, - Uint128{0x0880000000000000, 0x01027e72f1f12813}, - Uint128{0xcaa0000000000000, 0x01431e0fae6d7217}, - Uint128{0xbd48000000000000, 0x0193e5939a08ce9d}, - Uint128{0x2c9a000000000000, 0x01f8def8808b0245}, - Uint128{0x3be0400000000000, 0x013b8b5b5056e16b}, - Uint128{0x0ad8500000000000, 0x018a6e32246c99c6}, - Uint128{0x8d8e640000000000, 0x01ed09bead87c037}, - Uint128{0xb878fe8000000000, 0x013426172c74d822}, - Uint128{0x66973e2000000000, 0x01812f9cf7920e2b}, - Uint128{0x403d0da800000000, 0x01e17b84357691b6}, - Uint128{0xe826288900000000, 0x012ced32a16a1b11}, - Uint128{0x622fb2ab40000000, 0x0178287f49c4a1d6}, - Uint128{0xfabb9f5610000000, 0x01d6329f1c35ca4b}, - Uint128{0x7cb54395ca000000, 0x0125dfa371a19e6f}, - Uint128{0x5be2947b3c800000, 0x016f578c4e0a060b}, - Uint128{0x32db399a0ba00000, 0x01cb2d6f618c878e}, - Uint128{0xdfc9040047440000, 0x011efc659cf7d4b8}, - Uint128{0x17bb450059150000, 0x0166bb7f0435c9e7}, - Uint128{0xddaa16406f5a4000, 0x01c06a5ec5433c60}, - Uint128{0x8a8a4de845986800, 0x0118427b3b4a05bc}, - Uint128{0xad2ce16256fe8200, 0x015e531a0a1c872b}, - Uint128{0x987819baecbe2280, 0x01b5e7e08ca3a8f6}, - Uint128{0x1f4b1014d3f6d590, 0x0111b0ec57e6499a}, - Uint128{0xa71dd41a08f48af4, 0x01561d276ddfdc00}, - Uint128{0xd0e549208b31adb1, 0x01aba4714957d300}, - Uint128{0x828f4db456ff0c8e, 0x010b46c6cdd6e3e0}, - Uint128{0xa33321216cbecfb2, 0x014e1878814c9cd8}, - Uint128{0xcbffe969c7ee839e, 0x01a19e96a19fc40e}, - Uint128{0x3f7ff1e21cf51243, 0x0105031e2503da89}, - Uint128{0x8f5fee5aa43256d4, 0x014643e5ae44d12b}, - Uint128{0x7337e9f14d3eec89, 0x0197d4df19d60576}, - Uint128{0x1005e46da08ea7ab, 0x01fdca16e04b86d4}, - Uint128{0x8a03aec4845928cb, 0x013e9e4e4c2f3444}, - Uint128{0xac849a75a56f72fd, 0x018e45e1df3b0155}, - Uint128{0x17a5c1130ecb4fbd, 0x01f1d75a5709c1ab}, - Uint128{0xeec798abe93f11d6, 0x013726987666190a}, - Uint128{0xaa797ed6e38ed64b, 0x0184f03e93ff9f4d}, - Uint128{0x1517de8c9c728bde, 0x01e62c4e38ff8721}, - Uint128{0xad2eeb17e1c7976b, 0x012fdbb0e39fb474}, - Uint128{0xd87aa5ddda397d46, 0x017bd29d1c87a191}, - Uint128{0x4e994f5550c7dc97, 0x01dac74463a989f6}, - Uint128{0xf11fd195527ce9de, 0x0128bc8abe49f639}, - Uint128{0x6d67c5faa71c2456, 0x0172ebad6ddc73c8}, - Uint128{0x88c1b77950e32d6c, 0x01cfa698c95390ba}, - Uint128{0x957912abd28dfc63, 0x0121c81f7dd43a74}, - Uint128{0xbad75756c7317b7c, 0x016a3a275d494911}, - Uint128{0x298d2d2c78fdda5b, 0x01c4c8b1349b9b56}, - Uint128{0xd9f83c3bcb9ea879, 0x011afd6ec0e14115}, - Uint128{0x50764b4abe865297, 0x0161bcca7119915b}, - Uint128{0x2493de1d6e27e73d, 0x01ba2bfd0d5ff5b2}, - Uint128{0x56dc6ad264d8f086, 0x01145b7e285bf98f}, - Uint128{0x2c938586fe0f2ca8, 0x0159725db272f7f3}, - Uint128{0xf7b866e8bd92f7d2, 0x01afcef51f0fb5ef}, - Uint128{0xfad34051767bdae3, 0x010de1593369d1b5}, - Uint128{0x79881065d41ad19c, 0x015159af80444623}, - Uint128{0x57ea147f49218603, 0x01a5b01b605557ac}, - Uint128{0xb6f24ccf8db4f3c1, 0x01078e111c3556cb}, - Uint128{0xa4aee003712230b2, 0x014971956342ac7e}, - Uint128{0x4dda98044d6abcdf, 0x019bcdfabc13579e}, - Uint128{0xf0a89f02b062b60b, 0x010160bcb58c16c2}, - Uint128{0xacd2c6c35c7b638e, 0x0141b8ebe2ef1c73}, - Uint128{0x98077874339a3c71, 0x01922726dbaae390}, - Uint128{0xbe0956914080cb8e, 0x01f6b0f092959c74}, - Uint128{0xf6c5d61ac8507f38, 0x013a2e965b9d81c8}, - Uint128{0x34774ba17a649f07, 0x0188ba3bf284e23b}, - Uint128{0x01951e89d8fdc6c8, 0x01eae8caef261aca}, - Uint128{0x40fd3316279e9c3d, 0x0132d17ed577d0be}, - Uint128{0xd13c7fdbb186434c, 0x017f85de8ad5c4ed}, - Uint128{0x458b9fd29de7d420, 0x01df67562d8b3629}, - Uint128{0xcb7743e3a2b0e494, 0x012ba095dc7701d9}, - Uint128{0x3e5514dc8b5d1db9, 0x017688bb5394c250}, - Uint128{0x4dea5a13ae346527, 0x01d42aea2879f2e4}, - Uint128{0xb0b2784c4ce0bf38, 0x01249ad2594c37ce}, - Uint128{0x5cdf165f6018ef06, 0x016dc186ef9f45c2}, - Uint128{0xf416dbf7381f2ac8, 0x01c931e8ab871732}, - Uint128{0xd88e497a83137abd, 0x011dbf316b346e7f}, - Uint128{0xceb1dbd923d8596c, 0x01652efdc6018a1f}, - Uint128{0xc25e52cf6cce6fc7, 0x01be7abd3781eca7}, - Uint128{0xd97af3c1a40105dc, 0x01170cb642b133e8}, - Uint128{0x0fd9b0b20d014754, 0x015ccfe3d35d80e3}, - Uint128{0xd3d01cde90419929, 0x01b403dcc834e11b}, - Uint128{0x6462120b1a28ffb9, 0x01108269fd210cb1}, - Uint128{0xbd7a968de0b33fa8, 0x0154a3047c694fdd}, - Uint128{0x2cd93c3158e00f92, 0x01a9cbc59b83a3d5}, - Uint128{0x3c07c59ed78c09bb, 0x010a1f5b81324665}, - Uint128{0x8b09b7068d6f0c2a, 0x014ca732617ed7fe}, - Uint128{0x2dcc24c830cacf34, 0x019fd0fef9de8dfe}, - Uint128{0xdc9f96fd1e7ec180, 0x0103e29f5c2b18be}, - Uint128{0x93c77cbc661e71e1, 0x0144db473335deee}, - Uint128{0x38b95beb7fa60e59, 0x01961219000356aa}, - Uint128{0xc6e7b2e65f8f91ef, 0x01fb969f40042c54}, - Uint128{0xfc50cfcffbb9bb35, 0x013d3e2388029bb4}, - Uint128{0x3b6503c3faa82a03, 0x018c8dac6a0342a2}, - Uint128{0xca3e44b4f9523484, 0x01efb1178484134a}, - Uint128{0xbe66eaf11bd360d2, 0x0135ceaeb2d28c0e}, - Uint128{0x6e00a5ad62c83907, 0x0183425a5f872f12}, - Uint128{0x0980cf18bb7a4749, 0x01e412f0f768fad7}, - Uint128{0x65f0816f752c6c8d, 0x012e8bd69aa19cc6}, - Uint128{0xff6ca1cb527787b1, 0x017a2ecc414a03f7}, - Uint128{0xff47ca3e2715699d, 0x01d8ba7f519c84f5}, - Uint128{0xbf8cde66d86d6202, 0x0127748f9301d319}, - Uint128{0x2f7016008e88ba83, 0x017151b377c247e0}, - Uint128{0x3b4c1b80b22ae923, 0x01cda62055b2d9d8}, - Uint128{0x250f91306f5ad1b6, 0x012087d4358fc827}, - Uint128{0xee53757c8b318623, 0x0168a9c942f3ba30}, - Uint128{0x29e852dbadfde7ac, 0x01c2d43b93b0a8bd}, - Uint128{0x3a3133c94cbeb0cc, 0x0119c4a53c4e6976}, - Uint128{0xc8bd80bb9fee5cff, 0x016035ce8b6203d3}, - Uint128{0xbaece0ea87e9f43e, 0x01b843422e3a84c8}, - Uint128{0x74d40c9294f238a7, 0x01132a095ce492fd}, - Uint128{0xd2090fb73a2ec6d1, 0x0157f48bb41db7bc}, - Uint128{0x068b53a508ba7885, 0x01adf1aea12525ac}, - Uint128{0x8417144725748b53, 0x010cb70d24b7378b}, - Uint128{0x651cd958eed1ae28, 0x014fe4d06de5056e}, - Uint128{0xfe640faf2a8619b2, 0x01a3de04895e46c9}, - Uint128{0x3efe89cd7a93d00f, 0x01066ac2d5daec3e}, - Uint128{0xcebe2c40d938c413, 0x014805738b51a74d}, - Uint128{0x426db7510f86f518, 0x019a06d06e261121}, - Uint128{0xc9849292a9b4592f, 0x0100444244d7cab4}, - Uint128{0xfbe5b73754216f7a, 0x01405552d60dbd61}, - Uint128{0x7adf25052929cb59, 0x01906aa78b912cba}, - Uint128{0x1996ee4673743e2f, 0x01f485516e7577e9}, - Uint128{0xaffe54ec0828a6dd, 0x0138d352e5096af1}, - Uint128{0x1bfdea270a32d095, 0x018708279e4bc5ae}, - Uint128{0xa2fd64b0ccbf84ba, 0x01e8ca3185deb719}, - Uint128{0x05de5eee7ff7b2f4, 0x01317e5ef3ab3270}, - Uint128{0x0755f6aa1ff59fb1, 0x017dddf6b095ff0c}, - Uint128{0x092b7454a7f3079e, 0x01dd55745cbb7ecf}, - Uint128{0x65bb28b4e8f7e4c3, 0x012a5568b9f52f41}, - Uint128{0xbf29f2e22335ddf3, 0x0174eac2e8727b11}, - Uint128{0x2ef46f9aac035570, 0x01d22573a28f19d6}, - Uint128{0xdd58c5c0ab821566, 0x0123576845997025}, - Uint128{0x54aef730d6629ac0, 0x016c2d4256ffcc2f}, - Uint128{0x29dab4fd0bfb4170, 0x01c73892ecbfbf3b}, - Uint128{0xfa28b11e277d08e6, 0x011c835bd3f7d784}, - Uint128{0x38b2dd65b15c4b1f, 0x0163a432c8f5cd66}, - Uint128{0xc6df94bf1db35de7, 0x01bc8d3f7b3340bf}, - Uint128{0xdc4bbcf772901ab0, 0x0115d847ad000877}, - Uint128{0xd35eac354f34215c, 0x015b4e5998400a95}, - Uint128{0x48365742a30129b4, 0x01b221effe500d3b}, - Uint128{0x0d21f689a5e0ba10, 0x010f5535fef20845}, - Uint128{0x506a742c0f58e894, 0x01532a837eae8a56}, - Uint128{0xe4851137132f22b9, 0x01a7f5245e5a2ceb}, - Uint128{0x6ed32ac26bfd75b4, 0x0108f936baf85c13}, - Uint128{0x4a87f57306fcd321, 0x014b378469b67318}, - Uint128{0x5d29f2cfc8bc07e9, 0x019e056584240fde}, - Uint128{0xfa3a37c1dd7584f1, 0x0102c35f729689ea}, - Uint128{0xb8c8c5b254d2e62e, 0x014374374f3c2c65}, - Uint128{0x26faf71eea079fb9, 0x01945145230b377f}, - Uint128{0xf0b9b4e6a48987a8, 0x01f965966bce055e}, - Uint128{0x5674111026d5f4c9, 0x013bdf7e0360c35b}, - Uint128{0x2c111554308b71fb, 0x018ad75d8438f432}, - Uint128{0xb7155aa93cae4e7a, 0x01ed8d34e547313e}, - Uint128{0x326d58a9c5ecf10c, 0x013478410f4c7ec7}, - Uint128{0xff08aed437682d4f, 0x01819651531f9e78}, - Uint128{0x3ecada89454238a3, 0x01e1fbe5a7e78617}, - Uint128{0x873ec895cb496366, 0x012d3d6f88f0b3ce}, - Uint128{0x290e7abb3e1bbc3f, 0x01788ccb6b2ce0c2}, - Uint128{0xb352196a0da2ab4f, 0x01d6affe45f818f2}, - Uint128{0xb0134fe24885ab11, 0x01262dfeebbb0f97}, - Uint128{0x9c1823dadaa715d6, 0x016fb97ea6a9d37d}, - Uint128{0x031e2cd19150db4b, 0x01cba7de5054485d}, - Uint128{0x21f2dc02fad2890f, 0x011f48eaf234ad3a}, - Uint128{0xaa6f9303b9872b53, 0x01671b25aec1d888}, - Uint128{0xd50b77c4a7e8f628, 0x01c0e1ef1a724eaa}, - Uint128{0xc5272adae8f199d9, 0x01188d357087712a}, - Uint128{0x7670f591a32e004f, 0x015eb082cca94d75}, - Uint128{0xd40d32f60bf98063, 0x01b65ca37fd3a0d2}, - Uint128{0xc4883fd9c77bf03e, 0x0111f9e62fe44483}, - Uint128{0xb5aa4fd0395aec4d, 0x0156785fbbdd55a4}, - Uint128{0xe314e3c447b1a760, 0x01ac1677aad4ab0d}, - Uint128{0xaded0e5aaccf089c, 0x010b8e0acac4eae8}, - Uint128{0xd96851f15802cac3, 0x014e718d7d7625a2}, - Uint128{0x8fc2666dae037d74, 0x01a20df0dcd3af0b}, - Uint128{0x39d980048cc22e68, 0x010548b68a044d67}, - Uint128{0x084fe005aff2ba03, 0x01469ae42c8560c1}, - Uint128{0x4a63d8071bef6883, 0x0198419d37a6b8f1}, - Uint128{0x9cfcce08e2eb42a4, 0x01fe52048590672d}, - Uint128{0x821e00c58dd309a7, 0x013ef342d37a407c}, - Uint128{0xa2a580f6f147cc10, 0x018eb0138858d09b}, - Uint128{0x8b4ee134ad99bf15, 0x01f25c186a6f04c2}, - Uint128{0x97114cc0ec80176d, 0x0137798f428562f9}, - Uint128{0xfcd59ff127a01d48, 0x018557f31326bbb7}, - Uint128{0xfc0b07ed7188249a, 0x01e6adefd7f06aa5}, - Uint128{0xbd86e4f466f516e0, 0x01302cb5e6f642a7}, - Uint128{0xace89e3180b25c98, 0x017c37e360b3d351}, - Uint128{0x1822c5bde0def3be, 0x01db45dc38e0c826}, - Uint128{0xcf15bb96ac8b5857, 0x01290ba9a38c7d17}, - Uint128{0xc2db2a7c57ae2e6d, 0x01734e940c6f9c5d}, - Uint128{0x3391f51b6d99ba08, 0x01d022390f8b8375}, - Uint128{0x403b393124801445, 0x01221563a9b73229}, - Uint128{0x904a077d6da01956, 0x016a9abc9424feb3}, - Uint128{0x745c895cc9081fac, 0x01c5416bb92e3e60}, - Uint128{0x48b9d5d9fda513cb, 0x011b48e353bce6fc}, - Uint128{0x5ae84b507d0e58be, 0x01621b1c28ac20bb}, - Uint128{0x31a25e249c51eeee, 0x01baa1e332d728ea}, - Uint128{0x5f057ad6e1b33554, 0x0114a52dffc67992}, - Uint128{0xf6c6d98c9a2002aa, 0x0159ce797fb817f6}, - Uint128{0xb4788fefc0a80354, 0x01b04217dfa61df4}, - Uint128{0xf0cb59f5d8690214, 0x010e294eebc7d2b8}, - Uint128{0x2cfe30734e83429a, 0x0151b3a2a6b9c767}, - Uint128{0xf83dbc9022241340, 0x01a6208b50683940}, - Uint128{0x9b2695da15568c08, 0x0107d457124123c8}, - Uint128{0xc1f03b509aac2f0a, 0x0149c96cd6d16cba}, - Uint128{0x726c4a24c1573acd, 0x019c3bc80c85c7e9}, - Uint128{0xe783ae56f8d684c0, 0x0101a55d07d39cf1}, - Uint128{0x616499ecb70c25f0, 0x01420eb449c8842e}, - Uint128{0xf9bdc067e4cf2f6c, 0x019292615c3aa539}, - Uint128{0x782d3081de02fb47, 0x01f736f9b3494e88}, - Uint128{0x4b1c3e512ac1dd0c, 0x013a825c100dd115}, - Uint128{0x9de34de57572544f, 0x018922f31411455a}, - Uint128{0x455c215ed2cee963, 0x01eb6bafd91596b1}, - Uint128{0xcb5994db43c151de, 0x0133234de7ad7e2e}, - Uint128{0x7e2ffa1214b1a655, 0x017fec216198ddba}, - Uint128{0x1dbbf89699de0feb, 0x01dfe729b9ff1529}, - Uint128{0xb2957b5e202ac9f3, 0x012bf07a143f6d39}, - Uint128{0x1f3ada35a8357c6f, 0x0176ec98994f4888}, - Uint128{0x270990c31242db8b, 0x01d4a7bebfa31aaa}, - Uint128{0x5865fa79eb69c937, 0x0124e8d737c5f0aa}, - Uint128{0xee7f791866443b85, 0x016e230d05b76cd4}, - Uint128{0x2a1f575e7fd54a66, 0x01c9abd04725480a}, - Uint128{0x5a53969b0fe54e80, 0x011e0b622c774d06}, - Uint128{0xf0e87c41d3dea220, 0x01658e3ab7952047}, - Uint128{0xed229b5248d64aa8, 0x01bef1c9657a6859}, - Uint128{0x3435a1136d85eea9, 0x0117571ddf6c8138}, - Uint128{0x4143095848e76a53, 0x015d2ce55747a186}, - Uint128{0xd193cbae5b2144e8, 0x01b4781ead1989e7}, - Uint128{0xe2fc5f4cf8f4cb11, 0x0110cb132c2ff630}, - Uint128{0x1bbb77203731fdd5, 0x0154fdd7f73bf3bd}, - Uint128{0x62aa54e844fe7d4a, 0x01aa3d4df50af0ac}, - Uint128{0xbdaa75112b1f0e4e, 0x010a6650b926d66b}, - Uint128{0xad15125575e6d1e2, 0x014cffe4e7708c06}, - Uint128{0x585a56ead360865b, 0x01a03fde214caf08}, - Uint128{0x37387652c41c53f8, 0x010427ead4cfed65}, - Uint128{0x850693e7752368f7, 0x014531e58a03e8be}, - Uint128{0x264838e1526c4334, 0x01967e5eec84e2ee}, - Uint128{0xafda4719a7075402, 0x01fc1df6a7a61ba9}, - Uint128{0x0de86c7008649481, 0x013d92ba28c7d14a}, - Uint128{0x9162878c0a7db9a1, 0x018cf768b2f9c59c}, - Uint128{0xb5bb296f0d1d280a, 0x01f03542dfb83703}, - Uint128{0x5194f9e568323906, 0x01362149cbd32262}, - Uint128{0xe5fa385ec23ec747, 0x0183a99c3ec7eafa}, - Uint128{0x9f78c67672ce7919, 0x01e494034e79e5b9}, - Uint128{0x03ab7c0a07c10bb0, 0x012edc82110c2f94}, - Uint128{0x04965b0c89b14e9c, 0x017a93a2954f3b79}, - Uint128{0x45bbf1cfac1da243, 0x01d9388b3aa30a57}, - Uint128{0x8b957721cb92856a, 0x0127c35704a5e676}, - Uint128{0x2e7ad4ea3e7726c4, 0x0171b42cc5cf6014}, - Uint128{0x3a198a24ce14f075, 0x01ce2137f7433819}, - Uint128{0xc44ff65700cd1649, 0x0120d4c2fa8a030f}, - Uint128{0xb563f3ecc1005bdb, 0x016909f3b92c83d3}, - Uint128{0xa2bcf0e7f14072d2, 0x01c34c70a777a4c8}, - Uint128{0x65b61690f6c847c3, 0x011a0fc668aac6fd}, - Uint128{0xbf239c35347a59b4, 0x016093b802d578bc}, - Uint128{0xeeec83428198f021, 0x01b8b8a6038ad6eb}, - Uint128{0x7553d20990ff9615, 0x01137367c236c653}, - Uint128{0x52a8c68bf53f7b9a, 0x01585041b2c477e8}, - Uint128{0x6752f82ef28f5a81, 0x01ae64521f7595e2}, - Uint128{0x8093db1d57999890, 0x010cfeb353a97dad}, - Uint128{0xe0b8d1e4ad7ffeb4, 0x01503e602893dd18}, - Uint128{0x18e7065dd8dffe62, 0x01a44df832b8d45f}, - Uint128{0x6f9063faa78bfefd, 0x0106b0bb1fb384bb}, - Uint128{0x4b747cf9516efebc, 0x01485ce9e7a065ea}, - Uint128{0xde519c37a5cabe6b, 0x019a742461887f64}, - Uint128{0x0af301a2c79eb703, 0x01008896bcf54f9f}, - Uint128{0xcdafc20b798664c4, 0x0140aabc6c32a386}, - Uint128{0x811bb28e57e7fdf5, 0x0190d56b873f4c68}, - Uint128{0xa1629f31ede1fd72, 0x01f50ac6690f1f82}, - Uint128{0xa4dda37f34ad3e67, 0x013926bc01a973b1}, - Uint128{0x0e150c5f01d88e01, 0x0187706b0213d09e}, - Uint128{0x919a4f76c24eb181, 0x01e94c85c298c4c5}, - Uint128{0x7b0071aa39712ef1, 0x0131cfd3999f7afb}, - Uint128{0x59c08e14c7cd7aad, 0x017e43c8800759ba}, - Uint128{0xf030b199f9c0d958, 0x01ddd4baa0093028}, - Uint128{0x961e6f003c1887d7, 0x012aa4f4a405be19}, - Uint128{0xfba60ac04b1ea9cd, 0x01754e31cd072d9f}, - Uint128{0xfa8f8d705de65440, 0x01d2a1be4048f907}, - Uint128{0xfc99b8663aaff4a8, 0x0123a516e82d9ba4}, - Uint128{0x3bc0267fc95bf1d2, 0x016c8e5ca239028e}, - Uint128{0xcab0301fbbb2ee47, 0x01c7b1f3cac74331}, - Uint128{0x1eae1e13d54fd4ec, 0x011ccf385ebc89ff}, - Uint128{0xe659a598caa3ca27, 0x01640306766bac7e}, - Uint128{0x9ff00efefd4cbcb1, 0x01bd03c81406979e}, - Uint128{0x23f6095f5e4ff5ef, 0x0116225d0c841ec3}, - Uint128{0xecf38bb735e3f36a, 0x015baaf44fa52673}, - Uint128{0xe8306ea5035cf045, 0x01b295b1638e7010}, - Uint128{0x911e4527221a162b, 0x010f9d8ede39060a}, - Uint128{0x3565d670eaa09bb6, 0x015384f295c7478d}, - Uint128{0x82bf4c0d2548c2a3, 0x01a8662f3b391970}, - Uint128{0x51b78f88374d79a6, 0x01093fdd8503afe6}, - Uint128{0xe625736a4520d810, 0x014b8fd4e6449bdf}, - Uint128{0xdfaed044d6690e14, 0x019e73ca1fd5c2d7}, - Uint128{0xebcd422b0601a8cc, 0x0103085e53e599c6}, - Uint128{0xa6c092b5c78212ff, 0x0143ca75e8df0038}, - Uint128{0xd070b763396297bf, 0x0194bd136316c046}, - Uint128{0x848ce53c07bb3daf, 0x01f9ec583bdc7058}, - Uint128{0x52d80f4584d5068d, 0x013c33b72569c637}, - Uint128{0x278e1316e60a4831, 0x018b40a4eec437c5} + Uint128{u64(0x0000000000000000), u64(0x0100000000000000)}, + Uint128{u64(0x0000000000000000), u64(0x0140000000000000)}, + Uint128{u64(0x0000000000000000), u64(0x0190000000000000)}, + Uint128{u64(0x0000000000000000), u64(0x01f4000000000000)}, + Uint128{u64(0x0000000000000000), u64(0x0138800000000000)}, + Uint128{u64(0x0000000000000000), u64(0x0186a00000000000)}, + Uint128{u64(0x0000000000000000), u64(0x01e8480000000000)}, + Uint128{u64(0x0000000000000000), u64(0x01312d0000000000)}, + Uint128{u64(0x0000000000000000), u64(0x017d784000000000)}, + Uint128{u64(0x0000000000000000), u64(0x01dcd65000000000)}, + Uint128{u64(0x0000000000000000), u64(0x012a05f200000000)}, + Uint128{u64(0x0000000000000000), u64(0x0174876e80000000)}, + Uint128{u64(0x0000000000000000), u64(0x01d1a94a20000000)}, + Uint128{u64(0x0000000000000000), u64(0x012309ce54000000)}, + Uint128{u64(0x0000000000000000), u64(0x016bcc41e9000000)}, + Uint128{u64(0x0000000000000000), u64(0x01c6bf5263400000)}, + Uint128{u64(0x0000000000000000), u64(0x011c37937e080000)}, + Uint128{u64(0x0000000000000000), u64(0x016345785d8a0000)}, + Uint128{u64(0x0000000000000000), u64(0x01bc16d674ec8000)}, + Uint128{u64(0x0000000000000000), u64(0x01158e460913d000)}, + Uint128{u64(0x0000000000000000), u64(0x015af1d78b58c400)}, + Uint128{u64(0x0000000000000000), u64(0x01b1ae4d6e2ef500)}, + Uint128{u64(0x0000000000000000), u64(0x010f0cf064dd5920)}, + Uint128{u64(0x0000000000000000), u64(0x0152d02c7e14af68)}, + Uint128{u64(0x0000000000000000), u64(0x01a784379d99db42)}, + Uint128{u64(0x4000000000000000), u64(0x0108b2a2c2802909)}, + Uint128{u64(0x9000000000000000), u64(0x014adf4b7320334b)}, + Uint128{u64(0x7400000000000000), u64(0x019d971e4fe8401e)}, + Uint128{u64(0x0880000000000000), u64(0x01027e72f1f12813)}, + Uint128{u64(0xcaa0000000000000), u64(0x01431e0fae6d7217)}, + Uint128{u64(0xbd48000000000000), u64(0x0193e5939a08ce9d)}, + Uint128{u64(0x2c9a000000000000), u64(0x01f8def8808b0245)}, + Uint128{u64(0x3be0400000000000), u64(0x013b8b5b5056e16b)}, + Uint128{u64(0x0ad8500000000000), u64(0x018a6e32246c99c6)}, + Uint128{u64(0x8d8e640000000000), u64(0x01ed09bead87c037)}, + Uint128{u64(0xb878fe8000000000), u64(0x013426172c74d822)}, + Uint128{u64(0x66973e2000000000), u64(0x01812f9cf7920e2b)}, + Uint128{u64(0x403d0da800000000), u64(0x01e17b84357691b6)}, + Uint128{u64(0xe826288900000000), u64(0x012ced32a16a1b11)}, + Uint128{u64(0x622fb2ab40000000), u64(0x0178287f49c4a1d6)}, + Uint128{u64(0xfabb9f5610000000), u64(0x01d6329f1c35ca4b)}, + Uint128{u64(0x7cb54395ca000000), u64(0x0125dfa371a19e6f)}, + Uint128{u64(0x5be2947b3c800000), u64(0x016f578c4e0a060b)}, + Uint128{u64(0x32db399a0ba00000), u64(0x01cb2d6f618c878e)}, + Uint128{u64(0xdfc9040047440000), u64(0x011efc659cf7d4b8)}, + Uint128{u64(0x17bb450059150000), u64(0x0166bb7f0435c9e7)}, + Uint128{u64(0xddaa16406f5a4000), u64(0x01c06a5ec5433c60)}, + Uint128{u64(0x8a8a4de845986800), u64(0x0118427b3b4a05bc)}, + Uint128{u64(0xad2ce16256fe8200), u64(0x015e531a0a1c872b)}, + Uint128{u64(0x987819baecbe2280), u64(0x01b5e7e08ca3a8f6)}, + Uint128{u64(0x1f4b1014d3f6d590), u64(0x0111b0ec57e6499a)}, + Uint128{u64(0xa71dd41a08f48af4), u64(0x01561d276ddfdc00)}, + Uint128{u64(0xd0e549208b31adb1), u64(0x01aba4714957d300)}, + Uint128{u64(0x828f4db456ff0c8e), u64(0x010b46c6cdd6e3e0)}, + Uint128{u64(0xa33321216cbecfb2), u64(0x014e1878814c9cd8)}, + Uint128{u64(0xcbffe969c7ee839e), u64(0x01a19e96a19fc40e)}, + Uint128{u64(0x3f7ff1e21cf51243), u64(0x0105031e2503da89)}, + Uint128{u64(0x8f5fee5aa43256d4), u64(0x014643e5ae44d12b)}, + Uint128{u64(0x7337e9f14d3eec89), u64(0x0197d4df19d60576)}, + Uint128{u64(0x1005e46da08ea7ab), u64(0x01fdca16e04b86d4)}, + Uint128{u64(0x8a03aec4845928cb), u64(0x013e9e4e4c2f3444)}, + Uint128{u64(0xac849a75a56f72fd), u64(0x018e45e1df3b0155)}, + Uint128{u64(0x17a5c1130ecb4fbd), u64(0x01f1d75a5709c1ab)}, + Uint128{u64(0xeec798abe93f11d6), u64(0x013726987666190a)}, + Uint128{u64(0xaa797ed6e38ed64b), u64(0x0184f03e93ff9f4d)}, + Uint128{u64(0x1517de8c9c728bde), u64(0x01e62c4e38ff8721)}, + Uint128{u64(0xad2eeb17e1c7976b), u64(0x012fdbb0e39fb474)}, + Uint128{u64(0xd87aa5ddda397d46), u64(0x017bd29d1c87a191)}, + Uint128{u64(0x4e994f5550c7dc97), u64(0x01dac74463a989f6)}, + Uint128{u64(0xf11fd195527ce9de), u64(0x0128bc8abe49f639)}, + Uint128{u64(0x6d67c5faa71c2456), u64(0x0172ebad6ddc73c8)}, + Uint128{u64(0x88c1b77950e32d6c), u64(0x01cfa698c95390ba)}, + Uint128{u64(0x957912abd28dfc63), u64(0x0121c81f7dd43a74)}, + Uint128{u64(0xbad75756c7317b7c), u64(0x016a3a275d494911)}, + Uint128{u64(0x298d2d2c78fdda5b), u64(0x01c4c8b1349b9b56)}, + Uint128{u64(0xd9f83c3bcb9ea879), u64(0x011afd6ec0e14115)}, + Uint128{u64(0x50764b4abe865297), u64(0x0161bcca7119915b)}, + Uint128{u64(0x2493de1d6e27e73d), u64(0x01ba2bfd0d5ff5b2)}, + Uint128{u64(0x56dc6ad264d8f086), u64(0x01145b7e285bf98f)}, + Uint128{u64(0x2c938586fe0f2ca8), u64(0x0159725db272f7f3)}, + Uint128{u64(0xf7b866e8bd92f7d2), u64(0x01afcef51f0fb5ef)}, + Uint128{u64(0xfad34051767bdae3), u64(0x010de1593369d1b5)}, + Uint128{u64(0x79881065d41ad19c), u64(0x015159af80444623)}, + Uint128{u64(0x57ea147f49218603), u64(0x01a5b01b605557ac)}, + Uint128{u64(0xb6f24ccf8db4f3c1), u64(0x01078e111c3556cb)}, + Uint128{u64(0xa4aee003712230b2), u64(0x014971956342ac7e)}, + Uint128{u64(0x4dda98044d6abcdf), u64(0x019bcdfabc13579e)}, + Uint128{u64(0xf0a89f02b062b60b), u64(0x010160bcb58c16c2)}, + Uint128{u64(0xacd2c6c35c7b638e), u64(0x0141b8ebe2ef1c73)}, + Uint128{u64(0x98077874339a3c71), u64(0x01922726dbaae390)}, + Uint128{u64(0xbe0956914080cb8e), u64(0x01f6b0f092959c74)}, + Uint128{u64(0xf6c5d61ac8507f38), u64(0x013a2e965b9d81c8)}, + Uint128{u64(0x34774ba17a649f07), u64(0x0188ba3bf284e23b)}, + Uint128{u64(0x01951e89d8fdc6c8), u64(0x01eae8caef261aca)}, + Uint128{u64(0x40fd3316279e9c3d), u64(0x0132d17ed577d0be)}, + Uint128{u64(0xd13c7fdbb186434c), u64(0x017f85de8ad5c4ed)}, + Uint128{u64(0x458b9fd29de7d420), u64(0x01df67562d8b3629)}, + Uint128{u64(0xcb7743e3a2b0e494), u64(0x012ba095dc7701d9)}, + Uint128{u64(0x3e5514dc8b5d1db9), u64(0x017688bb5394c250)}, + Uint128{u64(0x4dea5a13ae346527), u64(0x01d42aea2879f2e4)}, + Uint128{u64(0xb0b2784c4ce0bf38), u64(0x01249ad2594c37ce)}, + Uint128{u64(0x5cdf165f6018ef06), u64(0x016dc186ef9f45c2)}, + Uint128{u64(0xf416dbf7381f2ac8), u64(0x01c931e8ab871732)}, + Uint128{u64(0xd88e497a83137abd), u64(0x011dbf316b346e7f)}, + Uint128{u64(0xceb1dbd923d8596c), u64(0x01652efdc6018a1f)}, + Uint128{u64(0xc25e52cf6cce6fc7), u64(0x01be7abd3781eca7)}, + Uint128{u64(0xd97af3c1a40105dc), u64(0x01170cb642b133e8)}, + Uint128{u64(0x0fd9b0b20d014754), u64(0x015ccfe3d35d80e3)}, + Uint128{u64(0xd3d01cde90419929), u64(0x01b403dcc834e11b)}, + Uint128{u64(0x6462120b1a28ffb9), u64(0x01108269fd210cb1)}, + Uint128{u64(0xbd7a968de0b33fa8), u64(0x0154a3047c694fdd)}, + Uint128{u64(0x2cd93c3158e00f92), u64(0x01a9cbc59b83a3d5)}, + Uint128{u64(0x3c07c59ed78c09bb), u64(0x010a1f5b81324665)}, + Uint128{u64(0x8b09b7068d6f0c2a), u64(0x014ca732617ed7fe)}, + Uint128{u64(0x2dcc24c830cacf34), u64(0x019fd0fef9de8dfe)}, + Uint128{u64(0xdc9f96fd1e7ec180), u64(0x0103e29f5c2b18be)}, + Uint128{u64(0x93c77cbc661e71e1), u64(0x0144db473335deee)}, + Uint128{u64(0x38b95beb7fa60e59), u64(0x01961219000356aa)}, + Uint128{u64(0xc6e7b2e65f8f91ef), u64(0x01fb969f40042c54)}, + Uint128{u64(0xfc50cfcffbb9bb35), u64(0x013d3e2388029bb4)}, + Uint128{u64(0x3b6503c3faa82a03), u64(0x018c8dac6a0342a2)}, + Uint128{u64(0xca3e44b4f9523484), u64(0x01efb1178484134a)}, + Uint128{u64(0xbe66eaf11bd360d2), u64(0x0135ceaeb2d28c0e)}, + Uint128{u64(0x6e00a5ad62c83907), u64(0x0183425a5f872f12)}, + Uint128{u64(0x0980cf18bb7a4749), u64(0x01e412f0f768fad7)}, + Uint128{u64(0x65f0816f752c6c8d), u64(0x012e8bd69aa19cc6)}, + Uint128{u64(0xff6ca1cb527787b1), u64(0x017a2ecc414a03f7)}, + Uint128{u64(0xff47ca3e2715699d), u64(0x01d8ba7f519c84f5)}, + Uint128{u64(0xbf8cde66d86d6202), u64(0x0127748f9301d319)}, + Uint128{u64(0x2f7016008e88ba83), u64(0x017151b377c247e0)}, + Uint128{u64(0x3b4c1b80b22ae923), u64(0x01cda62055b2d9d8)}, + Uint128{u64(0x250f91306f5ad1b6), u64(0x012087d4358fc827)}, + Uint128{u64(0xee53757c8b318623), u64(0x0168a9c942f3ba30)}, + Uint128{u64(0x29e852dbadfde7ac), u64(0x01c2d43b93b0a8bd)}, + Uint128{u64(0x3a3133c94cbeb0cc), u64(0x0119c4a53c4e6976)}, + Uint128{u64(0xc8bd80bb9fee5cff), u64(0x016035ce8b6203d3)}, + Uint128{u64(0xbaece0ea87e9f43e), u64(0x01b843422e3a84c8)}, + Uint128{u64(0x74d40c9294f238a7), u64(0x01132a095ce492fd)}, + Uint128{u64(0xd2090fb73a2ec6d1), u64(0x0157f48bb41db7bc)}, + Uint128{u64(0x068b53a508ba7885), u64(0x01adf1aea12525ac)}, + Uint128{u64(0x8417144725748b53), u64(0x010cb70d24b7378b)}, + Uint128{u64(0x651cd958eed1ae28), u64(0x014fe4d06de5056e)}, + Uint128{u64(0xfe640faf2a8619b2), u64(0x01a3de04895e46c9)}, + Uint128{u64(0x3efe89cd7a93d00f), u64(0x01066ac2d5daec3e)}, + Uint128{u64(0xcebe2c40d938c413), u64(0x014805738b51a74d)}, + Uint128{u64(0x426db7510f86f518), u64(0x019a06d06e261121)}, + Uint128{u64(0xc9849292a9b4592f), u64(0x0100444244d7cab4)}, + Uint128{u64(0xfbe5b73754216f7a), u64(0x01405552d60dbd61)}, + Uint128{u64(0x7adf25052929cb59), u64(0x01906aa78b912cba)}, + Uint128{u64(0x1996ee4673743e2f), u64(0x01f485516e7577e9)}, + Uint128{u64(0xaffe54ec0828a6dd), u64(0x0138d352e5096af1)}, + Uint128{u64(0x1bfdea270a32d095), u64(0x018708279e4bc5ae)}, + Uint128{u64(0xa2fd64b0ccbf84ba), u64(0x01e8ca3185deb719)}, + Uint128{u64(0x05de5eee7ff7b2f4), u64(0x01317e5ef3ab3270)}, + Uint128{u64(0x0755f6aa1ff59fb1), u64(0x017dddf6b095ff0c)}, + Uint128{u64(0x092b7454a7f3079e), u64(0x01dd55745cbb7ecf)}, + Uint128{u64(0x65bb28b4e8f7e4c3), u64(0x012a5568b9f52f41)}, + Uint128{u64(0xbf29f2e22335ddf3), u64(0x0174eac2e8727b11)}, + Uint128{u64(0x2ef46f9aac035570), u64(0x01d22573a28f19d6)}, + Uint128{u64(0xdd58c5c0ab821566), u64(0x0123576845997025)}, + Uint128{u64(0x54aef730d6629ac0), u64(0x016c2d4256ffcc2f)}, + Uint128{u64(0x29dab4fd0bfb4170), u64(0x01c73892ecbfbf3b)}, + Uint128{u64(0xfa28b11e277d08e6), u64(0x011c835bd3f7d784)}, + Uint128{u64(0x38b2dd65b15c4b1f), u64(0x0163a432c8f5cd66)}, + Uint128{u64(0xc6df94bf1db35de7), u64(0x01bc8d3f7b3340bf)}, + Uint128{u64(0xdc4bbcf772901ab0), u64(0x0115d847ad000877)}, + Uint128{u64(0xd35eac354f34215c), u64(0x015b4e5998400a95)}, + Uint128{u64(0x48365742a30129b4), u64(0x01b221effe500d3b)}, + Uint128{u64(0x0d21f689a5e0ba10), u64(0x010f5535fef20845)}, + Uint128{u64(0x506a742c0f58e894), u64(0x01532a837eae8a56)}, + Uint128{u64(0xe4851137132f22b9), u64(0x01a7f5245e5a2ceb)}, + Uint128{u64(0x6ed32ac26bfd75b4), u64(0x0108f936baf85c13)}, + Uint128{u64(0x4a87f57306fcd321), u64(0x014b378469b67318)}, + Uint128{u64(0x5d29f2cfc8bc07e9), u64(0x019e056584240fde)}, + Uint128{u64(0xfa3a37c1dd7584f1), u64(0x0102c35f729689ea)}, + Uint128{u64(0xb8c8c5b254d2e62e), u64(0x014374374f3c2c65)}, + Uint128{u64(0x26faf71eea079fb9), u64(0x01945145230b377f)}, + Uint128{u64(0xf0b9b4e6a48987a8), u64(0x01f965966bce055e)}, + Uint128{u64(0x5674111026d5f4c9), u64(0x013bdf7e0360c35b)}, + Uint128{u64(0x2c111554308b71fb), u64(0x018ad75d8438f432)}, + Uint128{u64(0xb7155aa93cae4e7a), u64(0x01ed8d34e547313e)}, + Uint128{u64(0x326d58a9c5ecf10c), u64(0x013478410f4c7ec7)}, + Uint128{u64(0xff08aed437682d4f), u64(0x01819651531f9e78)}, + Uint128{u64(0x3ecada89454238a3), u64(0x01e1fbe5a7e78617)}, + Uint128{u64(0x873ec895cb496366), u64(0x012d3d6f88f0b3ce)}, + Uint128{u64(0x290e7abb3e1bbc3f), u64(0x01788ccb6b2ce0c2)}, + Uint128{u64(0xb352196a0da2ab4f), u64(0x01d6affe45f818f2)}, + Uint128{u64(0xb0134fe24885ab11), u64(0x01262dfeebbb0f97)}, + Uint128{u64(0x9c1823dadaa715d6), u64(0x016fb97ea6a9d37d)}, + Uint128{u64(0x031e2cd19150db4b), u64(0x01cba7de5054485d)}, + Uint128{u64(0x21f2dc02fad2890f), u64(0x011f48eaf234ad3a)}, + Uint128{u64(0xaa6f9303b9872b53), u64(0x01671b25aec1d888)}, + Uint128{u64(0xd50b77c4a7e8f628), u64(0x01c0e1ef1a724eaa)}, + Uint128{u64(0xc5272adae8f199d9), u64(0x01188d357087712a)}, + Uint128{u64(0x7670f591a32e004f), u64(0x015eb082cca94d75)}, + Uint128{u64(0xd40d32f60bf98063), u64(0x01b65ca37fd3a0d2)}, + Uint128{u64(0xc4883fd9c77bf03e), u64(0x0111f9e62fe44483)}, + Uint128{u64(0xb5aa4fd0395aec4d), u64(0x0156785fbbdd55a4)}, + Uint128{u64(0xe314e3c447b1a760), u64(0x01ac1677aad4ab0d)}, + Uint128{u64(0xaded0e5aaccf089c), u64(0x010b8e0acac4eae8)}, + Uint128{u64(0xd96851f15802cac3), u64(0x014e718d7d7625a2)}, + Uint128{u64(0x8fc2666dae037d74), u64(0x01a20df0dcd3af0b)}, + Uint128{u64(0x39d980048cc22e68), u64(0x010548b68a044d67)}, + Uint128{u64(0x084fe005aff2ba03), u64(0x01469ae42c8560c1)}, + Uint128{u64(0x4a63d8071bef6883), u64(0x0198419d37a6b8f1)}, + Uint128{u64(0x9cfcce08e2eb42a4), u64(0x01fe52048590672d)}, + Uint128{u64(0x821e00c58dd309a7), u64(0x013ef342d37a407c)}, + Uint128{u64(0xa2a580f6f147cc10), u64(0x018eb0138858d09b)}, + Uint128{u64(0x8b4ee134ad99bf15), u64(0x01f25c186a6f04c2)}, + Uint128{u64(0x97114cc0ec80176d), u64(0x0137798f428562f9)}, + Uint128{u64(0xfcd59ff127a01d48), u64(0x018557f31326bbb7)}, + Uint128{u64(0xfc0b07ed7188249a), u64(0x01e6adefd7f06aa5)}, + Uint128{u64(0xbd86e4f466f516e0), u64(0x01302cb5e6f642a7)}, + Uint128{u64(0xace89e3180b25c98), u64(0x017c37e360b3d351)}, + Uint128{u64(0x1822c5bde0def3be), u64(0x01db45dc38e0c826)}, + Uint128{u64(0xcf15bb96ac8b5857), u64(0x01290ba9a38c7d17)}, + Uint128{u64(0xc2db2a7c57ae2e6d), u64(0x01734e940c6f9c5d)}, + Uint128{u64(0x3391f51b6d99ba08), u64(0x01d022390f8b8375)}, + Uint128{u64(0x403b393124801445), u64(0x01221563a9b73229)}, + Uint128{u64(0x904a077d6da01956), u64(0x016a9abc9424feb3)}, + Uint128{u64(0x745c895cc9081fac), u64(0x01c5416bb92e3e60)}, + Uint128{u64(0x48b9d5d9fda513cb), u64(0x011b48e353bce6fc)}, + Uint128{u64(0x5ae84b507d0e58be), u64(0x01621b1c28ac20bb)}, + Uint128{u64(0x31a25e249c51eeee), u64(0x01baa1e332d728ea)}, + Uint128{u64(0x5f057ad6e1b33554), u64(0x0114a52dffc67992)}, + Uint128{u64(0xf6c6d98c9a2002aa), u64(0x0159ce797fb817f6)}, + Uint128{u64(0xb4788fefc0a80354), u64(0x01b04217dfa61df4)}, + Uint128{u64(0xf0cb59f5d8690214), u64(0x010e294eebc7d2b8)}, + Uint128{u64(0x2cfe30734e83429a), u64(0x0151b3a2a6b9c767)}, + Uint128{u64(0xf83dbc9022241340), u64(0x01a6208b50683940)}, + Uint128{u64(0x9b2695da15568c08), u64(0x0107d457124123c8)}, + Uint128{u64(0xc1f03b509aac2f0a), u64(0x0149c96cd6d16cba)}, + Uint128{u64(0x726c4a24c1573acd), u64(0x019c3bc80c85c7e9)}, + Uint128{u64(0xe783ae56f8d684c0), u64(0x0101a55d07d39cf1)}, + Uint128{u64(0x616499ecb70c25f0), u64(0x01420eb449c8842e)}, + Uint128{u64(0xf9bdc067e4cf2f6c), u64(0x019292615c3aa539)}, + Uint128{u64(0x782d3081de02fb47), u64(0x01f736f9b3494e88)}, + Uint128{u64(0x4b1c3e512ac1dd0c), u64(0x013a825c100dd115)}, + Uint128{u64(0x9de34de57572544f), u64(0x018922f31411455a)}, + Uint128{u64(0x455c215ed2cee963), u64(0x01eb6bafd91596b1)}, + Uint128{u64(0xcb5994db43c151de), u64(0x0133234de7ad7e2e)}, + Uint128{u64(0x7e2ffa1214b1a655), u64(0x017fec216198ddba)}, + Uint128{u64(0x1dbbf89699de0feb), u64(0x01dfe729b9ff1529)}, + Uint128{u64(0xb2957b5e202ac9f3), u64(0x012bf07a143f6d39)}, + Uint128{u64(0x1f3ada35a8357c6f), u64(0x0176ec98994f4888)}, + Uint128{u64(0x270990c31242db8b), u64(0x01d4a7bebfa31aaa)}, + Uint128{u64(0x5865fa79eb69c937), u64(0x0124e8d737c5f0aa)}, + Uint128{u64(0xee7f791866443b85), u64(0x016e230d05b76cd4)}, + Uint128{u64(0x2a1f575e7fd54a66), u64(0x01c9abd04725480a)}, + Uint128{u64(0x5a53969b0fe54e80), u64(0x011e0b622c774d06)}, + Uint128{u64(0xf0e87c41d3dea220), u64(0x01658e3ab7952047)}, + Uint128{u64(0xed229b5248d64aa8), u64(0x01bef1c9657a6859)}, + Uint128{u64(0x3435a1136d85eea9), u64(0x0117571ddf6c8138)}, + Uint128{u64(0x4143095848e76a53), u64(0x015d2ce55747a186)}, + Uint128{u64(0xd193cbae5b2144e8), u64(0x01b4781ead1989e7)}, + Uint128{u64(0xe2fc5f4cf8f4cb11), u64(0x0110cb132c2ff630)}, + Uint128{u64(0x1bbb77203731fdd5), u64(0x0154fdd7f73bf3bd)}, + Uint128{u64(0x62aa54e844fe7d4a), u64(0x01aa3d4df50af0ac)}, + Uint128{u64(0xbdaa75112b1f0e4e), u64(0x010a6650b926d66b)}, + Uint128{u64(0xad15125575e6d1e2), u64(0x014cffe4e7708c06)}, + Uint128{u64(0x585a56ead360865b), u64(0x01a03fde214caf08)}, + Uint128{u64(0x37387652c41c53f8), u64(0x010427ead4cfed65)}, + Uint128{u64(0x850693e7752368f7), u64(0x014531e58a03e8be)}, + Uint128{u64(0x264838e1526c4334), u64(0x01967e5eec84e2ee)}, + Uint128{u64(0xafda4719a7075402), u64(0x01fc1df6a7a61ba9)}, + Uint128{u64(0x0de86c7008649481), u64(0x013d92ba28c7d14a)}, + Uint128{u64(0x9162878c0a7db9a1), u64(0x018cf768b2f9c59c)}, + Uint128{u64(0xb5bb296f0d1d280a), u64(0x01f03542dfb83703)}, + Uint128{u64(0x5194f9e568323906), u64(0x01362149cbd32262)}, + Uint128{u64(0xe5fa385ec23ec747), u64(0x0183a99c3ec7eafa)}, + Uint128{u64(0x9f78c67672ce7919), u64(0x01e494034e79e5b9)}, + Uint128{u64(0x03ab7c0a07c10bb0), u64(0x012edc82110c2f94)}, + Uint128{u64(0x04965b0c89b14e9c), u64(0x017a93a2954f3b79)}, + Uint128{u64(0x45bbf1cfac1da243), u64(0x01d9388b3aa30a57)}, + Uint128{u64(0x8b957721cb92856a), u64(0x0127c35704a5e676)}, + Uint128{u64(0x2e7ad4ea3e7726c4), u64(0x0171b42cc5cf6014)}, + Uint128{u64(0x3a198a24ce14f075), u64(0x01ce2137f7433819)}, + Uint128{u64(0xc44ff65700cd1649), u64(0x0120d4c2fa8a030f)}, + Uint128{u64(0xb563f3ecc1005bdb), u64(0x016909f3b92c83d3)}, + Uint128{u64(0xa2bcf0e7f14072d2), u64(0x01c34c70a777a4c8)}, + Uint128{u64(0x65b61690f6c847c3), u64(0x011a0fc668aac6fd)}, + Uint128{u64(0xbf239c35347a59b4), u64(0x016093b802d578bc)}, + Uint128{u64(0xeeec83428198f021), u64(0x01b8b8a6038ad6eb)}, + Uint128{u64(0x7553d20990ff9615), u64(0x01137367c236c653)}, + Uint128{u64(0x52a8c68bf53f7b9a), u64(0x01585041b2c477e8)}, + Uint128{u64(0x6752f82ef28f5a81), u64(0x01ae64521f7595e2)}, + Uint128{u64(0x8093db1d57999890), u64(0x010cfeb353a97dad)}, + Uint128{u64(0xe0b8d1e4ad7ffeb4), u64(0x01503e602893dd18)}, + Uint128{u64(0x18e7065dd8dffe62), u64(0x01a44df832b8d45f)}, + Uint128{u64(0x6f9063faa78bfefd), u64(0x0106b0bb1fb384bb)}, + Uint128{u64(0x4b747cf9516efebc), u64(0x01485ce9e7a065ea)}, + Uint128{u64(0xde519c37a5cabe6b), u64(0x019a742461887f64)}, + Uint128{u64(0x0af301a2c79eb703), u64(0x01008896bcf54f9f)}, + Uint128{u64(0xcdafc20b798664c4), u64(0x0140aabc6c32a386)}, + Uint128{u64(0x811bb28e57e7fdf5), u64(0x0190d56b873f4c68)}, + Uint128{u64(0xa1629f31ede1fd72), u64(0x01f50ac6690f1f82)}, + Uint128{u64(0xa4dda37f34ad3e67), u64(0x013926bc01a973b1)}, + Uint128{u64(0x0e150c5f01d88e01), u64(0x0187706b0213d09e)}, + Uint128{u64(0x919a4f76c24eb181), u64(0x01e94c85c298c4c5)}, + Uint128{u64(0x7b0071aa39712ef1), u64(0x0131cfd3999f7afb)}, + Uint128{u64(0x59c08e14c7cd7aad), u64(0x017e43c8800759ba)}, + Uint128{u64(0xf030b199f9c0d958), u64(0x01ddd4baa0093028)}, + Uint128{u64(0x961e6f003c1887d7), u64(0x012aa4f4a405be19)}, + Uint128{u64(0xfba60ac04b1ea9cd), u64(0x01754e31cd072d9f)}, + Uint128{u64(0xfa8f8d705de65440), u64(0x01d2a1be4048f907)}, + Uint128{u64(0xfc99b8663aaff4a8), u64(0x0123a516e82d9ba4)}, + Uint128{u64(0x3bc0267fc95bf1d2), u64(0x016c8e5ca239028e)}, + Uint128{u64(0xcab0301fbbb2ee47), u64(0x01c7b1f3cac74331)}, + Uint128{u64(0x1eae1e13d54fd4ec), u64(0x011ccf385ebc89ff)}, + Uint128{u64(0xe659a598caa3ca27), u64(0x01640306766bac7e)}, + Uint128{u64(0x9ff00efefd4cbcb1), u64(0x01bd03c81406979e)}, + Uint128{u64(0x23f6095f5e4ff5ef), u64(0x0116225d0c841ec3)}, + Uint128{u64(0xecf38bb735e3f36a), u64(0x015baaf44fa52673)}, + Uint128{u64(0xe8306ea5035cf045), u64(0x01b295b1638e7010)}, + Uint128{u64(0x911e4527221a162b), u64(0x010f9d8ede39060a)}, + Uint128{u64(0x3565d670eaa09bb6), u64(0x015384f295c7478d)}, + Uint128{u64(0x82bf4c0d2548c2a3), u64(0x01a8662f3b391970)}, + Uint128{u64(0x51b78f88374d79a6), u64(0x01093fdd8503afe6)}, + Uint128{u64(0xe625736a4520d810), u64(0x014b8fd4e6449bdf)}, + Uint128{u64(0xdfaed044d6690e14), u64(0x019e73ca1fd5c2d7)}, + Uint128{u64(0xebcd422b0601a8cc), u64(0x0103085e53e599c6)}, + Uint128{u64(0xa6c092b5c78212ff), u64(0x0143ca75e8df0038)}, + Uint128{u64(0xd070b763396297bf), u64(0x0194bd136316c046)}, + Uint128{u64(0x848ce53c07bb3daf), u64(0x01f9ec583bdc7058)}, + Uint128{u64(0x52d80f4584d5068d), u64(0x013c33b72569c637)}, + Uint128{u64(0x278e1316e60a4831), u64(0x018b40a4eec437c5)} ] pow5_inv_split_64 = [ - Uint128{0x0000000000000001, 0x0400000000000000}, - Uint128{0x3333333333333334, 0x0333333333333333}, - Uint128{0x28f5c28f5c28f5c3, 0x028f5c28f5c28f5c}, - Uint128{0xed916872b020c49c, 0x020c49ba5e353f7c}, - Uint128{0xaf4f0d844d013a93, 0x0346dc5d63886594}, - Uint128{0x8c3f3e0370cdc876, 0x029f16b11c6d1e10}, - Uint128{0xd698fe69270b06c5, 0x0218def416bdb1a6}, - Uint128{0xf0f4ca41d811a46e, 0x035afe535795e90a}, - Uint128{0xf3f70834acdae9f1, 0x02af31dc4611873b}, - Uint128{0x5cc5a02a23e254c1, 0x0225c17d04dad296}, - Uint128{0xfad5cd10396a2135, 0x036f9bfb3af7b756}, - Uint128{0xfbde3da69454e75e, 0x02bfaffc2f2c92ab}, - Uint128{0x2fe4fe1edd10b918, 0x0232f33025bd4223}, - Uint128{0x4ca19697c81ac1bf, 0x0384b84d092ed038}, - Uint128{0x3d4e1213067bce33, 0x02d09370d4257360}, - Uint128{0x643e74dc052fd829, 0x024075f3dceac2b3}, - Uint128{0x6d30baf9a1e626a7, 0x039a5652fb113785}, - Uint128{0x2426fbfae7eb5220, 0x02e1dea8c8da92d1}, - Uint128{0x1cebfcc8b9890e80, 0x024e4bba3a487574}, - Uint128{0x94acc7a78f41b0cc, 0x03b07929f6da5586}, - Uint128{0xaa23d2ec729af3d7, 0x02f394219248446b}, - Uint128{0xbb4fdbf05baf2979, 0x025c768141d369ef}, - Uint128{0xc54c931a2c4b758d, 0x03c7240202ebdcb2}, - Uint128{0x9dd6dc14f03c5e0b, 0x0305b66802564a28}, - Uint128{0x4b1249aa59c9e4d6, 0x026af8533511d4ed}, - Uint128{0x44ea0f76f60fd489, 0x03de5a1ebb4fbb15}, - Uint128{0x6a54d92bf80caa07, 0x0318481895d96277}, - Uint128{0x21dd7a89933d54d2, 0x0279d346de4781f9}, - Uint128{0x362f2a75b8622150, 0x03f61ed7ca0c0328}, - Uint128{0xf825bb91604e810d, 0x032b4bdfd4d668ec}, - Uint128{0xc684960de6a5340b, 0x0289097fdd7853f0}, - Uint128{0xd203ab3e521dc33c, 0x02073accb12d0ff3}, - Uint128{0xe99f7863b696052c, 0x033ec47ab514e652}, - Uint128{0x87b2c6b62bab3757, 0x02989d2ef743eb75}, - Uint128{0xd2f56bc4efbc2c45, 0x0213b0f25f69892a}, - Uint128{0x1e55793b192d13a2, 0x0352b4b6ff0f41de}, - Uint128{0x4b77942f475742e8, 0x02a8909265a5ce4b}, - Uint128{0xd5f9435905df68ba, 0x022073a8515171d5}, - Uint128{0x565b9ef4d6324129, 0x03671f73b54f1c89}, - Uint128{0xdeafb25d78283421, 0x02b8e5f62aa5b06d}, - Uint128{0x188c8eb12cecf681, 0x022d84c4eeeaf38b}, - Uint128{0x8dadb11b7b14bd9b, 0x037c07a17e44b8de}, - Uint128{0x7157c0e2c8dd647c, 0x02c99fb46503c718}, - Uint128{0x8ddfcd823a4ab6ca, 0x023ae629ea696c13}, - Uint128{0x1632e269f6ddf142, 0x0391704310a8acec}, - Uint128{0x44f581ee5f17f435, 0x02dac035a6ed5723}, - Uint128{0x372ace584c1329c4, 0x024899c4858aac1c}, - Uint128{0xbeaae3c079b842d3, 0x03a75c6da27779c6}, - Uint128{0x6555830061603576, 0x02ec49f14ec5fb05}, - Uint128{0xb7779c004de6912b, 0x0256a18dd89e626a}, - Uint128{0xf258f99a163db512, 0x03bdcf495a9703dd}, - Uint128{0x5b7a614811caf741, 0x02fe3f6de212697e}, - Uint128{0xaf951aa00e3bf901, 0x0264ff8b1b41edfe}, - Uint128{0x7f54f7667d2cc19b, 0x03d4cc11c5364997}, - Uint128{0x32aa5f8530f09ae3, 0x0310a3416a91d479}, - Uint128{0xf55519375a5a1582, 0x0273b5cdeedb1060}, - Uint128{0xbbbb5b8bc3c3559d, 0x03ec56164af81a34}, - Uint128{0x2fc916096969114a, 0x03237811d593482a}, - Uint128{0x596dab3ababa743c, 0x0282c674aadc39bb}, - Uint128{0x478aef622efb9030, 0x0202385d557cfafc}, - Uint128{0xd8de4bd04b2c19e6, 0x0336c0955594c4c6}, - Uint128{0xad7ea30d08f014b8, 0x029233aaaadd6a38}, - Uint128{0x24654f3da0c01093, 0x020e8fbbbbe454fa}, - Uint128{0x3a3bb1fc346680eb, 0x034a7f92c63a2190}, - Uint128{0x94fc8e635d1ecd89, 0x02a1ffa89e94e7a6}, - Uint128{0xaa63a51c4a7f0ad4, 0x021b32ed4baa52eb}, - Uint128{0xdd6c3b607731aaed, 0x035eb7e212aa1e45}, - Uint128{0x1789c919f8f488bd, 0x02b22cb4dbbb4b6b}, - Uint128{0xac6e3a7b2d906d64, 0x022823c3e2fc3c55}, - Uint128{0x13e390c515b3e23a, 0x03736c6c9e606089}, - Uint128{0xdcb60d6a77c31b62, 0x02c2bd23b1e6b3a0}, - Uint128{0x7d5e7121f968e2b5, 0x0235641c8e52294d}, - Uint128{0xc8971b698f0e3787, 0x0388a02db0837548}, - Uint128{0xa078e2bad8d82c6c, 0x02d3b357c0692aa0}, - Uint128{0xe6c71bc8ad79bd24, 0x0242f5dfcd20eee6}, - Uint128{0x0ad82c7448c2c839, 0x039e5632e1ce4b0b}, - Uint128{0x3be023903a356cfa, 0x02e511c24e3ea26f}, - Uint128{0x2fe682d9c82abd95, 0x0250db01d8321b8c}, - Uint128{0x4ca4048fa6aac8ee, 0x03b4919c8d1cf8e0}, - Uint128{0x3d5003a61eef0725, 0x02f6dae3a4172d80}, - Uint128{0x9773361e7f259f51, 0x025f1582e9ac2466}, - Uint128{0x8beb89ca6508fee8, 0x03cb559e42ad070a}, - Uint128{0x6fefa16eb73a6586, 0x0309114b688a6c08}, - Uint128{0xf3261abef8fb846b, 0x026da76f86d52339}, - Uint128{0x51d691318e5f3a45, 0x03e2a57f3e21d1f6}, - Uint128{0x0e4540f471e5c837, 0x031bb798fe8174c5}, - Uint128{0xd8376729f4b7d360, 0x027c92e0cb9ac3d0}, - Uint128{0xf38bd84321261eff, 0x03fa849adf5e061a}, - Uint128{0x293cad0280eb4bff, 0x032ed07be5e4d1af}, - Uint128{0xedca240200bc3ccc, 0x028bd9fcb7ea4158}, - Uint128{0xbe3b50019a3030a4, 0x02097b309321cde0}, - Uint128{0xc9f88002904d1a9f, 0x03425eb41e9c7c9a}, - Uint128{0x3b2d3335403daee6, 0x029b7ef67ee396e2}, - Uint128{0x95bdc291003158b8, 0x0215ff2b98b6124e}, - Uint128{0x892f9db4cd1bc126, 0x035665128df01d4a}, - Uint128{0x07594af70a7c9a85, 0x02ab840ed7f34aa2}, - Uint128{0x6c476f2c0863aed1, 0x0222d00bdff5d54e}, - Uint128{0x13a57eacda3917b4, 0x036ae67966562217}, - Uint128{0x0fb7988a482dac90, 0x02bbeb9451de81ac}, - Uint128{0xd95fad3b6cf156da, 0x022fefa9db1867bc}, - Uint128{0xf565e1f8ae4ef15c, 0x037fe5dc91c0a5fa}, - Uint128{0x911e4e608b725ab0, 0x02ccb7e3a7cd5195}, - Uint128{0xda7ea51a0928488d, 0x023d5fe9530aa7aa}, - Uint128{0xf7310829a8407415, 0x039566421e7772aa}, - Uint128{0x2c2739baed005cde, 0x02ddeb68185f8eef}, - Uint128{0xbcec2e2f24004a4b, 0x024b22b9ad193f25}, - Uint128{0x94ad16b1d333aa11, 0x03ab6ac2ae8ecb6f}, - Uint128{0xaa241227dc2954db, 0x02ef889bbed8a2bf}, - Uint128{0x54e9a81fe35443e2, 0x02593a163246e899}, - Uint128{0x2175d9cc9eed396a, 0x03c1f689ea0b0dc2}, - Uint128{0xe7917b0a18bdc788, 0x03019207ee6f3e34}, - Uint128{0xb9412f3b46fe393a, 0x0267a8065858fe90}, - Uint128{0xf535185ed7fd285c, 0x03d90cd6f3c1974d}, - Uint128{0xc42a79e57997537d, 0x03140a458fce12a4}, - Uint128{0x03552e512e12a931, 0x02766e9e0ca4dbb7}, - Uint128{0x9eeeb081e3510eb4, 0x03f0b0fce107c5f1}, - Uint128{0x4bf226ce4f740bc3, 0x0326f3fd80d304c1}, - Uint128{0xa3281f0b72c33c9c, 0x02858ffe00a8d09a}, - Uint128{0x1c2018d5f568fd4a, 0x020473319a20a6e2}, - Uint128{0xf9ccf48988a7fba9, 0x033a51e8f69aa49c}, - Uint128{0xfb0a5d3ad3b99621, 0x02950e53f87bb6e3}, - Uint128{0x2f3b7dc8a96144e7, 0x0210d8432d2fc583}, - Uint128{0xe52bfc7442353b0c, 0x034e26d1e1e608d1}, - Uint128{0xb756639034f76270, 0x02a4ebdb1b1e6d74}, - Uint128{0x2c451c735d92b526, 0x021d897c15b1f12a}, - Uint128{0x13a1c71efc1deea3, 0x0362759355e981dd}, - Uint128{0x761b05b2634b2550, 0x02b52adc44bace4a}, - Uint128{0x91af37c1e908eaa6, 0x022a88b036fbd83b}, - Uint128{0x82b1f2cfdb417770, 0x03774119f192f392}, - Uint128{0xcef4c23fe29ac5f3, 0x02c5cdae5adbf60e}, - Uint128{0x3f2a34ffe87bd190, 0x0237d7beaf165e72}, - Uint128{0x984387ffda5fb5b2, 0x038c8c644b56fd83}, - Uint128{0xe0360666484c915b, 0x02d6d6b6a2abfe02}, - Uint128{0x802b3851d3707449, 0x024578921bbccb35}, - Uint128{0x99dec082ebe72075, 0x03a25a835f947855}, - Uint128{0xae4bcd358985b391, 0x02e8486919439377}, - Uint128{0xbea30a913ad15c74, 0x02536d20e102dc5f}, - Uint128{0xfdd1aa81f7b560b9, 0x03b8ae9b019e2d65}, - Uint128{0x97daeece5fc44d61, 0x02fa2548ce182451}, - Uint128{0xdfe258a51969d781, 0x0261b76d71ace9da}, - Uint128{0x996a276e8f0fbf34, 0x03cf8be24f7b0fc4}, - Uint128{0xe121b9253f3fcc2a, 0x030c6fe83f95a636}, - Uint128{0xb41afa8432997022, 0x02705986994484f8}, - Uint128{0xecf7f739ea8f19cf, 0x03e6f5a4286da18d}, - Uint128{0x23f99294bba5ae40, 0x031f2ae9b9f14e0b}, - Uint128{0x4ffadbaa2fb7be99, 0x027f5587c7f43e6f}, - Uint128{0x7ff7c5dd1925fdc2, 0x03feef3fa6539718}, - Uint128{0xccc637e4141e649b, 0x033258ffb842df46}, - Uint128{0xd704f983434b83af, 0x028ead9960357f6b}, - Uint128{0x126a6135cf6f9c8c, 0x020bbe144cf79923}, - Uint128{0x83dd685618b29414, 0x0345fced47f28e9e}, - Uint128{0x9cb12044e08edcdd, 0x029e63f1065ba54b}, - Uint128{0x16f419d0b3a57d7d, 0x02184ff405161dd6}, - Uint128{0x8b20294dec3bfbfb, 0x035a19866e89c956}, - Uint128{0x3c19baa4bcfcc996, 0x02ae7ad1f207d445}, - Uint128{0xc9ae2eea30ca3adf, 0x02252f0e5b39769d}, - Uint128{0x0f7d17dd1add2afd, 0x036eb1b091f58a96}, - Uint128{0x3f97464a7be42264, 0x02bef48d41913bab}, - Uint128{0xcc790508631ce850, 0x02325d3dce0dc955}, - Uint128{0xe0c1a1a704fb0d4d, 0x0383c862e3494222}, - Uint128{0x4d67b4859d95a43e, 0x02cfd3824f6dce82}, - Uint128{0x711fc39e17aae9cb, 0x023fdc683f8b0b9b}, - Uint128{0xe832d2968c44a945, 0x039960a6cc11ac2b}, - Uint128{0xecf575453d03ba9e, 0x02e11a1f09a7bcef}, - Uint128{0x572ac4376402fbb1, 0x024dae7f3aec9726}, - Uint128{0x58446d256cd192b5, 0x03af7d985e47583d}, - Uint128{0x79d0575123dadbc4, 0x02f2cae04b6c4697}, - Uint128{0x94a6ac40e97be303, 0x025bd5803c569edf}, - Uint128{0x8771139b0f2c9e6c, 0x03c62266c6f0fe32}, - Uint128{0x9f8da948d8f07ebd, 0x0304e85238c0cb5b}, - Uint128{0xe60aedd3e0c06564, 0x026a5374fa33d5e2}, - Uint128{0xa344afb9679a3bd2, 0x03dd5254c3862304}, - Uint128{0xe903bfc78614fca8, 0x031775109c6b4f36}, - Uint128{0xba6966393810ca20, 0x02792a73b055d8f8}, - Uint128{0x2a423d2859b4769a, 0x03f510b91a22f4c1}, - Uint128{0xee9b642047c39215, 0x032a73c7481bf700}, - Uint128{0xbee2b680396941aa, 0x02885c9f6ce32c00}, - Uint128{0xff1bc53361210155, 0x0206b07f8a4f5666}, - Uint128{0x31c6085235019bbb, 0x033de73276e5570b}, - Uint128{0x27d1a041c4014963, 0x0297ec285f1ddf3c}, - Uint128{0xeca7b367d0010782, 0x021323537f4b18fc}, - Uint128{0xadd91f0c8001a59d, 0x0351d21f3211c194}, - Uint128{0xf17a7f3d3334847e, 0x02a7db4c280e3476}, - Uint128{0x279532975c2a0398, 0x021fe2a3533e905f}, - Uint128{0xd8eeb75893766c26, 0x0366376bb8641a31}, - Uint128{0x7a5892ad42c52352, 0x02b82c562d1ce1c1}, - Uint128{0xfb7a0ef102374f75, 0x022cf044f0e3e7cd}, - Uint128{0xc59017e8038bb254, 0x037b1a07e7d30c7c}, - Uint128{0x37a67986693c8eaa, 0x02c8e19feca8d6ca}, - Uint128{0xf951fad1edca0bbb, 0x023a4e198a20abd4}, - Uint128{0x28832ae97c76792b, 0x03907cf5a9cddfbb}, - Uint128{0x2068ef21305ec756, 0x02d9fd9154a4b2fc}, - Uint128{0x19ed8c1a8d189f78, 0x0247fe0ddd508f30}, - Uint128{0x5caf4690e1c0ff26, 0x03a66349621a7eb3}, - Uint128{0x4a25d20d81673285, 0x02eb82a11b48655c}, - Uint128{0x3b5174d79ab8f537, 0x0256021a7c39eab0}, - Uint128{0x921bee25c45b21f1, 0x03bcd02a605caab3}, - Uint128{0xdb498b5169e2818e, 0x02fd735519e3bbc2}, - Uint128{0x15d46f7454b53472, 0x02645c4414b62fcf}, - Uint128{0xefba4bed545520b6, 0x03d3c6d35456b2e4}, - Uint128{0xf2fb6ff110441a2b, 0x030fd242a9def583}, - Uint128{0x8f2f8cc0d9d014ef, 0x02730e9bbb18c469}, - Uint128{0xb1e5ae015c80217f, 0x03eb4a92c4f46d75}, - Uint128{0xc1848b344a001acc, 0x0322a20f03f6bdf7}, - Uint128{0xce03a2903b3348a3, 0x02821b3f365efe5f}, - Uint128{0xd802e873628f6d4f, 0x0201af65c518cb7f}, - Uint128{0x599e40b89db2487f, 0x0335e56fa1c14599}, - Uint128{0xe14b66fa17c1d399, 0x029184594e3437ad}, - Uint128{0x81091f2e7967dc7a, 0x020e037aa4f692f1}, - Uint128{0x9b41cb7d8f0c93f6, 0x03499f2aa18a84b5}, - Uint128{0xaf67d5fe0c0a0ff8, 0x02a14c221ad536f7}, - Uint128{0xf2b977fe70080cc7, 0x021aa34e7bddc592}, - Uint128{0x1df58cca4cd9ae0b, 0x035dd2172c9608eb}, - Uint128{0xe4c470a1d7148b3c, 0x02b174df56de6d88}, - Uint128{0x83d05a1b1276d5ca, 0x022790b2abe5246d}, - Uint128{0x9fb3c35e83f1560f, 0x0372811ddfd50715}, - Uint128{0xb2f635e5365aab3f, 0x02c200e4b310d277}, - Uint128{0xf591c4b75eaeef66, 0x0234cd83c273db92}, - Uint128{0xef4fa125644b18a3, 0x0387af39371fc5b7}, - Uint128{0x8c3fb41de9d5ad4f, 0x02d2f2942c196af9}, - Uint128{0x3cffc34b2177bdd9, 0x02425ba9bce12261}, - Uint128{0x94cc6bab68bf9628, 0x039d5f75fb01d09b}, - Uint128{0x10a38955ed6611b9, 0x02e44c5e6267da16}, - Uint128{0xda1c6dde5784dafb, 0x02503d184eb97b44}, - Uint128{0xf693e2fd58d49191, 0x03b394f3b128c53a}, - Uint128{0xc5431bfde0aa0e0e, 0x02f610c2f4209dc8}, - Uint128{0x6a9c1664b3bb3e72, 0x025e73cf29b3b16d}, - Uint128{0x10f9bd6dec5eca4f, 0x03ca52e50f85e8af}, - Uint128{0xda616457f04bd50c, 0x03084250d937ed58}, - Uint128{0xe1e783798d09773d, 0x026d01da475ff113}, - Uint128{0x030c058f480f252e, 0x03e19c9072331b53}, - Uint128{0x68d66ad906728425, 0x031ae3a6c1c27c42}, - Uint128{0x8711ef14052869b7, 0x027be952349b969b}, - Uint128{0x0b4fe4ecd50d75f2, 0x03f97550542c242c}, - Uint128{0xa2a650bd773df7f5, 0x032df7737689b689}, - Uint128{0xb551da312c31932a, 0x028b2c5c5ed49207}, - Uint128{0x5ddb14f4235adc22, 0x0208f049e576db39}, - Uint128{0x2fc4ee536bc49369, 0x034180763bf15ec2}, - Uint128{0xbfd0bea92303a921, 0x029acd2b63277f01}, - Uint128{0x9973cbba8269541a, 0x021570ef8285ff34}, - Uint128{0x5bec792a6a42202a, 0x0355817f373ccb87}, - Uint128{0xe3239421ee9b4cef, 0x02aacdff5f63d605}, - Uint128{0xb5b6101b25490a59, 0x02223e65e5e97804}, - Uint128{0x22bce691d541aa27, 0x0369fd6fd64259a1}, - Uint128{0xb563eba7ddce21b9, 0x02bb31264501e14d}, - Uint128{0xf78322ecb171b494, 0x022f5a850401810a}, - Uint128{0x259e9e47824f8753, 0x037ef73b399c01ab}, - Uint128{0x1e187e9f9b72d2a9, 0x02cbf8fc2e1667bc}, - Uint128{0x4b46cbb2e2c24221, 0x023cc73024deb963}, - Uint128{0x120adf849e039d01, 0x039471e6a1645bd2}, - Uint128{0xdb3be603b19c7d9a, 0x02dd27ebb4504974}, - Uint128{0x7c2feb3627b0647c, 0x024a865629d9d45d}, - Uint128{0x2d197856a5e7072c, 0x03aa7089dc8fba2f}, - Uint128{0x8a7ac6abb7ec05bd, 0x02eec06e4a0c94f2}, - Uint128{0xd52f05562cbcd164, 0x025899f1d4d6dd8e}, - Uint128{0x21e4d556adfae8a0, 0x03c0f64fbaf1627e}, - Uint128{0xe7ea444557fbed4d, 0x0300c50c958de864}, - Uint128{0xecbb69d1132ff10a, 0x0267040a113e5383}, - Uint128{0xadf8a94e851981aa, 0x03d8067681fd526c}, - Uint128{0x8b2d543ed0e13488, 0x0313385ece6441f0}, - Uint128{0xd5bddcff0d80f6d3, 0x0275c6b23eb69b26}, - Uint128{0x892fc7fe7c018aeb, 0x03efa45064575ea4}, - Uint128{0x3a8c9ffec99ad589, 0x03261d0d1d12b21d}, - Uint128{0xc8707fff07af113b, 0x0284e40a7da88e7d}, - Uint128{0x39f39998d2f2742f, 0x0203e9a1fe2071fe}, - Uint128{0x8fec28f484b7204b, 0x033975cffd00b663}, - Uint128{0xd989ba5d36f8e6a2, 0x02945e3ffd9a2b82}, - Uint128{0x47a161e42bfa521c, 0x02104b66647b5602}, - Uint128{0x0c35696d132a1cf9, 0x034d4570a0c5566a}, - Uint128{0x09c454574288172d, 0x02a4378d4d6aab88}, - Uint128{0xa169dd129ba0128b, 0x021cf93dd7888939}, - Uint128{0x0242fb50f9001dab, 0x03618ec958da7529}, - Uint128{0x9b68c90d940017bc, 0x02b4723aad7b90ed}, - Uint128{0x4920a0d7a999ac96, 0x0229f4fbbdfc73f1}, - Uint128{0x750101590f5c4757, 0x037654c5fcc71fe8}, - Uint128{0x2a6734473f7d05df, 0x02c5109e63d27fed}, - Uint128{0xeeb8f69f65fd9e4c, 0x0237407eb641fff0}, - Uint128{0xe45b24323cc8fd46, 0x038b9a6456cfffe7}, - Uint128{0xb6af502830a0ca9f, 0x02d6151d123fffec}, - Uint128{0xf88c402026e7087f, 0x0244ddb0db666656}, - Uint128{0x2746cd003e3e73fe, 0x03a162b4923d708b}, - Uint128{0x1f6bd73364fec332, 0x02e7822a0e978d3c}, - Uint128{0xe5efdf5c50cbcf5b, 0x0252ce880bac70fc}, - Uint128{0x3cb2fefa1adfb22b, 0x03b7b0d9ac471b2e}, - Uint128{0x308f3261af195b56, 0x02f95a47bd05af58}, - Uint128{0x5a0c284e25ade2ab, 0x0261150630d15913}, - Uint128{0x29ad0d49d5e30445, 0x03ce8809e7b55b52}, - Uint128{0x548a7107de4f369d, 0x030ba007ec9115db}, - Uint128{0xdd3b8d9fe50c2bb1, 0x026fb3398a0dab15}, - Uint128{0x952c15cca1ad12b5, 0x03e5eb8f434911bc}, - Uint128{0x775677d6e7bda891, 0x031e560c35d40e30}, - Uint128{0xc5dec645863153a7, 0x027eab3cf7dcd826} + Uint128{u64(0x0000000000000001), u64(0x0400000000000000)}, + Uint128{u64(0x3333333333333334), u64(0x0333333333333333)}, + Uint128{u64(0x28f5c28f5c28f5c3), u64(0x028f5c28f5c28f5c)}, + Uint128{u64(0xed916872b020c49c), u64(0x020c49ba5e353f7c)}, + Uint128{u64(0xaf4f0d844d013a93), u64(0x0346dc5d63886594)}, + Uint128{u64(0x8c3f3e0370cdc876), u64(0x029f16b11c6d1e10)}, + Uint128{u64(0xd698fe69270b06c5), u64(0x0218def416bdb1a6)}, + Uint128{u64(0xf0f4ca41d811a46e), u64(0x035afe535795e90a)}, + Uint128{u64(0xf3f70834acdae9f1), u64(0x02af31dc4611873b)}, + Uint128{u64(0x5cc5a02a23e254c1), u64(0x0225c17d04dad296)}, + Uint128{u64(0xfad5cd10396a2135), u64(0x036f9bfb3af7b756)}, + Uint128{u64(0xfbde3da69454e75e), u64(0x02bfaffc2f2c92ab)}, + Uint128{u64(0x2fe4fe1edd10b918), u64(0x0232f33025bd4223)}, + Uint128{u64(0x4ca19697c81ac1bf), u64(0x0384b84d092ed038)}, + Uint128{u64(0x3d4e1213067bce33), u64(0x02d09370d4257360)}, + Uint128{u64(0x643e74dc052fd829), u64(0x024075f3dceac2b3)}, + Uint128{u64(0x6d30baf9a1e626a7), u64(0x039a5652fb113785)}, + Uint128{u64(0x2426fbfae7eb5220), u64(0x02e1dea8c8da92d1)}, + Uint128{u64(0x1cebfcc8b9890e80), u64(0x024e4bba3a487574)}, + Uint128{u64(0x94acc7a78f41b0cc), u64(0x03b07929f6da5586)}, + Uint128{u64(0xaa23d2ec729af3d7), u64(0x02f394219248446b)}, + Uint128{u64(0xbb4fdbf05baf2979), u64(0x025c768141d369ef)}, + Uint128{u64(0xc54c931a2c4b758d), u64(0x03c7240202ebdcb2)}, + Uint128{u64(0x9dd6dc14f03c5e0b), u64(0x0305b66802564a28)}, + Uint128{u64(0x4b1249aa59c9e4d6), u64(0x026af8533511d4ed)}, + Uint128{u64(0x44ea0f76f60fd489), u64(0x03de5a1ebb4fbb15)}, + Uint128{u64(0x6a54d92bf80caa07), u64(0x0318481895d96277)}, + Uint128{u64(0x21dd7a89933d54d2), u64(0x0279d346de4781f9)}, + Uint128{u64(0x362f2a75b8622150), u64(0x03f61ed7ca0c0328)}, + Uint128{u64(0xf825bb91604e810d), u64(0x032b4bdfd4d668ec)}, + Uint128{u64(0xc684960de6a5340b), u64(0x0289097fdd7853f0)}, + Uint128{u64(0xd203ab3e521dc33c), u64(0x02073accb12d0ff3)}, + Uint128{u64(0xe99f7863b696052c), u64(0x033ec47ab514e652)}, + Uint128{u64(0x87b2c6b62bab3757), u64(0x02989d2ef743eb75)}, + Uint128{u64(0xd2f56bc4efbc2c45), u64(0x0213b0f25f69892a)}, + Uint128{u64(0x1e55793b192d13a2), u64(0x0352b4b6ff0f41de)}, + Uint128{u64(0x4b77942f475742e8), u64(0x02a8909265a5ce4b)}, + Uint128{u64(0xd5f9435905df68ba), u64(0x022073a8515171d5)}, + Uint128{u64(0x565b9ef4d6324129), u64(0x03671f73b54f1c89)}, + Uint128{u64(0xdeafb25d78283421), u64(0x02b8e5f62aa5b06d)}, + Uint128{u64(0x188c8eb12cecf681), u64(0x022d84c4eeeaf38b)}, + Uint128{u64(0x8dadb11b7b14bd9b), u64(0x037c07a17e44b8de)}, + Uint128{u64(0x7157c0e2c8dd647c), u64(0x02c99fb46503c718)}, + Uint128{u64(0x8ddfcd823a4ab6ca), u64(0x023ae629ea696c13)}, + Uint128{u64(0x1632e269f6ddf142), u64(0x0391704310a8acec)}, + Uint128{u64(0x44f581ee5f17f435), u64(0x02dac035a6ed5723)}, + Uint128{u64(0x372ace584c1329c4), u64(0x024899c4858aac1c)}, + Uint128{u64(0xbeaae3c079b842d3), u64(0x03a75c6da27779c6)}, + Uint128{u64(0x6555830061603576), u64(0x02ec49f14ec5fb05)}, + Uint128{u64(0xb7779c004de6912b), u64(0x0256a18dd89e626a)}, + Uint128{u64(0xf258f99a163db512), u64(0x03bdcf495a9703dd)}, + Uint128{u64(0x5b7a614811caf741), u64(0x02fe3f6de212697e)}, + Uint128{u64(0xaf951aa00e3bf901), u64(0x0264ff8b1b41edfe)}, + Uint128{u64(0x7f54f7667d2cc19b), u64(0x03d4cc11c5364997)}, + Uint128{u64(0x32aa5f8530f09ae3), u64(0x0310a3416a91d479)}, + Uint128{u64(0xf55519375a5a1582), u64(0x0273b5cdeedb1060)}, + Uint128{u64(0xbbbb5b8bc3c3559d), u64(0x03ec56164af81a34)}, + Uint128{u64(0x2fc916096969114a), u64(0x03237811d593482a)}, + Uint128{u64(0x596dab3ababa743c), u64(0x0282c674aadc39bb)}, + Uint128{u64(0x478aef622efb9030), u64(0x0202385d557cfafc)}, + Uint128{u64(0xd8de4bd04b2c19e6), u64(0x0336c0955594c4c6)}, + Uint128{u64(0xad7ea30d08f014b8), u64(0x029233aaaadd6a38)}, + Uint128{u64(0x24654f3da0c01093), u64(0x020e8fbbbbe454fa)}, + Uint128{u64(0x3a3bb1fc346680eb), u64(0x034a7f92c63a2190)}, + Uint128{u64(0x94fc8e635d1ecd89), u64(0x02a1ffa89e94e7a6)}, + Uint128{u64(0xaa63a51c4a7f0ad4), u64(0x021b32ed4baa52eb)}, + Uint128{u64(0xdd6c3b607731aaed), u64(0x035eb7e212aa1e45)}, + Uint128{u64(0x1789c919f8f488bd), u64(0x02b22cb4dbbb4b6b)}, + Uint128{u64(0xac6e3a7b2d906d64), u64(0x022823c3e2fc3c55)}, + Uint128{u64(0x13e390c515b3e23a), u64(0x03736c6c9e606089)}, + Uint128{u64(0xdcb60d6a77c31b62), u64(0x02c2bd23b1e6b3a0)}, + Uint128{u64(0x7d5e7121f968e2b5), u64(0x0235641c8e52294d)}, + Uint128{u64(0xc8971b698f0e3787), u64(0x0388a02db0837548)}, + Uint128{u64(0xa078e2bad8d82c6c), u64(0x02d3b357c0692aa0)}, + Uint128{u64(0xe6c71bc8ad79bd24), u64(0x0242f5dfcd20eee6)}, + Uint128{u64(0x0ad82c7448c2c839), u64(0x039e5632e1ce4b0b)}, + Uint128{u64(0x3be023903a356cfa), u64(0x02e511c24e3ea26f)}, + Uint128{u64(0x2fe682d9c82abd95), u64(0x0250db01d8321b8c)}, + Uint128{u64(0x4ca4048fa6aac8ee), u64(0x03b4919c8d1cf8e0)}, + Uint128{u64(0x3d5003a61eef0725), u64(0x02f6dae3a4172d80)}, + Uint128{u64(0x9773361e7f259f51), u64(0x025f1582e9ac2466)}, + Uint128{u64(0x8beb89ca6508fee8), u64(0x03cb559e42ad070a)}, + Uint128{u64(0x6fefa16eb73a6586), u64(0x0309114b688a6c08)}, + Uint128{u64(0xf3261abef8fb846b), u64(0x026da76f86d52339)}, + Uint128{u64(0x51d691318e5f3a45), u64(0x03e2a57f3e21d1f6)}, + Uint128{u64(0x0e4540f471e5c837), u64(0x031bb798fe8174c5)}, + Uint128{u64(0xd8376729f4b7d360), u64(0x027c92e0cb9ac3d0)}, + Uint128{u64(0xf38bd84321261eff), u64(0x03fa849adf5e061a)}, + Uint128{u64(0x293cad0280eb4bff), u64(0x032ed07be5e4d1af)}, + Uint128{u64(0xedca240200bc3ccc), u64(0x028bd9fcb7ea4158)}, + Uint128{u64(0xbe3b50019a3030a4), u64(0x02097b309321cde0)}, + Uint128{u64(0xc9f88002904d1a9f), u64(0x03425eb41e9c7c9a)}, + Uint128{u64(0x3b2d3335403daee6), u64(0x029b7ef67ee396e2)}, + Uint128{u64(0x95bdc291003158b8), u64(0x0215ff2b98b6124e)}, + Uint128{u64(0x892f9db4cd1bc126), u64(0x035665128df01d4a)}, + Uint128{u64(0x07594af70a7c9a85), u64(0x02ab840ed7f34aa2)}, + Uint128{u64(0x6c476f2c0863aed1), u64(0x0222d00bdff5d54e)}, + Uint128{u64(0x13a57eacda3917b4), u64(0x036ae67966562217)}, + Uint128{u64(0x0fb7988a482dac90), u64(0x02bbeb9451de81ac)}, + Uint128{u64(0xd95fad3b6cf156da), u64(0x022fefa9db1867bc)}, + Uint128{u64(0xf565e1f8ae4ef15c), u64(0x037fe5dc91c0a5fa)}, + Uint128{u64(0x911e4e608b725ab0), u64(0x02ccb7e3a7cd5195)}, + Uint128{u64(0xda7ea51a0928488d), u64(0x023d5fe9530aa7aa)}, + Uint128{u64(0xf7310829a8407415), u64(0x039566421e7772aa)}, + Uint128{u64(0x2c2739baed005cde), u64(0x02ddeb68185f8eef)}, + Uint128{u64(0xbcec2e2f24004a4b), u64(0x024b22b9ad193f25)}, + Uint128{u64(0x94ad16b1d333aa11), u64(0x03ab6ac2ae8ecb6f)}, + Uint128{u64(0xaa241227dc2954db), u64(0x02ef889bbed8a2bf)}, + Uint128{u64(0x54e9a81fe35443e2), u64(0x02593a163246e899)}, + Uint128{u64(0x2175d9cc9eed396a), u64(0x03c1f689ea0b0dc2)}, + Uint128{u64(0xe7917b0a18bdc788), u64(0x03019207ee6f3e34)}, + Uint128{u64(0xb9412f3b46fe393a), u64(0x0267a8065858fe90)}, + Uint128{u64(0xf535185ed7fd285c), u64(0x03d90cd6f3c1974d)}, + Uint128{u64(0xc42a79e57997537d), u64(0x03140a458fce12a4)}, + Uint128{u64(0x03552e512e12a931), u64(0x02766e9e0ca4dbb7)}, + Uint128{u64(0x9eeeb081e3510eb4), u64(0x03f0b0fce107c5f1)}, + Uint128{u64(0x4bf226ce4f740bc3), u64(0x0326f3fd80d304c1)}, + Uint128{u64(0xa3281f0b72c33c9c), u64(0x02858ffe00a8d09a)}, + Uint128{u64(0x1c2018d5f568fd4a), u64(0x020473319a20a6e2)}, + Uint128{u64(0xf9ccf48988a7fba9), u64(0x033a51e8f69aa49c)}, + Uint128{u64(0xfb0a5d3ad3b99621), u64(0x02950e53f87bb6e3)}, + Uint128{u64(0x2f3b7dc8a96144e7), u64(0x0210d8432d2fc583)}, + Uint128{u64(0xe52bfc7442353b0c), u64(0x034e26d1e1e608d1)}, + Uint128{u64(0xb756639034f76270), u64(0x02a4ebdb1b1e6d74)}, + Uint128{u64(0x2c451c735d92b526), u64(0x021d897c15b1f12a)}, + Uint128{u64(0x13a1c71efc1deea3), u64(0x0362759355e981dd)}, + Uint128{u64(0x761b05b2634b2550), u64(0x02b52adc44bace4a)}, + Uint128{u64(0x91af37c1e908eaa6), u64(0x022a88b036fbd83b)}, + Uint128{u64(0x82b1f2cfdb417770), u64(0x03774119f192f392)}, + Uint128{u64(0xcef4c23fe29ac5f3), u64(0x02c5cdae5adbf60e)}, + Uint128{u64(0x3f2a34ffe87bd190), u64(0x0237d7beaf165e72)}, + Uint128{u64(0x984387ffda5fb5b2), u64(0x038c8c644b56fd83)}, + Uint128{u64(0xe0360666484c915b), u64(0x02d6d6b6a2abfe02)}, + Uint128{u64(0x802b3851d3707449), u64(0x024578921bbccb35)}, + Uint128{u64(0x99dec082ebe72075), u64(0x03a25a835f947855)}, + Uint128{u64(0xae4bcd358985b391), u64(0x02e8486919439377)}, + Uint128{u64(0xbea30a913ad15c74), u64(0x02536d20e102dc5f)}, + Uint128{u64(0xfdd1aa81f7b560b9), u64(0x03b8ae9b019e2d65)}, + Uint128{u64(0x97daeece5fc44d61), u64(0x02fa2548ce182451)}, + Uint128{u64(0xdfe258a51969d781), u64(0x0261b76d71ace9da)}, + Uint128{u64(0x996a276e8f0fbf34), u64(0x03cf8be24f7b0fc4)}, + Uint128{u64(0xe121b9253f3fcc2a), u64(0x030c6fe83f95a636)}, + Uint128{u64(0xb41afa8432997022), u64(0x02705986994484f8)}, + Uint128{u64(0xecf7f739ea8f19cf), u64(0x03e6f5a4286da18d)}, + Uint128{u64(0x23f99294bba5ae40), u64(0x031f2ae9b9f14e0b)}, + Uint128{u64(0x4ffadbaa2fb7be99), u64(0x027f5587c7f43e6f)}, + Uint128{u64(0x7ff7c5dd1925fdc2), u64(0x03feef3fa6539718)}, + Uint128{u64(0xccc637e4141e649b), u64(0x033258ffb842df46)}, + Uint128{u64(0xd704f983434b83af), u64(0x028ead9960357f6b)}, + Uint128{u64(0x126a6135cf6f9c8c), u64(0x020bbe144cf79923)}, + Uint128{u64(0x83dd685618b29414), u64(0x0345fced47f28e9e)}, + Uint128{u64(0x9cb12044e08edcdd), u64(0x029e63f1065ba54b)}, + Uint128{u64(0x16f419d0b3a57d7d), u64(0x02184ff405161dd6)}, + Uint128{u64(0x8b20294dec3bfbfb), u64(0x035a19866e89c956)}, + Uint128{u64(0x3c19baa4bcfcc996), u64(0x02ae7ad1f207d445)}, + Uint128{u64(0xc9ae2eea30ca3adf), u64(0x02252f0e5b39769d)}, + Uint128{u64(0x0f7d17dd1add2afd), u64(0x036eb1b091f58a96)}, + Uint128{u64(0x3f97464a7be42264), u64(0x02bef48d41913bab)}, + Uint128{u64(0xcc790508631ce850), u64(0x02325d3dce0dc955)}, + Uint128{u64(0xe0c1a1a704fb0d4d), u64(0x0383c862e3494222)}, + Uint128{u64(0x4d67b4859d95a43e), u64(0x02cfd3824f6dce82)}, + Uint128{u64(0x711fc39e17aae9cb), u64(0x023fdc683f8b0b9b)}, + Uint128{u64(0xe832d2968c44a945), u64(0x039960a6cc11ac2b)}, + Uint128{u64(0xecf575453d03ba9e), u64(0x02e11a1f09a7bcef)}, + Uint128{u64(0x572ac4376402fbb1), u64(0x024dae7f3aec9726)}, + Uint128{u64(0x58446d256cd192b5), u64(0x03af7d985e47583d)}, + Uint128{u64(0x79d0575123dadbc4), u64(0x02f2cae04b6c4697)}, + Uint128{u64(0x94a6ac40e97be303), u64(0x025bd5803c569edf)}, + Uint128{u64(0x8771139b0f2c9e6c), u64(0x03c62266c6f0fe32)}, + Uint128{u64(0x9f8da948d8f07ebd), u64(0x0304e85238c0cb5b)}, + Uint128{u64(0xe60aedd3e0c06564), u64(0x026a5374fa33d5e2)}, + Uint128{u64(0xa344afb9679a3bd2), u64(0x03dd5254c3862304)}, + Uint128{u64(0xe903bfc78614fca8), u64(0x031775109c6b4f36)}, + Uint128{u64(0xba6966393810ca20), u64(0x02792a73b055d8f8)}, + Uint128{u64(0x2a423d2859b4769a), u64(0x03f510b91a22f4c1)}, + Uint128{u64(0xee9b642047c39215), u64(0x032a73c7481bf700)}, + Uint128{u64(0xbee2b680396941aa), u64(0x02885c9f6ce32c00)}, + Uint128{u64(0xff1bc53361210155), u64(0x0206b07f8a4f5666)}, + Uint128{u64(0x31c6085235019bbb), u64(0x033de73276e5570b)}, + Uint128{u64(0x27d1a041c4014963), u64(0x0297ec285f1ddf3c)}, + Uint128{u64(0xeca7b367d0010782), u64(0x021323537f4b18fc)}, + Uint128{u64(0xadd91f0c8001a59d), u64(0x0351d21f3211c194)}, + Uint128{u64(0xf17a7f3d3334847e), u64(0x02a7db4c280e3476)}, + Uint128{u64(0x279532975c2a0398), u64(0x021fe2a3533e905f)}, + Uint128{u64(0xd8eeb75893766c26), u64(0x0366376bb8641a31)}, + Uint128{u64(0x7a5892ad42c52352), u64(0x02b82c562d1ce1c1)}, + Uint128{u64(0xfb7a0ef102374f75), u64(0x022cf044f0e3e7cd)}, + Uint128{u64(0xc59017e8038bb254), u64(0x037b1a07e7d30c7c)}, + Uint128{u64(0x37a67986693c8eaa), u64(0x02c8e19feca8d6ca)}, + Uint128{u64(0xf951fad1edca0bbb), u64(0x023a4e198a20abd4)}, + Uint128{u64(0x28832ae97c76792b), u64(0x03907cf5a9cddfbb)}, + Uint128{u64(0x2068ef21305ec756), u64(0x02d9fd9154a4b2fc)}, + Uint128{u64(0x19ed8c1a8d189f78), u64(0x0247fe0ddd508f30)}, + Uint128{u64(0x5caf4690e1c0ff26), u64(0x03a66349621a7eb3)}, + Uint128{u64(0x4a25d20d81673285), u64(0x02eb82a11b48655c)}, + Uint128{u64(0x3b5174d79ab8f537), u64(0x0256021a7c39eab0)}, + Uint128{u64(0x921bee25c45b21f1), u64(0x03bcd02a605caab3)}, + Uint128{u64(0xdb498b5169e2818e), u64(0x02fd735519e3bbc2)}, + Uint128{u64(0x15d46f7454b53472), u64(0x02645c4414b62fcf)}, + Uint128{u64(0xefba4bed545520b6), u64(0x03d3c6d35456b2e4)}, + Uint128{u64(0xf2fb6ff110441a2b), u64(0x030fd242a9def583)}, + Uint128{u64(0x8f2f8cc0d9d014ef), u64(0x02730e9bbb18c469)}, + Uint128{u64(0xb1e5ae015c80217f), u64(0x03eb4a92c4f46d75)}, + Uint128{u64(0xc1848b344a001acc), u64(0x0322a20f03f6bdf7)}, + Uint128{u64(0xce03a2903b3348a3), u64(0x02821b3f365efe5f)}, + Uint128{u64(0xd802e873628f6d4f), u64(0x0201af65c518cb7f)}, + Uint128{u64(0x599e40b89db2487f), u64(0x0335e56fa1c14599)}, + Uint128{u64(0xe14b66fa17c1d399), u64(0x029184594e3437ad)}, + Uint128{u64(0x81091f2e7967dc7a), u64(0x020e037aa4f692f1)}, + Uint128{u64(0x9b41cb7d8f0c93f6), u64(0x03499f2aa18a84b5)}, + Uint128{u64(0xaf67d5fe0c0a0ff8), u64(0x02a14c221ad536f7)}, + Uint128{u64(0xf2b977fe70080cc7), u64(0x021aa34e7bddc592)}, + Uint128{u64(0x1df58cca4cd9ae0b), u64(0x035dd2172c9608eb)}, + Uint128{u64(0xe4c470a1d7148b3c), u64(0x02b174df56de6d88)}, + Uint128{u64(0x83d05a1b1276d5ca), u64(0x022790b2abe5246d)}, + Uint128{u64(0x9fb3c35e83f1560f), u64(0x0372811ddfd50715)}, + Uint128{u64(0xb2f635e5365aab3f), u64(0x02c200e4b310d277)}, + Uint128{u64(0xf591c4b75eaeef66), u64(0x0234cd83c273db92)}, + Uint128{u64(0xef4fa125644b18a3), u64(0x0387af39371fc5b7)}, + Uint128{u64(0x8c3fb41de9d5ad4f), u64(0x02d2f2942c196af9)}, + Uint128{u64(0x3cffc34b2177bdd9), u64(0x02425ba9bce12261)}, + Uint128{u64(0x94cc6bab68bf9628), u64(0x039d5f75fb01d09b)}, + Uint128{u64(0x10a38955ed6611b9), u64(0x02e44c5e6267da16)}, + Uint128{u64(0xda1c6dde5784dafb), u64(0x02503d184eb97b44)}, + Uint128{u64(0xf693e2fd58d49191), u64(0x03b394f3b128c53a)}, + Uint128{u64(0xc5431bfde0aa0e0e), u64(0x02f610c2f4209dc8)}, + Uint128{u64(0x6a9c1664b3bb3e72), u64(0x025e73cf29b3b16d)}, + Uint128{u64(0x10f9bd6dec5eca4f), u64(0x03ca52e50f85e8af)}, + Uint128{u64(0xda616457f04bd50c), u64(0x03084250d937ed58)}, + Uint128{u64(0xe1e783798d09773d), u64(0x026d01da475ff113)}, + Uint128{u64(0x030c058f480f252e), u64(0x03e19c9072331b53)}, + Uint128{u64(0x68d66ad906728425), u64(0x031ae3a6c1c27c42)}, + Uint128{u64(0x8711ef14052869b7), u64(0x027be952349b969b)}, + Uint128{u64(0x0b4fe4ecd50d75f2), u64(0x03f97550542c242c)}, + Uint128{u64(0xa2a650bd773df7f5), u64(0x032df7737689b689)}, + Uint128{u64(0xb551da312c31932a), u64(0x028b2c5c5ed49207)}, + Uint128{u64(0x5ddb14f4235adc22), u64(0x0208f049e576db39)}, + Uint128{u64(0x2fc4ee536bc49369), u64(0x034180763bf15ec2)}, + Uint128{u64(0xbfd0bea92303a921), u64(0x029acd2b63277f01)}, + Uint128{u64(0x9973cbba8269541a), u64(0x021570ef8285ff34)}, + Uint128{u64(0x5bec792a6a42202a), u64(0x0355817f373ccb87)}, + Uint128{u64(0xe3239421ee9b4cef), u64(0x02aacdff5f63d605)}, + Uint128{u64(0xb5b6101b25490a59), u64(0x02223e65e5e97804)}, + Uint128{u64(0x22bce691d541aa27), u64(0x0369fd6fd64259a1)}, + Uint128{u64(0xb563eba7ddce21b9), u64(0x02bb31264501e14d)}, + Uint128{u64(0xf78322ecb171b494), u64(0x022f5a850401810a)}, + Uint128{u64(0x259e9e47824f8753), u64(0x037ef73b399c01ab)}, + Uint128{u64(0x1e187e9f9b72d2a9), u64(0x02cbf8fc2e1667bc)}, + Uint128{u64(0x4b46cbb2e2c24221), u64(0x023cc73024deb963)}, + Uint128{u64(0x120adf849e039d01), u64(0x039471e6a1645bd2)}, + Uint128{u64(0xdb3be603b19c7d9a), u64(0x02dd27ebb4504974)}, + Uint128{u64(0x7c2feb3627b0647c), u64(0x024a865629d9d45d)}, + Uint128{u64(0x2d197856a5e7072c), u64(0x03aa7089dc8fba2f)}, + Uint128{u64(0x8a7ac6abb7ec05bd), u64(0x02eec06e4a0c94f2)}, + Uint128{u64(0xd52f05562cbcd164), u64(0x025899f1d4d6dd8e)}, + Uint128{u64(0x21e4d556adfae8a0), u64(0x03c0f64fbaf1627e)}, + Uint128{u64(0xe7ea444557fbed4d), u64(0x0300c50c958de864)}, + Uint128{u64(0xecbb69d1132ff10a), u64(0x0267040a113e5383)}, + Uint128{u64(0xadf8a94e851981aa), u64(0x03d8067681fd526c)}, + Uint128{u64(0x8b2d543ed0e13488), u64(0x0313385ece6441f0)}, + Uint128{u64(0xd5bddcff0d80f6d3), u64(0x0275c6b23eb69b26)}, + Uint128{u64(0x892fc7fe7c018aeb), u64(0x03efa45064575ea4)}, + Uint128{u64(0x3a8c9ffec99ad589), u64(0x03261d0d1d12b21d)}, + Uint128{u64(0xc8707fff07af113b), u64(0x0284e40a7da88e7d)}, + Uint128{u64(0x39f39998d2f2742f), u64(0x0203e9a1fe2071fe)}, + Uint128{u64(0x8fec28f484b7204b), u64(0x033975cffd00b663)}, + Uint128{u64(0xd989ba5d36f8e6a2), u64(0x02945e3ffd9a2b82)}, + Uint128{u64(0x47a161e42bfa521c), u64(0x02104b66647b5602)}, + Uint128{u64(0x0c35696d132a1cf9), u64(0x034d4570a0c5566a)}, + Uint128{u64(0x09c454574288172d), u64(0x02a4378d4d6aab88)}, + Uint128{u64(0xa169dd129ba0128b), u64(0x021cf93dd7888939)}, + Uint128{u64(0x0242fb50f9001dab), u64(0x03618ec958da7529)}, + Uint128{u64(0x9b68c90d940017bc), u64(0x02b4723aad7b90ed)}, + Uint128{u64(0x4920a0d7a999ac96), u64(0x0229f4fbbdfc73f1)}, + Uint128{u64(0x750101590f5c4757), u64(0x037654c5fcc71fe8)}, + Uint128{u64(0x2a6734473f7d05df), u64(0x02c5109e63d27fed)}, + Uint128{u64(0xeeb8f69f65fd9e4c), u64(0x0237407eb641fff0)}, + Uint128{u64(0xe45b24323cc8fd46), u64(0x038b9a6456cfffe7)}, + Uint128{u64(0xb6af502830a0ca9f), u64(0x02d6151d123fffec)}, + Uint128{u64(0xf88c402026e7087f), u64(0x0244ddb0db666656)}, + Uint128{u64(0x2746cd003e3e73fe), u64(0x03a162b4923d708b)}, + Uint128{u64(0x1f6bd73364fec332), u64(0x02e7822a0e978d3c)}, + Uint128{u64(0xe5efdf5c50cbcf5b), u64(0x0252ce880bac70fc)}, + Uint128{u64(0x3cb2fefa1adfb22b), u64(0x03b7b0d9ac471b2e)}, + Uint128{u64(0x308f3261af195b56), u64(0x02f95a47bd05af58)}, + Uint128{u64(0x5a0c284e25ade2ab), u64(0x0261150630d15913)}, + Uint128{u64(0x29ad0d49d5e30445), u64(0x03ce8809e7b55b52)}, + Uint128{u64(0x548a7107de4f369d), u64(0x030ba007ec9115db)}, + Uint128{u64(0xdd3b8d9fe50c2bb1), u64(0x026fb3398a0dab15)}, + Uint128{u64(0x952c15cca1ad12b5), u64(0x03e5eb8f434911bc)}, + Uint128{u64(0x775677d6e7bda891), u64(0x031e560c35d40e30)}, + Uint128{u64(0xc5dec645863153a7), u64(0x027eab3cf7dcd826)} ] )