MAYBE
151.27/55.35	MAYBE
151.27/55.35	
151.27/55.35	Problem:
151.27/55.35	 a(x1) -> x1
151.27/55.35	 a(b(b(a(x1)))) -> a(a(b(a(b(b(x1))))))
151.27/55.35	
151.27/55.35	Proof:
151.27/55.35	 Open
151.27/55.35	EOF