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