Template:GAP verify sdf

H = (G); using GAP: