Hare-core model on the square lattices

Here is the description of M that avoiding cycles of length less or equal to six.

Here is the description of M that avoiding cycles of length less or equal to eight.

Here is the corresponding lambda, S, c, and lower/upper bounds of alpha needed in the DMSc < c condition.