hamcycles example2 cut constraints hardcoded