long s_readlong(s_buff F)
s_buff s_open_by_name(const char *n)
const CanonicalForm CFMap CFMap int &both_non_zero int n
void s_readmpz_base(s_buff F, mpz_ptr a, int base)
int s_readbytes(char *buff, int len, s_buff F)
void s_readmpz(s_buff F, mpz_ptr a)
void s_ungetc(int c, s_buff F)