graph girth seems to work