User blog comment:Alemagno12/Huge Ordinal Analysis/@comment-11227630-20180208013330/@comment-1605058-20180209151801

Fairly sure all those are have PTO smaller than ZFC.