Highscore: Takeuchi-Funktionen

forall x y z . t (x , y , z) == 
   if x <= y then z + 1
   else t ( t (x - 1 , y , z) 
          , t (y - 1 , z , x) 
          , t (z - 1 , x , y))

t (x , y , z) = 
   if x <= y then z + 1
   else if z < y + 2 then y + 2 else x + 3