#include <intbig.h>
#define TORSION_2POWER_BYTES 10
#define TORSION_3POWER_BYTES 8
#define TORSION_23POWER_BYTES 17
extern const uint64_t TORSION_PLUS_EVEN_POWER;
extern const uint64_t TORSION_ODD_PRIMES[28];
extern const uint64_t TORSION_ODD_POWERS[28];
extern const uint64_t TORSION_PLUS_ODD_PRIMES[9];
extern const size_t TORSION_PLUS_ODD_POWERS[9];
extern const uint64_t TORSION_MINUS_ODD_PRIMES[19];
extern const size_t TORSION_MINUS_ODD_POWERS[19];
extern const size_t DEGREE_COMMITMENT_POWERS[28];
extern const ibz_t CHARACTERISTIC;
extern const ibz_t TORSION_ODD;
extern const ibz_t TORSION_ODD_PRIMEPOWERS[28];
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;
