#include <stdio.h>

int main()
{
	int N;
	scanf("%d", &N);
	
	int i, A[3001], B[3001];
	if (N % 3 == 0) {
		for (i = 1; i <= N / 3; i++) {
			A[i] = i * 3;
			B[i] = i * 3 - 2;
		}
		for (; i <= N; i++) {
			A[i] = i * 3;
			B[i] = i * 3 + 1;
		}
	} else if (N % 3 == 1) {
		for (i = 1; i <= N / 3 + 1; i++) {
			A[i] = i * 3;
			B[i] = i * 3 - 2;
		}
		for (; i < N; i++) {
			A[i] = i * 3;
			B[i] = i * 3 + 1;
		}
		A[i] = B[i-1] + 3;
		B[i] = A[i] + 3;
	} else {
		A[1] = 1;
		A[2] = 7;
		B[1] = 4;
		B[2] = 10;
		for (i = 1; i <= N / 3 + 2; i++) {
			A[i+2] = (i + 4) * 3;
			B[i+2] = A[i+2] - 2;
		}
		for (; i <= N - 2; i++) {
			A[i+2] = (i + 4) * 3;
			B[i+2] = A[i+2] + 1;
		}
	}
	for (i = 1; i <= N; i++) printf("%d ", A[i]);
	printf("\n");
	for (i = 1; i <= N; i++) printf("%d ", B[i]);
	printf("\n");
	fflush(stdout);
	return 0;
}