SZS status Theorem for i/f/finite_map/FUPD11__SAME__KEY__AND__BASE
