198.17/50.73	MAYBE
198.45/50.73	
198.45/50.73	Problem:
198.45/50.73	 a(b(a(a(b(a(b(a(x1)))))))) -> a(a(b(a(b(a(b(a(b(a(a(b(a(b(x1))))))))))))))
198.45/50.73	
198.45/50.73	Proof:
198.45/50.73	 Open
198.45/50.74	EOF