196.62/50.25	MAYBE
196.62/50.25	
196.62/50.25	Problem:
196.62/50.25	 a(a(x1)) -> a(b(b(c(x1))))
196.62/50.25	 b(a(x1)) -> x1
196.62/50.25	 c(b(x1)) -> a(c(x1))
196.62/50.25	
196.62/50.25	Proof:
196.62/50.25	 Open
196.62/50.25	EOF