graphs checked: 345 (named 11, connected atlas girth>=5 n<=7: 34, random: 300)
failures: none
tightest S / ((2m)^2/n): 1.000000  (must be <= 1)