a=23594;b=7,i,j;main(n){for(scanf("%d",&n);a;b>>=j%n<1)putchar(b?++j,b&1?80:32:(a/=++i%n?1:10,b=a%20,10));}