198.92/50.57	MAYBE
198.92/50.57	
198.92/50.57	Problem:
198.92/50.57	 a(b(a(a(b(a(b(a(b(a(x1)))))))))) -> a(a(b(a(b(a(b(a(b(a(a(b(x1))))))))))))
198.92/50.57	
198.92/50.57	Proof:
198.92/50.57	 Open
198.92/50.58	EOF