% SZS status Timeout for ALGEBRA__SUBSET__LAMBDA__SYST
