SAT
0001101010010110110110100001001001101000101100111100011001101010100110101111100100100000110101110101101010100110010010010000011000110001011011110111010010011111101101000011100111010110111111001100000101011101010100111000111101111100101010101011000101000110001111100111101000100101001010110001000011101100110000110011000011111110000010011011100100100101010111110111110001011001011111011110001001010000001100111000000111101001101011011001010100001010100001001100001100001101101000110111011001001010000110100010101111000101001001001000110111001101001101001100000110101011111111010100000101101000010010111000000010011001101101101000011101001000001100000010100001100000000100000101101100100001111101001011110110000101111011101001001100110111111111001100111001101011001010101100001101011111001100001110101111101011010101001111100011111001111000000010011100110100011111000100000011010100010000001100000100101000101001001001010100110100010110111011111001000001010010111101010111000110011111010011000100001010111000001110011110011111111100111011001111100010111000100010001111011110000111101001111110111000101010101110100000111100111001011000010101111110111000011101001101010000000111110110100010000111010000000010011000110110110101001001111110111001110100111100110011100001011001110000001111100000110110000100011011011111101100111001011001010110101010101101111011100001110001011101011101011100110101010010010110011000101001111101010010111110111011010010101001100010001110000101110110100010101000000101001011100011000001101000000010110010110010110111001001001000110111110011000000100001101010101111010111011111110110011010000111000011110100011010111011011011111000111000011110100101001100001101111111110000100111011100110100001111100101111000111001000011011010100110010110101000010011100001011001110101101101100110000010011101010001111001010001001010010100111111010111110101001110011010001110001011100010111010111010010100000101000101111010001010011111111101011001010100100001011100011101000010110000010011010100101011111010011011010111010000010111011110011100101111110111010000001100101111100101011000100010011101111000001011110010111110111001110011111010111110101010011111010110001101110001000001010000111000001111001001001000111011000100100001001111010010001100001111110010110101010011110000101010111111100011100001110100010110101100010010110110000000001110100010010001010011110100100011001001100110010101010000011010111111000011100110011001100011000110110100010001100000011010000010001111110100010011110000000001010001111001000101011011011001000000101001101110111001100010111011001011100101111011101000011110101000010000111000110110100111101011011111101111100010010001010101100011111000111010001001101101011011100110101001101001000110001100000011000010101001101111111011011100001000110010111100000101010000001111101100011100100110001101100001011111110101111111111101001001101010111001110001111001111110010110111011100000101000001110111011000111001001001100100001110011110101001100100000011001110010111100010001011001001111000101100011000100000100100001100110000110010000000000010110001010111100101100110110101010010101011101100010011101101100101001100011001000011000110000000100110101001100001101110111111011000110000010011111001000110011101010010110111000001111100110000101010000011000000111000101101100001001010010010011010000110000000111010111110001101101111011000111000010101101101011110010010001101100111111001001110001000001111100101010010110010010110010101011011010010111110101110111100011010110001010100000111011101110110101101100101101110111010101010010101111111001101010111100001000101010101110000101000110101101111010111000000001101110010101010000011111101001101011010100011011010110000000110110001010011110101110101101011000000001000100110001101011111001100100101111100110100000011101010000111010101100110010011101110111100001110000001000000110101111011110001000000100000001010001110000000011011010010010111110101111111010110011010111110100110011101000110101001010111100111010101001111101001101010110101100100000010100011101001000010101101101001011010111111001001001111010010110011110000100100000100101100111100111111101111010010000111100000111000001110110101101100010100111110110011101111001111101111000111111110100011111000010111010001100010000000111000101110111110000111110100110100110001110001011000010000001011000001110101000010011011011000100011100100001000011110101001110111001101100010011111101101010010110100001000111000100011110001011001111010001111001010100000101010001100101010010101010010011110110010100011011001000000001100110101111110111010110111101011111101000111000101111010100010001111011001101100011110001010010101100000111101100000100001010000110100111001110000010010011010101111001111101101100111110111101000000111000110001010111100011111111000111100011110111001010100001100011111110000111011010011011011010101010100111010110001100001100110100110001100010010100101111111001010010110111111101010101000100000001010001000110010000010000110110001100000111101101000011100111011100110100110010111010100101000011010000011010111011001011111111010000000011000001101000010101011011101100000100010000001010001100010100011001101101011110110001100101000100010111010101001001110010110100100101000000000101000001010000111101011011011100010010001001110000101001010101100101101010101100010111010110000000111100110010011100010001001001011101110101100011110110010110101010111101100101011000000001011011000110100101000111011001100101001001011101000001100100011101000000111001001001101111011101010010001101001000110111010101100111111111010010010001100100010001111000011011010010100110101001101001000001110111111101001101111000100001110001110111011101010010011011101101101110011101001100101010001101011100111001010100111100100010011110001111110100110000000101100101100011100010011010000010101011101100001000001011011000010110010101011111101100000100101101100000101011101011111101111011100100010111001111000111000001100110110111010011111110010110010000101110000001110001011000101110100111111101010101000110000111111100110010011001110101101000111111101100101110001001110010111000010111101010001101100100111001100111000001011100010100110000110101111111010011010001010010001000111000001000100000110111000100101001001010000001110111011000000100011010010001110101100011011011110011011001110010100001111010101001100010100101101001110010000001101100001011111011100011010010100101101000011110101100101111101011111011010011000110101110010110101000000001011000001110111000010100101101000101011100101101101011001101100100001110100010010111011111000010100011011011010001100111001001011000101111010001111101111011101001101010110010101010101010000111001100001000010111110011111100000101101001000011010010101000100100010100000010011010001001011011111111011000001100010111010111101000101001111000101110011110001101111111000011001111100011011111000110100101001011101100101000001000010100010011101011000110010110101010011110000001100101100011001000010101100100001011111110110011110100010001111010111000010001111101101011100000011011011011010100000101111111110011000100001011001011000101111100100111111011011110111111100010000101010101000110001100010010110100100100100101100110111010001000110100111111001010011110111111100110000111001101110001000111000011110101001110001001111100110110001010010110110001010110001011011001000011011111010011011010100000100001110000101000101101111101111111110110110110101111011101000110001100111000001110111000100111110000101000100001010010000011110111101111101101000001001001100111010101011001101000100101011000111101010110000000000010111010101001000001100100000011100011000100100110101111110001111010100111101000010100111111010110000001110110101011000110111110110110110101111011111111100011010100111101110010101100010000001011011101011100111001100110111010001110001111001101010011100011011001001100100010110111001000011111010100110111010001110010111010011010001001100100011011100011111010010010100110111101011010001110111110000011111001100101100111100100100000111001111101100111000010010110100010101000110101101101110101111110101101110110000110001011100101111001111100100101001110100110110010010100101111011110101110001011010000110000101010100010010011100100111011001110000000001101011101101100001010010100100011100011001111101000000010000110000011111001111001101111111100101110001011100010101010101110110001010111001100110011011001010000001000100010111111100000101101000100010000111000110100110111011000001111100001000110110001100010011000110010100110001001111100100000000001111100101001111101101100010010101101110000010100000111110111110000011001001011111101000010011011010110100001110111011000001101000110100000100011110010000010100110100101001000111110010010100101111010110010001110111001011001101000011010010101111111010110100010011100101101011100000001110111010100011101100001001011000011110110011101010010100101001101010111110101000000000110011001111100111101011111101110110010001101111001110000110101110100000110101000111011000010111101101000010010001100001000011110100000111110011101000100100111101110001110011111011001111100011110110001001110001101010101000101110101001101101001101001100110101111010010100010101001011010000111100101110111001110011110110100010000011010110001000011000111110111110011000010010011001010101011100100100101001010010111011110000110100101101000001101000011001110101011101001110000100101011100010110000111000000000011000110011001001110000001011010110110111110000110010010111011110101100110110101100111000111000111011100111101000011111110010100011101110000100100011000000110111001110110110000011111010001011011101010011110111100001000011111001101010101110000011011010101010000101101011001000100101100101101110100001101110100111111101010101110100111000000110001111010010000000011110100011010101001010010010011011001000101111111010001000110011111010000100011011011011000011100111110110111110001100001110000111001000011101101011101010011000011111100011111011101100101010111000110110011010111001010101110010101110101001110010111101000001011111001111000