Reading files (Need to be tested)
Merge remote-tracking branch 'origin/master'
Modified argument for variable ‘a’ to type ‘mpz_t’