SAT
1110000011000000011111010100100011101010011011011100010000001001111100100101101101001010111000110010100101101100110011001110001000001111000000011111100001001000110000000000000001001011101100111001001000100010011010100110111011111111100001000111100100111110111000010011010001001001010010001111110100101110010100010101000011111101111100100100001011000001010111000100011011010111100111111111110110011110001011111111100001010001100010110000110110001001100010100010101100011010111011110010000101111111111001110010101000011011001001110100011010001100000101000000111111010101001100110100011001011010110100001000000001100011110111110000011100000000001110010010111110011010010111101111010010011010110101110000010111010010100101001011110110100100011010010100000000111001001110100000000111001001000001110001111111100010110101011110011001101000001000010101000100101011000111010100000011100000010101100101000010111011111010010100010010110011011110010111011001011100111011000001110101111011000110010100000010011000011111001110010011010101000101000110000100110011000000011111110010110001010011100000110011111100111011110100110011001001111011001010100000010111000010100010010111010001111100101001000101111000100010110000110011001000011111010001000011001100101010011101000001011010100010101000001011001011100011001111101100111011111110001110011000101111010110010101010101110010110010111000011001010001110101101000001100111000001001110001101100011101001100100011110011001100001010010110000110001000011001001010000011011110011100000101111010110100000000101011010110001110000111101111011111101110111110110010101000001010110011110000011000011101001110001001011100000000010100111100000011111000101001111110001101100011111011110010000111111001001000011111101110110100111011011000101001110111011011000100110110101001110000100011111001000111001000100000011010110011101110100001110110000101000011110001111101001010011001100011010000110101011110101011010011111111010101010001010101000100011111010110011011111001011001001110111110101101000111010010111010100111110101010101010010110000100100110100101110110001010111110100011110010010001101010000011001001001000111111100001111110000001111010001000111101111000100001110001010110010010001101000100010010011010111100000101011011100101001100101110110001110100010111011110010001110011010000000111001100101101100110101110010000110000110000110010011001000101101110101000001001110110011000000011110110110001001011100101000100001001011101011111011111000010100111001111000001010100100110111101001110101100101100011100111011011010000011010110101001011000100101111011100110011111101001001000101101001000111011001001101110110101011111101110000110111000011000101010010101100100111011011001011100100010001011000110011101000010110011110011111001110100010011100010101101010011100010010001010011011011110101000101001010000111101000110010100111111110110110001011001010000100011011111001011010001100101101111110001110010110011101000111010101100101001001000001001111000111011100010010101101100011101110010010001100010110101100000110000000110000100111010100100000000011000100010010111101011011110101101100100101000000001111101101001011011010011001011001111000011111100010001011001000101010110001111100001010110001010001011000011111110011111101100100101011011100101111100000110000001000010101111010100000001001000011110100000111110010110010011000111100000001101100011000110010011011000110100001000100110110101000011000000000110011000110000110111100110101011010001000000111110101110010011011110010000110001101001011100110000000100101100010101010001010111101110100111011011110010000010110101101011100001111100111000011000010110010110110000000010110100100010001111100000111111001011100101110101001001110011011110101101001011011100010001000110001111001110110000101010010001100010100101010010001010000001101001001011110010111010110011111011111111110111000110111111110001110100011001100011010011110100011101110111011011010011101011000111111011110101000100000100000010110110100110000111111101110110010100010001111000110110101101000111100111101101001000010000010011111010001000000100100110110000111100001110110110001101100010110000000000011111101111001001101111100010001011111000000111101110111110100100001101101000111000111011111100110001001001010101101100011100001000110100010111000111110011111000011100111000110000101100010110001111001001010010000000000000000110101000100101110110011001000001111011101011011011111011001000011001011101100011001110001011011101001111101001010101010111010011111010100110010000000001101100100111100101011111010000111010100111000110111010100000000001011100010010001101100001011011101010101100110100000101010100010100110001010001000100100010011011010010110000001010111110111001100111011111011111100010111010110100111000000011110001011010011000010111100110101100111110111100100011111011011100111011101011100110011010111110101111000111001011001110101110100011010001010110110001110001010110111111110011011001011011001010001101111011010100011011110000101011011110011101110110101010000000101010100000001010111010100101100100010011001010101001001111001101110010100001111100011001101111011110001010001111100101101111101000101010011100110111101001011110001100101010011110001011110001001110101111110001100111010111001100001111000000001010100011110000101110011000101001000001001111000111011111101100000000101000000011011100000000010111111111100100101010000000100111010000010011011111001011100111000000100101001011111110000010100010000011100110001001001100100111111001110011010010100001110000100100010111000000011111000000100110000010011011110010111110010011111100011100010001110010011010000101101010011100001101110001001011000101111111111001011111001000000011110011101011011100010001011111010101001000110010111011101011101010101010111100111100011000110111101101010110101111000100110001101011111010010100100110100100010101111000101101111100001011100000110000010000001000001111100101111111101010110011011011101110111101001010001000110110000100101010111110110001110001000001010001001110000110000001001110111001001100011110110001101010000110110111110001101100010011010010001110111100100000000000011010001101010000010001001010111001101000101001011111010101110110100111111000011101000110010001100011101111110100011010111110001101100111111000100000011001010100101110111010001000100100000001100010011010001001000011111100010101111010110011111000010010010010001100101000110010100101011010100011010011110100110011110010100101010110101011000101010100110101000111111010001011000000011110011000100111110011011100010001000101001110101101010000101111011111001100110000111101110110011000101111001000101010001100100110101101000110000011000110011000110000011100010001101001000110101010011100011011010111011100111111100001000101111100011000111111010010110011000111100000001011110101001011110000010001100011110110000110100101110010000010101010100110010001100110010011111001111111010010101100101011100110000101000000101011000011100111110010110001010100111110001110000000101110111010001110100110101001000111100100100010110000010111111110010101100000111010011011101001101000110111010110110111000010101101111111110111010001010001010100110110101000010111000000111111001011011110011001110001000011111111010110110010111010111110110000000110101111110111000100001011011001111001000011110000001000100100011010000001100000010100001011000000000010110100001100100010100001000001011100111110011001111111111101100111010110111111011000110000000010101110111101000100010000001000000010110000011001100100101011110011001101100101011000101111011011011100000111010001011100011010110010001010111001100010100001101110110000110011111110000000011110100110001101110011101000100011110111101100011101101000110110011000111101101101011000011000001101001111010100100100101011110011010101111111110000011010010010101111111000101100000000101101101111110010000100010010100000011101110111100010111110000010111010101111001001101011000001010001111010011100111011011001011011001110111111000011011110111000001110111101011110111011010100001110110100001011001011101111011101000010001101110010101101000000101000101001010011001011111100011100110010001001010101110110110001000100100111110110101110001110100011000011010010000010110110100001111001000110110101011000000101010101001110101101001111111010101001101000011001000101010011010110101011100100100110001111010111100101010010000100100110010001001110001100101100100111001010011000010001011111101000000001010011101101001000111101001000110011101000000100111000000100000100100110100100010001100100001001011100011011110011100000000111110001101010101010110100111011101010100101010111110010110011001110110110110100001110011001101110100010001010011110010100110001101101000011011010110010101010101001000001000100100110010011100010110100001111101111100110100101011001101010101000110111101011010101001001000100111111111011010100001100000010111001010100001111010111110101110101101101110000001000110101101101100000011000000010010101011011100110110110001101010000110111010001010001111000111010100111010000000000101100110001110100010000010011011001100110111110011011001100110010111000100110100001001101101100000101110100010010111001000110001011001111010010110010101110011110000000101111010010000110011101000100110101001100111100111111000101110000101010101001100110001110000000100000011100110100100100000001011101111101010100101001000101010101010001110100011010000111110110000001110011100000000101011100111011011001111001111101100110111001101001001100011111101111001111011101001000001100010001100011100001000001110101100111001111001111100010011101010111011100011011011101000011000011011010010110011111100000101101110000010000000011111011101111000011110110101100101000000110100010101101001100111011111111011110101001001101010101011110111001111010111110010000011100010000111100100011110101000100000000110010100101001111010000111001111100110011010110111000011111110001101100101100110111100000011001111011001001000000011100100001100000010110000101010001111001101111011000110101000010010110000101100001110101001111110101001001