Theorem 4: interval [0.133975, 0.147929] and mirror; 86 q-values; 529s
max ratio E|L|/R_claimed: 1.0000000000003553
  ratio=1.000000000000355 q=0.86358338 E|L|=0.886716832984 R=0.886716832984 via n=20 top=[0.5774, 0.5774, 0.5774, 0.0, 0.0]
  ratio=1.000000000000316 q=0.86253680 E|L|=0.887417378933 R=0.887417378932 via n=20 top=[0.5774, 0.5774, 0.5774, 0.0, 0.0]
  ratio=1.000000000000270 q=0.86218794 E|L|=0.887644555076 R=0.887644555076 via n=20 top=[0.5774, 0.5774, 0.5774, 0.0, 0.0]
  ratio=1.000000000000262 q=0.86567654 E|L|=0.885229090322 R=0.885229090321 via n=20 top=[0.5774, 0.5774, 0.5774, 0.0, 0.0]
  ratio=1.000000000000222 q=0.85311759 E|L|=0.892478494743 R=0.892478494743 via n=20 top=[0.5774, 0.5774, 0.5774, 0.0, 0.0]
  ratio=1.000000000000217 q=0.85381531 E|L|=0.892177804053 R=0.892177804052 via n=20 top=[0.5774, 0.5774, 0.5774, 0.0, 0.0]
  ratio=1.000000000000206 q=0.86532768 E|L|=0.885485151019 R=0.885485151019 via n=20 top=[0.5774, 0.5774, 0.5774, 0.0, 0.0]
  ratio=1.000000000000203 q=0.85241987 E|L|=0.892767721357 R=0.892767721357 via n=20 top=[0.5774, 0.5774, 0.5774, 0.0, 0.0]
VIOLATIONS (ratio > 1+1e-9): 0
DONE
