1. Sturm counting agrees with sympy on 300 random polynomials
2. corrupted certificates rejected: 126 / 160
   widened cell: V4
3. cell u[15537/10000,15540/10000] a[7070/10000,7072/10000] beyond q0: V4
3. cell u[1.7,1.701] a[0.7071,0.7072] beyond q0: V4
3. cell u[1.56,1.5601] a[0.7071,0.7072] beyond q0: V4
4. quartic boxes with c4 scaled by 1/3 or 3 rejected: 34 / 34
