Large Pi Square
hal ("0009")
3.14159...00094458995279... (starting in position 12174)
Small Pi Square
QED