type-level-0.2.4: Type-level programming libraryContentsIndex
ABDEFGHILMNOPRSTX:&*+<=>^|-
Index (B)
B0
b0
B1
b1
B10
b10
B100
b100
B1000
b1000
B10000
b10000
B100000
b100000
B1000000
b1000000
B10000000
b10000000
B100000000
b100000000
B1000000000
b1000000000
B10000000000
b10000000000
B1000000001
b1000000001
B100000001
b100000001
B1000000010
b1000000010
B1000000011
b1000000011
B10000001
b10000001
B100000010
b100000010
B1000000100
b1000000100
B1000000101
b1000000101
B100000011
b100000011
B1000000110
b1000000110
B1000000111
b1000000111
B1000001
b1000001
B10000010
b10000010
B100000100
b100000100
B1000001000
b1000001000
B1000001001
b1000001001
B100000101
b100000101
B1000001010
b1000001010
B1000001011
b1000001011
B10000011
b10000011
B100000110
b100000110
B1000001100
b1000001100
B1000001101
b1000001101
B100000111
b100000111
B1000001110
b1000001110
B1000001111
b1000001111
B100001
b100001
B1000010
b1000010
B10000100
b10000100
B100001000
b100001000
B1000010000
b1000010000
B1000010001
b1000010001
B100001001
b100001001
B1000010010
b1000010010
B1000010011
b1000010011
B10000101
b10000101
B100001010
b100001010
B1000010100
b1000010100
B1000010101
b1000010101
B100001011
b100001011
B1000010110
b1000010110
B1000010111
b1000010111
B1000011
b1000011
B10000110
b10000110
B100001100
b100001100
B1000011000
b1000011000
B1000011001
b1000011001
B100001101
b100001101
B1000011010
b1000011010
B1000011011
b1000011011
B10000111
b10000111
B100001110
b100001110
B1000011100
b1000011100
B1000011101
b1000011101
B100001111
b100001111
B1000011110
b1000011110
B1000011111
b1000011111
B10001
b10001
B100010
b100010
B1000100
b1000100
B10001000
b10001000
B100010000
b100010000
B1000100000
b1000100000
B1000100001
b1000100001
B100010001
b100010001
B1000100010
b1000100010
B1000100011
b1000100011
B10001001
b10001001
B100010010
b100010010
B1000100100
b1000100100
B1000100101
b1000100101
B100010011
b100010011
B1000100110
b1000100110
B1000100111
b1000100111
B1000101
b1000101
B10001010
b10001010
B100010100
b100010100
B1000101000
b1000101000
B1000101001
b1000101001
B100010101
b100010101
B1000101010
b1000101010
B1000101011
b1000101011
B10001011
b10001011
B100010110
b100010110
B1000101100
b1000101100
B1000101101
b1000101101
B100010111
b100010111
B1000101110
b1000101110
B1000101111
b1000101111
B100011
b100011
B1000110
b1000110
B10001100
b10001100
B100011000
b100011000
B1000110000
b1000110000
B1000110001
b1000110001
B100011001
b100011001
B1000110010
b1000110010
B1000110011
b1000110011
B10001101
b10001101
B100011010
b100011010
B1000110100
b1000110100
B1000110101
b1000110101
B100011011
b100011011
B1000110110
b1000110110
B1000110111
b1000110111
B1000111
b1000111
B10001110
b10001110
B100011100
b100011100
B1000111000
b1000111000
B1000111001
b1000111001
B100011101
b100011101
B1000111010
b1000111010
B1000111011
b1000111011
B10001111
b10001111
B100011110
b100011110
B1000111100
b1000111100
B1000111101
b1000111101
B100011111
b100011111
B1000111110
b1000111110
B1000111111
b1000111111
B1001
b1001
B10010
b10010
B100100
b100100
B1001000
b1001000
B10010000
b10010000
B100100000
b100100000
B1001000000
b1001000000
B1001000001
b1001000001
B100100001
b100100001
B1001000010
b1001000010
B1001000011
b1001000011
B10010001
b10010001
B100100010
b100100010
B1001000100
b1001000100
B1001000101
b1001000101
B100100011
b100100011
B1001000110
b1001000110
B1001000111
b1001000111
B1001001
b1001001
B10010010
b10010010
B100100100
b100100100
B1001001000
b1001001000
B1001001001
b1001001001
B100100101
b100100101
B1001001010
b1001001010
B1001001011
b1001001011
B10010011
b10010011
B100100110
b100100110
B1001001100
b1001001100
B1001001101
b1001001101
B100100111
b100100111
B1001001110
b1001001110
B1001001111
b1001001111
B100101
b100101
B1001010
b1001010
B10010100
b10010100
B100101000
b100101000
B1001010000
b1001010000
B1001010001
b1001010001
B100101001
b100101001
B1001010010
b1001010010
B1001010011
b1001010011
B10010101
b10010101
B100101010
b100101010
B1001010100
b1001010100
B1001010101
b1001010101
B100101011
b100101011
B1001010110
b1001010110
B1001010111
b1001010111
B1001011
b1001011
B10010110
b10010110
B100101100
b100101100
B1001011000
b1001011000
B1001011001
b1001011001
B100101101
b100101101
B1001011010
b1001011010
B1001011011
b1001011011
B10010111
b10010111
B100101110
b100101110
B1001011100
b1001011100
B1001011101
b1001011101
B100101111
b100101111
B1001011110
b1001011110
B1001011111
b1001011111
B10011
b10011
B100110
b100110
B1001100
b1001100
B10011000
b10011000
B100110000
b100110000
B1001100000
b1001100000
B1001100001
b1001100001
B100110001
b100110001
B1001100010
b1001100010
B1001100011
b1001100011
B10011001
b10011001
B100110010
b100110010
B1001100100
b1001100100
B1001100101
b1001100101
B100110011
b100110011
B1001100110
b1001100110
B1001100111
b1001100111
B1001101
b1001101
B10011010
b10011010
B100110100
b100110100
B1001101000
b1001101000
B1001101001
b1001101001
B100110101
b100110101
B1001101010
b1001101010
B1001101011
b1001101011
B10011011
b10011011
B100110110
b100110110
B1001101100
b1001101100
B1001101101
b1001101101
B100110111
b100110111
B1001101110
b1001101110
B1001101111
b1001101111
B100111
b100111
B1001110
b1001110
B10011100
b10011100
B100111000
b100111000
B1001110000
b1001110000
B1001110001
b1001110001
B100111001
b100111001
B1001110010
b1001110010
B1001110011
b1001110011
B10011101
b10011101
B100111010
b100111010
B1001110100
b1001110100
B1001110101
b1001110101
B100111011
b100111011
B1001110110
b1001110110
B1001110111
b1001110111
B1001111
b1001111
B10011110
b10011110
B100111100
b100111100
B1001111000
b1001111000
B1001111001
b1001111001
B100111101
b100111101
B1001111010
b1001111010
B1001111011
b1001111011
B10011111
b10011111
B100111110
b100111110
B1001111100
b1001111100
B1001111101
b1001111101
B100111111
b100111111
B1001111110
b1001111110
B1001111111
b1001111111
B101
b101
B1010
b1010
B10100
b10100
B101000
b101000
B1010000
b1010000
B10100000
b10100000
B101000000
b101000000
B1010000000
b1010000000
B1010000001
b1010000001
B101000001
b101000001
B1010000010
b1010000010
B1010000011
b1010000011
B10100001
b10100001
B101000010
b101000010
B1010000100
b1010000100
B1010000101
b1010000101
B101000011
b101000011
B1010000110
b1010000110
B1010000111
b1010000111
B1010001
b1010001
B10100010
b10100010
B101000100
b101000100
B1010001000
b1010001000
B1010001001
b1010001001
B101000101
b101000101
B1010001010
b1010001010
B1010001011
b1010001011
B10100011
b10100011
B101000110
b101000110
B1010001100
b1010001100
B1010001101
b1010001101
B101000111
b101000111
B1010001110
b1010001110
B1010001111
b1010001111
B101001
b101001
B1010010
b1010010
B10100100
b10100100
B101001000
b101001000
B1010010000
b1010010000
B1010010001
b1010010001
B101001001
b101001001
B1010010010
b1010010010
B1010010011
b1010010011
B10100101
b10100101
B101001010
b101001010
B1010010100
b1010010100
B1010010101
b1010010101
B101001011
b101001011
B1010010110
b1010010110
B1010010111
b1010010111
B1010011
b1010011
B10100110
b10100110
B101001100
b101001100
B1010011000
b1010011000
B1010011001
b1010011001
B101001101
b101001101
B1010011010
b1010011010
B1010011011
b1010011011
B10100111
b10100111
B101001110
b101001110
B1010011100
b1010011100
B1010011101
b1010011101
B101001111
b101001111
B1010011110
b1010011110
B1010011111
b1010011111
B10101
b10101
B101010
b101010
B1010100
b1010100
B10101000
b10101000
B101010000
b101010000
B1010100000
b1010100000
B1010100001
b1010100001
B101010001
b101010001
B1010100010
b1010100010
B1010100011
b1010100011
B10101001
b10101001
B101010010
b101010010
B1010100100
b1010100100
B1010100101
b1010100101
B101010011
b101010011
B1010100110
b1010100110
B1010100111
b1010100111
B1010101
b1010101
B10101010
b10101010
B101010100
b101010100
B1010101000
b1010101000
B1010101001
b1010101001
B101010101
b101010101
B1010101010
b1010101010
B1010101011
b1010101011
B10101011
b10101011
B101010110
b101010110
B1010101100
b1010101100
B1010101101
b1010101101
B101010111
b101010111
B1010101110
b1010101110
B1010101111
b1010101111
B101011
b101011
B1010110
b1010110
B10101100
b10101100
B101011000
b101011000
B1010110000
b1010110000
B1010110001
b1010110001
B101011001
b101011001
B1010110010
b1010110010
B1010110011
b1010110011
B10101101
b10101101
B101011010
b101011010
B1010110100
b1010110100
B1010110101
b1010110101
B101011011
b101011011
B1010110110
b1010110110
B1010110111
b1010110111
B1010111
b1010111
B10101110
b10101110
B101011100
b101011100
B1010111000
b1010111000
B1010111001
b1010111001
B101011101
b101011101
B1010111010
b1010111010
B1010111011
b1010111011
B10101111
b10101111
B101011110
b101011110
B1010111100
b1010111100
B1010111101
b1010111101
B101011111
b101011111
B1010111110
b1010111110
B1010111111
b1010111111
B1011
b1011
B10110
b10110
B101100
b101100
B1011000
b1011000
B10110000
b10110000
B101100000
b101100000
B1011000000
b1011000000
B1011000001
b1011000001
B101100001
b101100001
B1011000010
b1011000010
B1011000011
b1011000011
B10110001
b10110001
B101100010
b101100010
B1011000100
b1011000100
B1011000101
b1011000101
B101100011
b101100011
B1011000110
b1011000110
B1011000111
b1011000111
B1011001
b1011001
B10110010
b10110010
B101100100
b101100100
B1011001000
b1011001000
B1011001001
b1011001001
B101100101
b101100101
B1011001010
b1011001010
B1011001011
b1011001011
B10110011
b10110011
B101100110
b101100110
B1011001100
b1011001100
B1011001101
b1011001101
B101100111
b101100111
B1011001110
b1011001110
B1011001111
b1011001111
B101101
b101101
B1011010
b1011010
B10110100
b10110100
B101101000
b101101000
B1011010000
b1011010000
B1011010001
b1011010001
B101101001
b101101001
B1011010010
b1011010010
B1011010011
b1011010011
B10110101
b10110101
B101101010
b101101010
B1011010100
b1011010100
B1011010101
b1011010101
B101101011
b101101011
B1011010110
b1011010110
B1011010111
b1011010111
B1011011
b1011011
B10110110
b10110110
B101101100
b101101100
B1011011000
b1011011000
B1011011001
b1011011001
B101101101
b101101101
B1011011010
b1011011010
B1011011011
b1011011011
B10110111
b10110111
B101101110
b101101110
B1011011100
b1011011100
B1011011101
b1011011101
B101101111
b101101111
B1011011110
b1011011110
B1011011111
b1011011111
B10111
b10111
B101110
b101110
B1011100
b1011100
B10111000
b10111000
B101110000
b101110000
B1011100000
b1011100000
B1011100001
b1011100001
B101110001
b101110001
B1011100010
b1011100010
B1011100011
b1011100011
B10111001
b10111001
B101110010
b101110010
B1011100100
b1011100100
B1011100101
b1011100101
B101110011
b101110011
B1011100110
b1011100110
B1011100111
b1011100111
B1011101
b1011101
B10111010
b10111010
B101110100
b101110100
B1011101000
b1011101000
B1011101001
b1011101001
B101110101
b101110101
B1011101010
b1011101010
B1011101011
b1011101011
B10111011
b10111011
B101110110
b101110110
B1011101100
b1011101100
B1011101101
b1011101101
B101110111
b101110111
B1011101110
b1011101110
B1011101111
b1011101111
B101111
b101111
B1011110
b1011110
B10111100
b10111100
B101111000
b101111000
B1011110000
b1011110000
B1011110001
b1011110001
B101111001
b101111001
B1011110010
b1011110010
B1011110011
b1011110011
B10111101
b10111101
B101111010
b101111010
B1011110100
b1011110100
B1011110101
b1011110101
B101111011
b101111011
B1011110110
b1011110110
B1011110111
b1011110111
B1011111
b1011111
B10111110
b10111110
B101111100
b101111100
B1011111000
b1011111000
B1011111001
b1011111001
B101111101
b101111101
B1011111010
b1011111010
B1011111011
b1011111011
B10111111
b10111111
B101111110
b101111110
B1011111100
b1011111100
B1011111101
b1011111101
B101111111
b101111111
B1011111110
b1011111110
B1011111111
b1011111111
B11
b11
B110
b110
B1100
b1100
B11000
b11000
B110000
b110000
B1100000
b1100000
B11000000
b11000000
B110000000
b110000000
B1100000000
b1100000000
B1100000001
b1100000001
B110000001
b110000001
B1100000010
b1100000010
B1100000011
b1100000011
B11000001
b11000001
B110000010
b110000010
B1100000100
b1100000100
B1100000101
b1100000101
B110000011
b110000011
B1100000110
b1100000110
B1100000111
b1100000111
B1100001
b1100001
B11000010
b11000010
B110000100
b110000100
B1100001000
b1100001000
B1100001001
b1100001001
B110000101
b110000101
B1100001010
b1100001010
B1100001011
b1100001011
B11000011
b11000011
B110000110
b110000110
B1100001100
b1100001100
B1100001101
b1100001101
B110000111
b110000111
B1100001110
b1100001110
B1100001111
b1100001111
B110001
b110001
B1100010
b1100010
B11000100
b11000100
B110001000
b110001000
B1100010000
b1100010000
B1100010001
b1100010001
B110001001
b110001001
B1100010010
b1100010010
B1100010011
b1100010011
B11000101
b11000101
B110001010
b110001010
B1100010100
b1100010100
B1100010101
b1100010101
B110001011
b110001011
B1100010110
b1100010110
B1100010111
b1100010111
B1100011
b1100011
B11000110
b11000110
B110001100
b110001100
B1100011000
b1100011000
B1100011001
b1100011001
B110001101
b110001101
B1100011010
b1100011010
B1100011011
b1100011011
B11000111
b11000111
B110001110
b110001110
B1100011100
b1100011100
B1100011101
b1100011101
B110001111
b110001111
B1100011110
b1100011110
B1100011111
b1100011111
B11001
b11001
B110010
b110010
B1100100
b1100100
B11001000
b11001000
B110010000
b110010000
B1100100000
b1100100000
B1100100001
b1100100001
B110010001
b110010001
B1100100010
b1100100010
B1100100011
b1100100011
B11001001
b11001001
B110010010
b110010010
B1100100100
b1100100100
B1100100101
b1100100101
B110010011
b110010011
B1100100110
b1100100110
B1100100111
b1100100111
B1100101
b1100101
B11001010
b11001010
B110010100
b110010100
B1100101000
b1100101000
B1100101001
b1100101001
B110010101
b110010101
B1100101010
b1100101010
B1100101011
b1100101011
B11001011
b11001011
B110010110
b110010110
B1100101100
b1100101100
B1100101101
b1100101101
B110010111
b110010111
B1100101110
b1100101110
B1100101111
b1100101111
B110011
b110011
B1100110
b1100110
B11001100
b11001100
B110011000
b110011000
B1100110000
b1100110000
B1100110001
b1100110001
B110011001
b110011001
B1100110010
b1100110010
B1100110011
b1100110011
B11001101
b11001101
B110011010
b110011010
B1100110100
b1100110100
B1100110101
b1100110101
B110011011
b110011011
B1100110110
b1100110110
B1100110111
b1100110111
B1100111
b1100111
B11001110
b11001110
B110011100
b110011100
B1100111000
b1100111000
B1100111001
b1100111001
B110011101
b110011101
B1100111010
b1100111010
B1100111011
b1100111011
B11001111
b11001111
B110011110
b110011110
B1100111100
b1100111100
B1100111101
b1100111101
B110011111
b110011111
B1100111110
b1100111110
B1100111111
b1100111111
B1101
b1101
B11010
b11010
B110100
b110100
B1101000
b1101000
B11010000
b11010000
B110100000
b110100000
B1101000000
b1101000000
B1101000001
b1101000001
B110100001
b110100001
B1101000010
b1101000010
B1101000011
b1101000011
B11010001
b11010001
B110100010
b110100010
B1101000100
b1101000100
B1101000101
b1101000101
B110100011
b110100011
B1101000110
b1101000110
B1101000111
b1101000111
B1101001
b1101001
B11010010
b11010010
B110100100
b110100100
B1101001000
b1101001000
B1101001001
b1101001001
B110100101
b110100101
B1101001010
b1101001010
B1101001011
b1101001011
B11010011
b11010011
B110100110
b110100110
B1101001100
b1101001100
B1101001101
b1101001101
B110100111
b110100111
B1101001110
b1101001110
B1101001111
b1101001111
B110101
b110101
B1101010
b1101010
B11010100
b11010100
B110101000
b110101000
B1101010000
b1101010000
B1101010001
b1101010001
B110101001
b110101001
B1101010010
b1101010010
B1101010011
b1101010011
B11010101
b11010101
B110101010
b110101010
B1101010100
b1101010100
B1101010101
b1101010101
B110101011
b110101011
B1101010110
b1101010110
B1101010111
b1101010111
B1101011
b1101011
B11010110
b11010110
B110101100
b110101100
B1101011000
b1101011000
B1101011001
b1101011001
B110101101
b110101101
B1101011010
b1101011010
B1101011011
b1101011011
B11010111
b11010111
B110101110
b110101110
B1101011100
b1101011100
B1101011101
b1101011101
B110101111
b110101111
B1101011110
b1101011110
B1101011111
b1101011111
B11011
b11011
B110110
b110110
B1101100
b1101100
B11011000
b11011000
B110110000
b110110000
B1101100000
b1101100000
B1101100001
b1101100001
B110110001
b110110001
B1101100010
b1101100010
B1101100011
b1101100011
B11011001
b11011001
B110110010
b110110010
B1101100100
b1101100100
B1101100101
b1101100101
B110110011
b110110011
B1101100110
b1101100110
B1101100111
b1101100111
B1101101
b1101101
B11011010
b11011010
B110110100
b110110100
B1101101000
b1101101000
B1101101001
b1101101001
B110110101
b110110101
B1101101010
b1101101010
B1101101011
b1101101011
B11011011
b11011011
B110110110
b110110110
B1101101100
b1101101100
B1101101101
b1101101101
B110110111
b110110111
B1101101110
b1101101110
B1101101111
b1101101111
B110111
b110111
B1101110
b1101110
B11011100
b11011100
B110111000
b110111000
B1101110000
b1101110000
B1101110001
b1101110001
B110111001
b110111001
B1101110010
b1101110010
B1101110011
b1101110011
B11011101
b11011101
B110111010
b110111010
B1101110100
b1101110100
B1101110101
b1101110101
B110111011
b110111011
B1101110110
b1101110110
B1101110111
b1101110111
B1101111
b1101111
B11011110
b11011110
B110111100
b110111100
B1101111000
b1101111000
B1101111001
b1101111001
B110111101
b110111101
B1101111010
b1101111010
B1101111011
b1101111011
B11011111
b11011111
B110111110
b110111110
B1101111100
b1101111100
B1101111101
b1101111101
B110111111
b110111111
B1101111110
b1101111110
B1101111111
b1101111111
B111
b111
B1110
b1110
B11100
b11100
B111000
b111000
B1110000
b1110000
B11100000
b11100000
B111000000
b111000000
B1110000000
b1110000000
B1110000001
b1110000001
B111000001
b111000001
B1110000010
b1110000010
B1110000011
b1110000011
B11100001
b11100001
B111000010
b111000010
B1110000100
b1110000100
B1110000101
b1110000101
B111000011
b111000011
B1110000110
b1110000110
B1110000111
b1110000111
B1110001
b1110001
B11100010
b11100010
B111000100
b111000100
B1110001000
b1110001000
B1110001001
b1110001001
B111000101
b111000101
B1110001010
b1110001010
B1110001011
b1110001011
B11100011
b11100011
B111000110
b111000110
B1110001100
b1110001100
B1110001101
b1110001101
B111000111
b111000111
B1110001110
b1110001110
B1110001111
b1110001111
B111001
b111001
B1110010
b1110010
B11100100
b11100100
B111001000
b111001000
B1110010000
b1110010000
B1110010001
b1110010001
B111001001
b111001001
B1110010010
b1110010010
B1110010011
b1110010011
B11100101
b11100101
B111001010
b111001010
B1110010100
b1110010100
B1110010101
b1110010101
B111001011
b111001011
B1110010110
b1110010110
B1110010111
b1110010111
B1110011
b1110011
B11100110
b11100110
B111001100
b111001100
B1110011000
b1110011000
B1110011001
b1110011001
B111001101
b111001101
B1110011010
b1110011010
B1110011011
b1110011011
B11100111
b11100111
B111001110
b111001110
B1110011100
b1110011100
B1110011101
b1110011101
B111001111
b111001111
B1110011110
b1110011110
B1110011111
b1110011111
B11101
b11101
B111010
b111010
B1110100
b1110100
B11101000
b11101000
B111010000
b111010000
B1110100000
b1110100000
B1110100001
b1110100001
B111010001
b111010001
B1110100010
b1110100010
B1110100011
b1110100011
B11101001
b11101001
B111010010
b111010010
B1110100100
b1110100100
B1110100101
b1110100101
B111010011
b111010011
B1110100110
b1110100110
B1110100111
b1110100111
B1110101
b1110101
B11101010
b11101010
B111010100
b111010100
B1110101000
b1110101000
B1110101001
b1110101001
B111010101
b111010101
B1110101010
b1110101010
B1110101011
b1110101011
B11101011
b11101011
B111010110
b111010110
B1110101100
b1110101100
B1110101101
b1110101101
B111010111
b111010111
B1110101110
b1110101110
B1110101111
b1110101111
B111011
b111011
B1110110
b1110110
B11101100
b11101100
B111011000
b111011000
B1110110000
b1110110000
B1110110001
b1110110001
B111011001
b111011001
B1110110010
b1110110010
B1110110011
b1110110011
B11101101
b11101101
B111011010
b111011010
B1110110100
b1110110100
B1110110101
b1110110101
B111011011
b111011011
B1110110110
b1110110110
B1110110111
b1110110111
B1110111
b1110111
B11101110
b11101110
B111011100
b111011100
B1110111000
b1110111000
B1110111001
b1110111001
B111011101
b111011101
B1110111010
b1110111010
B1110111011
b1110111011
B11101111
b11101111
B111011110
b111011110
B1110111100
b1110111100
B1110111101
b1110111101
B111011111
b111011111
B1110111110
b1110111110
B1110111111
b1110111111
B1111
b1111
B11110
b11110
B111100
b111100
B1111000
b1111000
B11110000
b11110000
B111100000
b111100000
B1111000000
b1111000000
B1111000001
b1111000001
B111100001
b111100001
B1111000010
b1111000010
B1111000011
b1111000011
B11110001
b11110001
B111100010
b111100010
B1111000100
b1111000100
B1111000101
b1111000101
B111100011
b111100011
B1111000110
b1111000110
B1111000111
b1111000111
B1111001
b1111001
B11110010
b11110010
B111100100
b111100100
B1111001000
b1111001000
B1111001001
b1111001001
B111100101
b111100101
B1111001010
b1111001010
B1111001011
b1111001011
B11110011
b11110011
B111100110
b111100110
B1111001100
b1111001100
B1111001101
b1111001101
B111100111
b111100111
B1111001110
b1111001110
B1111001111
b1111001111
B111101
b111101
B1111010
b1111010
B11110100
b11110100
B111101000
b111101000
B1111010000
b1111010000
B1111010001
b1111010001
B111101001
b111101001
B1111010010
b1111010010
B1111010011
b1111010011
B11110101
b11110101
B111101010
b111101010
B1111010100
b1111010100
B1111010101
b1111010101
B111101011
b111101011
B1111010110
b1111010110
B1111010111
b1111010111
B1111011
b1111011
B11110110
b11110110
B111101100
b111101100
B1111011000
b1111011000
B1111011001
b1111011001
B111101101
b111101101
B1111011010
b1111011010
B1111011011
b1111011011
B11110111
b11110111
B111101110
b111101110
B1111011100
b1111011100
B1111011101
b1111011101
B111101111
b111101111
B1111011110
b1111011110
B1111011111
b1111011111
B11111
b11111
B111110
b111110
B1111100
b1111100
B11111000
b11111000
B111110000
b111110000
B1111100000
b1111100000
B1111100001
b1111100001
B111110001
b111110001
B1111100010
b1111100010
B1111100011
b1111100011
B11111001
b11111001
B111110010
b111110010
B1111100100
b1111100100
B1111100101
b1111100101
B111110011
b111110011
B1111100110
b1111100110
B1111100111
b1111100111
B1111101
b1111101
B11111010
b11111010
B111110100
b111110100
B1111101000
b1111101000
B1111101001
b1111101001
B111110101
b111110101
B1111101010
b1111101010
B1111101011
b1111101011
B11111011
b11111011
B111110110
b111110110
B1111101100
b1111101100
B1111101101
b1111101101
B111110111
b111110111
B1111101110
b1111101110
B1111101111
b1111101111
B111111
b111111
B1111110
b1111110
B11111100
b11111100
B111111000
b111111000
B1111110000
b1111110000
B1111110001
b1111110001
B111111001
b111111001
B1111110010
b1111110010
B1111110011
b1111110011
B11111101
b11111101
B111111010
b111111010
B1111110100
b1111110100
B1111110101
b1111110101
B111111011
b111111011
B1111110110
b1111110110
B1111110111
b1111110111
B1111111
b1111111
B11111110
b11111110
B111111100
b111111100
B1111111000
b1111111000
B1111111001
b1111111001
B111111101
b111111101
B1111111010
b1111111010
B1111111011
b1111111011
B11111111
b11111111
B111111110
b111111110
B1111111100
b1111111100
B1111111101
b1111111101
B111111111
b111111111
B1111111110
b1111111110
B1111111111
b1111111111
Bool