SZS status Theorem for i/f/quantHeuristics/IS__REMOVABLE__QUANT__FUN______FORALL__THM
