i,j;d;main(n,a){for(;~scanf("%d:",&n);puts("")){int B[200]={1,1};for(vprintf();a;B[a]=++*B)for(d=2,a=i=0;i++