SAT
1111000111111000101110110010010110010101010001011100111100100001000010101001101011001011011011110111101101011110100000101010001000110101010000010110100011010110101110001101101110101100101110100000000110100010000101111001011111100111100101110000101001110101011001011000101101111010111101100010111111101001110100111011101100101010101101010100110011101011101000100010110100010011100011100100110011001001101100011010000010010111010100110000001110110110011000111101110110101010011100101000001111111100000100111001010110110000011111111000011111010001100100100011010110111000101111001010110110011010001111101000100110101110110011011100011011001110100001010001100100101000111100111011110000111001001000001111000101000000110010100001001100000011111011000000110100000100100011100000110111100100101001011110001101110110000100111011100110110001010011010100101001101010001010111010100110100111001100100011000000000011111100001111100001111010010001110000110001101100011010011011100011000100010010010111111010011010110100011010110101011110011100110110111010101111000110011101011000011000011000100000001110111010001101100000101101101110100001001011110010000100010100010001101101000001100100001000001101010100010010001001001101111101001011100100000100000101110000010111001100100111011001111101100110110000010111010111110000100011001011111100101100011110100001100011000111101001000011010010101110010101010110110110111110110001010000001010000001011100111000101011011010011011000110111111100001110011010101001011000011101100011010101111101000111110001001001110100000010110011100111011011100111011010011010001010101000010001100000001010010111111011010001111000000101110100001000110010111011010100011100100000001001010011100110011101111110000100011010100101101011111100100101100011001101011101110000011101011010101011010110000000100010110011101010110101011011001001110100010011000011110011100100010000011110010101011000110101000011010101110100000100011010110011111101010000100100100001000101010100101101011001111100000010101111101001101001011101101101111000111011001111011101000010110010010111010101110000110110001000001001000001110110101000000100101111011011100111000100000010110001100001001010011011010011000000010001001100000101000001000010110110010110011001100110011010101100100101100000010001000110100010101111001011010010010011001110100011110011110111110001100111111010111110011000100000110100001100111011010100010010010000010100000101010000100101000011010110110101010110101101100101000011110101010001110010100110000100011111010000110111101100100011000111011111100101011111000001101010101010101101000001100100101000110001110010110110110101111001110110100101110110001011101011100011000010100001001100000101001001001011001001101010000110000000101000110111011011001010010111101010001110001101001100001011111110101010010000110000001110001011001100011011100101001110101100001101100001111011111001111001001111101100101000011111001101010001110110100000101001001100001001001010000100111101001111110000000101101110111001101110010010110100110000001001101110111101110101110001001101001110100100011011101001101010110101101111111010010111001101110101001010111010011100000100010110010110111010000010011101110101001010001101001000011101010110010111001111010110101011001010111110110000011001001000100011001110001011010011111011010111001110111000001000111011000011111011000110111011011010110111001000110101000100011110000011010110101100100110111010110111011000111011001010111010101111100001010101001111100101110111001000101001100101011001101110110010010010101111010111111000011000001000101010100111000101100000101011101001011000011001100000011100110010111001100001101101001101110111110010100001101011111001110100011110111011101001110001010011010100001100010010101101001110011010010100101100110110011100101110111111100000010001010101101110100111001001101101000001111100100111011001111001001001101011001000100000101001101111001110111001111100110000111000110101111001110100110110101000011101001101000110101110100110111000110000110101111010001010001000001001000110010011001101111110110010110000011010110111000111100101000001000111000011110111000000100000111100000010001000101111001001110001001010011011001100001101111111010001000101011001011100111011110110001011100101000000010111000100100011001011100100001010100110101110110010010000000101111110001100111110111110110101110011110000011100100111111101011100011011010100010000111011011101110011100110111010011110010100011011101110110111110000101100101111001101110101110100110100111000100110010000110110101111000111101111010010000011001101001110001110010011100101010100010001001110000001111100101101100100010100100100100010001111101110011001000010100110110010100110111000100111000011000111101111100100101110010001101010101100011001111001010010111010101011010101110011110011000101010111001011100011100101011101001010010100010011100110001110010100001011011110001010110001001101101000011100100011100100110000110011010100100101011010001001110111011001011100001000000100011010111001000110100100100011010011001011111001001111101000111110110011110011111000100001010101110010101010101010000010111111001100101000010111110111110001010100110010011100001011110010111101000001110001101010101101000111111101110110001110000101001110000100011100111000000100000110110100111000111001000010110100101010011011000100001010000110110010011110011101110011101110101000010101111001010000110001011011010001000100001101110110000101001111011000000111100110010000110001000100101010101100100100111001101011011111001111111101001101111010001110010000101111011111001100000100001000000111111010010110111001001110110111100001001010011111010001000011101100100000011100011011111011101110100101100010001100101000110100110111001011111011101001101111101010100001111000010110100001111011001111001111110101010010011111001110111010101101001000001001101000111010001111011101000100010100111110110001101001001010001011110001110100111001101000000000111001110000010110000110010010010110001101111100111100101111010011011100001111010101101010110111010001011100001110000111001000100100001110000110110101100000010011111011011100101111100100110111000011110001011110001011100110000001011011111000100011101010010010011100011101110111001100001010110000101001010011110010011110101111101101001100011010111001001110010101101010001101010111011000001101010111111100001001100001111001000011110101101001100000111001001001010000110100010011100010010110010000010000111111001110111001010010100100111011111100101100001010100111100101001111001111110001111100010100000101100011011011100000001010000110000010011110001001001101101010001100101010010110010010100000010100111010010011011010000101110100101000111110000101110000111100110000011101001001110110001111101101000100000100110111010101100010111111111111000011110111101100110001110001101001100011101011010010111010110111001000011110101101000101110001100010010101011110010000001000010011010011010101110111111101100101100111010101000111011101011001111110111100010001000110011110001110000100101111111100001110110100100100011110101011111010101111110000001100110010101010001110111110110010101111101110110010101010001100111110000111011010000111111101101010010100001110111110001110110011000010011110001100101000011011111110001110111001111001000011100000000111001101011111101100111111111100100010110011101111100001110011001001110101011001101001101000110010101011101101011110110010001001001101111001100100111110110110010100010110011101110001010001000100100101000110001001101101010000010010011000101001010100001001001110111011101011110100000110110001000100010111010000001000011010010000000111010111111011010011010000000011000011100111010110011111100001101010101010101011010100100100011010010110100101000001011001100000011000000011111011100000111111110001001110001100110111000100011101000111111010001111011001011001101111000001001111010001100000100111001001001111000100011001011001101011111000110000000100101000110011100001100100000000010110111010110010100100101101100111110010001000011101111001111100111110111011101011101011101001011000000101111010101000010110001100000000110111100010010101101101100100111100100101110100111001011001000111101111110100010100000100000010100010001001101111111101001000000101100010100011100000100000010001011010000011100110100110111001100001100101111100111100111111001111001011100110101011011000101110000001100011000011110010111000000001101100100101001100111011110110010100111001111000111001010000011101101001010100110110011011000111101011110000001011010110100111001100001100100111010011001011101110100110100111011000100111001111111100110000101001010001001101010110101001001101110111011111011010000101001101010100001110100001011000110000011001001011001001100111100110011111101001101010000011100101000111101011100111111111111101001001111110011000111100011100100000101111110000011101001101110010010001111101100001101011010010011111000110001101001100101100110001100001000110010111001110011011111111110111111010110001000100001010101110110011000000111001011111101001110111011011000101100011101111000011110011110010101100001110110111100101110111101010110011000011101101010000010100111110010010100010111011011011000001000111101110001100100011111111000011101010011111100101010000100101011010010101111111010010010000111010111111000111011010001000001100111000100111110010010010010101110011101101110110111111010001110000110000111010000101001101001001010110110111111101111000100000111100011000101010001101101101100010110010100010010101001111111111000010000101110101011100111011111010010001010010111010101000101100100000100111100111101000100010100100111100000111001000010001011000011110110001111111111111010110111110100100001110001110011000000011001010110001101000101011111110000101110100011111101010000111011000001011100010110011111110011010010101111111100001111100111110110100011010100100000110101010101110101000011001001000111000111000010010011111110000111011000110011010101010000010001100101100001101011100001000000110100000000011110010010110110100110000000100011010101110011001001101101010011101011