0::/def(tarai(x,y,z), (x<=y).alt(y, tarai(tarai(x-1,y,z), tarai(y-1,z,x), tarai(z-1, x, y))));dt("result: "+tarai(3,2,0))
