Adjust primality proof return