Results for utreexo proofs