SAT
0001110010111111101011110111001001001000001101001100110111111000100000100011011111000001010110011001111111010110010001000110111001110100000111010100000011111011000011011000010011011101110001101011011101001110011110000010000111100000100010011000011000001001101111001011110101001101111011000101111010110100001110111010101111110010101101011001011101011010101111100010001000001111111010111110000010011111011100011001000111100101000100100001110011111000100101000110001111000111010111011001111110101011000011110100000001100110100111011010001000000001011000001010101100100100101111101001101000000011011100111011001111100100111010011001001000100010011001010111100001010110111011011111110110110101000110101010011110000101010110110001000110000111000100011100000000111100001001011100111000100000101010011001100010111000010001111111111001001011000010010001111100111000100001111110011010011000110110000010000101010110111100111010011110111010100000011111101110110101001000000110000011011110111100101001010001101101000010011011001100101101110010010010101100010000101000100110010110110100101110000100010000001111100110001100110110010001111111001000101011010111111101011100000000010010101000011111010011011011101111110000100001110010111001011101000110110111010110100100011000111111101011100010011001110101101011010111100101100011000111111110011011000000010100000010001000100110010000000110110000000110001000001001011001000101111000001110111110001001110000111010010110001111101010011010001101100011010010111110111011011011111011011010101010100110111110001100100011000000100111100011111110000001010110100111010010010001001101010001110011110000001011111000111001010011101001010111000100100000001000101001101111001000110110111010110010001001001011110110011111110101100110001100011000001110001110010100101010101000010001110000011101110100111010001000011000011101101101010001010010000000011000010100011000101111011011100001000111100100101100000111001100010100110110000110011000110101111111011010111100010110101010000101000000011100111100110101101111010110111100110000110110100100110001101011001101001110100010001010100011001110100011000110011110110101001011000011000011010100110010010000101100010000111100100001000100111011111110111011011010100000110011100000100111010001011101110010111001010000100110110000100010011011000011100101010110100110101000011111000100101110111100000101000101100110001110111111111000110101110110110000011110101000011101001010101101111100110010000111101000010111110001110100011000010101101000111101101100010001101001101001010010010010110000011111001111010101101000101101100011100001001001110010100001111100111101100010001011100100001011011110000001011011101100110100001011000000111110001100111000001011001111100011101011110000101010101010000010100101010101111111111010010010010000101111010100011010111111110100010100101101111010011001001001010111000100101001100101010100110110010000100011101110011111011111110001111110010010011110110001101100011001010111110011111111000000011000011001011011000111101110011010001111100010110111010101011110110001101001010001101001101110001000100100000100001111101101001101000000000001001100111011011000001001110000101001010101000011100000110101010111000011000001101110001101101100100001111111000011011110110010011110001000110110111001000101011100101001110111100111111011011001110010000001001000110011100100011010011010010111001011101010001001100010011101000011010111111101010011110110011010011010100010001010100111100110010101000010110011100111110100000010100101011110010000111111010010100111000010101001011110111101111101011001111111010110101111000111000010000101001101001110101111001110111011110100011100110000100111110110001000101010111110110100101110100110000110101011001000000000010011111001010000000111101011001000110100000110110000100100001100100111000011000100110100110100001100101100010100100111010000101001110011110011100100001111010110111000110111000100100010001010010111001111101111110110100100100101101001101111100101001111101111000010000100111001010100001010101000000100111010111101011010010101101010010010010101010111010011100101110111010001110111111110010001111010011110011110001111100000000111110000100010010001000001101111000011001001111010000000101111011111111100011101101100000111010001011110001111101000000001101111101000000111010011001001000110011110000011001100010101101100100101100101110001100100010101001000010011110100001101111001010010010000111011000110011111100100101011011110010011101011101011010111100011011000010100000100100010000001111101101000000100000011110110010101010010110110010010001011100110101100010001010110100000100110110110011010001011001001001011010001010100000101001111011011100110110010011011110011001000110111011001111010100001110000000101100001011111111111010011000110000111010000111001010101011001001001100000011010110101110010011101011001010011101101010001101001001101010011000000000000011101111010111100011111111100000011101100100001100010011111011011010101011101001101110001000100011001111000101110001111010001110001010100111000111001000111100100100110001110111010000011000110100100101011100000001011111100011111111100011011010111010010010001100110111110011011100001011011110011011111101110101010110010011010011011001100011000011001100110001100011001111111110111011101111101110111000101011100010000111100111100001101001111000011110000010110101011000101001101011001011000111000001001000110100001111000110000101011010010100100011001111101100110111111101100010110100011011101111110011001000000000001110011001110010010111001000011001110010111011010010101011110011100110111000010011110000110100110100101001100110001001110110101011011010100001011111111100101000001001010000100101110100100010110100100110010000101100000111101001110101110000000011001110011101111101000001111111001101000100111010010010101011110011110110000111110111001101000101001000100111110101101000100011101100101011111000101111000011110000110110111111000101000011010010111100011010100100100110111101110011111111000000011110100011100010101001010101100101001101001110101110110100001011011101110011100001110100000100011110001100001011100110010101001001000110011100010011011100001001101101001101100101010001111010110100001111001110001110001100111110010010011001011101101111001100010000100010101111011100101001001100110110000010010100000100010101010010100000001011001110011001001010011111001001111100100010011111000111001101110010100011111011111100101101111110000101110001110010000110101101101010000110010001000101110011100101110001000010011101111101100111010111000001100000110001001111000100000011111111011111011010110000010110111111010110110011010011110001100111001100110011101110111010011000011101101111111000011001001111001111111011111010011010000110110100111010101110000100000011100001010110111000100101100111010010111001001010101100011000001010010110001001111000111001000001111110010101010001101101000110001111010111010011010100001010000000100011010100001101010111000111001000110000011100001000001111011110100100001001000110001110000011010011001001100111000110100100101100110010100000100010111010000101010011110010011010011010011111011101110100110011000101011100010101000101000110010011010001111011011110001110011011101001011100011001011100001010101010011101001101110001101000011001000100100011100011100100110110011011101001101000111001110101101000101001111110001111000011000110100010000110101010110000101100010101100001011100110010010111110001111111011001011110111010100100011011111111001011011010001001011111111001011111110011010110001100101011110101010011000010010110101000011010010011111000000101111101101100001000000000011000000010010011011110000001110010111100000001100100100000101101011101011010110110001000100100000111011011000101101000011000110000100101000010110100000000111000010001010011110100010011111111000101000010001000001110111001111001010010111001111000110110001100001111101011100010000011011000111011000100010010100101011000111100000100000111110100110111010001111111010101110111000010101110000011110011001000110100010011011100001000001101101011011010110000110000100011101001001100000011000100000101010100010101101101011011011101011000001111000100010110100101111011110001000001110001111000011000001010010011000110100000010110110111110100000010100111010000001010010110100000011010110110111111011011100011110001110110011100000011100111110100111101101111010011000000110110101101110110110110010001110111101001001010111101101010100101010000010111001001110011000111001010111110111001110111101111110011010100011011100101101110000110010111111011010010010111011001010101010010111100100011100101110110111110100000100101001111001011001000011000010111000110101001011011010101010101001100110011111000010000110101100010101101111001010000111010000101111011001101001111111100110100010101101100100011101111111100001001110110110001000010001011010110110101111001110001001010010001110001001101101001110011100100010100001011101010111110101101100110100000010111100001110000110110100010110101110110111100100011000101000001010100011000010001111110000110001101100101000100010101011010001101000111001000001100001000001010000011111000010011001111001101101111001010111011101011111100011001111001000000010101011001010111110110101001001101100011101010101111001110111011100001101000100101000001010111011100000110011001011110011110001010110110011100000010001111111001011011100010100000110101011101001011111100111011000011010101111010100010011111110101000101011111001001010100111011011101000001100000111110101110010101001000010011100000110001000101111110101000111101110011100000101111011110001110001000101111101010101101101010010101000110001110010101001001000101010010101001100111001001100101001111001100011111110010101101101100101101001000010011100100001000010100101011010001010000000100111001110011000000001100001101000101111110001101100000100000001100011101010101111001010000100000001100110110110000010010000111011111011011001011100111010011110101101111000100001000000001100111100001101100010110000001001110001011011000001101001011111001110001000011000010111100111