R := InvariantRing(CyclicGroup(4), GF(2));
P := PrimaryInvariants(R);
S := SecondaryInvariants(R);

ps := Set(PrimaryInvariants(R));
pis := {@ f: f in PrimaryInvariants(R) @};

I := {@ "x" @};

K<w> := ExtensionField<GF(2), x | x^4 + x + 1>;
S<a> := sub<K | 2>;

E:=EllipticCurve([GF(NextPrime(10^20))|1,2]);
time #E;
assert #E eq 100000000017275263512;

//////////////

G := PSL(3, 3);
C := Classes(G);

G2 := PSL(3, 4);
X2 := CharacterTable(G2);

//////////////

save "/tmp/testsave";
//error "done";
quit;
