updated for reading bignums from files, because it takes time to generate them each time