Sage source code for the computation of graphs and proofs from "Adventures in Graph Theory" by David Joyner and Caroline Grant Melles