SAT
0010001100001001010101110110011111101111101001011101011110011010110110010111100110001110000001010100101001100111100101001100011101100101111100100100001011000110010110100010001101101101011101010000100101110100001010001111110110100111110100001110110011110011011001010011111100100001001000001111111111000000110111001111110110101010111101000110100011010101101011101000001101111000101010101100011111010111000100010110110000110001001100100000000010001010101111011101100000101100111110101010001010110010011100000100110010000011010110011111110110001001011010000111111000010011010011100001111100000100100011010010110011100111001011010111001101110011110001101000010001001001111111110011001010011100010010100111001010111110000111100101011100000110011101001001111111100001111010111100000111000000110011100100101110010111001001010010111000111110010100000010110011110011100110001001001000000001000100010110111011111111011000110011010100111010110101001000001010111010011111110111100000001110100011010101000100010000101010001000001000010001110000010111001101110010011100001111100000100011000010001010110100001101111101010011001100000010110010100010011101000100100110001010110100011011100110010111111111110110110111001101100100111101010111101101011101010011110011000011000010110111101100011101001000010111001111101001101001111100101010010110010010111110010110111010110110101000001010011101001100010011010111001100011100100011010100101110010101001001111111000110100010101100011011101100100100110100110100101010001001110001010010111110111111010100111011011100011101101100100111101100110010101100000110000011010111000011000110101110000000000011011010101100011111010000101110000111110011011100000110000111010000001110101011110111011001001101101000000100111110011000100011110110100010000111001000011010010001001001101101100000000111010010110101001011101101010010011001101011001001111110111100100100001110000001000011000011111100010101010011011110001101010101110011110001010010100000001100011010111011111101110000000110110001100001011011110110110001001011111001000101100100011100000101101011100001111011011101101000110011011010110000000100011001011000100101111101011011010110010111011000101101101100010100111001101110111111111000111101100110011000101011100000011110000101100001001100001001110100110100011111101001101010101001011101110010100010000101100100010000110101010011000011011000111110101000001001001010100000011011010010011101000001010111101100000010111001111111000110000101110011011000101000110001000000011101010001001000001001001010010110011101011010010100011011110111101111010011000010101000110011011001110110010000100111110100111100001110100010101010010100100111101111101000010111100111111000110101001100101110110110001111100101101001011110000011011110101001010110000111011011110101000011110000100101100010101001000101000010101011011010011001101010111100000110101001110000101101010110111001111101010011100010011000011100111001100111001011110010100000110010001100001011100011000110101010110000011000100101101110010111101001011111001001101111011100001100010001100100000010100001111000011011000111010111111110001111110001000101001010111000011100100110011111011111000111000110111000110100001110011110010000101011110011010010110011110001011100010011010001001000111110010111011000100000000000010000111001010010110101101000011100111011101000010100000101111111100010000001110101101001110010100100100011000000111111000101101001001100000111100011001010010110100110001110110110010100001001011000100011100100101000010110010100101100111101100100101010110000110010000100101111111011100110110111000001110011011101001011100010100101101101000111000010110110100101111000110110010111101111010000110111100111000010010110111011010101011011111001010011010111000011111100010110011110001010000110011101100100011101010101001110110010101001000010111111001010100101100000100100100110000101100010101001010101001110111101110110011111001101101111101000011101001011100010010100010000001010100100010010011011111111101100100010010111111000001101000110000101010001011101000000000101011000001011001111001111100011100101000001001101011101111011011111010010011001000000100101011100110111001111110110000011100001110110100011010001010010111001010111100000011111010111100000110100111000001110111100111101011011111011111010100010110010010111000110001100011011000111010001100001010110010110001110111011110011100101100101101011010111000001010100000001001000101011111001111110011101101110000100010011100111011101100011111101011000001000010111101110011011101011010110010011101010100001011110101111100100000011000000101101101001111010000100010110101001110100010001011110101110000100101111111101010101111000100100010101101011101110111001010000111100100000111111110011000010101010100110111000010010100111011101010001010100101100101110100110011011111011111101010101011001010110110011110000001001101001101000001101010011001111110110111011001111011100000100101110000100110001011101101000000101000011001010011101000000000011011000101110010100111011111001100010001100000010001111000100010111011110010011011011111101111101010001001001011001011000001100011011000101100000010110111101110001001010110011100010111001110100110110110011101011000100000100111000100101100000100011001101001101100101111000101010111011110001011011110011000100010101111101010100011110101001101101111011111001010001000100010010001110000110011000000011111000100110010001011011011110010110110001000101000011110001101010011011010000011010101010000110111100001011010110010110110001101010000010011010011100100100111010000101101000110000110011100010110010100101010100100011110101111010010101001001010101001100010011000111111011000110001111001001101000100011110001010101101011101101110100110111000100011100001011111111001111001010111011111011010000110001110111111000111101000101110100100111101001100010100000111110001001011111101011011001011010011010111011101000111010001100000100101100011011001110100111001010010100101001000001001011011101010010110100011010010101111111010000011111011100101101100010100000010001011111100011001100101111100000000111011111011100000101010100111100011100001001100100110100101010001111000001110000011001110001001110101010111111000110100100000000111011011110010001101111100100110110011100101010100100110110000011000010010110011001011010111101101101100001001111011000000011100010111100110001010111001000011010101010001010111001101001100010100000100101101001010100011100110101111101110000000010001011001101010100101110110110100101010100011010100100001011101100100101100011101010010101010000010000111100000001001000011010001101011100110011101100001010010101100011011110010111101010110101011101000111010000100101010011110110001100001000000110100001111010010100000110001010100111000000001001000001101011100110001001011100111101010001111111011111001001010001111101000011110000110011010011011001111011000011100011111100101011111110011001110110101000010000011110110011010110101101101011010011100110011000100010101010100001110000001110000101110101101001010010000011101111001111111011110000000010010011100010100000101000010011101100110111101001010011000000000110101110100000011011011010010001000001000011000011010000001000010100111011100111111011001101001001011110101100100000100100101001001111101100110000011011101001000111010000010010010001010100100100111111011001010111010011000100111110100010100011100000101101011111000000110101011110001100100001001110111101110110110111001101010001011111101010001000110101010011010110110010010001011101000010100000011110100000011011111001001001000110010011011111011111101001110010011010111101001100011011010011010011011001110000111011010101010100111010001010001011111111000111111110111010001001111010110100001010100011011001110001011110100000110110000000111001001110110011000011101100100000000110111011111101101111111101111001000001001010001011110000000011111010111011101101111110000011110010001001101111010110100000101110110101011100000010111000100001011001010100100100111100110010010101010010100111110101110000001010110000111100001101101111100101111101010111110110000110110101111000101010000011010111110010100100100101100001011101101010001001001111100100111110000000001110110001011001011000001100110010101111110010000110000111100010100010001000110100100001101011001101011000001011001011001001010000110010010001100111101110110010001110101100111110001010110011010101011011101010100000010001111111001111011101111010101000011010111101010100000000100111111110110100000000100101100000010000001000110110100001111100010011111000010010110110001111010101111101001111100000110000000010111000110101100100111001000000100010001001001001001001101010100000110010011001100000011110111011010110110010010010110110000110011100110101100010111101110000010001101101101101110101010011101101110110101011111011110010010101101101110011010011001111100010100001010001101000100111011111001011111011101101100110111110011011111010110001011111101011011111100000001101000011101111010110000111101011101101001110011101110001101001111100001101000100011100000001100001001011110010100011100100010100000100110111100010000110001011111011000000011110010010010000101011001111100000011000000100010010100001101000001111001011010000010111001000001000100101011111000111000001000100000011000110000111011011110110101111011111101110110001001010111010110011101010100110111110110011111110110001111010000101011000111010100110000001100100101001010001110110101101011010000011111000110001010110010000010111001111000000001100010010001111011100001001100101000001010011100010100010100010110111111111000010000000100001010001011001101111111000010010001110001000000001000101100110110110111101110010111000111010010001011101111101111001111010110110110011101110010101111000100101010010100001101101111001100110011100111101010111100111011010010110001110001101111000110011111111111101110100010001010101011110100100101111101001101101101010100100110100100000001110111011000010111011000000001101010110010000011110110111010111010000011101111100010111011101010011000010111000100101110101000011100101000101010011100011