User:Wythagoras/Rado's sigma function/Oracle TMs/Numbering for TMs

The numbering for TMs is from 1 state to \(n\) states, and from the first to the last rule.

First, the next symbol changes. Then the direction changes, first left then right. Then the next state changes, from state 0 to state \(n\) and finally halt. Then go to the next rule.

TM #1
0 _ _ l 0 0 1 _ l 0

TM #2
0 _ 1 l 0 0 1 _ l 0

TM #3
0 _ _ r 0 0 1 _ l 0

TM #4
0 _ 1 r 0 0 1 _ l 0

TM #5
0 _ _ l halt 0 1 _ l 0

TM #8
0 _ 1 r halt 0 1 _ l 0

TM #9
0 _ _ l 0 0 1 1 l 0

TM #16
0 _ 1 r halt 0 1 1 l 0

TM #32
0 _ 1 r halt 0 1 1 r 0

TM #64
0 _ 1 r halt 0 1 1 r halt

TM #65
0 _ _ l 0 0 1 _ l 0 1 _ _ l 0 1 1 _ l 0

TM #66
0 _ 1 l 0 0 1 _ l 0 1 _ _ l 0 1 1 _ l 0

TM #69
0 _ _ l 1 0 1 _ l 0 1 _ _ l 0 1 1 _ l 0

TM #73
0 _ _ l halt 0 1 _ l 0 1 _ _ l 0 1 1 _ l 0

TM #74
0 _ _ l 0 0 1 1 l 0 1 _ _ l 0 1 1 _ l 0

TM #122
0 _ _ l 0 0 1 _ l halt 1 _ _ l 0 1 1 _ l 0

TM #20802
0 _ _ l 0 0 1 _ l 0 1 _ _ l 0 1 1 _ l 0 2 _ _ l 0 2 1 _ l 0