% SZS status Timeout for antisymmetric__
