SAT
0100001101111111010011101111001001101011110000111111001110011111101001010010001010100011100010100011110110000100010011001001011100011011011101100111010010100010111010101010100111110110100111100101101100100111101110111100000010000111001000011100101010000001101101001101000111111110100101011111011010110000111000010101000101101000001101110011010101001001010110100010101100000110011101100111101000010000011000100010100111011011010110101001111111101111000101000010010010100111000111011001100001010010000010010010111100010011010011001101100101101111110100001001111101010000000111001011001001100010111110010001001110010111001100101110110100001110111001101010010101111101001110101001111111110100001111011100110001110100011000010101011101101101000111110011010000001110000110000111000001110110010101111101011000000000001011110111100000101001001010110011101000110110110111001000011001111011000110111000100001100000100101010101110010001111000000100111010000011011101010110111001010101100101111001100011010111010010001001110010100100011100011010111011110011011100111001000100011111010011110001010110110110110101000001111011101110100101110100100100101000110000110100010010001011001101100000011001101100100001000110110111010111101010010011111111000011110011100001000100011110010010111110100100010100100011100101100111101010001111101100010011001010011110110001101010101100001110011100100000100100110010111010011001011010110100110111000101110010110101110100101111011100011110111101110101011110010000010101110010001011111010111110111101110101001101100001011100100010100000100110000001000101111100011011011000001101000010111001101000101001011100100100101001010110101101010000010001011101101110101011000001100101010100110001000101101111001110001011101101111100010011111101101010101011000111100001111101010111111010011010100000100010010001110000001100001001111100101101111111111111111011001111011101110011100011110110010110011101011010100000101010010011010110110001010010010111011010101110100100101111110011110011001011001000010001111110011010100101001111110010100011010110110100000011111010001010010011000000000100001100000111111110100100011001001101100011100001011100101011011111101100001001110100111000101010001111011110011001010110100100100000001111110010111010000110111111111110001010001100111100111001100011010111111100111001110000110001100101010000001101011001010110011101010111111101001101000110101011110001100010110010111000000101001101011110100011000101001011001111010001000001101000100000100111000101001011101101111110110100000110000101000110100011010100111100100111111100110101100111000110100001110000010010100010110100100100011011011010000101111101111001000001110011000010000110010010111011110010100101001010001000110011110010000000101000000010000001010011010010100000010111111101101100110111100100111100110010000110101111101110101101110111111101001111001011011101010010001100000011100001100110010111111011011011001011101010001010100101010010110011110011011100110101010111101100111110010000011110011000110010101010111111100011011111101110100001010100010101000101111010000011110111110100011001110111110011100101011111110001110000101101011101011100111101011111111001110101000100111101011100111010011001101101110101010100011100101001100110011100001001001111111111011001000010010110010100001110111001100101101010000110100011001011101100110010000011101101101000101011000100110111001001111010100001110100111101001101010001011010101111010100010001110010111110100000101111100101010111110101111011001111001111000010101111010111111000100011111010001110011010101001000001101100101010110011101001001000110000100001010001111011011111110111101101011011110011111010101001111010111000111101110001010010101000000100001111001101010010000001011001001001101010101000010010111000000100001000000101100101100100101101001100100010100110010001111001100110111110101110111011100001001011000111001110101100011101001100000001101010001111001111011001011111011010001110110001110011110001010110010111101001110011101101000101101110000100101100110000101011101010000011001101110110000100000100110111000110011000000111111101110110110111110001001011100001010011001010001001100101000000101010110001001001101110110110111010101111111010010101110101010101110001010100101111011001001011000010110100100011000101001111011010101110110111011100010101010011001011000011101111110101110111110011110111111000111000111110001001000010101101100100110001001111011111101010110100111111011100111000111110101111100001100001110010111000010001111011100000111100111011010010111010000001010100111110010111100111110010110100010101011000111000101100011001000001000100111010010100101001110010110100101001010000001101100100111100110010101100010100010100111001010000110010011000101110001110111101111110001101111111111000010010101000000111010001110011100101110000000101000000011001111001110110111101101110011111010110001100110010101110111010011010111001100101101011000101001110001100010000000101011100000101101110111110110010111100110100100011000010001000000010001010100111111110110111101100000101110111000110111001111011011001101110000111110010100001100000010110110101010101111101011001101110101110111101101011000100110011001100110100010100000110100001101101110101010000010000110111011101111111010111100000011001100100011100111101011011011001110100111001110010110001001101010001010100110111010010111001111011101111100101000100111000011110000110010000010000010000001111111011010000101101011011011100011010110100110100001100001101101100110100101111010110011111101010011000000111110111111000110110101001011001110001100001000110100000111110011010000010110001011010011000001100101110001000001101110010110000101010010101101110011010001011001101100010110000001100101000000100010111100010010110100010011001010000010011111100000001110011100100101011100011011101010110000010011110000111011101010101101100101010001010011100001011101011011010000101100110111010101000111011011111000111101000111011000001111000100110110011000100110111100000010010001100001001010101011011011000000110010100001110011011110000001000000110110100111011100010011101001010011000011010110111011111011111110010001100111000100011110101010001001101110111111111010001100100101011000010111100011011111001011100001100101010011010111110011011011100010111100001110001011010111110111101001001110001100001000011000111011111001101001000110111111100011100110001101001010001110011010110101001111011100001100001111100100100011010100001101101110001011001010111101000110010101001100001100111001100111110110010100000110101000110110101100001001101110000100110011001111010100110001101101010011111011010000011000110000100101111000101001001001010010101111001111101001011111010011001110101010110011110001100101010101111011000101011011100110011000001101011000001101011001100011011001110010010000111011100011110010101011010111100111000001110110010111011100001010110101010110111100111000000101110010110101110010001001001001111110001000111100100100001001110010010010000110000011101000111100101000000001000101011111101101111110100000110101100010010100010101101000011111001000001111111111101001011100000100011100110011101100011101111101000100110111001011000111010100001111110101011111111100001010110000101111000111000100000111101001011101001110001111111010100000001111001111011100000101011000100010000111010101001001100000010100100111001011110010100010010100110101001111100110100101111101111101100001111000011001010110001101110110011111010110011100111101010001000101000010011000001111011001000000000011010011001110001101100110110111001000100010010010101110101010110010110111101100010111101000001100111011101001000011100000000111010111000110010101011001101101000111001010000010111001110100010001101011111100111001010001000000110101011101110010010010111111111001100010101000000011101000111011111110110011111100011111000110101000111100010000001100000111100010001011000000001101101010101100110111011101100000110010110001000011110100001001000100111111011010110000000111011101111010110101110110001010101010001100110100101111011100110001001011001001011001100010000110010011101001010111001101101110100101011000101010100010100100110110111011011111101100100010000001010110101010110000000101100100001110100010001011011101001011001111001000001100101010000101111000100110110010001000000001110110111000011100100001101101000010101001010100011001110100010111100000101101001101000010111101111110100100000111011000111000111101101111011010110000011011011101011000100111100110111011010110011011010001111010000011111100101001110110011010011010001111101000101110101100100011010101010010010100100110100111110110011011110100100111100001110001001010100110110001100100011111001100010000011111011001011100000000001101101010101100011101011011111001010111111100101001100001011101101110001011000100010100000110100011001001101110111101011001011011101001111110101000001101001000110010110001011111111011011111100000011011110111001010111101011110101001100111010111110100001111101101011000010001100110111000101011011111010011101010001111001110011101100100000100100001000111010110001111101111110010110111010001111001111100001001010011110001110110001111101101011010011011100111110001001110111010011100111110100110010001010110111111101010100111100001100010001110110010000010010010100001001101010011010111110101110110011111010011000011101011100110011100011011111110010111001100101011110010101011010011111001011100111110110111001000101000011101010110001010010111101011010001100001000101101010101010111011110110110100011110001100101001110101110100011101101010000000101111011001000111011011001000010101000101101111000001101001000010010010100110000000110110000101100011001111111111110101101110010011010101011100011001010101100011111101111001011011111111100101100010101000011110000101111100010011010010011100111101010000000001110110011100011111011011010010011000001001001110011111110100101101110110010101100101010000010101100111110110000010111101001001111100010001001101110100001111100000101111011101000110111010100100111000101000100111010111111100001100100000001010111001110110110001