1722832e6SMichael Jones //===-- Unittests for strtod ----------------------------------------------===//
287c01607SMichael Jones //
387c01607SMichael Jones // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
487c01607SMichael Jones // See https://llvm.org/LICENSE.txt for license information.
587c01607SMichael Jones // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
687c01607SMichael Jones //
787c01607SMichael Jones //===----------------------------------------------------------------------===//
887c01607SMichael Jones
987c01607SMichael Jones #include "src/__support/FPUtil/FPBits.h"
1004a9c625SMichael Jones #include "src/errno/libc_errno.h"
1187c01607SMichael Jones #include "src/stdlib/strtod.h"
1287c01607SMichael Jones
134f1fe19dSSiva Chandra Reddy #include "test/UnitTest/ErrnoSetterMatcher.h"
14447d59e0SSiva Chandra Reddy #include "test/UnitTest/RoundingModeUtils.h"
15af1315c2SSiva Chandra Reddy #include "test/UnitTest/Test.h"
1687c01607SMichael Jones
1787c01607SMichael Jones #include <stddef.h>
1887c01607SMichael Jones
19b6bc9d72SGuillaume Chatelet using LIBC_NAMESPACE::fputil::testing::ForceRoundingModeTest;
20b6bc9d72SGuillaume Chatelet using LIBC_NAMESPACE::fputil::testing::RoundingMode;
2104c681d1SAlex Brachet
22b6bc9d72SGuillaume Chatelet using LIBC_NAMESPACE::testing::ErrnoSetterMatcher::Fails;
23b6bc9d72SGuillaume Chatelet using LIBC_NAMESPACE::testing::ErrnoSetterMatcher::Succeeds;
244f1fe19dSSiva Chandra Reddy
25b6bc9d72SGuillaume Chatelet class LlvmLibcStrToDTest : public LIBC_NAMESPACE::testing::Test,
2604c681d1SAlex Brachet ForceRoundingModeTest<RoundingMode::Nearest> {
2787c01607SMichael Jones public:
run_test(const char * inputString,const ptrdiff_t expectedStrLen,const uint64_t expectedRawData,const int expectedErrno=0)2825226f3eSMichael Jones void run_test(const char *inputString, const ptrdiff_t expectedStrLen,
2987c01607SMichael Jones const uint64_t expectedRawData, const int expectedErrno = 0) {
3087c01607SMichael Jones // expectedRawData is the expected double result as a uint64_t, organized
3187c01607SMichael Jones // according to IEEE754:
3287c01607SMichael Jones //
3387c01607SMichael Jones // +-- 1 Sign Bit +-- 52 Mantissa bits
3487c01607SMichael Jones // | |
3587c01607SMichael Jones // | +-------------------------+------------------------+
3687c01607SMichael Jones // | | |
3787c01607SMichael Jones // SEEEEEEEEEEEMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMM
3887c01607SMichael Jones // | |
3987c01607SMichael Jones // +----+----+
4087c01607SMichael Jones // |
4187c01607SMichael Jones // +-- 11 Exponent Bits
4287c01607SMichael Jones //
4387c01607SMichael Jones // This is so that the result can be compared in parts.
4425226f3eSMichael Jones char *str_end = nullptr;
4587c01607SMichael Jones
46b6bc9d72SGuillaume Chatelet LIBC_NAMESPACE::fputil::FPBits<double> expected_fp =
47b6bc9d72SGuillaume Chatelet LIBC_NAMESPACE::fputil::FPBits<double>(expectedRawData);
4887c01607SMichael Jones
49*3eb1e6d8Smichaelrj-google LIBC_NAMESPACE::libc_errno = 0;
50b6bc9d72SGuillaume Chatelet double result = LIBC_NAMESPACE::strtod(inputString, &str_end);
514f1fe19dSSiva Chandra Reddy if (expectedErrno == 0)
522856db0dSGuillaume Chatelet EXPECT_THAT(result, Succeeds<double>(expected_fp.get_val()));
534f1fe19dSSiva Chandra Reddy else
542856db0dSGuillaume Chatelet EXPECT_THAT(result, Fails<double>(expectedErrno, expected_fp.get_val()));
5525226f3eSMichael Jones EXPECT_EQ(str_end - inputString, expectedStrLen);
5687c01607SMichael Jones }
5787c01607SMichael Jones };
5887c01607SMichael Jones
TEST_F(LlvmLibcStrToDTest,SimpleTest)5987c01607SMichael Jones TEST_F(LlvmLibcStrToDTest, SimpleTest) {
6025226f3eSMichael Jones run_test("123", 3, uint64_t(0x405ec00000000000));
6187c01607SMichael Jones
6287c01607SMichael Jones // This should fail on Eisel-Lemire, forcing a fallback to simple decimal
6387c01607SMichael Jones // conversion.
6425226f3eSMichael Jones run_test("12345678901234549760", 20, uint64_t(0x43e56a95319d63d8));
6587c01607SMichael Jones
6687c01607SMichael Jones // Found while looking for difficult test cases here:
6787c01607SMichael Jones // https://github.com/nigeltao/parse-number-fxx-test-data/blob/main/more-test-cases/golang-org-issue-36657.txt
6825226f3eSMichael Jones run_test("1090544144181609348835077142190", 31, uint64_t(0x462b8779f2474dfb));
6987c01607SMichael Jones
7025226f3eSMichael Jones run_test("0x123", 5, uint64_t(0x4072300000000000));
7187c01607SMichael Jones }
7287c01607SMichael Jones
7387c01607SMichael Jones // These are tests that have caused problems in the past.
TEST_F(LlvmLibcStrToDTest,SpecificFailures)7487c01607SMichael Jones TEST_F(LlvmLibcStrToDTest, SpecificFailures) {
7525226f3eSMichael Jones run_test("3E70000000000000", 16, uint64_t(0x7FF0000000000000), ERANGE);
7625226f3eSMichael Jones run_test("358416272e-33", 13, uint64_t(0x3adbbb2a68c9d0b9));
7725226f3eSMichael Jones run_test("2.16656806400000023841857910156251e9", 36,
7887c01607SMichael Jones uint64_t(0x41e0246690000001));
7925226f3eSMichael Jones run_test("27949676547093071875", 20, uint64_t(0x43f83e132bc608c9));
80bf7f01d8SMichael Jones run_test(
81bf7f01d8SMichael Jones "100000000000000000000000000000000000000000000000000000000000000000000000"
82bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
83bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
84bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
85bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
86bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
87bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
88bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
89bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
90bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
91bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
92bf7f01d8SMichael Jones "000000000e-800",
93bf7f01d8SMichael Jones 806, 0x3ff0000000000000);
94bf7f01d8SMichael Jones run_test(
95bf7f01d8SMichael Jones "100000000000000000000000000000000000000000000000000000000000000000000000"
96bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
97bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
98bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
99bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
100bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
101bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
102bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
103bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
104bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
105bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
106bf7f01d8SMichael Jones "000000000e-799",
107bf7f01d8SMichael Jones 806, 0x4024000000000000);
108bf7f01d8SMichael Jones run_test(
109bf7f01d8SMichael Jones "100000000000000000000000000000000000000000000000000000000000000000000000"
110bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
111bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
112bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
113bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
114bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
115bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
116bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
117bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
118bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
119bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
120bf7f01d8SMichael Jones "0000000000e-800",
121bf7f01d8SMichael Jones 807, 0x4024000000000000);
122bf7f01d8SMichael Jones run_test(
123bf7f01d8SMichael Jones "10000000000000000000000000000000000000000000000000000000000000000e-64",
124bf7f01d8SMichael Jones 69, 0x3ff0000000000000);
125bf7f01d8SMichael Jones run_test(
126bf7f01d8SMichael Jones "100000000000000000000000000000000000000000000000000000000000000000000000"
127bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000e-128",
128bf7f01d8SMichael Jones 134, 0x3ff0000000000000);
129bf7f01d8SMichael Jones run_test("1000000000000000000000000000000000000000000000000000000000000000000"
130bf7f01d8SMichael Jones "0000000000000000000000000000000000000000000000000000000000000000000"
131bf7f01d8SMichael Jones "0000000000000000000000000000000000000000000000000000000000000000000"
132bf7f01d8SMichael Jones "00000000000000000000000000000000000000000000000000000000e-256",
133bf7f01d8SMichael Jones 262, 0x3ff0000000000000);
134bf7f01d8SMichael Jones run_test("1000000000000000000000000000000000000000000000000000000000000000000"
135bf7f01d8SMichael Jones "0000000000000000000000000000000000000000000000000000000000000000000"
136bf7f01d8SMichael Jones "0000000000000000000000000000000000000000000000000000000000000000000"
137bf7f01d8SMichael Jones "0000000000000000000000000000000000000000000000000000000000000000000"
138bf7f01d8SMichael Jones "0000000000000000000000000000000000000000000000000000000000000000000"
139bf7f01d8SMichael Jones "0000000000000000000000000000000000000000000000000000000000000000000"
140bf7f01d8SMichael Jones "0000000000000000000000000000000000000000000000000000000000000000000"
141bf7f01d8SMichael Jones "00000000000000000000000000000000000000000000e-512",
142bf7f01d8SMichael Jones 518, 0x3ff0000000000000);
143bf7f01d8SMichael Jones run_test(
144bf7f01d8SMichael Jones "100000000000000000000000000000000000000000000000000000000000000000000000"
145bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
146bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
147bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
148bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
149bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
150bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
151bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
152bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
153bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
154bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
155bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
156bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
157bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
158bf7f01d8SMichael Jones "00000000000000000e-1024",
159bf7f01d8SMichael Jones 1031, 0x3ff0000000000000);
160bf7f01d8SMichael Jones run_test(
161bf7f01d8SMichael Jones "0"
162bf7f01d8SMichael Jones "100000000000000000000000000000000000000000000000000000000000000000000000"
163bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
164bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
165bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
166bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
167bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
168bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
169bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
170bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
171bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
172bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
173bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
174bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
175bf7f01d8SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
176bf7f01d8SMichael Jones "00000000000000000e-1024",
177bf7f01d8SMichael Jones 1032, 0x3ff0000000000000);
17887c01607SMichael Jones }
17987c01607SMichael Jones
TEST_F(LlvmLibcStrToDTest,FuzzFailures)18087c01607SMichael Jones TEST_F(LlvmLibcStrToDTest, FuzzFailures) {
18125226f3eSMichael Jones run_test("-\xff\xff\xff\xff\xff\xff\xff\x01", 0, uint64_t(0));
18225226f3eSMichael Jones run_test("-.????", 0, uint64_t(0));
18325226f3eSMichael Jones run_test(
18425226f3eSMichael Jones "44444444444444444444444444444444444444444444444444A44444444444444444"
18587c01607SMichael Jones "44444444444*\x99\xff\xff\xff\xff",
18687c01607SMichael Jones 50, uint64_t(0x4a3e68fdd0e0b2d8));
18725226f3eSMichael Jones run_test("-NNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNKNNNNNNNNNNNNNNNNNN?"
18887c01607SMichael Jones "NNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNN?",
18987c01607SMichael Jones 0, uint64_t(0));
19025226f3eSMichael Jones run_test("0x.666E40", 9, uint64_t(0x3fd99b9000000000));
1917aec387dSMichael Jones
1927aec387dSMichael Jones // glibc version 2.36 and higher (not tested with lower versions) disagrees
1937aec387dSMichael Jones // with this result, but ours is correct for the nearest rounding mode. See
1947aec387dSMichael Jones // this bug: https://sourceware.org/bugzilla/show_bug.cgi?id=30220
1957aec387dSMichael Jones run_test("0x30000002222225p-1077", 22, uint64_t(0x0006000000444445), ERANGE);
196cc65ecfdSMichael Jones
1973d953234SMichael Jones // This value triggered a bug by having an exponent exactly equal to the
1983d953234SMichael Jones // maximum. The overflow checks would accept a value less than the max value
1993d953234SMichael Jones // as valid and greater than the max value as invalid (and set it to the max),
2003d953234SMichael Jones // but an exponent of exactly max value hit the else condition which is
2013d953234SMichael Jones // intended for underflow and set the exponent to the min exponent.
2023d953234SMichael Jones run_test(
2033d953234SMichael Jones "184774460000000000000000000000000000052300000000000000000000000000000000"
2043d953234SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
2053d953234SMichael Jones "000000000000000000000000000000000000009351662015430037656316837118788423"
2063d953234SMichael Jones "887774460000000000004300376000000000000000000000000000000000000000000000"
2073d953234SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
2083d953234SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
2093d953234SMichael Jones "000000000000000000000000000000000000000000000052385811247017194600000000"
2103d953234SMichael Jones "000000000171946000000000000000000700460000000000000000000000001000000000"
2113d953234SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
2123d953234SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
2133d953234SMichael Jones "000000000000000000000000000000000000000000000000000000020000000000000000"
2143d953234SMichael Jones "000000000000563168371187884238877744600000000000000000000000000000523858"
2153d953234SMichael Jones "112470171946000000000000000001719460000000000000000007004600000000000000"
2163d953234SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
2173d953234SMichael Jones "000000000000000000020000000000000000000000000000000000000000000000000000"
2183d953234SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
2193d953234SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
2203d953234SMichael Jones "000000000000000000000000000000000000000000000005238581124701719460000000"
2213d953234SMichael Jones "000000000017194600000000000000000070046000000000000000000000000000000000"
2223d953234SMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
2233d953234SMichael Jones "200000000000000000E608",
2243d953234SMichael Jones 1462, uint64_t(0x7ff0000000000000), ERANGE);
2253d953234SMichael Jones
226b5f0a876SMichael Jones // Same as above but for hex.
227b5f0a876SMichael Jones run_test("0x0164810157p2047", 17, uint64_t(0x7ff0000000000000), ERANGE);
228b5f0a876SMichael Jones
229ae3b59e6SMichael Jones // This test ensures that only the correct number of characters is accepted.
230ae3b59e6SMichael Jones // An exponent symbol followed by a sign isn't a valid exponent.
231ae3b59e6SMichael Jones run_test("2e+", 1, uint64_t(0x4000000000000000));
232ae3b59e6SMichael Jones run_test("0x2p+", 3, uint64_t(0x4000000000000000));
233ae3b59e6SMichael Jones
234cc65ecfdSMichael Jones // This bug was in the handling of very large exponents in the exponent
235cc65ecfdSMichael Jones // marker. Previously anything greater than 10,000 would be set to 10,000.
236cc65ecfdSMichael Jones // This caused incorrect behavior if there were more than 10,000 '0's in the
237cc65ecfdSMichael Jones // input number, and then a correspondingly large exponent. This test case has
238cc65ecfdSMichael Jones // 24,744 zeroes.
239cc65ecfdSMichael Jones run_test(
240cc65ecfdSMichael Jones "0x."
241cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
242cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
243cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
244cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
245cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
246cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
247cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
248cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
249cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
250cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
251cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
252cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
253cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
254cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
255cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
256cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
257cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
258cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
259cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
260cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
261cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
262cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
263cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
264cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
265cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
266cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
267cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
268cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
269cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
270cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
271cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
272cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
273cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
274cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
275cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
276cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
277cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
278cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
279cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
280cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
281cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
282cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
283cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
284cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
285cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
286cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
287cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
288cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
289cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
290cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
291cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
292cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
293cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
294cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
295cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
296cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
297cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
298cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
299cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
300cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
301cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
302cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
303cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
304cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
305cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
306cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
307cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
308cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
309cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
310cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
311cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
312cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
313cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
314cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
315cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
316cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
317cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
318cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
319cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
320cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
321cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
322cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
323cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
324cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
325cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
326cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
327cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
328cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
329cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
330cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
331cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
332cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
333cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
334cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
335cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
336cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
337cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
338cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
339cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
340cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
341cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
342cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
343cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
344cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
345cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
346cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
347cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
348cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
349cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
350cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
351cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
352cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
353cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
354cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
355cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
356cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
357cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
358cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
359cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
360cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
361cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
362cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
363cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
364cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
365cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
366cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
367cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
368cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
369cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
370cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
371cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
372cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
373cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
374cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
375cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
376cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
377cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
378cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
379cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
380cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
381cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
382cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
383cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
384cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
385cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
386cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
387cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
388cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
389cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
390cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
391cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
392cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
393cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
394cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
395cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
396cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
397cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
398cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
399cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
400cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
401cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
402cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
403cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
404cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
405cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
406cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
407cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
408cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
409cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
410cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
411cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
412cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
413cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
414cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
415cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
416cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
417cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
418cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
419cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
420cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
421cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
422cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
423cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
424cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
425cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
426cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
427cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
428cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
429cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
430cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
431cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
432cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
433cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
434cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
435cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
436cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
437cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
438cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
439cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
440cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
441cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
442cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
443cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
444cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
445cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
446cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
447cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
448cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
449cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
450cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
451cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
452cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
453cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
454cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
455cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
456cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
457cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
458cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
459cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
460cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
461cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
462cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
463cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
464cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
465cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
466cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
467cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
468cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
469cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
470cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
471cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
472cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
473cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
474cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
475cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
476cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
477cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
478cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
479cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
480cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
481cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
482cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
483cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
484cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
485cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
486cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
487cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
488cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
489cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
490cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
491cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
492cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
493cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
494cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
495cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
496cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
497cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
498cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
499cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
500cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
501cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
502cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
503cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
504cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
505cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
506cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
507cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
508cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
509cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
510cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
511cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
512cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
513cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
514cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
515cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
516cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
517cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
518cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
519cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
520cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
521cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
522cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
523cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
524cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
525cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
526cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
527cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
528cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
529cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
530cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
531cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
532cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
533cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
534cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
535cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
536cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
537cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
538cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
539cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
540cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
541cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
542cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
543cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
544cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
545cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
546cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
547cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
548cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
549cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
550cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
551cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
552cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
553cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
554cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
555cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
556cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
557cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
558cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
559cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
560cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
561cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
562cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
563cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
564cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
565cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
566cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
567cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
568cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
569cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
570cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
571cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
572cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
573cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
574cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
575cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
576cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
577cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
578cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
579cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
580cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
581cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
582cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
583cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000000000000000000000000000"
584cc65ecfdSMichael Jones "000000000000000000000000000000000000000000000000fp551615",
585cc65ecfdSMichael Jones 24755, uint64_t(0x7ff0000000000000), ERANGE);
58687c01607SMichael Jones }
587