Sidorenko counterexample

The quantity is the nondirect residual constant $C$ in the exponent $-D+C$. A lower constant is better. This is an internal proof step, conditional on transfer within the source orbit-counting argument. The counterexample still has $35$ vertices and $66$ edges; this constant does not give the full dimension.

OpenAI baseline: $1641$, released Oct 6, 2:58 PM PT.

These results are Claimed: their authors published them, and we have not checked them.