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