{mint@n,m;m*=(n+=1)/(m=1..9);wt(m);}