  glue: U_LO < u0: OK
  glue: uE = 27/16 gives q_E = 256/985: OK
  glue: kappa4 < 0 on [1, uE] (uE^2 + uE^-2 < 4): OK
  glue: a(2/5) <= 69/100: OK
  glue: a(533/1000) >= 83/100: OK
  glue: quartic boxes need t < 1 and uE < 19/10: OK
  glue: near-dictator constant at (uE, 93/100) = 0.844381 < 1: OK
  cellsA: 360 cells tile u[15537/10000,27/16] x a[0,69/100]: ok
  cellsB: 33 cells tile u[15537/10000,27/16] x a[83/100,93/100]: ok
  cells: 393/393 pass (V1)-(V4) by exact Sturm counting (0s)
  quartic: 128 boxes tile u[15537/10000,27/16] x t[2/5,533/1000]: ok
  quartic: 128/128 boxes pass in arb ball arithmetic, 893 sub-boxes, max depth 8 (0s)
RESULT: ALL CHECKS PASSED (0s)
