Large Pi Square
Typo ("TYP0")
3.14159...20251601273559568... (starting in position 8550728)
Small Pi Square
QED