/* bigprime.c -- save the digits of 2^57885161-1 to a file */

#include <stdio.h>
#include "gmp.h"

void main(void)
{
    mpz_t p;
    FILE *fp;
    fp = fopen("bigprime.txt","w");
    mpz_init(p);
    mpz_ui_pow_ui(p, 2, 57885161);
    mpz_sub_ui(p, p, 1);
    gmp_fprintf(fp, "%Zd", p);
    mpz_clear(p);
    fclose(fp);
}