cat(x,y) = x*10^#digits(y)+y explore(v, rem, t) = { if (#rem==0, if (v