SZS status Theorem for i/f/llist/llength__rel__rules_c0
