% SZS status Timeout for INFINITE__EXPLICIT__ENUMERA
