#[rustfmt::skip]
pub(crate) const SBOX: [u8; 256] = [
0x3a, 0xea, 0x68, 0xfe, 0x33, 0xe9, 0x88, 0x1a, 0x83, 0xcf, 0xe1, 0x7f, 0xba, 0xe2, 0x38, 0x12,
0xe8, 0x27, 0x61, 0x95, 0x0c, 0x36, 0xe5, 0x70, 0xa2, 0x06, 0x82, 0x7c, 0x17, 0xa3, 0x26, 0x49,
0xbe, 0x7a, 0x6d, 0x47, 0xc1, 0x51, 0x8f, 0xf3, 0xcc, 0x5b, 0x67, 0xbd, 0xcd, 0x18, 0x08, 0xc9,
0xff, 0x69, 0xef, 0x03, 0x4e, 0x48, 0x4a, 0x84, 0x3f, 0xb4, 0x10, 0x04, 0xdc, 0xf5, 0x5c, 0xc6,
0x16, 0xab, 0xac, 0x4c, 0xf1, 0x6a, 0x2f, 0x3c, 0x3b, 0xd4, 0xd5, 0x94, 0xd0, 0xc4, 0x63, 0x62,
0x71, 0xa1, 0xf9, 0x4f, 0x2e, 0xaa, 0xc5, 0x56, 0xe3, 0x39, 0x93, 0xce, 0x65, 0x64, 0xe4, 0x58,
0x6c, 0x19, 0x42, 0x79, 0xdd, 0xee, 0x96, 0xf6, 0x8a, 0xec, 0x1e, 0x85, 0x53, 0x45, 0xde, 0xbb,
0x7e, 0x0a, 0x9a, 0x13, 0x2a, 0x9d, 0xc2, 0x5e, 0x5a, 0x1f, 0x32, 0x35, 0x9c, 0xa8, 0x73, 0x30,
0x29, 0x3d, 0xe7, 0x92, 0x87, 0x1b, 0x2b, 0x4b, 0xa5, 0x57, 0x97, 0x40, 0x15, 0xe6, 0xbc, 0x0e,
0xeb, 0xc3, 0x34, 0x2d, 0xb8, 0x44, 0x25, 0xa4, 0x1c, 0xc7, 0x23, 0xed, 0x90, 0x6e, 0x50, 0x00,
0x99, 0x9e, 0x4d, 0xd9, 0xda, 0x8d, 0x6f, 0x5f, 0x3e, 0xd7, 0x21, 0x74, 0x86, 0xdf, 0x6b, 0x05,
0x8e, 0x5d, 0x37, 0x11, 0xd2, 0x28, 0x75, 0xd6, 0xa7, 0x77, 0x24, 0xbf, 0xf0, 0xb0, 0x02, 0xb7,
0xf8, 0xfc, 0x81, 0x09, 0xb1, 0x01, 0x76, 0x91, 0x7d, 0x0f, 0xc8, 0xa0, 0xf2, 0xcb, 0x78, 0x60,
0xd1, 0xf7, 0xe0, 0xb5, 0x98, 0x22, 0xb3, 0x20, 0x1d, 0xa6, 0xdb, 0x7b, 0x59, 0x9f, 0xae, 0x31,
0xfb, 0xd3, 0xb6, 0xca, 0x43, 0x72, 0x07, 0xf4, 0xd8, 0x41, 0x14, 0x55, 0x0d, 0x54, 0x8b, 0xb9,
0xad, 0x46, 0x0b, 0xaf, 0x80, 0x52, 0x2c, 0xfa, 0x8c, 0x89, 0x66, 0xfd, 0xb2, 0xa9, 0x9b, 0xc0,
];
#[rustfmt::skip]
pub(crate) const PERM: [u8; 256] = [
0x00, 0x02, 0x80, 0x82, 0x20, 0x22, 0xa0, 0xa2, 0x10, 0x12, 0x90, 0x92, 0x30, 0x32, 0xb0, 0xb2,
0x04, 0x06, 0x84, 0x86, 0x24, 0x26, 0xa4, 0xa6, 0x14, 0x16, 0x94, 0x96, 0x34, 0x36, 0xb4, 0xb6,
0x40, 0x42, 0xc0, 0xc2, 0x60, 0x62, 0xe0, 0xe2, 0x50, 0x52, 0xd0, 0xd2, 0x70, 0x72, 0xf0, 0xf2,
0x44, 0x46, 0xc4, 0xc6, 0x64, 0x66, 0xe4, 0xe6, 0x54, 0x56, 0xd4, 0xd6, 0x74, 0x76, 0xf4, 0xf6,
0x01, 0x03, 0x81, 0x83, 0x21, 0x23, 0xa1, 0xa3, 0x11, 0x13, 0x91, 0x93, 0x31, 0x33, 0xb1, 0xb3,
0x05, 0x07, 0x85, 0x87, 0x25, 0x27, 0xa5, 0xa7, 0x15, 0x17, 0x95, 0x97, 0x35, 0x37, 0xb5, 0xb7,
0x41, 0x43, 0xc1, 0xc3, 0x61, 0x63, 0xe1, 0xe3, 0x51, 0x53, 0xd1, 0xd3, 0x71, 0x73, 0xf1, 0xf3,
0x45, 0x47, 0xc5, 0xc7, 0x65, 0x67, 0xe5, 0xe7, 0x55, 0x57, 0xd5, 0xd7, 0x75, 0x77, 0xf5, 0xf7,
0x08, 0x0a, 0x88, 0x8a, 0x28, 0x2a, 0xa8, 0xaa, 0x18, 0x1a, 0x98, 0x9a, 0x38, 0x3a, 0xb8, 0xba,
0x0c, 0x0e, 0x8c, 0x8e, 0x2c, 0x2e, 0xac, 0xae, 0x1c, 0x1e, 0x9c, 0x9e, 0x3c, 0x3e, 0xbc, 0xbe,
0x48, 0x4a, 0xc8, 0xca, 0x68, 0x6a, 0xe8, 0xea, 0x58, 0x5a, 0xd8, 0xda, 0x78, 0x7a, 0xf8, 0xfa,
0x4c, 0x4e, 0xcc, 0xce, 0x6c, 0x6e, 0xec, 0xee, 0x5c, 0x5e, 0xdc, 0xde, 0x7c, 0x7e, 0xfc, 0xfe,
0x09, 0x0b, 0x89, 0x8b, 0x29, 0x2b, 0xa9, 0xab, 0x19, 0x1b, 0x99, 0x9b, 0x39, 0x3b, 0xb9, 0xbb,
0x0d, 0x0f, 0x8d, 0x8f, 0x2d, 0x2f, 0xad, 0xaf, 0x1d, 0x1f, 0x9d, 0x9f, 0x3d, 0x3f, 0xbd, 0xbf,
0x49, 0x4b, 0xc9, 0xcb, 0x69, 0x6b, 0xe9, 0xeb, 0x59, 0x5b, 0xd9, 0xdb, 0x79, 0x7b, 0xf9, 0xfb,
0x4d, 0x4f, 0xcd, 0xcf, 0x6d, 0x6f, 0xed, 0xef, 0x5d, 0x5f, 0xdd, 0xdf, 0x7d, 0x7f, 0xfd, 0xff,
];
#[rustfmt::skip]
pub(crate) const KPERM: [[u64; 256]; 8] = [
[
0x0000000000000000, 0x0000000000080000, 0x0000000008000000, 0x0000000008080000,
0x0080000000000000, 0x0080000000080000, 0x0080000008000000, 0x0080000008080000,
0x0000400000000000, 0x0000400000080000, 0x0000400008000000, 0x0000400008080000,
0x0080400000000000, 0x0080400000080000, 0x0080400008000000, 0x0080400008080000,
0x0000000000000002, 0x0000000000080002, 0x0000000008000002, 0x0000000008080002,
0x0080000000000002, 0x0080000000080002, 0x0080000008000002, 0x0080000008080002,
0x0000400000000002, 0x0000400000080002, 0x0000400008000002, 0x0000400008080002,
0x0080400000000002, 0x0080400000080002, 0x0080400008000002, 0x0080400008080002,
0x0000000000008000, 0x0000000000088000, 0x0000000008008000, 0x0000000008088000,
0x0080000000008000, 0x0080000000088000, 0x0080000008008000, 0x0080000008088000,
0x0000400000008000, 0x0000400000088000, 0x0000400008008000, 0x0000400008088000,
0x0080400000008000, 0x0080400000088000, 0x0080400008008000, 0x0080400008088000,
0x0000000000008002, 0x0000000000088002, 0x0000000008008002, 0x0000000008088002,
0x0080000000008002, 0x0080000000088002, 0x0080000008008002, 0x0080000008088002,
0x0000400000008002, 0x0000400000088002, 0x0000400008008002, 0x0000400008088002,
0x0080400000008002, 0x0080400000088002, 0x0080400008008002, 0x0080400008088002,
0x0000001000000000, 0x0000001000080000, 0x0000001008000000, 0x0000001008080000,
0x0080001000000000, 0x0080001000080000, 0x0080001008000000, 0x0080001008080000,
0x0000401000000000, 0x0000401000080000, 0x0000401008000000, 0x0000401008080000,
0x0080401000000000, 0x0080401000080000, 0x0080401008000000, 0x0080401008080000,
0x0000001000000002, 0x0000001000080002, 0x0000001008000002, 0x0000001008080002,
0x0080001000000002, 0x0080001000080002, 0x0080001008000002, 0x0080001008080002,
0x0000401000000002, 0x0000401000080002, 0x0000401008000002, 0x0000401008080002,
0x0080401000000002, 0x0080401000080002, 0x0080401008000002, 0x0080401008080002,
0x0000001000008000, 0x0000001000088000, 0x0000001008008000, 0x0000001008088000,
0x0080001000008000, 0x0080001000088000, 0x0080001008008000, 0x0080001008088000,
0x0000401000008000, 0x0000401000088000, 0x0000401008008000, 0x0000401008088000,
0x0080401000008000, 0x0080401000088000, 0x0080401008008000, 0x0080401008088000,
0x0000001000008002, 0x0000001000088002, 0x0000001008008002, 0x0000001008088002,
0x0080001000008002, 0x0080001000088002, 0x0080001008008002, 0x0080001008088002,
0x0000401000008002, 0x0000401000088002, 0x0000401008008002, 0x0000401008088002,
0x0080401000008002, 0x0080401000088002, 0x0080401008008002, 0x0080401008088002,
0x0000000000400000, 0x0000000000480000, 0x0000000008400000, 0x0000000008480000,
0x0080000000400000, 0x0080000000480000, 0x0080000008400000, 0x0080000008480000,
0x0000400000400000, 0x0000400000480000, 0x0000400008400000, 0x0000400008480000,
0x0080400000400000, 0x0080400000480000, 0x0080400008400000, 0x0080400008480000,
0x0000000000400002, 0x0000000000480002, 0x0000000008400002, 0x0000000008480002,
0x0080000000400002, 0x0080000000480002, 0x0080000008400002, 0x0080000008480002,
0x0000400000400002, 0x0000400000480002, 0x0000400008400002, 0x0000400008480002,
0x0080400000400002, 0x0080400000480002, 0x0080400008400002, 0x0080400008480002,
0x0000000000408000, 0x0000000000488000, 0x0000000008408000, 0x0000000008488000,
0x0080000000408000, 0x0080000000488000, 0x0080000008408000, 0x0080000008488000,
0x0000400000408000, 0x0000400000488000, 0x0000400008408000, 0x0000400008488000,
0x0080400000408000, 0x0080400000488000, 0x0080400008408000, 0x0080400008488000,
0x0000000000408002, 0x0000000000488002, 0x0000000008408002, 0x0000000008488002,
0x0080000000408002, 0x0080000000488002, 0x0080000008408002, 0x0080000008488002,
0x0000400000408002, 0x0000400000488002, 0x0000400008408002, 0x0000400008488002,
0x0080400000408002, 0x0080400000488002, 0x0080400008408002, 0x0080400008488002,
0x0000001000400000, 0x0000001000480000, 0x0000001008400000, 0x0000001008480000,
0x0080001000400000, 0x0080001000480000, 0x0080001008400000, 0x0080001008480000,
0x0000401000400000, 0x0000401000480000, 0x0000401008400000, 0x0000401008480000,
0x0080401000400000, 0x0080401000480000, 0x0080401008400000, 0x0080401008480000,
0x0000001000400002, 0x0000001000480002, 0x0000001008400002, 0x0000001008480002,
0x0080001000400002, 0x0080001000480002, 0x0080001008400002, 0x0080001008480002,
0x0000401000400002, 0x0000401000480002, 0x0000401008400002, 0x0000401008480002,
0x0080401000400002, 0x0080401000480002, 0x0080401008400002, 0x0080401008480002,
0x0000001000408000, 0x0000001000488000, 0x0000001008408000, 0x0000001008488000,
0x0080001000408000, 0x0080001000488000, 0x0080001008408000, 0x0080001008488000,
0x0000401000408000, 0x0000401000488000, 0x0000401008408000, 0x0000401008488000,
0x0080401000408000, 0x0080401000488000, 0x0080401008408000, 0x0080401008488000,
0x0000001000408002, 0x0000001000488002, 0x0000001008408002, 0x0000001008488002,
0x0080001000408002, 0x0080001000488002, 0x0080001008408002, 0x0080001008488002,
0x0000401000408002, 0x0000401000488002, 0x0000401008408002, 0x0000401008488002,
0x0080401000408002, 0x0080401000488002, 0x0080401008408002, 0x0080401008488002,
],
[
0x0000000000000000, 0x0100000000000000, 0x2000000000000000, 0x2100000000000000,
0x0000008000000000, 0x0100008000000000, 0x2000008000000000, 0x2100008000000000,
0x0000000000200000, 0x0100000000200000, 0x2000000000200000, 0x2100000000200000,
0x0000008000200000, 0x0100008000200000, 0x2000008000200000, 0x2100008000200000,
0x0040000000000000, 0x0140000000000000, 0x2040000000000000, 0x2140000000000000,
0x0040008000000000, 0x0140008000000000, 0x2040008000000000, 0x2140008000000000,
0x0040000000200000, 0x0140000000200000, 0x2040000000200000, 0x2140000000200000,
0x0040008000200000, 0x0140008000200000, 0x2040008000200000, 0x2140008000200000,
0x0400000000000000, 0x0500000000000000, 0x2400000000000000, 0x2500000000000000,
0x0400008000000000, 0x0500008000000000, 0x2400008000000000, 0x2500008000000000,
0x0400000000200000, 0x0500000000200000, 0x2400000000200000, 0x2500000000200000,
0x0400008000200000, 0x0500008000200000, 0x2400008000200000, 0x2500008000200000,
0x0440000000000000, 0x0540000000000000, 0x2440000000000000, 0x2540000000000000,
0x0440008000000000, 0x0540008000000000, 0x2440008000000000, 0x2540008000000000,
0x0440000000200000, 0x0540000000200000, 0x2440000000200000, 0x2540000000200000,
0x0440008000200000, 0x0540008000200000, 0x2440008000200000, 0x2540008000200000,
0x0004000000000000, 0x0104000000000000, 0x2004000000000000, 0x2104000000000000,
0x0004008000000000, 0x0104008000000000, 0x2004008000000000, 0x2104008000000000,
0x0004000000200000, 0x0104000000200000, 0x2004000000200000, 0x2104000000200000,
0x0004008000200000, 0x0104008000200000, 0x2004008000200000, 0x2104008000200000,
0x0044000000000000, 0x0144000000000000, 0x2044000000000000, 0x2144000000000000,
0x0044008000000000, 0x0144008000000000, 0x2044008000000000, 0x2144008000000000,
0x0044000000200000, 0x0144000000200000, 0x2044000000200000, 0x2144000000200000,
0x0044008000200000, 0x0144008000200000, 0x2044008000200000, 0x2144008000200000,
0x0404000000000000, 0x0504000000000000, 0x2404000000000000, 0x2504000000000000,
0x0404008000000000, 0x0504008000000000, 0x2404008000000000, 0x2504008000000000,
0x0404000000200000, 0x0504000000200000, 0x2404000000200000, 0x2504000000200000,
0x0404008000200000, 0x0504008000200000, 0x2404008000200000, 0x2504008000200000,
0x0444000000000000, 0x0544000000000000, 0x2444000000000000, 0x2544000000000000,
0x0444008000000000, 0x0544008000000000, 0x2444008000000000, 0x2544008000000000,
0x0444000000200000, 0x0544000000200000, 0x2444000000200000, 0x2544000000200000,
0x0444008000200000, 0x0544008000200000, 0x2444008000200000, 0x2544008000200000,
0x0000000010000000, 0x0100000010000000, 0x2000000010000000, 0x2100000010000000,
0x0000008010000000, 0x0100008010000000, 0x2000008010000000, 0x2100008010000000,
0x0000000010200000, 0x0100000010200000, 0x2000000010200000, 0x2100000010200000,
0x0000008010200000, 0x0100008010200000, 0x2000008010200000, 0x2100008010200000,
0x0040000010000000, 0x0140000010000000, 0x2040000010000000, 0x2140000010000000,
0x0040008010000000, 0x0140008010000000, 0x2040008010000000, 0x2140008010000000,
0x0040000010200000, 0x0140000010200000, 0x2040000010200000, 0x2140000010200000,
0x0040008010200000, 0x0140008010200000, 0x2040008010200000, 0x2140008010200000,
0x0400000010000000, 0x0500000010000000, 0x2400000010000000, 0x2500000010000000,
0x0400008010000000, 0x0500008010000000, 0x2400008010000000, 0x2500008010000000,
0x0400000010200000, 0x0500000010200000, 0x2400000010200000, 0x2500000010200000,
0x0400008010200000, 0x0500008010200000, 0x2400008010200000, 0x2500008010200000,
0x0440000010000000, 0x0540000010000000, 0x2440000010000000, 0x2540000010000000,
0x0440008010000000, 0x0540008010000000, 0x2440008010000000, 0x2540008010000000,
0x0440000010200000, 0x0540000010200000, 0x2440000010200000, 0x2540000010200000,
0x0440008010200000, 0x0540008010200000, 0x2440008010200000, 0x2540008010200000,
0x0004000010000000, 0x0104000010000000, 0x2004000010000000, 0x2104000010000000,
0x0004008010000000, 0x0104008010000000, 0x2004008010000000, 0x2104008010000000,
0x0004000010200000, 0x0104000010200000, 0x2004000010200000, 0x2104000010200000,
0x0004008010200000, 0x0104008010200000, 0x2004008010200000, 0x2104008010200000,
0x0044000010000000, 0x0144000010000000, 0x2044000010000000, 0x2144000010000000,
0x0044008010000000, 0x0144008010000000, 0x2044008010000000, 0x2144008010000000,
0x0044000010200000, 0x0144000010200000, 0x2044000010200000, 0x2144000010200000,
0x0044008010200000, 0x0144008010200000, 0x2044008010200000, 0x2144008010200000,
0x0404000010000000, 0x0504000010000000, 0x2404000010000000, 0x2504000010000000,
0x0404008010000000, 0x0504008010000000, 0x2404008010000000, 0x2504008010000000,
0x0404000010200000, 0x0504000010200000, 0x2404000010200000, 0x2504000010200000,
0x0404008010200000, 0x0504008010200000, 0x2404008010200000, 0x2504008010200000,
0x0444000010000000, 0x0544000010000000, 0x2444000010000000, 0x2544000010000000,
0x0444008010000000, 0x0544008010000000, 0x2444008010000000, 0x2544008010000000,
0x0444000010200000, 0x0544000010200000, 0x2444000010200000, 0x2544000010200000,
0x0444008010200000, 0x0544008010200000, 0x2444008010200000, 0x2544008010200000,
],
[
0x0000000000000000, 0x0000000000000080, 0x0000000020000000, 0x0000000020000080,
0x0008000000000000, 0x0008000000000080, 0x0008000020000000, 0x0008000020000080,
0x0000000000000040, 0x00000000000000c0, 0x0000000020000040, 0x00000000200000c0,
0x0008000000000040, 0x00080000000000c0, 0x0008000020000040, 0x00080000200000c0,
0x0000000200000000, 0x0000000200000080, 0x0000000220000000, 0x0000000220000080,
0x0008000200000000, 0x0008000200000080, 0x0008000220000000, 0x0008000220000080,
0x0000000200000040, 0x00000002000000c0, 0x0000000220000040, 0x00000002200000c0,
0x0008000200000040, 0x00080002000000c0, 0x0008000220000040, 0x00080002200000c0,
0x0000000800000000, 0x0000000800000080, 0x0000000820000000, 0x0000000820000080,
0x0008000800000000, 0x0008000800000080, 0x0008000820000000, 0x0008000820000080,
0x0000000800000040, 0x00000008000000c0, 0x0000000820000040, 0x00000008200000c0,
0x0008000800000040, 0x00080008000000c0, 0x0008000820000040, 0x00080008200000c0,
0x0000000a00000000, 0x0000000a00000080, 0x0000000a20000000, 0x0000000a20000080,
0x0008000a00000000, 0x0008000a00000080, 0x0008000a20000000, 0x0008000a20000080,
0x0000000a00000040, 0x0000000a000000c0, 0x0000000a20000040, 0x0000000a200000c0,
0x0008000a00000040, 0x0008000a000000c0, 0x0008000a20000040, 0x0008000a200000c0,
0x0000000000100000, 0x0000000000100080, 0x0000000020100000, 0x0000000020100080,
0x0008000000100000, 0x0008000000100080, 0x0008000020100000, 0x0008000020100080,
0x0000000000100040, 0x00000000001000c0, 0x0000000020100040, 0x00000000201000c0,
0x0008000000100040, 0x00080000001000c0, 0x0008000020100040, 0x00080000201000c0,
0x0000000200100000, 0x0000000200100080, 0x0000000220100000, 0x0000000220100080,
0x0008000200100000, 0x0008000200100080, 0x0008000220100000, 0x0008000220100080,
0x0000000200100040, 0x00000002001000c0, 0x0000000220100040, 0x00000002201000c0,
0x0008000200100040, 0x00080002001000c0, 0x0008000220100040, 0x00080002201000c0,
0x0000000800100000, 0x0000000800100080, 0x0000000820100000, 0x0000000820100080,
0x0008000800100000, 0x0008000800100080, 0x0008000820100000, 0x0008000820100080,
0x0000000800100040, 0x00000008001000c0, 0x0000000820100040, 0x00000008201000c0,
0x0008000800100040, 0x00080008001000c0, 0x0008000820100040, 0x00080008201000c0,
0x0000000a00100000, 0x0000000a00100080, 0x0000000a20100000, 0x0000000a20100080,
0x0008000a00100000, 0x0008000a00100080, 0x0008000a20100000, 0x0008000a20100080,
0x0000000a00100040, 0x0000000a001000c0, 0x0000000a20100040, 0x0000000a201000c0,
0x0008000a00100040, 0x0008000a001000c0, 0x0008000a20100040, 0x0008000a201000c0,
0x0000000000010000, 0x0000000000010080, 0x0000000020010000, 0x0000000020010080,
0x0008000000010000, 0x0008000000010080, 0x0008000020010000, 0x0008000020010080,
0x0000000000010040, 0x00000000000100c0, 0x0000000020010040, 0x00000000200100c0,
0x0008000000010040, 0x00080000000100c0, 0x0008000020010040, 0x00080000200100c0,
0x0000000200010000, 0x0000000200010080, 0x0000000220010000, 0x0000000220010080,
0x0008000200010000, 0x0008000200010080, 0x0008000220010000, 0x0008000220010080,
0x0000000200010040, 0x00000002000100c0, 0x0000000220010040, 0x00000002200100c0,
0x0008000200010040, 0x00080002000100c0, 0x0008000220010040, 0x00080002200100c0,
0x0000000800010000, 0x0000000800010080, 0x0000000820010000, 0x0000000820010080,
0x0008000800010000, 0x0008000800010080, 0x0008000820010000, 0x0008000820010080,
0x0000000800010040, 0x00000008000100c0, 0x0000000820010040, 0x00000008200100c0,
0x0008000800010040, 0x00080008000100c0, 0x0008000820010040, 0x00080008200100c0,
0x0000000a00010000, 0x0000000a00010080, 0x0000000a20010000, 0x0000000a20010080,
0x0008000a00010000, 0x0008000a00010080, 0x0008000a20010000, 0x0008000a20010080,
0x0000000a00010040, 0x0000000a000100c0, 0x0000000a20010040, 0x0000000a200100c0,
0x0008000a00010040, 0x0008000a000100c0, 0x0008000a20010040, 0x0008000a200100c0,
0x0000000000110000, 0x0000000000110080, 0x0000000020110000, 0x0000000020110080,
0x0008000000110000, 0x0008000000110080, 0x0008000020110000, 0x0008000020110080,
0x0000000000110040, 0x00000000001100c0, 0x0000000020110040, 0x00000000201100c0,
0x0008000000110040, 0x00080000001100c0, 0x0008000020110040, 0x00080000201100c0,
0x0000000200110000, 0x0000000200110080, 0x0000000220110000, 0x0000000220110080,
0x0008000200110000, 0x0008000200110080, 0x0008000220110000, 0x0008000220110080,
0x0000000200110040, 0x00000002001100c0, 0x0000000220110040, 0x00000002201100c0,
0x0008000200110040, 0x00080002001100c0, 0x0008000220110040, 0x00080002201100c0,
0x0000000800110000, 0x0000000800110080, 0x0000000820110000, 0x0000000820110080,
0x0008000800110000, 0x0008000800110080, 0x0008000820110000, 0x0008000820110080,
0x0000000800110040, 0x00000008001100c0, 0x0000000820110040, 0x00000008201100c0,
0x0008000800110040, 0x00080008001100c0, 0x0008000820110040, 0x00080008201100c0,
0x0000000a00110000, 0x0000000a00110080, 0x0000000a20110000, 0x0000000a20110080,
0x0008000a00110000, 0x0008000a00110080, 0x0008000a20110000, 0x0008000a20110080,
0x0000000a00110040, 0x0000000a001100c0, 0x0000000a20110040, 0x0000000a201100c0,
0x0008000a00110040, 0x0008000a001100c0, 0x0008000a20110040, 0x0008000a201100c0,
],
[
0x0000000000000000, 0x0000800000000000, 0x0000000040000000, 0x0000800040000000,
0x0000000100000000, 0x0000800100000000, 0x0000000140000000, 0x0000800140000000,
0x8000000000000000, 0x8000800000000000, 0x8000000040000000, 0x8000800040000000,
0x8000000100000000, 0x8000800100000000, 0x8000000140000000, 0x8000800140000000,
0x0000000000000400, 0x0000800000000400, 0x0000000040000400, 0x0000800040000400,
0x0000000100000400, 0x0000800100000400, 0x0000000140000400, 0x0000800140000400,
0x8000000000000400, 0x8000800000000400, 0x8000000040000400, 0x8000800040000400,
0x8000000100000400, 0x8000800100000400, 0x8000000140000400, 0x8000800140000400,
0x0000000000000800, 0x0000800000000800, 0x0000000040000800, 0x0000800040000800,
0x0000000100000800, 0x0000800100000800, 0x0000000140000800, 0x0000800140000800,
0x8000000000000800, 0x8000800000000800, 0x8000000040000800, 0x8000800040000800,
0x8000000100000800, 0x8000800100000800, 0x8000000140000800, 0x8000800140000800,
0x0000000000000c00, 0x0000800000000c00, 0x0000000040000c00, 0x0000800040000c00,
0x0000000100000c00, 0x0000800100000c00, 0x0000000140000c00, 0x0000800140000c00,
0x8000000000000c00, 0x8000800000000c00, 0x8000000040000c00, 0x8000800040000c00,
0x8000000100000c00, 0x8000800100000c00, 0x8000000140000c00, 0x8000800140000c00,
0x0000000000000010, 0x0000800000000010, 0x0000000040000010, 0x0000800040000010,
0x0000000100000010, 0x0000800100000010, 0x0000000140000010, 0x0000800140000010,
0x8000000000000010, 0x8000800000000010, 0x8000000040000010, 0x8000800040000010,
0x8000000100000010, 0x8000800100000010, 0x8000000140000010, 0x8000800140000010,
0x0000000000000410, 0x0000800000000410, 0x0000000040000410, 0x0000800040000410,
0x0000000100000410, 0x0000800100000410, 0x0000000140000410, 0x0000800140000410,
0x8000000000000410, 0x8000800000000410, 0x8000000040000410, 0x8000800040000410,
0x8000000100000410, 0x8000800100000410, 0x8000000140000410, 0x8000800140000410,
0x0000000000000810, 0x0000800000000810, 0x0000000040000810, 0x0000800040000810,
0x0000000100000810, 0x0000800100000810, 0x0000000140000810, 0x0000800140000810,
0x8000000000000810, 0x8000800000000810, 0x8000000040000810, 0x8000800040000810,
0x8000000100000810, 0x8000800100000810, 0x8000000140000810, 0x8000800140000810,
0x0000000000000c10, 0x0000800000000c10, 0x0000000040000c10, 0x0000800040000c10,
0x0000000100000c10, 0x0000800100000c10, 0x0000000140000c10, 0x0000800140000c10,
0x8000000000000c10, 0x8000800000000c10, 0x8000000040000c10, 0x8000800040000c10,
0x8000000100000c10, 0x8000800100000c10, 0x8000000140000c10, 0x8000800140000c10,
0x0000004000000000, 0x0000804000000000, 0x0000004040000000, 0x0000804040000000,
0x0000004100000000, 0x0000804100000000, 0x0000004140000000, 0x0000804140000000,
0x8000004000000000, 0x8000804000000000, 0x8000004040000000, 0x8000804040000000,
0x8000004100000000, 0x8000804100000000, 0x8000004140000000, 0x8000804140000000,
0x0000004000000400, 0x0000804000000400, 0x0000004040000400, 0x0000804040000400,
0x0000004100000400, 0x0000804100000400, 0x0000004140000400, 0x0000804140000400,
0x8000004000000400, 0x8000804000000400, 0x8000004040000400, 0x8000804040000400,
0x8000004100000400, 0x8000804100000400, 0x8000004140000400, 0x8000804140000400,
0x0000004000000800, 0x0000804000000800, 0x0000004040000800, 0x0000804040000800,
0x0000004100000800, 0x0000804100000800, 0x0000004140000800, 0x0000804140000800,
0x8000004000000800, 0x8000804000000800, 0x8000004040000800, 0x8000804040000800,
0x8000004100000800, 0x8000804100000800, 0x8000004140000800, 0x8000804140000800,
0x0000004000000c00, 0x0000804000000c00, 0x0000004040000c00, 0x0000804040000c00,
0x0000004100000c00, 0x0000804100000c00, 0x0000004140000c00, 0x0000804140000c00,
0x8000004000000c00, 0x8000804000000c00, 0x8000004040000c00, 0x8000804040000c00,
0x8000004100000c00, 0x8000804100000c00, 0x8000004140000c00, 0x8000804140000c00,
0x0000004000000010, 0x0000804000000010, 0x0000004040000010, 0x0000804040000010,
0x0000004100000010, 0x0000804100000010, 0x0000004140000010, 0x0000804140000010,
0x8000004000000010, 0x8000804000000010, 0x8000004040000010, 0x8000804040000010,
0x8000004100000010, 0x8000804100000010, 0x8000004140000010, 0x8000804140000010,
0x0000004000000410, 0x0000804000000410, 0x0000004040000410, 0x0000804040000410,
0x0000004100000410, 0x0000804100000410, 0x0000004140000410, 0x0000804140000410,
0x8000004000000410, 0x8000804000000410, 0x8000004040000410, 0x8000804040000410,
0x8000004100000410, 0x8000804100000410, 0x8000004140000410, 0x8000804140000410,
0x0000004000000810, 0x0000804000000810, 0x0000004040000810, 0x0000804040000810,
0x0000004100000810, 0x0000804100000810, 0x0000004140000810, 0x0000804140000810,
0x8000004000000810, 0x8000804000000810, 0x8000004040000810, 0x8000804040000810,
0x8000004100000810, 0x8000804100000810, 0x8000004140000810, 0x8000804140000810,
0x0000004000000c10, 0x0000804000000c10, 0x0000004040000c10, 0x0000804040000c10,
0x0000004100000c10, 0x0000804100000c10, 0x0000004140000c10, 0x0000804140000c10,
0x8000004000000c10, 0x8000804000000c10, 0x8000004040000c10, 0x8000804040000c10,
0x8000004100000c10, 0x8000804100000c10, 0x8000004140000c10, 0x8000804140000c10,
],
[
0x0000000000000000, 0x4000000000000000, 0x0000000004000000, 0x4000000004000000,
0x0000010000000000, 0x4000010000000000, 0x0000010004000000, 0x4000010004000000,
0x0000000000040000, 0x4000000000040000, 0x0000000004040000, 0x4000000004040000,
0x0000010000040000, 0x4000010000040000, 0x0000010004040000, 0x4000010004040000,
0x0000000000001000, 0x4000000000001000, 0x0000000004001000, 0x4000000004001000,
0x0000010000001000, 0x4000010000001000, 0x0000010004001000, 0x4000010004001000,
0x0000000000041000, 0x4000000000041000, 0x0000000004041000, 0x4000000004041000,
0x0000010000041000, 0x4000010000041000, 0x0000010004041000, 0x4000010004041000,
0x0010000000000000, 0x4010000000000000, 0x0010000004000000, 0x4010000004000000,
0x0010010000000000, 0x4010010000000000, 0x0010010004000000, 0x4010010004000000,
0x0010000000040000, 0x4010000000040000, 0x0010000004040000, 0x4010000004040000,
0x0010010000040000, 0x4010010000040000, 0x0010010004040000, 0x4010010004040000,
0x0010000000001000, 0x4010000000001000, 0x0010000004001000, 0x4010000004001000,
0x0010010000001000, 0x4010010000001000, 0x0010010004001000, 0x4010010004001000,
0x0010000000041000, 0x4010000000041000, 0x0010000004041000, 0x4010000004041000,
0x0010010000041000, 0x4010010000041000, 0x0010010004041000, 0x4010010004041000,
0x0000002000000000, 0x4000002000000000, 0x0000002004000000, 0x4000002004000000,
0x0000012000000000, 0x4000012000000000, 0x0000012004000000, 0x4000012004000000,
0x0000002000040000, 0x4000002000040000, 0x0000002004040000, 0x4000002004040000,
0x0000012000040000, 0x4000012000040000, 0x0000012004040000, 0x4000012004040000,
0x0000002000001000, 0x4000002000001000, 0x0000002004001000, 0x4000002004001000,
0x0000012000001000, 0x4000012000001000, 0x0000012004001000, 0x4000012004001000,
0x0000002000041000, 0x4000002000041000, 0x0000002004041000, 0x4000002004041000,
0x0000012000041000, 0x4000012000041000, 0x0000012004041000, 0x4000012004041000,
0x0010002000000000, 0x4010002000000000, 0x0010002004000000, 0x4010002004000000,
0x0010012000000000, 0x4010012000000000, 0x0010012004000000, 0x4010012004000000,
0x0010002000040000, 0x4010002000040000, 0x0010002004040000, 0x4010002004040000,
0x0010012000040000, 0x4010012000040000, 0x0010012004040000, 0x4010012004040000,
0x0010002000001000, 0x4010002000001000, 0x0010002004001000, 0x4010002004001000,
0x0010012000001000, 0x4010012000001000, 0x0010012004001000, 0x4010012004001000,
0x0010002000041000, 0x4010002000041000, 0x0010002004041000, 0x4010002004041000,
0x0010012000041000, 0x4010012000041000, 0x0010012004041000, 0x4010012004041000,
0x0020000000000000, 0x4020000000000000, 0x0020000004000000, 0x4020000004000000,
0x0020010000000000, 0x4020010000000000, 0x0020010004000000, 0x4020010004000000,
0x0020000000040000, 0x4020000000040000, 0x0020000004040000, 0x4020000004040000,
0x0020010000040000, 0x4020010000040000, 0x0020010004040000, 0x4020010004040000,
0x0020000000001000, 0x4020000000001000, 0x0020000004001000, 0x4020000004001000,
0x0020010000001000, 0x4020010000001000, 0x0020010004001000, 0x4020010004001000,
0x0020000000041000, 0x4020000000041000, 0x0020000004041000, 0x4020000004041000,
0x0020010000041000, 0x4020010000041000, 0x0020010004041000, 0x4020010004041000,
0x0030000000000000, 0x4030000000000000, 0x0030000004000000, 0x4030000004000000,
0x0030010000000000, 0x4030010000000000, 0x0030010004000000, 0x4030010004000000,
0x0030000000040000, 0x4030000000040000, 0x0030000004040000, 0x4030000004040000,
0x0030010000040000, 0x4030010000040000, 0x0030010004040000, 0x4030010004040000,
0x0030000000001000, 0x4030000000001000, 0x0030000004001000, 0x4030000004001000,
0x0030010000001000, 0x4030010000001000, 0x0030010004001000, 0x4030010004001000,
0x0030000000041000, 0x4030000000041000, 0x0030000004041000, 0x4030000004041000,
0x0030010000041000, 0x4030010000041000, 0x0030010004041000, 0x4030010004041000,
0x0020002000000000, 0x4020002000000000, 0x0020002004000000, 0x4020002004000000,
0x0020012000000000, 0x4020012000000000, 0x0020012004000000, 0x4020012004000000,
0x0020002000040000, 0x4020002000040000, 0x0020002004040000, 0x4020002004040000,
0x0020012000040000, 0x4020012000040000, 0x0020012004040000, 0x4020012004040000,
0x0020002000001000, 0x4020002000001000, 0x0020002004001000, 0x4020002004001000,
0x0020012000001000, 0x4020012000001000, 0x0020012004001000, 0x4020012004001000,
0x0020002000041000, 0x4020002000041000, 0x0020002004041000, 0x4020002004041000,
0x0020012000041000, 0x4020012000041000, 0x0020012004041000, 0x4020012004041000,
0x0030002000000000, 0x4030002000000000, 0x0030002004000000, 0x4030002004000000,
0x0030012000000000, 0x4030012000000000, 0x0030012004000000, 0x4030012004000000,
0x0030002000040000, 0x4030002000040000, 0x0030002004040000, 0x4030002004040000,
0x0030012000040000, 0x4030012000040000, 0x0030012004040000, 0x4030012004040000,
0x0030002000001000, 0x4030002000001000, 0x0030002004001000, 0x4030002004001000,
0x0030012000001000, 0x4030012000001000, 0x0030012004001000, 0x4030012004001000,
0x0030002000041000, 0x4030002000041000, 0x0030002004041000, 0x4030002004041000,
0x0030012000041000, 0x4030012000041000, 0x0030012004041000, 0x4030012004041000,
],
[
0x0000000000000000, 0x0000000000800000, 0x0800000000000000, 0x0800000000800000,
0x0000020000000000, 0x0000020000800000, 0x0800020000000000, 0x0800020000800000,
0x0000000000020000, 0x0000000000820000, 0x0800000000020000, 0x0800000000820000,
0x0000020000020000, 0x0000020000820000, 0x0800020000020000, 0x0800020000820000,
0x0000000080000000, 0x0000000080800000, 0x0800000080000000, 0x0800000080800000,
0x0000020080000000, 0x0000020080800000, 0x0800020080000000, 0x0800020080800000,
0x0000000080020000, 0x0000000080820000, 0x0800000080020000, 0x0800000080820000,
0x0000020080020000, 0x0000020080820000, 0x0800020080020000, 0x0800020080820000,
0x0000000000000001, 0x0000000000800001, 0x0800000000000001, 0x0800000000800001,
0x0000020000000001, 0x0000020000800001, 0x0800020000000001, 0x0800020000800001,
0x0000000000020001, 0x0000000000820001, 0x0800000000020001, 0x0800000000820001,
0x0000020000020001, 0x0000020000820001, 0x0800020000020001, 0x0800020000820001,
0x0000000080000001, 0x0000000080800001, 0x0800000080000001, 0x0800000080800001,
0x0000020080000001, 0x0000020080800001, 0x0800020080000001, 0x0800020080800001,
0x0000000080020001, 0x0000000080820001, 0x0800000080020001, 0x0800000080820001,
0x0000020080020001, 0x0000020080820001, 0x0800020080020001, 0x0800020080820001,
0x0000000002000000, 0x0000000002800000, 0x0800000002000000, 0x0800000002800000,
0x0000020002000000, 0x0000020002800000, 0x0800020002000000, 0x0800020002800000,
0x0000000002020000, 0x0000000002820000, 0x0800000002020000, 0x0800000002820000,
0x0000020002020000, 0x0000020002820000, 0x0800020002020000, 0x0800020002820000,
0x0000000082000000, 0x0000000082800000, 0x0800000082000000, 0x0800000082800000,
0x0000020082000000, 0x0000020082800000, 0x0800020082000000, 0x0800020082800000,
0x0000000082020000, 0x0000000082820000, 0x0800000082020000, 0x0800000082820000,
0x0000020082020000, 0x0000020082820000, 0x0800020082020000, 0x0800020082820000,
0x0000000002000001, 0x0000000002800001, 0x0800000002000001, 0x0800000002800001,
0x0000020002000001, 0x0000020002800001, 0x0800020002000001, 0x0800020002800001,
0x0000000002020001, 0x0000000002820001, 0x0800000002020001, 0x0800000002820001,
0x0000020002020001, 0x0000020002820001, 0x0800020002020001, 0x0800020002820001,
0x0000000082000001, 0x0000000082800001, 0x0800000082000001, 0x0800000082800001,
0x0000020082000001, 0x0000020082800001, 0x0800020082000001, 0x0800020082800001,
0x0000000082020001, 0x0000000082820001, 0x0800000082020001, 0x0800000082820001,
0x0000020082020001, 0x0000020082820001, 0x0800020082020001, 0x0800020082820001,
0x0000080000000000, 0x0000080000800000, 0x0800080000000000, 0x0800080000800000,
0x00000a0000000000, 0x00000a0000800000, 0x08000a0000000000, 0x08000a0000800000,
0x0000080000020000, 0x0000080000820000, 0x0800080000020000, 0x0800080000820000,
0x00000a0000020000, 0x00000a0000820000, 0x08000a0000020000, 0x08000a0000820000,
0x0000080080000000, 0x0000080080800000, 0x0800080080000000, 0x0800080080800000,
0x00000a0080000000, 0x00000a0080800000, 0x08000a0080000000, 0x08000a0080800000,
0x0000080080020000, 0x0000080080820000, 0x0800080080020000, 0x0800080080820000,
0x00000a0080020000, 0x00000a0080820000, 0x08000a0080020000, 0x08000a0080820000,
0x0000080000000001, 0x0000080000800001, 0x0800080000000001, 0x0800080000800001,
0x00000a0000000001, 0x00000a0000800001, 0x08000a0000000001, 0x08000a0000800001,
0x0000080000020001, 0x0000080000820001, 0x0800080000020001, 0x0800080000820001,
0x00000a0000020001, 0x00000a0000820001, 0x08000a0000020001, 0x08000a0000820001,
0x0000080080000001, 0x0000080080800001, 0x0800080080000001, 0x0800080080800001,
0x00000a0080000001, 0x00000a0080800001, 0x08000a0080000001, 0x08000a0080800001,
0x0000080080020001, 0x0000080080820001, 0x0800080080020001, 0x0800080080820001,
0x00000a0080020001, 0x00000a0080820001, 0x08000a0080020001, 0x08000a0080820001,
0x0000080002000000, 0x0000080002800000, 0x0800080002000000, 0x0800080002800000,
0x00000a0002000000, 0x00000a0002800000, 0x08000a0002000000, 0x08000a0002800000,
0x0000080002020000, 0x0000080002820000, 0x0800080002020000, 0x0800080002820000,
0x00000a0002020000, 0x00000a0002820000, 0x08000a0002020000, 0x08000a0002820000,
0x0000080082000000, 0x0000080082800000, 0x0800080082000000, 0x0800080082800000,
0x00000a0082000000, 0x00000a0082800000, 0x08000a0082000000, 0x08000a0082800000,
0x0000080082020000, 0x0000080082820000, 0x0800080082020000, 0x0800080082820000,
0x00000a0082020000, 0x00000a0082820000, 0x08000a0082020000, 0x08000a0082820000,
0x0000080002000001, 0x0000080002800001, 0x0800080002000001, 0x0800080002800001,
0x00000a0002000001, 0x00000a0002800001, 0x08000a0002000001, 0x08000a0002800001,
0x0000080002020001, 0x0000080002820001, 0x0800080002020001, 0x0800080002820001,
0x00000a0002020001, 0x00000a0002820001, 0x08000a0002020001, 0x08000a0002820001,
0x0000080082000001, 0x0000080082800001, 0x0800080082000001, 0x0800080082800001,
0x00000a0082000001, 0x00000a0082800001, 0x08000a0082000001, 0x08000a0082800001,
0x0000080082020001, 0x0000080082820001, 0x0800080082020001, 0x0800080082820001,
0x00000a0082020001, 0x00000a0082820001, 0x08000a0082020001, 0x08000a0082820001,
],
[
0x0000000000000000, 0x0000100000000000, 0x0000000000004000, 0x0000100000004000,
0x0000000000000004, 0x0000100000000004, 0x0000000000004004, 0x0000100000004004,
0x0000000000002000, 0x0000100000002000, 0x0000000000006000, 0x0000100000006000,
0x0000000000002004, 0x0000100000002004, 0x0000000000006004, 0x0000100000006004,
0x0000200000000000, 0x0000300000000000, 0x0000200000004000, 0x0000300000004000,
0x0000200000000004, 0x0000300000000004, 0x0000200000004004, 0x0000300000004004,
0x0000200000002000, 0x0000300000002000, 0x0000200000006000, 0x0000300000006000,
0x0000200000002004, 0x0000300000002004, 0x0000200000006004, 0x0000300000006004,
0x0001000000000000, 0x0001100000000000, 0x0001000000004000, 0x0001100000004000,
0x0001000000000004, 0x0001100000000004, 0x0001000000004004, 0x0001100000004004,
0x0001000000002000, 0x0001100000002000, 0x0001000000006000, 0x0001100000006000,
0x0001000000002004, 0x0001100000002004, 0x0001000000006004, 0x0001100000006004,
0x0001200000000000, 0x0001300000000000, 0x0001200000004000, 0x0001300000004000,
0x0001200000000004, 0x0001300000000004, 0x0001200000004004, 0x0001300000004004,
0x0001200000002000, 0x0001300000002000, 0x0001200000006000, 0x0001300000006000,
0x0001200000002004, 0x0001300000002004, 0x0001200000006004, 0x0001300000006004,
0x0000000000000008, 0x0000100000000008, 0x0000000000004008, 0x0000100000004008,
0x000000000000000c, 0x000010000000000c, 0x000000000000400c, 0x000010000000400c,
0x0000000000002008, 0x0000100000002008, 0x0000000000006008, 0x0000100000006008,
0x000000000000200c, 0x000010000000200c, 0x000000000000600c, 0x000010000000600c,
0x0000200000000008, 0x0000300000000008, 0x0000200000004008, 0x0000300000004008,
0x000020000000000c, 0x000030000000000c, 0x000020000000400c, 0x000030000000400c,
0x0000200000002008, 0x0000300000002008, 0x0000200000006008, 0x0000300000006008,
0x000020000000200c, 0x000030000000200c, 0x000020000000600c, 0x000030000000600c,
0x0001000000000008, 0x0001100000000008, 0x0001000000004008, 0x0001100000004008,
0x000100000000000c, 0x000110000000000c, 0x000100000000400c, 0x000110000000400c,
0x0001000000002008, 0x0001100000002008, 0x0001000000006008, 0x0001100000006008,
0x000100000000200c, 0x000110000000200c, 0x000100000000600c, 0x000110000000600c,
0x0001200000000008, 0x0001300000000008, 0x0001200000004008, 0x0001300000004008,
0x000120000000000c, 0x000130000000000c, 0x000120000000400c, 0x000130000000400c,
0x0001200000002008, 0x0001300000002008, 0x0001200000006008, 0x0001300000006008,
0x000120000000200c, 0x000130000000200c, 0x000120000000600c, 0x000130000000600c,
0x1000000000000000, 0x1000100000000000, 0x1000000000004000, 0x1000100000004000,
0x1000000000000004, 0x1000100000000004, 0x1000000000004004, 0x1000100000004004,
0x1000000000002000, 0x1000100000002000, 0x1000000000006000, 0x1000100000006000,
0x1000000000002004, 0x1000100000002004, 0x1000000000006004, 0x1000100000006004,
0x1000200000000000, 0x1000300000000000, 0x1000200000004000, 0x1000300000004000,
0x1000200000000004, 0x1000300000000004, 0x1000200000004004, 0x1000300000004004,
0x1000200000002000, 0x1000300000002000, 0x1000200000006000, 0x1000300000006000,
0x1000200000002004, 0x1000300000002004, 0x1000200000006004, 0x1000300000006004,
0x1001000000000000, 0x1001100000000000, 0x1001000000004000, 0x1001100000004000,
0x1001000000000004, 0x1001100000000004, 0x1001000000004004, 0x1001100000004004,
0x1001000000002000, 0x1001100000002000, 0x1001000000006000, 0x1001100000006000,
0x1001000000002004, 0x1001100000002004, 0x1001000000006004, 0x1001100000006004,
0x1001200000000000, 0x1001300000000000, 0x1001200000004000, 0x1001300000004000,
0x1001200000000004, 0x1001300000000004, 0x1001200000004004, 0x1001300000004004,
0x1001200000002000, 0x1001300000002000, 0x1001200000006000, 0x1001300000006000,
0x1001200000002004, 0x1001300000002004, 0x1001200000006004, 0x1001300000006004,
0x1000000000000008, 0x1000100000000008, 0x1000000000004008, 0x1000100000004008,
0x100000000000000c, 0x100010000000000c, 0x100000000000400c, 0x100010000000400c,
0x1000000000002008, 0x1000100000002008, 0x1000000000006008, 0x1000100000006008,
0x100000000000200c, 0x100010000000200c, 0x100000000000600c, 0x100010000000600c,
0x1000200000000008, 0x1000300000000008, 0x1000200000004008, 0x1000300000004008,
0x100020000000000c, 0x100030000000000c, 0x100020000000400c, 0x100030000000400c,
0x1000200000002008, 0x1000300000002008, 0x1000200000006008, 0x1000300000006008,
0x100020000000200c, 0x100030000000200c, 0x100020000000600c, 0x100030000000600c,
0x1001000000000008, 0x1001100000000008, 0x1001000000004008, 0x1001100000004008,
0x100100000000000c, 0x100110000000000c, 0x100100000000400c, 0x100110000000400c,
0x1001000000002008, 0x1001100000002008, 0x1001000000006008, 0x1001100000006008,
0x100100000000200c, 0x100110000000200c, 0x100100000000600c, 0x100110000000600c,
0x1001200000000008, 0x1001300000000008, 0x1001200000004008, 0x1001300000004008,
0x100120000000000c, 0x100130000000000c, 0x100120000000400c, 0x100130000000400c,
0x1001200000002008, 0x1001300000002008, 0x1001200000006008, 0x1001300000006008,
0x100120000000200c, 0x100130000000200c, 0x100120000000600c, 0x100130000000600c,
],
[
0x0000000000000000, 0x0002000000000000, 0x0000000000000100, 0x0002000000000100,
0x0000000400000000, 0x0002000400000000, 0x0000000400000100, 0x0002000400000100,
0x0000000000000020, 0x0002000000000020, 0x0000000000000120, 0x0002000000000120,
0x0000000400000020, 0x0002000400000020, 0x0000000400000120, 0x0002000400000120,
0x0000000000000200, 0x0002000000000200, 0x0000000000000300, 0x0002000000000300,
0x0000000400000200, 0x0002000400000200, 0x0000000400000300, 0x0002000400000300,
0x0000000000000220, 0x0002000000000220, 0x0000000000000320, 0x0002000000000320,
0x0000000400000220, 0x0002000400000220, 0x0000000400000320, 0x0002000400000320,
0x0000040000000000, 0x0002040000000000, 0x0000040000000100, 0x0002040000000100,
0x0000040400000000, 0x0002040400000000, 0x0000040400000100, 0x0002040400000100,
0x0000040000000020, 0x0002040000000020, 0x0000040000000120, 0x0002040000000120,
0x0000040400000020, 0x0002040400000020, 0x0000040400000120, 0x0002040400000120,
0x0000040000000200, 0x0002040000000200, 0x0000040000000300, 0x0002040000000300,
0x0000040400000200, 0x0002040400000200, 0x0000040400000300, 0x0002040400000300,
0x0000040000000220, 0x0002040000000220, 0x0000040000000320, 0x0002040000000320,
0x0000040400000220, 0x0002040400000220, 0x0000040400000320, 0x0002040400000320,
0x0200000000000000, 0x0202000000000000, 0x0200000000000100, 0x0202000000000100,
0x0200000400000000, 0x0202000400000000, 0x0200000400000100, 0x0202000400000100,
0x0200000000000020, 0x0202000000000020, 0x0200000000000120, 0x0202000000000120,
0x0200000400000020, 0x0202000400000020, 0x0200000400000120, 0x0202000400000120,
0x0200000000000200, 0x0202000000000200, 0x0200000000000300, 0x0202000000000300,
0x0200000400000200, 0x0202000400000200, 0x0200000400000300, 0x0202000400000300,
0x0200000000000220, 0x0202000000000220, 0x0200000000000320, 0x0202000000000320,
0x0200000400000220, 0x0202000400000220, 0x0200000400000320, 0x0202000400000320,
0x0200040000000000, 0x0202040000000000, 0x0200040000000100, 0x0202040000000100,
0x0200040400000000, 0x0202040400000000, 0x0200040400000100, 0x0202040400000100,
0x0200040000000020, 0x0202040000000020, 0x0200040000000120, 0x0202040000000120,
0x0200040400000020, 0x0202040400000020, 0x0200040400000120, 0x0202040400000120,
0x0200040000000200, 0x0202040000000200, 0x0200040000000300, 0x0202040000000300,
0x0200040400000200, 0x0202040400000200, 0x0200040400000300, 0x0202040400000300,
0x0200040000000220, 0x0202040000000220, 0x0200040000000320, 0x0202040000000320,
0x0200040400000220, 0x0202040400000220, 0x0200040400000320, 0x0202040400000320,
0x0000000001000000, 0x0002000001000000, 0x0000000001000100, 0x0002000001000100,
0x0000000401000000, 0x0002000401000000, 0x0000000401000100, 0x0002000401000100,
0x0000000001000020, 0x0002000001000020, 0x0000000001000120, 0x0002000001000120,
0x0000000401000020, 0x0002000401000020, 0x0000000401000120, 0x0002000401000120,
0x0000000001000200, 0x0002000001000200, 0x0000000001000300, 0x0002000001000300,
0x0000000401000200, 0x0002000401000200, 0x0000000401000300, 0x0002000401000300,
0x0000000001000220, 0x0002000001000220, 0x0000000001000320, 0x0002000001000320,
0x0000000401000220, 0x0002000401000220, 0x0000000401000320, 0x0002000401000320,
0x0000040001000000, 0x0002040001000000, 0x0000040001000100, 0x0002040001000100,
0x0000040401000000, 0x0002040401000000, 0x0000040401000100, 0x0002040401000100,
0x0000040001000020, 0x0002040001000020, 0x0000040001000120, 0x0002040001000120,
0x0000040401000020, 0x0002040401000020, 0x0000040401000120, 0x0002040401000120,
0x0000040001000200, 0x0002040001000200, 0x0000040001000300, 0x0002040001000300,
0x0000040401000200, 0x0002040401000200, 0x0000040401000300, 0x0002040401000300,
0x0000040001000220, 0x0002040001000220, 0x0000040001000320, 0x0002040001000320,
0x0000040401000220, 0x0002040401000220, 0x0000040401000320, 0x0002040401000320,
0x0200000001000000, 0x0202000001000000, 0x0200000001000100, 0x0202000001000100,
0x0200000401000000, 0x0202000401000000, 0x0200000401000100, 0x0202000401000100,
0x0200000001000020, 0x0202000001000020, 0x0200000001000120, 0x0202000001000120,
0x0200000401000020, 0x0202000401000020, 0x0200000401000120, 0x0202000401000120,
0x0200000001000200, 0x0202000001000200, 0x0200000001000300, 0x0202000001000300,
0x0200000401000200, 0x0202000401000200, 0x0200000401000300, 0x0202000401000300,
0x0200000001000220, 0x0202000001000220, 0x0200000001000320, 0x0202000001000320,
0x0200000401000220, 0x0202000401000220, 0x0200000401000320, 0x0202000401000320,
0x0200040001000000, 0x0202040001000000, 0x0200040001000100, 0x0202040001000100,
0x0200040401000000, 0x0202040401000000, 0x0200040401000100, 0x0202040401000100,
0x0200040001000020, 0x0202040001000020, 0x0200040001000120, 0x0202040001000120,
0x0200040401000020, 0x0202040401000020, 0x0200040401000120, 0x0202040401000120,
0x0200040001000200, 0x0202040001000200, 0x0200040001000300, 0x0202040001000300,
0x0200040401000200, 0x0202040401000200, 0x0200040401000300, 0x0202040401000300,
0x0200040001000220, 0x0202040001000220, 0x0200040001000320, 0x0202040001000320,
0x0200040401000220, 0x0202040401000220, 0x0200040401000320, 0x0202040401000320,
],
];
#[rustfmt::skip]
pub(crate) const STREAM_SBOX: [[u16; 32]; 7] = [
[
0x0001, 0x0000, 0x0400, 0x0400, 0x0001, 0x0401, 0x0401, 0x0000, 0x0401, 0x0001, 0x0001, 0x0000, 0x0400, 0x0400, 0x0000, 0x0401,
0x0000, 0x0401, 0x0401, 0x0000, 0x0001, 0x0001, 0x0400, 0x0400, 0x0001, 0x0001, 0x0000, 0x0401, 0x0400, 0x0400, 0x0401, 0x0000,
],
[
0x0802, 0x0800, 0x0002, 0x0800, 0x0802, 0x0002, 0x0002, 0x0800, 0x0800, 0x0802, 0x0000, 0x0002, 0x0000, 0x0000, 0x0000, 0x0802,
0x0802, 0x0800, 0x0800, 0x0002, 0x0002, 0x0802, 0x0800, 0x0802, 0x0000, 0x0000, 0x0000, 0x0802, 0x0800, 0x0002, 0x0002, 0x0000,
],
[
0x0010, 0x0000, 0x0010, 0x0010, 0x0010, 0x0014, 0x0000, 0x0004, 0x0004, 0x0014, 0x0014, 0x0014, 0x0014, 0x0000, 0x0004, 0x0000,
0x0014, 0x0000, 0x0004, 0x0010, 0x0004, 0x0014, 0x0014, 0x0004, 0x0000, 0x0004, 0x0000, 0x0004, 0x0010, 0x0000, 0x0010, 0x0010,
],
[
0x0028, 0x0008, 0x0020, 0x0028, 0x0020, 0x0000, 0x0020, 0x0008, 0x0008, 0x0020, 0x0000, 0x0008, 0x0000, 0x0028, 0x0028, 0x0000,
0x0008, 0x0000, 0x0028, 0x0008, 0x0028, 0x0020, 0x0028, 0x0000, 0x0000, 0x0028, 0x0020, 0x0000, 0x0020, 0x0008, 0x0008, 0x0020,
],
[
0x0100, 0x0000, 0x0000, 0x0040, 0x0140, 0x0100, 0x0140, 0x0100, 0x0140, 0x0140, 0x0000, 0x0040, 0x0100, 0x0040, 0x0040, 0x0000,
0x0140, 0x0100, 0x0000, 0x0100, 0x0140, 0x0000, 0x0040, 0x0040, 0x0100, 0x0140, 0x0000, 0x0040, 0x0100, 0x0000, 0x0040, 0x0140,
],
[
0x0000, 0x0080, 0x0200, 0x0280, 0x0080, 0x0200, 0x0200, 0x0000, 0x0000, 0x0080, 0x0280, 0x0000, 0x0200, 0x0280, 0x0080, 0x0280,
0x0200, 0x0280, 0x0000, 0x0200, 0x0280, 0x0000, 0x0080, 0x0080, 0x0200, 0x0080, 0x0080, 0x0200, 0x0000, 0x0280, 0x0280, 0x0000,
],
[
0x0000, 0x0000, 0x1000, 0x2000, 0x3000, 0x3000, 0x0000, 0x1000, 0x3000, 0x1000, 0x2000, 0x2000, 0x2000, 0x0000, 0x1000, 0x3000,
0x3000, 0x1000, 0x2000, 0x2000, 0x2000, 0x3000, 0x0000, 0x0000, 0x2000, 0x1000, 0x1000, 0x3000, 0x0000, 0x0000, 0x1000, 0x3000,
],
];
#[rustfmt::skip]
pub(crate) const STREAM_CDEF: [u16; 0x400] = [
0x0000, 0x0101, 0x0202, 0x0303, 0x0404, 0x0505, 0x0606, 0x0707, 0x0808, 0x0909, 0x0a0a, 0x0b0b, 0x0c0c, 0x0d0d, 0x0e0e, 0x0f0f,
0x0001, 0x0100, 0x0203, 0x0302, 0x0405, 0x0504, 0x0607, 0x0706, 0x0809, 0x0908, 0x0a0b, 0x0b0a, 0x0c0d, 0x0d0c, 0x0e0f, 0x0f0e,
0x0002, 0x0103, 0x0200, 0x0301, 0x0406, 0x0507, 0x0604, 0x0705, 0x080a, 0x090b, 0x0a08, 0x0b09, 0x0c0e, 0x0d0f, 0x0e0c, 0x0f0d,
0x0003, 0x0102, 0x0201, 0x0300, 0x0407, 0x0506, 0x0605, 0x0704, 0x080b, 0x090a, 0x0a09, 0x0b08, 0x0c0f, 0x0d0e, 0x0e0d, 0x0f0c,
0x0004, 0x0105, 0x0206, 0x0307, 0x0400, 0x0501, 0x0602, 0x0703, 0x080c, 0x090d, 0x0a0e, 0x0b0f, 0x0c08, 0x0d09, 0x0e0a, 0x0f0b,
0x0005, 0x0104, 0x0207, 0x0306, 0x0401, 0x0500, 0x0603, 0x0702, 0x080d, 0x090c, 0x0a0f, 0x0b0e, 0x0c09, 0x0d08, 0x0e0b, 0x0f0a,
0x0006, 0x0107, 0x0204, 0x0305, 0x0402, 0x0503, 0x0600, 0x0701, 0x080e, 0x090f, 0x0a0c, 0x0b0d, 0x0c0a, 0x0d0b, 0x0e08, 0x0f09,
0x0007, 0x0106, 0x0205, 0x0304, 0x0403, 0x0502, 0x0601, 0x0700, 0x080f, 0x090e, 0x0a0d, 0x0b0c, 0x0c0b, 0x0d0a, 0x0e09, 0x0f08,
0x0008, 0x0109, 0x020a, 0x030b, 0x040c, 0x050d, 0x060e, 0x070f, 0x0800, 0x0901, 0x0a02, 0x0b03, 0x0c04, 0x0d05, 0x0e06, 0x0f07,
0x0009, 0x0108, 0x020b, 0x030a, 0x040d, 0x050c, 0x060f, 0x070e, 0x0801, 0x0900, 0x0a03, 0x0b02, 0x0c05, 0x0d04, 0x0e07, 0x0f06,
0x000a, 0x010b, 0x0208, 0x0309, 0x040e, 0x050f, 0x060c, 0x070d, 0x0802, 0x0903, 0x0a00, 0x0b01, 0x0c06, 0x0d07, 0x0e04, 0x0f05,
0x000b, 0x010a, 0x0209, 0x0308, 0x040f, 0x050e, 0x060d, 0x070c, 0x0803, 0x0902, 0x0a01, 0x0b00, 0x0c07, 0x0d06, 0x0e05, 0x0f04,
0x000c, 0x010d, 0x020e, 0x030f, 0x0408, 0x0509, 0x060a, 0x070b, 0x0804, 0x0905, 0x0a06, 0x0b07, 0x0c00, 0x0d01, 0x0e02, 0x0f03,
0x000d, 0x010c, 0x020f, 0x030e, 0x0409, 0x0508, 0x060b, 0x070a, 0x0805, 0x0904, 0x0a07, 0x0b06, 0x0c01, 0x0d00, 0x0e03, 0x0f02,
0x000e, 0x010f, 0x020c, 0x030d, 0x040a, 0x050b, 0x0608, 0x0709, 0x0806, 0x0907, 0x0a04, 0x0b05, 0x0c02, 0x0d03, 0x0e00, 0x0f01,
0x000f, 0x010e, 0x020d, 0x030c, 0x040b, 0x050a, 0x0609, 0x0708, 0x0807, 0x0906, 0x0a05, 0x0b04, 0x0c03, 0x0d02, 0x0e01, 0x0f00,
0x1000, 0x1101, 0x1202, 0x1303, 0x1404, 0x1505, 0x1606, 0x1707, 0x1808, 0x1909, 0x1a0a, 0x1b0b, 0x1c0c, 0x1d0d, 0x1e0e, 0x1f0f,
0x1001, 0x1100, 0x1203, 0x1302, 0x1405, 0x1504, 0x1607, 0x1706, 0x1809, 0x1908, 0x1a0b, 0x1b0a, 0x1c0d, 0x1d0c, 0x1e0f, 0x1f0e,
0x1002, 0x1103, 0x1200, 0x1301, 0x1406, 0x1507, 0x1604, 0x1705, 0x180a, 0x190b, 0x1a08, 0x1b09, 0x1c0e, 0x1d0f, 0x1e0c, 0x1f0d,
0x1003, 0x1102, 0x1201, 0x1300, 0x1407, 0x1506, 0x1605, 0x1704, 0x180b, 0x190a, 0x1a09, 0x1b08, 0x1c0f, 0x1d0e, 0x1e0d, 0x1f0c,
0x1004, 0x1105, 0x1206, 0x1307, 0x1400, 0x1501, 0x1602, 0x1703, 0x180c, 0x190d, 0x1a0e, 0x1b0f, 0x1c08, 0x1d09, 0x1e0a, 0x1f0b,
0x1005, 0x1104, 0x1207, 0x1306, 0x1401, 0x1500, 0x1603, 0x1702, 0x180d, 0x190c, 0x1a0f, 0x1b0e, 0x1c09, 0x1d08, 0x1e0b, 0x1f0a,
0x1006, 0x1107, 0x1204, 0x1305, 0x1402, 0x1503, 0x1600, 0x1701, 0x180e, 0x190f, 0x1a0c, 0x1b0d, 0x1c0a, 0x1d0b, 0x1e08, 0x1f09,
0x1007, 0x1106, 0x1205, 0x1304, 0x1403, 0x1502, 0x1601, 0x1700, 0x180f, 0x190e, 0x1a0d, 0x1b0c, 0x1c0b, 0x1d0a, 0x1e09, 0x1f08,
0x1008, 0x1109, 0x120a, 0x130b, 0x140c, 0x150d, 0x160e, 0x170f, 0x1800, 0x1901, 0x1a02, 0x1b03, 0x1c04, 0x1d05, 0x1e06, 0x1f07,
0x1009, 0x1108, 0x120b, 0x130a, 0x140d, 0x150c, 0x160f, 0x170e, 0x1801, 0x1900, 0x1a03, 0x1b02, 0x1c05, 0x1d04, 0x1e07, 0x1f06,
0x100a, 0x110b, 0x1208, 0x1309, 0x140e, 0x150f, 0x160c, 0x170d, 0x1802, 0x1903, 0x1a00, 0x1b01, 0x1c06, 0x1d07, 0x1e04, 0x1f05,
0x100b, 0x110a, 0x1209, 0x1308, 0x140f, 0x150e, 0x160d, 0x170c, 0x1803, 0x1902, 0x1a01, 0x1b00, 0x1c07, 0x1d06, 0x1e05, 0x1f04,
0x100c, 0x110d, 0x120e, 0x130f, 0x1408, 0x1509, 0x160a, 0x170b, 0x1804, 0x1905, 0x1a06, 0x1b07, 0x1c00, 0x1d01, 0x1e02, 0x1f03,
0x100d, 0x110c, 0x120f, 0x130e, 0x1409, 0x1508, 0x160b, 0x170a, 0x1805, 0x1904, 0x1a07, 0x1b06, 0x1c01, 0x1d00, 0x1e03, 0x1f02,
0x100e, 0x110f, 0x120c, 0x130d, 0x140a, 0x150b, 0x1608, 0x1709, 0x1806, 0x1907, 0x1a04, 0x1b05, 0x1c02, 0x1d03, 0x1e00, 0x1f01,
0x100f, 0x110e, 0x120d, 0x130c, 0x140b, 0x150a, 0x1609, 0x1708, 0x1807, 0x1906, 0x1a05, 0x1b04, 0x1c03, 0x1d02, 0x1e01, 0x1f00,
0x0000, 0x0101, 0x0202, 0x0303, 0x0404, 0x0505, 0x0606, 0x0707, 0x0808, 0x0909, 0x0a0a, 0x0b0b, 0x0c0c, 0x0d0d, 0x0e0e, 0x0f0f,
0x0101, 0x0200, 0x0303, 0x0402, 0x0505, 0x0604, 0x0707, 0x0806, 0x0909, 0x0a08, 0x0b0b, 0x0c0a, 0x0d0d, 0x0e0c, 0x0f0f, 0x100e,
0x0202, 0x0303, 0x0400, 0x0501, 0x0606, 0x0707, 0x0804, 0x0905, 0x0a0a, 0x0b0b, 0x0c08, 0x0d09, 0x0e0e, 0x0f0f, 0x100c, 0x110d,
0x0303, 0x0402, 0x0501, 0x0600, 0x0707, 0x0806, 0x0905, 0x0a04, 0x0b0b, 0x0c0a, 0x0d09, 0x0e08, 0x0f0f, 0x100e, 0x110d, 0x120c,
0x0404, 0x0505, 0x0606, 0x0707, 0x0800, 0x0901, 0x0a02, 0x0b03, 0x0c0c, 0x0d0d, 0x0e0e, 0x0f0f, 0x1008, 0x1109, 0x120a, 0x130b,
0x0505, 0x0604, 0x0707, 0x0806, 0x0901, 0x0a00, 0x0b03, 0x0c02, 0x0d0d, 0x0e0c, 0x0f0f, 0x100e, 0x1109, 0x1208, 0x130b, 0x140a,
0x0606, 0x0707, 0x0804, 0x0905, 0x0a02, 0x0b03, 0x0c00, 0x0d01, 0x0e0e, 0x0f0f, 0x100c, 0x110d, 0x120a, 0x130b, 0x1408, 0x1509,
0x0707, 0x0806, 0x0905, 0x0a04, 0x0b03, 0x0c02, 0x0d01, 0x0e00, 0x0f0f, 0x100e, 0x110d, 0x120c, 0x130b, 0x140a, 0x1509, 0x1608,
0x0808, 0x0909, 0x0a0a, 0x0b0b, 0x0c0c, 0x0d0d, 0x0e0e, 0x0f0f, 0x1000, 0x1101, 0x1202, 0x1303, 0x1404, 0x1505, 0x1606, 0x1707,
0x0909, 0x0a08, 0x0b0b, 0x0c0a, 0x0d0d, 0x0e0c, 0x0f0f, 0x100e, 0x1101, 0x1200, 0x1303, 0x1402, 0x1505, 0x1604, 0x1707, 0x1806,
0x0a0a, 0x0b0b, 0x0c08, 0x0d09, 0x0e0e, 0x0f0f, 0x100c, 0x110d, 0x1202, 0x1303, 0x1400, 0x1501, 0x1606, 0x1707, 0x1804, 0x1905,
0x0b0b, 0x0c0a, 0x0d09, 0x0e08, 0x0f0f, 0x100e, 0x110d, 0x120c, 0x1303, 0x1402, 0x1501, 0x1600, 0x1707, 0x1806, 0x1905, 0x1a04,
0x0c0c, 0x0d0d, 0x0e0e, 0x0f0f, 0x1008, 0x1109, 0x120a, 0x130b, 0x1404, 0x1505, 0x1606, 0x1707, 0x1800, 0x1901, 0x1a02, 0x1b03,
0x0d0d, 0x0e0c, 0x0f0f, 0x100e, 0x1109, 0x1208, 0x130b, 0x140a, 0x1505, 0x1604, 0x1707, 0x1806, 0x1901, 0x1a00, 0x1b03, 0x1c02,
0x0e0e, 0x0f0f, 0x100c, 0x110d, 0x120a, 0x130b, 0x1408, 0x1509, 0x1606, 0x1707, 0x1804, 0x1905, 0x1a02, 0x1b03, 0x1c00, 0x1d01,
0x0f0f, 0x100e, 0x110d, 0x120c, 0x130b, 0x140a, 0x1509, 0x1608, 0x1707, 0x1806, 0x1905, 0x1a04, 0x1b03, 0x1c02, 0x1d01, 0x1e00,
0x0100, 0x0201, 0x0302, 0x0403, 0x0504, 0x0605, 0x0706, 0x0807, 0x0908, 0x0a09, 0x0b0a, 0x0c0b, 0x0d0c, 0x0e0d, 0x0f0e, 0x100f,
0x0201, 0x0300, 0x0403, 0x0502, 0x0605, 0x0704, 0x0807, 0x0906, 0x0a09, 0x0b08, 0x0c0b, 0x0d0a, 0x0e0d, 0x0f0c, 0x100f, 0x110e,
0x0302, 0x0403, 0x0500, 0x0601, 0x0706, 0x0807, 0x0904, 0x0a05, 0x0b0a, 0x0c0b, 0x0d08, 0x0e09, 0x0f0e, 0x100f, 0x110c, 0x120d,
0x0403, 0x0502, 0x0601, 0x0700, 0x0807, 0x0906, 0x0a05, 0x0b04, 0x0c0b, 0x0d0a, 0x0e09, 0x0f08, 0x100f, 0x110e, 0x120d, 0x130c,
0x0504, 0x0605, 0x0706, 0x0807, 0x0900, 0x0a01, 0x0b02, 0x0c03, 0x0d0c, 0x0e0d, 0x0f0e, 0x100f, 0x1108, 0x1209, 0x130a, 0x140b,
0x0605, 0x0704, 0x0807, 0x0906, 0x0a01, 0x0b00, 0x0c03, 0x0d02, 0x0e0d, 0x0f0c, 0x100f, 0x110e, 0x1209, 0x1308, 0x140b, 0x150a,
0x0706, 0x0807, 0x0904, 0x0a05, 0x0b02, 0x0c03, 0x0d00, 0x0e01, 0x0f0e, 0x100f, 0x110c, 0x120d, 0x130a, 0x140b, 0x1508, 0x1609,
0x0807, 0x0906, 0x0a05, 0x0b04, 0x0c03, 0x0d02, 0x0e01, 0x0f00, 0x100f, 0x110e, 0x120d, 0x130c, 0x140b, 0x150a, 0x1609, 0x1708,
0x0908, 0x0a09, 0x0b0a, 0x0c0b, 0x0d0c, 0x0e0d, 0x0f0e, 0x100f, 0x1100, 0x1201, 0x1302, 0x1403, 0x1504, 0x1605, 0x1706, 0x1807,
0x0a09, 0x0b08, 0x0c0b, 0x0d0a, 0x0e0d, 0x0f0c, 0x100f, 0x110e, 0x1201, 0x1300, 0x1403, 0x1502, 0x1605, 0x1704, 0x1807, 0x1906,
0x0b0a, 0x0c0b, 0x0d08, 0x0e09, 0x0f0e, 0x100f, 0x110c, 0x120d, 0x1302, 0x1403, 0x1500, 0x1601, 0x1706, 0x1807, 0x1904, 0x1a05,
0x0c0b, 0x0d0a, 0x0e09, 0x0f08, 0x100f, 0x110e, 0x120d, 0x130c, 0x1403, 0x1502, 0x1601, 0x1700, 0x1807, 0x1906, 0x1a05, 0x1b04,
0x0d0c, 0x0e0d, 0x0f0e, 0x100f, 0x1108, 0x1209, 0x130a, 0x140b, 0x1504, 0x1605, 0x1706, 0x1807, 0x1900, 0x1a01, 0x1b02, 0x1c03,
0x0e0d, 0x0f0c, 0x100f, 0x110e, 0x1209, 0x1308, 0x140b, 0x150a, 0x1605, 0x1704, 0x1807, 0x1906, 0x1a01, 0x1b00, 0x1c03, 0x1d02,
0x0f0e, 0x100f, 0x110c, 0x120d, 0x130a, 0x140b, 0x1508, 0x1609, 0x1706, 0x1807, 0x1904, 0x1a05, 0x1b02, 0x1c03, 0x1d00, 0x1e01,
0x100f, 0x110e, 0x120d, 0x130c, 0x140b, 0x150a, 0x1609, 0x1708, 0x1807, 0x1906, 0x1a05, 0x1b04, 0x1c03, 0x1d02, 0x1e01, 0x1f00,
];
#[rustfmt::skip]
pub(crate) const STREAM_OUT: [u8; 16] = [
0x00, 0x55, 0x55, 0x00, 0xaa, 0xff, 0xff, 0xaa, 0xaa, 0xff, 0xff, 0xaa, 0x00, 0x55, 0x55, 0x00,
];
#[rustfmt::skip]
#[allow(dead_code)]
pub(crate) const STREAM_SBOX_SEL: [(u64, usize, [u8; 5]); 7] = [
(0x2018004200, 1, [37, 27, 25, 11, 5]),
(0x4201480000, 4, [38, 32, 22, 16, 18]),
(0x8040122000, 5, [39, 29, 18, 14, 9]),
(0x1082010040, 0, [36, 30, 23, 3, 12]),
(0x0004a00180, 2, [26, 22, 19, 5, 3]),
(0x0100048820, 3, [32, 17, 9, 2, 11]),
(0x0c20001400, 6, [35, 33, 27, 9, 6]),
];