void fp6_print(fp6_t a) { fp2_print(a[0]); fp2_print(a[1]); fp2_print(a[2]); }
void ep2_print(ep2_t p) { fp2_print(p->x); fp2_print(p->y); fp2_print(p->z); }