#include <bits/stdc++.h>
using namespace std;
int ans,a[100000],b[100000],c[100000],wa[1000000],n;
void gcd(int x){
if(x>n){
ans++;
if(ans<4){
for(int i=1;i<=n;i++){
cout<<a[i]<<" ";
}
cout<<"\n";
}
return;
}
for(int i=1;i<=n;i++){
if(!wa[i]&&!b[x-i+n]&&!c[x+i]){
a[x]=i;
wa[i]=b[x-i+n]=c[x+i]=1;
gcd(x+1);
wa[i]=b[x-i+n]=c[x+i]=0;
}
}
}
int main(){
cin>>n;
gcd(1);
cout<<ans;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CmludCBhbnMsYVsxMDAwMDBdLGJbMTAwMDAwXSxjWzEwMDAwMF0sd2FbMTAwMDAwMF0sbjsKdm9pZCBnY2QoaW50IHgpewoJaWYoeD5uKXsKCQlhbnMrKzsKCQlpZihhbnM8NCl7CgkJCWZvcihpbnQgaT0xO2k8PW47aSsrKXsKCQkJCWNvdXQ8PGFbaV08PCIgIjsKCQkJfQoJCQljb3V0PDwiXG4iOwoJCX0KCQlyZXR1cm47Cgl9Cglmb3IoaW50IGk9MTtpPD1uO2krKyl7CgkJaWYoIXdhW2ldJiYhYlt4LWkrbl0mJiFjW3graV0pewoJCQlhW3hdPWk7CgkJCXdhW2ldPWJbeC1pK25dPWNbeCtpXT0xOwoJCQlnY2QoeCsxKTsKCQkJd2FbaV09Ylt4LWkrbl09Y1t4K2ldPTA7CgkJfQoJfQp9CmludCBtYWluKCl7CgljaW4+Pm47CglnY2QoMSk7Cgljb3V0PDxhbnM7Cn0=