SZS status Theorem for i/f/lbtree/depth__rules_c0
