Title: Bounds for cut elimination in intuitionistic propositional logic