[1+D2s*#`ld1s]:f [ given (n-1)! (n-1), print n!, put n! n ] [2s1=f2s1_+D0>=x]:x [ given n n! x, print (n+1)! through (n+x)! ] 0 1 10 1=x