SAT
1100001011111010101010111000000111111010101010000101111001101110011110111110100010111011001101000101010100100101110000000110011011010001011001010010010110111000101001110010111101000011011011011011100000011001100111110010101000110010001101110101010110100000001001001111000010100011000000000100000110010000110111011011111111011010011101111100000111001110011100100010001111111100100010011101010001000111001101010011011001101101101110010110111110001100110011101011010011100010110010001100010111011110000111100101111001100111100010010001111100111001011000010011011111001001011111010100100001111000001101000111011001101101010100001111010011111001111001001001101010111110100010101111011111001100101110101100100011110110010011001010011101101000100011010011100001100001111111111110010111011011000000101011000101000011100100000011001010110100001000100011011000101000011101100000100101001001001100111000010001011101011111011010001111110010111000111000111110111000101100011110101001010001010111101001000011011111000101000100010100000000101010100110011101100110011011000101011010110000111110010111000010010101010011000111010000110111011011110111011110010110101101000101010001111000101110100110000010001000001101111001001011111110010101101011101101001100011111010000100001001111011000011000101110000010010101100001010010001010010001000110001111010011001101100000100010000111111110110010100000001100100101110001011100110011001111001011000001010100110111001110010000100001100110001001101100100000000000111100101101001111100100100110001100110001101110010001101110011101100001101011010000110100101000110010100001101111000010011011010010000101001110011000101001100101111001101001100010001001110100001101010010100101011111000011111001000001010010011100100111000100001001001010011001011110010111111000000101100001110001101110011011011001010010101011100011000000101100001011101000000000110010000110101100010101001001010011010011101010011011111011001000010011101101100011000110110010011011111100010011010011000001101010101111110100101100010010101010100010001001011000001100111000010110110000001101111001111001000011001111111100001001110010111100101010111001001100001101100010101000011101000000000111011110101001101011001001000111000110100011001101001101111100000111100111011001100010101011001110001010101001011010001000100111101001001101000101011111101011111111001110000011110001101001110001001111111010100100010100010000001110010111000010010100111111011111110111111110111101100110011000100111000111110001101010010110000010110100011011111010110101100001011001001110101010101110000001000111011110001100010101111010110101011000000100100110011011000011000100101101111110011110010100000010000110000101000110001011011010010111110110010101101010011100000011010001010001111110110110110110011111010110011101010001000010001111110100001101000101001100110001111011010100010000100010101110101000101110111101111101011100111111110101101011110000101100111001000010100000111011010000011100000001111101110011000000000110100100011111001010010010110100100110100011001100101010001110100111101101001011010011011000010001101111000101000001111011011011101011011001111010111010001100000000101000101000011101101011011110100001011101000100010101101010001111011111011001111101111001001110110001100010001110001101010001011011100111011100101111000001000110000001100010110000100010110101100010100011000100111110101101111110111110010100111001011111001010001110110100100100010101111010010011000001111101100101010111110111000100011100000110001010110101111100101010010101101101110110101011001000010000111101001010000011111111110110010100000100100101001110100101000010010110101101101000011001001000111100011101011011000101001110101111110000110111011110010111101011110111010001100111111110100010101000101101010001011110100101100000110000001000101010000101011001010010010010011110001011110000101111110110011110110011111011011000100111111000101100101001100000110110001110100010100000111101011000000001011001011110111001000110111111110010101111100010011000111001110100010101011000101001010111000100100110000100010110110111010100110101001000001011000001001011011001100100100001110010110010011111010000011011010010001011010100101111110001000001000001110100110001101101101111111111000001010001011111000111000110010110010000101010010000100110111001000010000011010110100111111111010001101100111100010000001110011011100100111101100011011100101010001011010000111010111001011100101000101101001100110010110000110000010011111001110111100100111111101000111001110101011011001100110010000100011001100001100000111111011000001100010011001011000111010010010100101010111010010001011010110100001100011110111101000101010011011101100011001111101111111110001111010011000111001101010100110001010010110101100010101011010011110011011001110101111011010011111110111010101101111000100101100011000001000110101011001000010011010010010010000101100010011010011001000101101111100111110001001101001111001000111100011011011101010101000100101011000001100110011001000010010110000000111100110110011010111101101101010101100111011100110100001111011001101110110000001011111001100001001110000000010111000000100101001100001001000110010111101001100000000100100111100010100000111111101111101101011110100101000110010101000110001111101010110101100111111110110011101101110111001101010101111010110101010001100110011001000101110100001111000011011101001011001011100011011001100000000111111011101110011011100110010001010110010101110111000011010100000111100111110101101110010000010001011001110110000111011011010000101100001010000011010111011111111101101001101100100111101010101011101111001110100100110011001001111100000010010000011010100100010100011010011110101101101011010001100011010001001110000101010110001000111110010001011000111100101001010001000001100000011101001101010110011111000000010000100111000111110001001001010011101111001010101110010111110101011001111010010101110001111111010110001101100000111010101010110111010110001001100000010000011010010001011110000110111111101100101101010000010001011100100011001100001101100100101000010111011101100010001001110010011000101101011001101001110101101011000110001001111010011001000101011001011011101100101010010000101010111010010100111110111111101110100011010000011101110000100111100101100100001100011100110101101111001001001111101111100111001110011111011110100011101111011101000110011110101000111100010100001110110001101001010100001000000110001010100000101100100100101100101100110110100010000110101001111001010001011000100110010110000100000000100010000010011100101111010010001000000111111001000111111110101001010001010111011010000111101010011001100111010101001010101110111011101110000010010111011100111010000110010011011010111001110011111110111111110011000000111001110101100111000001011010101001100011101010111001100101110000010011110011101001101011101101000010001010100001111010010100001010010111101011101010011000000101110001100101011110011111111010101001101111010011010001101100110011111100011110011110010100111011100010001110010101110100101100011010010001001001010011101011110011000100001111110111000111001000100110001110001000001000100010100100000111110010010110111110100000000011100100101001010111100000000101001111111011111110100101111100000111000111101000010001110100100110010101010110111001110100110101110000100101111011100111100101010010110100000101000111010000111111100010000011001010111110111100001000000110010111100101110001001101011000001010101111100101011100001011011000010110000111000110101000101001011100110101001011111011011110101011000010100100011110011111101000000001111100101011110011101011011011001101110101011010010111100000000100010000001110111101111101100010011000000111000111000100110111101001011100000101000000111101111011100011011001100110101111000101011110010110111100100011110100000011011010101010000001110100000000111010100001001001100110111011010110000011011100110111001100001101101100000000011000101011100010100110101101100100111000010011011001011111001011110010011111010010101010101000111111000110011011001000010111000100000111100000110011110110010100110100010010011110000001000110101011010000001010011001101111011111110110111010100000100010111110001010111011001001011101110001001111100001100010010100011110010001111101010001100111100010011110001011101101011100010001001010001100110011110001000110011110010110100001110111011100110001101110010010101110001010001011000111110111101001001100110011011001110000110110011111100110111010101000001011110001110001010101111110110001110010101101001001110100111101010011010100011111010101110000000001000011010111010100011001101101001100010001110001000000110101011000001001110010100101010001110110110000111011001101000001100111100100110111000110010010110101001111111100100111110110111001111101010110000011000011000101100010111110110111011000001001111110110101100011101101101011000100011001101101011101000001101001001101011001101001101100000000100010011111100000100111101101011000101011001000000011101011111001011010111011011000010100111001100000011101100010110100111111000100110000110001010001000010110101010000010010001001111010000000100100001001001111000001000010100100100000101010010011001000011001011001011100101001101001101001101001110000000101011110100001111010101001001101000100110011100010000101111001000010011110000001010100011101101101110001001001010001000010100111000000100010111011111111011001101100110111000101111010111111011101100011110010100001100011010101101100110111111111001010011000110010101111000101000011010010010011001110010000011010111110111111011111110001000101110000111011110111001001111101000100111000110001101010101001101110101111101101000001001101000011010101111010110110010001111110111101011110111101010011100001110000000111110001100011101111000000000010001011100101011000100001011111111000111111011011010110011101010010010101110010111100001100001101110100011110110000001101101110011001011000011010110000101010011110111011000001010010100011010011001100000001100110100001101000100010110111001110110110101001000001011010111100111010001101101100001100000110100101111001