% SZS status Timeout for TC__lifts__transitive__relatio
