#include <stdio.h>
#include <stdlib.h>

#include "models.h"

#include <gmp.h>
#include <flint/fmpz.h>
#include <flint/fq.h>