print_sub({let(n,1): print_for(,{ (quote(unf([k])) + `! = ') (largesci(let(n, largemul([n],[k]))))\n})})