Proof of conjecture 1.1 in [1] for special case of (a,b)

Guo-Niu Han and Yining Hu

Main paper (Extended version, 42 pages)

[1] On the algebraicity of Thue-Morse continued fractions and Stieltjes continued fractions

Total degree is 2

  1. Proof of the conjecture for (a,b)=(x, x + 1). Generated at 9/04/2020, CPU time used 1.4 minutes.

Total degree is 3

  1. Proof of the conjecture for (a,b)=(x^2, x). Generated at 8/04/2020, CPU time used 2.3 minutes.

  2. Proof of the conjecture for (a,b)=(x^2, x + 1). Generated at 8/04/2020, CPU time used 3.2 minutes.

  3. Proof of the conjecture for (a,b)=(x, x^2 + x). Generated at 8/04/2020, CPU time used 1.8 minutes.

  4. Proof of the conjecture for (a,b)=(x, x^2 + 1). Generated at 8/04/2020, CPU time used 3.4 minutes.

  5. Proof of the conjecture for (a,b)=(x, x^2 + x + 1). Generated at 8/04/2020, CPU time used 3.9 minutes.

  6. Proof of the conjecture for (a,b)=(x^2 + x, x + 1). Generated at 8/04/2020, CPU time used 2.0 minutes.

  7. Proof of the conjecture for (a,b)=(x^2 + 1, x + 1). Generated at 8/04/2020, CPU time used 3.0 minutes.

  8. Proof of the conjecture for (a,b)=(x + 1, x^2 + x + 1). Generated at 8/04/2020, CPU time used 3.8 minutes.

Total degree is 4

  1. Proof of the conjecture for (a,b)=(x^3, x). Generated at 9/04/2020, CPU time used 4.1 minutes.

  2. Proof of the conjecture for (a,b)=(x^3, x + 1). Generated at 9/04/2020, CPU time used 6.0 minutes.

  3. Proof of the conjecture for (a,b)=(x^2, x^2 + x). Generated at 9/04/2020, CPU time used 4.9 minutes.

  4. Proof of the conjecture for (a,b)=(x^2, x^2 + 1). Generated at 9/04/2020, CPU time used 5.4 minutes.

  5. Proof of the conjecture for (a,b)=(x^2, x^2 + x + 1). Generated at 9/04/2020, CPU time used 6.3 minutes.

  6. Proof of the conjecture for (a,b)=(x^3 + x^2, x). Generated at 9/04/2020, CPU time used 5.0 minutes.

  7. Proof of the conjecture for (a,b)=(x^3 + x^2, x + 1). Generated at 9/04/2020, CPU time used 3.8 minutes.

  8. Proof of the conjecture for (a,b)=(x, x^3 + x). Generated at 9/04/2020, CPU time used 4.0 minutes.

  9. Proof of the conjecture for (a,b)=(x, x^3 + x^2 + x). Generated at 9/04/2020, CPU time used 3.5 minutes.

  10. Proof of the conjecture for (a,b)=(x, x^3 + 1). Generated at 9/04/2020, CPU time used 9.7 minutes.

  11. Proof of the conjecture for (a,b)=(x, x^3 + x^2 + 1). Generated at 9/04/2020, CPU time used 5.5 minutes.

  12. Proof of the conjecture for (a,b)=(x, x^3 + x + 1). Generated at 9/04/2020, CPU time used 9.9 minutes.

  13. Proof of the conjecture for (a,b)=(x, x^3 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 6.3 minutes.

  14. Proof of the conjecture for (a,b)=(x^3 + x, x + 1). Generated at 9/04/2020, CPU time used 5.4 minutes.

  15. Proof of the conjecture for (a,b)=(x^2 + x, x^2 + 1). Generated at 9/04/2020, CPU time used 5.4 minutes.

  16. Proof of the conjecture for (a,b)=(x^2 + x, x^2 + x + 1). Generated at 9/04/2020, CPU time used 10.3 minutes.

  17. Proof of the conjecture for (a,b)=(x^3 + x^2 + x, x + 1). Generated at 9/04/2020, CPU time used 10.7 minutes.

  18. Proof of the conjecture for (a,b)=(x^3 + 1, x + 1). Generated at 9/04/2020, CPU time used 4.3 minutes.

  19. Proof of the conjecture for (a,b)=(x^2 + 1, x^2 + x + 1). Generated at 9/04/2020, CPU time used 7.1 minutes.

  20. Proof of the conjecture for (a,b)=(x^3 + x^2 + 1, x + 1). Generated at 9/04/2020, CPU time used 10.1 minutes.

  21. Proof of the conjecture for (a,b)=(x + 1, x^3 + x + 1). Generated at 9/04/2020, CPU time used 5.8 minutes.

  22. Proof of the conjecture for (a,b)=(x + 1, x^3 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 4.5 minutes.

Total degree is 5

  1. Proof of the conjecture for (a,b)=(x^4, x). Generated at 9/04/2020, CPU time used 4.8 minutes.

  2. Proof of the conjecture for (a,b)=(x^4, x + 1). Generated at 9/04/2020, CPU time used 7.0 minutes.

  3. Proof of the conjecture for (a,b)=(x^3, x^2). Generated at 9/04/2020, CPU time used 4.7 minutes.

  4. Proof of the conjecture for (a,b)=(x^3, x^2 + x). Generated at 9/04/2020, CPU time used 5.1 minutes.

  5. Proof of the conjecture for (a,b)=(x^3, x^2 + 1). Generated at 9/04/2020, CPU time used 6.5 minutes.

  6. Proof of the conjecture for (a,b)=(x^3, x^2 + x + 1). Generated at 9/04/2020, CPU time used 8.0 minutes.

  7. Proof of the conjecture for (a,b)=(x^4 + x^3, x). Generated at 9/04/2020, CPU time used 5.3 minutes.

  8. Proof of the conjecture for (a,b)=(x^4 + x^3, x + 1). Generated at 9/04/2020, CPU time used 3.9 minutes.

  9. Proof of the conjecture for (a,b)=(x^2, x^3 + x^2). Generated at 9/04/2020, CPU time used 4.0 minutes.

  10. Proof of the conjecture for (a,b)=(x^2, x^3 + x). Generated at 9/04/2020, CPU time used 5.4 minutes.

  11. Proof of the conjecture for (a,b)=(x^2, x^3 + x^2 + x). Generated at 9/04/2020, CPU time used 9.0 minutes.

  12. Proof of the conjecture for (a,b)=(x^2, x^3 + 1). Generated at 9/04/2020, CPU time used 14.7 minutes.

  13. Proof of the conjecture for (a,b)=(x^2, x^3 + x^2 + 1). Generated at 9/04/2020, CPU time used 14.2 minutes.

  14. Proof of the conjecture for (a,b)=(x^2, x^3 + x + 1). Generated at 9/04/2020, CPU time used 12.1 minutes.

  15. Proof of the conjecture for (a,b)=(x^2, x^3 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 6.7 minutes.

  16. Proof of the conjecture for (a,b)=(x^4 + x^2, x). Generated at 9/04/2020, CPU time used 5.6 minutes.

  17. Proof of the conjecture for (a,b)=(x^4 + x^2, x + 1). Generated at 9/04/2020, CPU time used 7.5 minutes.

  18. Proof of the conjecture for (a,b)=(x^3 + x^2, x^2 + x). Generated at 9/04/2020, CPU time used 4.2 minutes.

  19. Proof of the conjecture for (a,b)=(x^3 + x^2, x^2 + 1). Generated at 9/04/2020, CPU time used 7.0 minutes.

  20. Proof of the conjecture for (a,b)=(x^3 + x^2, x^2 + x + 1). Generated at 9/04/2020, CPU time used 15.8 minutes.

  21. Proof of the conjecture for (a,b)=(x^4 + x^3 + x^2, x). Generated at 9/04/2020, CPU time used 8.6 minutes.

  22. Proof of the conjecture for (a,b)=(x^4 + x^3 + x^2, x + 1). Generated at 9/04/2020, CPU time used 15.6 minutes.

  23. Proof of the conjecture for (a,b)=(x, x^4 + x). Generated at 9/04/2020, CPU time used 8.0 minutes.

  24. Proof of the conjecture for (a,b)=(x, x^4 + x^3 + x). Generated at 9/04/2020, CPU time used 8.0 minutes.

  25. Proof of the conjecture for (a,b)=(x, x^4 + x^2 + x). Generated at 9/04/2020, CPU time used 6.7 minutes.

  26. Proof of the conjecture for (a,b)=(x, x^4 + x^3 + x^2 + x). Generated at 9/04/2020, CPU time used 3.8 minutes.

  27. Proof of the conjecture for (a,b)=(x, x^4 + 1). Generated at 9/04/2020, CPU time used 9.0 minutes.

  28. Proof of the conjecture for (a,b)=(x, x^4 + x^3 + 1). Generated at 9/04/2020, CPU time used 37.4 minutes.

  29. Proof of the conjecture for (a,b)=(x, x^4 + x^2 + 1). Generated at 9/04/2020, CPU time used 9.1 minutes.

  30. Proof of the conjecture for (a,b)=(x, x^4 + x^3 + x^2 + 1). Generated at 9/04/2020, CPU time used 32.6 minutes.

  31. Proof of the conjecture for (a,b)=(x, x^4 + x + 1). Generated at 9/04/2020, CPU time used 43.3 minutes.

  32. Proof of the conjecture for (a,b)=(x, x^4 + x^3 + x + 1). Generated at 9/04/2020, CPU time used 19.4 minutes.

  33. Proof of the conjecture for (a,b)=(x, x^4 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 47.7 minutes.

  34. Proof of the conjecture for (a,b)=(x, x^4 + x^3 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 47.3 minutes.

  35. Proof of the conjecture for (a,b)=(x^4 + x, x + 1). Generated at 9/04/2020, CPU time used 7.4 minutes.

  36. Proof of the conjecture for (a,b)=(x^3 + x, x^2 + x). Generated at 9/04/2020, CPU time used 3.0 minutes.

  37. Proof of the conjecture for (a,b)=(x^3 + x, x^2 + 1). Generated at 9/04/2020, CPU time used 3.2 minutes.

  38. Proof of the conjecture for (a,b)=(x^3 + x, x^2 + x + 1). Generated at 9/04/2020, CPU time used 19.9 minutes.

  39. Proof of the conjecture for (a,b)=(x^4 + x^3 + x, x + 1). Generated at 9/04/2020, CPU time used 38.5 minutes.

  40. Proof of the conjecture for (a,b)=(x^2 + x, x^3 + x^2 + x). Generated at 9/04/2020, CPU time used 8.8 minutes.

  41. Proof of the conjecture for (a,b)=(x^2 + x, x^3 + 1). Generated at 9/04/2020, CPU time used 8.4 minutes.

  42. Proof of the conjecture for (a,b)=(x^2 + x, x^3 + x^2 + 1). Generated at 9/04/2020, CPU time used 37.9 minutes.

  43. Proof of the conjecture for (a,b)=(x^2 + x, x^3 + x + 1). Generated at 9/04/2020, CPU time used 42.9 minutes.

  44. Proof of the conjecture for (a,b)=(x^2 + x, x^3 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 7.1 minutes.

  45. Proof of the conjecture for (a,b)=(x^4 + x^2 + x, x + 1). Generated at 9/04/2020, CPU time used 33.4 minutes.

  46. Proof of the conjecture for (a,b)=(x^3 + x^2 + x, x^2 + 1). Generated at 9/04/2020, CPU time used 23.2 minutes.

  47. Proof of the conjecture for (a,b)=(x^3 + x^2 + x, x^2 + x + 1). Generated at 9/04/2020, CPU time used 6.7 minutes.

  48. Proof of the conjecture for (a,b)=(x^4 + x^3 + x^2 + x, x + 1). Generated at 9/04/2020, CPU time used 6.2 minutes.

  49. Proof of the conjecture for (a,b)=(x^4 + 1, x + 1). Generated at 9/04/2020, CPU time used 7.0 minutes.

  50. Proof of the conjecture for (a,b)=(x^3 + 1, x^2 + 1). Generated at 9/04/2020, CPU time used 10.9 minutes.

  51. Proof of the conjecture for (a,b)=(x^3 + 1, x^2 + x + 1). Generated at 9/04/2020, CPU time used 6.4 minutes.

  52. Proof of the conjecture for (a,b)=(x^4 + x^3 + 1, x + 1). Generated at 9/04/2020, CPU time used 41.1 minutes.

  53. Proof of the conjecture for (a,b)=(x^2 + 1, x^3 + x^2 + 1). Generated at 9/04/2020, CPU time used 12.8 minutes.

  54. Proof of the conjecture for (a,b)=(x^2 + 1, x^3 + x + 1). Generated at 9/04/2020, CPU time used 18.1 minutes.

  55. Proof of the conjecture for (a,b)=(x^2 + 1, x^3 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 5.1 minutes.

  56. Proof of the conjecture for (a,b)=(x^4 + x^2 + 1, x + 1). Generated at 9/04/2020, CPU time used 10.1 minutes.

  57. Proof of the conjecture for (a,b)=(x^3 + x^2 + 1, x^2 + x + 1). Generated at 9/04/2020, CPU time used 45.4 minutes.

  58. Proof of the conjecture for (a,b)=(x^4 + x^3 + x^2 + 1, x + 1). Generated at 9/04/2020, CPU time used 8.3 minutes.

  59. Proof of the conjecture for (a,b)=(x + 1, x^4 + x + 1). Generated at 9/04/2020, CPU time used 41.7 minutes.

  60. Proof of the conjecture for (a,b)=(x + 1, x^4 + x^3 + x + 1). Generated at 9/04/2020, CPU time used 11.8 minutes.

  61. Proof of the conjecture for (a,b)=(x + 1, x^4 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 7.4 minutes.

  62. Proof of the conjecture for (a,b)=(x + 1, x^4 + x^3 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 45.7 minutes.

  63. Proof of the conjecture for (a,b)=(x^3 + x + 1, x^2 + x + 1). Generated at 9/04/2020, CPU time used 42.4 minutes.

  64. Proof of the conjecture for (a,b)=(x^2 + x + 1, x^3 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 10.7 minutes.

Total degree is 6

  1. Proof of the conjecture for (a,b)=(x^5, x). Generated at 9/04/2020, CPU time used 6.6 minutes.

  2. Proof of the conjecture for (a,b)=(x^5, x + 1). Generated at 9/04/2020, CPU time used 12.4 minutes.

  3. Proof of the conjecture for (a,b)=(x^4, x^2). Generated at 9/04/2020, CPU time used 6.1 minutes.

  4. Proof of the conjecture for (a,b)=(x^4, x^2 + x). Generated at 9/04/2020, CPU time used 9.3 minutes.

  5. Proof of the conjecture for (a,b)=(x^4, x^2 + 1). Generated at 9/04/2020, CPU time used 7.2 minutes.

  6. Proof of the conjecture for (a,b)=(x^4, x^2 + x + 1). Generated at 9/04/2020, CPU time used 14.7 minutes.

  7. Proof of the conjecture for (a,b)=(x^5 + x^4, x). Generated at 9/04/2020, CPU time used 8.8 minutes.

  8. Proof of the conjecture for (a,b)=(x^5 + x^4, x + 1). Generated at 9/04/2020, CPU time used 6.0 minutes.

  9. Proof of the conjecture for (a,b)=(x^3, x^3 + x^2). Generated at 9/04/2020, CPU time used 4.4 minutes.

  10. Proof of the conjecture for (a,b)=(x^3, x^3 + x). Generated at 9/04/2020, CPU time used 5.0 minutes.

  11. Proof of the conjecture for (a,b)=(x^3, x^3 + x^2 + x). Generated at 9/04/2020, CPU time used 10.2 minutes.

  12. Proof of the conjecture for (a,b)=(x^3, x^3 + 1). Generated at 9/04/2020, CPU time used 8.0 minutes.

  13. Proof of the conjecture for (a,b)=(x^3, x^3 + x^2 + 1). Generated at 9/04/2020, CPU time used 29.1 minutes.

  14. Proof of the conjecture for (a,b)=(x^3, x^3 + x + 1). Generated at 9/04/2020, CPU time used 22.0 minutes.

  15. Proof of the conjecture for (a,b)=(x^3, x^3 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 8.6 minutes.

  16. Proof of the conjecture for (a,b)=(x^5 + x^3, x). Generated at 9/04/2020, CPU time used 6.5 minutes.

  17. Proof of the conjecture for (a,b)=(x^5 + x^3, x + 1). Generated at 9/04/2020, CPU time used 7.3 minutes.

  18. Proof of the conjecture for (a,b)=(x^4 + x^3, x^2). Generated at 9/04/2020, CPU time used 7.5 minutes.

  19. Proof of the conjecture for (a,b)=(x^4 + x^3, x^2 + x). Generated at 9/04/2020, CPU time used 4.8 minutes.

  20. Proof of the conjecture for (a,b)=(x^4 + x^3, x^2 + 1). Generated at 9/04/2020, CPU time used 8.9 minutes.

  21. Proof of the conjecture for (a,b)=(x^4 + x^3, x^2 + x + 1). Generated at 9/04/2020, CPU time used 33.8 minutes.

  22. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^3, x). Generated at 9/04/2020, CPU time used 10.7 minutes.

  23. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^3, x + 1). Generated at 9/04/2020, CPU time used 35.0 minutes.

  24. Proof of the conjecture for (a,b)=(x^2, x^4 + x^2). Generated at 9/04/2020, CPU time used 3.5 minutes.

  25. Proof of the conjecture for (a,b)=(x^2, x^4 + x^3 + x^2). Generated at 9/04/2020, CPU time used 7.0 minutes.

  26. Proof of the conjecture for (a,b)=(x^2, x^4 + x). Generated at 9/04/2020, CPU time used 24.8 minutes.

  27. Proof of the conjecture for (a,b)=(x^2, x^4 + x^3 + x). Generated at 9/04/2020, CPU time used 23.2 minutes.

  28. Proof of the conjecture for (a,b)=(x^2, x^4 + x^2 + x). Generated at 9/04/2020, CPU time used 21.2 minutes.

  29. Proof of the conjecture for (a,b)=(x^2, x^4 + x^3 + x^2 + x). Generated at 9/04/2020, CPU time used 8.2 minutes.

  30. Proof of the conjecture for (a,b)=(x^2, x^4 + 1). Generated at 9/04/2020, CPU time used 7.5 minutes.

  31. Proof of the conjecture for (a,b)=(x^2, x^4 + x^3 + 1). Generated at 9/04/2020, CPU time used 1.0 hours.

  32. Proof of the conjecture for (a,b)=(x^2, x^4 + x^2 + 1). Generated at 9/04/2020, CPU time used 10.5 minutes.

  33. Proof of the conjecture for (a,b)=(x^2, x^4 + x^3 + x^2 + 1). Generated at 9/04/2020, CPU time used 50.7 minutes.

  34. Proof of the conjecture for (a,b)=(x^2, x^4 + x + 1). Generated at 9/04/2020, CPU time used 1.0 hours.

  35. Proof of the conjecture for (a,b)=(x^2, x^4 + x^3 + x + 1). Generated at 9/04/2020, CPU time used 18.4 minutes.

  36. Proof of the conjecture for (a,b)=(x^2, x^4 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 1.1 hours.

  37. Proof of the conjecture for (a,b)=(x^2, x^4 + x^3 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 1.0 hours.

  38. Proof of the conjecture for (a,b)=(x^5 + x^2, x). Generated at 9/04/2020, CPU time used 24.6 minutes.

  39. Proof of the conjecture for (a,b)=(x^5 + x^2, x + 1). Generated at 9/04/2020, CPU time used 11.4 minutes.

  40. Proof of the conjecture for (a,b)=(x^4 + x^2, x^2 + x). Generated at 9/04/2020, CPU time used 7.2 minutes.

  41. Proof of the conjecture for (a,b)=(x^4 + x^2, x^2 + 1). Generated at 9/04/2020, CPU time used 3.6 minutes.

  42. Proof of the conjecture for (a,b)=(x^4 + x^2, x^2 + x + 1). Generated at 9/04/2020, CPU time used 18.1 minutes.

  43. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^2, x). Generated at 9/04/2020, CPU time used 18.9 minutes.

  44. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^2, x + 1). Generated at 9/04/2020, CPU time used 13.2 minutes.

  45. Proof of the conjecture for (a,b)=(x^3 + x^2, x^3 + x). Generated at 9/04/2020, CPU time used 5.6 minutes.

  46. Proof of the conjecture for (a,b)=(x^3 + x^2, x^3 + x^2 + x). Generated at 9/04/2020, CPU time used 26.1 minutes.

  47. Proof of the conjecture for (a,b)=(x^3 + x^2, x^3 + 1). Generated at 9/04/2020, CPU time used 12.1 minutes.

  48. Proof of the conjecture for (a,b)=(x^3 + x^2, x^3 + x^2 + 1). Generated at 9/04/2020, CPU time used 52.9 minutes.

  49. Proof of the conjecture for (a,b)=(x^3 + x^2, x^3 + x + 1). Generated at 9/04/2020, CPU time used 55.7 minutes.

  50. Proof of the conjecture for (a,b)=(x^3 + x^2, x^3 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 8.5 minutes.

  51. Proof of the conjecture for (a,b)=(x^5 + x^3 + x^2, x). Generated at 9/04/2020, CPU time used 21.2 minutes.

  52. Proof of the conjecture for (a,b)=(x^5 + x^3 + x^2, x + 1). Generated at 9/04/2020, CPU time used 1.0 hours.

  53. Proof of the conjecture for (a,b)=(x^4 + x^3 + x^2, x^2 + x). Generated at 9/04/2020, CPU time used 21.9 minutes.

  54. Proof of the conjecture for (a,b)=(x^4 + x^3 + x^2, x^2 + 1). Generated at 9/04/2020, CPU time used 14.6 minutes.

  55. Proof of the conjecture for (a,b)=(x^4 + x^3 + x^2, x^2 + x + 1). Generated at 9/04/2020, CPU time used 4.7 minutes.

  56. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^3 + x^2, x). Generated at 9/04/2020, CPU time used 4.3 minutes.

  57. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^3 + x^2, x + 1). Generated at 9/04/2020, CPU time used 3.6 minutes.

  58. Proof of the conjecture for (a,b)=(x, x^5 + x). Generated at 9/04/2020, CPU time used 3.3 minutes.

  59. Proof of the conjecture for (a,b)=(x, x^5 + x^4 + x). Generated at 9/04/2020, CPU time used 3.7 minutes.

  60. Proof of the conjecture for (a,b)=(x, x^5 + x^3 + x). Generated at 9/04/2020, CPU time used 3.4 minutes.

  61. Proof of the conjecture for (a,b)=(x, x^5 + x^4 + x^3 + x). Generated at 9/04/2020, CPU time used 17.9 minutes.

  62. Proof of the conjecture for (a,b)=(x, x^5 + x^2 + x). Generated at 9/04/2020, CPU time used 12.8 minutes.

  63. Proof of the conjecture for (a,b)=(x, x^5 + x^4 + x^2 + x). Generated at 9/04/2020, CPU time used 6.5 minutes.

  64. Proof of the conjecture for (a,b)=(x, x^5 + x^3 + x^2 + x). Generated at 9/04/2020, CPU time used 6.4 minutes.

  65. Proof of the conjecture for (a,b)=(x, x^5 + x^4 + x^3 + x^2 + x). Generated at 9/04/2020, CPU time used 3.0 minutes.

  66. Proof of the conjecture for (a,b)=(x, x^5 + 1). Generated at 9/04/2020, CPU time used 3.1 hours.

  67. Proof of the conjecture for (a,b)=(x, x^5 + x^4 + 1). Generated at 9/04/2020, CPU time used 7.5 minutes.

  68. Proof of the conjecture for (a,b)=(x, x^5 + x^3 + 1). Generated at 9/04/2020, CPU time used 4.9 hours.

  69. Proof of the conjecture for (a,b)=(x, x^5 + x^4 + x^3 + 1). Generated at 9/04/2020, CPU time used 50.5 minutes.

  70. Proof of the conjecture for (a,b)=(x, x^5 + x^2 + 1). Generated at 9/04/2020, CPU time used 3.7 hours.

  71. Proof of the conjecture for (a,b)=(x, x^5 + x^4 + x^2 + 1). Generated at 9/04/2020, CPU time used 3.5 hours.

  72. Proof of the conjecture for (a,b)=(x, x^5 + x^3 + x^2 + 1). Generated at 9/04/2020, CPU time used 33.9 minutes.

  73. Proof of the conjecture for (a,b)=(x, x^5 + x^4 + x^3 + x^2 + 1). Generated at 9/04/2020, CPU time used 7.5 minutes.

  74. Proof of the conjecture for (a,b)=(x, x^5 + x + 1). Generated at 9/04/2020, CPU time used 6.4 hours.

  75. Proof of the conjecture for (a,b)=(x, x^5 + x^4 + x + 1). Generated at 9/04/2020, CPU time used 8.6 minutes.

  76. Proof of the conjecture for (a,b)=(x, x^5 + x^3 + x + 1). Generated at 9/04/2020, CPU time used 6.2 hours.

  77. Proof of the conjecture for (a,b)=(x, x^5 + x^4 + x^3 + x + 1). Generated at 9/04/2020, CPU time used 3.5 hours.

  78. Proof of the conjecture for (a,b)=(x, x^5 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 14.2 minutes.

  79. Proof of the conjecture for (a,b)=(x, x^5 + x^4 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 3.3 hours.

  80. Proof of the conjecture for (a,b)=(x, x^5 + x^3 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 3.3 hours.

  81. Proof of the conjecture for (a,b)=(x, x^5 + x^4 + x^3 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 13.6 minutes.

  82. Proof of the conjecture for (a,b)=(x^5 + x, x + 1). Generated at 9/04/2020, CPU time used 5.1 minutes.

  83. Proof of the conjecture for (a,b)=(x^4 + x, x^2 + x). Generated at 9/04/2020, CPU time used 2.5 minutes.

  84. Proof of the conjecture for (a,b)=(x^4 + x, x^2 + 1). Generated at 9/04/2020, CPU time used 23.8 minutes.

  85. Proof of the conjecture for (a,b)=(x^4 + x, x^2 + x + 1). Generated at 9/04/2020, CPU time used 2.5 minutes.

  86. Proof of the conjecture for (a,b)=(x^5 + x^4 + x, x + 1). Generated at 9/04/2020, CPU time used 3.2 hours.

  87. Proof of the conjecture for (a,b)=(x^3 + x, x^3 + x^2 + x). Generated at 9/04/2020, CPU time used 6.3 minutes.

  88. Proof of the conjecture for (a,b)=(x^3 + x, x^3 + 1). Generated at 9/04/2020, CPU time used 23.8 minutes.

  89. Proof of the conjecture for (a,b)=(x^3 + x, x^3 + x^2 + 1). Generated at 9/04/2020, CPU time used 54.4 minutes.

  90. Proof of the conjecture for (a,b)=(x^3 + x, x^3 + x + 1). Generated at 9/04/2020, CPU time used 59.1 minutes.

  91. Proof of the conjecture for (a,b)=(x^3 + x, x^3 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 3.5 minutes.

  92. Proof of the conjecture for (a,b)=(x^5 + x^3 + x, x + 1). Generated at 9/04/2020, CPU time used 15.9 minutes.

  93. Proof of the conjecture for (a,b)=(x^4 + x^3 + x, x^2 + x). Generated at 9/04/2020, CPU time used 2.9 minutes.

  94. Proof of the conjecture for (a,b)=(x^4 + x^3 + x, x^2 + 1). Generated at 9/04/2020, CPU time used 32.0 minutes.

  95. Proof of the conjecture for (a,b)=(x^4 + x^3 + x, x^2 + x + 1). Generated at 9/04/2020, CPU time used 3.5 hours.

  96. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^3 + x, x + 1). Generated at 9/04/2020, CPU time used 8.1 minutes.

  97. Proof of the conjecture for (a,b)=(x^2 + x, x^4 + x^2 + x). Generated at 9/04/2020, CPU time used 15.3 minutes.

  98. Proof of the conjecture for (a,b)=(x^2 + x, x^4 + x^3 + x^2 + x). Generated at 9/04/2020, CPU time used 2.5 minutes.

  99. Proof of the conjecture for (a,b)=(x^2 + x, x^4 + 1). Generated at 9/04/2020, CPU time used 5.1 minutes.

  100. Proof of the conjecture for (a,b)=(x^2 + x, x^4 + x^3 + 1). Generated at 9/04/2020, CPU time used 6.4 hours.

  101. Proof of the conjecture for (a,b)=(x^2 + x, x^4 + x^2 + 1). Generated at 9/04/2020, CPU time used 13.9 minutes.

  102. Proof of the conjecture for (a,b)=(x^2 + x, x^4 + x^3 + x^2 + 1). Generated at 9/04/2020, CPU time used 3.2 minutes.

  103. Proof of the conjecture for (a,b)=(x^2 + x, x^4 + x + 1). Generated at 9/04/2020, CPU time used 3.1 hours.

  104. Proof of the conjecture for (a,b)=(x^2 + x, x^4 + x^3 + x + 1). Generated at 9/04/2020, CPU time used 24.4 minutes.

  105. Proof of the conjecture for (a,b)=(x^2 + x, x^4 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 17.2 minutes.

  106. Proof of the conjecture for (a,b)=(x^2 + x, x^4 + x^3 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 6.6 hours.

  107. Proof of the conjecture for (a,b)=(x^5 + x^2 + x, x + 1). Generated at 9/04/2020, CPU time used 3.5 hours.

  108. Proof of the conjecture for (a,b)=(x^4 + x^2 + x, x^2 + 1). Generated at 9/04/2020, CPU time used 38.0 minutes.

  109. Proof of the conjecture for (a,b)=(x^4 + x^2 + x, x^2 + x + 1). Generated at 9/04/2020, CPU time used 3.2 hours.

  110. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^2 + x, x + 1). Generated at 9/04/2020, CPU time used 22.2 minutes.

  111. Proof of the conjecture for (a,b)=(x^3 + x^2 + x, x^3 + 1). Generated at 9/04/2020, CPU time used 8.6 minutes.

  112. Proof of the conjecture for (a,b)=(x^3 + x^2 + x, x^3 + x^2 + 1). Generated at 9/04/2020, CPU time used 7.0 minutes.

  113. Proof of the conjecture for (a,b)=(x^3 + x^2 + x, x^3 + x + 1). Generated at 9/04/2020, CPU time used 3.4 hours.

  114. Proof of the conjecture for (a,b)=(x^3 + x^2 + x, x^3 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 19.2 minutes.

  115. Proof of the conjecture for (a,b)=(x^5 + x^3 + x^2 + x, x + 1). Generated at 9/04/2020, CPU time used 18.6 minutes.

  116. Proof of the conjecture for (a,b)=(x^4 + x^3 + x^2 + x, x^2 + 1). Generated at 9/04/2020, CPU time used 3.5 minutes.

  117. Proof of the conjecture for (a,b)=(x^4 + x^3 + x^2 + x, x^2 + x + 1). Generated at 9/04/2020, CPU time used 32.8 minutes.

  118. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^3 + x^2 + x, x + 1). Generated at 9/04/2020, CPU time used 6.5 hours.

  119. Proof of the conjecture for (a,b)=(x^5 + 1, x + 1). Generated at 9/04/2020, CPU time used 3.9 minutes.

  120. Proof of the conjecture for (a,b)=(x^4 + 1, x^2 + 1). Generated at 9/04/2020, CPU time used 2.6 minutes.

  121. Proof of the conjecture for (a,b)=(x^4 + 1, x^2 + x + 1). Generated at 9/04/2020, CPU time used 12.6 minutes.

  122. Proof of the conjecture for (a,b)=(x^5 + x^4 + 1, x + 1). Generated at 9/04/2020, CPU time used 6.3 hours.

  123. Proof of the conjecture for (a,b)=(x^3 + 1, x^3 + x^2 + 1). Generated at 9/04/2020, CPU time used 2.9 hours.

  124. Proof of the conjecture for (a,b)=(x^3 + 1, x^3 + x + 1). Generated at 9/04/2020, CPU time used 6.8 minutes.

  125. Proof of the conjecture for (a,b)=(x^3 + 1, x^3 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 7.8 minutes.

  126. Proof of the conjecture for (a,b)=(x^5 + x^3 + 1, x + 1). Generated at 9/04/2020, CPU time used 7.2 minutes.

  127. Proof of the conjecture for (a,b)=(x^4 + x^3 + 1, x^2 + 1). Generated at 9/04/2020, CPU time used 48.9 minutes.

  128. Proof of the conjecture for (a,b)=(x^4 + x^3 + 1, x^2 + x + 1). Generated at 9/04/2020, CPU time used 6.4 minutes.

  129. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^3 + 1, x + 1). Generated at 9/04/2020, CPU time used 29.0 minutes.

  130. Proof of the conjecture for (a,b)=(x^2 + 1, x^4 + x^2 + 1). Generated at 9/04/2020, CPU time used 4.7 minutes.

  131. Proof of the conjecture for (a,b)=(x^2 + 1, x^4 + x^3 + x^2 + 1). Generated at 9/04/2020, CPU time used 30.9 minutes.

  132. Proof of the conjecture for (a,b)=(x^2 + 1, x^4 + x + 1). Generated at 9/04/2020, CPU time used 1.1 hours.

  133. Proof of the conjecture for (a,b)=(x^2 + 1, x^4 + x^3 + x + 1). Generated at 9/04/2020, CPU time used 4.5 minutes.

  134. Proof of the conjecture for (a,b)=(x^2 + 1, x^4 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 27.2 minutes.

  135. Proof of the conjecture for (a,b)=(x^2 + 1, x^4 + x^3 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 1.0 hours.

  136. Proof of the conjecture for (a,b)=(x^5 + x^2 + 1, x + 1). Generated at 9/04/2020, CPU time used 3.6 hours.

  137. Proof of the conjecture for (a,b)=(x^4 + x^2 + 1, x^2 + x + 1). Generated at 9/04/2020, CPU time used 5.2 minutes.

  138. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^2 + 1, x + 1). Generated at 9/04/2020, CPU time used 15.6 minutes.

  139. Proof of the conjecture for (a,b)=(x^3 + x^2 + 1, x^3 + x + 1). Generated at 9/04/2020, CPU time used 2.9 hours.

  140. Proof of the conjecture for (a,b)=(x^3 + x^2 + 1, x^3 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 27.8 minutes.

  141. Proof of the conjecture for (a,b)=(x^5 + x^3 + x^2 + 1, x + 1). Generated at 9/04/2020, CPU time used 9.2 minutes.

  142. Proof of the conjecture for (a,b)=(x^4 + x^3 + x^2 + 1, x^2 + x + 1). Generated at 9/04/2020, CPU time used 3.6 hours.

  143. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^3 + x^2 + 1, x + 1). Generated at 9/04/2020, CPU time used 5.0 hours.

  144. Proof of the conjecture for (a,b)=(x + 1, x^5 + x + 1). Generated at 9/04/2020, CPU time used 7.4 minutes.

  145. Proof of the conjecture for (a,b)=(x + 1, x^5 + x^4 + x + 1). Generated at 9/04/2020, CPU time used 3.4 minutes.

  146. Proof of the conjecture for (a,b)=(x + 1, x^5 + x^3 + x + 1). Generated at 9/04/2020, CPU time used 3.4 minutes.

  147. Proof of the conjecture for (a,b)=(x + 1, x^5 + x^4 + x^3 + x + 1). Generated at 9/04/2020, CPU time used 4.1 hours.

  148. Proof of the conjecture for (a,b)=(x + 1, x^5 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 27.3 minutes.

  149. Proof of the conjecture for (a,b)=(x + 1, x^5 + x^4 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 3.7 hours.

  150. Proof of the conjecture for (a,b)=(x + 1, x^5 + x^3 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 3.3 hours.

  151. Proof of the conjecture for (a,b)=(x + 1, x^5 + x^4 + x^3 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 3.6 minutes.

  152. Proof of the conjecture for (a,b)=(x^4 + x + 1, x^2 + x + 1). Generated at 9/04/2020, CPU time used 2.8 hours.

  153. Proof of the conjecture for (a,b)=(x^3 + x + 1, x^3 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 31.0 minutes.

  154. Proof of the conjecture for (a,b)=(x^4 + x^3 + x + 1, x^2 + x + 1). Generated at 9/04/2020, CPU time used 4.7 minutes.

  155. Proof of the conjecture for (a,b)=(x^2 + x + 1, x^4 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 2.9 hours.

  156. Proof of the conjecture for (a,b)=(x^2 + x + 1, x^4 + x^3 + x^2 + x + 1). Generated at 9/04/2020, CPU time used 7.8 minutes.

Total degree is 7

  1. Proof of the conjecture for (a,b)=(x^6, x). Generated at 9/04/2020 17:03:12, CPU time used 3.6 minutes.

  2. Proof of the conjecture for (a,b)=(x^6, x + 1). Generated at 9/04/2020 17:03:12, CPU time used 11.0 minutes.

  3. Proof of the conjecture for (a,b)=(x^5, x^2). Generated at 9/04/2020 17:03:12, CPU time used 3.5 minutes.

  4. Proof of the conjecture for (a,b)=(x^5, x^2 + x). Generated at 9/04/2020 17:03:12, CPU time used 8.7 minutes.

  5. Proof of the conjecture for (a,b)=(x^5, x^2 + 1). Generated at 9/04/2020 17:03:12, CPU time used 10.6 minutes.

  6. Proof of the conjecture for (a,b)=(x^5, x^2 + x + 1). Generated at 9/04/2020 17:03:12, CPU time used 34.5 minutes.

  7. Proof of the conjecture for (a,b)=(x^6 + x^5, x). Generated at 9/04/2020 17:03:12, CPU time used 3.4 minutes.

  8. Proof of the conjecture for (a,b)=(x^6 + x^5, x + 1). Generated at 9/04/2020 17:03:12, CPU time used 3.4 minutes.

  9. Proof of the conjecture for (a,b)=(x^4, x^3). Generated at 9/04/2020 17:03:12, CPU time used 3.1 minutes.

  10. Proof of the conjecture for (a,b)=(x^4, x^3 + x^2). Generated at 9/04/2020 17:03:12, CPU time used 5.7 minutes.

  11. Proof of the conjecture for (a,b)=(x^4, x^3 + x). Generated at 9/04/2020 17:26:06, CPU time used 7.9 minutes.

  12. Proof of the conjecture for (a,b)=(x^4, x^3 + x^2 + x). Generated at 9/04/2020 17:26:06, CPU time used 10.9 minutes.

  13. Proof of the conjecture for (a,b)=(x^4, x^3 + 1). Generated at 9/04/2020 17:26:06, CPU time used 1.2 hours.

  14. Proof of the conjecture for (a,b)=(x^4, x^3 + x^2 + 1). Generated at 9/04/2020 18:44:29, CPU time used 1.1 hours.

  15. Proof of the conjecture for (a,b)=(x^4, x^3 + x + 1). Generated at 9/04/2020 17:26:06, CPU time used 1.0 hours.

  16. Proof of the conjecture for (a,b)=(x^4, x^3 + x^2 + x + 1). Generated at 9/04/2020 17:26:06, CPU time used 10.0 minutes.

  17. Proof of the conjecture for (a,b)=(x^6 + x^4, x). Generated at 9/04/2020 17:26:06, CPU time used 5.2 minutes.

  18. Proof of the conjecture for (a,b)=(x^6 + x^4, x + 1). Generated at 9/04/2020 17:26:06, CPU time used 9.6 minutes.

  19. Proof of the conjecture for (a,b)=(x^5 + x^4, x^2). Generated at 9/04/2020 17:26:06, CPU time used 5.8 minutes.

  20. Proof of the conjecture for (a,b)=(x^5 + x^4, x^2 + x). Generated at 9/04/2020 17:26:06, CPU time used 3.8 minutes.

  21. Proof of the conjecture for (a,b)=(x^5 + x^4, x^2 + 1). Generated at 9/04/2020 17:26:06, CPU time used 8.3 minutes.

  22. Proof of the conjecture for (a,b)=(x^5 + x^4, x^2 + x + 1). Generated at 9/04/2020 17:26:06, CPU time used 1.0 hours.

  23. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^4, x). Generated at 9/04/2020 17:26:06, CPU time used 25.2 minutes.

  24. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^4, x + 1). Generated at 9/04/2020 17:26:06, CPU time used 42.6 minutes.

  25. Proof of the conjecture for (a,b)=(x^3, x^4 + x^3). Generated at 9/04/2020 17:26:06, CPU time used 3.3 minutes.

  26. Proof of the conjecture for (a,b)=(x^3, x^4 + x^2). Generated at 9/04/2020 17:26:06, CPU time used 3.8 minutes.

  27. Proof of the conjecture for (a,b)=(x^3, x^4 + x^3 + x^2). Generated at 9/04/2020 17:26:06, CPU time used 9.9 minutes.

  28. Proof of the conjecture for (a,b)=(x^3, x^4 + x). Generated at 9/04/2020 17:26:07, CPU time used 4.2 minutes.

  29. Proof of the conjecture for (a,b)=(x^3, x^4 + x^3 + x). Generated at 9/04/2020 17:26:06, CPU time used 19.9 minutes.

  30. Proof of the conjecture for (a,b)=(x^3, x^4 + x^2 + x). Generated at 9/04/2020 17:26:06, CPU time used 34.6 minutes.

  31. Proof of the conjecture for (a,b)=(x^3, x^4 + x^3 + x^2 + x). Generated at 9/04/2020 17:26:07, CPU time used 6.0 minutes.

  32. Proof of the conjecture for (a,b)=(x^3, x^4 + 1). Generated at 9/04/2020 17:26:06, CPU time used 11.6 minutes.

  33. Proof of the conjecture for (a,b)=(x^3, x^4 + x^3 + 1). Generated at 9/04/2020 17:26:06, CPU time used 1.3 hours.

  34. Proof of the conjecture for (a,b)=(x^3, x^4 + x^2 + 1). Generated at 9/04/2020 17:26:06, CPU time used 6.9 minutes.

  35. Proof of the conjecture for (a,b)=(x^3, x^4 + x^3 + x^2 + 1). Generated at 9/04/2020 17:26:06, CPU time used 1.8 hours.

  36. Proof of the conjecture for (a,b)=(x^3, x^4 + x + 1). Generated at 9/04/2020 17:26:06, CPU time used 1.4 hours.

  37. Proof of the conjecture for (a,b)=(x^3, x^4 + x^3 + x + 1). Generated at 9/04/2020 17:26:06, CPU time used 25.8 minutes.

  38. Proof of the conjecture for (a,b)=(x^3, x^4 + x^2 + x + 1). Generated at 9/04/2020 17:26:06, CPU time used 1.7 hours.

  39. Proof of the conjecture for (a,b)=(x^3, x^4 + x^3 + x^2 + x + 1). Generated at 9/04/2020 17:26:06, CPU time used 2.6 hours.

  40. Proof of the conjecture for (a,b)=(x^6 + x^3, x). Generated at 9/04/2020 17:26:07, CPU time used 33.9 minutes.

  41. Proof of the conjecture for (a,b)=(x^6 + x^3, x + 1). Generated at 9/04/2020 17:26:06, CPU time used 13.9 minutes.

  42. Proof of the conjecture for (a,b)=(x^5 + x^3, x^2). Generated at 9/04/2020 17:26:06, CPU time used 4.2 minutes.

  43. Proof of the conjecture for (a,b)=(x^5 + x^3, x^2 + x). Generated at 9/04/2020 17:26:06, CPU time used 5.0 minutes.

  44. Proof of the conjecture for (a,b)=(x^5 + x^3, x^2 + 1). Generated at 9/04/2020 17:26:06, CPU time used 3.4 minutes.

  45. Proof of the conjecture for (a,b)=(x^5 + x^3, x^2 + x + 1). Generated at 9/04/2020 17:26:06, CPU time used 43.4 minutes.

  46. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^3, x). Generated at 9/04/2020 17:26:06, CPU time used 24.8 minutes.

  47. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^3, x + 1). Generated at 9/04/2020 17:26:06, CPU time used 1.9 hours.

  48. Proof of the conjecture for (a,b)=(x^4 + x^3, x^3 + x^2). Generated at 9/04/2020 17:26:06, CPU time used 2.5 minutes.

  49. Proof of the conjecture for (a,b)=(x^4 + x^3, x^3 + x). Generated at 9/04/2020 17:26:06, CPU time used 5.1 minutes.

  50. Proof of the conjecture for (a,b)=(x^4 + x^3, x^3 + x^2 + x). Generated at 9/04/2020 17:26:06, CPU time used 13.9 minutes.

  51. Proof of the conjecture for (a,b)=(x^4 + x^3, x^3 + 1). Generated at 9/04/2020 17:30:32, CPU time used 14.6 minutes.

  52. Proof of the conjecture for (a,b)=(x^4 + x^3, x^3 + x^2 + 1). Generated at 9/04/2020 17:30:32, CPU time used 2.3 hours.

  53. Proof of the conjecture for (a,b)=(x^4 + x^3, x^3 + x + 1). Generated at 9/04/2020 17:30:32, CPU time used 2.5 hours.

  54. Proof of the conjecture for (a,b)=(x^4 + x^3, x^3 + x^2 + x + 1). Generated at 9/04/2020 17:30:32, CPU time used 5.9 minutes.

  55. Proof of the conjecture for (a,b)=(x^6 + x^4 + x^3, x). Generated at 9/04/2020 17:30:32, CPU time used 27.2 minutes.

  56. Proof of the conjecture for (a,b)=(x^6 + x^4 + x^3, x + 1). Generated at 9/04/2020 17:30:32, CPU time used 2.2 hours.

  57. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^3, x^2). Generated at 9/04/2020 17:30:32, CPU time used 10.8 minutes.

  58. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^3, x^2 + x). Generated at 9/04/2020 17:30:32, CPU time used 33.6 minutes.

  59. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^3, x^2 + 1). Generated at 9/04/2020 17:30:32, CPU time used 26.7 minutes.

  60. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^3, x^2 + x + 1). Generated at 9/04/2020 17:30:32, CPU time used 3.5 minutes.

  61. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^4 + x^3, x). Generated at 9/04/2020 17:30:32, CPU time used 3.7 minutes.

  62. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^4 + x^3, x + 1). Generated at 9/04/2020 17:30:32, CPU time used 3.5 minutes.

  63. Proof of the conjecture for (a,b)=(x^2, x^5 + x^2). Generated at 9/04/2020 17:30:32, CPU time used 5.3 minutes.

  64. Proof of the conjecture for (a,b)=(x^2, x^5 + x^4 + x^2). Generated at 9/04/2020 17:30:32, CPU time used 4.8 minutes.

  65. Proof of the conjecture for (a,b)=(x^2, x^5 + x^3 + x^2). Generated at 9/04/2020 17:30:32, CPU time used 14.4 minutes.

  66. Proof of the conjecture for (a,b)=(x^2, x^5 + x^4 + x^3 + x^2). Generated at 9/04/2020 17:30:32, CPU time used 3.4 minutes.

  67. Proof of the conjecture for (a,b)=(x^2, x^5 + x). Generated at 9/04/2020 17:30:32, CPU time used 6.8 minutes.

  68. Proof of the conjecture for (a,b)=(x^2, x^5 + x^4 + x). Generated at 9/04/2020 17:31:09, CPU time used 1.7 hours.

  69. Proof of the conjecture for (a,b)=(x^2, x^5 + x^3 + x). Generated at 9/04/2020 17:31:18, CPU time used 8.4 minutes.

  70. Proof of the conjecture for (a,b)=(x^2, x^5 + x^4 + x^3 + x). Generated at 9/04/2020 17:31:21, CPU time used 13.0 minutes.

  71. Proof of the conjecture for (a,b)=(x^2, x^5 + x^2 + x). Generated at 9/04/2020 17:31:59, CPU time used 1.7 hours.

  72. Proof of the conjecture for (a,b)=(x^2, x^5 + x^4 + x^2 + x). Generated at 9/04/2020 17:32:15, CPU time used 18.0 minutes.

  73. Proof of the conjecture for (a,b)=(x^2, x^5 + x^3 + x^2 + x). Generated at 9/04/2020 17:33:08, CPU time used 1.6 hours.

  74. Proof of the conjecture for (a,b)=(x^2, x^5 + x^4 + x^3 + x^2 + x). Generated at 9/04/2020 17:33:59, CPU time used 1.9 hours.

  75. Proof of the conjecture for (a,b)=(x^2, x^5 + 1). Generated at 9/04/2020 17:34:06, CPU time used 5.7 hours.

  76. Proof of the conjecture for (a,b)=(x^2, x^5 + x^4 + 1). Generated at 9/04/2020 17:34:07, CPU time used 5.0 hours.

  77. Proof of the conjecture for (a,b)=(x^2, x^5 + x^3 + 1). Generated at 9/04/2020 17:34:10, CPU time used 4.2 hours.

  78. Proof of the conjecture for (a,b)=(x^2, x^5 + x^4 + x^3 + 1). Generated at 9/04/2020 17:34:17, CPU time used 1.9 hours.

  79. Proof of the conjecture for (a,b)=(x^2, x^5 + x^2 + 1). Generated at 9/04/2020 17:34:30, CPU time used 5.7 hours.

  80. Proof of the conjecture for (a,b)=(x^2, x^5 + x^4 + x^2 + 1). Generated at 9/04/2020 17:35:28, CPU time used 5.6 hours.

  81. Proof of the conjecture for (a,b)=(x^2, x^5 + x^3 + x^2 + 1). Generated at 9/04/2020 17:35:48, CPU time used 32.6 minutes.

  82. Proof of the conjecture for (a,b)=(x^2, x^5 + x^4 + x^3 + x^2 + 1). Generated at 9/04/2020 17:35:59, CPU time used 5.9 hours.

  83. Proof of the conjecture for (a,b)=(x^2, x^5 + x + 1). Generated at 9/04/2020 17:36:04, CPU time used 4.5 hours.

  84. Proof of the conjecture for (a,b)=(x^2, x^5 + x^4 + x + 1). Generated at 9/04/2020 17:36:13, CPU time used 9.6 minutes.

  85. Proof of the conjecture for (a,b)=(x^2, x^5 + x^3 + x + 1). Generated at 9/04/2020 17:36:33, CPU time used 6.9 hours.

  86. Proof of the conjecture for (a,b)=(x^2, x^5 + x^4 + x^3 + x + 1). Generated at 9/04/2020 17:37:06, CPU time used 4.9 hours.

  87. Proof of the conjecture for (a,b)=(x^2, x^5 + x^2 + x + 1). Generated at 9/04/2020 17:37:27, CPU time used 1.5 hours.

  88. Proof of the conjecture for (a,b)=(x^2, x^5 + x^4 + x^2 + x + 1). Generated at 9/04/2020 17:37:47, CPU time used 5.2 hours.

  89. Proof of the conjecture for (a,b)=(x^2, x^5 + x^3 + x^2 + x + 1). Generated at 9/04/2020 17:37:49, CPU time used 52.9 minutes.

  90. Proof of the conjecture for (a,b)=(x^2, x^5 + x^4 + x^3 + x^2 + x + 1). Generated at 9/04/2020 17:39:51, CPU time used 11.2 minutes.

  91. Proof of the conjecture for (a,b)=(x^6 + x^2, x). Generated at 9/04/2020 17:40:06, CPU time used 9.1 minutes.

  92. Proof of the conjecture for (a,b)=(x^6 + x^2, x + 1). Generated at 9/04/2020 17:40:06, CPU time used 6.6 minutes.

  93. Proof of the conjecture for (a,b)=(x^5 + x^2, x^2 + x). Generated at 9/04/2020 17:41:27, CPU time used 12.1 minutes.

  94. Proof of the conjecture for (a,b)=(x^5 + x^2, x^2 + 1). Generated at 9/04/2020 17:44:26, CPU time used 29.3 minutes.

  95. Proof of the conjecture for (a,b)=(x^5 + x^2, x^2 + x + 1). Generated at 9/04/2020 17:45:00, CPU time used 16.8 minutes.

  96. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^2, x). Generated at 9/04/2020 17:45:13, CPU time used 1.8 hours.

  97. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^2, x + 1). Generated at 9/04/2020 17:45:54, CPU time used 7.9 hours.

  98. Proof of the conjecture for (a,b)=(x^4 + x^2, x^3 + x^2). Generated at 9/04/2020 17:46:05, CPU time used 3.3 minutes.

  99. Proof of the conjecture for (a,b)=(x^4 + x^2, x^3 + x). Generated at 9/04/2020 17:46:45, CPU time used 3.2 minutes.

  100. Proof of the conjecture for (a,b)=(x^4 + x^2, x^3 + x^2 + x). Generated at 9/04/2020 17:49:17, CPU time used 15.0 minutes.

  101. Proof of the conjecture for (a,b)=(x^4 + x^2, x^3 + 1). Generated at 9/04/2020 19:08:42, CPU time used 26.5 minutes.

  102. Proof of the conjecture for (a,b)=(x^4 + x^2, x^3 + x^2 + 1). Generated at 9/04/2020 19:08:42, CPU time used 1.2 hours.

  103. Proof of the conjecture for (a,b)=(x^4 + x^2, x^3 + x + 1). Generated at 9/04/2020 19:08:42, CPU time used 1.3 hours.

  104. Proof of the conjecture for (a,b)=(x^4 + x^2, x^3 + x^2 + x + 1). Generated at 9/04/2020 19:08:42, CPU time used 4.2 minutes.

  105. Proof of the conjecture for (a,b)=(x^6 + x^4 + x^2, x). Generated at 9/04/2020 19:08:42, CPU time used 9.1 minutes.

  106. Proof of the conjecture for (a,b)=(x^6 + x^4 + x^2, x + 1). Generated at 9/04/2020 19:08:42, CPU time used 28.1 minutes.

  107. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^2, x^2 + x). Generated at 9/04/2020 19:08:42, CPU time used 4.5 minutes.

  108. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^2, x^2 + 1). Generated at 9/04/2020 19:08:42, CPU time used 1.4 hours.

  109. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^2, x^2 + x + 1). Generated at 9/04/2020 19:08:42, CPU time used 5.7 hours.

  110. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^4 + x^2, x). Generated at 9/04/2020 19:08:42, CPU time used 1.7 hours.

  111. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^4 + x^2, x + 1). Generated at 9/04/2020 19:08:42, CPU time used 33.3 minutes.

  112. Proof of the conjecture for (a,b)=(x^3 + x^2, x^4 + x^3 + x^2). Generated at 9/04/2020 19:08:42, CPU time used 2.5 minutes.

  113. Proof of the conjecture for (a,b)=(x^3 + x^2, x^4 + x). Generated at 9/04/2020 19:08:42, CPU time used 8.4 minutes.

  114. Proof of the conjecture for (a,b)=(x^3 + x^2, x^4 + x^3 + x). Generated at 9/04/2020 19:08:43, CPU time used 1.6 hours.

  115. Proof of the conjecture for (a,b)=(x^3 + x^2, x^4 + x^2 + x). Generated at 9/04/2020 19:08:42, CPU time used 1.6 hours.

  116. Proof of the conjecture for (a,b)=(x^3 + x^2, x^4 + x^3 + x^2 + x). Generated at 9/04/2020 19:08:43, CPU time used 5.0 minutes.

  117. Proof of the conjecture for (a,b)=(x^3 + x^2, x^4 + 1). Generated at 9/04/2020 19:08:42, CPU time used 7.0 minutes.

  118. Proof of the conjecture for (a,b)=(x^3 + x^2, x^4 + x^3 + 1). Generated at 9/04/2020 19:08:43, CPU time used 4.3 hours.

  119. Proof of the conjecture for (a,b)=(x^3 + x^2, x^4 + x^2 + 1). Generated at 9/04/2020 19:08:42, CPU time used 25.5 minutes.

  120. Proof of the conjecture for (a,b)=(x^3 + x^2, x^4 + x^3 + x^2 + 1). Generated at 9/04/2020 19:08:42, CPU time used 29.9 minutes.

  121. Proof of the conjecture for (a,b)=(x^3 + x^2, x^4 + x + 1). Generated at 9/04/2020 19:08:42, CPU time used 5.4 hours.

  122. Proof of the conjecture for (a,b)=(x^3 + x^2, x^4 + x^3 + x + 1). Generated at 9/04/2020 19:08:42, CPU time used 20.6 minutes.

  123. Proof of the conjecture for (a,b)=(x^3 + x^2, x^4 + x^2 + x + 1). Generated at 9/04/2020 19:08:43, CPU time used 3.9 minutes.

  124. Proof of the conjecture for (a,b)=(x^3 + x^2, x^4 + x^3 + x^2 + x + 1). Generated at 9/04/2020 19:08:45, CPU time used 50.1 minutes.

  125. Proof of the conjecture for (a,b)=(x^6 + x^3 + x^2, x). Generated at 9/04/2020 19:10:53, CPU time used 13.7 minutes.

  126. Proof of the conjecture for (a,b)=(x^6 + x^3 + x^2, x + 1). Generated at 9/04/2020 19:11:15, CPU time used 6.8 hours.

  127. Proof of the conjecture for (a,b)=(x^5 + x^3 + x^2, x^2 + x). Generated at 9/04/2020 19:11:30, CPU time used 1.9 hours.

  128. Proof of the conjecture for (a,b)=(x^5 + x^3 + x^2, x^2 + 1). Generated at 9/04/2020 19:12:16, CPU time used 1.2 hours.

  129. Proof of the conjecture for (a,b)=(x^5 + x^3 + x^2, x^2 + x + 1). Generated at 9/04/2020 19:12:41, CPU time used 6.6 hours.

  130. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^3 + x^2, x). Generated at 9/04/2020 19:13:00, CPU time used 21.2 minutes.

  131. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^3 + x^2, x + 1). Generated at 9/04/2020 19:13:19, CPU time used 27.1 minutes.

  132. Proof of the conjecture for (a,b)=(x^4 + x^3 + x^2, x^3 + x). Generated at 9/04/2020 19:13:51, CPU time used 13.5 minutes.

  133. Proof of the conjecture for (a,b)=(x^4 + x^3 + x^2, x^3 + x^2 + x). Generated at 9/04/2020 19:14:36, CPU time used 5.0 minutes.

  134. Proof of the conjecture for (a,b)=(x^4 + x^3 + x^2, x^3 + 1). Generated at 9/04/2020 19:14:41, CPU time used 4.7 minutes.

  135. Proof of the conjecture for (a,b)=(x^4 + x^3 + x^2, x^3 + x^2 + 1). Generated at 9/04/2020 19:15:42, CPU time used 7.6 hours.

  136. Proof of the conjecture for (a,b)=(x^4 + x^3 + x^2, x^3 + x + 1). Generated at 9/04/2020 19:15:49, CPU time used 7.3 hours.

  137. Proof of the conjecture for (a,b)=(x^4 + x^3 + x^2, x^3 + x^2 + x + 1). Generated at 9/04/2020 19:17:13, CPU time used 43.5 minutes.

  138. Proof of the conjecture for (a,b)=(x^6 + x^4 + x^3 + x^2, x). Generated at 9/04/2020 19:17:55, CPU time used 1.6 hours.

  139. Proof of the conjecture for (a,b)=(x^6 + x^4 + x^3 + x^2, x + 1). Generated at 9/04/2020 19:18:05, CPU time used 18.3 minutes.

  140. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^3 + x^2, x^2 + x). Generated at 9/04/2020 19:19:19, CPU time used 4.9 minutes.

  141. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^3 + x^2, x^2 + 1). Generated at 9/04/2020 19:19:26, CPU time used 4.2 minutes.

  142. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^3 + x^2, x^2 + x + 1). Generated at 9/04/2020 19:19:25, CPU time used 52.5 minutes.

  143. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^4 + x^3 + x^2, x). Generated at 9/04/2020 19:19:41, CPU time used 1.8 hours.

  144. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^4 + x^3 + x^2, x + 1). Generated at 9/04/2020 19:23:43, CPU time used 8.0 hours.

  145. Proof of the conjecture for (a,b)=(x, x^6 + x). Generated at 9/04/2020 19:23:54, CPU time used 1.4 hours.

  146. Proof of the conjecture for (a,b)=(x, x^6 + x^5 + x). Generated at 9/04/2020 19:23:59, CPU time used 1.5 hours.

  147. Proof of the conjecture for (a,b)=(x, x^6 + x^4 + x). Generated at 9/04/2020 19:24:19, CPU time used 1.2 hours.

  148. Proof of the conjecture for (a,b)=(x, x^6 + x^5 + x^4 + x). Generated at 9/04/2020 19:24:41, CPU time used 30.3 minutes.

  149. Proof of the conjecture for (a,b)=(x, x^6 + x^3 + x). Generated at 9/04/2020 19:25:36, CPU time used 1.8 hours.

  150. Proof of the conjecture for (a,b)=(x, x^6 + x^5 + x^3 + x). Generated at 9/04/2020 19:25:54, CPU time used 1.4 hours.

  151. Proof of the conjecture for (a,b)=(x, x^6 + x^4 + x^3 + x). Generated at 9/04/2020 19:27:26, CPU time used 13.2 minutes.

  152. Proof of the conjecture for (a,b)=(x, x^6 + x^5 + x^4 + x^3 + x). Generated at 9/04/2020 19:28:26, CPU time used 1.6 hours.

  153. Proof of the conjecture for (a,b)=(x, x^6 + x^2 + x). Generated at 9/04/2020 19:28:31, CPU time used 1.0 hours.

  154. Proof of the conjecture for (a,b)=(x, x^6 + x^5 + x^2 + x). Generated at 9/04/2020 19:29:23, CPU time used 3.8 minutes.

  155. Proof of the conjecture for (a,b)=(x, x^6 + x^4 + x^2 + x). Generated at 9/04/2020 19:31:00, CPU time used 57.0 minutes.

  156. Proof of the conjecture for (a,b)=(x, x^6 + x^5 + x^4 + x^2 + x). Generated at 9/04/2020 19:31:03, CPU time used 58.5 minutes.

  157. Proof of the conjecture for (a,b)=(x, x^6 + x^3 + x^2 + x). Generated at 9/04/2020 19:33:14, CPU time used 17.6 minutes.

  158. Proof of the conjecture for (a,b)=(x, x^6 + x^5 + x^3 + x^2 + x). Generated at 9/04/2020 19:34:17, CPU time used 22.6 minutes.

  159. Proof of the conjecture for (a,b)=(x, x^6 + x^4 + x^3 + x^2 + x). Generated at 9/04/2020 19:34:21, CPU time used 7.2 minutes.

  160. Proof of the conjecture for (a,b)=(x, x^6 + x^5 + x^4 + x^3 + x^2 + x). Generated at 9/04/2020 19:35:02, CPU time used 3.5 minutes.

  161. Proof of the conjecture for (a,b)=(x, x^6 + 1). Generated at 9/04/2020 19:35:18, CPU time used 26.5 minutes.

  162. Proof of the conjecture for (a,b)=(x, x^6 + x^5 + 1). Generated at 9/04/2020 19:36:30, CPU time used 23.9 hours.

  163. Proof of the conjecture for (a,b)=(x, x^6 + x^4 + 1). Generated at 9/04/2020 19:36:52, CPU time used 25.8 minutes.

  164. Proof of the conjecture for (a,b)=(x, x^6 + x^5 + x^4 + 1). Generated at 9/04/2020 19:38:36, CPU time used 24.8 hours.

  165. Proof of the conjecture for (a,b)=(x, x^6 + x^3 + 1). Generated at 9/04/2020 19:38:39, CPU time used 31.2 hours.

  166. Proof of the conjecture for (a,b)=(x, x^6 + x^5 + x^3 + 1). Generated at 9/04/2020 19:39:45, CPU time used 1.4 hours.

  167. Proof of the conjecture for (a,b)=(x, x^6 + x^4 + x^3 + 1). Generated at 9/04/2020 19:40:28, CPU time used 1.8 hours.

  168. Proof of the conjecture for (a,b)=(x, x^6 + x^5 + x^4 + x^3 + 1). Generated at 9/04/2020 19:40:41, CPU time used 35.7 hours.

  169. Proof of the conjecture for (a,b)=(x, x^6 + x^2 + 1). Generated at 9/04/2020 19:41:40, CPU time used 19.9 minutes.

  170. Proof of the conjecture for (a,b)=(x, x^6 + x^5 + x^2 + 1). Generated at runone at : 18/05/2020 15:23:45, CPU time used 183.9 hours (17.9h for cal, 10.8+10.6+9.7+10.1+16.4+9.8+10.0+9.8+9.8+9.9+9.5+10.4+9.8+10.0+9.8+9.6 =166.0h for proof).

  171. Proof of the conjecture for (a,b)=(x, x^6 + x^4 + x^2 + 1). Generated at 9/04/2020 19:45:32, CPU time used 10.8 minutes.

  172. Proof of the conjecture for (a,b)=(x, x^6 + x^5 + x^4 + x^2 + 1). Generated at 9/04/2020 19:46:25, CPU time used 36.6 hours.

  173. Proof of the conjecture for (a,b)=(x, x^6 + x^3 + x^2 + 1). Generated at 9/04/2020 19:48:43, CPU time used 45.9 hours.

  174. Proof of the conjecture for (a,b)=(x, x^6 + x^5 + x^3 + x^2 + 1). Generated at 9/04/2020 19:50:53, CPU time used 23.8 hours.

  175. Proof of the conjecture for (a,b)=(x, x^6 + x^4 + x^3 + x^2 + 1). Generated at runone at : 06/05/2020 06:52:13, CPU time used 55.3 hours (16.9h for cal, 38.4h for proof).

  176. Proof of the conjecture for (a,b)=(x, x^6 + x^5 + x^4 + x^3 + x^2 + 1). Generated at 9/04/2020 19:56:23, CPU time used 6.8 hours.

  177. Proof of the conjecture for (a,b)=(x, x^6 + x + 1). Generated at 9/04/2020 19:57:01, CPU time used 25.1 hours.

  178. Proof of the conjecture for (a,b)=(x, x^6 + x^5 + x + 1). Generated at 9/04/2020 19:57:54, CPU time used 7.6 hours.

  179. Proof of the conjecture for (a,b)=(x, x^6 + x^4 + x + 1). Generated at 9/04/2020 19:58:22, CPU time used 22.2 hours.

  180. Proof of the conjecture for (a,b)=(x, x^6 + x^5 + x^4 + x + 1). Generated at 9/04/2020 19:58:56, CPU time used 1.4 hours.

  181. Proof of the conjecture for (a,b)=(x, x^6 + x^3 + x + 1). Generated at 9/04/2020 20:00:26, CPU time used 2.3 hours.

  182. Proof of the conjecture for (a,b)=(x, x^6 + x^5 + x^3 + x + 1). Generated at 9/04/2020 20:00:48, CPU time used 23.3 minutes.

  183. Proof of the conjecture for (a,b)=(x, x^6 + x^4 + x^3 + x + 1). Generated at runone at : 06/05/2020 06:52:13, CPU time used 65.1 hours (17.2h for cal, 47.9h for proof).

  184. Proof of the conjecture for (a,b)=(x, x^6 + x^5 + x^4 + x^3 + x + 1). Generated at 9/04/2020 20:01:53, CPU time used 25.4 hours.

  185. Proof of the conjecture for (a,b)=(x, x^6 + x^2 + x + 1). Generated at 9/04/2020 20:02:45, CPU time used 27.1 hours.

  186. Proof of the conjecture for (a,b)=(x, x^6 + x^5 + x^2 + x + 1). Generated at 9/04/2020 20:12:03, CPU time used 20.5 hours.

  187. Proof of the conjecture for (a,b)=(x, x^6 + x^4 + x^2 + x + 1). Generated at 9/04/2020 20:20:52, CPU time used 25.8 hours.

  188. Proof of the conjecture for (a,b)=(x, x^6 + x^5 + x^4 + x^2 + x + 1). Generated at 9/04/2020 20:24:09, CPU time used 1.1 hours.

  189. Proof of the conjecture for (a,b)=(x, x^6 + x^3 + x^2 + x + 1). Generated at runone at : 06/05/2020 06:52:13, CPU time used 63.0 hours (17.3h for cal, 45.7h for proof).

  190. Proof of the conjecture for (a,b)=(x, x^6 + x^5 + x^3 + x^2 + x + 1). Generated at 9/04/2020 20:26:17, CPU time used 33.1 hours.

  191. Proof of the conjecture for (a,b)=(x, x^6 + x^4 + x^3 + x^2 + x + 1). Generated at 9/04/2020 20:28:04, CPU time used 3.8 hours.

  192. Proof of the conjecture for (a,b)=(x, x^6 + x^5 + x^4 + x^3 + x^2 + x + 1). Generated at runone at : 06/05/2020 06:52:13, CPU time used 54.7 hours (18.0h for cal, 36.7h for proof).

  193. Proof of the conjecture for (a,b)=(x^6 + x, x + 1). Generated at 9/04/2020 20:29:37, CPU time used 1.1 hours.

  194. Proof of the conjecture for (a,b)=(x^5 + x, x^2 + x). Generated at 9/04/2020 20:30:25, CPU time used 3.6 minutes.

  195. Proof of the conjecture for (a,b)=(x^5 + x, x^2 + 1). Generated at 9/04/2020 20:34:10, CPU time used 6.1 minutes.

  196. Proof of the conjecture for (a,b)=(x^5 + x, x^2 + x + 1). Generated at 9/04/2020 20:35:48, CPU time used 58.5 minutes.

  197. Proof of the conjecture for (a,b)=(x^6 + x^5 + x, x + 1). Generated at runone at : 18/05/2020 15:26:35, CPU time used 178.6 hours (17.8h for cal, 10.9+10.5+9.9+10.2+10.1+9.8+10.0+9.9+9.8+9.9+10.7+10.5+9.9+10.2+9.9+8.8 =160.8h for proof).

  198. Proof of the conjecture for (a,b)=(x^4 + x, x^3 + x). Generated at 9/04/2020 20:47:34, CPU time used 10.3 minutes.

  199. Proof of the conjecture for (a,b)=(x^4 + x, x^3 + x^2 + x). Generated at 9/04/2020 20:47:48, CPU time used 2.4 minutes.

  200. Proof of the conjecture for (a,b)=(x^4 + x, x^3 + 1). Generated at 9/04/2020 20:48:25, CPU time used 2.6 minutes.

  201. Proof of the conjecture for (a,b)=(x^4 + x, x^3 + x^2 + 1). Generated at runone at : 06/05/2020 06:52:13, CPU time used 43.4 hours (16.8h for cal, 26.6h for proof).

  202. Proof of the conjecture for (a,b)=(x^4 + x, x^3 + x + 1). Generated at runone at : 06/05/2020 06:52:13, CPU time used 52.8 hours (17.1h for cal, 35.7h for proof).

  203. Proof of the conjecture for (a,b)=(x^4 + x, x^3 + x^2 + x + 1). Generated at 9/04/2020 21:40:18, CPU time used 4.2 minutes.

  204. Proof of the conjecture for (a,b)=(x^6 + x^4 + x, x + 1). Generated at 9/04/2020 21:40:18, CPU time used 25.2 hours.

  205. Proof of the conjecture for (a,b)=(x^5 + x^4 + x, x^2 + x). Generated at 9/04/2020 21:40:18, CPU time used 1.0 hours.

  206. Proof of the conjecture for (a,b)=(x^5 + x^4 + x, x^2 + 1). Generated at 9/04/2020 21:40:18, CPU time used 4.6 hours.

  207. Proof of the conjecture for (a,b)=(x^5 + x^4 + x, x^2 + x + 1). Generated at 9/04/2020 21:40:18, CPU time used 25.2 hours.

  208. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^4 + x, x + 1). Generated at 9/04/2020 21:40:18, CPU time used 1.4 hours.

  209. Proof of the conjecture for (a,b)=(x^3 + x, x^4 + x^3 + x). Generated at 9/04/2020 21:40:18, CPU time used 27.9 minutes.

  210. Proof of the conjecture for (a,b)=(x^3 + x, x^4 + x^2 + x). Generated at 9/04/2020 21:40:18, CPU time used 3.5 minutes.

  211. Proof of the conjecture for (a,b)=(x^3 + x, x^4 + x^3 + x^2 + x). Generated at 9/04/2020 21:40:18, CPU time used 2.8 minutes.

  212. Proof of the conjecture for (a,b)=(x^3 + x, x^4 + 1). Generated at 9/04/2020 21:40:18, CPU time used 5.9 minutes.

  213. Proof of the conjecture for (a,b)=(x^3 + x, x^4 + x^3 + 1). Generated at 9/04/2020 21:40:18, CPU time used 1.5 hours.

  214. Proof of the conjecture for (a,b)=(x^3 + x, x^4 + x^2 + 1). Generated at 9/04/2020 21:40:18, CPU time used 15.5 minutes.

  215. Proof of the conjecture for (a,b)=(x^3 + x, x^4 + x^3 + x^2 + 1). Generated at 9/04/2020 21:40:18, CPU time used 1.8 hours.

  216. Proof of the conjecture for (a,b)=(x^3 + x, x^4 + x + 1). Generated at 9/04/2020 21:40:18, CPU time used 5.1 hours.

  217. Proof of the conjecture for (a,b)=(x^3 + x, x^4 + x^3 + x + 1). Generated at 9/04/2020 21:40:18, CPU time used 2.9 minutes.

  218. Proof of the conjecture for (a,b)=(x^3 + x, x^4 + x^2 + x + 1). Generated at 9/04/2020 21:40:18, CPU time used 1.7 hours.

  219. Proof of the conjecture for (a,b)=(x^3 + x, x^4 + x^3 + x^2 + x + 1). Generated at 9/04/2020 21:43:09, CPU time used 1.5 hours.

  220. Proof of the conjecture for (a,b)=(x^6 + x^3 + x, x + 1). Generated at 9/04/2020 21:43:18, CPU time used 2.1 hours.

  221. Proof of the conjecture for (a,b)=(x^5 + x^3 + x, x^2 + x). Generated at 9/04/2020 21:43:51, CPU time used 6.4 minutes.

  222. Proof of the conjecture for (a,b)=(x^5 + x^3 + x, x^2 + 1). Generated at 9/04/2020 21:44:36, CPU time used 13.2 minutes.

  223. Proof of the conjecture for (a,b)=(x^5 + x^3 + x, x^2 + x + 1). Generated at 9/04/2020 21:46:04, CPU time used 9.5 minutes.

  224. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^3 + x, x + 1). Generated at 9/04/2020 21:46:18, CPU time used 1.6 hours.

  225. Proof of the conjecture for (a,b)=(x^4 + x^3 + x, x^3 + x^2 + x). Generated at 9/04/2020 21:50:18, CPU time used 55.2 minutes.

  226. Proof of the conjecture for (a,b)=(x^4 + x^3 + x, x^3 + 1). Generated at runone at : 18/05/2020 15:42:22, CPU time used 175.7 hours (17.1h for cal, 10.7+10.7+10.0+9.9+9.5+9.9+8.2+9.6+10.0+9.8+10.5+10.0+9.8+9.8+9.8+10.4 =158.6h for proof).

  227. Proof of the conjecture for (a,b)=(x^4 + x^3 + x, x^3 + x^2 + 1). Generated at 9/04/2020 21:55:54, CPU time used 9.8 minutes.

  228. Proof of the conjecture for (a,b)=(x^4 + x^3 + x, x^3 + x + 1). Generated at 9/04/2020 21:57:55, CPU time used 20.0 hours.

  229. Proof of the conjecture for (a,b)=(x^4 + x^3 + x, x^3 + x^2 + x + 1). Generated at 9/04/2020 21:59:40, CPU time used 2.1 hours.

  230. Proof of the conjecture for (a,b)=(x^6 + x^4 + x^3 + x, x + 1). Generated at 9/04/2020 22:01:00, CPU time used 32.2 minutes.

  231. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^3 + x, x^2 + x). Generated at 9/04/2020 22:05:49, CPU time used 2.8 minutes.

  232. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^3 + x, x^2 + 1). Generated at 9/04/2020 22:06:18, CPU time used 1.7 hours.

  233. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^3 + x, x^2 + x + 1). Generated at runone at : 18/05/2020 15:44:22, CPU time used 56.2 hours (17.3h for cal, 2.6+2.6+2.4+2.4+2.3+2.6+2.1+2.2+2.4+2.5+2.6+2.5+2.4+2.6+2.5+2.4 =38.8h for proof).

  234. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^4 + x^3 + x, x + 1). Generated at 9/04/2020 22:08:15, CPU time used 26.9 hours.

  235. Proof of the conjecture for (a,b)=(x^2 + x, x^5 + x^2 + x). Generated at 9/04/2020 22:08:40, CPU time used 1.4 hours.

  236. Proof of the conjecture for (a,b)=(x^2 + x, x^5 + x^4 + x^2 + x). Generated at 9/04/2020 22:09:54, CPU time used 10.8 minutes.

  237. Proof of the conjecture for (a,b)=(x^2 + x, x^5 + x^3 + x^2 + x). Generated at 9/04/2020 22:13:14, CPU time used 3.0 minutes.

  238. Proof of the conjecture for (a,b)=(x^2 + x, x^5 + x^4 + x^3 + x^2 + x). Generated at 9/04/2020 22:15:46, CPU time used 1.8 hours.

  239. Proof of the conjecture for (a,b)=(x^2 + x, x^5 + 1). Generated at 9/04/2020 22:16:19, CPU time used 1.1 hours.

  240. Proof of the conjecture for (a,b)=(x^2 + x, x^5 + x^4 + 1). Generated at 9/04/2020 22:17:54, CPU time used 26.1 hours.

  241. Proof of the conjecture for (a,b)=(x^2 + x, x^5 + x^3 + 1). Generated at runone at : 06/05/2020 06:52:13, CPU time used 62.6 hours (17.1h for cal, 45.5h for proof).

  242. Proof of the conjecture for (a,b)=(x^2 + x, x^5 + x^4 + x^3 + 1). Generated at 9/04/2020 22:20:50, CPU time used 1.7 hours.

  243. Proof of the conjecture for (a,b)=(x^2 + x, x^5 + x^2 + 1). Generated at runone at : 18/05/2020 15:55:39, CPU time used 229.9 hours (17.2h for cal, 10.6+10.5+9.8+9.9+9.9+10.0+8.5+10.0+16.3+9.9+10.5+30.6+15.9+10.2+10.2+30.0 =212.7h for proof).

  244. Proof of the conjecture for (a,b)=(x^2 + x, x^5 + x^4 + x^2 + 1). Generated at 9/04/2020 22:29:26, CPU time used 1.4 hours.

  245. Proof of the conjecture for (a,b)=(x^2 + x, x^5 + x^3 + x^2 + 1). Generated at 9/04/2020 22:33:18, CPU time used 33.8 minutes.

  246. Proof of the conjecture for (a,b)=(x^2 + x, x^5 + x^4 + x^3 + x^2 + 1). Generated at runone at : 06/05/2020 06:52:13, CPU time used 62.3 hours (17.8h for cal, 44.6h for proof).

  247. Proof of the conjecture for (a,b)=(x^2 + x, x^5 + x + 1). Generated at 9/04/2020 22:40:51, CPU time used 20.9 hours.

  248. Proof of the conjecture for (a,b)=(x^2 + x, x^5 + x^4 + x + 1). Generated at 9/04/2020 22:45:36, CPU time used 9.2 minutes.

  249. Proof of the conjecture for (a,b)=(x^2 + x, x^5 + x^3 + x + 1). Generated at 9/04/2020 22:48:43, CPU time used 1.7 hours.

  250. Proof of the conjecture for (a,b)=(x^2 + x, x^5 + x^4 + x^3 + x + 1). Generated at runone at : 06/05/2020 06:52:13, CPU time used 61.6 hours (17.2h for cal, 44.4h for proof).

  251. Proof of the conjecture for (a,b)=(x^2 + x, x^5 + x^2 + x + 1). Generated at 9/04/2020 23:05:03, CPU time used 6.0 minutes.

  252. Proof of the conjecture for (a,b)=(x^2 + x, x^5 + x^4 + x^2 + x + 1). Generated at runone at : 18/05/2020 16:03:49, CPU time used 170.0 hours (17.1h for cal, 10.4+10.2+9.7+9.3+9.3+9.7+8.0+9.0+9.7+9.6+9.6+10.2+10.3+9.9+9.8+8.2 =152.9h for proof).

  253. Proof of the conjecture for (a,b)=(x^2 + x, x^5 + x^3 + x^2 + x + 1). Generated at runone at : 06/05/2020 06:52:13, CPU time used 64.2 hours (17.3h for cal, 46.8h for proof).

  254. Proof of the conjecture for (a,b)=(x^2 + x, x^5 + x^4 + x^3 + x^2 + x + 1). Generated at 9/04/2020 23:09:55, CPU time used 6.3 minutes.

  255. Proof of the conjecture for (a,b)=(x^6 + x^2 + x, x + 1). Generated at 9/04/2020 23:11:11, CPU time used 22.2 hours.

  256. Proof of the conjecture for (a,b)=(x^5 + x^2 + x, x^2 + 1). Generated at 9/04/2020 23:14:20, CPU time used 3.1 hours.

  257. Proof of the conjecture for (a,b)=(x^5 + x^2 + x, x^2 + x + 1). Generated at runone at : 06/05/2020 06:52:13, CPU time used 55.4 hours (16.9h for cal, 38.5h for proof).

  258. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^2 + x, x + 1). Generated at 9/04/2020 23:16:21, CPU time used 3.8 minutes.

  259. Proof of the conjecture for (a,b)=(x^4 + x^2 + x, x^3 + x^2 + x). Generated at 9/04/2020 23:18:58, CPU time used 1.3 hours.

  260. Proof of the conjecture for (a,b)=(x^4 + x^2 + x, x^3 + 1). Generated at runone at : 06/05/2020 06:52:13, CPU time used 51.1 hours (17.0h for cal, 34.1h for proof).

  261. Proof of the conjecture for (a,b)=(x^4 + x^2 + x, x^3 + x^2 + 1). Generated at 9/04/2020 23:21:58, CPU time used 41.8 hours.

  262. Proof of the conjecture for (a,b)=(x^4 + x^2 + x, x^3 + x + 1). Generated at 9/04/2020 23:23:17, CPU time used 3.0 minutes.

  263. Proof of the conjecture for (a,b)=(x^4 + x^2 + x, x^3 + x^2 + x + 1). Generated at 9/04/2020 23:24:57, CPU time used 1.5 hours.

  264. Proof of the conjecture for (a,b)=(x^6 + x^4 + x^2 + x, x + 1). Generated at 9/04/2020 23:26:12, CPU time used 1.4 hours.

  265. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^2 + x, x^2 + 1). Generated at 9/04/2020 23:26:26, CPU time used 5.8 minutes.

  266. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^2 + x, x^2 + x + 1). Generated at 9/04/2020 23:26:26, CPU time used 15.9 minutes.

  267. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^4 + x^2 + x, x + 1). Generated at 9/04/2020 23:27:50, CPU time used 24.2 hours.

  268. Proof of the conjecture for (a,b)=(x^3 + x^2 + x, x^4 + x^3 + x^2 + x). Generated at 9/04/2020 23:32:17, CPU time used 14.1 minutes.

  269. Proof of the conjecture for (a,b)=(x^3 + x^2 + x, x^4 + 1). Generated at 9/04/2020 23:34:06, CPU time used 1.2 hours.

  270. Proof of the conjecture for (a,b)=(x^3 + x^2 + x, x^4 + x^3 + 1). Generated at 9/04/2020 23:42:23, CPU time used 23.7 hours.

  271. Proof of the conjecture for (a,b)=(x^3 + x^2 + x, x^4 + x^2 + 1). Generated at 9/04/2020 23:46:31, CPU time used 6.9 minutes.

  272. Proof of the conjecture for (a,b)=(x^3 + x^2 + x, x^4 + x^3 + x^2 + 1). Generated at runone at : 18/05/2020 16:05:58, CPU time used 172.3 hours (17.3h for cal, 10.6+10.2+9.6+9.4+9.4+9.8+8.1+9.8+9.7+9.9+9.6+10.0+10.4+10.0+10.2+8.1 =155.0h for proof).

  273. Proof of the conjecture for (a,b)=(x^3 + x^2 + x, x^4 + x + 1). Generated at 9/04/2020 23:48:24, CPU time used 24.5 hours.

  274. Proof of the conjecture for (a,b)=(x^3 + x^2 + x, x^4 + x^3 + x + 1). Generated at 9/04/2020 23:49:49, CPU time used 4.1 minutes.

  275. Proof of the conjecture for (a,b)=(x^3 + x^2 + x, x^4 + x^2 + x + 1). Generated at runone at : 06/05/2020 06:52:13, CPU time used 61.5 hours (17.1h for cal, 44.4h for proof).

  276. Proof of the conjecture for (a,b)=(x^3 + x^2 + x, x^4 + x^3 + x^2 + x + 1). Generated at 9/04/2020 23:53:31, CPU time used 21.9 hours.

  277. Proof of the conjecture for (a,b)=(x^6 + x^3 + x^2 + x, x + 1). Generated at 9/04/2020 23:54:03, CPU time used 1.6 hours.

  278. Proof of the conjecture for (a,b)=(x^5 + x^3 + x^2 + x, x^2 + 1). Generated at runone at : 30/04/2020 00:00:45, CPU time used 18.4 minutes.

  279. Proof of the conjecture for (a,b)=(x^5 + x^3 + x^2 + x, x^2 + x + 1). Generated at runone at : 06/05/2020 06:52:13, CPU time used 55.6 hours (17.4h for cal, 38.2h for proof).

  280. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^3 + x^2 + x, x + 1). Generated at runone at : 30/04/2020 00:04:26, CPU time used 29.5 hours.

  281. Proof of the conjecture for (a,b)=(x^4 + x^3 + x^2 + x, x^3 + 1). Generated at runone at : 30/04/2020 00:14:05, CPU time used 22.0 minutes.

  282. Proof of the conjecture for (a,b)=(x^4 + x^3 + x^2 + x, x^3 + x^2 + 1). Generated at runone at : 30/04/2020 00:19:12, CPU time used 2.5 hours.

  283. Proof of the conjecture for (a,b)=(x^4 + x^3 + x^2 + x, x^3 + x + 1). Generated at runone at : 30/04/2020 00:28:29, CPU time used 2.2 hours.

  284. Proof of the conjecture for (a,b)=(x^4 + x^3 + x^2 + x, x^3 + x^2 + x + 1). Generated at runone at : 30/04/2020 00:28:53, CPU time used 3.2 minutes.

  285. Proof of the conjecture for (a,b)=(x^6 + x^4 + x^3 + x^2 + x, x + 1). Generated at runone at : 30/04/2020 00:32:12, CPU time used 44.4 hours.

  286. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^3 + x^2 + x, x^2 + 1). Generated at runone at : 30/04/2020 00:32:34, CPU time used 6.3 hours.

  287. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^3 + x^2 + x, x^2 + x + 1). Generated at runone at : 18/05/2020 16:07:46, CPU time used 174.9 hours (17.0h for cal, 10.4+10.5+9.9+9.2+9.4+10.0+8.1+9.8+9.6+9.8+10.3+9.9+10.4+10.2+10.1+10.2 =157.9h for proof).

  288. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^4 + x^3 + x^2 + x, x + 1). Generated at runone at : 30/04/2020 00:36:47, CPU time used 4.3 minutes.

  289. Proof of the conjecture for (a,b)=(x^6 + 1, x + 1). Generated at runone at : 30/04/2020 00:41:09, CPU time used 11.0 minutes.

  290. Proof of the conjecture for (a,b)=(x^5 + 1, x^2 + 1). Generated at runone at : 30/04/2020 00:48:10, CPU time used 2.3 hours.

  291. Proof of the conjecture for (a,b)=(x^5 + 1, x^2 + x + 1). Generated at runone at : 30/04/2020 00:52:13, CPU time used 23.7 hours.

  292. Proof of the conjecture for (a,b)=(x^6 + x^5 + 1, x + 1). Generated at runone at : 30/04/2020 00:52:13, CPU time used 19.2 hours.

  293. Proof of the conjecture for (a,b)=(x^4 + 1, x^3 + 1). Generated at runone at : 30/04/2020 00:52:26, CPU time used 21.2 minutes.

  294. Proof of the conjecture for (a,b)=(x^4 + 1, x^3 + x^2 + 1). Generated at runone at : 30/04/2020 00:53:33, CPU time used 1.2 hours.

  295. Proof of the conjecture for (a,b)=(x^4 + 1, x^3 + x + 1). Generated at runone at : 30/04/2020 01:13:44, CPU time used 1.3 hours.

  296. Proof of the conjecture for (a,b)=(x^4 + 1, x^3 + x^2 + x + 1). Generated at runone at : 30/04/2020 01:23:27, CPU time used 3.8 minutes.

  297. Proof of the conjecture for (a,b)=(x^6 + x^4 + 1, x + 1). Generated at runone at : 30/04/2020 01:27:19, CPU time used 24.6 minutes.

  298. Proof of the conjecture for (a,b)=(x^5 + x^4 + 1, x^2 + 1). Generated at runone at : 30/04/2020 01:30:42, CPU time used 4.6 hours.

  299. Proof of the conjecture for (a,b)=(x^5 + x^4 + 1, x^2 + x + 1). Generated at runone at : 30/04/2020 01:33:42, CPU time used 39.4 minutes.

  300. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^4 + 1, x + 1). Generated at runone at : 30/04/2020 01:40:34, CPU time used 1.2 hours.

  301. Proof of the conjecture for (a,b)=(x^3 + 1, x^4 + x^3 + 1). Generated at runone at : 30/04/2020 01:51:23, CPU time used 20.7 hours.

  302. Proof of the conjecture for (a,b)=(x^3 + 1, x^4 + x^2 + 1). Generated at runone at : 30/04/2020 01:52:02, CPU time used 10.9 minutes.

  303. Proof of the conjecture for (a,b)=(x^3 + 1, x^4 + x^3 + x^2 + 1). Generated at runone at : 30/04/2020 01:58:22, CPU time used 1.2 hours.

  304. Proof of the conjecture for (a,b)=(x^3 + 1, x^4 + x + 1). Generated at runone at : 30/04/2020 02:03:04, CPU time used 22.5 hours.

  305. Proof of the conjecture for (a,b)=(x^3 + 1, x^4 + x^3 + x + 1). Generated at runone at : 30/04/2020 02:07:37, CPU time used 8.1 minutes.

  306. Proof of the conjecture for (a,b)=(x^3 + 1, x^4 + x^2 + x + 1). Generated at runone at : 30/04/2020 02:13:09, CPU time used 1.5 hours.

  307. Proof of the conjecture for (a,b)=(x^3 + 1, x^4 + x^3 + x^2 + x + 1). Generated at runone at : 30/04/2020 02:15:26, CPU time used 25.5 hours.

  308. Proof of the conjecture for (a,b)=(x^6 + x^3 + 1, x + 1). Generated at runone at : 30/04/2020 02:15:47, CPU time used 37.7 hours.

  309. Proof of the conjecture for (a,b)=(x^5 + x^3 + 1, x^2 + 1). Generated at runone at : 30/04/2020 02:20:44, CPU time used 5.8 hours.

  310. Proof of the conjecture for (a,b)=(x^5 + x^3 + 1, x^2 + x + 1). Generated at runone at : 30/04/2020 02:32:19, CPU time used 32.1 hours.

  311. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^3 + 1, x + 1). Generated at runone at : 30/04/2020 02:32:55, CPU time used 36.8 minutes.

  312. Proof of the conjecture for (a,b)=(x^4 + x^3 + 1, x^3 + x^2 + 1). Generated at runone at : 18/05/2020 16:08:54, CPU time used 175.2 hours (16.9h for cal, 11.1+10.4+9.6+10.1+10.3+9.6+8.4+10.3+9.8+9.5+9.6+10.3+10.4+10.0+9.9+9.2 =158.3h for proof).

  313. Proof of the conjecture for (a,b)=(x^4 + x^3 + 1, x^3 + x + 1). Generated at runone at : 19/05/2020 07:35:47, CPU time used 80.8 hours (15.3h for cal, 9.2+1.3+1.3+8.6+8.6+0.3+0.3+8.6+4.6+1.3+1.3+4.8+4.8+1.3+1.4+4.1+1.3+1.3+1.3 =65.5h for proof).

  314. Proof of the conjecture for (a,b)=(x^4 + x^3 + 1, x^3 + x^2 + x + 1). Generated at runone at : 30/04/2020 02:44:05, CPU time used 3.2 hours.

  315. Proof of the conjecture for (a,b)=(x^6 + x^4 + x^3 + 1, x + 1). Generated at runone at : 30/04/2020 02:50:59, CPU time used 1.7 hours.

  316. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^3 + 1, x^2 + 1). Generated at runone at : 30/04/2020 02:52:13, CPU time used 14.5 minutes.

  317. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^3 + 1, x^2 + x + 1). Generated at runone at : 30/04/2020 02:52:16, CPU time used 6.6 hours.

  318. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^4 + x^3 + 1, x + 1). Generated at runone at : 30/04/2020 03:06:49, CPU time used 33.7 hours.

  319. Proof of the conjecture for (a,b)=(x^2 + 1, x^5 + x^2 + 1). Generated at runone at : 30/04/2020 03:09:07, CPU time used 4.4 hours.

  320. Proof of the conjecture for (a,b)=(x^2 + 1, x^5 + x^4 + x^2 + 1). Generated at runone at : 30/04/2020 03:09:47, CPU time used 2.6 hours.

  321. Proof of the conjecture for (a,b)=(x^2 + 1, x^5 + x^3 + x^2 + 1). Generated at runone at : 30/04/2020 03:11:58, CPU time used 12.0 minutes.

  322. Proof of the conjecture for (a,b)=(x^2 + 1, x^5 + x^4 + x^3 + x^2 + 1). Generated at runone at : 30/04/2020 03:21:48, CPU time used 3.7 hours.

  323. Proof of the conjecture for (a,b)=(x^2 + 1, x^5 + x + 1). Generated at runone at : 30/04/2020 03:24:06, CPU time used 6.1 hours.

  324. Proof of the conjecture for (a,b)=(x^2 + 1, x^5 + x^4 + x + 1). Generated at runone at : 30/04/2020 03:31:06, CPU time used 4.6 minutes.

  325. Proof of the conjecture for (a,b)=(x^2 + 1, x^5 + x^3 + x + 1). Generated at runone at : 30/04/2020 03:35:47, CPU time used 3.0 hours.

  326. Proof of the conjecture for (a,b)=(x^2 + 1, x^5 + x^4 + x^3 + x + 1). Generated at runone at : 30/04/2020 03:41:14, CPU time used 1.4 hours.

  327. Proof of the conjecture for (a,b)=(x^2 + 1, x^5 + x^2 + x + 1). Generated at runone at : 30/04/2020 04:33:39, CPU time used 5.0 minutes.

  328. Proof of the conjecture for (a,b)=(x^2 + 1, x^5 + x^4 + x^2 + x + 1). Generated at runone at : 30/04/2020 04:38:45, CPU time used 4.6 hours.

  329. Proof of the conjecture for (a,b)=(x^2 + 1, x^5 + x^3 + x^2 + x + 1). Generated at runone at : 30/04/2020 05:07:16, CPU time used 4.8 hours.

  330. Proof of the conjecture for (a,b)=(x^2 + 1, x^5 + x^4 + x^3 + x^2 + x + 1). Generated at runone at : 30/04/2020 05:44:48, CPU time used 11.8 minutes.

  331. Proof of the conjecture for (a,b)=(x^6 + x^2 + 1, x + 1). Generated at runone at : 30/04/2020 05:56:08, CPU time used 29.4 minutes.

  332. Proof of the conjecture for (a,b)=(x^5 + x^2 + 1, x^2 + x + 1). Generated at runone at : 30/04/2020 05:56:39, CPU time used 46.9 hours.

  333. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^2 + 1, x + 1). Generated at runone at : 30/04/2020 06:09:31, CPU time used 1.6 hours.

  334. Proof of the conjecture for (a,b)=(x^4 + x^2 + 1, x^3 + x^2 + 1). Generated at runone at : 30/04/2020 06:25:39, CPU time used 1.8 hours.

  335. Proof of the conjecture for (a,b)=(x^4 + x^2 + 1, x^3 + x + 1). Generated at runone at : 30/04/2020 06:34:49, CPU time used 1.8 hours.

  336. Proof of the conjecture for (a,b)=(x^4 + x^2 + 1, x^3 + x^2 + x + 1). Generated at runone at : 30/04/2020 06:48:54, CPU time used 14.2 minutes.

  337. Proof of the conjecture for (a,b)=(x^6 + x^4 + x^2 + 1, x + 1). Generated at runone at : 30/04/2020 07:03:13, CPU time used 4.9 minutes.

  338. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^2 + 1, x^2 + x + 1). Generated at runone at : 30/04/2020 07:05:57, CPU time used 43.0 hours.

  339. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^4 + x^2 + 1, x + 1). Generated at runone at : 30/04/2020 07:08:14, CPU time used 1.3 hours.

  340. Proof of the conjecture for (a,b)=(x^3 + x^2 + 1, x^4 + x^3 + x^2 + 1). Generated at runone at : 30/04/2020 07:34:01, CPU time used 20.7 hours.

  341. Proof of the conjecture for (a,b)=(x^3 + x^2 + 1, x^4 + x + 1). Generated at runone at : 30/04/2020 07:44:36, CPU time used 33.9 hours.

  342. Proof of the conjecture for (a,b)=(x^3 + x^2 + 1, x^4 + x^3 + x + 1). Generated at runone at : 30/04/2020 08:09:22, CPU time used 7.0 hours.

  343. Proof of the conjecture for (a,b)=(x^3 + x^2 + 1, x^4 + x^2 + x + 1). Generated at runone at : 30/04/2020 08:13:07, CPU time used 3.1 minutes.

  344. Proof of the conjecture for (a,b)=(x^3 + x^2 + 1, x^4 + x^3 + x^2 + x + 1). Generated at runone at : 30/04/2020 08:16:22, CPU time used 46.1 hours.

  345. Proof of the conjecture for (a,b)=(x^6 + x^3 + x^2 + 1, x + 1). Generated at runone at : 30/04/2020 08:23:58, CPU time used 10.1 minutes.

  346. Proof of the conjecture for (a,b)=(x^5 + x^3 + x^2 + 1, x^2 + x + 1). Generated at runone at : 30/04/2020 08:26:04, CPU time used 3.7 minutes.

  347. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^3 + x^2 + 1, x + 1). Generated at runone at : 30/04/2020 08:29:53, CPU time used 22.6 hours.

  348. Proof of the conjecture for (a,b)=(x^4 + x^3 + x^2 + 1, x^3 + x + 1). Generated at runone at : 30/04/2020 08:34:07, CPU time used 9.4 minutes.

  349. Proof of the conjecture for (a,b)=(x^4 + x^3 + x^2 + 1, x^3 + x^2 + x + 1). Generated at runone at : 30/04/2020 08:43:40, CPU time used 24.0 minutes.

  350. Proof of the conjecture for (a,b)=(x^6 + x^4 + x^3 + x^2 + 1, x + 1). Generated at runone at : 18/05/2020 16:31:19, CPU time used 75.8 hours (16.4h for cal, 8.9+2.6+2.6+8.3+8.2+2.3+8.2+2.6+2.5+2.6+2.7+2.9+2.6+2.2 =59.4h for proof).

  351. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^3 + x^2 + 1, x^2 + x + 1). Generated at runone at : 30/04/2020 09:13:32, CPU time used 27.3 hours.

  352. Proof of the conjecture for (a,b)=(x^6 + x^5 + x^4 + x^3 + x^2 + 1, x + 1). Generated at runone at : 30/04/2020 09:30:59, CPU time used 2.4 hours.

  353. Proof of the conjecture for (a,b)=(x + 1, x^6 + x + 1). Generated at runone at : 30/04/2020 09:31:54, CPU time used 23.6 hours.

  354. Proof of the conjecture for (a,b)=(x + 1, x^6 + x^5 + x + 1). Generated at runone at : 30/04/2020 09:54:21, CPU time used 2.8 hours.

  355. Proof of the conjecture for (a,b)=(x + 1, x^6 + x^4 + x + 1). Generated at runone at : 30/04/2020 11:53:32, CPU time used 1.1 hours.

  356. Proof of the conjecture for (a,b)=(x + 1, x^6 + x^5 + x^4 + x + 1). Generated at runone at : 30/04/2020 12:40:27, CPU time used 30.0 hours.

  357. Proof of the conjecture for (a,b)=(x + 1, x^6 + x^3 + x + 1). Generated at runone at : 30/04/2020 12:59:38, CPU time used 34.1 minutes.

  358. Proof of the conjecture for (a,b)=(x + 1, x^6 + x^5 + x^3 + x + 1). Generated at runone at : 30/04/2020 13:33:51, CPU time used 19.1 minutes.

  359. Proof of the conjecture for (a,b)=(x + 1, x^6 + x^4 + x^3 + x + 1). Generated at runone at : 30/04/2020 13:53:04, CPU time used 29.1 hours.

  360. Proof of the conjecture for (a,b)=(x + 1, x^6 + x^5 + x^4 + x^3 + x + 1). Generated at runone at : 30/04/2020 15:07:48, CPU time used 1.6 hours.

  361. Proof of the conjecture for (a,b)=(x + 1, x^6 + x^2 + x + 1). Generated at runone at : 30/04/2020 16:41:49, CPU time used 1.4 hours.

  362. Proof of the conjecture for (a,b)=(x + 1, x^6 + x^5 + x^2 + x + 1). Generated at runone at : 30/04/2020 16:43:49, CPU time used 21.0 hours.

  363. Proof of the conjecture for (a,b)=(x + 1, x^6 + x^4 + x^2 + x + 1). Generated at runone at : 30/04/2020 17:28:40, CPU time used 22.2 hours.

  364. Proof of the conjecture for (a,b)=(x + 1, x^6 + x^5 + x^4 + x^2 + x + 1). Generated at runone at : 30/04/2020 17:28:40, CPU time used 25.2 minutes.

  365. Proof of the conjecture for (a,b)=(x + 1, x^6 + x^3 + x^2 + x + 1). Generated at runone at : 30/04/2020 17:28:40, CPU time used 44.8 hours.

  366. Proof of the conjecture for (a,b)=(x + 1, x^6 + x^5 + x^3 + x^2 + x + 1). Generated at runone at : 30/04/2020 17:28:40, CPU time used 32.0 minutes.

  367. Proof of the conjecture for (a,b)=(x + 1, x^6 + x^4 + x^3 + x^2 + x + 1). Generated at runone at : 30/04/2020 17:28:40, CPU time used 16.6 minutes.

  368. Proof of the conjecture for (a,b)=(x + 1, x^6 + x^5 + x^4 + x^3 + x^2 + x + 1). Generated at runone at : 06/05/2020 06:52:13, CPU time used 55.6 hours (16.3h for cal, 39.3h for proof).

  369. Proof of the conjecture for (a,b)=(x^5 + x + 1, x^2 + x + 1). Generated at runone at : 30/04/2020 17:28:40, CPU time used 36.8 minutes.

  370. Proof of the conjecture for (a,b)=(x^4 + x + 1, x^3 + x + 1). Generated at runone at : 30/04/2020 17:28:40, CPU time used 35.3 hours.

  371. Proof of the conjecture for (a,b)=(x^4 + x + 1, x^3 + x^2 + x + 1). Generated at runone at : 30/04/2020 17:28:40, CPU time used 1.7 hours.

  372. Proof of the conjecture for (a,b)=(x^5 + x^4 + x + 1, x^2 + x + 1). Generated at runone at : 30/04/2020 17:28:40, CPU time used 37.0 minutes.

  373. Proof of the conjecture for (a,b)=(x^3 + x + 1, x^4 + x^3 + x + 1). Generated at runone at : 30/04/2020 17:28:40, CPU time used 9.2 hours.

  374. Proof of the conjecture for (a,b)=(x^3 + x + 1, x^4 + x^2 + x + 1). Generated at runone at : 30/04/2020 17:28:40, CPU time used 41.0 hours.

  375. Proof of the conjecture for (a,b)=(x^3 + x + 1, x^4 + x^3 + x^2 + x + 1). Generated at runone at : 19/05/2020 07:35:55, CPU time used 216.6 hours (15.0h for cal, 8.9+20.7+9.7+9.7+19.0+19.2+9.6+8.3+20.1+9.8+8.0+10.2+10.3+10.5+10.0+8.6+9.1 =201.6h for proof).

  376. Proof of the conjecture for (a,b)=(x^5 + x^3 + x + 1, x^2 + x + 1). Generated at runone at : 18/05/2020 16:41:27, CPU time used 151.8 hours (15.7h for cal, 10.5+9.8+9.7+9.4+9.5+9.7+8.4+9.6+8.1+10.1+10.3+10.5+9.8+10.6 =136.0h for proof).

  377. Proof of the conjecture for (a,b)=(x^4 + x^3 + x + 1, x^3 + x^2 + x + 1). Generated at runone at : 30/04/2020 17:28:40, CPU time used 10.0 minutes.

  378. Proof of the conjecture for (a,b)=(x^5 + x^4 + x^3 + x + 1, x^2 + x + 1). Generated at runone at : 30/04/2020 17:28:40, CPU time used 30.7 hours.

  379. Proof of the conjecture for (a,b)=(x^2 + x + 1, x^5 + x^2 + x + 1). Generated at runone at : 30/04/2020 17:28:40, CPU time used 5.8 hours.

  380. Proof of the conjecture for (a,b)=(x^2 + x + 1, x^5 + x^4 + x^2 + x + 1). Generated at runone at : 30/04/2020 17:28:40, CPU time used 42.7 hours.

  381. Proof of the conjecture for (a,b)=(x^2 + x + 1, x^5 + x^3 + x^2 + x + 1). Generated at runone at : 30/04/2020 17:28:40, CPU time used 30.6 hours.

  382. Proof of the conjecture for (a,b)=(x^2 + x + 1, x^5 + x^4 + x^3 + x^2 + x + 1). Generated at runone at : 30/04/2020 17:28:40, CPU time used 11.9 minutes.

  383. Proof of the conjecture for (a,b)=(x^4 + x^2 + x + 1, x^3 + x^2 + x + 1). Generated at runone at : 30/04/2020 17:28:40, CPU time used 36.1 minutes.

  384. Proof of the conjecture for (a,b)=(x^3 + x^2 + x + 1, x^4 + x^3 + x^2 + x + 1). Generated at runone at : 30/04/2020 17:28:40, CPU time used 1.7 hours.