|
# number of elements: 128
poset {
t0000000 t0000001 t0000010 t0000011 t0000100 t0000101 t0000110 t0000111 t0001000 t0001001 t0001010 t0001011 t0001100 t0001101 t0001110 t0001111 t0010000 t0010001 t0010010 t0010011 t0010100 t0010101 t0010110 t0010111 t0011000 t0011001 t0011010 t0011011 t0011100 t0011101 t0011110 t0011111 t0100000 t0100001 t0100010 t0100011 t0100100 t0100101 t0100110 t0100111 t0101000 t0101001 t0101010 t0101011 t0101100 t0101101 t0101110 t0101111 t0110000 t0110001 t0110010 t0110011 t0110100 t0110101 t0110110 t0110111 t0111000 t0111001 t0111010 t0111011 t0111100 t0111101 t0111110 t0111111 t1000000 t1000001 t1000010 t1000011 t1000100 t1000101 t1000110 t1000111 t1001000 t1001001 t1001010 t1001011 t1001100 t1001101 t1001110 t1001111 t1010000 t1010001 t1010010 t1010011 t1010100 t1010101 t1010110 t1010111 t1011000 t1011001 t1011010 t1011011 t1011100 t1011101 t1011110 t1011111 t1100000 t1100001 t1100010 t1100011 t1100100 t1100101 t1100110 t1100111 t1101000 t1101001 t1101010 t1101011 t1101100 t1101101 t1101110 t1101111 t1110000 t1110001 t1110010 t1110011 t1110100 t1110101 t1110110 t1110111 t1111000 t1111001 t1111010 t1111011 t1111100 t1111101 t1111110 t1111111
t0000000 <= t0000001
t0000000 <= t0000010
t0000000 <= t0000011
t0000000 <= t0000100
t0000000 <= t0000101
t0000000 <= t0000110
t0000000 <= t0000111
t0000000 <= t0001000
t0000000 <= t0001001
t0000000 <= t0001010
t0000000 <= t0001011
t0000000 <= t0001100
t0000000 <= t0001101
t0000000 <= t0001110
t0000000 <= t0001111
t0000000 <= t0010000
t0000000 <= t0010001
t0000000 <= t0010010
t0000000 <= t0010011
t0000000 <= t0010100
t0000000 <= t0010101
t0000000 <= t0010110
t0000000 <= t0010111
t0000000 <= t0011000
t0000000 <= t0011001
t0000000 <= t0011010
t0000000 <= t0011011
t0000000 <= t0011100
t0000000 <= t0011101
t0000000 <= t0011110
t0000000 <= t0011111
t0000000 <= t0100000
t0000000 <= t0100001
t0000000 <= t0100010
t0000000 <= t0100011
t0000000 <= t0100100
t0000000 <= t0100101
t0000000 <= t0100110
t0000000 <= t0100111
t0000000 <= t0101000
t0000000 <= t0101001
t0000000 <= t0101010
t0000000 <= t0101011
t0000000 <= t0101100
t0000000 <= t0101101
t0000000 <= t0101110
t0000000 <= t0101111
t0000000 <= t0110000
t0000000 <= t0110001
t0000000 <= t0110010
t0000000 <= t0110011
t0000000 <= t0110100
t0000000 <= t0110101
t0000000 <= t0110110
t0000000 <= t0110111
t0000000 <= t0111000
t0000000 <= t0111001
t0000000 <= t0111010
t0000000 <= t0111011
t0000000 <= t0111100
t0000000 <= t0111101
t0000000 <= t0111110
t0000000 <= t0111111
t0000000 <= t1000000
t0000000 <= t1000001
t0000000 <= t1000010
t0000000 <= t1000011
t0000000 <= t1000100
t0000000 <= t1000101
t0000000 <= t1000110
t0000000 <= t1000111
t0000000 <= t1001000
t0000000 <= t1001001
t0000000 <= t1001010
t0000000 <= t1001011
t0000000 <= t1001100
t0000000 <= t1001101
t0000000 <= t1001110
t0000000 <= t1001111
t0000000 <= t1010000
t0000000 <= t1010001
t0000000 <= t1010010
t0000000 <= t1010011
t0000000 <= t1010100
t0000000 <= t1010101
t0000000 <= t1010110
t0000000 <= t1010111
t0000000 <= t1011000
t0000000 <= t1011001
t0000000 <= t1011010
t0000000 <= t1011011
t0000000 <= t1011100
t0000000 <= t1011101
t0000000 <= t1011110
t0000000 <= t1011111
t0000000 <= t1100000
t0000000 <= t1100001
t0000000 <= t1100010
t0000000 <= t1100011
t0000000 <= t1100100
t0000000 <= t1100101
t0000000 <= t1100110
t0000000 <= t1100111
t0000000 <= t1101000
t0000000 <= t1101001
t0000000 <= t1101010
t0000000 <= t1101011
t0000000 <= t1101100
t0000000 <= t1101101
t0000000 <= t1101110
t0000000 <= t1101111
t0000000 <= t1110000
t0000000 <= t1110001
t0000000 <= t1110010
t0000000 <= t1110011
t0000000 <= t1110100
t0000000 <= t1110101
t0000000 <= t1110110
t0000000 <= t1110111
t0000000 <= t1111000
t0000000 <= t1111001
t0000000 <= t1111010
t0000000 <= t1111011
t0000000 <= t1111100
t0000000 <= t1111101
t0000000 <= t1111110
t0000000 <= t1111111
t0000001 <= t0000011
t0000001 <= t0000101
t0000001 <= t0000111
t0000001 <= t0001001
t0000001 <= t0001011
t0000001 <= t0001101
t0000001 <= t0001111
t0000001 <= t0010001
t0000001 <= t0010011
t0000001 <= t0010101
t0000001 <= t0010111
t0000001 <= t0011001
t0000001 <= t0011011
t0000001 <= t0011101
t0000001 <= t0011111
t0000001 <= t0100001
t0000001 <= t0100011
t0000001 <= t0100101
t0000001 <= t0100111
t0000001 <= t0101001
t0000001 <= t0101011
t0000001 <= t0101101
t0000001 <= t0101111
t0000001 <= t0110001
t0000001 <= t0110011
t0000001 <= t0110101
t0000001 <= t0110111
t0000001 <= t0111001
t0000001 <= t0111011
t0000001 <= t0111101
t0000001 <= t0111111
t0000001 <= t1000001
t0000001 <= t1000011
t0000001 <= t1000101
t0000001 <= t1000111
t0000001 <= t1001001
t0000001 <= t1001011
t0000001 <= t1001101
t0000001 <= t1001111
t0000001 <= t1010001
t0000001 <= t1010011
t0000001 <= t1010101
t0000001 <= t1010111
t0000001 <= t1011001
t0000001 <= t1011011
t0000001 <= t1011101
t0000001 <= t1011111
t0000001 <= t1100001
t0000001 <= t1100011
t0000001 <= t1100101
t0000001 <= t1100111
t0000001 <= t1101001
t0000001 <= t1101011
t0000001 <= t1101101
t0000001 <= t1101111
t0000001 <= t1110001
t0000001 <= t1110011
t0000001 <= t1110101
t0000001 <= t1110111
t0000001 <= t1111001
t0000001 <= t1111011
t0000001 <= t1111101
t0000001 <= t1111111
t0000010 <= t0000011
t0000010 <= t0000110
t0000010 <= t0000111
t0000010 <= t0001010
t0000010 <= t0001011
t0000010 <= t0001110
t0000010 <= t0001111
t0000010 <= t0010010
t0000010 <= t0010011
t0000010 <= t0010110
t0000010 <= t0010111
t0000010 <= t0011010
t0000010 <= t0011011
t0000010 <= t0011110
t0000010 <= t0011111
t0000010 <= t0100010
t0000010 <= t0100011
t0000010 <= t0100110
t0000010 <= t0100111
t0000010 <= t0101010
t0000010 <= t0101011
t0000010 <= t0101110
t0000010 <= t0101111
t0000010 <= t0110010
t0000010 <= t0110011
t0000010 <= t0110110
t0000010 <= t0110111
t0000010 <= t0111010
t0000010 <= t0111011
t0000010 <= t0111110
t0000010 <= t0111111
t0000010 <= t1000010
t0000010 <= t1000011
t0000010 <= t1000110
t0000010 <= t1000111
t0000010 <= t1001010
t0000010 <= t1001011
t0000010 <= t1001110
t0000010 <= t1001111
t0000010 <= t1010010
t0000010 <= t1010011
t0000010 <= t1010110
t0000010 <= t1010111
t0000010 <= t1011010
t0000010 <= t1011011
t0000010 <= t1011110
t0000010 <= t1011111
t0000010 <= t1100010
t0000010 <= t1100011
t0000010 <= t1100110
t0000010 <= t1100111
t0000010 <= t1101010
t0000010 <= t1101011
t0000010 <= t1101110
t0000010 <= t1101111
t0000010 <= t1110010
t0000010 <= t1110011
t0000010 <= t1110110
t0000010 <= t1110111
t0000010 <= t1111010
t0000010 <= t1111011
t0000010 <= t1111110
t0000010 <= t1111111
t0000011 <= t0000111
t0000011 <= t0001011
t0000011 <= t0001111
t0000011 <= t0010011
t0000011 <= t0010111
t0000011 <= t0011011
t0000011 <= t0011111
t0000011 <= t0100011
t0000011 <= t0100111
t0000011 <= t0101011
t0000011 <= t0101111
t0000011 <= t0110011
t0000011 <= t0110111
t0000011 <= t0111011
t0000011 <= t0111111
t0000011 <= t1000011
t0000011 <= t1000111
t0000011 <= t1001011
t0000011 <= t1001111
t0000011 <= t1010011
t0000011 <= t1010111
t0000011 <= t1011011
t0000011 <= t1011111
t0000011 <= t1100011
t0000011 <= t1100111
t0000011 <= t1101011
t0000011 <= t1101111
t0000011 <= t1110011
t0000011 <= t1110111
t0000011 <= t1111011
t0000011 <= t1111111
t0000100 <= t0000101
t0000100 <= t0000110
t0000100 <= t0000111
t0000100 <= t0001100
t0000100 <= t0001101
t0000100 <= t0001110
t0000100 <= t0001111
t0000100 <= t0010100
t0000100 <= t0010101
t0000100 <= t0010110
t0000100 <= t0010111
t0000100 <= t0011100
t0000100 <= t0011101
t0000100 <= t0011110
t0000100 <= t0011111
t0000100 <= t0100100
t0000100 <= t0100101
t0000100 <= t0100110
t0000100 <= t0100111
t0000100 <= t0101100
t0000100 <= t0101101
t0000100 <= t0101110
t0000100 <= t0101111
t0000100 <= t0110100
t0000100 <= t0110101
t0000100 <= t0110110
t0000100 <= t0110111
t0000100 <= t0111100
t0000100 <= t0111101
t0000100 <= t0111110
t0000100 <= t0111111
t0000100 <= t1000100
t0000100 <= t1000101
t0000100 <= t1000110
t0000100 <= t1000111
t0000100 <= t1001100
t0000100 <= t1001101
t0000100 <= t1001110
t0000100 <= t1001111
t0000100 <= t1010100
t0000100 <= t1010101
t0000100 <= t1010110
t0000100 <= t1010111
t0000100 <= t1011100
t0000100 <= t1011101
t0000100 <= t1011110
t0000100 <= t1011111
t0000100 <= t1100100
t0000100 <= t1100101
t0000100 <= t1100110
t0000100 <= t1100111
t0000100 <= t1101100
t0000100 <= t1101101
t0000100 <= t1101110
t0000100 <= t1101111
t0000100 <= t1110100
t0000100 <= t1110101
t0000100 <= t1110110
t0000100 <= t1110111
t0000100 <= t1111100
t0000100 <= t1111101
t0000100 <= t1111110
t0000100 <= t1111111
t0000101 <= t0000111
t0000101 <= t0001101
t0000101 <= t0001111
t0000101 <= t0010101
t0000101 <= t0010111
t0000101 <= t0011101
t0000101 <= t0011111
t0000101 <= t0100101
t0000101 <= t0100111
t0000101 <= t0101101
t0000101 <= t0101111
t0000101 <= t0110101
t0000101 <= t0110111
t0000101 <= t0111101
t0000101 <= t0111111
t0000101 <= t1000101
t0000101 <= t1000111
t0000101 <= t1001101
t0000101 <= t1001111
t0000101 <= t1010101
t0000101 <= t1010111
t0000101 <= t1011101
t0000101 <= t1011111
t0000101 <= t1100101
t0000101 <= t1100111
t0000101 <= t1101101
t0000101 <= t1101111
t0000101 <= t1110101
t0000101 <= t1110111
t0000101 <= t1111101
t0000101 <= t1111111
t0000110 <= t0000111
t0000110 <= t0001110
t0000110 <= t0001111
t0000110 <= t0010110
t0000110 <= t0010111
t0000110 <= t0011110
t0000110 <= t0011111
t0000110 <= t0100110
t0000110 <= t0100111
t0000110 <= t0101110
t0000110 <= t0101111
t0000110 <= t0110110
t0000110 <= t0110111
t0000110 <= t0111110
t0000110 <= t0111111
t0000110 <= t1000110
t0000110 <= t1000111
t0000110 <= t1001110
t0000110 <= t1001111
t0000110 <= t1010110
t0000110 <= t1010111
t0000110 <= t1011110
t0000110 <= t1011111
t0000110 <= t1100110
t0000110 <= t1100111
t0000110 <= t1101110
t0000110 <= t1101111
t0000110 <= t1110110
t0000110 <= t1110111
t0000110 <= t1111110
t0000110 <= t1111111
t0000111 <= t0001111
t0000111 <= t0010111
t0000111 <= t0011111
t0000111 <= t0100111
t0000111 <= t0101111
t0000111 <= t0110111
t0000111 <= t0111111
t0000111 <= t1000111
t0000111 <= t1001111
t0000111 <= t1010111
t0000111 <= t1011111
t0000111 <= t1100111
t0000111 <= t1101111
t0000111 <= t1110111
t0000111 <= t1111111
t0001000 <= t0001001
t0001000 <= t0001010
t0001000 <= t0001011
t0001000 <= t0001100
t0001000 <= t0001101
t0001000 <= t0001110
t0001000 <= t0001111
t0001000 <= t0011000
t0001000 <= t0011001
t0001000 <= t0011010
t0001000 <= t0011011
t0001000 <= t0011100
t0001000 <= t0011101
t0001000 <= t0011110
t0001000 <= t0011111
t0001000 <= t0101000
t0001000 <= t0101001
t0001000 <= t0101010
t0001000 <= t0101011
t0001000 <= t0101100
t0001000 <= t0101101
t0001000 <= t0101110
t0001000 <= t0101111
t0001000 <= t0111000
t0001000 <= t0111001
t0001000 <= t0111010
t0001000 <= t0111011
t0001000 <= t0111100
t0001000 <= t0111101
t0001000 <= t0111110
t0001000 <= t0111111
t0001000 <= t1001000
t0001000 <= t1001001
t0001000 <= t1001010
t0001000 <= t1001011
t0001000 <= t1001100
t0001000 <= t1001101
t0001000 <= t1001110
t0001000 <= t1001111
t0001000 <= t1011000
t0001000 <= t1011001
t0001000 <= t1011010
t0001000 <= t1011011
t0001000 <= t1011100
t0001000 <= t1011101
t0001000 <= t1011110
t0001000 <= t1011111
t0001000 <= t1101000
t0001000 <= t1101001
t0001000 <= t1101010
t0001000 <= t1101011
t0001000 <= t1101100
t0001000 <= t1101101
t0001000 <= t1101110
t0001000 <= t1101111
t0001000 <= t1111000
t0001000 <= t1111001
t0001000 <= t1111010
t0001000 <= t1111011
t0001000 <= t1111100
t0001000 <= t1111101
t0001000 <= t1111110
t0001000 <= t1111111
t0001001 <= t0001011
t0001001 <= t0001101
t0001001 <= t0001111
t0001001 <= t0011001
t0001001 <= t0011011
t0001001 <= t0011101
t0001001 <= t0011111
t0001001 <= t0101001
t0001001 <= t0101011
t0001001 <= t0101101
t0001001 <= t0101111
t0001001 <= t0111001
t0001001 <= t0111011
t0001001 <= t0111101
t0001001 <= t0111111
t0001001 <= t1001001
t0001001 <= t1001011
t0001001 <= t1001101
t0001001 <= t1001111
t0001001 <= t1011001
t0001001 <= t1011011
t0001001 <= t1011101
t0001001 <= t1011111
t0001001 <= t1101001
t0001001 <= t1101011
t0001001 <= t1101101
t0001001 <= t1101111
t0001001 <= t1111001
t0001001 <= t1111011
t0001001 <= t1111101
t0001001 <= t1111111
t0001010 <= t0001011
t0001010 <= t0001110
t0001010 <= t0001111
t0001010 <= t0011010
t0001010 <= t0011011
t0001010 <= t0011110
t0001010 <= t0011111
t0001010 <= t0101010
t0001010 <= t0101011
t0001010 <= t0101110
t0001010 <= t0101111
t0001010 <= t0111010
t0001010 <= t0111011
t0001010 <= t0111110
t0001010 <= t0111111
t0001010 <= t1001010
t0001010 <= t1001011
t0001010 <= t1001110
t0001010 <= t1001111
t0001010 <= t1011010
t0001010 <= t1011011
t0001010 <= t1011110
t0001010 <= t1011111
t0001010 <= t1101010
t0001010 <= t1101011
t0001010 <= t1101110
t0001010 <= t1101111
t0001010 <= t1111010
t0001010 <= t1111011
t0001010 <= t1111110
t0001010 <= t1111111
t0001011 <= t0001111
t0001011 <= t0011011
t0001011 <= t0011111
t0001011 <= t0101011
t0001011 <= t0101111
t0001011 <= t0111011
t0001011 <= t0111111
t0001011 <= t1001011
t0001011 <= t1001111
t0001011 <= t1011011
t0001011 <= t1011111
t0001011 <= t1101011
t0001011 <= t1101111
t0001011 <= t1111011
t0001011 <= t1111111
t0001100 <= t0001101
t0001100 <= t0001110
t0001100 <= t0001111
t0001100 <= t0011100
t0001100 <= t0011101
t0001100 <= t0011110
t0001100 <= t0011111
t0001100 <= t0101100
t0001100 <= t0101101
t0001100 <= t0101110
t0001100 <= t0101111
t0001100 <= t0111100
t0001100 <= t0111101
t0001100 <= t0111110
t0001100 <= t0111111
t0001100 <= t1001100
t0001100 <= t1001101
t0001100 <= t1001110
t0001100 <= t1001111
t0001100 <= t1011100
t0001100 <= t1011101
t0001100 <= t1011110
t0001100 <= t1011111
t0001100 <= t1101100
t0001100 <= t1101101
t0001100 <= t1101110
t0001100 <= t1101111
t0001100 <= t1111100
t0001100 <= t1111101
t0001100 <= t1111110
t0001100 <= t1111111
t0001101 <= t0001111
t0001101 <= t0011101
t0001101 <= t0011111
t0001101 <= t0101101
t0001101 <= t0101111
t0001101 <= t0111101
t0001101 <= t0111111
t0001101 <= t1001101
t0001101 <= t1001111
t0001101 <= t1011101
t0001101 <= t1011111
t0001101 <= t1101101
t0001101 <= t1101111
t0001101 <= t1111101
t0001101 <= t1111111
t0001110 <= t0001111
t0001110 <= t0011110
t0001110 <= t0011111
t0001110 <= t0101110
t0001110 <= t0101111
t0001110 <= t0111110
t0001110 <= t0111111
t0001110 <= t1001110
t0001110 <= t1001111
t0001110 <= t1011110
t0001110 <= t1011111
t0001110 <= t1101110
t0001110 <= t1101111
t0001110 <= t1111110
t0001110 <= t1111111
t0001111 <= t0011111
t0001111 <= t0101111
t0001111 <= t0111111
t0001111 <= t1001111
t0001111 <= t1011111
t0001111 <= t1101111
t0001111 <= t1111111
t0010000 <= t0010001
t0010000 <= t0010010
t0010000 <= t0010011
t0010000 <= t0010100
t0010000 <= t0010101
t0010000 <= t0010110
t0010000 <= t0010111
t0010000 <= t0011000
t0010000 <= t0011001
t0010000 <= t0011010
t0010000 <= t0011011
t0010000 <= t0011100
t0010000 <= t0011101
t0010000 <= t0011110
t0010000 <= t0011111
t0010000 <= t0110000
t0010000 <= t0110001
t0010000 <= t0110010
t0010000 <= t0110011
t0010000 <= t0110100
t0010000 <= t0110101
t0010000 <= t0110110
t0010000 <= t0110111
t0010000 <= t0111000
t0010000 <= t0111001
t0010000 <= t0111010
t0010000 <= t0111011
t0010000 <= t0111100
t0010000 <= t0111101
t0010000 <= t0111110
t0010000 <= t0111111
t0010000 <= t1010000
t0010000 <= t1010001
t0010000 <= t1010010
t0010000 <= t1010011
t0010000 <= t1010100
t0010000 <= t1010101
t0010000 <= t1010110
t0010000 <= t1010111
t0010000 <= t1011000
t0010000 <= t1011001
t0010000 <= t1011010
t0010000 <= t1011011
t0010000 <= t1011100
t0010000 <= t1011101
t0010000 <= t1011110
t0010000 <= t1011111
t0010000 <= t1110000
t0010000 <= t1110001
t0010000 <= t1110010
t0010000 <= t1110011
t0010000 <= t1110100
t0010000 <= t1110101
t0010000 <= t1110110
t0010000 <= t1110111
t0010000 <= t1111000
t0010000 <= t1111001
t0010000 <= t1111010
t0010000 <= t1111011
t0010000 <= t1111100
t0010000 <= t1111101
t0010000 <= t1111110
t0010000 <= t1111111
t0010001 <= t0010011
t0010001 <= t0010101
t0010001 <= t0010111
t0010001 <= t0011001
t0010001 <= t0011011
t0010001 <= t0011101
t0010001 <= t0011111
t0010001 <= t0110001
t0010001 <= t0110011
t0010001 <= t0110101
t0010001 <= t0110111
t0010001 <= t0111001
t0010001 <= t0111011
t0010001 <= t0111101
t0010001 <= t0111111
t0010001 <= t1010001
t0010001 <= t1010011
t0010001 <= t1010101
t0010001 <= t1010111
t0010001 <= t1011001
t0010001 <= t1011011
t0010001 <= t1011101
t0010001 <= t1011111
t0010001 <= t1110001
t0010001 <= t1110011
t0010001 <= t1110101
t0010001 <= t1110111
t0010001 <= t1111001
t0010001 <= t1111011
t0010001 <= t1111101
t0010001 <= t1111111
t0010010 <= t0010011
t0010010 <= t0010110
t0010010 <= t0010111
t0010010 <= t0011010
t0010010 <= t0011011
t0010010 <= t0011110
t0010010 <= t0011111
t0010010 <= t0110010
t0010010 <= t0110011
t0010010 <= t0110110
t0010010 <= t0110111
t0010010 <= t0111010
t0010010 <= t0111011
t0010010 <= t0111110
t0010010 <= t0111111
t0010010 <= t1010010
t0010010 <= t1010011
t0010010 <= t1010110
t0010010 <= t1010111
t0010010 <= t1011010
t0010010 <= t1011011
t0010010 <= t1011110
t0010010 <= t1011111
t0010010 <= t1110010
t0010010 <= t1110011
t0010010 <= t1110110
t0010010 <= t1110111
t0010010 <= t1111010
t0010010 <= t1111011
t0010010 <= t1111110
t0010010 <= t1111111
t0010011 <= t0010111
t0010011 <= t0011011
t0010011 <= t0011111
t0010011 <= t0110011
t0010011 <= t0110111
t0010011 <= t0111011
t0010011 <= t0111111
t0010011 <= t1010011
t0010011 <= t1010111
t0010011 <= t1011011
t0010011 <= t1011111
t0010011 <= t1110011
t0010011 <= t1110111
t0010011 <= t1111011
t0010011 <= t1111111
t0010100 <= t0010101
t0010100 <= t0010110
t0010100 <= t0010111
t0010100 <= t0011100
t0010100 <= t0011101
t0010100 <= t0011110
t0010100 <= t0011111
t0010100 <= t0110100
t0010100 <= t0110101
t0010100 <= t0110110
t0010100 <= t0110111
t0010100 <= t0111100
t0010100 <= t0111101
t0010100 <= t0111110
t0010100 <= t0111111
t0010100 <= t1010100
t0010100 <= t1010101
t0010100 <= t1010110
t0010100 <= t1010111
t0010100 <= t1011100
t0010100 <= t1011101
t0010100 <= t1011110
t0010100 <= t1011111
t0010100 <= t1110100
t0010100 <= t1110101
t0010100 <= t1110110
t0010100 <= t1110111
t0010100 <= t1111100
t0010100 <= t1111101
t0010100 <= t1111110
t0010100 <= t1111111
t0010101 <= t0010111
t0010101 <= t0011101
t0010101 <= t0011111
t0010101 <= t0110101
t0010101 <= t0110111
t0010101 <= t0111101
t0010101 <= t0111111
t0010101 <= t1010101
t0010101 <= t1010111
t0010101 <= t1011101
t0010101 <= t1011111
t0010101 <= t1110101
t0010101 <= t1110111
t0010101 <= t1111101
t0010101 <= t1111111
t0010110 <= t0010111
t0010110 <= t0011110
t0010110 <= t0011111
t0010110 <= t0110110
t0010110 <= t0110111
t0010110 <= t0111110
t0010110 <= t0111111
t0010110 <= t1010110
t0010110 <= t1010111
t0010110 <= t1011110
t0010110 <= t1011111
t0010110 <= t1110110
t0010110 <= t1110111
t0010110 <= t1111110
t0010110 <= t1111111
t0010111 <= t0011111
t0010111 <= t0110111
t0010111 <= t0111111
t0010111 <= t1010111
t0010111 <= t1011111
t0010111 <= t1110111
t0010111 <= t1111111
t0011000 <= t0011001
t0011000 <= t0011010
t0011000 <= t0011011
t0011000 <= t0011100
t0011000 <= t0011101
t0011000 <= t0011110
t0011000 <= t0011111
t0011000 <= t0111000
t0011000 <= t0111001
t0011000 <= t0111010
t0011000 <= t0111011
t0011000 <= t0111100
t0011000 <= t0111101
t0011000 <= t0111110
t0011000 <= t0111111
t0011000 <= t1011000
t0011000 <= t1011001
t0011000 <= t1011010
t0011000 <= t1011011
t0011000 <= t1011100
t0011000 <= t1011101
t0011000 <= t1011110
t0011000 <= t1011111
t0011000 <= t1111000
t0011000 <= t1111001
t0011000 <= t1111010
t0011000 <= t1111011
t0011000 <= t1111100
t0011000 <= t1111101
t0011000 <= t1111110
t0011000 <= t1111111
t0011001 <= t0011011
t0011001 <= t0011101
t0011001 <= t0011111
t0011001 <= t0111001
t0011001 <= t0111011
t0011001 <= t0111101
t0011001 <= t0111111
t0011001 <= t1011001
t0011001 <= t1011011
t0011001 <= t1011101
t0011001 <= t1011111
t0011001 <= t1111001
t0011001 <= t1111011
t0011001 <= t1111101
t0011001 <= t1111111
t0011010 <= t0011011
t0011010 <= t0011110
t0011010 <= t0011111
t0011010 <= t0111010
t0011010 <= t0111011
t0011010 <= t0111110
t0011010 <= t0111111
t0011010 <= t1011010
t0011010 <= t1011011
t0011010 <= t1011110
t0011010 <= t1011111
t0011010 <= t1111010
t0011010 <= t1111011
t0011010 <= t1111110
t0011010 <= t1111111
t0011011 <= t0011111
t0011011 <= t0111011
t0011011 <= t0111111
t0011011 <= t1011011
t0011011 <= t1011111
t0011011 <= t1111011
t0011011 <= t1111111
t0011100 <= t0011101
t0011100 <= t0011110
t0011100 <= t0011111
t0011100 <= t0111100
t0011100 <= t0111101
t0011100 <= t0111110
t0011100 <= t0111111
t0011100 <= t1011100
t0011100 <= t1011101
t0011100 <= t1011110
t0011100 <= t1011111
t0011100 <= t1111100
t0011100 <= t1111101
t0011100 <= t1111110
t0011100 <= t1111111
t0011101 <= t0011111
t0011101 <= t0111101
t0011101 <= t0111111
t0011101 <= t1011101
t0011101 <= t1011111
t0011101 <= t1111101
t0011101 <= t1111111
t0011110 <= t0011111
t0011110 <= t0111110
t0011110 <= t0111111
t0011110 <= t1011110
t0011110 <= t1011111
t0011110 <= t1111110
t0011110 <= t1111111
t0011111 <= t0111111
t0011111 <= t1011111
t0011111 <= t1111111
t0100000 <= t0100001
t0100000 <= t0100010
t0100000 <= t0100011
t0100000 <= t0100100
t0100000 <= t0100101
t0100000 <= t0100110
t0100000 <= t0100111
t0100000 <= t0101000
t0100000 <= t0101001
t0100000 <= t0101010
t0100000 <= t0101011
t0100000 <= t0101100
t0100000 <= t0101101
t0100000 <= t0101110
t0100000 <= t0101111
t0100000 <= t0110000
t0100000 <= t0110001
t0100000 <= t0110010
t0100000 <= t0110011
t0100000 <= t0110100
t0100000 <= t0110101
t0100000 <= t0110110
t0100000 <= t0110111
t0100000 <= t0111000
t0100000 <= t0111001
t0100000 <= t0111010
t0100000 <= t0111011
t0100000 <= t0111100
t0100000 <= t0111101
t0100000 <= t0111110
t0100000 <= t0111111
t0100000 <= t1100000
t0100000 <= t1100001
t0100000 <= t1100010
t0100000 <= t1100011
t0100000 <= t1100100
t0100000 <= t1100101
t0100000 <= t1100110
t0100000 <= t1100111
t0100000 <= t1101000
t0100000 <= t1101001
t0100000 <= t1101010
t0100000 <= t1101011
t0100000 <= t1101100
t0100000 <= t1101101
t0100000 <= t1101110
t0100000 <= t1101111
t0100000 <= t1110000
t0100000 <= t1110001
t0100000 <= t1110010
t0100000 <= t1110011
t0100000 <= t1110100
t0100000 <= t1110101
t0100000 <= t1110110
t0100000 <= t1110111
t0100000 <= t1111000
t0100000 <= t1111001
t0100000 <= t1111010
t0100000 <= t1111011
t0100000 <= t1111100
t0100000 <= t1111101
t0100000 <= t1111110
t0100000 <= t1111111
t0100001 <= t0100011
t0100001 <= t0100101
t0100001 <= t0100111
t0100001 <= t0101001
t0100001 <= t0101011
t0100001 <= t0101101
t0100001 <= t0101111
t0100001 <= t0110001
t0100001 <= t0110011
t0100001 <= t0110101
t0100001 <= t0110111
t0100001 <= t0111001
t0100001 <= t0111011
t0100001 <= t0111101
t0100001 <= t0111111
t0100001 <= t1100001
t0100001 <= t1100011
t0100001 <= t1100101
t0100001 <= t1100111
t0100001 <= t1101001
t0100001 <= t1101011
t0100001 <= t1101101
t0100001 <= t1101111
t0100001 <= t1110001
t0100001 <= t1110011
t0100001 <= t1110101
t0100001 <= t1110111
t0100001 <= t1111001
t0100001 <= t1111011
t0100001 <= t1111101
t0100001 <= t1111111
t0100010 <= t0100011
t0100010 <= t0100110
t0100010 <= t0100111
t0100010 <= t0101010
t0100010 <= t0101011
t0100010 <= t0101110
t0100010 <= t0101111
t0100010 <= t0110010
t0100010 <= t0110011
t0100010 <= t0110110
t0100010 <= t0110111
t0100010 <= t0111010
t0100010 <= t0111011
t0100010 <= t0111110
t0100010 <= t0111111
t0100010 <= t1100010
t0100010 <= t1100011
t0100010 <= t1100110
t0100010 <= t1100111
t0100010 <= t1101010
t0100010 <= t1101011
t0100010 <= t1101110
t0100010 <= t1101111
t0100010 <= t1110010
t0100010 <= t1110011
t0100010 <= t1110110
t0100010 <= t1110111
t0100010 <= t1111010
t0100010 <= t1111011
t0100010 <= t1111110
t0100010 <= t1111111
t0100011 <= t0100111
t0100011 <= t0101011
t0100011 <= t0101111
t0100011 <= t0110011
t0100011 <= t0110111
t0100011 <= t0111011
t0100011 <= t0111111
t0100011 <= t1100011
t0100011 <= t1100111
t0100011 <= t1101011
t0100011 <= t1101111
t0100011 <= t1110011
t0100011 <= t1110111
t0100011 <= t1111011
t0100011 <= t1111111
t0100100 <= t0100101
t0100100 <= t0100110
t0100100 <= t0100111
t0100100 <= t0101100
t0100100 <= t0101101
t0100100 <= t0101110
t0100100 <= t0101111
t0100100 <= t0110100
t0100100 <= t0110101
t0100100 <= t0110110
t0100100 <= t0110111
t0100100 <= t0111100
t0100100 <= t0111101
t0100100 <= t0111110
t0100100 <= t0111111
t0100100 <= t1100100
t0100100 <= t1100101
t0100100 <= t1100110
t0100100 <= t1100111
t0100100 <= t1101100
t0100100 <= t1101101
t0100100 <= t1101110
t0100100 <= t1101111
t0100100 <= t1110100
t0100100 <= t1110101
t0100100 <= t1110110
t0100100 <= t1110111
t0100100 <= t1111100
t0100100 <= t1111101
t0100100 <= t1111110
t0100100 <= t1111111
t0100101 <= t0100111
t0100101 <= t0101101
t0100101 <= t0101111
t0100101 <= t0110101
t0100101 <= t0110111
t0100101 <= t0111101
t0100101 <= t0111111
t0100101 <= t1100101
t0100101 <= t1100111
t0100101 <= t1101101
t0100101 <= t1101111
t0100101 <= t1110101
t0100101 <= t1110111
t0100101 <= t1111101
t0100101 <= t1111111
t0100110 <= t0100111
t0100110 <= t0101110
t0100110 <= t0101111
t0100110 <= t0110110
t0100110 <= t0110111
t0100110 <= t0111110
t0100110 <= t0111111
t0100110 <= t1100110
t0100110 <= t1100111
t0100110 <= t1101110
t0100110 <= t1101111
t0100110 <= t1110110
t0100110 <= t1110111
t0100110 <= t1111110
t0100110 <= t1111111
t0100111 <= t0101111
t0100111 <= t0110111
t0100111 <= t0111111
t0100111 <= t1100111
t0100111 <= t1101111
t0100111 <= t1110111
t0100111 <= t1111111
t0101000 <= t0101001
t0101000 <= t0101010
t0101000 <= t0101011
t0101000 <= t0101100
t0101000 <= t0101101
t0101000 <= t0101110
t0101000 <= t0101111
t0101000 <= t0111000
t0101000 <= t0111001
t0101000 <= t0111010
t0101000 <= t0111011
t0101000 <= t0111100
t0101000 <= t0111101
t0101000 <= t0111110
t0101000 <= t0111111
t0101000 <= t1101000
t0101000 <= t1101001
t0101000 <= t1101010
t0101000 <= t1101011
t0101000 <= t1101100
t0101000 <= t1101101
t0101000 <= t1101110
t0101000 <= t1101111
t0101000 <= t1111000
t0101000 <= t1111001
t0101000 <= t1111010
t0101000 <= t1111011
t0101000 <= t1111100
t0101000 <= t1111101
t0101000 <= t1111110
t0101000 <= t1111111
t0101001 <= t0101011
t0101001 <= t0101101
t0101001 <= t0101111
t0101001 <= t0111001
t0101001 <= t0111011
t0101001 <= t0111101
t0101001 <= t0111111
t0101001 <= t1101001
t0101001 <= t1101011
t0101001 <= t1101101
t0101001 <= t1101111
t0101001 <= t1111001
t0101001 <= t1111011
t0101001 <= t1111101
t0101001 <= t1111111
t0101010 <= t0101011
t0101010 <= t0101110
t0101010 <= t0101111
t0101010 <= t0111010
t0101010 <= t0111011
t0101010 <= t0111110
t0101010 <= t0111111
t0101010 <= t1101010
t0101010 <= t1101011
t0101010 <= t1101110
t0101010 <= t1101111
t0101010 <= t1111010
t0101010 <= t1111011
t0101010 <= t1111110
t0101010 <= t1111111
t0101011 <= t0101111
t0101011 <= t0111011
t0101011 <= t0111111
t0101011 <= t1101011
t0101011 <= t1101111
t0101011 <= t1111011
t0101011 <= t1111111
t0101100 <= t0101101
t0101100 <= t0101110
t0101100 <= t0101111
t0101100 <= t0111100
t0101100 <= t0111101
t0101100 <= t0111110
t0101100 <= t0111111
t0101100 <= t1101100
t0101100 <= t1101101
t0101100 <= t1101110
t0101100 <= t1101111
t0101100 <= t1111100
t0101100 <= t1111101
t0101100 <= t1111110
t0101100 <= t1111111
t0101101 <= t0101111
t0101101 <= t0111101
t0101101 <= t0111111
t0101101 <= t1101101
t0101101 <= t1101111
t0101101 <= t1111101
t0101101 <= t1111111
t0101110 <= t0101111
t0101110 <= t0111110
t0101110 <= t0111111
t0101110 <= t1101110
t0101110 <= t1101111
t0101110 <= t1111110
t0101110 <= t1111111
t0101111 <= t0111111
t0101111 <= t1101111
t0101111 <= t1111111
t0110000 <= t0110001
t0110000 <= t0110010
t0110000 <= t0110011
t0110000 <= t0110100
t0110000 <= t0110101
t0110000 <= t0110110
t0110000 <= t0110111
t0110000 <= t0111000
t0110000 <= t0111001
t0110000 <= t0111010
t0110000 <= t0111011
t0110000 <= t0111100
t0110000 <= t0111101
t0110000 <= t0111110
t0110000 <= t0111111
t0110000 <= t1110000
t0110000 <= t1110001
t0110000 <= t1110010
t0110000 <= t1110011
t0110000 <= t1110100
t0110000 <= t1110101
t0110000 <= t1110110
t0110000 <= t1110111
t0110000 <= t1111000
t0110000 <= t1111001
t0110000 <= t1111010
t0110000 <= t1111011
t0110000 <= t1111100
t0110000 <= t1111101
t0110000 <= t1111110
t0110000 <= t1111111
t0110001 <= t0110011
t0110001 <= t0110101
t0110001 <= t0110111
t0110001 <= t0111001
t0110001 <= t0111011
t0110001 <= t0111101
t0110001 <= t0111111
t0110001 <= t1110001
t0110001 <= t1110011
t0110001 <= t1110101
t0110001 <= t1110111
t0110001 <= t1111001
t0110001 <= t1111011
t0110001 <= t1111101
t0110001 <= t1111111
t0110010 <= t0110011
t0110010 <= t0110110
t0110010 <= t0110111
t0110010 <= t0111010
t0110010 <= t0111011
t0110010 <= t0111110
t0110010 <= t0111111
t0110010 <= t1110010
t0110010 <= t1110011
t0110010 <= t1110110
t0110010 <= t1110111
t0110010 <= t1111010
t0110010 <= t1111011
t0110010 <= t1111110
t0110010 <= t1111111
t0110011 <= t0110111
t0110011 <= t0111011
t0110011 <= t0111111
t0110011 <= t1110011
t0110011 <= t1110111
t0110011 <= t1111011
t0110011 <= t1111111
t0110100 <= t0110101
t0110100 <= t0110110
t0110100 <= t0110111
t0110100 <= t0111100
t0110100 <= t0111101
t0110100 <= t0111110
t0110100 <= t0111111
t0110100 <= t1110100
t0110100 <= t1110101
t0110100 <= t1110110
t0110100 <= t1110111
t0110100 <= t1111100
t0110100 <= t1111101
t0110100 <= t1111110
t0110100 <= t1111111
t0110101 <= t0110111
t0110101 <= t0111101
t0110101 <= t0111111
t0110101 <= t1110101
t0110101 <= t1110111
t0110101 <= t1111101
t0110101 <= t1111111
t0110110 <= t0110111
t0110110 <= t0111110
t0110110 <= t0111111
t0110110 <= t1110110
t0110110 <= t1110111
t0110110 <= t1111110
t0110110 <= t1111111
t0110111 <= t0111111
t0110111 <= t1110111
t0110111 <= t1111111
t0111000 <= t0111001
t0111000 <= t0111010
t0111000 <= t0111011
t0111000 <= t0111100
t0111000 <= t0111101
t0111000 <= t0111110
t0111000 <= t0111111
t0111000 <= t1111000
t0111000 <= t1111001
t0111000 <= t1111010
t0111000 <= t1111011
t0111000 <= t1111100
t0111000 <= t1111101
t0111000 <= t1111110
t0111000 <= t1111111
t0111001 <= t0111011
t0111001 <= t0111101
t0111001 <= t0111111
t0111001 <= t1111001
t0111001 <= t1111011
t0111001 <= t1111101
t0111001 <= t1111111
t0111010 <= t0111011
t0111010 <= t0111110
t0111010 <= t0111111
t0111010 <= t1111010
t0111010 <= t1111011
t0111010 <= t1111110
t0111010 <= t1111111
t0111011 <= t0111111
t0111011 <= t1111011
t0111011 <= t1111111
t0111100 <= t0111101
t0111100 <= t0111110
t0111100 <= t0111111
t0111100 <= t1111100
t0111100 <= t1111101
t0111100 <= t1111110
t0111100 <= t1111111
t0111101 <= t0111111
t0111101 <= t1111101
t0111101 <= t1111111
t0111110 <= t0111111
t0111110 <= t1111110
t0111110 <= t1111111
t0111111 <= t1111111
t1000000 <= t1000001
t1000000 <= t1000010
t1000000 <= t1000011
t1000000 <= t1000100
t1000000 <= t1000101
t1000000 <= t1000110
t1000000 <= t1000111
t1000000 <= t1001000
t1000000 <= t1001001
t1000000 <= t1001010
t1000000 <= t1001011
t1000000 <= t1001100
t1000000 <= t1001101
t1000000 <= t1001110
t1000000 <= t1001111
t1000000 <= t1010000
t1000000 <= t1010001
t1000000 <= t1010010
t1000000 <= t1010011
t1000000 <= t1010100
t1000000 <= t1010101
t1000000 <= t1010110
t1000000 <= t1010111
t1000000 <= t1011000
t1000000 <= t1011001
t1000000 <= t1011010
t1000000 <= t1011011
t1000000 <= t1011100
t1000000 <= t1011101
t1000000 <= t1011110
t1000000 <= t1011111
t1000000 <= t1100000
t1000000 <= t1100001
t1000000 <= t1100010
t1000000 <= t1100011
t1000000 <= t1100100
t1000000 <= t1100101
t1000000 <= t1100110
t1000000 <= t1100111
t1000000 <= t1101000
t1000000 <= t1101001
t1000000 <= t1101010
t1000000 <= t1101011
t1000000 <= t1101100
t1000000 <= t1101101
t1000000 <= t1101110
t1000000 <= t1101111
t1000000 <= t1110000
t1000000 <= t1110001
t1000000 <= t1110010
t1000000 <= t1110011
t1000000 <= t1110100
t1000000 <= t1110101
t1000000 <= t1110110
t1000000 <= t1110111
t1000000 <= t1111000
t1000000 <= t1111001
t1000000 <= t1111010
t1000000 <= t1111011
t1000000 <= t1111100
t1000000 <= t1111101
t1000000 <= t1111110
t1000000 <= t1111111
t1000001 <= t1000011
t1000001 <= t1000101
t1000001 <= t1000111
t1000001 <= t1001001
t1000001 <= t1001011
t1000001 <= t1001101
t1000001 <= t1001111
t1000001 <= t1010001
t1000001 <= t1010011
t1000001 <= t1010101
t1000001 <= t1010111
t1000001 <= t1011001
t1000001 <= t1011011
t1000001 <= t1011101
t1000001 <= t1011111
t1000001 <= t1100001
t1000001 <= t1100011
t1000001 <= t1100101
t1000001 <= t1100111
t1000001 <= t1101001
t1000001 <= t1101011
t1000001 <= t1101101
t1000001 <= t1101111
t1000001 <= t1110001
t1000001 <= t1110011
t1000001 <= t1110101
t1000001 <= t1110111
t1000001 <= t1111001
t1000001 <= t1111011
t1000001 <= t1111101
t1000001 <= t1111111
t1000010 <= t1000011
t1000010 <= t1000110
t1000010 <= t1000111
t1000010 <= t1001010
t1000010 <= t1001011
t1000010 <= t1001110
t1000010 <= t1001111
t1000010 <= t1010010
t1000010 <= t1010011
t1000010 <= t1010110
t1000010 <= t1010111
t1000010 <= t1011010
t1000010 <= t1011011
t1000010 <= t1011110
t1000010 <= t1011111
t1000010 <= t1100010
t1000010 <= t1100011
t1000010 <= t1100110
t1000010 <= t1100111
t1000010 <= t1101010
t1000010 <= t1101011
t1000010 <= t1101110
t1000010 <= t1101111
t1000010 <= t1110010
t1000010 <= t1110011
t1000010 <= t1110110
t1000010 <= t1110111
t1000010 <= t1111010
t1000010 <= t1111011
t1000010 <= t1111110
t1000010 <= t1111111
t1000011 <= t1000111
t1000011 <= t1001011
t1000011 <= t1001111
t1000011 <= t1010011
t1000011 <= t1010111
t1000011 <= t1011011
t1000011 <= t1011111
t1000011 <= t1100011
t1000011 <= t1100111
t1000011 <= t1101011
t1000011 <= t1101111
t1000011 <= t1110011
t1000011 <= t1110111
t1000011 <= t1111011
t1000011 <= t1111111
t1000100 <= t1000101
t1000100 <= t1000110
t1000100 <= t1000111
t1000100 <= t1001100
t1000100 <= t1001101
t1000100 <= t1001110
t1000100 <= t1001111
t1000100 <= t1010100
t1000100 <= t1010101
t1000100 <= t1010110
t1000100 <= t1010111
t1000100 <= t1011100
t1000100 <= t1011101
t1000100 <= t1011110
t1000100 <= t1011111
t1000100 <= t1100100
t1000100 <= t1100101
t1000100 <= t1100110
t1000100 <= t1100111
t1000100 <= t1101100
t1000100 <= t1101101
t1000100 <= t1101110
t1000100 <= t1101111
t1000100 <= t1110100
t1000100 <= t1110101
t1000100 <= t1110110
t1000100 <= t1110111
t1000100 <= t1111100
t1000100 <= t1111101
t1000100 <= t1111110
t1000100 <= t1111111
t1000101 <= t1000111
t1000101 <= t1001101
t1000101 <= t1001111
t1000101 <= t1010101
t1000101 <= t1010111
t1000101 <= t1011101
t1000101 <= t1011111
t1000101 <= t1100101
t1000101 <= t1100111
t1000101 <= t1101101
t1000101 <= t1101111
t1000101 <= t1110101
t1000101 <= t1110111
t1000101 <= t1111101
t1000101 <= t1111111
t1000110 <= t1000111
t1000110 <= t1001110
t1000110 <= t1001111
t1000110 <= t1010110
t1000110 <= t1010111
t1000110 <= t1011110
t1000110 <= t1011111
t1000110 <= t1100110
t1000110 <= t1100111
t1000110 <= t1101110
t1000110 <= t1101111
t1000110 <= t1110110
t1000110 <= t1110111
t1000110 <= t1111110
t1000110 <= t1111111
t1000111 <= t1001111
t1000111 <= t1010111
t1000111 <= t1011111
t1000111 <= t1100111
t1000111 <= t1101111
t1000111 <= t1110111
t1000111 <= t1111111
t1001000 <= t1001001
t1001000 <= t1001010
t1001000 <= t1001011
t1001000 <= t1001100
t1001000 <= t1001101
t1001000 <= t1001110
t1001000 <= t1001111
t1001000 <= t1011000
t1001000 <= t1011001
t1001000 <= t1011010
t1001000 <= t1011011
t1001000 <= t1011100
t1001000 <= t1011101
t1001000 <= t1011110
t1001000 <= t1011111
t1001000 <= t1101000
t1001000 <= t1101001
t1001000 <= t1101010
t1001000 <= t1101011
t1001000 <= t1101100
t1001000 <= t1101101
t1001000 <= t1101110
t1001000 <= t1101111
t1001000 <= t1111000
t1001000 <= t1111001
t1001000 <= t1111010
t1001000 <= t1111011
t1001000 <= t1111100
t1001000 <= t1111101
t1001000 <= t1111110
t1001000 <= t1111111
t1001001 <= t1001011
t1001001 <= t1001101
t1001001 <= t1001111
t1001001 <= t1011001
t1001001 <= t1011011
t1001001 <= t1011101
t1001001 <= t1011111
t1001001 <= t1101001
t1001001 <= t1101011
t1001001 <= t1101101
t1001001 <= t1101111
t1001001 <= t1111001
t1001001 <= t1111011
t1001001 <= t1111101
t1001001 <= t1111111
t1001010 <= t1001011
t1001010 <= t1001110
t1001010 <= t1001111
t1001010 <= t1011010
t1001010 <= t1011011
t1001010 <= t1011110
t1001010 <= t1011111
t1001010 <= t1101010
t1001010 <= t1101011
t1001010 <= t1101110
t1001010 <= t1101111
t1001010 <= t1111010
t1001010 <= t1111011
t1001010 <= t1111110
t1001010 <= t1111111
t1001011 <= t1001111
t1001011 <= t1011011
t1001011 <= t1011111
t1001011 <= t1101011
t1001011 <= t1101111
t1001011 <= t1111011
t1001011 <= t1111111
t1001100 <= t1001101
t1001100 <= t1001110
t1001100 <= t1001111
t1001100 <= t1011100
t1001100 <= t1011101
t1001100 <= t1011110
t1001100 <= t1011111
t1001100 <= t1101100
t1001100 <= t1101101
t1001100 <= t1101110
t1001100 <= t1101111
t1001100 <= t1111100
t1001100 <= t1111101
t1001100 <= t1111110
t1001100 <= t1111111
t1001101 <= t1001111
t1001101 <= t1011101
t1001101 <= t1011111
t1001101 <= t1101101
t1001101 <= t1101111
t1001101 <= t1111101
t1001101 <= t1111111
t1001110 <= t1001111
t1001110 <= t1011110
t1001110 <= t1011111
t1001110 <= t1101110
t1001110 <= t1101111
t1001110 <= t1111110
t1001110 <= t1111111
t1001111 <= t1011111
t1001111 <= t1101111
t1001111 <= t1111111
t1010000 <= t1010001
t1010000 <= t1010010
t1010000 <= t1010011
t1010000 <= t1010100
t1010000 <= t1010101
t1010000 <= t1010110
t1010000 <= t1010111
t1010000 <= t1011000
t1010000 <= t1011001
t1010000 <= t1011010
t1010000 <= t1011011
t1010000 <= t1011100
t1010000 <= t1011101
t1010000 <= t1011110
t1010000 <= t1011111
t1010000 <= t1110000
t1010000 <= t1110001
t1010000 <= t1110010
t1010000 <= t1110011
t1010000 <= t1110100
t1010000 <= t1110101
t1010000 <= t1110110
t1010000 <= t1110111
t1010000 <= t1111000
t1010000 <= t1111001
t1010000 <= t1111010
t1010000 <= t1111011
t1010000 <= t1111100
t1010000 <= t1111101
t1010000 <= t1111110
t1010000 <= t1111111
t1010001 <= t1010011
t1010001 <= t1010101
t1010001 <= t1010111
t1010001 <= t1011001
t1010001 <= t1011011
t1010001 <= t1011101
t1010001 <= t1011111
t1010001 <= t1110001
t1010001 <= t1110011
t1010001 <= t1110101
t1010001 <= t1110111
t1010001 <= t1111001
t1010001 <= t1111011
t1010001 <= t1111101
t1010001 <= t1111111
t1010010 <= t1010011
t1010010 <= t1010110
t1010010 <= t1010111
t1010010 <= t1011010
t1010010 <= t1011011
t1010010 <= t1011110
t1010010 <= t1011111
t1010010 <= t1110010
t1010010 <= t1110011
t1010010 <= t1110110
t1010010 <= t1110111
t1010010 <= t1111010
t1010010 <= t1111011
t1010010 <= t1111110
t1010010 <= t1111111
t1010011 <= t1010111
t1010011 <= t1011011
t1010011 <= t1011111
t1010011 <= t1110011
t1010011 <= t1110111
t1010011 <= t1111011
t1010011 <= t1111111
t1010100 <= t1010101
t1010100 <= t1010110
t1010100 <= t1010111
t1010100 <= t1011100
t1010100 <= t1011101
t1010100 <= t1011110
t1010100 <= t1011111
t1010100 <= t1110100
t1010100 <= t1110101
t1010100 <= t1110110
t1010100 <= t1110111
t1010100 <= t1111100
t1010100 <= t1111101
t1010100 <= t1111110
t1010100 <= t1111111
t1010101 <= t1010111
t1010101 <= t1011101
t1010101 <= t1011111
t1010101 <= t1110101
t1010101 <= t1110111
t1010101 <= t1111101
t1010101 <= t1111111
t1010110 <= t1010111
t1010110 <= t1011110
t1010110 <= t1011111
t1010110 <= t1110110
t1010110 <= t1110111
t1010110 <= t1111110
t1010110 <= t1111111
t1010111 <= t1011111
t1010111 <= t1110111
t1010111 <= t1111111
t1011000 <= t1011001
t1011000 <= t1011010
t1011000 <= t1011011
t1011000 <= t1011100
t1011000 <= t1011101
t1011000 <= t1011110
t1011000 <= t1011111
t1011000 <= t1111000
t1011000 <= t1111001
t1011000 <= t1111010
t1011000 <= t1111011
t1011000 <= t1111100
t1011000 <= t1111101
t1011000 <= t1111110
t1011000 <= t1111111
t1011001 <= t1011011
t1011001 <= t1011101
t1011001 <= t1011111
t1011001 <= t1111001
t1011001 <= t1111011
t1011001 <= t1111101
t1011001 <= t1111111
t1011010 <= t1011011
t1011010 <= t1011110
t1011010 <= t1011111
t1011010 <= t1111010
t1011010 <= t1111011
t1011010 <= t1111110
t1011010 <= t1111111
t1011011 <= t1011111
t1011011 <= t1111011
t1011011 <= t1111111
t1011100 <= t1011101
t1011100 <= t1011110
t1011100 <= t1011111
t1011100 <= t1111100
t1011100 <= t1111101
t1011100 <= t1111110
t1011100 <= t1111111
t1011101 <= t1011111
t1011101 <= t1111101
t1011101 <= t1111111
t1011110 <= t1011111
t1011110 <= t1111110
t1011110 <= t1111111
t1011111 <= t1111111
t1100000 <= t1100001
t1100000 <= t1100010
t1100000 <= t1100011
t1100000 <= t1100100
t1100000 <= t1100101
t1100000 <= t1100110
t1100000 <= t1100111
t1100000 <= t1101000
t1100000 <= t1101001
t1100000 <= t1101010
t1100000 <= t1101011
t1100000 <= t1101100
t1100000 <= t1101101
t1100000 <= t1101110
t1100000 <= t1101111
t1100000 <= t1110000
t1100000 <= t1110001
t1100000 <= t1110010
t1100000 <= t1110011
t1100000 <= t1110100
t1100000 <= t1110101
t1100000 <= t1110110
t1100000 <= t1110111
t1100000 <= t1111000
t1100000 <= t1111001
t1100000 <= t1111010
t1100000 <= t1111011
t1100000 <= t1111100
t1100000 <= t1111101
t1100000 <= t1111110
t1100000 <= t1111111
t1100001 <= t1100011
t1100001 <= t1100101
t1100001 <= t1100111
t1100001 <= t1101001
t1100001 <= t1101011
t1100001 <= t1101101
t1100001 <= t1101111
t1100001 <= t1110001
t1100001 <= t1110011
t1100001 <= t1110101
t1100001 <= t1110111
t1100001 <= t1111001
t1100001 <= t1111011
t1100001 <= t1111101
t1100001 <= t1111111
t1100010 <= t1100011
t1100010 <= t1100110
t1100010 <= t1100111
t1100010 <= t1101010
t1100010 <= t1101011
t1100010 <= t1101110
t1100010 <= t1101111
t1100010 <= t1110010
t1100010 <= t1110011
t1100010 <= t1110110
t1100010 <= t1110111
t1100010 <= t1111010
t1100010 <= t1111011
t1100010 <= t1111110
t1100010 <= t1111111
t1100011 <= t1100111
t1100011 <= t1101011
t1100011 <= t1101111
t1100011 <= t1110011
t1100011 <= t1110111
t1100011 <= t1111011
t1100011 <= t1111111
t1100100 <= t1100101
t1100100 <= t1100110
t1100100 <= t1100111
t1100100 <= t1101100
t1100100 <= t1101101
t1100100 <= t1101110
t1100100 <= t1101111
t1100100 <= t1110100
t1100100 <= t1110101
t1100100 <= t1110110
t1100100 <= t1110111
t1100100 <= t1111100
t1100100 <= t1111101
t1100100 <= t1111110
t1100100 <= t1111111
t1100101 <= t1100111
t1100101 <= t1101101
t1100101 <= t1101111
t1100101 <= t1110101
t1100101 <= t1110111
t1100101 <= t1111101
t1100101 <= t1111111
t1100110 <= t1100111
t1100110 <= t1101110
t1100110 <= t1101111
t1100110 <= t1110110
t1100110 <= t1110111
t1100110 <= t1111110
t1100110 <= t1111111
t1100111 <= t1101111
t1100111 <= t1110111
t1100111 <= t1111111
t1101000 <= t1101001
t1101000 <= t1101010
t1101000 <= t1101011
t1101000 <= t1101100
t1101000 <= t1101101
t1101000 <= t1101110
t1101000 <= t1101111
t1101000 <= t1111000
t1101000 <= t1111001
t1101000 <= t1111010
t1101000 <= t1111011
t1101000 <= t1111100
t1101000 <= t1111101
t1101000 <= t1111110
t1101000 <= t1111111
t1101001 <= t1101011
t1101001 <= t1101101
t1101001 <= t1101111
t1101001 <= t1111001
t1101001 <= t1111011
t1101001 <= t1111101
t1101001 <= t1111111
t1101010 <= t1101011
t1101010 <= t1101110
t1101010 <= t1101111
t1101010 <= t1111010
t1101010 <= t1111011
t1101010 <= t1111110
t1101010 <= t1111111
t1101011 <= t1101111
t1101011 <= t1111011
t1101011 <= t1111111
t1101100 <= t1101101
t1101100 <= t1101110
t1101100 <= t1101111
t1101100 <= t1111100
t1101100 <= t1111101
t1101100 <= t1111110
t1101100 <= t1111111
t1101101 <= t1101111
t1101101 <= t1111101
t1101101 <= t1111111
t1101110 <= t1101111
t1101110 <= t1111110
t1101110 <= t1111111
t1101111 <= t1111111
t1110000 <= t1110001
t1110000 <= t1110010
t1110000 <= t1110011
t1110000 <= t1110100
t1110000 <= t1110101
t1110000 <= t1110110
t1110000 <= t1110111
t1110000 <= t1111000
t1110000 <= t1111001
t1110000 <= t1111010
t1110000 <= t1111011
t1110000 <= t1111100
t1110000 <= t1111101
t1110000 <= t1111110
t1110000 <= t1111111
t1110001 <= t1110011
t1110001 <= t1110101
t1110001 <= t1110111
t1110001 <= t1111001
t1110001 <= t1111011
t1110001 <= t1111101
t1110001 <= t1111111
t1110010 <= t1110011
t1110010 <= t1110110
t1110010 <= t1110111
t1110010 <= t1111010
t1110010 <= t1111011
t1110010 <= t1111110
t1110010 <= t1111111
t1110011 <= t1110111
t1110011 <= t1111011
t1110011 <= t1111111
t1110100 <= t1110101
t1110100 <= t1110110
t1110100 <= t1110111
t1110100 <= t1111100
t1110100 <= t1111101
t1110100 <= t1111110
t1110100 <= t1111111
t1110101 <= t1110111
t1110101 <= t1111101
t1110101 <= t1111111
t1110110 <= t1110111
t1110110 <= t1111110
t1110110 <= t1111111
t1110111 <= t1111111
t1111000 <= t1111001
t1111000 <= t1111010
t1111000 <= t1111011
t1111000 <= t1111100
t1111000 <= t1111101
t1111000 <= t1111110
t1111000 <= t1111111
t1111001 <= t1111011
t1111001 <= t1111101
t1111001 <= t1111111
t1111010 <= t1111011
t1111010 <= t1111110
t1111010 <= t1111111
t1111011 <= t1111111
t1111100 <= t1111101
t1111100 <= t1111110
t1111100 <= t1111111
t1111101 <= t1111111
t1111110 <= t1111111
}
|
|
|
|
|
