Working on loading groups from files and finding the smallest counterexample to a provided statement.
Updating to latest version.