SZS status Theorem for i/f/alist/MEM__pair__fmap__to__alist__FLOOKUP
