Assume the two numbers are on encoded in binary and separated by a single blank. When your program halts, only their sum should be on the tape.