n=5: 5 minimal cds, all = n-2 consecutive vertices; cycle model satisfies (c1)-(c4)
n=6: 6 minimal cds, all = n-2 consecutive vertices; cycle model satisfies (c1)-(c4)
n=7: 7 minimal cds, all = n-2 consecutive vertices; cycle model satisfies (c1)-(c4)
n=8: 8 minimal cds, all = n-2 consecutive vertices; cycle model satisfies (c1)-(c4)
n=9: 9 minimal cds, all = n-2 consecutive vertices; cycle model satisfies (c1)-(c4)
n=10: 10 minimal cds, all = n-2 consecutive vertices; cycle model satisfies (c1)-(c4)
n=11: 11 minimal cds, all = n-2 consecutive vertices; cycle model satisfies (c1)-(c4)
n=12: 12 minimal cds, all = n-2 consecutive vertices; cycle model satisfies (c1)-(c4)
