  glue: uE = 27/16 gives q = 256/985: OK
  glue: uF = 47/25 gives q = 625/2834: OK
  glue: kappa4 < 0 on [1, uF] (uF^2 + uF^-2 < 4): OK
  glue: kappa5, kappa6 < 0 on [uE, uF] (w < 10; w^2 - 26w + 64 < 0 at both ends, convex): OK
  glue: a(101/250) <= 179/256: OK
  glue: a(27/50) >= 83/100: OK
  glue: near-dictator polynomials positive on [9/10,1], 64 u-strips (min p_i(9/10) = 0.0033280072726015546): OK
  cellsA2: 1155 cells tile u[27/16,47/25] x a[0,179/256]: ok
  cellsB2: 32 cells tile u[27/16,47/25] x a[83/100,9/10]: ok
  cells: 1187/1187 pass (V1)-(V4) by exact Sturm counting (1s)
  sextic: 271 boxes tile u[27/16,47/25] x t[101/250,27/50]: ok
  sextic: 271/271 boxes pass (arb balls + Sturm), 508 sub-boxes, max depth 3 (1s)
RESULT: ALL CHECKS PASSED (1s)
exit 0
