1.13/0.72 MAYBE 1.13/0.72 (UNSUPPORTED) 1.13/0.72 ConCon could not decide confluence of the system. 1.13/0.72 This system is oriented. 1.13/0.72 This system is of type 3 or smaller. 1.13/0.72 This system is not right-stable. 1.13/0.72 EOF