SAT
0011100100101111000011110111000101000010000011101100011000011001001001011011101101100111110010010110011010111001111100001001000000101001110010101000100010111001011110001001011001010011010110011001011110001001100100001100101101000100100100000110100010001111010110100111101110100101000111011000010100010101111011111100101010011000001010111010101001010011010111101101100001101001010011110100000010100101011101100101110101111110000010110000010010001011110001001010101110111110110000111001100111101110101011100100110010010001111000110001111001001000001101011001011111010010110001101010001101000110001000111101010011011101110101111011001001100101101001010001100101010110000001011111010111011001100101100010111000000011110010011001001000011111110101111100001100000100001110110100011111011100100111111011100110110011010100100011111010100111000011110101101100011111111101001100011100010100111100001110000011010001000011010100100110100101000101001001100110010001011001110000101001100111110100101010001001011101111111000100111110110011100010100111001011100010001001111010011000100101010111110000110011100000000111010000011001011000010011111100011110111011001101100011100011000111101100000111011010100000100111011101000001100111101001011001110000100110101110110011010111000000011110100010001110011000110110001110100110110001000111100101101110101010011010000011110100100011101000001111111010111100110101011110010101000100011111101101000001000010000010010111101001100100000011011111100111000000110101101100111001111010111111111001100010101011101000101011110010000000010001110000010010101110110010010010011011000101110001010011010000001000100010101101001000110010000100110010010001111010111110110100110111100001110001010101010000110101001101011011100010111001010000000110111011111110100000111111111011000000111000010011000111001000110110101001000111011010110011000001011101001010110011010110000000110000110010111111000011011110101101110010001110010001000111111001000000000110001001000001010101101101111000000111111111011111001111010111111000111001010101001111010101010110000110011101001010111101001000001010101011011110001110110010000100110001100010010010001001101101111101011100100101101111001111011101010100011001100011111000001100001001100000110111000100001111111001111111000001001000100010111011010101100110110010000100111000001010000001010010100111100000100010010110011111101100010100111010001010111000111011010000101001001100111000011100000110100100000111100000000000000011111101001010100000011011011101010000100111101001010111001011110110111100010111000111001100010001110000000011111101111001110110001101101110101000111011100110100011101000011011010111010101101100001001010111010000001011101100100000111100111111110011010100110101010110001111110110011011000100000011011010101111110001100010010011101000110001100000101100100111101011000001101101011111100101111010010011101011010101100110001110011010110011111011101111111000001111100111101000100111010110001110010001010110110100001010010110111001101110001011011111010011001101101010010001100101000001010100010110101101010000100110111100101011001111110111101110101111111010110001110001111001101011000101000000000000010110000011111100000010010010111111111010101110110111100000011000100001110001011100000101100001111101010011000111111001111100011101000110010001110011100100101001000011010000111001111101010100100100011011011111000011110110100011010111110001111111000101111010111110001100011000110100110011101010100010011111100000010011000111101100110001100000001010011000110100111110100100110011010110111101010111100110101001100000011011110001101110010110001101110011100101101010111110011101010011000000110010101000100010110011110100011000011011001000101100010010011111000100000111101011010001000000100010010001111010110000100000000001000000001100000000010011111111111101001110010010011001110000111011011101100100101111000011000011110101001010010001100001111110101110010001000000000001110001111011010010011001101101010011100111011000100000110110011100011000001111101100111100110000101000000111111001001011010010000001001001010110100000101010011111010100001010100100101000101011110110110000110101001101111011110001001101110110010101010010111111111000111110111011110110101000011110101110100101010110100010011100100111100110000111101100001110010001011011011000110110110101100110010111010101110101100111101110011000110100001110010101011110011111000011001110111100001100101010010010110011100001001001011001000100101100011001101101011011111101111100101011100110001100010100100010001010100110000110001011001010111010010000000001001101101010100001000001011011001111000011001001001001110110010011110111001101001111100110101100110111011110010111000111111001111100001010010001011000111110001110100100101100001101000111110111101111111100110001101100011000011110101010001101010100111010111010001000011101001011000000011110000101100010010101001101101000100110000011011001101010000110100011000101010110010010010001101101101111000010001000000100010010101010110010010110100110010011101000001100101110100101101100011111101011001110001011001101101000010101101000100001100010110010110110100000110111101101100101011010000000110111000010100111010111111100011000110111001011110010101101100001110111111010111010001111101111000011100010001000000100010101011111011110101001000000001101000010101010100000101101111001000001011100010010100001110000000001110100101010001101010010010011110000011010000110011110110011110110110011001010001110001001110001000000010111001110011111011011111000001010110110111001010111010010010110101010011110011000111010011100111010111011010101010111000110001101110101001001100110010011011001111101101011101101100111010110100000111010000110011100011101111111000111111101010100101010111101001110001000101111101101100010111100111111101010100010100111001111110001111010001000101110110000101001100101111011101001010011001101001010101010001101000101011100010011011110110010110101000010001001100011101110001000100100000100010001011100101011001100100111100100001110000111010100110001111100000100100011111101101101111001000100110111110000100010001110010000010011100101011000101010011100101110100100000100010101100010011000010110110111110100011110101000001110110001100110001110100110111000101100010001001110111000011110000110111111110001100000001101101111110000011000110010010000100010111011011111110111110010000110101000100001110111001000111100110011101111001100000111000110111110000011100010010111011001010101110111101110110101100000101111100101010001010001111100110010000010011011100101000010010011011100101101011101011011110111001111101011100010011110001011011100010100010001000011000001101011011001000000110110110110001100100010111101010011001010111011000001110000100011111000111010110100011110100101001101110111110000011000011011011110001011110110011111011100001010011110001010110011011101101000101000000011001000001111001110100000001000110010011100001010000000100001000001011101010111110110101101001000011101000011000010000101101010011101100111110111110010100001010100111110001010011010000001010000110001011110111010110101000000110110011101110100111001111110101111010101000110101000011100101110010010110001010000000110110000101100100000100100000011010110100011111111101100100100101110001010101010101101111111101011111000010001010100011110000010101001101101110101110001110111101101011110001111000001010011101011101010000111111111011010100000010101101100011101010110110011010000111101100110001011010111011011101011110101101101010001100001011111000010010100001001111100001011111101100110100100001011001100010000110101111100110011011101010010001011101111100101000001100001001000110001011001010010100100010110101110011110111100110111110111101000001001010100110101010001110110100100001011100110001001000010000010110001011000100001001000000010001001100010100101001110110001001110100111001010100111111111111000011110010011011001010101010100000111100101000000101110011011010001111101101100010100101100011011010100111011011101100010111001000010100011110000010001011011111100111110001010111111110010101011010101110111100001010010000000101001110100010000101000010010001101100111100000000001000101111000110011101100010010110100001000001000111101100111101101101100100000101011100011101011000110101111101000010011111010011010001100110000101101110011111010000110100110100110001010100001001101111110100110110011111111000010101000111110100011100110010011001011001110010011101010000001110011011110111110101000100101010001100011100011100010001111011001111100110111100101111000001101011101110111000010101011011001100011100111111100111100001001101000100111100010110000000101001101111101011001110110110101001111100010110110001010001001101000110111010001000101100000100000001011110110010000010010000001101000110101111111111110011001110010110100001111110000001111100110101111011111000100101000010001011110110001111101011111110100100001110110011101000110101101010010101110111100000100110000001001011101100111111101110001001000101010100011100001010010100100110011010011100000101111001011100111110101011010000001100001110111000110010001000000010010100111001110111111110100100101110111011100100111001011101111010001011101001011111001111001100010111000000101000000101001100101010100101111001100110110010000100100010111011001000010011101110110111100100000000001011101110111100000111111110000101001111000110010001111110110101111000100101000001000111100011100010001001101101001110010110000001000100010100111000101110110010100110101110001111101111110010000101111111111000110000101000000010110101010110001000000100100000011001100101101101111101101101101011100100010100111000010110100011100100101100011110111110101000110110101101100011011000000100111010001111001010011110100110111010111010111000001011001010001100010111100000010011111010010001000010110011000101010011010110001000001101001011100101000010010100000110011110000010111010000010010110111011111101010110110111101010001110000010111101100110110011011100010010001110010101110111010111010011011000011000111001100011110101000101100100101001111010100