Harecore 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.
