0.00/0.45	MAYBE
0.00/0.45	
0.00/0.45	Problem:
0.00/0.46	App(App(App(S(), x), y), z) -> App(App(x, z), App(y, z))
0.00/0.46	App(App(K(), x), y) -> x
0.00/0.46	App(I(), x) -> x
0.00/0.46	App(App(App(C(), T()), x), y) -> x
0.00/0.46	App(App(App(C(), F()), x), y) -> y
0.00/0.46	App(App(App(C(), z), x), y) -> x <= x = y
0.00/0.46	App(App(App(C(), z), x), y) -> y <= x = y
0.00/0.46	
0.00/0.46	Proof:
0.00/0.46	ConCon could not decide confluence of the system.
0.00/0.46	\cite{SMI95}, Corollary 4.7 or 5.3 do not apply.
0.00/0.46	
0.00/0.47	EOF