-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy patheucalyptus.hpp
46 lines (32 loc) · 67.5 KB
/
eucalyptus.hpp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
/*
Eucalyptus KPK bitbases
Copyright (C) 2020-2022 Toni Helminen
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see <https://www.gnu.org/licenses/>.
*/
// Header guard
#pragma once
// Headers
#include <iostream>
#include <cstdint>
// Namespace
namespace eucalyptus {
// KPK data
constexpr std::uint64_t kKpk[2 * 24 * 64] = {
0x7f7f7f7f7f7f7f01ULL, 0x7f7f7f7f7f7f7f03ULL, 0x7f7f7f7f7f7f7f07ULL, 0x7f7f7f7f7f7f7f0bULL, 0x7f7f7f7f7f7f7f13ULL, 0x7f7f7f7f7f7f7f23ULL, 0x7f7f7f7f7f7f7fc3ULL, 0x7f7f7f7f7f7f7f83ULL, 0xffffffffffffffffULL, 0x7f7f7f7f7f7f0303ULL, 0x7f7f7f7f7f7f0707ULL, 0x7f7f7f7f7f7f0b0bULL, 0x7f7f7f7f7f7f1f13ULL, 0x7f7f7f7f7f7f3f23ULL, 0x7f7f7f7f7f7fffc3ULL, 0x7f7f7f7f7f7fff83ULL, 0x7f7f7f7f7f0f0f00ULL, 0x7f7f7f7f7f030100ULL, 0x7f7f7f7f7f070303ULL, 0x7f7f7f7f7f0f0303ULL, 0x7f7f7f7f7f1f0f03ULL, 0x7f7f7f7f7f3f1f03ULL, 0x7f7f7f7f7fff3f03ULL, 0x7f7f7f7f7fff7f03ULL, 0x3f3f3f3f0f0f0303ULL, 0x3f3f3f3f03030303ULL, 0x3f3f3f3f07030303ULL, 0x3f3f3f3f0f070303ULL, 0x3f3f3f3f1f0f0f03ULL, 0x7f7f7f7f3f1f1f03ULL, 0x7f7f7f7fff3f3f03ULL, 0x7f7f7f7fff7f7f03ULL, 0x1f1f1f0f0f0f0303ULL, 0x1f1f1f0303030303ULL, 0x1f1f1f0703030303ULL, 0x1f1f1f0f07070303ULL, 0x3f3f3f1f0f0f0f03ULL, 0x7f7f7f3f1f1f1f03ULL, 0x7f7f7fff3f3f3f03ULL, 0x7f7f7fff7f7f7f03ULL, 0xf0f0f0f0f0f0303ULL, 0xf0f030707070303ULL, 0xf0f070f0f0f0303ULL, 0x1f1f0f1f1f1f0303ULL, 0x3f3f1f3f3f3f0f03ULL, 0x7f7f3f7f7f7f1f03ULL, 0x7f7fff7f7f7f3f03ULL, 0x7f7fff7f7f7f7f03ULL, 0xf0f0f0f0f0f0f03ULL, 0x3030f0f0f0f0f03ULL, 0x7070f0f0f0f0f03ULL, 0xf0f1f1f1f1f1f03ULL, 0x1f1f3f3f3f3f3f03ULL, 0x3f3f7f7f7f7f7f03ULL, 0xffff7f7f7f7f7f03ULL, 0xffff7f7f7f7f7f03ULL, 0xf1f1f1f1f1f1f03ULL, 0x31f1f1f1f1f1f03ULL, 0x71f1f1f1f1f1f03ULL, 0xf1f1f1f1f1f1f03ULL, 0x1f3f3f3f3f3f3f03ULL, 0x3f7f7f7f7f7f7f03ULL, 0xff7f7f7f7f7f7f03ULL, 0xff7f7f7f7f7f7f03ULL, 0xf0f0f0f0f0f0701ULL, 0xf0f0f0f0f0f0703ULL, 0x1f1f1f1f1f1f1f04ULL, 0x1f1f1f1f1f1f1f0fULL, 0x3f3f3f3f3f3f3f17ULL, 0x7f7f7f7f7f7f7f27ULL, 0xffffffffffffffc7ULL, 0xffffffffffffff87ULL, 0x7070707070301ULL, 0xffffffffffffffffULL, 0xf0f0f0f0f0604ULL, 0x1f1f1f1f1f0f0fULL, 0x3f3f3f3f3f1717ULL, 0x1f7f7f7f7f7f3f27ULL, 0x3fffffffffffffc7ULL, 0x7fffffffffffff87ULL, 0x30203010200ULL, 0x70507030200ULL, 0xe0a0e040200ULL, 0x1f171f0f0707ULL, 0xf3f2f3f1f0707ULL, 0x1f1f7f5f7f3f1f07ULL, 0x3f3fffbfffff3f07ULL, 0x7f7f7f7f7fff7f07ULL, 0x1070707ULL, 0x3070707ULL, 0x4070707ULL, 0x7070f070707ULL, 0xf0f0f1f0f0707ULL, 0x1f1f1f1f3f1f1f07ULL, 0x3f3f3f3fff3f3f07ULL, 0x7f7f7f7fff7f7f07ULL, 0x107070707ULL, 0x307070707ULL, 0x407070707ULL, 0x70f07070707ULL, 0xf0f1f0f0f0707ULL, 0x1f1f1f3f1f1f1f07ULL, 0x3f3f3fff3f3f3f07ULL, 0x7f7f7fff7f7f7f07ULL, 0x10f0f0f0707ULL, 0x30f0f0f0707ULL, 0x40f0f0f0707ULL, 0x70f1f1f1f0707ULL, 0xf1f3f3f3f0707ULL, 0x1f1f3f7f7f7f1f07ULL, 0x3f3fffffffff3f07ULL, 0x7f7fffffffff7f07ULL, 0x1011f1f1f1f1f07ULL, 0x3031f1f1f1f1f07ULL, 0x4041f1f1f1f1f07ULL, 0xf0f1f1f1f1f1f07ULL, 0x1f1f3f3f3f3f3f07ULL, 0x3f3f7f7f7f7f7f07ULL, 0xffffffffffffff07ULL, 0xffffffffffffff07ULL, 0x13f3f3f3f3f3f07ULL, 0x33f3f3f3f3f3f07ULL, 0x43f3f3f3f3f3f07ULL, 0xf3f3f3f3f3f3f07ULL, 0x1f3f3f3f3f3f3f07ULL, 0x3f7f7f7f7f7f7f07ULL, 0xffffffffffffff07ULL, 0xffffffffffffff07ULL, 0x1f1f1f1f1f1f0f0fULL, 0x1f1f1f1f1f1f0f03ULL, 0x1f1f1f1f1f1f0e04ULL, 0x3f3f3f3f3f3f3e08ULL, 0x3f3f3f3f3f3f3e1eULL, 0x7f7f7f7f7f7f7e2eULL, 0xffffffffffffffceULL, 0xffffffffffffff8eULL, 0xf0f0f0f0f0f0fULL, 0xf0f0f0f0f0703ULL, 0xffffffffffffffffULL, 0x1e1e1e1e1e0c08ULL, 0x3e3e3e3e3e1e1eULL, 0x7f7f7f7f7f2e2eULL, 0x3fffffffffffffceULL, 0x7fffffffffffff8eULL, 0xf0e0f0f0e0eULL, 0x70507030400ULL, 0xe0a0e040400ULL, 0x1c141c080400ULL, 0x3e2e3e1e0e0eULL, 0x1f7f5f7f3f0e0eULL, 0x3f3fffbfffff3f0eULL, 0x7f7fff7fffff7f0eULL, 0xe0e0f0e0e0eULL, 0x30e0e0eULL, 0x40e0e0eULL, 0x80e0e0eULL, 0xe0e1e0e0e0eULL, 0x1f1f1f3f1f0e0eULL, 0x3f3f3f3fff3f3f0eULL, 0x7f7f7f7fff7f7f0eULL, 0xe0f0e0e0e0eULL, 0x30e0e0e0eULL, 0x40e0e0e0eULL, 0x80e0e0e0eULL, 0xe1e0e0e0e0eULL, 0x1f1f3f1f1f0e0eULL, 0x3f3f3fff3f3f3f0eULL, 0x7f7f7fff7f7f7f0eULL, 0xe0f1f1f1f0e0eULL, 0x31f1f1f0e0eULL, 0x41f1f1f0e0eULL, 0x81f1f1f0e0eULL, 0xe1e3f3f3f0e0eULL, 0x1f3f7f7f7f0e0eULL, 0x3f3fffffffff3f0eULL, 0x7f7fffffffff7f0eULL, 0xf0f3f3f3f3f3f0eULL, 0x3033f3f3f3f3f0eULL, 0x4043f3f3f3f3f0eULL, 0x8083f3f3f3f3f0eULL, 0x1e1e3f3f3f3f3f0eULL, 0x3f3f7f7f7f7f7f0eULL, 0xffffffffffffff0eULL, 0xffffffffffffff0eULL, 0xf7f7f7f7f7f7f0eULL, 0x37f7f7f7f7f7f0eULL, 0x47f7f7f7f7f7f0eULL, 0x87f7f7f7f7f7f0eULL, 0x1e7f7f7f7f7f7f0eULL, 0x3f7f7f7f7f7f7f0eULL, 0xffffffffffffff0eULL, 0xffffffffffffff0eULL, 0x3f3f3f3f3f3f1f1dULL, 0x3f3f3f3f3f3f1f1fULL, 0x3f3f3f3f3f3f1f04ULL, 0x3e3e3e3e3e3e1c08ULL, 0x7e7e7e7e7e7e7c10ULL, 0x7e7e7e7e7e7e7c3cULL, 0xfefefefefefefcdcULL, 0xffffffffffffff9cULL, 0x3f3f3f3f3f1d1dULL, 0x1f1f1f1f1f1f1fULL, 0x1e1e1e1e1e0c04ULL, 0xffffffffffffffffULL, 0x3c3c3c3c3c1810ULL, 0x7c7c7c7c7c3c3cULL, 0xfefefefefedcdcULL, 0x7fffffffffffff9cULL, 0x3e3f3e3f3f1c1cULL, 0x1f1d1f1f1c1cULL, 0xe0a0e040800ULL, 0x1c141c080800ULL, 0x382838100800ULL, 0x7c5c7c3c1c1cULL, 0x3efebefefe1c1cULL, 0x7f7fff7fffff7f1cULL, 0x3e3e3e3f3e1c1cULL, 0x1c1c1f1c1c1cULL, 0x41c1c1cULL, 0x81c1c1cULL, 0x101c1c1cULL, 0x1c1c3c1c1c1cULL, 0x3e3e3efe3e1c1cULL, 0x7f7f7f7fff7f7f1cULL, 0x3e3e3f3e3e1c1cULL, 0x1c1f1c1c1c1cULL, 0x41c1c1c1cULL, 0x81c1c1c1cULL, 0x101c1c1c1cULL, 0x1c3c1c1c1c1cULL, 0x3e3efe3e3e1c1cULL, 0x7f7f7fff7f7f7f1cULL, 0x3e3f3f3f3f1c1cULL, 0x1c1f3f3f3f1c1cULL, 0x43e3e3e1c1cULL, 0x83e3e3e1c1cULL, 0x103e3e3e1c1cULL, 0x1c3c7e7e7e1c1cULL, 0x3efefefefe1c1cULL, 0x7f7fffffffff7f1cULL, 0x3f3f7f7f7f7f7f1cULL, 0x1f1f7f7f7f7f7f1cULL, 0x4047f7f7f7f7f1cULL, 0x8087f7f7f7f7f1cULL, 0x10107f7f7f7f7f1cULL, 0x3c3c7f7f7f7f7f1cULL, 0xfefeffffffffff1cULL, 0xffffffffffffff1cULL, 0x3fffffffffffff1cULL, 0x1fffffffffffff1cULL, 0x4ffffffffffff1cULL, 0x8ffffffffffff1cULL, 0x10ffffffffffff1cULL, 0x3cffffffffffff1cULL, 0xfeffffffffffff1cULL, 0xffffffffffffff1cULL, 0x7f7f7f7f7f7f7f01ULL, 0x7f7f7f7f7f7f7f03ULL, 0x7f7f7f7f7f7f7f04ULL, 0x7f7f7f7f7f7f7f08ULL, 0x7f7f7f7f7f7f7f10ULL, 0x7f7f7f7f7f7f7f20ULL, 0x7f7f7f7f7f7f7fc0ULL, 0x7f7f7f7f7f7f7f80ULL, 0x7f7f7f7f7f7f0f01ULL, 0x7f7f7f7f7f7f0303ULL, 0x7f7f7f7f7f7f0704ULL, 0x7f7f7f7f7f7f0f08ULL, 0x7f7f7f7f7f7f1f10ULL, 0x7f7f7f7f7f7f3f20ULL, 0x7f7f7f7f7f7fffc0ULL, 0x7f7f7f7f7f7fff80ULL, 0xffffffffffffffffULL, 0x7f7f7f7f7f030000ULL, 0x7f7f7f7f7f070300ULL, 0x7f7f7f7f7f0f0700ULL, 0x7f7f7f7f7f1f0f00ULL, 0x7f7f7f7f7f3f1f00ULL, 0x7f7f7f7f7fff3f00ULL, 0x7f7f7f7f7fff7f00ULL, 0x3f3f3f3f0f0f0000ULL, 0x3f3f3f3f03010000ULL, 0x3f3f3f3f07030300ULL, 0x3f3f3f3f0f070700ULL, 0x3f3f3f3f1f0f0f00ULL, 0x7f7f7f7f3f1f1f00ULL, 0x7f7f7f7fff3f3f00ULL, 0x7f7f7f7fff7f7f00ULL, 0x1f1f1f0f0f0f0300ULL, 0x1f1f1f0303030300ULL, 0x1f1f1f0707070700ULL, 0x1f1f1f0f0f0f0f00ULL, 0x3f3f3f1f1f1f1f00ULL, 0x7f7f7f3f3f3f3f00ULL, 0x7f7f7fff7f7f7f00ULL, 0x7f7f7fff7f7f7f00ULL, 0xf0f0f0f0f0f0700ULL, 0xf0f030307070700ULL, 0xf0f070f0f0f0700ULL, 0x1f1f0f1f1f1f0f00ULL, 0x3f3f1f3f3f3f1f00ULL, 0x7f7f3f7f7f7f3f00ULL, 0x7f7fff7f7f7f7f00ULL, 0x7f7fff7f7f7f7f00ULL, 0xf0f0f0f0f0f0f00ULL, 0x3030f0f0f0f0f00ULL, 0x7070f0f0f0f0f00ULL, 0xf0f1f1f1f1f1f00ULL, 0x1f1f3f3f3f3f3f00ULL, 0x3f3f7f7f7f7f7f00ULL, 0xffff7f7f7f7f7f00ULL, 0xffff7f7f7f7f7f00ULL, 0xf1f1f1f1f1f1f00ULL, 0x31f1f1f1f1f1f00ULL, 0x71f1f1f1f1f1f00ULL, 0xf1f1f1f1f1f1f00ULL, 0x1f3f3f3f3f3f3f00ULL, 0x3f7f7f7f7f7f7f00ULL, 0xff7f7f7f7f7f7f00ULL, 0xff7f7f7f7f7f7f00ULL, 0x1f1f1f1f1f1f0f01ULL, 0x1f1f1f1f1f1f0f03ULL, 0x1f1f1f1f1f1f0f04ULL, 0x3f3f3f3f3f3f3f08ULL, 0x3f3f3f3f3f3f3f10ULL, 0x7f7f7f7f7f7f7f20ULL, 0xffffffffffffffc0ULL, 0xffffffffffffff80ULL, 0xf0f0f0f0f070101ULL, 0xf0f0f0f0f070303ULL, 0x1f1f1f1f1f1f0404ULL, 0x1f1f1f1f1f1f0f08ULL, 0x3f3f3f3f3f3f1f10ULL, 0x7f7f7f7f7f7f3f20ULL, 0xffffffffffffffc0ULL, 0xffffffffffffff80ULL, 0x707070707030000ULL, 0xffffffffffffffffULL, 0xf0f0f0f0f060000ULL, 0x1f1f1f1f1f0f0700ULL, 0x3f3f3f3f3f1f0f00ULL, 0x7f7f7f7f7f3f1f00ULL, 0xffffffffffff3f00ULL, 0xffffffffffff7f00ULL, 0x3020301020000ULL, 0x7050703020000ULL, 0xe0a0e04020000ULL, 0x1f171f0f070700ULL, 0xf3f2f3f1f0f0f00ULL, 0x1f7f5f7f3f1f1f00ULL, 0x3fffbfffff3f3f00ULL, 0x7f7f7f7fff7f7f00ULL, 0x107070700ULL, 0x307070700ULL, 0x407070700ULL, 0x7070f0f0f0f00ULL, 0xf0f0f1f1f1f1f00ULL, 0x1f1f1f3f3f3f3f00ULL, 0x3f3f3fff7f7f7f00ULL, 0x7f7f7fffffffff00ULL, 0x1070f0f0f00ULL, 0x3070f0f0f00ULL, 0x4070f0f0f00ULL, 0x70f1f1f1f0f00ULL, 0xf0f1f3f3f3f1f00ULL, 0x1f1f3f7f7f7f3f00ULL, 0x3f3fffffffff7f00ULL, 0x7f7fffffffffff00ULL, 0x1010f1f1f1f1f00ULL, 0x3030f1f1f1f1f00ULL, 0x4040f1f1f1f1f00ULL, 0xf0f1f1f1f1f1f00ULL, 0x1f1f3f3f3f3f3f00ULL, 0x3f3f7f7f7f7f7f00ULL, 0xffffffffffffff00ULL, 0xffffffffffffff00ULL, 0x11f3f3f3f3f3f00ULL, 0x31f3f3f3f3f3f00ULL, 0x41f3f3f3f3f3f00ULL, 0xf1f3f3f3f3f3f00ULL, 0x1f3f3f3f3f3f3f00ULL, 0x3f7f7f7f7f7f7f00ULL, 0xffffffffffffff00ULL, 0xffffffffffffff00ULL, 0x3f3f3f3f3f3f1f01ULL, 0x3f3f3f3f3f3f1f03ULL, 0x3f3f3f3f3f3f1f04ULL, 0x3f3f3f3f3f3f1f08ULL, 0x7f7f7f7f7f7f7f10ULL, 0x7f7f7f7f7f7f7f20ULL, 0xffffffffffffffc0ULL, 0xffffffffffffff80ULL, 0x1f1f1f1f1f0f0f01ULL, 0x1f1f1f1f1f0f0303ULL, 0x1f1f1f1f1f0e0404ULL, 0x3f3f3f3f3f3e0808ULL, 0x3f3f3f3f3f3e1e10ULL, 0x7f7f7f7f7f7f3f20ULL, 0xffffffffffffffc0ULL, 0xffffffffffffff80ULL, 0xf0f0f0f0f0f0e00ULL, 0xf0f0f0f0f070000ULL, 0xffffffffffffffffULL, 0x1e1e1e1e1e0c0000ULL, 0x3e3e3e3e3e1e0e00ULL, 0x7f7f7f7f7f3f1f00ULL, 0xffffffffffff3f00ULL, 0xffffffffffff7f00ULL, 0xf0e0f0f0e0e00ULL, 0x7050703040000ULL, 0xe0a0e04040000ULL, 0x1c141c08040000ULL, 0x3e2e3e1e0e0e00ULL, 0x1f7f5f7f3f1f1f00ULL, 0x3fffbfffff3f3f00ULL, 0x7fff7fffff7f7f00ULL, 0xe0e0f0f0f0f00ULL, 0x30e0e0e00ULL, 0x40e0e0e00ULL, 0x80e0e0e00ULL, 0xe0e1e1e1e1e00ULL, 0x1f1f1f3f3f3f3f00ULL, 0x3f3f3fff7f7f7f00ULL, 0x7f7f7fffffffff00ULL, 0xe0f0f1f1f1f00ULL, 0x30e1f1f1f00ULL, 0x40e1f1f1f00ULL, 0x80e1f1f1f00ULL, 0xe1e3e3f3f1f00ULL, 0x1f1f3f7f7f7f3f00ULL, 0x3f3fffffffff7f00ULL, 0x7f7fffffffffff00ULL, 0xf0f1f3f3f3f3f00ULL, 0x3031f3f3f3f3f00ULL, 0x4041f3f3f3f3f00ULL, 0x8081f3f3f3f3f00ULL, 0x1e1e3f3f3f3f3f00ULL, 0x3f3f7f7f7f7f7f00ULL, 0xffffffffffffff00ULL, 0xffffffffffffff00ULL, 0xf3f7f7f7f7f7f00ULL, 0x33f7f7f7f7f7f00ULL, 0x43f7f7f7f7f7f00ULL, 0x83f7f7f7f7f7f00ULL, 0x1e3f7f7f7f7f7f00ULL, 0x3f7f7f7f7f7f7f00ULL, 0xffffffffffffff00ULL, 0xffffffffffffff00ULL, 0x7f7f7f7f7f7f3f01ULL, 0x7f7f7f7f7f7f3f03ULL, 0x7f7f7f7f7f7f3e04ULL, 0x7f7f7f7f7f7f3e08ULL, 0x7f7f7f7f7f7f3e10ULL, 0xfffffffffffffe20ULL, 0xfffffffffffffec0ULL, 0xffffffffffffff80ULL, 0x3f3f3f3f3f3f3f01ULL, 0x3f3f3f3f3f1f1f03ULL, 0x3f3f3f3f3f1f0404ULL, 0x3e3e3e3e3e1c0808ULL, 0x7e7e7e7e7e7c1010ULL, 0x7e7e7e7e7e7c3c20ULL, 0xfefefefefefefec0ULL, 0xffffffffffffff80ULL, 0x3f3f3f3f3f3f3e00ULL, 0x1f1f1f1f1f1f1c00ULL, 0x1e1e1e1e1e0c0000ULL, 0xffffffffffffffffULL, 0x3c3c3c3c3c180000ULL, 0x7c7c7c7c7c3c1c00ULL, 0xfefefefefefe3e00ULL, 0xffffffffffff7f00ULL, 0x3e3f3e3f3f3e3e00ULL, 0x1f1d1f1f1c1c00ULL, 0xe0a0e04080000ULL, 0x1c141c08080000ULL, 0x38283810080000ULL, 0x7c5c7c3c1c1c00ULL, 0x3efebefefe3e3e00ULL, 0x7fff7fffff7f7f00ULL, 0x3e3e3e3f3f3f3f00ULL, 0x1c1c1f1e1e1e00ULL, 0x41c1c1c00ULL, 0x81c1c1c00ULL, 0x101c1c1c00ULL, 0x1c1c3c3c3c3c00ULL, 0x3e3e3efe7e7e7e00ULL, 0x7f7f7fffffffff00ULL, 0x3e3e3f3f3f3f3f00ULL, 0x1c1f1f3f3f3e00ULL, 0x41c3e3e3e00ULL, 0x81c3e3e3e00ULL, 0x101c3e3e3e00ULL, 0x1c3c7c7e7e3e00ULL, 0x3e3efefefefe7e00ULL, 0x7f7fffffffffff00ULL, 0x3f3f3f7f7f7f7f00ULL, 0x1f1f3f7f7f7f7f00ULL, 0x4043e7f7f7f7f00ULL, 0x8083e7f7f7f7f00ULL, 0x10103e7f7f7f7f00ULL, 0x3c3c7e7f7f7f7f00ULL, 0xfefefeffffffff00ULL, 0xffffffffffffff00ULL, 0x3f7fffffffffff00ULL, 0x1f7fffffffffff00ULL, 0x47fffffffffff00ULL, 0x87fffffffffff00ULL, 0x107fffffffffff00ULL, 0x3c7fffffffffff00ULL, 0xfeffffffffffff00ULL, 0xffffffffffffff00ULL, 0x3f3f3f3f3f3f0001ULL, 0x3f3f3f3f3f3f0003ULL, 0x3f3f3f3f3f3f0004ULL, 0x3f3f3f3f3f3f0008ULL, 0x3f3f3f3f3f3f0010ULL, 0x3f3f3f3f3f3f0020ULL, 0x3f3f3f3f3f3f00c0ULL, 0x3f3f3f3f3f3f0080ULL, 0x3f3f3f3f3f3f0101ULL, 0x3f3f3f3f3f3f0303ULL, 0x3f3f3f3f3f3f0404ULL, 0x3f3f3f3f3f3f0808ULL, 0x3f3f3f3f3f3f1010ULL, 0x3f3f3f3f3f3f2020ULL, 0x3f3f3f3f3f3fc0c0ULL, 0x3f3f3f3f3f3f8080ULL, 0x3f3f3f3f3f0f0000ULL, 0x3f3f3f3f3f030000ULL, 0x3f3f3f3f3f070000ULL, 0x3f3f3f3f3f0f0000ULL, 0x3f3f3f3f3f1f0000ULL, 0x3f3f3f3f3f3f0000ULL, 0x3f3f3f3f3fff0000ULL, 0x3f3f3f3f3fbf0000ULL, 0xffffffffffffffffULL, 0x3f3f3f3f03000000ULL, 0x3f3f3f3f07030000ULL, 0x3f3f3f3f0f070000ULL, 0x3f3f3f3f1f0f0000ULL, 0x3f3f3f3f3f1f0000ULL, 0x3f3f3f3fff3f0000ULL, 0x3f3f3f3fbf3f0000ULL, 0x1f1f1f0f0f000000ULL, 0x1f1f1f0301000000ULL, 0x1f1f1f0703030000ULL, 0x1f1f1f0f07070000ULL, 0x3f3f3f1f0f0f0000ULL, 0x3f3f3f3f1f1f0000ULL, 0x3f3f3fff3f3f0000ULL, 0x3f3f3fbf3f3f0000ULL, 0xf0f0f0f0f030000ULL, 0xf0f030303030000ULL, 0xf0f070707070000ULL, 0x1f1f0f0f0f0f0000ULL, 0x3f3f1f1f1f1f0000ULL, 0x3f3f3f3f3f3f0000ULL, 0x3f3fff3f3f3f0000ULL, 0x3f3fbf3f3f3f0000ULL, 0xf0f0f0f0f070000ULL, 0x303030707070000ULL, 0x7070f0f0f070000ULL, 0xf0f1f1f1f0f0000ULL, 0x1f1f3f3f3f1f0000ULL, 0x3f3f3f3f3f3f0000ULL, 0xffff3f3f3f3f0000ULL, 0xbfbf3f3f3f3f0000ULL, 0xf0f0f0f0f0f0000ULL, 0x30f0f0f0f0f0000ULL, 0x70f0f0f0f0f0000ULL, 0xf1f1f1f1f1f0000ULL, 0x1f3f3f3f3f3f0000ULL, 0x3f3f3f3f3f3f0000ULL, 0xff3f3f3f3f3f0000ULL, 0xbf3f3f3f3f3f0000ULL, 0x3f3f3f3f3f3f0001ULL, 0x3f3f3f3f3f3f0003ULL, 0x3f3f3f3f3f3f0004ULL, 0x3f3f3f3f3f3f0008ULL, 0x7f7f7f7f7f7f0010ULL, 0x7f7f7f7f7f7f0020ULL, 0x7f7f7f7f7f7f00c0ULL, 0x7f7f7f7f7f7f0080ULL, 0x1f1f1f1f1f0f0101ULL, 0x1f1f1f1f1f0f0303ULL, 0x1f1f1f1f1f0f0404ULL, 0x3f3f3f3f3f3f0808ULL, 0x3f3f3f3f3f3f1010ULL, 0x7f7f7f7f7f7f2020ULL, 0x7f7f7f7f7f7fc0c0ULL, 0x7f7f7f7f7f7f8080ULL, 0xf0f0f0f07010000ULL, 0xf0f0f0f07030000ULL, 0x1f1f1f1f1f040000ULL, 0x1f1f1f1f1f0f0000ULL, 0x3f3f3f3f3f1f0000ULL, 0x7f7f7f7f7f3f0000ULL, 0x7f7f7f7f7fff0000ULL, 0x7f7f7f7f7fff0000ULL, 0x707070703000000ULL, 0xffffffffffffffffULL, 0xf0f0f0f06000000ULL, 0x1f1f1f1f0f070000ULL, 0x3f3f3f3f1f0f0000ULL, 0x7f7f7f7f3f1f0000ULL, 0x7f7f7f7fff3f0000ULL, 0x7f7f7f7fff7f0000ULL, 0x302030102000000ULL, 0x705070302000000ULL, 0xe0a0e0402000000ULL, 0x1f171f0f07070000ULL, 0x3f2f3f1f0f0f0000ULL, 0x7f5f7f3f1f1f0000ULL, 0x3f3f3fff3f3f0000ULL, 0x7f7f7fff7f7f0000ULL, 0x10707070000ULL, 0x30707070000ULL, 0x40707070000ULL, 0x7070f0f0f0f0000ULL, 0xf0f1f1f1f1f0000ULL, 0x1f1f3f3f3f3f0000ULL, 0x3f3fff7f7f7f0000ULL, 0x7f7fff7f7f7f0000ULL, 0x101070f0f0f0000ULL, 0x303070f0f0f0000ULL, 0x404070f0f0f0000ULL, 0xf0f1f1f1f0f0000ULL, 0x1f1f3f3f3f1f0000ULL, 0x3f3f7f7f7f3f0000ULL, 0xffff7f7f7f7f0000ULL, 0xffff7f7f7f7f0000ULL, 0x10f1f1f1f1f0000ULL, 0x30f1f1f1f1f0000ULL, 0x40f1f1f1f1f0000ULL, 0xf1f1f1f1f1f0000ULL, 0x1f3f3f3f3f3f0000ULL, 0x3f7f7f7f7f7f0000ULL, 0xff7f7f7f7f7f0000ULL, 0xff7f7f7f7f7f0000ULL, 0x7f7f7f7f7f7f0001ULL, 0x7f7f7f7f7f7f0003ULL, 0x7f7f7f7f7f7f0004ULL, 0x7f7f7f7f7f7f0008ULL, 0x7f7f7f7f7f7f0010ULL, 0xffffffffffff0020ULL, 0xffffffffffff00c0ULL, 0xffffffffffff0080ULL, 0x3f3f3f3f3f1f0101ULL, 0x3f3f3f3f3f1f0303ULL, 0x3f3f3f3f3f1f0404ULL, 0x3f3f3f3f3f1f0808ULL, 0x7f7f7f7f7f7f1010ULL, 0x7f7f7f7f7f7f2020ULL, 0xffffffffffffc0c0ULL, 0xffffffffffff8080ULL, 0x1f1f1f1f0f0f0000ULL, 0x1f1f1f1f0f030000ULL, 0x1f1f1f1f0e040000ULL, 0x3f3f3f3f3e080000ULL, 0x3f3f3f3f3e1e0000ULL, 0x7f7f7f7f7f3f0000ULL, 0xffffffffffff0000ULL, 0xffffffffffff0000ULL, 0xf0f0f0f0f0e0000ULL, 0xf0f0f0f07000000ULL, 0xffffffffffffffffULL, 0x1e1e1e1e0c000000ULL, 0x3e3e3e3e1e0e0000ULL, 0x7f7f7f7f3f1f0000ULL, 0xffffffffff3f0000ULL, 0xffffffffff7f0000ULL, 0xf0e0f0f0e0e0000ULL, 0x705070304000000ULL, 0xe0a0e0404000000ULL, 0x1c141c0804000000ULL, 0x3e2e3e1e0e0e0000ULL, 0x7f5f7f3f1f1f0000ULL, 0xffbfffff3f3f0000ULL, 0x7f7f7fff7f7f0000ULL, 0xe0e0f0f0f0f0000ULL, 0x30e0e0e0000ULL, 0x40e0e0e0000ULL, 0x80e0e0e0000ULL, 0xe0e1e1e1e1e0000ULL, 0x1f1f3f3f3f3f0000ULL, 0x3f3fff7f7f7f0000ULL, 0x7f7fffffffff0000ULL, 0xf0f0f1f1f1f0000ULL, 0x3030e1f1f1f0000ULL, 0x4040e1f1f1f0000ULL, 0x8080e1f1f1f0000ULL, 0x1e1e3e3f3f1f0000ULL, 0x3f3f7f7f7f3f0000ULL, 0xffffffffff7f0000ULL, 0xffffffffffff0000ULL, 0xf1f3f3f3f3f0000ULL, 0x31f3f3f3f3f0000ULL, 0x41f3f3f3f3f0000ULL, 0x81f3f3f3f3f0000ULL, 0x1e3f3f3f3f3f0000ULL, 0x3f7f7f7f7f7f0000ULL, 0xffffffffffff0000ULL, 0xffffffffffff0000ULL, 0xffffffffffff0001ULL, 0xffffffffffff0003ULL, 0xffffffffffff0004ULL, 0xffffffffffff0008ULL, 0xffffffffffff0010ULL, 0xffffffffffff0020ULL, 0xffffffffffff00c0ULL, 0xffffffffffff0080ULL, 0x7f7f7f7f7f3f0101ULL, 0x7f7f7f7f7f3f0303ULL, 0x7f7f7f7f7f3e0404ULL, 0x7f7f7f7f7f3e0808ULL, 0x7f7f7f7f7f3e1010ULL, 0xfffffffffffe2020ULL, 0xfffffffffffec0c0ULL, 0xffffffffffff8080ULL, 0x3f3f3f3f3f3f0000ULL, 0x3f3f3f3f1f1f0000ULL, 0x3f3f3f3f1f040000ULL, 0x3e3e3e3e1c080000ULL, 0x7e7e7e7e7c100000ULL, 0x7e7e7e7e7c3c0000ULL, 0xfefefefefefe0000ULL, 0xffffffffffff0000ULL, 0x3f3f3f3f3f3e0000ULL, 0x1f1f1f1f1f1c0000ULL, 0x1e1e1e1e0c000000ULL, 0xffffffffffffffffULL, 0x3c3c3c3c18000000ULL, 0x7c7c7c7c3c1c0000ULL, 0xfefefefefe3e0000ULL, 0xffffffffff7f0000ULL, 0x3f3e3f3f3e3e0000ULL, 0x1f1d1f1f1c1c0000ULL, 0xe0a0e0408000000ULL, 0x1c141c0808000000ULL, 0x3828381008000000ULL, 0x7c5c7c3c1c1c0000ULL, 0xfebefefe3e3e0000ULL, 0xff7fffff7f7f0000ULL, 0x3e3e3f3f3f3f0000ULL, 0x1c1c1f1e1e1e0000ULL, 0x41c1c1c0000ULL, 0x81c1c1c0000ULL, 0x101c1c1c0000ULL, 0x1c1c3c3c3c3c0000ULL, 0x3e3efe7e7e7e0000ULL, 0x7f7fffffffff0000ULL, 0x3f3f3f3f3f3f0000ULL, 0x1f1f1f3f3f3e0000ULL, 0x4041c3e3e3e0000ULL, 0x8081c3e3e3e0000ULL, 0x10101c3e3e3e0000ULL, 0x3c3c7c7e7e3e0000ULL, 0xfefefefefe7e0000ULL, 0xffffffffffff0000ULL, 0x3f3f7f7f7f7f0000ULL, 0x1f3f7f7f7f7f0000ULL, 0x43e7f7f7f7f0000ULL, 0x83e7f7f7f7f0000ULL, 0x103e7f7f7f7f0000ULL, 0x3c7e7f7f7f7f0000ULL, 0xfefeffffffff0000ULL, 0xffffffffffff0000ULL, 0x1f1f1f1f1f000001ULL, 0x1f1f1f1f1f000003ULL, 0x1f1f1f1f1f000004ULL, 0x1f1f1f1f1f000008ULL, 0x1f1f1f1f1f000010ULL, 0x1f1f1f1f1f000020ULL, 0x1f1f1f1f1f0000c0ULL, 0x1f1f1f1f1f000080ULL, 0x1f1f1f1f1f000101ULL, 0x1f1f1f1f1f000303ULL, 0x1f1f1f1f1f000404ULL, 0x1f1f1f1f1f000808ULL, 0x1f1f1f1f1f001010ULL, 0x1f1f1f1f1f002020ULL, 0x1f1f1f1f1f00c0c0ULL, 0x1f1f1f1f1f008080ULL, 0x1f1f1f1f1f010000ULL, 0x1f1f1f1f1f030000ULL, 0x1f1f1f1f1f040000ULL, 0x1f1f1f1f1f080000ULL, 0x1f1f1f1f1f100000ULL, 0x1f1f1f1f1f200000ULL, 0x1f1f1f1f1fc00000ULL, 0x1f1f1f1f1f800000ULL, 0x1f1f1f1f0f000000ULL, 0x1f1f1f1f03000000ULL, 0x1f1f1f1f07000000ULL, 0x1f1f1f1f0f000000ULL, 0x1f1f1f1f1f000000ULL, 0x1f1f1f1f3f000000ULL, 0x1f1f1f1fdf000000ULL, 0x1f1f1f1f9f000000ULL, 0xffffffffffffffffULL, 0x1f1f1f0300000000ULL, 0x1f1f1f0703000000ULL, 0x1f1f1f0f07000000ULL, 0x1f1f1f1f0f000000ULL, 0x1f1f1f3f1f000000ULL, 0x1f1f1fdf1f000000ULL, 0x1f1f1f9f1f000000ULL, 0xf0f0f0f00000000ULL, 0xf0f030100000000ULL, 0xf0f070303000000ULL, 0x1f1f0f0707000000ULL, 0x1f1f1f0f0f000000ULL, 0x1f1f3f1f1f000000ULL, 0x1f1fdf1f1f000000ULL, 0x1f1f9f1f1f000000ULL, 0xf0f0f0f03000000ULL, 0x303030303000000ULL, 0x707070707000000ULL, 0xf0f0f0f0f000000ULL, 0x1f1f1f1f1f000000ULL, 0x3f3f1f1f1f000000ULL, 0xdfdf1f1f1f000000ULL, 0x9f9f1f1f1f000000ULL, 0xf0f0f0f07000000ULL, 0x303070707000000ULL, 0x70f0f0f07000000ULL, 0xf1f1f1f0f000000ULL, 0x1f1f1f1f1f000000ULL, 0x3f1f1f1f1f000000ULL, 0xdf1f1f1f1f000000ULL, 0x9f1f1f1f1f000000ULL, 0x3f3f3f3f3f000001ULL, 0x3f3f3f3f3f000003ULL, 0x3f3f3f3f3f000004ULL, 0x3f3f3f3f3f000008ULL, 0x3f3f3f3f3f000010ULL, 0x3f3f3f3f3f000020ULL, 0x3f3f3f3f3f0000c0ULL, 0x3f3f3f3f3f000080ULL, 0x3f3f3f3f3f000101ULL, 0x3f3f3f3f3f000303ULL, 0x3f3f3f3f3f000404ULL, 0x3f3f3f3f3f000808ULL, 0x3f3f3f3f3f001010ULL, 0x3f3f3f3f3f002020ULL, 0x3f3f3f3f3f00c0c0ULL, 0x3f3f3f3f3f008080ULL, 0x1f1f1f1f0f010000ULL, 0x1f1f1f1f0f030000ULL, 0x1f1f1f1f0f040000ULL, 0x3f3f3f3f3f080000ULL, 0x3f3f3f3f3f100000ULL, 0x3f3f3f3f3f200000ULL, 0x3f3f3f3f3fc00000ULL, 0x3f3f3f3f3f800000ULL, 0xf0f0f0701000000ULL, 0xf0f0f0703000000ULL, 0x1f1f1f1f04000000ULL, 0x1f1f1f1f0f000000ULL, 0x1f3f3f3f1f000000ULL, 0x3f3f3f3f3f000000ULL, 0x3f3f3f3fff000000ULL, 0x3f3f3f3fbf000000ULL, 0x707070300000000ULL, 0xffffffffffffffffULL, 0xf0f0f0600000000ULL, 0xf0f0f0f07000000ULL, 0x1f1f1f1f0f000000ULL, 0x3f3f3f3f1f000000ULL, 0x3f3f3fff3f000000ULL, 0x3f3f3fbf3f000000ULL, 0x10200000000ULL, 0x30200000000ULL, 0x40200000000ULL, 0x7070f0707000000ULL, 0xf0f1f0f0f000000ULL, 0x1f1f3f1f1f000000ULL, 0x3f3fff3f3f000000ULL, 0x3f3fbf3f3f000000ULL, 0x101070707000000ULL, 0x303070707000000ULL, 0x404070707000000ULL, 0xf0f0f0f0f000000ULL, 0x1f1f1f1f1f000000ULL, 0x3f3f3f3f3f000000ULL, 0xffff3f3f3f000000ULL, 0xbfbf3f3f3f000000ULL, 0x1070f0f0f000000ULL, 0x3070f0f0f000000ULL, 0x4070f0f0f000000ULL, 0xf1f1f1f0f000000ULL, 0x1f3f3f3f1f000000ULL, 0x3f3f3f3f3f000000ULL, 0xff3f3f3f3f000000ULL, 0xbf3f3f3f3f000000ULL, 0x7f7f7f7f7f000001ULL, 0x7f7f7f7f7f000003ULL, 0x7f7f7f7f7f000004ULL, 0x7f7f7f7f7f000008ULL, 0x7f7f7f7f7f000010ULL, 0x7f7f7f7f7f000020ULL, 0x7f7f7f7f7f0000c0ULL, 0x7f7f7f7f7f000080ULL, 0x7f7f7f7f7f000101ULL, 0x7f7f7f7f7f000303ULL, 0x7f7f7f7f7f000404ULL, 0x7f7f7f7f7f000808ULL, 0x7f7f7f7f7f001010ULL, 0x7f7f7f7f7f002020ULL, 0x7f7f7f7f7f00c0c0ULL, 0x7f7f7f7f7f008080ULL, 0x3f3f3f3f1f010000ULL, 0x3f3f3f3f1f030000ULL, 0x3f3f3f3f1f040000ULL, 0x3f3f3f3f1f080000ULL, 0x7f7f7f7f7f100000ULL, 0x7f7f7f7f7f200000ULL, 0x7f7f7f7f7fc00000ULL, 0x7f7f7f7f7f800000ULL, 0x1f1f1f0f0f000000ULL, 0x1f1f1f0f03000000ULL, 0x1f1f1f0e04000000ULL, 0x3f3f3f3e08000000ULL, 0x3f3f3f3e1e000000ULL, 0x3f7f7f7f3f000000ULL, 0x7f7f7f7fff000000ULL, 0x7f7f7f7fff000000ULL, 0xf0f0f0f0e000000ULL, 0xf0f0f0700000000ULL, 0xffffffffffffffffULL, 0x1e1e1e0c00000000ULL, 0x1e1e1e1e0e000000ULL, 0x3f3f3f3f1f000000ULL, 0x7f7f7fff3f000000ULL, 0x7f7f7fff7f000000ULL, 0xe0e0f0e0e000000ULL, 0x30400000000ULL, 0x40400000000ULL, 0x80400000000ULL, 0xe0e1e0e0e000000ULL, 0x1f1f3f1f1f000000ULL, 0x3f3fff3f3f000000ULL, 0x7f7fff7f7f000000ULL, 0xf0f0f0f0f000000ULL, 0x3030e0e0e000000ULL, 0x4040e0e0e000000ULL, 0x8080e0e0e000000ULL, 0x1e1e1e1e1e000000ULL, 0x3f3f3f3f3f000000ULL, 0xffff7f7f7f000000ULL, 0xffff7f7f7f000000ULL, 0xf0f1f1f1f000000ULL, 0x30e1f1f1f000000ULL, 0x40e1f1f1f000000ULL, 0x80e1f1f1f000000ULL, 0x1e3e3f3f1f000000ULL, 0x3f7f7f7f3f000000ULL, 0xff7f7f7f7f000000ULL, 0xff7f7f7f7f000000ULL, 0xffffffffff000001ULL, 0xffffffffff000003ULL, 0xffffffffff000004ULL, 0xffffffffff000008ULL, 0xffffffffff000010ULL, 0xffffffffff000020ULL, 0xffffffffff0000c0ULL, 0xffffffffff000080ULL, 0xffffffffff000101ULL, 0xffffffffff000303ULL, 0xffffffffff000404ULL, 0xffffffffff000808ULL, 0xffffffffff001010ULL, 0xffffffffff002020ULL, 0xffffffffff00c0c0ULL, 0xffffffffff008080ULL, 0x7f7f7f7f3f010000ULL, 0x7f7f7f7f3f030000ULL, 0x7f7f7f7f3e040000ULL, 0x7f7f7f7f3e080000ULL, 0x7f7f7f7f3e100000ULL, 0xfffffffffe200000ULL, 0xfffffffffec00000ULL, 0xffffffffff800000ULL, 0x3f3f3f3f3f000000ULL, 0x3f3f3f1f1f000000ULL, 0x3f3f3f1f04000000ULL, 0x3e3e3e1c08000000ULL, 0x7e7e7e7c10000000ULL, 0x7e7e7e7c3c000000ULL, 0x7efefefefe000000ULL, 0xffffffffff000000ULL, 0x3f3f3f3f3e000000ULL, 0x1e1e1e1f1c000000ULL, 0x1e1e1e0c00000000ULL, 0xffffffffffffffffULL, 0x3c3c3c1800000000ULL, 0x3c3c3c3c1c000000ULL, 0x7e7e7efe3e000000ULL, 0xffffffff7f000000ULL, 0x3e3e3f3e3e000000ULL, 0x1c1c1f1c1c000000ULL, 0x40800000000ULL, 0x80800000000ULL, 0x100800000000ULL, 0x1c1c3c1c1c000000ULL, 0x3e3efe3e3e000000ULL, 0x7f7fff7f7f000000ULL, 0x3f3f3f3f3f000000ULL, 0x1f1f1e1e1e000000ULL, 0x4041c1c1c000000ULL, 0x8081c1c1c000000ULL, 0x10101c1c1c000000ULL, 0x3c3c3c3c3c000000ULL, 0xfefe7e7e7e000000ULL, 0xffffffffff000000ULL, 0x3f3f3f3f3f000000ULL, 0x1f1f3f3f3e000000ULL, 0x41c3e3e3e000000ULL, 0x81c3e3e3e000000ULL, 0x101c3e3e3e000000ULL, 0x3c7c7e7e3e000000ULL, 0xfefefefe7e000000ULL, 0xffffffffff000000ULL, 0xf0f0f0f00000001ULL, 0xf0f0f0f00000003ULL, 0xf0f0f0f00000004ULL, 0xf0f0f0f00000008ULL, 0xf0f0f0f00000010ULL, 0xf0f0f0f00000020ULL, 0xf0f0f0f000000c0ULL, 0xf0f0f0f00000080ULL, 0xf0f0f0f00000101ULL, 0xf0f0f0f00000303ULL, 0xf0f0f0f00000404ULL, 0xf0f0f0f00000808ULL, 0xf0f0f0f00001010ULL, 0xf0f0f0f00002020ULL, 0xf0f0f0f0000c0c0ULL, 0xf0f0f0f00008080ULL, 0xf0f0f0f00010000ULL, 0xf0f0f0f00030000ULL, 0xf0f0f0f00040000ULL, 0xf0f0f0f00080000ULL, 0xf0f0f0f00100000ULL, 0xf0f0f0f00200000ULL, 0xf0f0f0f00c00000ULL, 0xf0f0f0f00800000ULL, 0xf0f0f0f01000000ULL, 0xf0f0f0f03000000ULL, 0xf0f0f0f04000000ULL, 0xf0f0f0f08000000ULL, 0xf0f0f0f10000000ULL, 0xf0f0f0f20000000ULL, 0xf0f0f0fc0000000ULL, 0xf0f0f0f80000000ULL, 0xf0f0f0f00000000ULL, 0xf0f0f0300000000ULL, 0xf0f0f0700000000ULL, 0xf0f0f0f00000000ULL, 0xf0f0f1f00000000ULL, 0xf0f0f2f00000000ULL, 0xf0f0fcf00000000ULL, 0xf0f0f8f00000000ULL, 0xffffffffffffffffULL, 0x707030000000000ULL, 0x707070300000000ULL, 0xf0f0f0700000000ULL, 0xf0f1f0f00000000ULL, 0xf0f2f0f00000000ULL, 0xf0fcf0f00000000ULL, 0xf0f8f0f00000000ULL, 0xf0f0f0000000000ULL, 0x303010000000000ULL, 0x707030300000000ULL, 0xf0f070700000000ULL, 0x1f1f0f0f00000000ULL, 0x2f2f0f0f00000000ULL, 0xcfcf0f0f00000000ULL, 0x8f8f0f0f00000000ULL, 0xf0f0f0700000000ULL, 0x303030300000000ULL, 0x707070700000000ULL, 0xf0f0f0f00000000ULL, 0x1f0f0f0f00000000ULL, 0x2f0f0f0f00000000ULL, 0xcf0f0f0f00000000ULL, 0x8f0f0f0f00000000ULL, 0x1f1f1f1f00000001ULL, 0x1f1f1f1f00000003ULL, 0x1f1f1f1f00000004ULL, 0x1f1f1f1f00000008ULL, 0x1f1f1f1f00000010ULL, 0x1f1f1f1f00000020ULL, 0x1f1f1f1f000000c0ULL, 0x1f1f1f1f00000080ULL, 0x1f1f1f1f00000101ULL, 0x1f1f1f1f00000303ULL, 0x1f1f1f1f00000404ULL, 0x1f1f1f1f00000808ULL, 0x1f1f1f1f00001010ULL, 0x1f1f1f1f00002020ULL, 0x1f1f1f1f0000c0c0ULL, 0x1f1f1f1f00008080ULL, 0x1f1f1f1f00010000ULL, 0x1f1f1f1f00030000ULL, 0x1f1f1f1f00040000ULL, 0x1f1f1f1f00080000ULL, 0x1f1f1f1f00100000ULL, 0x1f1f1f1f00200000ULL, 0x1f1f1f1f00c00000ULL, 0x1f1f1f1f00800000ULL, 0xf0f0f0f01000000ULL, 0xf0f0f0f03000000ULL, 0xf0f0f0f04000000ULL, 0xf1f1f1f08000000ULL, 0xf1f1f1f10000000ULL, 0x1f1f1f1f20000000ULL, 0x1f1f1f1fc0000000ULL, 0x1f1f1f1f80000000ULL, 0x707070100000000ULL, 0x707070300000000ULL, 0x707070400000000ULL, 0x707070f00000000ULL, 0xf0f0f1f00000000ULL, 0x1f1f1f3f00000000ULL, 0x1f1f1fdf00000000ULL, 0x1f1f1f9f00000000ULL, 0x203030000000000ULL, 0xffffffffffffffffULL, 0xa0f060000000000ULL, 0x7070f0700000000ULL, 0xf0f1f0f00000000ULL, 0x1f1f3f1f00000000ULL, 0x1f1fdf1f00000000ULL, 0x1f1f9f1f00000000ULL, 0x101020000000000ULL, 0x303020000000000ULL, 0x504020000000000ULL, 0xf0f070700000000ULL, 0x1f1f0f0f00000000ULL, 0x3f3f1f1f00000000ULL, 0xdfdf1f1f00000000ULL, 0x9f9f1f1f00000000ULL, 0x107070700000000ULL, 0x307070700000000ULL, 0x507070700000000ULL, 0xf0f0f0f00000000ULL, 0x1f1f1f1f00000000ULL, 0x3f1f1f1f00000000ULL, 0xdf1f1f1f00000000ULL, 0x9f1f1f1f00000000ULL, 0x3f3f3f3f00000001ULL, 0x3f3f3f3f00000003ULL, 0x3f3f3f3f00000004ULL, 0x3f3f3f3f00000008ULL, 0x3f3f3f3f00000010ULL, 0x3f3f3f3f00000020ULL, 0x3f3f3f3f000000c0ULL, 0x3f3f3f3f00000080ULL, 0x3f3f3f3f00000101ULL, 0x3f3f3f3f00000303ULL, 0x3f3f3f3f00000404ULL, 0x3f3f3f3f00000808ULL, 0x3f3f3f3f00001010ULL, 0x3f3f3f3f00002020ULL, 0x3f3f3f3f0000c0c0ULL, 0x3f3f3f3f00008080ULL, 0x3f3f3f3f00010000ULL, 0x3f3f3f3f00030000ULL, 0x3f3f3f3f00040000ULL, 0x3f3f3f3f00080000ULL, 0x3f3f3f3f00100000ULL, 0x3f3f3f3f00200000ULL, 0x3f3f3f3f00c00000ULL, 0x3f3f3f3f00800000ULL, 0x1f1f1f1f01000000ULL, 0x1f1f1f1f03000000ULL, 0x1f1f1f1f04000000ULL, 0x1f1f1f1f08000000ULL, 0x1f3f3f3f10000000ULL, 0x1f3f3f3f20000000ULL, 0x3f3f3f3fc0000000ULL, 0x3f3f3f3f80000000ULL, 0xe0e0e0f00000000ULL, 0xe0e0e0300000000ULL, 0xe0e0e0400000000ULL, 0xe0e0e0800000000ULL, 0xe0e0e1e00000000ULL, 0x1f1f1f3f00000000ULL, 0x3f3f3fff00000000ULL, 0x3f3f3fbf00000000ULL, 0xe0e0f0e00000000ULL, 0x507070000000000ULL, 0xffffffffffffffffULL, 0x141c0c0000000000ULL, 0xe0e1e0e00000000ULL, 0x1f1f3f1f00000000ULL, 0x3f3fff3f00000000ULL, 0x3f3fbf3f00000000ULL, 0xf0f0e0e00000000ULL, 0x303040000000000ULL, 0x404040000000000ULL, 0x808040000000000ULL, 0x1e1e0e0e00000000ULL, 0x3f3f1f1f00000000ULL, 0xffff3f3f00000000ULL, 0xbfbf3f3f00000000ULL, 0xf0f0f0f00000000ULL, 0x30e0e0e00000000ULL, 0x40e0e0e00000000ULL, 0x80e0e0e00000000ULL, 0x1e1e1e1e00000000ULL, 0x3f3f3f3f00000000ULL, 0xff3f3f3f00000000ULL, 0xbf3f3f3f00000000ULL, 0x7f7f7f7f00000001ULL, 0x7f7f7f7f00000003ULL, 0x7f7f7f7f00000004ULL, 0x7f7f7f7f00000008ULL, 0x7f7f7f7f00000010ULL, 0x7f7f7f7f00000020ULL, 0x7f7f7f7f000000c0ULL, 0x7f7f7f7f00000080ULL, 0x7f7f7f7f00000101ULL, 0x7f7f7f7f00000303ULL, 0x7f7f7f7f00000404ULL, 0x7f7f7f7f00000808ULL, 0x7f7f7f7f00001010ULL, 0x7f7f7f7f00002020ULL, 0x7f7f7f7f0000c0c0ULL, 0x7f7f7f7f00008080ULL, 0x7f7f7f7f00010000ULL, 0x7f7f7f7f00030000ULL, 0x7f7f7f7f00040000ULL, 0x7f7f7f7f00080000ULL, 0x7f7f7f7f00100000ULL, 0x7f7f7f7f00200000ULL, 0x7f7f7f7f00c00000ULL, 0x7f7f7f7f00800000ULL, 0x3e3f3f3f01000000ULL, 0x3e3f3f3f03000000ULL, 0x3e3e3e3e04000000ULL, 0x3e3e3e3e08000000ULL, 0x3e3e3e3e10000000ULL, 0x3e7e7e7e20000000ULL, 0x3e7e7e7ec0000000ULL, 0x7f7f7f7f80000000ULL, 0x3e3e3e3f00000000ULL, 0x1c1c1c1f00000000ULL, 0x1c1c1c0400000000ULL, 0x1c1c1c0800000000ULL, 0x1c1c1c1000000000ULL, 0x1c1c1c3c00000000ULL, 0x3e3e3efe00000000ULL, 0x7f7f7fff00000000ULL, 0x3e3e3f3e00000000ULL, 0x1c1c1f1c00000000ULL, 0xa0e0c0000000000ULL, 0xffffffffffffffffULL, 0x2838180000000000ULL, 0x1c1c3c1c00000000ULL, 0x3e3efe3e00000000ULL, 0x7f7fff7f00000000ULL, 0x3f3f3e3e00000000ULL, 0x1f1f1c1c00000000ULL, 0x404080000000000ULL, 0x808080000000000ULL, 0x1010080000000000ULL, 0x3c3c1c1c00000000ULL, 0xfefe3e3e00000000ULL, 0xffff7f7f00000000ULL, 0x3f3f3f3f00000000ULL, 0x1f1e1e1e00000000ULL, 0x41c1c1c00000000ULL, 0x81c1c1c00000000ULL, 0x101c1c1c00000000ULL, 0x3c3c3c3c00000000ULL, 0xfe7e7e7e00000000ULL, 0xff7f7f7f00000000ULL, 0x707070000000001ULL, 0x707070000000003ULL, 0x707070000000004ULL, 0x707070000000008ULL, 0x707070000000010ULL, 0x707070000000020ULL, 0x7070700000000c0ULL, 0x707070000000080ULL, 0x707070000000101ULL, 0x707070000000303ULL, 0x707070000000404ULL, 0x707070000000808ULL, 0x707070000001010ULL, 0x707070000002020ULL, 0x70707000000c0c0ULL, 0x707070000008080ULL, 0x707070000010000ULL, 0x707070000030000ULL, 0x707070000040000ULL, 0x707070000080000ULL, 0x707070000100000ULL, 0x707070000200000ULL, 0x707070000c00000ULL, 0x707070000800000ULL, 0x707070001000000ULL, 0x707070003000000ULL, 0x707070004000000ULL, 0x707070008000000ULL, 0x707070010000000ULL, 0x707070020000000ULL, 0x7070700c0000000ULL, 0x707070080000000ULL, 0x707070100000000ULL, 0x707070300000000ULL, 0x707070400000000ULL, 0x707070800000000ULL, 0x707071000000000ULL, 0x707072000000000ULL, 0x70707c000000000ULL, 0x707078000000000ULL, 0x303010000000000ULL, 0x303030000000000ULL, 0x303070000000000ULL, 0x7070f0000000000ULL, 0x707170000000000ULL, 0x707270000000000ULL, 0x707c70000000000ULL, 0x707870000000000ULL, 0xffffffffffffffffULL, 0x303000000000000ULL, 0x707030000000000ULL, 0xf0f070000000000ULL, 0x1717070000000000ULL, 0x2727070000000000ULL, 0xc7c7070000000000ULL, 0x8787070000000000ULL, 0xf0f0e0000000000ULL, 0x301000000000000ULL, 0x703030000000000ULL, 0xf07070000000000ULL, 0x1707070000000000ULL, 0x2707070000000000ULL, 0xc707070000000000ULL, 0x8707070000000000ULL, 0xf0f0f0000000001ULL, 0xf0f0f0000000003ULL, 0xf0f0f0000000004ULL, 0xf0f0f0000000008ULL, 0xf0f0f0000000010ULL, 0xf0f0f0000000020ULL, 0xf0f0f00000000c0ULL, 0xf0f0f0000000080ULL, 0xf0f0f0000000101ULL, 0xf0f0f0000000303ULL, 0xf0f0f0000000404ULL, 0xf0f0f0000000808ULL, 0xf0f0f0000001010ULL, 0xf0f0f0000002020ULL, 0xf0f0f000000c0c0ULL, 0xf0f0f0000008080ULL, 0xf0f0f0000010000ULL, 0xf0f0f0000030000ULL, 0xf0f0f0000040000ULL, 0xf0f0f0000080000ULL, 0xf0f0f0000100000ULL, 0xf0f0f0000200000ULL, 0xf0f0f0000c00000ULL, 0xf0f0f0000800000ULL, 0xf0f0f0001000000ULL, 0xf0f0f0003000000ULL, 0xf0f0f0004000000ULL, 0xf0f0f0008000000ULL, 0xf0f0f0010000000ULL, 0xf0f0f0020000000ULL, 0xf0f0f00c0000000ULL, 0xf0f0f0080000000ULL, 0xf0f0f0100000000ULL, 0xf0f0f0300000000ULL, 0xf0f0f0400000000ULL, 0xf0f0f0800000000ULL, 0xf0f0f1000000000ULL, 0xf0f0f2000000000ULL, 0xf0f0fc000000000ULL, 0xf0f0f8000000000ULL, 0x507010000000000ULL, 0x202030000000000ULL, 0x507040000000000ULL, 0x7070f0000000000ULL, 0xf0f1f0000000000ULL, 0xf0f2f0000000000ULL, 0xf0fcf0000000000ULL, 0xf0f8f0000000000ULL, 0x103000000000000ULL, 0xffffffffffffffffULL, 0x406000000000000ULL, 0xf0f070000000000ULL, 0x1f1f0f0000000000ULL, 0x2f2f0f0000000000ULL, 0xcfcf0f0000000000ULL, 0x8f8f0f0000000000ULL, 0x102000000000000ULL, 0x302000000000000ULL, 0x402000000000000ULL, 0xf07070000000000ULL, 0x1f0f0f0000000000ULL, 0x2f0f0f0000000000ULL, 0xcf0f0f0000000000ULL, 0x8f0f0f0000000000ULL, 0x1f1f1f0000000001ULL, 0x1f1f1f0000000003ULL, 0x1f1f1f0000000004ULL, 0x1f1f1f0000000008ULL, 0x1f1f1f0000000010ULL, 0x1f1f1f0000000020ULL, 0x1f1f1f00000000c0ULL, 0x1f1f1f0000000080ULL, 0x1f1f1f0000000101ULL, 0x1f1f1f0000000303ULL, 0x1f1f1f0000000404ULL, 0x1f1f1f0000000808ULL, 0x1f1f1f0000001010ULL, 0x1f1f1f0000002020ULL, 0x1f1f1f000000c0c0ULL, 0x1f1f1f0000008080ULL, 0x1f1f1f0000010000ULL, 0x1f1f1f0000030000ULL, 0x1f1f1f0000040000ULL, 0x1f1f1f0000080000ULL, 0x1f1f1f0000100000ULL, 0x1f1f1f0000200000ULL, 0x1f1f1f0000c00000ULL, 0x1f1f1f0000800000ULL, 0x1f1f1f0001000000ULL, 0x1f1f1f0003000000ULL, 0x1f1f1f0004000000ULL, 0x1f1f1f0008000000ULL, 0x1f1f1f0010000000ULL, 0x1f1f1f0020000000ULL, 0x1f1f1f00c0000000ULL, 0x1f1f1f0080000000ULL, 0x1f1f1f0100000000ULL, 0x1f1f1f0300000000ULL, 0x1f1f1f0400000000ULL, 0x1f1f1f0800000000ULL, 0x1f1f1f1000000000ULL, 0x1f1f1f2000000000ULL, 0x1f1f1fc000000000ULL, 0x1f1f1f8000000000ULL, 0xf0e0f0000000000ULL, 0xb0e030000000000ULL, 0x404040000000000ULL, 0xa0e080000000000ULL, 0xe0e1e0000000000ULL, 0x1f1f3f0000000000ULL, 0x1f1fdf0000000000ULL, 0x1f1f9f0000000000ULL, 0xf0f0e0000000000ULL, 0x307000000000000ULL, 0xffffffffffffffffULL, 0x80c000000000000ULL, 0x1e1e0e0000000000ULL, 0x3f3f1f0000000000ULL, 0xdfdf1f0000000000ULL, 0x9f9f1f0000000000ULL, 0xf0e0e0000000000ULL, 0x304000000000000ULL, 0x404000000000000ULL, 0x804000000000000ULL, 0x1e0e0e0000000000ULL, 0x3f1f1f0000000000ULL, 0xdf1f1f0000000000ULL, 0x9f1f1f0000000000ULL, 0x3e3e3e0000000001ULL, 0x3e3e3e0000000003ULL, 0x3e3e3e0000000004ULL, 0x3e3e3e0000000008ULL, 0x3e3e3e0000000010ULL, 0x3e3e3e0000000020ULL, 0x3e3e3e00000000c0ULL, 0x3e3e3e0000000080ULL, 0x3e3e3e0000000101ULL, 0x3e3e3e0000000303ULL, 0x3e3e3e0000000404ULL, 0x3e3e3e0000000808ULL, 0x3e3e3e0000001010ULL, 0x3e3e3e0000002020ULL, 0x3e3e3e000000c0c0ULL, 0x3e3e3e0000008080ULL, 0x3e3e3e0000010000ULL, 0x3e3e3e0000030000ULL, 0x3e3e3e0000040000ULL, 0x3e3e3e0000080000ULL, 0x3e3e3e0000100000ULL, 0x3e3e3e0000200000ULL, 0x3e3e3e0000c00000ULL, 0x3e3e3e0000800000ULL, 0x3e3e3e0001000000ULL, 0x3e3e3e0003000000ULL, 0x3e3e3e0004000000ULL, 0x3e3e3e0008000000ULL, 0x3e3e3e0010000000ULL, 0x3e3e3e0020000000ULL, 0x3e3e3e00c0000000ULL, 0x3e3e3e0080000000ULL, 0x3e3e3e0100000000ULL, 0x3e3e3e0300000000ULL, 0x3e3e3e0400000000ULL, 0x3e3e3e0800000000ULL, 0x3e3e3e1000000000ULL, 0x3e3e3e2000000000ULL, 0x3e3e3ec000000000ULL, 0x3e3e3e8000000000ULL, 0x3e3e3f0000000000ULL, 0x1c1c1f0000000000ULL, 0x141c040000000000ULL, 0x808080000000000ULL, 0x141c100000000000ULL, 0x1c1c3c0000000000ULL, 0x3e3efe0000000000ULL, 0x3e3ebe0000000000ULL, 0x3f3f3e0000000000ULL, 0x1f1f1c0000000000ULL, 0x40c000000000000ULL, 0xffffffffffffffffULL, 0x1018000000000000ULL, 0x3c3c1c0000000000ULL, 0xfefe3e0000000000ULL, 0xbebe3e0000000000ULL, 0x3f3e3e0000000000ULL, 0x1f1c1c0000000000ULL, 0x408000000000000ULL, 0x808000000000000ULL, 0x1008000000000000ULL, 0x3c1c1c0000000000ULL, 0xfe3e3e0000000000ULL, 0xbe3e3e0000000000ULL, 0x3f3f3f3f3f3f0101ULL, 0x3f3f3f3f3f3f0103ULL, 0x3f3f3f3f3f3f0104ULL, 0x3f3f3f3f3f3f0108ULL, 0x3f3f3f3f3f3f0110ULL, 0x3f3f3f3f3f3f0120ULL, 0x3f3f3f3f3f3f0140ULL, 0x3f3f3f3f3f3f0180ULL, 0xffffffffffffffffULL, 0x3f3f3f3f3f070300ULL, 0x3f3f3f3f3f070500ULL, 0x3f3f3f3f3f0f0900ULL, 0x3f3f3f3f3f1f1100ULL, 0x3f3f3f3f3f3f2100ULL, 0x3f3f3f3f3f3f4100ULL, 0x3f3f3f3f3f3f8100ULL, 0x3f3f3f3f07070300ULL, 0x3f3f3f3f07030100ULL, 0x3f3f3f3f07070100ULL, 0x3f3f3f3f0f0f0100ULL, 0x3f3f3f3f1f1f0100ULL, 0x3f3f3f3f3f3f0100ULL, 0x3f3f3f3f3f7f0100ULL, 0x3f3f3f3f3fbf0100ULL, 0x1f1f1f0707030100ULL, 0x1f1f1f0703010100ULL, 0x1f1f1f0707030100ULL, 0x1f1f1f0f0f030100ULL, 0x1f1f1f1f1f070100ULL, 0x3f3f3f3f3f0f0100ULL, 0x3f3f3f3f7f1f0100ULL, 0x3f3f3f3fbf3f0100ULL, 0xf0f070707010100ULL, 0xf0f070301010100ULL, 0xf0f070703030100ULL, 0xf0f0f0f07030100ULL, 0x1f1f1f1f0f070100ULL, 0x3f3f3f3f1f0f0100ULL, 0x3f3f3f7f3f1f0100ULL, 0x3f3f3fbf3f3f0100ULL, 0x707070707030100ULL, 0x707030303030100ULL, 0x707070707030100ULL, 0xf0f0f0f0f030100ULL, 0x1f1f1f1f1f070100ULL, 0x3f3f3f3f3f0f0100ULL, 0x3f3f7f3f3f1f0100ULL, 0x3f3fbf3f3f3f0100ULL, 0x707070707070100ULL, 0x303030707070100ULL, 0x707070707070100ULL, 0xf0f0f0f0f0f0100ULL, 0x1f1f1f1f1f1f0100ULL, 0x3f3f3f3f3f3f0100ULL, 0x7f7f3f3f3f3f0100ULL, 0x3fbf3f3f3f3f0100ULL, 0x7070f0f0f0f0100ULL, 0x3070f0f0f0f0100ULL, 0x7070f0f0f0f0100ULL, 0xf0f0f0f0f0f0100ULL, 0x1f1f1f1f1f1f0100ULL, 0x3f3f3f3f3f3f0100ULL, 0x7f3f3f3f3f3f0100ULL, 0xbf3f3f3f3f3f0100ULL, 0x7070707070201ULL, 0x7070707070202ULL, 0xf0f0f0f0f0204ULL, 0xf0f0f0f0f0208ULL, 0x1f1f1f1f1f0210ULL, 0x3f3f3f3f3f0220ULL, 0x1f7f7f7f7f7f0240ULL, 0x3f7f7f7f7f7f0280ULL, 0x30003030300ULL, 0xffffffffffffffffULL, 0x60006060600ULL, 0xe020e0e0a00ULL, 0x1f071f1f1200ULL, 0xf3f0f3f3f2200ULL, 0x1f1f7f1f7f7f4200ULL, 0x3f3f7f3f7f7f8200ULL, 0x103030200ULL, 0x202020200ULL, 0x406060200ULL, 0xa0e0e0200ULL, 0x7171f1f0200ULL, 0xf0f2f3f3f0200ULL, 0x1f1f1f5f7f7f0200ULL, 0x3f3f3f3f7fff0200ULL, 0x1020200ULL, 0x2020200ULL, 0x4020200ULL, 0x20e060200ULL, 0x7071f070200ULL, 0xf0f0f3f0f0200ULL, 0x1f1f1f1f7f1f0200ULL, 0x3f3f3f3fff3f0200ULL, 0x102020200ULL, 0x202020200ULL, 0x402020200ULL, 0xe06070200ULL, 0x71f0f070200ULL, 0xf0f3f1f0f0200ULL, 0x1f1f1f7f3f1f0200ULL, 0x3f3f3fff7f3f0200ULL, 0x10307070200ULL, 0x20207070200ULL, 0x40607070200ULL, 0xe0e0f070200ULL, 0x1f1f1f070200ULL, 0xf3f3f3f0f0200ULL, 0x1f1f7f7f7f1f0200ULL, 0x3f3fff7f7f3f0200ULL, 0x1030f0f0f0200ULL, 0x2020f0f0f0200ULL, 0x4060f0f0f0200ULL, 0xe0e0f0f0f0200ULL, 0x1f1f1f1f1f0200ULL, 0x3f3f3f3f3f0200ULL, 0x1f7f7f7f7f7f0200ULL, 0x3fff7f7f7f7f0200ULL, 0x1031f1f1f1f0200ULL, 0x2021f1f1f1f0200ULL, 0x4061f1f1f1f0200ULL, 0xe0e1f1f1f1f0200ULL, 0x1f1f1f1f1f1f0200ULL, 0x3f3f3f3f3f3f0200ULL, 0x7f7f7f7f7f7f0200ULL, 0xff7f7f7f7f7f0200ULL, 0xf0f0f0f0f0401ULL, 0xf0f0f0f0f0402ULL, 0xe0e0e0e0e0404ULL, 0x1e1e1e1e1e0408ULL, 0x1e1e1e1e1e0410ULL, 0x3e3e3e3e3e0420ULL, 0x7f7f7f7f7f0440ULL, 0x3fffffffffff0480ULL, 0x70407070500ULL, 0x60006060600ULL, 0xffffffffffffffffULL, 0xc000c0c0c00ULL, 0x1c041c1c1400ULL, 0x3e0e3e3e2400ULL, 0x1f7f1f7f7f4400ULL, 0x3f3fff3fffff8400ULL, 0x507070400ULL, 0x206060400ULL, 0x404040400ULL, 0x80c0c0400ULL, 0x141c1c0400ULL, 0xe2e3e3e0400ULL, 0x1f1f5f7f7f0400ULL, 0x3f3f3fbfffff0400ULL, 0x407060400ULL, 0x2040400ULL, 0x4040400ULL, 0x8040400ULL, 0x41c0c0400ULL, 0xe0e3e0e0400ULL, 0x1f1f1f7f1f0400ULL, 0x3f3f3f3fff3f0400ULL, 0x7060e0400ULL, 0x204040400ULL, 0x404040400ULL, 0x804040400ULL, 0x1c0c0e0400ULL, 0xe3e1e0e0400ULL, 0x1f1f7f3f1f0400ULL, 0x3f3f3fff7f3f0400ULL, 0x7070f0e0400ULL, 0x2060e0e0400ULL, 0x4040e0e0400ULL, 0x80c0e0e0400ULL, 0x1c1c1e0e0400ULL, 0x3e3e3e0e0400ULL, 0x1f7f7f7f1f0400ULL, 0x3f3fffffff3f0400ULL, 0x7071f1f1f0400ULL, 0x2061f1f1f0400ULL, 0x4041f1f1f0400ULL, 0x80c1f1f1f0400ULL, 0x1c1c1f1f1f0400ULL, 0x3e3e3f3f3f0400ULL, 0x7f7f7f7f7f0400ULL, 0x3fffffffffff0400ULL, 0x7073f3f3f3f0400ULL, 0x2063f3f3f3f0400ULL, 0x4043f3f3f3f0400ULL, 0x80c3f3f3f3f0400ULL, 0x1c1c3f3f3f3f0400ULL, 0x3e3e3f3f3f3f0400ULL, 0x7f7f7f7f7f7f0400ULL, 0xffffffffffff0400ULL, 0x1f1f1f1f1f0801ULL, 0x1e1e1e1e1e0802ULL, 0x1e1e1e1e1e0804ULL, 0x1c1c1c1c1c0808ULL, 0x3c3c3c3c3c0810ULL, 0x3c3c3c3c3c0820ULL, 0x7c7c7c7c7c0840ULL, 0xfefefefefe0880ULL, 0x1f1c1f1f0900ULL, 0xe080e0e0a00ULL, 0xc000c0c0c00ULL, 0xffffffffffffffffULL, 0x180018181800ULL, 0x380838382800ULL, 0x7c1c7c7c4800ULL, 0x3efe3efefe8800ULL, 0x1c1d1f1f0800ULL, 0xa0e0e0800ULL, 0x40c0c0800ULL, 0x808080800ULL, 0x1018180800ULL, 0x2838380800ULL, 0x1c5c7c7c0800ULL, 0x3e3ebefefe0800ULL, 0x1c1c1f1c0800ULL, 0x80e0c0800ULL, 0x4080800ULL, 0x8080800ULL, 0x10080800ULL, 0x838180800ULL, 0x1c1c7c1c0800ULL, 0x3e3e3efe3e0800ULL, 0x1c1f1e1c0800ULL, 0xe0c1c0800ULL, 0x408080800ULL, 0x808080800ULL, 0x1008080800ULL, 0x38181c0800ULL, 0x1c7c3c1c0800ULL, 0x3e3efe7e3e0800ULL, 0x1f1f1f1c0800ULL, 0xe0e1e1c0800ULL, 0x40c1c1c0800ULL, 0x8081c1c0800ULL, 0x10181c1c0800ULL, 0x38383c1c0800ULL, 0x7c7c7c1c0800ULL, 0x3efefefe3e0800ULL, 0x1f1f3f3f3f0800ULL, 0xe0e3e3e3e0800ULL, 0x40c3e3e3e0800ULL, 0x8083e3e3e0800ULL, 0x10183e3e3e0800ULL, 0x38383e3e3e0800ULL, 0x7c7c7e7e7e0800ULL, 0xfefefefefe0800ULL, 0x1f1f7f7f7f7f0800ULL, 0xe0e7f7f7f7f0800ULL, 0x40c7f7f7f7f0800ULL, 0x8087f7f7f7f0800ULL, 0x10187f7f7f7f0800ULL, 0x38387f7f7f7f0800ULL, 0x7c7c7f7f7f7f0800ULL, 0xfefeffffffff0800ULL, 0x3f3f3f3f3f3f0001ULL, 0x3f3f3f3f3f3f0002ULL, 0x3f3f3f3f3f3f0004ULL, 0x3f3f3f3f3f3f0008ULL, 0x3f3f3f3f3f3f0010ULL, 0x3f3f3f3f3f3f0020ULL, 0x3f3f3f3f3f3f0040ULL, 0x3f3f3f3f3f3f0080ULL, 0x3f3f3f3f3f070100ULL, 0x3f3f3f3f3f070300ULL, 0x3f3f3f3f3f070400ULL, 0x3f3f3f3f3f0f0800ULL, 0x3f3f3f3f3f1f1000ULL, 0x3f3f3f3f3f3f2000ULL, 0x3f3f3f3f3f3f4000ULL, 0x3f3f3f3f3f3f8000ULL, 0xffffffffffffffffULL, 0x3f3f3f3f07030000ULL, 0x3f3f3f3f07070000ULL, 0x3f3f3f3f0f0f0000ULL, 0x3f3f3f3f1f1f0000ULL, 0x3f3f3f3f3f3f0000ULL, 0x3f3f3f3f3f7f0000ULL, 0x3f3f3f3f3fbf0000ULL, 0x1f1f1f0707030000ULL, 0x1f1f1f0703010000ULL, 0x1f1f1f0707030000ULL, 0x1f1f1f0f0f070000ULL, 0x1f1f1f1f1f0f0000ULL, 0x3f3f3f3f3f1f0000ULL, 0x3f3f3f3f7f3f0000ULL, 0x3f3f3f3fbf3f0000ULL, 0xf0f070707010000ULL, 0xf0f070301010000ULL, 0xf0f070703030000ULL, 0xf0f0f0f07070000ULL, 0x1f1f1f1f0f0f0000ULL, 0x3f3f3f3f1f1f0000ULL, 0x3f3f3f7f3f3f0000ULL, 0x3f3f3fbf3f3f0000ULL, 0x707070707030000ULL, 0x707030303030000ULL, 0x707070707030000ULL, 0xf0f0f0f0f070000ULL, 0x1f1f1f1f1f0f0000ULL, 0x3f3f3f3f3f1f0000ULL, 0x3f3f7f3f3f3f0000ULL, 0x3f3fbf3f3f3f0000ULL, 0x707070707070000ULL, 0x303030707070000ULL, 0x707070707070000ULL, 0xf0f0f0f0f0f0000ULL, 0x1f1f1f1f1f1f0000ULL, 0x3f3f3f3f3f3f0000ULL, 0x7f7f3f3f3f3f0000ULL, 0x3fbf3f3f3f3f0000ULL, 0x7070f0f0f0f0000ULL, 0x3070f0f0f0f0000ULL, 0x7070f0f0f0f0000ULL, 0xf0f0f0f0f0f0000ULL, 0x1f1f1f1f1f1f0000ULL, 0x3f3f3f3f3f3f0000ULL, 0x7f3f3f3f3f3f0000ULL, 0xbf3f3f3f3f3f0000ULL, 0xf0f0f0f0f070001ULL, 0xf0f0f0f0f070002ULL, 0xf0f0f0f0f070004ULL, 0x1f1f1f1f1f1f0008ULL, 0x1f1f1f1f1f1f0010ULL, 0x3f3f3f3f3f3f0020ULL, 0x7f7f7f7f7f7f0040ULL, 0x7f7f7f7f7f7f0080ULL, 0x707070707030100ULL, 0x707070707020200ULL, 0xf0f0f0f0f060400ULL, 0xf0f0f0f0f0e0800ULL, 0x1f1f1f1f1f1f1000ULL, 0x3f3f3f3f3f3f2000ULL, 0x7f7f7f7f7f7f4000ULL, 0x7f7f7f7f7f7f8000ULL, 0x3000303030000ULL, 0xffffffffffffffffULL, 0x6000606060000ULL, 0xe020e0e0e0000ULL, 0x1f071f1f1f0000ULL, 0xf3f0f3f3f3f0000ULL, 0x1f7f1f7f7f7f0000ULL, 0x3f7f3f7f7fff0000ULL, 0x10303020000ULL, 0x20202020000ULL, 0x40606020000ULL, 0xa0e0e060000ULL, 0x7171f1f0f0000ULL, 0xf0f2f3f3f1f0000ULL, 0x1f1f5f7f7f3f0000ULL, 0x3f3f3f7fff7f0000ULL, 0x102020000ULL, 0x202020000ULL, 0x402020000ULL, 0x20e06060000ULL, 0x7071f0f0f0000ULL, 0xf0f0f3f1f1f0000ULL, 0x1f1f1f7f3f3f0000ULL, 0x3f3f3fff7f7f0000ULL, 0x10307070000ULL, 0x20207070000ULL, 0x40607070000ULL, 0xe0e0f070000ULL, 0x71f1f1f0f0000ULL, 0xf0f3f3f3f1f0000ULL, 0x1f1f7f7f7f3f0000ULL, 0x3f3fff7f7f7f0000ULL, 0x103070f0f0000ULL, 0x202070f0f0000ULL, 0x406070f0f0000ULL, 0xe0e0f0f0f0000ULL, 0x1f1f1f1f1f0000ULL, 0xf3f3f3f3f3f0000ULL, 0x1f7f7f7f7f7f0000ULL, 0x3fff7f7f7f7f0000ULL, 0x1030f1f1f1f0000ULL, 0x2020f1f1f1f0000ULL, 0x4060f1f1f1f0000ULL, 0xe0e0f1f1f1f0000ULL, 0x1f1f1f1f1f1f0000ULL, 0x3f3f3f3f3f3f0000ULL, 0x7f7f7f7f7f7f0000ULL, 0xff7f7f7f7f7f0000ULL, 0x1f1f1f1f1f0f0001ULL, 0x1f1f1f1f1f0e0002ULL, 0x1f1f1f1f1f0e0004ULL, 0x1f1f1f1f1f0e0008ULL, 0x3f3f3f3f3f3e0010ULL, 0x3f3f3f3f3f3e0020ULL, 0x7f7f7f7f7f7f0040ULL, 0xffffffffffff0080ULL, 0xf0f0f0f0f070100ULL, 0xf0f0f0f0f060200ULL, 0xe0e0e0e0e040400ULL, 0x1e1e1e1e1e0c0800ULL, 0x1e1e1e1e1e1c1000ULL, 0x3e3e3e3e3e3e2000ULL, 0x7f7f7f7f7f7f4000ULL, 0xffffffffffff8000ULL, 0x7040707070000ULL, 0x6000606060000ULL, 0xffffffffffffffffULL, 0xc000c0c0c0000ULL, 0x1c041c1c1c0000ULL, 0x3e0e3e3e3e0000ULL, 0x1f7f1f7f7f7f0000ULL, 0x3fff3fffffff0000ULL, 0x50707060000ULL, 0x20606040000ULL, 0x40404040000ULL, 0x80c0c040000ULL, 0x141c1c0c0000ULL, 0xe2e3e3e1e0000ULL, 0x1f1f5f7f7f3f0000ULL, 0x3f3fbfffff7f0000ULL, 0x40706060000ULL, 0x204040000ULL, 0x404040000ULL, 0x804040000ULL, 0x41c0c0c0000ULL, 0xe0e3e1e1e0000ULL, 0x1f1f1f7f3f3f0000ULL, 0x3f3f3fff7f7f0000ULL, 0x7070f0e0000ULL, 0x2060e0e0000ULL, 0x4040e0e0000ULL, 0x80c0e0e0000ULL, 0x1c1c1e0e0000ULL, 0xe3e3e3e1e0000ULL, 0x1f1f7f7f7f3f0000ULL, 0x3f3fffffff7f0000ULL, 0x7070f1f1f0000ULL, 0x2060e1f1f0000ULL, 0x4040e1f1f0000ULL, 0x80c0e1f1f0000ULL, 0x1c1c1e1f1f0000ULL, 0x3e3e3e3f3f0000ULL, 0x1f7f7f7f7f7f0000ULL, 0x3fffffffffff0000ULL, 0x7071f3f3f3f0000ULL, 0x2061f3f3f3f0000ULL, 0x4041f3f3f3f0000ULL, 0x80c1f3f3f3f0000ULL, 0x1c1c1f3f3f3f0000ULL, 0x3e3e3f3f3f3f0000ULL, 0x7f7f7f7f7f7f0000ULL, 0xffffffffffff0000ULL, 0x3f3f3f3f3f1f0001ULL, 0x3f3f3f3f3f1f0002ULL, 0x3e3e3e3e3e1c0004ULL, 0x3e3e3e3e3e1c0008ULL, 0x3e3e3e3e3e1c0010ULL, 0x7e7e7e7e7e7c0020ULL, 0x7e7e7e7e7e7c0040ULL, 0xfefefefefefe0080ULL, 0x1f1f1f1f1f1f0100ULL, 0x1e1e1e1e1e0e0200ULL, 0x1e1e1e1e1e0c0400ULL, 0x1c1c1c1c1c080800ULL, 0x3c3c3c3c3c181000ULL, 0x3c3c3c3c3c382000ULL, 0x7c7c7c7c7c7c4000ULL, 0xfefefefefefe8000ULL, 0x1f1c1f1f1f0000ULL, 0xe080e0e0e0000ULL, 0xc000c0c0c0000ULL, 0xffffffffffffffffULL, 0x18001818180000ULL, 0x38083838380000ULL, 0x7c1c7c7c7c0000ULL, 0x3efe3efefefe0000ULL, 0x1c1d1f1f1e0000ULL, 0xa0e0e0c0000ULL, 0x40c0c080000ULL, 0x80808080000ULL, 0x101818080000ULL, 0x283838180000ULL, 0x1c5c7c7c3c0000ULL, 0x3e3ebefefe7e0000ULL, 0x1c1c1f1e1e0000ULL, 0x80e0c0c0000ULL, 0x408080000ULL, 0x808080000ULL, 0x1008080000ULL, 0x83818180000ULL, 0x1c1c7c3c3c0000ULL, 0x3e3e3efe7e7e0000ULL, 0x1c1f1f1f1e0000ULL, 0xe0e1e1c0000ULL, 0x40c1c1c0000ULL, 0x8081c1c0000ULL, 0x10181c1c0000ULL, 0x38383c1c0000ULL, 0x1c7c7c7c3c0000ULL, 0x3e3efefefe7e0000ULL, 0x1f1f1f3f3f0000ULL, 0xe0e1e3e3e0000ULL, 0x40c1c3e3e0000ULL, 0x8081c3e3e0000ULL, 0x10181c3e3e0000ULL, 0x38383c3e3e0000ULL, 0x7c7c7c7e7e0000ULL, 0x3efefefefefe0000ULL, 0x1f1f3f7f7f7f0000ULL, 0xe0e3e7f7f7f0000ULL, 0x40c3e7f7f7f0000ULL, 0x8083e7f7f7f0000ULL, 0x10183e7f7f7f0000ULL, 0x38383e7f7f7f0000ULL, 0x7c7c7e7f7f7f0000ULL, 0xfefefeffffff0000ULL, 0x1f1f1f1f1f000001ULL, 0x1f1f1f1f1f000002ULL, 0x1f1f1f1f1f000004ULL, 0x1f1f1f1f1f000008ULL, 0x1f1f1f1f1f000010ULL, 0x1f1f1f1f1f000020ULL, 0x1f1f1f1f1f000040ULL, 0x1f1f1f1f1f000080ULL, 0x1f1f1f1f1f000100ULL, 0x1f1f1f1f1f000200ULL, 0x1f1f1f1f1f000400ULL, 0x1f1f1f1f1f000800ULL, 0x1f1f1f1f1f001000ULL, 0x1f1f1f1f1f002000ULL, 0x1f1f1f1f1f004000ULL, 0x1f1f1f1f1f008000ULL, 0x1f1f1f1f07010000ULL, 0x1f1f1f1f07030000ULL, 0x1f1f1f1f07040000ULL, 0x1f1f1f1f0f080000ULL, 0x1f1f1f1f1f100000ULL, 0x1f1f1f1f1f200000ULL, 0x1f1f1f1f1f400000ULL, 0x1f1f1f1f1f800000ULL, 0xffffffffffffffffULL, 0x1f1f1f0703000000ULL, 0x1f1f1f0707000000ULL, 0x1f1f1f0f0f000000ULL, 0x1f1f1f1f1f000000ULL, 0x1f1f1f1f3f000000ULL, 0x1f1f1f1f5f000000ULL, 0x1f1f1f1f9f000000ULL, 0xf0f070703000000ULL, 0xf0f070301000000ULL, 0xf0f070703000000ULL, 0xf0f0f0f07000000ULL, 0x1f1f1f1f0f000000ULL, 0x1f1f1f3f1f000000ULL, 0x1f1f1f5f1f000000ULL, 0x1f1f1f9f1f000000ULL, 0x707070701000000ULL, 0x707030101000000ULL, 0x707070303000000ULL, 0xf0f0f0707000000ULL, 0x1f1f1f0f0f000000ULL, 0x1f1f3f1f1f000000ULL, 0x1f1f5f1f1f000000ULL, 0x1f1f9f1f1f000000ULL, 0x707070703000000ULL, 0x303030303000000ULL, 0x707070703000000ULL, 0xf0f0f0f07000000ULL, 0x1f1f1f1f0f000000ULL, 0x3f3f1f1f1f000000ULL, 0x1f5f1f1f1f000000ULL, 0x1f9f1f1f1f000000ULL, 0x707070707000000ULL, 0x303070707000000ULL, 0x707070707000000ULL, 0xf0f0f0f0f000000ULL, 0x1f1f1f1f1f000000ULL, 0x3f1f1f1f1f000000ULL, 0x5f1f1f1f1f000000ULL, 0x9f1f1f1f1f000000ULL, 0x1f1f1f1f1f000001ULL, 0x1f1f1f1f1f000002ULL, 0x1f1f1f1f1f000004ULL, 0x1f1f1f1f1f000008ULL, 0x3f3f3f3f3f000010ULL, 0x3f3f3f3f3f000020ULL, 0x3f3f3f3f3f000040ULL, 0x3f3f3f3f3f000080ULL, 0xf0f0f0f07000100ULL, 0xf0f0f0f07000200ULL, 0xf0f0f0f07000400ULL, 0x1f1f1f1f1f000800ULL, 0x1f1f1f1f1f001000ULL, 0x3f3f3f3f3f002000ULL, 0x3f3f3f3f3f004000ULL, 0x3f3f3f3f3f008000ULL, 0x707070703010000ULL, 0x707070702020000ULL, 0xf0f0f0f06040000ULL, 0xf0f0f0f0e080000ULL, 0x1f1f1f1f1f100000ULL, 0x3f3f3f3f3f200000ULL, 0x3f3f3f3f3f400000ULL, 0x3f3f3f3f3f800000ULL, 0x300030303000000ULL, 0xffffffffffffffffULL, 0x600060606000000ULL, 0xe020e0e0e000000ULL, 0x1f071f1f1f000000ULL, 0x3f0f3f3f3f000000ULL, 0x3f1f3f3f7f000000ULL, 0x3f3f3f3fbf000000ULL, 0x1030302000000ULL, 0x2020202000000ULL, 0x4060602000000ULL, 0xa0e0e06000000ULL, 0x7171f1f0f000000ULL, 0xf2f3f3f1f000000ULL, 0x1f1f3f7f3f000000ULL, 0x3f3f3fbf3f000000ULL, 0x10202000000ULL, 0x20202000000ULL, 0x40202000000ULL, 0x20e0606000000ULL, 0x7071f0f0f000000ULL, 0xf0f3f1f1f000000ULL, 0x1f1f7f3f3f000000ULL, 0x3f3fbf3f3f000000ULL, 0x1030707000000ULL, 0x2020707000000ULL, 0x4060707000000ULL, 0xe0e0f07000000ULL, 0x71f1f1f0f000000ULL, 0xf3f3f3f1f000000ULL, 0x1f7f3f3f3f000000ULL, 0x3fbf3f3f3f000000ULL, 0x103070f0f000000ULL, 0x202070f0f000000ULL, 0x406070f0f000000ULL, 0xe0e0f0f0f000000ULL, 0x1f1f1f1f1f000000ULL, 0x3f3f3f3f3f000000ULL, 0x7f3f3f3f3f000000ULL, 0xbf3f3f3f3f000000ULL, 0x3f3f3f3f3f000001ULL, 0x3f3f3f3f3f000002ULL, 0x3f3f3f3f3f000004ULL, 0x3f3f3f3f3f000008ULL, 0x3f3f3f3f3f000010ULL, 0x7f7f7f7f7f000020ULL, 0x7f7f7f7f7f000040ULL, 0x7f7f7f7f7f000080ULL, 0x1f1f1f1f0f000100ULL, 0x1f1f1f1f0e000200ULL, 0x1f1f1f1f0e000400ULL, 0x1f1f1f1f0e000800ULL, 0x3f3f3f3f3e001000ULL, 0x3f3f3f3f3e002000ULL, 0x7f7f7f7f7f004000ULL, 0x7f7f7f7f7f008000ULL, 0xf0f0f0f07010000ULL, 0xf0f0f0f06020000ULL, 0xe0e0e0e04040000ULL, 0x1e1e1e1e0c080000ULL, 0x1e1e1e1e1c100000ULL, 0x3e3e3e3e3e200000ULL, 0x7f7f7f7f7f400000ULL, 0x7f7f7f7f7f800000ULL, 0x704070707000000ULL, 0x600060606000000ULL, 0xffffffffffffffffULL, 0xc000c0c0c000000ULL, 0x1c041c1c1c000000ULL, 0x3e0e3e3e3e000000ULL, 0x7f1f7f7f7f000000ULL, 0x7f3f7f7fff000000ULL, 0x5070706000000ULL, 0x2060604000000ULL, 0x4040404000000ULL, 0x80c0c04000000ULL, 0x141c1c0c000000ULL, 0xe2e3e3e1e000000ULL, 0x1f5f7f7f3f000000ULL, 0x3f3f7fff7f000000ULL, 0x4070606000000ULL, 0x20404000000ULL, 0x40404000000ULL, 0x80404000000ULL, 0x41c0c0c000000ULL, 0xe0e3e1e1e000000ULL, 0x1f1f7f3f3f000000ULL, 0x3f3fff7f7f000000ULL, 0x7070f0e000000ULL, 0x2060e0e000000ULL, 0x4040e0e000000ULL, 0x80c0e0e000000ULL, 0x1c1c1e0e000000ULL, 0xe3e3e3e1e000000ULL, 0x1f7f7f7f3f000000ULL, 0x3fff7f7f7f000000ULL, 0x7070f1f1f000000ULL, 0x2060e1f1f000000ULL, 0x4040e1f1f000000ULL, 0x80c0e1f1f000000ULL, 0x1c1c1e1f1f000000ULL, 0x3e3e3e3f3f000000ULL, 0x7f7f7f7f7f000000ULL, 0xff7f7f7f7f000000ULL, 0x7f7f7f7f7f000001ULL, 0x7f7f7f7f7f000002ULL, 0x7f7f7f7f7f000004ULL, 0x7f7f7f7f7f000008ULL, 0x7f7f7f7f7f000010ULL, 0x7f7f7f7f7f000020ULL, 0xffffffffff000040ULL, 0xffffffffff000080ULL, 0x3f3f3f3f1f000100ULL, 0x3f3f3f3f1f000200ULL, 0x3e3e3e3e1c000400ULL, 0x3e3e3e3e1c000800ULL, 0x3e3e3e3e1c001000ULL, 0x7e7e7e7e7c002000ULL, 0x7e7e7e7e7c004000ULL, 0xfefefefefe008000ULL, 0x1f1f1f1f1f010000ULL, 0x1e1e1e1e0e020000ULL, 0x1e1e1e1e0c040000ULL, 0x1c1c1c1c08080000ULL, 0x3c3c3c3c18100000ULL, 0x3c3c3c3c38200000ULL, 0x7c7c7c7c7c400000ULL, 0xfefefefefe800000ULL, 0x1f1c1f1f1f000000ULL, 0xe080e0e0e000000ULL, 0xc000c0c0c000000ULL, 0xffffffffffffffffULL, 0x1800181818000000ULL, 0x3808383838000000ULL, 0x7c1c7c7c7c000000ULL, 0xfe3efefefe000000ULL, 0x1c1d1f1f1e000000ULL, 0xa0e0e0c000000ULL, 0x40c0c08000000ULL, 0x8080808000000ULL, 0x10181808000000ULL, 0x28383818000000ULL, 0x1c5c7c7c3c000000ULL, 0x3ebefefe7e000000ULL, 0x1c1c1f1e1e000000ULL, 0x80e0c0c000000ULL, 0x40808000000ULL, 0x80808000000ULL, 0x100808000000ULL, 0x8381818000000ULL, 0x1c1c7c3c3c000000ULL, 0x3e3efe7e7e000000ULL, 0x1c1f1f1f1e000000ULL, 0xe0e1e1c000000ULL, 0x40c1c1c000000ULL, 0x8081c1c000000ULL, 0x10181c1c000000ULL, 0x38383c1c000000ULL, 0x1c7c7c7c3c000000ULL, 0x3efefefe7e000000ULL, 0x1f1f1f3f3f000000ULL, 0xe0e1e3e3e000000ULL, 0x40c1c3e3e000000ULL, 0x8081c3e3e000000ULL, 0x10181c3e3e000000ULL, 0x38383c3e3e000000ULL, 0x7c7c7c7e7e000000ULL, 0xfefefefefe000000ULL, 0xf0f0f0f00000001ULL, 0xf0f0f0f00000002ULL, 0xf0f0f0f00000004ULL, 0xf0f0f0f00000008ULL, 0xf0f0f0f00000010ULL, 0xf0f0f0f00000020ULL, 0xf0f0f0f00000040ULL, 0xf0f0f0f00000080ULL, 0xf0f0f0f00000100ULL, 0xf0f0f0f00000200ULL, 0xf0f0f0f00000400ULL, 0xf0f0f0f00000800ULL, 0xf0f0f0f00001000ULL, 0xf0f0f0f00002000ULL, 0xf0f0f0f00004000ULL, 0xf0f0f0f00008000ULL, 0xf0f0f0f00010000ULL, 0xf0f0f0f00020000ULL, 0xf0f0f0f00040000ULL, 0xf0f0f0f00080000ULL, 0xf0f0f0f00100000ULL, 0xf0f0f0f00200000ULL, 0xf0f0f0f00400000ULL, 0xf0f0f0f00800000ULL, 0xf0f0f0701000000ULL, 0xf0f0f0703000000ULL, 0xf0f0f0704000000ULL, 0xf0f0f0f08000000ULL, 0xf0f0f0f10000000ULL, 0xf0f0f0f20000000ULL, 0xf0f0f0f40000000ULL, 0xf0f0f0f80000000ULL, 0xffffffffffffffffULL, 0xf0f070300000000ULL, 0xf0f070700000000ULL, 0xf0f0f0f00000000ULL, 0xf0f0f1f00000000ULL, 0xf0f0f2f00000000ULL, 0xf0f0f4f00000000ULL, 0xf0f0f8f00000000ULL, 0x707070300000000ULL, 0x707030100000000ULL, 0x707070300000000ULL, 0xf0f0f0700000000ULL, 0xf0f1f0f00000000ULL, 0xf0f2f0f00000000ULL, 0xf0f4f0f00000000ULL, 0xf0f8f0f00000000ULL, 0x707070100000000ULL, 0x303010100000000ULL, 0x707030300000000ULL, 0xf0f070700000000ULL, 0x1f1f0f0f00000000ULL, 0xf2f0f0f00000000ULL, 0xf4f0f0f00000000ULL, 0xf8f0f0f00000000ULL, 0x707070300000000ULL, 0x303030300000000ULL, 0x707070300000000ULL, 0xf0f0f0700000000ULL, 0x1f0f0f0f00000000ULL, 0x2f0f0f0f00000000ULL, 0x4f0f0f0f00000000ULL, 0x8f0f0f0f00000000ULL, 0x1f1f1f1f00000001ULL, 0x1f1f1f1f00000002ULL, 0x1f1f1f1f00000004ULL, 0x1f1f1f1f00000008ULL, 0x1f1f1f1f00000010ULL, 0x1f1f1f1f00000020ULL, 0x1f1f1f1f00000040ULL, 0x1f1f1f1f00000080ULL, 0x1f1f1f1f00000100ULL, 0x1f1f1f1f00000200ULL, 0x1f1f1f1f00000400ULL, 0x1f1f1f1f00000800ULL, 0x1f1f1f1f00001000ULL, 0x1f1f1f1f00002000ULL, 0x1f1f1f1f00004000ULL, 0x1f1f1f1f00008000ULL, 0xf0f0f0700010000ULL, 0xf0f0f0700020000ULL, 0xf0f0f0700040000ULL, 0x1f1f1f1f00080000ULL, 0x1f1f1f1f00100000ULL, 0x1f1f1f1f00200000ULL, 0x1f1f1f1f00400000ULL, 0x1f1f1f1f00800000ULL, 0x707070301000000ULL, 0x707070202000000ULL, 0xf0f0f0604000000ULL, 0xf0f0f0e08000000ULL, 0xf0f1f1f10000000ULL, 0x1f1f1f1f20000000ULL, 0x1f1f1f1f40000000ULL, 0x1f1f1f1f80000000ULL, 0x3030300000000ULL, 0xffffffffffffffffULL, 0x6060600000000ULL, 0x6060e00000000ULL, 0x70f0f1f00000000ULL, 0xf1f1f3f00000000ULL, 0x1f1f1f5f00000000ULL, 0x1f1f1f9f00000000ULL, 0x3030200000000ULL, 0x2020200000000ULL, 0x6060200000000ULL, 0x60e0600000000ULL, 0x70f1f0f00000000ULL, 0xf1f3f1f00000000ULL, 0x1f1f5f1f00000000ULL, 0x1f1f9f1f00000000ULL, 0x1020200000000ULL, 0x2020200000000ULL, 0x4020200000000ULL, 0xe060600000000ULL, 0x71f0f0f00000000ULL, 0xf3f1f1f00000000ULL, 0x1f5f1f1f00000000ULL, 0x1f9f1f1f00000000ULL, 0x103070700000000ULL, 0x202070700000000ULL, 0x406070700000000ULL, 0xe0e0f0700000000ULL, 0x1f1f1f0f00000000ULL, 0x3f1f1f1f00000000ULL, 0x5f1f1f1f00000000ULL, 0x9f1f1f1f00000000ULL, 0x3f3f3f3f00000001ULL, 0x3f3f3f3f00000002ULL, 0x3f3f3f3f00000004ULL, 0x3f3f3f3f00000008ULL, 0x3f3f3f3f00000010ULL, 0x3f3f3f3f00000020ULL, 0x3f3f3f3f00000040ULL, 0x3f3f3f3f00000080ULL, 0x3f3f3f3f00000100ULL, 0x3f3f3f3f00000200ULL, 0x3f3f3f3f00000400ULL, 0x3f3f3f3f00000800ULL, 0x3f3f3f3f00001000ULL, 0x3f3f3f3f00002000ULL, 0x3f3f3f3f00004000ULL, 0x3f3f3f3f00008000ULL, 0x1f1f1f0f00010000ULL, 0x1f1f1f0e00020000ULL, 0x1f1f1f0e00040000ULL, 0x1f1f1f0e00080000ULL, 0x3f3f3f3e00100000ULL, 0x3f3f3f3e00200000ULL, 0x3f3f3f3f00400000ULL, 0x3f3f3f3f00800000ULL, 0xf0f0f0701000000ULL, 0xf0f0f0602000000ULL, 0xe0e0e0404000000ULL, 0x1e1e1e0c08000000ULL, 0x1e1e1e1c10000000ULL, 0x1e1e3e3e20000000ULL, 0x3f3f3f3f40000000ULL, 0x3f3f3f3f80000000ULL, 0x6060700000000ULL, 0x6060600000000ULL, 0xffffffffffffffffULL, 0xc0c0c00000000ULL, 0xc0c1c00000000ULL, 0xe1e1e3e00000000ULL, 0x1f3f3f7f00000000ULL, 0x3f3f3fbf00000000ULL, 0x6070600000000ULL, 0x6060400000000ULL, 0x4040400000000ULL, 0xc0c0400000000ULL, 0xc1c0c00000000ULL, 0xe1e3e1e00000000ULL, 0x1f3f7f3f00000000ULL, 0x3f3fbf3f00000000ULL, 0x7060600000000ULL, 0x2040400000000ULL, 0x4040400000000ULL, 0x8040400000000ULL, 0x1c0c0c00000000ULL, 0xe3e1e1e00000000ULL, 0x1f7f3f3f00000000ULL, 0x3fbf3f3f00000000ULL, 0x7070f0e00000000ULL, 0x2060e0e00000000ULL, 0x4040e0e00000000ULL, 0x80c0e0e00000000ULL, 0x1c1c1e0e00000000ULL, 0x3e3e3e1e00000000ULL, 0x7f3f3f3f00000000ULL, 0xbf3f3f3f00000000ULL, 0x7f7f7f7f00000001ULL, 0x7f7f7f7f00000002ULL, 0x7f7f7f7f00000004ULL, 0x7f7f7f7f00000008ULL, 0x7f7f7f7f00000010ULL, 0x7f7f7f7f00000020ULL, 0x7f7f7f7f00000040ULL, 0x7f7f7f7f00000080ULL, 0x7f7f7f7f00000100ULL, 0x7f7f7f7f00000200ULL, 0x7f7f7f7f00000400ULL, 0x7f7f7f7f00000800ULL, 0x7f7f7f7f00001000ULL, 0x7f7f7f7f00002000ULL, 0x7f7f7f7f00004000ULL, 0x7f7f7f7f00008000ULL, 0x3f3f3f1f00010000ULL, 0x3f3f3f1f00020000ULL, 0x3e3e3e1c00040000ULL, 0x3e3e3e1c00080000ULL, 0x3e3e3e1c00100000ULL, 0x7e7e7e7c00200000ULL, 0x7e7e7e7c00400000ULL, 0x7e7e7e7e00800000ULL, 0x1e1e1f1f01000000ULL, 0x1e1e1e0e02000000ULL, 0x1e1e1e0c04000000ULL, 0x1c1c1c0808000000ULL, 0x3c3c3c1810000000ULL, 0x3c3c3c3820000000ULL, 0x3c3c7c7c40000000ULL, 0x7e7e7e7e80000000ULL, 0x1c1e1e1f00000000ULL, 0xc0c0e00000000ULL, 0xc0c0c00000000ULL, 0xffffffffffffffffULL, 0x18181800000000ULL, 0x18183800000000ULL, 0x1c3c3c7c00000000ULL, 0x3e7e7efe00000000ULL, 0x1c1e1f1e00000000ULL, 0xc0e0c00000000ULL, 0xc0c0800000000ULL, 0x8080800000000ULL, 0x18180800000000ULL, 0x18381800000000ULL, 0x1c3c7c3c00000000ULL, 0x3e7efe7e00000000ULL, 0x1c1f1e1e00000000ULL, 0xe0c0c00000000ULL, 0x4080800000000ULL, 0x8080800000000ULL, 0x10080800000000ULL, 0x38181800000000ULL, 0x1c7c3c3c00000000ULL, 0x3efe7e7e00000000ULL, 0x1f1f1f1e00000000ULL, 0xe0e1e1c00000000ULL, 0x40c1c1c00000000ULL, 0x8081c1c00000000ULL, 0x10181c1c00000000ULL, 0x38383c1c00000000ULL, 0x7c7c7c3c00000000ULL, 0xfe7e7e7e00000000ULL, 0x707070000000001ULL, 0x707070000000002ULL, 0x707070000000004ULL, 0x707070000000008ULL, 0x707070000000010ULL, 0x707070000000020ULL, 0x707070000000040ULL, 0x707070000000080ULL, 0x707070000000100ULL, 0x707070000000200ULL, 0x707070000000400ULL, 0x707070000000800ULL, 0x707070000001000ULL, 0x707070000002000ULL, 0x707070000004000ULL, 0x707070000008000ULL, 0x707070000010000ULL, 0x707070000020000ULL, 0x707070000040000ULL, 0x707070000080000ULL, 0x707070000100000ULL, 0x707070000200000ULL, 0x707070000400000ULL, 0x707070000800000ULL, 0x707070001000000ULL, 0x707070002000000ULL, 0x707070004000000ULL, 0x707070008000000ULL, 0x707070010000000ULL, 0x707070020000000ULL, 0x707070040000000ULL, 0x707070080000000ULL, 0x707070100000000ULL, 0x707070300000000ULL, 0x707070400000000ULL, 0x707070800000000ULL, 0x707071000000000ULL, 0x707072000000000ULL, 0x707074000000000ULL, 0x707078000000000ULL, 0xffffffffffffffffULL, 0x303030000000000ULL, 0x303070000000000ULL, 0x7070f0000000000ULL, 0x707170000000000ULL, 0x707270000000000ULL, 0x707470000000000ULL, 0x707870000000000ULL, 0x707030000000000ULL, 0x303010000000000ULL, 0x707030000000000ULL, 0x70f070000000000ULL, 0x717070000000000ULL, 0x727070000000000ULL, 0x747070000000000ULL, 0x787070000000000ULL, 0x707030000000000ULL, 0x301010000000000ULL, 0x703030000000000ULL, 0xf07070000000000ULL, 0x1707070000000000ULL, 0x2707070000000000ULL, 0x4707070000000000ULL, 0x8707070000000000ULL, 0xf0f0f0000000001ULL, 0xf0f0f0000000002ULL, 0xf0f0f0000000004ULL, 0xf0f0f0000000008ULL, 0xf0f0f0000000010ULL, 0xf0f0f0000000020ULL, 0xf0f0f0000000040ULL, 0xf0f0f0000000080ULL, 0xf0f0f0000000100ULL, 0xf0f0f0000000200ULL, 0xf0f0f0000000400ULL, 0xf0f0f0000000800ULL, 0xf0f0f0000001000ULL, 0xf0f0f0000002000ULL, 0xf0f0f0000004000ULL, 0xf0f0f0000008000ULL, 0xf0f0f0000010000ULL, 0xf0f0f0000020000ULL, 0xf0f0f0000040000ULL, 0xf0f0f0000080000ULL, 0xf0f0f0000100000ULL, 0xf0f0f0000200000ULL, 0xf0f0f0000400000ULL, 0xf0f0f0000800000ULL, 0x707070001000000ULL, 0x707070002000000ULL, 0x707070004000000ULL, 0x7070f0008000000ULL, 0x7070f0010000000ULL, 0xf0f0f0020000000ULL, 0xf0f0f0040000000ULL, 0xf0f0f0080000000ULL, 0x203030100000000ULL, 0x203020200000000ULL, 0x207060400000000ULL, 0x2070e0800000000ULL, 0x7070f1000000000ULL, 0xf0f0f2000000000ULL, 0xf0f0f4000000000ULL, 0xf0f0f8000000000ULL, 0x103030000000000ULL, 0xffffffffffffffffULL, 0x506060000000000ULL, 0x2060e0000000000ULL, 0x7071f0000000000ULL, 0xf0f2f0000000000ULL, 0xf0f4f0000000000ULL, 0xf0f8f0000000000ULL, 0x3020000000000ULL, 0x202020000000000ULL, 0x6020000000000ULL, 0x20e060000000000ULL, 0x71f0f0000000000ULL, 0xf2f0f0000000000ULL, 0xf4f0f0000000000ULL, 0xf8f0f0000000000ULL, 0x102020000000000ULL, 0x302020000000000ULL, 0x402020000000000ULL, 0xf06060000000000ULL, 0x1f0f0f0000000000ULL, 0x2f0f0f0000000000ULL, 0x4f0f0f0000000000ULL, 0x8f0f0f0000000000ULL, 0x1f1f1f0000000001ULL, 0x1f1f1f0000000002ULL, 0x1f1f1f0000000004ULL, 0x1f1f1f0000000008ULL, 0x1f1f1f0000000010ULL, 0x1f1f1f0000000020ULL, 0x1f1f1f0000000040ULL, 0x1f1f1f0000000080ULL, 0x1f1f1f0000000100ULL, 0x1f1f1f0000000200ULL, 0x1f1f1f0000000400ULL, 0x1f1f1f0000000800ULL, 0x1f1f1f0000001000ULL, 0x1f1f1f0000002000ULL, 0x1f1f1f0000004000ULL, 0x1f1f1f0000008000ULL, 0x1f1f1f0000010000ULL, 0x1f1f1f0000020000ULL, 0x1f1f1f0000040000ULL, 0x1f1f1f0000080000ULL, 0x1f1f1f0000100000ULL, 0x1f1f1f0000200000ULL, 0x1f1f1f0000400000ULL, 0x1f1f1f0000800000ULL, 0xe0e0f0001000000ULL, 0xe0e0e0002000000ULL, 0xe0e0e0004000000ULL, 0xe0e0e0008000000ULL, 0xe0e1e0010000000ULL, 0xe0e1e0020000000ULL, 0x1f1f1f0040000000ULL, 0x1f1f1f0080000000ULL, 0x406070100000000ULL, 0x406060200000000ULL, 0x404040400000000ULL, 0x40c0c0800000000ULL, 0x40c1c1000000000ULL, 0xe0e1e2000000000ULL, 0x1f1f1f4000000000ULL, 0x1f1f1f8000000000ULL, 0x406070000000000ULL, 0x206060000000000ULL, 0xffffffffffffffffULL, 0x80c0c0000000000ULL, 0x40c1c0000000000ULL, 0xe0e3e0000000000ULL, 0x1f1f5f0000000000ULL, 0x1f1f9f0000000000ULL, 0x407060000000000ULL, 0x6040000000000ULL, 0x404040000000000ULL, 0xc040000000000ULL, 0x41c0c0000000000ULL, 0xe3e1e0000000000ULL, 0x1f5f1f0000000000ULL, 0x1f9f1f0000000000ULL, 0x706060000000000ULL, 0x204040000000000ULL, 0x404040000000000ULL, 0x804040000000000ULL, 0x1c0c0c0000000000ULL, 0x3e1e1e0000000000ULL, 0x5f1f1f0000000000ULL, 0x9f1f1f0000000000ULL, 0x3e3e3e0000000001ULL, 0x3e3e3e0000000002ULL, 0x3e3e3e0000000004ULL, 0x3e3e3e0000000008ULL, 0x3e3e3e0000000010ULL, 0x3e3e3e0000000020ULL, 0x3e3e3e0000000040ULL, 0x3e3e3e0000000080ULL, 0x3e3e3e0000000100ULL, 0x3e3e3e0000000200ULL, 0x3e3e3e0000000400ULL, 0x3e3e3e0000000800ULL, 0x3e3e3e0000001000ULL, 0x3e3e3e0000002000ULL, 0x3e3e3e0000004000ULL, 0x3e3e3e0000008000ULL, 0x3e3e3e0000010000ULL, 0x3e3e3e0000020000ULL, 0x3e3e3e0000040000ULL, 0x3e3e3e0000080000ULL, 0x3e3e3e0000100000ULL, 0x3e3e3e0000200000ULL, 0x3e3e3e0000400000ULL, 0x3e3e3e0000800000ULL, 0x1c1c1e0001000000ULL, 0x1c1c1e0002000000ULL, 0x1c1c1c0004000000ULL, 0x1c1c1c0008000000ULL, 0x1c1c1c0010000000ULL, 0x1c1c3c0020000000ULL, 0x1c1c3c0040000000ULL, 0x3e3e3e0080000000ULL, 0x1c1c1e0100000000ULL, 0x80c0e0200000000ULL, 0x80c0c0400000000ULL, 0x808080800000000ULL, 0x818181000000000ULL, 0x818382000000000ULL, 0x1c1c3c4000000000ULL, 0x3e3e3e8000000000ULL, 0x1c1c1f0000000000ULL, 0x80c0e0000000000ULL, 0x40c0c0000000000ULL, 0xffffffffffffffffULL, 0x1018180000000000ULL, 0x818380000000000ULL, 0x1c1c7c0000000000ULL, 0x3e3ebe0000000000ULL, 0x1c1f1e0000000000ULL, 0x80e0c0000000000ULL, 0xc080000000000ULL, 0x808080000000000ULL, 0x18080000000000ULL, 0x838180000000000ULL, 0x1c7c3c0000000000ULL, 0x3ebe3e0000000000ULL, 0x1f1e1e0000000000ULL, 0xe0c0c0000000000ULL, 0x408080000000000ULL, 0x808080000000000ULL, 0x1008080000000000ULL, 0x3818180000000000ULL, 0x7c3c3c0000000000ULL, 0xbe3e3e0000000000ULL, 0x303000000000001ULL, 0x303000000000002ULL, 0x303000000000004ULL, 0x303000000000008ULL, 0x303000000000010ULL, 0x303000000000020ULL, 0x303000000000040ULL, 0x303000000000080ULL, 0x303000000000100ULL, 0x303000000000200ULL, 0x303000000000400ULL, 0x303000000000800ULL, 0x303000000001000ULL, 0x303000000002000ULL, 0x303000000004000ULL, 0x303000000008000ULL, 0x303000000010000ULL, 0x303000000020000ULL, 0x303000000040000ULL, 0x303000000080000ULL, 0x303000000100000ULL, 0x303000000200000ULL, 0x303000000400000ULL, 0x303000000800000ULL, 0x303000001000000ULL, 0x303000002000000ULL, 0x303000004000000ULL, 0x303000008000000ULL, 0x303000010000000ULL, 0x303000020000000ULL, 0x303000040000000ULL, 0x303000080000000ULL, 0x303000100000000ULL, 0x303000200000000ULL, 0x303000400000000ULL, 0x303000800000000ULL, 0x303001000000000ULL, 0x303002000000000ULL, 0x303004000000000ULL, 0x303008000000000ULL, 0x303010000000000ULL, 0x303020000000000ULL, 0x303040000000000ULL, 0x303080000000000ULL, 0x303100000000000ULL, 0x303200000000000ULL, 0x303400000000000ULL, 0x303800000000000ULL, 0xffffffffffffffffULL, 0x103000000000000ULL, 0x307000000000000ULL, 0x30b000000000000ULL, 0x313000000000000ULL, 0x323000000000000ULL, 0x343000000000000ULL, 0x383000000000000ULL, 0x707000000000000ULL, 0x301000000000000ULL, 0x703000000000000ULL, 0xb03000000000000ULL, 0x1303000000000000ULL, 0x2303000000000000ULL, 0x4303000000000000ULL, 0x8303000000000000ULL, 0x707000000000001ULL, 0x707000000000002ULL, 0x707000000000004ULL, 0x707000000000008ULL, 0x707000000000010ULL, 0x707000000000020ULL, 0x707000000000040ULL, 0x707000000000080ULL, 0x707000000000100ULL, 0x707000000000200ULL, 0x707000000000400ULL, 0x707000000000800ULL, 0x707000000001000ULL, 0x707000000002000ULL, 0x707000000004000ULL, 0x707000000008000ULL, 0x707000000010000ULL, 0x707000000020000ULL, 0x707000000040000ULL, 0x707000000080000ULL, 0x707000000100000ULL, 0x707000000200000ULL, 0x707000000400000ULL, 0x707000000800000ULL, 0x707000001000000ULL, 0x707000002000000ULL, 0x707000004000000ULL, 0x707000008000000ULL, 0x707000010000000ULL, 0x707000020000000ULL, 0x707000040000000ULL, 0x707000080000000ULL, 0x7000100000000ULL, 0x7000200000000ULL, 0x7000400000000ULL, 0x507000800000000ULL, 0x707001000000000ULL, 0x707002000000000ULL, 0x707004000000000ULL, 0x707008000000000ULL, 0x203010000000000ULL, 0x2020000000000ULL, 0x206040000000000ULL, 0x406080000000000ULL, 0x707100000000000ULL, 0x707200000000000ULL, 0x707400000000000ULL, 0x707800000000000ULL, 0x3000000000000ULL, 0xffffffffffffffffULL, 0x6000000000000ULL, 0x40e000000000000ULL, 0x717000000000000ULL, 0x727000000000000ULL, 0x747000000000000ULL, 0x787000000000000ULL, 0x302000000000000ULL, 0x202000000000000ULL, 0x602000000000000ULL, 0xe06000000000000ULL, 0x1707000000000000ULL, 0x2707000000000000ULL, 0x4707000000000000ULL, 0x8707000000000000ULL, 0xe0e000000000001ULL, 0xe0e000000000002ULL, 0xe0e000000000004ULL, 0xe0e000000000008ULL, 0xe0e000000000010ULL, 0xe0e000000000020ULL, 0xe0e000000000040ULL, 0xe0e000000000080ULL, 0xe0e000000000100ULL, 0xe0e000000000200ULL, 0xe0e000000000400ULL, 0xe0e000000000800ULL, 0xe0e000000001000ULL, 0xe0e000000002000ULL, 0xe0e000000004000ULL, 0xe0e000000008000ULL, 0xe0e000000010000ULL, 0xe0e000000020000ULL, 0xe0e000000040000ULL, 0xe0e000000080000ULL, 0xe0e000000100000ULL, 0xe0e000000200000ULL, 0xe0e000000400000ULL, 0xe0e000000800000ULL, 0xe0e000001000000ULL, 0xe0e000002000000ULL, 0xe0e000004000000ULL, 0xe0e000008000000ULL, 0xe0e000010000000ULL, 0xe0e000020000000ULL, 0xe0e000040000000ULL, 0xe0e000080000000ULL, 0xa0e000100000000ULL, 0xe000200000000ULL, 0xe000400000000ULL, 0xe000800000000ULL, 0xa0e001000000000ULL, 0xe0e002000000000ULL, 0xe0e004000000000ULL, 0xe0e008000000000ULL, 0x206010000000000ULL, 0x406020000000000ULL, 0x4040000000000ULL, 0x40c080000000000ULL, 0x80c100000000000ULL, 0xe0e200000000000ULL, 0xe0e400000000000ULL, 0xe0e800000000000ULL, 0x207000000000000ULL, 0x6000000000000ULL, 0xffffffffffffffffULL, 0xc000000000000ULL, 0x81c000000000000ULL, 0xe2e000000000000ULL, 0xe4e000000000000ULL, 0xe8e000000000000ULL, 0x706000000000000ULL, 0x604000000000000ULL, 0x404000000000000ULL, 0xc04000000000000ULL, 0x1c0c000000000000ULL, 0x2e0e000000000000ULL, 0x4e0e000000000000ULL, 0x8e0e000000000000ULL, 0x1c1c000000000001ULL, 0x1c1c000000000002ULL, 0x1c1c000000000004ULL, 0x1c1c000000000008ULL, 0x1c1c000000000010ULL, 0x1c1c000000000020ULL, 0x1c1c000000000040ULL, 0x1c1c000000000080ULL, 0x1c1c000000000100ULL, 0x1c1c000000000200ULL, 0x1c1c000000000400ULL, 0x1c1c000000000800ULL, 0x1c1c000000001000ULL, 0x1c1c000000002000ULL, 0x1c1c000000004000ULL, 0x1c1c000000008000ULL, 0x1c1c000000010000ULL, 0x1c1c000000020000ULL, 0x1c1c000000040000ULL, 0x1c1c000000080000ULL, 0x1c1c000000100000ULL, 0x1c1c000000200000ULL, 0x1c1c000000400000ULL, 0x1c1c000000800000ULL, 0x1c1c000001000000ULL, 0x1c1c000002000000ULL, 0x1c1c000004000000ULL, 0x1c1c000008000000ULL, 0x1c1c000010000000ULL, 0x1c1c000020000000ULL, 0x1c1c000040000000ULL, 0x1c1c000080000000ULL, 0x1c1c000100000000ULL, 0x141c000200000000ULL, 0x1c000400000000ULL, 0x1c000800000000ULL, 0x1c001000000000ULL, 0x141c002000000000ULL, 0x1c1c004000000000ULL, 0x1c1c008000000000ULL, 0x1c1c010000000000ULL, 0x40c020000000000ULL, 0x80c040000000000ULL, 0x8080000000000ULL, 0x818100000000000ULL, 0x1018200000000000ULL, 0x1c1c400000000000ULL, 0x1c1c800000000000ULL, 0x1c1d000000000000ULL, 0x40e000000000000ULL, 0xc000000000000ULL, 0xffffffffffffffffULL, 0x18000000000000ULL, 0x1038000000000000ULL, 0x1c5c000000000000ULL, 0x1c9c000000000000ULL, 0x1d1c000000000000ULL, 0xe0c000000000000ULL, 0xc08000000000000ULL, 0x808000000000000ULL, 0x1808000000000000ULL, 0x3818000000000000ULL, 0x5c1c000000000000ULL, 0x9c1c000000000000ULL
};
// Probe function
bool IsDraw(const int wksq, const int wpsq, const int bksq, const int wtm) {
return ((wpsq & 0x7) & 0x4) ?
kKpk[wtm * 24 * 64 + (4 * (((wpsq ^ 0x7) >> 3) - 0x1) + ((wpsq ^ 0x7) & 0x7)) * 64 + (wksq ^ 0x7)] & (0x1ULL << ((bksq ^ 0x7) & 0x3F)) :
kKpk[wtm * 24 * 64 + (4 * (((wpsq ) >> 3) - 0x1) + ((wpsq ) & 0x7)) * 64 + (wksq )] & (0x1ULL << ((bksq ) & 0x3F));
}
} // namespace eucalyptus