finder/out/cert_42_complexcurve.json: (m,p)=(4,2); 15 relations; realification of a complex curve: True; Q == 0 on [I|X]: True; dim U(V) = 7; pivots all > 0: True (smallest 0.2589): PASS
independent_run/logs/cc24_simple_cert.json: (m,p)=(2,4); 15 relations; realification of a complex curve: True; Q == 0 on [I|X]: True; dim U(V) = 7; pivots all > 0: True (smallest 0.3036): PASS
ALL: PASS
