24.27/8.66	MAYBE
24.27/8.66	(UNSUPPORTED)
24.27/8.66	ConCon could not decide confluence of the system.
24.27/8.66	\cite{ALS94}, Theorem 4.1 does not apply.
24.27/8.66	This system is of type 3 or smaller.
24.27/8.66	This system is absolutely deterministic.
24.27/8.66	The external tool could not decide termination of the system.
24.27/8.66	Call external tool:
24.27/8.66	./ttt2.sh
24.27/8.66	Input:
24.27/8.66	(VAR a b c)
24.27/8.66	(RULES
24.27/8.66	  App(App(App(S, a), b), c) -> U1(a, a, b, c)
24.27/8.66	  U1(I, a, b, c) -> U2(b, a, b, c)
24.27/8.66	  U2(I, a, b, c) -> U3(c, a, b, c)
24.27/8.66	  U3(I, a, b, c) -> App(App(a, c), App(b, c))
24.27/8.66	  App(App(K, a), b) -> U4(a, a, b)
24.27/8.66	  U4(I, a, b) -> U5(b, a, b)
24.27/8.66	  U5(I, a, b) -> a
24.27/8.66	  App(I, a) -> U6(a, a)
24.27/8.66	  U6(I, a) -> a
24.27/8.66	)
24.27/8.66	
24.27/8.67	EOF