% SZS status Timeout for TC__lifts__invarian
