diff --git a/games/src/ataxx/bitboard.rs b/games/src/ataxx/bitboard.rs deleted file mode 100644 index 99fd2cb..0000000 --- a/games/src/ataxx/bitboard.rs +++ /dev/null @@ -1,153 +0,0 @@ -// Copyright © 2024 Rak Laptudirm -// -// Licensed under the Apache License, Version 2.0 (the "License"); -// you may not use this file except in compliance with the License. -// You may obtain a copy of the License at -// http://www.apache.org/licenses/LICENSE-2.0 -// -// Unless required by applicable law or agreed to in writing, software -// distributed under the License is distributed on an "AS IS" BASIS, -// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. -// See the License for the specific language governing permissions and -// limitations under the License. - -use crate::interface::bitboard_type; - -use super::Square; - -bitboard_type! { - /// A set of Squares implemented as a bitset where the `1 << sq.into()` bit - /// represents whether `sq` is in the BitBoard or not. - struct BitBoard : u64 { - // The BitBoard's Square type. - Square = Square; - - // BitBoards containing the squares of the first file and the first rank. - FirstFile = Self(0x0040810204081); - FirstRank = Self(0x000000000007f); - } -} - -use crate::interface::{BitBoardType, RepresentableType}; - -impl BitBoard { - /// singles returns the targets of all singular moves from all the source - /// squares given in the provided BitBoard. - pub fn singles(bb: BitBoard) -> BitBoard { - let bar = bb | bb.east() | bb.west(); - bar | bar.north() | bar.south() - } - - /// single returns the targets of a singular Move from the given Square. - pub const fn single(square: Square) -> BitBoard { - SINGLES[square as usize] - } - - /// double returns the targets of a jump Move from the given Square. - pub const fn double(square: Square) -> BitBoard { - DOUBLES[square as usize] - } -} - -const SINGLES: [BitBoard; Square::N] = [ - BitBoard(0x0000000000182), - BitBoard(0x0000000000385), - BitBoard(0x000000000070a), - BitBoard(0x0000000000e14), - BitBoard(0x0000000001c28), - BitBoard(0x0000000003850), - BitBoard(0x0000000003020), - BitBoard(0x000000000c103), - BitBoard(0x000000001c287), - BitBoard(0x000000003850e), - BitBoard(0x0000000070a1c), - BitBoard(0x00000000e1438), - BitBoard(0x00000001c2870), - BitBoard(0x0000000181060), - BitBoard(0x0000000608180), - BitBoard(0x0000000e14380), - BitBoard(0x0000001c28700), - BitBoard(0x0000003850e00), - BitBoard(0x00000070a1c00), - BitBoard(0x000000e143800), - BitBoard(0x000000c083000), - BitBoard(0x000003040c000), - BitBoard(0x0000070a1c000), - BitBoard(0x00000e1438000), - BitBoard(0x00001c2870000), - BitBoard(0x00003850e0000), - BitBoard(0x000070a1c0000), - BitBoard(0x0000604180000), - BitBoard(0x0001820600000), - BitBoard(0x0003850e00000), - BitBoard(0x00070a1c00000), - BitBoard(0x000e143800000), - BitBoard(0x001c287000000), - BitBoard(0x003850e000000), - BitBoard(0x003020c000000), - BitBoard(0x00c1030000000), - BitBoard(0x01c2870000000), - BitBoard(0x03850e0000000), - BitBoard(0x070a1c0000000), - BitBoard(0x0e14380000000), - BitBoard(0x1c28700000000), - BitBoard(0x1810600000000), - BitBoard(0x0081800000000), - BitBoard(0x0143800000000), - BitBoard(0x0287000000000), - BitBoard(0x050e000000000), - BitBoard(0x0a1c000000000), - BitBoard(0x1438000000000), - BitBoard(0x0830000000000), -]; -const DOUBLES: [BitBoard; Square::N] = [ - BitBoard(0x000000001c204), - BitBoard(0x000000003c408), - BitBoard(0x000000007c891), - BitBoard(0x00000000f9122), - BitBoard(0x00000001f2244), - BitBoard(0x00000001e0408), - BitBoard(0x00000001c0810), - BitBoard(0x0000000e10204), - BitBoard(0x0000001e20408), - BitBoard(0x0000003e44891), - BitBoard(0x0000007c89122), - BitBoard(0x000000f912244), - BitBoard(0x000000f020408), - BitBoard(0x000000e040810), - BitBoard(0x0000070810207), - BitBoard(0x00000f102040f), - BitBoard(0x00001f224489f), - BitBoard(0x00003e448913e), - BitBoard(0x00007c891227c), - BitBoard(0x0000781020478), - BitBoard(0x0000702040870), - BitBoard(0x0003840810380), - BitBoard(0x0007881020780), - BitBoard(0x000f912244f80), - BitBoard(0x001f224489f00), - BitBoard(0x003e448913e00), - BitBoard(0x003c081023c00), - BitBoard(0x0038102043800), - BitBoard(0x01c204081c000), - BitBoard(0x03c408103c000), - BitBoard(0x07c891227c000), - BitBoard(0x0f912244f8000), - BitBoard(0x1f224489f0000), - BitBoard(0x1e040811e0000), - BitBoard(0x1c081021c0000), - BitBoard(0x0102040e00000), - BitBoard(0x0204081e00000), - BitBoard(0x0448913e00000), - BitBoard(0x0891227c00000), - BitBoard(0x112244f800000), - BitBoard(0x020408f000000), - BitBoard(0x040810e000000), - BitBoard(0x0102070000000), - BitBoard(0x02040f0000000), - BitBoard(0x04489f0000000), - BitBoard(0x08913e0000000), - BitBoard(0x11227c0000000), - BitBoard(0x0204780000000), - BitBoard(0x0408700000000), -]; diff --git a/games/src/ataxx/mod.rs b/games/src/ataxx/mod.rs index 04b093a..e6a6af9 100644 --- a/games/src/ataxx/mod.rs +++ b/games/src/ataxx/mod.rs @@ -1,12 +1,10 @@ // Make the contents of the non-namespaced // modules public, so they can be accessed // without their parent namespace. -pub use self::bitboard::*; pub use self::position::*; pub use self::r#move::*; // Non-namespaced modules. -mod bitboard; mod r#move; mod position; @@ -14,10 +12,133 @@ mod position; mod tests; crate::interface::game_details!( - @bitboard_less Files: A, B, C, D, E, F, G; Ranks: 1 First, 2 Second, 3 Third, 4 Fourth, 5 Fifth, 6 Sixth, 7 Seventh; Pieces: Piece "x"; Block "-"; Colors: Black "x" ("x"), White "o" ("o"); ); + +use crate::interface::{BitBoardType, RepresentableType}; + +impl BitBoard { + /// singles returns the targets of all singular moves from all the source + /// squares given in the provided BitBoard. + pub fn singles(bb: BitBoard) -> BitBoard { + let bar = bb | bb.east() | bb.west(); + bar | bar.north() | bar.south() + } + + /// single returns the targets of a singular Move from the given Square. + pub const fn single(square: Square) -> BitBoard { + SINGLES[square as usize] + } + + /// double returns the targets of a jump Move from the given Square. + pub const fn double(square: Square) -> BitBoard { + DOUBLES[square as usize] + } +} + +const SINGLES: [BitBoard; Square::N] = [ + BitBoard(0x0000000000182), + BitBoard(0x0000000000385), + BitBoard(0x000000000070a), + BitBoard(0x0000000000e14), + BitBoard(0x0000000001c28), + BitBoard(0x0000000003850), + BitBoard(0x0000000003020), + BitBoard(0x000000000c103), + BitBoard(0x000000001c287), + BitBoard(0x000000003850e), + BitBoard(0x0000000070a1c), + BitBoard(0x00000000e1438), + BitBoard(0x00000001c2870), + BitBoard(0x0000000181060), + BitBoard(0x0000000608180), + BitBoard(0x0000000e14380), + BitBoard(0x0000001c28700), + BitBoard(0x0000003850e00), + BitBoard(0x00000070a1c00), + BitBoard(0x000000e143800), + BitBoard(0x000000c083000), + BitBoard(0x000003040c000), + BitBoard(0x0000070a1c000), + BitBoard(0x00000e1438000), + BitBoard(0x00001c2870000), + BitBoard(0x00003850e0000), + BitBoard(0x000070a1c0000), + BitBoard(0x0000604180000), + BitBoard(0x0001820600000), + BitBoard(0x0003850e00000), + BitBoard(0x00070a1c00000), + BitBoard(0x000e143800000), + BitBoard(0x001c287000000), + BitBoard(0x003850e000000), + BitBoard(0x003020c000000), + BitBoard(0x00c1030000000), + BitBoard(0x01c2870000000), + BitBoard(0x03850e0000000), + BitBoard(0x070a1c0000000), + BitBoard(0x0e14380000000), + BitBoard(0x1c28700000000), + BitBoard(0x1810600000000), + BitBoard(0x0081800000000), + BitBoard(0x0143800000000), + BitBoard(0x0287000000000), + BitBoard(0x050e000000000), + BitBoard(0x0a1c000000000), + BitBoard(0x1438000000000), + BitBoard(0x0830000000000), +]; +const DOUBLES: [BitBoard; Square::N] = [ + BitBoard(0x000000001c204), + BitBoard(0x000000003c408), + BitBoard(0x000000007c891), + BitBoard(0x00000000f9122), + BitBoard(0x00000001f2244), + BitBoard(0x00000001e0408), + BitBoard(0x00000001c0810), + BitBoard(0x0000000e10204), + BitBoard(0x0000001e20408), + BitBoard(0x0000003e44891), + BitBoard(0x0000007c89122), + BitBoard(0x000000f912244), + BitBoard(0x000000f020408), + BitBoard(0x000000e040810), + BitBoard(0x0000070810207), + BitBoard(0x00000f102040f), + BitBoard(0x00001f224489f), + BitBoard(0x00003e448913e), + BitBoard(0x00007c891227c), + BitBoard(0x0000781020478), + BitBoard(0x0000702040870), + BitBoard(0x0003840810380), + BitBoard(0x0007881020780), + BitBoard(0x000f912244f80), + BitBoard(0x001f224489f00), + BitBoard(0x003e448913e00), + BitBoard(0x003c081023c00), + BitBoard(0x0038102043800), + BitBoard(0x01c204081c000), + BitBoard(0x03c408103c000), + BitBoard(0x07c891227c000), + BitBoard(0x0f912244f8000), + BitBoard(0x1f224489f0000), + BitBoard(0x1e040811e0000), + BitBoard(0x1c081021c0000), + BitBoard(0x0102040e00000), + BitBoard(0x0204081e00000), + BitBoard(0x0448913e00000), + BitBoard(0x0891227c00000), + BitBoard(0x112244f800000), + BitBoard(0x020408f000000), + BitBoard(0x040810e000000), + BitBoard(0x0102070000000), + BitBoard(0x02040f0000000), + BitBoard(0x04489f0000000), + BitBoard(0x08913e0000000), + BitBoard(0x11227c0000000), + BitBoard(0x0204780000000), + BitBoard(0x0408700000000), +]; diff --git a/games/src/chess/bitboard.rs b/games/src/chess/bitboard.rs deleted file mode 100644 index 57d85a0..0000000 --- a/games/src/chess/bitboard.rs +++ /dev/null @@ -1,173 +0,0 @@ -// Copyright © 2024 Rak Laptudirm -// -// Licensed under the Apache License, Version 2.0 (the "License"); -// you may not use this file except in compliance with the License. -// You may obtain a copy of the License at -// http://www.apache.org/licenses/LICENSE-2.0 -// -// Unless required by applicable law or agreed to in writing, software -// distributed under the License is distributed on an "AS IS" BASIS, -// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. -// See the License for the specific language governing permissions and -// limitations under the License. - -use crate::interface::{bitboard_type, BitBoardType, RepresentableType}; - -use super::{Direction, Square}; - -bitboard_type! { - /// A set of Squares implemented as a bitset where the `1 << sq.into()` bit - /// represents whether `sq` is in the BitBoard or not. - struct BitBoard : u64 { - // The BitBoard's Square type. - Square = Square; - - // BitBoards containing the squares of the first file and the first rank. - FirstFile = Self(0x0101010101010101); - FirstRank = Self(0x00000000000000ff); - } -} - -impl BitBoard { - pub fn new(raw: u64) -> BitBoard { - BitBoard(raw) - } - - pub fn shift(&self, dir: Direction) -> BitBoard { - match dir { - Direction::North => self.north(), - Direction::South => self.south(), - Direction::NorthNorth => self.north().north(), - Direction::SouthSouth => self.south().south(), - Direction::East => self.east(), - Direction::West => self.west(), - Direction::NorthEast => self.north().east(), - Direction::NorthWest => self.north().west(), - Direction::SouthEast => self.south().east(), - Direction::SouthWest => self.south().west(), - } - } -} - -impl BitBoard { - pub fn diagonal(diagonal: usize) -> BitBoard { - BitBoard(BitBoard::DIAGONAL[diagonal]) - } - - pub fn anti_diagonal(anti_diagonal: usize) -> BitBoard { - BitBoard(BitBoard::ANTI_DIAGONAL[anti_diagonal]) - } - - pub const DIAGONAL: [u64; 15] = [ - 0x0000000000000080, - 0x0000000000008040, - 0x0000000000804020, - 0x0000000080402010, - 0x0000008040201008, - 0x0000804020100804, - 0x0080402010080402, - 0x8040201008040201, - 0x4020100804020100, - 0x2010080402010000, - 0x1008040201000000, - 0x0804020100000000, - 0x0402010000000000, - 0x0201000000000000, - 0x0100000000000000, - ]; - - pub const ANTI_DIAGONAL: [u64; 15] = [ - 0x0000000000000001, - 0x0000000000000102, - 0x0000000000010204, - 0x0000000001020408, - 0x0000000102040810, - 0x0000010204081020, - 0x0001020408102040, - 0x0102040810204080, - 0x0204081020408000, - 0x0408102040800000, - 0x0810204080000000, - 0x1020408000000000, - 0x2040800000000000, - 0x4080000000000000, - 0x8000000000000000, - ]; - - pub fn between(sq_1: Square, sq_2: Square) -> BitBoard { - BitBoard(BitBoard::BETWEEN[sq_1 as usize][sq_2 as usize]) - } - - pub fn between2(sq_1: Square, sq_2: Square) -> BitBoard { - BitBoard(BitBoard::BETWEEN[sq_1 as usize][sq_2 as usize]) - | BitBoard::from(sq_2) - } - - #[rustfmt::skip] - const BETWEEN: [[u64; Square::N]; Square::N] = [ - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000002, 0x0000000000000006, 0x000000000000000e, 0x000000000000001e, 0x000000000000003e, 0x000000000000007e, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000100, 0x0000000000000000, 0x0000000000000200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000010100, 0x0000000000000000, 0x0000000000000000, 0x0000000000040200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000001010100, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000008040200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000101010100, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001008040200, 0x0000000000000000, 0x0000000000000000, 0x0000010101010100, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000201008040200, 0x0000000000000000, 0x0001010101010100, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040201008040200, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000004, 0x000000000000000c, 0x000000000000001c, 0x000000000000003c, 0x000000000000007c, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000200, 0x0000000000000000, 0x0000000000000400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000020200, 0x0000000000000000, 0x0000000000000000, 0x0000000000080400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000002020200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000010080400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000202020200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000002010080400, 0x0000000000000000, 0x0000000000000000, 0x0000020202020200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000402010080400, 0x0000000000000000, 0x0002020202020200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000008, 0x0000000000000018, 0x0000000000000038, 0x0000000000000078, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000200, 0x0000000000000000, 0x0000000000000400, 0x0000000000000000, 0x0000000000000800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000040400, 0x0000000000000000, 0x0000000000000000, 0x0000000000100800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000004040400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000020100800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000404040400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000004020100800, 0x0000000000000000, 0x0000000000000000, 0x0000040404040400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004040404040400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000006, 0x0000000000000004, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000010, 0x0000000000000030, 0x0000000000000070, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000400, 0x0000000000000000, 0x0000000000000800, 0x0000000000000000, 0x0000000000001000, 0x0000000000000000, 0x0000000000000000, 0x0000000000020400, 0x0000000000000000, 0x0000000000000000, 0x0000000000080800, 0x0000000000000000, 0x0000000000000000, 0x0000000000201000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000008080800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000040201000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000808080800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000080808080800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008080808080800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x000000000000000e, 0x000000000000000c, 0x0000000000000008, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000020, 0x0000000000000060, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000800, 0x0000000000000000, 0x0000000000001000, 0x0000000000000000, 0x0000000000002000, 0x0000000000000000, 0x0000000000000000, 0x0000000000040800, 0x0000000000000000, 0x0000000000000000, 0x0000000000101000, 0x0000000000000000, 0x0000000000000000, 0x0000000000402000, 0x0000000002040800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000010101000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001010101000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000101010101000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010101010101000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x000000000000001e, 0x000000000000001c, 0x0000000000000018, 0x0000000000000010, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000040, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000001000, 0x0000000000000000, 0x0000000000002000, 0x0000000000000000, 0x0000000000004000, 0x0000000000000000, 0x0000000000000000, 0x0000000000081000, 0x0000000000000000, 0x0000000000000000, 0x0000000000202000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000004081000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000020202000, 0x0000000000000000, 0x0000000000000000, 0x0000000204081000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000002020202000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000202020202000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020202020202000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x000000000000003e, 0x000000000000003c, 0x0000000000000038, 0x0000000000000030, 0x0000000000000020, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000002000, 0x0000000000000000, 0x0000000000004000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000102000, 0x0000000000000000, 0x0000000000000000, 0x0000000000404000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000008102000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000040404000, 0x0000000000000000, 0x0000000000000000, 0x0000000408102000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000004040404000, 0x0000000000000000, 0x0000020408102000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000404040404000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040404040404000, 0x0000000000000000, ], - [ 0x000000000000007e, 0x000000000000007c, 0x0000000000000078, 0x0000000000000070, 0x0000000000000060, 0x0000000000000040, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000004000, 0x0000000000000000, 0x0000000000008000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000204000, 0x0000000000000000, 0x0000000000000000, 0x0000000000808000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000010204000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000080808000, 0x0000000000000000, 0x0000000000000000, 0x0000000810204000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000008080808000, 0x0000000000000000, 0x0000040810204000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000808080808000, 0x0002040810204000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0080808080808000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000200, 0x0000000000000600, 0x0000000000000e00, 0x0000000000001e00, 0x0000000000003e00, 0x0000000000007e00, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000010000, 0x0000000000000000, 0x0000000000020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000001010000, 0x0000000000000000, 0x0000000000000000, 0x0000000004020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000101010000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000804020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000010101010000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000100804020000, 0x0000000000000000, 0x0000000000000000, 0x0001010101010000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020100804020000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000400, 0x0000000000000c00, 0x0000000000001c00, 0x0000000000003c00, 0x0000000000007c00, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000020000, 0x0000000000000000, 0x0000000000040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000002020000, 0x0000000000000000, 0x0000000000000000, 0x0000000008040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000202020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001008040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020202020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000201008040000, 0x0000000000000000, 0x0000000000000000, 0x0002020202020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040201008040000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000800, 0x0000000000001800, 0x0000000000003800, 0x0000000000007800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000020000, 0x0000000000000000, 0x0000000000040000, 0x0000000000000000, 0x0000000000080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000004040000, 0x0000000000000000, 0x0000000000000000, 0x0000000010080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000404040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000002010080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040404040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000402010080000, 0x0000000000000000, 0x0000000000000000, 0x0004040404040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000600, 0x0000000000000400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000001000, 0x0000000000003000, 0x0000000000007000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000040000, 0x0000000000000000, 0x0000000000080000, 0x0000000000000000, 0x0000000000100000, 0x0000000000000000, 0x0000000000000000, 0x0000000002040000, 0x0000000000000000, 0x0000000000000000, 0x0000000008080000, 0x0000000000000000, 0x0000000000000000, 0x0000000020100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000808080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000004020100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000080808080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008080808080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000e00, 0x0000000000000c00, 0x0000000000000800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000002000, 0x0000000000006000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000080000, 0x0000000000000000, 0x0000000000100000, 0x0000000000000000, 0x0000000000200000, 0x0000000000000000, 0x0000000000000000, 0x0000000004080000, 0x0000000000000000, 0x0000000000000000, 0x0000000010100000, 0x0000000000000000, 0x0000000000000000, 0x0000000040200000, 0x0000000204080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001010100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000101010100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010101010100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000001e00, 0x0000000000001c00, 0x0000000000001800, 0x0000000000001000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000004000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000100000, 0x0000000000000000, 0x0000000000200000, 0x0000000000000000, 0x0000000000400000, 0x0000000000000000, 0x0000000000000000, 0x0000000008100000, 0x0000000000000000, 0x0000000000000000, 0x0000000020200000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000408100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000002020200000, 0x0000000000000000, 0x0000000000000000, 0x0000020408100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000202020200000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020202020200000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000003e00, 0x0000000000003c00, 0x0000000000003800, 0x0000000000003000, 0x0000000000002000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000200000, 0x0000000000000000, 0x0000000000400000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000010200000, 0x0000000000000000, 0x0000000000000000, 0x0000000040400000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000810200000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000004040400000, 0x0000000000000000, 0x0000000000000000, 0x0000040810200000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000404040400000, 0x0000000000000000, 0x0002040810200000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040404040400000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000007e00, 0x0000000000007c00, 0x0000000000007800, 0x0000000000007000, 0x0000000000006000, 0x0000000000004000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000400000, 0x0000000000000000, 0x0000000000800000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000020400000, 0x0000000000000000, 0x0000000000000000, 0x0000000080800000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001020400000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000008080800000, 0x0000000000000000, 0x0000000000000000, 0x0000081020400000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000808080800000, 0x0000000000000000, 0x0004081020400000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0080808080800000, ], - [ 0x0000000000000100, 0x0000000000000000, 0x0000000000000200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000020000, 0x0000000000060000, 0x00000000000e0000, 0x00000000001e0000, 0x00000000003e0000, 0x00000000007e0000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000001000000, 0x0000000000000000, 0x0000000002000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000101000000, 0x0000000000000000, 0x0000000000000000, 0x0000000402000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000010101000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000080402000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0001010101000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010080402000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000200, 0x0000000000000000, 0x0000000000000400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000040000, 0x00000000000c0000, 0x00000000001c0000, 0x00000000003c0000, 0x00000000007c0000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000002000000, 0x0000000000000000, 0x0000000004000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000202000000, 0x0000000000000000, 0x0000000000000000, 0x0000000804000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020202000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000100804000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002020202000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020100804000000, 0x0000000000000000, ], - [ 0x0000000000000200, 0x0000000000000000, 0x0000000000000400, 0x0000000000000000, 0x0000000000000800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000080000, 0x0000000000180000, 0x0000000000380000, 0x0000000000780000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000002000000, 0x0000000000000000, 0x0000000004000000, 0x0000000000000000, 0x0000000008000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000404000000, 0x0000000000000000, 0x0000000000000000, 0x0000001008000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040404000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000201008000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004040404000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040201008000000, ], - [ 0x0000000000000000, 0x0000000000000400, 0x0000000000000000, 0x0000000000000800, 0x0000000000000000, 0x0000000000001000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000060000, 0x0000000000040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000100000, 0x0000000000300000, 0x0000000000700000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000004000000, 0x0000000000000000, 0x0000000008000000, 0x0000000000000000, 0x0000000010000000, 0x0000000000000000, 0x0000000000000000, 0x0000000204000000, 0x0000000000000000, 0x0000000000000000, 0x0000000808000000, 0x0000000000000000, 0x0000000000000000, 0x0000002010000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000080808000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000402010000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008080808000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000800, 0x0000000000000000, 0x0000000000001000, 0x0000000000000000, 0x0000000000002000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x00000000000e0000, 0x00000000000c0000, 0x0000000000080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000200000, 0x0000000000600000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000008000000, 0x0000000000000000, 0x0000000010000000, 0x0000000000000000, 0x0000000020000000, 0x0000000000000000, 0x0000000000000000, 0x0000000408000000, 0x0000000000000000, 0x0000000000000000, 0x0000001010000000, 0x0000000000000000, 0x0000000000000000, 0x0000004020000000, 0x0000020408000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000101010000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010101010000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000001000, 0x0000000000000000, 0x0000000000002000, 0x0000000000000000, 0x0000000000004000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x00000000001e0000, 0x00000000001c0000, 0x0000000000180000, 0x0000000000100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000400000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000010000000, 0x0000000000000000, 0x0000000020000000, 0x0000000000000000, 0x0000000040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000810000000, 0x0000000000000000, 0x0000000000000000, 0x0000002020000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040810000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000202020000000, 0x0000000000000000, 0x0000000000000000, 0x0002040810000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020202020000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000002000, 0x0000000000000000, 0x0000000000004000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x00000000003e0000, 0x00000000003c0000, 0x0000000000380000, 0x0000000000300000, 0x0000000000200000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000020000000, 0x0000000000000000, 0x0000000040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001020000000, 0x0000000000000000, 0x0000000000000000, 0x0000004040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000081020000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000404040000000, 0x0000000000000000, 0x0000000000000000, 0x0004081020000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040404040000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000004000, 0x0000000000000000, 0x0000000000008000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x00000000007e0000, 0x00000000007c0000, 0x0000000000780000, 0x0000000000700000, 0x0000000000600000, 0x0000000000400000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000040000000, 0x0000000000000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000002040000000, 0x0000000000000000, 0x0000000000000000, 0x0000008080000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000102040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000808080000000, 0x0000000000000000, 0x0000000000000000, 0x0008102040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0080808080000000, ], - [ 0x0000000000010100, 0x0000000000000000, 0x0000000000000000, 0x0000000000020400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000010000, 0x0000000000000000, 0x0000000000020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000002000000, 0x0000000006000000, 0x000000000e000000, 0x000000001e000000, 0x000000003e000000, 0x000000007e000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000100000000, 0x0000000000000000, 0x0000000200000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000010100000000, 0x0000000000000000, 0x0000000000000000, 0x0000040200000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0001010100000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008040200000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000020200, 0x0000000000000000, 0x0000000000000000, 0x0000000000040800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000020000, 0x0000000000000000, 0x0000000000040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000004000000, 0x000000000c000000, 0x000000001c000000, 0x000000003c000000, 0x000000007c000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000200000000, 0x0000000000000000, 0x0000000400000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020200000000, 0x0000000000000000, 0x0000000000000000, 0x0000080400000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002020200000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010080400000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000040400, 0x0000000000000000, 0x0000000000000000, 0x0000000000081000, 0x0000000000000000, 0x0000000000000000, 0x0000000000020000, 0x0000000000000000, 0x0000000000040000, 0x0000000000000000, 0x0000000000080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000002000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000008000000, 0x0000000018000000, 0x0000000038000000, 0x0000000078000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000200000000, 0x0000000000000000, 0x0000000400000000, 0x0000000000000000, 0x0000000800000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040400000000, 0x0000000000000000, 0x0000000000000000, 0x0000100800000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004040400000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020100800000000, 0x0000000000000000, ], - [ 0x0000000000040200, 0x0000000000000000, 0x0000000000000000, 0x0000000000080800, 0x0000000000000000, 0x0000000000000000, 0x0000000000102000, 0x0000000000000000, 0x0000000000000000, 0x0000000000040000, 0x0000000000000000, 0x0000000000080000, 0x0000000000000000, 0x0000000000100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000006000000, 0x0000000004000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000010000000, 0x0000000030000000, 0x0000000070000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000400000000, 0x0000000000000000, 0x0000000800000000, 0x0000000000000000, 0x0000001000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020400000000, 0x0000000000000000, 0x0000000000000000, 0x0000080800000000, 0x0000000000000000, 0x0000000000000000, 0x0000201000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008080800000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040201000000000, ], - [ 0x0000000000000000, 0x0000000000080400, 0x0000000000000000, 0x0000000000000000, 0x0000000000101000, 0x0000000000000000, 0x0000000000000000, 0x0000000000204000, 0x0000000000000000, 0x0000000000000000, 0x0000000000080000, 0x0000000000000000, 0x0000000000100000, 0x0000000000000000, 0x0000000000200000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x000000000e000000, 0x000000000c000000, 0x0000000008000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000020000000, 0x0000000060000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000800000000, 0x0000000000000000, 0x0000001000000000, 0x0000000000000000, 0x0000002000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040800000000, 0x0000000000000000, 0x0000000000000000, 0x0000101000000000, 0x0000000000000000, 0x0000000000000000, 0x0000402000000000, 0x0002040800000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010101000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000100800, 0x0000000000000000, 0x0000000000000000, 0x0000000000202000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000100000, 0x0000000000000000, 0x0000000000200000, 0x0000000000000000, 0x0000000000400000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x000000001e000000, 0x000000001c000000, 0x0000000018000000, 0x0000000010000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001000000000, 0x0000000000000000, 0x0000002000000000, 0x0000000000000000, 0x0000004000000000, 0x0000000000000000, 0x0000000000000000, 0x0000081000000000, 0x0000000000000000, 0x0000000000000000, 0x0000202000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004081000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020202000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000201000, 0x0000000000000000, 0x0000000000000000, 0x0000000000404000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000200000, 0x0000000000000000, 0x0000000000400000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x000000003e000000, 0x000000003c000000, 0x0000000038000000, 0x0000000030000000, 0x0000000020000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000002000000000, 0x0000000000000000, 0x0000004000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000102000000000, 0x0000000000000000, 0x0000000000000000, 0x0000404000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008102000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040404000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000402000, 0x0000000000000000, 0x0000000000000000, 0x0000000000808000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000400000, 0x0000000000000000, 0x0000000000800000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x000000007e000000, 0x000000007c000000, 0x0000000078000000, 0x0000000070000000, 0x0000000060000000, 0x0000000040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000004000000000, 0x0000000000000000, 0x0000008000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000204000000000, 0x0000000000000000, 0x0000000000000000, 0x0000808000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010204000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0080808000000000, ], - [ 0x0000000001010100, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000002040800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000001010000, 0x0000000000000000, 0x0000000000000000, 0x0000000002040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000001000000, 0x0000000000000000, 0x0000000002000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000200000000, 0x0000000600000000, 0x0000000e00000000, 0x0000001e00000000, 0x0000003e00000000, 0x0000007e00000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000010000000000, 0x0000000000000000, 0x0000020000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0001010000000000, 0x0000000000000000, 0x0000000000000000, 0x0004020000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000002020200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000004081000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000002020000, 0x0000000000000000, 0x0000000000000000, 0x0000000004080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000002000000, 0x0000000000000000, 0x0000000004000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000400000000, 0x0000000c00000000, 0x0000001c00000000, 0x0000003c00000000, 0x0000007c00000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020000000000, 0x0000000000000000, 0x0000040000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002020000000000, 0x0000000000000000, 0x0000000000000000, 0x0008040000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000004040400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000008102000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000004040000, 0x0000000000000000, 0x0000000000000000, 0x0000000008100000, 0x0000000000000000, 0x0000000000000000, 0x0000000002000000, 0x0000000000000000, 0x0000000004000000, 0x0000000000000000, 0x0000000008000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000200000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000800000000, 0x0000001800000000, 0x0000003800000000, 0x0000007800000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020000000000, 0x0000000000000000, 0x0000040000000000, 0x0000000000000000, 0x0000080000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004040000000000, 0x0000000000000000, 0x0000000000000000, 0x0010080000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000008080800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000010204000, 0x0000000004020000, 0x0000000000000000, 0x0000000000000000, 0x0000000008080000, 0x0000000000000000, 0x0000000000000000, 0x0000000010200000, 0x0000000000000000, 0x0000000000000000, 0x0000000004000000, 0x0000000000000000, 0x0000000008000000, 0x0000000000000000, 0x0000000010000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000600000000, 0x0000000400000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001000000000, 0x0000003000000000, 0x0000007000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040000000000, 0x0000000000000000, 0x0000080000000000, 0x0000000000000000, 0x0000100000000000, 0x0000000000000000, 0x0000000000000000, 0x0002040000000000, 0x0000000000000000, 0x0000000000000000, 0x0008080000000000, 0x0000000000000000, 0x0000000000000000, 0x0020100000000000, 0x0000000000000000, ], - [ 0x0000000008040200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000010101000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000008040000, 0x0000000000000000, 0x0000000000000000, 0x0000000010100000, 0x0000000000000000, 0x0000000000000000, 0x0000000020400000, 0x0000000000000000, 0x0000000000000000, 0x0000000008000000, 0x0000000000000000, 0x0000000010000000, 0x0000000000000000, 0x0000000020000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000e00000000, 0x0000000c00000000, 0x0000000800000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000002000000000, 0x0000006000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000080000000000, 0x0000000000000000, 0x0000100000000000, 0x0000000000000000, 0x0000200000000000, 0x0000000000000000, 0x0000000000000000, 0x0004080000000000, 0x0000000000000000, 0x0000000000000000, 0x0010100000000000, 0x0000000000000000, 0x0000000000000000, 0x0040200000000000, ], - [ 0x0000000000000000, 0x0000000010080400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000020202000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000010080000, 0x0000000000000000, 0x0000000000000000, 0x0000000020200000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000010000000, 0x0000000000000000, 0x0000000020000000, 0x0000000000000000, 0x0000000040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001e00000000, 0x0000001c00000000, 0x0000001800000000, 0x0000001000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000004000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000100000000000, 0x0000000000000000, 0x0000200000000000, 0x0000000000000000, 0x0000400000000000, 0x0000000000000000, 0x0000000000000000, 0x0008100000000000, 0x0000000000000000, 0x0000000000000000, 0x0020200000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000020100800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000040404000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000020100000, 0x0000000000000000, 0x0000000000000000, 0x0000000040400000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000020000000, 0x0000000000000000, 0x0000000040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000003e00000000, 0x0000003c00000000, 0x0000003800000000, 0x0000003000000000, 0x0000002000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000200000000000, 0x0000000000000000, 0x0000400000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010200000000000, 0x0000000000000000, 0x0000000000000000, 0x0040400000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000040201000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000080808000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000040200000, 0x0000000000000000, 0x0000000000000000, 0x0000000080800000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000040000000, 0x0000000000000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000007e00000000, 0x0000007c00000000, 0x0000007800000000, 0x0000007000000000, 0x0000006000000000, 0x0000004000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000400000000000, 0x0000000000000000, 0x0000800000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020400000000000, 0x0000000000000000, 0x0000000000000000, 0x0080800000000000, ], - [ 0x0000000101010100, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000204081000, 0x0000000000000000, 0x0000000000000000, 0x0000000101010000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000204080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000101000000, 0x0000000000000000, 0x0000000000000000, 0x0000000204000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000100000000, 0x0000000000000000, 0x0000000200000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020000000000, 0x0000060000000000, 0x00000e0000000000, 0x00001e0000000000, 0x00003e0000000000, 0x00007e0000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0001000000000000, 0x0000000000000000, 0x0002000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000202020200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000408102000, 0x0000000000000000, 0x0000000000000000, 0x0000000202020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000408100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000202000000, 0x0000000000000000, 0x0000000000000000, 0x0000000408000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000200000000, 0x0000000000000000, 0x0000000400000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040000000000, 0x00000c0000000000, 0x00001c0000000000, 0x00003c0000000000, 0x00007c0000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002000000000000, 0x0000000000000000, 0x0004000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000404040400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000810204000, 0x0000000000000000, 0x0000000000000000, 0x0000000404040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000810200000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000404000000, 0x0000000000000000, 0x0000000000000000, 0x0000000810000000, 0x0000000000000000, 0x0000000000000000, 0x0000000200000000, 0x0000000000000000, 0x0000000400000000, 0x0000000000000000, 0x0000000800000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000080000000000, 0x0000180000000000, 0x0000380000000000, 0x0000780000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002000000000000, 0x0000000000000000, 0x0004000000000000, 0x0000000000000000, 0x0008000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000808080800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000808080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001020400000, 0x0000000402000000, 0x0000000000000000, 0x0000000000000000, 0x0000000808000000, 0x0000000000000000, 0x0000000000000000, 0x0000001020000000, 0x0000000000000000, 0x0000000000000000, 0x0000000400000000, 0x0000000000000000, 0x0000000800000000, 0x0000000000000000, 0x0000001000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000060000000000, 0x0000040000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000100000000000, 0x0000300000000000, 0x0000700000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004000000000000, 0x0000000000000000, 0x0008000000000000, 0x0000000000000000, 0x0010000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001010101000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000804020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001010100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000804000000, 0x0000000000000000, 0x0000000000000000, 0x0000001010000000, 0x0000000000000000, 0x0000000000000000, 0x0000002040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000800000000, 0x0000000000000000, 0x0000001000000000, 0x0000000000000000, 0x0000002000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x00000e0000000000, 0x00000c0000000000, 0x0000080000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000200000000000, 0x0000600000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008000000000000, 0x0000000000000000, 0x0010000000000000, 0x0000000000000000, 0x0020000000000000, 0x0000000000000000, ], - [ 0x0000001008040200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000002020202000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001008040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000002020200000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001008000000, 0x0000000000000000, 0x0000000000000000, 0x0000002020000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001000000000, 0x0000000000000000, 0x0000002000000000, 0x0000000000000000, 0x0000004000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x00001e0000000000, 0x00001c0000000000, 0x0000180000000000, 0x0000100000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000400000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010000000000000, 0x0000000000000000, 0x0020000000000000, 0x0000000000000000, 0x0040000000000000, ], - [ 0x0000000000000000, 0x0000002010080400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000004040404000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000002010080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000004040400000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000002010000000, 0x0000000000000000, 0x0000000000000000, 0x0000004040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000002000000000, 0x0000000000000000, 0x0000004000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x00003e0000000000, 0x00003c0000000000, 0x0000380000000000, 0x0000300000000000, 0x0000200000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020000000000000, 0x0000000000000000, 0x0040000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000004020100800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000008080808000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000004020100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000008080800000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000004020000000, 0x0000000000000000, 0x0000000000000000, 0x0000008080000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000004000000000, 0x0000000000000000, 0x0000008000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x00007e0000000000, 0x00007c0000000000, 0x0000780000000000, 0x0000700000000000, 0x0000600000000000, 0x0000400000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040000000000000, 0x0000000000000000, 0x0080000000000000, ], - [ 0x0000010101010100, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020408102000, 0x0000000000000000, 0x0000010101010000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020408100000, 0x0000000000000000, 0x0000000000000000, 0x0000010101000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020408000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000010100000000, 0x0000000000000000, 0x0000000000000000, 0x0000020400000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000010000000000, 0x0000000000000000, 0x0000020000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002000000000000, 0x0006000000000000, 0x000e000000000000, 0x001e000000000000, 0x003e000000000000, 0x007e000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000020202020200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040810204000, 0x0000000000000000, 0x0000020202020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040810200000, 0x0000000000000000, 0x0000000000000000, 0x0000020202000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040810000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020200000000, 0x0000000000000000, 0x0000000000000000, 0x0000040800000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020000000000, 0x0000000000000000, 0x0000040000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004000000000000, 0x000c000000000000, 0x001c000000000000, 0x003c000000000000, 0x007c000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000040404040400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040404040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000081020400000, 0x0000000000000000, 0x0000000000000000, 0x0000040404000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000081020000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040400000000, 0x0000000000000000, 0x0000000000000000, 0x0000081000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020000000000, 0x0000000000000000, 0x0000040000000000, 0x0000000000000000, 0x0000080000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008000000000000, 0x0018000000000000, 0x0038000000000000, 0x0078000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000080808080800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000080808080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000080808000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000102040000000, 0x0000040200000000, 0x0000000000000000, 0x0000000000000000, 0x0000080800000000, 0x0000000000000000, 0x0000000000000000, 0x0000102000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040000000000, 0x0000000000000000, 0x0000080000000000, 0x0000000000000000, 0x0000100000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0006000000000000, 0x0004000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010000000000000, 0x0030000000000000, 0x0070000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000101010101000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000101010100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000080402000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000101010000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000080400000000, 0x0000000000000000, 0x0000000000000000, 0x0000101000000000, 0x0000000000000000, 0x0000000000000000, 0x0000204000000000, 0x0000000000000000, 0x0000000000000000, 0x0000080000000000, 0x0000000000000000, 0x0000100000000000, 0x0000000000000000, 0x0000200000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x000e000000000000, 0x000c000000000000, 0x0008000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020000000000000, 0x0060000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000202020202000, 0x0000000000000000, 0x0000000000000000, 0x0000100804020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000202020200000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000100804000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000202020000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000100800000000, 0x0000000000000000, 0x0000000000000000, 0x0000202000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000100000000000, 0x0000000000000000, 0x0000200000000000, 0x0000000000000000, 0x0000400000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x001e000000000000, 0x001c000000000000, 0x0018000000000000, 0x0010000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000201008040200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000404040404000, 0x0000000000000000, 0x0000000000000000, 0x0000201008040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000404040400000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000201008000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000404040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000201000000000, 0x0000000000000000, 0x0000000000000000, 0x0000404000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000200000000000, 0x0000000000000000, 0x0000400000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x003e000000000000, 0x003c000000000000, 0x0038000000000000, 0x0030000000000000, 0x0020000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0000000000000000, 0x0000402010080400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000808080808000, 0x0000000000000000, 0x0000000000000000, 0x0000402010080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000808080800000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000402010000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000808080000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000402000000000, 0x0000000000000000, 0x0000000000000000, 0x0000808000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000400000000000, 0x0000000000000000, 0x0000800000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x007e000000000000, 0x007c000000000000, 0x0078000000000000, 0x0070000000000000, 0x0060000000000000, 0x0040000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0001010101010100, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002040810204000, 0x0001010101010000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002040810200000, 0x0000000000000000, 0x0001010101000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002040810000000, 0x0000000000000000, 0x0000000000000000, 0x0001010100000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002040800000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0001010000000000, 0x0000000000000000, 0x0000000000000000, 0x0002040000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0001000000000000, 0x0000000000000000, 0x0002000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0200000000000000, 0x0600000000000000, 0x0e00000000000000, 0x1e00000000000000, 0x3e00000000000000, 0x7e00000000000000, ], - [ 0x0000000000000000, 0x0002020202020200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002020202020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004081020400000, 0x0000000000000000, 0x0002020202000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004081020000000, 0x0000000000000000, 0x0000000000000000, 0x0002020200000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004081000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002020000000000, 0x0000000000000000, 0x0000000000000000, 0x0004080000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002000000000000, 0x0000000000000000, 0x0004000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0400000000000000, 0x0c00000000000000, 0x1c00000000000000, 0x3c00000000000000, 0x7c00000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0004040404040400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004040404040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004040404000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008102040000000, 0x0000000000000000, 0x0000000000000000, 0x0004040400000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008102000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004040000000000, 0x0000000000000000, 0x0000000000000000, 0x0008100000000000, 0x0000000000000000, 0x0000000000000000, 0x0002000000000000, 0x0000000000000000, 0x0004000000000000, 0x0000000000000000, 0x0008000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0200000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0800000000000000, 0x1800000000000000, 0x3800000000000000, 0x7800000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008080808080800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008080808080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008080808000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008080800000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010204000000000, 0x0004020000000000, 0x0000000000000000, 0x0000000000000000, 0x0008080000000000, 0x0000000000000000, 0x0000000000000000, 0x0010200000000000, 0x0000000000000000, 0x0000000000000000, 0x0004000000000000, 0x0000000000000000, 0x0008000000000000, 0x0000000000000000, 0x0010000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0600000000000000, 0x0400000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x1000000000000000, 0x3000000000000000, 0x7000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010101010101000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010101010100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010101010000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008040200000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010101000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008040000000000, 0x0000000000000000, 0x0000000000000000, 0x0010100000000000, 0x0000000000000000, 0x0000000000000000, 0x0020400000000000, 0x0000000000000000, 0x0000000000000000, 0x0008000000000000, 0x0000000000000000, 0x0010000000000000, 0x0000000000000000, 0x0020000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0e00000000000000, 0x0c00000000000000, 0x0800000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x2000000000000000, 0x6000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020202020202000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020202020200000, 0x0000000000000000, 0x0000000000000000, 0x0010080402000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020202020000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010080400000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020202000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010080000000000, 0x0000000000000000, 0x0000000000000000, 0x0020200000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010000000000000, 0x0000000000000000, 0x0020000000000000, 0x0000000000000000, 0x0040000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x1e00000000000000, 0x1c00000000000000, 0x1800000000000000, 0x1000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x4000000000000000, ], - [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040404040404000, 0x0000000000000000, 0x0020100804020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040404040400000, 0x0000000000000000, 0x0000000000000000, 0x0020100804000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040404040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020100800000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040404000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020100000000000, 0x0000000000000000, 0x0000000000000000, 0x0040400000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020000000000000, 0x0000000000000000, 0x0040000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x3e00000000000000, 0x3c00000000000000, 0x3800000000000000, 0x3000000000000000, 0x2000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], - [ 0x0040201008040200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0080808080808000, 0x0000000000000000, 0x0040201008040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0080808080800000, 0x0000000000000000, 0x0000000000000000, 0x0040201008000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0080808080000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040201000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0080808000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040200000000000, 0x0000000000000000, 0x0000000000000000, 0x0080800000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040000000000000, 0x0000000000000000, 0x0080000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x7e00000000000000, 0x7c00000000000000, 0x7800000000000000, 0x7000000000000000, 0x6000000000000000, 0x4000000000000000, 0x0000000000000000, 0x0000000000000000, ], - ]; -} diff --git a/games/src/chess/mod.rs b/games/src/chess/mod.rs index 6799caa..8b9af7d 100644 --- a/games/src/chess/mod.rs +++ b/games/src/chess/mod.rs @@ -6,14 +6,12 @@ pub mod zobrist; mod movegen; // Non-namespaced modules. -mod bitboard; mod r#move; mod position; // Make the contents of the non-namespaced // modules public, so they can be accessed // without their parent namespace. -pub use self::bitboard::*; pub use self::position::*; pub use self::r#move::*; @@ -22,10 +20,9 @@ mod tests; use std::ops; -use crate::interface::{RepresentableType, SquareType}; +use crate::interface::{BitBoardType, RepresentableType, SquareType}; crate::interface::game_details!( - @bitboard_less Files: A, B, C, D, E, F, G, H; Ranks: 1 First, 2 Second, 3 Third, 4 Fourth, 5 Fifth, 6 Sixth, 7 Seventh, 8 Eighth; Pieces: Pawn "p", Knight "n", Bishop "b", Rook "r", Queen "q", King "k";; @@ -33,6 +30,150 @@ crate::interface::game_details!( Black "b" ("p", "n", "b", "r", "q", "k"); ); +impl BitBoard { + pub fn new(raw: u64) -> BitBoard { + BitBoard(raw) + } + + pub fn shift(&self, dir: Direction) -> BitBoard { + match dir { + Direction::North => self.north(), + Direction::South => self.south(), + Direction::NorthNorth => self.north().north(), + Direction::SouthSouth => self.south().south(), + Direction::East => self.east(), + Direction::West => self.west(), + Direction::NorthEast => self.north().east(), + Direction::NorthWest => self.north().west(), + Direction::SouthEast => self.south().east(), + Direction::SouthWest => self.south().west(), + } + } +} + +impl BitBoard { + pub fn diagonal(diagonal: usize) -> BitBoard { + BitBoard(BitBoard::DIAGONAL[diagonal]) + } + + pub fn anti_diagonal(anti_diagonal: usize) -> BitBoard { + BitBoard(BitBoard::ANTI_DIAGONAL[anti_diagonal]) + } + + pub const DIAGONAL: [u64; 15] = [ + 0x0000000000000080, + 0x0000000000008040, + 0x0000000000804020, + 0x0000000080402010, + 0x0000008040201008, + 0x0000804020100804, + 0x0080402010080402, + 0x8040201008040201, + 0x4020100804020100, + 0x2010080402010000, + 0x1008040201000000, + 0x0804020100000000, + 0x0402010000000000, + 0x0201000000000000, + 0x0100000000000000, + ]; + + pub const ANTI_DIAGONAL: [u64; 15] = [ + 0x0000000000000001, + 0x0000000000000102, + 0x0000000000010204, + 0x0000000001020408, + 0x0000000102040810, + 0x0000010204081020, + 0x0001020408102040, + 0x0102040810204080, + 0x0204081020408000, + 0x0408102040800000, + 0x0810204080000000, + 0x1020408000000000, + 0x2040800000000000, + 0x4080000000000000, + 0x8000000000000000, + ]; + + pub fn between(sq_1: Square, sq_2: Square) -> BitBoard { + BitBoard(BitBoard::BETWEEN[sq_1 as usize][sq_2 as usize]) + } + + pub fn between2(sq_1: Square, sq_2: Square) -> BitBoard { + BitBoard(BitBoard::BETWEEN[sq_1 as usize][sq_2 as usize]) + | BitBoard::from(sq_2) + } + + #[rustfmt::skip] + const BETWEEN: [[u64; Square::N]; Square::N] = [ + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000002, 0x0000000000000006, 0x000000000000000e, 0x000000000000001e, 0x000000000000003e, 0x000000000000007e, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000100, 0x0000000000000000, 0x0000000000000200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000010100, 0x0000000000000000, 0x0000000000000000, 0x0000000000040200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000001010100, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000008040200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000101010100, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001008040200, 0x0000000000000000, 0x0000000000000000, 0x0000010101010100, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000201008040200, 0x0000000000000000, 0x0001010101010100, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040201008040200, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000004, 0x000000000000000c, 0x000000000000001c, 0x000000000000003c, 0x000000000000007c, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000200, 0x0000000000000000, 0x0000000000000400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000020200, 0x0000000000000000, 0x0000000000000000, 0x0000000000080400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000002020200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000010080400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000202020200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000002010080400, 0x0000000000000000, 0x0000000000000000, 0x0000020202020200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000402010080400, 0x0000000000000000, 0x0002020202020200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000008, 0x0000000000000018, 0x0000000000000038, 0x0000000000000078, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000200, 0x0000000000000000, 0x0000000000000400, 0x0000000000000000, 0x0000000000000800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000040400, 0x0000000000000000, 0x0000000000000000, 0x0000000000100800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000004040400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000020100800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000404040400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000004020100800, 0x0000000000000000, 0x0000000000000000, 0x0000040404040400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004040404040400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000006, 0x0000000000000004, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000010, 0x0000000000000030, 0x0000000000000070, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000400, 0x0000000000000000, 0x0000000000000800, 0x0000000000000000, 0x0000000000001000, 0x0000000000000000, 0x0000000000000000, 0x0000000000020400, 0x0000000000000000, 0x0000000000000000, 0x0000000000080800, 0x0000000000000000, 0x0000000000000000, 0x0000000000201000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000008080800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000040201000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000808080800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000080808080800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008080808080800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x000000000000000e, 0x000000000000000c, 0x0000000000000008, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000020, 0x0000000000000060, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000800, 0x0000000000000000, 0x0000000000001000, 0x0000000000000000, 0x0000000000002000, 0x0000000000000000, 0x0000000000000000, 0x0000000000040800, 0x0000000000000000, 0x0000000000000000, 0x0000000000101000, 0x0000000000000000, 0x0000000000000000, 0x0000000000402000, 0x0000000002040800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000010101000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001010101000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000101010101000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010101010101000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x000000000000001e, 0x000000000000001c, 0x0000000000000018, 0x0000000000000010, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000040, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000001000, 0x0000000000000000, 0x0000000000002000, 0x0000000000000000, 0x0000000000004000, 0x0000000000000000, 0x0000000000000000, 0x0000000000081000, 0x0000000000000000, 0x0000000000000000, 0x0000000000202000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000004081000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000020202000, 0x0000000000000000, 0x0000000000000000, 0x0000000204081000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000002020202000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000202020202000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020202020202000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x000000000000003e, 0x000000000000003c, 0x0000000000000038, 0x0000000000000030, 0x0000000000000020, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000002000, 0x0000000000000000, 0x0000000000004000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000102000, 0x0000000000000000, 0x0000000000000000, 0x0000000000404000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000008102000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000040404000, 0x0000000000000000, 0x0000000000000000, 0x0000000408102000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000004040404000, 0x0000000000000000, 0x0000020408102000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000404040404000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040404040404000, 0x0000000000000000, ], + [ 0x000000000000007e, 0x000000000000007c, 0x0000000000000078, 0x0000000000000070, 0x0000000000000060, 0x0000000000000040, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000004000, 0x0000000000000000, 0x0000000000008000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000204000, 0x0000000000000000, 0x0000000000000000, 0x0000000000808000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000010204000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000080808000, 0x0000000000000000, 0x0000000000000000, 0x0000000810204000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000008080808000, 0x0000000000000000, 0x0000040810204000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000808080808000, 0x0002040810204000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0080808080808000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000200, 0x0000000000000600, 0x0000000000000e00, 0x0000000000001e00, 0x0000000000003e00, 0x0000000000007e00, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000010000, 0x0000000000000000, 0x0000000000020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000001010000, 0x0000000000000000, 0x0000000000000000, 0x0000000004020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000101010000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000804020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000010101010000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000100804020000, 0x0000000000000000, 0x0000000000000000, 0x0001010101010000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020100804020000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000400, 0x0000000000000c00, 0x0000000000001c00, 0x0000000000003c00, 0x0000000000007c00, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000020000, 0x0000000000000000, 0x0000000000040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000002020000, 0x0000000000000000, 0x0000000000000000, 0x0000000008040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000202020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001008040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020202020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000201008040000, 0x0000000000000000, 0x0000000000000000, 0x0002020202020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040201008040000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000800, 0x0000000000001800, 0x0000000000003800, 0x0000000000007800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000020000, 0x0000000000000000, 0x0000000000040000, 0x0000000000000000, 0x0000000000080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000004040000, 0x0000000000000000, 0x0000000000000000, 0x0000000010080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000404040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000002010080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040404040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000402010080000, 0x0000000000000000, 0x0000000000000000, 0x0004040404040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000600, 0x0000000000000400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000001000, 0x0000000000003000, 0x0000000000007000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000040000, 0x0000000000000000, 0x0000000000080000, 0x0000000000000000, 0x0000000000100000, 0x0000000000000000, 0x0000000000000000, 0x0000000002040000, 0x0000000000000000, 0x0000000000000000, 0x0000000008080000, 0x0000000000000000, 0x0000000000000000, 0x0000000020100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000808080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000004020100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000080808080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008080808080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000e00, 0x0000000000000c00, 0x0000000000000800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000002000, 0x0000000000006000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000080000, 0x0000000000000000, 0x0000000000100000, 0x0000000000000000, 0x0000000000200000, 0x0000000000000000, 0x0000000000000000, 0x0000000004080000, 0x0000000000000000, 0x0000000000000000, 0x0000000010100000, 0x0000000000000000, 0x0000000000000000, 0x0000000040200000, 0x0000000204080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001010100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000101010100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010101010100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000001e00, 0x0000000000001c00, 0x0000000000001800, 0x0000000000001000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000004000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000100000, 0x0000000000000000, 0x0000000000200000, 0x0000000000000000, 0x0000000000400000, 0x0000000000000000, 0x0000000000000000, 0x0000000008100000, 0x0000000000000000, 0x0000000000000000, 0x0000000020200000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000408100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000002020200000, 0x0000000000000000, 0x0000000000000000, 0x0000020408100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000202020200000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020202020200000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000003e00, 0x0000000000003c00, 0x0000000000003800, 0x0000000000003000, 0x0000000000002000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000200000, 0x0000000000000000, 0x0000000000400000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000010200000, 0x0000000000000000, 0x0000000000000000, 0x0000000040400000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000810200000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000004040400000, 0x0000000000000000, 0x0000000000000000, 0x0000040810200000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000404040400000, 0x0000000000000000, 0x0002040810200000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040404040400000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000007e00, 0x0000000000007c00, 0x0000000000007800, 0x0000000000007000, 0x0000000000006000, 0x0000000000004000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000400000, 0x0000000000000000, 0x0000000000800000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000020400000, 0x0000000000000000, 0x0000000000000000, 0x0000000080800000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001020400000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000008080800000, 0x0000000000000000, 0x0000000000000000, 0x0000081020400000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000808080800000, 0x0000000000000000, 0x0004081020400000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0080808080800000, ], + [ 0x0000000000000100, 0x0000000000000000, 0x0000000000000200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000020000, 0x0000000000060000, 0x00000000000e0000, 0x00000000001e0000, 0x00000000003e0000, 0x00000000007e0000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000001000000, 0x0000000000000000, 0x0000000002000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000101000000, 0x0000000000000000, 0x0000000000000000, 0x0000000402000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000010101000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000080402000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0001010101000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010080402000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000200, 0x0000000000000000, 0x0000000000000400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000040000, 0x00000000000c0000, 0x00000000001c0000, 0x00000000003c0000, 0x00000000007c0000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000002000000, 0x0000000000000000, 0x0000000004000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000202000000, 0x0000000000000000, 0x0000000000000000, 0x0000000804000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020202000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000100804000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002020202000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020100804000000, 0x0000000000000000, ], + [ 0x0000000000000200, 0x0000000000000000, 0x0000000000000400, 0x0000000000000000, 0x0000000000000800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000080000, 0x0000000000180000, 0x0000000000380000, 0x0000000000780000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000002000000, 0x0000000000000000, 0x0000000004000000, 0x0000000000000000, 0x0000000008000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000404000000, 0x0000000000000000, 0x0000000000000000, 0x0000001008000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040404000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000201008000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004040404000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040201008000000, ], + [ 0x0000000000000000, 0x0000000000000400, 0x0000000000000000, 0x0000000000000800, 0x0000000000000000, 0x0000000000001000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000060000, 0x0000000000040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000100000, 0x0000000000300000, 0x0000000000700000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000004000000, 0x0000000000000000, 0x0000000008000000, 0x0000000000000000, 0x0000000010000000, 0x0000000000000000, 0x0000000000000000, 0x0000000204000000, 0x0000000000000000, 0x0000000000000000, 0x0000000808000000, 0x0000000000000000, 0x0000000000000000, 0x0000002010000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000080808000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000402010000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008080808000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000800, 0x0000000000000000, 0x0000000000001000, 0x0000000000000000, 0x0000000000002000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x00000000000e0000, 0x00000000000c0000, 0x0000000000080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000200000, 0x0000000000600000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000008000000, 0x0000000000000000, 0x0000000010000000, 0x0000000000000000, 0x0000000020000000, 0x0000000000000000, 0x0000000000000000, 0x0000000408000000, 0x0000000000000000, 0x0000000000000000, 0x0000001010000000, 0x0000000000000000, 0x0000000000000000, 0x0000004020000000, 0x0000020408000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000101010000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010101010000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000001000, 0x0000000000000000, 0x0000000000002000, 0x0000000000000000, 0x0000000000004000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x00000000001e0000, 0x00000000001c0000, 0x0000000000180000, 0x0000000000100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000400000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000010000000, 0x0000000000000000, 0x0000000020000000, 0x0000000000000000, 0x0000000040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000810000000, 0x0000000000000000, 0x0000000000000000, 0x0000002020000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040810000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000202020000000, 0x0000000000000000, 0x0000000000000000, 0x0002040810000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020202020000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000002000, 0x0000000000000000, 0x0000000000004000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x00000000003e0000, 0x00000000003c0000, 0x0000000000380000, 0x0000000000300000, 0x0000000000200000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000020000000, 0x0000000000000000, 0x0000000040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001020000000, 0x0000000000000000, 0x0000000000000000, 0x0000004040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000081020000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000404040000000, 0x0000000000000000, 0x0000000000000000, 0x0004081020000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040404040000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000004000, 0x0000000000000000, 0x0000000000008000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x00000000007e0000, 0x00000000007c0000, 0x0000000000780000, 0x0000000000700000, 0x0000000000600000, 0x0000000000400000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000040000000, 0x0000000000000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000002040000000, 0x0000000000000000, 0x0000000000000000, 0x0000008080000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000102040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000808080000000, 0x0000000000000000, 0x0000000000000000, 0x0008102040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0080808080000000, ], + [ 0x0000000000010100, 0x0000000000000000, 0x0000000000000000, 0x0000000000020400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000010000, 0x0000000000000000, 0x0000000000020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000002000000, 0x0000000006000000, 0x000000000e000000, 0x000000001e000000, 0x000000003e000000, 0x000000007e000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000100000000, 0x0000000000000000, 0x0000000200000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000010100000000, 0x0000000000000000, 0x0000000000000000, 0x0000040200000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0001010100000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008040200000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000020200, 0x0000000000000000, 0x0000000000000000, 0x0000000000040800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000020000, 0x0000000000000000, 0x0000000000040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000004000000, 0x000000000c000000, 0x000000001c000000, 0x000000003c000000, 0x000000007c000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000200000000, 0x0000000000000000, 0x0000000400000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020200000000, 0x0000000000000000, 0x0000000000000000, 0x0000080400000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002020200000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010080400000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000040400, 0x0000000000000000, 0x0000000000000000, 0x0000000000081000, 0x0000000000000000, 0x0000000000000000, 0x0000000000020000, 0x0000000000000000, 0x0000000000040000, 0x0000000000000000, 0x0000000000080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000002000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000008000000, 0x0000000018000000, 0x0000000038000000, 0x0000000078000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000200000000, 0x0000000000000000, 0x0000000400000000, 0x0000000000000000, 0x0000000800000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040400000000, 0x0000000000000000, 0x0000000000000000, 0x0000100800000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004040400000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020100800000000, 0x0000000000000000, ], + [ 0x0000000000040200, 0x0000000000000000, 0x0000000000000000, 0x0000000000080800, 0x0000000000000000, 0x0000000000000000, 0x0000000000102000, 0x0000000000000000, 0x0000000000000000, 0x0000000000040000, 0x0000000000000000, 0x0000000000080000, 0x0000000000000000, 0x0000000000100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000006000000, 0x0000000004000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000010000000, 0x0000000030000000, 0x0000000070000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000400000000, 0x0000000000000000, 0x0000000800000000, 0x0000000000000000, 0x0000001000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020400000000, 0x0000000000000000, 0x0000000000000000, 0x0000080800000000, 0x0000000000000000, 0x0000000000000000, 0x0000201000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008080800000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040201000000000, ], + [ 0x0000000000000000, 0x0000000000080400, 0x0000000000000000, 0x0000000000000000, 0x0000000000101000, 0x0000000000000000, 0x0000000000000000, 0x0000000000204000, 0x0000000000000000, 0x0000000000000000, 0x0000000000080000, 0x0000000000000000, 0x0000000000100000, 0x0000000000000000, 0x0000000000200000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x000000000e000000, 0x000000000c000000, 0x0000000008000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000020000000, 0x0000000060000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000800000000, 0x0000000000000000, 0x0000001000000000, 0x0000000000000000, 0x0000002000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040800000000, 0x0000000000000000, 0x0000000000000000, 0x0000101000000000, 0x0000000000000000, 0x0000000000000000, 0x0000402000000000, 0x0002040800000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010101000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000100800, 0x0000000000000000, 0x0000000000000000, 0x0000000000202000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000100000, 0x0000000000000000, 0x0000000000200000, 0x0000000000000000, 0x0000000000400000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x000000001e000000, 0x000000001c000000, 0x0000000018000000, 0x0000000010000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001000000000, 0x0000000000000000, 0x0000002000000000, 0x0000000000000000, 0x0000004000000000, 0x0000000000000000, 0x0000000000000000, 0x0000081000000000, 0x0000000000000000, 0x0000000000000000, 0x0000202000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004081000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020202000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000201000, 0x0000000000000000, 0x0000000000000000, 0x0000000000404000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000200000, 0x0000000000000000, 0x0000000000400000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x000000003e000000, 0x000000003c000000, 0x0000000038000000, 0x0000000030000000, 0x0000000020000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000002000000000, 0x0000000000000000, 0x0000004000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000102000000000, 0x0000000000000000, 0x0000000000000000, 0x0000404000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008102000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040404000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000402000, 0x0000000000000000, 0x0000000000000000, 0x0000000000808000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000400000, 0x0000000000000000, 0x0000000000800000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x000000007e000000, 0x000000007c000000, 0x0000000078000000, 0x0000000070000000, 0x0000000060000000, 0x0000000040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000004000000000, 0x0000000000000000, 0x0000008000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000204000000000, 0x0000000000000000, 0x0000000000000000, 0x0000808000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010204000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0080808000000000, ], + [ 0x0000000001010100, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000002040800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000001010000, 0x0000000000000000, 0x0000000000000000, 0x0000000002040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000001000000, 0x0000000000000000, 0x0000000002000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000200000000, 0x0000000600000000, 0x0000000e00000000, 0x0000001e00000000, 0x0000003e00000000, 0x0000007e00000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000010000000000, 0x0000000000000000, 0x0000020000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0001010000000000, 0x0000000000000000, 0x0000000000000000, 0x0004020000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000002020200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000004081000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000002020000, 0x0000000000000000, 0x0000000000000000, 0x0000000004080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000002000000, 0x0000000000000000, 0x0000000004000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000400000000, 0x0000000c00000000, 0x0000001c00000000, 0x0000003c00000000, 0x0000007c00000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020000000000, 0x0000000000000000, 0x0000040000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002020000000000, 0x0000000000000000, 0x0000000000000000, 0x0008040000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000004040400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000008102000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000004040000, 0x0000000000000000, 0x0000000000000000, 0x0000000008100000, 0x0000000000000000, 0x0000000000000000, 0x0000000002000000, 0x0000000000000000, 0x0000000004000000, 0x0000000000000000, 0x0000000008000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000200000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000800000000, 0x0000001800000000, 0x0000003800000000, 0x0000007800000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020000000000, 0x0000000000000000, 0x0000040000000000, 0x0000000000000000, 0x0000080000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004040000000000, 0x0000000000000000, 0x0000000000000000, 0x0010080000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000008080800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000010204000, 0x0000000004020000, 0x0000000000000000, 0x0000000000000000, 0x0000000008080000, 0x0000000000000000, 0x0000000000000000, 0x0000000010200000, 0x0000000000000000, 0x0000000000000000, 0x0000000004000000, 0x0000000000000000, 0x0000000008000000, 0x0000000000000000, 0x0000000010000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000600000000, 0x0000000400000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001000000000, 0x0000003000000000, 0x0000007000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040000000000, 0x0000000000000000, 0x0000080000000000, 0x0000000000000000, 0x0000100000000000, 0x0000000000000000, 0x0000000000000000, 0x0002040000000000, 0x0000000000000000, 0x0000000000000000, 0x0008080000000000, 0x0000000000000000, 0x0000000000000000, 0x0020100000000000, 0x0000000000000000, ], + [ 0x0000000008040200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000010101000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000008040000, 0x0000000000000000, 0x0000000000000000, 0x0000000010100000, 0x0000000000000000, 0x0000000000000000, 0x0000000020400000, 0x0000000000000000, 0x0000000000000000, 0x0000000008000000, 0x0000000000000000, 0x0000000010000000, 0x0000000000000000, 0x0000000020000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000e00000000, 0x0000000c00000000, 0x0000000800000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000002000000000, 0x0000006000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000080000000000, 0x0000000000000000, 0x0000100000000000, 0x0000000000000000, 0x0000200000000000, 0x0000000000000000, 0x0000000000000000, 0x0004080000000000, 0x0000000000000000, 0x0000000000000000, 0x0010100000000000, 0x0000000000000000, 0x0000000000000000, 0x0040200000000000, ], + [ 0x0000000000000000, 0x0000000010080400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000020202000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000010080000, 0x0000000000000000, 0x0000000000000000, 0x0000000020200000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000010000000, 0x0000000000000000, 0x0000000020000000, 0x0000000000000000, 0x0000000040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001e00000000, 0x0000001c00000000, 0x0000001800000000, 0x0000001000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000004000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000100000000000, 0x0000000000000000, 0x0000200000000000, 0x0000000000000000, 0x0000400000000000, 0x0000000000000000, 0x0000000000000000, 0x0008100000000000, 0x0000000000000000, 0x0000000000000000, 0x0020200000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000020100800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000040404000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000020100000, 0x0000000000000000, 0x0000000000000000, 0x0000000040400000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000020000000, 0x0000000000000000, 0x0000000040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000003e00000000, 0x0000003c00000000, 0x0000003800000000, 0x0000003000000000, 0x0000002000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000200000000000, 0x0000000000000000, 0x0000400000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010200000000000, 0x0000000000000000, 0x0000000000000000, 0x0040400000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000040201000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000080808000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000040200000, 0x0000000000000000, 0x0000000000000000, 0x0000000080800000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000040000000, 0x0000000000000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000007e00000000, 0x0000007c00000000, 0x0000007800000000, 0x0000007000000000, 0x0000006000000000, 0x0000004000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000400000000000, 0x0000000000000000, 0x0000800000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020400000000000, 0x0000000000000000, 0x0000000000000000, 0x0080800000000000, ], + [ 0x0000000101010100, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000204081000, 0x0000000000000000, 0x0000000000000000, 0x0000000101010000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000204080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000101000000, 0x0000000000000000, 0x0000000000000000, 0x0000000204000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000100000000, 0x0000000000000000, 0x0000000200000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020000000000, 0x0000060000000000, 0x00000e0000000000, 0x00001e0000000000, 0x00003e0000000000, 0x00007e0000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0001000000000000, 0x0000000000000000, 0x0002000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000202020200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000408102000, 0x0000000000000000, 0x0000000000000000, 0x0000000202020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000408100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000202000000, 0x0000000000000000, 0x0000000000000000, 0x0000000408000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000200000000, 0x0000000000000000, 0x0000000400000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040000000000, 0x00000c0000000000, 0x00001c0000000000, 0x00003c0000000000, 0x00007c0000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002000000000000, 0x0000000000000000, 0x0004000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000404040400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000810204000, 0x0000000000000000, 0x0000000000000000, 0x0000000404040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000810200000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000404000000, 0x0000000000000000, 0x0000000000000000, 0x0000000810000000, 0x0000000000000000, 0x0000000000000000, 0x0000000200000000, 0x0000000000000000, 0x0000000400000000, 0x0000000000000000, 0x0000000800000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000080000000000, 0x0000180000000000, 0x0000380000000000, 0x0000780000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002000000000000, 0x0000000000000000, 0x0004000000000000, 0x0000000000000000, 0x0008000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000808080800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000808080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001020400000, 0x0000000402000000, 0x0000000000000000, 0x0000000000000000, 0x0000000808000000, 0x0000000000000000, 0x0000000000000000, 0x0000001020000000, 0x0000000000000000, 0x0000000000000000, 0x0000000400000000, 0x0000000000000000, 0x0000000800000000, 0x0000000000000000, 0x0000001000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000060000000000, 0x0000040000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000100000000000, 0x0000300000000000, 0x0000700000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004000000000000, 0x0000000000000000, 0x0008000000000000, 0x0000000000000000, 0x0010000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001010101000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000804020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001010100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000804000000, 0x0000000000000000, 0x0000000000000000, 0x0000001010000000, 0x0000000000000000, 0x0000000000000000, 0x0000002040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000800000000, 0x0000000000000000, 0x0000001000000000, 0x0000000000000000, 0x0000002000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x00000e0000000000, 0x00000c0000000000, 0x0000080000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000200000000000, 0x0000600000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008000000000000, 0x0000000000000000, 0x0010000000000000, 0x0000000000000000, 0x0020000000000000, 0x0000000000000000, ], + [ 0x0000001008040200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000002020202000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001008040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000002020200000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001008000000, 0x0000000000000000, 0x0000000000000000, 0x0000002020000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000001000000000, 0x0000000000000000, 0x0000002000000000, 0x0000000000000000, 0x0000004000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x00001e0000000000, 0x00001c0000000000, 0x0000180000000000, 0x0000100000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000400000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010000000000000, 0x0000000000000000, 0x0020000000000000, 0x0000000000000000, 0x0040000000000000, ], + [ 0x0000000000000000, 0x0000002010080400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000004040404000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000002010080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000004040400000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000002010000000, 0x0000000000000000, 0x0000000000000000, 0x0000004040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000002000000000, 0x0000000000000000, 0x0000004000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x00003e0000000000, 0x00003c0000000000, 0x0000380000000000, 0x0000300000000000, 0x0000200000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020000000000000, 0x0000000000000000, 0x0040000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000004020100800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000008080808000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000004020100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000008080800000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000004020000000, 0x0000000000000000, 0x0000000000000000, 0x0000008080000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000004000000000, 0x0000000000000000, 0x0000008000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x00007e0000000000, 0x00007c0000000000, 0x0000780000000000, 0x0000700000000000, 0x0000600000000000, 0x0000400000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040000000000000, 0x0000000000000000, 0x0080000000000000, ], + [ 0x0000010101010100, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020408102000, 0x0000000000000000, 0x0000010101010000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020408100000, 0x0000000000000000, 0x0000000000000000, 0x0000010101000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020408000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000010100000000, 0x0000000000000000, 0x0000000000000000, 0x0000020400000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000010000000000, 0x0000000000000000, 0x0000020000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002000000000000, 0x0006000000000000, 0x000e000000000000, 0x001e000000000000, 0x003e000000000000, 0x007e000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000020202020200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040810204000, 0x0000000000000000, 0x0000020202020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040810200000, 0x0000000000000000, 0x0000000000000000, 0x0000020202000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040810000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020200000000, 0x0000000000000000, 0x0000000000000000, 0x0000040800000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020000000000, 0x0000000000000000, 0x0000040000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004000000000000, 0x000c000000000000, 0x001c000000000000, 0x003c000000000000, 0x007c000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000040404040400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040404040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000081020400000, 0x0000000000000000, 0x0000000000000000, 0x0000040404000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000081020000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040400000000, 0x0000000000000000, 0x0000000000000000, 0x0000081000000000, 0x0000000000000000, 0x0000000000000000, 0x0000020000000000, 0x0000000000000000, 0x0000040000000000, 0x0000000000000000, 0x0000080000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008000000000000, 0x0018000000000000, 0x0038000000000000, 0x0078000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000080808080800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000080808080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000080808000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000102040000000, 0x0000040200000000, 0x0000000000000000, 0x0000000000000000, 0x0000080800000000, 0x0000000000000000, 0x0000000000000000, 0x0000102000000000, 0x0000000000000000, 0x0000000000000000, 0x0000040000000000, 0x0000000000000000, 0x0000080000000000, 0x0000000000000000, 0x0000100000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0006000000000000, 0x0004000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010000000000000, 0x0030000000000000, 0x0070000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000101010101000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000101010100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000080402000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000101010000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000080400000000, 0x0000000000000000, 0x0000000000000000, 0x0000101000000000, 0x0000000000000000, 0x0000000000000000, 0x0000204000000000, 0x0000000000000000, 0x0000000000000000, 0x0000080000000000, 0x0000000000000000, 0x0000100000000000, 0x0000000000000000, 0x0000200000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x000e000000000000, 0x000c000000000000, 0x0008000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020000000000000, 0x0060000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000202020202000, 0x0000000000000000, 0x0000000000000000, 0x0000100804020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000202020200000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000100804000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000202020000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000100800000000, 0x0000000000000000, 0x0000000000000000, 0x0000202000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000100000000000, 0x0000000000000000, 0x0000200000000000, 0x0000000000000000, 0x0000400000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x001e000000000000, 0x001c000000000000, 0x0018000000000000, 0x0010000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000201008040200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000404040404000, 0x0000000000000000, 0x0000000000000000, 0x0000201008040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000404040400000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000201008000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000404040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000201000000000, 0x0000000000000000, 0x0000000000000000, 0x0000404000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000200000000000, 0x0000000000000000, 0x0000400000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x003e000000000000, 0x003c000000000000, 0x0038000000000000, 0x0030000000000000, 0x0020000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0000000000000000, 0x0000402010080400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000808080808000, 0x0000000000000000, 0x0000000000000000, 0x0000402010080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000808080800000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000402010000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000808080000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000402000000000, 0x0000000000000000, 0x0000000000000000, 0x0000808000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000400000000000, 0x0000000000000000, 0x0000800000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x007e000000000000, 0x007c000000000000, 0x0078000000000000, 0x0070000000000000, 0x0060000000000000, 0x0040000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0001010101010100, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002040810204000, 0x0001010101010000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002040810200000, 0x0000000000000000, 0x0001010101000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002040810000000, 0x0000000000000000, 0x0000000000000000, 0x0001010100000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002040800000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0001010000000000, 0x0000000000000000, 0x0000000000000000, 0x0002040000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0001000000000000, 0x0000000000000000, 0x0002000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0200000000000000, 0x0600000000000000, 0x0e00000000000000, 0x1e00000000000000, 0x3e00000000000000, 0x7e00000000000000, ], + [ 0x0000000000000000, 0x0002020202020200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002020202020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004081020400000, 0x0000000000000000, 0x0002020202000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004081020000000, 0x0000000000000000, 0x0000000000000000, 0x0002020200000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004081000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002020000000000, 0x0000000000000000, 0x0000000000000000, 0x0004080000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0002000000000000, 0x0000000000000000, 0x0004000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0400000000000000, 0x0c00000000000000, 0x1c00000000000000, 0x3c00000000000000, 0x7c00000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0004040404040400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004040404040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004040404000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008102040000000, 0x0000000000000000, 0x0000000000000000, 0x0004040400000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008102000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0004040000000000, 0x0000000000000000, 0x0000000000000000, 0x0008100000000000, 0x0000000000000000, 0x0000000000000000, 0x0002000000000000, 0x0000000000000000, 0x0004000000000000, 0x0000000000000000, 0x0008000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0200000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0800000000000000, 0x1800000000000000, 0x3800000000000000, 0x7800000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008080808080800, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008080808080000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008080808000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008080800000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010204000000000, 0x0004020000000000, 0x0000000000000000, 0x0000000000000000, 0x0008080000000000, 0x0000000000000000, 0x0000000000000000, 0x0010200000000000, 0x0000000000000000, 0x0000000000000000, 0x0004000000000000, 0x0000000000000000, 0x0008000000000000, 0x0000000000000000, 0x0010000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0600000000000000, 0x0400000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x1000000000000000, 0x3000000000000000, 0x7000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010101010101000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010101010100000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010101010000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008040200000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010101000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0008040000000000, 0x0000000000000000, 0x0000000000000000, 0x0010100000000000, 0x0000000000000000, 0x0000000000000000, 0x0020400000000000, 0x0000000000000000, 0x0000000000000000, 0x0008000000000000, 0x0000000000000000, 0x0010000000000000, 0x0000000000000000, 0x0020000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0e00000000000000, 0x0c00000000000000, 0x0800000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x2000000000000000, 0x6000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020202020202000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020202020200000, 0x0000000000000000, 0x0000000000000000, 0x0010080402000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020202020000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010080400000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020202000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010080000000000, 0x0000000000000000, 0x0000000000000000, 0x0020200000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0010000000000000, 0x0000000000000000, 0x0020000000000000, 0x0000000000000000, 0x0040000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x1e00000000000000, 0x1c00000000000000, 0x1800000000000000, 0x1000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x4000000000000000, ], + [ 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040404040404000, 0x0000000000000000, 0x0020100804020000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040404040400000, 0x0000000000000000, 0x0000000000000000, 0x0020100804000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040404040000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020100800000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040404000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020100000000000, 0x0000000000000000, 0x0000000000000000, 0x0040400000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0020000000000000, 0x0000000000000000, 0x0040000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x3e00000000000000, 0x3c00000000000000, 0x3800000000000000, 0x3000000000000000, 0x2000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, ], + [ 0x0040201008040200, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0080808080808000, 0x0000000000000000, 0x0040201008040000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0080808080800000, 0x0000000000000000, 0x0000000000000000, 0x0040201008000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0080808080000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040201000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0080808000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040200000000000, 0x0000000000000000, 0x0000000000000000, 0x0080800000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0040000000000000, 0x0000000000000000, 0x0080000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x7e00000000000000, 0x7c00000000000000, 0x7800000000000000, 0x7000000000000000, 0x6000000000000000, 0x4000000000000000, 0x0000000000000000, 0x0000000000000000, ], + ]; +} + impl Square { pub fn up(self, stm: Color) -> Option { match stm { diff --git a/games/src/interface/mod.rs b/games/src/interface/mod.rs index 4ea66bc..9a34f0b 100644 --- a/games/src/interface/mod.rs +++ b/games/src/interface/mod.rs @@ -92,7 +92,28 @@ macro_rules! game_details { $($other_variant:ident $other_repr:literal),*; Colors: $color_1:ident $color_1_repr:literal ($($piece_1_repr:literal),*), $color_2:ident $color_2_repr:literal ($($piece_2_repr:literal),*); - ) => {}; + ) => { + $crate::interface::game_details!( + @bitboard + u64 { + Square = Square; + + FirstFile = $crate::interface::derive_set!(@first_file BitBoard); + FirstRank = $crate::interface::derive_set!(@first_rank BitBoard); + } + ); + + $crate::interface::game_details!( + @bitboard_less + Files: $($file_variant),* ; + Ranks: $($rank_number $rank_variant),* ; + + Pieces: $($piece_variant $piece_repr),*; + $($other_variant $other_repr),*; + Colors: $color_1 $color_1_repr ($($piece_1_repr),*), + $color_2 $color_2_repr ($($piece_2_repr),*); + ); + }; // @bitboard_less generates all the board representation backing types // except BitBoard from the given game specific information. @@ -123,6 +144,57 @@ macro_rules! game_details { ); }; + // @bitboard generates the BitBoard type from the given game details. + (@bitboard $typ:tt { + Square = $sq:tt; + FirstFile = $first_file:expr; + FirstRank = $first_rank:expr; + }) => { + // The BitBoard type. BitBoardType requires conformance to the SetType + // trait which is why the declaration uses the set_type macro. + crate::interface::set_type!(BitBoard<$sq>: $typ); + + // Conformance to BitBoardType. + impl crate::interface::BitBoardType for BitBoard { + type Base = $typ; + type Square = $sq; + + const FIRST_FILE: Self = $first_file; + const FIRST_RANK: Self = $first_rank; + } + + // Display a bitboard as ASCII art with 0s and 1s. + impl std::fmt::Display for BitBoard { + fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { + use $crate::interface::{SquareType, SetType}; + use strum::IntoEnumIterator; + + // Iterate over the Ranks in reversed order since we are + // printing top to bottom and the top rank is the last Rank. + for rank in <$sq as SquareType>::Rank::iter().rev() { + for file in <$sq as SquareType>::File::iter() { + let square = $sq::new(file, rank); + write!(f, "{}", if self.contains(square) { + "1 " // 1 if the BitBoard contains the Square + } else { + "0 " // 0 if the BitBoard doesn't contain the Square + })?; + } + + writeln!(f)?; + } + + Ok(()) + } + } + + impl std::fmt::Debug for BitBoard { + fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { + write!(f, "{}", self) + } + } + }; + // @pieces generates the piece types, which include Piece, Color, and // ColoredPiece from the given game specific details like their string // representations. @@ -504,10 +576,7 @@ macro_rules! set_type { impl crate::interface::SetType<$typ, $sq> for $name { const EMPTY: Self = Self(0); - const UNIVERSE: Self = Self(match (1 as $typ).checked_shl(<$sq as $crate::interface::RepresentableType<_>>::N as u32) { - Some(universe) => universe.wrapping_sub(1), - None => (-1i8) as $typ, - }); + const UNIVERSE: Self = $crate::interface::derive_set!(@universe $typ $sq); } impl Iterator for $name { @@ -623,55 +692,64 @@ macro_rules! set_type { pub(crate) use set_type; -macro_rules! bitboard_type { - ($(#[doc = $doc:expr])* struct $name:tt : $typ:tt { - Square = $sq:tt; - FirstFile = $first_file:expr; - FirstRank = $first_rank:expr; - }) => { - crate::interface::set_type!($name<$sq>: $typ); - - impl crate::interface::BitBoardType for $name { - type Base = $typ; - type Square = $sq; - - const FIRST_FILE: Self = $first_file; - const FIRST_RANK: Self = $first_rank; - } - - // Display a bitboard as ASCII art with 0s and 1s. - impl std::fmt::Display for $name { - fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { - use $crate::interface::{SquareType, SetType}; - use strum::IntoEnumIterator; - - // Iterate over the Ranks in reversed order since we are - // printing top to bottom and the top rank is the last Rank. - for rank in <$sq as SquareType>::Rank::iter().rev() { - for file in <$sq as SquareType>::File::iter() { - let square = $sq::new(file, rank); - write!(f, "{}", if self.contains(square) { - "1 " // 1 if the BitBoard contains the Square - } else { - "0 " // 0 if the BitBoard doesn't contain the Square - })?; - } - - writeln!(f)?; +// derive_set resolves into some of the fundamental sets for a SetType/BitBoard. +macro_rules! derive_set { + // @universe resolves into the universal set. + (@universe $base:tt $elem:tt) => {{ + use $crate::interface::RepresentableType; + Self( + // (1 << Square::N) - 1 + match (1 as $base) + .checked_shl(<$elem as RepresentableType>::N as u32) + { + Some(universe) => universe.wrapping_sub(1), + None => (-1i8) as $base, + }, + ) + }}; + + // @first_rank resolves into the set containing the Squares in the first Rank. + (@first_rank $bb:tt) => {{ + use $crate::interface::{RepresentableType, BitBoardType, SquareType}; + Self( + // (1 << File::N) - 1 + match (1 as <$bb as BitBoardType>::Base) + .checked_shl(<<<$bb as BitBoardType>::Square as SquareType>::File as RepresentableType>::N as u32) { + Some(universe) => universe.wrapping_sub(1), + None => 1, } - - Ok(()) + ) + }}; + + // @first_file resolves into the set containing the Squares in the first File. + (@first_file $bb:tt) => {{ + use $crate::interface::{RepresentableType, BitBoardType, SquareType}; + + let mut i = 0u32; + let mut file = 0 as <$bb as BitBoardType>::Base; + let file_n = << + <$bb as BitBoardType>::Square as SquareType + >::File as RepresentableType>::N as u32; + + loop { + // i < file_n + if i >= file_n { + break } - } - impl std::fmt::Debug for $name { - fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { - write!(f, "{}", self) - } + // file |= 1 << (File::N * i) + file |= match (1 as <$bb as BitBoardType>::Base).checked_shl(file_n * i) { + Some(file) => file, + None => 0, + }; + + // i++ + i += 1; } - }; + Self(file) + }}; } -pub(crate) use bitboard_type; +pub(crate) use derive_set; /// PositionParseErr represents an error encountered while parsing /// the given FEN position field into a valid Position. diff --git a/games/src/isolation/bitboard.rs b/games/src/isolation/bitboard.rs deleted file mode 100644 index d9fa560..0000000 --- a/games/src/isolation/bitboard.rs +++ /dev/null @@ -1,40 +0,0 @@ -// Copyright © 2024 Rak Laptudirm -// -// Licensed under the Apache License, Version 2.0 (the "License"); -// you may not use this file except in compliance with the License. -// You may obtain a copy of the License at -// http://www.apache.org/licenses/LICENSE-2.0 -// -// Unless required by applicable law or agreed to in writing, software -// distributed under the License is distributed on an "AS IS" BASIS, -// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. -// See the License for the specific language governing permissions and -// limitations under the License. - -use crate::interface::bitboard_type; - -use super::Square; - -bitboard_type! { - /// A set of Squares implemented as a bitset where the `1 << sq.into()` bit - /// represents whether `sq` is in the BitBoard or not. - struct BitBoard : u64 { - // The BitBoard's Square type. - Square = Square; - - // BitBoards containing the squares of the first file and the first rank. - FirstFile = Self(0x0000010101010101); - FirstRank = Self(0x00000000000000ff); - } -} - -use crate::interface::BitBoardType; - -impl BitBoard { - /// singles returns the targets of all singular moves from all the source - /// squares given in the provided BitBoard. - pub fn singles(bb: BitBoard) -> BitBoard { - let bar = bb | bb.east() | bb.west(); - (bar | bar.north() | bar.south()) ^ bb - } -} diff --git a/games/src/isolation/mod.rs b/games/src/isolation/mod.rs index d2c4138..a97119c 100644 --- a/games/src/isolation/mod.rs +++ b/games/src/isolation/mod.rs @@ -1,12 +1,10 @@ // Make the contents of the non-namespaced // modules public, so they can be accessed // without their parent namespace. -pub use self::bitboard::*; pub use self::position::*; pub use self::r#move::*; // Non-namespaced modules. -mod bitboard; mod r#move; mod position; @@ -14,10 +12,20 @@ mod position; mod tests; crate::interface::game_details!( - @bitboard_less Files: A, B, C, D, E, F, G, H; Ranks: 1 First, 2 Second, 3 Third, 4 Fourth, 5 Fifth, 6 Sixth; Pieces: Pawn "p"; Tile "-"; Colors: White "w" ("P"), Black "b" ("p"); ); + +use crate::interface::BitBoardType; + +impl BitBoard { + /// singles returns the targets of all singular moves from all the source + /// squares given in the provided BitBoard. + pub fn singles(bb: BitBoard) -> BitBoard { + let bar = bb | bb.east() | bb.west(); + (bar | bar.north() | bar.south()) ^ bb + } +}