inlineintread(){ int r = 0,w = 1; char c = getchar(); while (c < '0' || c > '9'){ if (c == '-') w = -1; c = getchar(); } while (c >= '0' && c <= '9'){ r = (r << 3) + (r << 1) + (c ^ 48); c = getchar(); } return r * w; }
intmain(){ n = read(); for (re int i = 1;i < n;i += 2) ans[i / 2 + 1] = ans[n - i / 2] = i; for (re int i = 2;i < n;i += 2) ans[n + i / 2] = ans[2 * n - i / 2] = i; for (re int i = 1;i <= 2 * n;i++){ if (ans[i]) printf("%d ",ans[i]); elseprintf("%d ",n); } return0; }