The On-Line Encyclopedia of Integer Sequences: A006856 and A159847

Does there exist a simple graph of order m, size n with girth k or more? The program here attempts to answer that.