Theorem 2: interval [0.183503, 0.292893] and mirror; 86 q-values; 546s
max ratio E|L|/R_claimed: 1.000000000000247
  ratio=1.000000000000247 q=0.81376184 E|L|=0.896035697081 R=0.896035697081 via n=20 top=[0.7071, 0.7071, 0.0, 0.0, 0.0]
  ratio=1.000000000000228 q=0.77000592 E|L|=0.916525217752 R=0.916525217752 via n=20 top=[0.7071, 0.7071, 0.0, 0.0, 0.0]
  ratio=1.000000000000193 q=0.73171949 E|L|=0.916972875722 R=0.916972875722 via n=20 top=[0.7071, 0.7071, 0.0, 0.0, 0.0]
  ratio=1.000000000000172 q=0.78367964 E|L|=0.912644283238 R=0.912644283238 via n=20 top=[0.7071, 0.7071, 0.0, 0.0, 0.0]
  ratio=1.000000000000156 q=0.81649658 E|L|=0.893919950263 R=0.893919950263 via n=20 top=[0.7071, 0.7071, 0.0, 0.0, 0.0]
  ratio=1.000000000000152 q=0.79735337 E|L|=0.906548280742 R=0.906548280742 via n=20 top=[0.7071, 0.7071, 0.0, 0.0, 0.0]
  ratio=1.000000000000141 q=0.80282286 E|L|=0.903447398465 R=0.903447398465 via n=20 top=[0.7071, 0.7071, 0.0, 0.0, 0.0]
  ratio=1.000000000000136 q=0.73718898 E|L|=0.917772479821 R=0.917772479821 via n=20 top=[0.7071, 0.7071, 0.0, 0.0, 0.0]
VIOLATIONS (ratio > 1+1e-9): 0
DONE
