| // 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_URSHR_D_2OPIMM_TRACE_AARCH64_H_ |
| #define VIXL_SIM_URSHR_D_2OPIMM_TRACE_AARCH64_H_ |
| |
| const uint64_t kExpected_NEON_urshr_D_2OPIMM[] = { |
| 0x8000000000000000, |
| 0x4000000000000000, |
| 0x2000000000000000, |
| 0x1000000000000000, |
| 0x0800000000000000, |
| 0x0400000000000000, |
| 0x0200000000000000, |
| 0x0100000000000000, |
| 0x0080000000000000, |
| 0x0040000000000000, |
| 0x0020000000000000, |
| 0x0010000000000000, |
| 0x0008000000000000, |
| 0x0004000000000000, |
| 0x0002000000000000, |
| 0x0001000000000000, |
| 0x0000800000000000, |
| 0x0000400000000000, |
| 0x0000200000000000, |
| 0x0000100000000000, |
| 0x0000080000000000, |
| 0x0000040000000000, |
| 0x0000020000000000, |
| 0x0000010000000000, |
| 0x0000008000000000, |
| 0x0000004000000000, |
| 0x0000002000000000, |
| 0x0000001000000000, |
| 0x0000000800000000, |
| 0x0000000400000000, |
| 0x0000000200000000, |
| 0x0000000100000000, |
| 0x0000000080000000, |
| 0x0000000040000000, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 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, |
| 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, |
| 0x0000000000000001, |
| 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, |
| 0x0000000000000020, |
| 0x0000000000000010, |
| 0x0000000000000008, |
| 0x0000000000000004, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| 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, |
| 0x000000000000003f, |
| 0x000000000000001f, |
| 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, |
| 0x000000000000003f, |
| 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, |
| 0x0000000000000040, |
| 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, |
| 0x0000000000003fff, |
| 0x0000000000001fff, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 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, |
| 0x0000000000003fff, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 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, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 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, |
| 0x000000003fffffff, |
| 0x000000001fffffff, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 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, |
| 0x000000003fffffff, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 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, |
| 0x0000000040000000, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 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, |
| 0x199999999999999a, |
| 0x0ccccccccccccccd, |
| 0x0666666666666666, |
| 0x0333333333333333, |
| 0x019999999999999a, |
| 0x00cccccccccccccd, |
| 0x0066666666666666, |
| 0x0033333333333333, |
| 0x001999999999999a, |
| 0x000ccccccccccccd, |
| 0x0006666666666666, |
| 0x0003333333333333, |
| 0x000199999999999a, |
| 0x0000cccccccccccd, |
| 0x0000666666666666, |
| 0x0000333333333333, |
| 0x000019999999999a, |
| 0x00000ccccccccccd, |
| 0x0000066666666666, |
| 0x0000033333333333, |
| 0x000001999999999a, |
| 0x000000cccccccccd, |
| 0x0000006666666666, |
| 0x0000003333333333, |
| 0x000000199999999a, |
| 0x0000000ccccccccd, |
| 0x0000000666666666, |
| 0x0000000333333333, |
| 0x000000019999999a, |
| 0x00000000cccccccd, |
| 0x0000000066666666, |
| 0x0000000033333333, |
| 0x000000001999999a, |
| 0x000000000ccccccd, |
| 0x0000000006666666, |
| 0x0000000003333333, |
| 0x000000000199999a, |
| 0x0000000000cccccd, |
| 0x0000000000666666, |
| 0x0000000000333333, |
| 0x000000000019999a, |
| 0x00000000000ccccd, |
| 0x0000000000066666, |
| 0x0000000000033333, |
| 0x000000000001999a, |
| 0x000000000000cccd, |
| 0x0000000000006666, |
| 0x0000000000003333, |
| 0x000000000000199a, |
| 0x0000000000000ccd, |
| 0x0000000000000666, |
| 0x0000000000000333, |
| 0x000000000000019a, |
| 0x00000000000000cd, |
| 0x0000000000000066, |
| 0x0000000000000033, |
| 0x000000000000001a, |
| 0x000000000000000d, |
| 0x0000000000000006, |
| 0x0000000000000003, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| 0x0000000000000000, |
| 0x0000000000000000, |
| 0x2aaaaaaaaaaaaaab, |
| 0x1555555555555555, |
| 0x0aaaaaaaaaaaaaab, |
| 0x0555555555555555, |
| 0x02aaaaaaaaaaaaab, |
| 0x0155555555555555, |
| 0x00aaaaaaaaaaaaab, |
| 0x0055555555555555, |
| 0x002aaaaaaaaaaaab, |
| 0x0015555555555555, |
| 0x000aaaaaaaaaaaab, |
| 0x0005555555555555, |
| 0x0002aaaaaaaaaaab, |
| 0x0001555555555555, |
| 0x0000aaaaaaaaaaab, |
| 0x0000555555555555, |
| 0x00002aaaaaaaaaab, |
| 0x0000155555555555, |
| 0x00000aaaaaaaaaab, |
| 0x0000055555555555, |
| 0x000002aaaaaaaaab, |
| 0x0000015555555555, |
| 0x000000aaaaaaaaab, |
| 0x0000005555555555, |
| 0x0000002aaaaaaaab, |
| 0x0000001555555555, |
| 0x0000000aaaaaaaab, |
| 0x0000000555555555, |
| 0x00000002aaaaaaab, |
| 0x0000000155555555, |
| 0x00000000aaaaaaab, |
| 0x0000000055555555, |
| 0x000000002aaaaaab, |
| 0x0000000015555555, |
| 0x000000000aaaaaab, |
| 0x0000000005555555, |
| 0x0000000002aaaaab, |
| 0x0000000001555555, |
| 0x0000000000aaaaab, |
| 0x0000000000555555, |
| 0x00000000002aaaab, |
| 0x0000000000155555, |
| 0x00000000000aaaab, |
| 0x0000000000055555, |
| 0x000000000002aaab, |
| 0x0000000000015555, |
| 0x000000000000aaab, |
| 0x0000000000005555, |
| 0x0000000000002aab, |
| 0x0000000000001555, |
| 0x0000000000000aab, |
| 0x0000000000000555, |
| 0x00000000000002ab, |
| 0x0000000000000155, |
| 0x00000000000000ab, |
| 0x0000000000000055, |
| 0x000000000000002b, |
| 0x0000000000000015, |
| 0x000000000000000b, |
| 0x0000000000000005, |
| 0x0000000000000003, |
| 0x0000000000000001, |
| 0x0000000000000001, |
| 0x0000000000000000, |
| 0x3fffffffffffffff, |
| 0x1fffffffffffffff, |
| 0x1000000000000000, |
| 0x0800000000000000, |
| 0x0400000000000000, |
| 0x0200000000000000, |
| 0x0100000000000000, |
| 0x0080000000000000, |
| 0x0040000000000000, |
| 0x0020000000000000, |
| 0x0010000000000000, |
| 0x0008000000000000, |
| 0x0004000000000000, |
| 0x0002000000000000, |
| 0x0001000000000000, |
| 0x0000800000000000, |
| 0x0000400000000000, |
| 0x0000200000000000, |
| 0x0000100000000000, |
| 0x0000080000000000, |
| 0x0000040000000000, |
| 0x0000020000000000, |
| 0x0000010000000000, |
| 0x0000008000000000, |
| 0x0000004000000000, |
| 0x0000002000000000, |
| 0x0000001000000000, |
| 0x0000000800000000, |
| 0x0000000400000000, |
| 0x0000000200000000, |
| 0x0000000100000000, |
| 0x0000000080000000, |
| 0x0000000040000000, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 0x0000000000000020, |
| 0x0000000000000010, |
| 0x0000000000000008, |
| 0x0000000000000004, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| 0x0000000000000000, |
| 0x3fffffffffffffff, |
| 0x2000000000000000, |
| 0x1000000000000000, |
| 0x0800000000000000, |
| 0x0400000000000000, |
| 0x0200000000000000, |
| 0x0100000000000000, |
| 0x0080000000000000, |
| 0x0040000000000000, |
| 0x0020000000000000, |
| 0x0010000000000000, |
| 0x0008000000000000, |
| 0x0004000000000000, |
| 0x0002000000000000, |
| 0x0001000000000000, |
| 0x0000800000000000, |
| 0x0000400000000000, |
| 0x0000200000000000, |
| 0x0000100000000000, |
| 0x0000080000000000, |
| 0x0000040000000000, |
| 0x0000020000000000, |
| 0x0000010000000000, |
| 0x0000008000000000, |
| 0x0000004000000000, |
| 0x0000002000000000, |
| 0x0000001000000000, |
| 0x0000000800000000, |
| 0x0000000400000000, |
| 0x0000000200000000, |
| 0x0000000100000000, |
| 0x0000000080000000, |
| 0x0000000040000000, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 0x0000000000000020, |
| 0x0000000000000010, |
| 0x0000000000000008, |
| 0x0000000000000004, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| 0x0000000000000000, |
| 0x4000000000000000, |
| 0x2000000000000000, |
| 0x1000000000000000, |
| 0x0800000000000000, |
| 0x0400000000000000, |
| 0x0200000000000000, |
| 0x0100000000000000, |
| 0x0080000000000000, |
| 0x0040000000000000, |
| 0x0020000000000000, |
| 0x0010000000000000, |
| 0x0008000000000000, |
| 0x0004000000000000, |
| 0x0002000000000000, |
| 0x0001000000000000, |
| 0x0000800000000000, |
| 0x0000400000000000, |
| 0x0000200000000000, |
| 0x0000100000000000, |
| 0x0000080000000000, |
| 0x0000040000000000, |
| 0x0000020000000000, |
| 0x0000010000000000, |
| 0x0000008000000000, |
| 0x0000004000000000, |
| 0x0000002000000000, |
| 0x0000001000000000, |
| 0x0000000800000000, |
| 0x0000000400000000, |
| 0x0000000200000000, |
| 0x0000000100000000, |
| 0x0000000080000000, |
| 0x0000000040000000, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 0x0000000000000020, |
| 0x0000000000000010, |
| 0x0000000000000008, |
| 0x0000000000000004, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| 0x0000000000000000, |
| 0x4000000000000000, |
| 0x2000000000000000, |
| 0x1000000000000000, |
| 0x0800000000000000, |
| 0x0400000000000000, |
| 0x0200000000000000, |
| 0x0100000000000000, |
| 0x0080000000000000, |
| 0x0040000000000000, |
| 0x0020000000000000, |
| 0x0010000000000000, |
| 0x0008000000000000, |
| 0x0004000000000000, |
| 0x0002000000000000, |
| 0x0001000000000000, |
| 0x0000800000000000, |
| 0x0000400000000000, |
| 0x0000200000000000, |
| 0x0000100000000000, |
| 0x0000080000000000, |
| 0x0000040000000000, |
| 0x0000020000000000, |
| 0x0000010000000000, |
| 0x0000008000000000, |
| 0x0000004000000000, |
| 0x0000002000000000, |
| 0x0000001000000000, |
| 0x0000000800000000, |
| 0x0000000400000000, |
| 0x0000000200000000, |
| 0x0000000100000000, |
| 0x0000000080000000, |
| 0x0000000040000000, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 0x0000000000000020, |
| 0x0000000000000010, |
| 0x0000000000000008, |
| 0x0000000000000004, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| 0x0000000000000001, |
| 0x4000000000000001, |
| 0x2000000000000000, |
| 0x1000000000000000, |
| 0x0800000000000000, |
| 0x0400000000000000, |
| 0x0200000000000000, |
| 0x0100000000000000, |
| 0x0080000000000000, |
| 0x0040000000000000, |
| 0x0020000000000000, |
| 0x0010000000000000, |
| 0x0008000000000000, |
| 0x0004000000000000, |
| 0x0002000000000000, |
| 0x0001000000000000, |
| 0x0000800000000000, |
| 0x0000400000000000, |
| 0x0000200000000000, |
| 0x0000100000000000, |
| 0x0000080000000000, |
| 0x0000040000000000, |
| 0x0000020000000000, |
| 0x0000010000000000, |
| 0x0000008000000000, |
| 0x0000004000000000, |
| 0x0000002000000000, |
| 0x0000001000000000, |
| 0x0000000800000000, |
| 0x0000000400000000, |
| 0x0000000200000000, |
| 0x0000000100000000, |
| 0x0000000080000000, |
| 0x0000000040000000, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 0x0000000000000020, |
| 0x0000000000000010, |
| 0x0000000000000008, |
| 0x0000000000000004, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| 0x0000000000000001, |
| 0x4000000000000001, |
| 0x2000000000000001, |
| 0x1000000000000000, |
| 0x0800000000000000, |
| 0x0400000000000000, |
| 0x0200000000000000, |
| 0x0100000000000000, |
| 0x0080000000000000, |
| 0x0040000000000000, |
| 0x0020000000000000, |
| 0x0010000000000000, |
| 0x0008000000000000, |
| 0x0004000000000000, |
| 0x0002000000000000, |
| 0x0001000000000000, |
| 0x0000800000000000, |
| 0x0000400000000000, |
| 0x0000200000000000, |
| 0x0000100000000000, |
| 0x0000080000000000, |
| 0x0000040000000000, |
| 0x0000020000000000, |
| 0x0000010000000000, |
| 0x0000008000000000, |
| 0x0000004000000000, |
| 0x0000002000000000, |
| 0x0000001000000000, |
| 0x0000000800000000, |
| 0x0000000400000000, |
| 0x0000000200000000, |
| 0x0000000100000000, |
| 0x0000000080000000, |
| 0x0000000040000000, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 0x0000000000000020, |
| 0x0000000000000010, |
| 0x0000000000000008, |
| 0x0000000000000004, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| 0x0000000000000001, |
| 0x4000000000000002, |
| 0x2000000000000001, |
| 0x1000000000000000, |
| 0x0800000000000000, |
| 0x0400000000000000, |
| 0x0200000000000000, |
| 0x0100000000000000, |
| 0x0080000000000000, |
| 0x0040000000000000, |
| 0x0020000000000000, |
| 0x0010000000000000, |
| 0x0008000000000000, |
| 0x0004000000000000, |
| 0x0002000000000000, |
| 0x0001000000000000, |
| 0x0000800000000000, |
| 0x0000400000000000, |
| 0x0000200000000000, |
| 0x0000100000000000, |
| 0x0000080000000000, |
| 0x0000040000000000, |
| 0x0000020000000000, |
| 0x0000010000000000, |
| 0x0000008000000000, |
| 0x0000004000000000, |
| 0x0000002000000000, |
| 0x0000001000000000, |
| 0x0000000800000000, |
| 0x0000000400000000, |
| 0x0000000200000000, |
| 0x0000000100000000, |
| 0x0000000080000000, |
| 0x0000000040000000, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 0x0000000000000020, |
| 0x0000000000000010, |
| 0x0000000000000008, |
| 0x0000000000000004, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| 0x0000000000000001, |
| 0x5555555555555555, |
| 0x2aaaaaaaaaaaaaab, |
| 0x1555555555555555, |
| 0x0aaaaaaaaaaaaaab, |
| 0x0555555555555555, |
| 0x02aaaaaaaaaaaaab, |
| 0x0155555555555555, |
| 0x00aaaaaaaaaaaaab, |
| 0x0055555555555555, |
| 0x002aaaaaaaaaaaab, |
| 0x0015555555555555, |
| 0x000aaaaaaaaaaaab, |
| 0x0005555555555555, |
| 0x0002aaaaaaaaaaab, |
| 0x0001555555555555, |
| 0x0000aaaaaaaaaaab, |
| 0x0000555555555555, |
| 0x00002aaaaaaaaaab, |
| 0x0000155555555555, |
| 0x00000aaaaaaaaaab, |
| 0x0000055555555555, |
| 0x000002aaaaaaaaab, |
| 0x0000015555555555, |
| 0x000000aaaaaaaaab, |
| 0x0000005555555555, |
| 0x0000002aaaaaaaab, |
| 0x0000001555555555, |
| 0x0000000aaaaaaaab, |
| 0x0000000555555555, |
| 0x00000002aaaaaaab, |
| 0x0000000155555555, |
| 0x00000000aaaaaaab, |
| 0x0000000055555555, |
| 0x000000002aaaaaab, |
| 0x0000000015555555, |
| 0x000000000aaaaaab, |
| 0x0000000005555555, |
| 0x0000000002aaaaab, |
| 0x0000000001555555, |
| 0x0000000000aaaaab, |
| 0x0000000000555555, |
| 0x00000000002aaaab, |
| 0x0000000000155555, |
| 0x00000000000aaaab, |
| 0x0000000000055555, |
| 0x000000000002aaab, |
| 0x0000000000015555, |
| 0x000000000000aaab, |
| 0x0000000000005555, |
| 0x0000000000002aab, |
| 0x0000000000001555, |
| 0x0000000000000aab, |
| 0x0000000000000555, |
| 0x00000000000002ab, |
| 0x0000000000000155, |
| 0x00000000000000ab, |
| 0x0000000000000055, |
| 0x000000000000002b, |
| 0x0000000000000015, |
| 0x000000000000000b, |
| 0x0000000000000005, |
| 0x0000000000000003, |
| 0x0000000000000001, |
| 0x0000000000000001, |
| 0x6666666666666666, |
| 0x3333333333333333, |
| 0x199999999999999a, |
| 0x0ccccccccccccccd, |
| 0x0666666666666666, |
| 0x0333333333333333, |
| 0x019999999999999a, |
| 0x00cccccccccccccd, |
| 0x0066666666666666, |
| 0x0033333333333333, |
| 0x001999999999999a, |
| 0x000ccccccccccccd, |
| 0x0006666666666666, |
| 0x0003333333333333, |
| 0x000199999999999a, |
| 0x0000cccccccccccd, |
| 0x0000666666666666, |
| 0x0000333333333333, |
| 0x000019999999999a, |
| 0x00000ccccccccccd, |
| 0x0000066666666666, |
| 0x0000033333333333, |
| 0x000001999999999a, |
| 0x000000cccccccccd, |
| 0x0000006666666666, |
| 0x0000003333333333, |
| 0x000000199999999a, |
| 0x0000000ccccccccd, |
| 0x0000000666666666, |
| 0x0000000333333333, |
| 0x000000019999999a, |
| 0x00000000cccccccd, |
| 0x0000000066666666, |
| 0x0000000033333333, |
| 0x000000001999999a, |
| 0x000000000ccccccd, |
| 0x0000000006666666, |
| 0x0000000003333333, |
| 0x000000000199999a, |
| 0x0000000000cccccd, |
| 0x0000000000666666, |
| 0x0000000000333333, |
| 0x000000000019999a, |
| 0x00000000000ccccd, |
| 0x0000000000066666, |
| 0x0000000000033333, |
| 0x000000000001999a, |
| 0x000000000000cccd, |
| 0x0000000000006666, |
| 0x0000000000003333, |
| 0x000000000000199a, |
| 0x0000000000000ccd, |
| 0x0000000000000666, |
| 0x0000000000000333, |
| 0x000000000000019a, |
| 0x00000000000000cd, |
| 0x0000000000000066, |
| 0x0000000000000033, |
| 0x000000000000001a, |
| 0x000000000000000d, |
| 0x0000000000000006, |
| 0x0000000000000003, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| 0x7fffffffc0000000, |
| 0x3fffffffe0000000, |
| 0x1ffffffff0000000, |
| 0x0ffffffff8000000, |
| 0x07fffffffc000000, |
| 0x03fffffffe000000, |
| 0x01ffffffff000000, |
| 0x00ffffffff800000, |
| 0x007fffffffc00000, |
| 0x003fffffffe00000, |
| 0x001ffffffff00000, |
| 0x000ffffffff80000, |
| 0x0007fffffffc0000, |
| 0x0003fffffffe0000, |
| 0x0001ffffffff0000, |
| 0x0000ffffffff8000, |
| 0x00007fffffffc000, |
| 0x00003fffffffe000, |
| 0x00001ffffffff000, |
| 0x00000ffffffff800, |
| 0x000007fffffffc00, |
| 0x000003fffffffe00, |
| 0x000001ffffffff00, |
| 0x000000ffffffff80, |
| 0x0000007fffffffc0, |
| 0x0000003fffffffe0, |
| 0x0000001ffffffff0, |
| 0x0000000ffffffff8, |
| 0x00000007fffffffc, |
| 0x00000003fffffffe, |
| 0x00000001ffffffff, |
| 0x0000000100000000, |
| 0x0000000080000000, |
| 0x0000000040000000, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 0x0000000000000020, |
| 0x0000000000000010, |
| 0x0000000000000008, |
| 0x0000000000000004, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| 0x7fffffffc0000001, |
| 0x3fffffffe0000000, |
| 0x1ffffffff0000000, |
| 0x0ffffffff8000000, |
| 0x07fffffffc000000, |
| 0x03fffffffe000000, |
| 0x01ffffffff000000, |
| 0x00ffffffff800000, |
| 0x007fffffffc00000, |
| 0x003fffffffe00000, |
| 0x001ffffffff00000, |
| 0x000ffffffff80000, |
| 0x0007fffffffc0000, |
| 0x0003fffffffe0000, |
| 0x0001ffffffff0000, |
| 0x0000ffffffff8000, |
| 0x00007fffffffc000, |
| 0x00003fffffffe000, |
| 0x00001ffffffff000, |
| 0x00000ffffffff800, |
| 0x000007fffffffc00, |
| 0x000003fffffffe00, |
| 0x000001ffffffff00, |
| 0x000000ffffffff80, |
| 0x0000007fffffffc0, |
| 0x0000003fffffffe0, |
| 0x0000001ffffffff0, |
| 0x0000000ffffffff8, |
| 0x00000007fffffffc, |
| 0x00000003fffffffe, |
| 0x00000001ffffffff, |
| 0x0000000100000000, |
| 0x0000000080000000, |
| 0x0000000040000000, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 0x0000000000000020, |
| 0x0000000000000010, |
| 0x0000000000000008, |
| 0x0000000000000004, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| 0x7fffffffc0000001, |
| 0x3fffffffe0000001, |
| 0x1ffffffff0000000, |
| 0x0ffffffff8000000, |
| 0x07fffffffc000000, |
| 0x03fffffffe000000, |
| 0x01ffffffff000000, |
| 0x00ffffffff800000, |
| 0x007fffffffc00000, |
| 0x003fffffffe00000, |
| 0x001ffffffff00000, |
| 0x000ffffffff80000, |
| 0x0007fffffffc0000, |
| 0x0003fffffffe0000, |
| 0x0001ffffffff0000, |
| 0x0000ffffffff8000, |
| 0x00007fffffffc000, |
| 0x00003fffffffe000, |
| 0x00001ffffffff000, |
| 0x00000ffffffff800, |
| 0x000007fffffffc00, |
| 0x000003fffffffe00, |
| 0x000001ffffffff00, |
| 0x000000ffffffff80, |
| 0x0000007fffffffc0, |
| 0x0000003fffffffe0, |
| 0x0000001ffffffff0, |
| 0x0000000ffffffff8, |
| 0x00000007fffffffc, |
| 0x00000003fffffffe, |
| 0x00000001ffffffff, |
| 0x0000000100000000, |
| 0x0000000080000000, |
| 0x0000000040000000, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 0x0000000000000020, |
| 0x0000000000000010, |
| 0x0000000000000008, |
| 0x0000000000000004, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| 0x7fffffffc0000002, |
| 0x3fffffffe0000001, |
| 0x1ffffffff0000000, |
| 0x0ffffffff8000000, |
| 0x07fffffffc000000, |
| 0x03fffffffe000000, |
| 0x01ffffffff000000, |
| 0x00ffffffff800000, |
| 0x007fffffffc00000, |
| 0x003fffffffe00000, |
| 0x001ffffffff00000, |
| 0x000ffffffff80000, |
| 0x0007fffffffc0000, |
| 0x0003fffffffe0000, |
| 0x0001ffffffff0000, |
| 0x0000ffffffff8000, |
| 0x00007fffffffc000, |
| 0x00003fffffffe000, |
| 0x00001ffffffff000, |
| 0x00000ffffffff800, |
| 0x000007fffffffc00, |
| 0x000003fffffffe00, |
| 0x000001ffffffff00, |
| 0x000000ffffffff80, |
| 0x0000007fffffffc0, |
| 0x0000003fffffffe0, |
| 0x0000001ffffffff0, |
| 0x0000000ffffffff8, |
| 0x00000007fffffffc, |
| 0x00000003fffffffe, |
| 0x00000001ffffffff, |
| 0x0000000100000000, |
| 0x0000000080000000, |
| 0x0000000040000000, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 0x0000000000000020, |
| 0x0000000000000010, |
| 0x0000000000000008, |
| 0x0000000000000004, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| 0x7fffffffffffc000, |
| 0x3fffffffffffe000, |
| 0x1ffffffffffff000, |
| 0x0ffffffffffff800, |
| 0x07fffffffffffc00, |
| 0x03fffffffffffe00, |
| 0x01ffffffffffff00, |
| 0x00ffffffffffff80, |
| 0x007fffffffffffc0, |
| 0x003fffffffffffe0, |
| 0x001ffffffffffff0, |
| 0x000ffffffffffff8, |
| 0x0007fffffffffffc, |
| 0x0003fffffffffffe, |
| 0x0001ffffffffffff, |
| 0x0001000000000000, |
| 0x0000800000000000, |
| 0x0000400000000000, |
| 0x0000200000000000, |
| 0x0000100000000000, |
| 0x0000080000000000, |
| 0x0000040000000000, |
| 0x0000020000000000, |
| 0x0000010000000000, |
| 0x0000008000000000, |
| 0x0000004000000000, |
| 0x0000002000000000, |
| 0x0000001000000000, |
| 0x0000000800000000, |
| 0x0000000400000000, |
| 0x0000000200000000, |
| 0x0000000100000000, |
| 0x0000000080000000, |
| 0x0000000040000000, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 0x0000000000000020, |
| 0x0000000000000010, |
| 0x0000000000000008, |
| 0x0000000000000004, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| 0x7fffffffffffc001, |
| 0x3fffffffffffe000, |
| 0x1ffffffffffff000, |
| 0x0ffffffffffff800, |
| 0x07fffffffffffc00, |
| 0x03fffffffffffe00, |
| 0x01ffffffffffff00, |
| 0x00ffffffffffff80, |
| 0x007fffffffffffc0, |
| 0x003fffffffffffe0, |
| 0x001ffffffffffff0, |
| 0x000ffffffffffff8, |
| 0x0007fffffffffffc, |
| 0x0003fffffffffffe, |
| 0x0001ffffffffffff, |
| 0x0001000000000000, |
| 0x0000800000000000, |
| 0x0000400000000000, |
| 0x0000200000000000, |
| 0x0000100000000000, |
| 0x0000080000000000, |
| 0x0000040000000000, |
| 0x0000020000000000, |
| 0x0000010000000000, |
| 0x0000008000000000, |
| 0x0000004000000000, |
| 0x0000002000000000, |
| 0x0000001000000000, |
| 0x0000000800000000, |
| 0x0000000400000000, |
| 0x0000000200000000, |
| 0x0000000100000000, |
| 0x0000000080000000, |
| 0x0000000040000000, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 0x0000000000000020, |
| 0x0000000000000010, |
| 0x0000000000000008, |
| 0x0000000000000004, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| 0x7fffffffffffc001, |
| 0x3fffffffffffe001, |
| 0x1ffffffffffff000, |
| 0x0ffffffffffff800, |
| 0x07fffffffffffc00, |
| 0x03fffffffffffe00, |
| 0x01ffffffffffff00, |
| 0x00ffffffffffff80, |
| 0x007fffffffffffc0, |
| 0x003fffffffffffe0, |
| 0x001ffffffffffff0, |
| 0x000ffffffffffff8, |
| 0x0007fffffffffffc, |
| 0x0003fffffffffffe, |
| 0x0001ffffffffffff, |
| 0x0001000000000000, |
| 0x0000800000000000, |
| 0x0000400000000000, |
| 0x0000200000000000, |
| 0x0000100000000000, |
| 0x0000080000000000, |
| 0x0000040000000000, |
| 0x0000020000000000, |
| 0x0000010000000000, |
| 0x0000008000000000, |
| 0x0000004000000000, |
| 0x0000002000000000, |
| 0x0000001000000000, |
| 0x0000000800000000, |
| 0x0000000400000000, |
| 0x0000000200000000, |
| 0x0000000100000000, |
| 0x0000000080000000, |
| 0x0000000040000000, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 0x0000000000000020, |
| 0x0000000000000010, |
| 0x0000000000000008, |
| 0x0000000000000004, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| 0x7fffffffffffc002, |
| 0x3fffffffffffe001, |
| 0x1ffffffffffff000, |
| 0x0ffffffffffff800, |
| 0x07fffffffffffc00, |
| 0x03fffffffffffe00, |
| 0x01ffffffffffff00, |
| 0x00ffffffffffff80, |
| 0x007fffffffffffc0, |
| 0x003fffffffffffe0, |
| 0x001ffffffffffff0, |
| 0x000ffffffffffff8, |
| 0x0007fffffffffffc, |
| 0x0003fffffffffffe, |
| 0x0001ffffffffffff, |
| 0x0001000000000000, |
| 0x0000800000000000, |
| 0x0000400000000000, |
| 0x0000200000000000, |
| 0x0000100000000000, |
| 0x0000080000000000, |
| 0x0000040000000000, |
| 0x0000020000000000, |
| 0x0000010000000000, |
| 0x0000008000000000, |
| 0x0000004000000000, |
| 0x0000002000000000, |
| 0x0000001000000000, |
| 0x0000000800000000, |
| 0x0000000400000000, |
| 0x0000000200000000, |
| 0x0000000100000000, |
| 0x0000000080000000, |
| 0x0000000040000000, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 0x0000000000000020, |
| 0x0000000000000010, |
| 0x0000000000000008, |
| 0x0000000000000004, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| 0x7fffffffffffffc0, |
| 0x3fffffffffffffe0, |
| 0x1ffffffffffffff0, |
| 0x0ffffffffffffff8, |
| 0x07fffffffffffffc, |
| 0x03fffffffffffffe, |
| 0x01ffffffffffffff, |
| 0x0100000000000000, |
| 0x0080000000000000, |
| 0x0040000000000000, |
| 0x0020000000000000, |
| 0x0010000000000000, |
| 0x0008000000000000, |
| 0x0004000000000000, |
| 0x0002000000000000, |
| 0x0001000000000000, |
| 0x0000800000000000, |
| 0x0000400000000000, |
| 0x0000200000000000, |
| 0x0000100000000000, |
| 0x0000080000000000, |
| 0x0000040000000000, |
| 0x0000020000000000, |
| 0x0000010000000000, |
| 0x0000008000000000, |
| 0x0000004000000000, |
| 0x0000002000000000, |
| 0x0000001000000000, |
| 0x0000000800000000, |
| 0x0000000400000000, |
| 0x0000000200000000, |
| 0x0000000100000000, |
| 0x0000000080000000, |
| 0x0000000040000000, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 0x0000000000000020, |
| 0x0000000000000010, |
| 0x0000000000000008, |
| 0x0000000000000004, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| 0x7fffffffffffffc1, |
| 0x3fffffffffffffe0, |
| 0x1ffffffffffffff0, |
| 0x0ffffffffffffff8, |
| 0x07fffffffffffffc, |
| 0x03fffffffffffffe, |
| 0x01ffffffffffffff, |
| 0x0100000000000000, |
| 0x0080000000000000, |
| 0x0040000000000000, |
| 0x0020000000000000, |
| 0x0010000000000000, |
| 0x0008000000000000, |
| 0x0004000000000000, |
| 0x0002000000000000, |
| 0x0001000000000000, |
| 0x0000800000000000, |
| 0x0000400000000000, |
| 0x0000200000000000, |
| 0x0000100000000000, |
| 0x0000080000000000, |
| 0x0000040000000000, |
| 0x0000020000000000, |
| 0x0000010000000000, |
| 0x0000008000000000, |
| 0x0000004000000000, |
| 0x0000002000000000, |
| 0x0000001000000000, |
| 0x0000000800000000, |
| 0x0000000400000000, |
| 0x0000000200000000, |
| 0x0000000100000000, |
| 0x0000000080000000, |
| 0x0000000040000000, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 0x0000000000000020, |
| 0x0000000000000010, |
| 0x0000000000000008, |
| 0x0000000000000004, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| 0x7fffffffffffffc1, |
| 0x3fffffffffffffe1, |
| 0x1ffffffffffffff0, |
| 0x0ffffffffffffff8, |
| 0x07fffffffffffffc, |
| 0x03fffffffffffffe, |
| 0x01ffffffffffffff, |
| 0x0100000000000000, |
| 0x0080000000000000, |
| 0x0040000000000000, |
| 0x0020000000000000, |
| 0x0010000000000000, |
| 0x0008000000000000, |
| 0x0004000000000000, |
| 0x0002000000000000, |
| 0x0001000000000000, |
| 0x0000800000000000, |
| 0x0000400000000000, |
| 0x0000200000000000, |
| 0x0000100000000000, |
| 0x0000080000000000, |
| 0x0000040000000000, |
| 0x0000020000000000, |
| 0x0000010000000000, |
| 0x0000008000000000, |
| 0x0000004000000000, |
| 0x0000002000000000, |
| 0x0000001000000000, |
| 0x0000000800000000, |
| 0x0000000400000000, |
| 0x0000000200000000, |
| 0x0000000100000000, |
| 0x0000000080000000, |
| 0x0000000040000000, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 0x0000000000000020, |
| 0x0000000000000010, |
| 0x0000000000000008, |
| 0x0000000000000004, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| 0x7fffffffffffffc2, |
| 0x3fffffffffffffe1, |
| 0x1ffffffffffffff0, |
| 0x0ffffffffffffff8, |
| 0x07fffffffffffffc, |
| 0x03fffffffffffffe, |
| 0x01ffffffffffffff, |
| 0x0100000000000000, |
| 0x0080000000000000, |
| 0x0040000000000000, |
| 0x0020000000000000, |
| 0x0010000000000000, |
| 0x0008000000000000, |
| 0x0004000000000000, |
| 0x0002000000000000, |
| 0x0001000000000000, |
| 0x0000800000000000, |
| 0x0000400000000000, |
| 0x0000200000000000, |
| 0x0000100000000000, |
| 0x0000080000000000, |
| 0x0000040000000000, |
| 0x0000020000000000, |
| 0x0000010000000000, |
| 0x0000008000000000, |
| 0x0000004000000000, |
| 0x0000002000000000, |
| 0x0000001000000000, |
| 0x0000000800000000, |
| 0x0000000400000000, |
| 0x0000000200000000, |
| 0x0000000100000000, |
| 0x0000000080000000, |
| 0x0000000040000000, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 0x0000000000000020, |
| 0x0000000000000010, |
| 0x0000000000000008, |
| 0x0000000000000004, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| 0x7fffffffffffffe0, |
| 0x3ffffffffffffff0, |
| 0x1ffffffffffffff8, |
| 0x0ffffffffffffffc, |
| 0x07fffffffffffffe, |
| 0x03ffffffffffffff, |
| 0x0200000000000000, |
| 0x0100000000000000, |
| 0x0080000000000000, |
| 0x0040000000000000, |
| 0x0020000000000000, |
| 0x0010000000000000, |
| 0x0008000000000000, |
| 0x0004000000000000, |
| 0x0002000000000000, |
| 0x0001000000000000, |
| 0x0000800000000000, |
| 0x0000400000000000, |
| 0x0000200000000000, |
| 0x0000100000000000, |
| 0x0000080000000000, |
| 0x0000040000000000, |
| 0x0000020000000000, |
| 0x0000010000000000, |
| 0x0000008000000000, |
| 0x0000004000000000, |
| 0x0000002000000000, |
| 0x0000001000000000, |
| 0x0000000800000000, |
| 0x0000000400000000, |
| 0x0000000200000000, |
| 0x0000000100000000, |
| 0x0000000080000000, |
| 0x0000000040000000, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 0x0000000000000020, |
| 0x0000000000000010, |
| 0x0000000000000008, |
| 0x0000000000000004, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| 0x7fffffffffffffff, |
| 0x3fffffffffffffff, |
| 0x2000000000000000, |
| 0x1000000000000000, |
| 0x0800000000000000, |
| 0x0400000000000000, |
| 0x0200000000000000, |
| 0x0100000000000000, |
| 0x0080000000000000, |
| 0x0040000000000000, |
| 0x0020000000000000, |
| 0x0010000000000000, |
| 0x0008000000000000, |
| 0x0004000000000000, |
| 0x0002000000000000, |
| 0x0001000000000000, |
| 0x0000800000000000, |
| 0x0000400000000000, |
| 0x0000200000000000, |
| 0x0000100000000000, |
| 0x0000080000000000, |
| 0x0000040000000000, |
| 0x0000020000000000, |
| 0x0000010000000000, |
| 0x0000008000000000, |
| 0x0000004000000000, |
| 0x0000002000000000, |
| 0x0000001000000000, |
| 0x0000000800000000, |
| 0x0000000400000000, |
| 0x0000000200000000, |
| 0x0000000100000000, |
| 0x0000000080000000, |
| 0x0000000040000000, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 0x0000000000000020, |
| 0x0000000000000010, |
| 0x0000000000000008, |
| 0x0000000000000004, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| 0x7fffffffffffffff, |
| 0x4000000000000000, |
| 0x2000000000000000, |
| 0x1000000000000000, |
| 0x0800000000000000, |
| 0x0400000000000000, |
| 0x0200000000000000, |
| 0x0100000000000000, |
| 0x0080000000000000, |
| 0x0040000000000000, |
| 0x0020000000000000, |
| 0x0010000000000000, |
| 0x0008000000000000, |
| 0x0004000000000000, |
| 0x0002000000000000, |
| 0x0001000000000000, |
| 0x0000800000000000, |
| 0x0000400000000000, |
| 0x0000200000000000, |
| 0x0000100000000000, |
| 0x0000080000000000, |
| 0x0000040000000000, |
| 0x0000020000000000, |
| 0x0000010000000000, |
| 0x0000008000000000, |
| 0x0000004000000000, |
| 0x0000002000000000, |
| 0x0000001000000000, |
| 0x0000000800000000, |
| 0x0000000400000000, |
| 0x0000000200000000, |
| 0x0000000100000000, |
| 0x0000000080000000, |
| 0x0000000040000000, |
| 0x0000000020000000, |
| 0x0000000010000000, |
| 0x0000000008000000, |
| 0x0000000004000000, |
| 0x0000000002000000, |
| 0x0000000001000000, |
| 0x0000000000800000, |
| 0x0000000000400000, |
| 0x0000000000200000, |
| 0x0000000000100000, |
| 0x0000000000080000, |
| 0x0000000000040000, |
| 0x0000000000020000, |
| 0x0000000000010000, |
| 0x0000000000008000, |
| 0x0000000000004000, |
| 0x0000000000002000, |
| 0x0000000000001000, |
| 0x0000000000000800, |
| 0x0000000000000400, |
| 0x0000000000000200, |
| 0x0000000000000100, |
| 0x0000000000000080, |
| 0x0000000000000040, |
| 0x0000000000000020, |
| 0x0000000000000010, |
| 0x0000000000000008, |
| 0x0000000000000004, |
| 0x0000000000000002, |
| 0x0000000000000001, |
| }; |
| const unsigned kExpectedCount_NEON_urshr_D_2OPIMM = 2560; |
| |
| #endif // VIXL_SIM_URSHR_D_2OPIMM_TRACE_AARCH64_H_ |
