SZS status Theorem for i/f/numposrep/l2n__pow2__compute_c1
