mp_mfree
void mp_mfree(MINT *);
mp_mfree(t2);
mp_mfree(t2);
mp_mfree(c0);
mp_mfree(c1);
mp_mfree(c2);
mp_mfree(c3);
mp_mfree(c5);
mp_mfree(c6);
mp_mfree(c8);
mp_mfree(c10);
mp_mfree(c14);
mp_mfree(c15);
mp_mfree(c25);
mp_mfree(c42);
mp_mfree(c43);
mp_mfree(c44);
mp_mfree(c45);
mp_mfree(t0);
mp_mfree(t1);
mp_mfree(t2);