Theorem 3: interval [0.147929, 0.183503] and mirror; 86 q-values; 533s
max ratio E|L|/R_claimed: 1.0000000000005265
  ratio=1.000000000000526 q=0.83695188 E|L|=0.896395657717 R=0.896395657716 via n=20 top=[0.5774, 0.5774, 0.5774, 0.0, 0.0]
  ratio=1.000000000000341 q=0.84495612 E|L|=0.895165480893 R=0.895165480893 via n=20 top=[0.5774, 0.5774, 0.5774, 0.0, 0.0]
  ratio=1.000000000000338 q=0.82894763 E|L|=0.896340265933 R=0.896340265932 via n=20 top=[0.5774, 0.5774, 0.5774, 0.0, 0.0]
  ratio=1.000000000000337 q=0.83339443 E|L|=0.896523886580 R=0.896523886580 via n=20 top=[0.5774, 0.5774, 0.5774, 0.0, 0.0]
  ratio=1.000000000000240 q=0.83072635 E|L|=0.896458661955 R=0.896458661954 via n=20 top=[0.5774, 0.5774, 0.5774, 0.0, 0.0]
  ratio=1.000000000000209 q=0.84317740 E|L|=0.895555162281 R=0.895555162281 via n=20 top=[0.5774, 0.5774, 0.5774, 0.0, 0.0]
  ratio=1.000000000000208 q=0.84139868 E|L|=0.895877414163 R=0.895877414163 via n=20 top=[0.5774, 0.5774, 0.5774, 0.0, 0.0]
  ratio=1.000000000000203 q=0.83784124 E|L|=0.896324285842 R=0.896324285842 via n=20 top=[0.5774, 0.5774, 0.5774, 0.0, 0.0]
VIOLATIONS (ratio > 1+1e-9): 0
DONE
