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.