2D: Lemma 1, Lemma 2 (three tables), Step 0/4, gap inequality (3/70) and density inequality: exact on 240 grids of 20 shapes: OK
3D: sum_u Psi0(X^(sigma,u)) = N_bin for all 48 sigma, sum_(sigma,u) Q_lambda = 0, N_bin <= 6|G|, gap inequality: exact on 22 grids of 11 shapes: OK
