Software to generate and manipulate graphs to help prove Ramsey arrowing