aboutsummaryrefslogtreecommitdiff
path: root/sim-sli-2d-2opimm-trace-arm64.h
diff options
context:
space:
mode:
Diffstat (limited to 'sim-sli-2d-2opimm-trace-arm64.h')
-rw-r--r--sim-sli-2d-2opimm-trace-arm64.h2601
1 files changed, 2601 insertions, 0 deletions
diff --git a/sim-sli-2d-2opimm-trace-arm64.h b/sim-sli-2d-2opimm-trace-arm64.h
new file mode 100644
index 0000000..9611ecb
--- /dev/null
+++ b/sim-sli-2d-2opimm-trace-arm64.h
@@ -0,0 +1,2601 @@
+// Copyright 2015, VIXL authors
+// All rights reserved.
+//
+// Redistribution and use in source and binary forms, with or without
+// modification, are permitted provided that the following conditions are met:
+//
+// * Redistributions of source code must retain the above copyright notice,
+// this list of conditions and the following disclaimer.
+// * Redistributions in binary form must reproduce the above copyright notice,
+// this list of conditions and the following disclaimer in the documentation
+// and/or other materials provided with the distribution.
+// * Neither the name of ARM Limited nor the names of its contributors may be
+// used to endorse or promote products derived from this software without
+// specific prior written permission.
+//
+// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
+// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
+// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+
+// ---------------------------------------------------------------------
+// This file is auto generated using tools/generate_simulator_traces.py.
+//
+// PLEASE DO NOT EDIT.
+// ---------------------------------------------------------------------
+
+#ifndef VIXL_SIM_SLI_2D_2OPIMM_TRACE_AARCH64_H_
+#define VIXL_SIM_SLI_2D_2OPIMM_TRACE_AARCH64_H_
+
+const uint64_t kExpected_NEON_sli_2D_2OPIMM[] = {
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0x0000000000000000, 0x0000000000000001,
+ 0x0000000000000000, 0x0000000000000003,
+ 0x0000000000000000, 0x0000000000000007,
+ 0x0000000000000000, 0x000000000000000f,
+ 0x0000000000000000, 0x000000000000001f,
+ 0x0000000000000000, 0x000000000000003f,
+ 0x0000000000000000, 0x000000000000007f,
+ 0x0000000000000000, 0x00000000000000ff,
+ 0x0000000000000000, 0x00000000000001ff,
+ 0x0000000000000000, 0x00000000000003ff,
+ 0x0000000000000000, 0x00000000000007ff,
+ 0x0000000000000000, 0x0000000000000fff,
+ 0x0000000000000000, 0x0000000000001fff,
+ 0x0000000000000000, 0x0000000000003fff,
+ 0x0000000000000000, 0x0000000000007fff,
+ 0x0000000000000000, 0x000000000000ffff,
+ 0x0000000000000000, 0x000000000001ffff,
+ 0x0000000000000000, 0x000000000003ffff,
+ 0x0000000000000000, 0x000000000007ffff,
+ 0x0000000000000000, 0x00000000000fffff,
+ 0x0000000000000000, 0x00000000001fffff,
+ 0x0000000000000000, 0x00000000003fffff,
+ 0x0000000000000000, 0x00000000007fffff,
+ 0x0000000000000000, 0x0000000000ffffff,
+ 0x0000000000000000, 0x0000000001ffffff,
+ 0x0000000000000000, 0x0000000003ffffff,
+ 0x0000000000000000, 0x0000000007ffffff,
+ 0x0000000000000000, 0x000000000fffffff,
+ 0x0000000000000000, 0x000000001fffffff,
+ 0x0000000000000000, 0x000000003fffffff,
+ 0x0000000000000000, 0x000000007fffffff,
+ 0x0000000000000000, 0x00000000ffffffff,
+ 0x0000000000000000, 0x00000001ffffffff,
+ 0x0000000000000000, 0x00000003ffffffff,
+ 0x0000000000000000, 0x00000007ffffffff,
+ 0x0000000000000000, 0x0000000fffffffff,
+ 0x0000000000000000, 0x0000001fffffffff,
+ 0x0000000000000000, 0x0000003fffffffff,
+ 0x0000000000000000, 0x0000007fffffffff,
+ 0x0000000000000000, 0x000000ffffffffff,
+ 0x0000000000000000, 0x000001ffffffffff,
+ 0x0000000000000000, 0x000003ffffffffff,
+ 0x0000000000000000, 0x000007ffffffffff,
+ 0x0000000000000000, 0x00000fffffffffff,
+ 0x0000000000000000, 0x00001fffffffffff,
+ 0x0000000000000000, 0x00003fffffffffff,
+ 0x0000000000000000, 0x00007fffffffffff,
+ 0x0000000000000000, 0x0000ffffffffffff,
+ 0x0000000000000000, 0x0001ffffffffffff,
+ 0x0000000000000000, 0x0003ffffffffffff,
+ 0x0000000000000000, 0x0007ffffffffffff,
+ 0x0000000000000000, 0x000fffffffffffff,
+ 0x0000000000000000, 0x001fffffffffffff,
+ 0x0000000000000000, 0x003fffffffffffff,
+ 0x0000000000000000, 0x007fffffffffffff,
+ 0x0000000000000000, 0x00ffffffffffffff,
+ 0x0000000000000000, 0x01ffffffffffffff,
+ 0x0000000000000000, 0x03ffffffffffffff,
+ 0x0000000000000000, 0x07ffffffffffffff,
+ 0x0000000000000000, 0x0fffffffffffffff,
+ 0x0000000000000000, 0x1fffffffffffffff,
+ 0x0000000000000000, 0x3fffffffffffffff,
+ 0x0000000000000000, 0x7fffffffffffffff,
+ 0x0000000000000000, 0xffffffffffffffff,
+ 0x0000000000000001, 0x0000000000000002,
+ 0x0000000000000003, 0x0000000000000004,
+ 0x0000000000000007, 0x0000000000000008,
+ 0x000000000000000f, 0x0000000000000010,
+ 0x000000000000001f, 0x0000000000000020,
+ 0x000000000000003f, 0x0000000000000040,
+ 0x000000000000007f, 0x0000000000000080,
+ 0x00000000000000ff, 0x0000000000000100,
+ 0x00000000000001ff, 0x0000000000000200,
+ 0x00000000000003ff, 0x0000000000000400,
+ 0x00000000000007ff, 0x0000000000000800,
+ 0x0000000000000fff, 0x0000000000001000,
+ 0x0000000000001fff, 0x0000000000002000,
+ 0x0000000000003fff, 0x0000000000004000,
+ 0x0000000000007fff, 0x0000000000008000,
+ 0x000000000000ffff, 0x0000000000010000,
+ 0x000000000001ffff, 0x0000000000020000,
+ 0x000000000003ffff, 0x0000000000040000,
+ 0x000000000007ffff, 0x0000000000080000,
+ 0x00000000000fffff, 0x0000000000100000,
+ 0x00000000001fffff, 0x0000000000200000,
+ 0x00000000003fffff, 0x0000000000400000,
+ 0x00000000007fffff, 0x0000000000800000,
+ 0x0000000000ffffff, 0x0000000001000000,
+ 0x0000000001ffffff, 0x0000000002000000,
+ 0x0000000003ffffff, 0x0000000004000000,
+ 0x0000000007ffffff, 0x0000000008000000,
+ 0x000000000fffffff, 0x0000000010000000,
+ 0x000000001fffffff, 0x0000000020000000,
+ 0x000000003fffffff, 0x0000000040000000,
+ 0x000000007fffffff, 0x0000000080000000,
+ 0x00000000ffffffff, 0x0000000100000000,
+ 0x00000001ffffffff, 0x0000000200000000,
+ 0x00000003ffffffff, 0x0000000400000000,
+ 0x00000007ffffffff, 0x0000000800000000,
+ 0x0000000fffffffff, 0x0000001000000000,
+ 0x0000001fffffffff, 0x0000002000000000,
+ 0x0000003fffffffff, 0x0000004000000000,
+ 0x0000007fffffffff, 0x0000008000000000,
+ 0x000000ffffffffff, 0x0000010000000000,
+ 0x000001ffffffffff, 0x0000020000000000,
+ 0x000003ffffffffff, 0x0000040000000000,
+ 0x000007ffffffffff, 0x0000080000000000,
+ 0x00000fffffffffff, 0x0000100000000000,
+ 0x00001fffffffffff, 0x0000200000000000,
+ 0x00003fffffffffff, 0x0000400000000000,
+ 0x00007fffffffffff, 0x0000800000000000,
+ 0x0000ffffffffffff, 0x0001000000000000,
+ 0x0001ffffffffffff, 0x0002000000000000,
+ 0x0003ffffffffffff, 0x0004000000000000,
+ 0x0007ffffffffffff, 0x0008000000000000,
+ 0x000fffffffffffff, 0x0010000000000000,
+ 0x001fffffffffffff, 0x0020000000000000,
+ 0x003fffffffffffff, 0x0040000000000000,
+ 0x007fffffffffffff, 0x0080000000000000,
+ 0x00ffffffffffffff, 0x0100000000000000,
+ 0x01ffffffffffffff, 0x0200000000000000,
+ 0x03ffffffffffffff, 0x0400000000000000,
+ 0x07ffffffffffffff, 0x0800000000000000,
+ 0x0fffffffffffffff, 0x1000000000000000,
+ 0x1fffffffffffffff, 0x2000000000000000,
+ 0x3fffffffffffffff, 0x4000000000000000,
+ 0x7fffffffffffffff, 0x8000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0x0000000000000002, 0x0000000000000040,
+ 0x0000000000000004, 0x0000000000000080,
+ 0x0000000000000008, 0x0000000000000100,
+ 0x0000000000000010, 0x0000000000000200,
+ 0x0000000000000020, 0x0000000000000400,
+ 0x0000000000000040, 0x0000000000000800,
+ 0x0000000000000080, 0x0000000000001000,
+ 0x0000000000000100, 0x0000000000002000,
+ 0x0000000000000200, 0x0000000000004000,
+ 0x0000000000000400, 0x0000000000008000,
+ 0x0000000000000800, 0x0000000000010000,
+ 0x0000000000001000, 0x0000000000020000,
+ 0x0000000000002000, 0x0000000000040000,
+ 0x0000000000004000, 0x0000000000080000,
+ 0x0000000000008000, 0x0000000000100000,
+ 0x0000000000010000, 0x0000000000200000,
+ 0x0000000000020000, 0x0000000000400000,
+ 0x0000000000040000, 0x0000000000800000,
+ 0x0000000000080000, 0x0000000001000000,
+ 0x0000000000100000, 0x0000000002000000,
+ 0x0000000000200000, 0x0000000004000000,
+ 0x0000000000400000, 0x0000000008000000,
+ 0x0000000000800000, 0x0000000010000000,
+ 0x0000000001000000, 0x0000000020000000,
+ 0x0000000002000000, 0x0000000040000000,
+ 0x0000000004000000, 0x0000000080000000,
+ 0x0000000008000000, 0x0000000100000000,
+ 0x0000000010000000, 0x0000000200000000,
+ 0x0000000020000000, 0x0000000400000000,
+ 0x0000000040000000, 0x0000000800000000,
+ 0x0000000080000000, 0x0000001000000000,
+ 0x0000000100000000, 0x0000002000000000,
+ 0x0000000200000000, 0x0000004000000000,
+ 0x0000000400000000, 0x0000008000000000,
+ 0x0000000800000000, 0x0000010000000000,
+ 0x0000001000000000, 0x0000020000000000,
+ 0x0000002000000000, 0x0000040000000000,
+ 0x0000004000000000, 0x0000080000000000,
+ 0x0000008000000000, 0x0000100000000000,
+ 0x0000010000000000, 0x0000200000000000,
+ 0x0000020000000000, 0x0000400000000000,
+ 0x0000040000000000, 0x0000800000000000,
+ 0x0000080000000000, 0x0001000000000000,
+ 0x0000100000000000, 0x0002000000000000,
+ 0x0000200000000000, 0x0004000000000000,
+ 0x0000400000000000, 0x0008000000000000,
+ 0x0000800000000000, 0x0010000000000000,
+ 0x0001000000000000, 0x0020000000000000,
+ 0x0002000000000000, 0x0040000000000000,
+ 0x0004000000000000, 0x0080000000000000,
+ 0x0008000000000000, 0x0100000000000000,
+ 0x0010000000000000, 0x0200000000000000,
+ 0x0020000000000000, 0x0400000000000000,
+ 0x0040000000000000, 0x0800000000000000,
+ 0x0080000000000000, 0x1000000000000000,
+ 0x0100000000000000, 0x2000000000000000,
+ 0x0200000000000000, 0x4000000000000000,
+ 0x0400000000000000, 0x8000000000000000,
+ 0x0800000000000000, 0x0000000000000000,
+ 0x1000000000000000, 0x0000000000000000,
+ 0x2000000000000000, 0x0000000000000000,
+ 0x4000000000000000, 0x0000000000000000,
+ 0x8000000000000000, 0x0000000000000000,
+ 0x0000000000000000, 0x0000000000000000,
+ 0x0000000000000040, 0x000000000000007d,
+ 0x0000000000000080, 0x00000000000000fb,
+ 0x0000000000000100, 0x00000000000001f7,
+ 0x0000000000000200, 0x00000000000003ef,
+ 0x0000000000000400, 0x00000000000007df,
+ 0x0000000000000800, 0x0000000000000fbf,
+ 0x0000000000001000, 0x0000000000001f7f,
+ 0x0000000000002000, 0x0000000000003eff,
+ 0x0000000000004000, 0x0000000000007dff,
+ 0x0000000000008000, 0x000000000000fbff,
+ 0x0000000000010000, 0x000000000001f7ff,
+ 0x0000000000020000, 0x000000000003efff,
+ 0x0000000000040000, 0x000000000007dfff,
+ 0x0000000000080000, 0x00000000000fbfff,
+ 0x0000000000100000, 0x00000000001f7fff,
+ 0x0000000000200000, 0x00000000003effff,
+ 0x0000000000400000, 0x00000000007dffff,
+ 0x0000000000800000, 0x0000000000fbffff,
+ 0x0000000001000000, 0x0000000001f7ffff,
+ 0x0000000002000000, 0x0000000003efffff,
+ 0x0000000004000000, 0x0000000007dfffff,
+ 0x0000000008000000, 0x000000000fbfffff,
+ 0x0000000010000000, 0x000000001f7fffff,
+ 0x0000000020000000, 0x000000003effffff,
+ 0x0000000040000000, 0x000000007dffffff,
+ 0x0000000080000000, 0x00000000fbffffff,
+ 0x0000000100000000, 0x00000001f7ffffff,
+ 0x0000000200000000, 0x00000003efffffff,
+ 0x0000000400000000, 0x00000007dfffffff,
+ 0x0000000800000000, 0x0000000fbfffffff,
+ 0x0000001000000000, 0x0000001f7fffffff,
+ 0x0000002000000000, 0x0000003effffffff,
+ 0x0000004000000000, 0x0000007dffffffff,
+ 0x0000008000000000, 0x000000fbffffffff,
+ 0x0000010000000000, 0x000001f7ffffffff,
+ 0x0000020000000000, 0x000003efffffffff,
+ 0x0000040000000000, 0x000007dfffffffff,
+ 0x0000080000000000, 0x00000fbfffffffff,
+ 0x0000100000000000, 0x00001f7fffffffff,
+ 0x0000200000000000, 0x00003effffffffff,
+ 0x0000400000000000, 0x00007dffffffffff,
+ 0x0000800000000000, 0x0000fbffffffffff,
+ 0x0001000000000000, 0x0001f7ffffffffff,
+ 0x0002000000000000, 0x0003efffffffffff,
+ 0x0004000000000000, 0x0007dfffffffffff,
+ 0x0008000000000000, 0x000fbfffffffffff,
+ 0x0010000000000000, 0x001f7fffffffffff,
+ 0x0020000000000000, 0x003effffffffffff,
+ 0x0040000000000000, 0x007dffffffffffff,
+ 0x0080000000000000, 0x00fbffffffffffff,
+ 0x0100000000000000, 0x01f7ffffffffffff,
+ 0x0200000000000000, 0x03efffffffffffff,
+ 0x0400000000000000, 0x07dfffffffffffff,
+ 0x0800000000000000, 0x0fbfffffffffffff,
+ 0x1000000000000000, 0x1f7fffffffffffff,
+ 0x2000000000000000, 0x3effffffffffffff,
+ 0x4000000000000000, 0x7dffffffffffffff,
+ 0x8000000000000000, 0xfbffffffffffffff,
+ 0x0000000000000000, 0xf7ffffffffffffff,
+ 0x0000000000000000, 0xefffffffffffffff,
+ 0x0000000000000000, 0xdfffffffffffffff,
+ 0x0000000000000000, 0xbfffffffffffffff,
+ 0x0000000000000000, 0x7fffffffffffffff,
+ 0x0000000000000000, 0xffffffffffffffff,
+ 0x000000000000007d, 0x000000000000007e,
+ 0x00000000000000fb, 0x00000000000000fc,
+ 0x00000000000001f7, 0x00000000000001f8,
+ 0x00000000000003ef, 0x00000000000003f0,
+ 0x00000000000007df, 0x00000000000007e0,
+ 0x0000000000000fbf, 0x0000000000000fc0,
+ 0x0000000000001f7f, 0x0000000000001f80,
+ 0x0000000000003eff, 0x0000000000003f00,
+ 0x0000000000007dff, 0x0000000000007e00,
+ 0x000000000000fbff, 0x000000000000fc00,
+ 0x000000000001f7ff, 0x000000000001f800,
+ 0x000000000003efff, 0x000000000003f000,
+ 0x000000000007dfff, 0x000000000007e000,
+ 0x00000000000fbfff, 0x00000000000fc000,
+ 0x00000000001f7fff, 0x00000000001f8000,
+ 0x00000000003effff, 0x00000000003f0000,
+ 0x00000000007dffff, 0x00000000007e0000,
+ 0x0000000000fbffff, 0x0000000000fc0000,
+ 0x0000000001f7ffff, 0x0000000001f80000,
+ 0x0000000003efffff, 0x0000000003f00000,
+ 0x0000000007dfffff, 0x0000000007e00000,
+ 0x000000000fbfffff, 0x000000000fc00000,
+ 0x000000001f7fffff, 0x000000001f800000,
+ 0x000000003effffff, 0x000000003f000000,
+ 0x000000007dffffff, 0x000000007e000000,
+ 0x00000000fbffffff, 0x00000000fc000000,
+ 0x00000001f7ffffff, 0x00000001f8000000,
+ 0x00000003efffffff, 0x00000003f0000000,
+ 0x00000007dfffffff, 0x00000007e0000000,
+ 0x0000000fbfffffff, 0x0000000fc0000000,
+ 0x0000001f7fffffff, 0x0000001f80000000,
+ 0x0000003effffffff, 0x0000003f00000000,
+ 0x0000007dffffffff, 0x0000007e00000000,
+ 0x000000fbffffffff, 0x000000fc00000000,
+ 0x000001f7ffffffff, 0x000001f800000000,
+ 0x000003efffffffff, 0x000003f000000000,
+ 0x000007dfffffffff, 0x000007e000000000,
+ 0x00000fbfffffffff, 0x00000fc000000000,
+ 0x00001f7fffffffff, 0x00001f8000000000,
+ 0x00003effffffffff, 0x00003f0000000000,
+ 0x00007dffffffffff, 0x00007e0000000000,
+ 0x0000fbffffffffff, 0x0000fc0000000000,
+ 0x0001f7ffffffffff, 0x0001f80000000000,
+ 0x0003efffffffffff, 0x0003f00000000000,
+ 0x0007dfffffffffff, 0x0007e00000000000,
+ 0x000fbfffffffffff, 0x000fc00000000000,
+ 0x001f7fffffffffff, 0x001f800000000000,
+ 0x003effffffffffff, 0x003f000000000000,
+ 0x007dffffffffffff, 0x007e000000000000,
+ 0x00fbffffffffffff, 0x00fc000000000000,
+ 0x01f7ffffffffffff, 0x01f8000000000000,
+ 0x03efffffffffffff, 0x03f0000000000000,
+ 0x07dfffffffffffff, 0x07e0000000000000,
+ 0x0fbfffffffffffff, 0x0fc0000000000000,
+ 0x1f7fffffffffffff, 0x1f80000000000000,
+ 0x3effffffffffffff, 0x3f00000000000000,
+ 0x7dffffffffffffff, 0x7e00000000000000,
+ 0xfbffffffffffffff, 0xfc00000000000000,
+ 0xf7ffffffffffffff, 0xf800000000000000,
+ 0xefffffffffffffff, 0xf000000000000000,
+ 0xdfffffffffffffff, 0xe000000000000000,
+ 0xbfffffffffffffff, 0xc000000000000000,
+ 0x7fffffffffffffff, 0x8000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0x000000000000007e, 0x000000000000007f,
+ 0x00000000000000fc, 0x00000000000000ff,
+ 0x00000000000001f8, 0x00000000000001ff,
+ 0x00000000000003f0, 0x00000000000003ff,
+ 0x00000000000007e0, 0x00000000000007ff,
+ 0x0000000000000fc0, 0x0000000000000fff,
+ 0x0000000000001f80, 0x0000000000001fff,
+ 0x0000000000003f00, 0x0000000000003fff,
+ 0x0000000000007e00, 0x0000000000007fff,
+ 0x000000000000fc00, 0x000000000000ffff,
+ 0x000000000001f800, 0x000000000001ffff,
+ 0x000000000003f000, 0x000000000003ffff,
+ 0x000000000007e000, 0x000000000007ffff,
+ 0x00000000000fc000, 0x00000000000fffff,
+ 0x00000000001f8000, 0x00000000001fffff,
+ 0x00000000003f0000, 0x00000000003fffff,
+ 0x00000000007e0000, 0x00000000007fffff,
+ 0x0000000000fc0000, 0x0000000000ffffff,
+ 0x0000000001f80000, 0x0000000001ffffff,
+ 0x0000000003f00000, 0x0000000003ffffff,
+ 0x0000000007e00000, 0x0000000007ffffff,
+ 0x000000000fc00000, 0x000000000fffffff,
+ 0x000000001f800000, 0x000000001fffffff,
+ 0x000000003f000000, 0x000000003fffffff,
+ 0x000000007e000000, 0x000000007fffffff,
+ 0x00000000fc000000, 0x00000000ffffffff,
+ 0x00000001f8000000, 0x00000001ffffffff,
+ 0x00000003f0000000, 0x00000003ffffffff,
+ 0x00000007e0000000, 0x00000007ffffffff,
+ 0x0000000fc0000000, 0x0000000fffffffff,
+ 0x0000001f80000000, 0x0000001fffffffff,
+ 0x0000003f00000000, 0x0000003fffffffff,
+ 0x0000007e00000000, 0x0000007fffffffff,
+ 0x000000fc00000000, 0x000000ffffffffff,
+ 0x000001f800000000, 0x000001ffffffffff,
+ 0x000003f000000000, 0x000003ffffffffff,
+ 0x000007e000000000, 0x000007ffffffffff,
+ 0x00000fc000000000, 0x00000fffffffffff,
+ 0x00001f8000000000, 0x00001fffffffffff,
+ 0x00003f0000000000, 0x00003fffffffffff,
+ 0x00007e0000000000, 0x00007fffffffffff,
+ 0x0000fc0000000000, 0x0000ffffffffffff,
+ 0x0001f80000000000, 0x0001ffffffffffff,
+ 0x0003f00000000000, 0x0003ffffffffffff,
+ 0x0007e00000000000, 0x0007ffffffffffff,
+ 0x000fc00000000000, 0x000fffffffffffff,
+ 0x001f800000000000, 0x001fffffffffffff,
+ 0x003f000000000000, 0x003fffffffffffff,
+ 0x007e000000000000, 0x007fffffffffffff,
+ 0x00fc000000000000, 0x00ffffffffffffff,
+ 0x01f8000000000000, 0x01ffffffffffffff,
+ 0x03f0000000000000, 0x03ffffffffffffff,
+ 0x07e0000000000000, 0x07ffffffffffffff,
+ 0x0fc0000000000000, 0x0fffffffffffffff,
+ 0x1f80000000000000, 0x1fffffffffffffff,
+ 0x3f00000000000000, 0x3fffffffffffffff,
+ 0x7e00000000000000, 0x7fffffffffffffff,
+ 0xfc00000000000000, 0xffffffffffffffff,
+ 0xf800000000000000, 0xffffffffffffffff,
+ 0xf000000000000000, 0xffffffffffffffff,
+ 0xe000000000000000, 0xffffffffffffffff,
+ 0xc000000000000000, 0xffffffffffffffff,
+ 0x8000000000000000, 0xffffffffffffffff,
+ 0x0000000000000000, 0xffffffffffffffff,
+ 0x000000000000007f, 0x0000000000007ffd,
+ 0x00000000000000ff, 0x000000000000fffb,
+ 0x00000000000001ff, 0x000000000001fff7,
+ 0x00000000000003ff, 0x000000000003ffef,
+ 0x00000000000007ff, 0x000000000007ffdf,
+ 0x0000000000000fff, 0x00000000000fffbf,
+ 0x0000000000001fff, 0x00000000001fff7f,
+ 0x0000000000003fff, 0x00000000003ffeff,
+ 0x0000000000007fff, 0x00000000007ffdff,
+ 0x000000000000ffff, 0x0000000000fffbff,
+ 0x000000000001ffff, 0x0000000001fff7ff,
+ 0x000000000003ffff, 0x0000000003ffefff,
+ 0x000000000007ffff, 0x0000000007ffdfff,
+ 0x00000000000fffff, 0x000000000fffbfff,
+ 0x00000000001fffff, 0x000000001fff7fff,
+ 0x00000000003fffff, 0x000000003ffeffff,
+ 0x00000000007fffff, 0x000000007ffdffff,
+ 0x0000000000ffffff, 0x00000000fffbffff,
+ 0x0000000001ffffff, 0x00000001fff7ffff,
+ 0x0000000003ffffff, 0x00000003ffefffff,
+ 0x0000000007ffffff, 0x00000007ffdfffff,
+ 0x000000000fffffff, 0x0000000fffbfffff,
+ 0x000000001fffffff, 0x0000001fff7fffff,
+ 0x000000003fffffff, 0x0000003ffeffffff,
+ 0x000000007fffffff, 0x0000007ffdffffff,
+ 0x00000000ffffffff, 0x000000fffbffffff,
+ 0x00000001ffffffff, 0x000001fff7ffffff,
+ 0x00000003ffffffff, 0x000003ffefffffff,
+ 0x00000007ffffffff, 0x000007ffdfffffff,
+ 0x0000000fffffffff, 0x00000fffbfffffff,
+ 0x0000001fffffffff, 0x00001fff7fffffff,
+ 0x0000003fffffffff, 0x00003ffeffffffff,
+ 0x0000007fffffffff, 0x00007ffdffffffff,
+ 0x000000ffffffffff, 0x0000fffbffffffff,
+ 0x000001ffffffffff, 0x0001fff7ffffffff,
+ 0x000003ffffffffff, 0x0003ffefffffffff,
+ 0x000007ffffffffff, 0x0007ffdfffffffff,
+ 0x00000fffffffffff, 0x000fffbfffffffff,
+ 0x00001fffffffffff, 0x001fff7fffffffff,
+ 0x00003fffffffffff, 0x003ffeffffffffff,
+ 0x00007fffffffffff, 0x007ffdffffffffff,
+ 0x0000ffffffffffff, 0x00fffbffffffffff,
+ 0x0001ffffffffffff, 0x01fff7ffffffffff,
+ 0x0003ffffffffffff, 0x03ffefffffffffff,
+ 0x0007ffffffffffff, 0x07ffdfffffffffff,
+ 0x000fffffffffffff, 0x0fffbfffffffffff,
+ 0x001fffffffffffff, 0x1fff7fffffffffff,
+ 0x003fffffffffffff, 0x3ffeffffffffffff,
+ 0x007fffffffffffff, 0x7ffdffffffffffff,
+ 0x00ffffffffffffff, 0xfffbffffffffffff,
+ 0x01ffffffffffffff, 0xfff7ffffffffffff,
+ 0x03ffffffffffffff, 0xffefffffffffffff,
+ 0x07ffffffffffffff, 0xffdfffffffffffff,
+ 0x0fffffffffffffff, 0xffbfffffffffffff,
+ 0x1fffffffffffffff, 0xff7fffffffffffff,
+ 0x3fffffffffffffff, 0xfeffffffffffffff,
+ 0x7fffffffffffffff, 0xfdffffffffffffff,
+ 0xffffffffffffffff, 0xfbffffffffffffff,
+ 0xffffffffffffffff, 0xf7ffffffffffffff,
+ 0xffffffffffffffff, 0xefffffffffffffff,
+ 0xffffffffffffffff, 0xdfffffffffffffff,
+ 0xffffffffffffffff, 0xbfffffffffffffff,
+ 0xffffffffffffffff, 0x7fffffffffffffff,
+ 0xffffffffffffffff, 0xffffffffffffffff,
+ 0x0000000000007ffd, 0x0000000000007ffe,
+ 0x000000000000fffb, 0x000000000000fffc,
+ 0x000000000001fff7, 0x000000000001fff8,
+ 0x000000000003ffef, 0x000000000003fff0,
+ 0x000000000007ffdf, 0x000000000007ffe0,
+ 0x00000000000fffbf, 0x00000000000fffc0,
+ 0x00000000001fff7f, 0x00000000001fff80,
+ 0x00000000003ffeff, 0x00000000003fff00,
+ 0x00000000007ffdff, 0x00000000007ffe00,
+ 0x0000000000fffbff, 0x0000000000fffc00,
+ 0x0000000001fff7ff, 0x0000000001fff800,
+ 0x0000000003ffefff, 0x0000000003fff000,
+ 0x0000000007ffdfff, 0x0000000007ffe000,
+ 0x000000000fffbfff, 0x000000000fffc000,
+ 0x000000001fff7fff, 0x000000001fff8000,
+ 0x000000003ffeffff, 0x000000003fff0000,
+ 0x000000007ffdffff, 0x000000007ffe0000,
+ 0x00000000fffbffff, 0x00000000fffc0000,
+ 0x00000001fff7ffff, 0x00000001fff80000,
+ 0x00000003ffefffff, 0x00000003fff00000,
+ 0x00000007ffdfffff, 0x00000007ffe00000,
+ 0x0000000fffbfffff, 0x0000000fffc00000,
+ 0x0000001fff7fffff, 0x0000001fff800000,
+ 0x0000003ffeffffff, 0x0000003fff000000,
+ 0x0000007ffdffffff, 0x0000007ffe000000,
+ 0x000000fffbffffff, 0x000000fffc000000,
+ 0x000001fff7ffffff, 0x000001fff8000000,
+ 0x000003ffefffffff, 0x000003fff0000000,
+ 0x000007ffdfffffff, 0x000007ffe0000000,
+ 0x00000fffbfffffff, 0x00000fffc0000000,
+ 0x00001fff7fffffff, 0x00001fff80000000,
+ 0x00003ffeffffffff, 0x00003fff00000000,
+ 0x00007ffdffffffff, 0x00007ffe00000000,
+ 0x0000fffbffffffff, 0x0000fffc00000000,
+ 0x0001fff7ffffffff, 0x0001fff800000000,
+ 0x0003ffefffffffff, 0x0003fff000000000,
+ 0x0007ffdfffffffff, 0x0007ffe000000000,
+ 0x000fffbfffffffff, 0x000fffc000000000,
+ 0x001fff7fffffffff, 0x001fff8000000000,
+ 0x003ffeffffffffff, 0x003fff0000000000,
+ 0x007ffdffffffffff, 0x007ffe0000000000,
+ 0x00fffbffffffffff, 0x00fffc0000000000,
+ 0x01fff7ffffffffff, 0x01fff80000000000,
+ 0x03ffefffffffffff, 0x03fff00000000000,
+ 0x07ffdfffffffffff, 0x07ffe00000000000,
+ 0x0fffbfffffffffff, 0x0fffc00000000000,
+ 0x1fff7fffffffffff, 0x1fff800000000000,
+ 0x3ffeffffffffffff, 0x3fff000000000000,
+ 0x7ffdffffffffffff, 0x7ffe000000000000,
+ 0xfffbffffffffffff, 0xfffc000000000000,
+ 0xfff7ffffffffffff, 0xfff8000000000000,
+ 0xffefffffffffffff, 0xfff0000000000000,
+ 0xffdfffffffffffff, 0xffe0000000000000,
+ 0xffbfffffffffffff, 0xffc0000000000000,
+ 0xff7fffffffffffff, 0xff80000000000000,
+ 0xfeffffffffffffff, 0xff00000000000000,
+ 0xfdffffffffffffff, 0xfe00000000000000,
+ 0xfbffffffffffffff, 0xfc00000000000000,
+ 0xf7ffffffffffffff, 0xf800000000000000,
+ 0xefffffffffffffff, 0xf000000000000000,
+ 0xdfffffffffffffff, 0xe000000000000000,
+ 0xbfffffffffffffff, 0xc000000000000000,
+ 0x7fffffffffffffff, 0x8000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0x0000000000007ffe, 0x0000000000007fff,
+ 0x000000000000fffc, 0x000000000000ffff,
+ 0x000000000001fff8, 0x000000000001ffff,
+ 0x000000000003fff0, 0x000000000003ffff,
+ 0x000000000007ffe0, 0x000000000007ffff,
+ 0x00000000000fffc0, 0x00000000000fffff,
+ 0x00000000001fff80, 0x00000000001fffff,
+ 0x00000000003fff00, 0x00000000003fffff,
+ 0x00000000007ffe00, 0x00000000007fffff,
+ 0x0000000000fffc00, 0x0000000000ffffff,
+ 0x0000000001fff800, 0x0000000001ffffff,
+ 0x0000000003fff000, 0x0000000003ffffff,
+ 0x0000000007ffe000, 0x0000000007ffffff,
+ 0x000000000fffc000, 0x000000000fffffff,
+ 0x000000001fff8000, 0x000000001fffffff,
+ 0x000000003fff0000, 0x000000003fffffff,
+ 0x000000007ffe0000, 0x000000007fffffff,
+ 0x00000000fffc0000, 0x00000000ffffffff,
+ 0x00000001fff80000, 0x00000001ffffffff,
+ 0x00000003fff00000, 0x00000003ffffffff,
+ 0x00000007ffe00000, 0x00000007ffffffff,
+ 0x0000000fffc00000, 0x0000000fffffffff,
+ 0x0000001fff800000, 0x0000001fffffffff,
+ 0x0000003fff000000, 0x0000003fffffffff,
+ 0x0000007ffe000000, 0x0000007fffffffff,
+ 0x000000fffc000000, 0x000000ffffffffff,
+ 0x000001fff8000000, 0x000001ffffffffff,
+ 0x000003fff0000000, 0x000003ffffffffff,
+ 0x000007ffe0000000, 0x000007ffffffffff,
+ 0x00000fffc0000000, 0x00000fffffffffff,
+ 0x00001fff80000000, 0x00001fffffffffff,
+ 0x00003fff00000000, 0x00003fffffffffff,
+ 0x00007ffe00000000, 0x00007fffffffffff,
+ 0x0000fffc00000000, 0x0000ffffffffffff,
+ 0x0001fff800000000, 0x0001ffffffffffff,
+ 0x0003fff000000000, 0x0003ffffffffffff,
+ 0x0007ffe000000000, 0x0007ffffffffffff,
+ 0x000fffc000000000, 0x000fffffffffffff,
+ 0x001fff8000000000, 0x001fffffffffffff,
+ 0x003fff0000000000, 0x003fffffffffffff,
+ 0x007ffe0000000000, 0x007fffffffffffff,
+ 0x00fffc0000000000, 0x00ffffffffffffff,
+ 0x01fff80000000000, 0x01ffffffffffffff,
+ 0x03fff00000000000, 0x03ffffffffffffff,
+ 0x07ffe00000000000, 0x07ffffffffffffff,
+ 0x0fffc00000000000, 0x0fffffffffffffff,
+ 0x1fff800000000000, 0x1fffffffffffffff,
+ 0x3fff000000000000, 0x3fffffffffffffff,
+ 0x7ffe000000000000, 0x7fffffffffffffff,
+ 0xfffc000000000000, 0xffffffffffffffff,
+ 0xfff8000000000000, 0xffffffffffffffff,
+ 0xfff0000000000000, 0xffffffffffffffff,
+ 0xffe0000000000000, 0xffffffffffffffff,
+ 0xffc0000000000000, 0xffffffffffffffff,
+ 0xff80000000000000, 0xffffffffffffffff,
+ 0xff00000000000000, 0xffffffffffffffff,
+ 0xfe00000000000000, 0xffffffffffffffff,
+ 0xfc00000000000000, 0xffffffffffffffff,
+ 0xf800000000000000, 0xffffffffffffffff,
+ 0xf000000000000000, 0xffffffffffffffff,
+ 0xe000000000000000, 0xffffffffffffffff,
+ 0xc000000000000000, 0xffffffffffffffff,
+ 0x8000000000000000, 0xffffffffffffffff,
+ 0x0000000000000000, 0xffffffffffffffff,
+ 0x0000000000007fff, 0x000000007ffffffd,
+ 0x000000000000ffff, 0x00000000fffffffb,
+ 0x000000000001ffff, 0x00000001fffffff7,
+ 0x000000000003ffff, 0x00000003ffffffef,
+ 0x000000000007ffff, 0x00000007ffffffdf,
+ 0x00000000000fffff, 0x0000000fffffffbf,
+ 0x00000000001fffff, 0x0000001fffffff7f,
+ 0x00000000003fffff, 0x0000003ffffffeff,
+ 0x00000000007fffff, 0x0000007ffffffdff,
+ 0x0000000000ffffff, 0x000000fffffffbff,
+ 0x0000000001ffffff, 0x000001fffffff7ff,
+ 0x0000000003ffffff, 0x000003ffffffefff,
+ 0x0000000007ffffff, 0x000007ffffffdfff,
+ 0x000000000fffffff, 0x00000fffffffbfff,
+ 0x000000001fffffff, 0x00001fffffff7fff,
+ 0x000000003fffffff, 0x00003ffffffeffff,
+ 0x000000007fffffff, 0x00007ffffffdffff,
+ 0x00000000ffffffff, 0x0000fffffffbffff,
+ 0x00000001ffffffff, 0x0001fffffff7ffff,
+ 0x00000003ffffffff, 0x0003ffffffefffff,
+ 0x00000007ffffffff, 0x0007ffffffdfffff,
+ 0x0000000fffffffff, 0x000fffffffbfffff,
+ 0x0000001fffffffff, 0x001fffffff7fffff,
+ 0x0000003fffffffff, 0x003ffffffeffffff,
+ 0x0000007fffffffff, 0x007ffffffdffffff,
+ 0x000000ffffffffff, 0x00fffffffbffffff,
+ 0x000001ffffffffff, 0x01fffffff7ffffff,
+ 0x000003ffffffffff, 0x03ffffffefffffff,
+ 0x000007ffffffffff, 0x07ffffffdfffffff,
+ 0x00000fffffffffff, 0x0fffffffbfffffff,
+ 0x00001fffffffffff, 0x1fffffff7fffffff,
+ 0x00003fffffffffff, 0x3ffffffeffffffff,
+ 0x00007fffffffffff, 0x7ffffffdffffffff,
+ 0x0000ffffffffffff, 0xfffffffbffffffff,
+ 0x0001ffffffffffff, 0xfffffff7ffffffff,
+ 0x0003ffffffffffff, 0xffffffefffffffff,
+ 0x0007ffffffffffff, 0xffffffdfffffffff,
+ 0x000fffffffffffff, 0xffffffbfffffffff,
+ 0x001fffffffffffff, 0xffffff7fffffffff,
+ 0x003fffffffffffff, 0xfffffeffffffffff,
+ 0x007fffffffffffff, 0xfffffdffffffffff,
+ 0x00ffffffffffffff, 0xfffffbffffffffff,
+ 0x01ffffffffffffff, 0xfffff7ffffffffff,
+ 0x03ffffffffffffff, 0xffffefffffffffff,
+ 0x07ffffffffffffff, 0xffffdfffffffffff,
+ 0x0fffffffffffffff, 0xffffbfffffffffff,
+ 0x1fffffffffffffff, 0xffff7fffffffffff,
+ 0x3fffffffffffffff, 0xfffeffffffffffff,
+ 0x7fffffffffffffff, 0xfffdffffffffffff,
+ 0xffffffffffffffff, 0xfffbffffffffffff,
+ 0xffffffffffffffff, 0xfff7ffffffffffff,
+ 0xffffffffffffffff, 0xffefffffffffffff,
+ 0xffffffffffffffff, 0xffdfffffffffffff,
+ 0xffffffffffffffff, 0xffbfffffffffffff,
+ 0xffffffffffffffff, 0xff7fffffffffffff,
+ 0xffffffffffffffff, 0xfeffffffffffffff,
+ 0xffffffffffffffff, 0xfdffffffffffffff,
+ 0xffffffffffffffff, 0xfbffffffffffffff,
+ 0xffffffffffffffff, 0xf7ffffffffffffff,
+ 0xffffffffffffffff, 0xefffffffffffffff,
+ 0xffffffffffffffff, 0xdfffffffffffffff,
+ 0xffffffffffffffff, 0xbfffffffffffffff,
+ 0xffffffffffffffff, 0x7fffffffffffffff,
+ 0xffffffffffffffff, 0xffffffffffffffff,
+ 0x000000007ffffffd, 0x000000007ffffffe,
+ 0x00000000fffffffb, 0x00000000fffffffc,
+ 0x00000001fffffff7, 0x00000001fffffff8,
+ 0x00000003ffffffef, 0x00000003fffffff0,
+ 0x00000007ffffffdf, 0x00000007ffffffe0,
+ 0x0000000fffffffbf, 0x0000000fffffffc0,
+ 0x0000001fffffff7f, 0x0000001fffffff80,
+ 0x0000003ffffffeff, 0x0000003fffffff00,
+ 0x0000007ffffffdff, 0x0000007ffffffe00,
+ 0x000000fffffffbff, 0x000000fffffffc00,
+ 0x000001fffffff7ff, 0x000001fffffff800,
+ 0x000003ffffffefff, 0x000003fffffff000,
+ 0x000007ffffffdfff, 0x000007ffffffe000,
+ 0x00000fffffffbfff, 0x00000fffffffc000,
+ 0x00001fffffff7fff, 0x00001fffffff8000,
+ 0x00003ffffffeffff, 0x00003fffffff0000,
+ 0x00007ffffffdffff, 0x00007ffffffe0000,
+ 0x0000fffffffbffff, 0x0000fffffffc0000,
+ 0x0001fffffff7ffff, 0x0001fffffff80000,
+ 0x0003ffffffefffff, 0x0003fffffff00000,
+ 0x0007ffffffdfffff, 0x0007ffffffe00000,
+ 0x000fffffffbfffff, 0x000fffffffc00000,
+ 0x001fffffff7fffff, 0x001fffffff800000,
+ 0x003ffffffeffffff, 0x003fffffff000000,
+ 0x007ffffffdffffff, 0x007ffffffe000000,
+ 0x00fffffffbffffff, 0x00fffffffc000000,
+ 0x01fffffff7ffffff, 0x01fffffff8000000,
+ 0x03ffffffefffffff, 0x03fffffff0000000,
+ 0x07ffffffdfffffff, 0x07ffffffe0000000,
+ 0x0fffffffbfffffff, 0x0fffffffc0000000,
+ 0x1fffffff7fffffff, 0x1fffffff80000000,
+ 0x3ffffffeffffffff, 0x3fffffff00000000,
+ 0x7ffffffdffffffff, 0x7ffffffe00000000,
+ 0xfffffffbffffffff, 0xfffffffc00000000,
+ 0xfffffff7ffffffff, 0xfffffff800000000,
+ 0xffffffefffffffff, 0xfffffff000000000,
+ 0xffffffdfffffffff, 0xffffffe000000000,
+ 0xffffffbfffffffff, 0xffffffc000000000,
+ 0xffffff7fffffffff, 0xffffff8000000000,
+ 0xfffffeffffffffff, 0xffffff0000000000,
+ 0xfffffdffffffffff, 0xfffffe0000000000,
+ 0xfffffbffffffffff, 0xfffffc0000000000,
+ 0xfffff7ffffffffff, 0xfffff80000000000,
+ 0xffffefffffffffff, 0xfffff00000000000,
+ 0xffffdfffffffffff, 0xffffe00000000000,
+ 0xffffbfffffffffff, 0xffffc00000000000,
+ 0xffff7fffffffffff, 0xffff800000000000,
+ 0xfffeffffffffffff, 0xffff000000000000,
+ 0xfffdffffffffffff, 0xfffe000000000000,
+ 0xfffbffffffffffff, 0xfffc000000000000,
+ 0xfff7ffffffffffff, 0xfff8000000000000,
+ 0xffefffffffffffff, 0xfff0000000000000,
+ 0xffdfffffffffffff, 0xffe0000000000000,
+ 0xffbfffffffffffff, 0xffc0000000000000,
+ 0xff7fffffffffffff, 0xff80000000000000,
+ 0xfeffffffffffffff, 0xff00000000000000,
+ 0xfdffffffffffffff, 0xfe00000000000000,
+ 0xfbffffffffffffff, 0xfc00000000000000,
+ 0xf7ffffffffffffff, 0xf800000000000000,
+ 0xefffffffffffffff, 0xf000000000000000,
+ 0xdfffffffffffffff, 0xe000000000000000,
+ 0xbfffffffffffffff, 0xc000000000000000,
+ 0x7fffffffffffffff, 0x8000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0x000000007ffffffe, 0x000000007fffffff,
+ 0x00000000fffffffc, 0x00000000ffffffff,
+ 0x00000001fffffff8, 0x00000001ffffffff,
+ 0x00000003fffffff0, 0x00000003ffffffff,
+ 0x00000007ffffffe0, 0x00000007ffffffff,
+ 0x0000000fffffffc0, 0x0000000fffffffff,
+ 0x0000001fffffff80, 0x0000001fffffffff,
+ 0x0000003fffffff00, 0x0000003fffffffff,
+ 0x0000007ffffffe00, 0x0000007fffffffff,
+ 0x000000fffffffc00, 0x000000ffffffffff,
+ 0x000001fffffff800, 0x000001ffffffffff,
+ 0x000003fffffff000, 0x000003ffffffffff,
+ 0x000007ffffffe000, 0x000007ffffffffff,
+ 0x00000fffffffc000, 0x00000fffffffffff,
+ 0x00001fffffff8000, 0x00001fffffffffff,
+ 0x00003fffffff0000, 0x00003fffffffffff,
+ 0x00007ffffffe0000, 0x00007fffffffffff,
+ 0x0000fffffffc0000, 0x0000ffffffffffff,
+ 0x0001fffffff80000, 0x0001ffffffffffff,
+ 0x0003fffffff00000, 0x0003ffffffffffff,
+ 0x0007ffffffe00000, 0x0007ffffffffffff,
+ 0x000fffffffc00000, 0x000fffffffffffff,
+ 0x001fffffff800000, 0x001fffffffffffff,
+ 0x003fffffff000000, 0x003fffffffffffff,
+ 0x007ffffffe000000, 0x007fffffffffffff,
+ 0x00fffffffc000000, 0x00ffffffffffffff,
+ 0x01fffffff8000000, 0x01ffffffffffffff,
+ 0x03fffffff0000000, 0x03ffffffffffffff,
+ 0x07ffffffe0000000, 0x07ffffffffffffff,
+ 0x0fffffffc0000000, 0x0fffffffffffffff,
+ 0x1fffffff80000000, 0x1fffffffffffffff,
+ 0x3fffffff00000000, 0x3fffffffffffffff,
+ 0x7ffffffe00000000, 0x7fffffffffffffff,
+ 0xfffffffc00000000, 0xffffffffffffffff,
+ 0xfffffff800000000, 0xffffffffffffffff,
+ 0xfffffff000000000, 0xffffffffffffffff,
+ 0xffffffe000000000, 0xffffffffffffffff,
+ 0xffffffc000000000, 0xffffffffffffffff,
+ 0xffffff8000000000, 0xffffffffffffffff,
+ 0xffffff0000000000, 0xffffffffffffffff,
+ 0xfffffe0000000000, 0xffffffffffffffff,
+ 0xfffffc0000000000, 0xffffffffffffffff,
+ 0xfffff80000000000, 0xffffffffffffffff,
+ 0xfffff00000000000, 0xffffffffffffffff,
+ 0xffffe00000000000, 0xffffffffffffffff,
+ 0xffffc00000000000, 0xffffffffffffffff,
+ 0xffff800000000000, 0xffffffffffffffff,
+ 0xffff000000000000, 0xffffffffffffffff,
+ 0xfffe000000000000, 0xffffffffffffffff,
+ 0xfffc000000000000, 0xffffffffffffffff,
+ 0xfff8000000000000, 0xffffffffffffffff,
+ 0xfff0000000000000, 0xffffffffffffffff,
+ 0xffe0000000000000, 0xffffffffffffffff,
+ 0xffc0000000000000, 0xffffffffffffffff,
+ 0xff80000000000000, 0xffffffffffffffff,
+ 0xff00000000000000, 0xffffffffffffffff,
+ 0xfe00000000000000, 0xffffffffffffffff,
+ 0xfc00000000000000, 0xffffffffffffffff,
+ 0xf800000000000000, 0xffffffffffffffff,
+ 0xf000000000000000, 0xffffffffffffffff,
+ 0xe000000000000000, 0xffffffffffffffff,
+ 0xc000000000000000, 0xffffffffffffffff,
+ 0x8000000000000000, 0xffffffffffffffff,
+ 0x0000000000000000, 0xffffffffffffffff,
+ 0x000000007fffffff, 0x3333333333333333,
+ 0x00000000ffffffff, 0x6666666666666667,
+ 0x00000001ffffffff, 0xcccccccccccccccf,
+ 0x00000003ffffffff, 0x999999999999999f,
+ 0x00000007ffffffff, 0x333333333333333f,
+ 0x0000000fffffffff, 0x666666666666667f,
+ 0x0000001fffffffff, 0xccccccccccccccff,
+ 0x0000003fffffffff, 0x99999999999999ff,
+ 0x0000007fffffffff, 0x33333333333333ff,
+ 0x000000ffffffffff, 0x66666666666667ff,
+ 0x000001ffffffffff, 0xcccccccccccccfff,
+ 0x000003ffffffffff, 0x9999999999999fff,
+ 0x000007ffffffffff, 0x3333333333333fff,
+ 0x00000fffffffffff, 0x6666666666667fff,
+ 0x00001fffffffffff, 0xccccccccccccffff,
+ 0x00003fffffffffff, 0x999999999999ffff,
+ 0x00007fffffffffff, 0x333333333333ffff,
+ 0x0000ffffffffffff, 0x666666666667ffff,
+ 0x0001ffffffffffff, 0xcccccccccccfffff,
+ 0x0003ffffffffffff, 0x99999999999fffff,
+ 0x0007ffffffffffff, 0x33333333333fffff,
+ 0x000fffffffffffff, 0x66666666667fffff,
+ 0x001fffffffffffff, 0xccccccccccffffff,
+ 0x003fffffffffffff, 0x9999999999ffffff,
+ 0x007fffffffffffff, 0x3333333333ffffff,
+ 0x00ffffffffffffff, 0x6666666667ffffff,
+ 0x01ffffffffffffff, 0xcccccccccfffffff,
+ 0x03ffffffffffffff, 0x999999999fffffff,
+ 0x07ffffffffffffff, 0x333333333fffffff,
+ 0x0fffffffffffffff, 0x666666667fffffff,
+ 0x1fffffffffffffff, 0xccccccccffffffff,
+ 0x3fffffffffffffff, 0x99999999ffffffff,
+ 0x7fffffffffffffff, 0x33333333ffffffff,
+ 0xffffffffffffffff, 0x66666667ffffffff,
+ 0xffffffffffffffff, 0xcccccccfffffffff,
+ 0xffffffffffffffff, 0x9999999fffffffff,
+ 0xffffffffffffffff, 0x3333333fffffffff,
+ 0xffffffffffffffff, 0x6666667fffffffff,
+ 0xffffffffffffffff, 0xccccccffffffffff,
+ 0xffffffffffffffff, 0x999999ffffffffff,
+ 0xffffffffffffffff, 0x333333ffffffffff,
+ 0xffffffffffffffff, 0x666667ffffffffff,
+ 0xffffffffffffffff, 0xcccccfffffffffff,
+ 0xffffffffffffffff, 0x99999fffffffffff,
+ 0xffffffffffffffff, 0x33333fffffffffff,
+ 0xffffffffffffffff, 0x66667fffffffffff,
+ 0xffffffffffffffff, 0xccccffffffffffff,
+ 0xffffffffffffffff, 0x9999ffffffffffff,
+ 0xffffffffffffffff, 0x3333ffffffffffff,
+ 0xffffffffffffffff, 0x6667ffffffffffff,
+ 0xffffffffffffffff, 0xcccfffffffffffff,
+ 0xffffffffffffffff, 0x999fffffffffffff,
+ 0xffffffffffffffff, 0x333fffffffffffff,
+ 0xffffffffffffffff, 0x667fffffffffffff,
+ 0xffffffffffffffff, 0xccffffffffffffff,
+ 0xffffffffffffffff, 0x99ffffffffffffff,
+ 0xffffffffffffffff, 0x33ffffffffffffff,
+ 0xffffffffffffffff, 0x67ffffffffffffff,
+ 0xffffffffffffffff, 0xcfffffffffffffff,
+ 0xffffffffffffffff, 0x9fffffffffffffff,
+ 0xffffffffffffffff, 0x3fffffffffffffff,
+ 0xffffffffffffffff, 0x7fffffffffffffff,
+ 0xffffffffffffffff, 0xffffffffffffffff,
+ 0xffffffffffffffff, 0xffffffffffffffff,
+ 0x3333333333333333, 0x5555555555555555,
+ 0x6666666666666667, 0xaaaaaaaaaaaaaaab,
+ 0xcccccccccccccccf, 0x5555555555555557,
+ 0x999999999999999f, 0xaaaaaaaaaaaaaaaf,
+ 0x333333333333333f, 0x555555555555555f,
+ 0x666666666666667f, 0xaaaaaaaaaaaaaabf,
+ 0xccccccccccccccff, 0x555555555555557f,
+ 0x99999999999999ff, 0xaaaaaaaaaaaaaaff,
+ 0x33333333333333ff, 0x55555555555555ff,
+ 0x66666666666667ff, 0xaaaaaaaaaaaaabff,
+ 0xcccccccccccccfff, 0x55555555555557ff,
+ 0x9999999999999fff, 0xaaaaaaaaaaaaafff,
+ 0x3333333333333fff, 0x5555555555555fff,
+ 0x6666666666667fff, 0xaaaaaaaaaaaabfff,
+ 0xccccccccccccffff, 0x5555555555557fff,
+ 0x999999999999ffff, 0xaaaaaaaaaaaaffff,
+ 0x333333333333ffff, 0x555555555555ffff,
+ 0x666666666667ffff, 0xaaaaaaaaaaabffff,
+ 0xcccccccccccfffff, 0x555555555557ffff,
+ 0x99999999999fffff, 0xaaaaaaaaaaafffff,
+ 0x33333333333fffff, 0x55555555555fffff,
+ 0x66666666667fffff, 0xaaaaaaaaaabfffff,
+ 0xccccccccccffffff, 0x55555555557fffff,
+ 0x9999999999ffffff, 0xaaaaaaaaaaffffff,
+ 0x3333333333ffffff, 0x5555555555ffffff,
+ 0x6666666667ffffff, 0xaaaaaaaaabffffff,
+ 0xcccccccccfffffff, 0x5555555557ffffff,
+ 0x999999999fffffff, 0xaaaaaaaaafffffff,
+ 0x333333333fffffff, 0x555555555fffffff,
+ 0x666666667fffffff, 0xaaaaaaaabfffffff,
+ 0xccccccccffffffff, 0x555555557fffffff,
+ 0x99999999ffffffff, 0xaaaaaaaaffffffff,
+ 0x33333333ffffffff, 0x55555555ffffffff,
+ 0x66666667ffffffff, 0xaaaaaaabffffffff,
+ 0xcccccccfffffffff, 0x55555557ffffffff,
+ 0x9999999fffffffff, 0xaaaaaaafffffffff,
+ 0x3333333fffffffff, 0x5555555fffffffff,
+ 0x6666667fffffffff, 0xaaaaaabfffffffff,
+ 0xccccccffffffffff, 0x5555557fffffffff,
+ 0x999999ffffffffff, 0xaaaaaaffffffffff,
+ 0x333333ffffffffff, 0x555555ffffffffff,
+ 0x666667ffffffffff, 0xaaaaabffffffffff,
+ 0xcccccfffffffffff, 0x555557ffffffffff,
+ 0x99999fffffffffff, 0xaaaaafffffffffff,
+ 0x33333fffffffffff, 0x55555fffffffffff,
+ 0x66667fffffffffff, 0xaaaabfffffffffff,
+ 0xccccffffffffffff, 0x55557fffffffffff,
+ 0x9999ffffffffffff, 0xaaaaffffffffffff,
+ 0x3333ffffffffffff, 0x5555ffffffffffff,
+ 0x6667ffffffffffff, 0xaaabffffffffffff,
+ 0xcccfffffffffffff, 0x5557ffffffffffff,
+ 0x999fffffffffffff, 0xaaafffffffffffff,
+ 0x333fffffffffffff, 0x555fffffffffffff,
+ 0x667fffffffffffff, 0xaabfffffffffffff,
+ 0xccffffffffffffff, 0x557fffffffffffff,
+ 0x99ffffffffffffff, 0xaaffffffffffffff,
+ 0x33ffffffffffffff, 0x55ffffffffffffff,
+ 0x67ffffffffffffff, 0xabffffffffffffff,
+ 0xcfffffffffffffff, 0x57ffffffffffffff,
+ 0x9fffffffffffffff, 0xafffffffffffffff,
+ 0x3fffffffffffffff, 0x5fffffffffffffff,
+ 0x7fffffffffffffff, 0xbfffffffffffffff,
+ 0xffffffffffffffff, 0x7fffffffffffffff,
+ 0xffffffffffffffff, 0xffffffffffffffff,
+ 0x5555555555555555, 0x7ffffffffffffffd,
+ 0xaaaaaaaaaaaaaaab, 0xfffffffffffffffb,
+ 0x5555555555555557, 0xfffffffffffffff7,
+ 0xaaaaaaaaaaaaaaaf, 0xffffffffffffffef,
+ 0x555555555555555f, 0xffffffffffffffdf,
+ 0xaaaaaaaaaaaaaabf, 0xffffffffffffffbf,
+ 0x555555555555557f, 0xffffffffffffff7f,
+ 0xaaaaaaaaaaaaaaff, 0xfffffffffffffeff,
+ 0x55555555555555ff, 0xfffffffffffffdff,
+ 0xaaaaaaaaaaaaabff, 0xfffffffffffffbff,
+ 0x55555555555557ff, 0xfffffffffffff7ff,
+ 0xaaaaaaaaaaaaafff, 0xffffffffffffefff,
+ 0x5555555555555fff, 0xffffffffffffdfff,
+ 0xaaaaaaaaaaaabfff, 0xffffffffffffbfff,
+ 0x5555555555557fff, 0xffffffffffff7fff,
+ 0xaaaaaaaaaaaaffff, 0xfffffffffffeffff,
+ 0x555555555555ffff, 0xfffffffffffdffff,
+ 0xaaaaaaaaaaabffff, 0xfffffffffffbffff,
+ 0x555555555557ffff, 0xfffffffffff7ffff,
+ 0xaaaaaaaaaaafffff, 0xffffffffffefffff,
+ 0x55555555555fffff, 0xffffffffffdfffff,
+ 0xaaaaaaaaaabfffff, 0xffffffffffbfffff,
+ 0x55555555557fffff, 0xffffffffff7fffff,
+ 0xaaaaaaaaaaffffff, 0xfffffffffeffffff,
+ 0x5555555555ffffff, 0xfffffffffdffffff,
+ 0xaaaaaaaaabffffff, 0xfffffffffbffffff,
+ 0x5555555557ffffff, 0xfffffffff7ffffff,
+ 0xaaaaaaaaafffffff, 0xffffffffefffffff,
+ 0x555555555fffffff, 0xffffffffdfffffff,
+ 0xaaaaaaaabfffffff, 0xffffffffbfffffff,
+ 0x555555557fffffff, 0xffffffff7fffffff,
+ 0xaaaaaaaaffffffff, 0xfffffffeffffffff,
+ 0x55555555ffffffff, 0xfffffffdffffffff,
+ 0xaaaaaaabffffffff, 0xfffffffbffffffff,
+ 0x55555557ffffffff, 0xfffffff7ffffffff,
+ 0xaaaaaaafffffffff, 0xffffffefffffffff,
+ 0x5555555fffffffff, 0xffffffdfffffffff,
+ 0xaaaaaabfffffffff, 0xffffffbfffffffff,
+ 0x5555557fffffffff, 0xffffff7fffffffff,
+ 0xaaaaaaffffffffff, 0xfffffeffffffffff,
+ 0x555555ffffffffff, 0xfffffdffffffffff,
+ 0xaaaaabffffffffff, 0xfffffbffffffffff,
+ 0x555557ffffffffff, 0xfffff7ffffffffff,
+ 0xaaaaafffffffffff, 0xffffefffffffffff,
+ 0x55555fffffffffff, 0xffffdfffffffffff,
+ 0xaaaabfffffffffff, 0xffffbfffffffffff,
+ 0x55557fffffffffff, 0xffff7fffffffffff,
+ 0xaaaaffffffffffff, 0xfffeffffffffffff,
+ 0x5555ffffffffffff, 0xfffdffffffffffff,
+ 0xaaabffffffffffff, 0xfffbffffffffffff,
+ 0x5557ffffffffffff, 0xfff7ffffffffffff,
+ 0xaaafffffffffffff, 0xffefffffffffffff,
+ 0x555fffffffffffff, 0xffdfffffffffffff,
+ 0xaabfffffffffffff, 0xffbfffffffffffff,
+ 0x557fffffffffffff, 0xff7fffffffffffff,
+ 0xaaffffffffffffff, 0xfeffffffffffffff,
+ 0x55ffffffffffffff, 0xfdffffffffffffff,
+ 0xabffffffffffffff, 0xfbffffffffffffff,
+ 0x57ffffffffffffff, 0xf7ffffffffffffff,
+ 0xafffffffffffffff, 0xefffffffffffffff,
+ 0x5fffffffffffffff, 0xdfffffffffffffff,
+ 0xbfffffffffffffff, 0xbfffffffffffffff,
+ 0x7fffffffffffffff, 0x7fffffffffffffff,
+ 0xffffffffffffffff, 0xffffffffffffffff,
+ 0x7ffffffffffffffd, 0x7ffffffffffffffe,
+ 0xfffffffffffffffb, 0xfffffffffffffffc,
+ 0xfffffffffffffff7, 0xfffffffffffffff8,
+ 0xffffffffffffffef, 0xfffffffffffffff0,
+ 0xffffffffffffffdf, 0xffffffffffffffe0,
+ 0xffffffffffffffbf, 0xffffffffffffffc0,
+ 0xffffffffffffff7f, 0xffffffffffffff80,
+ 0xfffffffffffffeff, 0xffffffffffffff00,
+ 0xfffffffffffffdff, 0xfffffffffffffe00,
+ 0xfffffffffffffbff, 0xfffffffffffffc00,
+ 0xfffffffffffff7ff, 0xfffffffffffff800,
+ 0xffffffffffffefff, 0xfffffffffffff000,
+ 0xffffffffffffdfff, 0xffffffffffffe000,
+ 0xffffffffffffbfff, 0xffffffffffffc000,
+ 0xffffffffffff7fff, 0xffffffffffff8000,
+ 0xfffffffffffeffff, 0xffffffffffff0000,
+ 0xfffffffffffdffff, 0xfffffffffffe0000,
+ 0xfffffffffffbffff, 0xfffffffffffc0000,
+ 0xfffffffffff7ffff, 0xfffffffffff80000,
+ 0xffffffffffefffff, 0xfffffffffff00000,
+ 0xffffffffffdfffff, 0xffffffffffe00000,
+ 0xffffffffffbfffff, 0xffffffffffc00000,
+ 0xffffffffff7fffff, 0xffffffffff800000,
+ 0xfffffffffeffffff, 0xffffffffff000000,
+ 0xfffffffffdffffff, 0xfffffffffe000000,
+ 0xfffffffffbffffff, 0xfffffffffc000000,
+ 0xfffffffff7ffffff, 0xfffffffff8000000,
+ 0xffffffffefffffff, 0xfffffffff0000000,
+ 0xffffffffdfffffff, 0xffffffffe0000000,
+ 0xffffffffbfffffff, 0xffffffffc0000000,
+ 0xffffffff7fffffff, 0xffffffff80000000,
+ 0xfffffffeffffffff, 0xffffffff00000000,
+ 0xfffffffdffffffff, 0xfffffffe00000000,
+ 0xfffffffbffffffff, 0xfffffffc00000000,
+ 0xfffffff7ffffffff, 0xfffffff800000000,
+ 0xffffffefffffffff, 0xfffffff000000000,
+ 0xffffffdfffffffff, 0xffffffe000000000,
+ 0xffffffbfffffffff, 0xffffffc000000000,
+ 0xffffff7fffffffff, 0xffffff8000000000,
+ 0xfffffeffffffffff, 0xffffff0000000000,
+ 0xfffffdffffffffff, 0xfffffe0000000000,
+ 0xfffffbffffffffff, 0xfffffc0000000000,
+ 0xfffff7ffffffffff, 0xfffff80000000000,
+ 0xffffefffffffffff, 0xfffff00000000000,
+ 0xffffdfffffffffff, 0xffffe00000000000,
+ 0xffffbfffffffffff, 0xffffc00000000000,
+ 0xffff7fffffffffff, 0xffff800000000000,
+ 0xfffeffffffffffff, 0xffff000000000000,
+ 0xfffdffffffffffff, 0xfffe000000000000,
+ 0xfffbffffffffffff, 0xfffc000000000000,
+ 0xfff7ffffffffffff, 0xfff8000000000000,
+ 0xffefffffffffffff, 0xfff0000000000000,
+ 0xffdfffffffffffff, 0xffe0000000000000,
+ 0xffbfffffffffffff, 0xffc0000000000000,
+ 0xff7fffffffffffff, 0xff80000000000000,
+ 0xfeffffffffffffff, 0xff00000000000000,
+ 0xfdffffffffffffff, 0xfe00000000000000,
+ 0xfbffffffffffffff, 0xfc00000000000000,
+ 0xf7ffffffffffffff, 0xf800000000000000,
+ 0xefffffffffffffff, 0xf000000000000000,
+ 0xdfffffffffffffff, 0xe000000000000000,
+ 0xbfffffffffffffff, 0xc000000000000000,
+ 0x7fffffffffffffff, 0x8000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0x7ffffffffffffffe, 0x7fffffffffffffff,
+ 0xfffffffffffffffc, 0xffffffffffffffff,
+ 0xfffffffffffffff8, 0xffffffffffffffff,
+ 0xfffffffffffffff0, 0xffffffffffffffff,
+ 0xffffffffffffffe0, 0xffffffffffffffff,
+ 0xffffffffffffffc0, 0xffffffffffffffff,
+ 0xffffffffffffff80, 0xffffffffffffffff,
+ 0xffffffffffffff00, 0xffffffffffffffff,
+ 0xfffffffffffffe00, 0xffffffffffffffff,
+ 0xfffffffffffffc00, 0xffffffffffffffff,
+ 0xfffffffffffff800, 0xffffffffffffffff,
+ 0xfffffffffffff000, 0xffffffffffffffff,
+ 0xffffffffffffe000, 0xffffffffffffffff,
+ 0xffffffffffffc000, 0xffffffffffffffff,
+ 0xffffffffffff8000, 0xffffffffffffffff,
+ 0xffffffffffff0000, 0xffffffffffffffff,
+ 0xfffffffffffe0000, 0xffffffffffffffff,
+ 0xfffffffffffc0000, 0xffffffffffffffff,
+ 0xfffffffffff80000, 0xffffffffffffffff,
+ 0xfffffffffff00000, 0xffffffffffffffff,
+ 0xffffffffffe00000, 0xffffffffffffffff,
+ 0xffffffffffc00000, 0xffffffffffffffff,
+ 0xffffffffff800000, 0xffffffffffffffff,
+ 0xffffffffff000000, 0xffffffffffffffff,
+ 0xfffffffffe000000, 0xffffffffffffffff,
+ 0xfffffffffc000000, 0xffffffffffffffff,
+ 0xfffffffff8000000, 0xffffffffffffffff,
+ 0xfffffffff0000000, 0xffffffffffffffff,
+ 0xffffffffe0000000, 0xffffffffffffffff,
+ 0xffffffffc0000000, 0xffffffffffffffff,
+ 0xffffffff80000000, 0xffffffffffffffff,
+ 0xffffffff00000000, 0xffffffffffffffff,
+ 0xfffffffe00000000, 0xffffffffffffffff,
+ 0xfffffffc00000000, 0xffffffffffffffff,
+ 0xfffffff800000000, 0xffffffffffffffff,
+ 0xfffffff000000000, 0xffffffffffffffff,
+ 0xffffffe000000000, 0xffffffffffffffff,
+ 0xffffffc000000000, 0xffffffffffffffff,
+ 0xffffff8000000000, 0xffffffffffffffff,
+ 0xffffff0000000000, 0xffffffffffffffff,
+ 0xfffffe0000000000, 0xffffffffffffffff,
+ 0xfffffc0000000000, 0xffffffffffffffff,
+ 0xfffff80000000000, 0xffffffffffffffff,
+ 0xfffff00000000000, 0xffffffffffffffff,
+ 0xffffe00000000000, 0xffffffffffffffff,
+ 0xffffc00000000000, 0xffffffffffffffff,
+ 0xffff800000000000, 0xffffffffffffffff,
+ 0xffff000000000000, 0xffffffffffffffff,
+ 0xfffe000000000000, 0xffffffffffffffff,
+ 0xfffc000000000000, 0xffffffffffffffff,
+ 0xfff8000000000000, 0xffffffffffffffff,
+ 0xfff0000000000000, 0xffffffffffffffff,
+ 0xffe0000000000000, 0xffffffffffffffff,
+ 0xffc0000000000000, 0xffffffffffffffff,
+ 0xff80000000000000, 0xffffffffffffffff,
+ 0xff00000000000000, 0xffffffffffffffff,
+ 0xfe00000000000000, 0xffffffffffffffff,
+ 0xfc00000000000000, 0xffffffffffffffff,
+ 0xf800000000000000, 0xffffffffffffffff,
+ 0xf000000000000000, 0xffffffffffffffff,
+ 0xe000000000000000, 0xffffffffffffffff,
+ 0xc000000000000000, 0xffffffffffffffff,
+ 0x8000000000000000, 0xffffffffffffffff,
+ 0x0000000000000000, 0xffffffffffffffff,
+ 0x7fffffffffffffff, 0x8000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0x8000000000000000, 0x8000000000000001,
+ 0x0000000000000000, 0x0000000000000003,
+ 0x0000000000000000, 0x0000000000000007,
+ 0x0000000000000000, 0x000000000000000f,
+ 0x0000000000000000, 0x000000000000001f,
+ 0x0000000000000000, 0x000000000000003f,
+ 0x0000000000000000, 0x000000000000007f,
+ 0x0000000000000000, 0x00000000000000ff,
+ 0x0000000000000000, 0x00000000000001ff,
+ 0x0000000000000000, 0x00000000000003ff,
+ 0x0000000000000000, 0x00000000000007ff,
+ 0x0000000000000000, 0x0000000000000fff,
+ 0x0000000000000000, 0x0000000000001fff,
+ 0x0000000000000000, 0x0000000000003fff,
+ 0x0000000000000000, 0x0000000000007fff,
+ 0x0000000000000000, 0x000000000000ffff,
+ 0x0000000000000000, 0x000000000001ffff,
+ 0x0000000000000000, 0x000000000003ffff,
+ 0x0000000000000000, 0x000000000007ffff,
+ 0x0000000000000000, 0x00000000000fffff,
+ 0x0000000000000000, 0x00000000001fffff,
+ 0x0000000000000000, 0x00000000003fffff,
+ 0x0000000000000000, 0x00000000007fffff,
+ 0x0000000000000000, 0x0000000000ffffff,
+ 0x0000000000000000, 0x0000000001ffffff,
+ 0x0000000000000000, 0x0000000003ffffff,
+ 0x0000000000000000, 0x0000000007ffffff,
+ 0x0000000000000000, 0x000000000fffffff,
+ 0x0000000000000000, 0x000000001fffffff,
+ 0x0000000000000000, 0x000000003fffffff,
+ 0x0000000000000000, 0x000000007fffffff,
+ 0x0000000000000000, 0x00000000ffffffff,
+ 0x0000000000000000, 0x00000001ffffffff,
+ 0x0000000000000000, 0x00000003ffffffff,
+ 0x0000000000000000, 0x00000007ffffffff,
+ 0x0000000000000000, 0x0000000fffffffff,
+ 0x0000000000000000, 0x0000001fffffffff,
+ 0x0000000000000000, 0x0000003fffffffff,
+ 0x0000000000000000, 0x0000007fffffffff,
+ 0x0000000000000000, 0x000000ffffffffff,
+ 0x0000000000000000, 0x000001ffffffffff,
+ 0x0000000000000000, 0x000003ffffffffff,
+ 0x0000000000000000, 0x000007ffffffffff,
+ 0x0000000000000000, 0x00000fffffffffff,
+ 0x0000000000000000, 0x00001fffffffffff,
+ 0x0000000000000000, 0x00003fffffffffff,
+ 0x0000000000000000, 0x00007fffffffffff,
+ 0x0000000000000000, 0x0000ffffffffffff,
+ 0x0000000000000000, 0x0001ffffffffffff,
+ 0x0000000000000000, 0x0003ffffffffffff,
+ 0x0000000000000000, 0x0007ffffffffffff,
+ 0x0000000000000000, 0x000fffffffffffff,
+ 0x0000000000000000, 0x001fffffffffffff,
+ 0x0000000000000000, 0x003fffffffffffff,
+ 0x0000000000000000, 0x007fffffffffffff,
+ 0x0000000000000000, 0x00ffffffffffffff,
+ 0x0000000000000000, 0x01ffffffffffffff,
+ 0x0000000000000000, 0x03ffffffffffffff,
+ 0x0000000000000000, 0x07ffffffffffffff,
+ 0x0000000000000000, 0x0fffffffffffffff,
+ 0x0000000000000000, 0x1fffffffffffffff,
+ 0x0000000000000000, 0x3fffffffffffffff,
+ 0x0000000000000000, 0x7fffffffffffffff,
+ 0x0000000000000000, 0xffffffffffffffff,
+ 0x8000000000000001, 0x8000000000000002,
+ 0x0000000000000003, 0x0000000000000004,
+ 0x0000000000000007, 0x0000000000000008,
+ 0x000000000000000f, 0x0000000000000010,
+ 0x000000000000001f, 0x0000000000000020,
+ 0x000000000000003f, 0x0000000000000040,
+ 0x000000000000007f, 0x0000000000000080,
+ 0x00000000000000ff, 0x0000000000000100,
+ 0x00000000000001ff, 0x0000000000000200,
+ 0x00000000000003ff, 0x0000000000000400,
+ 0x00000000000007ff, 0x0000000000000800,
+ 0x0000000000000fff, 0x0000000000001000,
+ 0x0000000000001fff, 0x0000000000002000,
+ 0x0000000000003fff, 0x0000000000004000,
+ 0x0000000000007fff, 0x0000000000008000,
+ 0x000000000000ffff, 0x0000000000010000,
+ 0x000000000001ffff, 0x0000000000020000,
+ 0x000000000003ffff, 0x0000000000040000,
+ 0x000000000007ffff, 0x0000000000080000,
+ 0x00000000000fffff, 0x0000000000100000,
+ 0x00000000001fffff, 0x0000000000200000,
+ 0x00000000003fffff, 0x0000000000400000,
+ 0x00000000007fffff, 0x0000000000800000,
+ 0x0000000000ffffff, 0x0000000001000000,
+ 0x0000000001ffffff, 0x0000000002000000,
+ 0x0000000003ffffff, 0x0000000004000000,
+ 0x0000000007ffffff, 0x0000000008000000,
+ 0x000000000fffffff, 0x0000000010000000,
+ 0x000000001fffffff, 0x0000000020000000,
+ 0x000000003fffffff, 0x0000000040000000,
+ 0x000000007fffffff, 0x0000000080000000,
+ 0x00000000ffffffff, 0x0000000100000000,
+ 0x00000001ffffffff, 0x0000000200000000,
+ 0x00000003ffffffff, 0x0000000400000000,
+ 0x00000007ffffffff, 0x0000000800000000,
+ 0x0000000fffffffff, 0x0000001000000000,
+ 0x0000001fffffffff, 0x0000002000000000,
+ 0x0000003fffffffff, 0x0000004000000000,
+ 0x0000007fffffffff, 0x0000008000000000,
+ 0x000000ffffffffff, 0x0000010000000000,
+ 0x000001ffffffffff, 0x0000020000000000,
+ 0x000003ffffffffff, 0x0000040000000000,
+ 0x000007ffffffffff, 0x0000080000000000,
+ 0x00000fffffffffff, 0x0000100000000000,
+ 0x00001fffffffffff, 0x0000200000000000,
+ 0x00003fffffffffff, 0x0000400000000000,
+ 0x00007fffffffffff, 0x0000800000000000,
+ 0x0000ffffffffffff, 0x0001000000000000,
+ 0x0001ffffffffffff, 0x0002000000000000,
+ 0x0003ffffffffffff, 0x0004000000000000,
+ 0x0007ffffffffffff, 0x0008000000000000,
+ 0x000fffffffffffff, 0x0010000000000000,
+ 0x001fffffffffffff, 0x0020000000000000,
+ 0x003fffffffffffff, 0x0040000000000000,
+ 0x007fffffffffffff, 0x0080000000000000,
+ 0x00ffffffffffffff, 0x0100000000000000,
+ 0x01ffffffffffffff, 0x0200000000000000,
+ 0x03ffffffffffffff, 0x0400000000000000,
+ 0x07ffffffffffffff, 0x0800000000000000,
+ 0x0fffffffffffffff, 0x1000000000000000,
+ 0x1fffffffffffffff, 0x2000000000000000,
+ 0x3fffffffffffffff, 0x4000000000000000,
+ 0x7fffffffffffffff, 0x8000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0x8000000000000002, 0x8000000000000003,
+ 0x0000000000000004, 0x0000000000000007,
+ 0x0000000000000008, 0x000000000000000f,
+ 0x0000000000000010, 0x000000000000001f,
+ 0x0000000000000020, 0x000000000000003f,
+ 0x0000000000000040, 0x000000000000007f,
+ 0x0000000000000080, 0x00000000000000ff,
+ 0x0000000000000100, 0x00000000000001ff,
+ 0x0000000000000200, 0x00000000000003ff,
+ 0x0000000000000400, 0x00000000000007ff,
+ 0x0000000000000800, 0x0000000000000fff,
+ 0x0000000000001000, 0x0000000000001fff,
+ 0x0000000000002000, 0x0000000000003fff,
+ 0x0000000000004000, 0x0000000000007fff,
+ 0x0000000000008000, 0x000000000000ffff,
+ 0x0000000000010000, 0x000000000001ffff,
+ 0x0000000000020000, 0x000000000003ffff,
+ 0x0000000000040000, 0x000000000007ffff,
+ 0x0000000000080000, 0x00000000000fffff,
+ 0x0000000000100000, 0x00000000001fffff,
+ 0x0000000000200000, 0x00000000003fffff,
+ 0x0000000000400000, 0x00000000007fffff,
+ 0x0000000000800000, 0x0000000000ffffff,
+ 0x0000000001000000, 0x0000000001ffffff,
+ 0x0000000002000000, 0x0000000003ffffff,
+ 0x0000000004000000, 0x0000000007ffffff,
+ 0x0000000008000000, 0x000000000fffffff,
+ 0x0000000010000000, 0x000000001fffffff,
+ 0x0000000020000000, 0x000000003fffffff,
+ 0x0000000040000000, 0x000000007fffffff,
+ 0x0000000080000000, 0x00000000ffffffff,
+ 0x0000000100000000, 0x00000001ffffffff,
+ 0x0000000200000000, 0x00000003ffffffff,
+ 0x0000000400000000, 0x00000007ffffffff,
+ 0x0000000800000000, 0x0000000fffffffff,
+ 0x0000001000000000, 0x0000001fffffffff,
+ 0x0000002000000000, 0x0000003fffffffff,
+ 0x0000004000000000, 0x0000007fffffffff,
+ 0x0000008000000000, 0x000000ffffffffff,
+ 0x0000010000000000, 0x000001ffffffffff,
+ 0x0000020000000000, 0x000003ffffffffff,
+ 0x0000040000000000, 0x000007ffffffffff,
+ 0x0000080000000000, 0x00000fffffffffff,
+ 0x0000100000000000, 0x00001fffffffffff,
+ 0x0000200000000000, 0x00003fffffffffff,
+ 0x0000400000000000, 0x00007fffffffffff,
+ 0x0000800000000000, 0x0000ffffffffffff,
+ 0x0001000000000000, 0x0001ffffffffffff,
+ 0x0002000000000000, 0x0003ffffffffffff,
+ 0x0004000000000000, 0x0007ffffffffffff,
+ 0x0008000000000000, 0x000fffffffffffff,
+ 0x0010000000000000, 0x001fffffffffffff,
+ 0x0020000000000000, 0x003fffffffffffff,
+ 0x0040000000000000, 0x007fffffffffffff,
+ 0x0080000000000000, 0x00ffffffffffffff,
+ 0x0100000000000000, 0x01ffffffffffffff,
+ 0x0200000000000000, 0x03ffffffffffffff,
+ 0x0400000000000000, 0x07ffffffffffffff,
+ 0x0800000000000000, 0x0fffffffffffffff,
+ 0x1000000000000000, 0x1fffffffffffffff,
+ 0x2000000000000000, 0x3fffffffffffffff,
+ 0x4000000000000000, 0x7fffffffffffffff,
+ 0x8000000000000000, 0xffffffffffffffff,
+ 0x0000000000000000, 0xffffffffffffffff,
+ 0x8000000000000003, 0xaaaaaaaaaaaaaaaa,
+ 0x0000000000000007, 0x5555555555555554,
+ 0x000000000000000f, 0xaaaaaaaaaaaaaaa8,
+ 0x000000000000001f, 0x5555555555555550,
+ 0x000000000000003f, 0xaaaaaaaaaaaaaaa0,
+ 0x000000000000007f, 0x5555555555555540,
+ 0x00000000000000ff, 0xaaaaaaaaaaaaaa80,
+ 0x00000000000001ff, 0x5555555555555500,
+ 0x00000000000003ff, 0xaaaaaaaaaaaaaa00,
+ 0x00000000000007ff, 0x5555555555555400,
+ 0x0000000000000fff, 0xaaaaaaaaaaaaa800,
+ 0x0000000000001fff, 0x5555555555555000,
+ 0x0000000000003fff, 0xaaaaaaaaaaaaa000,
+ 0x0000000000007fff, 0x5555555555554000,
+ 0x000000000000ffff, 0xaaaaaaaaaaaa8000,
+ 0x000000000001ffff, 0x5555555555550000,
+ 0x000000000003ffff, 0xaaaaaaaaaaaa0000,
+ 0x000000000007ffff, 0x5555555555540000,
+ 0x00000000000fffff, 0xaaaaaaaaaaa80000,
+ 0x00000000001fffff, 0x5555555555500000,
+ 0x00000000003fffff, 0xaaaaaaaaaaa00000,
+ 0x00000000007fffff, 0x5555555555400000,
+ 0x0000000000ffffff, 0xaaaaaaaaaa800000,
+ 0x0000000001ffffff, 0x5555555555000000,
+ 0x0000000003ffffff, 0xaaaaaaaaaa000000,
+ 0x0000000007ffffff, 0x5555555554000000,
+ 0x000000000fffffff, 0xaaaaaaaaa8000000,
+ 0x000000001fffffff, 0x5555555550000000,
+ 0x000000003fffffff, 0xaaaaaaaaa0000000,
+ 0x000000007fffffff, 0x5555555540000000,
+ 0x00000000ffffffff, 0xaaaaaaaa80000000,
+ 0x00000001ffffffff, 0x5555555500000000,
+ 0x00000003ffffffff, 0xaaaaaaaa00000000,
+ 0x00000007ffffffff, 0x5555555400000000,
+ 0x0000000fffffffff, 0xaaaaaaa800000000,
+ 0x0000001fffffffff, 0x5555555000000000,
+ 0x0000003fffffffff, 0xaaaaaaa000000000,
+ 0x0000007fffffffff, 0x5555554000000000,
+ 0x000000ffffffffff, 0xaaaaaa8000000000,
+ 0x000001ffffffffff, 0x5555550000000000,
+ 0x000003ffffffffff, 0xaaaaaa0000000000,
+ 0x000007ffffffffff, 0x5555540000000000,
+ 0x00000fffffffffff, 0xaaaaa80000000000,
+ 0x00001fffffffffff, 0x5555500000000000,
+ 0x00003fffffffffff, 0xaaaaa00000000000,
+ 0x00007fffffffffff, 0x5555400000000000,
+ 0x0000ffffffffffff, 0xaaaa800000000000,
+ 0x0001ffffffffffff, 0x5555000000000000,
+ 0x0003ffffffffffff, 0xaaaa000000000000,
+ 0x0007ffffffffffff, 0x5554000000000000,
+ 0x000fffffffffffff, 0xaaa8000000000000,
+ 0x001fffffffffffff, 0x5550000000000000,
+ 0x003fffffffffffff, 0xaaa0000000000000,
+ 0x007fffffffffffff, 0x5540000000000000,
+ 0x00ffffffffffffff, 0xaa80000000000000,
+ 0x01ffffffffffffff, 0x5500000000000000,
+ 0x03ffffffffffffff, 0xaa00000000000000,
+ 0x07ffffffffffffff, 0x5400000000000000,
+ 0x0fffffffffffffff, 0xa800000000000000,
+ 0x1fffffffffffffff, 0x5000000000000000,
+ 0x3fffffffffffffff, 0xa000000000000000,
+ 0x7fffffffffffffff, 0x4000000000000000,
+ 0xffffffffffffffff, 0x8000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xaaaaaaaaaaaaaaaa, 0xcccccccccccccccc,
+ 0x5555555555555554, 0x9999999999999998,
+ 0xaaaaaaaaaaaaaaa8, 0x3333333333333330,
+ 0x5555555555555550, 0x6666666666666660,
+ 0xaaaaaaaaaaaaaaa0, 0xccccccccccccccc0,
+ 0x5555555555555540, 0x9999999999999980,
+ 0xaaaaaaaaaaaaaa80, 0x3333333333333300,
+ 0x5555555555555500, 0x6666666666666600,
+ 0xaaaaaaaaaaaaaa00, 0xcccccccccccccc00,
+ 0x5555555555555400, 0x9999999999999800,
+ 0xaaaaaaaaaaaaa800, 0x3333333333333000,
+ 0x5555555555555000, 0x6666666666666000,
+ 0xaaaaaaaaaaaaa000, 0xccccccccccccc000,
+ 0x5555555555554000, 0x9999999999998000,
+ 0xaaaaaaaaaaaa8000, 0x3333333333330000,
+ 0x5555555555550000, 0x6666666666660000,
+ 0xaaaaaaaaaaaa0000, 0xcccccccccccc0000,
+ 0x5555555555540000, 0x9999999999980000,
+ 0xaaaaaaaaaaa80000, 0x3333333333300000,
+ 0x5555555555500000, 0x6666666666600000,
+ 0xaaaaaaaaaaa00000, 0xccccccccccc00000,
+ 0x5555555555400000, 0x9999999999800000,
+ 0xaaaaaaaaaa800000, 0x3333333333000000,
+ 0x5555555555000000, 0x6666666666000000,
+ 0xaaaaaaaaaa000000, 0xcccccccccc000000,
+ 0x5555555554000000, 0x9999999998000000,
+ 0xaaaaaaaaa8000000, 0x3333333330000000,
+ 0x5555555550000000, 0x6666666660000000,
+ 0xaaaaaaaaa0000000, 0xccccccccc0000000,
+ 0x5555555540000000, 0x9999999980000000,
+ 0xaaaaaaaa80000000, 0x3333333300000000,
+ 0x5555555500000000, 0x6666666600000000,
+ 0xaaaaaaaa00000000, 0xcccccccc00000000,
+ 0x5555555400000000, 0x9999999800000000,
+ 0xaaaaaaa800000000, 0x3333333000000000,
+ 0x5555555000000000, 0x6666666000000000,
+ 0xaaaaaaa000000000, 0xccccccc000000000,
+ 0x5555554000000000, 0x9999998000000000,
+ 0xaaaaaa8000000000, 0x3333330000000000,
+ 0x5555550000000000, 0x6666660000000000,
+ 0xaaaaaa0000000000, 0xcccccc0000000000,
+ 0x5555540000000000, 0x9999980000000000,
+ 0xaaaaa80000000000, 0x3333300000000000,
+ 0x5555500000000000, 0x6666600000000000,
+ 0xaaaaa00000000000, 0xccccc00000000000,
+ 0x5555400000000000, 0x9999800000000000,
+ 0xaaaa800000000000, 0x3333000000000000,
+ 0x5555000000000000, 0x6666000000000000,
+ 0xaaaa000000000000, 0xcccc000000000000,
+ 0x5554000000000000, 0x9998000000000000,
+ 0xaaa8000000000000, 0x3330000000000000,
+ 0x5550000000000000, 0x6660000000000000,
+ 0xaaa0000000000000, 0xccc0000000000000,
+ 0x5540000000000000, 0x9980000000000000,
+ 0xaa80000000000000, 0x3300000000000000,
+ 0x5500000000000000, 0x6600000000000000,
+ 0xaa00000000000000, 0xcc00000000000000,
+ 0x5400000000000000, 0x9800000000000000,
+ 0xa800000000000000, 0x3000000000000000,
+ 0x5000000000000000, 0x6000000000000000,
+ 0xa000000000000000, 0xc000000000000000,
+ 0x4000000000000000, 0x8000000000000000,
+ 0x8000000000000000, 0x0000000000000000,
+ 0x0000000000000000, 0x0000000000000000,
+ 0xcccccccccccccccc, 0xffffffff80000000,
+ 0x9999999999999998, 0xffffffff00000000,
+ 0x3333333333333330, 0xfffffffe00000000,
+ 0x6666666666666660, 0xfffffffc00000000,
+ 0xccccccccccccccc0, 0xfffffff800000000,
+ 0x9999999999999980, 0xfffffff000000000,
+ 0x3333333333333300, 0xffffffe000000000,
+ 0x6666666666666600, 0xffffffc000000000,
+ 0xcccccccccccccc00, 0xffffff8000000000,
+ 0x9999999999999800, 0xffffff0000000000,
+ 0x3333333333333000, 0xfffffe0000000000,
+ 0x6666666666666000, 0xfffffc0000000000,
+ 0xccccccccccccc000, 0xfffff80000000000,
+ 0x9999999999998000, 0xfffff00000000000,
+ 0x3333333333330000, 0xffffe00000000000,
+ 0x6666666666660000, 0xffffc00000000000,
+ 0xcccccccccccc0000, 0xffff800000000000,
+ 0x9999999999980000, 0xffff000000000000,
+ 0x3333333333300000, 0xfffe000000000000,
+ 0x6666666666600000, 0xfffc000000000000,
+ 0xccccccccccc00000, 0xfff8000000000000,
+ 0x9999999999800000, 0xfff0000000000000,
+ 0x3333333333000000, 0xffe0000000000000,
+ 0x6666666666000000, 0xffc0000000000000,
+ 0xcccccccccc000000, 0xff80000000000000,
+ 0x9999999998000000, 0xff00000000000000,
+ 0x3333333330000000, 0xfe00000000000000,
+ 0x6666666660000000, 0xfc00000000000000,
+ 0xccccccccc0000000, 0xf800000000000000,
+ 0x9999999980000000, 0xf000000000000000,
+ 0x3333333300000000, 0xe000000000000000,
+ 0x6666666600000000, 0xc000000000000000,
+ 0xcccccccc00000000, 0x8000000000000000,
+ 0x9999999800000000, 0x0000000000000000,
+ 0x3333333000000000, 0x0000000000000000,
+ 0x6666666000000000, 0x0000000000000000,
+ 0xccccccc000000000, 0x0000000000000000,
+ 0x9999998000000000, 0x0000000000000000,
+ 0x3333330000000000, 0x0000000000000000,
+ 0x6666660000000000, 0x0000000000000000,
+ 0xcccccc0000000000, 0x0000000000000000,
+ 0x9999980000000000, 0x0000000000000000,
+ 0x3333300000000000, 0x0000000000000000,
+ 0x6666600000000000, 0x0000000000000000,
+ 0xccccc00000000000, 0x0000000000000000,
+ 0x9999800000000000, 0x0000000000000000,
+ 0x3333000000000000, 0x0000000000000000,
+ 0x6666000000000000, 0x0000000000000000,
+ 0xcccc000000000000, 0x0000000000000000,
+ 0x9998000000000000, 0x0000000000000000,
+ 0x3330000000000000, 0x0000000000000000,
+ 0x6660000000000000, 0x0000000000000000,
+ 0xccc0000000000000, 0x0000000000000000,
+ 0x9980000000000000, 0x0000000000000000,
+ 0x3300000000000000, 0x0000000000000000,
+ 0x6600000000000000, 0x0000000000000000,
+ 0xcc00000000000000, 0x0000000000000000,
+ 0x9800000000000000, 0x0000000000000000,
+ 0x3000000000000000, 0x0000000000000000,
+ 0x6000000000000000, 0x0000000000000000,
+ 0xc000000000000000, 0x0000000000000000,
+ 0x8000000000000000, 0x0000000000000000,
+ 0x0000000000000000, 0x0000000000000000,
+ 0x0000000000000000, 0x0000000000000000,
+ 0xffffffff80000000, 0xffffffff80000001,
+ 0xffffffff00000000, 0xffffffff00000003,
+ 0xfffffffe00000000, 0xfffffffe00000007,
+ 0xfffffffc00000000, 0xfffffffc0000000f,
+ 0xfffffff800000000, 0xfffffff80000001f,
+ 0xfffffff000000000, 0xfffffff00000003f,
+ 0xffffffe000000000, 0xffffffe00000007f,
+ 0xffffffc000000000, 0xffffffc0000000ff,
+ 0xffffff8000000000, 0xffffff80000001ff,
+ 0xffffff0000000000, 0xffffff00000003ff,
+ 0xfffffe0000000000, 0xfffffe00000007ff,
+ 0xfffffc0000000000, 0xfffffc0000000fff,
+ 0xfffff80000000000, 0xfffff80000001fff,
+ 0xfffff00000000000, 0xfffff00000003fff,
+ 0xffffe00000000000, 0xffffe00000007fff,
+ 0xffffc00000000000, 0xffffc0000000ffff,
+ 0xffff800000000000, 0xffff80000001ffff,
+ 0xffff000000000000, 0xffff00000003ffff,
+ 0xfffe000000000000, 0xfffe00000007ffff,
+ 0xfffc000000000000, 0xfffc0000000fffff,
+ 0xfff8000000000000, 0xfff80000001fffff,
+ 0xfff0000000000000, 0xfff00000003fffff,
+ 0xffe0000000000000, 0xffe00000007fffff,
+ 0xffc0000000000000, 0xffc0000000ffffff,
+ 0xff80000000000000, 0xff80000001ffffff,
+ 0xff00000000000000, 0xff00000003ffffff,
+ 0xfe00000000000000, 0xfe00000007ffffff,
+ 0xfc00000000000000, 0xfc0000000fffffff,
+ 0xf800000000000000, 0xf80000001fffffff,
+ 0xf000000000000000, 0xf00000003fffffff,
+ 0xe000000000000000, 0xe00000007fffffff,
+ 0xc000000000000000, 0xc0000000ffffffff,
+ 0x8000000000000000, 0x80000001ffffffff,
+ 0x0000000000000000, 0x00000003ffffffff,
+ 0x0000000000000000, 0x00000007ffffffff,
+ 0x0000000000000000, 0x0000000fffffffff,
+ 0x0000000000000000, 0x0000001fffffffff,
+ 0x0000000000000000, 0x0000003fffffffff,
+ 0x0000000000000000, 0x0000007fffffffff,
+ 0x0000000000000000, 0x000000ffffffffff,
+ 0x0000000000000000, 0x000001ffffffffff,
+ 0x0000000000000000, 0x000003ffffffffff,
+ 0x0000000000000000, 0x000007ffffffffff,
+ 0x0000000000000000, 0x00000fffffffffff,
+ 0x0000000000000000, 0x00001fffffffffff,
+ 0x0000000000000000, 0x00003fffffffffff,
+ 0x0000000000000000, 0x00007fffffffffff,
+ 0x0000000000000000, 0x0000ffffffffffff,
+ 0x0000000000000000, 0x0001ffffffffffff,
+ 0x0000000000000000, 0x0003ffffffffffff,
+ 0x0000000000000000, 0x0007ffffffffffff,
+ 0x0000000000000000, 0x000fffffffffffff,
+ 0x0000000000000000, 0x001fffffffffffff,
+ 0x0000000000000000, 0x003fffffffffffff,
+ 0x0000000000000000, 0x007fffffffffffff,
+ 0x0000000000000000, 0x00ffffffffffffff,
+ 0x0000000000000000, 0x01ffffffffffffff,
+ 0x0000000000000000, 0x03ffffffffffffff,
+ 0x0000000000000000, 0x07ffffffffffffff,
+ 0x0000000000000000, 0x0fffffffffffffff,
+ 0x0000000000000000, 0x1fffffffffffffff,
+ 0x0000000000000000, 0x3fffffffffffffff,
+ 0x0000000000000000, 0x7fffffffffffffff,
+ 0x0000000000000000, 0xffffffffffffffff,
+ 0xffffffff80000001, 0xffffffff80000002,
+ 0xffffffff00000003, 0xffffffff00000004,
+ 0xfffffffe00000007, 0xfffffffe00000008,
+ 0xfffffffc0000000f, 0xfffffffc00000010,
+ 0xfffffff80000001f, 0xfffffff800000020,
+ 0xfffffff00000003f, 0xfffffff000000040,
+ 0xffffffe00000007f, 0xffffffe000000080,
+ 0xffffffc0000000ff, 0xffffffc000000100,
+ 0xffffff80000001ff, 0xffffff8000000200,
+ 0xffffff00000003ff, 0xffffff0000000400,
+ 0xfffffe00000007ff, 0xfffffe0000000800,
+ 0xfffffc0000000fff, 0xfffffc0000001000,
+ 0xfffff80000001fff, 0xfffff80000002000,
+ 0xfffff00000003fff, 0xfffff00000004000,
+ 0xffffe00000007fff, 0xffffe00000008000,
+ 0xffffc0000000ffff, 0xffffc00000010000,
+ 0xffff80000001ffff, 0xffff800000020000,
+ 0xffff00000003ffff, 0xffff000000040000,
+ 0xfffe00000007ffff, 0xfffe000000080000,
+ 0xfffc0000000fffff, 0xfffc000000100000,
+ 0xfff80000001fffff, 0xfff8000000200000,
+ 0xfff00000003fffff, 0xfff0000000400000,
+ 0xffe00000007fffff, 0xffe0000000800000,
+ 0xffc0000000ffffff, 0xffc0000001000000,
+ 0xff80000001ffffff, 0xff80000002000000,
+ 0xff00000003ffffff, 0xff00000004000000,
+ 0xfe00000007ffffff, 0xfe00000008000000,
+ 0xfc0000000fffffff, 0xfc00000010000000,
+ 0xf80000001fffffff, 0xf800000020000000,
+ 0xf00000003fffffff, 0xf000000040000000,
+ 0xe00000007fffffff, 0xe000000080000000,
+ 0xc0000000ffffffff, 0xc000000100000000,
+ 0x80000001ffffffff, 0x8000000200000000,
+ 0x00000003ffffffff, 0x0000000400000000,
+ 0x00000007ffffffff, 0x0000000800000000,
+ 0x0000000fffffffff, 0x0000001000000000,
+ 0x0000001fffffffff, 0x0000002000000000,
+ 0x0000003fffffffff, 0x0000004000000000,
+ 0x0000007fffffffff, 0x0000008000000000,
+ 0x000000ffffffffff, 0x0000010000000000,
+ 0x000001ffffffffff, 0x0000020000000000,
+ 0x000003ffffffffff, 0x0000040000000000,
+ 0x000007ffffffffff, 0x0000080000000000,
+ 0x00000fffffffffff, 0x0000100000000000,
+ 0x00001fffffffffff, 0x0000200000000000,
+ 0x00003fffffffffff, 0x0000400000000000,
+ 0x00007fffffffffff, 0x0000800000000000,
+ 0x0000ffffffffffff, 0x0001000000000000,
+ 0x0001ffffffffffff, 0x0002000000000000,
+ 0x0003ffffffffffff, 0x0004000000000000,
+ 0x0007ffffffffffff, 0x0008000000000000,
+ 0x000fffffffffffff, 0x0010000000000000,
+ 0x001fffffffffffff, 0x0020000000000000,
+ 0x003fffffffffffff, 0x0040000000000000,
+ 0x007fffffffffffff, 0x0080000000000000,
+ 0x00ffffffffffffff, 0x0100000000000000,
+ 0x01ffffffffffffff, 0x0200000000000000,
+ 0x03ffffffffffffff, 0x0400000000000000,
+ 0x07ffffffffffffff, 0x0800000000000000,
+ 0x0fffffffffffffff, 0x1000000000000000,
+ 0x1fffffffffffffff, 0x2000000000000000,
+ 0x3fffffffffffffff, 0x4000000000000000,
+ 0x7fffffffffffffff, 0x8000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffff80000002, 0xffffffff80000003,
+ 0xffffffff00000004, 0xffffffff00000007,
+ 0xfffffffe00000008, 0xfffffffe0000000f,
+ 0xfffffffc00000010, 0xfffffffc0000001f,
+ 0xfffffff800000020, 0xfffffff80000003f,
+ 0xfffffff000000040, 0xfffffff00000007f,
+ 0xffffffe000000080, 0xffffffe0000000ff,
+ 0xffffffc000000100, 0xffffffc0000001ff,
+ 0xffffff8000000200, 0xffffff80000003ff,
+ 0xffffff0000000400, 0xffffff00000007ff,
+ 0xfffffe0000000800, 0xfffffe0000000fff,
+ 0xfffffc0000001000, 0xfffffc0000001fff,
+ 0xfffff80000002000, 0xfffff80000003fff,
+ 0xfffff00000004000, 0xfffff00000007fff,
+ 0xffffe00000008000, 0xffffe0000000ffff,
+ 0xffffc00000010000, 0xffffc0000001ffff,
+ 0xffff800000020000, 0xffff80000003ffff,
+ 0xffff000000040000, 0xffff00000007ffff,
+ 0xfffe000000080000, 0xfffe0000000fffff,
+ 0xfffc000000100000, 0xfffc0000001fffff,
+ 0xfff8000000200000, 0xfff80000003fffff,
+ 0xfff0000000400000, 0xfff00000007fffff,
+ 0xffe0000000800000, 0xffe0000000ffffff,
+ 0xffc0000001000000, 0xffc0000001ffffff,
+ 0xff80000002000000, 0xff80000003ffffff,
+ 0xff00000004000000, 0xff00000007ffffff,
+ 0xfe00000008000000, 0xfe0000000fffffff,
+ 0xfc00000010000000, 0xfc0000001fffffff,
+ 0xf800000020000000, 0xf80000003fffffff,
+ 0xf000000040000000, 0xf00000007fffffff,
+ 0xe000000080000000, 0xe0000000ffffffff,
+ 0xc000000100000000, 0xc0000001ffffffff,
+ 0x8000000200000000, 0x80000003ffffffff,
+ 0x0000000400000000, 0x00000007ffffffff,
+ 0x0000000800000000, 0x0000000fffffffff,
+ 0x0000001000000000, 0x0000001fffffffff,
+ 0x0000002000000000, 0x0000003fffffffff,
+ 0x0000004000000000, 0x0000007fffffffff,
+ 0x0000008000000000, 0x000000ffffffffff,
+ 0x0000010000000000, 0x000001ffffffffff,
+ 0x0000020000000000, 0x000003ffffffffff,
+ 0x0000040000000000, 0x000007ffffffffff,
+ 0x0000080000000000, 0x00000fffffffffff,
+ 0x0000100000000000, 0x00001fffffffffff,
+ 0x0000200000000000, 0x00003fffffffffff,
+ 0x0000400000000000, 0x00007fffffffffff,
+ 0x0000800000000000, 0x0000ffffffffffff,
+ 0x0001000000000000, 0x0001ffffffffffff,
+ 0x0002000000000000, 0x0003ffffffffffff,
+ 0x0004000000000000, 0x0007ffffffffffff,
+ 0x0008000000000000, 0x000fffffffffffff,
+ 0x0010000000000000, 0x001fffffffffffff,
+ 0x0020000000000000, 0x003fffffffffffff,
+ 0x0040000000000000, 0x007fffffffffffff,
+ 0x0080000000000000, 0x00ffffffffffffff,
+ 0x0100000000000000, 0x01ffffffffffffff,
+ 0x0200000000000000, 0x03ffffffffffffff,
+ 0x0400000000000000, 0x07ffffffffffffff,
+ 0x0800000000000000, 0x0fffffffffffffff,
+ 0x1000000000000000, 0x1fffffffffffffff,
+ 0x2000000000000000, 0x3fffffffffffffff,
+ 0x4000000000000000, 0x7fffffffffffffff,
+ 0x8000000000000000, 0xffffffffffffffff,
+ 0x0000000000000000, 0xffffffffffffffff,
+ 0xffffffff80000003, 0xffffffffffff8000,
+ 0xffffffff00000007, 0xffffffffffff0000,
+ 0xfffffffe0000000f, 0xfffffffffffe0000,
+ 0xfffffffc0000001f, 0xfffffffffffc0000,
+ 0xfffffff80000003f, 0xfffffffffff80000,
+ 0xfffffff00000007f, 0xfffffffffff00000,
+ 0xffffffe0000000ff, 0xffffffffffe00000,
+ 0xffffffc0000001ff, 0xffffffffffc00000,
+ 0xffffff80000003ff, 0xffffffffff800000,
+ 0xffffff00000007ff, 0xffffffffff000000,
+ 0xfffffe0000000fff, 0xfffffffffe000000,
+ 0xfffffc0000001fff, 0xfffffffffc000000,
+ 0xfffff80000003fff, 0xfffffffff8000000,
+ 0xfffff00000007fff, 0xfffffffff0000000,
+ 0xffffe0000000ffff, 0xffffffffe0000000,
+ 0xffffc0000001ffff, 0xffffffffc0000000,
+ 0xffff80000003ffff, 0xffffffff80000000,
+ 0xffff00000007ffff, 0xffffffff00000000,
+ 0xfffe0000000fffff, 0xfffffffe00000000,
+ 0xfffc0000001fffff, 0xfffffffc00000000,
+ 0xfff80000003fffff, 0xfffffff800000000,
+ 0xfff00000007fffff, 0xfffffff000000000,
+ 0xffe0000000ffffff, 0xffffffe000000000,
+ 0xffc0000001ffffff, 0xffffffc000000000,
+ 0xff80000003ffffff, 0xffffff8000000000,
+ 0xff00000007ffffff, 0xffffff0000000000,
+ 0xfe0000000fffffff, 0xfffffe0000000000,
+ 0xfc0000001fffffff, 0xfffffc0000000000,
+ 0xf80000003fffffff, 0xfffff80000000000,
+ 0xf00000007fffffff, 0xfffff00000000000,
+ 0xe0000000ffffffff, 0xffffe00000000000,
+ 0xc0000001ffffffff, 0xffffc00000000000,
+ 0x80000003ffffffff, 0xffff800000000000,
+ 0x00000007ffffffff, 0xffff000000000000,
+ 0x0000000fffffffff, 0xfffe000000000000,
+ 0x0000001fffffffff, 0xfffc000000000000,
+ 0x0000003fffffffff, 0xfff8000000000000,
+ 0x0000007fffffffff, 0xfff0000000000000,
+ 0x000000ffffffffff, 0xffe0000000000000,
+ 0x000001ffffffffff, 0xffc0000000000000,
+ 0x000003ffffffffff, 0xff80000000000000,
+ 0x000007ffffffffff, 0xff00000000000000,
+ 0x00000fffffffffff, 0xfe00000000000000,
+ 0x00001fffffffffff, 0xfc00000000000000,
+ 0x00003fffffffffff, 0xf800000000000000,
+ 0x00007fffffffffff, 0xf000000000000000,
+ 0x0000ffffffffffff, 0xe000000000000000,
+ 0x0001ffffffffffff, 0xc000000000000000,
+ 0x0003ffffffffffff, 0x8000000000000000,
+ 0x0007ffffffffffff, 0x0000000000000000,
+ 0x000fffffffffffff, 0x0000000000000000,
+ 0x001fffffffffffff, 0x0000000000000000,
+ 0x003fffffffffffff, 0x0000000000000000,
+ 0x007fffffffffffff, 0x0000000000000000,
+ 0x00ffffffffffffff, 0x0000000000000000,
+ 0x01ffffffffffffff, 0x0000000000000000,
+ 0x03ffffffffffffff, 0x0000000000000000,
+ 0x07ffffffffffffff, 0x0000000000000000,
+ 0x0fffffffffffffff, 0x0000000000000000,
+ 0x1fffffffffffffff, 0x0000000000000000,
+ 0x3fffffffffffffff, 0x0000000000000000,
+ 0x7fffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffff8000, 0xffffffffffff8001,
+ 0xffffffffffff0000, 0xffffffffffff0003,
+ 0xfffffffffffe0000, 0xfffffffffffe0007,
+ 0xfffffffffffc0000, 0xfffffffffffc000f,
+ 0xfffffffffff80000, 0xfffffffffff8001f,
+ 0xfffffffffff00000, 0xfffffffffff0003f,
+ 0xffffffffffe00000, 0xffffffffffe0007f,
+ 0xffffffffffc00000, 0xffffffffffc000ff,
+ 0xffffffffff800000, 0xffffffffff8001ff,
+ 0xffffffffff000000, 0xffffffffff0003ff,
+ 0xfffffffffe000000, 0xfffffffffe0007ff,
+ 0xfffffffffc000000, 0xfffffffffc000fff,
+ 0xfffffffff8000000, 0xfffffffff8001fff,
+ 0xfffffffff0000000, 0xfffffffff0003fff,
+ 0xffffffffe0000000, 0xffffffffe0007fff,
+ 0xffffffffc0000000, 0xffffffffc000ffff,
+ 0xffffffff80000000, 0xffffffff8001ffff,
+ 0xffffffff00000000, 0xffffffff0003ffff,
+ 0xfffffffe00000000, 0xfffffffe0007ffff,
+ 0xfffffffc00000000, 0xfffffffc000fffff,
+ 0xfffffff800000000, 0xfffffff8001fffff,
+ 0xfffffff000000000, 0xfffffff0003fffff,
+ 0xffffffe000000000, 0xffffffe0007fffff,
+ 0xffffffc000000000, 0xffffffc000ffffff,
+ 0xffffff8000000000, 0xffffff8001ffffff,
+ 0xffffff0000000000, 0xffffff0003ffffff,
+ 0xfffffe0000000000, 0xfffffe0007ffffff,
+ 0xfffffc0000000000, 0xfffffc000fffffff,
+ 0xfffff80000000000, 0xfffff8001fffffff,
+ 0xfffff00000000000, 0xfffff0003fffffff,
+ 0xffffe00000000000, 0xffffe0007fffffff,
+ 0xffffc00000000000, 0xffffc000ffffffff,
+ 0xffff800000000000, 0xffff8001ffffffff,
+ 0xffff000000000000, 0xffff0003ffffffff,
+ 0xfffe000000000000, 0xfffe0007ffffffff,
+ 0xfffc000000000000, 0xfffc000fffffffff,
+ 0xfff8000000000000, 0xfff8001fffffffff,
+ 0xfff0000000000000, 0xfff0003fffffffff,
+ 0xffe0000000000000, 0xffe0007fffffffff,
+ 0xffc0000000000000, 0xffc000ffffffffff,
+ 0xff80000000000000, 0xff8001ffffffffff,
+ 0xff00000000000000, 0xff0003ffffffffff,
+ 0xfe00000000000000, 0xfe0007ffffffffff,
+ 0xfc00000000000000, 0xfc000fffffffffff,
+ 0xf800000000000000, 0xf8001fffffffffff,
+ 0xf000000000000000, 0xf0003fffffffffff,
+ 0xe000000000000000, 0xe0007fffffffffff,
+ 0xc000000000000000, 0xc000ffffffffffff,
+ 0x8000000000000000, 0x8001ffffffffffff,
+ 0x0000000000000000, 0x0003ffffffffffff,
+ 0x0000000000000000, 0x0007ffffffffffff,
+ 0x0000000000000000, 0x000fffffffffffff,
+ 0x0000000000000000, 0x001fffffffffffff,
+ 0x0000000000000000, 0x003fffffffffffff,
+ 0x0000000000000000, 0x007fffffffffffff,
+ 0x0000000000000000, 0x00ffffffffffffff,
+ 0x0000000000000000, 0x01ffffffffffffff,
+ 0x0000000000000000, 0x03ffffffffffffff,
+ 0x0000000000000000, 0x07ffffffffffffff,
+ 0x0000000000000000, 0x0fffffffffffffff,
+ 0x0000000000000000, 0x1fffffffffffffff,
+ 0x0000000000000000, 0x3fffffffffffffff,
+ 0x0000000000000000, 0x7fffffffffffffff,
+ 0x0000000000000000, 0xffffffffffffffff,
+ 0xffffffffffff8001, 0xffffffffffff8002,
+ 0xffffffffffff0003, 0xffffffffffff0004,
+ 0xfffffffffffe0007, 0xfffffffffffe0008,
+ 0xfffffffffffc000f, 0xfffffffffffc0010,
+ 0xfffffffffff8001f, 0xfffffffffff80020,
+ 0xfffffffffff0003f, 0xfffffffffff00040,
+ 0xffffffffffe0007f, 0xffffffffffe00080,
+ 0xffffffffffc000ff, 0xffffffffffc00100,
+ 0xffffffffff8001ff, 0xffffffffff800200,
+ 0xffffffffff0003ff, 0xffffffffff000400,
+ 0xfffffffffe0007ff, 0xfffffffffe000800,
+ 0xfffffffffc000fff, 0xfffffffffc001000,
+ 0xfffffffff8001fff, 0xfffffffff8002000,
+ 0xfffffffff0003fff, 0xfffffffff0004000,
+ 0xffffffffe0007fff, 0xffffffffe0008000,
+ 0xffffffffc000ffff, 0xffffffffc0010000,
+ 0xffffffff8001ffff, 0xffffffff80020000,
+ 0xffffffff0003ffff, 0xffffffff00040000,
+ 0xfffffffe0007ffff, 0xfffffffe00080000,
+ 0xfffffffc000fffff, 0xfffffffc00100000,
+ 0xfffffff8001fffff, 0xfffffff800200000,
+ 0xfffffff0003fffff, 0xfffffff000400000,
+ 0xffffffe0007fffff, 0xffffffe000800000,
+ 0xffffffc000ffffff, 0xffffffc001000000,
+ 0xffffff8001ffffff, 0xffffff8002000000,
+ 0xffffff0003ffffff, 0xffffff0004000000,
+ 0xfffffe0007ffffff, 0xfffffe0008000000,
+ 0xfffffc000fffffff, 0xfffffc0010000000,
+ 0xfffff8001fffffff, 0xfffff80020000000,
+ 0xfffff0003fffffff, 0xfffff00040000000,
+ 0xffffe0007fffffff, 0xffffe00080000000,
+ 0xffffc000ffffffff, 0xffffc00100000000,
+ 0xffff8001ffffffff, 0xffff800200000000,
+ 0xffff0003ffffffff, 0xffff000400000000,
+ 0xfffe0007ffffffff, 0xfffe000800000000,
+ 0xfffc000fffffffff, 0xfffc001000000000,
+ 0xfff8001fffffffff, 0xfff8002000000000,
+ 0xfff0003fffffffff, 0xfff0004000000000,
+ 0xffe0007fffffffff, 0xffe0008000000000,
+ 0xffc000ffffffffff, 0xffc0010000000000,
+ 0xff8001ffffffffff, 0xff80020000000000,
+ 0xff0003ffffffffff, 0xff00040000000000,
+ 0xfe0007ffffffffff, 0xfe00080000000000,
+ 0xfc000fffffffffff, 0xfc00100000000000,
+ 0xf8001fffffffffff, 0xf800200000000000,
+ 0xf0003fffffffffff, 0xf000400000000000,
+ 0xe0007fffffffffff, 0xe000800000000000,
+ 0xc000ffffffffffff, 0xc001000000000000,
+ 0x8001ffffffffffff, 0x8002000000000000,
+ 0x0003ffffffffffff, 0x0004000000000000,
+ 0x0007ffffffffffff, 0x0008000000000000,
+ 0x000fffffffffffff, 0x0010000000000000,
+ 0x001fffffffffffff, 0x0020000000000000,
+ 0x003fffffffffffff, 0x0040000000000000,
+ 0x007fffffffffffff, 0x0080000000000000,
+ 0x00ffffffffffffff, 0x0100000000000000,
+ 0x01ffffffffffffff, 0x0200000000000000,
+ 0x03ffffffffffffff, 0x0400000000000000,
+ 0x07ffffffffffffff, 0x0800000000000000,
+ 0x0fffffffffffffff, 0x1000000000000000,
+ 0x1fffffffffffffff, 0x2000000000000000,
+ 0x3fffffffffffffff, 0x4000000000000000,
+ 0x7fffffffffffffff, 0x8000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffff8002, 0xffffffffffff8003,
+ 0xffffffffffff0004, 0xffffffffffff0007,
+ 0xfffffffffffe0008, 0xfffffffffffe000f,
+ 0xfffffffffffc0010, 0xfffffffffffc001f,
+ 0xfffffffffff80020, 0xfffffffffff8003f,
+ 0xfffffffffff00040, 0xfffffffffff0007f,
+ 0xffffffffffe00080, 0xffffffffffe000ff,
+ 0xffffffffffc00100, 0xffffffffffc001ff,
+ 0xffffffffff800200, 0xffffffffff8003ff,
+ 0xffffffffff000400, 0xffffffffff0007ff,
+ 0xfffffffffe000800, 0xfffffffffe000fff,
+ 0xfffffffffc001000, 0xfffffffffc001fff,
+ 0xfffffffff8002000, 0xfffffffff8003fff,
+ 0xfffffffff0004000, 0xfffffffff0007fff,
+ 0xffffffffe0008000, 0xffffffffe000ffff,
+ 0xffffffffc0010000, 0xffffffffc001ffff,
+ 0xffffffff80020000, 0xffffffff8003ffff,
+ 0xffffffff00040000, 0xffffffff0007ffff,
+ 0xfffffffe00080000, 0xfffffffe000fffff,
+ 0xfffffffc00100000, 0xfffffffc001fffff,
+ 0xfffffff800200000, 0xfffffff8003fffff,
+ 0xfffffff000400000, 0xfffffff0007fffff,
+ 0xffffffe000800000, 0xffffffe000ffffff,
+ 0xffffffc001000000, 0xffffffc001ffffff,
+ 0xffffff8002000000, 0xffffff8003ffffff,
+ 0xffffff0004000000, 0xffffff0007ffffff,
+ 0xfffffe0008000000, 0xfffffe000fffffff,
+ 0xfffffc0010000000, 0xfffffc001fffffff,
+ 0xfffff80020000000, 0xfffff8003fffffff,
+ 0xfffff00040000000, 0xfffff0007fffffff,
+ 0xffffe00080000000, 0xffffe000ffffffff,
+ 0xffffc00100000000, 0xffffc001ffffffff,
+ 0xffff800200000000, 0xffff8003ffffffff,
+ 0xffff000400000000, 0xffff0007ffffffff,
+ 0xfffe000800000000, 0xfffe000fffffffff,
+ 0xfffc001000000000, 0xfffc001fffffffff,
+ 0xfff8002000000000, 0xfff8003fffffffff,
+ 0xfff0004000000000, 0xfff0007fffffffff,
+ 0xffe0008000000000, 0xffe000ffffffffff,
+ 0xffc0010000000000, 0xffc001ffffffffff,
+ 0xff80020000000000, 0xff8003ffffffffff,
+ 0xff00040000000000, 0xff0007ffffffffff,
+ 0xfe00080000000000, 0xfe000fffffffffff,
+ 0xfc00100000000000, 0xfc001fffffffffff,
+ 0xf800200000000000, 0xf8003fffffffffff,
+ 0xf000400000000000, 0xf0007fffffffffff,
+ 0xe000800000000000, 0xe000ffffffffffff,
+ 0xc001000000000000, 0xc001ffffffffffff,
+ 0x8002000000000000, 0x8003ffffffffffff,
+ 0x0004000000000000, 0x0007ffffffffffff,
+ 0x0008000000000000, 0x000fffffffffffff,
+ 0x0010000000000000, 0x001fffffffffffff,
+ 0x0020000000000000, 0x003fffffffffffff,
+ 0x0040000000000000, 0x007fffffffffffff,
+ 0x0080000000000000, 0x00ffffffffffffff,
+ 0x0100000000000000, 0x01ffffffffffffff,
+ 0x0200000000000000, 0x03ffffffffffffff,
+ 0x0400000000000000, 0x07ffffffffffffff,
+ 0x0800000000000000, 0x0fffffffffffffff,
+ 0x1000000000000000, 0x1fffffffffffffff,
+ 0x2000000000000000, 0x3fffffffffffffff,
+ 0x4000000000000000, 0x7fffffffffffffff,
+ 0x8000000000000000, 0xffffffffffffffff,
+ 0x0000000000000000, 0xffffffffffffffff,
+ 0xffffffffffff8003, 0xffffffffffffff80,
+ 0xffffffffffff0007, 0xffffffffffffff00,
+ 0xfffffffffffe000f, 0xfffffffffffffe00,
+ 0xfffffffffffc001f, 0xfffffffffffffc00,
+ 0xfffffffffff8003f, 0xfffffffffffff800,
+ 0xfffffffffff0007f, 0xfffffffffffff000,
+ 0xffffffffffe000ff, 0xffffffffffffe000,
+ 0xffffffffffc001ff, 0xffffffffffffc000,
+ 0xffffffffff8003ff, 0xffffffffffff8000,
+ 0xffffffffff0007ff, 0xffffffffffff0000,
+ 0xfffffffffe000fff, 0xfffffffffffe0000,
+ 0xfffffffffc001fff, 0xfffffffffffc0000,
+ 0xfffffffff8003fff, 0xfffffffffff80000,
+ 0xfffffffff0007fff, 0xfffffffffff00000,
+ 0xffffffffe000ffff, 0xffffffffffe00000,
+ 0xffffffffc001ffff, 0xffffffffffc00000,
+ 0xffffffff8003ffff, 0xffffffffff800000,
+ 0xffffffff0007ffff, 0xffffffffff000000,
+ 0xfffffffe000fffff, 0xfffffffffe000000,
+ 0xfffffffc001fffff, 0xfffffffffc000000,
+ 0xfffffff8003fffff, 0xfffffffff8000000,
+ 0xfffffff0007fffff, 0xfffffffff0000000,
+ 0xffffffe000ffffff, 0xffffffffe0000000,
+ 0xffffffc001ffffff, 0xffffffffc0000000,
+ 0xffffff8003ffffff, 0xffffffff80000000,
+ 0xffffff0007ffffff, 0xffffffff00000000,
+ 0xfffffe000fffffff, 0xfffffffe00000000,
+ 0xfffffc001fffffff, 0xfffffffc00000000,
+ 0xfffff8003fffffff, 0xfffffff800000000,
+ 0xfffff0007fffffff, 0xfffffff000000000,
+ 0xffffe000ffffffff, 0xffffffe000000000,
+ 0xffffc001ffffffff, 0xffffffc000000000,
+ 0xffff8003ffffffff, 0xffffff8000000000,
+ 0xffff0007ffffffff, 0xffffff0000000000,
+ 0xfffe000fffffffff, 0xfffffe0000000000,
+ 0xfffc001fffffffff, 0xfffffc0000000000,
+ 0xfff8003fffffffff, 0xfffff80000000000,
+ 0xfff0007fffffffff, 0xfffff00000000000,
+ 0xffe000ffffffffff, 0xffffe00000000000,
+ 0xffc001ffffffffff, 0xffffc00000000000,
+ 0xff8003ffffffffff, 0xffff800000000000,
+ 0xff0007ffffffffff, 0xffff000000000000,
+ 0xfe000fffffffffff, 0xfffe000000000000,
+ 0xfc001fffffffffff, 0xfffc000000000000,
+ 0xf8003fffffffffff, 0xfff8000000000000,
+ 0xf0007fffffffffff, 0xfff0000000000000,
+ 0xe000ffffffffffff, 0xffe0000000000000,
+ 0xc001ffffffffffff, 0xffc0000000000000,
+ 0x8003ffffffffffff, 0xff80000000000000,
+ 0x0007ffffffffffff, 0xff00000000000000,
+ 0x000fffffffffffff, 0xfe00000000000000,
+ 0x001fffffffffffff, 0xfc00000000000000,
+ 0x003fffffffffffff, 0xf800000000000000,
+ 0x007fffffffffffff, 0xf000000000000000,
+ 0x00ffffffffffffff, 0xe000000000000000,
+ 0x01ffffffffffffff, 0xc000000000000000,
+ 0x03ffffffffffffff, 0x8000000000000000,
+ 0x07ffffffffffffff, 0x0000000000000000,
+ 0x0fffffffffffffff, 0x0000000000000000,
+ 0x1fffffffffffffff, 0x0000000000000000,
+ 0x3fffffffffffffff, 0x0000000000000000,
+ 0x7fffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffff80, 0xffffffffffffff81,
+ 0xffffffffffffff00, 0xffffffffffffff03,
+ 0xfffffffffffffe00, 0xfffffffffffffe07,
+ 0xfffffffffffffc00, 0xfffffffffffffc0f,
+ 0xfffffffffffff800, 0xfffffffffffff81f,
+ 0xfffffffffffff000, 0xfffffffffffff03f,
+ 0xffffffffffffe000, 0xffffffffffffe07f,
+ 0xffffffffffffc000, 0xffffffffffffc0ff,
+ 0xffffffffffff8000, 0xffffffffffff81ff,
+ 0xffffffffffff0000, 0xffffffffffff03ff,
+ 0xfffffffffffe0000, 0xfffffffffffe07ff,
+ 0xfffffffffffc0000, 0xfffffffffffc0fff,
+ 0xfffffffffff80000, 0xfffffffffff81fff,
+ 0xfffffffffff00000, 0xfffffffffff03fff,
+ 0xffffffffffe00000, 0xffffffffffe07fff,
+ 0xffffffffffc00000, 0xffffffffffc0ffff,
+ 0xffffffffff800000, 0xffffffffff81ffff,
+ 0xffffffffff000000, 0xffffffffff03ffff,
+ 0xfffffffffe000000, 0xfffffffffe07ffff,
+ 0xfffffffffc000000, 0xfffffffffc0fffff,
+ 0xfffffffff8000000, 0xfffffffff81fffff,
+ 0xfffffffff0000000, 0xfffffffff03fffff,
+ 0xffffffffe0000000, 0xffffffffe07fffff,
+ 0xffffffffc0000000, 0xffffffffc0ffffff,
+ 0xffffffff80000000, 0xffffffff81ffffff,
+ 0xffffffff00000000, 0xffffffff03ffffff,
+ 0xfffffffe00000000, 0xfffffffe07ffffff,
+ 0xfffffffc00000000, 0xfffffffc0fffffff,
+ 0xfffffff800000000, 0xfffffff81fffffff,
+ 0xfffffff000000000, 0xfffffff03fffffff,
+ 0xffffffe000000000, 0xffffffe07fffffff,
+ 0xffffffc000000000, 0xffffffc0ffffffff,
+ 0xffffff8000000000, 0xffffff81ffffffff,
+ 0xffffff0000000000, 0xffffff03ffffffff,
+ 0xfffffe0000000000, 0xfffffe07ffffffff,
+ 0xfffffc0000000000, 0xfffffc0fffffffff,
+ 0xfffff80000000000, 0xfffff81fffffffff,
+ 0xfffff00000000000, 0xfffff03fffffffff,
+ 0xffffe00000000000, 0xffffe07fffffffff,
+ 0xffffc00000000000, 0xffffc0ffffffffff,
+ 0xffff800000000000, 0xffff81ffffffffff,
+ 0xffff000000000000, 0xffff03ffffffffff,
+ 0xfffe000000000000, 0xfffe07ffffffffff,
+ 0xfffc000000000000, 0xfffc0fffffffffff,
+ 0xfff8000000000000, 0xfff81fffffffffff,
+ 0xfff0000000000000, 0xfff03fffffffffff,
+ 0xffe0000000000000, 0xffe07fffffffffff,
+ 0xffc0000000000000, 0xffc0ffffffffffff,
+ 0xff80000000000000, 0xff81ffffffffffff,
+ 0xff00000000000000, 0xff03ffffffffffff,
+ 0xfe00000000000000, 0xfe07ffffffffffff,
+ 0xfc00000000000000, 0xfc0fffffffffffff,
+ 0xf800000000000000, 0xf81fffffffffffff,
+ 0xf000000000000000, 0xf03fffffffffffff,
+ 0xe000000000000000, 0xe07fffffffffffff,
+ 0xc000000000000000, 0xc0ffffffffffffff,
+ 0x8000000000000000, 0x81ffffffffffffff,
+ 0x0000000000000000, 0x03ffffffffffffff,
+ 0x0000000000000000, 0x07ffffffffffffff,
+ 0x0000000000000000, 0x0fffffffffffffff,
+ 0x0000000000000000, 0x1fffffffffffffff,
+ 0x0000000000000000, 0x3fffffffffffffff,
+ 0x0000000000000000, 0x7fffffffffffffff,
+ 0x0000000000000000, 0xffffffffffffffff,
+ 0xffffffffffffff81, 0xffffffffffffff82,
+ 0xffffffffffffff03, 0xffffffffffffff04,
+ 0xfffffffffffffe07, 0xfffffffffffffe08,
+ 0xfffffffffffffc0f, 0xfffffffffffffc10,
+ 0xfffffffffffff81f, 0xfffffffffffff820,
+ 0xfffffffffffff03f, 0xfffffffffffff040,
+ 0xffffffffffffe07f, 0xffffffffffffe080,
+ 0xffffffffffffc0ff, 0xffffffffffffc100,
+ 0xffffffffffff81ff, 0xffffffffffff8200,
+ 0xffffffffffff03ff, 0xffffffffffff0400,
+ 0xfffffffffffe07ff, 0xfffffffffffe0800,
+ 0xfffffffffffc0fff, 0xfffffffffffc1000,
+ 0xfffffffffff81fff, 0xfffffffffff82000,
+ 0xfffffffffff03fff, 0xfffffffffff04000,
+ 0xffffffffffe07fff, 0xffffffffffe08000,
+ 0xffffffffffc0ffff, 0xffffffffffc10000,
+ 0xffffffffff81ffff, 0xffffffffff820000,
+ 0xffffffffff03ffff, 0xffffffffff040000,
+ 0xfffffffffe07ffff, 0xfffffffffe080000,
+ 0xfffffffffc0fffff, 0xfffffffffc100000,
+ 0xfffffffff81fffff, 0xfffffffff8200000,
+ 0xfffffffff03fffff, 0xfffffffff0400000,
+ 0xffffffffe07fffff, 0xffffffffe0800000,
+ 0xffffffffc0ffffff, 0xffffffffc1000000,
+ 0xffffffff81ffffff, 0xffffffff82000000,
+ 0xffffffff03ffffff, 0xffffffff04000000,
+ 0xfffffffe07ffffff, 0xfffffffe08000000,
+ 0xfffffffc0fffffff, 0xfffffffc10000000,
+ 0xfffffff81fffffff, 0xfffffff820000000,
+ 0xfffffff03fffffff, 0xfffffff040000000,
+ 0xffffffe07fffffff, 0xffffffe080000000,
+ 0xffffffc0ffffffff, 0xffffffc100000000,
+ 0xffffff81ffffffff, 0xffffff8200000000,
+ 0xffffff03ffffffff, 0xffffff0400000000,
+ 0xfffffe07ffffffff, 0xfffffe0800000000,
+ 0xfffffc0fffffffff, 0xfffffc1000000000,
+ 0xfffff81fffffffff, 0xfffff82000000000,
+ 0xfffff03fffffffff, 0xfffff04000000000,
+ 0xffffe07fffffffff, 0xffffe08000000000,
+ 0xffffc0ffffffffff, 0xffffc10000000000,
+ 0xffff81ffffffffff, 0xffff820000000000,
+ 0xffff03ffffffffff, 0xffff040000000000,
+ 0xfffe07ffffffffff, 0xfffe080000000000,
+ 0xfffc0fffffffffff, 0xfffc100000000000,
+ 0xfff81fffffffffff, 0xfff8200000000000,
+ 0xfff03fffffffffff, 0xfff0400000000000,
+ 0xffe07fffffffffff, 0xffe0800000000000,
+ 0xffc0ffffffffffff, 0xffc1000000000000,
+ 0xff81ffffffffffff, 0xff82000000000000,
+ 0xff03ffffffffffff, 0xff04000000000000,
+ 0xfe07ffffffffffff, 0xfe08000000000000,
+ 0xfc0fffffffffffff, 0xfc10000000000000,
+ 0xf81fffffffffffff, 0xf820000000000000,
+ 0xf03fffffffffffff, 0xf040000000000000,
+ 0xe07fffffffffffff, 0xe080000000000000,
+ 0xc0ffffffffffffff, 0xc100000000000000,
+ 0x81ffffffffffffff, 0x8200000000000000,
+ 0x03ffffffffffffff, 0x0400000000000000,
+ 0x07ffffffffffffff, 0x0800000000000000,
+ 0x0fffffffffffffff, 0x1000000000000000,
+ 0x1fffffffffffffff, 0x2000000000000000,
+ 0x3fffffffffffffff, 0x4000000000000000,
+ 0x7fffffffffffffff, 0x8000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffff82, 0xffffffffffffff83,
+ 0xffffffffffffff04, 0xffffffffffffff07,
+ 0xfffffffffffffe08, 0xfffffffffffffe0f,
+ 0xfffffffffffffc10, 0xfffffffffffffc1f,
+ 0xfffffffffffff820, 0xfffffffffffff83f,
+ 0xfffffffffffff040, 0xfffffffffffff07f,
+ 0xffffffffffffe080, 0xffffffffffffe0ff,
+ 0xffffffffffffc100, 0xffffffffffffc1ff,
+ 0xffffffffffff8200, 0xffffffffffff83ff,
+ 0xffffffffffff0400, 0xffffffffffff07ff,
+ 0xfffffffffffe0800, 0xfffffffffffe0fff,
+ 0xfffffffffffc1000, 0xfffffffffffc1fff,
+ 0xfffffffffff82000, 0xfffffffffff83fff,
+ 0xfffffffffff04000, 0xfffffffffff07fff,
+ 0xffffffffffe08000, 0xffffffffffe0ffff,
+ 0xffffffffffc10000, 0xffffffffffc1ffff,
+ 0xffffffffff820000, 0xffffffffff83ffff,
+ 0xffffffffff040000, 0xffffffffff07ffff,
+ 0xfffffffffe080000, 0xfffffffffe0fffff,
+ 0xfffffffffc100000, 0xfffffffffc1fffff,
+ 0xfffffffff8200000, 0xfffffffff83fffff,
+ 0xfffffffff0400000, 0xfffffffff07fffff,
+ 0xffffffffe0800000, 0xffffffffe0ffffff,
+ 0xffffffffc1000000, 0xffffffffc1ffffff,
+ 0xffffffff82000000, 0xffffffff83ffffff,
+ 0xffffffff04000000, 0xffffffff07ffffff,
+ 0xfffffffe08000000, 0xfffffffe0fffffff,
+ 0xfffffffc10000000, 0xfffffffc1fffffff,
+ 0xfffffff820000000, 0xfffffff83fffffff,
+ 0xfffffff040000000, 0xfffffff07fffffff,
+ 0xffffffe080000000, 0xffffffe0ffffffff,
+ 0xffffffc100000000, 0xffffffc1ffffffff,
+ 0xffffff8200000000, 0xffffff83ffffffff,
+ 0xffffff0400000000, 0xffffff07ffffffff,
+ 0xfffffe0800000000, 0xfffffe0fffffffff,
+ 0xfffffc1000000000, 0xfffffc1fffffffff,
+ 0xfffff82000000000, 0xfffff83fffffffff,
+ 0xfffff04000000000, 0xfffff07fffffffff,
+ 0xffffe08000000000, 0xffffe0ffffffffff,
+ 0xffffc10000000000, 0xffffc1ffffffffff,
+ 0xffff820000000000, 0xffff83ffffffffff,
+ 0xffff040000000000, 0xffff07ffffffffff,
+ 0xfffe080000000000, 0xfffe0fffffffffff,
+ 0xfffc100000000000, 0xfffc1fffffffffff,
+ 0xfff8200000000000, 0xfff83fffffffffff,
+ 0xfff0400000000000, 0xfff07fffffffffff,
+ 0xffe0800000000000, 0xffe0ffffffffffff,
+ 0xffc1000000000000, 0xffc1ffffffffffff,
+ 0xff82000000000000, 0xff83ffffffffffff,
+ 0xff04000000000000, 0xff07ffffffffffff,
+ 0xfe08000000000000, 0xfe0fffffffffffff,
+ 0xfc10000000000000, 0xfc1fffffffffffff,
+ 0xf820000000000000, 0xf83fffffffffffff,
+ 0xf040000000000000, 0xf07fffffffffffff,
+ 0xe080000000000000, 0xe0ffffffffffffff,
+ 0xc100000000000000, 0xc1ffffffffffffff,
+ 0x8200000000000000, 0x83ffffffffffffff,
+ 0x0400000000000000, 0x07ffffffffffffff,
+ 0x0800000000000000, 0x0fffffffffffffff,
+ 0x1000000000000000, 0x1fffffffffffffff,
+ 0x2000000000000000, 0x3fffffffffffffff,
+ 0x4000000000000000, 0x7fffffffffffffff,
+ 0x8000000000000000, 0xffffffffffffffff,
+ 0x0000000000000000, 0xffffffffffffffff,
+ 0xffffffffffffff83, 0xffffffffffffffc0,
+ 0xffffffffffffff07, 0xffffffffffffff80,
+ 0xfffffffffffffe0f, 0xffffffffffffff00,
+ 0xfffffffffffffc1f, 0xfffffffffffffe00,
+ 0xfffffffffffff83f, 0xfffffffffffffc00,
+ 0xfffffffffffff07f, 0xfffffffffffff800,
+ 0xffffffffffffe0ff, 0xfffffffffffff000,
+ 0xffffffffffffc1ff, 0xffffffffffffe000,
+ 0xffffffffffff83ff, 0xffffffffffffc000,
+ 0xffffffffffff07ff, 0xffffffffffff8000,
+ 0xfffffffffffe0fff, 0xffffffffffff0000,
+ 0xfffffffffffc1fff, 0xfffffffffffe0000,
+ 0xfffffffffff83fff, 0xfffffffffffc0000,
+ 0xfffffffffff07fff, 0xfffffffffff80000,
+ 0xffffffffffe0ffff, 0xfffffffffff00000,
+ 0xffffffffffc1ffff, 0xffffffffffe00000,
+ 0xffffffffff83ffff, 0xffffffffffc00000,
+ 0xffffffffff07ffff, 0xffffffffff800000,
+ 0xfffffffffe0fffff, 0xffffffffff000000,
+ 0xfffffffffc1fffff, 0xfffffffffe000000,
+ 0xfffffffff83fffff, 0xfffffffffc000000,
+ 0xfffffffff07fffff, 0xfffffffff8000000,
+ 0xffffffffe0ffffff, 0xfffffffff0000000,
+ 0xffffffffc1ffffff, 0xffffffffe0000000,
+ 0xffffffff83ffffff, 0xffffffffc0000000,
+ 0xffffffff07ffffff, 0xffffffff80000000,
+ 0xfffffffe0fffffff, 0xffffffff00000000,
+ 0xfffffffc1fffffff, 0xfffffffe00000000,
+ 0xfffffff83fffffff, 0xfffffffc00000000,
+ 0xfffffff07fffffff, 0xfffffff800000000,
+ 0xffffffe0ffffffff, 0xfffffff000000000,
+ 0xffffffc1ffffffff, 0xffffffe000000000,
+ 0xffffff83ffffffff, 0xffffffc000000000,
+ 0xffffff07ffffffff, 0xffffff8000000000,
+ 0xfffffe0fffffffff, 0xffffff0000000000,
+ 0xfffffc1fffffffff, 0xfffffe0000000000,
+ 0xfffff83fffffffff, 0xfffffc0000000000,
+ 0xfffff07fffffffff, 0xfffff80000000000,
+ 0xffffe0ffffffffff, 0xfffff00000000000,
+ 0xffffc1ffffffffff, 0xffffe00000000000,
+ 0xffff83ffffffffff, 0xffffc00000000000,
+ 0xffff07ffffffffff, 0xffff800000000000,
+ 0xfffe0fffffffffff, 0xffff000000000000,
+ 0xfffc1fffffffffff, 0xfffe000000000000,
+ 0xfff83fffffffffff, 0xfffc000000000000,
+ 0xfff07fffffffffff, 0xfff8000000000000,
+ 0xffe0ffffffffffff, 0xfff0000000000000,
+ 0xffc1ffffffffffff, 0xffe0000000000000,
+ 0xff83ffffffffffff, 0xffc0000000000000,
+ 0xff07ffffffffffff, 0xff80000000000000,
+ 0xfe0fffffffffffff, 0xff00000000000000,
+ 0xfc1fffffffffffff, 0xfe00000000000000,
+ 0xf83fffffffffffff, 0xfc00000000000000,
+ 0xf07fffffffffffff, 0xf800000000000000,
+ 0xe0ffffffffffffff, 0xf000000000000000,
+ 0xc1ffffffffffffff, 0xe000000000000000,
+ 0x83ffffffffffffff, 0xc000000000000000,
+ 0x07ffffffffffffff, 0x8000000000000000,
+ 0x0fffffffffffffff, 0x0000000000000000,
+ 0x1fffffffffffffff, 0x0000000000000000,
+ 0x3fffffffffffffff, 0x0000000000000000,
+ 0x7fffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xffffffffffffffc0, 0xfffffffffffffffd,
+ 0xffffffffffffff80, 0xfffffffffffffffb,
+ 0xffffffffffffff00, 0xfffffffffffffff7,
+ 0xfffffffffffffe00, 0xffffffffffffffef,
+ 0xfffffffffffffc00, 0xffffffffffffffdf,
+ 0xfffffffffffff800, 0xffffffffffffffbf,
+ 0xfffffffffffff000, 0xffffffffffffff7f,
+ 0xffffffffffffe000, 0xfffffffffffffeff,
+ 0xffffffffffffc000, 0xfffffffffffffdff,
+ 0xffffffffffff8000, 0xfffffffffffffbff,
+ 0xffffffffffff0000, 0xfffffffffffff7ff,
+ 0xfffffffffffe0000, 0xffffffffffffefff,
+ 0xfffffffffffc0000, 0xffffffffffffdfff,
+ 0xfffffffffff80000, 0xffffffffffffbfff,
+ 0xfffffffffff00000, 0xffffffffffff7fff,
+ 0xffffffffffe00000, 0xfffffffffffeffff,
+ 0xffffffffffc00000, 0xfffffffffffdffff,
+ 0xffffffffff800000, 0xfffffffffffbffff,
+ 0xffffffffff000000, 0xfffffffffff7ffff,
+ 0xfffffffffe000000, 0xffffffffffefffff,
+ 0xfffffffffc000000, 0xffffffffffdfffff,
+ 0xfffffffff8000000, 0xffffffffffbfffff,
+ 0xfffffffff0000000, 0xffffffffff7fffff,
+ 0xffffffffe0000000, 0xfffffffffeffffff,
+ 0xffffffffc0000000, 0xfffffffffdffffff,
+ 0xffffffff80000000, 0xfffffffffbffffff,
+ 0xffffffff00000000, 0xfffffffff7ffffff,
+ 0xfffffffe00000000, 0xffffffffefffffff,
+ 0xfffffffc00000000, 0xffffffffdfffffff,
+ 0xfffffff800000000, 0xffffffffbfffffff,
+ 0xfffffff000000000, 0xffffffff7fffffff,
+ 0xffffffe000000000, 0xfffffffeffffffff,
+ 0xffffffc000000000, 0xfffffffdffffffff,
+ 0xffffff8000000000, 0xfffffffbffffffff,
+ 0xffffff0000000000, 0xfffffff7ffffffff,
+ 0xfffffe0000000000, 0xffffffefffffffff,
+ 0xfffffc0000000000, 0xffffffdfffffffff,
+ 0xfffff80000000000, 0xffffffbfffffffff,
+ 0xfffff00000000000, 0xffffff7fffffffff,
+ 0xffffe00000000000, 0xfffffeffffffffff,
+ 0xffffc00000000000, 0xfffffdffffffffff,
+ 0xffff800000000000, 0xfffffbffffffffff,
+ 0xffff000000000000, 0xfffff7ffffffffff,
+ 0xfffe000000000000, 0xffffefffffffffff,
+ 0xfffc000000000000, 0xffffdfffffffffff,
+ 0xfff8000000000000, 0xffffbfffffffffff,
+ 0xfff0000000000000, 0xffff7fffffffffff,
+ 0xffe0000000000000, 0xfffeffffffffffff,
+ 0xffc0000000000000, 0xfffdffffffffffff,
+ 0xff80000000000000, 0xfffbffffffffffff,
+ 0xff00000000000000, 0xfff7ffffffffffff,
+ 0xfe00000000000000, 0xffefffffffffffff,
+ 0xfc00000000000000, 0xffdfffffffffffff,
+ 0xf800000000000000, 0xffbfffffffffffff,
+ 0xf000000000000000, 0xff7fffffffffffff,
+ 0xe000000000000000, 0xfeffffffffffffff,
+ 0xc000000000000000, 0xfdffffffffffffff,
+ 0x8000000000000000, 0xfbffffffffffffff,
+ 0x0000000000000000, 0xf7ffffffffffffff,
+ 0x0000000000000000, 0xefffffffffffffff,
+ 0x0000000000000000, 0xdfffffffffffffff,
+ 0x0000000000000000, 0xbfffffffffffffff,
+ 0x0000000000000000, 0x7fffffffffffffff,
+ 0x0000000000000000, 0xffffffffffffffff,
+ 0xfffffffffffffffd, 0xfffffffffffffffe,
+ 0xfffffffffffffffb, 0xfffffffffffffffc,
+ 0xfffffffffffffff7, 0xfffffffffffffff8,
+ 0xffffffffffffffef, 0xfffffffffffffff0,
+ 0xffffffffffffffdf, 0xffffffffffffffe0,
+ 0xffffffffffffffbf, 0xffffffffffffffc0,
+ 0xffffffffffffff7f, 0xffffffffffffff80,
+ 0xfffffffffffffeff, 0xffffffffffffff00,
+ 0xfffffffffffffdff, 0xfffffffffffffe00,
+ 0xfffffffffffffbff, 0xfffffffffffffc00,
+ 0xfffffffffffff7ff, 0xfffffffffffff800,
+ 0xffffffffffffefff, 0xfffffffffffff000,
+ 0xffffffffffffdfff, 0xffffffffffffe000,
+ 0xffffffffffffbfff, 0xffffffffffffc000,
+ 0xffffffffffff7fff, 0xffffffffffff8000,
+ 0xfffffffffffeffff, 0xffffffffffff0000,
+ 0xfffffffffffdffff, 0xfffffffffffe0000,
+ 0xfffffffffffbffff, 0xfffffffffffc0000,
+ 0xfffffffffff7ffff, 0xfffffffffff80000,
+ 0xffffffffffefffff, 0xfffffffffff00000,
+ 0xffffffffffdfffff, 0xffffffffffe00000,
+ 0xffffffffffbfffff, 0xffffffffffc00000,
+ 0xffffffffff7fffff, 0xffffffffff800000,
+ 0xfffffffffeffffff, 0xffffffffff000000,
+ 0xfffffffffdffffff, 0xfffffffffe000000,
+ 0xfffffffffbffffff, 0xfffffffffc000000,
+ 0xfffffffff7ffffff, 0xfffffffff8000000,
+ 0xffffffffefffffff, 0xfffffffff0000000,
+ 0xffffffffdfffffff, 0xffffffffe0000000,
+ 0xffffffffbfffffff, 0xffffffffc0000000,
+ 0xffffffff7fffffff, 0xffffffff80000000,
+ 0xfffffffeffffffff, 0xffffffff00000000,
+ 0xfffffffdffffffff, 0xfffffffe00000000,
+ 0xfffffffbffffffff, 0xfffffffc00000000,
+ 0xfffffff7ffffffff, 0xfffffff800000000,
+ 0xffffffefffffffff, 0xfffffff000000000,
+ 0xffffffdfffffffff, 0xffffffe000000000,
+ 0xffffffbfffffffff, 0xffffffc000000000,
+ 0xffffff7fffffffff, 0xffffff8000000000,
+ 0xfffffeffffffffff, 0xffffff0000000000,
+ 0xfffffdffffffffff, 0xfffffe0000000000,
+ 0xfffffbffffffffff, 0xfffffc0000000000,
+ 0xfffff7ffffffffff, 0xfffff80000000000,
+ 0xffffefffffffffff, 0xfffff00000000000,
+ 0xffffdfffffffffff, 0xffffe00000000000,
+ 0xffffbfffffffffff, 0xffffc00000000000,
+ 0xffff7fffffffffff, 0xffff800000000000,
+ 0xfffeffffffffffff, 0xffff000000000000,
+ 0xfffdffffffffffff, 0xfffe000000000000,
+ 0xfffbffffffffffff, 0xfffc000000000000,
+ 0xfff7ffffffffffff, 0xfff8000000000000,
+ 0xffefffffffffffff, 0xfff0000000000000,
+ 0xffdfffffffffffff, 0xffe0000000000000,
+ 0xffbfffffffffffff, 0xffc0000000000000,
+ 0xff7fffffffffffff, 0xff80000000000000,
+ 0xfeffffffffffffff, 0xff00000000000000,
+ 0xfdffffffffffffff, 0xfe00000000000000,
+ 0xfbffffffffffffff, 0xfc00000000000000,
+ 0xf7ffffffffffffff, 0xf800000000000000,
+ 0xefffffffffffffff, 0xf000000000000000,
+ 0xdfffffffffffffff, 0xe000000000000000,
+ 0xbfffffffffffffff, 0xc000000000000000,
+ 0x7fffffffffffffff, 0x8000000000000000,
+ 0xffffffffffffffff, 0x0000000000000000,
+ 0xfffffffffffffffe, 0xffffffffffffffff,
+ 0xfffffffffffffffc, 0xffffffffffffffff,
+ 0xfffffffffffffff8, 0xffffffffffffffff,
+ 0xfffffffffffffff0, 0xffffffffffffffff,
+ 0xffffffffffffffe0, 0xffffffffffffffff,
+ 0xffffffffffffffc0, 0xffffffffffffffff,
+ 0xffffffffffffff80, 0xffffffffffffffff,
+ 0xffffffffffffff00, 0xffffffffffffffff,
+ 0xfffffffffffffe00, 0xffffffffffffffff,
+ 0xfffffffffffffc00, 0xffffffffffffffff,
+ 0xfffffffffffff800, 0xffffffffffffffff,
+ 0xfffffffffffff000, 0xffffffffffffffff,
+ 0xffffffffffffe000, 0xffffffffffffffff,
+ 0xffffffffffffc000, 0xffffffffffffffff,
+ 0xffffffffffff8000, 0xffffffffffffffff,
+ 0xffffffffffff0000, 0xffffffffffffffff,
+ 0xfffffffffffe0000, 0xffffffffffffffff,
+ 0xfffffffffffc0000, 0xffffffffffffffff,
+ 0xfffffffffff80000, 0xffffffffffffffff,
+ 0xfffffffffff00000, 0xffffffffffffffff,
+ 0xffffffffffe00000, 0xffffffffffffffff,
+ 0xffffffffffc00000, 0xffffffffffffffff,
+ 0xffffffffff800000, 0xffffffffffffffff,
+ 0xffffffffff000000, 0xffffffffffffffff,
+ 0xfffffffffe000000, 0xffffffffffffffff,
+ 0xfffffffffc000000, 0xffffffffffffffff,
+ 0xfffffffff8000000, 0xffffffffffffffff,
+ 0xfffffffff0000000, 0xffffffffffffffff,
+ 0xffffffffe0000000, 0xffffffffffffffff,
+ 0xffffffffc0000000, 0xffffffffffffffff,
+ 0xffffffff80000000, 0xffffffffffffffff,
+ 0xffffffff00000000, 0xffffffffffffffff,
+ 0xfffffffe00000000, 0xffffffffffffffff,
+ 0xfffffffc00000000, 0xffffffffffffffff,
+ 0xfffffff800000000, 0xffffffffffffffff,
+ 0xfffffff000000000, 0xffffffffffffffff,
+ 0xffffffe000000000, 0xffffffffffffffff,
+ 0xffffffc000000000, 0xffffffffffffffff,
+ 0xffffff8000000000, 0xffffffffffffffff,
+ 0xffffff0000000000, 0xffffffffffffffff,
+ 0xfffffe0000000000, 0xffffffffffffffff,
+ 0xfffffc0000000000, 0xffffffffffffffff,
+ 0xfffff80000000000, 0xffffffffffffffff,
+ 0xfffff00000000000, 0xffffffffffffffff,
+ 0xffffe00000000000, 0xffffffffffffffff,
+ 0xffffc00000000000, 0xffffffffffffffff,
+ 0xffff800000000000, 0xffffffffffffffff,
+ 0xffff000000000000, 0xffffffffffffffff,
+ 0xfffe000000000000, 0xffffffffffffffff,
+ 0xfffc000000000000, 0xffffffffffffffff,
+ 0xfff8000000000000, 0xffffffffffffffff,
+ 0xfff0000000000000, 0xffffffffffffffff,
+ 0xffe0000000000000, 0xffffffffffffffff,
+ 0xffc0000000000000, 0xffffffffffffffff,
+ 0xff80000000000000, 0xffffffffffffffff,
+ 0xff00000000000000, 0xffffffffffffffff,
+ 0xfe00000000000000, 0xffffffffffffffff,
+ 0xfc00000000000000, 0xffffffffffffffff,
+ 0xf800000000000000, 0xffffffffffffffff,
+ 0xf000000000000000, 0xffffffffffffffff,
+ 0xe000000000000000, 0xffffffffffffffff,
+ 0xc000000000000000, 0xffffffffffffffff,
+ 0x8000000000000000, 0xffffffffffffffff,
+ 0x0000000000000000, 0xffffffffffffffff,
+};
+const unsigned kExpectedCount_NEON_sli_2D_2OPIMM = 2560;
+
+#endif // VIXL_SIM_SLI_2D_2OPIMM_TRACE_AARCH64_H_
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-20 05:40:28 +0000