
tmh(0) := 0

tmh(1) := 1

tmh(2) := 2

tmh(3) := 3
