#include <intbig.h>
#define TORSION_2POWER_BYTES 19
#define TORSION_3POWER_BYTES 15
#define TORSION_23POWER_BYTES 33
extern const uint64_t TORSION_PLUS_EVEN_POWER;
extern const uint64_t TORSION_ODD_PRIMES[34];
extern const uint64_t TORSION_ODD_POWERS[34];
extern const uint64_t TORSION_PLUS_ODD_PRIMES[7];
extern const size_t TORSION_PLUS_ODD_POWERS[7];
extern const uint64_t TORSION_MINUS_ODD_PRIMES[27];
extern const size_t TORSION_MINUS_ODD_POWERS[27];
extern const size_t DEGREE_COMMITMENT_POWERS[34];
extern const ibz_t CHARACTERISTIC;
extern const ibz_t TORSION_ODD;
extern const ibz_t TORSION_ODD_PRIMEPOWERS[34];
extern const ibz_t TORSION_ODD_PLUS;
extern const ibz_t TORSION_ODD_MINUS;
extern const ibz_t TORSION_PLUS_2POWER;
extern const ibz_t TORSION_PLUS_3POWER;
extern const ibz_t TORSION_PLUS_23POWER;
extern const ibz_t DEGREE_COMMITMENT;
extern const ibz_t DEGREE_COMMITMENT_PLUS;
extern const ibz_t DEGREE_COMMITMENT_MINUS;
extern const ibz_t DEGREE_CHALLENGE;
