compactly 0.1.6

//! Generated with `src/ans/generate_bit_context.rs`
use super::ans::Probability;

impl BitContext {
    pub const CONFIDENT: Self = True0False4;
}

#[derive(Debug, Default, Clone, Copy, PartialEq, Eq, PartialOrd, Ord)]
pub enum BitContext {
    #[default]
    True0False0, // 0.5
    True1False0,   // 0.33203125
    True2False0,   // 0.25
    True3False0,   // 0.19921875
    True4False0,   // 0.1640625
    True5False0,   // 0.140625
    True6False0,   // 0.125
    True7False0,   // 0.109375
    True8False0,   // 0.09765625
    True9False0,   // 0.08984375
    True10False0,  // 0.08203125
    True11False0,  // 0.07421875
    True12False0,  // 0.0703125
    True13False0,  // 0.06640625
    True14False0,  // 0.0625
    True15False0,  // 0.05859375
    True16False0,  // 0.0546875
    True17False0,  // 0.05078125
    True18False0,  // 0.046875
    True19False0,  // 0.046875
    True20False0,  // 0.04296875
    True21False0,  // 0.04296875
    True22False0,  // 0.0390625
    True23False0,  // 0.0390625
    True24False0,  // 0.03515625
    True25False0,  // 0.03515625
    True26False0,  // 0.03515625
    True27False0,  // 0.03125
    True28False0,  // 0.03125
    True29False0,  // 0.03125
    True30False0,  // 0.03125
    True31False0,  // 0.02734375
    True32False0,  // 0.02734375
    True33False0,  // 0.02734375
    True34False0,  // 0.02734375
    True35False0,  // 0.0234375
    True36False0,  // 0.0234375
    True37False0,  // 0.0234375
    True38False0,  // 0.0234375
    True39False0,  // 0.0234375
    True40False0,  // 0.0234375
    True41False0,  // 0.01953125
    True42False0,  // 0.01953125
    True43False0,  // 0.01953125
    True44False0,  // 0.01953125
    True45False0,  // 0.01953125
    True46False0,  // 0.01953125
    True47False0,  // 0.01953125
    True48False0,  // 0.01953125
    True49False0,  // 0.01953125
    True50False0,  // 0.015625
    True51False0,  // 0.015625
    True52False0,  // 0.015625
    True53False0,  // 0.015625
    True54False0,  // 0.015625
    True55False0,  // 0.015625
    True56False0,  // 0.015625
    True57False0,  // 0.015625
    True58False0,  // 0.015625
    True59False0,  // 0.015625
    True60False0,  // 0.015625
    True61False0,  // 0.015625
    True62False0,  // 0.015625
    True63False0,  // 0.01171875
    True64False0,  // 0.01171875
    True65False0,  // 0.01171875
    True66False0,  // 0.01171875
    True67False0,  // 0.01171875
    True68False0,  // 0.01171875
    True69False0,  // 0.01171875
    True70False0,  // 0.01171875
    True71False0,  // 0.01171875
    True72False0,  // 0.01171875
    True73False0,  // 0.01171875
    True74False0,  // 0.01171875
    True75False0,  // 0.01171875
    True76False0,  // 0.01171875
    True77False0,  // 0.01171875
    True78False0,  // 0.01171875
    True79False0,  // 0.01171875
    True80False0,  // 0.01171875
    True81False0,  // 0.01171875
    True82False0,  // 0.01171875
    True83False0,  // 0.01171875
    True84False0,  // 0.01171875
    True85False0,  // 0.01171875
    True86False0,  // 0.0078125
    True87False0,  // 0.0078125
    True88False0,  // 0.0078125
    True89False0,  // 0.0078125
    True90False0,  // 0.0078125
    True91False0,  // 0.0078125
    True92False0,  // 0.0078125
    True93False0,  // 0.0078125
    True94False0,  // 0.0078125
    True95False0,  // 0.0078125
    True96False0,  // 0.0078125
    True97False0,  // 0.0078125
    True98False0,  // 0.0078125
    True99False0,  // 0.0078125
    True100False0, // 0.0078125
    True101False0, // 0.0078125
    True102False0, // 0.0078125
    True103False0, // 0.0078125
    True104False0, // 0.0078125
    True105False0, // 0.0078125
    True106False0, // 0.0078125
    True107False0, // 0.0078125
    True108False0, // 0.0078125
    True109False0, // 0.0078125
    True110False0, // 0.0078125
    True111False0, // 0.0078125
    True112False0, // 0.0078125
    True113False0, // 0.0078125
    True114False0, // 0.0078125
    True115False0, // 0.0078125
    True116False0, // 0.0078125
    True117False0, // 0.0078125
    True118False0, // 0.0078125
    True119False0, // 0.0078125
    True120False0, // 0.0078125
    True121False0, // 0.0078125
    True122False0, // 0.0078125
    True123False0, // 0.0078125
    True124False0, // 0.0078125
    True125False0, // 0.0078125
    True126False0, // 0.0078125
    True127False0, // 0.0078125
    True128False0, // 0.0078125
    True129False0, // 0.0078125
    True130False0, // 0.0078125
    True131False0, // 0.0078125
    True132False0, // 0.0078125
    True0False1,   // 0.66796875
    True1False1,   // 0.5
    True2False1,   // 0.3984375
    True3False1,   // 0.33203125
    True4False1,   // 0.28515625
    True5False1,   // 0.25
    True6False1,   // 0.22265625
    True7False1,   // 0.19921875
    True8False1,   // 0.18359375
    True9False1,   // 0.16796875
    True10False1,  // 0.15234375
    True11False1,  // 0.14453125
    True12False1,  // 0.1328125
    True13False1,  // 0.125
    True14False1,  // 0.1171875
    True15False1,  // 0.109375
    True16False1,  // 0.10546875
    True17False1,  // 0.1015625
    True18False1,  // 0.09375
    True19False1,  // 0.08984375
    True20False1,  // 0.0859375
    True21False1,  // 0.08203125
    True22False1,  // 0.078125
    True23False1,  // 0.078125
    True24False1,  // 0.07421875
    True25False1,  // 0.0703125
    True26False1,  // 0.0703125
    True27False1,  // 0.06640625
    True28False1,  // 0.06640625
    True29False1,  // 0.0625
    True30False1,  // 0.0625
    True31False1,  // 0.05859375
    True32False1,  // 0.05859375
    True33False1,  // 0.0546875
    True34False1,  // 0.0546875
    True35False1,  // 0.0546875
    True36False1,  // 0.05078125
    True37False1,  // 0.05078125
    True38False1,  // 0.05078125
    True39False1,  // 0.046875
    True40False1,  // 0.046875
    True41False1,  // 0.046875
    True42False1,  // 0.04296875
    True43False1,  // 0.04296875
    True44False1,  // 0.04296875
    True45False1,  // 0.04296875
    True46False1,  // 0.0390625
    True47False1,  // 0.0390625
    True48False1,  // 0.0390625
    True49False1,  // 0.0390625
    True50False1,  // 0.0390625
    True51False1,  // 0.0390625
    True52False1,  // 0.03515625
    True53False1,  // 0.03515625
    True54False1,  // 0.03515625
    True55False1,  // 0.03515625
    True56False1,  // 0.03515625
    True57False1,  // 0.03515625
    True58False1,  // 0.03125
    True59False1,  // 0.03125
    True60False1,  // 0.03125
    True61False1,  // 0.03125
    True62False1,  // 0.03125
    True63False1,  // 0.03125
    True64False1,  // 0.03125
    True65False1,  // 0.03125
    True0False2,   // 0.75
    True1False2,   // 0.6015625
    True2False2,   // 0.5
    True3False2,   // 0.4296875
    True4False2,   // 0.375
    True5False2,   // 0.33203125
    True6False2,   // 0.30078125
    True7False2,   // 0.2734375
    True8False2,   // 0.25
    True9False2,   // 0.23046875
    True10False2,  // 0.21484375
    True11False2,  // 0.19921875
    True12False2,  // 0.1875
    True13False2,  // 0.17578125
    True14False2,  // 0.16796875
    True15False2,  // 0.15625
    True16False2,  // 0.1484375
    True17False2,  // 0.14453125
    True18False2,  // 0.13671875
    True19False2,  // 0.12890625
    True20False2,  // 0.125
    True21False2,  // 0.12109375
    True22False2,  // 0.1171875
    True23False2,  // 0.109375
    True24False2,  // 0.10546875
    True25False2,  // 0.1015625
    True26False2,  // 0.1015625
    True27False2,  // 0.09765625
    True28False2,  // 0.09375
    True29False2,  // 0.08984375
    True30False2,  // 0.08984375
    True31False2,  // 0.0859375
    True32False2,  // 0.08203125
    True33False2,  // 0.08203125
    True34False2,  // 0.078125
    True35False2,  // 0.078125
    True36False2,  // 0.07421875
    True37False2,  // 0.07421875
    True38False2,  // 0.0703125
    True39False2,  // 0.0703125
    True40False2,  // 0.06640625
    True41False2,  // 0.06640625
    True42False2,  // 0.06640625
    True43False2,  // 0.0625
    True0False3,   // 0.80078125
    True1False3,   // 0.66796875
    True2False3,   // 0.5703125
    True3False3,   // 0.5
    True4False3,   // 0.4453125
    True5False3,   // 0.3984375
    True6False3,   // 0.36328125
    True7False3,   // 0.33203125
    True8False3,   // 0.30859375
    True9False3,   // 0.28515625
    True10False3,  // 0.265625
    True11False3,  // 0.25
    True12False3,  // 0.234375
    True13False3,  // 0.22265625
    True14False3,  // 0.2109375
    True15False3,  // 0.19921875
    True16False3,  // 0.19140625
    True17False3,  // 0.18359375
    True18False3,  // 0.17578125
    True19False3,  // 0.16796875
    True20False3,  // 0.16015625
    True21False3,  // 0.15234375
    True22False3,  // 0.1484375
    True23False3,  // 0.14453125
    True24False3,  // 0.13671875
    True25False3,  // 0.1328125
    True26False3,  // 0.12890625
    True27False3,  // 0.125
    True28False3,  // 0.12109375
    True29False3,  // 0.1171875
    True30False3,  // 0.11328125
    True31False3,  // 0.109375
    True32False3,  // 0.109375
    True0False4,   // 0.8359375
    True1False4,   // 0.71484375
    True2False4,   // 0.625
    True3False4,   // 0.5546875
    True4False4,   // 0.5
    True5False4,   // 0.453125
    True6False4,   // 0.41796875
    True7False4,   // 0.3828125
    True8False4,   // 0.35546875
    True9False4,   // 0.33203125
    True10False4,  // 0.3125
    True11False4,  // 0.29296875
    True12False4,  // 0.27734375
    True13False4,  // 0.26171875
    True14False4,  // 0.25
    True15False4,  // 0.23828125
    True16False4,  // 0.2265625
    True17False4,  // 0.21875
    True18False4,  // 0.20703125
    True19False4,  // 0.19921875
    True20False4,  // 0.19140625
    True21False4,  // 0.18359375
    True22False4,  // 0.1796875
    True23False4,  // 0.171875
    True24False4,  // 0.16796875
    True25False4,  // 0.16015625
    True0False5,   // 0.859375
    True1False5,   // 0.75
    True2False5,   // 0.66796875
    True3False5,   // 0.6015625
    True4False5,   // 0.546875
    True5False5,   // 0.5
    True6False5,   // 0.4609375
    True7False5,   // 0.4296875
    True8False5,   // 0.3984375
    True9False5,   // 0.375
    True10False5,  // 0.3515625
    True11False5,  // 0.33203125
    True12False5,  // 0.31640625
    True13False5,  // 0.30078125
    True14False5,  // 0.28515625
    True15False5,  // 0.2734375
    True16False5,  // 0.26171875
    True17False5,  // 0.25
    True18False5,  // 0.23828125
    True19False5,  // 0.23046875
    True20False5,  // 0.22265625
    True21False5,  // 0.21484375
    True0False6,   // 0.875
    True1False6,   // 0.77734375
    True2False6,   // 0.69921875
    True3False6,   // 0.63671875
    True4False6,   // 0.58203125
    True5False6,   // 0.5390625
    True6False6,   // 0.5
    True7False6,   // 0.46484375
    True8False6,   // 0.4375
    True9False6,   // 0.41015625
    True10False6,  // 0.390625
    True11False6,  // 0.3671875
    True12False6,  // 0.3515625
    True13False6,  // 0.33203125
    True14False6,  // 0.31640625
    True15False6,  // 0.3046875
    True16False6,  // 0.29296875
    True17False6,  // 0.28125
    True18False6,  // 0.26953125
    True0False7,   // 0.890625
    True1False7,   // 0.80078125
    True2False7,   // 0.7265625
    True3False7,   // 0.66796875
    True4False7,   // 0.6171875
    True5False7,   // 0.5703125
    True6False7,   // 0.53515625
    True7False7,   // 0.5
    True8False7,   // 0.46875
    True9False7,   // 0.4453125
    True10False7,  // 0.421875
    True11False7,  // 0.3984375
    True12False7,  // 0.3828125
    True13False7,  // 0.36328125
    True14False7,  // 0.34765625
    True15False7,  // 0.33203125
    True0False8,   // 0.90234375
    True1False8,   // 0.81640625
    True2False8,   // 0.75
    True3False8,   // 0.69140625
    True4False8,   // 0.64453125
    True5False8,   // 0.6015625
    True6False8,   // 0.5625
    True7False8,   // 0.53125
    True8False8,   // 0.5
    True9False8,   // 0.47265625
    True10False8,  // 0.44921875
    True11False8,  // 0.4296875
    True12False8,  // 0.41015625
    True13False8,  // 0.390625
    True0False9,   // 0.91015625
    True1False9,   // 0.83203125
    True2False9,   // 0.76953125
    True3False9,   // 0.71484375
    True4False9,   // 0.66796875
    True5False9,   // 0.625
    True6False9,   // 0.58984375
    True7False9,   // 0.5546875
    True8False9,   // 0.52734375
    True9False9,   // 0.5
    True10False9,  // 0.4765625
    True11False9,  // 0.453125
    True12False9,  // 0.43359375
    True0False10,  // 0.91796875
    True1False10,  // 0.84765625
    True2False10,  // 0.78515625
    True3False10,  // 0.734375
    True4False10,  // 0.6875
    True5False10,  // 0.6484375
    True6False10,  // 0.609375
    True7False10,  // 0.578125
    True8False10,  // 0.55078125
    True9False10,  // 0.5234375
    True10False10, // 0.5
    True11False10, // 0.4765625
    True0False11,  // 0.92578125
    True1False11,  // 0.85546875
    True2False11,  // 0.80078125
    True3False11,  // 0.75
    True4False11,  // 0.70703125
    True5False11,  // 0.66796875
    True6False11,  // 0.6328125
    True7False11,  // 0.6015625
    True8False11,  // 0.5703125
    True9False11,  // 0.546875
    True10False11, // 0.5234375
    True0False12,  // 0.9296875
    True1False12,  // 0.8671875
    True2False12,  // 0.8125
    True3False12,  // 0.765625
    True4False12,  // 0.72265625
    True5False12,  // 0.68359375
    True6False12,  // 0.6484375
    True7False12,  // 0.6171875
    True8False12,  // 0.58984375
    True9False12,  // 0.56640625
    True0False13,  // 0.93359375
    True1False13,  // 0.875
    True2False13,  // 0.82421875
    True3False13,  // 0.77734375
    True4False13,  // 0.73828125
    True5False13,  // 0.69921875
    True6False13,  // 0.66796875
    True7False13,  // 0.63671875
    True8False13,  // 0.609375
    True0False14,  // 0.9375
    True1False14,  // 0.8828125
    True2False14,  // 0.83203125
    True3False14,  // 0.7890625
    True4False14,  // 0.75
    True5False14,  // 0.71484375
    True6False14,  // 0.68359375
    True7False14,  // 0.65234375
    True0False15,  // 0.94140625
    True1False15,  // 0.890625
    True2False15,  // 0.84375
    True3False15,  // 0.80078125
    True4False15,  // 0.76171875
    True5False15,  // 0.7265625
    True6False15,  // 0.6953125
    True7False15,  // 0.66796875
    True0False16,  // 0.9453125
    True1False16,  // 0.89453125
    True2False16,  // 0.8515625
    True3False16,  // 0.80859375
    True4False16,  // 0.7734375
    True5False16,  // 0.73828125
    True6False16,  // 0.70703125
    True0False17,  // 0.94921875
    True1False17,  // 0.8984375
    True2False17,  // 0.85546875
    True3False17,  // 0.81640625
    True4False17,  // 0.78125
    True5False17,  // 0.75
    True6False17,  // 0.71875
    True0False18,  // 0.953125
    True1False18,  // 0.90625
    True2False18,  // 0.86328125
    True3False18,  // 0.82421875
    True4False18,  // 0.79296875
    True5False18,  // 0.76171875
    True6False18,  // 0.73046875
    True0False19,  // 0.953125
    True1False19,  // 0.91015625
    True2False19,  // 0.87109375
    True3False19,  // 0.83203125
    True4False19,  // 0.80078125
    True5False19,  // 0.76953125
    True0False20,  // 0.95703125
    True1False20,  // 0.9140625
    True2False20,  // 0.875
    True3False20,  // 0.83984375
    True4False20,  // 0.80859375
    True5False20,  // 0.77734375
    True0False21,  // 0.95703125
    True1False21,  // 0.91796875
    True2False21,  // 0.87890625
    True3False21,  // 0.84765625
    True4False21,  // 0.81640625
    True5False21,  // 0.78515625
    True0False22,  // 0.9609375
    True1False22,  // 0.921875
    True2False22,  // 0.8828125
    True3False22,  // 0.8515625
    True4False22,  // 0.8203125
    True0False23,  // 0.9609375
    True1False23,  // 0.921875
    True2False23,  // 0.890625
    True3False23,  // 0.85546875
    True4False23,  // 0.828125
    True0False24,  // 0.96484375
    True1False24,  // 0.92578125
    True2False24,  // 0.89453125
    True3False24,  // 0.86328125
    True4False24,  // 0.83203125
    True0False25,  // 0.96484375
    True1False25,  // 0.9296875
    True2False25,  // 0.8984375
    True3False25,  // 0.8671875
    True4False25,  // 0.83984375
    True0False26,  // 0.96484375
    True1False26,  // 0.9296875
    True2False26,  // 0.8984375
    True3False26,  // 0.87109375
    True0False27,  // 0.96875
    True1False27,  // 0.93359375
    True2False27,  // 0.90234375
    True3False27,  // 0.875
    True0False28,  // 0.96875
    True1False28,  // 0.93359375
    True2False28,  // 0.90625
    True3False28,  // 0.87890625
    True0False29,  // 0.96875
    True1False29,  // 0.9375
    True2False29,  // 0.91015625
    True3False29,  // 0.8828125
    True0False30,  // 0.96875
    True1False30,  // 0.9375
    True2False30,  // 0.91015625
    True3False30,  // 0.88671875
    True0False31,  // 0.97265625
    True1False31,  // 0.94140625
    True2False31,  // 0.9140625
    True3False31,  // 0.890625
    True0False32,  // 0.97265625
    True1False32,  // 0.94140625
    True2False32,  // 0.91796875
    True3False32,  // 0.890625
    True0False33,  // 0.97265625
    True1False33,  // 0.9453125
    True2False33,  // 0.91796875
    True0False34,  // 0.97265625
    True1False34,  // 0.9453125
    True2False34,  // 0.921875
    True0False35,  // 0.9765625
    True1False35,  // 0.9453125
    True2False35,  // 0.921875
    True0False36,  // 0.9765625
    True1False36,  // 0.94921875
    True2False36,  // 0.92578125
    True0False37,  // 0.9765625
    True1False37,  // 0.94921875
    True2False37,  // 0.92578125
    True0False38,  // 0.9765625
    True1False38,  // 0.94921875
    True2False38,  // 0.9296875
    True0False39,  // 0.9765625
    True1False39,  // 0.953125
    True2False39,  // 0.9296875
    True0False40,  // 0.9765625
    True1False40,  // 0.953125
    True2False40,  // 0.93359375
    True0False41,  // 0.98046875
    True1False41,  // 0.953125
    True2False41,  // 0.93359375
    True0False42,  // 0.98046875
    True1False42,  // 0.95703125
    True2False42,  // 0.93359375
    True0False43,  // 0.98046875
    True1False43,  // 0.95703125
    True2False43,  // 0.9375
    True0False44,  // 0.98046875
    True1False44,  // 0.95703125
    True0False45,  // 0.98046875
    True1False45,  // 0.95703125
    True0False46,  // 0.98046875
    True1False46,  // 0.9609375
    True0False47,  // 0.98046875
    True1False47,  // 0.9609375
    True0False48,  // 0.98046875
    True1False48,  // 0.9609375
    True0False49,  // 0.98046875
    True1False49,  // 0.9609375
    True0False50,  // 0.984375
    True1False50,  // 0.9609375
    True0False51,  // 0.984375
    True1False51,  // 0.9609375
    True0False52,  // 0.984375
    True1False52,  // 0.96484375
    True0False53,  // 0.984375
    True1False53,  // 0.96484375
    True0False54,  // 0.984375
    True1False54,  // 0.96484375
    True0False55,  // 0.984375
    True1False55,  // 0.96484375
    True0False56,  // 0.984375
    True1False56,  // 0.96484375
    True0False57,  // 0.984375
    True1False57,  // 0.96484375
    True0False58,  // 0.984375
    True1False58,  // 0.96875
    True0False59,  // 0.984375
    True1False59,  // 0.96875
    True0False60,  // 0.984375
    True1False60,  // 0.96875
    True0False61,  // 0.984375
    True1False61,  // 0.96875
    True0False62,  // 0.984375
    True1False62,  // 0.96875
    True0False63,  // 0.98828125
    True1False63,  // 0.96875
    True0False64,  // 0.98828125
    True1False64,  // 0.96875
    True0False65,  // 0.98828125
    True1False65,  // 0.96875
    True0False66,  // 0.98828125
    True0False67,  // 0.98828125
    True0False68,  // 0.98828125
    True0False69,  // 0.98828125
    True0False70,  // 0.98828125
    True0False71,  // 0.98828125
    True0False72,  // 0.98828125
    True0False73,  // 0.98828125
    True0False74,  // 0.98828125
    True0False75,  // 0.98828125
    True0False76,  // 0.98828125
    True0False77,  // 0.98828125
    True0False78,  // 0.98828125
    True0False79,  // 0.98828125
    True0False80,  // 0.98828125
    True0False81,  // 0.98828125
    True0False82,  // 0.98828125
    True0False83,  // 0.98828125
    True0False84,  // 0.98828125
    True0False85,  // 0.98828125
    True0False86,  // 0.9921875
    True0False87,  // 0.9921875
    True0False88,  // 0.9921875
    True0False89,  // 0.9921875
    True0False90,  // 0.9921875
    True0False91,  // 0.9921875
    True0False92,  // 0.9921875
    True0False93,  // 0.9921875
    True0False94,  // 0.9921875
    True0False95,  // 0.9921875
    True0False96,  // 0.9921875
    True0False97,  // 0.9921875
    True0False98,  // 0.9921875
    True0False99,  // 0.9921875
    True0False100, // 0.9921875
    True0False101, // 0.9921875
    True0False102, // 0.9921875
    True0False103, // 0.9921875
    True0False104, // 0.9921875
    True0False105, // 0.9921875
    True0False106, // 0.9921875
    True0False107, // 0.9921875
    True0False108, // 0.9921875
    True0False109, // 0.9921875
    True0False110, // 0.9921875
    True0False111, // 0.9921875
    True0False112, // 0.9921875
    True0False113, // 0.9921875
    True0False114, // 0.9921875
    True0False115, // 0.9921875
    True0False116, // 0.9921875
    True0False117, // 0.9921875
    True0False118, // 0.9921875
    True0False119, // 0.9921875
    True0False120, // 0.9921875
    True0False121, // 0.9921875
    True0False122, // 0.9921875
    True0False123, // 0.9921875
    True0False124, // 0.9921875
    True0False125, // 0.9921875
    True0False126, // 0.9921875
    True0False127, // 0.9921875
    True0False128, // 0.9921875
    True0False129, // 0.9921875
    True0False130, // 0.9921875
    True0False131, // 0.9921875
    True0False132, // 0.9921875
}
use BitContext::*;

impl BitContext {
    #[inline]
    pub fn probability(self) -> Probability {
        const LOOKUP: [Probability; 675] = [
            Probability::new(128, 128),
            Probability::new(171, 85),
            Probability::new(192, 64),
            Probability::new(205, 51),
            Probability::new(214, 42),
            Probability::new(220, 36),
            Probability::new(224, 32),
            Probability::new(228, 28),
            Probability::new(231, 25),
            Probability::new(233, 23),
            Probability::new(235, 21),
            Probability::new(237, 19),
            Probability::new(238, 18),
            Probability::new(239, 17),
            Probability::new(240, 16),
            Probability::new(241, 15),
            Probability::new(242, 14),
            Probability::new(243, 13),
            Probability::new(244, 12),
            Probability::new(244, 12),
            Probability::new(245, 11),
            Probability::new(245, 11),
            Probability::new(246, 10),
            Probability::new(246, 10),
            Probability::new(247, 9),
            Probability::new(247, 9),
            Probability::new(247, 9),
            Probability::new(248, 8),
            Probability::new(248, 8),
            Probability::new(248, 8),
            Probability::new(248, 8),
            Probability::new(249, 7),
            Probability::new(249, 7),
            Probability::new(249, 7),
            Probability::new(249, 7),
            Probability::new(250, 6),
            Probability::new(250, 6),
            Probability::new(250, 6),
            Probability::new(250, 6),
            Probability::new(250, 6),
            Probability::new(250, 6),
            Probability::new(251, 5),
            Probability::new(251, 5),
            Probability::new(251, 5),
            Probability::new(251, 5),
            Probability::new(251, 5),
            Probability::new(251, 5),
            Probability::new(251, 5),
            Probability::new(251, 5),
            Probability::new(251, 5),
            Probability::new(252, 4),
            Probability::new(252, 4),
            Probability::new(252, 4),
            Probability::new(252, 4),
            Probability::new(252, 4),
            Probability::new(252, 4),
            Probability::new(252, 4),
            Probability::new(252, 4),
            Probability::new(252, 4),
            Probability::new(252, 4),
            Probability::new(252, 4),
            Probability::new(252, 4),
            Probability::new(252, 4),
            Probability::new(253, 3),
            Probability::new(253, 3),
            Probability::new(253, 3),
            Probability::new(253, 3),
            Probability::new(253, 3),
            Probability::new(253, 3),
            Probability::new(253, 3),
            Probability::new(253, 3),
            Probability::new(253, 3),
            Probability::new(253, 3),
            Probability::new(253, 3),
            Probability::new(253, 3),
            Probability::new(253, 3),
            Probability::new(253, 3),
            Probability::new(253, 3),
            Probability::new(253, 3),
            Probability::new(253, 3),
            Probability::new(253, 3),
            Probability::new(253, 3),
            Probability::new(253, 3),
            Probability::new(253, 3),
            Probability::new(253, 3),
            Probability::new(253, 3),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(254, 2),
            Probability::new(85, 171),
            Probability::new(128, 128),
            Probability::new(154, 102),
            Probability::new(171, 85),
            Probability::new(183, 73),
            Probability::new(192, 64),
            Probability::new(199, 57),
            Probability::new(205, 51),
            Probability::new(209, 47),
            Probability::new(213, 43),
            Probability::new(217, 39),
            Probability::new(219, 37),
            Probability::new(222, 34),
            Probability::new(224, 32),
            Probability::new(226, 30),
            Probability::new(228, 28),
            Probability::new(229, 27),
            Probability::new(230, 26),
            Probability::new(232, 24),
            Probability::new(233, 23),
            Probability::new(234, 22),
            Probability::new(235, 21),
            Probability::new(236, 20),
            Probability::new(236, 20),
            Probability::new(237, 19),
            Probability::new(238, 18),
            Probability::new(238, 18),
            Probability::new(239, 17),
            Probability::new(239, 17),
            Probability::new(240, 16),
            Probability::new(240, 16),
            Probability::new(241, 15),
            Probability::new(241, 15),
            Probability::new(242, 14),
            Probability::new(242, 14),
            Probability::new(242, 14),
            Probability::new(243, 13),
            Probability::new(243, 13),
            Probability::new(243, 13),
            Probability::new(244, 12),
            Probability::new(244, 12),
            Probability::new(244, 12),
            Probability::new(245, 11),
            Probability::new(245, 11),
            Probability::new(245, 11),
            Probability::new(245, 11),
            Probability::new(246, 10),
            Probability::new(246, 10),
            Probability::new(246, 10),
            Probability::new(246, 10),
            Probability::new(246, 10),
            Probability::new(246, 10),
            Probability::new(247, 9),
            Probability::new(247, 9),
            Probability::new(247, 9),
            Probability::new(247, 9),
            Probability::new(247, 9),
            Probability::new(247, 9),
            Probability::new(248, 8),
            Probability::new(248, 8),
            Probability::new(248, 8),
            Probability::new(248, 8),
            Probability::new(248, 8),
            Probability::new(248, 8),
            Probability::new(248, 8),
            Probability::new(248, 8),
            Probability::new(64, 192),
            Probability::new(102, 154),
            Probability::new(128, 128),
            Probability::new(146, 110),
            Probability::new(160, 96),
            Probability::new(171, 85),
            Probability::new(179, 77),
            Probability::new(186, 70),
            Probability::new(192, 64),
            Probability::new(197, 59),
            Probability::new(201, 55),
            Probability::new(205, 51),
            Probability::new(208, 48),
            Probability::new(211, 45),
            Probability::new(213, 43),
            Probability::new(216, 40),
            Probability::new(218, 38),
            Probability::new(219, 37),
            Probability::new(221, 35),
            Probability::new(223, 33),
            Probability::new(224, 32),
            Probability::new(225, 31),
            Probability::new(226, 30),
            Probability::new(228, 28),
            Probability::new(229, 27),
            Probability::new(230, 26),
            Probability::new(230, 26),
            Probability::new(231, 25),
            Probability::new(232, 24),
            Probability::new(233, 23),
            Probability::new(233, 23),
            Probability::new(234, 22),
            Probability::new(235, 21),
            Probability::new(235, 21),
            Probability::new(236, 20),
            Probability::new(236, 20),
            Probability::new(237, 19),
            Probability::new(237, 19),
            Probability::new(238, 18),
            Probability::new(238, 18),
            Probability::new(239, 17),
            Probability::new(239, 17),
            Probability::new(239, 17),
            Probability::new(240, 16),
            Probability::new(51, 205),
            Probability::new(85, 171),
            Probability::new(110, 146),
            Probability::new(128, 128),
            Probability::new(142, 114),
            Probability::new(154, 102),
            Probability::new(163, 93),
            Probability::new(171, 85),
            Probability::new(177, 79),
            Probability::new(183, 73),
            Probability::new(188, 68),
            Probability::new(192, 64),
            Probability::new(196, 60),
            Probability::new(199, 57),
            Probability::new(202, 54),
            Probability::new(205, 51),
            Probability::new(207, 49),
            Probability::new(209, 47),
            Probability::new(211, 45),
            Probability::new(213, 43),
            Probability::new(215, 41),
            Probability::new(217, 39),
            Probability::new(218, 38),
            Probability::new(219, 37),
            Probability::new(221, 35),
            Probability::new(222, 34),
            Probability::new(223, 33),
            Probability::new(224, 32),
            Probability::new(225, 31),
            Probability::new(226, 30),
            Probability::new(227, 29),
            Probability::new(228, 28),
            Probability::new(228, 28),
            Probability::new(42, 214),
            Probability::new(73, 183),
            Probability::new(96, 160),
            Probability::new(114, 142),
            Probability::new(128, 128),
            Probability::new(140, 116),
            Probability::new(149, 107),
            Probability::new(158, 98),
            Probability::new(165, 91),
            Probability::new(171, 85),
            Probability::new(176, 80),
            Probability::new(181, 75),
            Probability::new(185, 71),
            Probability::new(189, 67),
            Probability::new(192, 64),
            Probability::new(195, 61),
            Probability::new(198, 58),
            Probability::new(200, 56),
            Probability::new(203, 53),
            Probability::new(205, 51),
            Probability::new(207, 49),
            Probability::new(209, 47),
            Probability::new(210, 46),
            Probability::new(212, 44),
            Probability::new(213, 43),
            Probability::new(215, 41),
            Probability::new(36, 220),
            Probability::new(64, 192),
            Probability::new(85, 171),
            Probability::new(102, 154),
            Probability::new(116, 140),
            Probability::new(128, 128),
            Probability::new(138, 118),
            Probability::new(146, 110),
            Probability::new(154, 102),
            Probability::new(160, 96),
            Probability::new(166, 90),
            Probability::new(171, 85),
            Probability::new(175, 81),
            Probability::new(179, 77),
            Probability::new(183, 73),
            Probability::new(186, 70),
            Probability::new(189, 67),
            Probability::new(192, 64),
            Probability::new(195, 61),
            Probability::new(197, 59),
            Probability::new(199, 57),
            Probability::new(201, 55),
            Probability::new(32, 224),
            Probability::new(57, 199),
            Probability::new(77, 179),
            Probability::new(93, 163),
            Probability::new(107, 149),
            Probability::new(118, 138),
            Probability::new(128, 128),
            Probability::new(137, 119),
            Probability::new(144, 112),
            Probability::new(151, 105),
            Probability::new(156, 100),
            Probability::new(162, 94),
            Probability::new(166, 90),
            Probability::new(171, 85),
            Probability::new(175, 81),
            Probability::new(178, 78),
            Probability::new(181, 75),
            Probability::new(184, 72),
            Probability::new(187, 69),
            Probability::new(28, 228),
            Probability::new(51, 205),
            Probability::new(70, 186),
            Probability::new(85, 171),
            Probability::new(98, 158),
            Probability::new(110, 146),
            Probability::new(119, 137),
            Probability::new(128, 128),
            Probability::new(136, 120),
            Probability::new(142, 114),
            Probability::new(148, 108),
            Probability::new(154, 102),
            Probability::new(158, 98),
            Probability::new(163, 93),
            Probability::new(167, 89),
            Probability::new(171, 85),
            Probability::new(25, 231),
            Probability::new(47, 209),
            Probability::new(64, 192),
            Probability::new(79, 177),
            Probability::new(91, 165),
            Probability::new(102, 154),
            Probability::new(112, 144),
            Probability::new(120, 136),
            Probability::new(128, 128),
            Probability::new(135, 121),
            Probability::new(141, 115),
            Probability::new(146, 110),
            Probability::new(151, 105),
            Probability::new(156, 100),
            Probability::new(23, 233),
            Probability::new(43, 213),
            Probability::new(59, 197),
            Probability::new(73, 183),
            Probability::new(85, 171),
            Probability::new(96, 160),
            Probability::new(105, 151),
            Probability::new(114, 142),
            Probability::new(121, 135),
            Probability::new(128, 128),
            Probability::new(134, 122),
            Probability::new(140, 116),
            Probability::new(145, 111),
            Probability::new(21, 235),
            Probability::new(39, 217),
            Probability::new(55, 201),
            Probability::new(68, 188),
            Probability::new(80, 176),
            Probability::new(90, 166),
            Probability::new(100, 156),
            Probability::new(108, 148),
            Probability::new(115, 141),
            Probability::new(122, 134),
            Probability::new(128, 128),
            Probability::new(134, 122),
            Probability::new(19, 237),
            Probability::new(37, 219),
            Probability::new(51, 205),
            Probability::new(64, 192),
            Probability::new(75, 181),
            Probability::new(85, 171),
            Probability::new(94, 162),
            Probability::new(102, 154),
            Probability::new(110, 146),
            Probability::new(116, 140),
            Probability::new(122, 134),
            Probability::new(18, 238),
            Probability::new(34, 222),
            Probability::new(48, 208),
            Probability::new(60, 196),
            Probability::new(71, 185),
            Probability::new(81, 175),
            Probability::new(90, 166),
            Probability::new(98, 158),
            Probability::new(105, 151),
            Probability::new(111, 145),
            Probability::new(17, 239),
            Probability::new(32, 224),
            Probability::new(45, 211),
            Probability::new(57, 199),
            Probability::new(67, 189),
            Probability::new(77, 179),
            Probability::new(85, 171),
            Probability::new(93, 163),
            Probability::new(100, 156),
            Probability::new(16, 240),
            Probability::new(30, 226),
            Probability::new(43, 213),
            Probability::new(54, 202),
            Probability::new(64, 192),
            Probability::new(73, 183),
            Probability::new(81, 175),
            Probability::new(89, 167),
            Probability::new(15, 241),
            Probability::new(28, 228),
            Probability::new(40, 216),
            Probability::new(51, 205),
            Probability::new(61, 195),
            Probability::new(70, 186),
            Probability::new(78, 178),
            Probability::new(85, 171),
            Probability::new(14, 242),
            Probability::new(27, 229),
            Probability::new(38, 218),
            Probability::new(49, 207),
            Probability::new(58, 198),
            Probability::new(67, 189),
            Probability::new(75, 181),
            Probability::new(13, 243),
            Probability::new(26, 230),
            Probability::new(37, 219),
            Probability::new(47, 209),
            Probability::new(56, 200),
            Probability::new(64, 192),
            Probability::new(72, 184),
            Probability::new(12, 244),
            Probability::new(24, 232),
            Probability::new(35, 221),
            Probability::new(45, 211),
            Probability::new(53, 203),
            Probability::new(61, 195),
            Probability::new(69, 187),
            Probability::new(12, 244),
            Probability::new(23, 233),
            Probability::new(33, 223),
            Probability::new(43, 213),
            Probability::new(51, 205),
            Probability::new(59, 197),
            Probability::new(11, 245),
            Probability::new(22, 234),
            Probability::new(32, 224),
            Probability::new(41, 215),
            Probability::new(49, 207),
            Probability::new(57, 199),
            Probability::new(11, 245),
            Probability::new(21, 235),
            Probability::new(31, 225),
            Probability::new(39, 217),
            Probability::new(47, 209),
            Probability::new(55, 201),
            Probability::new(10, 246),
            Probability::new(20, 236),
            Probability::new(30, 226),
            Probability::new(38, 218),
            Probability::new(46, 210),
            Probability::new(10, 246),
            Probability::new(20, 236),
            Probability::new(28, 228),
            Probability::new(37, 219),
            Probability::new(44, 212),
            Probability::new(9, 247),
            Probability::new(19, 237),
            Probability::new(27, 229),
            Probability::new(35, 221),
            Probability::new(43, 213),
            Probability::new(9, 247),
            Probability::new(18, 238),
            Probability::new(26, 230),
            Probability::new(34, 222),
            Probability::new(41, 215),
            Probability::new(9, 247),
            Probability::new(18, 238),
            Probability::new(26, 230),
            Probability::new(33, 223),
            Probability::new(8, 248),
            Probability::new(17, 239),
            Probability::new(25, 231),
            Probability::new(32, 224),
            Probability::new(8, 248),
            Probability::new(17, 239),
            Probability::new(24, 232),
            Probability::new(31, 225),
            Probability::new(8, 248),
            Probability::new(16, 240),
            Probability::new(23, 233),
            Probability::new(30, 226),
            Probability::new(8, 248),
            Probability::new(16, 240),
            Probability::new(23, 233),
            Probability::new(29, 227),
            Probability::new(7, 249),
            Probability::new(15, 241),
            Probability::new(22, 234),
            Probability::new(28, 228),
            Probability::new(7, 249),
            Probability::new(15, 241),
            Probability::new(21, 235),
            Probability::new(28, 228),
            Probability::new(7, 249),
            Probability::new(14, 242),
            Probability::new(21, 235),
            Probability::new(7, 249),
            Probability::new(14, 242),
            Probability::new(20, 236),
            Probability::new(6, 250),
            Probability::new(14, 242),
            Probability::new(20, 236),
            Probability::new(6, 250),
            Probability::new(13, 243),
            Probability::new(19, 237),
            Probability::new(6, 250),
            Probability::new(13, 243),
            Probability::new(19, 237),
            Probability::new(6, 250),
            Probability::new(13, 243),
            Probability::new(18, 238),
            Probability::new(6, 250),
            Probability::new(12, 244),
            Probability::new(18, 238),
            Probability::new(6, 250),
            Probability::new(12, 244),
            Probability::new(17, 239),
            Probability::new(5, 251),
            Probability::new(12, 244),
            Probability::new(17, 239),
            Probability::new(5, 251),
            Probability::new(11, 245),
            Probability::new(17, 239),
            Probability::new(5, 251),
            Probability::new(11, 245),
            Probability::new(16, 240),
            Probability::new(5, 251),
            Probability::new(11, 245),
            Probability::new(5, 251),
            Probability::new(11, 245),
            Probability::new(5, 251),
            Probability::new(10, 246),
            Probability::new(5, 251),
            Probability::new(10, 246),
            Probability::new(5, 251),
            Probability::new(10, 246),
            Probability::new(5, 251),
            Probability::new(10, 246),
            Probability::new(4, 252),
            Probability::new(10, 246),
            Probability::new(4, 252),
            Probability::new(10, 246),
            Probability::new(4, 252),
            Probability::new(9, 247),
            Probability::new(4, 252),
            Probability::new(9, 247),
            Probability::new(4, 252),
            Probability::new(9, 247),
            Probability::new(4, 252),
            Probability::new(9, 247),
            Probability::new(4, 252),
            Probability::new(9, 247),
            Probability::new(4, 252),
            Probability::new(9, 247),
            Probability::new(4, 252),
            Probability::new(8, 248),
            Probability::new(4, 252),
            Probability::new(8, 248),
            Probability::new(4, 252),
            Probability::new(8, 248),
            Probability::new(4, 252),
            Probability::new(8, 248),
            Probability::new(4, 252),
            Probability::new(8, 248),
            Probability::new(3, 253),
            Probability::new(8, 248),
            Probability::new(3, 253),
            Probability::new(8, 248),
            Probability::new(3, 253),
            Probability::new(8, 248),
            Probability::new(3, 253),
            Probability::new(3, 253),
            Probability::new(3, 253),
            Probability::new(3, 253),
            Probability::new(3, 253),
            Probability::new(3, 253),
            Probability::new(3, 253),
            Probability::new(3, 253),
            Probability::new(3, 253),
            Probability::new(3, 253),
            Probability::new(3, 253),
            Probability::new(3, 253),
            Probability::new(3, 253),
            Probability::new(3, 253),
            Probability::new(3, 253),
            Probability::new(3, 253),
            Probability::new(3, 253),
            Probability::new(3, 253),
            Probability::new(3, 253),
            Probability::new(3, 253),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
            Probability::new(2, 254),
        ];
        LOOKUP[self as usize]
    }

    #[inline]
    pub fn adapt(self, bit: bool) -> Self {
        const OUTCOMES: [BitContext; 2 * 675] = [
            True0False1,   // from True0False0 with false
            True1False1,   // from True1False0 with false
            True2False1,   // from True2False0 with false
            True3False1,   // from True3False0 with false
            True4False1,   // from True4False0 with false
            True5False1,   // from True5False0 with false
            True6False1,   // from True6False0 with false
            True7False1,   // from True7False0 with false
            True8False1,   // from True8False0 with false
            True9False1,   // from True9False0 with false
            True10False1,  // from True10False0 with false
            True11False1,  // from True11False0 with false
            True12False1,  // from True12False0 with false
            True13False1,  // from True13False0 with false
            True14False1,  // from True14False0 with false
            True15False1,  // from True15False0 with false
            True16False1,  // from True16False0 with false
            True17False1,  // from True17False0 with false
            True18False1,  // from True18False0 with false
            True19False1,  // from True19False0 with false
            True20False1,  // from True20False0 with false
            True21False1,  // from True21False0 with false
            True22False1,  // from True22False0 with false
            True23False1,  // from True23False0 with false
            True24False1,  // from True24False0 with false
            True25False1,  // from True25False0 with false
            True26False1,  // from True26False0 with false
            True27False1,  // from True27False0 with false
            True28False1,  // from True28False0 with false
            True29False1,  // from True29False0 with false
            True30False1,  // from True30False0 with false
            True31False1,  // from True31False0 with false
            True32False1,  // from True32False0 with false
            True33False1,  // from True33False0 with false
            True34False1,  // from True34False0 with false
            True35False1,  // from True35False0 with false
            True36False1,  // from True36False0 with false
            True37False1,  // from True37False0 with false
            True38False1,  // from True38False0 with false
            True39False1,  // from True39False0 with false
            True40False1,  // from True40False0 with false
            True41False1,  // from True41False0 with false
            True42False1,  // from True42False0 with false
            True43False1,  // from True43False0 with false
            True44False1,  // from True44False0 with false
            True45False1,  // from True45False0 with false
            True46False1,  // from True46False0 with false
            True47False1,  // from True47False0 with false
            True48False1,  // from True48False0 with false
            True49False1,  // from True49False0 with false
            True50False1,  // from True50False0 with false
            True51False1,  // from True51False0 with false
            True52False1,  // from True52False0 with false
            True53False1,  // from True53False0 with false
            True54False1,  // from True54False0 with false
            True55False1,  // from True55False0 with false
            True56False1,  // from True56False0 with false
            True57False1,  // from True57False0 with false
            True58False1,  // from True58False0 with false
            True59False1,  // from True59False0 with false
            True60False1,  // from True60False0 with false
            True61False1,  // from True61False0 with false
            True62False1,  // from True62False0 with false
            True63False1,  // from True63False0 with false
            True64False1,  // from True64False0 with false
            True65False1,  // from True65False0 with false
            True33False0,  // from True66False0 with false
            True33False0,  // from True67False0 with false
            True34False0,  // from True68False0 with false
            True34False0,  // from True69False0 with false
            True35False0,  // from True70False0 with false
            True35False0,  // from True71False0 with false
            True36False0,  // from True72False0 with false
            True36False0,  // from True73False0 with false
            True37False0,  // from True74False0 with false
            True37False0,  // from True75False0 with false
            True38False0,  // from True76False0 with false
            True38False0,  // from True77False0 with false
            True39False0,  // from True78False0 with false
            True39False0,  // from True79False0 with false
            True40False0,  // from True80False0 with false
            True40False0,  // from True81False0 with false
            True41False0,  // from True82False0 with false
            True41False0,  // from True83False0 with false
            True42False0,  // from True84False0 with false
            True42False0,  // from True85False0 with false
            True43False0,  // from True86False0 with false
            True43False0,  // from True87False0 with false
            True44False0,  // from True88False0 with false
            True44False0,  // from True89False0 with false
            True45False0,  // from True90False0 with false
            True45False0,  // from True91False0 with false
            True46False0,  // from True92False0 with false
            True46False0,  // from True93False0 with false
            True47False0,  // from True94False0 with false
            True47False0,  // from True95False0 with false
            True48False0,  // from True96False0 with false
            True48False0,  // from True97False0 with false
            True49False0,  // from True98False0 with false
            True49False0,  // from True99False0 with false
            True50False0,  // from True100False0 with false
            True50False0,  // from True101False0 with false
            True51False0,  // from True102False0 with false
            True51False0,  // from True103False0 with false
            True52False0,  // from True104False0 with false
            True52False0,  // from True105False0 with false
            True53False0,  // from True106False0 with false
            True53False0,  // from True107False0 with false
            True54False0,  // from True108False0 with false
            True54False0,  // from True109False0 with false
            True55False0,  // from True110False0 with false
            True55False0,  // from True111False0 with false
            True56False0,  // from True112False0 with false
            True56False0,  // from True113False0 with false
            True57False0,  // from True114False0 with false
            True57False0,  // from True115False0 with false
            True58False0,  // from True116False0 with false
            True58False0,  // from True117False0 with false
            True59False0,  // from True118False0 with false
            True59False0,  // from True119False0 with false
            True60False0,  // from True120False0 with false
            True60False0,  // from True121False0 with false
            True61False0,  // from True122False0 with false
            True61False0,  // from True123False0 with false
            True62False0,  // from True124False0 with false
            True62False0,  // from True125False0 with false
            True63False0,  // from True126False0 with false
            True63False0,  // from True127False0 with false
            True64False0,  // from True128False0 with false
            True64False0,  // from True129False0 with false
            True65False0,  // from True130False0 with false
            True65False0,  // from True131False0 with false
            True66False0,  // from True132False0 with false
            True0False2,   // from True0False1 with false
            True1False2,   // from True1False1 with false
            True2False2,   // from True2False1 with false
            True3False2,   // from True3False1 with false
            True4False2,   // from True4False1 with false
            True5False2,   // from True5False1 with false
            True6False2,   // from True6False1 with false
            True7False2,   // from True7False1 with false
            True8False2,   // from True8False1 with false
            True9False2,   // from True9False1 with false
            True10False2,  // from True10False1 with false
            True11False2,  // from True11False1 with false
            True12False2,  // from True12False1 with false
            True13False2,  // from True13False1 with false
            True14False2,  // from True14False1 with false
            True15False2,  // from True15False1 with false
            True16False2,  // from True16False1 with false
            True17False2,  // from True17False1 with false
            True18False2,  // from True18False1 with false
            True19False2,  // from True19False1 with false
            True20False2,  // from True20False1 with false
            True21False2,  // from True21False1 with false
            True22False2,  // from True22False1 with false
            True23False2,  // from True23False1 with false
            True24False2,  // from True24False1 with false
            True25False2,  // from True25False1 with false
            True26False2,  // from True26False1 with false
            True27False2,  // from True27False1 with false
            True28False2,  // from True28False1 with false
            True29False2,  // from True29False1 with false
            True30False2,  // from True30False1 with false
            True31False2,  // from True31False1 with false
            True32False2,  // from True32False1 with false
            True33False2,  // from True33False1 with false
            True34False2,  // from True34False1 with false
            True35False2,  // from True35False1 with false
            True36False2,  // from True36False1 with false
            True37False2,  // from True37False1 with false
            True38False2,  // from True38False1 with false
            True39False2,  // from True39False1 with false
            True40False2,  // from True40False1 with false
            True41False2,  // from True41False1 with false
            True42False2,  // from True42False1 with false
            True43False2,  // from True43False1 with false
            True22False1,  // from True44False1 with false
            True22False1,  // from True45False1 with false
            True23False1,  // from True46False1 with false
            True23False1,  // from True47False1 with false
            True24False1,  // from True48False1 with false
            True24False1,  // from True49False1 with false
            True25False1,  // from True50False1 with false
            True25False1,  // from True51False1 with false
            True26False1,  // from True52False1 with false
            True26False1,  // from True53False1 with false
            True27False1,  // from True54False1 with false
            True27False1,  // from True55False1 with false
            True28False1,  // from True56False1 with false
            True28False1,  // from True57False1 with false
            True29False1,  // from True58False1 with false
            True29False1,  // from True59False1 with false
            True30False1,  // from True60False1 with false
            True30False1,  // from True61False1 with false
            True31False1,  // from True62False1 with false
            True31False1,  // from True63False1 with false
            True32False1,  // from True64False1 with false
            True32False1,  // from True65False1 with false
            True0False3,   // from True0False2 with false
            True1False3,   // from True1False2 with false
            True2False3,   // from True2False2 with false
            True3False3,   // from True3False2 with false
            True4False3,   // from True4False2 with false
            True5False3,   // from True5False2 with false
            True6False3,   // from True6False2 with false
            True7False3,   // from True7False2 with false
            True8False3,   // from True8False2 with false
            True9False3,   // from True9False2 with false
            True10False3,  // from True10False2 with false
            True11False3,  // from True11False2 with false
            True12False3,  // from True12False2 with false
            True13False3,  // from True13False2 with false
            True14False3,  // from True14False2 with false
            True15False3,  // from True15False2 with false
            True16False3,  // from True16False2 with false
            True17False3,  // from True17False2 with false
            True18False3,  // from True18False2 with false
            True19False3,  // from True19False2 with false
            True20False3,  // from True20False2 with false
            True21False3,  // from True21False2 with false
            True22False3,  // from True22False2 with false
            True23False3,  // from True23False2 with false
            True24False3,  // from True24False2 with false
            True25False3,  // from True25False2 with false
            True26False3,  // from True26False2 with false
            True27False3,  // from True27False2 with false
            True28False3,  // from True28False2 with false
            True29False3,  // from True29False2 with false
            True30False3,  // from True30False2 with false
            True31False3,  // from True31False2 with false
            True32False3,  // from True32False2 with false
            True16False1,  // from True33False2 with false
            True17False1,  // from True34False2 with false
            True17False1,  // from True35False2 with false
            True18False1,  // from True36False2 with false
            True18False1,  // from True37False2 with false
            True19False1,  // from True38False2 with false
            True19False1,  // from True39False2 with false
            True20False1,  // from True40False2 with false
            True20False1,  // from True41False2 with false
            True21False1,  // from True42False2 with false
            True21False1,  // from True43False2 with false
            True0False4,   // from True0False3 with false
            True1False4,   // from True1False3 with false
            True2False4,   // from True2False3 with false
            True3False4,   // from True3False3 with false
            True4False4,   // from True4False3 with false
            True5False4,   // from True5False3 with false
            True6False4,   // from True6False3 with false
            True7False4,   // from True7False3 with false
            True8False4,   // from True8False3 with false
            True9False4,   // from True9False3 with false
            True10False4,  // from True10False3 with false
            True11False4,  // from True11False3 with false
            True12False4,  // from True12False3 with false
            True13False4,  // from True13False3 with false
            True14False4,  // from True14False3 with false
            True15False4,  // from True15False3 with false
            True16False4,  // from True16False3 with false
            True17False4,  // from True17False3 with false
            True18False4,  // from True18False3 with false
            True19False4,  // from True19False3 with false
            True20False4,  // from True20False3 with false
            True21False4,  // from True21False3 with false
            True22False4,  // from True22False3 with false
            True23False4,  // from True23False3 with false
            True24False4,  // from True24False3 with false
            True25False4,  // from True25False3 with false
            True13False2,  // from True26False3 with false
            True13False2,  // from True27False3 with false
            True14False2,  // from True28False3 with false
            True14False2,  // from True29False3 with false
            True15False2,  // from True30False3 with false
            True15False2,  // from True31False3 with false
            True16False2,  // from True32False3 with false
            True0False5,   // from True0False4 with false
            True1False5,   // from True1False4 with false
            True2False5,   // from True2False4 with false
            True3False5,   // from True3False4 with false
            True4False5,   // from True4False4 with false
            True5False5,   // from True5False4 with false
            True6False5,   // from True6False4 with false
            True7False5,   // from True7False4 with false
            True8False5,   // from True8False4 with false
            True9False5,   // from True9False4 with false
            True10False5,  // from True10False4 with false
            True11False5,  // from True11False4 with false
            True12False5,  // from True12False4 with false
            True13False5,  // from True13False4 with false
            True14False5,  // from True14False4 with false
            True15False5,  // from True15False4 with false
            True16False5,  // from True16False4 with false
            True17False5,  // from True17False4 with false
            True18False5,  // from True18False4 with false
            True19False5,  // from True19False4 with false
            True20False5,  // from True20False4 with false
            True21False5,  // from True21False4 with false
            True11False2,  // from True22False4 with false
            True11False2,  // from True23False4 with false
            True12False2,  // from True24False4 with false
            True12False2,  // from True25False4 with false
            True0False6,   // from True0False5 with false
            True1False6,   // from True1False5 with false
            True2False6,   // from True2False5 with false
            True3False6,   // from True3False5 with false
            True4False6,   // from True4False5 with false
            True5False6,   // from True5False5 with false
            True6False6,   // from True6False5 with false
            True7False6,   // from True7False5 with false
            True8False6,   // from True8False5 with false
            True9False6,   // from True9False5 with false
            True10False6,  // from True10False5 with false
            True11False6,  // from True11False5 with false
            True12False6,  // from True12False5 with false
            True13False6,  // from True13False5 with false
            True14False6,  // from True14False5 with false
            True15False6,  // from True15False5 with false
            True16False6,  // from True16False5 with false
            True17False6,  // from True17False5 with false
            True18False6,  // from True18False5 with false
            True9False3,   // from True19False5 with false
            True10False3,  // from True20False5 with false
            True10False3,  // from True21False5 with false
            True0False7,   // from True0False6 with false
            True1False7,   // from True1False6 with false
            True2False7,   // from True2False6 with false
            True3False7,   // from True3False6 with false
            True4False7,   // from True4False6 with false
            True5False7,   // from True5False6 with false
            True6False7,   // from True6False6 with false
            True7False7,   // from True7False6 with false
            True8False7,   // from True8False6 with false
            True9False7,   // from True9False6 with false
            True10False7,  // from True10False6 with false
            True11False7,  // from True11False6 with false
            True12False7,  // from True12False6 with false
            True13False7,  // from True13False6 with false
            True14False7,  // from True14False6 with false
            True15False7,  // from True15False6 with false
            True8False3,   // from True16False6 with false
            True8False3,   // from True17False6 with false
            True9False3,   // from True18False6 with false
            True0False8,   // from True0False7 with false
            True1False8,   // from True1False7 with false
            True2False8,   // from True2False7 with false
            True3False8,   // from True3False7 with false
            True4False8,   // from True4False7 with false
            True5False8,   // from True5False7 with false
            True6False8,   // from True6False7 with false
            True7False8,   // from True7False7 with false
            True8False8,   // from True8False7 with false
            True9False8,   // from True9False7 with false
            True10False8,  // from True10False7 with false
            True11False8,  // from True11False7 with false
            True12False8,  // from True12False7 with false
            True13False8,  // from True13False7 with false
            True7False4,   // from True14False7 with false
            True7False4,   // from True15False7 with false
            True0False9,   // from True0False8 with false
            True1False9,   // from True1False8 with false
            True2False9,   // from True2False8 with false
            True3False9,   // from True3False8 with false
            True4False9,   // from True4False8 with false
            True5False9,   // from True5False8 with false
            True6False9,   // from True6False8 with false
            True7False9,   // from True7False8 with false
            True8False9,   // from True8False8 with false
            True9False9,   // from True9False8 with false
            True10False9,  // from True10False8 with false
            True11False9,  // from True11False8 with false
            True12False9,  // from True12False8 with false
            True6False4,   // from True13False8 with false
            True0False10,  // from True0False9 with false
            True1False10,  // from True1False9 with false
            True2False10,  // from True2False9 with false
            True3False10,  // from True3False9 with false
            True4False10,  // from True4False9 with false
            True5False10,  // from True5False9 with false
            True6False10,  // from True6False9 with false
            True7False10,  // from True7False9 with false
            True8False10,  // from True8False9 with false
            True9False10,  // from True9False9 with false
            True10False10, // from True10False9 with false
            True11False10, // from True11False9 with false
            True6False5,   // from True12False9 with false
            True0False11,  // from True0False10 with false
            True1False11,  // from True1False10 with false
            True2False11,  // from True2False10 with false
            True3False11,  // from True3False10 with false
            True4False11,  // from True4False10 with false
            True5False11,  // from True5False10 with false
            True6False11,  // from True6False10 with false
            True7False11,  // from True7False10 with false
            True8False11,  // from True8False10 with false
            True9False11,  // from True9False10 with false
            True10False11, // from True10False10 with false
            True5False5,   // from True11False10 with false
            True0False12,  // from True0False11 with false
            True1False12,  // from True1False11 with false
            True2False12,  // from True2False11 with false
            True3False12,  // from True3False11 with false
            True4False12,  // from True4False11 with false
            True5False12,  // from True5False11 with false
            True6False12,  // from True6False11 with false
            True7False12,  // from True7False11 with false
            True8False12,  // from True8False11 with false
            True9False12,  // from True9False11 with false
            True5False6,   // from True10False11 with false
            True0False13,  // from True0False12 with false
            True1False13,  // from True1False12 with false
            True2False13,  // from True2False12 with false
            True3False13,  // from True3False12 with false
            True4False13,  // from True4False12 with false
            True5False13,  // from True5False12 with false
            True6False13,  // from True6False12 with false
            True7False13,  // from True7False12 with false
            True8False13,  // from True8False12 with false
            True4False6,   // from True9False12 with false
            True0False14,  // from True0False13 with false
            True1False14,  // from True1False13 with false
            True2False14,  // from True2False13 with false
            True3False14,  // from True3False13 with false
            True4False14,  // from True4False13 with false
            True5False14,  // from True5False13 with false
            True6False14,  // from True6False13 with false
            True7False14,  // from True7False13 with false
            True4False7,   // from True8False13 with false
            True0False15,  // from True0False14 with false
            True1False15,  // from True1False14 with false
            True2False15,  // from True2False14 with false
            True3False15,  // from True3False14 with false
            True4False15,  // from True4False14 with false
            True5False15,  // from True5False14 with false
            True6False15,  // from True6False14 with false
            True7False15,  // from True7False14 with false
            True0False16,  // from True0False15 with false
            True1False16,  // from True1False15 with false
            True2False16,  // from True2False15 with false
            True3False16,  // from True3False15 with false
            True4False16,  // from True4False15 with false
            True5False16,  // from True5False15 with false
            True6False16,  // from True6False15 with false
            True3False8,   // from True7False15 with false
            True0False17,  // from True0False16 with false
            True1False17,  // from True1False16 with false
            True2False17,  // from True2False16 with false
            True3False17,  // from True3False16 with false
            True4False17,  // from True4False16 with false
            True5False17,  // from True5False16 with false
            True6False17,  // from True6False16 with false
            True0False18,  // from True0False17 with false
            True1False18,  // from True1False17 with false
            True2False18,  // from True2False17 with false
            True3False18,  // from True3False17 with false
            True4False18,  // from True4False17 with false
            True5False18,  // from True5False17 with false
            True6False18,  // from True6False17 with false
            True0False19,  // from True0False18 with false
            True1False19,  // from True1False18 with false
            True2False19,  // from True2False18 with false
            True3False19,  // from True3False18 with false
            True4False19,  // from True4False18 with false
            True5False19,  // from True5False18 with false
            True3False9,   // from True6False18 with false
            True0False20,  // from True0False19 with false
            True1False20,  // from True1False19 with false
            True2False20,  // from True2False19 with false
            True3False20,  // from True3False19 with false
            True4False20,  // from True4False19 with false
            True5False20,  // from True5False19 with false
            True0False21,  // from True0False20 with false
            True1False21,  // from True1False20 with false
            True2False21,  // from True2False20 with false
            True3False21,  // from True3False20 with false
            True4False21,  // from True4False20 with false
            True5False21,  // from True5False20 with false
            True0False22,  // from True0False21 with false
            True1False22,  // from True1False21 with false
            True2False22,  // from True2False21 with false
            True3False22,  // from True3False21 with false
            True4False22,  // from True4False21 with false
            True2False11,  // from True5False21 with false
            True0False23,  // from True0False22 with false
            True1False23,  // from True1False22 with false
            True2False23,  // from True2False22 with false
            True3False23,  // from True3False22 with false
            True4False23,  // from True4False22 with false
            True0False24,  // from True0False23 with false
            True1False24,  // from True1False23 with false
            True2False24,  // from True2False23 with false
            True3False24,  // from True3False23 with false
            True4False24,  // from True4False23 with false
            True0False25,  // from True0False24 with false
            True1False25,  // from True1False24 with false
            True2False25,  // from True2False24 with false
            True3False25,  // from True3False24 with false
            True4False25,  // from True4False24 with false
            True0False26,  // from True0False25 with false
            True1False26,  // from True1False25 with false
            True2False26,  // from True2False25 with false
            True3False26,  // from True3False25 with false
            True2False13,  // from True4False25 with false
            True0False27,  // from True0False26 with false
            True1False27,  // from True1False26 with false
            True2False27,  // from True2False26 with false
            True3False27,  // from True3False26 with false
            True0False28,  // from True0False27 with false
            True1False28,  // from True1False27 with false
            True2False28,  // from True2False27 with false
            True3False28,  // from True3False27 with false
            True0False29,  // from True0False28 with false
            True1False29,  // from True1False28 with false
            True2False29,  // from True2False28 with false
            True3False29,  // from True3False28 with false
            True0False30,  // from True0False29 with false
            True1False30,  // from True1False29 with false
            True2False30,  // from True2False29 with false
            True3False30,  // from True3False29 with false
            True0False31,  // from True0False30 with false
            True1False31,  // from True1False30 with false
            True2False31,  // from True2False30 with false
            True3False31,  // from True3False30 with false
            True0False32,  // from True0False31 with false
            True1False32,  // from True1False31 with false
            True2False32,  // from True2False31 with false
            True3False32,  // from True3False31 with false
            True0False33,  // from True0False32 with false
            True1False33,  // from True1False32 with false
            True2False33,  // from True2False32 with false
            True1False16,  // from True3False32 with false
            True0False34,  // from True0False33 with false
            True1False34,  // from True1False33 with false
            True2False34,  // from True2False33 with false
            True0False35,  // from True0False34 with false
            True1False35,  // from True1False34 with false
            True2False35,  // from True2False34 with false
            True0False36,  // from True0False35 with false
            True1False36,  // from True1False35 with false
            True2False36,  // from True2False35 with false
            True0False37,  // from True0False36 with false
            True1False37,  // from True1False36 with false
            True2False37,  // from True2False36 with false
            True0False38,  // from True0False37 with false
            True1False38,  // from True1False37 with false
            True2False38,  // from True2False37 with false
            True0False39,  // from True0False38 with false
            True1False39,  // from True1False38 with false
            True2False39,  // from True2False38 with false
            True0False40,  // from True0False39 with false
            True1False40,  // from True1False39 with false
            True2False40,  // from True2False39 with false
            True0False41,  // from True0False40 with false
            True1False41,  // from True1False40 with false
            True2False41,  // from True2False40 with false
            True0False42,  // from True0False41 with false
            True1False42,  // from True1False41 with false
            True2False42,  // from True2False41 with false
            True0False43,  // from True0False42 with false
            True1False43,  // from True1False42 with false
            True2False43,  // from True2False42 with false
            True0False44,  // from True0False43 with false
            True1False44,  // from True1False43 with false
            True1False22,  // from True2False43 with false
            True0False45,  // from True0False44 with false
            True1False45,  // from True1False44 with false
            True0False46,  // from True0False45 with false
            True1False46,  // from True1False45 with false
            True0False47,  // from True0False46 with false
            True1False47,  // from True1False46 with false
            True0False48,  // from True0False47 with false
            True1False48,  // from True1False47 with false
            True0False49,  // from True0False48 with false
            True1False49,  // from True1False48 with false
            True0False50,  // from True0False49 with false
            True1False50,  // from True1False49 with false
            True0False51,  // from True0False50 with false
            True1False51,  // from True1False50 with false
            True0False52,  // from True0False51 with false
            True1False52,  // from True1False51 with false
            True0False53,  // from True0False52 with false
            True1False53,  // from True1False52 with false
            True0False54,  // from True0False53 with false
            True1False54,  // from True1False53 with false
            True0False55,  // from True0False54 with false
            True1False55,  // from True1False54 with false
            True0False56,  // from True0False55 with false
            True1False56,  // from True1False55 with false
            True0False57,  // from True0False56 with false
            True1False57,  // from True1False56 with false
            True0False58,  // from True0False57 with false
            True1False58,  // from True1False57 with false
            True0False59,  // from True0False58 with false
            True1False59,  // from True1False58 with false
            True0False60,  // from True0False59 with false
            True1False60,  // from True1False59 with false
            True0False61,  // from True0False60 with false
            True1False61,  // from True1False60 with false
            True0False62,  // from True0False61 with false
            True1False62,  // from True1False61 with false
            True0False63,  // from True0False62 with false
            True1False63,  // from True1False62 with false
            True0False64,  // from True0False63 with false
            True1False64,  // from True1False63 with false
            True0False65,  // from True0False64 with false
            True1False65,  // from True1False64 with false
            True0False66,  // from True0False65 with false
            True0False33,  // from True1False65 with false
            True0False67,  // from True0False66 with false
            True0False68,  // from True0False67 with false
            True0False69,  // from True0False68 with false
            True0False70,  // from True0False69 with false
            True0False71,  // from True0False70 with false
            True0False72,  // from True0False71 with false
            True0False73,  // from True0False72 with false
            True0False74,  // from True0False73 with false
            True0False75,  // from True0False74 with false
            True0False76,  // from True0False75 with false
            True0False77,  // from True0False76 with false
            True0False78,  // from True0False77 with false
            True0False79,  // from True0False78 with false
            True0False80,  // from True0False79 with false
            True0False81,  // from True0False80 with false
            True0False82,  // from True0False81 with false
            True0False83,  // from True0False82 with false
            True0False84,  // from True0False83 with false
            True0False85,  // from True0False84 with false
            True0False86,  // from True0False85 with false
            True0False87,  // from True0False86 with false
            True0False88,  // from True0False87 with false
            True0False89,  // from True0False88 with false
            True0False90,  // from True0False89 with false
            True0False91,  // from True0False90 with false
            True0False92,  // from True0False91 with false
            True0False93,  // from True0False92 with false
            True0False94,  // from True0False93 with false
            True0False95,  // from True0False94 with false
            True0False96,  // from True0False95 with false
            True0False97,  // from True0False96 with false
            True0False98,  // from True0False97 with false
            True0False99,  // from True0False98 with false
            True0False100, // from True0False99 with false
            True0False101, // from True0False100 with false
            True0False102, // from True0False101 with false
            True0False103, // from True0False102 with false
            True0False104, // from True0False103 with false
            True0False105, // from True0False104 with false
            True0False106, // from True0False105 with false
            True0False107, // from True0False106 with false
            True0False108, // from True0False107 with false
            True0False109, // from True0False108 with false
            True0False110, // from True0False109 with false
            True0False111, // from True0False110 with false
            True0False112, // from True0False111 with false
            True0False113, // from True0False112 with false
            True0False114, // from True0False113 with false
            True0False115, // from True0False114 with false
            True0False116, // from True0False115 with false
            True0False117, // from True0False116 with false
            True0False118, // from True0False117 with false
            True0False119, // from True0False118 with false
            True0False120, // from True0False119 with false
            True0False121, // from True0False120 with false
            True0False122, // from True0False121 with false
            True0False123, // from True0False122 with false
            True0False124, // from True0False123 with false
            True0False125, // from True0False124 with false
            True0False126, // from True0False125 with false
            True0False127, // from True0False126 with false
            True0False128, // from True0False127 with false
            True0False129, // from True0False128 with false
            True0False130, // from True0False129 with false
            True0False131, // from True0False130 with false
            True0False132, // from True0False131 with false
            True0False132, // from True0False132 with false
            True1False0,   // from True0False0 with true
            True2False0,   // from True1False0 with true
            True3False0,   // from True2False0 with true
            True4False0,   // from True3False0 with true
            True5False0,   // from True4False0 with true
            True6False0,   // from True5False0 with true
            True7False0,   // from True6False0 with true
            True8False0,   // from True7False0 with true
            True9False0,   // from True8False0 with true
            True10False0,  // from True9False0 with true
            True11False0,  // from True10False0 with true
            True12False0,  // from True11False0 with true
            True13False0,  // from True12False0 with true
            True14False0,  // from True13False0 with true
            True15False0,  // from True14False0 with true
            True16False0,  // from True15False0 with true
            True17False0,  // from True16False0 with true
            True18False0,  // from True17False0 with true
            True19False0,  // from True18False0 with true
            True20False0,  // from True19False0 with true
            True21False0,  // from True20False0 with true
            True22False0,  // from True21False0 with true
            True23False0,  // from True22False0 with true
            True24False0,  // from True23False0 with true
            True25False0,  // from True24False0 with true
            True26False0,  // from True25False0 with true
            True27False0,  // from True26False0 with true
            True28False0,  // from True27False0 with true
            True29False0,  // from True28False0 with true
            True30False0,  // from True29False0 with true
            True31False0,  // from True30False0 with true
            True32False0,  // from True31False0 with true
            True33False0,  // from True32False0 with true
            True34False0,  // from True33False0 with true
            True35False0,  // from True34False0 with true
            True36False0,  // from True35False0 with true
            True37False0,  // from True36False0 with true
            True38False0,  // from True37False0 with true
            True39False0,  // from True38False0 with true
            True40False0,  // from True39False0 with true
            True41False0,  // from True40False0 with true
            True42False0,  // from True41False0 with true
            True43False0,  // from True42False0 with true
            True44False0,  // from True43False0 with true
            True45False0,  // from True44False0 with true
            True46False0,  // from True45False0 with true
            True47False0,  // from True46False0 with true
            True48False0,  // from True47False0 with true
            True49False0,  // from True48False0 with true
            True50False0,  // from True49False0 with true
            True51False0,  // from True50False0 with true
            True52False0,  // from True51False0 with true
            True53False0,  // from True52False0 with true
            True54False0,  // from True53False0 with true
            True55False0,  // from True54False0 with true
            True56False0,  // from True55False0 with true
            True57False0,  // from True56False0 with true
            True58False0,  // from True57False0 with true
            True59False0,  // from True58False0 with true
            True60False0,  // from True59False0 with true
            True61False0,  // from True60False0 with true
            True62False0,  // from True61False0 with true
            True63False0,  // from True62False0 with true
            True64False0,  // from True63False0 with true
            True65False0,  // from True64False0 with true
            True66False0,  // from True65False0 with true
            True67False0,  // from True66False0 with true
            True68False0,  // from True67False0 with true
            True69False0,  // from True68False0 with true
            True70False0,  // from True69False0 with true
            True71False0,  // from True70False0 with true
            True72False0,  // from True71False0 with true
            True73False0,  // from True72False0 with true
            True74False0,  // from True73False0 with true
            True75False0,  // from True74False0 with true
            True76False0,  // from True75False0 with true
            True77False0,  // from True76False0 with true
            True78False0,  // from True77False0 with true
            True79False0,  // from True78False0 with true
            True80False0,  // from True79False0 with true
            True81False0,  // from True80False0 with true
            True82False0,  // from True81False0 with true
            True83False0,  // from True82False0 with true
            True84False0,  // from True83False0 with true
            True85False0,  // from True84False0 with true
            True86False0,  // from True85False0 with true
            True87False0,  // from True86False0 with true
            True88False0,  // from True87False0 with true
            True89False0,  // from True88False0 with true
            True90False0,  // from True89False0 with true
            True91False0,  // from True90False0 with true
            True92False0,  // from True91False0 with true
            True93False0,  // from True92False0 with true
            True94False0,  // from True93False0 with true
            True95False0,  // from True94False0 with true
            True96False0,  // from True95False0 with true
            True97False0,  // from True96False0 with true
            True98False0,  // from True97False0 with true
            True99False0,  // from True98False0 with true
            True100False0, // from True99False0 with true
            True101False0, // from True100False0 with true
            True102False0, // from True101False0 with true
            True103False0, // from True102False0 with true
            True104False0, // from True103False0 with true
            True105False0, // from True104False0 with true
            True106False0, // from True105False0 with true
            True107False0, // from True106False0 with true
            True108False0, // from True107False0 with true
            True109False0, // from True108False0 with true
            True110False0, // from True109False0 with true
            True111False0, // from True110False0 with true
            True112False0, // from True111False0 with true
            True113False0, // from True112False0 with true
            True114False0, // from True113False0 with true
            True115False0, // from True114False0 with true
            True116False0, // from True115False0 with true
            True117False0, // from True116False0 with true
            True118False0, // from True117False0 with true
            True119False0, // from True118False0 with true
            True120False0, // from True119False0 with true
            True121False0, // from True120False0 with true
            True122False0, // from True121False0 with true
            True123False0, // from True122False0 with true
            True124False0, // from True123False0 with true
            True125False0, // from True124False0 with true
            True126False0, // from True125False0 with true
            True127False0, // from True126False0 with true
            True128False0, // from True127False0 with true
            True129False0, // from True128False0 with true
            True130False0, // from True129False0 with true
            True131False0, // from True130False0 with true
            True132False0, // from True131False0 with true
            True132False0, // from True132False0 with true
            True1False1,   // from True0False1 with true
            True2False1,   // from True1False1 with true
            True3False1,   // from True2False1 with true
            True4False1,   // from True3False1 with true
            True5False1,   // from True4False1 with true
            True6False1,   // from True5False1 with true
            True7False1,   // from True6False1 with true
            True8False1,   // from True7False1 with true
            True9False1,   // from True8False1 with true
            True10False1,  // from True9False1 with true
            True11False1,  // from True10False1 with true
            True12False1,  // from True11False1 with true
            True13False1,  // from True12False1 with true
            True14False1,  // from True13False1 with true
            True15False1,  // from True14False1 with true
            True16False1,  // from True15False1 with true
            True17False1,  // from True16False1 with true
            True18False1,  // from True17False1 with true
            True19False1,  // from True18False1 with true
            True20False1,  // from True19False1 with true
            True21False1,  // from True20False1 with true
            True22False1,  // from True21False1 with true
            True23False1,  // from True22False1 with true
            True24False1,  // from True23False1 with true
            True25False1,  // from True24False1 with true
            True26False1,  // from True25False1 with true
            True27False1,  // from True26False1 with true
            True28False1,  // from True27False1 with true
            True29False1,  // from True28False1 with true
            True30False1,  // from True29False1 with true
            True31False1,  // from True30False1 with true
            True32False1,  // from True31False1 with true
            True33False1,  // from True32False1 with true
            True34False1,  // from True33False1 with true
            True35False1,  // from True34False1 with true
            True36False1,  // from True35False1 with true
            True37False1,  // from True36False1 with true
            True38False1,  // from True37False1 with true
            True39False1,  // from True38False1 with true
            True40False1,  // from True39False1 with true
            True41False1,  // from True40False1 with true
            True42False1,  // from True41False1 with true
            True43False1,  // from True42False1 with true
            True44False1,  // from True43False1 with true
            True45False1,  // from True44False1 with true
            True46False1,  // from True45False1 with true
            True47False1,  // from True46False1 with true
            True48False1,  // from True47False1 with true
            True49False1,  // from True48False1 with true
            True50False1,  // from True49False1 with true
            True51False1,  // from True50False1 with true
            True52False1,  // from True51False1 with true
            True53False1,  // from True52False1 with true
            True54False1,  // from True53False1 with true
            True55False1,  // from True54False1 with true
            True56False1,  // from True55False1 with true
            True57False1,  // from True56False1 with true
            True58False1,  // from True57False1 with true
            True59False1,  // from True58False1 with true
            True60False1,  // from True59False1 with true
            True61False1,  // from True60False1 with true
            True62False1,  // from True61False1 with true
            True63False1,  // from True62False1 with true
            True64False1,  // from True63False1 with true
            True65False1,  // from True64False1 with true
            True33False0,  // from True65False1 with true
            True1False2,   // from True0False2 with true
            True2False2,   // from True1False2 with true
            True3False2,   // from True2False2 with true
            True4False2,   // from True3False2 with true
            True5False2,   // from True4False2 with true
            True6False2,   // from True5False2 with true
            True7False2,   // from True6False2 with true
            True8False2,   // from True7False2 with true
            True9False2,   // from True8False2 with true
            True10False2,  // from True9False2 with true
            True11False2,  // from True10False2 with true
            True12False2,  // from True11False2 with true
            True13False2,  // from True12False2 with true
            True14False2,  // from True13False2 with true
            True15False2,  // from True14False2 with true
            True16False2,  // from True15False2 with true
            True17False2,  // from True16False2 with true
            True18False2,  // from True17False2 with true
            True19False2,  // from True18False2 with true
            True20False2,  // from True19False2 with true
            True21False2,  // from True20False2 with true
            True22False2,  // from True21False2 with true
            True23False2,  // from True22False2 with true
            True24False2,  // from True23False2 with true
            True25False2,  // from True24False2 with true
            True26False2,  // from True25False2 with true
            True27False2,  // from True26False2 with true
            True28False2,  // from True27False2 with true
            True29False2,  // from True28False2 with true
            True30False2,  // from True29False2 with true
            True31False2,  // from True30False2 with true
            True32False2,  // from True31False2 with true
            True33False2,  // from True32False2 with true
            True34False2,  // from True33False2 with true
            True35False2,  // from True34False2 with true
            True36False2,  // from True35False2 with true
            True37False2,  // from True36False2 with true
            True38False2,  // from True37False2 with true
            True39False2,  // from True38False2 with true
            True40False2,  // from True39False2 with true
            True41False2,  // from True40False2 with true
            True42False2,  // from True41False2 with true
            True43False2,  // from True42False2 with true
            True22False1,  // from True43False2 with true
            True1False3,   // from True0False3 with true
            True2False3,   // from True1False3 with true
            True3False3,   // from True2False3 with true
            True4False3,   // from True3False3 with true
            True5False3,   // from True4False3 with true
            True6False3,   // from True5False3 with true
            True7False3,   // from True6False3 with true
            True8False3,   // from True7False3 with true
            True9False3,   // from True8False3 with true
            True10False3,  // from True9False3 with true
            True11False3,  // from True10False3 with true
            True12False3,  // from True11False3 with true
            True13False3,  // from True12False3 with true
            True14False3,  // from True13False3 with true
            True15False3,  // from True14False3 with true
            True16False3,  // from True15False3 with true
            True17False3,  // from True16False3 with true
            True18False3,  // from True17False3 with true
            True19False3,  // from True18False3 with true
            True20False3,  // from True19False3 with true
            True21False3,  // from True20False3 with true
            True22False3,  // from True21False3 with true
            True23False3,  // from True22False3 with true
            True24False3,  // from True23False3 with true
            True25False3,  // from True24False3 with true
            True26False3,  // from True25False3 with true
            True27False3,  // from True26False3 with true
            True28False3,  // from True27False3 with true
            True29False3,  // from True28False3 with true
            True30False3,  // from True29False3 with true
            True31False3,  // from True30False3 with true
            True32False3,  // from True31False3 with true
            True16False1,  // from True32False3 with true
            True1False4,   // from True0False4 with true
            True2False4,   // from True1False4 with true
            True3False4,   // from True2False4 with true
            True4False4,   // from True3False4 with true
            True5False4,   // from True4False4 with true
            True6False4,   // from True5False4 with true
            True7False4,   // from True6False4 with true
            True8False4,   // from True7False4 with true
            True9False4,   // from True8False4 with true
            True10False4,  // from True9False4 with true
            True11False4,  // from True10False4 with true
            True12False4,  // from True11False4 with true
            True13False4,  // from True12False4 with true
            True14False4,  // from True13False4 with true
            True15False4,  // from True14False4 with true
            True16False4,  // from True15False4 with true
            True17False4,  // from True16False4 with true
            True18False4,  // from True17False4 with true
            True19False4,  // from True18False4 with true
            True20False4,  // from True19False4 with true
            True21False4,  // from True20False4 with true
            True22False4,  // from True21False4 with true
            True23False4,  // from True22False4 with true
            True24False4,  // from True23False4 with true
            True25False4,  // from True24False4 with true
            True13False2,  // from True25False4 with true
            True1False5,   // from True0False5 with true
            True2False5,   // from True1False5 with true
            True3False5,   // from True2False5 with true
            True4False5,   // from True3False5 with true
            True5False5,   // from True4False5 with true
            True6False5,   // from True5False5 with true
            True7False5,   // from True6False5 with true
            True8False5,   // from True7False5 with true
            True9False5,   // from True8False5 with true
            True10False5,  // from True9False5 with true
            True11False5,  // from True10False5 with true
            True12False5,  // from True11False5 with true
            True13False5,  // from True12False5 with true
            True14False5,  // from True13False5 with true
            True15False5,  // from True14False5 with true
            True16False5,  // from True15False5 with true
            True17False5,  // from True16False5 with true
            True18False5,  // from True17False5 with true
            True19False5,  // from True18False5 with true
            True20False5,  // from True19False5 with true
            True21False5,  // from True20False5 with true
            True11False2,  // from True21False5 with true
            True1False6,   // from True0False6 with true
            True2False6,   // from True1False6 with true
            True3False6,   // from True2False6 with true
            True4False6,   // from True3False6 with true
            True5False6,   // from True4False6 with true
            True6False6,   // from True5False6 with true
            True7False6,   // from True6False6 with true
            True8False6,   // from True7False6 with true
            True9False6,   // from True8False6 with true
            True10False6,  // from True9False6 with true
            True11False6,  // from True10False6 with true
            True12False6,  // from True11False6 with true
            True13False6,  // from True12False6 with true
            True14False6,  // from True13False6 with true
            True15False6,  // from True14False6 with true
            True16False6,  // from True15False6 with true
            True17False6,  // from True16False6 with true
            True18False6,  // from True17False6 with true
            True9False3,   // from True18False6 with true
            True1False7,   // from True0False7 with true
            True2False7,   // from True1False7 with true
            True3False7,   // from True2False7 with true
            True4False7,   // from True3False7 with true
            True5False7,   // from True4False7 with true
            True6False7,   // from True5False7 with true
            True7False7,   // from True6False7 with true
            True8False7,   // from True7False7 with true
            True9False7,   // from True8False7 with true
            True10False7,  // from True9False7 with true
            True11False7,  // from True10False7 with true
            True12False7,  // from True11False7 with true
            True13False7,  // from True12False7 with true
            True14False7,  // from True13False7 with true
            True15False7,  // from True14False7 with true
            True8False3,   // from True15False7 with true
            True1False8,   // from True0False8 with true
            True2False8,   // from True1False8 with true
            True3False8,   // from True2False8 with true
            True4False8,   // from True3False8 with true
            True5False8,   // from True4False8 with true
            True6False8,   // from True5False8 with true
            True7False8,   // from True6False8 with true
            True8False8,   // from True7False8 with true
            True9False8,   // from True8False8 with true
            True10False8,  // from True9False8 with true
            True11False8,  // from True10False8 with true
            True12False8,  // from True11False8 with true
            True13False8,  // from True12False8 with true
            True7False4,   // from True13False8 with true
            True1False9,   // from True0False9 with true
            True2False9,   // from True1False9 with true
            True3False9,   // from True2False9 with true
            True4False9,   // from True3False9 with true
            True5False9,   // from True4False9 with true
            True6False9,   // from True5False9 with true
            True7False9,   // from True6False9 with true
            True8False9,   // from True7False9 with true
            True9False9,   // from True8False9 with true
            True10False9,  // from True9False9 with true
            True11False9,  // from True10False9 with true
            True12False9,  // from True11False9 with true
            True6False4,   // from True12False9 with true
            True1False10,  // from True0False10 with true
            True2False10,  // from True1False10 with true
            True3False10,  // from True2False10 with true
            True4False10,  // from True3False10 with true
            True5False10,  // from True4False10 with true
            True6False10,  // from True5False10 with true
            True7False10,  // from True6False10 with true
            True8False10,  // from True7False10 with true
            True9False10,  // from True8False10 with true
            True10False10, // from True9False10 with true
            True11False10, // from True10False10 with true
            True6False5,   // from True11False10 with true
            True1False11,  // from True0False11 with true
            True2False11,  // from True1False11 with true
            True3False11,  // from True2False11 with true
            True4False11,  // from True3False11 with true
            True5False11,  // from True4False11 with true
            True6False11,  // from True5False11 with true
            True7False11,  // from True6False11 with true
            True8False11,  // from True7False11 with true
            True9False11,  // from True8False11 with true
            True10False11, // from True9False11 with true
            True5False5,   // from True10False11 with true
            True1False12,  // from True0False12 with true
            True2False12,  // from True1False12 with true
            True3False12,  // from True2False12 with true
            True4False12,  // from True3False12 with true
            True5False12,  // from True4False12 with true
            True6False12,  // from True5False12 with true
            True7False12,  // from True6False12 with true
            True8False12,  // from True7False12 with true
            True9False12,  // from True8False12 with true
            True5False6,   // from True9False12 with true
            True1False13,  // from True0False13 with true
            True2False13,  // from True1False13 with true
            True3False13,  // from True2False13 with true
            True4False13,  // from True3False13 with true
            True5False13,  // from True4False13 with true
            True6False13,  // from True5False13 with true
            True7False13,  // from True6False13 with true
            True8False13,  // from True7False13 with true
            True4False6,   // from True8False13 with true
            True1False14,  // from True0False14 with true
            True2False14,  // from True1False14 with true
            True3False14,  // from True2False14 with true
            True4False14,  // from True3False14 with true
            True5False14,  // from True4False14 with true
            True6False14,  // from True5False14 with true
            True7False14,  // from True6False14 with true
            True4False7,   // from True7False14 with true
            True1False15,  // from True0False15 with true
            True2False15,  // from True1False15 with true
            True3False15,  // from True2False15 with true
            True4False15,  // from True3False15 with true
            True5False15,  // from True4False15 with true
            True6False15,  // from True5False15 with true
            True7False15,  // from True6False15 with true
            True4False7,   // from True7False15 with true
            True1False16,  // from True0False16 with true
            True2False16,  // from True1False16 with true
            True3False16,  // from True2False16 with true
            True4False16,  // from True3False16 with true
            True5False16,  // from True4False16 with true
            True6False16,  // from True5False16 with true
            True3False8,   // from True6False16 with true
            True1False17,  // from True0False17 with true
            True2False17,  // from True1False17 with true
            True3False17,  // from True2False17 with true
            True4False17,  // from True3False17 with true
            True5False17,  // from True4False17 with true
            True6False17,  // from True5False17 with true
            True3False8,   // from True6False17 with true
            True1False18,  // from True0False18 with true
            True2False18,  // from True1False18 with true
            True3False18,  // from True2False18 with true
            True4False18,  // from True3False18 with true
            True5False18,  // from True4False18 with true
            True6False18,  // from True5False18 with true
            True3False9,   // from True6False18 with true
            True1False19,  // from True0False19 with true
            True2False19,  // from True1False19 with true
            True3False19,  // from True2False19 with true
            True4False19,  // from True3False19 with true
            True5False19,  // from True4False19 with true
            True3False9,   // from True5False19 with true
            True1False20,  // from True0False20 with true
            True2False20,  // from True1False20 with true
            True3False20,  // from True2False20 with true
            True4False20,  // from True3False20 with true
            True5False20,  // from True4False20 with true
            True3False10,  // from True5False20 with true
            True1False21,  // from True0False21 with true
            True2False21,  // from True1False21 with true
            True3False21,  // from True2False21 with true
            True4False21,  // from True3False21 with true
            True5False21,  // from True4False21 with true
            True3False10,  // from True5False21 with true
            True1False22,  // from True0False22 with true
            True2False22,  // from True1False22 with true
            True3False22,  // from True2False22 with true
            True4False22,  // from True3False22 with true
            True2False11,  // from True4False22 with true
            True1False23,  // from True0False23 with true
            True2False23,  // from True1False23 with true
            True3False23,  // from True2False23 with true
            True4False23,  // from True3False23 with true
            True2False11,  // from True4False23 with true
            True1False24,  // from True0False24 with true
            True2False24,  // from True1False24 with true
            True3False24,  // from True2False24 with true
            True4False24,  // from True3False24 with true
            True2False12,  // from True4False24 with true
            True1False25,  // from True0False25 with true
            True2False25,  // from True1False25 with true
            True3False25,  // from True2False25 with true
            True4False25,  // from True3False25 with true
            True2False12,  // from True4False25 with true
            True1False26,  // from True0False26 with true
            True2False26,  // from True1False26 with true
            True3False26,  // from True2False26 with true
            True2False13,  // from True3False26 with true
            True1False27,  // from True0False27 with true
            True2False27,  // from True1False27 with true
            True3False27,  // from True2False27 with true
            True2False13,  // from True3False27 with true
            True1False28,  // from True0False28 with true
            True2False28,  // from True1False28 with true
            True3False28,  // from True2False28 with true
            True2False14,  // from True3False28 with true
            True1False29,  // from True0False29 with true
            True2False29,  // from True1False29 with true
            True3False29,  // from True2False29 with true
            True2False14,  // from True3False29 with true
            True1False30,  // from True0False30 with true
            True2False30,  // from True1False30 with true
            True3False30,  // from True2False30 with true
            True2False15,  // from True3False30 with true
            True1False31,  // from True0False31 with true
            True2False31,  // from True1False31 with true
            True3False31,  // from True2False31 with true
            True2False15,  // from True3False31 with true
            True1False32,  // from True0False32 with true
            True2False32,  // from True1False32 with true
            True3False32,  // from True2False32 with true
            True2False16,  // from True3False32 with true
            True1False33,  // from True0False33 with true
            True2False33,  // from True1False33 with true
            True1False16,  // from True2False33 with true
            True1False34,  // from True0False34 with true
            True2False34,  // from True1False34 with true
            True1False17,  // from True2False34 with true
            True1False35,  // from True0False35 with true
            True2False35,  // from True1False35 with true
            True1False17,  // from True2False35 with true
            True1False36,  // from True0False36 with true
            True2False36,  // from True1False36 with true
            True1False18,  // from True2False36 with true
            True1False37,  // from True0False37 with true
            True2False37,  // from True1False37 with true
            True1False18,  // from True2False37 with true
            True1False38,  // from True0False38 with true
            True2False38,  // from True1False38 with true
            True1False19,  // from True2False38 with true
            True1False39,  // from True0False39 with true
            True2False39,  // from True1False39 with true
            True1False19,  // from True2False39 with true
            True1False40,  // from True0False40 with true
            True2False40,  // from True1False40 with true
            True1False20,  // from True2False40 with true
            True1False41,  // from True0False41 with true
            True2False41,  // from True1False41 with true
            True1False20,  // from True2False41 with true
            True1False42,  // from True0False42 with true
            True2False42,  // from True1False42 with true
            True1False21,  // from True2False42 with true
            True1False43,  // from True0False43 with true
            True2False43,  // from True1False43 with true
            True1False21,  // from True2False43 with true
            True1False44,  // from True0False44 with true
            True1False22,  // from True1False44 with true
            True1False45,  // from True0False45 with true
            True1False22,  // from True1False45 with true
            True1False46,  // from True0False46 with true
            True1False23,  // from True1False46 with true
            True1False47,  // from True0False47 with true
            True1False23,  // from True1False47 with true
            True1False48,  // from True0False48 with true
            True1False24,  // from True1False48 with true
            True1False49,  // from True0False49 with true
            True1False24,  // from True1False49 with true
            True1False50,  // from True0False50 with true
            True1False25,  // from True1False50 with true
            True1False51,  // from True0False51 with true
            True1False25,  // from True1False51 with true
            True1False52,  // from True0False52 with true
            True1False26,  // from True1False52 with true
            True1False53,  // from True0False53 with true
            True1False26,  // from True1False53 with true
            True1False54,  // from True0False54 with true
            True1False27,  // from True1False54 with true
            True1False55,  // from True0False55 with true
            True1False27,  // from True1False55 with true
            True1False56,  // from True0False56 with true
            True1False28,  // from True1False56 with true
            True1False57,  // from True0False57 with true
            True1False28,  // from True1False57 with true
            True1False58,  // from True0False58 with true
            True1False29,  // from True1False58 with true
            True1False59,  // from True0False59 with true
            True1False29,  // from True1False59 with true
            True1False60,  // from True0False60 with true
            True1False30,  // from True1False60 with true
            True1False61,  // from True0False61 with true
            True1False30,  // from True1False61 with true
            True1False62,  // from True0False62 with true
            True1False31,  // from True1False62 with true
            True1False63,  // from True0False63 with true
            True1False31,  // from True1False63 with true
            True1False64,  // from True0False64 with true
            True1False32,  // from True1False64 with true
            True1False65,  // from True0False65 with true
            True1False32,  // from True1False65 with true
            True0False33,  // from True0False66 with true
            True0False33,  // from True0False67 with true
            True0False34,  // from True0False68 with true
            True0False34,  // from True0False69 with true
            True0False35,  // from True0False70 with true
            True0False35,  // from True0False71 with true
            True0False36,  // from True0False72 with true
            True0False36,  // from True0False73 with true
            True0False37,  // from True0False74 with true
            True0False37,  // from True0False75 with true
            True0False38,  // from True0False76 with true
            True0False38,  // from True0False77 with true
            True0False39,  // from True0False78 with true
            True0False39,  // from True0False79 with true
            True0False40,  // from True0False80 with true
            True0False40,  // from True0False81 with true
            True0False41,  // from True0False82 with true
            True0False41,  // from True0False83 with true
            True0False42,  // from True0False84 with true
            True0False42,  // from True0False85 with true
            True0False43,  // from True0False86 with true
            True0False43,  // from True0False87 with true
            True0False44,  // from True0False88 with true
            True0False44,  // from True0False89 with true
            True0False45,  // from True0False90 with true
            True0False45,  // from True0False91 with true
            True0False46,  // from True0False92 with true
            True0False46,  // from True0False93 with true
            True0False47,  // from True0False94 with true
            True0False47,  // from True0False95 with true
            True0False48,  // from True0False96 with true
            True0False48,  // from True0False97 with true
            True0False49,  // from True0False98 with true
            True0False49,  // from True0False99 with true
            True0False50,  // from True0False100 with true
            True0False50,  // from True0False101 with true
            True0False51,  // from True0False102 with true
            True0False51,  // from True0False103 with true
            True0False52,  // from True0False104 with true
            True0False52,  // from True0False105 with true
            True0False53,  // from True0False106 with true
            True0False53,  // from True0False107 with true
            True0False54,  // from True0False108 with true
            True0False54,  // from True0False109 with true
            True0False55,  // from True0False110 with true
            True0False55,  // from True0False111 with true
            True0False56,  // from True0False112 with true
            True0False56,  // from True0False113 with true
            True0False57,  // from True0False114 with true
            True0False57,  // from True0False115 with true
            True0False58,  // from True0False116 with true
            True0False58,  // from True0False117 with true
            True0False59,  // from True0False118 with true
            True0False59,  // from True0False119 with true
            True0False60,  // from True0False120 with true
            True0False60,  // from True0False121 with true
            True0False61,  // from True0False122 with true
            True0False61,  // from True0False123 with true
            True0False62,  // from True0False124 with true
            True0False62,  // from True0False125 with true
            True0False63,  // from True0False126 with true
            True0False63,  // from True0False127 with true
            True0False64,  // from True0False128 with true
            True0False64,  // from True0False129 with true
            True0False65,  // from True0False130 with true
            True0False65,  // from True0False131 with true
            True0False66,  // from True0False132 with true
        ];
        OUTCOMES[(self as usize) + (bit as usize) * 675]
    }
}

impl Probability {
    pub fn millibits(self, bit: bool) -> super::Millibits {
        const LOOKUP: [u32; 512] = [
            0, 8000, 7000, 6415, 6000, 5678, 5415, 5192, 5000, 4830, 4678, 4540, 4415, 4299, 4192,
            4093, 4000, 3912, 3830, 3752, 3678, 3607, 3540, 3476, 3415, 3356, 3299, 3245, 3192,
            3142, 3093, 3045, 3000, 2955, 2912, 2870, 2830, 2790, 2752, 2714, 2678, 2642, 2607,
            2573, 2540, 2508, 2476, 2445, 2415, 2385, 2356, 2327, 2299, 2272, 2245, 2218, 2192,
            2167, 2142, 2117, 2093, 2069, 2045, 2022, 2000, 1977, 1955, 1933, 1912, 1891, 1870,
            1850, 1830, 1810, 1790, 1771, 1752, 1733, 1714, 1696, 1678, 1660, 1642, 1624, 1607,
            1590, 1573, 1557, 1540, 1524, 1508, 1492, 1476, 1460, 1445, 1430, 1415, 1400, 1385,
            1370, 1356, 1341, 1327, 1313, 1299, 1285, 1272, 1258, 1245, 1231, 1218, 1205, 1192,
            1179, 1167, 1154, 1142, 1129, 1117, 1105, 1093, 1081, 1069, 1057, 1045, 1034, 1022,
            1011, 1000, 988, 977, 966, 955, 944, 933, 923, 912, 901, 891, 881, 870, 860, 850, 840,
            830, 820, 810, 800, 790, 780, 771, 761, 752, 742, 733, 723, 714, 705, 696, 687, 678,
            669, 660, 651, 642, 633, 624, 616, 607, 599, 590, 582, 573, 565, 557, 548, 540, 532,
            524, 516, 508, 500, 492, 484, 476, 468, 460, 453, 445, 437, 430, 422, 415, 407, 400,
            392, 385, 377, 370, 363, 356, 348, 341, 334, 327, 320, 313, 306, 299, 292, 285, 278,
            272, 265, 258, 251, 245, 238, 231, 225, 218, 212, 205, 199, 192, 186, 179, 173, 167,
            160, 154, 148, 142, 135, 129, 123, 117, 111, 105, 99, 93, 87, 81, 75, 69, 63, 57, 51,
            45, 39, 34, 28, 22, 17, 11, 5, 8000, 5, 11, 17, 22, 28, 34, 39, 45, 51, 57, 63, 69, 75,
            81, 87, 93, 99, 105, 111, 117, 123, 129, 135, 142, 148, 154, 160, 167, 173, 179, 186,
            192, 199, 205, 212, 218, 225, 231, 238, 245, 251, 258, 265, 272, 278, 285, 292, 299,
            306, 313, 320, 327, 334, 341, 348, 356, 363, 370, 377, 385, 392, 400, 407, 415, 422,
            430, 437, 445, 453, 460, 468, 476, 484, 492, 500, 508, 516, 524, 532, 540, 548, 557,
            565, 573, 582, 590, 599, 607, 616, 624, 633, 642, 651, 660, 669, 678, 687, 696, 705,
            714, 723, 733, 742, 752, 761, 771, 780, 790, 800, 810, 820, 830, 840, 850, 860, 870,
            881, 891, 901, 912, 923, 933, 944, 955, 966, 977, 988, 1000, 1011, 1022, 1034, 1045,
            1057, 1069, 1081, 1093, 1105, 1117, 1129, 1142, 1154, 1167, 1179, 1192, 1205, 1218,
            1231, 1245, 1258, 1272, 1285, 1299, 1313, 1327, 1341, 1356, 1370, 1385, 1400, 1415,
            1430, 1445, 1460, 1476, 1492, 1508, 1524, 1540, 1557, 1573, 1590, 1607, 1624, 1642,
            1660, 1678, 1696, 1714, 1733, 1752, 1771, 1790, 1810, 1830, 1850, 1870, 1891, 1912,
            1933, 1955, 1977, 2000, 2022, 2045, 2069, 2093, 2117, 2142, 2167, 2192, 2218, 2245,
            2272, 2299, 2327, 2356, 2385, 2415, 2445, 2476, 2508, 2540, 2573, 2607, 2642, 2678,
            2714, 2752, 2790, 2830, 2870, 2912, 2955, 3000, 3045, 3093, 3142, 3192, 3245, 3299,
            3356, 3415, 3476, 3540, 3607, 3678, 3752, 3830, 3912, 4000, 4093, 4192, 4299, 4415,
            4540, 4678, 4830, 5000, 5192, 5415, 5678, 6000, 6415, 7000, 8000,
        ];
        let idx = self.prob.get() as usize + bit as usize * 256;
        super::Millibits::new(LOOKUP[idx] as usize)
    }
}

#[cfg(test)]
mod myrand {
    use super::BitContext;
    use rand::distributions::{Distribution, Standard};
    use rand::Rng;
    use BitContext::*;
    impl Distribution<BitContext> for Standard {
        fn sample<R: Rng + ?Sized>(&self, rng: &mut R) -> BitContext {
            match rng.gen_range(0..675) {
                0 => True0False0,
                1 => True1False0,
                2 => True2False0,
                3 => True3False0,
                4 => True4False0,
                5 => True5False0,
                6 => True6False0,
                7 => True7False0,
                8 => True8False0,
                9 => True9False0,
                10 => True10False0,
                11 => True11False0,
                12 => True12False0,
                13 => True13False0,
                14 => True14False0,
                15 => True15False0,
                16 => True16False0,
                17 => True17False0,
                18 => True18False0,
                19 => True19False0,
                20 => True20False0,
                21 => True21False0,
                22 => True22False0,
                23 => True23False0,
                24 => True24False0,
                25 => True25False0,
                26 => True26False0,
                27 => True27False0,
                28 => True28False0,
                29 => True29False0,
                30 => True30False0,
                31 => True31False0,
                32 => True32False0,
                33 => True33False0,
                34 => True34False0,
                35 => True35False0,
                36 => True36False0,
                37 => True37False0,
                38 => True38False0,
                39 => True39False0,
                40 => True40False0,
                41 => True41False0,
                42 => True42False0,
                43 => True43False0,
                44 => True44False0,
                45 => True45False0,
                46 => True46False0,
                47 => True47False0,
                48 => True48False0,
                49 => True49False0,
                50 => True50False0,
                51 => True51False0,
                52 => True52False0,
                53 => True53False0,
                54 => True54False0,
                55 => True55False0,
                56 => True56False0,
                57 => True57False0,
                58 => True58False0,
                59 => True59False0,
                60 => True60False0,
                61 => True61False0,
                62 => True62False0,
                63 => True63False0,
                64 => True64False0,
                65 => True65False0,
                66 => True66False0,
                67 => True67False0,
                68 => True68False0,
                69 => True69False0,
                70 => True70False0,
                71 => True71False0,
                72 => True72False0,
                73 => True73False0,
                74 => True74False0,
                75 => True75False0,
                76 => True76False0,
                77 => True77False0,
                78 => True78False0,
                79 => True79False0,
                80 => True80False0,
                81 => True81False0,
                82 => True82False0,
                83 => True83False0,
                84 => True84False0,
                85 => True85False0,
                86 => True86False0,
                87 => True87False0,
                88 => True88False0,
                89 => True89False0,
                90 => True90False0,
                91 => True91False0,
                92 => True92False0,
                93 => True93False0,
                94 => True94False0,
                95 => True95False0,
                96 => True96False0,
                97 => True97False0,
                98 => True98False0,
                99 => True99False0,
                100 => True100False0,
                101 => True101False0,
                102 => True102False0,
                103 => True103False0,
                104 => True104False0,
                105 => True105False0,
                106 => True106False0,
                107 => True107False0,
                108 => True108False0,
                109 => True109False0,
                110 => True110False0,
                111 => True111False0,
                112 => True112False0,
                113 => True113False0,
                114 => True114False0,
                115 => True115False0,
                116 => True116False0,
                117 => True117False0,
                118 => True118False0,
                119 => True119False0,
                120 => True120False0,
                121 => True121False0,
                122 => True122False0,
                123 => True123False0,
                124 => True124False0,
                125 => True125False0,
                126 => True126False0,
                127 => True127False0,
                128 => True128False0,
                129 => True129False0,
                130 => True130False0,
                131 => True131False0,
                132 => True132False0,
                133 => True0False1,
                134 => True1False1,
                135 => True2False1,
                136 => True3False1,
                137 => True4False1,
                138 => True5False1,
                139 => True6False1,
                140 => True7False1,
                141 => True8False1,
                142 => True9False1,
                143 => True10False1,
                144 => True11False1,
                145 => True12False1,
                146 => True13False1,
                147 => True14False1,
                148 => True15False1,
                149 => True16False1,
                150 => True17False1,
                151 => True18False1,
                152 => True19False1,
                153 => True20False1,
                154 => True21False1,
                155 => True22False1,
                156 => True23False1,
                157 => True24False1,
                158 => True25False1,
                159 => True26False1,
                160 => True27False1,
                161 => True28False1,
                162 => True29False1,
                163 => True30False1,
                164 => True31False1,
                165 => True32False1,
                166 => True33False1,
                167 => True34False1,
                168 => True35False1,
                169 => True36False1,
                170 => True37False1,
                171 => True38False1,
                172 => True39False1,
                173 => True40False1,
                174 => True41False1,
                175 => True42False1,
                176 => True43False1,
                177 => True44False1,
                178 => True45False1,
                179 => True46False1,
                180 => True47False1,
                181 => True48False1,
                182 => True49False1,
                183 => True50False1,
                184 => True51False1,
                185 => True52False1,
                186 => True53False1,
                187 => True54False1,
                188 => True55False1,
                189 => True56False1,
                190 => True57False1,
                191 => True58False1,
                192 => True59False1,
                193 => True60False1,
                194 => True61False1,
                195 => True62False1,
                196 => True63False1,
                197 => True64False1,
                198 => True65False1,
                199 => True0False2,
                200 => True1False2,
                201 => True2False2,
                202 => True3False2,
                203 => True4False2,
                204 => True5False2,
                205 => True6False2,
                206 => True7False2,
                207 => True8False2,
                208 => True9False2,
                209 => True10False2,
                210 => True11False2,
                211 => True12False2,
                212 => True13False2,
                213 => True14False2,
                214 => True15False2,
                215 => True16False2,
                216 => True17False2,
                217 => True18False2,
                218 => True19False2,
                219 => True20False2,
                220 => True21False2,
                221 => True22False2,
                222 => True23False2,
                223 => True24False2,
                224 => True25False2,
                225 => True26False2,
                226 => True27False2,
                227 => True28False2,
                228 => True29False2,
                229 => True30False2,
                230 => True31False2,
                231 => True32False2,
                232 => True33False2,
                233 => True34False2,
                234 => True35False2,
                235 => True36False2,
                236 => True37False2,
                237 => True38False2,
                238 => True39False2,
                239 => True40False2,
                240 => True41False2,
                241 => True42False2,
                242 => True43False2,
                243 => True0False3,
                244 => True1False3,
                245 => True2False3,
                246 => True3False3,
                247 => True4False3,
                248 => True5False3,
                249 => True6False3,
                250 => True7False3,
                251 => True8False3,
                252 => True9False3,
                253 => True10False3,
                254 => True11False3,
                255 => True12False3,
                256 => True13False3,
                257 => True14False3,
                258 => True15False3,
                259 => True16False3,
                260 => True17False3,
                261 => True18False3,
                262 => True19False3,
                263 => True20False3,
                264 => True21False3,
                265 => True22False3,
                266 => True23False3,
                267 => True24False3,
                268 => True25False3,
                269 => True26False3,
                270 => True27False3,
                271 => True28False3,
                272 => True29False3,
                273 => True30False3,
                274 => True31False3,
                275 => True32False3,
                276 => True0False4,
                277 => True1False4,
                278 => True2False4,
                279 => True3False4,
                280 => True4False4,
                281 => True5False4,
                282 => True6False4,
                283 => True7False4,
                284 => True8False4,
                285 => True9False4,
                286 => True10False4,
                287 => True11False4,
                288 => True12False4,
                289 => True13False4,
                290 => True14False4,
                291 => True15False4,
                292 => True16False4,
                293 => True17False4,
                294 => True18False4,
                295 => True19False4,
                296 => True20False4,
                297 => True21False4,
                298 => True22False4,
                299 => True23False4,
                300 => True24False4,
                301 => True25False4,
                302 => True0False5,
                303 => True1False5,
                304 => True2False5,
                305 => True3False5,
                306 => True4False5,
                307 => True5False5,
                308 => True6False5,
                309 => True7False5,
                310 => True8False5,
                311 => True9False5,
                312 => True10False5,
                313 => True11False5,
                314 => True12False5,
                315 => True13False5,
                316 => True14False5,
                317 => True15False5,
                318 => True16False5,
                319 => True17False5,
                320 => True18False5,
                321 => True19False5,
                322 => True20False5,
                323 => True21False5,
                324 => True0False6,
                325 => True1False6,
                326 => True2False6,
                327 => True3False6,
                328 => True4False6,
                329 => True5False6,
                330 => True6False6,
                331 => True7False6,
                332 => True8False6,
                333 => True9False6,
                334 => True10False6,
                335 => True11False6,
                336 => True12False6,
                337 => True13False6,
                338 => True14False6,
                339 => True15False6,
                340 => True16False6,
                341 => True17False6,
                342 => True18False6,
                343 => True0False7,
                344 => True1False7,
                345 => True2False7,
                346 => True3False7,
                347 => True4False7,
                348 => True5False7,
                349 => True6False7,
                350 => True7False7,
                351 => True8False7,
                352 => True9False7,
                353 => True10False7,
                354 => True11False7,
                355 => True12False7,
                356 => True13False7,
                357 => True14False7,
                358 => True15False7,
                359 => True0False8,
                360 => True1False8,
                361 => True2False8,
                362 => True3False8,
                363 => True4False8,
                364 => True5False8,
                365 => True6False8,
                366 => True7False8,
                367 => True8False8,
                368 => True9False8,
                369 => True10False8,
                370 => True11False8,
                371 => True12False8,
                372 => True13False8,
                373 => True0False9,
                374 => True1False9,
                375 => True2False9,
                376 => True3False9,
                377 => True4False9,
                378 => True5False9,
                379 => True6False9,
                380 => True7False9,
                381 => True8False9,
                382 => True9False9,
                383 => True10False9,
                384 => True11False9,
                385 => True12False9,
                386 => True0False10,
                387 => True1False10,
                388 => True2False10,
                389 => True3False10,
                390 => True4False10,
                391 => True5False10,
                392 => True6False10,
                393 => True7False10,
                394 => True8False10,
                395 => True9False10,
                396 => True10False10,
                397 => True11False10,
                398 => True0False11,
                399 => True1False11,
                400 => True2False11,
                401 => True3False11,
                402 => True4False11,
                403 => True5False11,
                404 => True6False11,
                405 => True7False11,
                406 => True8False11,
                407 => True9False11,
                408 => True10False11,
                409 => True0False12,
                410 => True1False12,
                411 => True2False12,
                412 => True3False12,
                413 => True4False12,
                414 => True5False12,
                415 => True6False12,
                416 => True7False12,
                417 => True8False12,
                418 => True9False12,
                419 => True0False13,
                420 => True1False13,
                421 => True2False13,
                422 => True3False13,
                423 => True4False13,
                424 => True5False13,
                425 => True6False13,
                426 => True7False13,
                427 => True8False13,
                428 => True0False14,
                429 => True1False14,
                430 => True2False14,
                431 => True3False14,
                432 => True4False14,
                433 => True5False14,
                434 => True6False14,
                435 => True7False14,
                436 => True0False15,
                437 => True1False15,
                438 => True2False15,
                439 => True3False15,
                440 => True4False15,
                441 => True5False15,
                442 => True6False15,
                443 => True7False15,
                444 => True0False16,
                445 => True1False16,
                446 => True2False16,
                447 => True3False16,
                448 => True4False16,
                449 => True5False16,
                450 => True6False16,
                451 => True0False17,
                452 => True1False17,
                453 => True2False17,
                454 => True3False17,
                455 => True4False17,
                456 => True5False17,
                457 => True6False17,
                458 => True0False18,
                459 => True1False18,
                460 => True2False18,
                461 => True3False18,
                462 => True4False18,
                463 => True5False18,
                464 => True6False18,
                465 => True0False19,
                466 => True1False19,
                467 => True2False19,
                468 => True3False19,
                469 => True4False19,
                470 => True5False19,
                471 => True0False20,
                472 => True1False20,
                473 => True2False20,
                474 => True3False20,
                475 => True4False20,
                476 => True5False20,
                477 => True0False21,
                478 => True1False21,
                479 => True2False21,
                480 => True3False21,
                481 => True4False21,
                482 => True5False21,
                483 => True0False22,
                484 => True1False22,
                485 => True2False22,
                486 => True3False22,
                487 => True4False22,
                488 => True0False23,
                489 => True1False23,
                490 => True2False23,
                491 => True3False23,
                492 => True4False23,
                493 => True0False24,
                494 => True1False24,
                495 => True2False24,
                496 => True3False24,
                497 => True4False24,
                498 => True0False25,
                499 => True1False25,
                500 => True2False25,
                501 => True3False25,
                502 => True4False25,
                503 => True0False26,
                504 => True1False26,
                505 => True2False26,
                506 => True3False26,
                507 => True0False27,
                508 => True1False27,
                509 => True2False27,
                510 => True3False27,
                511 => True0False28,
                512 => True1False28,
                513 => True2False28,
                514 => True3False28,
                515 => True0False29,
                516 => True1False29,
                517 => True2False29,
                518 => True3False29,
                519 => True0False30,
                520 => True1False30,
                521 => True2False30,
                522 => True3False30,
                523 => True0False31,
                524 => True1False31,
                525 => True2False31,
                526 => True3False31,
                527 => True0False32,
                528 => True1False32,
                529 => True2False32,
                530 => True3False32,
                531 => True0False33,
                532 => True1False33,
                533 => True2False33,
                534 => True0False34,
                535 => True1False34,
                536 => True2False34,
                537 => True0False35,
                538 => True1False35,
                539 => True2False35,
                540 => True0False36,
                541 => True1False36,
                542 => True2False36,
                543 => True0False37,
                544 => True1False37,
                545 => True2False37,
                546 => True0False38,
                547 => True1False38,
                548 => True2False38,
                549 => True0False39,
                550 => True1False39,
                551 => True2False39,
                552 => True0False40,
                553 => True1False40,
                554 => True2False40,
                555 => True0False41,
                556 => True1False41,
                557 => True2False41,
                558 => True0False42,
                559 => True1False42,
                560 => True2False42,
                561 => True0False43,
                562 => True1False43,
                563 => True2False43,
                564 => True0False44,
                565 => True1False44,
                566 => True0False45,
                567 => True1False45,
                568 => True0False46,
                569 => True1False46,
                570 => True0False47,
                571 => True1False47,
                572 => True0False48,
                573 => True1False48,
                574 => True0False49,
                575 => True1False49,
                576 => True0False50,
                577 => True1False50,
                578 => True0False51,
                579 => True1False51,
                580 => True0False52,
                581 => True1False52,
                582 => True0False53,
                583 => True1False53,
                584 => True0False54,
                585 => True1False54,
                586 => True0False55,
                587 => True1False55,
                588 => True0False56,
                589 => True1False56,
                590 => True0False57,
                591 => True1False57,
                592 => True0False58,
                593 => True1False58,
                594 => True0False59,
                595 => True1False59,
                596 => True0False60,
                597 => True1False60,
                598 => True0False61,
                599 => True1False61,
                600 => True0False62,
                601 => True1False62,
                602 => True0False63,
                603 => True1False63,
                604 => True0False64,
                605 => True1False64,
                606 => True0False65,
                607 => True1False65,
                608 => True0False66,
                609 => True0False67,
                610 => True0False68,
                611 => True0False69,
                612 => True0False70,
                613 => True0False71,
                614 => True0False72,
                615 => True0False73,
                616 => True0False74,
                617 => True0False75,
                618 => True0False76,
                619 => True0False77,
                620 => True0False78,
                621 => True0False79,
                622 => True0False80,
                623 => True0False81,
                624 => True0False82,
                625 => True0False83,
                626 => True0False84,
                627 => True0False85,
                628 => True0False86,
                629 => True0False87,
                630 => True0False88,
                631 => True0False89,
                632 => True0False90,
                633 => True0False91,
                634 => True0False92,
                635 => True0False93,
                636 => True0False94,
                637 => True0False95,
                638 => True0False96,
                639 => True0False97,
                640 => True0False98,
                641 => True0False99,
                642 => True0False100,
                643 => True0False101,
                644 => True0False102,
                645 => True0False103,
                646 => True0False104,
                647 => True0False105,
                648 => True0False106,
                649 => True0False107,
                650 => True0False108,
                651 => True0False109,
                652 => True0False110,
                653 => True0False111,
                654 => True0False112,
                655 => True0False113,
                656 => True0False114,
                657 => True0False115,
                658 => True0False116,
                659 => True0False117,
                660 => True0False118,
                661 => True0False119,
                662 => True0False120,
                663 => True0False121,
                664 => True0False122,
                665 => True0False123,
                666 => True0False124,
                667 => True0False125,
                668 => True0False126,
                669 => True0False127,
                670 => True0False128,
                671 => True0False129,
                672 => True0False130,
                673 => True0False131,
                674 => True0False132,
                _ => True0False0,
            }
        }
    }
}
// Count of variants: 675