SZS status Theorem for i/f/quantHeuristics/IS__REMOVABLE__QUANT__FUN______EXISTS__THM
