Distinct sizes of maximal independent sets on graphs with restricted girth | Synapse