Assertion list for term "7 vertices".

Results from Ascent++: 1
graph HasA7 vertices 0.25