C++程序  |  2602行  |  57.02 KB

// 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_SRSRA_D_2OPIMM_TRACE_AARCH64_H_
#define VIXL_SIM_SRSRA_D_2OPIMM_TRACE_AARCH64_H_

const uint64_t kExpected_NEON_srsra_D_2OPIMM[] = {
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  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,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000020,
  0x0000000000000030,
  0x0000000000000038,
  0x000000000000003c,
  0x000000000000003e,
  0x000000000000003f,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x000000000000003f,
  0x000000000000005e,
  0x000000000000006e,
  0x0000000000000076,
  0x000000000000007a,
  0x000000000000007c,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000003f,
  0x000000000000005f,
  0x000000000000006f,
  0x0000000000000077,
  0x000000000000007b,
  0x000000000000007d,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x0000000000000040,
  0x0000000000000060,
  0x0000000000000070,
  0x0000000000000078,
  0x000000000000007c,
  0x000000000000007e,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x0000000000003fff,
  0x0000000000005ffe,
  0x0000000000006ffe,
  0x00000000000077fe,
  0x0000000000007bfe,
  0x0000000000007dfe,
  0x0000000000007efe,
  0x0000000000007f7e,
  0x0000000000007fbe,
  0x0000000000007fde,
  0x0000000000007fee,
  0x0000000000007ff6,
  0x0000000000007ffa,
  0x0000000000007ffc,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000003fff,
  0x0000000000005fff,
  0x0000000000006fff,
  0x00000000000077ff,
  0x0000000000007bff,
  0x0000000000007dff,
  0x0000000000007eff,
  0x0000000000007f7f,
  0x0000000000007fbf,
  0x0000000000007fdf,
  0x0000000000007fef,
  0x0000000000007ff7,
  0x0000000000007ffb,
  0x0000000000007ffd,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000004000,
  0x0000000000006000,
  0x0000000000007000,
  0x0000000000007800,
  0x0000000000007c00,
  0x0000000000007e00,
  0x0000000000007f00,
  0x0000000000007f80,
  0x0000000000007fc0,
  0x0000000000007fe0,
  0x0000000000007ff0,
  0x0000000000007ff8,
  0x0000000000007ffc,
  0x0000000000007ffe,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x000000003fffffff,
  0x000000005ffffffe,
  0x000000006ffffffe,
  0x0000000077fffffe,
  0x000000007bfffffe,
  0x000000007dfffffe,
  0x000000007efffffe,
  0x000000007f7ffffe,
  0x000000007fbffffe,
  0x000000007fdffffe,
  0x000000007feffffe,
  0x000000007ff7fffe,
  0x000000007ffbfffe,
  0x000000007ffdfffe,
  0x000000007ffefffe,
  0x000000007fff7ffe,
  0x000000007fffbffe,
  0x000000007fffdffe,
  0x000000007fffeffe,
  0x000000007ffff7fe,
  0x000000007ffffbfe,
  0x000000007ffffdfe,
  0x000000007ffffefe,
  0x000000007fffff7e,
  0x000000007fffffbe,
  0x000000007fffffde,
  0x000000007fffffee,
  0x000000007ffffff6,
  0x000000007ffffffa,
  0x000000007ffffffc,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000003fffffff,
  0x000000005fffffff,
  0x000000006fffffff,
  0x0000000077ffffff,
  0x000000007bffffff,
  0x000000007dffffff,
  0x000000007effffff,
  0x000000007f7fffff,
  0x000000007fbfffff,
  0x000000007fdfffff,
  0x000000007fefffff,
  0x000000007ff7ffff,
  0x000000007ffbffff,
  0x000000007ffdffff,
  0x000000007ffeffff,
  0x000000007fff7fff,
  0x000000007fffbfff,
  0x000000007fffdfff,
  0x000000007fffefff,
  0x000000007ffff7ff,
  0x000000007ffffbff,
  0x000000007ffffdff,
  0x000000007ffffeff,
  0x000000007fffff7f,
  0x000000007fffffbf,
  0x000000007fffffdf,
  0x000000007fffffef,
  0x000000007ffffff7,
  0x000000007ffffffb,
  0x000000007ffffffd,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x0000000040000000,
  0x0000000060000000,
  0x0000000070000000,
  0x0000000078000000,
  0x000000007c000000,
  0x000000007e000000,
  0x000000007f000000,
  0x000000007f800000,
  0x000000007fc00000,
  0x000000007fe00000,
  0x000000007ff00000,
  0x000000007ff80000,
  0x000000007ffc0000,
  0x000000007ffe0000,
  0x000000007fff0000,
  0x000000007fff8000,
  0x000000007fffc000,
  0x000000007fffe000,
  0x000000007ffff000,
  0x000000007ffff800,
  0x000000007ffffc00,
  0x000000007ffffe00,
  0x000000007fffff00,
  0x000000007fffff80,
  0x000000007fffffc0,
  0x000000007fffffe0,
  0x000000007ffffff0,
  0x000000007ffffff8,
  0x000000007ffffffc,
  0x000000007ffffffe,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x199999999999999a,
  0x2666666666666667,
  0x2ccccccccccccccd,
  0x3000000000000000,
  0x319999999999999a,
  0x3266666666666667,
  0x32cccccccccccccd,
  0x3300000000000000,
  0x331999999999999a,
  0x3326666666666667,
  0x332ccccccccccccd,
  0x3330000000000000,
  0x333199999999999a,
  0x3332666666666667,
  0x3332cccccccccccd,
  0x3333000000000000,
  0x333319999999999a,
  0x3333266666666667,
  0x33332ccccccccccd,
  0x3333300000000000,
  0x333331999999999a,
  0x3333326666666667,
  0x333332cccccccccd,
  0x3333330000000000,
  0x333333199999999a,
  0x3333332666666667,
  0x3333332ccccccccd,
  0x3333333000000000,
  0x333333319999999a,
  0x3333333266666667,
  0x33333332cccccccd,
  0x3333333300000000,
  0x333333331999999a,
  0x3333333326666667,
  0x333333332ccccccd,
  0x3333333330000000,
  0x333333333199999a,
  0x3333333332666667,
  0x3333333332cccccd,
  0x3333333333000000,
  0x333333333319999a,
  0x3333333333266667,
  0x33333333332ccccd,
  0x3333333333300000,
  0x333333333331999a,
  0x3333333333326667,
  0x333333333332cccd,
  0x3333333333330000,
  0x333333333333199a,
  0x3333333333332667,
  0x3333333333332ccd,
  0x3333333333333000,
  0x333333333333319a,
  0x3333333333333267,
  0x33333333333332cd,
  0x3333333333333300,
  0x333333333333331a,
  0x3333333333333327,
  0x333333333333332d,
  0x3333333333333330,
  0x3333333333333332,
  0x3333333333333333,
  0x3333333333333333,
  0x3333333333333333,
  0x2aaaaaaaaaaaaaab,
  0x4000000000000000,
  0x4aaaaaaaaaaaaaab,
  0x5000000000000000,
  0x52aaaaaaaaaaaaab,
  0x5400000000000000,
  0x54aaaaaaaaaaaaab,
  0x5500000000000000,
  0x552aaaaaaaaaaaab,
  0x5540000000000000,
  0x554aaaaaaaaaaaab,
  0x5550000000000000,
  0x5552aaaaaaaaaaab,
  0x5554000000000000,
  0x5554aaaaaaaaaaab,
  0x5555000000000000,
  0x55552aaaaaaaaaab,
  0x5555400000000000,
  0x55554aaaaaaaaaab,
  0x5555500000000000,
  0x555552aaaaaaaaab,
  0x5555540000000000,
  0x555554aaaaaaaaab,
  0x5555550000000000,
  0x5555552aaaaaaaab,
  0x5555554000000000,
  0x5555554aaaaaaaab,
  0x5555555000000000,
  0x55555552aaaaaaab,
  0x5555555400000000,
  0x55555554aaaaaaab,
  0x5555555500000000,
  0x555555552aaaaaab,
  0x5555555540000000,
  0x555555554aaaaaab,
  0x5555555550000000,
  0x5555555552aaaaab,
  0x5555555554000000,
  0x5555555554aaaaab,
  0x5555555555000000,
  0x55555555552aaaab,
  0x5555555555400000,
  0x55555555554aaaab,
  0x5555555555500000,
  0x555555555552aaab,
  0x5555555555540000,
  0x555555555554aaab,
  0x5555555555550000,
  0x5555555555552aab,
  0x5555555555554000,
  0x5555555555554aab,
  0x5555555555555000,
  0x55555555555552ab,
  0x5555555555555400,
  0x55555555555554ab,
  0x5555555555555500,
  0x555555555555552b,
  0x5555555555555540,
  0x555555555555554b,
  0x5555555555555550,
  0x5555555555555553,
  0x5555555555555554,
  0x5555555555555555,
  0x5555555555555555,
  0x3fffffffffffffff,
  0x5ffffffffffffffe,
  0x6ffffffffffffffe,
  0x77fffffffffffffe,
  0x7bfffffffffffffe,
  0x7dfffffffffffffe,
  0x7efffffffffffffe,
  0x7f7ffffffffffffe,
  0x7fbffffffffffffe,
  0x7fdffffffffffffe,
  0x7feffffffffffffe,
  0x7ff7fffffffffffe,
  0x7ffbfffffffffffe,
  0x7ffdfffffffffffe,
  0x7ffefffffffffffe,
  0x7fff7ffffffffffe,
  0x7fffbffffffffffe,
  0x7fffdffffffffffe,
  0x7fffeffffffffffe,
  0x7ffff7fffffffffe,
  0x7ffffbfffffffffe,
  0x7ffffdfffffffffe,
  0x7ffffefffffffffe,
  0x7fffff7ffffffffe,
  0x7fffffbffffffffe,
  0x7fffffdffffffffe,
  0x7fffffeffffffffe,
  0x7ffffff7fffffffe,
  0x7ffffffbfffffffe,
  0x7ffffffdfffffffe,
  0x7ffffffefffffffe,
  0x7fffffff7ffffffe,
  0x7fffffffbffffffe,
  0x7fffffffdffffffe,
  0x7fffffffeffffffe,
  0x7ffffffff7fffffe,
  0x7ffffffffbfffffe,
  0x7ffffffffdfffffe,
  0x7ffffffffefffffe,
  0x7fffffffff7ffffe,
  0x7fffffffffbffffe,
  0x7fffffffffdffffe,
  0x7fffffffffeffffe,
  0x7ffffffffff7fffe,
  0x7ffffffffffbfffe,
  0x7ffffffffffdfffe,
  0x7ffffffffffefffe,
  0x7fffffffffff7ffe,
  0x7fffffffffffbffe,
  0x7fffffffffffdffe,
  0x7fffffffffffeffe,
  0x7ffffffffffff7fe,
  0x7ffffffffffffbfe,
  0x7ffffffffffffdfe,
  0x7ffffffffffffefe,
  0x7fffffffffffff7e,
  0x7fffffffffffffbe,
  0x7fffffffffffffde,
  0x7fffffffffffffee,
  0x7ffffffffffffff6,
  0x7ffffffffffffffa,
  0x7ffffffffffffffc,
  0x7ffffffffffffffd,
  0x7ffffffffffffffd,
  0x3fffffffffffffff,
  0x5fffffffffffffff,
  0x6fffffffffffffff,
  0x77ffffffffffffff,
  0x7bffffffffffffff,
  0x7dffffffffffffff,
  0x7effffffffffffff,
  0x7f7fffffffffffff,
  0x7fbfffffffffffff,
  0x7fdfffffffffffff,
  0x7fefffffffffffff,
  0x7ff7ffffffffffff,
  0x7ffbffffffffffff,
  0x7ffdffffffffffff,
  0x7ffeffffffffffff,
  0x7fff7fffffffffff,
  0x7fffbfffffffffff,
  0x7fffdfffffffffff,
  0x7fffefffffffffff,
  0x7ffff7ffffffffff,
  0x7ffffbffffffffff,
  0x7ffffdffffffffff,
  0x7ffffeffffffffff,
  0x7fffff7fffffffff,
  0x7fffffbfffffffff,
  0x7fffffdfffffffff,
  0x7fffffefffffffff,
  0x7ffffff7ffffffff,
  0x7ffffffbffffffff,
  0x7ffffffdffffffff,
  0x7ffffffeffffffff,
  0x7fffffff7fffffff,
  0x7fffffffbfffffff,
  0x7fffffffdfffffff,
  0x7fffffffefffffff,
  0x7ffffffff7ffffff,
  0x7ffffffffbffffff,
  0x7ffffffffdffffff,
  0x7ffffffffeffffff,
  0x7fffffffff7fffff,
  0x7fffffffffbfffff,
  0x7fffffffffdfffff,
  0x7fffffffffefffff,
  0x7ffffffffff7ffff,
  0x7ffffffffffbffff,
  0x7ffffffffffdffff,
  0x7ffffffffffeffff,
  0x7fffffffffff7fff,
  0x7fffffffffffbfff,
  0x7fffffffffffdfff,
  0x7fffffffffffefff,
  0x7ffffffffffff7ff,
  0x7ffffffffffffbff,
  0x7ffffffffffffdff,
  0x7ffffffffffffeff,
  0x7fffffffffffff7f,
  0x7fffffffffffffbf,
  0x7fffffffffffffdf,
  0x7fffffffffffffef,
  0x7ffffffffffffff7,
  0x7ffffffffffffffb,
  0x7ffffffffffffffd,
  0x7ffffffffffffffe,
  0x7ffffffffffffffe,
  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,
  0xc000000000000000,
  0xa000000000000000,
  0x9000000000000000,
  0x8800000000000000,
  0x8400000000000000,
  0x8200000000000000,
  0x8100000000000000,
  0x8080000000000000,
  0x8040000000000000,
  0x8020000000000000,
  0x8010000000000000,
  0x8008000000000000,
  0x8004000000000000,
  0x8002000000000000,
  0x8001000000000000,
  0x8000800000000000,
  0x8000400000000000,
  0x8000200000000000,
  0x8000100000000000,
  0x8000080000000000,
  0x8000040000000000,
  0x8000020000000000,
  0x8000010000000000,
  0x8000008000000000,
  0x8000004000000000,
  0x8000002000000000,
  0x8000001000000000,
  0x8000000800000000,
  0x8000000400000000,
  0x8000000200000000,
  0x8000000100000000,
  0x8000000080000000,
  0x8000000040000000,
  0x8000000020000000,
  0x8000000010000000,
  0x8000000008000000,
  0x8000000004000000,
  0x8000000002000000,
  0x8000000001000000,
  0x8000000000800000,
  0x8000000000400000,
  0x8000000000200000,
  0x8000000000100000,
  0x8000000000080000,
  0x8000000000040000,
  0x8000000000020000,
  0x8000000000010000,
  0x8000000000008000,
  0x8000000000004000,
  0x8000000000002000,
  0x8000000000001000,
  0x8000000000000800,
  0x8000000000000400,
  0x8000000000000200,
  0x8000000000000100,
  0x8000000000000080,
  0x8000000000000040,
  0x8000000000000020,
  0x8000000000000010,
  0x8000000000000008,
  0x8000000000000004,
  0x8000000000000002,
  0x8000000000000001,
  0x8000000000000001,
  0xc000000000000001,
  0xa000000000000001,
  0x9000000000000001,
  0x8800000000000001,
  0x8400000000000001,
  0x8200000000000001,
  0x8100000000000001,
  0x8080000000000001,
  0x8040000000000001,
  0x8020000000000001,
  0x8010000000000001,
  0x8008000000000001,
  0x8004000000000001,
  0x8002000000000001,
  0x8001000000000001,
  0x8000800000000001,
  0x8000400000000001,
  0x8000200000000001,
  0x8000100000000001,
  0x8000080000000001,
  0x8000040000000001,
  0x8000020000000001,
  0x8000010000000001,
  0x8000008000000001,
  0x8000004000000001,
  0x8000002000000001,
  0x8000001000000001,
  0x8000000800000001,
  0x8000000400000001,
  0x8000000200000001,
  0x8000000100000001,
  0x8000000080000001,
  0x8000000040000001,
  0x8000000020000001,
  0x8000000010000001,
  0x8000000008000001,
  0x8000000004000001,
  0x8000000002000001,
  0x8000000001000001,
  0x8000000000800001,
  0x8000000000400001,
  0x8000000000200001,
  0x8000000000100001,
  0x8000000000080001,
  0x8000000000040001,
  0x8000000000020001,
  0x8000000000010001,
  0x8000000000008001,
  0x8000000000004001,
  0x8000000000002001,
  0x8000000000001001,
  0x8000000000000801,
  0x8000000000000401,
  0x8000000000000201,
  0x8000000000000101,
  0x8000000000000081,
  0x8000000000000041,
  0x8000000000000021,
  0x8000000000000011,
  0x8000000000000009,
  0x8000000000000005,
  0x8000000000000003,
  0x8000000000000002,
  0x8000000000000002,
  0xc000000000000001,
  0xa000000000000002,
  0x9000000000000002,
  0x8800000000000002,
  0x8400000000000002,
  0x8200000000000002,
  0x8100000000000002,
  0x8080000000000002,
  0x8040000000000002,
  0x8020000000000002,
  0x8010000000000002,
  0x8008000000000002,
  0x8004000000000002,
  0x8002000000000002,
  0x8001000000000002,
  0x8000800000000002,
  0x8000400000000002,
  0x8000200000000002,
  0x8000100000000002,
  0x8000080000000002,
  0x8000040000000002,
  0x8000020000000002,
  0x8000010000000002,
  0x8000008000000002,
  0x8000004000000002,
  0x8000002000000002,
  0x8000001000000002,
  0x8000000800000002,
  0x8000000400000002,
  0x8000000200000002,
  0x8000000100000002,
  0x8000000080000002,
  0x8000000040000002,
  0x8000000020000002,
  0x8000000010000002,
  0x8000000008000002,
  0x8000000004000002,
  0x8000000002000002,
  0x8000000001000002,
  0x8000000000800002,
  0x8000000000400002,
  0x8000000000200002,
  0x8000000000100002,
  0x8000000000080002,
  0x8000000000040002,
  0x8000000000020002,
  0x8000000000010002,
  0x8000000000008002,
  0x8000000000004002,
  0x8000000000002002,
  0x8000000000001002,
  0x8000000000000802,
  0x8000000000000402,
  0x8000000000000202,
  0x8000000000000102,
  0x8000000000000082,
  0x8000000000000042,
  0x8000000000000022,
  0x8000000000000012,
  0x800000000000000a,
  0x8000000000000006,
  0x8000000000000004,
  0x8000000000000003,
  0x8000000000000003,
  0xc000000000000002,
  0xa000000000000003,
  0x9000000000000003,
  0x8800000000000003,
  0x8400000000000003,
  0x8200000000000003,
  0x8100000000000003,
  0x8080000000000003,
  0x8040000000000003,
  0x8020000000000003,
  0x8010000000000003,
  0x8008000000000003,
  0x8004000000000003,
  0x8002000000000003,
  0x8001000000000003,
  0x8000800000000003,
  0x8000400000000003,
  0x8000200000000003,
  0x8000100000000003,
  0x8000080000000003,
  0x8000040000000003,
  0x8000020000000003,
  0x8000010000000003,
  0x8000008000000003,
  0x8000004000000003,
  0x8000002000000003,
  0x8000001000000003,
  0x8000000800000003,
  0x8000000400000003,
  0x8000000200000003,
  0x8000000100000003,
  0x8000000080000003,
  0x8000000040000003,
  0x8000000020000003,
  0x8000000010000003,
  0x8000000008000003,
  0x8000000004000003,
  0x8000000002000003,
  0x8000000001000003,
  0x8000000000800003,
  0x8000000000400003,
  0x8000000000200003,
  0x8000000000100003,
  0x8000000000080003,
  0x8000000000040003,
  0x8000000000020003,
  0x8000000000010003,
  0x8000000000008003,
  0x8000000000004003,
  0x8000000000002003,
  0x8000000000001003,
  0x8000000000000803,
  0x8000000000000403,
  0x8000000000000203,
  0x8000000000000103,
  0x8000000000000083,
  0x8000000000000043,
  0x8000000000000023,
  0x8000000000000013,
  0x800000000000000b,
  0x8000000000000007,
  0x8000000000000005,
  0x8000000000000004,
  0x8000000000000004,
  0xd555555555555555,
  0xc000000000000000,
  0xb555555555555555,
  0xb000000000000000,
  0xad55555555555555,
  0xac00000000000000,
  0xab55555555555555,
  0xab00000000000000,
  0xaad5555555555555,
  0xaac0000000000000,
  0xaab5555555555555,
  0xaab0000000000000,
  0xaaad555555555555,
  0xaaac000000000000,
  0xaaab555555555555,
  0xaaab000000000000,
  0xaaaad55555555555,
  0xaaaac00000000000,
  0xaaaab55555555555,
  0xaaaab00000000000,
  0xaaaaad5555555555,
  0xaaaaac0000000000,
  0xaaaaab5555555555,
  0xaaaaab0000000000,
  0xaaaaaad555555555,
  0xaaaaaac000000000,
  0xaaaaaab555555555,
  0xaaaaaab000000000,
  0xaaaaaaad55555555,
  0xaaaaaaac00000000,
  0xaaaaaaab55555555,
  0xaaaaaaab00000000,
  0xaaaaaaaad5555555,
  0xaaaaaaaac0000000,
  0xaaaaaaaab5555555,
  0xaaaaaaaab0000000,
  0xaaaaaaaaad555555,
  0xaaaaaaaaac000000,
  0xaaaaaaaaab555555,
  0xaaaaaaaaab000000,
  0xaaaaaaaaaad55555,
  0xaaaaaaaaaac00000,
  0xaaaaaaaaaab55555,
  0xaaaaaaaaaab00000,
  0xaaaaaaaaaaad5555,
  0xaaaaaaaaaaac0000,
  0xaaaaaaaaaaab5555,
  0xaaaaaaaaaaab0000,
  0xaaaaaaaaaaaad555,
  0xaaaaaaaaaaaac000,
  0xaaaaaaaaaaaab555,
  0xaaaaaaaaaaaab000,
  0xaaaaaaaaaaaaad55,
  0xaaaaaaaaaaaaac00,
  0xaaaaaaaaaaaaab55,
  0xaaaaaaaaaaaaab00,
  0xaaaaaaaaaaaaaad5,
  0xaaaaaaaaaaaaaac0,
  0xaaaaaaaaaaaaaab5,
  0xaaaaaaaaaaaaaab0,
  0xaaaaaaaaaaaaaaad,
  0xaaaaaaaaaaaaaaac,
  0xaaaaaaaaaaaaaaab,
  0xaaaaaaaaaaaaaaab,
  0xe666666666666666,
  0xd999999999999999,
  0xd333333333333333,
  0xd000000000000000,
  0xce66666666666666,
  0xcd99999999999999,
  0xcd33333333333333,
  0xcd00000000000000,
  0xcce6666666666666,
  0xccd9999999999999,
  0xccd3333333333333,
  0xccd0000000000000,
  0xccce666666666666,
  0xcccd999999999999,
  0xcccd333333333333,
  0xcccd000000000000,
  0xcccce66666666666,
  0xccccd99999999999,
  0xccccd33333333333,
  0xccccd00000000000,
  0xccccce6666666666,
  0xcccccd9999999999,
  0xcccccd3333333333,
  0xcccccd0000000000,
  0xcccccce666666666,
  0xccccccd999999999,
  0xccccccd333333333,
  0xccccccd000000000,
  0xccccccce66666666,
  0xcccccccd99999999,
  0xcccccccd33333333,
  0xcccccccd00000000,
  0xcccccccce6666666,
  0xccccccccd9999999,
  0xccccccccd3333333,
  0xccccccccd0000000,
  0xccccccccce666666,
  0xcccccccccd999999,
  0xcccccccccd333333,
  0xcccccccccd000000,
  0xcccccccccce66666,
  0xccccccccccd99999,
  0xccccccccccd33333,
  0xccccccccccd00000,
  0xccccccccccce6666,
  0xcccccccccccd9999,
  0xcccccccccccd3333,
  0xcccccccccccd0000,
  0xcccccccccccce666,
  0xccccccccccccd999,
  0xccccccccccccd333,
  0xccccccccccccd000,
  0xccccccccccccce66,
  0xcccccccccccccd99,
  0xcccccccccccccd33,
  0xcccccccccccccd00,
  0xcccccccccccccce6,
  0xccccccccccccccd9,
  0xccccccccccccccd3,
  0xccccccccccccccd0,
  0xccccccccccccccce,
  0xcccccccccccccccd,
  0xcccccccccccccccd,
  0xcccccccccccccccd,
  0xffffffffc0000000,
  0xffffffffa0000000,
  0xffffffff90000000,
  0xffffffff88000000,
  0xffffffff84000000,
  0xffffffff82000000,
  0xffffffff81000000,
  0xffffffff80800000,
  0xffffffff80400000,
  0xffffffff80200000,
  0xffffffff80100000,
  0xffffffff80080000,
  0xffffffff80040000,
  0xffffffff80020000,
  0xffffffff80010000,
  0xffffffff80008000,
  0xffffffff80004000,
  0xffffffff80002000,
  0xffffffff80001000,
  0xffffffff80000800,
  0xffffffff80000400,
  0xffffffff80000200,
  0xffffffff80000100,
  0xffffffff80000080,
  0xffffffff80000040,
  0xffffffff80000020,
  0xffffffff80000010,
  0xffffffff80000008,
  0xffffffff80000004,
  0xffffffff80000002,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffff80000001,
  0xffffffffc0000001,
  0xffffffffa0000001,
  0xffffffff90000001,
  0xffffffff88000001,
  0xffffffff84000001,
  0xffffffff82000001,
  0xffffffff81000001,
  0xffffffff80800001,
  0xffffffff80400001,
  0xffffffff80200001,
  0xffffffff80100001,
  0xffffffff80080001,
  0xffffffff80040001,
  0xffffffff80020001,
  0xffffffff80010001,
  0xffffffff80008001,
  0xffffffff80004001,
  0xffffffff80002001,
  0xffffffff80001001,
  0xffffffff80000801,
  0xffffffff80000401,
  0xffffffff80000201,
  0xffffffff80000101,
  0xffffffff80000081,
  0xffffffff80000041,
  0xffffffff80000021,
  0xffffffff80000011,
  0xffffffff80000009,
  0xffffffff80000005,
  0xffffffff80000003,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffff80000002,
  0xffffffffc0000001,
  0xffffffffa0000002,
  0xffffffff90000002,
  0xffffffff88000002,
  0xffffffff84000002,
  0xffffffff82000002,
  0xffffffff81000002,
  0xffffffff80800002,
  0xffffffff80400002,
  0xffffffff80200002,
  0xffffffff80100002,
  0xffffffff80080002,
  0xffffffff80040002,
  0xffffffff80020002,
  0xffffffff80010002,
  0xffffffff80008002,
  0xffffffff80004002,
  0xffffffff80002002,
  0xffffffff80001002,
  0xffffffff80000802,
  0xffffffff80000402,
  0xffffffff80000202,
  0xffffffff80000102,
  0xffffffff80000082,
  0xffffffff80000042,
  0xffffffff80000022,
  0xffffffff80000012,
  0xffffffff8000000a,
  0xffffffff80000006,
  0xffffffff80000004,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffff80000003,
  0xffffffffc0000002,
  0xffffffffa0000003,
  0xffffffff90000003,
  0xffffffff88000003,
  0xffffffff84000003,
  0xffffffff82000003,
  0xffffffff81000003,
  0xffffffff80800003,
  0xffffffff80400003,
  0xffffffff80200003,
  0xffffffff80100003,
  0xffffffff80080003,
  0xffffffff80040003,
  0xffffffff80020003,
  0xffffffff80010003,
  0xffffffff80008003,
  0xffffffff80004003,
  0xffffffff80002003,
  0xffffffff80001003,
  0xffffffff80000803,
  0xffffffff80000403,
  0xffffffff80000203,
  0xffffffff80000103,
  0xffffffff80000083,
  0xffffffff80000043,
  0xffffffff80000023,
  0xffffffff80000013,
  0xffffffff8000000b,
  0xffffffff80000007,
  0xffffffff80000005,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffff80000004,
  0xffffffffffffc000,
  0xffffffffffffa000,
  0xffffffffffff9000,
  0xffffffffffff8800,
  0xffffffffffff8400,
  0xffffffffffff8200,
  0xffffffffffff8100,
  0xffffffffffff8080,
  0xffffffffffff8040,
  0xffffffffffff8020,
  0xffffffffffff8010,
  0xffffffffffff8008,
  0xffffffffffff8004,
  0xffffffffffff8002,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffff8001,
  0xffffffffffffc001,
  0xffffffffffffa001,
  0xffffffffffff9001,
  0xffffffffffff8801,
  0xffffffffffff8401,
  0xffffffffffff8201,
  0xffffffffffff8101,
  0xffffffffffff8081,
  0xffffffffffff8041,
  0xffffffffffff8021,
  0xffffffffffff8011,
  0xffffffffffff8009,
  0xffffffffffff8005,
  0xffffffffffff8003,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffff8002,
  0xffffffffffffc001,
  0xffffffffffffa002,
  0xffffffffffff9002,
  0xffffffffffff8802,
  0xffffffffffff8402,
  0xffffffffffff8202,
  0xffffffffffff8102,
  0xffffffffffff8082,
  0xffffffffffff8042,
  0xffffffffffff8022,
  0xffffffffffff8012,
  0xffffffffffff800a,
  0xffffffffffff8006,
  0xffffffffffff8004,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffff8003,
  0xffffffffffffc002,
  0xffffffffffffa003,
  0xffffffffffff9003,
  0xffffffffffff8803,
  0xffffffffffff8403,
  0xffffffffffff8203,
  0xffffffffffff8103,
  0xffffffffffff8083,
  0xffffffffffff8043,
  0xffffffffffff8023,
  0xffffffffffff8013,
  0xffffffffffff800b,
  0xffffffffffff8007,
  0xffffffffffff8005,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffff8004,
  0xffffffffffffffc0,
  0xffffffffffffffa0,
  0xffffffffffffff90,
  0xffffffffffffff88,
  0xffffffffffffff84,
  0xffffffffffffff82,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffff81,
  0xffffffffffffffc1,
  0xffffffffffffffa1,
  0xffffffffffffff91,
  0xffffffffffffff89,
  0xffffffffffffff85,
  0xffffffffffffff83,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffff82,
  0xffffffffffffffc1,
  0xffffffffffffffa2,
  0xffffffffffffff92,
  0xffffffffffffff8a,
  0xffffffffffffff86,
  0xffffffffffffff84,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffff83,
  0xffffffffffffffc2,
  0xffffffffffffffa3,
  0xffffffffffffff93,
  0xffffffffffffff8b,
  0xffffffffffffff87,
  0xffffffffffffff85,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffff84,
  0xffffffffffffffe0,
  0xffffffffffffffd0,
  0xffffffffffffffc8,
  0xffffffffffffffc4,
  0xffffffffffffffc2,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffc1,
  0xffffffffffffffff,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xfffffffffffffffe,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
};
const unsigned kExpectedCount_NEON_srsra_D_2OPIMM = 2560;

#endif  // VIXL_SIM_SRSRA_D_2OPIMM_TRACE_AARCH64_H_