124.64/36.34	MAYBE
124.64/36.34	
124.64/36.34	Problem:
124.64/36.34	 b(x) -> b(a(b(x)))
124.64/36.34	 a(x) -> c(a(a(x)))
124.64/36.34	 b(x) -> a(c(a(x)))
124.64/36.34	 c(x) -> c(a(c(x)))
124.64/36.34	 b(x) -> a(c(b(x)))
124.64/36.34	
124.64/36.34	Proof:
124.64/36.34	 Open
124.64/36.35	EOF