MAYBE
199.69/55.53	MAYBE
199.69/55.53	
199.69/55.53	Problem:
199.69/55.53	 a(b(b(a(x1)))) -> b(a(a(b(x1))))
199.69/55.53	 b(a(b(x1))) -> a(b(b(b(x1))))
199.69/55.53	
199.69/55.53	Proof:
199.69/55.53	 Open
199.69/55.54	EOF