198.33/50.75	MAYBE
198.33/50.75	
198.33/50.75	Problem:
198.33/50.75	 a(b(a(b(a(a(b(a(a(b(a(x1))))))))))) -> a(a(b(a(a(b(a(a(b(a(b(a(b(x1)))))))))))))
198.33/50.75	
198.33/50.75	Proof:
198.33/50.75	 Open
198.33/50.75	EOF