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