certified terms 5753 | used terms 5753 | terms needed for q < 2^8000 (+2) 4642
used terms agree with certified prefix up to needed length: True | full overlap agrees: True
upper fractions 20775 consecutive Farey neighbours (p q' - p' q = 1): True | first [(2, 1), (5, 3), (8, 5), (27, 17)] | time 1.0s
