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