User blog comment:Alemagno12/Huge Ordinal Analysis/@comment-30118230-20180207150919/@comment-30118230-20180213120050

EDIT: Turns out that $$\text{KP}+\Sigma^1_1-\text{MI}$$ is equivalent to KPh,therefore it has a PTO of $$\psi(\psi_{I(1,0)}(0))$$.