graph girth