# Takes a tape representing a natural number k (see Boolos, Burgess
# and Jeffrey for definition) and returns a tape representing a pair
# <k,k>.

0 1 _ r 1  
0 _ _ r 99  
1 _ _ r 2   # Look for blank
1 1 1 r 1  
2 _ 1 r 3   # Wrote my 1.
2 1 1 r 2  
3 _ _ r 4  
3 1 _ r 5  
4 _ 1 l 6  
5 _ 1 r 7  
5 1 1 4 5  
6 _ _ l 8  
6 1 1 l 6  
7 _ 1 l 6  
8 _ _ l 9  
8 1 1 l 8  
9 _ _ r 0  
9 1 1 l 9  

9 1 1 r 1000  # Former halt state.
8 1 1 r 1000  # Former halt state.
7 1 1 r 1000  # Former halt state.
6 1 1 r 1000  # Former halt state.
5 1 1 r 1000  # Former halt state.
4 1 1 r 1000  # Former halt state.
2 1 1 r 1000  # Former halt state.
1 1 1 r 1000  # Former halt state.
99 _ _ r 1000  # Former halt state.
99 1 1 r 1000  # Former halt state.
# Skip this block of one's, goto next

100 1 1 r 100  
100 _ _ r 101  
101 _ _ r 101  
101 1 1 l 102  
102 _ _ r 103  

1000 _ _ l 100  #Goto start state, machine skip
1000 1 1 l 100  #Goto start state, machine skip

1000 1 1 r 1001 # Former halt state.
102 1 1 r 1001 # Former halt state.
103 _ _ r 1001 # Former halt state.
103 1 1 r 1001 # Former halt state.
99 1 1 r 1001 # Former halt state.
# Takes a tape representing a natural number k (see Boolos, Burgess
# and Jeffrey for definition) and returns a tape representing a pair
# <k,k>.

104 1 _ r 105 
104 _ _ r 199 
105 _ _ r 106  # Look for blank
105 1 1 r 105 
106 _ 1 r 107  # Wrote my 1.
106 1 1 r 106 
107 _ _ r 108 
107 1 _ r 109 
108 _ 1 l 110 
109 _ 1 r 111 
109 1 1 4 109 
110 _ _ l 112 
110 1 1 l 110 
111 _ 1 l 110 
112 _ _ l 113 
112 1 1 l 112 
113 _ _ r 104 
113 1 1 l 113 

1001 _ _ l 104 #Goto start state, machine double
1001 1 1 l 104 #Goto start state, machine double