Worked 12T11 compile

Need: PARI/GP 2.13 or later. Measured on 2.13.3.

  gp -q worked-12t11.gp

The file prepares one totally real 12T11 base, writes the sign block
and the class block, solves for signature 24 in the class of

  w = (-25 y^2 + 3653 y + 10031) / 8371

in Q[y]/(y^3 - 160 y^2 + 2685 y + 4337), reads both coordinates back,
and prints nine degree-24 polynomials (the aim plus eight kernel
steps). It stops at polynomials. It does not name the group.

Class and unit data from bnfinit are conditional on the generalized
Riemann hypothesis unless bnfcertify is run. We did not run it.

To name a printed polynomial, put its coefficients, constant term
first, on a line, and run

  export IGP24_SHAPE_LAWS=/path/to/shape_laws_24T.jsonl
  python3 label_degree24.py that_line.txt --primes 1000 --min-margin 5

The nine fields of this file, labelled that way, were eight 24T10301
and one 24T5392. Thinnest margin 229.9 nats. That is Chebotarev
evidence, not a certificate.

The file and its spec live at /igp24/compiler/ on the site. Do not
edit them; a gate checks them byte-for-byte against a receipt.