def init():
    p1 = sbits.get_type(512).get_input_from(1)
    p2 = sbits.get_type(512).get_input_from(2)
    print_ln("%s", p1.__rxor__(p2).reveal())


init()