# fix bugs because of provers url and remove some System.out