Decomposing graphs into cycles with chords

Supplemental material for the paper Decomposing graphs into cycles with chords by Paul Balister, Hao Li, and Richard Schelp, Journal of Combinatorial Theory, Series B 128 (2018), 47–65.

• Self-contained C-code to check to low order cases in Lemmas 5, 9, 10, and 11. Just compile and run. (The last few cases in Lemma 11 are very slow though!) See code for documentation.
• Output of program.