Back to presentation

Gross proof time

Here is a computer generated proof of a bound on the length of the commutator aba̅b̅ for a linear norm on the free group with the lengths of the generators bounded above by 1.

  1. |a̅| ≤ 1.0
  2. |b̅a̅b| ≤ 1.0 using |a̅| ≤ 1.0
  3. |b̅| ≤ 1.0
  4. |ab̅a̅| ≤ 1.0 using |b̅| ≤ 1.0
  5. |a̅b̅aba̅b̅| ≤ 2.0 using |a̅b̅a| ≤ 1.0 and |ba̅b̅| ≤ 1.0
  6. |a| ≤ 1.0
  7. |bab̅| ≤ 1.0 using |a| ≤ 1.0
  8. |b| ≤ 1.0
  9. |a̅ba| ≤ 1.0 using |b| ≤ 1.0
  10. |aba̅b̅ab| ≤ 2.0 using |aba̅| ≤ 1.0 and |b̅ab| ≤ 1.0
  11. |a̅aba̅b̅aba| ≤ 2.0 using |aba̅b̅ab| ≤ 2.0
  12. |ba̅b̅aaba̅b̅aba̅| ≤ 3.0 using |ba̅b̅| ≤ 1.0 and |aaba̅b̅aba̅| ≤ 2.0
  13. |a̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 4.0 using |a̅b̅a| ≤ 1.0 and |ba̅b̅aaba̅b̅aba̅| ≤ 3.0
  14. |b̅a̅b̅aba̅b̅aaba̅b̅aba̅b| ≤ 4.0 using |a̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 4.0
  15. |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 6.0 using |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅| ≤ 4.0 and |aaba̅b̅aba̅| ≤ 2.0
  16. |b̅aba̅b̅a| ≤ 2.0 using |b̅ab| ≤ 1.0 and |a̅b̅a| ≤ 1.0
  17. |ab̅aba̅b̅aa̅| ≤ 2.0 using |b̅aba̅b̅a| ≤ 2.0
  18. |a̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 8.0 using |a̅b̅aba̅b̅aa| ≤ 2.0 and |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 6.0
  19. |b̅a̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b| ≤ 8.0 using |a̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 8.0
  20. |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 10.0 using |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅| ≤ 8.0 and |aaba̅b̅aba̅| ≤ 2.0
  21. |a̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 12.0 using |a̅b̅aba̅b̅aa| ≤ 2.0 and |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 10.0
  22. |b̅a̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b| ≤ 12.0 using |a̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 12.0
  23. |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 14.0 using |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅| ≤ 12.0 and |aaba̅b̅aba̅| ≤ 2.0
  24. |a̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 16.0 using |a̅b̅aba̅b̅aa| ≤ 2.0 and |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 14.0
  25. |b̅a̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b| ≤ 16.0 using |a̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 16.0
  26. |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 18.0 using |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅| ≤ 16.0 and |aaba̅b̅aba̅| ≤ 2.0
  27. |a̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 20.0 using |a̅b̅aba̅b̅aa| ≤ 2.0 and |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 18.0
  28. |b̅a̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b| ≤ 20.0 using |a̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 20.0
  29. |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 22.0 using |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅| ≤ 20.0 and |aaba̅b̅aba̅| ≤ 2.0
  30. |a̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 24.0 using |a̅b̅aba̅b̅aa| ≤ 2.0 and |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 22.0
  31. |b̅a̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b| ≤ 24.0 using |a̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 24.0
  32. |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 26.0 using |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅| ≤ 24.0 and |aaba̅b̅aba̅| ≤ 2.0
  33. |a̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 28.0 using |a̅b̅aba̅b̅aa| ≤ 2.0 and |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 26.0
  34. |b̅a̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b| ≤ 28.0 using |a̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 28.0
  35. |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 30.0 using |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅| ≤ 28.0 and |aaba̅b̅aba̅| ≤ 2.0
  36. |a̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 32.0 using |a̅b̅aba̅b̅aa| ≤ 2.0 and |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 30.0
  37. |b̅a̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b| ≤ 32.0 using |a̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 32.0
  38. |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 34.0 using |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅| ≤ 32.0 and |aaba̅b̅aba̅| ≤ 2.0
  39. |a̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 36.0 using |a̅b̅aba̅b̅aa| ≤ 2.0 and |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 34.0
  40. |b̅a̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b| ≤ 36.0 using |a̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅| ≤ 36.0
  41. |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅a| ≤ 37.0 using |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅| ≤ 36.0 and |a| ≤ 1.0
  42. |aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅a| ≤ 38.0 using |a| ≤ 1.0 and |ba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅a| ≤ 37.0
  43. |aba̅b̅aba̅b̅a| ≤ 2.111111111111111 using |aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅aaba̅b̅aba̅b̅a| ≤ 38.0 by taking 18th power
  44. |baba̅b̅aba̅b̅ab̅| ≤ 2.111111111111111 using |aba̅b̅aba̅b̅a| ≤ 2.111111111111111
  45. |aa| ≤ 2.0 using |a| ≤ 1.0 and |a| ≤ 1.0
  46. |baab̅| ≤ 2.0 using |aa| ≤ 2.0
  47. |aba̅b̅aab| ≤ 3.0 using |aba̅| ≤ 1.0 and |b̅aab| ≤ 2.0
  48. |a̅aba̅b̅aaba| ≤ 3.0 using |aba̅b̅aab| ≤ 3.0
  49. |aaba̅b̅aaba̅b̅aab| ≤ 5.0 using |aaba̅b̅aaba̅| ≤ 3.0 and |b̅aab| ≤ 2.0
  50. |a̅b̅aaba̅| ≤ 2.0 using |a̅b̅a| ≤ 1.0 and |aba̅| ≤ 1.0
  51. |b̅a̅b̅aaba̅b| ≤ 2.0 using |a̅b̅aaba̅| ≤ 2.0
  52. |ba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aab| ≤ 7.0 using |ba̅b̅aaba̅b̅| ≤ 2.0 and |aaba̅b̅aaba̅b̅aab| ≤ 5.0
  53. |a̅ba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba| ≤ 7.0 using |ba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aab| ≤ 7.0
  54. |a̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅| ≤ 8.0 using |a̅b̅a| ≤ 1.0 and |aba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅| ≤ 7.0
  55. |b̅a̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b| ≤ 8.0 using |a̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅| ≤ 8.0
  56. |b̅aaba̅b̅a| ≤ 3.0 using |b̅aab| ≤ 2.0 and |a̅b̅a| ≤ 1.0
  57. |ab̅aaba̅b̅aa̅| ≤ 3.0 using |b̅aaba̅b̅a| ≤ 3.0
  58. |a̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅| ≤ 11.0 using |a̅b̅aaba̅b̅aa| ≤ 3.0 and |ba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅| ≤ 8.0
  59. |b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅| ≤ 13.0 using |b̅aab| ≤ 2.0 and |a̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅| ≤ 11.0
  60. |ab̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅a̅| ≤ 13.0 using |b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅| ≤ 13.0
  61. |b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅a| ≤ 15.0 using |b̅aab| ≤ 2.0 and |a̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅a| ≤ 13.0
  62. |ab̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aa̅| ≤ 15.0 using |b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅a| ≤ 15.0
  63. |b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aa| ≤ 17.0 using |b̅aab| ≤ 2.0 and |a̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aa| ≤ 15.0
  64. |aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aa| ≤ 20.0 using |aaba̅b̅aaba̅| ≤ 3.0 and |b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aa| ≤ 17.0
  65. |baaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aab̅| ≤ 20.0 using |aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aa| ≤ 20.0
  66. |aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aab| ≤ 23.0 using |aaba̅b̅aaba̅| ≤ 3.0 and |b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aab| ≤ 20.0
  67. |ba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aab| ≤ 25.0 using |ba̅b̅aaba̅b̅| ≤ 2.0 and |aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aab| ≤ 23.0
  68. |a̅ba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba| ≤ 25.0 using |ba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aab| ≤ 25.0
  69. |a̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅| ≤ 26.0 using |a̅b̅a| ≤ 1.0 and |aba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅| ≤ 25.0
  70. |b̅a̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b| ≤ 26.0 using |a̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅| ≤ 26.0
  71. |ba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅a| ≤ 27.0 using |ba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅| ≤ 26.0 and |a| ≤ 1.0
  72. |aba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅a| ≤ 28.0 using |a| ≤ 1.0 and |ba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅a| ≤ 27.0
  73. |aba̅b̅a| ≤ 1.5555555555555556 using |aba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅aaba̅b̅a| ≤ 28.0 by taking 18th power
  74. |baba̅b̅ab̅| ≤ 1.5555555555555556 using |aba̅b̅a| ≤ 1.5555555555555556
  75. |aba̅b̅aba̅b̅ab| ≤ 2.5555555555555554 using |aba̅| ≤ 1.0 and |b̅aba̅b̅ab| ≤ 1.5555555555555556
  76. |a̅aba̅b̅aba̅b̅aba| ≤ 2.5555555555555554 using |aba̅b̅aba̅b̅ab| ≤ 2.5555555555555554
  77. |aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅ab| ≤ 4.666666666666666 using |aaba̅b̅aba̅b̅aba̅| ≤ 2.5555555555555554 and |b̅aba̅b̅aba̅b̅ab| ≤ 2.111111111111111
  78. |aba̅b̅aba̅b̅aba̅b̅ab| ≤ 3.111111111111111 using |aba̅| ≤ 1.0 and |b̅aba̅b̅aba̅b̅ab| ≤ 2.111111111111111
  79. |ba̅b̅aba̅b̅aba̅b̅aba̅b̅ab| ≤ 4.111111111111111 using |ba̅b̅| ≤ 1.0 and |aba̅b̅aba̅b̅aba̅b̅ab| ≤ 3.111111111111111
  80. |a̅ba̅b̅aba̅b̅aba̅b̅aba̅b̅aba| ≤ 4.111111111111111 using |ba̅b̅aba̅b̅aba̅b̅aba̅b̅ab| ≤ 4.111111111111111
  81. |ba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅| ≤ 5.111111111111111 using |ba̅b̅| ≤ 1.0 and |aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅| ≤ 4.111111111111111
  82. |b̅aba̅b̅aba̅b̅aba̅b̅a| ≤ 3.111111111111111 using |b̅aba̅b̅aba̅b̅ab| ≤ 2.111111111111111 and |a̅b̅a| ≤ 1.0
  83. |ab̅aba̅b̅aba̅b̅aba̅b̅aa̅| ≤ 3.111111111111111 using |b̅aba̅b̅aba̅b̅aba̅b̅a| ≤ 3.111111111111111
  84. |a̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅| ≤ 8.222222222222221 using |a̅b̅aba̅b̅aba̅b̅aba̅b̅aa| ≤ 3.111111111111111 and |ba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅| ≤ 5.111111111111111
  85. |b̅a̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b| ≤ 8.222222222222221 using |a̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅| ≤ 8.222222222222221
  86. |ba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅ab| ≤ 12.888888888888888 using |ba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅| ≤ 8.222222222222221 and |aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅ab| ≤ 4.666666666666666
  87. |a̅ba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba| ≤ 12.888888888888888 using |ba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅ab| ≤ 12.888888888888888
  88. |ba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅| ≤ 13.888888888888888 using |ba̅b̅| ≤ 1.0 and |aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅| ≤ 12.888888888888888
  89. |a̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅| ≤ 4.111111111111111 using |a̅b̅aba̅b̅aba̅b̅aba̅b̅aa| ≤ 3.111111111111111 and |ba̅b̅| ≤ 1.0
  90. |b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅| ≤ 5.666666666666666 using |b̅aba̅b̅ab| ≤ 1.5555555555555556 and |a̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅| ≤ 4.111111111111111
  91. |ab̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅a̅| ≤ 5.666666666666666 using |b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅| ≤ 5.666666666666666
  92. |a̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅| ≤ 19.555555555555554 using |a̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅a| ≤ 5.666666666666666 and |ba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅| ≤ 13.888888888888888
  93. |b̅a̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b| ≤ 19.555555555555554 using |a̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅| ≤ 19.555555555555554
  94. |a̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅| ≤ 22.666666666666664 using |a̅b̅aba̅b̅aba̅b̅aba̅b̅aa| ≤ 3.111111111111111 and |ba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅| ≤ 19.555555555555554
  95. |b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅| ≤ 23.666666666666664 using |b̅ab| ≤ 1.0 and |a̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅| ≤ 22.666666666666664
  96. |ab̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅a̅| ≤ 23.666666666666664 using |b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅| ≤ 23.666666666666664
  97. |b̅aba̅b̅aba̅b̅a| ≤ 2.5555555555555554 using |b̅aba̅b̅ab| ≤ 1.5555555555555556 and |a̅b̅a| ≤ 1.0
  98. |ab̅aba̅b̅aba̅b̅aa̅| ≤ 2.5555555555555554 using |b̅aba̅b̅aba̅b̅a| ≤ 2.5555555555555554
  99. |a̅b̅aba̅b̅aba̅b̅aaba̅b̅| ≤ 3.5555555555555554 using |a̅b̅aba̅b̅aba̅b̅aa| ≤ 2.5555555555555554 and |ba̅b̅| ≤ 1.0
  100. |b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅| ≤ 5.666666666666666 using |b̅aba̅b̅aba̅b̅ab| ≤ 2.111111111111111 and |a̅b̅aba̅b̅aba̅b̅aaba̅b̅| ≤ 3.5555555555555554
  101. |aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅a| ≤ 5.111111111111111 using |aaba̅b̅aba̅| ≤ 2.0 and |b̅aba̅b̅aba̅b̅aba̅b̅a| ≤ 3.111111111111111
  102. |baaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅ab̅| ≤ 5.111111111111111 using |aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅a| ≤ 5.111111111111111
  103. |b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅a| ≤ 6.111111111111111 using |b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅ab| ≤ 5.111111111111111 and |a̅b̅a| ≤ 1.0
  104. |ab̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aa̅| ≤ 6.111111111111111 using |b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅a| ≤ 6.111111111111111
  105. |b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aa| ≤ 8.222222222222221 using |b̅aba̅b̅aba̅b̅ab| ≤ 2.111111111111111 and |a̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aa| ≤ 6.111111111111111
  106. |aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aa| ≤ 10.777777777777777 using |aaba̅b̅aba̅b̅aba̅| ≤ 2.5555555555555554 and |b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aa| ≤ 8.222222222222221
  107. |baaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aab̅| ≤ 10.777777777777777 using |aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aa| ≤ 10.777777777777777
  108. |b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅a| ≤ 16.444444444444443 using |b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aab| ≤ 10.777777777777777 and |a̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅a| ≤ 5.666666666666666
  109. |ba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅ab| ≤ 24.22222222222222 using |ba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅| ≤ 19.555555555555554 and |aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅ab| ≤ 4.666666666666666
  110. |a̅ba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba| ≤ 24.22222222222222 using |ba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅ab| ≤ 24.22222222222222
  111. |a̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅| ≤ 47.888888888888886 using |a̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅a| ≤ 23.666666666666664 and |aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅| ≤ 24.22222222222222
  112. |b̅a̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b| ≤ 47.888888888888886 using |a̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅| ≤ 47.888888888888886
  113. |ba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅ab| ≤ 52.55555555555555 using |ba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅| ≤ 47.888888888888886 and |aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅ab| ≤ 4.666666666666666
  114. |a̅ba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba| ≤ 52.55555555555555 using |ba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅ab| ≤ 52.55555555555555
  115. |aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅a| ≤ 69.0 using |aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅| ≤ 52.55555555555555 and |b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅a| ≤ 16.444444444444443
  116. |baba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅ab̅| ≤ 69.0 using |aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅a| ≤ 69.0
  117. |b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅a| ≤ 92.66666666666666 using |b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅ab| ≤ 69.0 and |a̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅a| ≤ 23.666666666666664
  118. |aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅a| ≤ 93.66666666666666 using |aba̅| ≤ 1.0 and |b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅a| ≤ 92.66666666666666
  119. |aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅a| ≤ 4.9298245614035086 using |aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aaba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅a| ≤ 93.66666666666666 by taking 19th power
  120. |baba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅ab̅| ≤ 4.9298245614035086 using |aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅a| ≤ 4.9298245614035086
  121. |b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅| ≤ 6.9298245614035086 using |b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅ab| ≤ 4.9298245614035086 and |a̅b̅aba̅b̅| ≤ 2.0
  122. |ab̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅a̅| ≤ 6.9298245614035086 using |b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅| ≤ 6.9298245614035086
  123. |a̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅| ≤ 7.9298245614035086 using |a̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅a| ≤ 6.9298245614035086 and |ba̅b̅| ≤ 1.0
  124. |b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅| ≤ 12.859649122807017 using |b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅ab| ≤ 4.9298245614035086 and |a̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅| ≤ 7.9298245614035086
  125. |aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅| ≤ 13.859649122807017 using |aba̅| ≤ 1.0 and |b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅| ≤ 12.859649122807017
  126. |aba̅b̅| ≤ 0.8152734778121775 using |aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅aba̅b̅| ≤ 13.859649122807017 by taking 17th power