
tmj(0,0,0,0,0,0) := 0

tmj(0,0,0,0,0,1) := 1

tmj(0,0,0,0,1,0) := 10

tmj(0,0,0,0,1,1) := 11

tmj(0,0,0,1,0,0) := 100

tmj(0,0,0,1,0,1) := 101

tmj(0,0,0,1,1,0) := 110

tmj(0,0,0,1,1,1) := 111

tmj(0,0,1,0,0,0) := 1000

tmj(0,0,1,0,0,1) := 1001

tmj(0,0,1,0,1,0) := 1010

tmj(0,0,1,0,1,1) := 1011

tmj(0,0,1,1,0,0) := 1100

tmj(0,0,1,1,0,1) := 1101

tmj(0,0,1,1,1,0) := 1110

tmj(0,0,1,1,1,1) := 1111

tmj(0,1,0,0,0,0) := 10000

tmj(0,1,0,0,0,1) := 10001

tmj(0,1,0,0,1,0) := 10010

tmj(0,1,0,0,1,1) := 10011

tmj(0,1,0,1,0,0) := 10100

tmj(0,1,0,1,0,1) := 10101

tmj(0,1,0,1,1,0) := 10110

tmj(0,1,0,1,1,1) := 10111

tmj(0,1,1,0,0,0) := 11000

tmj(0,1,1,0,0,1) := 11001

tmj(0,1,1,0,1,0) := 11010

tmj(0,1,1,0,1,1) := 11011

tmj(0,1,1,1,0,0) := 11100

tmj(0,1,1,1,0,1) := 11101

tmj(0,1,1,1,1,0) := 11110

tmj(0,1,1,1,1,1) := 11111

tmj(1,0,0,0,0,0) := 100000

tmj(1,0,0,0,0,1) := 100001

tmj(1,0,0,0,1,0) := 100010

tmj(1,0,0,0,1,1) := 100011

tmj(1,0,0,1,0,0) := 100100

tmj(1,0,0,1,0,1) := 100101

tmj(1,0,0,1,1,0) := 100110

tmj(1,0,0,1,1,1) := 100111

tmj(1,0,1,0,0,0) := 101000

tmj(1,0,1,0,0,1) := 101001

tmj(1,0,1,0,1,0) := 101010

tmj(1,0,1,0,1,1) := 101011

tmj(1,0,1,1,0,0) := 101100

tmj(1,0,1,1,0,1) := 101101

tmj(1,0,1,1,1,0) := 101110

tmj(1,0,1,1,1,1) := 101111

tmj(1,1,0,0,0,0) := 110000

tmj(1,1,0,0,0,1) := 110001

tmj(1,1,0,0,1,0) := 110010

tmj(1,1,0,0,1,1) := 110011

tmj(1,1,0,1,0,0) := 110100

tmj(1,1,0,1,0,1) := 110101

tmj(1,1,0,1,1,0) := 110110

tmj(1,1,0,1,1,1) := 110111

tmj(1,1,1,0,0,0) := 111000

tmj(1,1,1,0,0,1) := 111001

tmj(1,1,1,0,1,0) := 111010

tmj(1,1,1,0,1,1) := 111011

tmj(1,1,1,1,0,0) := 111100

tmj(1,1,1,1,0,1) := 111101

tmj(1,1,1,1,1,0) := 111110

tmj(1,1,1,1,1,1) := 111111
