//スマホコーディング #include using namespace std; typedef long long ll; int bitcnt(ll a){ int ret = 0; for(; a!=0; a &= a-1)ret++; return ret; } int main(){ ll n; cin>>n; if(n <= 5){ cout<<-1<