#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define popcount __builtin_popcount using namespace std; using namespace atcoder; typedef long long ll; typedef pair P; int main() { int p[]={7, 11, 13, 17, 23, 29, 31, 37, 41, 43}; int n; cin>>n; cout<