Updated the output, it is now more clear what is going on. Reads in graph, checks if graph is connected and/or cyclic constructs an SF checks if SF is cyclic and/or connected displays SF and original graph information.