Claim 3: whole nested sequence via parametric max-flow (certified 150/150 vs 2^n enumeration), with measured running time swept over m+n and gamma.

a07f822

verified

ProCreations commited on 10 days ago