blob: bc1b0f721d70d85b1cdbd6ae7408e2e724abdaba [file] [log] [blame]
// 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_SCVTF_D_2OPIMM_TRACE_AARCH64_H_
#define VIXL_SIM_SCVTF_D_2OPIMM_TRACE_AARCH64_H_
const uint64_t kExpected_NEON_scvtf_D_2OPIMM[] = {
0xbff0000000000000,
0xbfe0000000000000,
0xbfd0000000000000,
0xbfc0000000000000,
0xbfb0000000000000,
0xbfa0000000000000,
0xbf90000000000000,
0xbf80000000000000,
0xbf70000000000000,
0xbf60000000000000,
0xbf50000000000000,
0xbf40000000000000,
0xbf30000000000000,
0xbf20000000000000,
0xbf10000000000000,
0xbf00000000000000,
0xbef0000000000000,
0xbee0000000000000,
0xbed0000000000000,
0xbec0000000000000,
0xbeb0000000000000,
0xbea0000000000000,
0xbe90000000000000,
0xbe80000000000000,
0xbe70000000000000,
0xbe60000000000000,
0xbe50000000000000,
0xbe40000000000000,
0xbe30000000000000,
0xbe20000000000000,
0xbe10000000000000,
0xbe00000000000000,
0xbdf0000000000000,
0xbde0000000000000,
0xbdd0000000000000,
0xbdc0000000000000,
0xbdb0000000000000,
0xbda0000000000000,
0xbd90000000000000,
0xbd80000000000000,
0xbd70000000000000,
0xbd60000000000000,
0xbd50000000000000,
0xbd40000000000000,
0xbd30000000000000,
0xbd20000000000000,
0xbd10000000000000,
0xbd00000000000000,
0xbcf0000000000000,
0xbce0000000000000,
0xbcd0000000000000,
0xbcc0000000000000,
0xbcb0000000000000,
0xbca0000000000000,
0xbc90000000000000,
0xbc80000000000000,
0xbc70000000000000,
0xbc60000000000000,
0xbc50000000000000,
0xbc40000000000000,
0xbc30000000000000,
0xbc20000000000000,
0xbc10000000000000,
0xbc00000000000000,
0xbbf0000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x3ff0000000000000,
0x3fe0000000000000,
0x3fd0000000000000,
0x3fc0000000000000,
0x3fb0000000000000,
0x3fa0000000000000,
0x3f90000000000000,
0x3f80000000000000,
0x3f70000000000000,
0x3f60000000000000,
0x3f50000000000000,
0x3f40000000000000,
0x3f30000000000000,
0x3f20000000000000,
0x3f10000000000000,
0x3f00000000000000,
0x3ef0000000000000,
0x3ee0000000000000,
0x3ed0000000000000,
0x3ec0000000000000,
0x3eb0000000000000,
0x3ea0000000000000,
0x3e90000000000000,
0x3e80000000000000,
0x3e70000000000000,
0x3e60000000000000,
0x3e50000000000000,
0x3e40000000000000,
0x3e30000000000000,
0x3e20000000000000,
0x3e10000000000000,
0x3e00000000000000,
0x3df0000000000000,
0x3de0000000000000,
0x3dd0000000000000,
0x3dc0000000000000,
0x3db0000000000000,
0x3da0000000000000,
0x3d90000000000000,
0x3d80000000000000,
0x3d70000000000000,
0x3d60000000000000,
0x3d50000000000000,
0x3d40000000000000,
0x3d30000000000000,
0x3d20000000000000,
0x3d10000000000000,
0x3d00000000000000,
0x3cf0000000000000,
0x3ce0000000000000,
0x3cd0000000000000,
0x3cc0000000000000,
0x3cb0000000000000,
0x3ca0000000000000,
0x3c90000000000000,
0x3c80000000000000,
0x3c70000000000000,
0x3c60000000000000,
0x3c50000000000000,
0x3c40000000000000,
0x3c30000000000000,
0x3c20000000000000,
0x3c10000000000000,
0x3c00000000000000,
0x3bf0000000000000,
0x4000000000000000,
0x3ff0000000000000,
0x3fe0000000000000,
0x3fd0000000000000,
0x3fc0000000000000,
0x3fb0000000000000,
0x3fa0000000000000,
0x3f90000000000000,
0x3f80000000000000,
0x3f70000000000000,
0x3f60000000000000,
0x3f50000000000000,
0x3f40000000000000,
0x3f30000000000000,
0x3f20000000000000,
0x3f10000000000000,
0x3f00000000000000,
0x3ef0000000000000,
0x3ee0000000000000,
0x3ed0000000000000,
0x3ec0000000000000,
0x3eb0000000000000,
0x3ea0000000000000,
0x3e90000000000000,
0x3e80000000000000,
0x3e70000000000000,
0x3e60000000000000,
0x3e50000000000000,
0x3e40000000000000,
0x3e30000000000000,
0x3e20000000000000,
0x3e10000000000000,
0x3e00000000000000,
0x3df0000000000000,
0x3de0000000000000,
0x3dd0000000000000,
0x3dc0000000000000,
0x3db0000000000000,
0x3da0000000000000,
0x3d90000000000000,
0x3d80000000000000,
0x3d70000000000000,
0x3d60000000000000,
0x3d50000000000000,
0x3d40000000000000,
0x3d30000000000000,
0x3d20000000000000,
0x3d10000000000000,
0x3d00000000000000,
0x3cf0000000000000,
0x3ce0000000000000,
0x3cd0000000000000,
0x3cc0000000000000,
0x3cb0000000000000,
0x3ca0000000000000,
0x3c90000000000000,
0x3c80000000000000,
0x3c70000000000000,
0x3c60000000000000,
0x3c50000000000000,
0x3c40000000000000,
0x3c30000000000000,
0x3c20000000000000,
0x3c10000000000000,
0x3c00000000000000,
0x4050000000000000,
0x4040000000000000,
0x4030000000000000,
0x4020000000000000,
0x4010000000000000,
0x4000000000000000,
0x3ff0000000000000,
0x3fe0000000000000,
0x3fd0000000000000,
0x3fc0000000000000,
0x3fb0000000000000,
0x3fa0000000000000,
0x3f90000000000000,
0x3f80000000000000,
0x3f70000000000000,
0x3f60000000000000,
0x3f50000000000000,
0x3f40000000000000,
0x3f30000000000000,
0x3f20000000000000,
0x3f10000000000000,
0x3f00000000000000,
0x3ef0000000000000,
0x3ee0000000000000,
0x3ed0000000000000,
0x3ec0000000000000,
0x3eb0000000000000,
0x3ea0000000000000,
0x3e90000000000000,
0x3e80000000000000,
0x3e70000000000000,
0x3e60000000000000,
0x3e50000000000000,
0x3e40000000000000,
0x3e30000000000000,
0x3e20000000000000,
0x3e10000000000000,
0x3e00000000000000,
0x3df0000000000000,
0x3de0000000000000,
0x3dd0000000000000,
0x3dc0000000000000,
0x3db0000000000000,
0x3da0000000000000,
0x3d90000000000000,
0x3d80000000000000,
0x3d70000000000000,
0x3d60000000000000,
0x3d50000000000000,
0x3d40000000000000,
0x3d30000000000000,
0x3d20000000000000,
0x3d10000000000000,
0x3d00000000000000,
0x3cf0000000000000,
0x3ce0000000000000,
0x3cd0000000000000,
0x3cc0000000000000,
0x3cb0000000000000,
0x3ca0000000000000,
0x3c90000000000000,
0x3c80000000000000,
0x3c70000000000000,
0x3c60000000000000,
0x3c50000000000000,
0x405f400000000000,
0x404f400000000000,
0x403f400000000000,
0x402f400000000000,
0x401f400000000000,
0x400f400000000000,
0x3fff400000000000,
0x3fef400000000000,
0x3fdf400000000000,
0x3fcf400000000000,
0x3fbf400000000000,
0x3faf400000000000,
0x3f9f400000000000,
0x3f8f400000000000,
0x3f7f400000000000,
0x3f6f400000000000,
0x3f5f400000000000,
0x3f4f400000000000,
0x3f3f400000000000,
0x3f2f400000000000,
0x3f1f400000000000,
0x3f0f400000000000,
0x3eff400000000000,
0x3eef400000000000,
0x3edf400000000000,
0x3ecf400000000000,
0x3ebf400000000000,
0x3eaf400000000000,
0x3e9f400000000000,
0x3e8f400000000000,
0x3e7f400000000000,
0x3e6f400000000000,
0x3e5f400000000000,
0x3e4f400000000000,
0x3e3f400000000000,
0x3e2f400000000000,
0x3e1f400000000000,
0x3e0f400000000000,
0x3dff400000000000,
0x3def400000000000,
0x3ddf400000000000,
0x3dcf400000000000,
0x3dbf400000000000,
0x3daf400000000000,
0x3d9f400000000000,
0x3d8f400000000000,
0x3d7f400000000000,
0x3d6f400000000000,
0x3d5f400000000000,
0x3d4f400000000000,
0x3d3f400000000000,
0x3d2f400000000000,
0x3d1f400000000000,
0x3d0f400000000000,
0x3cff400000000000,
0x3cef400000000000,
0x3cdf400000000000,
0x3ccf400000000000,
0x3cbf400000000000,
0x3caf400000000000,
0x3c9f400000000000,
0x3c8f400000000000,
0x3c7f400000000000,
0x3c6f400000000000,
0x3c5f400000000000,
0x405f800000000000,
0x404f800000000000,
0x403f800000000000,
0x402f800000000000,
0x401f800000000000,
0x400f800000000000,
0x3fff800000000000,
0x3fef800000000000,
0x3fdf800000000000,
0x3fcf800000000000,
0x3fbf800000000000,
0x3faf800000000000,
0x3f9f800000000000,
0x3f8f800000000000,
0x3f7f800000000000,
0x3f6f800000000000,
0x3f5f800000000000,
0x3f4f800000000000,
0x3f3f800000000000,
0x3f2f800000000000,
0x3f1f800000000000,
0x3f0f800000000000,
0x3eff800000000000,
0x3eef800000000000,
0x3edf800000000000,
0x3ecf800000000000,
0x3ebf800000000000,
0x3eaf800000000000,
0x3e9f800000000000,
0x3e8f800000000000,
0x3e7f800000000000,
0x3e6f800000000000,
0x3e5f800000000000,
0x3e4f800000000000,
0x3e3f800000000000,
0x3e2f800000000000,
0x3e1f800000000000,
0x3e0f800000000000,
0x3dff800000000000,
0x3def800000000000,
0x3ddf800000000000,
0x3dcf800000000000,
0x3dbf800000000000,
0x3daf800000000000,
0x3d9f800000000000,
0x3d8f800000000000,
0x3d7f800000000000,
0x3d6f800000000000,
0x3d5f800000000000,
0x3d4f800000000000,
0x3d3f800000000000,
0x3d2f800000000000,
0x3d1f800000000000,
0x3d0f800000000000,
0x3cff800000000000,
0x3cef800000000000,
0x3cdf800000000000,
0x3ccf800000000000,
0x3cbf800000000000,
0x3caf800000000000,
0x3c9f800000000000,
0x3c8f800000000000,
0x3c7f800000000000,
0x3c6f800000000000,
0x3c5f800000000000,
0x405fc00000000000,
0x404fc00000000000,
0x403fc00000000000,
0x402fc00000000000,
0x401fc00000000000,
0x400fc00000000000,
0x3fffc00000000000,
0x3fefc00000000000,
0x3fdfc00000000000,
0x3fcfc00000000000,
0x3fbfc00000000000,
0x3fafc00000000000,
0x3f9fc00000000000,
0x3f8fc00000000000,
0x3f7fc00000000000,
0x3f6fc00000000000,
0x3f5fc00000000000,
0x3f4fc00000000000,
0x3f3fc00000000000,
0x3f2fc00000000000,
0x3f1fc00000000000,
0x3f0fc00000000000,
0x3effc00000000000,
0x3eefc00000000000,
0x3edfc00000000000,
0x3ecfc00000000000,
0x3ebfc00000000000,
0x3eafc00000000000,
0x3e9fc00000000000,
0x3e8fc00000000000,
0x3e7fc00000000000,
0x3e6fc00000000000,
0x3e5fc00000000000,
0x3e4fc00000000000,
0x3e3fc00000000000,
0x3e2fc00000000000,
0x3e1fc00000000000,
0x3e0fc00000000000,
0x3dffc00000000000,
0x3defc00000000000,
0x3ddfc00000000000,
0x3dcfc00000000000,
0x3dbfc00000000000,
0x3dafc00000000000,
0x3d9fc00000000000,
0x3d8fc00000000000,
0x3d7fc00000000000,
0x3d6fc00000000000,
0x3d5fc00000000000,
0x3d4fc00000000000,
0x3d3fc00000000000,
0x3d2fc00000000000,
0x3d1fc00000000000,
0x3d0fc00000000000,
0x3cffc00000000000,
0x3cefc00000000000,
0x3cdfc00000000000,
0x3ccfc00000000000,
0x3cbfc00000000000,
0x3cafc00000000000,
0x3c9fc00000000000,
0x3c8fc00000000000,
0x3c7fc00000000000,
0x3c6fc00000000000,
0x3c5fc00000000000,
0x40dfff4000000000,
0x40cfff4000000000,
0x40bfff4000000000,
0x40afff4000000000,
0x409fff4000000000,
0x408fff4000000000,
0x407fff4000000000,
0x406fff4000000000,
0x405fff4000000000,
0x404fff4000000000,
0x403fff4000000000,
0x402fff4000000000,
0x401fff4000000000,
0x400fff4000000000,
0x3fffff4000000000,
0x3fefff4000000000,
0x3fdfff4000000000,
0x3fcfff4000000000,
0x3fbfff4000000000,
0x3fafff4000000000,
0x3f9fff4000000000,
0x3f8fff4000000000,
0x3f7fff4000000000,
0x3f6fff4000000000,
0x3f5fff4000000000,
0x3f4fff4000000000,
0x3f3fff4000000000,
0x3f2fff4000000000,
0x3f1fff4000000000,
0x3f0fff4000000000,
0x3effff4000000000,
0x3eefff4000000000,
0x3edfff4000000000,
0x3ecfff4000000000,
0x3ebfff4000000000,
0x3eafff4000000000,
0x3e9fff4000000000,
0x3e8fff4000000000,
0x3e7fff4000000000,
0x3e6fff4000000000,
0x3e5fff4000000000,
0x3e4fff4000000000,
0x3e3fff4000000000,
0x3e2fff4000000000,
0x3e1fff4000000000,
0x3e0fff4000000000,
0x3dffff4000000000,
0x3defff4000000000,
0x3ddfff4000000000,
0x3dcfff4000000000,
0x3dbfff4000000000,
0x3dafff4000000000,
0x3d9fff4000000000,
0x3d8fff4000000000,
0x3d7fff4000000000,
0x3d6fff4000000000,
0x3d5fff4000000000,
0x3d4fff4000000000,
0x3d3fff4000000000,
0x3d2fff4000000000,
0x3d1fff4000000000,
0x3d0fff4000000000,
0x3cffff4000000000,
0x3cefff4000000000,
0x3cdfff4000000000,
0x40dfff8000000000,
0x40cfff8000000000,
0x40bfff8000000000,
0x40afff8000000000,
0x409fff8000000000,
0x408fff8000000000,
0x407fff8000000000,
0x406fff8000000000,
0x405fff8000000000,
0x404fff8000000000,
0x403fff8000000000,
0x402fff8000000000,
0x401fff8000000000,
0x400fff8000000000,
0x3fffff8000000000,
0x3fefff8000000000,
0x3fdfff8000000000,
0x3fcfff8000000000,
0x3fbfff8000000000,
0x3fafff8000000000,
0x3f9fff8000000000,
0x3f8fff8000000000,
0x3f7fff8000000000,
0x3f6fff8000000000,
0x3f5fff8000000000,
0x3f4fff8000000000,
0x3f3fff8000000000,
0x3f2fff8000000000,
0x3f1fff8000000000,
0x3f0fff8000000000,
0x3effff8000000000,
0x3eefff8000000000,
0x3edfff8000000000,
0x3ecfff8000000000,
0x3ebfff8000000000,
0x3eafff8000000000,
0x3e9fff8000000000,
0x3e8fff8000000000,
0x3e7fff8000000000,
0x3e6fff8000000000,
0x3e5fff8000000000,
0x3e4fff8000000000,
0x3e3fff8000000000,
0x3e2fff8000000000,
0x3e1fff8000000000,
0x3e0fff8000000000,
0x3dffff8000000000,
0x3defff8000000000,
0x3ddfff8000000000,
0x3dcfff8000000000,
0x3dbfff8000000000,
0x3dafff8000000000,
0x3d9fff8000000000,
0x3d8fff8000000000,
0x3d7fff8000000000,
0x3d6fff8000000000,
0x3d5fff8000000000,
0x3d4fff8000000000,
0x3d3fff8000000000,
0x3d2fff8000000000,
0x3d1fff8000000000,
0x3d0fff8000000000,
0x3cffff8000000000,
0x3cefff8000000000,
0x3cdfff8000000000,
0x40dfffc000000000,
0x40cfffc000000000,
0x40bfffc000000000,
0x40afffc000000000,
0x409fffc000000000,
0x408fffc000000000,
0x407fffc000000000,
0x406fffc000000000,
0x405fffc000000000,
0x404fffc000000000,
0x403fffc000000000,
0x402fffc000000000,
0x401fffc000000000,
0x400fffc000000000,
0x3fffffc000000000,
0x3fefffc000000000,
0x3fdfffc000000000,
0x3fcfffc000000000,
0x3fbfffc000000000,
0x3fafffc000000000,
0x3f9fffc000000000,
0x3f8fffc000000000,
0x3f7fffc000000000,
0x3f6fffc000000000,
0x3f5fffc000000000,
0x3f4fffc000000000,
0x3f3fffc000000000,
0x3f2fffc000000000,
0x3f1fffc000000000,
0x3f0fffc000000000,
0x3effffc000000000,
0x3eefffc000000000,
0x3edfffc000000000,
0x3ecfffc000000000,
0x3ebfffc000000000,
0x3eafffc000000000,
0x3e9fffc000000000,
0x3e8fffc000000000,
0x3e7fffc000000000,
0x3e6fffc000000000,
0x3e5fffc000000000,
0x3e4fffc000000000,
0x3e3fffc000000000,
0x3e2fffc000000000,
0x3e1fffc000000000,
0x3e0fffc000000000,
0x3dffffc000000000,
0x3defffc000000000,
0x3ddfffc000000000,
0x3dcfffc000000000,
0x3dbfffc000000000,
0x3dafffc000000000,
0x3d9fffc000000000,
0x3d8fffc000000000,
0x3d7fffc000000000,
0x3d6fffc000000000,
0x3d5fffc000000000,
0x3d4fffc000000000,
0x3d3fffc000000000,
0x3d2fffc000000000,
0x3d1fffc000000000,
0x3d0fffc000000000,
0x3cffffc000000000,
0x3cefffc000000000,
0x3cdfffc000000000,
0x41dfffffff400000,
0x41cfffffff400000,
0x41bfffffff400000,
0x41afffffff400000,
0x419fffffff400000,
0x418fffffff400000,
0x417fffffff400000,
0x416fffffff400000,
0x415fffffff400000,
0x414fffffff400000,
0x413fffffff400000,
0x412fffffff400000,
0x411fffffff400000,
0x410fffffff400000,
0x40ffffffff400000,
0x40efffffff400000,
0x40dfffffff400000,
0x40cfffffff400000,
0x40bfffffff400000,
0x40afffffff400000,
0x409fffffff400000,
0x408fffffff400000,
0x407fffffff400000,
0x406fffffff400000,
0x405fffffff400000,
0x404fffffff400000,
0x403fffffff400000,
0x402fffffff400000,
0x401fffffff400000,
0x400fffffff400000,
0x3fffffffff400000,
0x3fefffffff400000,
0x3fdfffffff400000,
0x3fcfffffff400000,
0x3fbfffffff400000,
0x3fafffffff400000,
0x3f9fffffff400000,
0x3f8fffffff400000,
0x3f7fffffff400000,
0x3f6fffffff400000,
0x3f5fffffff400000,
0x3f4fffffff400000,
0x3f3fffffff400000,
0x3f2fffffff400000,
0x3f1fffffff400000,
0x3f0fffffff400000,
0x3effffffff400000,
0x3eefffffff400000,
0x3edfffffff400000,
0x3ecfffffff400000,
0x3ebfffffff400000,
0x3eafffffff400000,
0x3e9fffffff400000,
0x3e8fffffff400000,
0x3e7fffffff400000,
0x3e6fffffff400000,
0x3e5fffffff400000,
0x3e4fffffff400000,
0x3e3fffffff400000,
0x3e2fffffff400000,
0x3e1fffffff400000,
0x3e0fffffff400000,
0x3dffffffff400000,
0x3defffffff400000,
0x3ddfffffff400000,
0x41dfffffff800000,
0x41cfffffff800000,
0x41bfffffff800000,
0x41afffffff800000,
0x419fffffff800000,
0x418fffffff800000,
0x417fffffff800000,
0x416fffffff800000,
0x415fffffff800000,
0x414fffffff800000,
0x413fffffff800000,
0x412fffffff800000,
0x411fffffff800000,
0x410fffffff800000,
0x40ffffffff800000,
0x40efffffff800000,
0x40dfffffff800000,
0x40cfffffff800000,
0x40bfffffff800000,
0x40afffffff800000,
0x409fffffff800000,
0x408fffffff800000,
0x407fffffff800000,
0x406fffffff800000,
0x405fffffff800000,
0x404fffffff800000,
0x403fffffff800000,
0x402fffffff800000,
0x401fffffff800000,
0x400fffffff800000,
0x3fffffffff800000,
0x3fefffffff800000,
0x3fdfffffff800000,
0x3fcfffffff800000,
0x3fbfffffff800000,
0x3fafffffff800000,
0x3f9fffffff800000,
0x3f8fffffff800000,
0x3f7fffffff800000,
0x3f6fffffff800000,
0x3f5fffffff800000,
0x3f4fffffff800000,
0x3f3fffffff800000,
0x3f2fffffff800000,
0x3f1fffffff800000,
0x3f0fffffff800000,
0x3effffffff800000,
0x3eefffffff800000,
0x3edfffffff800000,
0x3ecfffffff800000,
0x3ebfffffff800000,
0x3eafffffff800000,
0x3e9fffffff800000,
0x3e8fffffff800000,
0x3e7fffffff800000,
0x3e6fffffff800000,
0x3e5fffffff800000,
0x3e4fffffff800000,
0x3e3fffffff800000,
0x3e2fffffff800000,
0x3e1fffffff800000,
0x3e0fffffff800000,
0x3dffffffff800000,
0x3defffffff800000,
0x3ddfffffff800000,
0x41dfffffffc00000,
0x41cfffffffc00000,
0x41bfffffffc00000,
0x41afffffffc00000,
0x419fffffffc00000,
0x418fffffffc00000,
0x417fffffffc00000,
0x416fffffffc00000,
0x415fffffffc00000,
0x414fffffffc00000,
0x413fffffffc00000,
0x412fffffffc00000,
0x411fffffffc00000,
0x410fffffffc00000,
0x40ffffffffc00000,
0x40efffffffc00000,
0x40dfffffffc00000,
0x40cfffffffc00000,
0x40bfffffffc00000,
0x40afffffffc00000,
0x409fffffffc00000,
0x408fffffffc00000,
0x407fffffffc00000,
0x406fffffffc00000,
0x405fffffffc00000,
0x404fffffffc00000,
0x403fffffffc00000,
0x402fffffffc00000,
0x401fffffffc00000,
0x400fffffffc00000,
0x3fffffffffc00000,
0x3fefffffffc00000,
0x3fdfffffffc00000,
0x3fcfffffffc00000,
0x3fbfffffffc00000,
0x3fafffffffc00000,
0x3f9fffffffc00000,
0x3f8fffffffc00000,
0x3f7fffffffc00000,
0x3f6fffffffc00000,
0x3f5fffffffc00000,
0x3f4fffffffc00000,
0x3f3fffffffc00000,
0x3f2fffffffc00000,
0x3f1fffffffc00000,
0x3f0fffffffc00000,
0x3effffffffc00000,
0x3eefffffffc00000,
0x3edfffffffc00000,
0x3ecfffffffc00000,
0x3ebfffffffc00000,
0x3eafffffffc00000,
0x3e9fffffffc00000,
0x3e8fffffffc00000,
0x3e7fffffffc00000,
0x3e6fffffffc00000,
0x3e5fffffffc00000,
0x3e4fffffffc00000,
0x3e3fffffffc00000,
0x3e2fffffffc00000,
0x3e1fffffffc00000,
0x3e0fffffffc00000,
0x3dffffffffc00000,
0x3defffffffc00000,
0x3ddfffffffc00000,
0x43c999999999999a,
0x43b999999999999a,
0x43a999999999999a,
0x439999999999999a,
0x438999999999999a,
0x437999999999999a,
0x436999999999999a,
0x435999999999999a,
0x434999999999999a,
0x433999999999999a,
0x432999999999999a,
0x431999999999999a,
0x430999999999999a,
0x42f999999999999a,
0x42e999999999999a,
0x42d999999999999a,
0x42c999999999999a,
0x42b999999999999a,
0x42a999999999999a,
0x429999999999999a,
0x428999999999999a,
0x427999999999999a,
0x426999999999999a,
0x425999999999999a,
0x424999999999999a,
0x423999999999999a,
0x422999999999999a,
0x421999999999999a,
0x420999999999999a,
0x41f999999999999a,
0x41e999999999999a,
0x41d999999999999a,
0x41c999999999999a,
0x41b999999999999a,
0x41a999999999999a,
0x419999999999999a,
0x418999999999999a,
0x417999999999999a,
0x416999999999999a,
0x415999999999999a,
0x414999999999999a,
0x413999999999999a,
0x412999999999999a,
0x411999999999999a,
0x410999999999999a,
0x40f999999999999a,
0x40e999999999999a,
0x40d999999999999a,
0x40c999999999999a,
0x40b999999999999a,
0x40a999999999999a,
0x409999999999999a,
0x408999999999999a,
0x407999999999999a,
0x406999999999999a,
0x405999999999999a,
0x404999999999999a,
0x403999999999999a,
0x402999999999999a,
0x401999999999999a,
0x400999999999999a,
0x3ff999999999999a,
0x3fe999999999999a,
0x3fd999999999999a,
0x3fc999999999999a,
0x43d5555555555555,
0x43c5555555555555,
0x43b5555555555555,
0x43a5555555555555,
0x4395555555555555,
0x4385555555555555,
0x4375555555555555,
0x4365555555555555,
0x4355555555555555,
0x4345555555555555,
0x4335555555555555,
0x4325555555555555,
0x4315555555555555,
0x4305555555555555,
0x42f5555555555555,
0x42e5555555555555,
0x42d5555555555555,
0x42c5555555555555,
0x42b5555555555555,
0x42a5555555555555,
0x4295555555555555,
0x4285555555555555,
0x4275555555555555,
0x4265555555555555,
0x4255555555555555,
0x4245555555555555,
0x4235555555555555,
0x4225555555555555,
0x4215555555555555,
0x4205555555555555,
0x41f5555555555555,
0x41e5555555555555,
0x41d5555555555555,
0x41c5555555555555,
0x41b5555555555555,
0x41a5555555555555,
0x4195555555555555,
0x4185555555555555,
0x4175555555555555,
0x4165555555555555,
0x4155555555555555,
0x4145555555555555,
0x4135555555555555,
0x4125555555555555,
0x4115555555555555,
0x4105555555555555,
0x40f5555555555555,
0x40e5555555555555,
0x40d5555555555555,
0x40c5555555555555,
0x40b5555555555555,
0x40a5555555555555,
0x4095555555555555,
0x4085555555555555,
0x4075555555555555,
0x4065555555555555,
0x4055555555555555,
0x4045555555555555,
0x4035555555555555,
0x4025555555555555,
0x4015555555555555,
0x4005555555555555,
0x3ff5555555555555,
0x3fe5555555555555,
0x3fd5555555555555,
0x43e0000000000000,
0x43d0000000000000,
0x43c0000000000000,
0x43b0000000000000,
0x43a0000000000000,
0x4390000000000000,
0x4380000000000000,
0x4370000000000000,
0x4360000000000000,
0x4350000000000000,
0x4340000000000000,
0x4330000000000000,
0x4320000000000000,
0x4310000000000000,
0x4300000000000000,
0x42f0000000000000,
0x42e0000000000000,
0x42d0000000000000,
0x42c0000000000000,
0x42b0000000000000,
0x42a0000000000000,
0x4290000000000000,
0x4280000000000000,
0x4270000000000000,
0x4260000000000000,
0x4250000000000000,
0x4240000000000000,
0x4230000000000000,
0x4220000000000000,
0x4210000000000000,
0x4200000000000000,
0x41f0000000000000,
0x41e0000000000000,
0x41d0000000000000,
0x41c0000000000000,
0x41b0000000000000,
0x41a0000000000000,
0x4190000000000000,
0x4180000000000000,
0x4170000000000000,
0x4160000000000000,
0x4150000000000000,
0x4140000000000000,
0x4130000000000000,
0x4120000000000000,
0x4110000000000000,
0x4100000000000000,
0x40f0000000000000,
0x40e0000000000000,
0x40d0000000000000,
0x40c0000000000000,
0x40b0000000000000,
0x40a0000000000000,
0x4090000000000000,
0x4080000000000000,
0x4070000000000000,
0x4060000000000000,
0x4050000000000000,
0x4040000000000000,
0x4030000000000000,
0x4020000000000000,
0x4010000000000000,
0x4000000000000000,
0x3ff0000000000000,
0x3fe0000000000000,
0x43e0000000000000,
0x43d0000000000000,
0x43c0000000000000,
0x43b0000000000000,
0x43a0000000000000,
0x4390000000000000,
0x4380000000000000,
0x4370000000000000,
0x4360000000000000,
0x4350000000000000,
0x4340000000000000,
0x4330000000000000,
0x4320000000000000,
0x4310000000000000,
0x4300000000000000,
0x42f0000000000000,
0x42e0000000000000,
0x42d0000000000000,
0x42c0000000000000,
0x42b0000000000000,
0x42a0000000000000,
0x4290000000000000,
0x4280000000000000,
0x4270000000000000,
0x4260000000000000,
0x4250000000000000,
0x4240000000000000,
0x4230000000000000,
0x4220000000000000,
0x4210000000000000,
0x4200000000000000,
0x41f0000000000000,
0x41e0000000000000,
0x41d0000000000000,
0x41c0000000000000,
0x41b0000000000000,
0x41a0000000000000,
0x4190000000000000,
0x4180000000000000,
0x4170000000000000,
0x4160000000000000,
0x4150000000000000,
0x4140000000000000,
0x4130000000000000,
0x4120000000000000,
0x4110000000000000,
0x4100000000000000,
0x40f0000000000000,
0x40e0000000000000,
0x40d0000000000000,
0x40c0000000000000,
0x40b0000000000000,
0x40a0000000000000,
0x4090000000000000,
0x4080000000000000,
0x4070000000000000,
0x4060000000000000,
0x4050000000000000,
0x4040000000000000,
0x4030000000000000,
0x4020000000000000,
0x4010000000000000,
0x4000000000000000,
0x3ff0000000000000,
0x3fe0000000000000,
0x43e0000000000000,
0x43d0000000000000,
0x43c0000000000000,
0x43b0000000000000,
0x43a0000000000000,
0x4390000000000000,
0x4380000000000000,
0x4370000000000000,
0x4360000000000000,
0x4350000000000000,
0x4340000000000000,
0x4330000000000000,
0x4320000000000000,
0x4310000000000000,
0x4300000000000000,
0x42f0000000000000,
0x42e0000000000000,
0x42d0000000000000,
0x42c0000000000000,
0x42b0000000000000,
0x42a0000000000000,
0x4290000000000000,
0x4280000000000000,
0x4270000000000000,
0x4260000000000000,
0x4250000000000000,
0x4240000000000000,
0x4230000000000000,
0x4220000000000000,
0x4210000000000000,
0x4200000000000000,
0x41f0000000000000,
0x41e0000000000000,
0x41d0000000000000,
0x41c0000000000000,
0x41b0000000000000,
0x41a0000000000000,
0x4190000000000000,
0x4180000000000000,
0x4170000000000000,
0x4160000000000000,
0x4150000000000000,
0x4140000000000000,
0x4130000000000000,
0x4120000000000000,
0x4110000000000000,
0x4100000000000000,
0x40f0000000000000,
0x40e0000000000000,
0x40d0000000000000,
0x40c0000000000000,
0x40b0000000000000,
0x40a0000000000000,
0x4090000000000000,
0x4080000000000000,
0x4070000000000000,
0x4060000000000000,
0x4050000000000000,
0x4040000000000000,
0x4030000000000000,
0x4020000000000000,
0x4010000000000000,
0x4000000000000000,
0x3ff0000000000000,
0x3fe0000000000000,
0xc3e0000000000000,
0xc3d0000000000000,
0xc3c0000000000000,
0xc3b0000000000000,
0xc3a0000000000000,
0xc390000000000000,
0xc380000000000000,
0xc370000000000000,
0xc360000000000000,
0xc350000000000000,
0xc340000000000000,
0xc330000000000000,
0xc320000000000000,
0xc310000000000000,
0xc300000000000000,
0xc2f0000000000000,
0xc2e0000000000000,
0xc2d0000000000000,
0xc2c0000000000000,
0xc2b0000000000000,
0xc2a0000000000000,
0xc290000000000000,
0xc280000000000000,
0xc270000000000000,
0xc260000000000000,
0xc250000000000000,
0xc240000000000000,
0xc230000000000000,
0xc220000000000000,
0xc210000000000000,
0xc200000000000000,
0xc1f0000000000000,
0xc1e0000000000000,
0xc1d0000000000000,
0xc1c0000000000000,
0xc1b0000000000000,
0xc1a0000000000000,
0xc190000000000000,
0xc180000000000000,
0xc170000000000000,
0xc160000000000000,
0xc150000000000000,
0xc140000000000000,
0xc130000000000000,
0xc120000000000000,
0xc110000000000000,
0xc100000000000000,
0xc0f0000000000000,
0xc0e0000000000000,
0xc0d0000000000000,
0xc0c0000000000000,
0xc0b0000000000000,
0xc0a0000000000000,
0xc090000000000000,
0xc080000000000000,
0xc070000000000000,
0xc060000000000000,
0xc050000000000000,
0xc040000000000000,
0xc030000000000000,
0xc020000000000000,
0xc010000000000000,
0xc000000000000000,
0xbff0000000000000,
0xbfe0000000000000,
0xc3e0000000000000,
0xc3d0000000000000,
0xc3c0000000000000,
0xc3b0000000000000,
0xc3a0000000000000,
0xc390000000000000,
0xc380000000000000,
0xc370000000000000,
0xc360000000000000,
0xc350000000000000,
0xc340000000000000,
0xc330000000000000,
0xc320000000000000,
0xc310000000000000,
0xc300000000000000,
0xc2f0000000000000,
0xc2e0000000000000,
0xc2d0000000000000,
0xc2c0000000000000,
0xc2b0000000000000,
0xc2a0000000000000,
0xc290000000000000,
0xc280000000000000,
0xc270000000000000,
0xc260000000000000,
0xc250000000000000,
0xc240000000000000,
0xc230000000000000,
0xc220000000000000,
0xc210000000000000,
0xc200000000000000,
0xc1f0000000000000,
0xc1e0000000000000,
0xc1d0000000000000,
0xc1c0000000000000,
0xc1b0000000000000,
0xc1a0000000000000,
0xc190000000000000,
0xc180000000000000,
0xc170000000000000,
0xc160000000000000,
0xc150000000000000,
0xc140000000000000,
0xc130000000000000,
0xc120000000000000,
0xc110000000000000,
0xc100000000000000,
0xc0f0000000000000,
0xc0e0000000000000,
0xc0d0000000000000,
0xc0c0000000000000,
0xc0b0000000000000,
0xc0a0000000000000,
0xc090000000000000,
0xc080000000000000,
0xc070000000000000,
0xc060000000000000,
0xc050000000000000,
0xc040000000000000,
0xc030000000000000,
0xc020000000000000,
0xc010000000000000,
0xc000000000000000,
0xbff0000000000000,
0xbfe0000000000000,
0xc3e0000000000000,
0xc3d0000000000000,
0xc3c0000000000000,
0xc3b0000000000000,
0xc3a0000000000000,
0xc390000000000000,
0xc380000000000000,
0xc370000000000000,
0xc360000000000000,
0xc350000000000000,
0xc340000000000000,
0xc330000000000000,
0xc320000000000000,
0xc310000000000000,
0xc300000000000000,
0xc2f0000000000000,
0xc2e0000000000000,
0xc2d0000000000000,
0xc2c0000000000000,
0xc2b0000000000000,
0xc2a0000000000000,
0xc290000000000000,
0xc280000000000000,
0xc270000000000000,
0xc260000000000000,
0xc250000000000000,
0xc240000000000000,
0xc230000000000000,
0xc220000000000000,
0xc210000000000000,
0xc200000000000000,
0xc1f0000000000000,
0xc1e0000000000000,
0xc1d0000000000000,
0xc1c0000000000000,
0xc1b0000000000000,
0xc1a0000000000000,
0xc190000000000000,
0xc180000000000000,
0xc170000000000000,
0xc160000000000000,
0xc150000000000000,
0xc140000000000000,
0xc130000000000000,
0xc120000000000000,
0xc110000000000000,
0xc100000000000000,
0xc0f0000000000000,
0xc0e0000000000000,
0xc0d0000000000000,
0xc0c0000000000000,
0xc0b0000000000000,
0xc0a0000000000000,
0xc090000000000000,
0xc080000000000000,
0xc070000000000000,
0xc060000000000000,
0xc050000000000000,
0xc040000000000000,
0xc030000000000000,
0xc020000000000000,
0xc010000000000000,
0xc000000000000000,
0xbff0000000000000,
0xbfe0000000000000,
0xc3e0000000000000,
0xc3d0000000000000,
0xc3c0000000000000,
0xc3b0000000000000,
0xc3a0000000000000,
0xc390000000000000,
0xc380000000000000,
0xc370000000000000,
0xc360000000000000,
0xc350000000000000,
0xc340000000000000,
0xc330000000000000,
0xc320000000000000,
0xc310000000000000,
0xc300000000000000,
0xc2f0000000000000,
0xc2e0000000000000,
0xc2d0000000000000,
0xc2c0000000000000,
0xc2b0000000000000,
0xc2a0000000000000,
0xc290000000000000,
0xc280000000000000,
0xc270000000000000,
0xc260000000000000,
0xc250000000000000,
0xc240000000000000,
0xc230000000000000,
0xc220000000000000,
0xc210000000000000,
0xc200000000000000,
0xc1f0000000000000,
0xc1e0000000000000,
0xc1d0000000000000,
0xc1c0000000000000,
0xc1b0000000000000,
0xc1a0000000000000,
0xc190000000000000,
0xc180000000000000,
0xc170000000000000,
0xc160000000000000,
0xc150000000000000,
0xc140000000000000,
0xc130000000000000,
0xc120000000000000,
0xc110000000000000,
0xc100000000000000,
0xc0f0000000000000,
0xc0e0000000000000,
0xc0d0000000000000,
0xc0c0000000000000,
0xc0b0000000000000,
0xc0a0000000000000,
0xc090000000000000,
0xc080000000000000,
0xc070000000000000,
0xc060000000000000,
0xc050000000000000,
0xc040000000000000,
0xc030000000000000,
0xc020000000000000,
0xc010000000000000,
0xc000000000000000,
0xbff0000000000000,
0xbfe0000000000000,
0xc3d5555555555555,
0xc3c5555555555555,
0xc3b5555555555555,
0xc3a5555555555555,
0xc395555555555555,
0xc385555555555555,
0xc375555555555555,
0xc365555555555555,
0xc355555555555555,
0xc345555555555555,
0xc335555555555555,
0xc325555555555555,
0xc315555555555555,
0xc305555555555555,
0xc2f5555555555555,
0xc2e5555555555555,
0xc2d5555555555555,
0xc2c5555555555555,
0xc2b5555555555555,
0xc2a5555555555555,
0xc295555555555555,
0xc285555555555555,
0xc275555555555555,
0xc265555555555555,
0xc255555555555555,
0xc245555555555555,
0xc235555555555555,
0xc225555555555555,
0xc215555555555555,
0xc205555555555555,
0xc1f5555555555555,
0xc1e5555555555555,
0xc1d5555555555555,
0xc1c5555555555555,
0xc1b5555555555555,
0xc1a5555555555555,
0xc195555555555555,
0xc185555555555555,
0xc175555555555555,
0xc165555555555555,
0xc155555555555555,
0xc145555555555555,
0xc135555555555555,
0xc125555555555555,
0xc115555555555555,
0xc105555555555555,
0xc0f5555555555555,
0xc0e5555555555555,
0xc0d5555555555555,
0xc0c5555555555555,
0xc0b5555555555555,
0xc0a5555555555555,
0xc095555555555555,
0xc085555555555555,
0xc075555555555555,
0xc065555555555555,
0xc055555555555555,
0xc045555555555555,
0xc035555555555555,
0xc025555555555555,
0xc015555555555555,
0xc005555555555555,
0xbff5555555555555,
0xbfe5555555555555,
0xbfd5555555555555,
0xc3c999999999999a,
0xc3b999999999999a,
0xc3a999999999999a,
0xc39999999999999a,
0xc38999999999999a,
0xc37999999999999a,
0xc36999999999999a,
0xc35999999999999a,
0xc34999999999999a,
0xc33999999999999a,
0xc32999999999999a,
0xc31999999999999a,
0xc30999999999999a,
0xc2f999999999999a,
0xc2e999999999999a,
0xc2d999999999999a,
0xc2c999999999999a,
0xc2b999999999999a,
0xc2a999999999999a,
0xc29999999999999a,
0xc28999999999999a,
0xc27999999999999a,
0xc26999999999999a,
0xc25999999999999a,
0xc24999999999999a,
0xc23999999999999a,
0xc22999999999999a,
0xc21999999999999a,
0xc20999999999999a,
0xc1f999999999999a,
0xc1e999999999999a,
0xc1d999999999999a,
0xc1c999999999999a,
0xc1b999999999999a,
0xc1a999999999999a,
0xc19999999999999a,
0xc18999999999999a,
0xc17999999999999a,
0xc16999999999999a,
0xc15999999999999a,
0xc14999999999999a,
0xc13999999999999a,
0xc12999999999999a,
0xc11999999999999a,
0xc10999999999999a,
0xc0f999999999999a,
0xc0e999999999999a,
0xc0d999999999999a,
0xc0c999999999999a,
0xc0b999999999999a,
0xc0a999999999999a,
0xc09999999999999a,
0xc08999999999999a,
0xc07999999999999a,
0xc06999999999999a,
0xc05999999999999a,
0xc04999999999999a,
0xc03999999999999a,
0xc02999999999999a,
0xc01999999999999a,
0xc00999999999999a,
0xbff999999999999a,
0xbfe999999999999a,
0xbfd999999999999a,
0xbfc999999999999a,
0xc1e0000000000000,
0xc1d0000000000000,
0xc1c0000000000000,
0xc1b0000000000000,
0xc1a0000000000000,
0xc190000000000000,
0xc180000000000000,
0xc170000000000000,
0xc160000000000000,
0xc150000000000000,
0xc140000000000000,
0xc130000000000000,
0xc120000000000000,
0xc110000000000000,
0xc100000000000000,
0xc0f0000000000000,
0xc0e0000000000000,
0xc0d0000000000000,
0xc0c0000000000000,
0xc0b0000000000000,
0xc0a0000000000000,
0xc090000000000000,
0xc080000000000000,
0xc070000000000000,
0xc060000000000000,
0xc050000000000000,
0xc040000000000000,
0xc030000000000000,
0xc020000000000000,
0xc010000000000000,
0xc000000000000000,
0xbff0000000000000,
0xbfe0000000000000,
0xbfd0000000000000,
0xbfc0000000000000,
0xbfb0000000000000,
0xbfa0000000000000,
0xbf90000000000000,
0xbf80000000000000,
0xbf70000000000000,
0xbf60000000000000,
0xbf50000000000000,
0xbf40000000000000,
0xbf30000000000000,
0xbf20000000000000,
0xbf10000000000000,
0xbf00000000000000,
0xbef0000000000000,
0xbee0000000000000,
0xbed0000000000000,
0xbec0000000000000,
0xbeb0000000000000,
0xbea0000000000000,
0xbe90000000000000,
0xbe80000000000000,
0xbe70000000000000,
0xbe60000000000000,
0xbe50000000000000,
0xbe40000000000000,
0xbe30000000000000,
0xbe20000000000000,
0xbe10000000000000,
0xbe00000000000000,
0xbdf0000000000000,
0xbde0000000000000,
0xc1dfffffffc00000,
0xc1cfffffffc00000,
0xc1bfffffffc00000,
0xc1afffffffc00000,
0xc19fffffffc00000,
0xc18fffffffc00000,
0xc17fffffffc00000,
0xc16fffffffc00000,
0xc15fffffffc00000,
0xc14fffffffc00000,
0xc13fffffffc00000,
0xc12fffffffc00000,
0xc11fffffffc00000,
0xc10fffffffc00000,
0xc0ffffffffc00000,
0xc0efffffffc00000,
0xc0dfffffffc00000,
0xc0cfffffffc00000,
0xc0bfffffffc00000,
0xc0afffffffc00000,
0xc09fffffffc00000,
0xc08fffffffc00000,
0xc07fffffffc00000,
0xc06fffffffc00000,
0xc05fffffffc00000,
0xc04fffffffc00000,
0xc03fffffffc00000,
0xc02fffffffc00000,
0xc01fffffffc00000,
0xc00fffffffc00000,
0xbfffffffffc00000,
0xbfefffffffc00000,
0xbfdfffffffc00000,
0xbfcfffffffc00000,
0xbfbfffffffc00000,
0xbfafffffffc00000,
0xbf9fffffffc00000,
0xbf8fffffffc00000,
0xbf7fffffffc00000,
0xbf6fffffffc00000,
0xbf5fffffffc00000,
0xbf4fffffffc00000,
0xbf3fffffffc00000,
0xbf2fffffffc00000,
0xbf1fffffffc00000,
0xbf0fffffffc00000,
0xbeffffffffc00000,
0xbeefffffffc00000,
0xbedfffffffc00000,
0xbecfffffffc00000,
0xbebfffffffc00000,
0xbeafffffffc00000,
0xbe9fffffffc00000,
0xbe8fffffffc00000,
0xbe7fffffffc00000,
0xbe6fffffffc00000,
0xbe5fffffffc00000,
0xbe4fffffffc00000,
0xbe3fffffffc00000,
0xbe2fffffffc00000,
0xbe1fffffffc00000,
0xbe0fffffffc00000,
0xbdffffffffc00000,
0xbdefffffffc00000,
0xbddfffffffc00000,
0xc1dfffffff800000,
0xc1cfffffff800000,
0xc1bfffffff800000,
0xc1afffffff800000,
0xc19fffffff800000,
0xc18fffffff800000,
0xc17fffffff800000,
0xc16fffffff800000,
0xc15fffffff800000,
0xc14fffffff800000,
0xc13fffffff800000,
0xc12fffffff800000,
0xc11fffffff800000,
0xc10fffffff800000,
0xc0ffffffff800000,
0xc0efffffff800000,
0xc0dfffffff800000,
0xc0cfffffff800000,
0xc0bfffffff800000,
0xc0afffffff800000,
0xc09fffffff800000,
0xc08fffffff800000,
0xc07fffffff800000,
0xc06fffffff800000,
0xc05fffffff800000,
0xc04fffffff800000,
0xc03fffffff800000,
0xc02fffffff800000,
0xc01fffffff800000,
0xc00fffffff800000,
0xbfffffffff800000,
0xbfefffffff800000,
0xbfdfffffff800000,
0xbfcfffffff800000,
0xbfbfffffff800000,
0xbfafffffff800000,
0xbf9fffffff800000,
0xbf8fffffff800000,
0xbf7fffffff800000,
0xbf6fffffff800000,
0xbf5fffffff800000,
0xbf4fffffff800000,
0xbf3fffffff800000,
0xbf2fffffff800000,
0xbf1fffffff800000,
0xbf0fffffff800000,
0xbeffffffff800000,
0xbeefffffff800000,
0xbedfffffff800000,
0xbecfffffff800000,
0xbebfffffff800000,
0xbeafffffff800000,
0xbe9fffffff800000,
0xbe8fffffff800000,
0xbe7fffffff800000,
0xbe6fffffff800000,
0xbe5fffffff800000,
0xbe4fffffff800000,
0xbe3fffffff800000,
0xbe2fffffff800000,
0xbe1fffffff800000,
0xbe0fffffff800000,
0xbdffffffff800000,
0xbdefffffff800000,
0xbddfffffff800000,
0xc1dfffffff400000,
0xc1cfffffff400000,
0xc1bfffffff400000,
0xc1afffffff400000,
0xc19fffffff400000,
0xc18fffffff400000,
0xc17fffffff400000,
0xc16fffffff400000,
0xc15fffffff400000,
0xc14fffffff400000,
0xc13fffffff400000,
0xc12fffffff400000,
0xc11fffffff400000,
0xc10fffffff400000,
0xc0ffffffff400000,
0xc0efffffff400000,
0xc0dfffffff400000,
0xc0cfffffff400000,
0xc0bfffffff400000,
0xc0afffffff400000,
0xc09fffffff400000,
0xc08fffffff400000,
0xc07fffffff400000,
0xc06fffffff400000,
0xc05fffffff400000,
0xc04fffffff400000,
0xc03fffffff400000,
0xc02fffffff400000,
0xc01fffffff400000,
0xc00fffffff400000,
0xbfffffffff400000,
0xbfefffffff400000,
0xbfdfffffff400000,
0xbfcfffffff400000,
0xbfbfffffff400000,
0xbfafffffff400000,
0xbf9fffffff400000,
0xbf8fffffff400000,
0xbf7fffffff400000,
0xbf6fffffff400000,
0xbf5fffffff400000,
0xbf4fffffff400000,
0xbf3fffffff400000,
0xbf2fffffff400000,
0xbf1fffffff400000,
0xbf0fffffff400000,
0xbeffffffff400000,
0xbeefffffff400000,
0xbedfffffff400000,
0xbecfffffff400000,
0xbebfffffff400000,
0xbeafffffff400000,
0xbe9fffffff400000,
0xbe8fffffff400000,
0xbe7fffffff400000,
0xbe6fffffff400000,
0xbe5fffffff400000,
0xbe4fffffff400000,
0xbe3fffffff400000,
0xbe2fffffff400000,
0xbe1fffffff400000,
0xbe0fffffff400000,
0xbdffffffff400000,
0xbdefffffff400000,
0xbddfffffff400000,
0xc0e0000000000000,
0xc0d0000000000000,
0xc0c0000000000000,
0xc0b0000000000000,
0xc0a0000000000000,
0xc090000000000000,
0xc080000000000000,
0xc070000000000000,
0xc060000000000000,
0xc050000000000000,
0xc040000000000000,
0xc030000000000000,
0xc020000000000000,
0xc010000000000000,
0xc000000000000000,
0xbff0000000000000,
0xbfe0000000000000,
0xbfd0000000000000,
0xbfc0000000000000,
0xbfb0000000000000,
0xbfa0000000000000,
0xbf90000000000000,
0xbf80000000000000,
0xbf70000000000000,
0xbf60000000000000,
0xbf50000000000000,
0xbf40000000000000,
0xbf30000000000000,
0xbf20000000000000,
0xbf10000000000000,
0xbf00000000000000,
0xbef0000000000000,
0xbee0000000000000,
0xbed0000000000000,
0xbec0000000000000,
0xbeb0000000000000,
0xbea0000000000000,
0xbe90000000000000,
0xbe80000000000000,
0xbe70000000000000,
0xbe60000000000000,
0xbe50000000000000,
0xbe40000000000000,
0xbe30000000000000,
0xbe20000000000000,
0xbe10000000000000,
0xbe00000000000000,
0xbdf0000000000000,
0xbde0000000000000,
0xbdd0000000000000,
0xbdc0000000000000,
0xbdb0000000000000,
0xbda0000000000000,
0xbd90000000000000,
0xbd80000000000000,
0xbd70000000000000,
0xbd60000000000000,
0xbd50000000000000,
0xbd40000000000000,
0xbd30000000000000,
0xbd20000000000000,
0xbd10000000000000,
0xbd00000000000000,
0xbcf0000000000000,
0xbce0000000000000,
0xc0dfffc000000000,
0xc0cfffc000000000,
0xc0bfffc000000000,
0xc0afffc000000000,
0xc09fffc000000000,
0xc08fffc000000000,
0xc07fffc000000000,
0xc06fffc000000000,
0xc05fffc000000000,
0xc04fffc000000000,
0xc03fffc000000000,
0xc02fffc000000000,
0xc01fffc000000000,
0xc00fffc000000000,
0xbfffffc000000000,
0xbfefffc000000000,
0xbfdfffc000000000,
0xbfcfffc000000000,
0xbfbfffc000000000,
0xbfafffc000000000,
0xbf9fffc000000000,
0xbf8fffc000000000,
0xbf7fffc000000000,
0xbf6fffc000000000,
0xbf5fffc000000000,
0xbf4fffc000000000,
0xbf3fffc000000000,
0xbf2fffc000000000,
0xbf1fffc000000000,
0xbf0fffc000000000,
0xbeffffc000000000,
0xbeefffc000000000,
0xbedfffc000000000,
0xbecfffc000000000,
0xbebfffc000000000,
0xbeafffc000000000,
0xbe9fffc000000000,
0xbe8fffc000000000,
0xbe7fffc000000000,
0xbe6fffc000000000,
0xbe5fffc000000000,
0xbe4fffc000000000,
0xbe3fffc000000000,
0xbe2fffc000000000,
0xbe1fffc000000000,
0xbe0fffc000000000,
0xbdffffc000000000,
0xbdefffc000000000,
0xbddfffc000000000,
0xbdcfffc000000000,
0xbdbfffc000000000,
0xbdafffc000000000,
0xbd9fffc000000000,
0xbd8fffc000000000,
0xbd7fffc000000000,
0xbd6fffc000000000,
0xbd5fffc000000000,
0xbd4fffc000000000,
0xbd3fffc000000000,
0xbd2fffc000000000,
0xbd1fffc000000000,
0xbd0fffc000000000,
0xbcffffc000000000,
0xbcefffc000000000,
0xbcdfffc000000000,
0xc0dfff8000000000,
0xc0cfff8000000000,
0xc0bfff8000000000,
0xc0afff8000000000,
0xc09fff8000000000,
0xc08fff8000000000,
0xc07fff8000000000,
0xc06fff8000000000,
0xc05fff8000000000,
0xc04fff8000000000,
0xc03fff8000000000,
0xc02fff8000000000,
0xc01fff8000000000,
0xc00fff8000000000,
0xbfffff8000000000,
0xbfefff8000000000,
0xbfdfff8000000000,
0xbfcfff8000000000,
0xbfbfff8000000000,
0xbfafff8000000000,
0xbf9fff8000000000,
0xbf8fff8000000000,
0xbf7fff8000000000,
0xbf6fff8000000000,
0xbf5fff8000000000,
0xbf4fff8000000000,
0xbf3fff8000000000,
0xbf2fff8000000000,
0xbf1fff8000000000,
0xbf0fff8000000000,
0xbeffff8000000000,
0xbeefff8000000000,
0xbedfff8000000000,
0xbecfff8000000000,
0xbebfff8000000000,
0xbeafff8000000000,
0xbe9fff8000000000,
0xbe8fff8000000000,
0xbe7fff8000000000,
0xbe6fff8000000000,
0xbe5fff8000000000,
0xbe4fff8000000000,
0xbe3fff8000000000,
0xbe2fff8000000000,
0xbe1fff8000000000,
0xbe0fff8000000000,
0xbdffff8000000000,
0xbdefff8000000000,
0xbddfff8000000000,
0xbdcfff8000000000,
0xbdbfff8000000000,
0xbdafff8000000000,
0xbd9fff8000000000,
0xbd8fff8000000000,
0xbd7fff8000000000,
0xbd6fff8000000000,
0xbd5fff8000000000,
0xbd4fff8000000000,
0xbd3fff8000000000,
0xbd2fff8000000000,
0xbd1fff8000000000,
0xbd0fff8000000000,
0xbcffff8000000000,
0xbcefff8000000000,
0xbcdfff8000000000,
0xc0dfff4000000000,
0xc0cfff4000000000,
0xc0bfff4000000000,
0xc0afff4000000000,
0xc09fff4000000000,
0xc08fff4000000000,
0xc07fff4000000000,
0xc06fff4000000000,
0xc05fff4000000000,
0xc04fff4000000000,
0xc03fff4000000000,
0xc02fff4000000000,
0xc01fff4000000000,
0xc00fff4000000000,
0xbfffff4000000000,
0xbfefff4000000000,
0xbfdfff4000000000,
0xbfcfff4000000000,
0xbfbfff4000000000,
0xbfafff4000000000,
0xbf9fff4000000000,
0xbf8fff4000000000,
0xbf7fff4000000000,
0xbf6fff4000000000,
0xbf5fff4000000000,
0xbf4fff4000000000,
0xbf3fff4000000000,
0xbf2fff4000000000,
0xbf1fff4000000000,
0xbf0fff4000000000,
0xbeffff4000000000,
0xbeefff4000000000,
0xbedfff4000000000,
0xbecfff4000000000,
0xbebfff4000000000,
0xbeafff4000000000,
0xbe9fff4000000000,
0xbe8fff4000000000,
0xbe7fff4000000000,
0xbe6fff4000000000,
0xbe5fff4000000000,
0xbe4fff4000000000,
0xbe3fff4000000000,
0xbe2fff4000000000,
0xbe1fff4000000000,
0xbe0fff4000000000,
0xbdffff4000000000,
0xbdefff4000000000,
0xbddfff4000000000,
0xbdcfff4000000000,
0xbdbfff4000000000,
0xbdafff4000000000,
0xbd9fff4000000000,
0xbd8fff4000000000,
0xbd7fff4000000000,
0xbd6fff4000000000,
0xbd5fff4000000000,
0xbd4fff4000000000,
0xbd3fff4000000000,
0xbd2fff4000000000,
0xbd1fff4000000000,
0xbd0fff4000000000,
0xbcffff4000000000,
0xbcefff4000000000,
0xbcdfff4000000000,
0xc060000000000000,
0xc050000000000000,
0xc040000000000000,
0xc030000000000000,
0xc020000000000000,
0xc010000000000000,
0xc000000000000000,
0xbff0000000000000,
0xbfe0000000000000,
0xbfd0000000000000,
0xbfc0000000000000,
0xbfb0000000000000,
0xbfa0000000000000,
0xbf90000000000000,
0xbf80000000000000,
0xbf70000000000000,
0xbf60000000000000,
0xbf50000000000000,
0xbf40000000000000,
0xbf30000000000000,
0xbf20000000000000,
0xbf10000000000000,
0xbf00000000000000,
0xbef0000000000000,
0xbee0000000000000,
0xbed0000000000000,
0xbec0000000000000,
0xbeb0000000000000,
0xbea0000000000000,
0xbe90000000000000,
0xbe80000000000000,
0xbe70000000000000,
0xbe60000000000000,
0xbe50000000000000,
0xbe40000000000000,
0xbe30000000000000,
0xbe20000000000000,
0xbe10000000000000,
0xbe00000000000000,
0xbdf0000000000000,
0xbde0000000000000,
0xbdd0000000000000,
0xbdc0000000000000,
0xbdb0000000000000,
0xbda0000000000000,
0xbd90000000000000,
0xbd80000000000000,
0xbd70000000000000,
0xbd60000000000000,
0xbd50000000000000,
0xbd40000000000000,
0xbd30000000000000,
0xbd20000000000000,
0xbd10000000000000,
0xbd00000000000000,
0xbcf0000000000000,
0xbce0000000000000,
0xbcd0000000000000,
0xbcc0000000000000,
0xbcb0000000000000,
0xbca0000000000000,
0xbc90000000000000,
0xbc80000000000000,
0xbc70000000000000,
0xbc60000000000000,
0xc05fc00000000000,
0xc04fc00000000000,
0xc03fc00000000000,
0xc02fc00000000000,
0xc01fc00000000000,
0xc00fc00000000000,
0xbfffc00000000000,
0xbfefc00000000000,
0xbfdfc00000000000,
0xbfcfc00000000000,
0xbfbfc00000000000,
0xbfafc00000000000,
0xbf9fc00000000000,
0xbf8fc00000000000,
0xbf7fc00000000000,
0xbf6fc00000000000,
0xbf5fc00000000000,
0xbf4fc00000000000,
0xbf3fc00000000000,
0xbf2fc00000000000,
0xbf1fc00000000000,
0xbf0fc00000000000,
0xbeffc00000000000,
0xbeefc00000000000,
0xbedfc00000000000,
0xbecfc00000000000,
0xbebfc00000000000,
0xbeafc00000000000,
0xbe9fc00000000000,
0xbe8fc00000000000,
0xbe7fc00000000000,
0xbe6fc00000000000,
0xbe5fc00000000000,
0xbe4fc00000000000,
0xbe3fc00000000000,
0xbe2fc00000000000,
0xbe1fc00000000000,
0xbe0fc00000000000,
0xbdffc00000000000,
0xbdefc00000000000,
0xbddfc00000000000,
0xbdcfc00000000000,
0xbdbfc00000000000,
0xbdafc00000000000,
0xbd9fc00000000000,
0xbd8fc00000000000,
0xbd7fc00000000000,
0xbd6fc00000000000,
0xbd5fc00000000000,
0xbd4fc00000000000,
0xbd3fc00000000000,
0xbd2fc00000000000,
0xbd1fc00000000000,
0xbd0fc00000000000,
0xbcffc00000000000,
0xbcefc00000000000,
0xbcdfc00000000000,
0xbccfc00000000000,
0xbcbfc00000000000,
0xbcafc00000000000,
0xbc9fc00000000000,
0xbc8fc00000000000,
0xbc7fc00000000000,
0xbc6fc00000000000,
0xbc5fc00000000000,
0xc05f800000000000,
0xc04f800000000000,
0xc03f800000000000,
0xc02f800000000000,
0xc01f800000000000,
0xc00f800000000000,
0xbfff800000000000,
0xbfef800000000000,
0xbfdf800000000000,
0xbfcf800000000000,
0xbfbf800000000000,
0xbfaf800000000000,
0xbf9f800000000000,
0xbf8f800000000000,
0xbf7f800000000000,
0xbf6f800000000000,
0xbf5f800000000000,
0xbf4f800000000000,
0xbf3f800000000000,
0xbf2f800000000000,
0xbf1f800000000000,
0xbf0f800000000000,
0xbeff800000000000,
0xbeef800000000000,
0xbedf800000000000,
0xbecf800000000000,
0xbebf800000000000,
0xbeaf800000000000,
0xbe9f800000000000,
0xbe8f800000000000,
0xbe7f800000000000,
0xbe6f800000000000,
0xbe5f800000000000,
0xbe4f800000000000,
0xbe3f800000000000,
0xbe2f800000000000,
0xbe1f800000000000,
0xbe0f800000000000,
0xbdff800000000000,
0xbdef800000000000,
0xbddf800000000000,
0xbdcf800000000000,
0xbdbf800000000000,
0xbdaf800000000000,
0xbd9f800000000000,
0xbd8f800000000000,
0xbd7f800000000000,
0xbd6f800000000000,
0xbd5f800000000000,
0xbd4f800000000000,
0xbd3f800000000000,
0xbd2f800000000000,
0xbd1f800000000000,
0xbd0f800000000000,
0xbcff800000000000,
0xbcef800000000000,
0xbcdf800000000000,
0xbccf800000000000,
0xbcbf800000000000,
0xbcaf800000000000,
0xbc9f800000000000,
0xbc8f800000000000,
0xbc7f800000000000,
0xbc6f800000000000,
0xbc5f800000000000,
0xc05f400000000000,
0xc04f400000000000,
0xc03f400000000000,
0xc02f400000000000,
0xc01f400000000000,
0xc00f400000000000,
0xbfff400000000000,
0xbfef400000000000,
0xbfdf400000000000,
0xbfcf400000000000,
0xbfbf400000000000,
0xbfaf400000000000,
0xbf9f400000000000,
0xbf8f400000000000,
0xbf7f400000000000,
0xbf6f400000000000,
0xbf5f400000000000,
0xbf4f400000000000,
0xbf3f400000000000,
0xbf2f400000000000,
0xbf1f400000000000,
0xbf0f400000000000,
0xbeff400000000000,
0xbeef400000000000,
0xbedf400000000000,
0xbecf400000000000,
0xbebf400000000000,
0xbeaf400000000000,
0xbe9f400000000000,
0xbe8f400000000000,
0xbe7f400000000000,
0xbe6f400000000000,
0xbe5f400000000000,
0xbe4f400000000000,
0xbe3f400000000000,
0xbe2f400000000000,
0xbe1f400000000000,
0xbe0f400000000000,
0xbdff400000000000,
0xbdef400000000000,
0xbddf400000000000,
0xbdcf400000000000,
0xbdbf400000000000,
0xbdaf400000000000,
0xbd9f400000000000,
0xbd8f400000000000,
0xbd7f400000000000,
0xbd6f400000000000,
0xbd5f400000000000,
0xbd4f400000000000,
0xbd3f400000000000,
0xbd2f400000000000,
0xbd1f400000000000,
0xbd0f400000000000,
0xbcff400000000000,
0xbcef400000000000,
0xbcdf400000000000,
0xbccf400000000000,
0xbcbf400000000000,
0xbcaf400000000000,
0xbc9f400000000000,
0xbc8f400000000000,
0xbc7f400000000000,
0xbc6f400000000000,
0xbc5f400000000000,
0xc050000000000000,
0xc040000000000000,
0xc030000000000000,
0xc020000000000000,
0xc010000000000000,
0xc000000000000000,
0xbff0000000000000,
0xbfe0000000000000,
0xbfd0000000000000,
0xbfc0000000000000,
0xbfb0000000000000,
0xbfa0000000000000,
0xbf90000000000000,
0xbf80000000000000,
0xbf70000000000000,
0xbf60000000000000,
0xbf50000000000000,
0xbf40000000000000,
0xbf30000000000000,
0xbf20000000000000,
0xbf10000000000000,
0xbf00000000000000,
0xbef0000000000000,
0xbee0000000000000,
0xbed0000000000000,
0xbec0000000000000,
0xbeb0000000000000,
0xbea0000000000000,
0xbe90000000000000,
0xbe80000000000000,
0xbe70000000000000,
0xbe60000000000000,
0xbe50000000000000,
0xbe40000000000000,
0xbe30000000000000,
0xbe20000000000000,
0xbe10000000000000,
0xbe00000000000000,
0xbdf0000000000000,
0xbde0000000000000,
0xbdd0000000000000,
0xbdc0000000000000,
0xbdb0000000000000,
0xbda0000000000000,
0xbd90000000000000,
0xbd80000000000000,
0xbd70000000000000,
0xbd60000000000000,
0xbd50000000000000,
0xbd40000000000000,
0xbd30000000000000,
0xbd20000000000000,
0xbd10000000000000,
0xbd00000000000000,
0xbcf0000000000000,
0xbce0000000000000,
0xbcd0000000000000,
0xbcc0000000000000,
0xbcb0000000000000,
0xbca0000000000000,
0xbc90000000000000,
0xbc80000000000000,
0xbc70000000000000,
0xbc60000000000000,
0xbc50000000000000,
0xc008000000000000,
0xbff8000000000000,
0xbfe8000000000000,
0xbfd8000000000000,
0xbfc8000000000000,
0xbfb8000000000000,
0xbfa8000000000000,
0xbf98000000000000,
0xbf88000000000000,
0xbf78000000000000,
0xbf68000000000000,
0xbf58000000000000,
0xbf48000000000000,
0xbf38000000000000,
0xbf28000000000000,
0xbf18000000000000,
0xbf08000000000000,
0xbef8000000000000,
0xbee8000000000000,
0xbed8000000000000,
0xbec8000000000000,
0xbeb8000000000000,
0xbea8000000000000,
0xbe98000000000000,
0xbe88000000000000,
0xbe78000000000000,
0xbe68000000000000,
0xbe58000000000000,
0xbe48000000000000,
0xbe38000000000000,
0xbe28000000000000,
0xbe18000000000000,
0xbe08000000000000,
0xbdf8000000000000,
0xbde8000000000000,
0xbdd8000000000000,
0xbdc8000000000000,
0xbdb8000000000000,
0xbda8000000000000,
0xbd98000000000000,
0xbd88000000000000,
0xbd78000000000000,
0xbd68000000000000,
0xbd58000000000000,
0xbd48000000000000,
0xbd38000000000000,
0xbd28000000000000,
0xbd18000000000000,
0xbd08000000000000,
0xbcf8000000000000,
0xbce8000000000000,
0xbcd8000000000000,
0xbcc8000000000000,
0xbcb8000000000000,
0xbca8000000000000,
0xbc98000000000000,
0xbc88000000000000,
0xbc78000000000000,
0xbc68000000000000,
0xbc58000000000000,
0xbc48000000000000,
0xbc38000000000000,
0xbc28000000000000,
0xbc18000000000000,
0xbc08000000000000,
0xc000000000000000,
0xbff0000000000000,
0xbfe0000000000000,
0xbfd0000000000000,
0xbfc0000000000000,
0xbfb0000000000000,
0xbfa0000000000000,
0xbf90000000000000,
0xbf80000000000000,
0xbf70000000000000,
0xbf60000000000000,
0xbf50000000000000,
0xbf40000000000000,
0xbf30000000000000,
0xbf20000000000000,
0xbf10000000000000,
0xbf00000000000000,
0xbef0000000000000,
0xbee0000000000000,
0xbed0000000000000,
0xbec0000000000000,
0xbeb0000000000000,
0xbea0000000000000,
0xbe90000000000000,
0xbe80000000000000,
0xbe70000000000000,
0xbe60000000000000,
0xbe50000000000000,
0xbe40000000000000,
0xbe30000000000000,
0xbe20000000000000,
0xbe10000000000000,
0xbe00000000000000,
0xbdf0000000000000,
0xbde0000000000000,
0xbdd0000000000000,
0xbdc0000000000000,
0xbdb0000000000000,
0xbda0000000000000,
0xbd90000000000000,
0xbd80000000000000,
0xbd70000000000000,
0xbd60000000000000,
0xbd50000000000000,
0xbd40000000000000,
0xbd30000000000000,
0xbd20000000000000,
0xbd10000000000000,
0xbd00000000000000,
0xbcf0000000000000,
0xbce0000000000000,
0xbcd0000000000000,
0xbcc0000000000000,
0xbcb0000000000000,
0xbca0000000000000,
0xbc90000000000000,
0xbc80000000000000,
0xbc70000000000000,
0xbc60000000000000,
0xbc50000000000000,
0xbc40000000000000,
0xbc30000000000000,
0xbc20000000000000,
0xbc10000000000000,
0xbc00000000000000,
0xbff0000000000000,
0xbfe0000000000000,
0xbfd0000000000000,
0xbfc0000000000000,
0xbfb0000000000000,
0xbfa0000000000000,
0xbf90000000000000,
0xbf80000000000000,
0xbf70000000000000,
0xbf60000000000000,
0xbf50000000000000,
0xbf40000000000000,
0xbf30000000000000,
0xbf20000000000000,
0xbf10000000000000,
0xbf00000000000000,
0xbef0000000000000,
0xbee0000000000000,
0xbed0000000000000,
0xbec0000000000000,
0xbeb0000000000000,
0xbea0000000000000,
0xbe90000000000000,
0xbe80000000000000,
0xbe70000000000000,
0xbe60000000000000,
0xbe50000000000000,
0xbe40000000000000,
0xbe30000000000000,
0xbe20000000000000,
0xbe10000000000000,
0xbe00000000000000,
0xbdf0000000000000,
0xbde0000000000000,
0xbdd0000000000000,
0xbdc0000000000000,
0xbdb0000000000000,
0xbda0000000000000,
0xbd90000000000000,
0xbd80000000000000,
0xbd70000000000000,
0xbd60000000000000,
0xbd50000000000000,
0xbd40000000000000,
0xbd30000000000000,
0xbd20000000000000,
0xbd10000000000000,
0xbd00000000000000,
0xbcf0000000000000,
0xbce0000000000000,
0xbcd0000000000000,
0xbcc0000000000000,
0xbcb0000000000000,
0xbca0000000000000,
0xbc90000000000000,
0xbc80000000000000,
0xbc70000000000000,
0xbc60000000000000,
0xbc50000000000000,
0xbc40000000000000,
0xbc30000000000000,
0xbc20000000000000,
0xbc10000000000000,
0xbc00000000000000,
0xbbf0000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x3ff0000000000000,
0x3fe0000000000000,
0x3fd0000000000000,
0x3fc0000000000000,
0x3fb0000000000000,
0x3fa0000000000000,
0x3f90000000000000,
0x3f80000000000000,
0x3f70000000000000,
0x3f60000000000000,
0x3f50000000000000,
0x3f40000000000000,
0x3f30000000000000,
0x3f20000000000000,
0x3f10000000000000,
0x3f00000000000000,
0x3ef0000000000000,
0x3ee0000000000000,
0x3ed0000000000000,
0x3ec0000000000000,
0x3eb0000000000000,
0x3ea0000000000000,
0x3e90000000000000,
0x3e80000000000000,
0x3e70000000000000,
0x3e60000000000000,
0x3e50000000000000,
0x3e40000000000000,
0x3e30000000000000,
0x3e20000000000000,
0x3e10000000000000,
0x3e00000000000000,
0x3df0000000000000,
0x3de0000000000000,
0x3dd0000000000000,
0x3dc0000000000000,
0x3db0000000000000,
0x3da0000000000000,
0x3d90000000000000,
0x3d80000000000000,
0x3d70000000000000,
0x3d60000000000000,
0x3d50000000000000,
0x3d40000000000000,
0x3d30000000000000,
0x3d20000000000000,
0x3d10000000000000,
0x3d00000000000000,
0x3cf0000000000000,
0x3ce0000000000000,
0x3cd0000000000000,
0x3cc0000000000000,
0x3cb0000000000000,
0x3ca0000000000000,
0x3c90000000000000,
0x3c80000000000000,
0x3c70000000000000,
0x3c60000000000000,
0x3c50000000000000,
0x3c40000000000000,
0x3c30000000000000,
0x3c20000000000000,
0x3c10000000000000,
0x3c00000000000000,
0x3bf0000000000000,
0x41d0000000000000,
0x41c0000000000000,
0x41b0000000000000,
0x41a0000000000000,
0x4190000000000000,
0x4180000000000000,
0x4170000000000000,
0x4160000000000000,
0x4150000000000000,
0x4140000000000000,
0x4130000000000000,
0x4120000000000000,
0x4110000000000000,
0x4100000000000000,
0x40f0000000000000,
0x40e0000000000000,
0x40d0000000000000,
0x40c0000000000000,
0x40b0000000000000,
0x40a0000000000000,
0x4090000000000000,
0x4080000000000000,
0x4070000000000000,
0x4060000000000000,
0x4050000000000000,
0x4040000000000000,
0x4030000000000000,
0x4020000000000000,
0x4010000000000000,
0x4000000000000000,
0x3ff0000000000000,
0x3fe0000000000000,
0x3fd0000000000000,
0x3fc0000000000000,
0x3fb0000000000000,
0x3fa0000000000000,
0x3f90000000000000,
0x3f80000000000000,
0x3f70000000000000,
0x3f60000000000000,
0x3f50000000000000,
0x3f40000000000000,
0x3f30000000000000,
0x3f20000000000000,
0x3f10000000000000,
0x3f00000000000000,
0x3ef0000000000000,
0x3ee0000000000000,
0x3ed0000000000000,
0x3ec0000000000000,
0x3eb0000000000000,
0x3ea0000000000000,
0x3e90000000000000,
0x3e80000000000000,
0x3e70000000000000,
0x3e60000000000000,
0x3e50000000000000,
0x3e40000000000000,
0x3e30000000000000,
0x3e20000000000000,
0x3e10000000000000,
0x3e00000000000000,
0x3df0000000000000,
0x3de0000000000000,
0x3dd0000000000000,
0x41f0000000000000,
0x41e0000000000000,
0x41d0000000000000,
0x41c0000000000000,
0x41b0000000000000,
0x41a0000000000000,
0x4190000000000000,
0x4180000000000000,
0x4170000000000000,
0x4160000000000000,
0x4150000000000000,
0x4140000000000000,
0x4130000000000000,
0x4120000000000000,
0x4110000000000000,
0x4100000000000000,
0x40f0000000000000,
0x40e0000000000000,
0x40d0000000000000,
0x40c0000000000000,
0x40b0000000000000,
0x40a0000000000000,
0x4090000000000000,
0x4080000000000000,
0x4070000000000000,
0x4060000000000000,
0x4050000000000000,
0x4040000000000000,
0x4030000000000000,
0x4020000000000000,
0x4010000000000000,
0x4000000000000000,
0x3ff0000000000000,
0x3fe0000000000000,
0x3fd0000000000000,
0x3fc0000000000000,
0x3fb0000000000000,
0x3fa0000000000000,
0x3f90000000000000,
0x3f80000000000000,
0x3f70000000000000,
0x3f60000000000000,
0x3f50000000000000,
0x3f40000000000000,
0x3f30000000000000,
0x3f20000000000000,
0x3f10000000000000,
0x3f00000000000000,
0x3ef0000000000000,
0x3ee0000000000000,
0x3ed0000000000000,
0x3ec0000000000000,
0x3eb0000000000000,
0x3ea0000000000000,
0x3e90000000000000,
0x3e80000000000000,
0x3e70000000000000,
0x3e60000000000000,
0x3e50000000000000,
0x3e40000000000000,
0x3e30000000000000,
0x3e20000000000000,
0x3e10000000000000,
0x3e00000000000000,
0x3df0000000000000,
0x43d0000000000000,
0x43c0000000000000,
0x43b0000000000000,
0x43a0000000000000,
0x4390000000000000,
0x4380000000000000,
0x4370000000000000,
0x4360000000000000,
0x4350000000000000,
0x4340000000000000,
0x4330000000000000,
0x4320000000000000,
0x4310000000000000,
0x4300000000000000,
0x42f0000000000000,
0x42e0000000000000,
0x42d0000000000000,
0x42c0000000000000,
0x42b0000000000000,
0x42a0000000000000,
0x4290000000000000,
0x4280000000000000,
0x4270000000000000,
0x4260000000000000,
0x4250000000000000,
0x4240000000000000,
0x4230000000000000,
0x4220000000000000,
0x4210000000000000,
0x4200000000000000,
0x41f0000000000000,
0x41e0000000000000,
0x41d0000000000000,
0x41c0000000000000,
0x41b0000000000000,
0x41a0000000000000,
0x4190000000000000,
0x4180000000000000,
0x4170000000000000,
0x4160000000000000,
0x4150000000000000,
0x4140000000000000,
0x4130000000000000,
0x4120000000000000,
0x4110000000000000,
0x4100000000000000,
0x40f0000000000000,
0x40e0000000000000,
0x40d0000000000000,
0x40c0000000000000,
0x40b0000000000000,
0x40a0000000000000,
0x4090000000000000,
0x4080000000000000,
0x4070000000000000,
0x4060000000000000,
0x4050000000000000,
0x4040000000000000,
0x4030000000000000,
0x4020000000000000,
0x4010000000000000,
0x4000000000000000,
0x3ff0000000000000,
0x3fe0000000000000,
0x3fd0000000000000,
0x43d0000000000001,
0x43c0000000000001,
0x43b0000000000001,
0x43a0000000000001,
0x4390000000000001,
0x4380000000000001,
0x4370000000000001,
0x4360000000000001,
0x4350000000000001,
0x4340000000000001,
0x4330000000000001,
0x4320000000000001,
0x4310000000000001,
0x4300000000000001,
0x42f0000000000001,
0x42e0000000000001,
0x42d0000000000001,
0x42c0000000000001,
0x42b0000000000001,
0x42a0000000000001,
0x4290000000000001,
0x4280000000000001,
0x4270000000000001,
0x4260000000000001,
0x4250000000000001,
0x4240000000000001,
0x4230000000000001,
0x4220000000000001,
0x4210000000000001,
0x4200000000000001,
0x41f0000000000001,
0x41e0000000000001,
0x41d0000000000001,
0x41c0000000000001,
0x41b0000000000001,
0x41a0000000000001,
0x4190000000000001,
0x4180000000000001,
0x4170000000000001,
0x4160000000000001,
0x4150000000000001,
0x4140000000000001,
0x4130000000000001,
0x4120000000000001,
0x4110000000000001,
0x4100000000000001,
0x40f0000000000001,
0x40e0000000000001,
0x40d0000000000001,
0x40c0000000000001,
0x40b0000000000001,
0x40a0000000000001,
0x4090000000000001,
0x4080000000000001,
0x4070000000000001,
0x4060000000000001,
0x4050000000000001,
0x4040000000000001,
0x4030000000000001,
0x4020000000000001,
0x4010000000000001,
0x4000000000000001,
0x3ff0000000000001,
0x3fe0000000000001,
0x3fd0000000000001,
0x41dfffffffc00000,
0x41cfffffffc00000,
0x41bfffffffc00000,
0x41afffffffc00000,
0x419fffffffc00000,
0x418fffffffc00000,
0x417fffffffc00000,
0x416fffffffc00000,
0x415fffffffc00000,
0x414fffffffc00000,
0x413fffffffc00000,
0x412fffffffc00000,
0x411fffffffc00000,
0x410fffffffc00000,
0x40ffffffffc00000,
0x40efffffffc00000,
0x40dfffffffc00000,
0x40cfffffffc00000,
0x40bfffffffc00000,
0x40afffffffc00000,
0x409fffffffc00000,
0x408fffffffc00000,
0x407fffffffc00000,
0x406fffffffc00000,
0x405fffffffc00000,
0x404fffffffc00000,
0x403fffffffc00000,
0x402fffffffc00000,
0x401fffffffc00000,
0x400fffffffc00000,
0x3fffffffffc00000,
0x3fefffffffc00000,
0x3fdfffffffc00000,
0x3fcfffffffc00000,
0x3fbfffffffc00000,
0x3fafffffffc00000,
0x3f9fffffffc00000,
0x3f8fffffffc00000,
0x3f7fffffffc00000,
0x3f6fffffffc00000,
0x3f5fffffffc00000,
0x3f4fffffffc00000,
0x3f3fffffffc00000,
0x3f2fffffffc00000,
0x3f1fffffffc00000,
0x3f0fffffffc00000,
0x3effffffffc00000,
0x3eefffffffc00000,
0x3edfffffffc00000,
0x3ecfffffffc00000,
0x3ebfffffffc00000,
0x3eafffffffc00000,
0x3e9fffffffc00000,
0x3e8fffffffc00000,
0x3e7fffffffc00000,
0x3e6fffffffc00000,
0x3e5fffffffc00000,
0x3e4fffffffc00000,
0x3e3fffffffc00000,
0x3e2fffffffc00000,
0x3e1fffffffc00000,
0x3e0fffffffc00000,
0x3dffffffffc00000,
0x3defffffffc00000,
0x3ddfffffffc00000,
0x41efffffffe00000,
0x41dfffffffe00000,
0x41cfffffffe00000,
0x41bfffffffe00000,
0x41afffffffe00000,
0x419fffffffe00000,
0x418fffffffe00000,
0x417fffffffe00000,
0x416fffffffe00000,
0x415fffffffe00000,
0x414fffffffe00000,
0x413fffffffe00000,
0x412fffffffe00000,
0x411fffffffe00000,
0x410fffffffe00000,
0x40ffffffffe00000,
0x40efffffffe00000,
0x40dfffffffe00000,
0x40cfffffffe00000,
0x40bfffffffe00000,
0x40afffffffe00000,
0x409fffffffe00000,
0x408fffffffe00000,
0x407fffffffe00000,
0x406fffffffe00000,
0x405fffffffe00000,
0x404fffffffe00000,
0x403fffffffe00000,
0x402fffffffe00000,
0x401fffffffe00000,
0x400fffffffe00000,
0x3fffffffffe00000,
0x3fefffffffe00000,
0x3fdfffffffe00000,
0x3fcfffffffe00000,
0x3fbfffffffe00000,
0x3fafffffffe00000,
0x3f9fffffffe00000,
0x3f8fffffffe00000,
0x3f7fffffffe00000,
0x3f6fffffffe00000,
0x3f5fffffffe00000,
0x3f4fffffffe00000,
0x3f3fffffffe00000,
0x3f2fffffffe00000,
0x3f1fffffffe00000,
0x3f0fffffffe00000,
0x3effffffffe00000,
0x3eefffffffe00000,
0x3edfffffffe00000,
0x3ecfffffffe00000,
0x3ebfffffffe00000,
0x3eafffffffe00000,
0x3e9fffffffe00000,
0x3e8fffffffe00000,
0x3e7fffffffe00000,
0x3e6fffffffe00000,
0x3e5fffffffe00000,
0x3e4fffffffe00000,
0x3e3fffffffe00000,
0x3e2fffffffe00000,
0x3e1fffffffe00000,
0x3e0fffffffe00000,
0x3dffffffffe00000,
0x3defffffffe00000,
0x41e0000000000000,
0x41d0000000000000,
0x41c0000000000000,
0x41b0000000000000,
0x41a0000000000000,
0x4190000000000000,
0x4180000000000000,
0x4170000000000000,
0x4160000000000000,
0x4150000000000000,
0x4140000000000000,
0x4130000000000000,
0x4120000000000000,
0x4110000000000000,
0x4100000000000000,
0x40f0000000000000,
0x40e0000000000000,
0x40d0000000000000,
0x40c0000000000000,
0x40b0000000000000,
0x40a0000000000000,
0x4090000000000000,
0x4080000000000000,
0x4070000000000000,
0x4060000000000000,
0x4050000000000000,
0x4040000000000000,
0x4030000000000000,
0x4020000000000000,
0x4010000000000000,
0x4000000000000000,
0x3ff0000000000000,
0x3fe0000000000000,
0x3fd0000000000000,
0x3fc0000000000000,
0x3fb0000000000000,
0x3fa0000000000000,
0x3f90000000000000,
0x3f80000000000000,
0x3f70000000000000,
0x3f60000000000000,
0x3f50000000000000,
0x3f40000000000000,
0x3f30000000000000,
0x3f20000000000000,
0x3f10000000000000,
0x3f00000000000000,
0x3ef0000000000000,
0x3ee0000000000000,
0x3ed0000000000000,
0x3ec0000000000000,
0x3eb0000000000000,
0x3ea0000000000000,
0x3e90000000000000,
0x3e80000000000000,
0x3e70000000000000,
0x3e60000000000000,
0x3e50000000000000,
0x3e40000000000000,
0x3e30000000000000,
0x3e20000000000000,
0x3e10000000000000,
0x3e00000000000000,
0x3df0000000000000,
0x3de0000000000000,
0x41e0000000200000,
0x41d0000000200000,
0x41c0000000200000,
0x41b0000000200000,
0x41a0000000200000,
0x4190000000200000,
0x4180000000200000,
0x4170000000200000,
0x4160000000200000,
0x4150000000200000,
0x4140000000200000,
0x4130000000200000,
0x4120000000200000,
0x4110000000200000,
0x4100000000200000,
0x40f0000000200000,
0x40e0000000200000,
0x40d0000000200000,
0x40c0000000200000,
0x40b0000000200000,
0x40a0000000200000,
0x4090000000200000,
0x4080000000200000,
0x4070000000200000,
0x4060000000200000,
0x4050000000200000,
0x4040000000200000,
0x4030000000200000,
0x4020000000200000,
0x4010000000200000,
0x4000000000200000,
0x3ff0000000200000,
0x3fe0000000200000,
0x3fd0000000200000,
0x3fc0000000200000,
0x3fb0000000200000,
0x3fa0000000200000,
0x3f90000000200000,
0x3f80000000200000,
0x3f70000000200000,
0x3f60000000200000,
0x3f50000000200000,
0x3f40000000200000,
0x3f30000000200000,
0x3f20000000200000,
0x3f10000000200000,
0x3f00000000200000,
0x3ef0000000200000,
0x3ee0000000200000,
0x3ed0000000200000,
0x3ec0000000200000,
0x3eb0000000200000,
0x3ea0000000200000,
0x3e90000000200000,
0x3e80000000200000,
0x3e70000000200000,
0x3e60000000200000,
0x3e50000000200000,
0x3e40000000200000,
0x3e30000000200000,
0x3e20000000200000,
0x3e10000000200000,
0x3e00000000200000,
0x3df0000000200000,
0x3de0000000200000,
0x43dfffffffffffff,
0x43cfffffffffffff,
0x43bfffffffffffff,
0x43afffffffffffff,
0x439fffffffffffff,
0x438fffffffffffff,
0x437fffffffffffff,
0x436fffffffffffff,
0x435fffffffffffff,
0x434fffffffffffff,
0x433fffffffffffff,
0x432fffffffffffff,
0x431fffffffffffff,
0x430fffffffffffff,
0x42ffffffffffffff,
0x42efffffffffffff,
0x42dfffffffffffff,
0x42cfffffffffffff,
0x42bfffffffffffff,
0x42afffffffffffff,
0x429fffffffffffff,
0x428fffffffffffff,
0x427fffffffffffff,
0x426fffffffffffff,
0x425fffffffffffff,
0x424fffffffffffff,
0x423fffffffffffff,
0x422fffffffffffff,
0x421fffffffffffff,
0x420fffffffffffff,
0x41ffffffffffffff,
0x41efffffffffffff,
0x41dfffffffffffff,
0x41cfffffffffffff,
0x41bfffffffffffff,
0x41afffffffffffff,
0x419fffffffffffff,
0x418fffffffffffff,
0x417fffffffffffff,
0x416fffffffffffff,
0x415fffffffffffff,
0x414fffffffffffff,
0x413fffffffffffff,
0x412fffffffffffff,
0x411fffffffffffff,
0x410fffffffffffff,
0x40ffffffffffffff,
0x40efffffffffffff,
0x40dfffffffffffff,
0x40cfffffffffffff,
0x40bfffffffffffff,
0x40afffffffffffff,
0x409fffffffffffff,
0x408fffffffffffff,
0x407fffffffffffff,
0x406fffffffffffff,
0x405fffffffffffff,
0x404fffffffffffff,
0x403fffffffffffff,
0x402fffffffffffff,
0x401fffffffffffff,
0x400fffffffffffff,
0x3fffffffffffffff,
0x3fefffffffffffff,
0x3fdfffffffffffff,
0x43723456789abcde,
0x43623456789abcde,
0x43523456789abcde,
0x43423456789abcde,
0x43323456789abcde,
0x43223456789abcde,
0x43123456789abcde,
0x43023456789abcde,
0x42f23456789abcde,
0x42e23456789abcde,
0x42d23456789abcde,
0x42c23456789abcde,
0x42b23456789abcde,
0x42a23456789abcde,
0x42923456789abcde,
0x42823456789abcde,
0x42723456789abcde,
0x42623456789abcde,
0x42523456789abcde,
0x42423456789abcde,
0x42323456789abcde,
0x42223456789abcde,
0x42123456789abcde,
0x42023456789abcde,
0x41f23456789abcde,
0x41e23456789abcde,
0x41d23456789abcde,
0x41c23456789abcde,
0x41b23456789abcde,
0x41a23456789abcde,
0x41923456789abcde,
0x41823456789abcde,
0x41723456789abcde,
0x41623456789abcde,
0x41523456789abcde,
0x41423456789abcde,
0x41323456789abcde,
0x41223456789abcde,
0x41123456789abcde,
0x41023456789abcde,
0x40f23456789abcde,
0x40e23456789abcde,
0x40d23456789abcde,
0x40c23456789abcde,
0x40b23456789abcde,
0x40a23456789abcde,
0x40923456789abcde,
0x40823456789abcde,
0x40723456789abcde,
0x40623456789abcde,
0x40523456789abcde,
0x40423456789abcde,
0x40323456789abcde,
0x40223456789abcde,
0x40123456789abcde,
0x40023456789abcde,
0x3ff23456789abcde,
0x3fe23456789abcde,
0x3fd23456789abcde,
0x3fc23456789abcde,
0x3fb23456789abcde,
0x3fa23456789abcde,
0x3f923456789abcde,
0x3f823456789abcde,
0x3f723456789abcde,
0x41b2345678000000,
0x41a2345678000000,
0x4192345678000000,
0x4182345678000000,
0x4172345678000000,
0x4162345678000000,
0x4152345678000000,
0x4142345678000000,
0x4132345678000000,
0x4122345678000000,
0x4112345678000000,
0x4102345678000000,
0x40f2345678000000,
0x40e2345678000000,
0x40d2345678000000,
0x40c2345678000000,
0x40b2345678000000,
0x40a2345678000000,
0x4092345678000000,
0x4082345678000000,
0x4072345678000000,
0x4062345678000000,
0x4052345678000000,
0x4042345678000000,
0x4032345678000000,
0x4022345678000000,
0x4012345678000000,
0x4002345678000000,
0x3ff2345678000000,
0x3fe2345678000000,
0x3fd2345678000000,
0x3fc2345678000000,
0x3fb2345678000000,
0x3fa2345678000000,
0x3f92345678000000,
0x3f82345678000000,
0x3f72345678000000,
0x3f62345678000000,
0x3f52345678000000,
0x3f42345678000000,
0x3f32345678000000,
0x3f22345678000000,
0x3f12345678000000,
0x3f02345678000000,
0x3ef2345678000000,
0x3ee2345678000000,
0x3ed2345678000000,
0x3ec2345678000000,
0x3eb2345678000000,
0x3ea2345678000000,
0x3e92345678000000,
0x3e82345678000000,
0x3e72345678000000,
0x3e62345678000000,
0x3e52345678000000,
0x3e42345678000000,
0x3e32345678000000,
0x3e22345678000000,
0x3e12345678000000,
0x3e02345678000000,
0x3df2345678000000,
0x3de2345678000000,
0x3dd2345678000000,
0x3dc2345678000000,
0x3db2345678000000,
0xc1d0000000000000,
0xc1c0000000000000,
0xc1b0000000000000,
0xc1a0000000000000,
0xc190000000000000,
0xc180000000000000,
0xc170000000000000,
0xc160000000000000,
0xc150000000000000,
0xc140000000000000,
0xc130000000000000,
0xc120000000000000,
0xc110000000000000,
0xc100000000000000,
0xc0f0000000000000,
0xc0e0000000000000,
0xc0d0000000000000,
0xc0c0000000000000,
0xc0b0000000000000,
0xc0a0000000000000,
0xc090000000000000,
0xc080000000000000,
0xc070000000000000,
0xc060000000000000,
0xc050000000000000,
0xc040000000000000,
0xc030000000000000,
0xc020000000000000,
0xc010000000000000,
0xc000000000000000,
0xbff0000000000000,
0xbfe0000000000000,
0xbfd0000000000000,
0xbfc0000000000000,
0xbfb0000000000000,
0xbfa0000000000000,
0xbf90000000000000,
0xbf80000000000000,
0xbf70000000000000,
0xbf60000000000000,
0xbf50000000000000,
0xbf40000000000000,
0xbf30000000000000,
0xbf20000000000000,
0xbf10000000000000,
0xbf00000000000000,
0xbef0000000000000,
0xbee0000000000000,
0xbed0000000000000,
0xbec0000000000000,
0xbeb0000000000000,
0xbea0000000000000,
0xbe90000000000000,
0xbe80000000000000,
0xbe70000000000000,
0xbe60000000000000,
0xbe50000000000000,
0xbe40000000000000,
0xbe30000000000000,
0xbe20000000000000,
0xbe10000000000000,
0xbe00000000000000,
0xbdf0000000000000,
0xbde0000000000000,
0xbdd0000000000000,
0xc1f0000000000000,
0xc1e0000000000000,
0xc1d0000000000000,
0xc1c0000000000000,
0xc1b0000000000000,
0xc1a0000000000000,
0xc190000000000000,
0xc180000000000000,
0xc170000000000000,
0xc160000000000000,
0xc150000000000000,
0xc140000000000000,
0xc130000000000000,
0xc120000000000000,
0xc110000000000000,
0xc100000000000000,
0xc0f0000000000000,
0xc0e0000000000000,
0xc0d0000000000000,
0xc0c0000000000000,
0xc0b0000000000000,
0xc0a0000000000000,
0xc090000000000000,
0xc080000000000000,
0xc070000000000000,
0xc060000000000000,
0xc050000000000000,
0xc040000000000000,
0xc030000000000000,
0xc020000000000000,
0xc010000000000000,
0xc000000000000000,
0xbff0000000000000,
0xbfe0000000000000,
0xbfd0000000000000,
0xbfc0000000000000,
0xbfb0000000000000,
0xbfa0000000000000,
0xbf90000000000000,
0xbf80000000000000,
0xbf70000000000000,
0xbf60000000000000,
0xbf50000000000000,
0xbf40000000000000,
0xbf30000000000000,
0xbf20000000000000,
0xbf10000000000000,
0xbf00000000000000,
0xbef0000000000000,
0xbee0000000000000,
0xbed0000000000000,
0xbec0000000000000,
0xbeb0000000000000,
0xbea0000000000000,
0xbe90000000000000,
0xbe80000000000000,
0xbe70000000000000,
0xbe60000000000000,
0xbe50000000000000,
0xbe40000000000000,
0xbe30000000000000,
0xbe20000000000000,
0xbe10000000000000,
0xbe00000000000000,
0xbdf0000000000000,
0xc3d0000000000000,
0xc3c0000000000000,
0xc3b0000000000000,
0xc3a0000000000000,
0xc390000000000000,
0xc380000000000000,
0xc370000000000000,
0xc360000000000000,
0xc350000000000000,
0xc340000000000000,
0xc330000000000000,
0xc320000000000000,
0xc310000000000000,
0xc300000000000000,
0xc2f0000000000000,
0xc2e0000000000000,
0xc2d0000000000000,
0xc2c0000000000000,
0xc2b0000000000000,
0xc2a0000000000000,
0xc290000000000000,
0xc280000000000000,
0xc270000000000000,
0xc260000000000000,
0xc250000000000000,
0xc240000000000000,
0xc230000000000000,
0xc220000000000000,
0xc210000000000000,
0xc200000000000000,
0xc1f0000000000000,
0xc1e0000000000000,
0xc1d0000000000000,
0xc1c0000000000000,
0xc1b0000000000000,
0xc1a0000000000000,
0xc190000000000000,
0xc180000000000000,
0xc170000000000000,
0xc160000000000000,
0xc150000000000000,
0xc140000000000000,
0xc130000000000000,
0xc120000000000000,
0xc110000000000000,
0xc100000000000000,
0xc0f0000000000000,
0xc0e0000000000000,
0xc0d0000000000000,
0xc0c0000000000000,
0xc0b0000000000000,
0xc0a0000000000000,
0xc090000000000000,
0xc080000000000000,
0xc070000000000000,
0xc060000000000000,
0xc050000000000000,
0xc040000000000000,
0xc030000000000000,
0xc020000000000000,
0xc010000000000000,
0xc000000000000000,
0xbff0000000000000,
0xbfe0000000000000,
0xbfd0000000000000,
0x43b0000000000000,
0x43a0000000000000,
0x4390000000000000,
0x4380000000000000,
0x4370000000000000,
0x4360000000000000,
0x4350000000000000,
0x4340000000000000,
0x4330000000000000,
0x4320000000000000,
0x4310000000000000,
0x4300000000000000,
0x42f0000000000000,
0x42e0000000000000,
0x42d0000000000000,
0x42c0000000000000,
0x42b0000000000000,
0x42a0000000000000,
0x4290000000000000,
0x4280000000000000,
0x4270000000000000,
0x4260000000000000,
0x4250000000000000,
0x4240000000000000,
0x4230000000000000,
0x4220000000000000,
0x4210000000000000,
0x4200000000000000,
0x41f0000000000000,
0x41e0000000000000,
0x41d0000000000000,
0x41c0000000000000,
0x41b0000000000000,
0x41a0000000000000,
0x4190000000000000,
0x4180000000000000,
0x4170000000000000,
0x4160000000000000,
0x4150000000000000,
0x4140000000000000,
0x4130000000000000,
0x4120000000000000,
0x4110000000000000,
0x4100000000000000,
0x40f0000000000000,
0x40e0000000000000,
0x40d0000000000000,
0x40c0000000000000,
0x40b0000000000000,
0x40a0000000000000,
0x4090000000000000,
0x4080000000000000,
0x4070000000000000,
0x4060000000000000,
0x4050000000000000,
0x4040000000000000,
0x4030000000000000,
0x4020000000000000,
0x4010000000000000,
0x4000000000000000,
0x3ff0000000000000,
0x3fe0000000000000,
0x3fd0000000000000,
0x3fc0000000000000,
0x3fb0000000000000,
0x43b0000000000000,
0x43a0000000000000,
0x4390000000000000,
0x4380000000000000,
0x4370000000000000,
0x4360000000000000,
0x4350000000000000,
0x4340000000000000,
0x4330000000000000,
0x4320000000000000,
0x4310000000000000,
0x4300000000000000,
0x42f0000000000000,
0x42e0000000000000,
0x42d0000000000000,
0x42c0000000000000,
0x42b0000000000000,
0x42a0000000000000,
0x4290000000000000,
0x4280000000000000,
0x4270000000000000,
0x4260000000000000,
0x4250000000000000,
0x4240000000000000,
0x4230000000000000,
0x4220000000000000,
0x4210000000000000,
0x4200000000000000,
0x41f0000000000000,
0x41e0000000000000,
0x41d0000000000000,
0x41c0000000000000,
0x41b0000000000000,
0x41a0000000000000,
0x4190000000000000,
0x4180000000000000,
0x4170000000000000,
0x4160000000000000,
0x4150000000000000,
0x4140000000000000,
0x4130000000000000,
0x4120000000000000,
0x4110000000000000,
0x4100000000000000,
0x40f0000000000000,
0x40e0000000000000,
0x40d0000000000000,
0x40c0000000000000,
0x40b0000000000000,
0x40a0000000000000,
0x4090000000000000,
0x4080000000000000,
0x4070000000000000,
0x4060000000000000,
0x4050000000000000,
0x4040000000000000,
0x4030000000000000,
0x4020000000000000,
0x4010000000000000,
0x4000000000000000,
0x3ff0000000000000,
0x3fe0000000000000,
0x3fd0000000000000,
0x3fc0000000000000,
0x3fb0000000000000,
0x43b0000000000000,
0x43a0000000000000,
0x4390000000000000,
0x4380000000000000,
0x4370000000000000,
0x4360000000000000,
0x4350000000000000,
0x4340000000000000,
0x4330000000000000,
0x4320000000000000,
0x4310000000000000,
0x4300000000000000,
0x42f0000000000000,
0x42e0000000000000,
0x42d0000000000000,
0x42c0000000000000,
0x42b0000000000000,
0x42a0000000000000,
0x4290000000000000,
0x4280000000000000,
0x4270000000000000,
0x4260000000000000,
0x4250000000000000,
0x4240000000000000,
0x4230000000000000,
0x4220000000000000,
0x4210000000000000,
0x4200000000000000,
0x41f0000000000000,
0x41e0000000000000,
0x41d0000000000000,
0x41c0000000000000,
0x41b0000000000000,
0x41a0000000000000,
0x4190000000000000,
0x4180000000000000,
0x4170000000000000,
0x4160000000000000,
0x4150000000000000,
0x4140000000000000,
0x4130000000000000,
0x4120000000000000,
0x4110000000000000,
0x4100000000000000,
0x40f0000000000000,
0x40e0000000000000,
0x40d0000000000000,
0x40c0000000000000,
0x40b0000000000000,
0x40a0000000000000,
0x4090000000000000,
0x4080000000000000,
0x4070000000000000,
0x4060000000000000,
0x4050000000000000,
0x4040000000000000,
0x4030000000000000,
0x4020000000000000,
0x4010000000000000,
0x4000000000000000,
0x3ff0000000000000,
0x3fe0000000000000,
0x3fd0000000000000,
0x3fc0000000000000,
0x3fb0000000000000,
0x43b0000000000001,
0x43a0000000000001,
0x4390000000000001,
0x4380000000000001,
0x4370000000000001,
0x4360000000000001,
0x4350000000000001,
0x4340000000000001,
0x4330000000000001,
0x4320000000000001,
0x4310000000000001,
0x4300000000000001,
0x42f0000000000001,
0x42e0000000000001,
0x42d0000000000001,
0x42c0000000000001,
0x42b0000000000001,
0x42a0000000000001,
0x4290000000000001,
0x4280000000000001,
0x4270000000000001,
0x4260000000000001,
0x4250000000000001,
0x4240000000000001,
0x4230000000000001,
0x4220000000000001,
0x4210000000000001,
0x4200000000000001,
0x41f0000000000001,
0x41e0000000000001,
0x41d0000000000001,
0x41c0000000000001,
0x41b0000000000001,
0x41a0000000000001,
0x4190000000000001,
0x4180000000000001,
0x4170000000000001,
0x4160000000000001,
0x4150000000000001,
0x4140000000000001,
0x4130000000000001,
0x4120000000000001,
0x4110000000000001,
0x4100000000000001,
0x40f0000000000001,
0x40e0000000000001,
0x40d0000000000001,
0x40c0000000000001,
0x40b0000000000001,
0x40a0000000000001,
0x4090000000000001,
0x4080000000000001,
0x4070000000000001,
0x4060000000000001,
0x4050000000000001,
0x4040000000000001,
0x4030000000000001,
0x4020000000000001,
0x4010000000000001,
0x4000000000000001,
0x3ff0000000000001,
0x3fe0000000000001,
0x3fd0000000000001,
0x3fc0000000000001,
0x3fb0000000000001,
0x43b0000000000001,
0x43a0000000000001,
0x4390000000000001,
0x4380000000000001,
0x4370000000000001,
0x4360000000000001,
0x4350000000000001,
0x4340000000000001,
0x4330000000000001,
0x4320000000000001,
0x4310000000000001,
0x4300000000000001,
0x42f0000000000001,
0x42e0000000000001,
0x42d0000000000001,
0x42c0000000000001,
0x42b0000000000001,
0x42a0000000000001,
0x4290000000000001,
0x4280000000000001,
0x4270000000000001,
0x4260000000000001,
0x4250000000000001,
0x4240000000000001,
0x4230000000000001,
0x4220000000000001,
0x4210000000000001,
0x4200000000000001,
0x41f0000000000001,
0x41e0000000000001,
0x41d0000000000001,
0x41c0000000000001,
0x41b0000000000001,
0x41a0000000000001,
0x4190000000000001,
0x4180000000000001,
0x4170000000000001,
0x4160000000000001,
0x4150000000000001,
0x4140000000000001,
0x4130000000000001,
0x4120000000000001,
0x4110000000000001,
0x4100000000000001,
0x40f0000000000001,
0x40e0000000000001,
0x40d0000000000001,
0x40c0000000000001,
0x40b0000000000001,
0x40a0000000000001,
0x4090000000000001,
0x4080000000000001,
0x4070000000000001,
0x4060000000000001,
0x4050000000000001,
0x4040000000000001,
0x4030000000000001,
0x4020000000000001,
0x4010000000000001,
0x4000000000000001,
0x3ff0000000000001,
0x3fe0000000000001,
0x3fd0000000000001,
0x3fc0000000000001,
0x3fb0000000000001,
0x43b0000000000001,
0x43a0000000000001,
0x4390000000000001,
0x4380000000000001,
0x4370000000000001,
0x4360000000000001,
0x4350000000000001,
0x4340000000000001,
0x4330000000000001,
0x4320000000000001,
0x4310000000000001,
0x4300000000000001,
0x42f0000000000001,
0x42e0000000000001,
0x42d0000000000001,
0x42c0000000000001,
0x42b0000000000001,
0x42a0000000000001,
0x4290000000000001,
0x4280000000000001,
0x4270000000000001,
0x4260000000000001,
0x4250000000000001,
0x4240000000000001,
0x4230000000000001,
0x4220000000000001,
0x4210000000000001,
0x4200000000000001,
0x41f0000000000001,
0x41e0000000000001,
0x41d0000000000001,
0x41c0000000000001,
0x41b0000000000001,
0x41a0000000000001,
0x4190000000000001,
0x4180000000000001,
0x4170000000000001,
0x4160000000000001,
0x4150000000000001,
0x4140000000000001,
0x4130000000000001,
0x4120000000000001,
0x4110000000000001,
0x4100000000000001,
0x40f0000000000001,
0x40e0000000000001,
0x40d0000000000001,
0x40c0000000000001,
0x40b0000000000001,
0x40a0000000000001,
0x4090000000000001,
0x4080000000000001,
0x4070000000000001,
0x4060000000000001,
0x4050000000000001,
0x4040000000000001,
0x4030000000000001,
0x4020000000000001,
0x4010000000000001,
0x4000000000000001,
0x3ff0000000000001,
0x3fe0000000000001,
0x3fd0000000000001,
0x3fc0000000000001,
0x3fb0000000000001,
0x43b0000000000002,
0x43a0000000000002,
0x4390000000000002,
0x4380000000000002,
0x4370000000000002,
0x4360000000000002,
0x4350000000000002,
0x4340000000000002,
0x4330000000000002,
0x4320000000000002,
0x4310000000000002,
0x4300000000000002,
0x42f0000000000002,
0x42e0000000000002,
0x42d0000000000002,
0x42c0000000000002,
0x42b0000000000002,
0x42a0000000000002,
0x4290000000000002,
0x4280000000000002,
0x4270000000000002,
0x4260000000000002,
0x4250000000000002,
0x4240000000000002,
0x4230000000000002,
0x4220000000000002,
0x4210000000000002,
0x4200000000000002,
0x41f0000000000002,
0x41e0000000000002,
0x41d0000000000002,
0x41c0000000000002,
0x41b0000000000002,
0x41a0000000000002,
0x4190000000000002,
0x4180000000000002,
0x4170000000000002,
0x4160000000000002,
0x4150000000000002,
0x4140000000000002,
0x4130000000000002,
0x4120000000000002,
0x4110000000000002,
0x4100000000000002,
0x40f0000000000002,
0x40e0000000000002,
0x40d0000000000002,
0x40c0000000000002,
0x40b0000000000002,
0x40a0000000000002,
0x4090000000000002,
0x4080000000000002,
0x4070000000000002,
0x4060000000000002,
0x4050000000000002,
0x4040000000000002,
0x4030000000000002,
0x4020000000000002,
0x4010000000000002,
0x4000000000000002,
0x3ff0000000000002,
0x3fe0000000000002,
0x3fd0000000000002,
0x3fc0000000000002,
0x3fb0000000000002,
0x43b0000000000002,
0x43a0000000000002,
0x4390000000000002,
0x4380000000000002,
0x4370000000000002,
0x4360000000000002,
0x4350000000000002,
0x4340000000000002,
0x4330000000000002,
0x4320000000000002,
0x4310000000000002,
0x4300000000000002,
0x42f0000000000002,
0x42e0000000000002,
0x42d0000000000002,
0x42c0000000000002,
0x42b0000000000002,
0x42a0000000000002,
0x4290000000000002,
0x4280000000000002,
0x4270000000000002,
0x4260000000000002,
0x4250000000000002,
0x4240000000000002,
0x4230000000000002,
0x4220000000000002,
0x4210000000000002,
0x4200000000000002,
0x41f0000000000002,
0x41e0000000000002,
0x41d0000000000002,
0x41c0000000000002,
0x41b0000000000002,
0x41a0000000000002,
0x4190000000000002,
0x4180000000000002,
0x4170000000000002,
0x4160000000000002,
0x4150000000000002,
0x4140000000000002,
0x4130000000000002,
0x4120000000000002,
0x4110000000000002,
0x4100000000000002,
0x40f0000000000002,
0x40e0000000000002,
0x40d0000000000002,
0x40c0000000000002,
0x40b0000000000002,
0x40a0000000000002,
0x4090000000000002,
0x4080000000000002,
0x4070000000000002,
0x4060000000000002,
0x4050000000000002,
0x4040000000000002,
0x4030000000000002,
0x4020000000000002,
0x4010000000000002,
0x4000000000000002,
0x3ff0000000000002,
0x3fe0000000000002,
0x3fd0000000000002,
0x3fc0000000000002,
0x3fb0000000000002,
0x43b0000000000002,
0x43a0000000000002,
0x4390000000000002,
0x4380000000000002,
0x4370000000000002,
0x4360000000000002,
0x4350000000000002,
0x4340000000000002,
0x4330000000000002,
0x4320000000000002,
0x4310000000000002,
0x4300000000000002,
0x42f0000000000002,
0x42e0000000000002,
0x42d0000000000002,
0x42c0000000000002,
0x42b0000000000002,
0x42a0000000000002,
0x4290000000000002,
0x4280000000000002,
0x4270000000000002,
0x4260000000000002,
0x4250000000000002,
0x4240000000000002,
0x4230000000000002,
0x4220000000000002,
0x4210000000000002,
0x4200000000000002,
0x41f0000000000002,
0x41e0000000000002,
0x41d0000000000002,
0x41c0000000000002,
0x41b0000000000002,
0x41a0000000000002,
0x4190000000000002,
0x4180000000000002,
0x4170000000000002,
0x4160000000000002,
0x4150000000000002,
0x4140000000000002,
0x4130000000000002,
0x4120000000000002,
0x4110000000000002,
0x4100000000000002,
0x40f0000000000002,
0x40e0000000000002,
0x40d0000000000002,
0x40c0000000000002,
0x40b0000000000002,
0x40a0000000000002,
0x4090000000000002,
0x4080000000000002,
0x4070000000000002,
0x4060000000000002,
0x4050000000000002,
0x4040000000000002,
0x4030000000000002,
0x4020000000000002,
0x4010000000000002,
0x4000000000000002,
0x3ff0000000000002,
0x3fe0000000000002,
0x3fd0000000000002,
0x3fc0000000000002,
0x3fb0000000000002,
0x43b0000000000002,
0x43a0000000000002,
0x4390000000000002,
0x4380000000000002,
0x4370000000000002,
0x4360000000000002,
0x4350000000000002,
0x4340000000000002,
0x4330000000000002,
0x4320000000000002,
0x4310000000000002,
0x4300000000000002,
0x42f0000000000002,
0x42e0000000000002,
0x42d0000000000002,
0x42c0000000000002,
0x42b0000000000002,
0x42a0000000000002,
0x4290000000000002,
0x4280000000000002,
0x4270000000000002,
0x4260000000000002,
0x4250000000000002,
0x4240000000000002,
0x4230000000000002,
0x4220000000000002,
0x4210000000000002,
0x4200000000000002,
0x41f0000000000002,
0x41e0000000000002,
0x41d0000000000002,
0x41c0000000000002,
0x41b0000000000002,
0x41a0000000000002,
0x4190000000000002,
0x4180000000000002,
0x4170000000000002,
0x4160000000000002,
0x4150000000000002,
0x4140000000000002,
0x4130000000000002,
0x4120000000000002,
0x4110000000000002,
0x4100000000000002,
0x40f0000000000002,
0x40e0000000000002,
0x40d0000000000002,
0x40c0000000000002,
0x40b0000000000002,
0x40a0000000000002,
0x4090000000000002,
0x4080000000000002,
0x4070000000000002,
0x4060000000000002,
0x4050000000000002,
0x4040000000000002,
0x4030000000000002,
0x4020000000000002,
0x4010000000000002,
0x4000000000000002,
0x3ff0000000000002,
0x3fe0000000000002,
0x3fd0000000000002,
0x3fc0000000000002,
0x3fb0000000000002,
0x43b0000000000002,
0x43a0000000000002,
0x4390000000000002,
0x4380000000000002,
0x4370000000000002,
0x4360000000000002,
0x4350000000000002,
0x4340000000000002,
0x4330000000000002,
0x4320000000000002,
0x4310000000000002,
0x4300000000000002,
0x42f0000000000002,
0x42e0000000000002,
0x42d0000000000002,
0x42c0000000000002,
0x42b0000000000002,
0x42a0000000000002,
0x4290000000000002,
0x4280000000000002,
0x4270000000000002,
0x4260000000000002,
0x4250000000000002,
0x4240000000000002,
0x4230000000000002,
0x4220000000000002,
0x4210000000000002,
0x4200000000000002,
0x41f0000000000002,
0x41e0000000000002,
0x41d0000000000002,
0x41c0000000000002,
0x41b0000000000002,
0x41a0000000000002,
0x4190000000000002,
0x4180000000000002,
0x4170000000000002,
0x4160000000000002,
0x4150000000000002,
0x4140000000000002,
0x4130000000000002,
0x4120000000000002,
0x4110000000000002,
0x4100000000000002,
0x40f0000000000002,
0x40e0000000000002,
0x40d0000000000002,
0x40c0000000000002,
0x40b0000000000002,
0x40a0000000000002,
0x4090000000000002,
0x4080000000000002,
0x4070000000000002,
0x4060000000000002,
0x4050000000000002,
0x4040000000000002,
0x4030000000000002,
0x4020000000000002,
0x4010000000000002,
0x4000000000000002,
0x3ff0000000000002,
0x3fe0000000000002,
0x3fd0000000000002,
0x3fc0000000000002,
0x3fb0000000000002,
0x43b0000000000003,
0x43a0000000000003,
0x4390000000000003,
0x4380000000000003,
0x4370000000000003,
0x4360000000000003,
0x4350000000000003,
0x4340000000000003,
0x4330000000000003,
0x4320000000000003,
0x4310000000000003,
0x4300000000000003,
0x42f0000000000003,
0x42e0000000000003,
0x42d0000000000003,
0x42c0000000000003,
0x42b0000000000003,
0x42a0000000000003,
0x4290000000000003,
0x4280000000000003,
0x4270000000000003,
0x4260000000000003,
0x4250000000000003,
0x4240000000000003,
0x4230000000000003,
0x4220000000000003,
0x4210000000000003,
0x4200000000000003,
0x41f0000000000003,
0x41e0000000000003,
0x41d0000000000003,
0x41c0000000000003,
0x41b0000000000003,
0x41a0000000000003,
0x4190000000000003,
0x4180000000000003,
0x4170000000000003,
0x4160000000000003,
0x4150000000000003,
0x4140000000000003,
0x4130000000000003,
0x4120000000000003,
0x4110000000000003,
0x4100000000000003,
0x40f0000000000003,
0x40e0000000000003,
0x40d0000000000003,
0x40c0000000000003,
0x40b0000000000003,
0x40a0000000000003,
0x4090000000000003,
0x4080000000000003,
0x4070000000000003,
0x4060000000000003,
0x4050000000000003,
0x4040000000000003,
0x4030000000000003,
0x4020000000000003,
0x4010000000000003,
0x4000000000000003,
0x3ff0000000000003,
0x3fe0000000000003,
0x3fd0000000000003,
0x3fc0000000000003,
0x3fb0000000000003,
0x43b0000000000003,
0x43a0000000000003,
0x4390000000000003,
0x4380000000000003,
0x4370000000000003,
0x4360000000000003,
0x4350000000000003,
0x4340000000000003,
0x4330000000000003,
0x4320000000000003,
0x4310000000000003,
0x4300000000000003,
0x42f0000000000003,
0x42e0000000000003,
0x42d0000000000003,
0x42c0000000000003,
0x42b0000000000003,
0x42a0000000000003,
0x4290000000000003,
0x4280000000000003,
0x4270000000000003,
0x4260000000000003,
0x4250000000000003,
0x4240000000000003,
0x4230000000000003,
0x4220000000000003,
0x4210000000000003,
0x4200000000000003,
0x41f0000000000003,
0x41e0000000000003,
0x41d0000000000003,
0x41c0000000000003,
0x41b0000000000003,
0x41a0000000000003,
0x4190000000000003,
0x4180000000000003,
0x4170000000000003,
0x4160000000000003,
0x4150000000000003,
0x4140000000000003,
0x4130000000000003,
0x4120000000000003,
0x4110000000000003,
0x4100000000000003,
0x40f0000000000003,
0x40e0000000000003,
0x40d0000000000003,
0x40c0000000000003,
0x40b0000000000003,
0x40a0000000000003,
0x4090000000000003,
0x4080000000000003,
0x4070000000000003,
0x4060000000000003,
0x4050000000000003,
0x4040000000000003,
0x4030000000000003,
0x4020000000000003,
0x4010000000000003,
0x4000000000000003,
0x3ff0000000000003,
0x3fe0000000000003,
0x3fd0000000000003,
0x3fc0000000000003,
0x3fb0000000000003,
0xc3e0000000000000,
0xc3d0000000000000,
0xc3c0000000000000,
0xc3b0000000000000,
0xc3a0000000000000,
0xc390000000000000,
0xc380000000000000,
0xc370000000000000,
0xc360000000000000,
0xc350000000000000,
0xc340000000000000,
0xc330000000000000,
0xc320000000000000,
0xc310000000000000,
0xc300000000000000,
0xc2f0000000000000,
0xc2e0000000000000,
0xc2d0000000000000,
0xc2c0000000000000,
0xc2b0000000000000,
0xc2a0000000000000,
0xc290000000000000,
0xc280000000000000,
0xc270000000000000,
0xc260000000000000,
0xc250000000000000,
0xc240000000000000,
0xc230000000000000,
0xc220000000000000,
0xc210000000000000,
0xc200000000000000,
0xc1f0000000000000,
0xc1e0000000000000,
0xc1d0000000000000,
0xc1c0000000000000,
0xc1b0000000000000,
0xc1a0000000000000,
0xc190000000000000,
0xc180000000000000,
0xc170000000000000,
0xc160000000000000,
0xc150000000000000,
0xc140000000000000,
0xc130000000000000,
0xc120000000000000,
0xc110000000000000,
0xc100000000000000,
0xc0f0000000000000,
0xc0e0000000000000,
0xc0d0000000000000,
0xc0c0000000000000,
0xc0b0000000000000,
0xc0a0000000000000,
0xc090000000000000,
0xc080000000000000,
0xc070000000000000,
0xc060000000000000,
0xc050000000000000,
0xc040000000000000,
0xc030000000000000,
0xc020000000000000,
0xc010000000000000,
0xc000000000000000,
0xbff0000000000000,
0xbfe0000000000000,
0xc3e0000000000000,
0xc3d0000000000000,
0xc3c0000000000000,
0xc3b0000000000000,
0xc3a0000000000000,
0xc390000000000000,
0xc380000000000000,
0xc370000000000000,
0xc360000000000000,
0xc350000000000000,
0xc340000000000000,
0xc330000000000000,
0xc320000000000000,
0xc310000000000000,
0xc300000000000000,
0xc2f0000000000000,
0xc2e0000000000000,
0xc2d0000000000000,
0xc2c0000000000000,
0xc2b0000000000000,
0xc2a0000000000000,
0xc290000000000000,
0xc280000000000000,
0xc270000000000000,
0xc260000000000000,
0xc250000000000000,
0xc240000000000000,
0xc230000000000000,
0xc220000000000000,
0xc210000000000000,
0xc200000000000000,
0xc1f0000000000000,
0xc1e0000000000000,
0xc1d0000000000000,
0xc1c0000000000000,
0xc1b0000000000000,
0xc1a0000000000000,
0xc190000000000000,
0xc180000000000000,
0xc170000000000000,
0xc160000000000000,
0xc150000000000000,
0xc140000000000000,
0xc130000000000000,
0xc120000000000000,
0xc110000000000000,
0xc100000000000000,
0xc0f0000000000000,
0xc0e0000000000000,
0xc0d0000000000000,
0xc0c0000000000000,
0xc0b0000000000000,
0xc0a0000000000000,
0xc090000000000000,
0xc080000000000000,
0xc070000000000000,
0xc060000000000000,
0xc050000000000000,
0xc040000000000000,
0xc030000000000000,
0xc020000000000000,
0xc010000000000000,
0xc000000000000000,
0xbff0000000000000,
0xbfe0000000000000,
0xc3e0000000000000,
0xc3d0000000000000,
0xc3c0000000000000,
0xc3b0000000000000,
0xc3a0000000000000,
0xc390000000000000,
0xc380000000000000,
0xc370000000000000,
0xc360000000000000,
0xc350000000000000,
0xc340000000000000,
0xc330000000000000,
0xc320000000000000,
0xc310000000000000,
0xc300000000000000,
0xc2f0000000000000,
0xc2e0000000000000,
0xc2d0000000000000,
0xc2c0000000000000,
0xc2b0000000000000,
0xc2a0000000000000,
0xc290000000000000,
0xc280000000000000,
0xc270000000000000,
0xc260000000000000,
0xc250000000000000,
0xc240000000000000,
0xc230000000000000,
0xc220000000000000,
0xc210000000000000,
0xc200000000000000,
0xc1f0000000000000,
0xc1e0000000000000,
0xc1d0000000000000,
0xc1c0000000000000,
0xc1b0000000000000,
0xc1a0000000000000,
0xc190000000000000,
0xc180000000000000,
0xc170000000000000,
0xc160000000000000,
0xc150000000000000,
0xc140000000000000,
0xc130000000000000,
0xc120000000000000,
0xc110000000000000,
0xc100000000000000,
0xc0f0000000000000,
0xc0e0000000000000,
0xc0d0000000000000,
0xc0c0000000000000,
0xc0b0000000000000,
0xc0a0000000000000,
0xc090000000000000,
0xc080000000000000,
0xc070000000000000,
0xc060000000000000,
0xc050000000000000,
0xc040000000000000,
0xc030000000000000,
0xc020000000000000,
0xc010000000000000,
0xc000000000000000,
0xbff0000000000000,
0xbfe0000000000000,
0xc3dfffffffffffff,
0xc3cfffffffffffff,
0xc3bfffffffffffff,
0xc3afffffffffffff,
0xc39fffffffffffff,
0xc38fffffffffffff,
0xc37fffffffffffff,
0xc36fffffffffffff,
0xc35fffffffffffff,
0xc34fffffffffffff,
0xc33fffffffffffff,
0xc32fffffffffffff,
0xc31fffffffffffff,
0xc30fffffffffffff,
0xc2ffffffffffffff,
0xc2efffffffffffff,
0xc2dfffffffffffff,
0xc2cfffffffffffff,
0xc2bfffffffffffff,
0xc2afffffffffffff,
0xc29fffffffffffff,
0xc28fffffffffffff,
0xc27fffffffffffff,
0xc26fffffffffffff,
0xc25fffffffffffff,
0xc24fffffffffffff,
0xc23fffffffffffff,
0xc22fffffffffffff,
0xc21fffffffffffff,
0xc20fffffffffffff,
0xc1ffffffffffffff,
0xc1efffffffffffff,
0xc1dfffffffffffff,
0xc1cfffffffffffff,
0xc1bfffffffffffff,
0xc1afffffffffffff,
0xc19fffffffffffff,
0xc18fffffffffffff,
0xc17fffffffffffff,
0xc16fffffffffffff,
0xc15fffffffffffff,
0xc14fffffffffffff,
0xc13fffffffffffff,
0xc12fffffffffffff,
0xc11fffffffffffff,
0xc10fffffffffffff,
0xc0ffffffffffffff,
0xc0efffffffffffff,
0xc0dfffffffffffff,
0xc0cfffffffffffff,
0xc0bfffffffffffff,
0xc0afffffffffffff,
0xc09fffffffffffff,
0xc08fffffffffffff,
0xc07fffffffffffff,
0xc06fffffffffffff,
0xc05fffffffffffff,
0xc04fffffffffffff,
0xc03fffffffffffff,
0xc02fffffffffffff,
0xc01fffffffffffff,
0xc00fffffffffffff,
0xbfffffffffffffff,
0xbfefffffffffffff,
0xbfdfffffffffffff,
0xc3dfffffffffffff,
0xc3cfffffffffffff,
0xc3bfffffffffffff,
0xc3afffffffffffff,
0xc39fffffffffffff,
0xc38fffffffffffff,
0xc37fffffffffffff,
0xc36fffffffffffff,
0xc35fffffffffffff,
0xc34fffffffffffff,
0xc33fffffffffffff,
0xc32fffffffffffff,
0xc31fffffffffffff,
0xc30fffffffffffff,
0xc2ffffffffffffff,
0xc2efffffffffffff,
0xc2dfffffffffffff,
0xc2cfffffffffffff,
0xc2bfffffffffffff,
0xc2afffffffffffff,
0xc29fffffffffffff,
0xc28fffffffffffff,
0xc27fffffffffffff,
0xc26fffffffffffff,
0xc25fffffffffffff,
0xc24fffffffffffff,
0xc23fffffffffffff,
0xc22fffffffffffff,
0xc21fffffffffffff,
0xc20fffffffffffff,
0xc1ffffffffffffff,
0xc1efffffffffffff,
0xc1dfffffffffffff,
0xc1cfffffffffffff,
0xc1bfffffffffffff,
0xc1afffffffffffff,
0xc19fffffffffffff,
0xc18fffffffffffff,
0xc17fffffffffffff,
0xc16fffffffffffff,
0xc15fffffffffffff,
0xc14fffffffffffff,
0xc13fffffffffffff,
0xc12fffffffffffff,
0xc11fffffffffffff,
0xc10fffffffffffff,
0xc0ffffffffffffff,
0xc0efffffffffffff,
0xc0dfffffffffffff,
0xc0cfffffffffffff,
0xc0bfffffffffffff,
0xc0afffffffffffff,
0xc09fffffffffffff,
0xc08fffffffffffff,
0xc07fffffffffffff,
0xc06fffffffffffff,
0xc05fffffffffffff,
0xc04fffffffffffff,
0xc03fffffffffffff,
0xc02fffffffffffff,
0xc01fffffffffffff,
0xc00fffffffffffff,
0xbfffffffffffffff,
0xbfefffffffffffff,
0xbfdfffffffffffff,
0xc3dfffffffffffff,
0xc3cfffffffffffff,
0xc3bfffffffffffff,
0xc3afffffffffffff,
0xc39fffffffffffff,
0xc38fffffffffffff,
0xc37fffffffffffff,
0xc36fffffffffffff,
0xc35fffffffffffff,
0xc34fffffffffffff,
0xc33fffffffffffff,
0xc32fffffffffffff,
0xc31fffffffffffff,
0xc30fffffffffffff,
0xc2ffffffffffffff,
0xc2efffffffffffff,
0xc2dfffffffffffff,
0xc2cfffffffffffff,
0xc2bfffffffffffff,
0xc2afffffffffffff,
0xc29fffffffffffff,
0xc28fffffffffffff,
0xc27fffffffffffff,
0xc26fffffffffffff,
0xc25fffffffffffff,
0xc24fffffffffffff,
0xc23fffffffffffff,
0xc22fffffffffffff,
0xc21fffffffffffff,
0xc20fffffffffffff,
0xc1ffffffffffffff,
0xc1efffffffffffff,
0xc1dfffffffffffff,
0xc1cfffffffffffff,
0xc1bfffffffffffff,
0xc1afffffffffffff,
0xc19fffffffffffff,
0xc18fffffffffffff,
0xc17fffffffffffff,
0xc16fffffffffffff,
0xc15fffffffffffff,
0xc14fffffffffffff,
0xc13fffffffffffff,
0xc12fffffffffffff,
0xc11fffffffffffff,
0xc10fffffffffffff,
0xc0ffffffffffffff,
0xc0efffffffffffff,
0xc0dfffffffffffff,
0xc0cfffffffffffff,
0xc0bfffffffffffff,
0xc0afffffffffffff,
0xc09fffffffffffff,
0xc08fffffffffffff,
0xc07fffffffffffff,
0xc06fffffffffffff,
0xc05fffffffffffff,
0xc04fffffffffffff,
0xc03fffffffffffff,
0xc02fffffffffffff,
0xc01fffffffffffff,
0xc00fffffffffffff,
0xbfffffffffffffff,
0xbfefffffffffffff,
0xbfdfffffffffffff,
0xc3dffffffffffffe,
0xc3cffffffffffffe,
0xc3bffffffffffffe,
0xc3affffffffffffe,
0xc39ffffffffffffe,
0xc38ffffffffffffe,
0xc37ffffffffffffe,
0xc36ffffffffffffe,
0xc35ffffffffffffe,
0xc34ffffffffffffe,
0xc33ffffffffffffe,
0xc32ffffffffffffe,
0xc31ffffffffffffe,
0xc30ffffffffffffe,
0xc2fffffffffffffe,
0xc2effffffffffffe,
0xc2dffffffffffffe,
0xc2cffffffffffffe,
0xc2bffffffffffffe,
0xc2affffffffffffe,
0xc29ffffffffffffe,
0xc28ffffffffffffe,
0xc27ffffffffffffe,
0xc26ffffffffffffe,
0xc25ffffffffffffe,
0xc24ffffffffffffe,
0xc23ffffffffffffe,
0xc22ffffffffffffe,
0xc21ffffffffffffe,
0xc20ffffffffffffe,
0xc1fffffffffffffe,
0xc1effffffffffffe,
0xc1dffffffffffffe,
0xc1cffffffffffffe,
0xc1bffffffffffffe,
0xc1affffffffffffe,
0xc19ffffffffffffe,
0xc18ffffffffffffe,
0xc17ffffffffffffe,
0xc16ffffffffffffe,
0xc15ffffffffffffe,
0xc14ffffffffffffe,
0xc13ffffffffffffe,
0xc12ffffffffffffe,
0xc11ffffffffffffe,
0xc10ffffffffffffe,
0xc0fffffffffffffe,
0xc0effffffffffffe,
0xc0dffffffffffffe,
0xc0cffffffffffffe,
0xc0bffffffffffffe,
0xc0affffffffffffe,
0xc09ffffffffffffe,
0xc08ffffffffffffe,
0xc07ffffffffffffe,
0xc06ffffffffffffe,
0xc05ffffffffffffe,
0xc04ffffffffffffe,
0xc03ffffffffffffe,
0xc02ffffffffffffe,
0xc01ffffffffffffe,
0xc00ffffffffffffe,
0xbffffffffffffffe,
0xbfeffffffffffffe,
0xbfdffffffffffffe,
0xc3dffffffffffffe,
0xc3cffffffffffffe,
0xc3bffffffffffffe,
0xc3affffffffffffe,
0xc39ffffffffffffe,
0xc38ffffffffffffe,
0xc37ffffffffffffe,
0xc36ffffffffffffe,
0xc35ffffffffffffe,
0xc34ffffffffffffe,
0xc33ffffffffffffe,
0xc32ffffffffffffe,
0xc31ffffffffffffe,
0xc30ffffffffffffe,
0xc2fffffffffffffe,
0xc2effffffffffffe,
0xc2dffffffffffffe,
0xc2cffffffffffffe,
0xc2bffffffffffffe,
0xc2affffffffffffe,
0xc29ffffffffffffe,
0xc28ffffffffffffe,
0xc27ffffffffffffe,
0xc26ffffffffffffe,
0xc25ffffffffffffe,
0xc24ffffffffffffe,
0xc23ffffffffffffe,
0xc22ffffffffffffe,
0xc21ffffffffffffe,
0xc20ffffffffffffe,
0xc1fffffffffffffe,
0xc1effffffffffffe,
0xc1dffffffffffffe,
0xc1cffffffffffffe,
0xc1bffffffffffffe,
0xc1affffffffffffe,
0xc19ffffffffffffe,
0xc18ffffffffffffe,
0xc17ffffffffffffe,
0xc16ffffffffffffe,
0xc15ffffffffffffe,
0xc14ffffffffffffe,
0xc13ffffffffffffe,
0xc12ffffffffffffe,
0xc11ffffffffffffe,
0xc10ffffffffffffe,
0xc0fffffffffffffe,
0xc0effffffffffffe,
0xc0dffffffffffffe,
0xc0cffffffffffffe,
0xc0bffffffffffffe,
0xc0affffffffffffe,
0xc09ffffffffffffe,
0xc08ffffffffffffe,
0xc07ffffffffffffe,
0xc06ffffffffffffe,
0xc05ffffffffffffe,
0xc04ffffffffffffe,
0xc03ffffffffffffe,
0xc02ffffffffffffe,
0xc01ffffffffffffe,
0xc00ffffffffffffe,
0xbffffffffffffffe,
0xbfeffffffffffffe,
0xbfdffffffffffffe,
0xc3dffffffffffffe,
0xc3cffffffffffffe,
0xc3bffffffffffffe,
0xc3affffffffffffe,
0xc39ffffffffffffe,
0xc38ffffffffffffe,
0xc37ffffffffffffe,
0xc36ffffffffffffe,
0xc35ffffffffffffe,
0xc34ffffffffffffe,
0xc33ffffffffffffe,
0xc32ffffffffffffe,
0xc31ffffffffffffe,
0xc30ffffffffffffe,
0xc2fffffffffffffe,
0xc2effffffffffffe,
0xc2dffffffffffffe,
0xc2cffffffffffffe,
0xc2bffffffffffffe,
0xc2affffffffffffe,
0xc29ffffffffffffe,
0xc28ffffffffffffe,
0xc27ffffffffffffe,
0xc26ffffffffffffe,
0xc25ffffffffffffe,
0xc24ffffffffffffe,
0xc23ffffffffffffe,
0xc22ffffffffffffe,
0xc21ffffffffffffe,
0xc20ffffffffffffe,
0xc1fffffffffffffe,
0xc1effffffffffffe,
0xc1dffffffffffffe,
0xc1cffffffffffffe,
0xc1bffffffffffffe,
0xc1affffffffffffe,
0xc19ffffffffffffe,
0xc18ffffffffffffe,
0xc17ffffffffffffe,
0xc16ffffffffffffe,
0xc15ffffffffffffe,
0xc14ffffffffffffe,
0xc13ffffffffffffe,
0xc12ffffffffffffe,
0xc11ffffffffffffe,
0xc10ffffffffffffe,
0xc0fffffffffffffe,
0xc0effffffffffffe,
0xc0dffffffffffffe,
0xc0cffffffffffffe,
0xc0bffffffffffffe,
0xc0affffffffffffe,
0xc09ffffffffffffe,
0xc08ffffffffffffe,
0xc07ffffffffffffe,
0xc06ffffffffffffe,
0xc05ffffffffffffe,
0xc04ffffffffffffe,
0xc03ffffffffffffe,
0xc02ffffffffffffe,
0xc01ffffffffffffe,
0xc00ffffffffffffe,
0xbffffffffffffffe,
0xbfeffffffffffffe,
0xbfdffffffffffffe,
0xc3dffffffffffffe,
0xc3cffffffffffffe,
0xc3bffffffffffffe,
0xc3affffffffffffe,
0xc39ffffffffffffe,
0xc38ffffffffffffe,
0xc37ffffffffffffe,
0xc36ffffffffffffe,
0xc35ffffffffffffe,
0xc34ffffffffffffe,
0xc33ffffffffffffe,
0xc32ffffffffffffe,
0xc31ffffffffffffe,
0xc30ffffffffffffe,
0xc2fffffffffffffe,
0xc2effffffffffffe,
0xc2dffffffffffffe,
0xc2cffffffffffffe,
0xc2bffffffffffffe,
0xc2affffffffffffe,
0xc29ffffffffffffe,
0xc28ffffffffffffe,
0xc27ffffffffffffe,
0xc26ffffffffffffe,
0xc25ffffffffffffe,
0xc24ffffffffffffe,
0xc23ffffffffffffe,
0xc22ffffffffffffe,
0xc21ffffffffffffe,
0xc20ffffffffffffe,
0xc1fffffffffffffe,
0xc1effffffffffffe,
0xc1dffffffffffffe,
0xc1cffffffffffffe,
0xc1bffffffffffffe,
0xc1affffffffffffe,
0xc19ffffffffffffe,
0xc18ffffffffffffe,
0xc17ffffffffffffe,
0xc16ffffffffffffe,
0xc15ffffffffffffe,
0xc14ffffffffffffe,
0xc13ffffffffffffe,
0xc12ffffffffffffe,
0xc11ffffffffffffe,
0xc10ffffffffffffe,
0xc0fffffffffffffe,
0xc0effffffffffffe,
0xc0dffffffffffffe,
0xc0cffffffffffffe,
0xc0bffffffffffffe,
0xc0affffffffffffe,
0xc09ffffffffffffe,
0xc08ffffffffffffe,
0xc07ffffffffffffe,
0xc06ffffffffffffe,
0xc05ffffffffffffe,
0xc04ffffffffffffe,
0xc03ffffffffffffe,
0xc02ffffffffffffe,
0xc01ffffffffffffe,
0xc00ffffffffffffe,
0xbffffffffffffffe,
0xbfeffffffffffffe,
0xbfdffffffffffffe,
0xc3dffffffffffffe,
0xc3cffffffffffffe,
0xc3bffffffffffffe,
0xc3affffffffffffe,
0xc39ffffffffffffe,
0xc38ffffffffffffe,
0xc37ffffffffffffe,
0xc36ffffffffffffe,
0xc35ffffffffffffe,
0xc34ffffffffffffe,
0xc33ffffffffffffe,
0xc32ffffffffffffe,
0xc31ffffffffffffe,
0xc30ffffffffffffe,
0xc2fffffffffffffe,
0xc2effffffffffffe,
0xc2dffffffffffffe,
0xc2cffffffffffffe,
0xc2bffffffffffffe,
0xc2affffffffffffe,
0xc29ffffffffffffe,
0xc28ffffffffffffe,
0xc27ffffffffffffe,
0xc26ffffffffffffe,
0xc25ffffffffffffe,
0xc24ffffffffffffe,
0xc23ffffffffffffe,
0xc22ffffffffffffe,
0xc21ffffffffffffe,
0xc20ffffffffffffe,
0xc1fffffffffffffe,
0xc1effffffffffffe,
0xc1dffffffffffffe,
0xc1cffffffffffffe,
0xc1bffffffffffffe,
0xc1affffffffffffe,
0xc19ffffffffffffe,
0xc18ffffffffffffe,
0xc17ffffffffffffe,
0xc16ffffffffffffe,
0xc15ffffffffffffe,
0xc14ffffffffffffe,
0xc13ffffffffffffe,
0xc12ffffffffffffe,
0xc11ffffffffffffe,
0xc10ffffffffffffe,
0xc0fffffffffffffe,
0xc0effffffffffffe,
0xc0dffffffffffffe,
0xc0cffffffffffffe,
0xc0bffffffffffffe,
0xc0affffffffffffe,
0xc09ffffffffffffe,
0xc08ffffffffffffe,
0xc07ffffffffffffe,
0xc06ffffffffffffe,
0xc05ffffffffffffe,
0xc04ffffffffffffe,
0xc03ffffffffffffe,
0xc02ffffffffffffe,
0xc01ffffffffffffe,
0xc00ffffffffffffe,
0xbffffffffffffffe,
0xbfeffffffffffffe,
0xbfdffffffffffffe,
0xc3dffffffffffffd,
0xc3cffffffffffffd,
0xc3bffffffffffffd,
0xc3affffffffffffd,
0xc39ffffffffffffd,
0xc38ffffffffffffd,
0xc37ffffffffffffd,
0xc36ffffffffffffd,
0xc35ffffffffffffd,
0xc34ffffffffffffd,
0xc33ffffffffffffd,
0xc32ffffffffffffd,
0xc31ffffffffffffd,
0xc30ffffffffffffd,
0xc2fffffffffffffd,
0xc2effffffffffffd,
0xc2dffffffffffffd,
0xc2cffffffffffffd,
0xc2bffffffffffffd,
0xc2affffffffffffd,
0xc29ffffffffffffd,
0xc28ffffffffffffd,
0xc27ffffffffffffd,
0xc26ffffffffffffd,
0xc25ffffffffffffd,
0xc24ffffffffffffd,
0xc23ffffffffffffd,
0xc22ffffffffffffd,
0xc21ffffffffffffd,
0xc20ffffffffffffd,
0xc1fffffffffffffd,
0xc1effffffffffffd,
0xc1dffffffffffffd,
0xc1cffffffffffffd,
0xc1bffffffffffffd,
0xc1affffffffffffd,
0xc19ffffffffffffd,
0xc18ffffffffffffd,
0xc17ffffffffffffd,
0xc16ffffffffffffd,
0xc15ffffffffffffd,
0xc14ffffffffffffd,
0xc13ffffffffffffd,
0xc12ffffffffffffd,
0xc11ffffffffffffd,
0xc10ffffffffffffd,
0xc0fffffffffffffd,
0xc0effffffffffffd,
0xc0dffffffffffffd,
0xc0cffffffffffffd,
0xc0bffffffffffffd,
0xc0affffffffffffd,
0xc09ffffffffffffd,
0xc08ffffffffffffd,
0xc07ffffffffffffd,
0xc06ffffffffffffd,
0xc05ffffffffffffd,
0xc04ffffffffffffd,
0xc03ffffffffffffd,
0xc02ffffffffffffd,
0xc01ffffffffffffd,
0xc00ffffffffffffd,
0xbffffffffffffffd,
0xbfeffffffffffffd,
0xbfdffffffffffffd,
0xc3dffffffffffffd,
0xc3cffffffffffffd,
0xc3bffffffffffffd,
0xc3affffffffffffd,
0xc39ffffffffffffd,
0xc38ffffffffffffd,
0xc37ffffffffffffd,
0xc36ffffffffffffd,
0xc35ffffffffffffd,
0xc34ffffffffffffd,
0xc33ffffffffffffd,
0xc32ffffffffffffd,
0xc31ffffffffffffd,
0xc30ffffffffffffd,
0xc2fffffffffffffd,
0xc2effffffffffffd,
0xc2dffffffffffffd,
0xc2cffffffffffffd,
0xc2bffffffffffffd,
0xc2affffffffffffd,
0xc29ffffffffffffd,
0xc28ffffffffffffd,
0xc27ffffffffffffd,
0xc26ffffffffffffd,
0xc25ffffffffffffd,
0xc24ffffffffffffd,
0xc23ffffffffffffd,
0xc22ffffffffffffd,
0xc21ffffffffffffd,
0xc20ffffffffffffd,
0xc1fffffffffffffd,
0xc1effffffffffffd,
0xc1dffffffffffffd,
0xc1cffffffffffffd,
0xc1bffffffffffffd,
0xc1affffffffffffd,
0xc19ffffffffffffd,
0xc18ffffffffffffd,
0xc17ffffffffffffd,
0xc16ffffffffffffd,
0xc15ffffffffffffd,
0xc14ffffffffffffd,
0xc13ffffffffffffd,
0xc12ffffffffffffd,
0xc11ffffffffffffd,
0xc10ffffffffffffd,
0xc0fffffffffffffd,
0xc0effffffffffffd,
0xc0dffffffffffffd,
0xc0cffffffffffffd,
0xc0bffffffffffffd,
0xc0affffffffffffd,
0xc09ffffffffffffd,
0xc08ffffffffffffd,
0xc07ffffffffffffd,
0xc06ffffffffffffd,
0xc05ffffffffffffd,
0xc04ffffffffffffd,
0xc03ffffffffffffd,
0xc02ffffffffffffd,
0xc01ffffffffffffd,
0xc00ffffffffffffd,
0xbffffffffffffffd,
0xbfeffffffffffffd,
0xbfdffffffffffffd,
0x43e0000000000000,
0x43d0000000000000,
0x43c0000000000000,
0x43b0000000000000,
0x43a0000000000000,
0x4390000000000000,
0x4380000000000000,
0x4370000000000000,
0x4360000000000000,
0x4350000000000000,
0x4340000000000000,
0x4330000000000000,
0x4320000000000000,
0x4310000000000000,
0x4300000000000000,
0x42f0000000000000,
0x42e0000000000000,
0x42d0000000000000,
0x42c0000000000000,
0x42b0000000000000,
0x42a0000000000000,
0x4290000000000000,
0x4280000000000000,
0x4270000000000000,
0x4260000000000000,
0x4250000000000000,
0x4240000000000000,
0x4230000000000000,
0x4220000000000000,
0x4210000000000000,
0x4200000000000000,
0x41f0000000000000,
0x41e0000000000000,
0x41d0000000000000,
0x41c0000000000000,
0x41b0000000000000,
0x41a0000000000000,
0x4190000000000000,
0x4180000000000000,
0x4170000000000000,
0x4160000000000000,
0x4150000000000000,
0x4140000000000000,
0x4130000000000000,
0x4120000000000000,
0x4110000000000000,
0x4100000000000000,
0x40f0000000000000,
0x40e0000000000000,
0x40d0000000000000,
0x40c0000000000000,
0x40b0000000000000,
0x40a0000000000000,
0x4090000000000000,
0x4080000000000000,
0x4070000000000000,
0x4060000000000000,
0x4050000000000000,
0x4040000000000000,
0x4030000000000000,
0x4020000000000000,
0x4010000000000000,
0x4000000000000000,
0x3ff0000000000000,
0x3fe0000000000000,
0x43e0000000000000,
0x43d0000000000000,
0x43c0000000000000,
0x43b0000000000000,
0x43a0000000000000,
0x4390000000000000,
0x4380000000000000,
0x4370000000000000,
0x4360000000000000,
0x4350000000000000,
0x4340000000000000,
0x4330000000000000,
0x4320000000000000,
0x4310000000000000,
0x4300000000000000,
0x42f0000000000000,
0x42e0000000000000,
0x42d0000000000000,
0x42c0000000000000,
0x42b0000000000000,
0x42a0000000000000,
0x4290000000000000,
0x4280000000000000,
0x4270000000000000,
0x4260000000000000,
0x4250000000000000,
0x4240000000000000,
0x4230000000000000,
0x4220000000000000,
0x4210000000000000,
0x4200000000000000,
0x41f0000000000000,
0x41e0000000000000,
0x41d0000000000000,
0x41c0000000000000,
0x41b0000000000000,
0x41a0000000000000,
0x4190000000000000,
0x4180000000000000,
0x4170000000000000,
0x4160000000000000,
0x4150000000000000,
0x4140000000000000,
0x4130000000000000,
0x4120000000000000,
0x4110000000000000,
0x4100000000000000,
0x40f0000000000000,
0x40e0000000000000,
0x40d0000000000000,
0x40c0000000000000,
0x40b0000000000000,
0x40a0000000000000,
0x4090000000000000,
0x4080000000000000,
0x4070000000000000,
0x4060000000000000,
0x4050000000000000,
0x4040000000000000,
0x4030000000000000,
0x4020000000000000,
0x4010000000000000,
0x4000000000000000,
0x3ff0000000000000,
0x3fe0000000000000,
0xc090000000000000,
0xc080000000000000,
0xc070000000000000,
0xc060000000000000,
0xc050000000000000,
0xc040000000000000,
0xc030000000000000,
0xc020000000000000,
0xc010000000000000,
0xc000000000000000,
0xbff0000000000000,
0xbfe0000000000000,
0xbfd0000000000000,
0xbfc0000000000000,
0xbfb0000000000000,
0xbfa0000000000000,
0xbf90000000000000,
0xbf80000000000000,
0xbf70000000000000,
0xbf60000000000000,
0xbf50000000000000,
0xbf40000000000000,
0xbf30000000000000,
0xbf20000000000000,
0xbf10000000000000,
0xbf00000000000000,
0xbef0000000000000,
0xbee0000000000000,
0xbed0000000000000,
0xbec0000000000000,
0xbeb0000000000000,
0xbea0000000000000,
0xbe90000000000000,
0xbe80000000000000,
0xbe70000000000000,
0xbe60000000000000,
0xbe50000000000000,
0xbe40000000000000,
0xbe30000000000000,
0xbe20000000000000,
0xbe10000000000000,
0xbe00000000000000,
0xbdf0000000000000,
0xbde0000000000000,
0xbdd0000000000000,
0xbdc0000000000000,
0xbdb0000000000000,
0xbda0000000000000,
0xbd90000000000000,
0xbd80000000000000,
0xbd70000000000000,
0xbd60000000000000,
0xbd50000000000000,
0xbd40000000000000,
0xbd30000000000000,
0xbd20000000000000,
0xbd10000000000000,
0xbd00000000000000,
0xbcf0000000000000,
0xbce0000000000000,
0xbcd0000000000000,
0xbcc0000000000000,
0xbcb0000000000000,
0xbca0000000000000,
0xbc90000000000000,
};
const unsigned kExpectedCount_NEON_scvtf_D_2OPIMM = 5590;
#endif // VIXL_SIM_SCVTF_D_2OPIMM_TRACE_AARCH64_H_