draft.h

// C file generated from draft.pvs
struct struct_pair2510 {
  mpz_t y;
  int x;
};
typedef struct struct_pair2510* pair2510;


pair2510 pvs_a2508();

pair2510 pvs_a_d2509();

int pvs_first2511(pair2510 a);

int pvs_first_d2512(pair2510 a);

pair2510 pvs_zero2513(pair2510 a);

pair2510 pvs_zero_d2514(pair2510 a);

unsigned long int pvs_a2517();

unsigned long int pvs_a_d2518();

int pvs_b2519();

int pvs_b_d2520();

void pvs_c2521(mpz_t result);

void pvs_c_d2522(mpz_t result);

int pvs_incr2523(int x);

int pvs_incr_d2524(int x);

int pvs_zero2525(mpz_t x);

int pvs_zero_d2526(mpz_t x);

int pvs_f2527(int a, int b);

int pvs_f_d2528(int a, int b);

int pvs_f2531(int x);

int pvs_f_d2532(int x);

int pvs_t2539(int x);

int pvs_t_d2540(int x);

int* pvs_id22541(int* t103946);

int* pvs_id2_d2542(int* t103946);

int* pvs_f2545(int x);

int* pvs_f_d2546(int x);

int* pvs_update2549(int* x);

int* pvs_update_d2550(int* x);

int* pvs_t22567(int x);

int* pvs_t2_d2568(int x);

int* pvs_id2571(int** t103946);

int* pvs_id_d2572(int** t103946);

int* pvs_te2603();

int* pvs_te_d2604();

int** pvs_update2611(int** x);

int** pvs_update_d2612(int** x);