MAYBE
190.29/55.33	MAYBE
190.29/55.33	
190.29/55.33	Problem:
190.29/55.33	 a(b(b(x1))) -> b(a(a(a(x1))))
190.29/55.33	 a(a(b(x1))) -> b(a(b(x1)))
190.29/55.33	
190.29/55.33	Proof:
190.29/55.33	 Open
190.29/55.34	EOF