201.86/50.48	MAYBE
201.86/50.48	
201.86/50.48	Problem:
201.86/50.48	 a(x1) -> b(x1)
201.86/50.48	 b(b(a(c(x1)))) -> a(c(c(a(a(a(x1))))))
201.86/50.48	
201.86/50.48	Proof:
201.86/50.48	 Open
201.86/50.49	EOF