
tmf(0,0,0) := 0

tmf(0,0,1) := 1

tmf(0,1,0) := 10

tmf(0,1,1) := 11

tmf(0,2,0) := 20

tmf(0,2,1) := 21

tmf(0,3,0) := 30

tmf(0,3,1) := 31

tmf(0,4,0) := 40

tmf(0,4,1) := 41

tmf(1,0,0) := 100

tmf(1,0,1) := 101

tmf(1,1,0) := 110

tmf(1,1,1) := 111

tmf(1,2,0) := 120

tmf(1,2,1) := 121

tmf(1,3,0) := 130

tmf(1,3,1) := 131

tmf(1,4,0) := 140

tmf(1,4,1) := 141

tmf(2,0,0) := 200

tmf(2,0,1) := 201

tmf(2,1,0) := 210

tmf(2,1,1) := 211

tmf(2,2,0) := 220

tmf(2,2,1) := 221

tmf(2,3,0) := 230

tmf(2,3,1) := 231

tmf(2,4,0) := 240

tmf(2,4,1) := 241
