MAYBE
203.26/55.71	MAYBE
203.26/55.71	
203.26/55.71	Problem:
203.26/55.71	 a(a(a(a(x1)))) -> a(a(b(b(b(b(b(b(x1))))))))
203.26/55.71	 b(b(a(a(x1)))) -> b(b(b(b(c(c(x1))))))
203.26/55.71	 a(a(b(b(b(b(c(c(x1)))))))) -> a(a(a(a(a(a(b(b(x1))))))))
203.26/55.71	
203.26/55.71	Proof:
203.26/55.71	 Open
203.26/55.71	EOF