#include #include #define rep(i,n) for(int i=0;i vi; typedef vector vl; typedef vector> vvi; typedef vector> vvl; typedef long double ld; typedef pair P; ostream& operator<<(ostream& os, const modint& a) {os << a.val(); return os;} template ostream& operator<<(ostream& os, const static_modint& a) {os << a.val(); return os;} template ostream& operator<<(ostream& os, const dynamic_modint& a) {os << a.val(); return os;} template istream& operator>>(istream& is, vector& v){int n = v.size(); assert(n > 0); rep(i, n) is >> v[i]; return is;} template ostream& operator<<(ostream& os, const pair& p){os << p.first << ' ' << p.second; return os;} template ostream& operator<<(ostream& os, const vector& v){int n = v.size(); rep(i, n) os << v[i] << (i == n - 1 ? "\n" : " "); return os;} template ostream& operator<<(ostream& os, const vector>& v){int n = v.size(); rep(i, n) os << v[i] << (i == n - 1 ? "\n" : ""); return os;} template void chmin(T& a, T b){a = min(a, b);} template void chmax(T& a, T b){a = max(a, b);} int main(){ vector> ans2 = {{1, 4}, {3, 6}, {5, 2}}; vector> ans3 = {{1, 2, 9}, {6, 8, 7}, {3, 4, 5}}; vector> ans4 = {{1, 2, 5, 12}, {8, 10, 11, 9}, {3, 6, 4, 7}}; int n; cin >> n; if(n == 1){ cout << "-1\n"; return 0; } int shift = 0; vector> ans; if(n % 3 == 2){ ans = ans2; n -= 2; shift = 6; }else if(n % 3 == 0){ ans = ans3; n -= 3; shift = 9; }else if(n % 3 == 1){ ans = ans4; n -= 4; shift = 12; } while(n >= 3){ rep(i, 3){ rep(j, 3) ans[i].push_back(ans3[i][j] + shift); } shift += 9; n -= 3; } auto judge = [&]{ long long prod = 0; int n = ans[0].size(); rep(i, n) prod += ans[0][i] * ans[1][i]; rep(i, n) prod -= ans[1][i] * ans[2][i]; if(prod == 0) return true; else return false; }; // if(judge()) cout << "OK\n"; // else cout << "NG\n"; vector res; rep(i, 3){ for(int x : ans[i]) res.push_back(x); } cout << res; return 0; }