274.71/50.66	MAYBE
274.71/50.66	
274.71/50.66	Problem:
274.71/50.66	 a(a(b(b(a(a(b(a(x1)))))))) -> a(a(b(a(a(b(b(a(a(b(x1))))))))))
274.71/50.66	
274.71/50.66	Proof:
274.71/50.66	 Open
274.71/50.66	EOF