Conway's_99-graph_problem loading ...