Uploaded turing machine ADDITION code