SZS status Theorem for i/f/lbtree/map__eq__Lf_c1
