Theorem 1: interval [0.292893, 0.500000] and mirror; 86 q-values; 545s
max ratio E|L|/R_claimed: 1.0000000000003926
  ratio=1.000000000000393 q=0.52588835 E|L|=0.998658687353 R=0.998658687352 via n=20 top=[1.0, 0.0, 0.0, 0.0, 0.0]
  ratio=1.000000000000383 q=0.47411165 E|L|=0.998658687353 R=0.998658687352 via n=20 top=[1.0, 0.0, 0.0, 0.0, 0.0]
  ratio=1.000000000000274 q=0.66568542 E|L|=0.943500588149 R=0.943500588149 via n=20 top=[1.0, 0.0, 0.0, 0.0, 0.0]
  ratio=1.000000000000210 q=0.55695436 E|L|=0.993491218537 R=0.993491218536 via n=20 top=[1.0, 0.0, 0.0, 0.0, 0.0]
  ratio=1.000000000000157 q=0.68639610 E|L|=0.927914851182 R=0.927914851182 via n=20 top=[1.0, 0.0, 0.0, 0.0, 0.0]
  ratio=1.000000000000150 q=0.49482233 E|L|=0.999946382039 R=0.999946382039 via n=20 top=[1.0, 0.0, 0.0, 0.0, 0.0]
  ratio=1.000000000000149 q=0.48446699 E|L|=0.999517334806 R=0.999517334806 via n=20 top=[1.0, 0.0, 0.0, 0.0, 0.0]
  ratio=1.000000000000122 q=0.40162428 E|L|=0.980453400229 R=0.980453400229 via n=20 top=[1.0, 0.0, 0.0, 0.0, 0.0]
VIOLATIONS (ratio > 1+1e-9): 0
DONE
