diff options
Diffstat (limited to 'sim-sri-d-2opimm-trace-arm64.h')
| -rw-r--r-- | sim-sri-d-2opimm-trace-arm64.h | 2601 |
1 files changed, 2601 insertions, 0 deletions
diff --git a/sim-sri-d-2opimm-trace-arm64.h b/sim-sri-d-2opimm-trace-arm64.h new file mode 100644 index 0000000..ff19fa5 --- /dev/null +++ b/sim-sri-d-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_SRI_D_2OPIMM_TRACE_AARCH64_H_ +#define VIXL_SIM_SRI_D_2OPIMM_TRACE_AARCH64_H_ + +const uint64_t kExpected_NEON_sri_D_2OPIMM[] = { + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000001, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000020, + 0x0000000000000010, + 0x0000000000000008, + 0x0000000000000004, + 0x0000000000000002, + 0x0000000000000001, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x000000000000003e, + 0x000000000000001f, + 0x000000000000000f, + 0x0000000000000007, + 0x0000000000000003, + 0x0000000000000001, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x000000000000003f, + 0x000000000000001f, + 0x000000000000000f, + 0x0000000000000007, + 0x0000000000000003, + 0x0000000000000001, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x000000000000003f, + 0x000000000000001f, + 0x000000000000000f, + 0x0000000000000007, + 0x0000000000000003, + 0x0000000000000001, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000003ffe, + 0x0000000000001fff, + 0x0000000000000fff, + 0x00000000000007ff, + 0x00000000000003ff, + 0x00000000000001ff, + 0x00000000000000ff, + 0x000000000000007f, + 0x000000000000003f, + 0x000000000000001f, + 0x000000000000000f, + 0x0000000000000007, + 0x0000000000000003, + 0x0000000000000001, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000003fff, + 0x0000000000001fff, + 0x0000000000000fff, + 0x00000000000007ff, + 0x00000000000003ff, + 0x00000000000001ff, + 0x00000000000000ff, + 0x000000000000007f, + 0x000000000000003f, + 0x000000000000001f, + 0x000000000000000f, + 0x0000000000000007, + 0x0000000000000003, + 0x0000000000000001, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000003fff, + 0x0000000000001fff, + 0x0000000000000fff, + 0x00000000000007ff, + 0x00000000000003ff, + 0x00000000000001ff, + 0x00000000000000ff, + 0x000000000000007f, + 0x000000000000003f, + 0x000000000000001f, + 0x000000000000000f, + 0x0000000000000007, + 0x0000000000000003, + 0x0000000000000001, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x000000003ffffffe, + 0x000000001fffffff, + 0x000000000fffffff, + 0x0000000007ffffff, + 0x0000000003ffffff, + 0x0000000001ffffff, + 0x0000000000ffffff, + 0x00000000007fffff, + 0x00000000003fffff, + 0x00000000001fffff, + 0x00000000000fffff, + 0x000000000007ffff, + 0x000000000003ffff, + 0x000000000001ffff, + 0x000000000000ffff, + 0x0000000000007fff, + 0x0000000000003fff, + 0x0000000000001fff, + 0x0000000000000fff, + 0x00000000000007ff, + 0x00000000000003ff, + 0x00000000000001ff, + 0x00000000000000ff, + 0x000000000000007f, + 0x000000000000003f, + 0x000000000000001f, + 0x000000000000000f, + 0x0000000000000007, + 0x0000000000000003, + 0x0000000000000001, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x000000003fffffff, + 0x000000001fffffff, + 0x000000000fffffff, + 0x0000000007ffffff, + 0x0000000003ffffff, + 0x0000000001ffffff, + 0x0000000000ffffff, + 0x00000000007fffff, + 0x00000000003fffff, + 0x00000000001fffff, + 0x00000000000fffff, + 0x000000000007ffff, + 0x000000000003ffff, + 0x000000000001ffff, + 0x000000000000ffff, + 0x0000000000007fff, + 0x0000000000003fff, + 0x0000000000001fff, + 0x0000000000000fff, + 0x00000000000007ff, + 0x00000000000003ff, + 0x00000000000001ff, + 0x00000000000000ff, + 0x000000000000007f, + 0x000000000000003f, + 0x000000000000001f, + 0x000000000000000f, + 0x0000000000000007, + 0x0000000000000003, + 0x0000000000000001, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x000000003fffffff, + 0x000000001fffffff, + 0x000000000fffffff, + 0x0000000007ffffff, + 0x0000000003ffffff, + 0x0000000001ffffff, + 0x0000000000ffffff, + 0x00000000007fffff, + 0x00000000003fffff, + 0x00000000001fffff, + 0x00000000000fffff, + 0x000000000007ffff, + 0x000000000003ffff, + 0x000000000001ffff, + 0x000000000000ffff, + 0x0000000000007fff, + 0x0000000000003fff, + 0x0000000000001fff, + 0x0000000000000fff, + 0x00000000000007ff, + 0x00000000000003ff, + 0x00000000000001ff, + 0x00000000000000ff, + 0x000000000000007f, + 0x000000000000003f, + 0x000000000000001f, + 0x000000000000000f, + 0x0000000000000007, + 0x0000000000000003, + 0x0000000000000001, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x1999999999999999, + 0x0ccccccccccccccc, + 0x0666666666666666, + 0x0333333333333333, + 0x0199999999999999, + 0x00cccccccccccccc, + 0x0066666666666666, + 0x0033333333333333, + 0x0019999999999999, + 0x000ccccccccccccc, + 0x0006666666666666, + 0x0003333333333333, + 0x0001999999999999, + 0x0000cccccccccccc, + 0x0000666666666666, + 0x0000333333333333, + 0x0000199999999999, + 0x00000ccccccccccc, + 0x0000066666666666, + 0x0000033333333333, + 0x0000019999999999, + 0x000000cccccccccc, + 0x0000006666666666, + 0x0000003333333333, + 0x0000001999999999, + 0x0000000ccccccccc, + 0x0000000666666666, + 0x0000000333333333, + 0x0000000199999999, + 0x00000000cccccccc, + 0x0000000066666666, + 0x0000000033333333, + 0x0000000019999999, + 0x000000000ccccccc, + 0x0000000006666666, + 0x0000000003333333, + 0x0000000001999999, + 0x0000000000cccccc, + 0x0000000000666666, + 0x0000000000333333, + 0x0000000000199999, + 0x00000000000ccccc, + 0x0000000000066666, + 0x0000000000033333, + 0x0000000000019999, + 0x000000000000cccc, + 0x0000000000006666, + 0x0000000000003333, + 0x0000000000001999, + 0x0000000000000ccc, + 0x0000000000000666, + 0x0000000000000333, + 0x0000000000000199, + 0x00000000000000cc, + 0x0000000000000066, + 0x0000000000000033, + 0x0000000000000019, + 0x000000000000000c, + 0x0000000000000006, + 0x0000000000000003, + 0x0000000000000001, + 0x0000000000000000, + 0x0000000000000000, + 0x0000000000000000, + 0x2aaaaaaaaaaaaaaa, + 0x1555555555555555, + 0x0aaaaaaaaaaaaaaa, + 0x0555555555555555, + 0x02aaaaaaaaaaaaaa, + 0x0155555555555555, + 0x00aaaaaaaaaaaaaa, + 0x0055555555555555, + 0x002aaaaaaaaaaaaa, + 0x0015555555555555, + 0x000aaaaaaaaaaaaa, + 0x0005555555555555, + 0x0002aaaaaaaaaaaa, + 0x0001555555555555, + 0x0000aaaaaaaaaaaa, + 0x0000555555555555, + 0x00002aaaaaaaaaaa, + 0x0000155555555555, + 0x00000aaaaaaaaaaa, + 0x0000055555555555, + 0x000002aaaaaaaaaa, + 0x0000015555555555, + 0x000000aaaaaaaaaa, + 0x0000005555555555, + 0x0000002aaaaaaaaa, + 0x0000001555555555, + 0x0000000aaaaaaaaa, + 0x0000000555555555, + 0x00000002aaaaaaaa, + 0x0000000155555555, + 0x00000000aaaaaaaa, + 0x0000000055555555, + 0x000000002aaaaaaa, + 0x0000000015555555, + 0x000000000aaaaaaa, + 0x0000000005555555, + 0x0000000002aaaaaa, + 0x0000000001555555, + 0x0000000000aaaaaa, + 0x0000000000555555, + 0x00000000002aaaaa, + 0x0000000000155555, + 0x00000000000aaaaa, + 0x0000000000055555, + 0x000000000002aaaa, + 0x0000000000015555, + 0x000000000000aaaa, + 0x0000000000005555, + 0x0000000000002aaa, + 0x0000000000001555, + 0x0000000000000aaa, + 0x0000000000000555, + 0x00000000000002aa, + 0x0000000000000155, + 0x00000000000000aa, + 0x0000000000000055, + 0x000000000000002a, + 0x0000000000000015, + 0x000000000000000a, + 0x0000000000000005, + 0x0000000000000002, + 0x0000000000000001, + 0x0000000000000000, + 0x0000000000000000, + 0x3ffffffffffffffe, + 0x1fffffffffffffff, + 0x0fffffffffffffff, + 0x07ffffffffffffff, + 0x03ffffffffffffff, + 0x01ffffffffffffff, + 0x00ffffffffffffff, + 0x007fffffffffffff, + 0x003fffffffffffff, + 0x001fffffffffffff, + 0x000fffffffffffff, + 0x0007ffffffffffff, + 0x0003ffffffffffff, + 0x0001ffffffffffff, + 0x0000ffffffffffff, + 0x00007fffffffffff, + 0x00003fffffffffff, + 0x00001fffffffffff, + 0x00000fffffffffff, + 0x000007ffffffffff, + 0x000003ffffffffff, + 0x000001ffffffffff, + 0x000000ffffffffff, + 0x0000007fffffffff, + 0x0000003fffffffff, + 0x0000001fffffffff, + 0x0000000fffffffff, + 0x00000007ffffffff, + 0x00000003ffffffff, + 0x00000001ffffffff, + 0x00000000ffffffff, + 0x000000007fffffff, + 0x000000003fffffff, + 0x000000001fffffff, + 0x000000000fffffff, + 0x0000000007ffffff, + 0x0000000003ffffff, + 0x0000000001ffffff, + 0x0000000000ffffff, + 0x00000000007fffff, + 0x00000000003fffff, + 0x00000000001fffff, + 0x00000000000fffff, + 0x000000000007ffff, + 0x000000000003ffff, + 0x000000000001ffff, + 0x000000000000ffff, + 0x0000000000007fff, + 0x0000000000003fff, + 0x0000000000001fff, + 0x0000000000000fff, + 0x00000000000007ff, + 0x00000000000003ff, + 0x00000000000001ff, + 0x00000000000000ff, + 0x000000000000007f, + 0x000000000000003f, + 0x000000000000001f, + 0x000000000000000f, + 0x0000000000000007, + 0x0000000000000003, + 0x0000000000000001, + 0x0000000000000000, + 0x0000000000000000, + 0x3fffffffffffffff, + 0x1fffffffffffffff, + 0x0fffffffffffffff, + 0x07ffffffffffffff, + 0x03ffffffffffffff, + 0x01ffffffffffffff, + 0x00ffffffffffffff, + 0x007fffffffffffff, + 0x003fffffffffffff, + 0x001fffffffffffff, + 0x000fffffffffffff, + 0x0007ffffffffffff, + 0x0003ffffffffffff, + 0x0001ffffffffffff, + 0x0000ffffffffffff, + 0x00007fffffffffff, + 0x00003fffffffffff, + 0x00001fffffffffff, + 0x00000fffffffffff, + 0x000007ffffffffff, + 0x000003ffffffffff, + 0x000001ffffffffff, + 0x000000ffffffffff, + 0x0000007fffffffff, + 0x0000003fffffffff, + 0x0000001fffffffff, + 0x0000000fffffffff, + 0x00000007ffffffff, + 0x00000003ffffffff, + 0x00000001ffffffff, + 0x00000000ffffffff, + 0x000000007fffffff, + 0x000000003fffffff, + 0x000000001fffffff, + 0x000000000fffffff, + 0x0000000007ffffff, + 0x0000000003ffffff, + 0x0000000001ffffff, + 0x0000000000ffffff, + 0x00000000007fffff, + 0x00000000003fffff, + 0x00000000001fffff, + 0x00000000000fffff, + 0x000000000007ffff, + 0x000000000003ffff, + 0x000000000001ffff, + 0x000000000000ffff, + 0x0000000000007fff, + 0x0000000000003fff, + 0x0000000000001fff, + 0x0000000000000fff, + 0x00000000000007ff, + 0x00000000000003ff, + 0x00000000000001ff, + 0x00000000000000ff, + 0x000000000000007f, + 0x000000000000003f, + 0x000000000000001f, + 0x000000000000000f, + 0x0000000000000007, + 0x0000000000000003, + 0x0000000000000001, + 0x0000000000000000, + 0x0000000000000000, + 0x3fffffffffffffff, + 0x1fffffffffffffff, + 0x0fffffffffffffff, + 0x07ffffffffffffff, + 0x03ffffffffffffff, + 0x01ffffffffffffff, + 0x00ffffffffffffff, + 0x007fffffffffffff, + 0x003fffffffffffff, + 0x001fffffffffffff, + 0x000fffffffffffff, + 0x0007ffffffffffff, + 0x0003ffffffffffff, + 0x0001ffffffffffff, + 0x0000ffffffffffff, + 0x00007fffffffffff, + 0x00003fffffffffff, + 0x00001fffffffffff, + 0x00000fffffffffff, + 0x000007ffffffffff, + 0x000003ffffffffff, + 0x000001ffffffffff, + 0x000000ffffffffff, + 0x0000007fffffffff, + 0x0000003fffffffff, + 0x0000001fffffffff, + 0x0000000fffffffff, + 0x00000007ffffffff, + 0x00000003ffffffff, + 0x00000001ffffffff, + 0x00000000ffffffff, + 0x000000007fffffff, + 0x000000003fffffff, + 0x000000001fffffff, + 0x000000000fffffff, + 0x0000000007ffffff, + 0x0000000003ffffff, + 0x0000000001ffffff, + 0x0000000000ffffff, + 0x00000000007fffff, + 0x00000000003fffff, + 0x00000000001fffff, + 0x00000000000fffff, + 0x000000000007ffff, + 0x000000000003ffff, + 0x000000000001ffff, + 0x000000000000ffff, + 0x0000000000007fff, + 0x0000000000003fff, + 0x0000000000001fff, + 0x0000000000000fff, + 0x00000000000007ff, + 0x00000000000003ff, + 0x00000000000001ff, + 0x00000000000000ff, + 0x000000000000007f, + 0x000000000000003f, + 0x000000000000001f, + 0x000000000000000f, + 0x0000000000000007, + 0x0000000000000003, + 0x0000000000000001, + 0x0000000000000000, + 0x0000000000000000, + 0x4000000000000000, + 0x6000000000000000, + 0x7000000000000000, + 0x7800000000000000, + 0x7c00000000000000, + 0x7e00000000000000, + 0x7f00000000000000, + 0x7f80000000000000, + 0x7fc0000000000000, + 0x7fe0000000000000, + 0x7ff0000000000000, + 0x7ff8000000000000, + 0x7ffc000000000000, + 0x7ffe000000000000, + 0x7fff000000000000, + 0x7fff800000000000, + 0x7fffc00000000000, + 0x7fffe00000000000, + 0x7ffff00000000000, + 0x7ffff80000000000, + 0x7ffffc0000000000, + 0x7ffffe0000000000, + 0x7fffff0000000000, + 0x7fffff8000000000, + 0x7fffffc000000000, + 0x7fffffe000000000, + 0x7ffffff000000000, + 0x7ffffff800000000, + 0x7ffffffc00000000, + 0x7ffffffe00000000, + 0x7fffffff00000000, + 0x7fffffff80000000, + 0x7fffffffc0000000, + 0x7fffffffe0000000, + 0x7ffffffff0000000, + 0x7ffffffff8000000, + 0x7ffffffffc000000, + 0x7ffffffffe000000, + 0x7fffffffff000000, + 0x7fffffffff800000, + 0x7fffffffffc00000, + 0x7fffffffffe00000, + 0x7ffffffffff00000, + 0x7ffffffffff80000, + 0x7ffffffffffc0000, + 0x7ffffffffffe0000, + 0x7fffffffffff0000, + 0x7fffffffffff8000, + 0x7fffffffffffc000, + 0x7fffffffffffe000, + 0x7ffffffffffff000, + 0x7ffffffffffff800, + 0x7ffffffffffffc00, + 0x7ffffffffffffe00, + 0x7fffffffffffff00, + 0x7fffffffffffff80, + 0x7fffffffffffffc0, + 0x7fffffffffffffe0, + 0x7ffffffffffffff0, + 0x7ffffffffffffff8, + 0x7ffffffffffffffc, + 0x7ffffffffffffffe, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x4000000000000000, + 0x6000000000000000, + 0x7000000000000000, + 0x7800000000000000, + 0x7c00000000000000, + 0x7e00000000000000, + 0x7f00000000000000, + 0x7f80000000000000, + 0x7fc0000000000000, + 0x7fe0000000000000, + 0x7ff0000000000000, + 0x7ff8000000000000, + 0x7ffc000000000000, + 0x7ffe000000000000, + 0x7fff000000000000, + 0x7fff800000000000, + 0x7fffc00000000000, + 0x7fffe00000000000, + 0x7ffff00000000000, + 0x7ffff80000000000, + 0x7ffffc0000000000, + 0x7ffffe0000000000, + 0x7fffff0000000000, + 0x7fffff8000000000, + 0x7fffffc000000000, + 0x7fffffe000000000, + 0x7ffffff000000000, + 0x7ffffff800000000, + 0x7ffffffc00000000, + 0x7ffffffe00000000, + 0x7fffffff00000000, + 0x7fffffff80000000, + 0x7fffffffc0000000, + 0x7fffffffe0000000, + 0x7ffffffff0000000, + 0x7ffffffff8000000, + 0x7ffffffffc000000, + 0x7ffffffffe000000, + 0x7fffffffff000000, + 0x7fffffffff800000, + 0x7fffffffffc00000, + 0x7fffffffffe00000, + 0x7ffffffffff00000, + 0x7ffffffffff80000, + 0x7ffffffffffc0000, + 0x7ffffffffffe0000, + 0x7fffffffffff0000, + 0x7fffffffffff8000, + 0x7fffffffffffc000, + 0x7fffffffffffe000, + 0x7ffffffffffff000, + 0x7ffffffffffff800, + 0x7ffffffffffffc00, + 0x7ffffffffffffe00, + 0x7fffffffffffff00, + 0x7fffffffffffff80, + 0x7fffffffffffffc0, + 0x7fffffffffffffe0, + 0x7ffffffffffffff0, + 0x7ffffffffffffff8, + 0x7ffffffffffffffc, + 0x7ffffffffffffffe, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x4000000000000001, + 0x6000000000000000, + 0x7000000000000000, + 0x7800000000000000, + 0x7c00000000000000, + 0x7e00000000000000, + 0x7f00000000000000, + 0x7f80000000000000, + 0x7fc0000000000000, + 0x7fe0000000000000, + 0x7ff0000000000000, + 0x7ff8000000000000, + 0x7ffc000000000000, + 0x7ffe000000000000, + 0x7fff000000000000, + 0x7fff800000000000, + 0x7fffc00000000000, + 0x7fffe00000000000, + 0x7ffff00000000000, + 0x7ffff80000000000, + 0x7ffffc0000000000, + 0x7ffffe0000000000, + 0x7fffff0000000000, + 0x7fffff8000000000, + 0x7fffffc000000000, + 0x7fffffe000000000, + 0x7ffffff000000000, + 0x7ffffff800000000, + 0x7ffffffc00000000, + 0x7ffffffe00000000, + 0x7fffffff00000000, + 0x7fffffff80000000, + 0x7fffffffc0000000, + 0x7fffffffe0000000, + 0x7ffffffff0000000, + 0x7ffffffff8000000, + 0x7ffffffffc000000, + 0x7ffffffffe000000, + 0x7fffffffff000000, + 0x7fffffffff800000, + 0x7fffffffffc00000, + 0x7fffffffffe00000, + 0x7ffffffffff00000, + 0x7ffffffffff80000, + 0x7ffffffffffc0000, + 0x7ffffffffffe0000, + 0x7fffffffffff0000, + 0x7fffffffffff8000, + 0x7fffffffffffc000, + 0x7fffffffffffe000, + 0x7ffffffffffff000, + 0x7ffffffffffff800, + 0x7ffffffffffffc00, + 0x7ffffffffffffe00, + 0x7fffffffffffff00, + 0x7fffffffffffff80, + 0x7fffffffffffffc0, + 0x7fffffffffffffe0, + 0x7ffffffffffffff0, + 0x7ffffffffffffff8, + 0x7ffffffffffffffc, + 0x7ffffffffffffffe, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x4000000000000001, + 0x6000000000000000, + 0x7000000000000000, + 0x7800000000000000, + 0x7c00000000000000, + 0x7e00000000000000, + 0x7f00000000000000, + 0x7f80000000000000, + 0x7fc0000000000000, + 0x7fe0000000000000, + 0x7ff0000000000000, + 0x7ff8000000000000, + 0x7ffc000000000000, + 0x7ffe000000000000, + 0x7fff000000000000, + 0x7fff800000000000, + 0x7fffc00000000000, + 0x7fffe00000000000, + 0x7ffff00000000000, + 0x7ffff80000000000, + 0x7ffffc0000000000, + 0x7ffffe0000000000, + 0x7fffff0000000000, + 0x7fffff8000000000, + 0x7fffffc000000000, + 0x7fffffe000000000, + 0x7ffffff000000000, + 0x7ffffff800000000, + 0x7ffffffc00000000, + 0x7ffffffe00000000, + 0x7fffffff00000000, + 0x7fffffff80000000, + 0x7fffffffc0000000, + 0x7fffffffe0000000, + 0x7ffffffff0000000, + 0x7ffffffff8000000, + 0x7ffffffffc000000, + 0x7ffffffffe000000, + 0x7fffffffff000000, + 0x7fffffffff800000, + 0x7fffffffffc00000, + 0x7fffffffffe00000, + 0x7ffffffffff00000, + 0x7ffffffffff80000, + 0x7ffffffffffc0000, + 0x7ffffffffffe0000, + 0x7fffffffffff0000, + 0x7fffffffffff8000, + 0x7fffffffffffc000, + 0x7fffffffffffe000, + 0x7ffffffffffff000, + 0x7ffffffffffff800, + 0x7ffffffffffffc00, + 0x7ffffffffffffe00, + 0x7fffffffffffff00, + 0x7fffffffffffff80, + 0x7fffffffffffffc0, + 0x7fffffffffffffe0, + 0x7ffffffffffffff0, + 0x7ffffffffffffff8, + 0x7ffffffffffffffc, + 0x7ffffffffffffffe, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x5555555555555555, + 0x6aaaaaaaaaaaaaaa, + 0x7555555555555555, + 0x7aaaaaaaaaaaaaaa, + 0x7d55555555555555, + 0x7eaaaaaaaaaaaaaa, + 0x7f55555555555555, + 0x7faaaaaaaaaaaaaa, + 0x7fd5555555555555, + 0x7feaaaaaaaaaaaaa, + 0x7ff5555555555555, + 0x7ffaaaaaaaaaaaaa, + 0x7ffd555555555555, + 0x7ffeaaaaaaaaaaaa, + 0x7fff555555555555, + 0x7fffaaaaaaaaaaaa, + 0x7fffd55555555555, + 0x7fffeaaaaaaaaaaa, + 0x7ffff55555555555, + 0x7ffffaaaaaaaaaaa, + 0x7ffffd5555555555, + 0x7ffffeaaaaaaaaaa, + 0x7fffff5555555555, + 0x7fffffaaaaaaaaaa, + 0x7fffffd555555555, + 0x7fffffeaaaaaaaaa, + 0x7ffffff555555555, + 0x7ffffffaaaaaaaaa, + 0x7ffffffd55555555, + 0x7ffffffeaaaaaaaa, + 0x7fffffff55555555, + 0x7fffffffaaaaaaaa, + 0x7fffffffd5555555, + 0x7fffffffeaaaaaaa, + 0x7ffffffff5555555, + 0x7ffffffffaaaaaaa, + 0x7ffffffffd555555, + 0x7ffffffffeaaaaaa, + 0x7fffffffff555555, + 0x7fffffffffaaaaaa, + 0x7fffffffffd55555, + 0x7fffffffffeaaaaa, + 0x7ffffffffff55555, + 0x7ffffffffffaaaaa, + 0x7ffffffffffd5555, + 0x7ffffffffffeaaaa, + 0x7fffffffffff5555, + 0x7fffffffffffaaaa, + 0x7fffffffffffd555, + 0x7fffffffffffeaaa, + 0x7ffffffffffff555, + 0x7ffffffffffffaaa, + 0x7ffffffffffffd55, + 0x7ffffffffffffeaa, + 0x7fffffffffffff55, + 0x7fffffffffffffaa, + 0x7fffffffffffffd5, + 0x7fffffffffffffea, + 0x7ffffffffffffff5, + 0x7ffffffffffffffa, + 0x7ffffffffffffffd, + 0x7ffffffffffffffe, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x6666666666666666, + 0x7333333333333333, + 0x7999999999999999, + 0x7ccccccccccccccc, + 0x7e66666666666666, + 0x7f33333333333333, + 0x7f99999999999999, + 0x7fcccccccccccccc, + 0x7fe6666666666666, + 0x7ff3333333333333, + 0x7ff9999999999999, + 0x7ffccccccccccccc, + 0x7ffe666666666666, + 0x7fff333333333333, + 0x7fff999999999999, + 0x7fffcccccccccccc, + 0x7fffe66666666666, + 0x7ffff33333333333, + 0x7ffff99999999999, + 0x7ffffccccccccccc, + 0x7ffffe6666666666, + 0x7fffff3333333333, + 0x7fffff9999999999, + 0x7fffffcccccccccc, + 0x7fffffe666666666, + 0x7ffffff333333333, + 0x7ffffff999999999, + 0x7ffffffccccccccc, + 0x7ffffffe66666666, + 0x7fffffff33333333, + 0x7fffffff99999999, + 0x7fffffffcccccccc, + 0x7fffffffe6666666, + 0x7ffffffff3333333, + 0x7ffffffff9999999, + 0x7ffffffffccccccc, + 0x7ffffffffe666666, + 0x7fffffffff333333, + 0x7fffffffff999999, + 0x7fffffffffcccccc, + 0x7fffffffffe66666, + 0x7ffffffffff33333, + 0x7ffffffffff99999, + 0x7ffffffffffccccc, + 0x7ffffffffffe6666, + 0x7fffffffffff3333, + 0x7fffffffffff9999, + 0x7fffffffffffcccc, + 0x7fffffffffffe666, + 0x7ffffffffffff333, + 0x7ffffffffffff999, + 0x7ffffffffffffccc, + 0x7ffffffffffffe66, + 0x7fffffffffffff33, + 0x7fffffffffffff99, + 0x7fffffffffffffcc, + 0x7fffffffffffffe6, + 0x7ffffffffffffff3, + 0x7ffffffffffffff9, + 0x7ffffffffffffffc, + 0x7ffffffffffffffe, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffc0000000, + 0x7fffffffe0000000, + 0x7ffffffff0000000, + 0x7ffffffff8000000, + 0x7ffffffffc000000, + 0x7ffffffffe000000, + 0x7fffffffff000000, + 0x7fffffffff800000, + 0x7fffffffffc00000, + 0x7fffffffffe00000, + 0x7ffffffffff00000, + 0x7ffffffffff80000, + 0x7ffffffffffc0000, + 0x7ffffffffffe0000, + 0x7fffffffffff0000, + 0x7fffffffffff8000, + 0x7fffffffffffc000, + 0x7fffffffffffe000, + 0x7ffffffffffff000, + 0x7ffffffffffff800, + 0x7ffffffffffffc00, + 0x7ffffffffffffe00, + 0x7fffffffffffff00, + 0x7fffffffffffff80, + 0x7fffffffffffffc0, + 0x7fffffffffffffe0, + 0x7ffffffffffffff0, + 0x7ffffffffffffff8, + 0x7ffffffffffffffc, + 0x7ffffffffffffffe, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffc0000000, + 0x7fffffffe0000000, + 0x7ffffffff0000000, + 0x7ffffffff8000000, + 0x7ffffffffc000000, + 0x7ffffffffe000000, + 0x7fffffffff000000, + 0x7fffffffff800000, + 0x7fffffffffc00000, + 0x7fffffffffe00000, + 0x7ffffffffff00000, + 0x7ffffffffff80000, + 0x7ffffffffffc0000, + 0x7ffffffffffe0000, + 0x7fffffffffff0000, + 0x7fffffffffff8000, + 0x7fffffffffffc000, + 0x7fffffffffffe000, + 0x7ffffffffffff000, + 0x7ffffffffffff800, + 0x7ffffffffffffc00, + 0x7ffffffffffffe00, + 0x7fffffffffffff00, + 0x7fffffffffffff80, + 0x7fffffffffffffc0, + 0x7fffffffffffffe0, + 0x7ffffffffffffff0, + 0x7ffffffffffffff8, + 0x7ffffffffffffffc, + 0x7ffffffffffffffe, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffc0000001, + 0x7fffffffe0000000, + 0x7ffffffff0000000, + 0x7ffffffff8000000, + 0x7ffffffffc000000, + 0x7ffffffffe000000, + 0x7fffffffff000000, + 0x7fffffffff800000, + 0x7fffffffffc00000, + 0x7fffffffffe00000, + 0x7ffffffffff00000, + 0x7ffffffffff80000, + 0x7ffffffffffc0000, + 0x7ffffffffffe0000, + 0x7fffffffffff0000, + 0x7fffffffffff8000, + 0x7fffffffffffc000, + 0x7fffffffffffe000, + 0x7ffffffffffff000, + 0x7ffffffffffff800, + 0x7ffffffffffffc00, + 0x7ffffffffffffe00, + 0x7fffffffffffff00, + 0x7fffffffffffff80, + 0x7fffffffffffffc0, + 0x7fffffffffffffe0, + 0x7ffffffffffffff0, + 0x7ffffffffffffff8, + 0x7ffffffffffffffc, + 0x7ffffffffffffffe, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffc0000001, + 0x7fffffffe0000000, + 0x7ffffffff0000000, + 0x7ffffffff8000000, + 0x7ffffffffc000000, + 0x7ffffffffe000000, + 0x7fffffffff000000, + 0x7fffffffff800000, + 0x7fffffffffc00000, + 0x7fffffffffe00000, + 0x7ffffffffff00000, + 0x7ffffffffff80000, + 0x7ffffffffffc0000, + 0x7ffffffffffe0000, + 0x7fffffffffff0000, + 0x7fffffffffff8000, + 0x7fffffffffffc000, + 0x7fffffffffffe000, + 0x7ffffffffffff000, + 0x7ffffffffffff800, + 0x7ffffffffffffc00, + 0x7ffffffffffffe00, + 0x7fffffffffffff00, + 0x7fffffffffffff80, + 0x7fffffffffffffc0, + 0x7fffffffffffffe0, + 0x7ffffffffffffff0, + 0x7ffffffffffffff8, + 0x7ffffffffffffffc, + 0x7ffffffffffffffe, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffc000, + 0x7fffffffffffe000, + 0x7ffffffffffff000, + 0x7ffffffffffff800, + 0x7ffffffffffffc00, + 0x7ffffffffffffe00, + 0x7fffffffffffff00, + 0x7fffffffffffff80, + 0x7fffffffffffffc0, + 0x7fffffffffffffe0, + 0x7ffffffffffffff0, + 0x7ffffffffffffff8, + 0x7ffffffffffffffc, + 0x7ffffffffffffffe, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffc000, + 0x7fffffffffffe000, + 0x7ffffffffffff000, + 0x7ffffffffffff800, + 0x7ffffffffffffc00, + 0x7ffffffffffffe00, + 0x7fffffffffffff00, + 0x7fffffffffffff80, + 0x7fffffffffffffc0, + 0x7fffffffffffffe0, + 0x7ffffffffffffff0, + 0x7ffffffffffffff8, + 0x7ffffffffffffffc, + 0x7ffffffffffffffe, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffc001, + 0x7fffffffffffe000, + 0x7ffffffffffff000, + 0x7ffffffffffff800, + 0x7ffffffffffffc00, + 0x7ffffffffffffe00, + 0x7fffffffffffff00, + 0x7fffffffffffff80, + 0x7fffffffffffffc0, + 0x7fffffffffffffe0, + 0x7ffffffffffffff0, + 0x7ffffffffffffff8, + 0x7ffffffffffffffc, + 0x7ffffffffffffffe, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffc001, + 0x7fffffffffffe000, + 0x7ffffffffffff000, + 0x7ffffffffffff800, + 0x7ffffffffffffc00, + 0x7ffffffffffffe00, + 0x7fffffffffffff00, + 0x7fffffffffffff80, + 0x7fffffffffffffc0, + 0x7fffffffffffffe0, + 0x7ffffffffffffff0, + 0x7ffffffffffffff8, + 0x7ffffffffffffffc, + 0x7ffffffffffffffe, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffc0, + 0x7fffffffffffffe0, + 0x7ffffffffffffff0, + 0x7ffffffffffffff8, + 0x7ffffffffffffffc, + 0x7ffffffffffffffe, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffc0, + 0x7fffffffffffffe0, + 0x7ffffffffffffff0, + 0x7ffffffffffffff8, + 0x7ffffffffffffffc, + 0x7ffffffffffffffe, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffc1, + 0x7fffffffffffffe0, + 0x7ffffffffffffff0, + 0x7ffffffffffffff8, + 0x7ffffffffffffffc, + 0x7ffffffffffffffe, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffc1, + 0x7fffffffffffffe0, + 0x7ffffffffffffff0, + 0x7ffffffffffffff8, + 0x7ffffffffffffffc, + 0x7ffffffffffffffe, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffe0, + 0x7ffffffffffffff0, + 0x7ffffffffffffff8, + 0x7ffffffffffffffc, + 0x7ffffffffffffffe, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7ffffffffffffffe, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, + 0x7fffffffffffffff, +}; +const unsigned kExpectedCount_NEON_sri_D_2OPIMM = 2560; + +#endif // VIXL_SIM_SRI_D_2OPIMM_TRACE_AARCH64_H_ |