The stored value is the 72-digit decimal recorded in [3]. OEIS says those digits were computed using Markoff numbers up to $10^{40}$; this table takes that bound on trust rather than deriving an independent tail estimate.
The generator transcribes the digit string and checks its leading digits against Zagier's rapidly convergent sum over the 56 normalized Markoff triples with largest member $r\leq10^7$, whose count was checked by an independent enumeration.