SAT
11101100001101011010001010000111011001011100001010011110010010111011100111101000101000000001010110100111001011000000000000111000010010110111001001001010001101101000001011011101101010011111100000000111011101011000000101111110110001110001110110111111000011000000001000101010001100000001100110010111111010010010011101010011110101000101111010011101111110001001101000111010001010101010011111111011001110110110110010001111000011111010100111100000010101010011100111100111110110111100111110010001011011100111010100111001000110011010100100001011011011100111110011101111111011000101011000110111000001111100000010111101110110110110010100000001110000000011000110101111111101010111111100001110110000101011100110001101000111100001011110100101100100000010000001100000110100101111111100100001101101110011001110001111111010100010010011111010010011100101111101100101000101111110100111100010110101011101000111100001110111010001110000000000010010101101100100001001100110111011001001111100110110001000011010100000011100111100011111100000010010111011000101000111001001000000011100001101001010110110000100110000110000100001010000010000011010001101111011110011010010001000011101011110010011111110110011110000101011110101010111000010101100110100011001101100000001001011011001000000110000000101011010111011101101110000000111000101110101011011101001011101001011100110000001111010101111011110000010110110011111111000101010010111100110111010101011001110111101011101110001010001101100110110010100010110001001110100101110010000010001001011101111111100101100011011101100011110101010110001000101001011011110000100111001100100000001111000000100110010100110001001010101101111101100101010010100100110000010100001111010000110100101101000000000110011101111101101010110110101010000110101011101101110100010111111110100001011101010110110101011010000110011000111000011001001100110101100001000000001011111000011101011110000000000101000100111001100110110110110101101101010100111100110101111011100010111011001111011001101000010011001100110001100001001101100101001100111111100110010101011000100100111010101110001011100100100110000101011110110010110100110101001001101010001100111101110001101101011110100010101011000001101110011011001110100101001110000111100101000111111101000111111111001111011001110000000000111010111000110110010010011011000011001111000010011010110001100101111000101000010111101101111110001101010110111101101010101010010110110101111111001101111111100011000010010101001011110001111011101001000010100001110110110011101100010010010010111000011000011101100000001000001100101111111001000000001101001111100111010110110100100000000111110101000000011101110000000111000010011011000010101101111101101111010110000001011110101001111100001011011011110111100000101011110011101000100011101101111010001011101011101100000110011011011010111010100111111000011011110010101000001010100000111010100001010110110001110100111110110111110100111001111101010101000011100010010110101001100111011100011110111110101001111000100010001111000101011101010110101100110101000000001111111100011111100011111101101110001101001110000100001111111001101001001110111101101101010010100010010101011101000010111110101110011001000110000001011100011100101011110101101011110010111000010111000010001100101100011111110001111010011111101110111111000101000001001100110001001010110101011011011111101101011110100010101000100011001111000011011011101001110111010101011111010001111011100111111101010001101101010111010001111001010010001111011000101100111000101000000111110010010000011111111010010010101101100100100101010001001010000000110111101111101101101000011011000011100101011101011010011110010101011001010101110010011111110100010010111010101100111100000010101101110111101000011101001011001011100110100000000100101000100001111011001000110100110000011001111110010100111000011101101011000110111111100100110000010101000011001010100011000010011101001000010111100101010011000010110100101010101111100100010011000010010011001101111101100101000101100001110100011111001101001011011010001011011100010100001110011110111010010100101111010101100101111000100110101110010000101111100010000011101011000001101010100101011010001100010111001100111111110010110011010101000110100001010011001100011000100110000010111111001110111111101100100001010000100001010101011111101001110010001001110101010101100000011010110011100110011110000000101011100100010000111000000011001000110110111000011111001000110111100011011011010101001110001010110011110011110101101000001100101100110101111111000000010100000110000000111000010011010010010100100100101100101000101100111000010011101011010110101111100100100111001101110101101010000011101100000101010000110001000101010100000000101111001011011001101101100000000011110001100001011111001000010111001011101011110001000110111100111010110011100100101100111110101000011110000111101011011000010100101110100011100011010110110100100010000001111100100111001011001000001001111111101110110011111101101011000111011101110110011101010101001011010100010101100010010000100001100100001011101010011011001001100110110010110011010101001110100101111100111000100000100101110100011101001101011011010000011001000100100010110011010000001101000010000101111100100100000110110111110100000110000000000011000011100111001010011011011010111110011000100000101001100000011101000110101011000100011111111011110101011110010010111000110001010010111001100111001101011001100101110010101000100010011111001011000010100000000000001111111001001000011111111010010110001001101010111001100100101110100101011010000100000110100010110100001000001001101110000010001011001100000110001010011100100011111011010101101000110000010011101100011001111000111111110111101011000100000100111000111110000100100110010001000101100011001011001000101100000110000000000101110010100000000011111101101111100110100100111110000100010111000111101111000110110100100111111100010111011100111111001000111000001010111001011110010110101001001000010010110001000111101101011011010011110110000011101011100001101110001011011010100000110010100011111010111010000100111110110111100011100011111101011100011011001000011000011100101000001000100011110010011110100100100001111100011111110101101111000000110110111100001011001110110101110101101011011110110010101111001101011100101001110111101100001111100010101011100011110100100000110011000111001000001011000010001000011000110011011010110101100010111010001000100001001111011010101000000110001011111001110111100110111010010111101011100110110101111010001110000111100101110000110001001111101010101101110110011011100111011111001101011000001101101110011000101011010110111111001110111110100010111101010101001010010001010001010010111100100000111111010010100101110100110101110001100011001001110101110010101111000001111111011101001000110001000000111001010100000100111001101101011111010000110101000100110010011101010111100000100110000011110000101011111111101011011000111111010111000011101101010110011101100101001100000011110101000101011001100010000101010001101001100010001010010100001100000100111110010111101011010000000000111001000010010111010011111101010111011111110101010010101101000111000110001010111010011101101110110111111100111011010110000110001000010100011111000011001111111001101111111010110000100111001111101010100001100100111100101000110011001011101011011101010110101100010111011011110010010001010100101111110011110111010010111101011110000001100010111011010001100101101110100101101100001000100010101100110101001111011110110011001111100011101010111010001000111100001100010110101000011011010101001111110001011111000100001101001111000001100000100010010100000111010110001001001000001110110000111101001100010110100011000100101011111100101110100111010000010000111100110000010101001001111111100111100101110001101010001110010000110001100100010001001111110110111011101111101101101010101110111010000110100010100011001100111100100011001001011010111001000010000100000001100000111010100101001010000101011010001001011011111011001111010111100100000101010111001110011001001011011001100111101010101000100001110010110101111001111011010010111111110100110000111010001001000011110101110100111001101001101101110100000110111111001111000000110100110100111100001010100100011000011111100011001101111011010010011100011010100110010111010011010101000110100011010001101100000100001010000000011010010101111101001100111111110100101111000000100111100011011001011100110110000011111111110000101001010001100111100000111111100000001001010011101001000111111111111000101100010011111010101111000000010110010011111010100011101001000111111100111000011010110010110100101011001001000101010011101101111111011110000011010000010100001010110011011101000000001110100101110111101011111011000011001011110100110001110011101100101000011000011011101100100010100010011010001101101010000111100001000001001100010011010001101101001000000100101100100100000110001101100000010011001010110101001110010010010111001100111111111000001110110101001100111010101001110001110111011011001110000110101101011000111110011100100101011100101000001110011111100100101011001001001100100011101111101011111010010100010011111001001100000001001001101100111010110110110111111001111001110000011000100111001001100100010100101010100111000100010001110100111010000011001011001101010000111001001011111110010101100111000100001000111000011100010011