Data for verifying the DMS condition for the hard-core model on the square lattice: Here is the description of the branching matrix M that avoids cycles of length less than or equal to six. Here is the description of the branching matrix M that avoids cycles of length less than or equal to eight. Here are the corresponding lambda, S, c, and lower/upper bounds of alpha needed in the DMSc < c condition.