#include <cstdio>
#include <cstdlib>

FILE *f=fopen("damesah.in","r"),*g=fopen("damesah.out","w");

int n,s,t[14];

void afisare()
{
    int i;
    for(i=1;i<=n;++i)
        fprintf(g,"%d ",t[i]);
}

int valid(int k)
{
    int i;
    for(i=1;i<k;++i)
        if(t[i]==t[k]||abs(t[i]-t[k])==k-i)
            return 0;
    return 1;
}

void bt(int k=1)
{
    int i;
    for(i=1;i<=n;++i)
    {
        t[k]=i;
        if(valid(k))
        {
            if(k==n)
            {
                if(!s)
                    afisare();
                ++s;
            }
            else
                bt(k+1);
        }
    }
}

int main()
{
    fscanf(f,"%d",&n);
    bt();
    fprintf(g,"\n%d\n",s);
}