P
Initializing...
n=7 representative hole pattern (1,7) is infeasible · Prove2Me