#include #include #include #include #include #include #include using namespace std; typedef long long ll; int main(){ ios::sync_with_stdio(false); cin.tie(0); cout << setprecision(10) << fixed; int N; cin >> N; if(N == 1){ cout << "0 0 0" << endl; return 0; } if(N == 2){ cout << -1 << endl; return 0; } N--; int M = (N+1)/3; int k = M, l = M, m = M; if((N+1)%3 == 1){ k++; }else if((N+1)%3 == 2){ k++; l++; } vector ans; if((N+1)%3 == 0){ for(int i = k-1; i >= 0; i--) { ans.push_back(i*3); ans.push_back(i*3); } for(int i = 0; i <= k-1; i++) { ans.push_back(i*3); } for(int i = l-1; i >= 0; i--) { ans.push_back(i*3+1); } ans.push_back(m*3-1); for(int i = 0; i <= l-1; i++) { ans.push_back(i*3+1); ans.push_back(i*3+1); } for(int i = m-2; i >= 0; i--) { ans.push_back(i*3+2); } ans.push_back(m*3-1); ans.push_back(m*3-1); for(int i = 0; i <= m-2; i++) { ans.push_back(i*3+2); ans.push_back(i*3+2); } }else if((N+1)%3 == 1){ for(int i = k-1; i >= 0; i--) { ans.push_back(i*3); ans.push_back(i*3); } for(int i = 0; i <= k-1; i++) { ans.push_back(i*3); } for(int i = l-1; i >= 0; i--) { ans.push_back(i*3+1); } ans.push_back(m*3-1); for(int i = 0; i <= l-1; i++) { ans.push_back(i*3+1); ans.push_back(i*3+1); } for(int i = m-2; i >= 0; i--) { ans.push_back(i*3+2); } ans.push_back(m*3-1); ans.push_back(m*3-1); for(int i = 0; i <= m-2; i++) { ans.push_back(i*3+2); ans.push_back(i*3+2); } }else if((N+1)%3 == 2){ for(int i = k-1; i >= 0; i--) { ans.push_back(i*3); ans.push_back(i*3); } for(int i = 0; i <= k-1; i++) { ans.push_back(i*3); } for(int i = l-1; i >= 0; i--) { ans.push_back(i*3+1);ans.push_back(i*3+1); } ans.push_back(m*3-1); for(int i = 0; i <= l-1; i++) { ans.push_back(i*3+1); } for(int i = m-2; i >= 0; i--) { ans.push_back(i*3+2); ans.push_back(i*3+2); } ans.push_back(m*3-1); ans.push_back(m*3-1); for(int i = 0; i <= m-2; i++) { ans.push_back(i*3+2); } } for(auto i : ans) cout << i << ' '; cout << endl; }