MAYBE
161.59/55.32	MAYBE
161.59/55.32	
161.59/55.32	Problem:
161.59/55.32	 a(a(b(b(x1)))) -> b(b(b(b(b(a(a(a(a(a(x1))))))))))
161.59/55.32	
161.59/55.32	Proof:
161.59/55.32	 Open
161.59/55.32	EOF