#include<stdio.h>
FILE *in=fopen("multimi2.in","r");
FILE *out=fopen("multimi2.in","w");
long int n,i;
int main()
{
fscanf(in,"%ld",&n);
if(n%4==0)
	{
	fprintf(out,"0\n");
	fprintf(out,"%ld\n",n/2);
	for(i=1;i<=n;i+=4) fprintf(out,"%ld %ld ",i,i+3);
	fprintf(out,"\n%ld\n",n/2);
	for(i=2;i<=n;i+=4) fprintf(out,"%ld %ld",i,i+1);
	}
return 0;
}