which is 5,145,662,993 in decimal notation.
I had corrected this omission earlier, but, as any programmer knows, correcting one error often introduces another, and it did so in this case. In the unlikely chance that someone reading this blog post is relying on my list, please be sure that you have examined the revised list for order-9 and order-10 base-12 PPDIs.
I apologize for the error(s).
I am compiling a list of base-13 PPDIs, but this project will take a long time.